0.00/0.00	c 2016-06-06T21:15:33+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-4078764-1465240533.opb"]
0.00/0.01	c use --random-gen="1407903577 1827003366 1353999899 2789430861 1739045310 435117879 1103795946 195389779 3403168847 1572690497 1676674645 1767345119 2894850046 3347692880 3215021687 1470635449 166287821 1989614173 3974900875 1875491624 994449960 3924463684 2740094353 2292247126 3838600377 1680396805 2302287315 890059740 4076315786 1161910375 1492673860 1644306169 4187643694 1439116909 1169712937 3361760951 253162690 2304551115 4203336135 3427173218 2517204142 757218709 3678023671 2393842532 2431749859 2688178152 1471680893 3364620671 3210744088 3645918975 3164213826 1099478690 1995693892 3196754261 3375019610 1770059983 462722296 3875983250 3180376212 3755757654 71352873 3307254843 2633555384 838972824 1076714662 1019616714 617811846 1734996204 1638549469 2361516677 266712698 1807178204 318602697 3197260130 3510126243 295150155 1850518702 89597046 1515294367 3328166676 288393698 3564614834 2410751174 1912594906 4049848637 2377801165 1506082139 3678980888 3430824699 3714757398 1450742035 4079878237 1851420791 1404739204 3931767478 42077778 4209304468 4064628357 4215274925 3278472475 1851783190 4126507619 274022781 2666303043 505399557 3670160494 3928254847 132903516 2872438085 1412451681 1202873524 78170067 3915210534 3956827157 4019704932 2577272957 4015458847 3575548171 3560467568 3105402225 1250104989 379171677 882130857 4233907758 3556472118 392611020 3440424999 1287436481 716918240 3551254327 3251155115 1581449320 2910153630 1471674535 3634702133 2527980862 3127559332 2231982252 2384702547 2300602548 4000499450 2211901496 2603253066 1520221737 2584470256 1638209057 3427994478 1796640080 3125632989 835019960 1264261583 1105209677 1304221460 1312020656 1619297114 100177264 2231735323 2847857698 3826441024 28266700 3959715471 3751952496 2941731209 1512254258 272063886 2432447087 2102626922 2097781818 2883812911 1622751289 1423760170 1536529908 4114071655 91888405 3147466011 2630710663 2245924304 177909371 1708316235 2675200765 4165927479 1654696521 544595616 629755587 3820349870 4187517194 91959674 2442561337 3826897368 3094389788 2765455534 3640004233 2310842311 887499841 473473496 3200728015 3018011647 3639035829 597994332 2014711644 705094888 2507746619 4176487438 438962668 1856111174 3956188960 2324845772 1789900585 2102721426 1444722422 2676040978 2935672692 2511245896 2246713061 419797356 1313974759 2484549847 3840485577 3662786550 3217630478 3053444368 1609276087 3978756153 4293035495 1813419293 3678998223 2201650407 1969973895 91346941 1330212478 751205541 2722483023 1639063409 811161759 2969347647 158326294 2777986088 4192768443 1453910992 1070574116 3129166916 4095319876 572287254 2757012254 216774196 1072922462 1119566526 3826137567 534475015 4101273166 2169298258 1909299838 598486076 3125369724 3017014513 2640465051 255 362436" option to reproduce the execution
0.00/0.01	c #vars 420
0.00/0.01	c #constraints 41
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      153      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      137 |      100 |      153      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      518 |      250 |      169      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |     1021 |      475 |      186      1 |        0 |        0
0.19/0.27	c  0.3s |       4 |     1604 |      813 |      205      2 |        0 |        0
0.39/0.45	c  0.4s |       5 |     2390 |     1320 |      226      5 |        0 |        0
0.68/0.72	c  0.7s |       6 |     3773 |     2081 |      274      8 |        0 |        0
1.10/1.11	c  1.1s |       7 |     5239 |     3223 |      302     11 |        0 |        0
1.59/1.68	c  1.7s |       8 |     7469 |     4936 |      333     17 |        0 |        0
2.59/2.68	c  2.7s |       9 |    17214 |     7506 |      367     26 |        0 |        0
4.59/4.69	c  4.7s |       9 |    35222 |    11106 |      367     39 |        0 |        0
4.79/4.82	c  4.8s |      10 |    37381 |    11361 |      404     40 |        0 |        0
6.79/6.86	c  6.9s |      10 |    58990 |    15061 |      404     53 |        0 |        0
7.88/7.97	c  8.0s |      11 |    66244 |    17144 |      445     61 |        0 |        0
9.89/10.00	c 10.0s |      11 |    74284 |    21144 |      445     73 |        0 |        0
11.98/12.04	c 12.0s |      11 |    79556 |    25644 |      445     86 |        0 |        0
12.09/12.12	c 12.1s |      12 |    79749 |    25819 |      490     86 |        0 |        0
14.08/14.14	c 14.1s |      12 |    89074 |    29919 |      490     98 |        0 |        0
16.08/16.15	c 16.1s |      12 |    94171 |    34219 |      490    111 |        0 |        0
18.08/18.18	c 18.2s |      12 |   101397 |    38319 |      490    123 |        0 |        0
18.38/18.40	c 18.4s |      13 |   101994 |    38832 |      539    124 |        0 |        0
20.38/20.43	c 20.4s |      13 |   115324 |    42732 |      539    135 |        0 |        0
22.38/22.47	c 22.5s |      13 |   125517 |    46632 |      539    146 |        0 |        0
24.38/24.48	c 24.5s |      13 |   129551 |    49932 |      539    155 |        0 |        0
26.39/26.49	c 26.5s |      13 |   135309 |    53532 |      539    166 |        0 |        0
28.48/28.53	c 28.5s |      13 |   140124 |    57832 |      539    179 |        0 |        0
28.69/28.78	c 28.8s |      14 |   140722 |    58352 |      593    180 |        0 |        0
30.68/30.80	c 30.8s |      14 |   147182 |    62352 |      593    189 |        0 |        0
32.78/32.81	c 32.8s |      14 |   154414 |    66152 |      593    199 |        0 |        0
34.78/34.85	c 34.8s |      14 |   159021 |    70152 |      593    209 |        0 |        0
36.78/36.86	c 36.8s |      14 |   163624 |    74152 |      593    219 |        0 |        0
38.79/38.86	c 38.9s |      14 |   169468 |    78352 |      593    230 |        0 |        0
40.89/40.90	c 40.9s |      14 |   174188 |    82452 |      593    240 |        0 |        0
42.89/42.93	c 42.9s |      14 |   178775 |    86452 |      593    251 |        0 |        0
43.49/43.55	c 43.5s |      15 |   180101 |    87632 |      653    254 |        0 |        0
45.49/45.58	c 45.6s |      15 |   184792 |    91632 |      653    264 |        0 |        0
47.58/47.61	c 47.6s |      15 |   193978 |    97432 |      653    276 |        0 |        0
49.59/49.63	c 49.6s |      15 |   199389 |   102032 |      653    285 |        0 |        0
51.58/51.66	c 51.6s |      15 |   204673 |   106532 |      653    295 |        0 |        0
53.58/53.69	c 53.7s |      15 |   209598 |   110732 |      653    304 |        0 |        0
55.68/55.73	c 55.7s |      15 |   214523 |   114932 |      653    313 |        0 |        0
57.68/57.77	c 57.8s |      15 |   220957 |   119332 |      653    323 |        0 |        0
59.78/59.81	c 59.8s |      15 |   225936 |   123632 |      653    332 |        0 |        0
61.78/61.83	c 61.8s |      15 |   231268 |   128032 |      653    341 |        0 |        0
63.79/63.84	c 63.8s |      16 |   235300 |   131552 |      719    349 |        0 |        0
65.78/65.88	c 65.9s |      16 |   241632 |   136252 |      719    359 |        0 |        0
67.88/67.92	c 67.9s |      16 |   247501 |   140952 |      719    369 |        0 |        0
69.88/69.95	c 69.9s |      16 |   253462 |   145552 |      719    379 |        0 |        0
71.88/71.99	c 72.0s |      16 |   260388 |   150852 |      719    390 |        0 |        0
73.98/74.03	c 74.0s |      16 |   266340 |   155752 |      719    400 |        0 |        0
75.99/76.05	c 76.0s |      16 |   272590 |   160352 |      719    409 |        0 |        0
77.98/78.09	c 78.1s |      16 |   277902 |   164452 |      719    418 |        0 |        0
80.08/80.10	c 80.1s |      16 |   283674 |   168752 |      719    427 |        0 |        0
82.08/82.13	c 82.1s |      16 |   289609 |   173352 |      719    437 |        0 |        0
84.08/84.14	c 84.1s |      16 |   295713 |   178152 |      719    447 |        0 |        0
86.08/86.16	c 86.1s |      16 |   301495 |   182652 |      719    456 |        0 |        0
88.18/88.20	c 88.2s |      16 |   306866 |   186952 |      719    465 |        0 |        0
90.18/90.21	c 90.2s |      16 |   312627 |   191452 |      719    474 |        0 |        0
92.18/92.25	c 92.2s |      16 |   318195 |   195852 |      719    484 |        0 |        0
92.88/92.93	c 92.9s |      17 |   320240 |   197432 |      791    487 |        0 |        0
94.88/94.93	c 94.9s |      17 |   326750 |   202132 |      791    495 |        0 |        0
96.88/96.99	c 97.0s |      17 |   331903 |   206132 |      791    502 |        0 |        0
98.98/99.01	c 99.0s |      17 |   336795 |   210132 |      791    510 |        0 |        0
100.97/101.05	c  101s |      17 |   341863 |   214132 |      791    517 |        0 |        0
103.07/103.10	c  103s |      17 |   347709 |   218332 |      791    525 |        0 |        0
105.07/105.12	c  105s |      17 |   355983 |   222732 |      791    533 |        0 |        0
107.07/107.19	c  107s |      17 |   360683 |   226232 |      791    539 |        0 |        0
109.17/109.20	c  109s |      17 |   367117 |   229732 |      791    546 |        0 |        0
111.18/111.23	c  111s |      17 |   373443 |   233632 |      791    553 |        0 |        0
113.17/113.28	c  113s |      17 |   379309 |   237032 |      791    559 |        0 |        0
115.27/115.30	c  115s |      17 |   384871 |   240232 |      791    565 |        0 |        0
117.27/117.35	c  117s |      17 |   390438 |   243932 |      791    572 |        0 |        0
119.27/119.39	c  119s |      17 |   395970 |   247632 |      791    579 |        0 |        0
121.37/121.42	c  121s |      17 |   400963 |   251732 |      791    587 |        0 |        0
123.37/123.44	c  123s |      17 |   405714 |   255932 |      791    595 |        0 |        0
125.38/125.46	c  125s |      17 |   410395 |   259832 |      791    603 |        0 |        0
127.37/127.47	c  127s |      17 |   415171 |   263932 |      791    610 |        0 |        0
129.47/129.50	c  129s |      17 |   419914 |   268132 |      791    618 |        0 |        0
131.47/131.52	c  131s |      17 |   424430 |   272132 |      791    626 |        0 |        0
133.47/133.56	c  133s |      17 |   429728 |   276732 |      791    635 |        0 |        0
135.47/135.56	c  135s |      17 |   434651 |   281132 |      791    643 |        0 |        0
137.47/137.58	c  137s |      17 |   439459 |   285432 |      791    651 |        0 |        0
139.56/139.62	c  139s |      17 |   444693 |   290032 |      791    660 |        0 |        0
141.56/141.65	c  141s |      17 |   449744 |   294532 |      871    669 |        0 |        0
142.26/142.39	c  142s |      18 |   451698 |   296252 |      871    672 |        0 |        0
144.36/144.43	c  144s |      18 |   457252 |   300752 |      871    679 |        0 |        0
146.37/146.44	c  146s |      18 |   461637 |   304652 |      871    686 |        0 |        0
148.36/148.46	c  148s |      18 |   466764 |   309152 |      871    693 |        0 |        0
150.47/150.51	c  150s |      18 |   471356 |   313152 |      871    700 |        0 |        0
152.47/152.51	c  152s |      18 |   475804 |   317052 |      871    706 |        0 |        0
154.47/154.55	c  154s |      18 |   480647 |   321352 |      871    714 |        0 |        0
156.47/156.56	c  156s |      18 |   485604 |   325752 |      871    721 |        0 |        0
158.48/158.58	c  158s |      18 |   490450 |   330052 |      871    728 |        0 |        0
160.47/160.58	c  160s |      18 |   495089 |   334152 |      871    735 |        0 |        0
162.47/162.59	c  162s |      18 |   500078 |   338552 |      871    742 |        0 |        0
164.57/164.62	c  164s |      18 |   505133 |   343052 |      871    750 |        0 |        0
166.57/166.64	c  166s |      18 |   510114 |   347552 |      871    757 |        0 |        0
168.57/168.67	c  168s |      18 |   515900 |   352552 |      871    766 |        0 |        0
170.66/170.70	c  170s |      18 |   521092 |   357252 |      871    774 |        0 |        0
172.67/172.72	c  172s |      18 |   526515 |   362052 |      871    782 |        0 |        0
174.66/174.74	c  174s |      18 |   531143 |   366152 |      871    789 |        0 |        0
176.66/176.75	c  176s |      18 |   535750 |   370152 |      871    795 |        0 |        0
178.66/178.77	c  178s |      18 |   539722 |   373752 |      871    801 |        0 |        0
180.76/180.83	c  180s |      18 |   543842 |   377352 |      871    807 |        0 |        0
182.76/182.88	c  182s |      18 |   547777 |   380852 |      871    813 |        0 |        0
184.77/184.89	c  184s |      18 |   551182 |   383952 |      871    819 |        0 |        0
186.76/186.89	c  186s |      18 |   554870 |   387252 |      871    824 |        0 |        0
188.86/188.93	c  188s |      18 |   558580 |   390552 |      871    830 |        0 |        0
190.86/190.95	c  190s |      18 |   563362 |   394852 |      871    837 |        0 |        0
192.86/192.95	c  192s |      18 |   568395 |   399352 |      871    845 |        0 |        0
194.86/194.96	c  194s |      18 |   572803 |   403252 |      871    851 |        0 |        0
196.97/197.02	c  197s |      18 |   576789 |   406752 |      871    857 |        0 |        0
198.96/199.07	c  199s |      18 |   581478 |   410952 |      871    864 |        0 |        0
201.06/201.10	c  201s |      18 |   585767 |   414752 |      871    870 |        0 |        0
203.06/203.13	c  203s |      18 |   589897 |   418452 |      871    877 |        0 |        0
205.05/205.16	c  205s |      18 |   594698 |   422752 |      871    884 |        0 |        0
207.05/207.19	c  207s |      18 |   599959 |   427452 |      871    892 |        0 |        0
209.06/209.19	c  209s |      18 |   605025 |   432052 |      871    899 |        0 |        0
211.16/211.23	c  211s |      18 |   610449 |   436952 |      871    908 |        0 |        0
213.15/213.25	c  213s |      18 |   615787 |   441752 |      959    916 |        0 |        0
214.35/214.47	c  214s |      19 |   618786 |   444482 |      959    920 |        0 |        0
216.35/216.49	c  216s |      19 |   625122 |   449282 |      959    927 |        0 |        0
218.45/218.51	c  218s |      19 |   629471 |   452882 |      959    933 |        0 |        0
220.45/220.52	c  220s |      19 |   635507 |   457082 |      959    939 |        0 |        0
222.45/222.54	c  222s |      19 |   641291 |   461282 |      959    946 |        0 |        0
224.45/224.57	c  224s |      19 |   647683 |   465382 |      959    952 |        0 |        0
226.45/226.57	c  226s |      19 |   652525 |   469182 |      959    958 |        0 |        0
228.45/228.57	c  228s |      19 |   662668 |   473182 |      959    965 |        0 |        0
230.44/230.58	c  230s |      19 |   667187 |   476282 |      959    971 |        0 |        0
232.54/232.64	c  232s |      19 |   672221 |   479582 |      959    976 |        0 |        0
234.54/234.67	c  234s |      19 |   678301 |   482682 |      959    981 |        0 |        0
236.64/236.71	c  236s |      19 |   682707 |   485682 |      959    986 |        0 |        0
238.65/238.73	c  238s |      19 |   686818 |   488882 |      959    992 |        0 |        0
240.64/240.74	c  240s |      19 |   691883 |   492282 |      959    997 |        0 |        0
242.64/242.77	c  242s |      19 |   697047 |   495982 |      959   1004 |        0 |        0
244.74/244.81	c  244s |      19 |   702130 |   499482 |      959   1010 |        0 |        0
246.74/246.81	c  246s |      19 |   709279 |   502882 |      959   1016 |        0 |        0
248.74/248.82	c  248s |      19 |   714635 |   505982 |      959   1021 |        0 |        0
250.74/250.88	c  250s |      19 |   718412 |   508982 |      959   1026 |        0 |        0
252.83/252.91	c  252s |      19 |   723617 |   511982 |      959   1031 |        0 |        0
254.83/254.96	c  254s |      19 |   727167 |   514882 |      959   1036 |        0 |        0
256.93/257.00	c  256s |      19 |   730937 |   517982 |      959   1042 |        0 |        0
258.93/259.03	c  259s |      19 |   735356 |   521282 |      959   1048 |        0 |        0
260.92/261.05	c  261s |      19 |   739366 |   524282 |      959   1053 |        0 |        0
262.93/263.07	c  263s |      19 |   743012 |   527282 |      959   1058 |        0 |        0
265.03/265.10	c  265s |      19 |   746929 |   530282 |      959   1064 |        0 |        0
267.02/267.11	c  267s |      19 |   751518 |   533682 |      959   1070 |        0 |        0
269.02/269.18	c  269s |      19 |   755674 |   536882 |      959   1076 |        0 |        0
271.11/271.21	c  271s |      19 |   759321 |   540082 |      959   1082 |        0 |        0
273.11/273.22	c  273s |      19 |   763209 |   543382 |      959   1087 |        0 |        0
275.11/275.28	c  275s |      19 |   767153 |   546882 |      959   1094 |        0 |        0
277.22/277.35	c  277s |      19 |   771315 |   549882 |      959   1099 |        0 |        0
279.21/279.37	c  279s |      19 |   774747 |   552882 |      959   1104 |        0 |        0
281.31/281.44	c  281s |      19 |   778288 |   555982 |      959   1110 |        0 |        0
283.41/283.51	c  283s |      19 |   781488 |   558782 |      959   1115 |        0 |        0
285.41/285.53	c  285s |      19 |   784492 |   561482 |      959   1119 |        0 |        0
287.41/287.55	c  287s |      19 |   788789 |   564282 |      959   1125 |        0 |        0
289.41/289.59	c  289s |      19 |   792867 |   567882 |      959   1131 |        0 |        0
291.51/291.64	c  291s |      19 |   796911 |   571482 |      959   1138 |        0 |        0
293.50/293.69	c  293s |      19 |   800915 |   574982 |      959   1144 |        0 |        0
295.60/295.72	c  295s |      19 |   803972 |   577682 |      959   1149 |        0 |        0
297.60/297.79	c  297s |      19 |   807049 |   580482 |      959   1155 |        0 |        0
299.70/299.81	c  299s |      19 |   810391 |   583382 |      959   1160 |        0 |        0
301.70/301.82	c  301s |      19 |   813356 |   585982 |      959   1165 |        0 |        0
303.70/303.84	c  303s |      19 |   816521 |   588782 |      959   1170 |        0 |        0
305.71/305.84	c  305s |      19 |   819464 |   591382 |      959   1175 |        0 |        0
307.70/307.88	c  307s |      19 |   822529 |   593982 |      959   1179 |        0 |        0
309.80/309.94	c  309s |      19 |   825691 |   596782 |      959   1184 |        0 |        0
311.80/311.94	c  311s |      19 |   828565 |   599382 |      959   1189 |        0 |        0
313.80/313.97	c  313s |      19 |   831946 |   602282 |      959   1195 |        0 |        0
315.80/315.99	c  315s |      19 |   835184 |   605182 |      959   1200 |        0 |        0
317.90/318.05	c  318s |      19 |   838338 |   607982 |      959   1205 |        0 |        0
319.89/320.06	c  320s |      19 |   841551 |   610782 |      959   1210 |        0 |        0
321.89/322.09	c  322s |      19 |   844817 |   613682 |      959   1216 |        0 |        0
323.89/324.09	c  324s |      19 |   848016 |   616482 |      959   1221 |        0 |        0
325.99/326.11	c  326s |      19 |   851143 |   619282 |      959   1226 |        0 |        0
327.99/328.16	c  328s |      19 |   854211 |   621982 |      959   1231 |        0 |        0
330.08/330.21	c  330s |      19 |   857372 |   624682 |      959   1236 |        0 |        0
332.09/332.21	c  332s |      19 |   863091 |   627782 |      959   1242 |        0 |        0
334.08/334.22	c  334s |      19 |   866503 |   630682 |      959   1247 |        0 |        0
336.08/336.26	c  336s |      19 |   870054 |   633582 |      959   1252 |        0 |        0
338.08/338.27	c  338s |      19 |   873757 |   636682 |      959   1258 |        0 |        0
340.18/340.31	c  340s |      19 |   877506 |   639682 |      959   1264 |        0 |        0
342.18/342.36	c  342s |      19 |   880972 |   642682 |      959   1269 |        0 |        0
344.18/344.37	c  344s |      19 |   884755 |   645882 |      959   1275 |        0 |        0
346.18/346.38	c  346s |      19 |   888506 |   649182 |      959   1281 |        0 |        0
348.28/348.41	c  348s |      19 |   892216 |   652482 |      959   1287 |        0 |        0
350.27/350.42	c  350s |      19 |   896304 |   656082 |      959   1294 |        0 |        0
352.27/352.43	c  352s |      19 |   900474 |   659782 |      959   1301 |        0 |        0
354.27/354.46	c  354s |      19 |   905200 |   663282 |     1055   1307 |        0 |        0
356.28/356.48	c  356s |      20 |   909507 |   666827 |     1055   1313 |        0 |        0
358.37/358.51	c  358s |      20 |   922803 |   670427 |     1055   1319 |        0 |        0
360.37/360.56	c  360s |      20 |   926858 |   673727 |     1055   1324 |        0 |        0
362.47/362.61	c  362s |      20 |   930915 |   677327 |     1055   1330 |        0 |        0
364.47/364.66	c  364s |      20 |   934731 |   680627 |     1055   1336 |        0 |        0
366.47/366.69	c  366s |      20 |   938453 |   683827 |     1055   1341 |        0 |        0
368.57/368.76	c  368s |      20 |   946385 |   687127 |     1055   1346 |        0 |        0
370.58/370.77	c  370s |      20 |   950242 |   690427 |     1055   1352 |        0 |        0
372.67/372.80	c  372s |      20 |   954135 |   693827 |     1055   1357 |        0 |        0
374.67/374.81	c  374s |      20 |   957949 |   697127 |     1055   1363 |        0 |        0
376.67/376.81	c  376s |      20 |   964719 |   700227 |     1055   1368 |        0 |        0
378.67/378.86	c  378s |      20 |   971509 |   702327 |     1055   1371 |        0 |        0
380.67/380.87	c  380s |      20 |   975805 |   705027 |     1055   1376 |        0 |        0
382.67/382.87	c  382s |      20 |   979469 |   707827 |     1055   1380 |        0 |        0
384.77/384.92	c  384s |      20 |   983778 |   710727 |     1055   1385 |        0 |        0
386.87/387.00	c  386s |      20 |   988111 |   713727 |     1055   1390 |        0 |        0
388.87/389.04	c  389s |      20 |   991639 |   716727 |     1055   1395 |        0 |        0
390.86/391.04	c  391s |      20 |   995429 |   720027 |     1055   1401 |        0 |        0
392.86/393.07	c  393s |      20 |  1000972 |   723027 |     1055   1406 |        0 |        0
394.96/395.10	c  395s |      20 |  1004382 |   726027 |     1055   1411 |        0 |        0
396.97/397.12	c  397s |      20 |  1008541 |   729527 |     1055   1417 |        0 |        0
398.96/399.17	c  399s |      20 |  1012716 |   733127 |     1055   1423 |        0 |        0
401.06/401.22	c  401s |      20 |  1018595 |   735627 |     1055   1427 |        0 |        0
403.06/403.25	c  403s |      20 |  1022928 |   738427 |     1055   1432 |        0 |        0
405.16/405.30	c  405s |      20 |  1026998 |   741627 |     1055   1437 |        0 |        0
407.16/407.33	c  407s |      20 |  1030204 |   744427 |     1055   1442 |        0 |        0
409.16/409.39	c  409s |      20 |  1033694 |   747427 |     1055   1447 |        0 |        0
411.26/411.46	c  411s |      20 |  1037158 |   750427 |     1055   1452 |        0 |        0
413.26/413.49	c  413s |      20 |  1041102 |   753527 |     1055   1457 |        0 |        0
415.35/415.54	c  415s |      20 |  1045045 |   756527 |     1055   1462 |        0 |        0
417.35/417.57	c  417s |      20 |  1049489 |   759727 |     1055   1467 |        0 |        0
419.45/419.62	c  419s |      20 |  1053984 |   763127 |     1055   1473 |        0 |        0
421.45/421.63	c  421s |      20 |  1057555 |   766327 |     1055   1479 |        0 |        0
423.46/423.69	c  423s |      20 |  1061518 |   769627 |     1055   1484 |        0 |        0
425.56/425.76	c  425s |      20 |  1064754 |   772527 |     1055   1489 |        0 |        0
427.65/427.81	c  427s |      20 |  1068100 |   775527 |     1055   1495 |        0 |        0
429.65/429.85	c  429s |      20 |  1072273 |   779027 |     1055   1501 |        0 |        0
431.65/431.87	c  431s |      20 |  1076370 |   782427 |     1055   1506 |        0 |        0
433.65/433.88	c  433s |      20 |  1080543 |   785927 |     1055   1512 |        0 |        0
435.75/435.90	c  435s |      20 |  1084630 |   789327 |     1055   1518 |        0 |        0
437.75/437.92	c  437s |      20 |  1088523 |   792527 |     1055   1523 |        0 |        0
439.75/439.92	c  439s |      20 |  1092496 |   795427 |     1055   1528 |        0 |        0
441.74/441.96	c  441s |      20 |  1097747 |   799027 |     1055   1534 |        0 |        0
443.84/444.01	c  443s |      20 |  1101682 |   802227 |     1055   1539 |        0 |        0
445.84/446.04	c  446s |      20 |  1105924 |   805427 |     1055   1545 |        0 |        0
447.84/448.04	c  448s |      20 |  1110323 |   808927 |     1055   1551 |        0 |        0
449.85/450.06	c  450s |      20 |  1113848 |   811927 |     1055   1556 |        0 |        0
451.83/452.09	c  452s |      20 |  1117716 |   815127 |     1055   1561 |        0 |        0
453.83/454.09	c  454s |      20 |  1124845 |   818627 |     1055   1567 |        0 |        0
455.93/456.14	c  456s |      20 |  1129247 |   822327 |     1055   1573 |        0 |        0
457.93/458.18	c  458s |      20 |  1133316 |   825927 |     1055   1579 |        0 |        0
460.03/460.21	c  460s |      20 |  1137323 |   829527 |     1055   1585 |        0 |        0
462.03/462.23	c  462s |      20 |  1143482 |   832627 |     1055   1590 |        0 |        0
464.04/464.27	c  464s |      20 |  1148662 |   835627 |     1055   1595 |        0 |        0
466.03/466.29	c  466s |      20 |  1154853 |   839227 |     1055   1600 |        0 |        0
468.03/468.29	c  468s |      20 |  1159433 |   842927 |     1055   1606 |        0 |        0
470.12/470.30	c  470s |      20 |  1165874 |   846727 |     1055   1612 |        0 |        0
472.12/472.32	c  472s |      20 |  1169206 |   849427 |     1055   1616 |        0 |        0
474.12/474.38	c  474s |      20 |  1172477 |   852027 |     1055   1621 |        0 |        0
476.23/476.44	c  476s |      20 |  1177344 |   854727 |     1055   1625 |        0 |        0
478.22/478.50	c  478s |      20 |  1181490 |   857527 |     1055   1630 |        0 |        0
480.32/480.53	c  480s |      20 |  1184750 |   860127 |     1055   1634 |        0 |        0
482.42/482.60	c  482s |      20 |  1187866 |   862627 |     1055   1639 |        0 |        0
484.42/484.61	c  484s |      20 |  1190649 |   864927 |     1055   1643 |        0 |        0
486.42/486.65	c  486s |      20 |  1194225 |   867427 |     1055   1647 |        0 |        0
488.52/488.71	c  488s |      20 |  1198518 |   870927 |     1055   1653 |        0 |        0
490.52/490.72	c  490s |      20 |  1202588 |   873927 |     1055   1658 |        0 |        0
492.52/492.74	c  492s |      20 |  1206120 |   876927 |     1055   1663 |        0 |        0
494.62/494.80	c  494s |      20 |  1209806 |   880227 |     1055   1669 |        0 |        0
496.62/496.88	c  496s |      20 |  1213560 |   883527 |     1055   1675 |        0 |        0
498.72/498.95	c  498s |      20 |  1217202 |   886327 |     1055   1680 |        0 |        0
500.71/500.99	c  500s |      20 |  1221144 |   889227 |     1055   1685 |        0 |        0
502.81/503.04	c  503s |      20 |  1224563 |   891927 |     1055   1689 |        0 |        0
504.91/505.11	c  505s |      20 |  1228650 |   894727 |     1055   1694 |        0 |        0
506.91/507.13	c  507s |      20 |  1232120 |   897227 |     1055   1699 |        0 |        0
508.91/509.14	c  509s |      20 |  1236114 |   900627 |     1055   1705 |        0 |        0
511.00/511.20	c  511s |      20 |  1239833 |   903827 |     1055   1710 |        0 |        0
513.00/513.26	c  513s |      20 |  1243357 |   906827 |     1055   1716 |        0 |        0
515.00/515.29	c  515s |      20 |  1246832 |   909827 |     1055   1721 |        0 |        0
517.00/517.29	c  517s |      20 |  1249921 |   912527 |     1055   1726 |        0 |        0
519.11/519.34	c  519s |      20 |  1253089 |   915227 |     1055   1730 |        0 |        0
521.10/521.37	c  521s |      20 |  1255770 |   917527 |     1055   1735 |        0 |        0
523.20/523.41	c  523s |      20 |  1258720 |   920127 |     1055   1739 |        0 |        0
525.20/525.45	c  525s |      20 |  1261621 |   922727 |     1055   1744 |        0 |        0
527.30/527.52	c  527s |      20 |  1264403 |   925127 |     1055   1748 |        0 |        0
529.30/529.53	c  529s |      20 |  1267238 |   927627 |     1055   1752 |        0 |        0
531.29/531.54	c  531s |      20 |  1271115 |   930427 |     1055   1757 |        0 |        0
533.30/533.55	c  533s |      20 |  1274946 |   933827 |     1055   1764 |        0 |        0
535.39/535.60	c  535s |      20 |  1278644 |   937127 |     1055   1770 |        0 |        0
537.39/537.65	c  537s |      20 |  1282468 |   940627 |     1055   1776 |        0 |        0
539.39/539.65	c  539s |      20 |  1286997 |   944627 |     1055   1783 |        0 |        0
541.50/541.72	c  541s |      20 |  1290457 |   947627 |     1055   1788 |        0 |        0
543.50/543.77	c  543s |      20 |  1293282 |   949927 |     1055   1793 |        0 |        0
545.60/545.83	c  545s |      20 |  1295871 |   952127 |     1055   1796 |        0 |        0
547.60/547.90	c  547s |      20 |  1298925 |   954727 |     1055   1801 |        0 |        0
549.70/549.91	c  549s |      20 |  1301937 |   957327 |     1055   1806 |        0 |        0
551.70/551.92	c  551s |      20 |  1304884 |   959927 |     1055   1810 |        0 |        0
553.79/554.02	c  554s |      20 |  1307838 |   962527 |     1055   1815 |        0 |        0
555.79/556.02	c  556s |      20 |  1310113 |   964527 |     1055   1819 |        0 |        0
557.79/558.03	c  558s |      20 |  1312716 |   966827 |     1055   1823 |        0 |        0
559.89/560.10	c  560s |      20 |  1315398 |   969227 |     1055   1827 |        0 |        0
561.89/562.19	c  562s |      20 |  1318562 |   971727 |     1055   1832 |        0 |        0
563.99/564.30	c  564s |      20 |  1320916 |   973727 |     1055   1835 |        0 |        0
566.09/566.31	c  566s |      20 |  1323273 |   975827 |     1055   1839 |        0 |        0
568.09/568.38	c  568s |      20 |  1325731 |   978027 |     1055   1843 |        0 |        0
570.09/570.38	c  570s |      20 |  1327762 |   979827 |     1055   1846 |        0 |        0
572.19/572.40	c  572s |      20 |  1329902 |   981727 |     1055   1850 |        0 |        0
574.18/574.42	c  574s |      20 |  1334056 |   985327 |     1055   1856 |        0 |        0
576.19/576.42	c  576s |      20 |  1338061 |   988827 |     1055   1863 |        0 |        0
578.18/578.44	c  578s |      20 |  1341942 |   992227 |     1055   1869 |        0 |        0
580.18/580.45	c  580s |      20 |  1345838 |   995627 |     1161   1874 |        0 |        0
582.18/582.49	c  582s |      20 |  1349886 |   999227 |     1161   1880 |        0 |        0
582.88/583.11	c  583s |      21 |  1351205 |  1000345 |     1161   1882 |        0 |        0
584.88/585.14	c  585s |      21 |  1356580 |  1004945 |     1161   1888 |        0 |        0
586.88/587.18	c  587s |      21 |  1361414 |  1009245 |     1161   1894 |        0 |        0
588.97/589.20	c  589s |      21 |  1366396 |  1013745 |     1161   1900 |        0 |        0
590.97/591.21	c  591s |      21 |  1371404 |  1018145 |     1161   1906 |        0 |        0
592.97/593.21	c  593s |      21 |  1376715 |  1022345 |     1161   1911 |        0 |        0
594.98/595.25	c  595s |      21 |  1384895 |  1025445 |     1161   1916 |        0 |        0
596.97/597.27	c  597s |      21 |  1387705 |  1027645 |     1161   1919 |        0 |        0
599.07/599.30	c  599s |      21 |  1392903 |  1030645 |     1161   1923 |        0 |        0
601.06/601.36	c  601s |      21 |  1398642 |  1034445 |     1161   1929 |        0 |        0
603.06/603.38	c  603s |      21 |  1406353 |  1038145 |     1161   1934 |        0 |        0
605.06/605.39	c  605s |      21 |  1410201 |  1041245 |     1161   1939 |        0 |        0
607.17/607.43	c  607s |      21 |  1417491 |  1044045 |     1161   1943 |        0 |        0
609.17/609.47	c  609s |      21 |  1423259 |  1046945 |     1161   1947 |        0 |        0
611.17/611.48	c  611s |      21 |  1428942 |  1050245 |     1161   1952 |        0 |        0
613.26/613.51	c  613s |      21 |  1432604 |  1053445 |     1161   1957 |        0 |        0
615.26/615.54	c  615s |      21 |  1436487 |  1056845 |     1161   1962 |        0 |        0
617.26/617.57	c  617s |      21 |  1440711 |  1060545 |     1161   1967 |        0 |        0
619.26/619.58	c  619s |      21 |  1444782 |  1064145 |     1161   1973 |        0 |        0
621.37/621.63	c  621s |      21 |  1453023 |  1067445 |     1161   1978 |        0 |        0
623.36/623.63	c  623s |      21 |  1456546 |  1070445 |     1161   1982 |        0 |        0
625.36/625.69	c  625s |      21 |  1460375 |  1073545 |     1161   1987 |        0 |        0
627.46/627.71	c  627s |      21 |  1464095 |  1076745 |     1161   1992 |        0 |        0
629.46/629.77	c  629s |      21 |  1467929 |  1080045 |     1161   1997 |        0 |        0
631.55/631.81	c  631s |      21 |  1472189 |  1083745 |     1161   2003 |        0 |        0
633.55/633.85	c  633s |      21 |  1476509 |  1087445 |     1161   2008 |        0 |        0
635.56/635.86	c  635s |      21 |  1480429 |  1090745 |     1161   2013 |        0 |        0
637.55/637.90	c  637s |      21 |  1484025 |  1093845 |     1161   2018 |        0 |        0
639.65/639.93	c  639s |      21 |  1487695 |  1097145 |     1161   2023 |        0 |        0
641.65/641.94	c  641s |      21 |  1491686 |  1100745 |     1161   2029 |        0 |        0
643.65/643.99	c  643s |      21 |  1495714 |  1104345 |     1161   2034 |        0 |        0
645.75/646.01	c  645s |      21 |  1500148 |  1108145 |     1161   2040 |        0 |        0
647.75/648.06	c  648s |      21 |  1504366 |  1111845 |     1161   2045 |        0 |        0
649.85/650.12	c  650s |      21 |  1508913 |  1115245 |     1161   2051 |        0 |        0
651.84/652.16	c  652s |      21 |  1512479 |  1118345 |     1161   2055 |        0 |        0
653.84/654.19	c  654s |      21 |  1515917 |  1121345 |     1161   2060 |        0 |        0
655.94/656.22	c  656s |      21 |  1519281 |  1124345 |     1161   2064 |        0 |        0
657.94/658.26	c  658s |      21 |  1523908 |  1127445 |     1161   2069 |        0 |        0
660.04/660.32	c  660s |      21 |  1528119 |  1130845 |     1161   2074 |        0 |        0
662.05/662.35	c  662s |      21 |  1532153 |  1134445 |     1161   2080 |        0 |        0
664.04/664.40	c  664s |      21 |  1536543 |  1138345 |     1161   2086 |        0 |        0
666.14/666.45	c  666s |      21 |  1540451 |  1141845 |     1161   2091 |        0 |        0
668.14/668.48	c  668s |      21 |  1544523 |  1144945 |     1161   2096 |        0 |        0
670.23/670.52	c  670s |      21 |  1549800 |  1148045 |     1161   2101 |        0 |        0
672.23/672.58	c  672s |      21 |  1553335 |  1151145 |     1161   2106 |        0 |        0
674.23/674.59	c  674s |      21 |  1556583 |  1153945 |     1161   2110 |        0 |        0
676.34/676.62	c  676s |      21 |  1559775 |  1156745 |     1161   2115 |        0 |        0
678.33/678.69	c  678s |      21 |  1563535 |  1159945 |     1161   2120 |        0 |        0
680.43/680.73	c  680s |      21 |  1567997 |  1163845 |     1161   2126 |        0 |        0
682.43/682.74	c  682s |      21 |  1572332 |  1167345 |     1161   2131 |        0 |        0
684.43/684.78	c  684s |      21 |  1581324 |  1170445 |     1161   2136 |        0 |        0
686.42/686.79	c  686s |      21 |  1584804 |  1173345 |     1161   2140 |        0 |        0
688.53/688.82	c  688s |      21 |  1588204 |  1176245 |     1161   2145 |        0 |        0
690.53/690.90	c  690s |      21 |  1592645 |  1179345 |     1161   2150 |        0 |        0
692.63/692.93	c  692s |      21 |  1595840 |  1182145 |     1161   2154 |        0 |        0
694.63/694.95	c  694s |      21 |  1599287 |  1185145 |     1161   2159 |        0 |        0
696.63/696.97	c  696s |      21 |  1603638 |  1188345 |     1161   2164 |        0 |        0
698.63/698.98	c  698s |      21 |  1606691 |  1190945 |     1161   2168 |        0 |        0
700.62/700.99	c  700s |      21 |  1609895 |  1193645 |     1161   2172 |        0 |        0
702.73/703.06	c  703s |      21 |  1620478 |  1196745 |     1161   2177 |        0 |        0
704.72/705.06	c  705s |      21 |  1624457 |  1199745 |     1161   2181 |        0 |        0
706.82/707.10	c  707s |      21 |  1628951 |  1203145 |     1161   2186 |        0 |        0
708.82/709.11	c  709s |      21 |  1633930 |  1206445 |     1161   2191 |        0 |        0
710.82/711.11	c  711s |      21 |  1638278 |  1209745 |     1161   2197 |        0 |        0
712.81/713.15	c  713s |      21 |  1642206 |  1213145 |     1161   2202 |        0 |        0
714.82/715.16	c  715s |      21 |  1645801 |  1216345 |     1161   2207 |        0 |        0
716.81/717.18	c  717s |      21 |  1649587 |  1219645 |     1161   2212 |        0 |        0
718.91/719.26	c  719s |      21 |  1653155 |  1222845 |     1161   2217 |        0 |        0
720.91/721.28	c  721s |      21 |  1658016 |  1226545 |     1161   2223 |        0 |        0
723.01/723.30	c  723s |      21 |  1662864 |  1230645 |     1161   2229 |        0 |        0
725.01/725.32	c  725s |      21 |  1667555 |  1234545 |     1161   2235 |        0 |        0
727.01/727.37	c  727s |      21 |  1672054 |  1238145 |     1161   2240 |        0 |        0
729.01/729.38	c  729s |      21 |  1676339 |  1241645 |     1161   2246 |        0 |        0
731.10/731.44	c  731s |      21 |  1680396 |  1244945 |     1161   2250 |        0 |        0
733.10/733.49	c  733s |      21 |  1684685 |  1248545 |     1161   2256 |        0 |        0
735.20/735.54	c  735s |      21 |  1688684 |  1251945 |     1161   2261 |        0 |        0
737.20/737.54	c  737s |      21 |  1692764 |  1255445 |     1161   2267 |        0 |        0
739.20/739.55	c  739s |      21 |  1696918 |  1258945 |     1161   2272 |        0 |        0
741.30/741.61	c  741s |      21 |  1700887 |  1262245 |     1161   2277 |        0 |        0
743.30/743.63	c  743s |      21 |  1704932 |  1265745 |     1161   2282 |        0 |        0
745.30/745.67	c  745s |      21 |  1708912 |  1269145 |     1161   2287 |        0 |        0
747.40/747.73	c  747s |      21 |  1712878 |  1272445 |     1161   2292 |        0 |        0
749.40/749.74	c  749s |      21 |  1717919 |  1276445 |     1161   2298 |        0 |        0
751.39/751.76	c  751s |      21 |  1722644 |  1280445 |     1161   2304 |        0 |        0
753.39/753.78	c  753s |      21 |  1727503 |  1284545 |     1161   2311 |        0 |        0
755.50/755.83	c  755s |      21 |  1732379 |  1288445 |     1161   2317 |        0 |        0
757.49/757.85	c  757s |      21 |  1738346 |  1291745 |     1161   2322 |        0 |        0
759.49/759.87	c  759s |      21 |  1742643 |  1295345 |     1161   2327 |        0 |        0
761.48/761.89	c  761s |      21 |  1747178 |  1299045 |     1161   2333 |        0 |        0
763.59/763.93	c  763s |      21 |  1751625 |  1302945 |     1161   2339 |        0 |        0
765.59/765.97	c  765s |      21 |  1756304 |  1306945 |     1161   2345 |        0 |        0
767.69/768.03	c  768s |      21 |  1760720 |  1310745 |     1161   2351 |        0 |        0
769.70/770.08	c  770s |      21 |  1765029 |  1313945 |     1161   2356 |        0 |        0
771.79/772.14	c  772s |      21 |  1769200 |  1316945 |     1161   2361 |        0 |        0
773.79/774.18	c  774s |      21 |  1773215 |  1320145 |     1161   2366 |        0 |        0
775.89/776.23	c  776s |      21 |  1777471 |  1323345 |     1161   2371 |        0 |        0
777.88/778.23	c  778s |      21 |  1782064 |  1327245 |     1161   2377 |        0 |        0
779.88/780.24	c  780s |      21 |  1786288 |  1330945 |     1161   2383 |        0 |        0
781.89/782.25	c  782s |      21 |  1790386 |  1334545 |     1161   2388 |        0 |        0
783.99/784.32	c  784s |      21 |  1795193 |  1338045 |     1161   2394 |        0 |        0
785.98/786.39	c  786s |      21 |  1798650 |  1340945 |     1161   2398 |        0 |        0
787.98/788.39	c  788s |      21 |  1802513 |  1344045 |     1161   2403 |        0 |        0
790.08/790.40	c  790s |      21 |  1806249 |  1346845 |     1161   2408 |        0 |        0
792.08/792.45	c  792s |      21 |  1809997 |  1349945 |     1161   2412 |        0 |        0
794.18/794.51	c  794s |      21 |  1813933 |  1353245 |     1161   2418 |        0 |        0
796.18/796.55	c  796s |      21 |  1817695 |  1356545 |     1161   2423 |        0 |        0
798.17/798.57	c  798s |      21 |  1821339 |  1359745 |     1161   2428 |        0 |        0
800.17/800.59	c  800s |      21 |  1825295 |  1363245 |     1161   2433 |        0 |        0
802.27/802.63	c  802s |      21 |  1829095 |  1366445 |     1161   2438 |        0 |        0
804.37/804.71	c  804s |      21 |  1831936 |  1368545 |     1161   2442 |        0 |        0
806.37/806.76	c  806s |      21 |  1835850 |  1371045 |     1161   2446 |        0 |        0
808.47/808.82	c  808s |      21 |  1839901 |  1373845 |     1161   2450 |        0 |        0
810.47/810.83	c  810s |      21 |  1843989 |  1376845 |     1161   2455 |        0 |        0
812.46/812.88	c  812s |      21 |  1848231 |  1380245 |     1161   2460 |        0 |        0
814.56/814.94	c  814s |      21 |  1852430 |  1383245 |     1161   2465 |        0 |        0
816.56/816.97	c  816s |      21 |  1857283 |  1386345 |     1161   2469 |        0 |        0
818.66/819.00	c  818s |      21 |  1860917 |  1389145 |     1161   2474 |        0 |        0
820.66/821.04	c  821s |      21 |  1864914 |  1392345 |     1161   2479 |        0 |        0
822.66/823.08	c  823s |      21 |  1868572 |  1395445 |     1161   2484 |        0 |        0
824.76/825.13	c  825s |      21 |  1872190 |  1398645 |     1161   2489 |        0 |        0
826.75/827.14	c  827s |      21 |  1875686 |  1401345 |     1161   2493 |        0 |        0
828.85/829.21	c  829s |      21 |  1878963 |  1404145 |     1161   2497 |        0 |        0
830.85/831.22	c  831s |      21 |  1882238 |  1406845 |     1161   2501 |        0 |        0
832.85/833.30	c  833s |      21 |  1885688 |  1409745 |     1161   2506 |        0 |        0
834.95/835.35	c  835s |      21 |  1889132 |  1412745 |     1161   2511 |        0 |        0
837.05/837.42	c  837s |      21 |  1892767 |  1415845 |     1161   2516 |        0 |        0
839.15/839.51	c  839s |      21 |  1895895 |  1418545 |     1161   2520 |        0 |        0
841.15/841.55	c  841s |      21 |  1899373 |  1421445 |     1161   2524 |        0 |        0
843.15/843.55	c  843s |      21 |  1902338 |  1423945 |     1161   2528 |        0 |        0
845.25/845.60	c  845s |      21 |  1905517 |  1426645 |     1161   2532 |        0 |        0
847.25/847.64	c  847s |      21 |  1908621 |  1429245 |     1161   2537 |        0 |        0
849.24/849.67	c  849s |      21 |  1912069 |  1432045 |     1161   2541 |        0 |        0
851.34/851.71	c  851s |      21 |  1915188 |  1434745 |     1161   2545 |        0 |        0
853.35/853.77	c  853s |      21 |  1918327 |  1437345 |     1161   2549 |        0 |        0
855.34/855.80	c  855s |      21 |  1921853 |  1440245 |     1161   2554 |        0 |        0
857.44/857.83	c  857s |      21 |  1925676 |  1443445 |     1161   2559 |        0 |        0
859.44/859.87	c  859s |      21 |  1928980 |  1446245 |     1161   2563 |        0 |        0
861.44/861.88	c  861s |      21 |  1933670 |  1449845 |     1161   2569 |        0 |        0
863.54/863.94	c  863s |      21 |  1939178 |  1453945 |     1161   2575 |        0 |        0
865.54/865.97	c  865s |      21 |  1944423 |  1457645 |     1161   2581 |        0 |        0
867.55/867.97	c  867s |      21 |  1949256 |  1461445 |     1161   2587 |        0 |        0
869.64/870.00	c  869s |      21 |  1953924 |  1465145 |     1161   2592 |        0 |        0
871.64/872.02	c  872s |      21 |  1958265 |  1468745 |     1161   2598 |        0 |        0
873.64/874.05	c  874s |      21 |  1963352 |  1472645 |     1161   2604 |        0 |        0
875.64/876.07	c  876s |      21 |  1967862 |  1476345 |     1161   2609 |        0 |        0
877.64/878.09	c  878s |      21 |  1971856 |  1479845 |     1161   2615 |        0 |        0
879.74/880.12	c  880s |      21 |  1976434 |  1483745 |     1161   2621 |        0 |        0
881.74/882.18	c  882s |      21 |  1980809 |  1487545 |     1161   2626 |        0 |        0
883.84/884.21	c  884s |      21 |  1985379 |  1491345 |     1278   2632 |        0 |        0
885.84/886.23	c  886s |      21 |  1990582 |  1495145 |     1278   2637 |        0 |        0
887.84/888.28	c  888s |      21 |  1995261 |  1498845 |     1278   2642 |        0 |        0
888.83/889.20	c  889s |      22 |  1997366 |  1500622 |     1278   2645 |        0 |        0
890.83/891.23	c  891s |      22 |  2004545 |  1504922 |     1278   2650 |        0 |        0
892.84/893.26	c  893s |      22 |  2010314 |  1508822 |     1278   2655 |        0 |        0
894.94/895.30	c  895s |      22 |  2014343 |  1512222 |     1278   2660 |        0 |        0
896.94/897.36	c  897s |      22 |  2018370 |  1515622 |     1278   2664 |        0 |        0
898.94/899.37	c  899s |      22 |  2022337 |  1519122 |     1278   2669 |        0 |        0
901.04/901.43	c  901s |      22 |  2026467 |  1522522 |     1278   2673 |        0 |        0
903.14/903.50	c  903s |      22 |  2030709 |  1525922 |     1278   2678 |        0 |        0
905.14/905.55	c  905s |      22 |  2034754 |  1529422 |     1278   2682 |        0 |        0
907.15/907.60	c  907s |      22 |  2038412 |  1532622 |     1278   2686 |        0 |        0
909.24/909.60	c  909s |      22 |  2044640 |  1536922 |     1278   2692 |        0 |        0
911.24/911.63	c  911s |      22 |  2052574 |  1541622 |     1278   2698 |        0 |        0
913.24/913.65	c  913s |      22 |  2057162 |  1545122 |     1278   2703 |        0 |        0
915.24/915.67	c  915s |      22 |  2062682 |  1548822 |     1278   2708 |        0 |        0
917.24/917.69	c  917s |      22 |  2067637 |  1552322 |     1278   2712 |        0 |        0
919.34/919.71	c  919s |      22 |  2072984 |  1555922 |     1278   2717 |        0 |        0
921.34/921.71	c  921s |      22 |  2078406 |  1559822 |     1278   2722 |        0 |        0
923.34/923.75	c  923s |      22 |  2083708 |  1563722 |     1278   2727 |        0 |        0
925.34/925.79	c  925s |      22 |  2088863 |  1567322 |     1278   2732 |        0 |        0
927.44/927.81	c  927s |      22 |  2093731 |  1570722 |     1278   2736 |        0 |        0
929.43/929.85	c  929s |      22 |  2097658 |  1573822 |     1278   2740 |        0 |        0
931.53/931.91	c  931s |      22 |  2102560 |  1577622 |     1278   2745 |        0 |        0
933.54/933.93	c  933s |      22 |  2106987 |  1581122 |     1278   2750 |        0 |        0
935.53/935.98	c  935s |      22 |  2110611 |  1584222 |     1278   2754 |        0 |        0
937.63/938.03	c  938s |      22 |  2114773 |  1587322 |     1278   2758 |        0 |        0
939.63/940.05	c  940s |      22 |  2118267 |  1590222 |     1278   2762 |        0 |        0
941.73/942.11	c  942s |      22 |  2122907 |  1593922 |     1278   2767 |        0 |        0
943.73/944.15	c  944s |      22 |  2127000 |  1597322 |     1278   2771 |        0 |        0
945.74/946.16	c  946s |      22 |  2131032 |  1600622 |     1278   2775 |        0 |        0
947.73/948.18	c  948s |      22 |  2135726 |  1604322 |     1278   2780 |        0 |        0
949.83/950.20	c  950s |      22 |  2140225 |  1608022 |     1278   2785 |        0 |        0
951.83/952.23	c  952s |      22 |  2144670 |  1611722 |     1278   2790 |        0 |        0
953.83/954.24	c  954s |      22 |  2148538 |  1615022 |     1278   2794 |        0 |        0
955.83/956.25	c  956s |      22 |  2153059 |  1618722 |     1278   2799 |        0 |        0
957.84/958.28	c  958s |      22 |  2157475 |  1622322 |     1278   2804 |        0 |        0
959.94/960.32	c  960s |      22 |  2161835 |  1625722 |     1278   2808 |        0 |        0
961.93/962.38	c  962s |      22 |  2165594 |  1628822 |     1278   2812 |        0 |        0
964.03/964.43	c  964s |      22 |  2169248 |  1631922 |     1278   2817 |        0 |        0
966.03/966.43	c  966s |      22 |  2172495 |  1634722 |     1278   2820 |        0 |        0
968.03/968.49	c  968s |      22 |  2176218 |  1637822 |     1278   2824 |        0 |        0
970.13/970.50	c  970s |      22 |  2179543 |  1640722 |     1278   2828 |        0 |        0
972.13/972.51	c  972s |      22 |  2183007 |  1643622 |     1278   2832 |        0 |        0
974.13/974.57	c  974s |      22 |  2186078 |  1646222 |     1278   2835 |        0 |        0
976.23/976.61	c  976s |      22 |  2189264 |  1648922 |     1278   2839 |        0 |        0
978.23/978.64	c  978s |      22 |  2193374 |  1652222 |     1278   2843 |        0 |        0
980.22/980.68	c  980s |      22 |  2197787 |  1655822 |     1278   2848 |        0 |        0
982.32/982.71	c  982s |      22 |  2201443 |  1658822 |     1278   2852 |        0 |        0
984.32/984.74	c  984s |      22 |  2205027 |  1661622 |     1278   2855 |        0 |        0
986.33/986.75	c  986s |      22 |  2208403 |  1664422 |     1278   2859 |        0 |        0
988.32/988.79	c  988s |      22 |  2212279 |  1667422 |     1278   2863 |        0 |        0
990.42/990.86	c  990s |      22 |  2215980 |  1670422 |     1278   2867 |        0 |        0
992.42/992.86	c  992s |      22 |  2219469 |  1673122 |     1278   2871 |        0 |        0
994.42/994.89	c  994s |      22 |  2223190 |  1675822 |     1278   2874 |        0 |        0
996.52/996.92	c  996s |      22 |  2226502 |  1678522 |     1278   2878 |        0 |        0
998.53/998.95	c  998s |      22 |  2229476 |  1681022 |     1278   2881 |        0 |        0
1000.52/1000.99	c 1000s |      22 |  2232360 |  1683422 |     1278   2884 |        0 |        0
1002.62/1003.04	c 1003s |      22 |  2235086 |  1685722 |     1278   2887 |        0 |        0
1004.62/1005.06	c 1005s |      22 |  2238238 |  1688222 |     1278   2890 |        0 |        0
1006.62/1007.08	c 1007s |      22 |  2241556 |  1691122 |     1278   2894 |        0 |        0
1008.72/1009.13	c 1009s |      22 |  2244525 |  1693722 |     1278   2897 |        0 |        0
1010.82/1011.20	c 1011s |      22 |  2247200 |  1696022 |     1278   2900 |        0 |        0
1012.82/1013.25	c 1013s |      22 |  2249832 |  1698222 |     1278   2903 |        0 |        0
1014.92/1015.31	c 1015s |      22 |  2253550 |  1701222 |     1278   2907 |        0 |        0
1016.92/1017.34	c 1017s |      22 |  2256996 |  1704022 |     1278   2911 |        0 |        0
1018.92/1019.35	c 1019s |      22 |  2260976 |  1707422 |     1278   2915 |        0 |        0
1020.92/1021.39	c 1021s |      22 |  2265414 |  1711222 |     1278   2920 |        0 |        0
1023.02/1023.40	c 1023s |      22 |  2269664 |  1714922 |     1278   2925 |        0 |        0
1025.02/1025.40	c 1025s |      22 |  2273514 |  1718222 |     1278   2929 |        0 |        0
1027.03/1027.43	c 1027s |      22 |  2278142 |  1722022 |     1278   2934 |        0 |        0
1029.02/1029.47	c 1029s |      22 |  2282449 |  1725722 |     1278   2939 |        0 |        0
1031.02/1031.49	c 1031s |      22 |  2286394 |  1729122 |     1278   2943 |        0 |        0
1033.12/1033.50	c 1033s |      22 |  2290197 |  1732422 |     1278   2948 |        0 |        0
1035.12/1035.50	c 1035s |      22 |  2293550 |  1735322 |     1278   2951 |        0 |        0
1037.12/1037.52	c 1037s |      22 |  2297447 |  1738622 |     1278   2956 |        0 |        0
1039.13/1039.54	c 1039s |      22 |  2302603 |  1742722 |     1278   2961 |        0 |        0
1041.12/1041.59	c 1041s |      22 |  2306915 |  1746322 |     1278   2966 |        0 |        0
1043.22/1043.64	c 1043s |      22 |  2310745 |  1749622 |     1278   2970 |        0 |        0
1045.22/1045.66	c 1045s |      22 |  2314512 |  1752922 |     1278   2974 |        0 |        0
1047.22/1047.66	c 1047s |      22 |  2318993 |  1756622 |     1278   2979 |        0 |        0
1049.22/1049.67	c 1049s |      22 |  2323524 |  1760322 |     1278   2984 |        0 |        0
1051.22/1051.68	c 1051s |      22 |  2327820 |  1763922 |     1278   2989 |        0 |        0
1053.32/1053.72	c 1053s |      22 |  2331961 |  1767122 |     1278   2993 |        0 |        0
1055.32/1055.72	c 1055s |      22 |  2336150 |  1770622 |     1278   2997 |        0 |        0
1057.32/1057.79	c 1057s |      22 |  2339866 |  1773722 |     1278   3001 |        0 |        0
1059.42/1059.82	c 1059s |      22 |  2344011 |  1777022 |     1278   3006 |        0 |        0
1061.41/1061.84	c 1061s |      22 |  2348080 |  1780522 |     1278   3010 |        0 |        0
1063.42/1063.88	c 1063s |      22 |  2352089 |  1784022 |     1278   3015 |        0 |        0
1065.52/1065.91	c 1065s |      22 |  2356229 |  1787522 |     1278   3020 |        0 |        0
1067.51/1067.92	c 1067s |      22 |  2359900 |  1790722 |     1278   3024 |        0 |        0
1069.51/1069.95	c 1069s |      22 |  2363697 |  1793922 |     1278   3028 |        0 |        0
1071.51/1071.96	c 1071s |      22 |  2367214 |  1796922 |     1278   3032 |        0 |        0
1073.61/1074.00	c 1073s |      22 |  2370443 |  1799722 |     1278   3036 |        0 |        0
1075.61/1076.02	c 1076s |      22 |  2373797 |  1802622 |     1278   3039 |        0 |        0
1077.62/1078.05	c 1078s |      22 |  2377278 |  1805622 |     1278   3043 |        0 |        0
1079.61/1080.07	c 1080s |      22 |  2381028 |  1808822 |     1278   3047 |        0 |        0
1081.61/1082.09	c 1082s |      22 |  2385406 |  1812622 |     1278   3052 |        0 |        0
1083.71/1084.14	c 1084s |      22 |  2389640 |  1816222 |     1278   3057 |        0 |        0
1085.71/1086.19	c 1086s |      22 |  2394145 |  1819922 |     1278   3062 |        0 |        0
1087.81/1088.21	c 1088s |      22 |  2398255 |  1823422 |     1278   3067 |        0 |        0
1089.81/1090.27	c 1090s |      22 |  2402244 |  1826722 |     1278   3071 |        0 |        0
1091.81/1092.28	c 1092s |      22 |  2406483 |  1830322 |     1278   3076 |        0 |        0
1093.81/1094.29	c 1094s |      22 |  2410422 |  1833722 |     1278   3080 |        0 |        0
1095.91/1096.33	c 1096s |      22 |  2414387 |  1836822 |     1278   3084 |        0 |        0
1097.91/1098.35	c 1098s |      22 |  2418121 |  1840022 |     1278   3088 |        0 |        0
1099.91/1100.36	c 1100s |      22 |  2422021 |  1843322 |     1278   3093 |        0 |        0
1102.01/1102.41	c 1102s |      22 |  2425487 |  1846322 |     1278   3097 |        0 |        0
1104.01/1104.44	c 1104s |      22 |  2429268 |  1849522 |     1278   3101 |        0 |        0
1106.00/1106.44	c 1106s |      22 |  2432636 |  1852422 |     1278   3105 |        0 |        0
1108.00/1108.45	c 1108s |      22 |  2436088 |  1855422 |     1278   3108 |        0 |        0
1110.00/1110.47	c 1110s |      22 |  2439880 |  1858422 |     1278   3112 |        0 |        0
1112.00/1112.49	c 1112s |      22 |  2443516 |  1861522 |     1278   3116 |        0 |        0
1114.01/1114.50	c 1114s |      22 |  2447179 |  1864522 |     1278   3120 |        0 |        0
1116.11/1116.54	c 1116s |      22 |  2451576 |  1868122 |     1278   3125 |        0 |        0
1118.10/1118.57	c 1118s |      22 |  2455339 |  1871422 |     1278   3129 |        0 |        0
1120.20/1120.62	c 1120s |      22 |  2459440 |  1874922 |     1278   3134 |        0 |        0
1122.20/1122.62	c 1122s |      22 |  2463941 |  1878422 |     1278   3139 |        0 |        0
1124.20/1124.67	c 1124s |      22 |  2468047 |  1881922 |     1278   3143 |        0 |        0
1126.30/1126.70	c 1126s |      22 |  2472115 |  1885422 |     1278   3148 |        0 |        0
1128.31/1128.74	c 1128s |      22 |  2475709 |  1888422 |     1278   3152 |        0 |        0
1130.30/1130.75	c 1130s |      22 |  2480276 |  1892222 |     1278   3157 |        0 |        0
1132.40/1132.80	c 1132s |      22 |  2484641 |  1895822 |     1278   3161 |        0 |        0
1134.40/1134.83	c 1134s |      22 |  2488604 |  1899222 |     1278   3166 |        0 |        0
1136.50/1136.90	c 1136s |      22 |  2492142 |  1902322 |     1278   3170 |        0 |        0
1138.50/1138.92	c 1138s |      22 |  2495880 |  1905522 |     1278   3174 |        0 |        0
1140.50/1140.95	c 1140s |      22 |  2499277 |  1908422 |     1278   3178 |        0 |        0
1142.50/1142.98	c 1142s |      22 |  2502764 |  1911522 |     1278   3182 |        0 |        0
1144.60/1145.03	c 1145s |      22 |  2506287 |  1914622 |     1278   3186 |        0 |        0
1146.60/1147.04	c 1147s |      22 |  2509556 |  1917522 |     1278   3190 |        0 |        0
1148.60/1149.09	c 1149s |      22 |  2512978 |  1920522 |     1278   3194 |        0 |        0
1150.70/1151.14	c 1151s |      22 |  2516108 |  1923322 |     1278   3198 |        0 |        0
1152.69/1153.16	c 1153s |      22 |  2520348 |  1926922 |     1278   3202 |        0 |        0
1154.70/1155.19	c 1155s |      22 |  2524630 |  1930522 |     1278   3207 |        0 |        0
1156.80/1157.21	c 1157s |      22 |  2528419 |  1933722 |     1278   3211 |        0 |        0
1158.79/1159.27	c 1159s |      22 |  2532178 |  1936922 |     1278   3215 |        0 |        0
1160.89/1161.33	c 1161s |      22 |  2535559 |  1939922 |     1278   3219 |        0 |        0
1162.99/1163.40	c 1163s |      22 |  2538699 |  1942722 |     1278   3223 |        0 |        0
1164.99/1165.42	c 1165s |      22 |  2542257 |  1945722 |     1278   3227 |        0 |        0
1166.99/1167.47	c 1167s |      22 |  2546942 |  1949622 |     1278   3232 |        0 |        0
1169.09/1169.50	c 1169s |      22 |  2550835 |  1953022 |     1278   3236 |        0 |        0
1171.10/1171.53	c 1171s |      22 |  2555106 |  1956522 |     1278   3241 |        0 |        0
1173.09/1173.53	c 1173s |      22 |  2558830 |  1959622 |     1278   3245 |        0 |        0
1175.09/1175.58	c 1175s |      22 |  2562439 |  1962822 |     1278   3249 |        0 |        0
1177.19/1177.61	c 1177s |      22 |  2566182 |  1966122 |     1278   3254 |        0 |        0
1179.19/1179.66	c 1179s |      22 |  2570435 |  1969522 |     1278   3258 |        0 |        0
1181.30/1181.73	c 1181s |      22 |  2574898 |  1973122 |     1278   3263 |        0 |        0
1183.31/1183.76	c 1183s |      22 |  2578640 |  1976422 |     1278   3267 |        0 |        0
1185.30/1185.78	c 1185s |      22 |  2582469 |  1979722 |     1278   3271 |        0 |        0
1187.40/1187.81	c 1187s |      22 |  2586595 |  1983122 |     1278   3276 |        0 |        0
1189.40/1189.86	c 1189s |      22 |  2590415 |  1986222 |     1278   3280 |        0 |        0
1191.50/1191.90	c 1191s |      22 |  2594751 |  1989822 |     1278   3285 |        0 |        0
1193.50/1193.92	c 1193s |      22 |  2598707 |  1993022 |     1278   3289 |        0 |        0
1195.50/1195.93	c 1195s |      22 |  2602462 |  1996222 |     1278   3293 |        0 |        0
1197.50/1197.93	c 1197s |      22 |  2606746 |  1999722 |     1278   3298 |        0 |        0
1199.50/1199.96	c 1199s |      22 |  2610165 |  2002422 |     1278   3301 |        0 |        0
1201.50/1201.98	c 1201s |      22 |  2613998 |  2005622 |     1278   3305 |        0 |        0
1203.50/1203.99	c 1203s |      22 |  2618048 |  2009022 |     1278   3310 |        0 |        0
1205.59/1206.01	c 1206s |      22 |  2622289 |  2012522 |     1278   3315 |        0 |        0
1207.59/1208.07	c 1208s |      22 |  2626180 |  2015722 |     1278   3319 |        0 |        0
1209.70/1210.12	c 1210s |      22 |  2629939 |  2018922 |     1278   3323 |        0 |        0
1211.69/1212.14	c 1212s |      22 |  2633898 |  2022122 |     1278   3327 |        0 |        0
1213.69/1214.15	c 1214s |      22 |  2638233 |  2025422 |     1278   3331 |        0 |        0
1215.79/1216.20	c 1216s |      22 |  2642872 |  2029322 |     1278   3336 |        0 |        0
1217.79/1218.22	c 1218s |      22 |  2646987 |  2032622 |     1278   3341 |        0 |        0
1219.79/1220.27	c 1220s |      22 |  2651174 |  2036122 |     1278   3345 |        0 |        0
1221.89/1222.33	c 1222s |      22 |  2654751 |  2039222 |     1278   3349 |        0 |        0
1223.89/1224.38	c 1224s |      22 |  2658358 |  2042322 |     1278   3353 |        0 |        0
1225.99/1226.42	c 1226s |      22 |  2662459 |  2045822 |     1278   3358 |        0 |        0
1227.99/1228.45	c 1228s |      22 |  2666711 |  2049522 |     1278   3363 |        0 |        0
1229.99/1230.46	c 1230s |      22 |  2670896 |  2053122 |     1278   3368 |        0 |        0
1231.99/1232.47	c 1232s |      22 |  2674874 |  2056622 |     1278   3372 |        0 |        0
1234.09/1234.53	c 1234s |      22 |  2678687 |  2059922 |     1278   3377 |        0 |        0
1236.09/1236.55	c 1236s |      22 |  2682685 |  2063322 |     1278   3381 |        0 |        0
1238.09/1238.60	c 1238s |      22 |  2686943 |  2066722 |     1278   3386 |        0 |        0
1240.19/1240.67	c 1240s |      22 |  2690737 |  2069922 |     1278   3390 |        0 |        0
1242.29/1242.70	c 1242s |      22 |  2694905 |  2073222 |     1278   3394 |        0 |        0
1244.28/1244.72	c 1244s |      22 |  2698210 |  2076122 |     1278   3398 |        0 |        0
1246.28/1246.76	c 1246s |      22 |  2701896 |  2079222 |     1278   3402 |        0 |        0
1248.28/1248.77	c 1248s |      22 |  2705809 |  2082622 |     1278   3407 |        0 |        0
1250.29/1250.78	c 1250s |      22 |  2709592 |  2085822 |     1278   3411 |        0 |        0
1252.38/1252.86	c 1252s |      22 |  2712822 |  2088722 |     1278   3415 |        0 |        0
1254.48/1254.90	c 1254s |      22 |  2716171 |  2091522 |     1278   3418 |        0 |        0
1256.48/1256.91	c 1256s |      22 |  2719614 |  2094422 |     1278   3422 |        0 |        0
1258.48/1258.92	c 1258s |      22 |  2722571 |  2097022 |     1278   3426 |        0 |        0
1260.48/1260.95	c 1260s |      22 |  2726073 |  2100022 |     1278   3429 |        0 |        0
1262.58/1263.02	c 1263s |      22 |  2729653 |  2102922 |     1278   3433 |        0 |        0
1264.59/1265.06	c 1265s |      22 |  2732919 |  2105722 |     1278   3437 |        0 |        0
1266.58/1267.10	c 1267s |      22 |  2736269 |  2108622 |     1278   3441 |        0 |        0
1268.68/1269.11	c 1269s |      22 |  2740672 |  2111822 |     1278   3445 |        0 |        0
1270.68/1271.17	c 1271s |      22 |  2744130 |  2114822 |     1278   3449 |        0 |        0
1272.78/1273.20	c 1273s |      22 |  2747351 |  2117622 |     1278   3453 |        0 |        0
1274.78/1275.21	c 1275s |      22 |  2751065 |  2120722 |     1278   3457 |        0 |        0
1276.78/1277.22	c 1277s |      22 |  2754609 |  2123722 |     1278   3461 |        0 |        0
1278.78/1279.26	c 1279s |      22 |  2757818 |  2126522 |     1278   3464 |        0 |        0
1280.78/1281.28	c 1281s |      22 |  2761219 |  2129422 |     1278   3468 |        0 |        0
1282.88/1283.33	c 1283s |      22 |  2764544 |  2132322 |     1278   3472 |        0 |        0
1284.88/1285.36	c 1285s |      22 |  2768083 |  2135322 |     1278   3476 |        0 |        0
1286.98/1287.40	c 1287s |      22 |  2771562 |  2138422 |     1278   3480 |        0 |        0
1288.98/1289.42	c 1289s |      22 |  2775329 |  2141522 |     1278   3484 |        0 |        0
1290.98/1291.46	c 1291s |      22 |  2778307 |  2144122 |     1278   3487 |        0 |        0
1293.07/1293.51	c 1293s |      22 |  2781318 |  2146722 |     1278   3491 |        0 |        0
1295.07/1295.53	c 1295s |      22 |  2784516 |  2149422 |     1278   3494 |        0 |        0
1297.07/1297.59	c 1297s |      22 |  2787905 |  2152322 |     1278   3498 |        0 |        0
1299.17/1299.65	c 1299s |      22 |  2791278 |  2155222 |     1278   3502 |        0 |        0
1301.27/1301.72	c 1301s |      22 |  2794459 |  2158022 |     1278   3506 |        0 |        0
1303.27/1303.73	c 1303s |      22 |  2797568 |  2160722 |     1278   3509 |        0 |        0
1305.28/1305.80	c 1305s |      22 |  2800676 |  2163322 |     1278   3513 |        0 |        0
1307.37/1307.82	c 1307s |      22 |  2803341 |  2165622 |     1278   3516 |        0 |        0
1309.37/1309.84	c 1309s |      22 |  2806401 |  2168322 |     1278   3519 |        0 |        0
1311.37/1311.85	c 1311s |      22 |  2810026 |  2171322 |     1278   3523 |        0 |        0
1313.37/1313.88	c 1313s |      22 |  2813296 |  2174122 |     1278   3527 |        0 |        0
1315.47/1315.96	c 1315s |      22 |  2816608 |  2177022 |     1278   3531 |        0 |        0
1317.48/1317.96	c 1317s |      22 |  2819528 |  2179622 |     1278   3534 |        0 |        0
1319.48/1319.97	c 1319s |      22 |  2823469 |  2182922 |     1278   3538 |        0 |        0
1321.58/1322.02	c 1322s |      22 |  2827187 |  2186022 |     1278   3542 |        0 |        0
1323.58/1324.03	c 1324s |      22 |  2830866 |  2189022 |     1278   3546 |        0 |        0
1325.58/1326.09	c 1326s |      22 |  2833837 |  2191522 |     1278   3550 |        0 |        0
1327.68/1328.13	c 1328s |      22 |  2837293 |  2194322 |     1278   3553 |        0 |        0
1329.68/1330.17	c 1330s |      22 |  2840824 |  2197122 |     1278   3557 |        0 |        0
1331.68/1332.19	c 1332s |      22 |  2844250 |  2200122 |     1278   3561 |        0 |        0
1333.77/1334.21	c 1334s |      22 |  2847747 |  2203122 |     1278   3565 |        0 |        0
1335.77/1336.25	c 1336s |      22 |  2850764 |  2205722 |     1278   3568 |        0 |        0
1337.77/1338.25	c 1338s |      22 |  2853945 |  2208422 |     1278   3572 |        0 |        0
1339.87/1340.34	c 1340s |      22 |  2857151 |  2211122 |     1278   3575 |        0 |        0
1341.87/1342.35	c 1342s |      22 |  2860187 |  2213622 |     1278   3579 |        0 |        0
1343.88/1344.39	c 1344s |      22 |  2863294 |  2216322 |     1278   3582 |        0 |        0
1345.98/1346.47	c 1346s |      22 |  2866461 |  2219022 |     1278   3586 |        0 |        0
1347.97/1348.49	c 1348s |      22 |  2869914 |  2221922 |     1278   3590 |        0 |        0
1350.07/1350.57	c 1350s |      22 |  2873195 |  2224822 |     1278   3594 |        0 |        0
1352.17/1352.61	c 1352s |      22 |  2876790 |  2227922 |     1278   3598 |        0 |        0
1354.17/1354.68	c 1354s |      22 |  2880719 |  2230722 |     1278   3601 |        0 |        0
1356.27/1356.73	c 1356s |      22 |  2883729 |  2233322 |     1278   3605 |        0 |        0
1358.27/1358.74	c 1358s |      22 |  2886843 |  2236022 |     1406   3608 |        0 |        0
1360.27/1360.80	c 1360s |      22 |  2889870 |  2238622 |     1406   3611 |        0 |        0
1362.37/1362.84	c 1362s |      22 |  2893182 |  2241222 |     1406   3615 |        0 |        0
1364.37/1364.84	c 1364s |      22 |  2896346 |  2243822 |     1406   3618 |        0 |        0
1366.47/1366.90	c 1366s |      22 |  2899252 |  2246222 |     1406   3621 |        0 |        0
1368.47/1368.95	c 1368s |      22 |  2902757 |  2249122 |     1406   3624 |        0 |        0
1369.97/1370.45	c 1370s |      23 |  2904987 |  2251038 |     1406   3627 |        0 |        0
1371.97/1372.47	c 1372s |      23 |  2911757 |  2255138 |     1406   3632 |        0 |        0
1373.97/1374.48	c 1374s |      23 |  2917141 |  2258638 |     1406   3636 |        0 |        0
1375.96/1376.49	c 1376s |      23 |  2921808 |  2262338 |     1406   3640 |        0 |        0
1378.06/1378.52	c 1378s |      23 |  2926714 |  2265938 |     1406   3644 |        0 |        0
1380.07/1380.55	c 1380s |      23 |  2931064 |  2269238 |     1406   3648 |        0 |        0
1382.06/1382.58	c 1382s |      23 |  2936064 |  2272838 |     1406   3653 |        0 |        0
1384.16/1384.62	c 1384s |      23 |  2940781 |  2276238 |     1406   3657 |        0 |        0
1386.16/1386.66	c 1386s |      23 |  2944906 |  2279538 |     1406   3661 |        0 |        0
1388.16/1388.68	c 1388s |      23 |  2949292 |  2282638 |     1406   3664 |        0 |        0
1390.26/1390.73	c 1390s |      23 |  2953997 |  2286238 |     1406   3669 |        0 |        0
1392.27/1392.76	c 1392s |      23 |  2958198 |  2289538 |     1406   3672 |        0 |        0
1394.26/1394.78	c 1394s |      23 |  2962677 |  2293038 |     1406   3677 |        0 |        0
1396.36/1396.81	c 1396s |      23 |  2966852 |  2296238 |     1406   3681 |        0 |        0
1398.36/1398.83	c 1398s |      23 |  2970743 |  2299338 |     1406   3684 |        0 |        0
1400.36/1400.88	c 1400s |      23 |  2974656 |  2302338 |     1406   3688 |        0 |        0
1402.46/1402.91	c 1402s |      23 |  2979096 |  2305638 |     1406   3692 |        0 |        0
1404.46/1404.95	c 1404s |      23 |  2983318 |  2308738 |     1406   3695 |        0 |        0
1406.56/1407.03	c 1407s |      23 |  2987200 |  2311738 |     1406   3699 |        0 |        0
1408.56/1409.05	c 1409s |      23 |  2991066 |  2314438 |     1406   3702 |        0 |        0
1410.56/1411.05	c 1411s |      23 |  2995531 |  2317738 |     1406   3706 |        0 |        0
1412.66/1413.11	c 1413s |      23 |  3001010 |  2321138 |     1406   3710 |        0 |        0
1414.66/1415.11	c 1415s |      23 |  3004983 |  2323838 |     1406   3714 |        0 |        0
1416.66/1417.14	c 1417s |      23 |  3009202 |  2326738 |     1406   3717 |        0 |        0
1418.76/1419.23	c 1419s |      23 |  3013000 |  2329638 |     1406   3721 |        0 |        0
1420.77/1421.29	c 1421s |      23 |  3016633 |  2332438 |     1406   3724 |        0 |        0
1422.86/1423.32	c 1423s |      23 |  3020320 |  2335138 |     1406   3727 |        0 |        0
1424.86/1425.33	c 1425s |      23 |  3023693 |  2337638 |     1406   3730 |        0 |        0
1426.86/1427.36	c 1427s |      23 |  3027413 |  2340338 |     1406   3733 |        0 |        0
1428.96/1429.43	c 1429s |      23 |  3030372 |  2342738 |     1406   3736 |        0 |        0
1430.96/1431.47	c 1431s |      23 |  3034258 |  2345538 |     1406   3740 |        0 |        0
1433.06/1433.53	c 1433s |      23 |  3038932 |  2348838 |     1406   3743 |        0 |        0
1435.06/1435.57	c 1435s |      23 |  3042784 |  2351838 |     1406   3747 |        0 |        0
1437.16/1437.60	c 1437s |      23 |  3046858 |  2354738 |     1406   3750 |        0 |        0
1439.16/1439.62	c 1439s |      23 |  3050657 |  2357638 |     1406   3754 |        0 |        0
1441.16/1441.64	c 1441s |      23 |  3054505 |  2360438 |     1406   3757 |        0 |        0
1443.16/1443.65	c 1443s |      23 |  3058039 |  2363138 |     1406   3760 |        0 |        0
1445.16/1445.66	c 1445s |      23 |  3061935 |  2365938 |     1406   3764 |        0 |        0
1447.26/1447.74	c 1447s |      23 |  3066505 |  2369238 |     1406   3768 |        0 |        0
1449.36/1449.81	c 1449s |      23 |  3069962 |  2372038 |     1406   3771 |        0 |        0
1451.36/1451.84	c 1451s |      23 |  3073686 |  2374838 |     1406   3774 |        0 |        0
1453.36/1453.87	c 1453s |      23 |  3077388 |  2377638 |     1406   3777 |        0 |        0
1455.45/1455.93	c 1455s |      23 |  3080633 |  2380238 |     1406   3780 |        0 |        0
1457.55/1458.00	c 1457s |      23 |  3084242 |  2383038 |     1406   3784 |        0 |        0
1459.55/1460.06	c 1460s |      23 |  3087314 |  2385438 |     1406   3787 |        0 |        0
1461.65/1462.10	c 1462s |      23 |  3091795 |  2388438 |     1406   3790 |        0 |        0
1463.66/1464.11	c 1464s |      23 |  3096342 |  2391538 |     1406   3794 |        0 |        0
1465.65/1466.15	c 1466s |      23 |  3100826 |  2394638 |     1406   3797 |        0 |        0
1467.65/1468.19	c 1468s |      23 |  3104691 |  2397238 |     1406   3800 |        0 |        0
1469.75/1470.21	c 1470s |      23 |  3109136 |  2400738 |     1406   3805 |        0 |        0
1471.75/1472.22	c 1472s |      23 |  3114195 |  2404238 |     1406   3809 |        0 |        0
1473.75/1474.27	c 1474s |      23 |  3119134 |  2407438 |     1406   3813 |        0 |        0
1475.76/1476.28	c 1476s |      23 |  3124880 |  2411438 |     1406   3817 |        0 |        0
1477.75/1478.28	c 1478s |      23 |  3129263 |  2414738 |     1406   3821 |        0 |        0
1479.85/1480.30	c 1480s |      23 |  3133240 |  2417838 |     1406   3825 |        0 |        0
1481.85/1482.33	c 1482s |      23 |  3137127 |  2420938 |     1406   3829 |        0 |        0
1483.85/1484.34	c 1484s |      23 |  3142300 |  2424738 |     1406   3833 |        0 |        0
1485.85/1486.36	c 1486s |      23 |  3146762 |  2428238 |     1406   3837 |        0 |        0
1487.85/1488.39	c 1488s |      23 |  3151311 |  2431638 |     1406   3841 |        0 |        0
1489.94/1490.46	c 1490s |      23 |  3155899 |  2434738 |     1406   3845 |        0 |        0
1492.04/1492.50	c 1492s |      23 |  3161140 |  2438638 |     1406   3850 |        0 |        0
1494.04/1494.52	c 1494s |      23 |  3165564 |  2442038 |     1406   3854 |        0 |        0
1496.04/1496.55	c 1496s |      23 |  3170840 |  2445538 |     1406   3858 |        0 |        0
1498.04/1498.57	c 1498s |      23 |  3175073 |  2448738 |     1406   3862 |        0 |        0
1500.05/1500.59	c 1500s |      23 |  3179926 |  2451838 |     1406   3866 |        0 |        0
1502.15/1502.61	c 1502s |      23 |  3183869 |  2454838 |     1406   3869 |        0 |        0
1504.14/1504.64	c 1504s |      23 |  3187233 |  2457438 |     1406   3872 |        0 |        0
1506.15/1506.67	c 1506s |      23 |  3190865 |  2460238 |     1406   3876 |        0 |        0
1508.15/1508.68	c 1508s |      23 |  3194581 |  2462738 |     1406   3879 |        0 |        0
1510.15/1510.69	c 1510s |      23 |  3199406 |  2465938 |     1406   3883 |        0 |        0
1512.25/1512.71	c 1512s |      23 |  3205105 |  2469238 |     1406   3886 |        0 |        0
1514.25/1514.72	c 1514s |      23 |  3209733 |  2472438 |     1406   3890 |        0 |        0
1516.25/1516.77	c 1516s |      23 |  3214624 |  2475538 |     1406   3894 |        0 |        0
1518.25/1518.79	c 1518s |      23 |  3219470 |  2479038 |     1406   3898 |        0 |        0
1520.34/1520.81	c 1520s |      23 |  3223916 |  2481938 |     1406   3902 |        0 |        0
1522.34/1522.86	c 1522s |      23 |  3227518 |  2484538 |     1406   3905 |        0 |        0
1524.44/1524.90	c 1524s |      23 |  3231188 |  2487438 |     1406   3908 |        0 |        0
1526.45/1526.91	c 1526s |      23 |  3234987 |  2490138 |     1406   3911 |        0 |        0
1528.44/1528.97	c 1528s |      23 |  3238713 |  2492738 |     1406   3914 |        0 |        0
1530.44/1530.98	c 1530s |      23 |  3242123 |  2495238 |     1406   3917 |        0 |        0
1532.54/1533.06	c 1533s |      23 |  3245864 |  2497538 |     1406   3920 |        0 |        0
1534.64/1535.14	c 1535s |      23 |  3249324 |  2500338 |     1406   3924 |        0 |        0
1536.64/1537.19	c 1537s |      23 |  3252965 |  2503138 |     1406   3927 |        0 |        0
1538.64/1539.19	c 1539s |      23 |  3256468 |  2505738 |     1406   3930 |        0 |        0
1540.75/1541.23	c 1541s |      23 |  3259798 |  2508438 |     1406   3933 |        0 |        0
1542.74/1543.25	c 1543s |      23 |  3263123 |  2511038 |     1406   3936 |        0 |        0
1544.84/1545.31	c 1545s |      23 |  3266689 |  2513638 |     1406   3939 |        0 |        0
1546.84/1547.33	c 1547s |      23 |  3269519 |  2515838 |     1406   3942 |        0 |        0
1548.94/1549.41	c 1549s |      23 |  3273256 |  2518238 |     1406   3945 |        0 |        0
1550.94/1551.46	c 1551s |      23 |  3276306 |  2520538 |     1406   3948 |        0 |        0
1552.94/1553.47	c 1553s |      23 |  3278865 |  2522538 |     1406   3950 |        0 |        0
1555.05/1555.53	c 1555s |      23 |  3283771 |  2525938 |     1406   3954 |        0 |        0
1557.04/1557.54	c 1557s |      23 |  3288509 |  2529438 |     1406   3958 |        0 |        0
1559.04/1559.57	c 1559s |      23 |  3292409 |  2532238 |     1406   3961 |        0 |        0
1561.04/1561.59	c 1561s |      23 |  3297194 |  2535438 |     1406   3965 |        0 |        0
1563.14/1563.64	c 1563s |      23 |  3301038 |  2538438 |     1406   3969 |        0 |        0
1565.14/1565.65	c 1565s |      23 |  3305642 |  2541938 |     1406   3973 |        0 |        0
1567.24/1567.70	c 1567s |      23 |  3309819 |  2545138 |     1406   3977 |        0 |        0
1569.24/1569.75	c 1569s |      23 |  3314328 |  2548638 |     1406   3981 |        0 |        0
1571.34/1571.80	c 1571s |      23 |  3318286 |  2551838 |     1406   3985 |        0 |        0
1573.34/1573.81	c 1573s |      23 |  3322267 |  2555138 |     1406   3989 |        0 |        0
1575.34/1575.81	c 1575s |      23 |  3326123 |  2558038 |     1406   3992 |        0 |        0
1577.33/1577.85	c 1577s |      23 |  3329511 |  2560738 |     1406   3995 |        0 |        0
1579.33/1579.86	c 1579s |      23 |  3333420 |  2563538 |     1406   3999 |        0 |        0
1581.34/1581.86	c 1581s |      23 |  3337150 |  2566438 |     1406   4002 |        0 |        0
1583.43/1583.90	c 1583s |      23 |  3341085 |  2569738 |     1406   4006 |        0 |        0
1585.43/1585.94	c 1585s |      23 |  3345572 |  2572938 |     1406   4010 |        0 |        0
1587.43/1587.99	c 1587s |      23 |  3350130 |  2575838 |     1406   4013 |        0 |        0
1589.53/1590.03	c 1590s |      23 |  3353711 |  2578538 |     1406   4017 |        0 |        0
1591.53/1592.07	c 1592s |      23 |  3357734 |  2581338 |     1406   4020 |        0 |        0
1593.63/1594.14	c 1594s |      23 |  3361777 |  2584338 |     1406   4023 |        0 |        0
1595.74/1596.23	c 1596s |      23 |  3365074 |  2586838 |     1406   4026 |        0 |        0
1597.73/1598.24	c 1598s |      23 |  3368151 |  2589138 |     1406   4029 |        0 |        0
1599.73/1600.25	c 1600s |      23 |  3372306 |  2592138 |     1406   4033 |        0 |        0
1601.73/1602.29	c 1602s |      23 |  3376480 |  2595038 |     1406   4036 |        0 |        0
1603.83/1604.33	c 1604s |      23 |  3380127 |  2597838 |     1406   4039 |        0 |        0
1605.83/1606.38	c 1606s |      23 |  3383793 |  2600438 |     1406   4043 |        0 |        0
1607.93/1608.44	c 1608s |      23 |  3387603 |  2603038 |     1406   4046 |        0 |        0
1609.93/1610.45	c 1610s |      23 |  3391165 |  2605738 |     1406   4049 |        0 |        0
1611.93/1612.46	c 1612s |      23 |  3394949 |  2608338 |     1406   4052 |        0 |        0
1613.93/1614.47	c 1614s |      23 |  3398542 |  2611038 |     1406   4055 |        0 |        0
1616.03/1616.53	c 1616s |      23 |  3402910 |  2613638 |     1406   4058 |        0 |        0
1618.13/1618.60	c 1618s |      23 |  3406947 |  2616238 |     1406   4061 |        0 |        0
1620.12/1620.62	c 1620s |      23 |  3410553 |  2618538 |     1406   4064 |        0 |        0
1622.13/1622.64	c 1622s |      23 |  3413462 |  2620838 |     1406   4067 |        0 |        0
1624.12/1624.65	c 1624s |      23 |  3416581 |  2623138 |     1406   4069 |        0 |        0
1626.22/1626.72	c 1626s |      23 |  3419217 |  2625238 |     1406   4072 |        0 |        0
1628.22/1628.78	c 1628s |      23 |  3421724 |  2627238 |     1406   4074 |        0 |        0
1630.32/1630.81	c 1630s |      23 |  3424796 |  2629538 |     1406   4077 |        0 |        0
1632.32/1632.86	c 1632s |      23 |  3428558 |  2632438 |     1406   4081 |        0 |        0
1634.32/1634.87	c 1634s |      23 |  3432110 |  2635238 |     1406   4084 |        0 |        0
1636.43/1636.90	c 1636s |      23 |  3435284 |  2637838 |     1406   4087 |        0 |        0
1638.42/1638.96	c 1638s |      23 |  3439143 |  2640738 |     1406   4091 |        0 |        0
1640.42/1640.97	c 1640s |      23 |  3443409 |  2643938 |     1406   4095 |        0 |        0
1642.52/1643.05	c 1643s |      23 |  3447211 |  2647038 |     1406   4098 |        0 |        0
1644.53/1645.09	c 1645s |      23 |  3450623 |  2649938 |     1406   4102 |        0 |        0
1646.63/1647.12	c 1647s |      23 |  3453856 |  2652538 |     1406   4105 |        0 |        0
1648.63/1649.13	c 1649s |      23 |  3458397 |  2655238 |     1406   4108 |        0 |        0
1650.63/1651.20	c 1651s |      23 |  3462367 |  2658038 |     1406   4111 |        0 |        0
1652.73/1653.25	c 1653s |      23 |  3465700 |  2660538 |     1406   4114 |        0 |        0
1654.73/1655.27	c 1655s |      23 |  3469774 |  2663038 |     1406   4117 |        0 |        0
1656.73/1657.28	c 1657s |      23 |  3474255 |  2665838 |     1406   4121 |        0 |        0
1658.83/1659.30	c 1659s |      23 |  3479693 |  2669238 |     1406   4125 |        0 |        0
1660.83/1661.31	c 1661s |      23 |  3484957 |  2672438 |     1406   4129 |        0 |        0
1662.83/1663.38	c 1663s |      23 |  3491225 |  2676038 |     1406   4133 |        0 |        0
1664.93/1665.40	c 1665s |      23 |  3496851 |  2678938 |     1406   4136 |        0 |        0
1666.93/1667.41	c 1667s |      23 |  3502617 |  2682838 |     1406   4141 |        0 |        0
1668.92/1669.44	c 1669s |      23 |  3507833 |  2686638 |     1406   4145 |        0 |        0
1670.92/1671.45	c 1671s |      23 |  3513383 |  2690138 |     1406   4149 |        0 |        0
1672.92/1673.49	c 1673s |      23 |  3518234 |  2693438 |     1406   4153 |        0 |        0
1674.93/1675.49	c 1675s |      23 |  3523704 |  2697138 |     1406   4158 |        0 |        0
1677.03/1677.52	c 1677s |      23 |  3528532 |  2700538 |     1406   4162 |        0 |        0
1679.02/1679.57	c 1679s |      23 |  3532998 |  2703738 |     1406   4166 |        0 |        0
1681.02/1681.58	c 1681s |      23 |  3536838 |  2706538 |     1406   4169 |        0 |        0
1683.02/1683.59	c 1683s |      23 |  3541142 |  2709738 |     1406   4173 |        0 |        0
1685.12/1685.63	c 1685s |      23 |  3545708 |  2713038 |     1406   4177 |        0 |        0
1687.12/1687.63	c 1687s |      23 |  3550136 |  2716238 |     1406   4180 |        0 |        0
1689.13/1689.68	c 1689s |      23 |  3554803 |  2719738 |     1406   4184 |        0 |        0
1691.12/1691.70	c 1691s |      23 |  3558862 |  2722738 |     1406   4188 |        0 |        0
1693.22/1693.75	c 1693s |      23 |  3562991 |  2725838 |     1406   4192 |        0 |        0
1695.22/1695.79	c 1695s |      23 |  3567296 |  2729038 |     1406   4195 |        0 |        0
1697.32/1697.80	c 1697s |      23 |  3571343 |  2731938 |     1406   4199 |        0 |        0
1699.32/1699.82	c 1699s |      23 |  3575908 |  2735038 |     1406   4202 |        0 |        0
1701.32/1701.84	c 1701s |      23 |  3580546 |  2738338 |     1406   4206 |        0 |        0
1703.42/1703.91	c 1703s |      23 |  3585344 |  2741538 |     1406   4210 |        0 |        0
1705.41/1705.91	c 1705s |      23 |  3589120 |  2744238 |     1406   4213 |        0 |        0
1707.41/1707.91	c 1707s |      23 |  3592953 |  2747038 |     1406   4217 |        0 |        0
1709.41/1709.91	c 1709s |      23 |  3596889 |  2749738 |     1406   4220 |        0 |        0
1711.41/1711.91	c 1711s |      23 |  3601863 |  2752438 |     1406   4223 |        0 |        0
1713.42/1713.93	c 1713s |      23 |  3606880 |  2755638 |     1406   4227 |        0 |        0
1715.41/1715.99	c 1715s |      23 |  3611658 |  2758738 |     1406   4231 |        0 |        0
1717.51/1718.04	c 1718s |      23 |  3615995 |  2761738 |     1406   4234 |        0 |        0
1719.51/1720.08	c 1720s |      23 |  3620465 |  2764838 |     1406   4238 |        0 |        0
1721.61/1722.12	c 1722s |      23 |  3625288 |  2767838 |     1406   4241 |        0 |        0
1723.61/1724.15	c 1724s |      23 |  3629807 |  2770738 |     1406   4245 |        0 |        0
1725.61/1726.16	c 1726s |      23 |  3635027 |  2774038 |     1406   4249 |        0 |        0
1727.62/1728.17	c 1728s |      23 |  3640107 |  2777038 |     1406   4252 |        0 |        0
1729.71/1730.21	c 1730s |      23 |  3644245 |  2779738 |     1406   4256 |        0 |        0
1731.71/1732.27	c 1732s |      23 |  3648590 |  2783538 |     1406   4260 |        0 |        0
1733.81/1734.31	c 1734s |      23 |  3653817 |  2786638 |     1406   4264 |        0 |        0
1735.81/1736.33	c 1736s |      23 |  3657249 |  2788938 |     1406   4266 |        0 |        0
1737.91/1738.41	c 1738s |      23 |  3661016 |  2791438 |     1406   4269 |        0 |        0
1739.91/1740.41	c 1740s |      23 |  3665499 |  2793938 |     1406   4272 |        0 |        0
1741.91/1742.47	c 1742s |      23 |  3669372 |  2796538 |     1406   4275 |        0 |        0
1744.01/1744.54	c 1744s |      23 |  3673482 |  2799138 |     1406   4278 |        0 |        0
1746.01/1746.59	c 1746s |      23 |  3677211 |  2801338 |     1406   4281 |        0 |        0
1748.01/1748.59	c 1748s |      23 |  3680234 |  2803538 |     1406   4284 |        0 |        0
1750.11/1750.63	c 1750s |      23 |  3683559 |  2805838 |     1406   4286 |        0 |        0
1752.11/1752.65	c 1752s |      23 |  3687910 |  2808738 |     1406   4290 |        0 |        0
1754.21/1754.71	c 1754s |      23 |  3692468 |  2812038 |     1406   4294 |        0 |        0
1756.21/1756.75	c 1756s |      23 |  3697073 |  2815538 |     1406   4298 |        0 |        0
1758.20/1758.76	c 1758s |      23 |  3701870 |  2819038 |     1406   4302 |        0 |        0
1760.20/1760.79	c 1760s |      23 |  3706823 |  2822438 |     1406   4306 |        0 |        0
1762.30/1762.82	c 1762s |      23 |  3711043 |  2825438 |     1406   4309 |        0 |        0
1764.30/1764.89	c 1764s |      23 |  3714778 |  2828238 |     1406   4312 |        0 |        0
1766.30/1766.89	c 1766s |      23 |  3720846 |  2831938 |     1406   4317 |        0 |        0
1768.31/1768.90	c 1768s |      23 |  3726491 |  2835238 |     1406   4321 |        0 |        0
1770.40/1770.93	c 1770s |      23 |  3732499 |  2838738 |     1406   4325 |        0 |        0
1772.40/1772.97	c 1772s |      23 |  3738047 |  2842138 |     1406   4329 |        0 |        0
1774.50/1775.02	c 1775s |      23 |  3743120 |  2845338 |     1406   4333 |        0 |        0
1776.50/1777.07	c 1777s |      23 |  3748392 |  2848738 |     1406   4337 |        0 |        0
1778.50/1779.08	c 1779s |      23 |  3753876 |  2852038 |     1406   4341 |        0 |        0
1780.60/1781.17	c 1781s |      23 |  3760774 |  2855438 |     1406   4345 |        0 |        0
1782.71/1783.22	c 1783s |      23 |  3765550 |  2858938 |     1406   4349 |        0 |        0
1784.70/1785.26	c 1785s |      23 |  3769379 |  2861838 |     1406   4352 |        0 |        0
1786.70/1787.29	c 1787s |      23 |  3774437 |  2865038 |     1406   4356 |        0 |        0
1788.81/1789.37	c 1789s |      23 |  3778606 |  2867438 |     1406   4359 |        0 |        0
1790.81/1791.38	c 1791s |      23 |  3781987 |  2869738 |     1406   4361 |        0 |        0
1792.91/1793.44	c 1793s |      23 |  3785030 |  2871938 |     1406   4364 |        0 |        0
1794.91/1795.46	c 1795s |      23 |  3790549 |  2875438 |     1406   4368 |        0 |        0
1796.91/1797.48	c 1797s |      23 |  3794812 |  2878438 |     1406   4372 |        0 |        0
1798.91/1799.48	c 1799s |      23 |  3799554 |  2881738 |     1406   4376 |        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-4078764-1465240533/watcher-4078764-1465240533 -o /tmp/evaluation-result-4078764-1465240533/solver-4078764-1465240533 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078764-1465240533.opb 

