0.00/0.00	c 2016-06-16T23:44:11+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-4096316-1466113451.opb"]
0.00/0.01	c use --random-gen="693875591 171289944 3877085375 3897358178 1293049898 2388732651 2107979662 2422951371 3427028714 1714439380 672367105 3256980774 3164919765 2574956061 647097461 2384354576 2520352749 2906085548 314070971 3590651220 931134615 2531707415 2433266902 443580459 299791122 1989514837 1356232377 2556999994 2987264985 2331041019 2686431012 1351315115 1824275155 3994031147 1590542522 547861458 1930166538 3230230278 4264395352 3944321209 194056016 1974926941 2025900960 2731214719 1248667965 1309723606 338617070 268641843 2351553396 4036050895 1150831417 1433934442 3165436317 2282422328 719448631 2395726711 2091955828 254655609 1255221056 580269731 2428911738 3146200450 1602766492 3128592067 560995032 3073160157 2130300862 398428623 490784671 3557760203 1946953814 961847364 2863040179 3526251943 1384544313 2010681157 2814356082 4170011178 1204389943 3878488151 2425546842 2231619984 355171979 1243141818 3761089688 3704012378 3157319814 4019284094 1439358835 1052577240 3858807924 240272826 4241521597 3791426253 855580063 3214382311 2998956267 1564034924 3898867090 18713951 1969418676 3028998028 2214314382 294557266 607806461 182715695 3529706737 644432044 2882168403 2587194584 421578157 1957089758 4113007147 2952159126 4172122800 2526896382 3635362165 523347016 2140454152 1578611184 2968336763 2116016916 4218412485 3245101943 3610921603 165263971 177236343 2528703813 3105840259 2949175303 2807462854 2550275065 3246198626 429546174 1693723110 3688816108 1004866443 4021407081 1444586442 3123991084 650581679 1581508847 3090959815 2923099168 4026062508 4002580688 72861372 2534320680 319212806 2696716235 1086874840 2585399247 2943938333 3255708353 2724916619 1098829518 3198153917 1037626881 2225947535 538508328 2010327120 3010591758 1544390066 2609239599 1391006627 4109167972 2849931195 1769207330 44158580 1416377683 2219440258 19426974 2300780614 2498509001 637738539 3142235714 3661648116 2503349047 1812658131 1990696971 560298600 2134544530 2215337011 175092371 1909483145 3695769441 147433192 3086086279 4172657784 2883388575 1829324501 4148209801 65745587 1718130960 1066677307 4064396476 550983382 1902811256 2667482883 146642932 364983782 42575383 3670789153 3565643876 1025874023 2082205070 1628615672 2350697929 89857853 1236250773 1275150929 1209804589 2690394101 1375023656 3357207373 2791802081 3370529721 193946435 36643596 2999529203 910827345 2356824874 4196830880 2416489695 761784269 2005789182 1527295615 1854770101 1446358463 1345397382 1788717953 1231395737 1613072420 576442394 3953595045 2980939263 2816061989 2861525025 1840248850 765355163 1485933017 4128075423 2127354939 509606793 3909848772 2363925465 3753811546 4054786681 3046288796 959126723 866774299 3635609666 137767664 1846024109 1582626440 1130097426 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1122
0.00/0.06	c #constraints 5318
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |     2145      0 |        5 |        0
0.09/0.16	c  0.0s |       1 |      154 |      100 |     2145      0 |        5 |      262
0.19/0.21	c  0.1s |       2 |      356 |      250 |     2360      0 |        5 |      262
0.29/0.32	c  0.2s |       3 |      658 |      475 |     2596      0 |        5 |      262
0.39/0.49	c  0.4s |       4 |     1088 |      813 |     2856      0 |        5 |      262
0.69/0.77	c  0.7s |       5 |     1767 |     1320 |     3142      0 |        5 |      262
1.20/1.23	c  1.1s |       6 |     2653 |     2081 |     3803      0 |        5 |      262
1.69/1.73	c  1.6s |       7 |     4436 |     3223 |     4184      0 |        5 |      262
2.48/2.54	c  2.4s |       8 |     6528 |     4936 |     4603      1 |        5 |      262
3.68/3.79	c  3.7s |       9 |     9470 |     7506 |     5064      2 |        5 |      262
5.38/5.43	c  5.3s |      10 |    13726 |    11361 |     5571      3 |        5 |      262
7.38/7.47	c  7.4s |      10 |    19739 |    16261 |     5571      5 |        5 |      262
7.79/7.81	c  7.7s |      11 |    20760 |    17144 |     6129      5 |        5 |      262
9.78/9.83	c  9.7s |      11 |    26442 |    21844 |     6129      6 |        5 |      262
11.58/11.69	c 11.6s |      12 |    30973 |    25819 |     6742      8 |        5 |      262
13.59/13.69	c 13.6s |      12 |    36167 |    30319 |     6742      9 |        5 |      262
15.69/15.74	c 15.6s |      12 |    41362 |    34819 |     6742     10 |        5 |      262
17.59/17.66	c 17.5s |      13 |    45965 |    38832 |     7417     11 |        5 |      262
19.59/19.68	c 19.6s |      13 |    50903 |    43032 |     7417     12 |        5 |      262
21.59/21.68	c 21.6s |      13 |    56079 |    47432 |     7417     13 |        5 |      262
23.69/23.74	c 23.6s |      13 |    61119 |    51932 |     7417     15 |        5 |      262
25.68/25.77	c 25.7s |      13 |    65912 |    56132 |     7417     16 |        5 |      262
26.78/26.81	c 26.7s |      14 |    68413 |    58352 |     8159     16 |        5 |      262
28.79/28.82	c 28.7s |      14 |    72289 |    61752 |     8159     17 |        5 |      262
30.78/30.83	c 30.7s |      14 |    77081 |    65952 |     8159     18 |        5 |      262
32.78/32.83	c 32.7s |      14 |    82065 |    70252 |     8159     19 |        5 |      262
34.78/34.84	c 34.7s |      14 |    86480 |    74252 |     8159     20 |        5 |      262
36.78/36.88	c 36.8s |      14 |    90857 |    78252 |     8159     21 |        5 |      262
38.78/38.88	c 38.8s |      14 |    95335 |    81952 |     8159     22 |        5 |      262
40.78/40.88	c 40.8s |      14 |   100384 |    86352 |     8159     23 |        5 |      262
41.38/41.47	c 41.4s |      15 |   101845 |    87632 |     8975     23 |        5 |      262
43.48/43.50	c 43.4s |      15 |   106141 |    91332 |     8975     24 |        5 |      262
45.48/45.53	c 45.4s |      15 |   110775 |    95332 |     8975     25 |        5 |      262
47.48/47.56	c 47.4s |      15 |   115364 |    99232 |     8975     25 |        5 |      262
49.48/49.56	c 49.4s |      15 |   119934 |   103232 |     8975     26 |        5 |      262
51.58/51.60	c 51.5s |      15 |   124821 |   107432 |     8975     27 |        5 |      262
53.57/53.64	c 53.5s |      15 |   129364 |   111532 |     8975     28 |        5 |      262
55.57/55.68	c 55.6s |      15 |   133857 |   115532 |     8975     29 |        5 |      262
57.57/57.69	c 57.6s |      15 |   137270 |   118532 |     8975     30 |        5 |      262
59.58/59.69	c 59.6s |      15 |   141827 |   122432 |     8975     31 |        5 |      262
61.68/61.73	c 61.6s |      15 |   146565 |   126632 |     8975     31 |        5 |      262
63.67/63.75	c 63.6s |      15 |   150608 |   130332 |     8975     32 |        5 |      262
64.47/64.51	c 64.4s |      16 |   151987 |   131552 |     9873     32 |        5 |      262
66.47/66.52	c 66.4s |      16 |   156109 |   134952 |     9873     33 |        5 |      262
68.47/68.57	c 68.5s |      16 |   160831 |   139052 |     9873     34 |        5 |      262
70.48/70.57	c 70.5s |      16 |   165074 |   142752 |     9873     35 |        5 |      262
72.57/72.61	c 72.5s |      16 |   169756 |   146852 |     9873     35 |        5 |      262
74.57/74.63	c 74.5s |      16 |   174297 |   150852 |     9873     36 |        5 |      262
76.57/76.65	c 76.5s |      16 |   178603 |   154752 |     9873     37 |        5 |      262
78.58/78.67	c 78.6s |      16 |   181488 |   157352 |     9873     37 |        5 |      262
80.68/80.71	c 80.6s |      16 |   186325 |   161452 |     9873     38 |        5 |      262
82.68/82.74	c 82.6s |      16 |   190819 |   165352 |     9873     39 |        5 |      262
84.68/84.77	c 84.7s |      16 |   195342 |   169352 |     9873     40 |        5 |      262
86.78/86.83	c 86.7s |      16 |   199434 |   173052 |     9873     41 |        5 |      262
88.78/88.87	c 88.8s |      16 |   203942 |   177052 |     9873     41 |        5 |      262
90.77/90.88	c 90.8s |      16 |   207350 |   179952 |     9873     42 |        5 |      262
92.87/92.90	c 92.8s |      16 |   211617 |   183752 |     9873     43 |        5 |      262
94.87/94.93	c 94.8s |      16 |   216039 |   187652 |     9873     43 |        5 |      262
96.88/96.95	c 96.8s |      16 |   219522 |   190852 |     9873     44 |        5 |      262
98.87/98.97	c 98.9s |      16 |   224002 |   194852 |     9873     45 |        5 |      262
100.28/100.36	c  100s |      17 |   226830 |   197432 |    10861     45 |        5 |      262
102.27/102.37	c  102s |      17 |   230422 |   200632 |    10861     46 |        5 |      262
104.48/104.50	c  104s |      17 |   233038 |   203032 |    10861     46 |        5 |      262
106.48/106.51	c  106s |      17 |   237073 |   206532 |    10861     47 |        5 |      262
108.48/108.55	c  108s |      17 |   241032 |   210032 |    10861     48 |        5 |      262
110.57/110.60	c  110s |      17 |   245350 |   213932 |    10861     48 |        5 |      262
112.57/112.65	c  112s |      17 |   249420 |   217532 |    10861     49 |        5 |      262
114.67/114.73	c  114s |      17 |   253364 |   221032 |    10861     50 |        5 |      262
116.68/116.76	c  116s |      17 |   257226 |   224532 |    10861     50 |        5 |      262
118.67/118.78	c  118s |      17 |   260479 |   227532 |    10861     51 |        5 |      262
120.77/120.83	c  120s |      17 |   263819 |   230632 |    10861     51 |        5 |      262
122.77/122.85	c  122s |      17 |   267471 |   233932 |    10861     52 |        5 |      262
124.87/124.90	c  124s |      17 |   270856 |   236732 |    10861     52 |        5 |      262
126.87/126.94	c  126s |      17 |   275264 |   240632 |    10861     53 |        5 |      262
128.88/128.96	c  128s |      17 |   279465 |   244232 |    10861     54 |        5 |      262
130.87/130.97	c  130s |      17 |   283520 |   247832 |    10861     54 |        5 |      262
132.97/133.02	c  132s |      17 |   287612 |   251532 |    10861     55 |        5 |      262
134.97/135.03	c  134s |      17 |   291175 |   254732 |    10861     56 |        5 |      262
136.97/137.08	c  136s |      17 |   294782 |   257832 |    10861     56 |        5 |      262
139.07/139.13	c  139s |      17 |   299305 |   261732 |    10861     57 |        5 |      262
141.17/141.21	c  141s |      17 |   303361 |   265232 |    10861     58 |        5 |      262
143.18/143.26	c  143s |      17 |   307902 |   269232 |    10861     58 |        5 |      262
145.17/145.29	c  145s |      17 |   312026 |   272932 |    10861     59 |        5 |      262
147.27/147.30	c  147s |      17 |   315371 |   275832 |    10861     59 |        5 |      262
149.27/149.32	c  149s |      17 |   319770 |   279732 |    10861     60 |        5 |      262
151.27/151.34	c  151s |      17 |   324053 |   283532 |    10861     61 |        5 |      262
153.27/153.35	c  153s |      17 |   327908 |   287132 |    10861     61 |        5 |      262
155.37/155.40	c  155s |      17 |   331414 |   290232 |    10861     62 |        5 |      262
157.37/157.42	c  157s |      17 |   335401 |   293832 |    10861     63 |        5 |      262
158.57/158.68	c  158s |      18 |   338079 |   296252 |    11948     63 |        5 |      262
160.67/160.70	c  160s |      18 |   341160 |   298852 |    11948     63 |        5 |      262
162.66/162.72	c  162s |      18 |   345493 |   302652 |    11948     64 |        5 |      262
164.66/164.73	c  164s |      18 |   349320 |   306052 |    11948     65 |        5 |      262
166.76/166.87	c  166s |      18 |   352441 |   308852 |    11948     65 |        5 |      262
168.76/168.89	c  168s |      18 |   356478 |   312452 |    11948     66 |        5 |      262
170.86/170.93	c  170s |      18 |   360449 |   316052 |    11948     66 |        5 |      262
172.87/172.96	c  172s |      18 |   363621 |   318952 |    11948     67 |        5 |      262
174.97/175.03	c  174s |      18 |   367065 |   322152 |    11948     67 |        5 |      262
176.96/177.04	c  176s |      18 |   370622 |   325352 |    11948     68 |        5 |      262
179.06/179.10	c  178s |      18 |   373867 |   328352 |    11948     68 |        5 |      262
181.06/181.15	c  181s |      18 |   377056 |   331352 |    11948     69 |        5 |      262
183.06/183.19	c  183s |      18 |   379479 |   333552 |    11948     69 |        5 |      262
185.06/185.19	c  185s |      18 |   383374 |   336952 |    11948     70 |        5 |      262
187.16/187.21	c  187s |      18 |   387271 |   340452 |    11948     70 |        5 |      262
189.16/189.26	c  189s |      18 |   391211 |   343952 |    11948     71 |        5 |      262
191.36/191.45	c  191s |      18 |   393916 |   346352 |    11948     71 |        5 |      262
193.36/193.46	c  193s |      18 |   398007 |   349952 |    11948     72 |        5 |      262
195.46/195.51	c  195s |      18 |   401609 |   353252 |    11948     72 |        5 |      262
197.46/197.56	c  197s |      18 |   405301 |   356552 |    11948     73 |        5 |      262
199.56/199.61	c  199s |      18 |   408821 |   359752 |    11948     73 |        5 |      262
201.56/201.65	c  201s |      18 |   412402 |   363052 |    11948     74 |        5 |      262
203.57/203.67	c  203s |      18 |   415386 |   365752 |    11948     74 |        5 |      262
205.66/205.70	c  205s |      18 |   419099 |   368952 |    11948     75 |        5 |      262
207.66/207.73	c  207s |      18 |   422716 |   372152 |    11948     75 |        5 |      262
209.66/209.75	c  209s |      18 |   426638 |   375752 |    11948     76 |        5 |      262
211.66/211.78	c  211s |      18 |   430329 |   379052 |    11948     77 |        5 |      262
213.76/213.80	c  213s |      18 |   433673 |   381952 |    11948     77 |        5 |      262
215.77/215.83	c  215s |      18 |   437479 |   385352 |    11948     78 |        5 |      262
217.87/217.91	c  217s |      18 |   441151 |   388752 |    11948     78 |        5 |      262
219.86/219.97	c  219s |      18 |   444946 |   392152 |    11948     79 |        5 |      262
221.96/222.01	c  221s |      18 |   448409 |   395352 |    11948     79 |        5 |      262
223.96/224.07	c  223s |      18 |   451710 |   398452 |    11948     80 |        5 |      262
226.06/226.10	c  225s |      18 |   454953 |   401452 |    11948     80 |        5 |      262
228.05/228.17	c  228s |      18 |   457140 |   403452 |    11948     81 |        5 |      262
230.15/230.23	c  230s |      18 |   460572 |   406652 |    11948     81 |        5 |      262
232.16/232.23	c  232s |      18 |   463549 |   409452 |    11948     82 |        5 |      262
234.25/234.32	c  234s |      18 |   466701 |   412452 |    11948     82 |        5 |      262
236.25/236.32	c  236s |      18 |   469491 |   415052 |    11948     83 |        5 |      262
238.25/238.35	c  238s |      18 |   472582 |   417952 |    11948     83 |        5 |      262
240.25/240.36	c  240s |      18 |   475202 |   420352 |    11948     83 |        5 |      262
242.35/242.40	c  242s |      18 |   478336 |   423252 |    11948     84 |        5 |      262
244.36/244.46	c  244s |      18 |   481536 |   426252 |    11948     84 |        5 |      262
246.85/246.90	c  246s |      18 |   484431 |   428952 |    11948     85 |        5 |      262
248.85/248.93	c  248s |      18 |   488305 |   432452 |    11948     85 |        5 |      262
250.85/250.94	c  250s |      18 |   491786 |   435652 |    11948     86 |        5 |      262
252.84/252.96	c  252s |      18 |   494925 |   438552 |    11948     86 |        5 |      262
254.84/254.99	c  254s |      18 |   498187 |   441552 |    13143     87 |        5 |      262
256.94/257.00	c  256s |      18 |   501261 |   444252 |    13143     87 |        5 |      262
257.04/257.16	c  257s |      19 |   501506 |   444482 |    13143     87 |        5 |      262
259.14/259.23	c  259s |      19 |   504921 |   447382 |    13143     88 |        5 |      262
261.14/261.26	c  261s |      19 |   508635 |   450682 |    13143     88 |        5 |      262
263.14/263.28	c  263s |      19 |   512031 |   453782 |    13143     89 |        5 |      262
265.26/265.36	c  265s |      19 |   515576 |   456782 |    13143     89 |        5 |      262
267.25/267.40	c  267s |      19 |   519323 |   459882 |    13143     90 |        5 |      262
269.35/269.44	c  269s |      19 |   523750 |   463682 |    13143     90 |        5 |      262
271.35/271.48	c  271s |      19 |   527133 |   466782 |    13143     91 |        5 |      262
273.45/273.52	c  273s |      19 |   531202 |   470482 |    13143     91 |        5 |      262
275.55/275.62	c  275s |      19 |   534013 |   472982 |    13143     92 |        5 |      262
277.55/277.67	c  277s |      19 |   537985 |   476482 |    13143     92 |        5 |      262
279.55/279.68	c  279s |      19 |   541409 |   479582 |    13143     92 |        5 |      262
281.65/281.73	c  281s |      19 |   545142 |   482982 |    13143     93 |        5 |      262
283.64/283.79	c  283s |      19 |   548249 |   485782 |    13143     93 |        5 |      262
285.74/285.82	c  285s |      19 |   551511 |   488782 |    13143     94 |        5 |      262
287.74/287.87	c  287s |      19 |   554864 |   491782 |    13143     94 |        5 |      262
289.74/289.89	c  289s |      19 |   555874 |   492682 |    13143     94 |        5 |      262
291.84/291.92	c  291s |      19 |   560219 |   496382 |    13143     95 |        5 |      262
293.85/293.92	c  293s |      19 |   563937 |   499682 |    13143     95 |        5 |      262
295.84/295.97	c  295s |      19 |   568115 |   503382 |    13143     96 |        5 |      262
297.94/298.00	c  297s |      19 |   571699 |   506582 |    13143     97 |        5 |      262
299.94/300.04	c  299s |      19 |   575311 |   509782 |    13143     97 |        5 |      262
301.94/302.05	c  301s |      19 |   578229 |   512282 |    13143     97 |        5 |      262
303.94/304.09	c  303s |      19 |   581871 |   515482 |    13143     98 |        5 |      262
306.03/306.12	c  306s |      19 |   585484 |   518782 |    13143     98 |        5 |      262
308.04/308.18	c  308s |      19 |   589249 |   522082 |    13143     99 |        5 |      262
310.03/310.18	c  310s |      19 |   592484 |   524982 |    13143     99 |        5 |      262
312.13/312.21	c  312s |      19 |   595993 |   528182 |    13143    100 |        5 |      262
314.13/314.27	c  314s |      19 |   599553 |   531282 |    13143    100 |        5 |      262
316.23/316.31	c  316s |      19 |   602765 |   534182 |    13143    101 |        5 |      262
318.23/318.32	c  318s |      19 |   606234 |   537382 |    13143    101 |        5 |      262
320.23/320.33	c  320s |      19 |   609261 |   540182 |    13143    102 |        5 |      262
322.23/322.37	c  322s |      19 |   612754 |   543382 |    13143    102 |        5 |      262
324.32/324.40	c  324s |      19 |   614264 |   544782 |    13143    102 |        5 |      262
326.32/326.45	c  326s |      19 |   617743 |   547882 |    13143    103 |        5 |      262
328.32/328.45	c  328s |      19 |   621337 |   551082 |    13143    103 |        5 |      262
330.32/330.45	c  330s |      19 |   624351 |   553882 |    13143    104 |        5 |      262
332.32/332.48	c  332s |      19 |   627806 |   556982 |    13143    104 |        5 |      262
334.42/334.54	c  334s |      19 |   630757 |   559682 |    13143    104 |        5 |      262
336.42/336.58	c  336s |      19 |   634256 |   562882 |    13143    105 |        5 |      262
338.52/338.61	c  338s |      19 |   637223 |   565682 |    13143    105 |        5 |      262
340.51/340.63	c  340s |      19 |   639352 |   567582 |    13143    106 |        5 |      262
342.51/342.66	c  342s |      19 |   643512 |   571182 |    13143    106 |        5 |      262
344.51/344.67	c  344s |      19 |   646983 |   574282 |    13143    107 |        5 |      262
346.62/346.72	c  346s |      19 |   650707 |   577682 |    13143    107 |        5 |      262
348.62/348.76	c  348s |      19 |   653143 |   579882 |    13143    108 |        5 |      262
350.72/350.80	c  350s |      19 |   657088 |   583482 |    13143    108 |        5 |      262
352.82/352.93	c  352s |      19 |   660256 |   586382 |    13143    109 |        5 |      262
354.82/354.99	c  354s |      19 |   663757 |   589582 |    13143    109 |        5 |      262
356.82/356.99	c  356s |      19 |   666641 |   592282 |    13143    109 |        5 |      262
358.92/359.03	c  358s |      19 |   668774 |   594282 |    13143    110 |        5 |      262
361.02/361.10	c  360s |      19 |   672473 |   597582 |    13143    110 |        5 |      262
363.02/363.13	c  363s |      19 |   675396 |   600282 |    13143    111 |        5 |      262
365.02/365.14	c  365s |      19 |   678829 |   603382 |    13143    111 |        5 |      262
367.02/367.16	c  367s |      19 |   681722 |   606082 |    13143    111 |        5 |      262
369.01/369.19	c  369s |      19 |   684188 |   608282 |    13143    112 |        5 |      262
371.11/371.21	c  371s |      19 |   687715 |   611482 |    13143    112 |        5 |      262
373.11/373.22	c  373s |      19 |   690939 |   614382 |    13143    113 |        5 |      262
375.12/375.26	c  375s |      19 |   694201 |   617382 |    13143    113 |        5 |      262
377.11/377.29	c  377s |      19 |   697236 |   620182 |    13143    114 |        5 |      262
379.21/379.33	c  379s |      19 |   700835 |   623382 |    13143    114 |        5 |      262
381.31/381.44	c  381s |      19 |   703006 |   625382 |    13143    114 |        5 |      262
383.30/383.44	c  383s |      19 |   706855 |   628782 |    13143    115 |        5 |      262
385.30/385.48	c  385s |      19 |   710787 |   632182 |    13143    115 |        5 |      262
387.40/387.53	c  387s |      19 |   714783 |   635782 |    13143    116 |        5 |      262
389.41/389.54	c  389s |      19 |   718319 |   638982 |    13143    116 |        5 |      262
391.50/391.63	c  391s |      19 |   721584 |   641982 |    13143    117 |        5 |      262
393.50/393.63	c  393s |      19 |   724788 |   644982 |    13143    117 |        5 |      262
395.50/395.64	c  395s |      19 |   727837 |   647782 |    13143    118 |        5 |      262
397.60/397.71	c  397s |      19 |   730657 |   650382 |    13143    118 |        5 |      262
399.60/399.77	c  399s |      19 |   733507 |   652982 |    13143    118 |        5 |      262
401.61/401.77	c  401s |      19 |   736887 |   655982 |    13143    119 |        5 |      262
403.71/403.83	c  403s |      19 |   740118 |   658982 |    13143    119 |        5 |      262
405.70/405.86	c  405s |      19 |   742809 |   661382 |    13143    120 |        5 |      262
407.80/407.91	c  407s |      19 |   747010 |   665082 |    14458    120 |        5 |      262
408.90/409.01	c  408s |      20 |   748962 |   666827 |    14458    120 |        5 |      262
410.90/411.05	c  410s |      20 |   752329 |   669927 |    14458    121 |        5 |      262
413.00/413.13	c  413s |      20 |   754532 |   671927 |    14458    121 |        5 |      262
414.99/415.13	c  415s |      20 |   758219 |   675127 |    14458    122 |        5 |      262
417.00/417.13	c  417s |      20 |   762003 |   678527 |    14458    122 |        5 |      262
418.99/419.18	c  419s |      20 |   765042 |   681327 |    14458    122 |        5 |      262
421.00/421.19	c  421s |      20 |   768387 |   684227 |    14458    123 |        5 |      262
423.10/423.23	c  423s |      20 |   771530 |   687027 |    14458    123 |        5 |      262
425.10/425.28	c  425s |      20 |   774520 |   689627 |    14458    123 |        5 |      262
427.20/427.33	c  427s |      20 |   778067 |   692627 |    14458    124 |        5 |      262
429.19/429.35	c  429s |      20 |   781372 |   695527 |    14458    124 |        5 |      262
431.20/431.36	c  431s |      20 |   784998 |   698727 |    14458    125 |        5 |      262
433.29/433.41	c  433s |      20 |   788772 |   702127 |    14458    125 |        5 |      262
435.29/435.44	c  435s |      20 |   791918 |   705027 |    14458    126 |        5 |      262
437.39/437.50	c  437s |      20 |   794726 |   707527 |    14458    126 |        5 |      262
439.39/439.53	c  439s |      20 |   797965 |   710427 |    14458    126 |        5 |      262
441.39/441.56	c  441s |      20 |   801240 |   713427 |    14458    127 |        5 |      262
443.49/443.60	c  443s |      20 |   804641 |   716527 |    14458    127 |        5 |      262
445.49/445.61	c  445s |      20 |   807288 |   719027 |    14458    127 |        5 |      262
447.49/447.69	c  447s |      20 |   810693 |   722127 |    14458    128 |        5 |      262
449.48/449.69	c  449s |      20 |   813657 |   724827 |    14458    128 |        5 |      262
451.68/451.84	c  451s |      20 |   816582 |   727527 |    14458    129 |        5 |      262
455.08/455.22	c  455s |      20 |   819220 |   729827 |    14458    129 |        5 |      262
457.08/457.23	c  457s |      20 |   823075 |   733027 |    14458    129 |        5 |      262
459.08/459.23	c  459s |      20 |   826661 |   736127 |    14458    130 |        5 |      262
461.07/461.29	c  461s |      20 |   830239 |   739327 |    14458    130 |        5 |      262
463.08/463.30	c  463s |      20 |   833360 |   742127 |    14458    131 |        5 |      262
465.17/465.34	c  465s |      20 |   836976 |   745327 |    14458    131 |        5 |      262
467.17/467.38	c  467s |      20 |   840054 |   748027 |    14458    131 |        5 |      262
469.27/469.40	c  469s |      20 |   843398 |   750927 |    14458    132 |        5 |      262
471.28/471.40	c  471s |      20 |   846167 |   753427 |    14458    132 |        5 |      262
473.28/473.43	c  473s |      20 |   848991 |   756027 |    14458    133 |        5 |      262
475.28/475.49	c  475s |      20 |   852579 |   759327 |    14458    133 |        5 |      262
477.38/477.54	c  477s |      20 |   855472 |   761927 |    14458    133 |        5 |      262
479.47/479.60	c  479s |      20 |   858564 |   764727 |    14458    134 |        5 |      262
481.57/481.70	c  481s |      20 |   861426 |   767327 |    14458    134 |        5 |      262
483.57/483.78	c  483s |      20 |   864358 |   769927 |    14458    134 |        5 |      262
485.67/485.80	c  485s |      20 |   867493 |   772827 |    14458    135 |        5 |      262
487.67/487.81	c  487s |      20 |   870542 |   775527 |    14458    135 |        5 |      262
489.97/490.19	c  490s |      20 |   873688 |   778227 |    14458    136 |        5 |      262
492.07/492.26	c  492s |      20 |   877530 |   781627 |    14458    136 |        5 |      262
494.07/494.27	c  494s |      20 |   880479 |   784327 |    14458    136 |        5 |      262
496.67/496.81	c  496s |      20 |   883930 |   787427 |    14458    137 |        5 |      262
498.67/498.82	c  498s |      20 |   887556 |   790627 |    14458    137 |        5 |      262
500.67/500.86	c  500s |      20 |   890976 |   793627 |    14458    138 |        5 |      262
502.67/502.86	c  502s |      20 |   894387 |   796727 |    14458    138 |        5 |      262
504.77/504.90	c  504s |      20 |   897362 |   799427 |    14458    138 |        5 |      262
506.77/506.95	c  506s |      20 |   900618 |   802327 |    14458    139 |        5 |      262
508.76/508.97	c  508s |      20 |   903589 |   805027 |    14458    139 |        5 |      262
510.76/510.97	c  510s |      20 |   906298 |   807527 |    14458    140 |        5 |      262
512.86/513.02	c  512s |      20 |   908605 |   809527 |    14458    140 |        5 |      262
514.87/515.04	c  514s |      20 |   912020 |   812527 |    14458    140 |        5 |      262
516.86/517.08	c  516s |      20 |   915330 |   815427 |    14458    141 |        5 |      262
518.96/519.10	c  518s |      20 |   918864 |   818627 |    14458    141 |        5 |      262
521.85/522.08	c  521s |      20 |   922025 |   821427 |    14458    142 |        5 |      262
523.95/524.11	c  523s |      20 |   925641 |   824727 |    14458    142 |        5 |      262
525.95/526.15	c  526s |      20 |   928781 |   827527 |    14458    142 |        5 |      262
528.06/528.21	c  528s |      20 |   931896 |   830427 |    14458    143 |        5 |      262
530.05/530.26	c  530s |      20 |   935100 |   833427 |    14458    143 |        5 |      262
532.15/532.30	c  532s |      20 |   937422 |   835627 |    14458    143 |        5 |      262
534.15/534.30	c  534s |      20 |   940338 |   838327 |    14458    144 |        5 |      262
536.15/536.32	c  536s |      20 |   943346 |   841127 |    14458    144 |        5 |      262
538.25/538.44	c  538s |      20 |   945789 |   843427 |    14458    145 |        5 |      262
540.25/540.47	c  540s |      20 |   949002 |   846427 |    14458    145 |        5 |      262
542.35/542.51	c  542s |      20 |   951534 |   848827 |    14458    145 |        5 |      262
544.35/544.57	c  544s |      20 |   953752 |   850927 |    14458    146 |        5 |      262
547.14/547.30	c  547s |      20 |   956488 |   853527 |    14458    146 |        5 |      262
549.14/549.34	c  549s |      20 |   959745 |   856427 |    14458    146 |        5 |      262
551.15/551.34	c  551s |      20 |   962857 |   859127 |    14458    147 |        5 |      262
553.14/553.34	c  553s |      20 |   966316 |   862227 |    14458    147 |        5 |      262
555.14/555.39	c  555s |      20 |   969393 |   865027 |    14458    147 |        5 |      262
557.24/557.42	c  557s |      20 |   972634 |   868027 |    14458    148 |        5 |      262
559.24/559.42	c  559s |      20 |   976224 |   871227 |    14458    148 |        5 |      262
561.24/561.44	c  561s |      20 |   979472 |   874227 |    14458    149 |        5 |      262
564.54/564.74	c  564s |      20 |   982141 |   876727 |    14458    149 |        5 |      262
566.55/566.75	c  566s |      20 |   985674 |   879727 |    14458    149 |        5 |      262
568.54/568.77	c  568s |      20 |   989213 |   882827 |    14458    150 |        5 |      262
570.64/570.81	c  570s |      20 |   992775 |   885927 |    14458    150 |        5 |      262
572.64/572.83	c  572s |      20 |   996267 |   889027 |    14458    151 |        5 |      262
574.64/574.85	c  574s |      20 |   999637 |   892127 |    14458    151 |        5 |      262
576.74/576.91	c  576s |      20 |  1002591 |   894727 |    14458    152 |        5 |      262
578.74/578.93	c  578s |      20 |  1006198 |   897927 |    14458    152 |        5 |      262
580.75/580.93	c  580s |      20 |  1008754 |   900127 |    14458    152 |        5 |      262
582.74/582.98	c  582s |      20 |  1011816 |   902827 |    14458    153 |        5 |      262
584.84/585.00	c  584s |      20 |  1015195 |   905927 |    14458    153 |        5 |      262
586.84/587.04	c  586s |      20 |  1018124 |   908627 |    14458    153 |        5 |      262
588.84/589.08	c  588s |      20 |  1020654 |   910927 |    14458    154 |        5 |      262
590.93/591.15	c  591s |      20 |  1023795 |   913827 |    14458    154 |        5 |      262
592.94/593.18	c  593s |      20 |  1026588 |   916327 |    14458    154 |        5 |      262
595.04/595.21	c  595s |      20 |  1029718 |   919227 |    14458    155 |        5 |      262
597.03/597.24	c  597s |      20 |  1032515 |   921827 |    14458    155 |        5 |      262
599.13/599.38	c  599s |      20 |  1035279 |   924327 |    14458    156 |        5 |      262
601.23/601.40	c  601s |      20 |  1038733 |   927427 |    14458    156 |        5 |      262
603.33/603.57	c  603s |      20 |  1040978 |   929427 |    14458    156 |        5 |      262
605.43/605.62	c  605s |      20 |  1044486 |   932527 |    14458    157 |        5 |      262
607.43/607.65	c  607s |      20 |  1048187 |   935827 |    14458    157 |        5 |      262
609.52/609.71	c  609s |      20 |  1051360 |   938627 |    14458    158 |        5 |      262
611.53/611.75	c  611s |      20 |  1054908 |   941927 |    14458    158 |        5 |      262
613.62/613.81	c  613s |      20 |  1057769 |   944427 |    14458    158 |        5 |      262
615.62/615.86	c  615s |      20 |  1061060 |   947427 |    14458    159 |        5 |      262
617.72/617.92	c  617s |      20 |  1064506 |   950527 |    14458    159 |        5 |      262
619.72/619.97	c  619s |      20 |  1067192 |   953027 |    14458    159 |        5 |      262
621.82/622.01	c  621s |      20 |  1070212 |   955827 |    14458    160 |        5 |      262
623.82/624.10	c  623s |      20 |  1073260 |   958627 |    14458    160 |        5 |      262
627.81/628.05	c  627s |      20 |  1075868 |   961027 |    14458    161 |        5 |      262
629.81/630.09	c  629s |      20 |  1079952 |   964627 |    14458    161 |        5 |      262
631.91/632.10	c  631s |      20 |  1083142 |   967527 |    14458    161 |        5 |      262
633.91/634.15	c  634s |      20 |  1086227 |   970427 |    14458    162 |        5 |      262
635.91/636.15	c  636s |      20 |  1089174 |   973127 |    14458    162 |        5 |      262
638.02/638.26	c  638s |      20 |  1091787 |   975527 |    14458    163 |        5 |      262
640.11/640.31	c  640s |      20 |  1094823 |   978327 |    14458    163 |        5 |      262
642.11/642.37	c  642s |      20 |  1097393 |   980727 |    14458    163 |        5 |      262
644.31/644.55	c  644s |      20 |  1099308 |   982527 |    14458    164 |        5 |      262
646.41/646.60	c  646s |      20 |  1102643 |   985527 |    14458    164 |        5 |      262
648.41/648.66	c  648s |      20 |  1105431 |   988127 |    14458    164 |        5 |      262
650.50/650.71	c  650s |      20 |  1107922 |   990427 |    14458    165 |        5 |      262
652.50/652.74	c  652s |      20 |  1111033 |   993327 |    15904    165 |        5 |      262
654.60/654.81	c  654s |      20 |  1113935 |   995927 |    15904    165 |        5 |      262
656.61/656.82	c  656s |      20 |  1116600 |   998327 |    15904    165 |        5 |      262
658.30/658.51	c  658s |      21 |  1118760 |  1000345 |    15904    166 |        5 |      262
660.30/660.56	c  660s |      21 |  1121796 |  1003045 |    15904    166 |        5 |      262
662.30/662.57	c  662s |      21 |  1124268 |  1005145 |    15904    166 |        5 |      262
664.70/664.91	c  664s |      21 |  1127645 |  1008145 |    15904    167 |        5 |      262
666.70/666.94	c  666s |      21 |  1131008 |  1011245 |    15904    167 |        5 |      262
668.81/669.02	c  668s |      21 |  1134016 |  1013945 |    15904    167 |        5 |      262
670.79/671.07	c  670s |      21 |  1136619 |  1016245 |    15904    168 |        5 |      262
672.79/673.08	c  672s |      21 |  1139860 |  1019145 |    15904    168 |        5 |      262
674.89/675.15	c  675s |      21 |  1142695 |  1021745 |    15904    168 |        5 |      262
676.89/677.17	c  677s |      21 |  1145346 |  1024245 |    15904    169 |        5 |      262
678.89/679.19	c  679s |      21 |  1148112 |  1026845 |    15904    169 |        5 |      262
681.09/681.30	c  681s |      21 |  1150844 |  1029345 |    15904    169 |        5 |      262
683.10/683.33	c  683s |      21 |  1153210 |  1031445 |    15904    170 |        5 |      262
685.09/685.35	c  685s |      21 |  1156341 |  1034345 |    15904    170 |        5 |      262
687.09/687.36	c  687s |      21 |  1158401 |  1036245 |    15904    170 |        5 |      262
689.09/689.37	c  689s |      21 |  1161147 |  1038745 |    15904    170 |        5 |      262
691.19/691.41	c  691s |      21 |  1163806 |  1041145 |    15904    171 |        5 |      262
693.19/693.46	c  693s |      21 |  1166704 |  1043845 |    15904    171 |        5 |      262
695.20/695.47	c  695s |      21 |  1169270 |  1046245 |    15904    171 |        5 |      262
697.30/697.51	c  697s |      21 |  1172099 |  1048845 |    15904    172 |        5 |      262
699.28/699.56	c  699s |      21 |  1175219 |  1051645 |    15904    172 |        5 |      262
701.28/701.58	c  701s |      21 |  1177828 |  1054045 |    15904    172 |        5 |      262
703.28/703.59	c  703s |      21 |  1180474 |  1056445 |    15904    173 |        5 |      262
705.38/705.65	c  705s |      21 |  1183775 |  1059445 |    15904    173 |        5 |      262
707.48/707.73	c  707s |      21 |  1186473 |  1061945 |    15904    173 |        5 |      262
709.48/709.75	c  709s |      21 |  1189281 |  1064545 |    15904    174 |        5 |      262
711.47/711.77	c  711s |      21 |  1192264 |  1067345 |    15904    174 |        5 |      262
713.57/713.81	c  713s |      21 |  1194796 |  1069745 |    15904    174 |        5 |      262
715.57/715.86	c  715s |      21 |  1197376 |  1072145 |    15904    175 |        5 |      262
717.57/717.86	c  717s |      21 |  1200051 |  1074645 |    15904    175 |        5 |      262
719.57/719.87	c  719s |      21 |  1203048 |  1077445 |    15904    175 |        5 |      262
721.67/721.94	c  721s |      21 |  1205688 |  1079945 |    15904    176 |        5 |      262
723.78/724.02	c  723s |      21 |  1208614 |  1082745 |    15904    176 |        5 |      262
725.77/726.07	c  725s |      21 |  1211183 |  1085145 |    15904    176 |        5 |      262
730.46/730.70	c  730s |      21 |  1213670 |  1087445 |    15904    177 |        5 |      262
732.47/732.71	c  732s |      21 |  1217062 |  1090545 |    15904    177 |        5 |      262
734.46/734.76	c  734s |      21 |  1220065 |  1093245 |    15904    177 |        5 |      262
736.46/736.79	c  736s |      21 |  1222428 |  1095445 |    15904    178 |        5 |      262
738.56/738.81	c  738s |      21 |  1225549 |  1098345 |    15904    178 |        5 |      262
740.55/740.84	c  740s |      21 |  1228164 |  1100745 |    15904    178 |        5 |      262
742.65/742.91	c  742s |      21 |  1230630 |  1103045 |    15904    178 |        5 |      262
744.66/744.96	c  744s |      21 |  1233336 |  1105545 |    15904    179 |        5 |      262
746.76/747.01	c  746s |      21 |  1236041 |  1108045 |    15904    179 |        5 |      262
748.75/749.06	c  748s |      21 |  1238263 |  1110145 |    15904    179 |        5 |      262
751.55/751.87	c  751s |      21 |  1240507 |  1112245 |    15904    180 |        5 |      262
753.65/753.90	c  753s |      21 |  1243380 |  1114945 |    15904    180 |        5 |      262
755.66/755.95	c  755s |      21 |  1245935 |  1117345 |    15904    180 |        5 |      262
757.86/758.14	c  758s |      21 |  1248286 |  1119545 |    15904    181 |        5 |      262
759.95/760.21	c  760s |      21 |  1251314 |  1122345 |    15904    181 |        5 |      262
762.05/762.30	c  762s |      21 |  1253882 |  1124745 |    15904    181 |        5 |      262
764.05/764.36	c  764s |      21 |  1256424 |  1126845 |    15904    181 |        5 |      262
766.15/766.46	c  766s |      21 |  1258692 |  1128945 |    15904    182 |        5 |      262
768.25/768.53	c  768s |      21 |  1260731 |  1130845 |    15904    182 |        5 |      262
770.24/770.58	c  770s |      21 |  1263359 |  1133245 |    15904    182 |        5 |      262
772.34/772.62	c  772s |      21 |  1265624 |  1135345 |    15904    182 |        5 |      262
774.35/774.63	c  774s |      21 |  1267921 |  1137545 |    15904    183 |        5 |      262
776.34/776.64	c  776s |      21 |  1270467 |  1139945 |    15904    183 |        5 |      262
778.34/778.67	c  778s |      21 |  1272687 |  1142045 |    15904    183 |        5 |      262
780.43/780.73	c  780s |      21 |  1274919 |  1144145 |    15904    184 |        5 |      262
782.43/782.77	c  782s |      21 |  1276831 |  1145845 |    15904    184 |        5 |      262
784.53/784.80	c  784s |      21 |  1280122 |  1148745 |    15904    184 |        5 |      262
786.53/786.83	c  786s |      21 |  1282979 |  1151345 |    15904    184 |        5 |      262
788.54/788.88	c  788s |      21 |  1285773 |  1153845 |    15904    185 |        5 |      262
790.63/790.94	c  790s |      21 |  1288948 |  1156745 |    15904    185 |        5 |      262
792.63/792.99	c  792s |      21 |  1291756 |  1159345 |    15904    185 |        5 |      262
794.73/795.02	c  794s |      21 |  1294879 |  1162245 |    15904    186 |        5 |      262
796.72/797.07	c  796s |      21 |  1296289 |  1163545 |    15904    186 |        5 |      262
798.82/799.12	c  799s |      21 |  1299466 |  1166445 |    15904    186 |        5 |      262
800.82/801.17	c  801s |      21 |  1302216 |  1168945 |    15904    187 |        5 |      262
802.93/803.21	c  803s |      21 |  1304983 |  1171545 |    15904    187 |        5 |      262
804.92/805.23	c  805s |      21 |  1307383 |  1173845 |    15904    187 |        5 |      262
806.92/807.29	c  807s |      21 |  1309880 |  1176145 |    15904    188 |        5 |      262
809.02/809.33	c  809s |      21 |  1312741 |  1178745 |    15904    188 |        5 |      262
811.01/811.37	c  811s |      21 |  1315449 |  1181245 |    15904    188 |        5 |      262
813.11/813.43	c  813s |      21 |  1317922 |  1183545 |    15904    188 |        5 |      262
815.11/815.47	c  815s |      21 |  1320568 |  1186045 |    15904    189 |        5 |      262
817.22/817.57	c  817s |      21 |  1323221 |  1188545 |    15904    189 |        5 |      262
819.31/819.62	c  819s |      21 |  1325812 |  1190945 |    15904    189 |        5 |      262
821.31/821.64	c  821s |      21 |  1327815 |  1192845 |    15904    190 |        5 |      262
823.82/824.15	c  824s |      21 |  1328581 |  1193545 |    15904    190 |        5 |      262
825.81/826.17	c  826s |      21 |  1331389 |  1196045 |    15904    190 |        5 |      262
827.91/828.24	c  828s |      21 |  1334604 |  1198945 |    15904    190 |        5 |      262
829.91/830.28	c  830s |      21 |  1337649 |  1201745 |    15904    191 |        5 |      262
832.01/832.33	c  832s |      21 |  1340414 |  1204245 |    15904    191 |        5 |      262
834.01/834.37	c  834s |      21 |  1343150 |  1206745 |    15904    191 |        5 |      262
836.10/836.43	c  836s |      21 |  1345660 |  1209045 |    15904    192 |        5 |      262
838.20/838.50	c  838s |      21 |  1348603 |  1211745 |    15904    192 |        5 |      262
840.20/840.54	c  840s |      21 |  1351065 |  1214045 |    15904    192 |        5 |      262
842.30/842.63	c  842s |      21 |  1353267 |  1216145 |    15904    193 |        5 |      262
844.29/844.66	c  844s |      21 |  1355066 |  1217745 |    15904    193 |        5 |      262
846.39/846.73	c  846s |      21 |  1358692 |  1220945 |    15904    193 |        5 |      262
848.39/848.77	c  848s |      21 |  1361718 |  1223545 |    15904    193 |        5 |      262
850.39/850.79	c  850s |      21 |  1364731 |  1226245 |    15904    194 |        5 |      262
852.49/852.81	c  852s |      21 |  1367761 |  1228945 |    15904    194 |        5 |      262
854.50/854.88	c  854s |      21 |  1370631 |  1231545 |    15904    194 |        5 |      262
856.59/856.91	c  856s |      21 |  1372641 |  1233345 |    15904    195 |        5 |      262
858.59/858.91	c  858s |      21 |  1376097 |  1236545 |    15904    195 |        5 |      262
860.58/860.91	c  860s |      21 |  1378897 |  1239145 |    15904    195 |        5 |      262
862.59/862.95	c  862s |      21 |  1381357 |  1241445 |    15904    196 |        5 |      262
864.59/864.95	c  864s |      21 |  1383914 |  1243845 |    15904    196 |        5 |      262
866.60/866.99	c  866s |      21 |  1386330 |  1246145 |    15904    196 |        5 |      262
868.69/869.06	c  868s |      21 |  1388654 |  1248345 |    15904    196 |        5 |      262
870.69/871.08	c  870s |      21 |  1390528 |  1250045 |    15904    197 |        5 |      262
872.79/873.10	c  872s |      21 |  1393365 |  1252645 |    15904    197 |        5 |      262
874.79/875.17	c  875s |      21 |  1395841 |  1254945 |    15904    197 |        5 |      262
876.79/877.17	c  877s |      21 |  1398265 |  1257145 |    15904    198 |        5 |      262
878.89/879.24	c  879s |      21 |  1401367 |  1260045 |    15904    198 |        5 |      262
880.89/881.30	c  881s |      21 |  1403910 |  1262445 |    15904    198 |        5 |      262
883.38/883.70	c  883s |      21 |  1406196 |  1264545 |    15904    199 |        5 |      262
885.29/885.70	c  885s |      21 |  1409376 |  1267345 |    15904    199 |        5 |      262
887.38/887.70	c  887s |      21 |  1412244 |  1269945 |    15904    199 |        5 |      262
889.38/889.79	c  889s |      21 |  1414804 |  1272345 |    15904    199 |        5 |      262
891.48/891.83	c  891s |      21 |  1417305 |  1274645 |    15904    200 |        5 |      262
893.48/893.88	c  893s |      21 |  1419878 |  1277045 |    15904    200 |        5 |      262
895.57/895.94	c  895s |      21 |  1422359 |  1279345 |    15904    200 |        5 |      262
897.57/897.94	c  897s |      21 |  1424901 |  1281645 |    15904    201 |        5 |      262
899.58/899.96	c  899s |      21 |  1427610 |  1284145 |    15904    201 |        5 |      262
901.57/901.99	c  901s |      21 |  1429258 |  1285645 |    15904    201 |        5 |      262
903.67/904.03	c  903s |      21 |  1431969 |  1288045 |    15904    201 |        5 |      262
905.67/906.06	c  905s |      21 |  1435179 |  1290945 |    15904    202 |        5 |      262
907.77/908.14	c  908s |      21 |  1438256 |  1293745 |    15904    202 |        5 |      262
909.77/910.16	c  910s |      21 |  1440866 |  1296145 |    15904    202 |        5 |      262
911.87/912.23	c  912s |      21 |  1443783 |  1298845 |    15904    203 |        5 |      262
913.88/914.26	c  914s |      21 |  1446564 |  1301445 |    15904    203 |        5 |      262
915.97/916.32	c  916s |      21 |  1448742 |  1303445 |    15904    203 |        5 |      262
917.97/918.35	c  918s |      21 |  1451449 |  1305845 |    15904    204 |        5 |      262
919.97/920.35	c  920s |      21 |  1454693 |  1308845 |    15904    204 |        5 |      262
921.97/922.39	c  922s |      21 |  1457186 |  1311145 |    15904    204 |        5 |      262
924.07/924.41	c  924s |      21 |  1459703 |  1313445 |    15904    205 |        5 |      262
926.37/926.75	c  926s |      21 |  1462605 |  1316145 |    15904    205 |        5 |      262
928.36/928.77	c  928s |      21 |  1465060 |  1318445 |    15904    205 |        5 |      262
930.47/930.82	c  930s |      21 |  1467463 |  1320645 |    15904    205 |        5 |      262
932.46/932.85	c  932s |      21 |  1470052 |  1323045 |    15904    206 |        5 |      262
934.46/934.86	c  934s |      21 |  1472739 |  1325545 |    15904    206 |        5 |      262
936.46/936.90	c  936s |      21 |  1475078 |  1327745 |    15904    206 |        5 |      262
938.56/938.95	c  938s |      21 |  1477393 |  1329945 |    15904    207 |        5 |      262
940.76/941.17	c  941s |      21 |  1478251 |  1330745 |    15904    207 |        5 |      262
942.85/943.21	c  943s |      21 |  1481456 |  1333645 |    15904    207 |        5 |      262
944.85/945.27	c  945s |      21 |  1484151 |  1336145 |    15904    207 |        5 |      262
946.86/947.29	c  947s |      21 |  1486763 |  1338545 |    15904    208 |        5 |      262
948.95/949.33	c  949s |      21 |  1489441 |  1341045 |    15904    208 |        5 |      262
950.95/951.33	c  951s |      21 |  1491640 |  1343145 |    15904    208 |        5 |      262
953.15/953.51	c  953s |      21 |  1493850 |  1345045 |    15904    209 |        5 |      262
955.15/955.52	c  955s |      21 |  1496153 |  1347245 |    15904    209 |        5 |      262
957.15/957.56	c  957s |      21 |  1497759 |  1348745 |    15904    209 |        5 |      262
959.15/959.58	c  959s |      21 |  1500263 |  1351045 |    15904    209 |        5 |      262
961.25/961.63	c  961s |      21 |  1502301 |  1352945 |    15904    209 |        5 |      262
963.25/963.69	c  963s |      21 |  1504731 |  1355245 |    15904    210 |        5 |      262
965.35/965.73	c  965s |      21 |  1507018 |  1357345 |    15904    210 |        5 |      262
967.35/967.77	c  967s |      21 |  1509173 |  1359345 |    15904    210 |        5 |      262
969.45/969.88	c  969s |      21 |  1511054 |  1361145 |    15904    211 |        5 |      262
971.55/971.96	c  971s |      21 |  1513797 |  1363745 |    15904    211 |        5 |      262
973.64/974.03	c  973s |      21 |  1515728 |  1365545 |    15904    211 |        5 |      262
975.64/976.08	c  975s |      21 |  1518045 |  1367645 |    15904    211 |        5 |      262
977.65/978.09	c  977s |      21 |  1520195 |  1369645 |    15904    212 |        5 |      262
979.75/980.11	c  979s |      21 |  1523112 |  1372345 |    15904    212 |        5 |      262
981.75/982.12	c  982s |      21 |  1525501 |  1374545 |    15904    212 |        5 |      262
983.75/984.18	c  984s |      21 |  1527863 |  1376745 |    15904    212 |        5 |      262
985.85/986.23	c  986s |      21 |  1530447 |  1379145 |    15904    213 |        5 |      262
987.85/988.25	c  988s |      21 |  1532501 |  1381045 |    15904    213 |        5 |      262
989.95/990.30	c  990s |      21 |  1535037 |  1383345 |    15904    213 |        5 |      262
992.06/992.45	c  992s |      21 |  1537213 |  1385345 |    15904    214 |        5 |      262
994.05/994.47	c  994s |      21 |  1539927 |  1387845 |    15904    214 |        5 |      262
996.15/996.51	c  996s |      21 |  1542274 |  1390045 |    15904    214 |        5 |      262
998.15/998.57	c  998s |      21 |  1544986 |  1392445 |    15904    214 |        5 |      262
1000.35/1000.77	c 1000s |      21 |  1547704 |  1394945 |    15904    215 |        5 |      262
1002.55/1002.93	c 1002s |      21 |  1550046 |  1397045 |    15904    215 |        5 |      262
1004.55/1004.95	c 1004s |      21 |  1553123 |  1399745 |    15904    215 |        5 |      262
1006.55/1006.95	c 1006s |      21 |  1556023 |  1402345 |    15904    216 |        5 |      262
1008.55/1008.96	c 1008s |      21 |  1558420 |  1404545 |    15904    216 |        5 |      262
1010.54/1010.99	c 1010s |      21 |  1561255 |  1407145 |    15904    216 |        5 |      262
1012.64/1013.00	c 1012s |      21 |  1563515 |  1409245 |    15904    216 |        5 |      262
1014.64/1015.05	c 1014s |      21 |  1566136 |  1411645 |    15904    217 |        5 |      262
1016.74/1017.13	c 1017s |      21 |  1569087 |  1414345 |    15904    217 |        5 |      262
1018.74/1019.19	c 1019s |      21 |  1571095 |  1416145 |    15904    217 |        5 |      262
1020.84/1021.25	c 1021s |      21 |  1573644 |  1418445 |    15904    218 |        5 |      262
1022.85/1023.28	c 1023s |      21 |  1576826 |  1421345 |    15904    218 |        5 |      262
1024.95/1025.32	c 1025s |      21 |  1579413 |  1423745 |    15904    218 |        5 |      262
1026.94/1027.33	c 1027s |      21 |  1582051 |  1426145 |    15904    219 |        5 |      262
1028.94/1029.36	c 1029s |      21 |  1584355 |  1428245 |    15904    219 |        5 |      262
1030.94/1031.39	c 1031s |      21 |  1587180 |  1430845 |    15904    219 |        5 |      262
1033.04/1033.46	c 1033s |      21 |  1589546 |  1433045 |    15904    219 |        5 |      262
1035.04/1035.46	c 1035s |      21 |  1591908 |  1435245 |    15904    220 |        5 |      262
1037.14/1037.54	c 1037s |      21 |  1594588 |  1437745 |    15904    220 |        5 |      262
1039.24/1039.62	c 1039s |      21 |  1597053 |  1440045 |    15904    220 |        5 |      262
1041.24/1041.68	c 1041s |      21 |  1598042 |  1440945 |    15904    220 |        5 |      262
1043.34/1043.75	c 1043s |      21 |  1600689 |  1443345 |    15904    221 |        5 |      262
1045.44/1045.83	c 1045s |      21 |  1603728 |  1446145 |    15904    221 |        5 |      262
1047.43/1047.85	c 1047s |      21 |  1606331 |  1448545 |    15904    221 |        5 |      262
1049.53/1049.92	c 1049s |      21 |  1609028 |  1451045 |    15904    222 |        5 |      262
1051.63/1052.00	c 1051s |      21 |  1611614 |  1453445 |    15904    222 |        5 |      262
1053.64/1054.07	c 1053s |      21 |  1614102 |  1455745 |    15904    222 |        5 |      262
1055.74/1056.16	c 1056s |      21 |  1616247 |  1457745 |    15904    222 |        5 |      262
1057.83/1058.23	c 1058s |      21 |  1618635 |  1459945 |    15904    223 |        5 |      262
1059.83/1060.24	c 1060s |      21 |  1621113 |  1462245 |    15904    223 |        5 |      262
1061.93/1062.35	c 1062s |      21 |  1623338 |  1464345 |    15904    223 |        5 |      262
1063.94/1064.36	c 1064s |      21 |  1624838 |  1465745 |    15904    223 |        5 |      262
1066.04/1066.43	c 1066s |      21 |  1627403 |  1468145 |    15904    224 |        5 |      262
1068.14/1068.52	c 1068s |      21 |  1629944 |  1470545 |    15904    224 |        5 |      262
1070.14/1070.56	c 1070s |      21 |  1632247 |  1472645 |    15904    224 |        5 |      262
1072.24/1072.63	c 1072s |      21 |  1634534 |  1474745 |    15904    225 |        5 |      262
1074.23/1074.65	c 1074s |      21 |  1637352 |  1477345 |    15904    225 |        5 |      262
1076.33/1076.71	c 1076s |      21 |  1639771 |  1479645 |    15904    225 |        5 |      262
1078.33/1078.78	c 1078s |      21 |  1641992 |  1481745 |    15904    225 |        5 |      262
1080.83/1081.25	c 1081s |      21 |  1643993 |  1483645 |    15904    226 |        5 |      262
1082.93/1083.34	c 1083s |      21 |  1646802 |  1486245 |    15904    226 |        5 |      262
1084.93/1085.37	c 1085s |      21 |  1649145 |  1488445 |    15904    226 |        5 |      262
1087.03/1087.48	c 1087s |      21 |  1651390 |  1490545 |    17495    226 |        5 |      262
1089.13/1089.51	c 1089s |      21 |  1653379 |  1492445 |    17495    227 |        5 |      262
1091.13/1091.52	c 1091s |      21 |  1655497 |  1494445 |    17495    227 |        5 |      262
1093.14/1093.53	c 1093s |      21 |  1657733 |  1496545 |    17495    227 |        5 |      262
1095.13/1095.60	c 1095s |      21 |  1659889 |  1498545 |    17495    227 |        5 |      262
1097.83/1098.25	c 1098s |      21 |  1661176 |  1499745 |    17495    227 |        5 |      262
1098.93/1099.40	c 1099s |      22 |  1662165 |  1500622 |    17495    228 |        5 |      262
1101.03/1101.43	c 1101s |      22 |  1665183 |  1503222 |    17495    228 |        5 |      262
1103.03/1103.48	c 1103s |      22 |  1668222 |  1505922 |    17495    228 |        5 |      262
1105.13/1105.53	c 1105s |      22 |  1671105 |  1508422 |    17495    228 |        5 |      262
1107.13/1107.56	c 1107s |      22 |  1673796 |  1510822 |    17495    229 |        5 |      262
1109.12/1109.60	c 1109s |      22 |  1676464 |  1513222 |    17495    229 |        5 |      262
1111.22/1111.67	c 1111s |      22 |  1679466 |  1515922 |    17495    229 |        5 |      262
1113.32/1113.70	c 1113s |      22 |  1682020 |  1518222 |    17495    230 |        5 |      262
1115.42/1115.80	c 1115s |      22 |  1685196 |  1521122 |    17495    230 |        5 |      262
1117.43/1117.86	c 1117s |      22 |  1687963 |  1523622 |    17495    230 |        5 |      262
1119.53/1119.93	c 1119s |      22 |  1690479 |  1525922 |    17495    230 |        5 |      262
1121.52/1121.98	c 1121s |      22 |  1693019 |  1528222 |    17495    231 |        5 |      262
1123.62/1124.03	c 1123s |      22 |  1696092 |  1531022 |    17495    231 |        5 |      262
1125.62/1126.04	c 1125s |      22 |  1697580 |  1532322 |    17495    231 |        5 |      262
1127.72/1128.13	c 1128s |      22 |  1700151 |  1534522 |    17495    231 |        5 |      262
1129.72/1130.16	c 1130s |      22 |  1702799 |  1536922 |    17495    232 |        5 |      262
1131.82/1132.21	c 1132s |      22 |  1706088 |  1539822 |    17495    232 |        5 |      262
1133.83/1134.27	c 1134s |      22 |  1709104 |  1542522 |    17495    232 |        5 |      262
1135.82/1136.28	c 1136s |      22 |  1711756 |  1544922 |    17495    233 |        5 |      262
1137.92/1138.31	c 1138s |      22 |  1714137 |  1547122 |    17495    233 |        5 |      262
1139.92/1140.34	c 1140s |      22 |  1717228 |  1549922 |    17495    233 |        5 |      262
1141.92/1142.36	c 1142s |      22 |  1719864 |  1552322 |    17495    233 |        5 |      262
1144.02/1144.41	c 1144s |      22 |  1722435 |  1554722 |    17495    234 |        5 |      262
1146.02/1146.41	c 1146s |      22 |  1725116 |  1557222 |    17495    234 |        5 |      262
1148.02/1148.43	c 1148s |      22 |  1727493 |  1559422 |    17495    234 |        5 |      262
1150.02/1150.44	c 1150s |      22 |  1729551 |  1561322 |    17495    234 |        5 |      262
1152.12/1152.50	c 1152s |      22 |  1731344 |  1562922 |    17495    235 |        5 |      262
1154.12/1154.53	c 1154s |      22 |  1734407 |  1565622 |    17495    235 |        5 |      262
1156.12/1156.57	c 1156s |      22 |  1737292 |  1568222 |    17495    235 |        5 |      262
1158.22/1158.64	c 1158s |      22 |  1739993 |  1570722 |    17495    235 |        5 |      262
1160.23/1160.66	c 1160s |      22 |  1740757 |  1571422 |    17495    236 |        5 |      262
1162.22/1162.69	c 1162s |      22 |  1743831 |  1574322 |    17495    236 |        5 |      262
1164.32/1164.78	c 1164s |      22 |  1746818 |  1577022 |    17495    236 |        5 |      262
1166.42/1166.85	c 1166s |      22 |  1749324 |  1579322 |    17495    236 |        5 |      262
1168.62/1169.01	c 1168s |      22 |  1751643 |  1581522 |    17495    237 |        5 |      262
1170.62/1171.01	c 1170s |      22 |  1753883 |  1583622 |    17495    237 |        5 |      262
1172.62/1173.06	c 1172s |      22 |  1756040 |  1585622 |    17495    237 |        5 |      262
1174.72/1175.12	c 1175s |      22 |  1758060 |  1587522 |    17495    237 |        5 |      262
1177.02/1177.47	c 1177s |      22 |  1759662 |  1589022 |    17495    238 |        5 |      262
1179.12/1179.51	c 1179s |      22 |  1762272 |  1591422 |    17495    238 |        5 |      262
1181.12/1181.55	c 1181s |      22 |  1764878 |  1593822 |    17495    238 |        5 |      262
1183.22/1183.66	c 1183s |      22 |  1767241 |  1596022 |    17495    238 |        5 |      262
1185.32/1185.71	c 1185s |      22 |  1769188 |  1597822 |    17495    239 |        5 |      262
1187.32/1187.73	c 1187s |      22 |  1772005 |  1600422 |    17495    239 |        5 |      262
1189.32/1189.79	c 1189s |      22 |  1774668 |  1602922 |    17495    239 |        5 |      262
1191.41/1191.85	c 1191s |      22 |  1776995 |  1605122 |    17495    239 |        5 |      262
1193.81/1194.25	c 1194s |      22 |  1778730 |  1606722 |    17495    240 |        5 |      262
1195.91/1196.31	c 1196s |      22 |  1781737 |  1609422 |    17495    240 |        5 |      262
1197.91/1198.33	c 1198s |      22 |  1784422 |  1611822 |    17495    240 |        5 |      262
1199.92/1200.37	c 1200s |      22 |  1787032 |  1614222 |    17495    240 |        5 |      262
1201.91/1202.37	c 1202s |      22 |  1789303 |  1616322 |    17495    241 |        5 |      262
1203.91/1204.38	c 1204s |      22 |  1791475 |  1618322 |    17495    241 |        5 |      262
1205.91/1206.38	c 1206s |      22 |  1794186 |  1620822 |    17495    241 |        5 |      262
1208.01/1208.43	c 1208s |      22 |  1796615 |  1623022 |    17495    241 |        5 |      262
1210.01/1210.46	c 1210s |      22 |  1798633 |  1624822 |    17495    242 |        5 |      262
1212.01/1212.47	c 1212s |      22 |  1801675 |  1627522 |    17495    242 |        5 |      262
1214.22/1214.68	c 1214s |      22 |  1803013 |  1628722 |    17495    242 |        5 |      262
1216.32/1216.74	c 1216s |      22 |  1805862 |  1631222 |    17495    242 |        5 |      262
1218.31/1218.75	c 1218s |      22 |  1808745 |  1633822 |    17495    243 |        5 |      262
1220.41/1220.80	c 1220s |      22 |  1811721 |  1636422 |    17495    243 |        5 |      262
1222.41/1222.87	c 1222s |      22 |  1814875 |  1639222 |    17495    243 |        5 |      262
1224.51/1224.93	c 1224s |      22 |  1817787 |  1641722 |    17495    243 |        5 |      262
1226.51/1226.95	c 1226s |      22 |  1820763 |  1644422 |    17495    244 |        5 |      262
1228.61/1229.01	c 1228s |      22 |  1823958 |  1647222 |    17495    244 |        5 |      262
1230.62/1231.08	c 1230s |      22 |  1826675 |  1649722 |    17495    244 |        5 |      262
1232.61/1233.08	c 1232s |      22 |  1828467 |  1651322 |    17495    245 |        5 |      262
1234.61/1235.09	c 1234s |      22 |  1831255 |  1653822 |    17495    245 |        5 |      262
1236.71/1237.15	c 1237s |      22 |  1834406 |  1656622 |    17495    245 |        5 |      262
1238.81/1239.24	c 1239s |      22 |  1837118 |  1659122 |    17495    245 |        5 |      262
1240.81/1241.26	c 1241s |      22 |  1840007 |  1661722 |    17495    246 |        5 |      262
1242.81/1243.28	c 1243s |      22 |  1843055 |  1664422 |    17495    246 |        5 |      262
1244.81/1245.29	c 1245s |      22 |  1845399 |  1666522 |    17495    246 |        5 |      262
1247.01/1247.43	c 1247s |      22 |  1847717 |  1668622 |    17495    247 |        5 |      262
1249.01/1249.49	c 1249s |      22 |  1850848 |  1671522 |    17495    247 |        5 |      262
1251.10/1251.50	c 1251s |      22 |  1853922 |  1674222 |    17495    247 |        5 |      262
1253.10/1253.50	c 1253s |      22 |  1856370 |  1676422 |    17495    247 |        5 |      262
1255.10/1255.52	c 1255s |      22 |  1858965 |  1678822 |    17495    248 |        5 |      262
1257.11/1257.53	c 1257s |      22 |  1861541 |  1681222 |    17495    248 |        5 |      262
1259.10/1259.56	c 1259s |      22 |  1863989 |  1683522 |    17495    248 |        5 |      262
1261.10/1261.58	c 1261s |      22 |  1866287 |  1685622 |    17495    248 |        5 |      262
1265.40/1265.86	c 1265s |      22 |  1868924 |  1688022 |    17495    249 |        5 |      262
1267.40/1267.89	c 1267s |      22 |  1870218 |  1689122 |    17495    249 |        5 |      262
1269.50/1269.92	c 1269s |      22 |  1873388 |  1691922 |    17495    249 |        5 |      262
1271.50/1271.98	c 1271s |      22 |  1876187 |  1694422 |    17495    249 |        5 |      262
1273.60/1274.01	c 1273s |      22 |  1879316 |  1697222 |    17495    250 |        5 |      262
1275.60/1276.06	c 1275s |      22 |  1882472 |  1700122 |    17495    250 |        5 |      262
1277.70/1278.13	c 1278s |      22 |  1885013 |  1702422 |    17495    250 |        5 |      262
1279.70/1280.14	c 1280s |      22 |  1887460 |  1704622 |    17495    251 |        5 |      262
1281.70/1282.18	c 1282s |      22 |  1890533 |  1707422 |    17495    251 |        5 |      262
1283.70/1284.19	c 1284s |      22 |  1893368 |  1709922 |    17495    251 |        5 |      262
1285.80/1286.21	c 1286s |      22 |  1895786 |  1712122 |    17495    251 |        5 |      262
1287.81/1288.27	c 1288s |      22 |  1898266 |  1714422 |    17495    252 |        5 |      262
1289.90/1290.32	c 1290s |      22 |  1900789 |  1716822 |    17495    252 |        5 |      262
1291.90/1292.33	c 1292s |      22 |  1903327 |  1719122 |    17495    252 |        5 |      262
1294.60/1295.07	c 1294s |      22 |  1905171 |  1720822 |    17495    252 |        5 |      262
1296.71/1297.13	c 1297s |      22 |  1907491 |  1722922 |    17495    253 |        5 |      262
1298.81/1299.21	c 1299s |      22 |  1910502 |  1725722 |    17495    253 |        5 |      262
1300.80/1301.21	c 1301s |      22 |  1912988 |  1728022 |    17495    253 |        5 |      262
1302.80/1303.25	c 1303s |      22 |  1915404 |  1730222 |    17495    253 |        5 |      262
1304.90/1305.32	c 1305s |      22 |  1918129 |  1732722 |    17495    254 |        5 |      262
1306.90/1307.32	c 1307s |      22 |  1920346 |  1734822 |    17495    254 |        5 |      262
1308.90/1309.34	c 1309s |      22 |  1922565 |  1736922 |    17495    254 |        5 |      262
1310.90/1311.34	c 1311s |      22 |  1924575 |  1738822 |    17495    254 |        5 |      262
1312.90/1313.37	c 1313s |      22 |  1926750 |  1740822 |    17495    255 |        5 |      262
1315.00/1315.41	c 1315s |      22 |  1929311 |  1743222 |    17495    255 |        5 |      262
1317.00/1317.49	c 1317s |      22 |  1931691 |  1745422 |    17495    255 |        5 |      262
1319.10/1319.56	c 1319s |      22 |  1933009 |  1746622 |    17495    255 |        5 |      262
1321.20/1321.61	c 1321s |      22 |  1935097 |  1748522 |    17495    256 |        5 |      262
1323.19/1323.65	c 1323s |      22 |  1938205 |  1751322 |    17495    256 |        5 |      262
1325.30/1325.72	c 1325s |      22 |  1940842 |  1753722 |    17495    256 |        5 |      262
1327.29/1327.78	c 1327s |      22 |  1943340 |  1755922 |    17495    256 |        5 |      262
1329.39/1329.82	c 1329s |      22 |  1945686 |  1758022 |    17495    257 |        5 |      262
1331.39/1331.85	c 1331s |      22 |  1948614 |  1760722 |    17495    257 |        5 |      262
1333.49/1333.90	c 1333s |      22 |  1951448 |  1763322 |    17495    257 |        5 |      262
1335.49/1335.98	c 1335s |      22 |  1953890 |  1765622 |    17495    257 |        5 |      262
1337.69/1338.18	c 1338s |      22 |  1954332 |  1766022 |    17495    258 |        5 |      262
1339.69/1340.19	c 1340s |      22 |  1957703 |  1769022 |    17495    258 |        5 |      262
1341.80/1342.23	c 1342s |      22 |  1960563 |  1771622 |    17495    258 |        5 |      262
1343.79/1344.25	c 1344s |      22 |  1962948 |  1773822 |    17495    258 |        5 |      262
1345.79/1346.25	c 1346s |      22 |  1965303 |  1776022 |    17495    259 |        5 |      262
1347.89/1348.30	c 1348s |      22 |  1967752 |  1778322 |    17495    259 |        5 |      262
1349.89/1350.39	c 1350s |      22 |  1970071 |  1780522 |    17495    259 |        5 |      262
1351.99/1352.44	c 1352s |      22 |  1972127 |  1782422 |    17495    259 |        5 |      262
1354.09/1354.51	c 1354s |      22 |  1974141 |  1784222 |    17495    260 |        5 |      262
1356.09/1356.59	c 1356s |      22 |  1976882 |  1786722 |    17495    260 |        5 |      262
1358.19/1358.65	c 1358s |      22 |  1979372 |  1789022 |    17495    260 |        5 |      262
1360.19/1360.66	c 1360s |      22 |  1981720 |  1791122 |    17495    260 |        5 |      262
1362.18/1362.68	c 1362s |      22 |  1983475 |  1792722 |    17495    261 |        5 |      262
1364.28/1364.71	c 1364s |      22 |  1985832 |  1794822 |    17495    261 |        5 |      262
1366.28/1366.73	c 1366s |      22 |  1988318 |  1797122 |    17495    261 |        5 |      262
1368.28/1368.77	c 1368s |      22 |  1990866 |  1799522 |    17495    261 |        5 |      262
1370.39/1370.82	c 1370s |      22 |  1993075 |  1801622 |    17495    262 |        5 |      262
1372.38/1372.90	c 1372s |      22 |  1995705 |  1804122 |    17495    262 |        5 |      262
1374.48/1374.96	c 1374s |      22 |  1998033 |  1806322 |    17495    262 |        5 |      262
1376.48/1376.96	c 1376s |      22 |  2000149 |  1808322 |    17495    262 |        5 |      262
1378.68/1379.15	c 1379s |      22 |  2002154 |  1810222 |    17495    263 |        5 |      262
1380.69/1381.16	c 1381s |      22 |  2003218 |  1811222 |    17495    263 |        5 |      262
1382.69/1383.18	c 1383s |      22 |  2005872 |  1813722 |    17495    263 |        5 |      262
1384.79/1385.28	c 1385s |      22 |  2008106 |  1815822 |    17495    263 |        5 |      262
1386.89/1387.31	c 1387s |      22 |  2010172 |  1817722 |    17495    263 |        5 |      262
1388.99/1389.43	c 1389s |      22 |  2011901 |  1819322 |    17495    264 |        5 |      262
1390.99/1391.44	c 1391s |      22 |  2014322 |  1821622 |    17495    264 |        5 |      262
1392.99/1393.46	c 1393s |      22 |  2016519 |  1823722 |    17495    264 |        5 |      262
1395.19/1395.67	c 1395s |      22 |  2018202 |  1825322 |    17495    264 |        5 |      262
1397.29/1397.70	c 1397s |      22 |  2020392 |  1827222 |    17495    264 |        5 |      262
1399.28/1399.76	c 1399s |      22 |  2022726 |  1829322 |    17495    265 |        5 |      262
1401.38/1401.84	c 1401s |      22 |  2025960 |  1832222 |    17495    265 |        5 |      262
1403.48/1403.94	c 1403s |      22 |  2028730 |  1834722 |    17495    265 |        5 |      262
1405.68/1406.10	c 1405s |      22 |  2031007 |  1836822 |    17495    266 |        5 |      262
1407.69/1408.18	c 1408s |      22 |  2033697 |  1839322 |    17495    266 |        5 |      262
1409.78/1410.24	c 1410s |      22 |  2036349 |  1841722 |    17495    266 |        5 |      262
1411.78/1412.27	c 1412s |      22 |  2038638 |  1843822 |    17495    266 |        5 |      262
1413.88/1414.31	c 1414s |      22 |  2040507 |  1845522 |    17495    266 |        5 |      262
1415.88/1416.33	c 1416s |      22 |  2043122 |  1847822 |    17495    267 |        5 |      262
1417.88/1418.35	c 1418s |      22 |  2046211 |  1850622 |    17495    267 |        5 |      262
1419.89/1420.36	c 1420s |      22 |  2048761 |  1852922 |    17495    267 |        5 |      262
1421.88/1422.39	c 1422s |      22 |  2050942 |  1854922 |    17495    268 |        5 |      262
1423.98/1424.43	c 1424s |      22 |  2053855 |  1857622 |    17495    268 |        5 |      262
1425.98/1426.46	c 1426s |      22 |  2056100 |  1859722 |    17495    268 |        5 |      262
1428.08/1428.52	c 1428s |      22 |  2058352 |  1861822 |    17495    268 |        5 |      262
1430.18/1430.60	c 1430s |      22 |  2060622 |  1863822 |    17495    269 |        5 |      262
1432.18/1432.65	c 1432s |      22 |  2063132 |  1866122 |    17495    269 |        5 |      262
1434.18/1434.67	c 1434s |      22 |  2065542 |  1868322 |    17495    269 |        5 |      262
1436.18/1436.69	c 1436s |      22 |  2067748 |  1870322 |    17495    269 |        5 |      262
1438.28/1438.77	c 1438s |      22 |  2069664 |  1872122 |    17495    270 |        5 |      262
1440.87/1441.32	c 1441s |      22 |  2070613 |  1873022 |    17495    270 |        5 |      262
1442.88/1443.35	c 1443s |      22 |  2073466 |  1875622 |    17495    270 |        5 |      262
1444.87/1445.38	c 1445s |      22 |  2076338 |  1878122 |    17495    270 |        5 |      262
1446.97/1447.47	c 1447s |      22 |  2078899 |  1880422 |    17495    270 |        5 |      262
1448.97/1449.47	c 1449s |      22 |  2081304 |  1882622 |    17495    271 |        5 |      262
1450.97/1451.49	c 1451s |      22 |  2083842 |  1884922 |    17495    271 |        5 |      262
1453.07/1453.50	c 1453s |      22 |  2086197 |  1887122 |    17495    271 |        5 |      262
1455.08/1455.51	c 1455s |      22 |  2088354 |  1889122 |    17495    271 |        5 |      262
1457.07/1457.55	c 1457s |      22 |  2091048 |  1891522 |    17495    272 |        5 |      262
1459.07/1459.57	c 1459s |      22 |  2093641 |  1893922 |    17495    272 |        5 |      262
1461.07/1461.57	c 1461s |      22 |  2095460 |  1895522 |    17495    272 |        5 |      262
1463.17/1463.65	c 1463s |      22 |  2098215 |  1897922 |    17495    272 |        5 |      262
1465.17/1465.66	c 1465s |      22 |  2100281 |  1899822 |    17495    273 |        5 |      262
1467.27/1467.71	c 1467s |      22 |  2103345 |  1902622 |    17495    273 |        5 |      262
1469.28/1469.77	c 1469s |      22 |  2106077 |  1905122 |    17495    273 |        5 |      262
1471.58/1472.05	c 1471s |      22 |  2108676 |  1907422 |    17495    274 |        5 |      262
1473.58/1474.08	c 1473s |      22 |  2111136 |  1909522 |    17495    274 |        5 |      262
1475.68/1476.11	c 1475s |      22 |  2114418 |  1912522 |    17495    274 |        5 |      262
1477.78/1478.29	c 1478s |      22 |  2117449 |  1915222 |    17495    274 |        5 |      262
1479.88/1480.30	c 1480s |      22 |  2120310 |  1917822 |    17495    275 |        5 |      262
1481.87/1482.36	c 1482s |      22 |  2123424 |  1920722 |    17495    275 |        5 |      262
1483.97/1484.43	c 1484s |      22 |  2126278 |  1923322 |    17495    275 |        5 |      262
1485.97/1486.49	c 1486s |      22 |  2128630 |  1925522 |    17495    276 |        5 |      262
1488.67/1489.17	c 1489s |      22 |  2131182 |  1927922 |    17495    276 |        5 |      262
1490.77/1491.22	c 1491s |      22 |  2133640 |  1930222 |    17495    276 |        5 |      262
1492.77/1493.22	c 1493s |      22 |  2135916 |  1932322 |    17495    276 |        5 |      262
1494.77/1495.25	c 1495s |      22 |  2138036 |  1934322 |    17495    277 |        5 |      262
1496.88/1497.33	c 1497s |      22 |  2140507 |  1936622 |    17495    277 |        5 |      262
1498.87/1499.39	c 1499s |      22 |  2142989 |  1938922 |    17495    277 |        5 |      262
1500.97/1501.49	c 1501s |      22 |  2145156 |  1940922 |    17495    277 |        5 |      262
1503.07/1503.53	c 1503s |      22 |  2147268 |  1942822 |    17495    278 |        5 |      262
1505.07/1505.53	c 1505s |      22 |  2150265 |  1945622 |    17495    278 |        5 |      262
1507.07/1507.53	c 1507s |      22 |  2153121 |  1948222 |    17495    278 |        5 |      262
1509.07/1509.56	c 1509s |      22 |  2155484 |  1950422 |    17495    278 |        5 |      262
1511.17/1511.63	c 1511s |      22 |  2157602 |  1952422 |    17495    279 |        5 |      262
1514.06/1514.59	c 1514s |      22 |  2158799 |  1953522 |    17495    279 |        5 |      262
1516.16/1516.61	c 1516s |      22 |  2161168 |  1955622 |    17495    279 |        5 |      262
1518.16/1518.65	c 1518s |      22 |  2164170 |  1958322 |    17495    279 |        5 |      262
1520.46/1520.96	c 1520s |      22 |  2166648 |  1960622 |    17495    280 |        5 |      262
1522.46/1522.96	c 1522s |      22 |  2169408 |  1963222 |    17495    280 |        5 |      262
1524.46/1524.97	c 1524s |      22 |  2171573 |  1965222 |    17495    280 |        5 |      262
1526.57/1527.04	c 1526s |      22 |  2174061 |  1967422 |    17495    280 |        5 |      262
1528.67/1529.11	c 1528s |      22 |  2175970 |  1969222 |    17495    280 |        5 |      262
1530.66/1531.12	c 1531s |      22 |  2178448 |  1971522 |    17495    281 |        5 |      262
1532.76/1533.22	c 1533s |      22 |  2181000 |  1973822 |    17495    281 |        5 |      262
1534.86/1535.31	c 1535s |      22 |  2183160 |  1975822 |    17495    281 |        5 |      262
1536.86/1537.39	c 1537s |      22 |  2184826 |  1977322 |    17495    281 |        5 |      262
1538.96/1539.40	c 1539s |      22 |  2187337 |  1979622 |    17495    282 |        5 |      262
1540.96/1541.43	c 1541s |      22 |  2190249 |  1982222 |    17495    282 |        5 |      262
1542.96/1543.45	c 1543s |      22 |  2192619 |  1984422 |    17495    282 |        5 |      262
1545.06/1545.59	c 1545s |      22 |  2194769 |  1986422 |    17495    282 |        5 |      262
1547.16/1547.67	c 1547s |      22 |  2197121 |  1988622 |    17495    283 |        5 |      262
1549.26/1549.75	c 1549s |      22 |  2199422 |  1990822 |    17495    283 |        5 |      262
1551.36/1551.83	c 1551s |      22 |  2201323 |  1992622 |    17495    283 |        5 |      262
1553.45/1553.92	c 1553s |      22 |  2203310 |  1994522 |    17495    283 |        5 |      262
1555.45/1555.93	c 1555s |      22 |  2205194 |  1996322 |    17495    284 |        5 |      262
1557.56/1558.00	c 1557s |      22 |  2207425 |  1998422 |    17495    284 |        5 |      262
1559.47/1560.00	c 1559s |      22 |  2209539 |  2000422 |    17495    284 |        5 |      262
1561.56/1562.08	c 1561s |      22 |  2211675 |  2002422 |    17495    284 |        5 |      262
1563.56/1564.08	c 1563s |      22 |  2213500 |  2004122 |    17495    284 |        5 |      262
1566.86/1567.33	c 1567s |      22 |  2215311 |  2005822 |    17495    285 |        5 |      262
1568.86/1569.37	c 1569s |      22 |  2218234 |  2008422 |    17495    285 |        5 |      262
1570.86/1571.38	c 1571s |      22 |  2220732 |  2010722 |    17495    285 |        5 |      262
1572.96/1573.45	c 1573s |      22 |  2223077 |  2012822 |    17495    285 |        5 |      262
1574.97/1575.48	c 1575s |      22 |  2225360 |  2014822 |    17495    286 |        5 |      262
1577.07/1577.51	c 1577s |      22 |  2227873 |  2017122 |    17495    286 |        5 |      262
1579.06/1579.58	c 1579s |      22 |  2230212 |  2019322 |    17495    286 |        5 |      262
1581.16/1581.64	c 1581s |      22 |  2232344 |  2021322 |    17495    286 |        5 |      262
1583.26/1583.77	c 1583s |      22 |  2234193 |  2023022 |    17495    287 |        5 |      262
1585.26/1585.79	c 1585s |      22 |  2237066 |  2025622 |    17495    287 |        5 |      262
1587.36/1587.80	c 1587s |      22 |  2239393 |  2027822 |    17495    287 |        5 |      262
1589.36/1589.84	c 1589s |      22 |  2241661 |  2029922 |    17495    287 |        5 |      262
1591.36/1591.88	c 1591s |      22 |  2243707 |  2031822 |    17495    288 |        5 |      262
1593.46/1593.96	c 1593s |      22 |  2246489 |  2034322 |    17495    288 |        5 |      262
1595.55/1596.01	c 1595s |      22 |  2248992 |  2036622 |    17495    288 |        5 |      262
1597.55/1598.05	c 1597s |      22 |  2251231 |  2038722 |    17495    288 |        5 |      262
1599.55/1600.08	c 1599s |      22 |  2253399 |  2040722 |    17495    289 |        5 |      262
1601.65/1602.10	c 1601s |      22 |  2256193 |  2043322 |    17495    289 |        5 |      262
1603.65/1604.20	c 1604s |      22 |  2258519 |  2045522 |    17495    289 |        5 |      262
1606.35/1606.81	c 1606s |      22 |  2259988 |  2046922 |    17495    289 |        5 |      262
1608.45/1608.93	c 1608s |      22 |  2261993 |  2048822 |    17495    289 |        5 |      262
1610.45/1610.98	c 1610s |      22 |  2264325 |  2051022 |    17495    290 |        5 |      262
1612.55/1613.03	c 1612s |      22 |  2266648 |  2053222 |    17495    290 |        5 |      262
1614.55/1615.07	c 1614s |      22 |  2268895 |  2055322 |    17495    290 |        5 |      262
1616.65/1617.13	c 1617s |      22 |  2270902 |  2057222 |    17495    290 |        5 |      262
1618.75/1619.20	c 1619s |      22 |  2273055 |  2059222 |    17495    291 |        5 |      262
1620.74/1621.25	c 1621s |      22 |  2275514 |  2061522 |    17495    291 |        5 |      262
1622.84/1623.33	c 1623s |      22 |  2277654 |  2063522 |    17495    291 |        5 |      262
1624.84/1625.34	c 1625s |      22 |  2279439 |  2065222 |    17495    291 |        5 |      262
1626.94/1627.45	c 1627s |      22 |  2281107 |  2066822 |    17495    292 |        5 |      262
1629.04/1629.52	c 1629s |      22 |  2283215 |  2068822 |    17495    292 |        5 |      262
1631.05/1631.57	c 1631s |      22 |  2285714 |  2070722 |    17495    292 |        5 |      262
1633.15/1633.62	c 1633s |      22 |  2287393 |  2072322 |    17495    292 |        5 |      262
1635.24/1635.70	c 1635s |      22 |  2289372 |  2074222 |    17495    292 |        5 |      262
1637.24/1637.77	c 1637s |      22 |  2291280 |  2076022 |    17495    293 |        5 |      262
1639.34/1639.80	c 1639s |      22 |  2293393 |  2078022 |    17495    293 |        5 |      262
1641.34/1641.89	c 1641s |      22 |  2295543 |  2080022 |    17495    293 |        5 |      262
1643.44/1643.95	c 1643s |      22 |  2296943 |  2081322 |    17495    293 |        5 |      262
1645.54/1646.01	c 1645s |      22 |  2299069 |  2083322 |    17495    293 |        5 |      262
1647.55/1648.01	c 1647s |      22 |  2301300 |  2085322 |    17495    294 |        5 |      262
1649.54/1650.07	c 1649s |      22 |  2303893 |  2087722 |    17495    294 |        5 |      262
1651.54/1652.08	c 1651s |      22 |  2306016 |  2089722 |    17495    294 |        5 |      262
1653.65/1654.16	c 1654s |      22 |  2308057 |  2091622 |    17495    294 |        5 |      262
1655.75/1656.21	c 1656s |      22 |  2310076 |  2093522 |    17495    295 |        5 |      262
1657.75/1658.23	c 1658s |      22 |  2312630 |  2095922 |    17495    295 |        5 |      262
1659.85/1660.33	c 1660s |      22 |  2314970 |  2098122 |    17495    295 |        5 |      262
1661.85/1662.39	c 1662s |      22 |  2317179 |  2100222 |    17495    295 |        5 |      262
1663.95/1664.44	c 1664s |      22 |  2319200 |  2102122 |    17495    295 |        5 |      262
1665.95/1666.44	c 1666s |      22 |  2321298 |  2104122 |    17495    296 |        5 |      262
1667.95/1668.49	c 1668s |      22 |  2323650 |  2106322 |    17495    296 |        5 |      262
1670.05/1670.54	c 1670s |      22 |  2325766 |  2108322 |    17495    296 |        5 |      262
1672.05/1672.56	c 1672s |      22 |  2327664 |  2110122 |    17495    296 |        5 |      262
1674.84/1675.30	c 1675s |      22 |  2329170 |  2111522 |    17495    297 |        5 |      262
1676.84/1677.31	c 1677s |      22 |  2331914 |  2114022 |    17495    297 |        5 |      262
1678.84/1679.39	c 1679s |      22 |  2334753 |  2116622 |    17495    297 |        5 |      262
1680.94/1681.41	c 1681s |      22 |  2337086 |  2118722 |    17495    297 |        5 |      262
1682.94/1683.46	c 1683s |      22 |  2339194 |  2120622 |    17495    298 |        5 |      262
1685.04/1685.50	c 1685s |      22 |  2342096 |  2123222 |    17495    298 |        5 |      262
1687.05/1687.53	c 1687s |      22 |  2344549 |  2125522 |    17495    298 |        5 |      262
1689.14/1689.62	c 1689s |      22 |  2346915 |  2127722 |    17495    298 |        5 |      262
1691.14/1691.64	c 1691s |      22 |  2349133 |  2129822 |    17495    299 |        5 |      262
1693.14/1693.66	c 1693s |      22 |  2351396 |  2131922 |    17495    299 |        5 |      262
1695.24/1695.73	c 1695s |      22 |  2353730 |  2134122 |    17495    299 |        5 |      262
1697.34/1697.82	c 1697s |      22 |  2355874 |  2136122 |    17495    299 |        5 |      262
1699.34/1699.82	c 1699s |      22 |  2357570 |  2137722 |    17495    300 |        5 |      262
1702.04/1702.56	c 1702s |      22 |  2359697 |  2139722 |    17495    300 |        5 |      262
1704.04/1704.59	c 1704s |      22 |  2362357 |  2142122 |    17495    300 |        5 |      262
1706.04/1706.59	c 1706s |      22 |  2364752 |  2144322 |    17495    300 |        5 |      262
1708.14/1708.61	c 1708s |      22 |  2366861 |  2146322 |    17495    300 |        5 |      262
1710.15/1710.68	c 1710s |      22 |  2369052 |  2148422 |    17495    301 |        5 |      262
1712.24/1712.70	c 1712s |      22 |  2371268 |  2150522 |    17495    301 |        5 |      262
1714.24/1714.73	c 1714s |      22 |  2373426 |  2152522 |    17495    301 |        5 |      262
1716.24/1716.75	c 1716s |      22 |  2375192 |  2154222 |    17495    301 |        5 |      262
1718.24/1718.78	c 1718s |      22 |  2377016 |  2155922 |    17495    302 |        5 |      262
1720.34/1720.87	c 1720s |      22 |  2379322 |  2158122 |    17495    302 |        5 |      262
1722.44/1722.91	c 1722s |      22 |  2381434 |  2160122 |    17495    302 |        5 |      262
1724.63/1725.12	c 1724s |      22 |  2383033 |  2161622 |    17495    302 |        5 |      262
1726.64/1727.16	c 1727s |      22 |  2385061 |  2163522 |    17495    302 |        5 |      262
1728.73/1729.23	c 1729s |      22 |  2387119 |  2165422 |    17495    303 |        5 |      262
1730.83/1731.32	c 1731s |      22 |  2389732 |  2167822 |    17495    303 |        5 |      262
1732.83/1733.32	c 1733s |      22 |  2392012 |  2169922 |    17495    303 |        5 |      262
1734.93/1735.40	c 1735s |      22 |  2394640 |  2172022 |    17495    303 |        5 |      262
1736.93/1737.47	c 1737s |      22 |  2397694 |  2174122 |    17495    304 |        5 |      262
1739.03/1739.54	c 1739s |      22 |  2400256 |  2176222 |    17495    304 |        5 |      262
1741.04/1741.56	c 1741s |      22 |  2402561 |  2178322 |    17495    304 |        5 |      262
1743.14/1743.62	c 1743s |      22 |  2404149 |  2179822 |    17495    304 |        5 |      262
1745.13/1745.69	c 1745s |      22 |  2405836 |  2181422 |    17495    304 |        5 |      262
1747.23/1747.76	c 1747s |      22 |  2408060 |  2183522 |    17495    305 |        5 |      262
1749.33/1749.81	c 1749s |      22 |  2409334 |  2184722 |    17495    305 |        5 |      262
1751.33/1751.84	c 1751s |      22 |  2412054 |  2187122 |    17495    305 |        5 |      262
1753.42/1753.92	c 1753s |      22 |  2414230 |  2189122 |    17495    305 |        5 |      262
1755.42/1755.93	c 1755s |      22 |  2416178 |  2190922 |    17495    306 |        5 |      262
1757.43/1757.95	c 1757s |      22 |  2418920 |  2193422 |    17495    306 |        5 |      262
1759.52/1760.03	c 1759s |      22 |  2421644 |  2195922 |    17495    306 |        5 |      262
1761.52/1762.05	c 1761s |      22 |  2423885 |  2198022 |    17495    306 |        5 |      262
1763.52/1764.06	c 1763s |      22 |  2426092 |  2200022 |    17495    307 |        5 |      262
1765.52/1766.08	c 1765s |      22 |  2429057 |  2202722 |    17495    307 |        5 |      262
1767.62/1768.13	c 1768s |      22 |  2431149 |  2204522 |    17495    307 |        5 |      262
1769.63/1770.14	c 1770s |      22 |  2433849 |  2206822 |    17495    307 |        5 |      262
1771.63/1772.17	c 1772s |      22 |  2435878 |  2208622 |    17495    308 |        5 |      262
1773.73/1774.23	c 1774s |      22 |  2439079 |  2211522 |    17495    308 |        5 |      262
1775.83/1776.31	c 1776s |      22 |  2441957 |  2214122 |    17495    308 |        5 |      262
1777.83/1778.36	c 1778s |      22 |  2444584 |  2216422 |    17495    308 |        5 |      262
1779.83/1780.39	c 1780s |      22 |  2446639 |  2218222 |    17495    309 |        5 |      262
1781.93/1782.45	c 1782s |      22 |  2449619 |  2220922 |    17495    309 |        5 |      262
1784.03/1784.50	c 1784s |      22 |  2452506 |  2223522 |    17495    309 |        5 |      262
1786.04/1786.52	c 1786s |      22 |  2454861 |  2225722 |    17495    309 |        5 |      262
1788.03/1788.56	c 1788s |      22 |  2457258 |  2227922 |    17495    310 |        5 |      262
1790.13/1790.61	c 1790s |      22 |  2459896 |  2230322 |    17495    310 |        5 |      262
1792.23/1792.70	c 1792s |      22 |  2462261 |  2232522 |    17495    310 |        5 |      262
1794.23/1794.78	c 1794s |      22 |  2464438 |  2234522 |    17495    310 |        5 |      262
1796.33/1796.85	c 1796s |      22 |  2466929 |  2236822 |    19245    311 |        5 |      262
1799.23/1799.79	c 1799s |      22 |  2469099 |  2238822 |    19245    311 |        5 |      262

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

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

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


