0.00/0.00	c 2016-06-18T01:29:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099480-1466206142.opb"]
0.00/0.01	c use --random-gen="284253269 1779097307 2691384507 961222282 1742319626 4251177373 2391247156 619069443 4286163324 2268450227 1583785665 2869458784 548769924 4050119899 1295541356 1171390662 1812343289 1770205822 631352608 4052523463 496453005 3545388488 2519964852 3715743687 3459500141 4293706467 3435850028 17679524 4293699549 917477114 1173785654 312155153 2923512342 4253501239 874876895 2790557015 1858299678 3822914830 1785296726 2982982803 2483239554 2060490132 2517152138 619731690 3209023148 1723992671 2332907347 1203562847 2066263053 2980194133 3841281593 2995427214 3307012831 116737467 1899896293 122415367 1586090400 4030380730 138440484 550464615 1017256898 881386109 2949065756 785530642 2229176097 4100159687 2139148355 1386452547 373619565 98732905 4124927330 401655887 4081908784 803393334 1033162371 1178380366 123172454 3741467183 2053423043 313162295 1972300319 605572605 141262792 1059100195 1658762491 207391617 348123633 3002724437 3292743369 3202677683 1203762149 1764170107 4207742930 1957517972 22847012 801606799 566713715 1724642904 2757512264 3843810520 574508879 755719798 2689451430 1744483071 3356064557 3246133490 2403061490 2949274775 2650926303 4240318573 1835348599 102872888 2170652269 3464280995 2900740632 2402047459 1585738793 1682896032 1149160670 1012016517 3705868088 4154765851 961273533 1642375700 3891528923 3966305207 732499590 1153579082 605022023 3809836963 3107912361 606589012 3974755400 550139995 1173051211 3282001835 4052322915 1076630087 1354082511 2563560505 1135439070 2768297547 3828307088 1739296649 2206427336 2495017213 2754950865 417258519 945541051 2517364478 970965842 2766479274 1466112921 284694960 2900556234 104126225 2026150192 1467451726 4190729409 298697363 2836269987 1860916218 238748393 3055059330 2035696133 829479700 3054721376 711020430 2444605968 3032864660 1084518994 2990581515 981963117 1776954176 2635343364 198342895 1557073698 1982023384 1527192901 957237952 534959444 3829111463 1560439850 2267493543 4155568382 2283870431 1514884356 3433303868 2386330652 3285121925 4016532926 1558167494 1287711079 504341514 1756310107 353341177 394795619 3265211115 840999723 3372362273 3385608190 2397865810 3695304154 2662138541 257271353 2626147129 862109688 626887609 2025788377 250195781 1484832296 4258966343 2731018065 303620123 2681170472 3217287320 3385813361 1915498755 914078772 3039371006 2230459123 4156987460 2190188273 3806616665 1098377087 1581120717 250313819 91920548 2920935858 1633004444 1651438461 628748230 3489285363 3957733555 2793674590 105246846 400331467 3333468478 3368464427 1913811476 2921224580 943348293 1757531260 857721347 979461671 1914325640 1524762481 2022509988 728644713 1871313600 3086401192 2239486727 2302376201 218717569 1045920494 2651807757 255 362436" option to reproduce the execution
0.00/0.01	c #vars 840
0.00/0.01	c #constraints 82
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      307      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      131 |      100 |      307      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      532 |      250 |      338      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |     1003 |      475 |      372      0 |        0 |        0
0.19/0.26	c  0.2s |       4 |     1609 |      813 |      410      1 |        0 |        0
0.39/0.49	c  0.5s |       5 |     2345 |     1320 |      452      2 |        0 |        0
0.78/0.86	c  0.8s |       6 |     3618 |     2081 |      548      4 |        0 |        0
1.20/1.25	c  1.2s |       7 |     5642 |     3223 |      603      7 |        0 |        0
1.69/1.76	c  1.7s |       8 |     8095 |     4936 |      664     10 |        0 |        0
2.59/2.63	c  2.6s |       9 |    12224 |     7506 |      731     15 |        0 |        0
3.79/3.82	c  3.8s |      10 |    16909 |    11361 |      805     22 |        0 |        0
5.79/5.83	c  5.8s |      10 |    23158 |    16061 |      805     31 |        0 |        0
6.19/6.23	c  6.2s |      11 |    24474 |    17144 |      886     32 |        0 |        0
8.19/8.24	c  8.2s |      11 |    31796 |    22744 |      886     41 |        0 |        0
9.38/9.47	c  9.5s |      12 |    35249 |    25819 |      975     46 |        0 |        0
11.38/11.47	c 11.5s |      12 |    41636 |    30819 |      975     54 |        0 |        0
13.48/13.50	c 13.5s |      12 |    47062 |    35419 |      975     61 |        0 |        0
14.88/14.96	c 14.9s |      13 |    50942 |    38832 |     1073     66 |        0 |        0
16.88/16.97	c 17.0s |      13 |    58106 |    44932 |     1073     75 |        0 |        0
18.88/18.99	c 19.0s |      13 |    63917 |    50132 |     1073     82 |        0 |        0
20.89/21.00	c 21.0s |      13 |    69967 |    55632 |     1073     90 |        0 |        0
21.99/22.01	c 22.0s |      14 |    72988 |    58352 |     1181     94 |        0 |        0
23.98/24.03	c 24.0s |      14 |    80850 |    65052 |     1181    102 |        0 |        0
25.98/26.08	c 26.1s |      14 |    87481 |    70952 |     1181    110 |        0 |        0
28.08/28.11	c 28.1s |      14 |    93614 |    76452 |     1181    117 |        0 |        0
30.08/30.15	c 30.1s |      14 |   100374 |    82452 |     1181    124 |        0 |        0
31.89/31.94	c 31.9s |      15 |   106191 |    87632 |     1300    131 |        0 |        0
33.88/33.97	c 34.0s |      15 |   113700 |    92432 |     1300    135 |        0 |        0
35.99/36.01	c 36.0s |      15 |   120203 |    96632 |     1300    140 |        0 |        0
37.99/38.08	c 38.1s |      15 |   124778 |   100532 |     1300    144 |        0 |        0
39.99/40.09	c 40.1s |      15 |   129438 |   104532 |     1300    148 |        0 |        0
42.08/42.12	c 42.1s |      15 |   134314 |   108832 |     1300    152 |        0 |        0
44.09/44.15	c 44.1s |      15 |   138952 |   112932 |     1300    156 |        0 |        0
46.08/46.17	c 46.2s |      15 |   143834 |   117032 |     1300    160 |        0 |        0
48.08/48.18	c 48.2s |      15 |   150294 |   122132 |     1300    166 |        0 |        0
50.18/50.20	c 50.2s |      15 |   156653 |   127832 |     1300    173 |        0 |        0
51.48/51.54	c 51.5s |      16 |   160822 |   131552 |     1431    177 |        0 |        0
53.48/53.54	c 53.5s |      16 |   171435 |   136152 |     1431    182 |        0 |        0
55.48/55.59	c 55.6s |      16 |   180657 |   140552 |     1431    186 |        0 |        0
57.58/57.62	c 57.6s |      16 |   186448 |   144652 |     1431    190 |        0 |        0
59.58/59.67	c 59.7s |      16 |   191761 |   148452 |     1431    194 |        0 |        0
61.58/61.68	c 61.7s |      16 |   196843 |   152252 |     1431    198 |        0 |        0
63.58/63.69	c 63.7s |      16 |   202067 |   155952 |     1431    202 |        0 |        0
65.68/65.74	c 65.7s |      16 |   206272 |   159552 |     1431    205 |        0 |        0
67.67/67.77	c 67.8s |      16 |   210592 |   163352 |     1431    209 |        0 |        0
69.67/69.79	c 69.8s |      16 |   214796 |   166852 |     1431    212 |        0 |        0
71.77/71.84	c 71.8s |      16 |   218818 |   170052 |     1431    215 |        0 |        0
73.78/73.88	c 73.9s |      16 |   222978 |   173152 |     1431    218 |        0 |        0
75.88/75.92	c 75.9s |      16 |   227304 |   176452 |     1431    222 |        0 |        0
77.87/77.95	c 77.9s |      16 |   231924 |   179852 |     1431    225 |        0 |        0
79.87/79.99	c 80.0s |      16 |   236413 |   182952 |     1431    228 |        0 |        0
81.97/82.04	c 82.0s |      16 |   241691 |   186552 |     1431    232 |        0 |        0
83.97/84.04	c 84.0s |      16 |   247100 |   189952 |     1431    235 |        0 |        0
85.97/86.08	c 86.1s |      16 |   252949 |   193452 |     1431    238 |        0 |        0
88.08/88.10	c 88.1s |      16 |   258064 |   197152 |     1575    242 |        0 |        0
88.17/88.26	c 88.2s |      17 |   258521 |   197432 |     1575    242 |        0 |        0
90.18/90.28	c 90.3s |      17 |   266791 |   202232 |     1575    247 |        0 |        0
92.17/92.29	c 92.3s |      17 |   271450 |   205632 |     1575    251 |        0 |        0
94.27/94.33	c 94.3s |      17 |   275253 |   208732 |     1575    255 |        0 |        0
96.27/96.34	c 96.3s |      17 |   278925 |   211732 |     1575    258 |        0 |        0
98.27/98.37	c 98.4s |      17 |   282617 |   214732 |     1575    261 |        0 |        0
100.37/100.40	c  100s |      17 |   287550 |   218532 |     1575    265 |        0 |        0
102.37/102.41	c  102s |      17 |   292674 |   222232 |     1575    269 |        0 |        0
104.37/104.43	c  104s |      17 |   297004 |   225932 |     1575    273 |        0 |        0
106.38/106.46	c  106s |      17 |   301967 |   229332 |     1575    277 |        0 |        0
108.48/108.51	c  108s |      17 |   307144 |   232632 |     1575    280 |        0 |        0
110.48/110.54	c  110s |      17 |   311707 |   236032 |     1575    284 |        0 |        0
112.47/112.56	c  112s |      17 |   315772 |   239132 |     1575    287 |        0 |        0
114.48/114.59	c  114s |      17 |   320354 |   242332 |     1575    291 |        0 |        0
116.47/116.60	c  116s |      17 |   324858 |   245732 |     1575    295 |        0 |        0
118.57/118.65	c  118s |      17 |   330246 |   249432 |     1575    299 |        0 |        0
120.57/120.67	c  120s |      17 |   334307 |   252932 |     1575    302 |        0 |        0
122.67/122.72	c  122s |      17 |   338667 |   256232 |     1575    306 |        0 |        0
124.67/124.74	c  124s |      17 |   343202 |   259332 |     1575    309 |        0 |        0
126.77/126.83	c  126s |      17 |   347226 |   261832 |     1575    312 |        0 |        0
128.87/128.92	c  128s |      17 |   350280 |   264432 |     1575    315 |        0 |        0
130.88/131.00	c  130s |      17 |   353075 |   266832 |     1575    318 |        0 |        0
132.97/133.02	c  133s |      17 |   356080 |   269132 |     1575    320 |        0 |        0
134.97/135.04	c  135s |      17 |   360175 |   271932 |     1575    323 |        0 |        0
136.97/137.06	c  137s |      17 |   363044 |   274232 |     1575    326 |        0 |        0
138.97/139.07	c  139s |      17 |   366788 |   277332 |     1575    329 |        0 |        0
141.07/141.13	c  141s |      17 |   370000 |   280032 |     1575    332 |        0 |        0
143.08/143.18	c  143s |      17 |   373108 |   282632 |     1575    335 |        0 |        0
145.18/145.22	c  145s |      17 |   376071 |   285232 |     1575    338 |        0 |        0
147.17/147.28	c  147s |      17 |   379344 |   287832 |     1575    341 |        0 |        0
149.27/149.33	c  149s |      17 |   382082 |   290232 |     1575    343 |        0 |        0
151.37/151.40	c  151s |      17 |   385121 |   292832 |     1575    346 |        0 |        0
153.37/153.48	c  153s |      17 |   388236 |   295232 |     1733    349 |        0 |        0
154.17/154.25	c  154s |      18 |   389507 |   296252 |     1733    350 |        0 |        0
156.27/156.31	c  156s |      18 |   396427 |   299252 |     1733    353 |        0 |        0
158.27/158.38	c  158s |      18 |   400327 |   301652 |     1733    355 |        0 |        0
160.37/160.41	c  160s |      18 |   403624 |   303852 |     1733    357 |        0 |        0
162.37/162.47	c  162s |      18 |   406546 |   305852 |     1733    359 |        0 |        0
164.47/164.51	c  164s |      18 |   410330 |   308252 |     1733    362 |        0 |        0
166.46/166.54	c  166s |      18 |   413920 |   310752 |     1733    364 |        0 |        0
168.46/168.58	c  168s |      18 |   418111 |   313352 |     1733    367 |        0 |        0
170.47/170.58	c  170s |      18 |   421758 |   315852 |     1733    369 |        0 |        0
172.46/172.59	c  172s |      18 |   424734 |   317952 |     1733    371 |        0 |        0
174.56/174.63	c  174s |      18 |   428672 |   320652 |     1733    374 |        0 |        0
176.56/176.68	c  176s |      18 |   432720 |   323252 |     1733    377 |        0 |        0
178.66/178.70	c  178s |      18 |   436245 |   326052 |     1733    380 |        0 |        0
180.66/180.74	c  180s |      18 |   440787 |   329152 |     1733    383 |        0 |        0
182.67/182.77	c  182s |      18 |   444536 |   331952 |     1733    385 |        0 |        0
184.77/184.82	c  184s |      18 |   447138 |   334052 |     1733    388 |        0 |        0
186.76/186.83	c  186s |      18 |   449562 |   336152 |     1733    390 |        0 |        0
188.76/188.87	c  188s |      18 |   453371 |   339152 |     1733    393 |        0 |        0
190.86/190.94	c  190s |      18 |   457206 |   342352 |     1733    396 |        0 |        0
192.86/192.98	c  192s |      18 |   461111 |   345252 |     1733    399 |        0 |        0
194.86/194.99	c  194s |      18 |   464996 |   348052 |     1733    402 |        0 |        0
196.87/197.00	c  196s |      18 |   468139 |   350752 |     1733    404 |        0 |        0
198.96/199.06	c  199s |      18 |   471996 |   353852 |     1733    408 |        0 |        0
200.96/201.06	c  201s |      18 |   476432 |   356852 |     1733    411 |        0 |        0
202.96/203.07	c  203s |      18 |   480743 |   360152 |     1733    414 |        0 |        0
205.06/205.14	c  205s |      18 |   484825 |   363052 |     1733    417 |        0 |        0
207.16/207.20	c  207s |      18 |   488462 |   365952 |     1733    420 |        0 |        0
209.16/209.21	c  209s |      18 |   491749 |   368652 |     1733    423 |        0 |        0
211.16/211.27	c  211s |      18 |   494459 |   371052 |     1733    425 |        0 |        0
213.26/213.32	c  213s |      18 |   498817 |   374452 |     1733    428 |        0 |        0
215.26/215.38	c  215s |      18 |   502799 |   377552 |     1733    432 |        0 |        0
217.36/217.40	c  217s |      18 |   506632 |   380552 |     1733    435 |        0 |        0
219.35/219.46	c  219s |      18 |   510805 |   383652 |     1733    438 |        0 |        0
221.35/221.47	c  221s |      18 |   514478 |   386652 |     1733    441 |        0 |        0
223.36/223.49	c  223s |      18 |   517988 |   389452 |     1733    444 |        0 |        0
225.46/225.53	c  225s |      18 |   521595 |   392452 |     1733    447 |        0 |        0
227.45/227.57	c  227s |      18 |   525206 |   395452 |     1733    450 |        0 |        0
229.55/229.60	c  229s |      18 |   528452 |   397952 |     1733    452 |        0 |        0
231.55/231.62	c  231s |      18 |   532327 |   400652 |     1733    455 |        0 |        0
233.55/233.69	c  233s |      18 |   536184 |   403652 |     1733    458 |        0 |        0
235.65/235.75	c  235s |      18 |   539992 |   406252 |     1733    461 |        0 |        0
237.75/237.82	c  237s |      18 |   543784 |   409052 |     1733    463 |        0 |        0
239.76/239.86	c  239s |      18 |   547105 |   411652 |     1733    466 |        0 |        0
241.85/241.91	c  241s |      18 |   550628 |   414652 |     1733    469 |        0 |        0
243.85/243.97	c  243s |      18 |   553980 |   417552 |     1733    472 |        0 |        0
245.95/246.01	c  245s |      18 |   557212 |   420352 |     1733    475 |        0 |        0
247.95/248.09	c  248s |      18 |   560296 |   422952 |     1733    477 |        0 |        0
250.05/250.10	c  250s |      18 |   564051 |   425752 |     1733    480 |        0 |        0
252.05/252.10	c  252s |      18 |   567567 |   428252 |     1733    483 |        0 |        0
254.05/254.12	c  254s |      18 |   570581 |   430452 |     1733    485 |        0 |        0
256.15/256.20	c  256s |      18 |   574065 |   432952 |     1733    488 |        0 |        0
258.15/258.29	c  258s |      18 |   578335 |   435852 |     1733    490 |        0 |        0
260.25/260.31	c  260s |      18 |   581749 |   438752 |     1733    493 |        0 |        0
262.25/262.37	c  262s |      18 |   584453 |   441152 |     1733    496 |        0 |        0
264.25/264.37	c  264s |      18 |   586964 |   443352 |     1907    498 |        0 |        0
265.35/265.45	c  265s |      19 |   588284 |   444482 |     1907    499 |        0 |        0
267.35/267.49	c  267s |      19 |   594885 |   447082 |     1907    501 |        0 |        0
269.55/269.63	c  269s |      19 |   597838 |   449482 |     1907    504 |        0 |        0
271.54/271.65	c  271s |      19 |   600130 |   451382 |     1907    505 |        0 |        0
273.54/273.67	c  273s |      19 |   602720 |   453282 |     1907    507 |        0 |        0
275.64/275.75	c  275s |      19 |   605069 |   455182 |     1907    509 |        0 |        0
277.64/277.76	c  277s |      19 |   607606 |   457282 |     1907    511 |        0 |        0
279.74/279.84	c  279s |      19 |   609773 |   459082 |     1907    513 |        0 |        0
281.74/281.86	c  281s |      19 |   611928 |   460882 |     1907    515 |        0 |        0
283.85/283.92	c  283s |      19 |   614740 |   462982 |     1907    517 |        0 |        0
285.84/285.97	c  285s |      19 |   617128 |   464982 |     1907    518 |        0 |        0
287.94/288.00	c  287s |      19 |   619661 |   467082 |     1907    520 |        0 |        0
289.94/290.07	c  290s |      19 |   622188 |   469182 |     1907    522 |        0 |        0
292.04/292.17	c  292s |      19 |   624810 |   471382 |     1907    525 |        0 |        0
294.14/294.23	c  294s |      19 |   627119 |   473382 |     1907    526 |        0 |        0
296.14/296.30	c  296s |      19 |   630215 |   475782 |     1907    529 |        0 |        0
298.24/298.31	c  298s |      19 |   632781 |   477982 |     1907    531 |        0 |        0
300.25/300.37	c  300s |      19 |   635778 |   480382 |     1907    533 |        0 |        0
302.34/302.42	c  302s |      19 |   638756 |   482982 |     1907    536 |        0 |        0
304.34/304.42	c  304s |      19 |   641366 |   485182 |     1907    538 |        0 |        0
306.34/306.47	c  306s |      19 |   643757 |   487282 |     1907    540 |        0 |        0
308.44/308.52	c  308s |      19 |   645859 |   489082 |     1907    542 |        0 |        0
310.44/310.55	c  310s |      19 |   648587 |   491082 |     1907    544 |        0 |        0
312.54/312.61	c  312s |      19 |   651249 |   493382 |     1907    546 |        0 |        0
314.54/314.65	c  314s |      19 |   655236 |   495882 |     1907    548 |        0 |        0
316.64/316.72	c  316s |      19 |   659030 |   498682 |     1907    551 |        0 |        0
318.74/318.83	c  318s |      19 |   662384 |   501482 |     1907    554 |        0 |        0
320.74/320.88	c  320s |      19 |   665439 |   503982 |     1907    556 |        0 |        0
322.83/322.94	c  322s |      19 |   668279 |   506482 |     1907    558 |        0 |        0
324.83/324.99	c  324s |      19 |   671222 |   509082 |     1907    561 |        0 |        0
326.93/327.04	c  327s |      19 |   674321 |   511582 |     1907    563 |        0 |        0
329.03/329.11	c  329s |      19 |   676799 |   513782 |     1907    565 |        0 |        0
331.04/331.17	c  331s |      19 |   679543 |   516182 |     1907    568 |        0 |        0
333.13/333.26	c  333s |      19 |   682580 |   518782 |     1907    570 |        0 |        0
335.13/335.29	c  335s |      19 |   685345 |   521182 |     1907    573 |        0 |        0
337.23/337.39	c  337s |      19 |   687833 |   523082 |     1907    574 |        0 |        0
339.33/339.44	c  339s |      19 |   689794 |   524782 |     1907    576 |        0 |        0
341.43/341.50	c  341s |      19 |   691863 |   526582 |     1907    578 |        0 |        0
343.43/343.50	c  343s |      19 |   693827 |   528282 |     1907    579 |        0 |        0
345.53/345.61	c  345s |      19 |   695925 |   530082 |     1907    581 |        0 |        0
347.54/347.67	c  347s |      19 |   697830 |   531782 |     1907    583 |        0 |        0
349.63/349.76	c  349s |      19 |   700378 |   533582 |     1907    585 |        0 |        0
351.73/351.84	c  351s |      19 |   702490 |   535282 |     1907    586 |        0 |        0
353.83/353.98	c  353s |      19 |   704612 |   537082 |     1907    588 |        0 |        0
355.93/356.02	c  355s |      19 |   706810 |   538982 |     1907    590 |        0 |        0
357.93/358.07	c  358s |      19 |   709172 |   541082 |     1907    592 |        0 |        0
360.03/360.10	c  360s |      19 |   711280 |   542982 |     1907    594 |        0 |        0
362.03/362.11	c  362s |      19 |   713712 |   545182 |     1907    596 |        0 |        0
364.13/364.21	c  364s |      19 |   716803 |   547682 |     1907    598 |        0 |        0
366.24/366.31	c  366s |      19 |   719332 |   549782 |     1907    601 |        0 |        0
368.34/368.41	c  368s |      19 |   721872 |   551882 |     1907    603 |        0 |        0
370.34/370.43	c  370s |      19 |   724092 |   553782 |     1907    604 |        0 |        0
372.34/372.46	c  372s |      19 |   726344 |   555682 |     1907    606 |        0 |        0
374.34/374.47	c  374s |      19 |   728762 |   557782 |     1907    608 |        0 |        0
376.43/376.53	c  376s |      19 |   731136 |   559882 |     1907    610 |        0 |        0
378.44/378.59	c  378s |      19 |   733572 |   561982 |     1907    612 |        0 |        0
380.43/380.60	c  380s |      19 |   735853 |   563982 |     1907    614 |        0 |        0
382.53/382.64	c  382s |      19 |   738346 |   566082 |     1907    616 |        0 |        0
384.63/384.72	c  384s |      19 |   740791 |   568182 |     1907    618 |        0 |        0
386.63/386.78	c  386s |      19 |   743123 |   570182 |     1907    620 |        0 |        0
388.73/388.87	c  388s |      19 |   745510 |   572182 |     1907    622 |        0 |        0
390.83/390.95	c  390s |      19 |   747441 |   573882 |     1907    624 |        0 |        0
392.83/392.97	c  392s |      19 |   749507 |   575682 |     1907    626 |        0 |        0
394.94/395.05	c  395s |      19 |   751651 |   577582 |     1907    628 |        0 |        0
396.93/397.09	c  397s |      19 |   754079 |   579682 |     1907    630 |        0 |        0
399.03/399.18	c  399s |      19 |   756581 |   581882 |     1907    632 |        0 |        0
401.13/401.23	c  401s |      19 |   758849 |   583882 |     1907    634 |        0 |        0
403.13/403.27	c  403s |      19 |   761341 |   585882 |     1907    636 |        0 |        0
405.23/405.30	c  405s |      19 |   763740 |   587982 |     1907    638 |        0 |        0
407.23/407.31	c  407s |      19 |   766473 |   590082 |     1907    640 |        0 |        0
409.24/409.31	c  409s |      19 |   769656 |   592482 |     1907    642 |        0 |        0
411.23/411.39	c  411s |      19 |   772430 |   594782 |     1907    644 |        0 |        0
413.33/413.43	c  413s |      19 |   774696 |   596582 |     1907    646 |        0 |        0
415.43/415.54	c  415s |      19 |   776779 |   598382 |     1907    648 |        0 |        0
417.43/417.57	c  417s |      19 |   778504 |   599882 |     1907    650 |        0 |        0
419.43/419.58	c  419s |      19 |   780329 |   601482 |     1907    651 |        0 |        0
421.53/421.63	c  421s |      19 |   782331 |   603182 |     1907    653 |        0 |        0
423.63/423.72	c  423s |      19 |   784452 |   604982 |     1907    655 |        0 |        0
425.63/425.80	c  425s |      19 |   786394 |   606682 |     1907    656 |        0 |        0
427.73/427.81	c  427s |      19 |   788281 |   608282 |     1907    658 |        0 |        0
429.73/429.82	c  429s |      19 |   790085 |   609882 |     1907    659 |        0 |        0
431.72/431.84	c  431s |      19 |   792769 |   611782 |     1907    661 |        0 |        0
433.82/433.90	c  433s |      19 |   795188 |   613782 |     1907    663 |        0 |        0
435.82/435.91	c  435s |      19 |   797415 |   615782 |     1907    665 |        0 |        0
437.83/437.96	c  437s |      19 |   799582 |   617682 |     1907    667 |        0 |        0
439.93/440.07	c  440s |      19 |   801630 |   619482 |     1907    669 |        0 |        0
442.02/442.11	c  442s |      19 |   803487 |   621082 |     1907    670 |        0 |        0
444.02/444.19	c  444s |      19 |   805617 |   622882 |     1907    672 |        0 |        0
446.12/446.24	c  446s |      19 |   807954 |   624782 |     1907    674 |        0 |        0
448.12/448.27	c  448s |      19 |   810378 |   626882 |     1907    676 |        0 |        0
450.22/450.37	c  450s |      19 |   812004 |   628382 |     1907    677 |        0 |        0
452.21/452.40	c  452s |      19 |   815239 |   630482 |     1907    679 |        0 |        0
454.32/454.42	c  454s |      19 |   818614 |   632682 |     1907    682 |        0 |        0
456.42/456.53	c  456s |      19 |   821197 |   634982 |     1907    684 |        0 |        0
458.41/458.54	c  458s |      19 |   823887 |   637282 |     1907    686 |        0 |        0
460.51/460.62	c  460s |      19 |   825987 |   639182 |     1907    688 |        0 |        0
462.51/462.66	c  462s |      19 |   828307 |   641182 |     1907    690 |        0 |        0
464.51/464.69	c  464s |      19 |   831030 |   643582 |     1907    692 |        0 |        0
466.71/466.80	c  466s |      19 |   833032 |   645282 |     1907    694 |        0 |        0
468.70/468.88	c  468s |      19 |   834975 |   646982 |     1907    696 |        0 |        0
470.81/470.94	c  470s |      19 |   838763 |   649382 |     1907    698 |        0 |        0
472.80/472.98	c  472s |      19 |   841358 |   651682 |     1907    700 |        0 |        0
474.90/475.06	c  475s |      19 |   843415 |   653482 |     1907    702 |        0 |        0
476.90/477.09	c  477s |      19 |   846036 |   655382 |     1907    704 |        0 |        0
479.00/479.17	c  479s |      19 |   848311 |   657382 |     1907    706 |        0 |        0
481.00/481.19	c  481s |      19 |   850273 |   659082 |     1907    708 |        0 |        0
483.10/483.25	c  483s |      19 |   853290 |   661082 |     1907    710 |        0 |        0
485.20/485.33	c  485s |      19 |   856035 |   662482 |     2098    711 |        0 |        0
487.31/487.47	c  487s |      19 |   857463 |   663782 |     2098    712 |        0 |        0
489.51/489.62	c  489s |      19 |   858952 |   664982 |     2098    713 |        0 |        0
491.60/491.71	c  491s |      19 |   860815 |   666482 |     2098    714 |        0 |        0
491.99/492.13	c  492s |      20 |   861207 |   666827 |     2098    715 |        0 |        0
493.99/494.16	c  494s |      20 |   866851 |   670827 |     2098    718 |        0 |        0
496.10/496.21	c  496s |      20 |   872149 |   674727 |     2098    721 |        0 |        0
498.09/498.23	c  498s |      20 |   876166 |   678127 |     2098    724 |        0 |        0
500.09/500.26	c  500s |      20 |   880108 |   681527 |     2098    727 |        0 |        0
502.09/502.27	c  502s |      20 |   884347 |   684827 |     2098    729 |        0 |        0
504.09/504.28	c  504s |      20 |   888228 |   687827 |     2098    732 |        0 |        0
506.09/506.28	c  506s |      20 |   892525 |   691027 |     2098    735 |        0 |        0
508.19/508.33	c  508s |      20 |   896312 |   694127 |     2098    737 |        0 |        0
510.29/510.44	c  510s |      20 |   899411 |   696827 |     2098    740 |        0 |        0
512.28/512.48	c  512s |      20 |   903516 |   699827 |     2098    742 |        0 |        0
514.38/514.54	c  514s |      20 |   907815 |   703227 |     2098    745 |        0 |        0
516.48/516.64	c  516s |      20 |   911860 |   706427 |     2098    747 |        0 |        0
518.48/518.69	c  518s |      20 |   916346 |   709827 |     2098    750 |        0 |        0
520.58/520.73	c  520s |      20 |   920746 |   712727 |     2098    753 |        0 |        0
522.58/522.74	c  522s |      20 |   924716 |   715927 |     2098    755 |        0 |        0
524.58/524.75	c  524s |      20 |   927988 |   718627 |     2098    758 |        0 |        0
526.58/526.75	c  526s |      20 |   931301 |   721427 |     2098    760 |        0 |        0
528.58/528.78	c  528s |      20 |   934682 |   724327 |     2098    762 |        0 |        0
530.58/530.79	c  530s |      20 |   938280 |   727427 |     2098    765 |        0 |        0
532.67/532.80	c  532s |      20 |   941774 |   730427 |     2098    767 |        0 |        0
534.67/534.83	c  534s |      20 |   945167 |   733327 |     2098    770 |        0 |        0
536.68/536.90	c  536s |      20 |   948733 |   736427 |     2098    772 |        0 |        0
538.77/538.94	c  538s |      20 |   951885 |   739127 |     2098    775 |        0 |        0
540.77/540.94	c  540s |      20 |   955122 |   741927 |     2098    777 |        0 |        0
542.87/543.01	c  542s |      20 |   958097 |   744527 |     2098    779 |        0 |        0
544.87/545.04	c  545s |      20 |   961512 |   747327 |     2098    782 |        0 |        0
546.87/547.08	c  547s |      20 |   964886 |   750127 |     2098    784 |        0 |        0
548.97/549.12	c  549s |      20 |   968080 |   752827 |     2098    786 |        0 |        0
550.97/551.16	c  551s |      20 |   970973 |   755327 |     2098    788 |        0 |        0
552.96/553.18	c  553s |      20 |   974020 |   757827 |     2098    790 |        0 |        0
554.96/555.19	c  555s |      20 |   977093 |   760327 |     2098    792 |        0 |        0
557.06/557.21	c  557s |      20 |   979973 |   762827 |     2098    795 |        0 |        0
559.06/559.25	c  559s |      20 |   983394 |   765427 |     2098    797 |        0 |        0
561.16/561.33	c  561s |      20 |   986666 |   768127 |     2098    799 |        0 |        0
563.16/563.35	c  563s |      20 |   990061 |   771127 |     2098    801 |        0 |        0
565.16/565.36	c  565s |      20 |   994938 |   775027 |     2098    805 |        0 |        0
567.15/567.39	c  567s |      20 |   999557 |   778827 |     2098    808 |        0 |        0
569.25/569.41	c  569s |      20 |  1003836 |   782027 |     2098    811 |        0 |        0
571.25/571.44	c  571s |      20 |  1007816 |   785227 |     2098    813 |        0 |        0
573.25/573.44	c  573s |      20 |  1011480 |   788427 |     2098    816 |        0 |        0
575.26/575.48	c  575s |      20 |  1015496 |   791827 |     2098    819 |        0 |        0
577.36/577.54	c  577s |      20 |  1019431 |   795127 |     2098    821 |        0 |        0
579.35/579.56	c  579s |      20 |  1023141 |   798227 |     2098    824 |        0 |        0
581.35/581.57	c  581s |      20 |  1027850 |   801927 |     2098    827 |        0 |        0
583.35/583.57	c  583s |      20 |  1032335 |   805527 |     2098    830 |        0 |        0
585.45/585.60	c  585s |      20 |  1036580 |   809127 |     2098    833 |        0 |        0
587.45/587.65	c  587s |      20 |  1040791 |   812727 |     2098    836 |        0 |        0
589.45/589.65	c  589s |      20 |  1044675 |   816027 |     2098    839 |        0 |        0
591.54/591.71	c  591s |      20 |  1048746 |   819227 |     2098    842 |        0 |        0
593.54/593.73	c  593s |      20 |  1052731 |   822627 |     2098    845 |        0 |        0
595.54/595.76	c  595s |      20 |  1056779 |   826027 |     2098    847 |        0 |        0
597.54/597.79	c  597s |      20 |  1061066 |   829527 |     2098    850 |        0 |        0
599.64/599.81	c  599s |      20 |  1064842 |   832727 |     2098    853 |        0 |        0
601.64/601.87	c  601s |      20 |  1068622 |   835927 |     2098    856 |        0 |        0
603.63/603.88	c  603s |      20 |  1072154 |   839027 |     2098    858 |        0 |        0
605.63/605.89	c  605s |      20 |  1076204 |   842527 |     2098    861 |        0 |        0
607.73/607.95	c  607s |      20 |  1080684 |   846127 |     2098    864 |        0 |        0
609.74/609.98	c  609s |      20 |  1084866 |   849627 |     2098    867 |        0 |        0
611.84/612.02	c  611s |      20 |  1088598 |   852927 |     2098    870 |        0 |        0
613.84/614.02	c  614s |      20 |  1092588 |   856327 |     2098    873 |        0 |        0
615.84/616.03	c  616s |      20 |  1096566 |   859327 |     2098    875 |        0 |        0
617.84/618.09	c  618s |      20 |  1100222 |   862527 |     2098    878 |        0 |        0
619.94/620.14	c  620s |      20 |  1104044 |   865727 |     2098    881 |        0 |        0
621.93/622.17	c  622s |      20 |  1107454 |   868727 |     2098    883 |        0 |        0
623.93/624.18	c  624s |      20 |  1111042 |   871827 |     2098    886 |        0 |        0
626.03/626.24	c  626s |      20 |  1114715 |   874927 |     2098    889 |        0 |        0
628.04/628.29	c  628s |      20 |  1118417 |   878127 |     2098    891 |        0 |        0
630.14/630.32	c  630s |      20 |  1121783 |   881127 |     2098    894 |        0 |        0
632.13/632.36	c  632s |      20 |  1125071 |   884027 |     2098    896 |        0 |        0
634.13/634.38	c  634s |      20 |  1128566 |   887127 |     2098    899 |        0 |        0
636.23/636.40	c  636s |      20 |  1132256 |   890427 |     2098    902 |        0 |        0
638.23/638.48	c  638s |      20 |  1136449 |   893727 |     2098    905 |        0 |        0
640.33/640.55	c  640s |      20 |  1140128 |   896927 |     2098    907 |        0 |        0
642.33/642.57	c  642s |      20 |  1144129 |   900427 |     2098    910 |        0 |        0
644.43/644.61	c  644s |      20 |  1147633 |   903527 |     2098    913 |        0 |        0
646.42/646.61	c  646s |      20 |  1151010 |   906527 |     2098    915 |        0 |        0
648.42/648.66	c  648s |      20 |  1154890 |   909927 |     2098    918 |        0 |        0
650.52/650.71	c  650s |      20 |  1159357 |   913727 |     2098    921 |        0 |        0
652.52/652.74	c  652s |      20 |  1163356 |   917327 |     2098    925 |        0 |        0
654.52/654.78	c  654s |      20 |  1167341 |   920927 |     2098    928 |        0 |        0
656.63/656.82	c  656s |      20 |  1171814 |   924827 |     2098    931 |        0 |        0
658.62/658.86	c  658s |      20 |  1175710 |   928327 |     2098    934 |        0 |        0
660.62/660.88	c  660s |      20 |  1179835 |   932027 |     2098    937 |        0 |        0
662.72/662.91	c  662s |      20 |  1184463 |   935927 |     2098    940 |        0 |        0
664.72/664.92	c  664s |      20 |  1189391 |   939927 |     2098    943 |        0 |        0
666.71/666.98	c  666s |      20 |  1192847 |   942927 |     2098    945 |        0 |        0
668.81/669.00	c  668s |      20 |  1196660 |   946127 |     2098    948 |        0 |        0
670.82/671.06	c  671s |      20 |  1200244 |   949227 |     2098    950 |        0 |        0
672.81/673.08	c  673s |      20 |  1203962 |   952427 |     2098    952 |        0 |        0
674.81/675.09	c  675s |      20 |  1207422 |   955327 |     2098    954 |        0 |        0
676.81/677.09	c  677s |      20 |  1211595 |   958727 |     2098    957 |        0 |        0
678.91/679.10	c  679s |      20 |  1215643 |   962027 |     2098    959 |        0 |        0
680.91/681.15	c  681s |      20 |  1219508 |   965227 |     2098    961 |        0 |        0
682.91/683.19	c  683s |      20 |  1223781 |   968427 |     2098    964 |        0 |        0
685.00/685.24	c  685s |      20 |  1227411 |   971427 |     2098    966 |        0 |        0
687.00/687.25	c  687s |      20 |  1230973 |   974427 |     2098    968 |        0 |        0
689.00/689.29	c  689s |      20 |  1234566 |   977527 |     2098    970 |        0 |        0
691.10/691.33	c  691s |      20 |  1237975 |   980527 |     2098    973 |        0 |        0
693.10/693.39	c  693s |      20 |  1241373 |   983527 |     2098    975 |        0 |        0
695.20/695.45	c  695s |      20 |  1245728 |   987027 |     2098    978 |        0 |        0
697.20/697.45	c  697s |      20 |  1250079 |   990727 |     2098    981 |        0 |        0
699.19/699.46	c  699s |      20 |  1254192 |   994327 |     2308    984 |        0 |        0
701.29/701.52	c  701s |      20 |  1257943 |   997527 |     2308    986 |        0 |        0
703.09/703.33	c  703s |      21 |  1261782 |  1000345 |     2308    988 |        0 |        0
705.09/705.34	c  705s |      21 |  1267690 |  1005145 |     2308    992 |        0 |        0
707.10/707.36	c  707s |      21 |  1272557 |  1009545 |     2308    994 |        0 |        0
709.09/709.37	c  709s |      21 |  1277034 |  1013645 |     2308    997 |        0 |        0
711.19/711.40	c  711s |      21 |  1281995 |  1018045 |     2308   1000 |        0 |        0
713.18/713.44	c  713s |      21 |  1287203 |  1022645 |     2308   1003 |        0 |        0
715.18/715.44	c  715s |      21 |  1292118 |  1026945 |     2308   1006 |        0 |        0
717.18/717.45	c  717s |      21 |  1296970 |  1031245 |     2308   1009 |        0 |        0
719.19/719.50	c  719s |      21 |  1301751 |  1035545 |     2308   1012 |        0 |        0
721.28/721.52	c  721s |      21 |  1306780 |  1039945 |     2308   1014 |        0 |        0
723.28/723.55	c  723s |      21 |  1311531 |  1044145 |     2308   1017 |        0 |        0
725.28/725.59	c  725s |      21 |  1316045 |  1048245 |     2308   1020 |        0 |        0
727.28/727.59	c  727s |      21 |  1320510 |  1052145 |     2308   1023 |        0 |        0
729.38/729.61	c  729s |      21 |  1325524 |  1056545 |     2308   1025 |        0 |        0
731.38/731.65	c  731s |      21 |  1330017 |  1060545 |     2308   1028 |        0 |        0
733.37/733.68	c  733s |      21 |  1333715 |  1063845 |     2308   1030 |        0 |        0
735.47/735.70	c  735s |      21 |  1337890 |  1067545 |     2308   1033 |        0 |        0
737.47/737.71	c  737s |      21 |  1342153 |  1071345 |     2308   1035 |        0 |        0
739.47/739.72	c  739s |      21 |  1346497 |  1075245 |     2308   1038 |        0 |        0
741.47/741.75	c  741s |      21 |  1350921 |  1079145 |     2308   1040 |        0 |        0
743.47/743.76	c  743s |      21 |  1355389 |  1083245 |     2308   1043 |        0 |        0
745.46/745.78	c  745s |      21 |  1359509 |  1086945 |     2308   1046 |        0 |        0
747.57/747.83	c  747s |      21 |  1364186 |  1091145 |     2308   1048 |        0 |        0
749.57/749.86	c  749s |      21 |  1368545 |  1095145 |     2308   1051 |        0 |        0
751.67/751.91	c  751s |      21 |  1372797 |  1099045 |     2308   1054 |        0 |        0
753.67/753.91	c  753s |      21 |  1376942 |  1102745 |     2308   1056 |        0 |        0
755.67/755.96	c  755s |      21 |  1381812 |  1107045 |     2308   1059 |        0 |        0
757.77/758.00	c  757s |      21 |  1386842 |  1111445 |     2308   1062 |        0 |        0
759.77/760.01	c  759s |      21 |  1391375 |  1115445 |     2308   1065 |        0 |        0
761.76/762.02	c  762s |      21 |  1395639 |  1119245 |     2308   1067 |        0 |        0
763.76/764.06	c  764s |      21 |  1400359 |  1123345 |     2308   1070 |        0 |        0
765.76/766.07	c  766s |      21 |  1404613 |  1127145 |     2308   1072 |        0 |        0
767.76/768.09	c  768s |      21 |  1408670 |  1130845 |     2308   1075 |        0 |        0
769.77/770.10	c  770s |      21 |  1412803 |  1134545 |     2308   1077 |        0 |        0
771.85/772.15	c  772s |      21 |  1416786 |  1138145 |     2308   1080 |        0 |        0
773.85/774.18	c  774s |      21 |  1420344 |  1141345 |     2308   1082 |        0 |        0
775.95/776.25	c  776s |      21 |  1424182 |  1144745 |     2308   1084 |        0 |        0
778.05/778.32	c  778s |      21 |  1427870 |  1147945 |     2308   1086 |        0 |        0
780.05/780.35	c  780s |      21 |  1431727 |  1151245 |     2308   1088 |        0 |        0
782.15/782.40	c  782s |      21 |  1435348 |  1154445 |     2308   1090 |        0 |        0
784.16/784.48	c  784s |      21 |  1439012 |  1157645 |     2308   1093 |        0 |        0
786.25/786.53	c  786s |      21 |  1442686 |  1160845 |     2308   1095 |        0 |        0
788.25/788.57	c  788s |      21 |  1446874 |  1164545 |     2308   1097 |        0 |        0
790.25/790.59	c  790s |      21 |  1451106 |  1168345 |     2308   1100 |        0 |        0
792.34/792.62	c  792s |      21 |  1455297 |  1172045 |     2308   1102 |        0 |        0
794.34/794.67	c  794s |      21 |  1459005 |  1175345 |     2308   1104 |        0 |        0
796.44/796.74	c  796s |      21 |  1462924 |  1178745 |     2308   1107 |        0 |        0
798.45/798.76	c  798s |      21 |  1467217 |  1182445 |     2308   1109 |        0 |        0
800.44/800.78	c  800s |      21 |  1472110 |  1186745 |     2308   1112 |        0 |        0
802.54/802.80	c  802s |      21 |  1476683 |  1190845 |     2308   1115 |        0 |        0
804.54/804.81	c  804s |      21 |  1481420 |  1195045 |     2308   1117 |        0 |        0
806.54/806.84	c  806s |      21 |  1486281 |  1199345 |     2308   1120 |        0 |        0
808.54/808.89	c  808s |      21 |  1490860 |  1203445 |     2308   1123 |        0 |        0
810.64/810.93	c  810s |      21 |  1495375 |  1207445 |     2308   1126 |        0 |        0
812.64/812.95	c  812s |      21 |  1499573 |  1211245 |     2308   1128 |        0 |        0
814.63/814.98	c  814s |      21 |  1503975 |  1215145 |     2308   1131 |        0 |        0
816.73/817.01	c  816s |      21 |  1508378 |  1219045 |     2308   1133 |        0 |        0
818.73/819.06	c  819s |      21 |  1512147 |  1222445 |     2308   1136 |        0 |        0
820.73/821.10	c  821s |      21 |  1516378 |  1226245 |     2308   1138 |        0 |        0
822.83/823.10	c  823s |      21 |  1520616 |  1230045 |     2308   1141 |        0 |        0
824.84/825.14	c  825s |      21 |  1524431 |  1233545 |     2308   1143 |        0 |        0
826.83/827.19	c  827s |      21 |  1528781 |  1237445 |     2308   1145 |        0 |        0
828.93/829.20	c  829s |      21 |  1533213 |  1241345 |     2308   1148 |        0 |        0
830.93/831.24	c  831s |      21 |  1537166 |  1244945 |     2308   1150 |        0 |        0
832.92/833.28	c  833s |      21 |  1541633 |  1248945 |     2308   1153 |        0 |        0
835.02/835.35	c  835s |      21 |  1545801 |  1252645 |     2308   1156 |        0 |        0
837.12/837.40	c  837s |      21 |  1550440 |  1256745 |     2308   1158 |        0 |        0
839.13/839.44	c  839s |      21 |  1554117 |  1260045 |     2308   1160 |        0 |        0
841.12/841.45	c  841s |      21 |  1557551 |  1263145 |     2308   1163 |        0 |        0
843.21/843.50	c  843s |      21 |  1561214 |  1266445 |     2308   1165 |        0 |        0
845.21/845.52	c  845s |      21 |  1565631 |  1270245 |     2308   1167 |        0 |        0
847.22/847.52	c  847s |      21 |  1570194 |  1274345 |     2308   1170 |        0 |        0
849.21/849.54	c  849s |      21 |  1574984 |  1278545 |     2308   1173 |        0 |        0
851.22/851.54	c  851s |      21 |  1579632 |  1282645 |     2308   1175 |        0 |        0
853.21/853.55	c  853s |      21 |  1583610 |  1286245 |     2308   1178 |        0 |        0
855.21/855.56	c  855s |      21 |  1587943 |  1290145 |     2308   1180 |        0 |        0
857.21/857.56	c  857s |      21 |  1592904 |  1294245 |     2308   1183 |        0 |        0
859.31/859.60	c  859s |      21 |  1597594 |  1298345 |     2308   1186 |        0 |        0
861.31/861.64	c  861s |      21 |  1602493 |  1302645 |     2308   1189 |        0 |        0
863.31/863.66	c  863s |      21 |  1607476 |  1306945 |     2308   1192 |        0 |        0
865.30/865.67	c  865s |      21 |  1612480 |  1311345 |     2308   1194 |        0 |        0
867.30/867.68	c  867s |      21 |  1616846 |  1315245 |     2308   1197 |        0 |        0
869.30/869.68	c  869s |      21 |  1620880 |  1318845 |     2308   1199 |        0 |        0
871.30/871.69	c  871s |      21 |  1624817 |  1322345 |     2308   1202 |        0 |        0
873.40/873.72	c  873s |      21 |  1629454 |  1326345 |     2308   1204 |        0 |        0
875.41/875.72	c  875s |      21 |  1634178 |  1330245 |     2308   1207 |        0 |        0
877.40/877.72	c  877s |      21 |  1637940 |  1333545 |     2308   1209 |        0 |        0
879.40/879.76	c  879s |      21 |  1642177 |  1337345 |     2308   1212 |        0 |        0
881.40/881.78	c  881s |      21 |  1646295 |  1341045 |     2308   1214 |        0 |        0
883.50/883.83	c  883s |      21 |  1650506 |  1344845 |     2308   1217 |        0 |        0
885.50/885.88	c  885s |      21 |  1654363 |  1348345 |     2308   1219 |        0 |        0
887.51/887.89	c  887s |      21 |  1658227 |  1351745 |     2308   1221 |        0 |        0
889.60/889.97	c  889s |      21 |  1662081 |  1355145 |     2308   1224 |        0 |        0
891.59/891.98	c  891s |      21 |  1666716 |  1359145 |     2308   1226 |        0 |        0
893.59/893.99	c  893s |      21 |  1671507 |  1363245 |     2308   1229 |        0 |        0
895.69/896.05	c  896s |      21 |  1676519 |  1367645 |     2308   1232 |        0 |        0
897.69/898.06	c  898s |      21 |  1681690 |  1372145 |     2308   1235 |        0 |        0
899.69/900.09	c  900s |      21 |  1686849 |  1376645 |     2308   1238 |        0 |        0
901.79/902.10	c  902s |      21 |  1691465 |  1380745 |     2308   1241 |        0 |        0
903.78/904.13	c  904s |      21 |  1696304 |  1385045 |     2308   1243 |        0 |        0
905.78/906.15	c  906s |      21 |  1700768 |  1389045 |     2308   1246 |        0 |        0
907.78/908.18	c  908s |      21 |  1704997 |  1392845 |     2308   1249 |        0 |        0
909.78/910.18	c  910s |      21 |  1709070 |  1396545 |     2308   1251 |        0 |        0
911.78/912.19	c  912s |      21 |  1713334 |  1400345 |     2308   1254 |        0 |        0
913.89/914.21	c  914s |      21 |  1717629 |  1404245 |     2308   1256 |        0 |        0
915.88/916.23	c  916s |      21 |  1721977 |  1408145 |     2308   1259 |        0 |        0
917.88/918.28	c  918s |      21 |  1726578 |  1412245 |     2308   1261 |        0 |        0
919.98/920.33	c  920s |      21 |  1730770 |  1416045 |     2308   1264 |        0 |        0
921.97/922.38	c  922s |      21 |  1735077 |  1419945 |     2308   1267 |        0 |        0
924.07/924.41	c  924s |      21 |  1739618 |  1424045 |     2308   1269 |        0 |        0
926.07/926.41	c  926s |      21 |  1744319 |  1428245 |     2308   1272 |        0 |        0
928.08/928.44	c  928s |      21 |  1748682 |  1432145 |     2308   1275 |        0 |        0
930.07/930.46	c  930s |      21 |  1752971 |  1436045 |     2308   1277 |        0 |        0
932.07/932.48	c  932s |      21 |  1756988 |  1439645 |     2308   1280 |        0 |        0
934.17/934.53	c  934s |      21 |  1760934 |  1443245 |     2308   1282 |        0 |        0
936.16/936.56	c  936s |      21 |  1765199 |  1447045 |     2308   1284 |        0 |        0
938.17/938.58	c  938s |      21 |  1769481 |  1450945 |     2308   1287 |        0 |        0
940.27/940.62	c  940s |      21 |  1773559 |  1454645 |     2308   1290 |        0 |        0
942.26/942.66	c  942s |      21 |  1778228 |  1458645 |     2308   1292 |        0 |        0
944.26/944.68	c  944s |      21 |  1782976 |  1462845 |     2308   1295 |        0 |        0
946.36/946.71	c  946s |      21 |  1787330 |  1466745 |     2308   1298 |        0 |        0
948.36/948.73	c  948s |      21 |  1791945 |  1470945 |     2308   1300 |        0 |        0
950.36/950.73	c  950s |      21 |  1795949 |  1474545 |     2308   1303 |        0 |        0
952.36/952.75	c  952s |      21 |  1800068 |  1478245 |     2308   1305 |        0 |        0
954.35/954.75	c  954s |      21 |  1804784 |  1482445 |     2308   1308 |        0 |        0
956.35/956.77	c  956s |      21 |  1808651 |  1485945 |     2308   1310 |        0 |        0
958.35/958.79	c  958s |      21 |  1812863 |  1489745 |     2308   1313 |        0 |        0
960.45/960.81	c  960s |      21 |  1816896 |  1493345 |     2539   1315 |        0 |        0
962.45/962.87	c  962s |      21 |  1821762 |  1497545 |     2539   1318 |        0 |        0
964.05/964.50	c  964s |      22 |  1825243 |  1500622 |     2539   1319 |        0 |        0
966.15/966.54	c  966s |      22 |  1830849 |  1505222 |     2539   1322 |        0 |        0
968.15/968.58	c  968s |      22 |  1835387 |  1509322 |     2539   1325 |        0 |        0
970.25/970.61	c  970s |      22 |  1839753 |  1513222 |     2539   1328 |        0 |        0
972.25/972.67	c  972s |      22 |  1845647 |  1517322 |     2539   1330 |        0 |        0
974.35/974.72	c  974s |      22 |  1849422 |  1520722 |     2539   1333 |        0 |        0
976.35/976.76	c  976s |      22 |  1854207 |  1523522 |     2539   1335 |        0 |        0
978.35/978.78	c  978s |      22 |  1858497 |  1525822 |     2539   1336 |        0 |        0
980.45/980.83	c  980s |      22 |  1861704 |  1528622 |     2539   1338 |        0 |        0
982.54/982.91	c  982s |      22 |  1864594 |  1531222 |     2539   1340 |        0 |        0
984.54/984.92	c  984s |      22 |  1867363 |  1533722 |     2539   1342 |        0 |        0
986.64/987.01	c  986s |      22 |  1870346 |  1536422 |     2539   1344 |        0 |        0
988.65/989.03	c  989s |      22 |  1873009 |  1538822 |     2539   1346 |        0 |        0
990.75/991.12	c  991s |      22 |  1875822 |  1541322 |     2539   1348 |        0 |        0
992.74/993.14	c  993s |      22 |  1878193 |  1543422 |     2539   1349 |        0 |        0
994.84/995.24	c  995s |      22 |  1880280 |  1545322 |     2539   1350 |        0 |        0
996.84/997.25	c  997s |      22 |  1883313 |  1548022 |     2539   1352 |        0 |        0
998.84/999.26	c  999s |      22 |  1886438 |  1550822 |     2539   1354 |        0 |        0
1000.93/1001.30	c 1001s |      22 |  1888916 |  1553022 |     2539   1356 |        0 |        0
1002.94/1003.36	c 1003s |      22 |  1891181 |  1555122 |     2539   1357 |        0 |        0
1005.04/1005.45	c 1005s |      22 |  1893514 |  1557222 |     2539   1359 |        0 |        0
1007.03/1007.48	c 1007s |      22 |  1895686 |  1559222 |     2539   1360 |        0 |        0
1009.13/1009.53	c 1009s |      22 |  1900618 |  1563122 |     2539   1363 |        0 |        0
1011.13/1011.57	c 1011s |      22 |  1904515 |  1566622 |     2539   1366 |        0 |        0
1013.12/1013.57	c 1013s |      22 |  1908613 |  1570322 |     2539   1368 |        0 |        0
1015.12/1015.59	c 1015s |      22 |  1912676 |  1574022 |     2539   1371 |        0 |        0
1017.23/1017.61	c 1017s |      22 |  1916485 |  1577422 |     2539   1374 |        0 |        0
1019.22/1019.65	c 1019s |      22 |  1921523 |  1580922 |     2539   1376 |        0 |        0
1021.32/1021.70	c 1021s |      22 |  1924335 |  1583422 |     2539   1378 |        0 |        0
1023.32/1023.75	c 1023s |      22 |  1927448 |  1586122 |     2539   1380 |        0 |        0
1025.32/1025.76	c 1025s |      22 |  1930237 |  1588622 |     2539   1382 |        0 |        0
1027.42/1027.80	c 1027s |      22 |  1933066 |  1591222 |     2539   1383 |        0 |        0
1029.42/1029.83	c 1029s |      22 |  1935924 |  1593822 |     2539   1385 |        0 |        0
1031.42/1031.84	c 1031s |      22 |  1938684 |  1596322 |     2539   1387 |        0 |        0
1033.41/1033.89	c 1033s |      22 |  1941944 |  1599222 |     2539   1389 |        0 |        0
1035.51/1035.94	c 1035s |      22 |  1944904 |  1601922 |     2539   1391 |        0 |        0
1037.61/1038.00	c 1037s |      22 |  1947558 |  1604322 |     2539   1393 |        0 |        0
1039.61/1040.01	c 1039s |      22 |  1950476 |  1606922 |     2539   1394 |        0 |        0
1041.61/1042.08	c 1042s |      22 |  1953480 |  1609622 |     2539   1396 |        0 |        0
1043.71/1044.10	c 1044s |      22 |  1956017 |  1611922 |     2539   1398 |        0 |        0
1045.72/1046.17	c 1046s |      22 |  1959308 |  1614822 |     2539   1400 |        0 |        0
1047.81/1048.22	c 1048s |      22 |  1962181 |  1617422 |     2539   1402 |        0 |        0
1049.81/1050.28	c 1050s |      22 |  1965296 |  1620222 |     2539   1404 |        0 |        0
1051.91/1052.32	c 1052s |      22 |  1968323 |  1622922 |     2539   1406 |        0 |        0
1053.91/1054.33	c 1054s |      22 |  1971316 |  1625622 |     2539   1408 |        0 |        0
1055.91/1056.33	c 1056s |      22 |  1975061 |  1628322 |     2539   1410 |        0 |        0
1057.92/1058.37	c 1058s |      22 |  1979817 |  1631222 |     2539   1412 |        0 |        0
1060.01/1060.48	c 1060s |      22 |  1981879 |  1633022 |     2539   1413 |        0 |        0
1062.10/1062.51	c 1062s |      22 |  1984974 |  1635522 |     2539   1415 |        0 |        0
1064.10/1064.55	c 1064s |      22 |  1988329 |  1638522 |     2539   1417 |        0 |        0
1066.10/1066.58	c 1066s |      22 |  1991679 |  1641522 |     2539   1419 |        0 |        0
1068.20/1068.64	c 1068s |      22 |  1995259 |  1644722 |     2539   1421 |        0 |        0
1070.20/1070.64	c 1070s |      22 |  1998936 |  1647822 |     2539   1423 |        0 |        0
1072.21/1072.65	c 1072s |      22 |  2002658 |  1651222 |     2539   1426 |        0 |        0
1074.20/1074.69	c 1074s |      22 |  2006580 |  1654522 |     2539   1428 |        0 |        0
1076.30/1076.72	c 1076s |      22 |  2009633 |  1657222 |     2539   1430 |        0 |        0
1078.30/1078.73	c 1078s |      22 |  2012488 |  1659722 |     2539   1432 |        0 |        0
1080.30/1080.74	c 1080s |      22 |  2015346 |  1662222 |     2539   1434 |        0 |        0
1082.30/1082.75	c 1082s |      22 |  2018046 |  1664522 |     2539   1435 |        0 |        0
1084.31/1084.76	c 1084s |      22 |  2020910 |  1666922 |     2539   1437 |        0 |        0
1086.30/1086.79	c 1086s |      22 |  2023452 |  1669122 |     2539   1439 |        0 |        0
1088.40/1088.83	c 1088s |      22 |  2026312 |  1671622 |     2539   1440 |        0 |        0
1090.40/1090.87	c 1090s |      22 |  2028813 |  1673822 |     2539   1442 |        0 |        0
1092.49/1092.93	c 1092s |      22 |  2031375 |  1676122 |     2539   1444 |        0 |        0
1094.49/1094.99	c 1094s |      22 |  2034366 |  1678722 |     2539   1446 |        0 |        0
1096.59/1097.04	c 1097s |      22 |  2036863 |  1680922 |     2539   1447 |        0 |        0
1098.60/1099.08	c 1099s |      22 |  2039945 |  1683422 |     2539   1449 |        0 |        0
1100.70/1101.14	c 1101s |      22 |  2042540 |  1685722 |     2539   1451 |        0 |        0
1102.69/1103.19	c 1103s |      22 |  2045492 |  1688322 |     2539   1452 |        0 |        0
1104.79/1105.20	c 1105s |      22 |  2048012 |  1690622 |     2539   1454 |        0 |        0
1106.79/1107.23	c 1107s |      22 |  2050554 |  1692822 |     2539   1456 |        0 |        0
1108.79/1109.27	c 1109s |      22 |  2053146 |  1695122 |     2539   1457 |        0 |        0
1110.79/1111.28	c 1111s |      22 |  2057750 |  1699022 |     2539   1460 |        0 |        0
1112.90/1113.34	c 1113s |      22 |  2062496 |  1703322 |     2539   1463 |        0 |        0
1114.89/1115.35	c 1115s |      22 |  2066885 |  1707122 |     2539   1466 |        0 |        0
1116.99/1117.41	c 1117s |      22 |  2071320 |  1711022 |     2539   1468 |        0 |        0
1118.99/1119.43	c 1119s |      22 |  2075745 |  1714922 |     2539   1471 |        0 |        0
1120.99/1121.44	c 1121s |      22 |  2080122 |  1718822 |     2539   1474 |        0 |        0
1122.99/1123.46	c 1123s |      22 |  2084690 |  1722922 |     2539   1476 |        0 |        0
1125.00/1125.49	c 1125s |      22 |  2089371 |  1727122 |     2539   1479 |        0 |        0
1126.99/1127.50	c 1127s |      22 |  2093831 |  1731122 |     2539   1482 |        0 |        0
1129.09/1129.51	c 1129s |      22 |  2098321 |  1735122 |     2539   1485 |        0 |        0
1131.09/1131.52	c 1131s |      22 |  2102792 |  1739122 |     2539   1488 |        0 |        0
1133.09/1133.57	c 1133s |      22 |  2107425 |  1743222 |     2539   1490 |        0 |        0
1135.19/1135.63	c 1135s |      22 |  2111572 |  1747022 |     2539   1493 |        0 |        0
1137.19/1137.65	c 1137s |      22 |  2115299 |  1750422 |     2539   1495 |        0 |        0
1139.19/1139.66	c 1139s |      22 |  2119380 |  1754122 |     2539   1498 |        0 |        0
1141.19/1141.68	c 1141s |      22 |  2123288 |  1757622 |     2539   1500 |        0 |        0
1143.19/1143.69	c 1143s |      22 |  2127211 |  1761122 |     2539   1503 |        0 |        0
1145.28/1145.71	c 1145s |      22 |  2131098 |  1764622 |     2539   1505 |        0 |        0
1147.28/1147.73	c 1147s |      22 |  2135576 |  1768622 |     2539   1508 |        0 |        0
1149.28/1149.75	c 1149s |      22 |  2140173 |  1772522 |     2539   1511 |        0 |        0
1151.29/1151.80	c 1151s |      22 |  2145434 |  1777022 |     2539   1514 |        0 |        0
1153.38/1153.84	c 1153s |      22 |  2150520 |  1781522 |     2539   1517 |        0 |        0
1155.38/1155.87	c 1155s |      22 |  2155324 |  1785922 |     2539   1520 |        0 |        0
1157.48/1157.92	c 1157s |      22 |  2160234 |  1790322 |     2539   1523 |        0 |        0
1159.48/1159.96	c 1159s |      22 |  2165247 |  1794722 |     2539   1526 |        0 |        0
1161.48/1161.96	c 1161s |      22 |  2170196 |  1799122 |     2539   1529 |        0 |        0
1163.49/1163.97	c 1163s |      22 |  2174916 |  1803322 |     2539   1532 |        0 |        0
1165.59/1166.01	c 1165s |      22 |  2179975 |  1807722 |     2539   1535 |        0 |        0
1167.58/1168.01	c 1167s |      22 |  2184745 |  1811922 |     2539   1538 |        0 |        0
1169.58/1170.04	c 1170s |      22 |  2189137 |  1815922 |     2539   1541 |        0 |        0
1171.58/1172.05	c 1172s |      22 |  2194024 |  1820222 |     2539   1544 |        0 |        0
1173.58/1174.08	c 1174s |      22 |  2198765 |  1824322 |     2539   1547 |        0 |        0
1175.68/1176.11	c 1176s |      22 |  2203301 |  1828422 |     2539   1549 |        0 |        0
1177.68/1178.14	c 1178s |      22 |  2208134 |  1832622 |     2539   1552 |        0 |        0
1179.68/1180.18	c 1180s |      22 |  2212642 |  1836622 |     2539   1555 |        0 |        0
1181.68/1182.18	c 1182s |      22 |  2217058 |  1840522 |     2539   1558 |        0 |        0
1183.78/1184.20	c 1184s |      22 |  2221569 |  1844522 |     2539   1561 |        0 |        0
1185.77/1186.25	c 1186s |      22 |  2226187 |  1848622 |     2539   1563 |        0 |        0
1187.77/1188.26	c 1188s |      22 |  2230324 |  1852322 |     2539   1566 |        0 |        0
1189.78/1190.30	c 1190s |      22 |  2234630 |  1856122 |     2539   1569 |        0 |        0
1191.87/1192.32	c 1192s |      22 |  2238723 |  1859522 |     2539   1571 |        0 |        0
1193.87/1194.38	c 1194s |      22 |  2242688 |  1862822 |     2539   1573 |        0 |        0
1195.97/1196.41	c 1196s |      22 |  2247057 |  1866422 |     2539   1576 |        0 |        0
1197.97/1198.41	c 1198s |      22 |  2251397 |  1869922 |     2539   1578 |        0 |        0
1200.08/1200.50	c 1200s |      22 |  2254907 |  1873022 |     2539   1581 |        0 |        0
1202.08/1202.54	c 1202s |      22 |  2258452 |  1876022 |     2539   1583 |        0 |        0
1204.09/1204.58	c 1204s |      22 |  2261965 |  1879122 |     2539   1585 |        0 |        0
1206.08/1206.58	c 1206s |      22 |  2265671 |  1882322 |     2539   1587 |        0 |        0
1208.18/1208.62	c 1208s |      22 |  2268823 |  1885122 |     2539   1589 |        0 |        0
1210.18/1210.66	c 1210s |      22 |  2272887 |  1888122 |     2539   1591 |        0 |        0
1212.18/1212.66	c 1212s |      22 |  2276303 |  1891022 |     2539   1593 |        0 |        0
1214.18/1214.68	c 1214s |      22 |  2279572 |  1893922 |     2539   1595 |        0 |        0
1216.29/1216.74	c 1216s |      22 |  2283180 |  1897022 |     2539   1597 |        0 |        0
1218.28/1218.80	c 1218s |      22 |  2286595 |  1900022 |     2539   1599 |        0 |        0
1220.38/1220.85	c 1220s |      22 |  2290126 |  1902922 |     2539   1602 |        0 |        0
1222.48/1222.90	c 1222s |      22 |  2293833 |  1906022 |     2539   1604 |        0 |        0
1224.48/1224.91	c 1224s |      22 |  2297311 |  1908922 |     2539   1606 |        0 |        0
1226.48/1226.94	c 1226s |      22 |  2301774 |  1912422 |     2539   1608 |        0 |        0
1228.58/1229.00	c 1228s |      22 |  2305627 |  1915422 |     2539   1610 |        0 |        0
1230.48/1231.00	c 1230s |      22 |  2309504 |  1918422 |     2539   1612 |        0 |        0
1232.58/1233.03	c 1233s |      22 |  2313689 |  1921522 |     2539   1615 |        0 |        0
1234.58/1235.04	c 1235s |      22 |  2317222 |  1924422 |     2539   1617 |        0 |        0
1236.58/1237.09	c 1237s |      22 |  2321314 |  1927422 |     2539   1619 |        0 |        0
1238.68/1239.11	c 1239s |      22 |  2324974 |  1930322 |     2539   1621 |        0 |        0
1240.68/1241.14	c 1241s |      22 |  2328487 |  1933322 |     2539   1623 |        0 |        0
1242.68/1243.17	c 1243s |      22 |  2331756 |  1936022 |     2539   1625 |        0 |        0
1244.78/1245.23	c 1245s |      22 |  2335250 |  1938822 |     2539   1627 |        0 |        0
1246.77/1247.24	c 1247s |      22 |  2338581 |  1941322 |     2539   1629 |        0 |        0
1248.77/1249.27	c 1249s |      22 |  2342165 |  1944122 |     2539   1631 |        0 |        0
1250.87/1251.30	c 1251s |      22 |  2345840 |  1947122 |     2539   1633 |        0 |        0
1252.87/1253.32	c 1253s |      22 |  2349206 |  1949922 |     2539   1635 |        0 |        0
1254.87/1255.35	c 1255s |      22 |  2352366 |  1952622 |     2539   1637 |        0 |        0
1256.88/1257.39	c 1257s |      22 |  2356504 |  1955822 |     2539   1639 |        0 |        0
1258.97/1259.44	c 1259s |      22 |  2360185 |  1958722 |     2539   1641 |        0 |        0
1260.97/1261.45	c 1261s |      22 |  2363739 |  1961822 |     2539   1643 |        0 |        0
1262.97/1263.45	c 1263s |      22 |  2366971 |  1964722 |     2539   1645 |        0 |        0
1264.97/1265.47	c 1265s |      22 |  2370208 |  1967622 |     2539   1647 |        0 |        0
1267.07/1267.50	c 1267s |      22 |  2374207 |  1970922 |     2539   1649 |        0 |        0
1269.08/1269.51	c 1269s |      22 |  2377980 |  1973922 |     2539   1652 |        0 |        0
1271.07/1271.58	c 1271s |      22 |  2382230 |  1977422 |     2539   1654 |        0 |        0
1273.07/1273.59	c 1273s |      22 |  2385599 |  1980322 |     2539   1656 |        0 |        0
1275.17/1275.63	c 1275s |      22 |  2389128 |  1983422 |     2539   1658 |        0 |        0
1277.17/1277.64	c 1277s |      22 |  2392697 |  1986622 |     2539   1660 |        0 |        0
1279.17/1279.68	c 1279s |      22 |  2396460 |  1990022 |     2539   1663 |        0 |        0
1281.27/1281.70	c 1281s |      22 |  2399938 |  1993122 |     2539   1665 |        0 |        0
1283.27/1283.74	c 1283s |      22 |  2403835 |  1996322 |     2539   1667 |        0 |        0
1285.36/1285.80	c 1285s |      22 |  2408349 |  1999922 |     2539   1669 |        0 |        0
1287.36/1287.83	c 1287s |      22 |  2412331 |  2003322 |     2539   1672 |        0 |        0
1289.36/1289.84	c 1289s |      22 |  2416156 |  2006622 |     2539   1674 |        0 |        0
1291.36/1291.86	c 1291s |      22 |  2419747 |  2009522 |     2539   1676 |        0 |        0
1293.36/1293.89	c 1293s |      22 |  2422249 |  2011622 |     2539   1678 |        0 |        0
1295.37/1295.90	c 1295s |      22 |  2425548 |  2014422 |     2539   1680 |        0 |        0
1297.46/1297.90	c 1297s |      22 |  2429407 |  2017622 |     2539   1682 |        0 |        0
1299.46/1299.92	c 1299s |      22 |  2433290 |  2020922 |     2539   1684 |        0 |        0
1301.46/1301.93	c 1301s |      22 |  2437078 |  2024222 |     2539   1686 |        0 |        0
1303.46/1303.99	c 1303s |      22 |  2440397 |  2027222 |     2539   1688 |        0 |        0
1305.56/1306.02	c 1305s |      22 |  2443733 |  2030222 |     2539   1690 |        0 |        0
1307.57/1308.06	c 1308s |      22 |  2447220 |  2033322 |     2539   1693 |        0 |        0
1309.67/1310.12	c 1310s |      22 |  2450902 |  2036622 |     2539   1695 |        0 |        0
1311.66/1312.13	c 1312s |      22 |  2454296 |  2039722 |     2539   1697 |        0 |        0
1313.66/1314.14	c 1314s |      22 |  2457967 |  2043022 |     2539   1699 |        0 |        0
1315.66/1316.15	c 1316s |      22 |  2461545 |  2046022 |     2539   1701 |        0 |        0
1317.76/1318.21	c 1318s |      22 |  2465267 |  2049322 |     2539   1704 |        0 |        0
1319.76/1320.24	c 1320s |      22 |  2468774 |  2052322 |     2539   1706 |        0 |        0
1321.76/1322.25	c 1322s |      22 |  2472237 |  2055222 |     2539   1708 |        0 |        0
1323.86/1324.33	c 1324s |      22 |  2475705 |  2058222 |     2539   1710 |        0 |        0
1325.86/1326.37	c 1326s |      22 |  2480130 |  2061722 |     2539   1712 |        0 |        0
1327.96/1328.40	c 1328s |      22 |  2483668 |  2064722 |     2539   1714 |        0 |        0
1329.95/1330.43	c 1330s |      22 |  2487620 |  2068022 |     2539   1717 |        0 |        0
1331.95/1332.47	c 1332s |      22 |  2491200 |  2071222 |     2539   1719 |        0 |        0
1333.96/1334.48	c 1334s |      22 |  2494929 |  2074422 |     2539   1721 |        0 |        0
1335.95/1336.50	c 1336s |      22 |  2498595 |  2077522 |     2539   1723 |        0 |        0
1338.05/1338.53	c 1338s |      22 |  2501792 |  2080322 |     2539   1725 |        0 |        0
1340.05/1340.57	c 1340s |      22 |  2505798 |  2083822 |     2539   1728 |        0 |        0
1342.15/1342.61	c 1342s |      22 |  2509566 |  2087122 |     2539   1730 |        0 |        0
1344.15/1344.64	c 1344s |      22 |  2512669 |  2089922 |     2539   1732 |        0 |        0
1346.15/1346.68	c 1346s |      22 |  2515511 |  2092522 |     2539   1733 |        0 |        0
1348.26/1348.73	c 1348s |      22 |  2519460 |  2095522 |     2539   1736 |        0 |        0
1350.25/1350.77	c 1350s |      22 |  2522543 |  2098322 |     2539   1738 |        0 |        0
1352.25/1352.79	c 1352s |      22 |  2526004 |  2101422 |     2539   1740 |        0 |        0
1354.35/1354.87	c 1354s |      22 |  2529134 |  2104222 |     2539   1742 |        0 |        0
1356.35/1356.89	c 1356s |      22 |  2532292 |  2106722 |     2539   1743 |        0 |        0
1358.45/1358.98	c 1358s |      22 |  2535139 |  2109122 |     2539   1745 |        0 |        0
1360.55/1361.06	c 1361s |      22 |  2538027 |  2111222 |     2539   1747 |        0 |        0
1362.56/1363.09	c 1363s |      22 |  2540479 |  2113422 |     2539   1748 |        0 |        0
1364.66/1365.18	c 1365s |      22 |  2542907 |  2115622 |     2539   1750 |        0 |        0
1366.65/1367.18	c 1367s |      22 |  2546776 |  2118822 |     2539   1752 |        0 |        0
1368.75/1369.24	c 1369s |      22 |  2550600 |  2122122 |     2539   1754 |        0 |        0
1370.75/1371.26	c 1371s |      22 |  2554446 |  2125322 |     2539   1756 |        0 |        0
1372.76/1373.29	c 1373s |      22 |  2558546 |  2128722 |     2539   1759 |        0 |        0
1374.86/1375.32	c 1375s |      22 |  2562043 |  2131622 |     2539   1761 |        0 |        0
1376.86/1377.32	c 1377s |      22 |  2565721 |  2134622 |     2539   1763 |        0 |        0
1378.85/1379.38	c 1379s |      22 |  2569717 |  2137822 |     2539   1765 |        0 |        0
1380.85/1381.39	c 1381s |      22 |  2573565 |  2140722 |     2539   1767 |        0 |        0
1382.95/1383.45	c 1383s |      22 |  2577506 |  2143722 |     2539   1769 |        0 |        0
1385.05/1385.52	c 1385s |      22 |  2581482 |  2146522 |     2539   1771 |        0 |        0
1387.05/1387.56	c 1387s |      22 |  2585551 |  2149222 |     2539   1773 |        0 |        0
1389.15/1389.61	c 1389s |      22 |  2588881 |  2152022 |     2539   1775 |        0 |        0
1391.16/1391.66	c 1391s |      22 |  2592248 |  2155022 |     2539   1777 |        0 |        0
1393.15/1393.66	c 1393s |      22 |  2596072 |  2158322 |     2539   1779 |        0 |        0
1395.15/1395.67	c 1395s |      22 |  2600060 |  2161522 |     2539   1782 |        0 |        0
1397.25/1397.72	c 1397s |      22 |  2604102 |  2164822 |     2539   1784 |        0 |        0
1399.25/1399.73	c 1399s |      22 |  2607752 |  2167822 |     2539   1786 |        0 |        0
1401.25/1401.74	c 1401s |      22 |  2611650 |  2170722 |     2539   1788 |        0 |        0
1403.35/1403.80	c 1403s |      22 |  2615555 |  2173822 |     2539   1790 |        0 |        0
1405.36/1405.84	c 1405s |      22 |  2619015 |  2176922 |     2539   1792 |        0 |        0
1407.35/1407.89	c 1407s |      22 |  2622423 |  2180022 |     2539   1794 |        0 |        0
1409.45/1409.92	c 1409s |      22 |  2626102 |  2183022 |     2539   1796 |        0 |        0
1411.45/1411.94	c 1411s |      22 |  2630236 |  2186422 |     2539   1799 |        0 |        0
1413.45/1413.94	c 1413s |      22 |  2634689 |  2190022 |     2539   1801 |        0 |        0
1415.45/1415.98	c 1415s |      22 |  2638931 |  2193522 |     2539   1804 |        0 |        0
1417.55/1418.04	c 1418s |      22 |  2642943 |  2196722 |     2539   1806 |        0 |        0
1419.55/1420.09	c 1420s |      22 |  2647170 |  2200222 |     2539   1808 |        0 |        0
1421.55/1422.09	c 1422s |      22 |  2650723 |  2203222 |     2539   1810 |        0 |        0
1423.65/1424.12	c 1424s |      22 |  2654657 |  2206322 |     2539   1812 |        0 |        0
1425.65/1426.12	c 1426s |      22 |  2658273 |  2209322 |     2539   1815 |        0 |        0
1427.65/1428.17	c 1428s |      22 |  2662053 |  2212222 |     2539   1817 |        0 |        0
1429.74/1430.23	c 1430s |      22 |  2666153 |  2215422 |     2539   1819 |        0 |        0
1431.75/1432.24	c 1432s |      22 |  2669995 |  2218622 |     2539   1821 |        0 |        0
1433.84/1434.31	c 1434s |      22 |  2673534 |  2221622 |     2539   1823 |        0 |        0
1435.84/1436.36	c 1436s |      22 |  2677426 |  2224722 |     2539   1825 |        0 |        0
1437.94/1438.40	c 1438s |      22 |  2681072 |  2227722 |     2539   1827 |        0 |        0
1439.94/1440.44	c 1440s |      22 |  2685299 |  2231022 |     2539   1830 |        0 |        0
1441.94/1442.45	c 1442s |      22 |  2689316 |  2234022 |     2539   1832 |        0 |        0
1444.04/1444.51	c 1444s |      22 |  2693328 |  2237122 |     2793   1834 |        0 |        0
1446.05/1446.51	c 1446s |      22 |  2697441 |  2240322 |     2793   1836 |        0 |        0
1448.04/1448.56	c 1448s |      22 |  2701375 |  2243522 |     2793   1838 |        0 |        0
1450.14/1450.64	c 1450s |      22 |  2704945 |  2246522 |     2793   1839 |        0 |        0
1452.14/1452.64	c 1452s |      22 |  2708233 |  2249322 |     2793   1841 |        0 |        0
1453.34/1453.81	c 1453s |      23 |  2710292 |  2251038 |     2793   1842 |        0 |        0
1455.34/1455.84	c 1455s |      23 |  2716756 |  2256338 |     2793   1845 |        0 |        0
1457.34/1457.87	c 1457s |      23 |  2721938 |  2260938 |     2793   1848 |        0 |        0
1459.44/1459.90	c 1459s |      23 |  2727037 |  2265338 |     2793   1850 |        0 |        0
1461.44/1461.95	c 1461s |      23 |  2732027 |  2269738 |     2793   1853 |        0 |        0
1463.44/1463.97	c 1463s |      23 |  2736735 |  2273938 |     2793   1855 |        0 |        0
1465.44/1465.98	c 1465s |      23 |  2741125 |  2277838 |     2793   1858 |        0 |        0
1467.54/1468.00	c 1467s |      23 |  2745411 |  2281638 |     2793   1860 |        0 |        0
1469.54/1470.01	c 1469s |      23 |  2749534 |  2285238 |     2793   1862 |        0 |        0
1471.54/1472.02	c 1472s |      23 |  2754103 |  2289338 |     2793   1864 |        0 |        0
1473.54/1474.07	c 1474s |      23 |  2758671 |  2293338 |     2793   1867 |        0 |        0
1475.53/1476.08	c 1476s |      23 |  2763651 |  2297638 |     2793   1869 |        0 |        0
1477.53/1478.09	c 1478s |      23 |  2768659 |  2301938 |     2793   1871 |        0 |        0
1479.63/1480.13	c 1480s |      23 |  2773440 |  2306138 |     2793   1874 |        0 |        0
1481.63/1482.13	c 1482s |      23 |  2777855 |  2310038 |     2793   1876 |        0 |        0
1483.63/1484.14	c 1484s |      23 |  2782278 |  2313938 |     2793   1878 |        0 |        0
1485.64/1486.17	c 1486s |      23 |  2786468 |  2317738 |     2793   1881 |        0 |        0
1487.73/1488.21	c 1488s |      23 |  2790904 |  2321738 |     2793   1883 |        0 |        0
1489.73/1490.25	c 1490s |      23 |  2795677 |  2325938 |     2793   1885 |        0 |        0
1491.73/1492.26	c 1492s |      23 |  2800036 |  2329838 |     2793   1887 |        0 |        0
1493.73/1494.28	c 1494s |      23 |  2804739 |  2334038 |     2793   1890 |        0 |        0
1495.83/1496.32	c 1496s |      23 |  2809146 |  2338038 |     2793   1892 |        0 |        0
1497.84/1498.34	c 1498s |      23 |  2813322 |  2341738 |     2793   1894 |        0 |        0
1499.83/1500.34	c 1500s |      23 |  2817806 |  2345638 |     2793   1897 |        0 |        0
1501.83/1502.35	c 1502s |      23 |  2822572 |  2349838 |     2793   1899 |        0 |        0
1503.83/1504.40	c 1504s |      23 |  2826949 |  2353738 |     2793   1901 |        0 |        0
1505.93/1506.43	c 1506s |      23 |  2831715 |  2357938 |     2793   1904 |        0 |        0
1507.93/1508.46	c 1508s |      23 |  2836368 |  2362038 |     2793   1906 |        0 |        0
1509.93/1510.50	c 1510s |      23 |  2840431 |  2365638 |     2793   1908 |        0 |        0
1512.03/1512.56	c 1512s |      23 |  2844501 |  2369238 |     2793   1910 |        0 |        0
1514.03/1514.59	c 1514s |      23 |  2848352 |  2372738 |     2793   1912 |        0 |        0
1516.13/1516.65	c 1516s |      23 |  2852613 |  2376538 |     2793   1914 |        0 |        0
1518.13/1518.65	c 1518s |      23 |  2856830 |  2380238 |     2793   1916 |        0 |        0
1520.12/1520.66	c 1520s |      23 |  2860923 |  2383938 |     2793   1918 |        0 |        0
1522.22/1522.74	c 1522s |      23 |  2864952 |  2387538 |     2793   1921 |        0 |        0
1524.23/1524.79	c 1524s |      23 |  2869385 |  2391438 |     2793   1923 |        0 |        0
1526.33/1526.82	c 1526s |      23 |  2874598 |  2396038 |     2793   1925 |        0 |        0
1528.32/1528.83	c 1528s |      23 |  2879460 |  2400238 |     2793   1928 |        0 |        0
1530.32/1530.87	c 1530s |      23 |  2884433 |  2404538 |     2793   1930 |        0 |        0
1532.32/1532.88	c 1532s |      23 |  2888996 |  2408538 |     2793   1933 |        0 |        0
1534.42/1534.91	c 1534s |      23 |  2893770 |  2412738 |     2793   1935 |        0 |        0
1536.42/1536.91	c 1536s |      23 |  2898528 |  2416838 |     2793   1937 |        0 |        0
1538.44/1538.92	c 1538s |      23 |  2902640 |  2420438 |     2793   1939 |        0 |        0
1540.43/1540.96	c 1540s |      23 |  2906915 |  2424238 |     2793   1942 |        0 |        0
1542.53/1543.01	c 1542s |      23 |  2911400 |  2428238 |     2793   1944 |        0 |        0
1544.53/1545.06	c 1545s |      23 |  2915716 |  2432038 |     2793   1946 |        0 |        0
1546.53/1547.08	c 1547s |      23 |  2919614 |  2435538 |     2793   1948 |        0 |        0
1548.63/1549.10	c 1549s |      23 |  2924113 |  2439538 |     2793   1950 |        0 |        0
1550.64/1551.13	c 1551s |      23 |  2928636 |  2443538 |     2793   1953 |        0 |        0
1552.63/1553.16	c 1553s |      23 |  2933303 |  2447638 |     2793   1955 |        0 |        0
1554.73/1555.20	c 1555s |      23 |  2937561 |  2451438 |     2793   1957 |        0 |        0
1556.73/1557.25	c 1557s |      23 |  2941737 |  2455138 |     2793   1959 |        0 |        0
1558.73/1559.26	c 1559s |      23 |  2945957 |  2458938 |     2793   1961 |        0 |        0
1560.73/1561.28	c 1561s |      23 |  2950655 |  2463038 |     2793   1964 |        0 |        0
1562.73/1563.29	c 1563s |      23 |  2955060 |  2466938 |     2793   1966 |        0 |        0
1564.83/1565.31	c 1565s |      23 |  2959537 |  2470838 |     2793   1968 |        0 |        0
1566.83/1567.35	c 1567s |      23 |  2963842 |  2474638 |     2793   1970 |        0 |        0
1568.83/1569.38	c 1569s |      23 |  2967770 |  2478138 |     2793   1972 |        0 |        0
1570.93/1571.42	c 1571s |      23 |  2971846 |  2481738 |     2793   1975 |        0 |        0
1572.92/1573.45	c 1573s |      23 |  2975818 |  2485238 |     2793   1977 |        0 |        0
1575.02/1575.50	c 1575s |      23 |  2980393 |  2489238 |     2793   1979 |        0 |        0
1577.03/1577.51	c 1577s |      23 |  2984803 |  2493138 |     2793   1981 |        0 |        0
1579.02/1579.51	c 1579s |      23 |  2988445 |  2496438 |     2793   1983 |        0 |        0
1581.02/1581.53	c 1581s |      23 |  2992461 |  2500038 |     2793   1985 |        0 |        0
1583.02/1583.58	c 1583s |      23 |  2996709 |  2503838 |     2793   1987 |        0 |        0
1585.02/1585.59	c 1585s |      23 |  3001142 |  2507738 |     2793   1989 |        0 |        0
1587.12/1587.62	c 1587s |      23 |  3005064 |  2511238 |     2793   1991 |        0 |        0
1589.13/1589.66	c 1589s |      23 |  3009408 |  2515138 |     2793   1994 |        0 |        0
1591.12/1591.68	c 1591s |      23 |  3013651 |  2518938 |     2793   1996 |        0 |        0
1593.12/1593.69	c 1593s |      23 |  3017907 |  2522738 |     2793   1998 |        0 |        0
1595.22/1595.73	c 1595s |      23 |  3022505 |  2526838 |     2793   2000 |        0 |        0
1597.32/1597.80	c 1597s |      23 |  3026537 |  2530438 |     2793   2003 |        0 |        0
1599.32/1599.84	c 1599s |      23 |  3030921 |  2534338 |     2793   2005 |        0 |        0
1601.32/1601.86	c 1601s |      23 |  3035053 |  2538038 |     2793   2007 |        0 |        0
1603.33/1603.89	c 1603s |      23 |  3038836 |  2541338 |     2793   2009 |        0 |        0
1605.42/1605.95	c 1605s |      23 |  3042319 |  2544438 |     2793   2011 |        0 |        0
1607.42/1607.99	c 1607s |      23 |  3046453 |  2548038 |     2793   2013 |        0 |        0
1609.52/1610.04	c 1610s |      23 |  3050836 |  2551938 |     2793   2015 |        0 |        0
1611.52/1612.04	c 1612s |      23 |  3054919 |  2555538 |     2793   2017 |        0 |        0
1613.52/1614.04	c 1614s |      23 |  3058919 |  2559138 |     2793   2019 |        0 |        0
1615.52/1616.05	c 1616s |      23 |  3062901 |  2562638 |     2793   2021 |        0 |        0
1617.52/1618.08	c 1618s |      23 |  3066955 |  2566238 |     2793   2023 |        0 |        0
1619.62/1620.12	c 1620s |      23 |  3071113 |  2569938 |     2793   2025 |        0 |        0
1621.62/1622.17	c 1622s |      23 |  3075050 |  2573438 |     2793   2027 |        0 |        0
1623.72/1624.23	c 1624s |      23 |  3078774 |  2576738 |     2793   2029 |        0 |        0
1625.71/1626.23	c 1626s |      23 |  3082425 |  2580038 |     2793   2031 |        0 |        0
1627.81/1628.30	c 1628s |      23 |  3086322 |  2583538 |     2793   2033 |        0 |        0
1629.82/1630.31	c 1630s |      23 |  3089376 |  2586338 |     2793   2035 |        0 |        0
1631.81/1632.38	c 1632s |      23 |  3093021 |  2589638 |     2793   2037 |        0 |        0
1633.91/1634.41	c 1634s |      23 |  3097110 |  2593238 |     2793   2039 |        0 |        0
1635.91/1636.42	c 1636s |      23 |  3101630 |  2597238 |     2793   2041 |        0 |        0
1637.91/1638.46	c 1638s |      23 |  3106458 |  2601438 |     2793   2043 |        0 |        0
1639.91/1640.49	c 1640s |      23 |  3110524 |  2605038 |     2793   2045 |        0 |        0
1642.01/1642.54	c 1642s |      23 |  3114406 |  2608538 |     2793   2047 |        0 |        0
1644.02/1644.54	c 1644s |      23 |  3118764 |  2612438 |     2793   2050 |        0 |        0
1646.01/1646.56	c 1646s |      23 |  3123466 |  2616638 |     2793   2052 |        0 |        0
1648.01/1648.56	c 1648s |      23 |  3127938 |  2620638 |     2793   2054 |        0 |        0
1650.01/1650.59	c 1650s |      23 |  3132009 |  2624338 |     2793   2056 |        0 |        0
1652.11/1652.61	c 1652s |      23 |  3136552 |  2628438 |     2793   2059 |        0 |        0
1654.11/1654.63	c 1654s |      23 |  3140984 |  2632438 |     2793   2061 |        0 |        0
1656.11/1656.67	c 1656s |      23 |  3145433 |  2636438 |     2793   2063 |        0 |        0
1658.21/1658.70	c 1658s |      23 |  3149747 |  2640338 |     2793   2066 |        0 |        0
1660.21/1660.76	c 1660s |      23 |  3153781 |  2644038 |     2793   2068 |        0 |        0
1662.31/1662.81	c 1662s |      23 |  3158279 |  2647938 |     2793   2070 |        0 |        0
1664.31/1664.82	c 1664s |      23 |  3162177 |  2651438 |     2793   2072 |        0 |        0
1666.30/1666.86	c 1666s |      23 |  3166631 |  2655438 |     2793   2074 |        0 |        0
1668.31/1668.90	c 1668s |      23 |  3171302 |  2659638 |     2793   2077 |        0 |        0
1670.41/1670.91	c 1670s |      23 |  3175673 |  2663538 |     2793   2079 |        0 |        0
1672.40/1672.93	c 1672s |      23 |  3180056 |  2667438 |     2793   2081 |        0 |        0
1674.50/1675.01	c 1674s |      23 |  3184750 |  2671538 |     2793   2084 |        0 |        0
1676.50/1677.03	c 1677s |      23 |  3188812 |  2675238 |     2793   2086 |        0 |        0
1678.50/1679.06	c 1679s |      23 |  3192403 |  2678438 |     2793   2087 |        0 |        0
1680.50/1681.08	c 1681s |      23 |  3195621 |  2681338 |     2793   2089 |        0 |        0
1682.61/1683.11	c 1683s |      23 |  3199692 |  2684938 |     2793   2091 |        0 |        0
1684.60/1685.11	c 1685s |      23 |  3203380 |  2688238 |     2793   2093 |        0 |        0
1686.60/1687.18	c 1687s |      23 |  3207608 |  2691938 |     2793   2095 |        0 |        0
1688.70/1689.20	c 1689s |      23 |  3211917 |  2695738 |     2793   2097 |        0 |        0
1690.70/1691.21	c 1691s |      23 |  3215916 |  2699338 |     2793   2099 |        0 |        0
1692.70/1693.28	c 1693s |      23 |  3219908 |  2702838 |     2793   2102 |        0 |        0
1694.80/1695.32	c 1695s |      23 |  3223279 |  2705738 |     2793   2103 |        0 |        0
1696.81/1697.33	c 1697s |      23 |  3226521 |  2708538 |     2793   2105 |        0 |        0
1698.81/1699.37	c 1699s |      23 |  3231611 |  2713038 |     2793   2107 |        0 |        0
1700.81/1701.39	c 1701s |      23 |  3235953 |  2716938 |     2793   2110 |        0 |        0
1702.90/1703.43	c 1703s |      23 |  3240436 |  2720938 |     2793   2112 |        0 |        0
1704.90/1705.44	c 1705s |      23 |  3244621 |  2724638 |     2793   2114 |        0 |        0
1706.90/1707.48	c 1707s |      23 |  3248732 |  2728338 |     2793   2116 |        0 |        0
1709.01/1709.53	c 1709s |      23 |  3252967 |  2732138 |     2793   2118 |        0 |        0
1711.00/1711.54	c 1711s |      23 |  3257341 |  2735938 |     2793   2120 |        0 |        0
1713.00/1713.59	c 1713s |      23 |  3261850 |  2739938 |     2793   2123 |        0 |        0
1715.10/1715.61	c 1715s |      23 |  3266382 |  2743938 |     2793   2125 |        0 |        0
1717.10/1717.61	c 1717s |      23 |  3270683 |  2747738 |     2793   2127 |        0 |        0
1719.10/1719.64	c 1719s |      23 |  3274794 |  2751438 |     2793   2129 |        0 |        0
1721.11/1721.66	c 1721s |      23 |  3278285 |  2754538 |     2793   2131 |        0 |        0
1723.21/1723.70	c 1723s |      23 |  3282917 |  2758338 |     2793   2133 |        0 |        0
1725.20/1725.73	c 1725s |      23 |  3286743 |  2761738 |     2793   2135 |        0 |        0
1727.20/1727.75	c 1727s |      23 |  3290848 |  2765338 |     2793   2137 |        0 |        0
1729.30/1729.80	c 1729s |      23 |  3295301 |  2769238 |     2793   2139 |        0 |        0
1731.30/1731.84	c 1731s |      23 |  3299354 |  2772938 |     2793   2142 |        0 |        0
1733.30/1733.86	c 1733s |      23 |  3303772 |  2776938 |     2793   2144 |        0 |        0
1735.31/1735.86	c 1735s |      23 |  3307744 |  2780538 |     2793   2146 |        0 |        0
1737.40/1737.92	c 1737s |      23 |  3311999 |  2784338 |     2793   2148 |        0 |        0
1739.40/1739.96	c 1739s |      23 |  3315923 |  2787838 |     2793   2150 |        0 |        0
1741.50/1742.02	c 1742s |      23 |  3319984 |  2791538 |     2793   2152 |        0 |        0
1743.50/1744.05	c 1744s |      23 |  3324092 |  2795238 |     2793   2154 |        0 |        0
1745.60/1746.14	c 1746s |      23 |  3328125 |  2798938 |     2793   2157 |        0 |        0
1747.60/1748.15	c 1748s |      23 |  3332661 |  2802638 |     2793   2159 |        0 |        0
1749.60/1750.19	c 1750s |      23 |  3337176 |  2806438 |     2793   2161 |        0 |        0
1751.70/1752.22	c 1752s |      23 |  3341561 |  2810238 |     2793   2163 |        0 |        0
1753.70/1754.27	c 1754s |      23 |  3345715 |  2813838 |     2793   2165 |        0 |        0
1755.80/1756.31	c 1756s |      23 |  3350292 |  2817838 |     2793   2167 |        0 |        0
1757.80/1758.34	c 1758s |      23 |  3354771 |  2821838 |     2793   2170 |        0 |        0
1759.79/1760.38	c 1760s |      23 |  3359403 |  2825838 |     2793   2172 |        0 |        0
1761.89/1762.40	c 1762s |      23 |  3363546 |  2829538 |     2793   2174 |        0 |        0
1763.90/1764.42	c 1764s |      23 |  3367570 |  2833138 |     2793   2176 |        0 |        0
1765.89/1766.47	c 1766s |      23 |  3371550 |  2836738 |     2793   2178 |        0 |        0
1767.89/1768.48	c 1768s |      23 |  3375437 |  2840238 |     2793   2180 |        0 |        0
1769.99/1770.55	c 1770s |      23 |  3379886 |  2844238 |     2793   2183 |        0 |        0
1771.99/1772.58	c 1772s |      23 |  3384942 |  2848638 |     2793   2185 |        0 |        0
1774.09/1774.64	c 1774s |      23 |  3389437 |  2852638 |     2793   2187 |        0 |        0
1776.10/1776.64	c 1776s |      23 |  3393647 |  2856438 |     2793   2189 |        0 |        0
1778.09/1778.66	c 1778s |      23 |  3397651 |  2860038 |     2793   2192 |        0 |        0
1780.09/1780.68	c 1780s |      23 |  3401703 |  2863738 |     2793   2194 |        0 |        0
1782.09/1782.69	c 1782s |      23 |  3405455 |  2867138 |     2793   2196 |        0 |        0
1784.19/1784.73	c 1784s |      23 |  3409944 |  2871138 |     2793   2198 |        0 |        0
1786.19/1786.78	c 1786s |      23 |  3414031 |  2874838 |     2793   2200 |        0 |        0
1788.29/1788.82	c 1788s |      23 |  3418373 |  2878738 |     2793   2202 |        0 |        0
1790.29/1790.83	c 1790s |      23 |  3422547 |  2882538 |     2793   2204 |        0 |        0
1792.29/1792.83	c 1792s |      23 |  3426209 |  2885938 |     2793   2206 |        0 |        0
1794.29/1794.87	c 1794s |      23 |  3430702 |  2889938 |     2793   2209 |        0 |        0
1796.39/1796.91	c 1796s |      23 |  3435025 |  2893838 |     2793   2211 |        0 |        0
1798.39/1798.95	c 1798s |      23 |  3438798 |  2897338 |     2793   2213 |        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-4099480-1466206142/watcher-4099480-1466206142 -o /tmp/evaluation-result-4099480-1466206142/solver-4099480-1466206142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099480-1466206142.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.61 0.58 0.26 2/170 32088
/proc/meminfo: memFree=30733500/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 2557 0 0 0 0 0 0 0 20 0 4 0 22660711 703000576 2407 33554432000 4194304 16246674 140737226278272 140737226277696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 172399 2416 441 2943 0 169293 0
[pid=32088/tid=32089] ppid=32085 vsize=703932 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 720826368 2475 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 725020672 2492 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660711 729214976 2508 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.61 0.58 0.26 2/170 32088
/proc/meminfo: memFree=30733500/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 32656 0 0 0 4 5 0 0 20 0 4 0 22660711 1247350784 32495 33554432000 4194304 16246674 140737226278272 140737226277696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 304529 32507 701 2943 0 301423 0
[pid=32088/tid=32089] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 32521 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 32533 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 32546 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200599 s]
/proc/loadavg: 1.61 0.58 0.26 2/170 32088
/proc/meminfo: memFree=30733500/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 66265 0 0 0 10 9 0 0 20 0 4 0 22660711 1247350784 66103 33554432000 4194304 16246674 140737226278272 140737226277696 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 304529 66118 709 2943 0 301423 0
[pid=32088/tid=32089] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 66130 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 66143 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 66157 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 1.61 0.58 0.26 2/170 32088
/proc/meminfo: memFree=30733500/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 99958 0 0 0 15 13 0 0 20 0 4 0 22660711 1247350784 99797 33554432000 4194304 16246674 140737226278272 140737226277696 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 304529 99817 709 2943 0 301423 0
[pid=32088/tid=32089] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 99830 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 99846 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 99853 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 1.61 0.58 0.26 2/170 32088
/proc/meminfo: memFree=30733500/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 240613 0 0 0 37 32 0 0 20 0 4 0 22660711 1247350784 240452 33554432000 4194304 16246674 140737226278272 140737226260160 5723873 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 304529 240467 709 2943 0 301423 0
[pid=32088/tid=32089] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 240474 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 240481 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22660711 1247350784 240490 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 1.61 0.58 0.26 3/174 32146
/proc/meminfo: memFree=29729648/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1304132 CPUtime=1.49 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 266920 0 0 0 114 35 0 0 20 0 4 0 22660711 1335431168 266738 33554432000 4194304 16246674 140737226278272 140737226277584 5545704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 326033 266738 786 2943 0 322927 0
[pid=32088/tid=32089] ppid=32085 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1335431168 266738 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1335431168 266738 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1335431168 266738 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.10044 s]
/proc/loadavg: 1.61 0.58 0.26 3/183 32159
/proc/meminfo: memFree=28666540/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 267640 0 0 0 274 35 0 0 20 0 4 0 22660711 1338576896 267458 33554432000 4194304 16246674 140737226278272 140737226260160 6845784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 326801 267458 787 2943 0 323695 0
[pid=32088/tid=32089] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267458 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267458 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267458 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 1.64 0.61 0.27 3/183 32159
/proc/meminfo: memFree=28577164/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 267828 0 0 0 594 35 0 0 20 0 4 0 22660711 1338576896 267646 33554432000 4194304 16246674 140737226278272 140737226260160 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 326801 267646 787 2943 0 323695 0
[pid=32088/tid=32089] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267646 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267646 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267646 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 1.67 0.63 0.27 3/183 32159
/proc/meminfo: memFree=28577684/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 267830 0 0 0 1233 35 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140737226260160 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 326801 267648 789 2943 0 323695 0
[pid=32088/tid=32089] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 1.74 0.70 0.30 4/183 32159
/proc/meminfo: memFree=28579080/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 267830 0 0 0 2513 35 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140737226260160 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 326801 267648 789 2943 0 323695 0
[pid=32088/tid=32089] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1338576896 267648 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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: 1.96 0.83 0.36 3/183 32159
/proc/meminfo: memFree=28578108/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 268052 0 0 0 5072 36 0 0 20 0 4 0 22660711 1339625472 267870 33554432000 4194304 16246674 140737226278272 140737226260160 6012116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 327057 267870 789 2943 0 323951 0
[pid=32088/tid=32089] ppid=32085 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1339625472 267870 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1339625472 267870 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1339625472 267870 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.19 1.07 0.46 3/184 32163
/proc/meminfo: memFree=28574896/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1311300 CPUtime=102.27 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 268854 0 0 0 10191 36 0 0 20 0 4 0 22660711 1342771200 268672 33554432000 4194304 16246674 140737226278272 140737226260160 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32088/statm: 327825 268672 789 2943 0 324719 0
[pid=32088/tid=32089] ppid=32085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1342771200 268672 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1342771200 268672 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1342771200 268672 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271582 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.20 2.16 1.69 3/184 32194
/proc/meminfo: memFree=28555392/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1301.86 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 130144 42 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.16 2.16 1.72 3/183 32195
/proc/meminfo: memFree=28555084/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1361.85 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 136143 42 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.20 2.18 1.75 3/183 32197
/proc/meminfo: memFree=28555000/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1421.85 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 142142 43 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.42 2.25 1.80 3/183 32198
/proc/meminfo: memFree=28555280/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1481.83 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 148140 43 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.37 2.26 1.83 3/183 32199
/proc/meminfo: memFree=28555324/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1541.84 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 154140 44 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5523371 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 1.85 3/183 32200
/proc/meminfo: memFree=28555160/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1601.82 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 160138 44 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5823849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.19 2.23 1.86 3/183 32201
/proc/meminfo: memFree=28555516/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1661.81 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 166137 44 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.12 2.20 1.87 3/183 32203
/proc/meminfo: memFree=28555424/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1721.8 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 172135 45 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5672818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.08 2.17 1.89 3/183 32204
/proc/meminfo: memFree=28554564/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1781.79 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 178134 45 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.19 1.90 3/183 32204
/proc/meminfo: memFree=28555172/32872528 swapFree=1200228/1314692
[pid=32088] ppid=32085 vsize=1322564 CPUtime=1800.09 cores=0,2,4,6
/proc/32088/stat : 32088 (toysat) R 32085 32088 31224 0 -1 4202496 272108 0 0 0 179964 45 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140737226260160 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32088/statm: 330641 271746 791 2943 0 327535 0
[pid=32088/tid=32089] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32089/stat : 32089 (toysat) S 32085 32088 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100494142704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32088/tid=32090] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32090/stat : 32090 (toysat) S 32085 32088 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100483652848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32088/tid=32091] ppid=32085 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/32088/task/32091/stat : 32091 (toysat) S 32085 32088 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22660711 1354305536 271746 33554432000 4194304 16246674 140737226278272 140100473179312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1322564

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 32088 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.1
CPU user time (s): 1799.65
CPU system time (s): 0.45493
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.45493
maximum resident set size= 1086984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272108
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= 449
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8662 second user time and 16.6275 second system time

The end

Begin job on node131 at 2016-06-18 01:29:02
IDJOB=4099480
IDBENCH=1421
IDSOLVER=2542
FILE ID=node131/4099480-1466206142
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099480-1466206142/watcher-4099480-1466206142 -o /tmp/evaluation-result-4099480-1466206142/solver-4099480-1466206142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099480-1466206142.opb

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

MD5SUM BENCH= 75fcdbbba3eb42e13f634e02d36a6ee9
RANDOM SEED=163529334

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.752
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.752
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.752
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.57
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.752
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:        30734392 kB
Buffers:           37172 kB
Cached:            79996 kB
SwapCached:         1500 kB
Active:            64352 kB
Inactive:          55768 kB
Active(anon):       2584 kB
Inactive(anon):     2640 kB
Active(file):      61768 kB
Inactive(file):    53128 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             16540 kB
Writeback:             0 kB
AnonPages:       1317012 kB
Mapped:             6992 kB
Shmem:                 0 kB
Slab:             570752 kB
SReclaimable:      13836 kB
SUnreclaim:       556916 kB
KernelStack:        1376 kB
PageTables:         6348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1410008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node131 at 2016-06-18 01:59:03