pid=2236
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.35 2.28 2.21 3/179 2239
/proc/meminfo: memFree=28547980/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 2647 0 0 0 0 0 0 0 20 0 4 0 105986883 727117824 2497 33554432000 4194304 16246674 140734335361024 140734335360448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 178287 2507 441 2943 0 175181 0
[pid=2239/tid=2240] ppid=2236 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 772206592 2670 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 777449472 2689 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986883 781643776 2706 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.35 2.28 2.21 3/179 2239
/proc/meminfo: memFree=28547980/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 33050 0 0 0 5 4 0 0 20 0 4 0 105986883 1247350784 32889 33554432000 4194304 16246674 140734335361024 140734335360448 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 304529 32910 710 2943 0 301423 0
[pid=2239/tid=2240] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 32922 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 32936 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 32950 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.35 2.28 2.21 3/179 2239
/proc/meminfo: memFree=28547980/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 69256 0 0 0 10 9 0 0 20 0 4 0 105986883 1247350784 69095 33554432000 4194304 16246674 140734335361024 140734335360448 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 304529 69118 710 2943 0 301423 0
[pid=2239/tid=2240] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 69130 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 69138 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 69146 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300461 s]
/proc/loadavg: 2.35 2.28 2.21 3/179 2239
/proc/meminfo: memFree=28547980/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 104206 0 0 0 15 13 0 0 20 0 4 0 105986883 1247350784 104045 33554432000 4194304 16246674 140734335361024 140734335360448 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 304529 104053 710 2943 0 301423 0
[pid=2239/tid=2240] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 104060 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 104068 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 104075 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.35 2.28 2.21 3/179 2239
/proc/meminfo: memFree=28547980/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 242056 0 0 0 36 32 0 0 20 0 4 0 105986883 1247350784 241894 33554432000 4194304 16246674 140734335361024 140734335360448 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 304529 241919 710 2943 0 301423 0
[pid=2239/tid=2240] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 241929 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 241938 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986883 1247350784 241947 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50046 s]
/proc/loadavg: 2.35 2.28 2.21 3/183 2243
/proc/meminfo: memFree=27553452/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267212 0 0 0 114 35 0 0 20 0 4 0 105986883 1336479744 267030 33554432000 4194304 16246674 140734335361024 140734335344024 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 326289 267030 787 2943 0 323183 0
[pid=2239/tid=2240] ppid=2236 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1336479744 267030 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1336479744 267030 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1336479744 267030 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.35 2.28 2.21 3/183 2243
/proc/meminfo: memFree=27479160/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267628 0 0 0 274 35 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140734335342912 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 326801 267446 788 2943 0 323695 0
[pid=2239/tid=2240] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30046 s]
/proc/loadavg: 2.40 2.29 2.22 3/183 2243
/proc/meminfo: memFree=27478600/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267628 0 0 0 594 35 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140734335342912 6011884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 326801 267446 788 2943 0 323695 0
[pid=2239/tid=2240] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267446 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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: 2.37 2.28 2.22 3/183 2243
/proc/meminfo: memFree=27478004/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267829 0 0 0 1233 35 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140734335342912 5589411 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 326801 267647 788 2943 0 323695 0
[pid=2239/tid=2240] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.36 2.29 2.22 4/183 2243
/proc/meminfo: memFree=27478632/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267829 0 0 0 2513 35 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140734335342912 13191666 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 326801 267647 788 2943 0 323695 0
[pid=2239/tid=2240] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.36 2.29 2.22 3/183 2243
/proc/meminfo: memFree=27478404/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267829 0 0 0 5072 36 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140734335342912 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 326801 267647 788 2943 0 323695 0
[pid=2239/tid=2240] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1338576896 267647 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.44 2.32 2.23 3/183 2244
/proc/meminfo: memFree=27477828/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 267903 0 0 0 10192 36 0 0 20 0 4 0 105986883 1339625472 267721 33554432000 4194304 16246674 140734335361024 140734335342912 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327057 267721 790 2943 0 323951 0
[pid=2239/tid=2240] ppid=2236 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1339625472 267721 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1339625472 267721 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1339625472 267721 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.20 2.22 2.22 3/183 2324
/proc/meminfo: memFree=28189500/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1361.87 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 136140 47 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 6020736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.16 2.21 2.22 4/183 2325
/proc/meminfo: memFree=28189376/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1421.87 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 142139 48 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335344024 12477724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.36 2.25 2.23 3/184 2329
/proc/meminfo: memFree=28189100/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1481.85 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 148137 48 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 5717458 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.18 2.22 2.21 4/183 2330
/proc/meminfo: memFree=28189272/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1541.85 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 154136 49 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.24 2.23 2.22 4/183 2331
/proc/meminfo: memFree=28189860/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1601.83 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 160134 49 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 5822500 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.22 2.22 2.21 3/183 2333
/proc/meminfo: memFree=28189988/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1661.83 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 166133 50 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 12478324 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.21 3/183 2334
/proc/meminfo: memFree=28188876/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1721.81 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 172131 50 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 13809250 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.16 2.21 2.20 4/183 2335
/proc/meminfo: memFree=28179092/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1781.8 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 178130 50 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 5661355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.33 2.24 2.21 3/183 2336
/proc/meminfo: memFree=28178724/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1800.01 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 179950 51 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 5545704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1311300

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