[startup+0 s]
/proc/loadavg: 1.94 2.07 2.06 3/178 19622
/proc/meminfo: memFree=30484652/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 2486 0 0 0 0 0 0 0 20 0 4 0 13391761 684126208 2335 33554432000 4194304 16246674 140736883041888 140736883041312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 167535 2343 441 2943 0 164429 0
[pid=19622/tid=19623] ppid=19619 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 703000576 2406 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 707194880 2423 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13391761 711389184 2440 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.94 2.07 2.06 3/178 19622
/proc/meminfo: memFree=30484652/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 22905 0 0 0 7 2 0 0 20 0 4 0 13391761 1250496512 22692 33554432000 4194304 16246674 140736883041888 140736883023808 6939392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 305297 22692 835 2943 0 302191 0
[pid=19622/tid=19623] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 22692 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 22692 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 22692 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200519 s]
/proc/loadavg: 1.94 2.07 2.06 3/178 19622
/proc/meminfo: memFree=30484652/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 40744 0 0 0 15 4 0 0 20 0 4 0 13391761 1250496512 40532 33554432000 4194304 16246674 140736883041888 140736883023808 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 305297 40545 877 2943 0 302191 0
[pid=19622/tid=19623] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 40553 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 40561 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 40568 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300483 s]
/proc/loadavg: 1.94 2.07 2.06 3/178 19622
/proc/meminfo: memFree=30484652/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 62646 0 0 0 22 7 0 0 20 0 4 0 13391761 1250496512 62434 33554432000 4194304 16246674 140736883041888 140736883023808 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 305297 62437 877 2943 0 302191 0
[pid=19622/tid=19623] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 62442 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 62448 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 62454 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700393 s]
/proc/loadavg: 1.94 2.07 2.06 3/178 19622
/proc/meminfo: memFree=30484652/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 147852 0 0 0 50 19 0 0 20 0 4 0 13391761 1250496512 147640 33554432000 4194304 16246674 140736883041888 140736883023808 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 305297 147647 877 2943 0 302191 0
[pid=19622/tid=19623] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 147655 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 147665 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13391761 1250496512 147673 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 1.94 2.07 2.06 3/183 19627
/proc/meminfo: memFree=29501316/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 266408 0 0 0 114 35 0 0 20 0 4 0 13391761 1332285440 266195 33554432000 4194304 16246674 140736883041888 140736883041200 5523091 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 325265 266195 880 2943 0 322159 0
[pid=19622/tid=19623] ppid=19619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1332285440 266195 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1332285440 266195 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1332285440 266195 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 1.94 2.07 2.06 3/183 19627
/proc/meminfo: memFree=29415384/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 267873 0 0 0 273 35 0 0 20 0 4 0 13391761 1338576896 267660 33554432000 4194304 16246674 140736883041888 140736883023808 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 326801 267660 882 2943 0 323695 0
[pid=19622/tid=19623] ppid=19619 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1338576896 267660 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1338576896 267660 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1338576896 267660 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 1.95 2.07 2.05 3/183 19627
/proc/meminfo: memFree=29414784/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 267989 0 0 0 593 35 0 0 20 0 4 0 13391761 1338576896 267776 33554432000 4194304 16246674 140736883041888 140736883023808 5675344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 326801 267776 886 2943 0 323695 0
[pid=19622/tid=19623] ppid=19619 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1338576896 267776 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1338576896 267776 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1338576896 267776 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.95 2.07 2.05 3/183 19627
/proc/meminfo: memFree=29408468/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 269525 0 0 0 1233 36 0 0 20 0 4 0 13391761 1344868352 269312 33554432000 4194304 16246674 140736883041888 140736883023808 5674844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 328337 269312 886 2943 0 325231 0
[pid=19622/tid=19623] ppid=19619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1344868352 269312 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1344868352 269312 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1344868352 269312 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5074 s]
/proc/loadavg: 1.96 2.06 2.05 3/183 19627
/proc/meminfo: memFree=29401300/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1321540 CPUtime=25.49 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 271431 0 0 0 2513 36 0 0 20 0 4 0 13391761 1353256960 271218 33554432000 4194304 16246674 140736883041888 140736883023808 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 330385 271218 886 2943 0 327279 0
[pid=19622/tid=19623] ppid=19619 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1353256960 271218 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1353256960 271218 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1353256960 271218 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1004 s]
/proc/loadavg: 1.97 2.06 2.05 3/183 19627
/proc/meminfo: memFree=29396544/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 272598 0 0 0 5072 36 0 0 20 0 4 0 13391761 1357451264 272385 33554432000 4194304 16246674 140736883041888 140736883023808 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 331409 272385 887 2943 0 328303 0
[pid=19622/tid=19623] ppid=19619 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1357451264 272385 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1357451264 272385 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1357451264 272385 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/183 19628
/proc/meminfo: memFree=29377488/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1344068 CPUtime=102.27 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 277206 0 0 0 10190 37 0 0 20 0 4 0 13391761 1376325632 276993 33554432000 4194304 16246674 140736883041888 140736883023808 5675989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 336017 276993 887 2943 0 332911 0
[pid=19622/tid=19623] ppid=19619 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1376325632 276993 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1376325632 276993 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1376325632 276993 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1344068


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