[startup+1800.5 s]
/proc/loadavg: 2.33 2.24 2.21 3/183 2336
/proc/meminfo: memFree=28178724/32872528 swapFree=16080/1655368
[pid=2239] ppid=2236 vsize=1311300 CPUtime=1800.01 cores=1,3,5,7
/proc/2239/stat : 2239 (toysat) R 2236 2239 32454 0 -1 4202496 269270 0 0 0 179950 51 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140734335342912 5545704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2239/statm: 327825 268931 792 2943 0 324719 0
[pid=2239/tid=2240] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2240/stat : 2240 (toysat) S 2236 2239 32454 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068319636720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2239/tid=2241] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2241/stat : 2241 (toysat) S 2236 2239 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068309146864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2239/tid=2242] ppid=2236 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/2239/task/2242/stat : 2242 (toysat) S 2236 2239 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105986883 1342771200 268931 33554432000 4194304 16246674 140734335361024 140068298673328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1311300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.51
CPU system time (s): 0.510922
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.510922
maximum resident set size= 1075724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269270
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= 426
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61215 second user time and 7.2259 second system time

The end

Begin job on node122 at 2016-06-06 21:15:33
IDJOB=4078764
IDBENCH=2598
IDSOLVER=2542
FILE ID=node122/4078764-1465240533
RUNJOBID= node122-1465218907-32471
PBS_JOBID= 19843205
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 2f4fbbd7ac7eea50904b3e0a14134afd
RANDOM SEED=1443525188

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28548004 kB
Buffers:           42692 kB
Cached:           102836 kB
SwapCached:          860 kB
Active:          1893656 kB
Inactive:          67688 kB
Active(anon):    1816512 kB
Inactive(anon):     1584 kB
Active(file):      77144 kB
Inactive(file):    66104 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099464 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       3472848 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             568096 kB
SReclaimable:      12108 kB
SUnreclaim:       555988 kB
KernelStack:        1488 kB
PageTables:        10852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3617160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2127872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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