/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1356356

[startup+1302.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/183 20328
/proc/meminfo: memFree=29362948/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1356356 CPUtime=1301.9 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 280614 0 0 0 130136 54 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140736883023808 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 339089 280321 887 2943 0 335983 0
[pid=19622/tid=19623] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1356356

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/183 20329
/proc/meminfo: memFree=29362728/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1356356 CPUtime=1361.89 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 280614 0 0 0 136135 54 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140736883023808 12477709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 339089 280321 887 2943 0 335983 0
[pid=19622/tid=19623] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1356356

[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 20330
/proc/meminfo: memFree=29358540/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1356356 CPUtime=1421.88 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 280614 0 0 0 142133 55 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140736883023808 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 339089 280321 887 2943 0 335983 0
[pid=19622/tid=19623] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1388908544 280321 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1356356

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 20331
/proc/meminfo: memFree=29331664/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1481.87 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 148130 57 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883023808 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1379908

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 20333
/proc/meminfo: memFree=29331440/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1541.86 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 154129 57 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883023808 5822704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1379908

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/184 20337
/proc/meminfo: memFree=29320940/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1601.85 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 160127 58 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883023808 5676100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1379908

[startup+1662.31 s]
/proc/loadavg: 2.17 2.04 2.01 3/183 20338
/proc/meminfo: memFree=29320856/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1661.85 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 166126 59 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883039680 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1379908

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 20339
/proc/meminfo: memFree=29321252/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1721.84 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 172125 59 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883023808 5675521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1379908

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 20340
/proc/meminfo: memFree=29318808/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1781.83 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 178123 60 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883023808 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1379908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20340
/proc/meminfo: memFree=29318944/32872528 swapFree=302776/319128
[pid=19622] ppid=19619 vsize=1379908 CPUtime=1800.03 cores=0,2,4,6
/proc/19622/stat : 19622 (toysat) R 19619 19622 16914 0 -1 4202496 286502 0 0 0 179943 60 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140736883023808 5827838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19622/statm: 344977 286209 887 2943 0 341871 0
[pid=19622/tid=19623] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19623/stat : 19623 (toysat) S 19619 19622 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679618473200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19622/tid=19624] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19624/stat : 19624 (toysat) S 19619 19622 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679607983344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19622/tid=19625] ppid=19619 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19622/task/19625/stat : 19625 (toysat) S 19619 19622 16914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13391761 1413025792 286209 33554432000 4194304 16246674 140736883041888 140679597509808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1379908

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.44
CPU system time (s): 0.601908
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1379908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.601908
maximum resident set size= 1144836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286502
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= 353
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29489 second user time and 9.49856 second system time

The end

Begin job on node128 at 2016-06-16 23:44:11
IDJOB=4096316
IDBENCH=107597
IDSOLVER=2542
FILE ID=node128/4096316-1466113451
RUNJOBID= node128-1466113207-19339
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_28.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096316-1466113451/watcher-4096316-1466113451 -o /tmp/evaluation-result-4096316-1466113451/solver-4096316-1466113451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096316-1466113451.opb

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

MD5SUM BENCH= cb21c3f4ba210c47e3e6f31aa43f596d
RANDOM SEED=338369259

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30485304 kB
Buffers:           67080 kB
Cached:           189232 kB
SwapCached:         2096 kB
Active:          1254412 kB
Inactive:         105592 kB
Active(anon):    1104068 kB
Inactive(anon):     1600 kB
Active(file):     150344 kB
Inactive(file):   103992 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1423416 kB
Mapped:            10652 kB
Shmem:                 0 kB
Slab:             571460 kB
SReclaimable:      15168 kB
SUnreclaim:       556292 kB
KernelStack:        1496 kB
PageTables:         6620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1566416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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= 71676 MiB
End job on node128 at 2016-06-17 00:14:12