0.00/0.00	c 2016-06-18T01:29:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099508-1466206142.opb"]
0.00/0.01	c use --random-gen="737862377 3292476392 2877135054 3589660023 643897679 3078271793 2341649465 1276698200 1544578295 2279676441 2113462132 599467835 3072192339 2069654002 2272531176 1181620392 3651581392 2970557598 2316986883 274343612 179455447 33156468 1523120566 235783878 1236791910 3259829722 55700514 554437685 3186880510 2242756977 481269991 109915097 3079023462 1439072798 2202560018 1375631292 2310356292 957327973 452324795 3420960838 2210333020 2950400783 3578355474 1307158926 2899164752 3818143454 1608872403 4180572935 3953091004 2491435278 2569397033 3051988908 892794833 2006053247 3358019072 3138650315 943924083 1559871039 2859294378 1017661941 3843986970 2718290543 1477580436 3550419396 3165070440 1849646228 3039714410 1404680016 2474169748 514086966 3265858524 1570039370 3499704829 3690340558 264438630 4103937560 94163396 1881714208 3128159726 2434101466 2388213109 3820011470 3618847698 1519470194 2223878859 3126479990 544058792 3528204859 2903142924 1823071731 3239680976 860092312 2304905173 259333724 477379572 1468982247 948903717 1549998735 204873424 1506304885 1630181066 2097485670 2342288886 1104179972 3622879084 3567447119 1204423495 2930575229 3987616862 3540036662 2706968773 827780544 577108794 3215437352 2577879726 3172193838 3895526939 3349859172 4189044868 3343987943 935274788 2434631968 2055134618 537559081 3208927592 470932521 2123349806 3318901469 924942080 3426768417 2333413556 2186491364 2676709440 2063301346 2201901316 3327428097 2532065781 2682602931 3387558678 3487906565 2057425508 3845112083 1589661881 3810506314 473129165 1901010089 2119572165 239950263 673058577 3105963422 1672407975 2650235379 2570461597 3727206181 425404166 1035115382 3430832216 835611729 3722587164 3797917610 2250073404 3740943254 1058163822 1916519481 2505294658 591454906 1554485673 1190434853 1821873714 2665307088 4032797960 3499869939 2468375722 1100126242 1175721567 4004356225 1497322936 957372331 910616638 1834161922 685112617 3997174643 3073619987 2225185838 776400745 2612192744 2532649848 299301028 301763850 1143541562 3817415811 2067010517 1396460124 382963533 3504731950 2912666030 679739976 367630167 2305862180 1707923308 3910956567 474460240 1366183383 1821424 3411599391 77782874 3956213267 2442249082 694161347 1249846174 2447957654 3265472029 1748505583 994852955 3396433689 1642930925 403696653 1805337722 4264138398 4150967984 445123377 565236603 38304501 801099204 3026783290 538306583 1591348598 4095540585 2993883480 2060995297 4237573155 538240202 1333004859 3847821220 3224636853 4208834308 903355907 2120089839 633822721 2188544690 3678488051 2567845397 2227941351 279958145 4262837094 1745575739 4060794260 3037061449 155191326 2411779056 3344759181 796996699 498389224 873967274 2675924695 3320571977 255 362436" option to reproduce the execution
0.00/0.01	c #vars 1000
0.00/0.01	c #constraints 90
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      363      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      131 |      100 |      363      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      529 |      250 |      400      0 |        0 |        0
0.09/0.14	c  0.1s |       3 |      998 |      475 |      441      0 |        0 |        0
0.19/0.27	c  0.3s |       4 |     1582 |      813 |      486      1 |        0 |        0
0.39/0.46	c  0.4s |       5 |     2342 |     1320 |      535      2 |        0 |        0
0.79/0.80	c  0.8s |       6 |     3460 |     2081 |      648      4 |        0 |        0
1.20/1.27	c  1.3s |       7 |     5473 |     3223 |      713      6 |        0 |        0
1.89/1.99	c  2.0s |       8 |     7741 |     4936 |      785      9 |        0 |        0
2.99/3.03	c  3.0s |       9 |    11375 |     7506 |      864     14 |        0 |        0
4.59/4.66	c  4.6s |      10 |    15966 |    11361 |      951     19 |        0 |        0
6.59/6.70	c  6.7s |      10 |    21512 |    15961 |      951     26 |        0 |        0
7.19/7.24	c  7.2s |      11 |    22812 |    17144 |     1047     28 |        0 |        0
9.18/9.25	c  9.2s |      11 |    29487 |    22744 |     1047     35 |        0 |        0
10.48/10.50	c 10.5s |      12 |    32818 |    25819 |     1152     39 |        0 |        0
12.48/12.53	c 12.5s |      12 |    37919 |    29719 |     1152     44 |        0 |        0
14.48/14.57	c 14.6s |      12 |    42359 |    33519 |     1152     49 |        0 |        0
16.59/16.61	c 16.6s |      12 |    46584 |    37219 |     1152     54 |        0 |        0
17.48/17.57	c 17.5s |      13 |    48538 |    38832 |     1268     56 |        0 |        0
19.48/19.59	c 19.6s |      13 |    53692 |    43132 |     1268     62 |        0 |        0
21.58/21.61	c 21.6s |      13 |    58396 |    47232 |     1268     67 |        0 |        0
23.58/23.64	c 23.6s |      13 |    64445 |    52532 |     1268     74 |        0 |        0
25.58/25.66	c 25.6s |      13 |    70102 |    57632 |     1268     81 |        0 |        0
25.88/25.93	c 25.9s |      14 |    70916 |    58352 |     1395     82 |        0 |        0
27.89/27.97	c 28.0s |      14 |    76530 |    62652 |     1395     86 |        0 |        0
29.99/30.01	c 30.0s |      14 |    80932 |    66552 |     1395     89 |        0 |        0
32.00/32.03	c 32.0s |      14 |    85187 |    70252 |     1395     92 |        0 |        0
33.99/34.05	c 34.0s |      14 |    88918 |    73552 |     1395     96 |        0 |        0
35.99/36.08	c 36.1s |      14 |    93429 |    77452 |     1395     99 |        0 |        0
37.99/38.09	c 38.1s |      14 |    97545 |    81052 |     1395    102 |        0 |        0
40.09/40.12	c 40.1s |      14 |   101787 |    84852 |     1395    106 |        0 |        0
41.58/41.68	c 41.7s |      15 |   104976 |    87632 |     1535    108 |        0 |        0
43.68/43.71	c 43.7s |      15 |   110177 |    91532 |     1535    113 |        0 |        0
45.68/45.71	c 45.7s |      15 |   114023 |    94932 |     1535    116 |        0 |        0
47.68/47.74	c 47.7s |      15 |   117878 |    98332 |     1535    120 |        0 |        0
49.78/49.81	c 49.8s |      15 |   121058 |   101232 |     1535    123 |        0 |        0
51.79/51.87	c 51.9s |      15 |   124376 |   104232 |     1535    126 |        0 |        0
53.78/53.90	c 53.9s |      15 |   127587 |   107132 |     1535    129 |        0 |        0
55.88/55.94	c 55.9s |      15 |   130692 |   109932 |     1535    132 |        0 |        0
57.88/57.97	c 58.0s |      15 |   133685 |   112632 |     1535    134 |        0 |        0
59.98/60.01	c 60.0s |      15 |   136403 |   115132 |     1535    137 |        0 |        0
61.98/62.08	c 62.1s |      15 |   139245 |   117732 |     1535    140 |        0 |        0
64.08/64.11	c 64.1s |      15 |   141943 |   120232 |     1535    142 |        0 |        0
66.09/66.13	c 66.1s |      15 |   144612 |   122632 |     1535    145 |        0 |        0
68.08/68.15	c 68.1s |      15 |   147321 |   125032 |     1535    147 |        0 |        0
70.18/70.20	c 70.2s |      15 |   150376 |   127732 |     1535    150 |        0 |        0
72.18/72.23	c 72.2s |      15 |   153924 |   130832 |     1689    153 |        0 |        0
72.59/72.62	c 72.6s |      16 |   154738 |   131552 |     1689    154 |        0 |        0
74.58/74.63	c 74.6s |      16 |   159418 |   135252 |     1689    157 |        0 |        0
76.58/76.69	c 76.7s |      16 |   163866 |   139152 |     1689    161 |        0 |        0
78.68/78.74	c 78.7s |      16 |   167430 |   142352 |     1689    164 |        0 |        0
80.78/80.80	c 80.8s |      16 |   170735 |   145352 |     1689    167 |        0 |        0
82.78/82.81	c 82.8s |      16 |   174190 |   148452 |     1689    170 |        0 |        0
84.78/84.86	c 84.8s |      16 |   178492 |   152252 |     1689    173 |        0 |        0
86.88/86.92	c 86.9s |      16 |   182838 |   156052 |     1689    177 |        0 |        0
88.87/88.93	c 88.9s |      16 |   186843 |   159652 |     1689    180 |        0 |        0
90.87/90.97	c 90.9s |      16 |   191267 |   163552 |     1689    184 |        0 |        0
92.97/93.00	c 93.0s |      16 |   195434 |   167252 |     1689    188 |        0 |        0
94.97/95.05	c 95.0s |      16 |   199600 |   171052 |     1689    191 |        0 |        0
96.97/97.09	c 97.1s |      16 |   203444 |   174552 |     1689    195 |        0 |        0
99.08/99.12	c 99.1s |      16 |   207331 |   178152 |     1689    198 |        0 |        0
101.07/101.12	c  101s |      16 |   211134 |   181652 |     1689    201 |        0 |        0
103.07/103.15	c  103s |      16 |   214991 |   185152 |     1689    205 |        0 |        0
105.07/105.15	c  105s |      16 |   218835 |   188652 |     1689    208 |        0 |        0
107.17/107.20	c  107s |      16 |   222762 |   192252 |     1689    211 |        0 |        0
109.17/109.21	c  109s |      16 |   226623 |   195752 |     1689    215 |        0 |        0
110.27/110.32	c  110s |      17 |   228453 |   197432 |     1858    216 |        0 |        0
112.27/112.33	c  112s |      17 |   233702 |   201532 |     1858    220 |        0 |        0
114.27/114.36	c  114s |      17 |   238180 |   205532 |     1858    223 |        0 |        0
116.27/116.37	c  116s |      17 |   241924 |   208932 |     1858    226 |        0 |        0
118.28/118.39	c  118s |      17 |   245706 |   212432 |     1858    229 |        0 |        0
120.37/120.44	c  120s |      17 |   249518 |   215932 |     1858    233 |        0 |        0
122.37/122.45	c  122s |      17 |   253052 |   219132 |     1858    235 |        0 |        0
124.38/124.47	c  124s |      17 |   257019 |   222632 |     1858    238 |        0 |        0
126.48/126.52	c  126s |      17 |   260999 |   226132 |     1858    242 |        0 |        0
128.47/128.56	c  128s |      17 |   264743 |   229432 |     1858    244 |        0 |        0
130.57/130.60	c  130s |      17 |   268151 |   232532 |     1858    247 |        0 |        0
132.57/132.62	c  132s |      17 |   271388 |   235432 |     1858    250 |        0 |        0
134.57/134.63	c  134s |      17 |   274571 |   238332 |     1858    252 |        0 |        0
136.57/136.69	c  136s |      17 |   278085 |   241532 |     1858    255 |        0 |        0
138.68/138.71	c  138s |      17 |   280997 |   244232 |     1858    258 |        0 |        0
140.67/140.75	c  140s |      17 |   284917 |   247632 |     1858    261 |        0 |        0
142.67/142.79	c  142s |      17 |   288545 |   250932 |     1858    263 |        0 |        0
144.77/144.82	c  144s |      17 |   291946 |   254032 |     1858    266 |        0 |        0
146.77/146.88	c  146s |      17 |   295707 |   257432 |     1858    269 |        0 |        0
148.77/148.90	c  148s |      17 |   299122 |   260532 |     1858    272 |        0 |        0
150.87/150.91	c  150s |      17 |   302541 |   263632 |     1858    275 |        0 |        0
152.87/152.95	c  152s |      17 |   305942 |   266732 |     1858    277 |        0 |        0
154.87/154.95	c  154s |      17 |   308797 |   269332 |     1858    280 |        0 |        0
156.87/156.99	c  156s |      17 |   312809 |   272932 |     1858    283 |        0 |        0
158.96/159.03	c  159s |      17 |   316109 |   275932 |     1858    285 |        0 |        0
161.07/161.10	c  161s |      17 |   319478 |   279032 |     1858    288 |        0 |        0
163.07/163.13	c  163s |      17 |   322521 |   281832 |     1858    291 |        0 |        0
165.07/165.19	c  165s |      17 |   326526 |   285432 |     1858    294 |        0 |        0
167.06/167.20	c  167s |      17 |   330376 |   288932 |     1858    297 |        0 |        0
169.16/169.22	c  169s |      17 |   334008 |   292232 |     1858    300 |        0 |        0
171.16/171.28	c  171s |      17 |   337520 |   295432 |     2044    303 |        0 |        0
171.67/171.73	c  171s |      18 |   338444 |   296252 |     2044    303 |        0 |        0
173.66/173.73	c  173s |      18 |   343905 |   300552 |     2044    307 |        0 |        0
175.66/175.76	c  175s |      18 |   348631 |   304852 |     2044    310 |        0 |        0
177.76/177.81	c  177s |      18 |   352853 |   308752 |     2044    313 |        0 |        0
179.76/179.82	c  179s |      18 |   357081 |   312652 |     2044    317 |        0 |        0
181.76/181.85	c  181s |      18 |   361627 |   316652 |     2044    320 |        0 |        0
183.77/183.89	c  183s |      18 |   365542 |   320152 |     2044    323 |        0 |        0
185.76/185.89	c  185s |      18 |   369330 |   323552 |     2044    325 |        0 |        0
187.86/187.94	c  187s |      18 |   373271 |   327052 |     2044    328 |        0 |        0
189.86/189.97	c  189s |      18 |   377315 |   330652 |     2044    331 |        0 |        0
191.96/192.03	c  192s |      18 |   381044 |   333952 |     2044    334 |        0 |        0
193.96/194.05	c  194s |      18 |   384792 |   337252 |     2044    337 |        0 |        0
195.96/196.08	c  196s |      18 |   388305 |   340352 |     2044    339 |        0 |        0
197.96/198.09	c  198s |      18 |   391233 |   342952 |     2044    341 |        0 |        0
200.06/200.15	c  200s |      18 |   394575 |   345952 |     2044    344 |        0 |        0
202.06/202.18	c  202s |      18 |   397615 |   348652 |     2044    346 |        0 |        0
204.16/204.20	c  204s |      18 |   401218 |   351852 |     2044    349 |        0 |        0
206.15/206.21	c  206s |      18 |   404940 |   355152 |     2044    351 |        0 |        0
208.15/208.23	c  208s |      18 |   408322 |   358252 |     2044    354 |        0 |        0
210.16/210.26	c  210s |      18 |   412412 |   361852 |     2044    357 |        0 |        0
212.26/212.33	c  212s |      18 |   415917 |   365052 |     2044    359 |        0 |        0
214.25/214.35	c  214s |      18 |   419170 |   367952 |     2044    362 |        0 |        0
216.35/216.40	c  216s |      18 |   423095 |   371452 |     2044    364 |        0 |        0
218.35/218.42	c  218s |      18 |   426743 |   374752 |     2044    367 |        0 |        0
220.35/220.43	c  220s |      18 |   430655 |   378252 |     2044    370 |        0 |        0
222.35/222.45	c  222s |      18 |   434474 |   381752 |     2044    373 |        0 |        0
224.36/224.45	c  224s |      18 |   438582 |   385352 |     2044    376 |        0 |        0
226.35/226.48	c  226s |      18 |   442565 |   388952 |     2044    379 |        0 |        0
228.45/228.53	c  228s |      18 |   446544 |   392552 |     2044    382 |        0 |        0
230.45/230.56	c  230s |      18 |   450182 |   395852 |     2044    384 |        0 |        0
232.45/232.57	c  232s |      18 |   454257 |   399552 |     2044    387 |        0 |        0
234.45/234.59	c  234s |      18 |   458217 |   403152 |     2044    390 |        0 |        0
236.56/236.62	c  236s |      18 |   461837 |   406452 |     2044    393 |        0 |        0
238.55/238.66	c  238s |      18 |   465795 |   409952 |     2044    396 |        0 |        0
240.65/240.71	c  240s |      18 |   469169 |   413052 |     2044    398 |        0 |        0
242.65/242.76	c  242s |      18 |   472429 |   416052 |     2044    401 |        0 |        0
244.75/244.82	c  244s |      18 |   475827 |   419152 |     2044    403 |        0 |        0
246.75/246.85	c  246s |      18 |   478821 |   421852 |     2044    405 |        0 |        0
248.85/248.91	c  248s |      18 |   481966 |   424652 |     2044    408 |        0 |        0
250.86/250.94	c  250s |      18 |   485416 |   427652 |     2044    410 |        0 |        0
252.85/252.99	c  252s |      18 |   488458 |   430352 |     2044    412 |        0 |        0
254.95/255.02	c  255s |      18 |   491675 |   433152 |     2044    415 |        0 |        0
256.95/257.07	c  257s |      18 |   494717 |   435852 |     2044    417 |        0 |        0
259.05/259.12	c  259s |      18 |   497772 |   438552 |     2044    419 |        0 |        0
261.05/261.12	c  261s |      18 |   500725 |   441152 |     2044    421 |        0 |        0
263.05/263.13	c  263s |      18 |   503469 |   443552 |     2249    423 |        0 |        0
263.85/263.94	c  263s |      19 |   504485 |   444482 |     2249    424 |        0 |        0
265.84/265.95	c  265s |      19 |   509803 |   448482 |     2249    427 |        0 |        0
267.84/267.98	c  267s |      19 |   513901 |   452182 |     2249    429 |        0 |        0
269.94/270.03	c  270s |      19 |   517915 |   455782 |     2249    432 |        0 |        0
271.94/272.04	c  272s |      19 |   521485 |   459082 |     2249    434 |        0 |        0
273.95/274.06	c  274s |      19 |   525136 |   462382 |     2249    437 |        0 |        0
275.94/276.07	c  276s |      19 |   528735 |   465682 |     2249    439 |        0 |        0
278.04/278.11	c  278s |      19 |   532191 |   468882 |     2249    442 |        0 |        0
280.04/280.12	c  280s |      19 |   535310 |   471682 |     2249    444 |        0 |        0
282.04/282.16	c  282s |      19 |   539165 |   474982 |     2249    446 |        0 |        0
284.04/284.17	c  284s |      19 |   543417 |   478782 |     2249    449 |        0 |        0
286.14/286.22	c  286s |      19 |   547170 |   482182 |     2249    452 |        0 |        0
288.15/288.22	c  288s |      19 |   550795 |   485382 |     2249    454 |        0 |        0
290.14/290.22	c  290s |      19 |   553927 |   488182 |     2249    456 |        0 |        0
292.14/292.27	c  292s |      19 |   557132 |   491082 |     2249    458 |        0 |        0
294.24/294.30	c  294s |      19 |   560736 |   494282 |     2249    461 |        0 |        0
296.24/296.36	c  296s |      19 |   564298 |   497482 |     2249    463 |        0 |        0
298.34/298.44	c  298s |      19 |   567681 |   500582 |     2249    466 |        0 |        0
300.36/300.49	c  300s |      19 |   571151 |   503782 |     2249    468 |        0 |        0
302.35/302.50	c  302s |      19 |   574183 |   506582 |     2249    470 |        0 |        0
304.45/304.52	c  304s |      19 |   577930 |   509882 |     2249    473 |        0 |        0
306.45/306.59	c  306s |      19 |   581790 |   513282 |     2249    475 |        0 |        0
308.55/308.62	c  308s |      19 |   585150 |   516282 |     2249    477 |        0 |        0
310.54/310.65	c  310s |      19 |   588709 |   519482 |     2249    480 |        0 |        0
312.64/312.70	c  312s |      19 |   592541 |   522982 |     2249    482 |        0 |        0
314.65/314.75	c  314s |      19 |   596218 |   526282 |     2249    485 |        0 |        0
316.75/316.82	c  316s |      19 |   599876 |   529582 |     2249    487 |        0 |        0
318.74/318.89	c  318s |      19 |   603194 |   532582 |     2249    490 |        0 |        0
320.84/320.95	c  320s |      19 |   606241 |   535382 |     2249    492 |        0 |        0
322.84/322.96	c  322s |      19 |   609614 |   538382 |     2249    494 |        0 |        0
324.84/324.99	c  324s |      19 |   612298 |   540882 |     2249    496 |        0 |        0
326.94/327.05	c  327s |      19 |   616083 |   544282 |     2249    498 |        0 |        0
328.95/329.08	c  329s |      19 |   619939 |   547782 |     2249    501 |        0 |        0
331.05/331.12	c  331s |      19 |   623614 |   551082 |     2249    503 |        0 |        0
333.04/333.16	c  333s |      19 |   627052 |   554182 |     2249    506 |        0 |        0
335.04/335.16	c  335s |      19 |   630478 |   557282 |     2249    508 |        0 |        0
337.04/337.19	c  337s |      19 |   633863 |   560382 |     2249    510 |        0 |        0
339.14/339.23	c  339s |      19 |   637266 |   563482 |     2249    513 |        0 |        0
341.14/341.27	c  341s |      19 |   640311 |   566282 |     2249    515 |        0 |        0
343.15/343.28	c  343s |      19 |   643821 |   569382 |     2249    517 |        0 |        0
345.14/345.28	c  345s |      19 |   647258 |   572482 |     2249    519 |        0 |        0
347.24/347.35	c  347s |      19 |   650702 |   575582 |     2249    522 |        0 |        0
349.34/349.40	c  349s |      19 |   654095 |   578682 |     2249    524 |        0 |        0
351.34/351.40	c  351s |      19 |   657282 |   581582 |     2249    526 |        0 |        0
353.34/353.49	c  353s |      19 |   660103 |   584182 |     2249    528 |        0 |        0
355.44/355.53	c  355s |      19 |   663455 |   587182 |     2249    530 |        0 |        0
357.44/357.55	c  357s |      19 |   666899 |   590282 |     2249    533 |        0 |        0
359.44/359.56	c  359s |      19 |   670079 |   593182 |     2249    535 |        0 |        0
361.44/361.56	c  361s |      19 |   673387 |   596182 |     2249    537 |        0 |        0
363.54/363.60	c  363s |      19 |   676835 |   599282 |     2249    539 |        0 |        0
365.54/365.66	c  365s |      19 |   680373 |   602482 |     2249    542 |        0 |        0
367.64/367.70	c  367s |      19 |   683482 |   605282 |     2249    544 |        0 |        0
369.54/369.70	c  369s |      19 |   686370 |   607882 |     2249    546 |        0 |        0
371.63/371.73	c  371s |      19 |   689448 |   610682 |     2249    548 |        0 |        0
373.63/373.76	c  373s |      19 |   693109 |   613882 |     2249    550 |        0 |        0
375.73/375.84	c  375s |      19 |   696769 |   617082 |     2249    553 |        0 |        0
377.73/377.85	c  377s |      19 |   700258 |   620182 |     2249    555 |        0 |        0
379.83/379.92	c  379s |      19 |   703206 |   622882 |     2249    557 |        0 |        0
381.83/381.98	c  381s |      19 |   706589 |   625882 |     2249    559 |        0 |        0
383.84/383.99	c  383s |      19 |   709619 |   628582 |     2249    561 |        0 |        0
385.83/385.99	c  385s |      19 |   712789 |   631482 |     2249    564 |        0 |        0
387.93/388.01	c  387s |      19 |   715807 |   634182 |     2249    566 |        0 |        0
389.93/390.05	c  390s |      19 |   718547 |   636682 |     2249    568 |        0 |        0
392.03/392.11	c  392s |      19 |   721334 |   639182 |     2249    569 |        0 |        0
394.03/394.11	c  394s |      19 |   724994 |   642482 |     2249    572 |        0 |        0
396.04/396.12	c  396s |      19 |   728164 |   645382 |     2249    574 |        0 |        0
398.03/398.16	c  398s |      19 |   731423 |   648382 |     2249    576 |        0 |        0
400.13/400.22	c  400s |      19 |   734394 |   651082 |     2249    578 |        0 |        0
402.13/402.29	c  402s |      19 |   737234 |   653682 |     2249    580 |        0 |        0
404.23/404.33	c  404s |      19 |   740342 |   656482 |     2249    582 |        0 |        0
406.23/406.35	c  406s |      19 |   743168 |   659082 |     2249    584 |        0 |        0
408.23/408.39	c  408s |      19 |   746226 |   661882 |     2249    586 |        0 |        0
410.23/410.39	c  410s |      19 |   749039 |   664482 |     2474    588 |        0 |        0
411.83/411.99	c  411s |      20 |   751609 |   666827 |     2474    590 |        0 |        0
413.93/414.00	c  413s |      20 |   756640 |   670527 |     2474    592 |        0 |        0
415.92/416.06	c  416s |      20 |   760188 |   673727 |     2474    595 |        0 |        0
417.93/418.08	c  418s |      20 |   763523 |   676727 |     2474    597 |        0 |        0
420.02/420.13	c  420s |      20 |   767235 |   680027 |     2474    599 |        0 |        0
422.02/422.15	c  422s |      20 |   770369 |   682927 |     2474    601 |        0 |        0
424.02/424.15	c  424s |      20 |   773468 |   685727 |     2474    603 |        0 |        0
426.02/426.15	c  426s |      20 |   776501 |   688527 |     2474    605 |        0 |        0
428.02/428.19	c  428s |      20 |   779140 |   690927 |     2474    606 |        0 |        0
430.13/430.24	c  430s |      20 |   782303 |   693727 |     2474    608 |        0 |        0
432.12/432.26	c  432s |      20 |   785533 |   696527 |     2474    610 |        0 |        0
434.12/434.28	c  434s |      20 |   788958 |   699527 |     2474    612 |        0 |        0
436.12/436.28	c  436s |      20 |   792267 |   702427 |     2474    614 |        0 |        0
438.22/438.32	c  438s |      20 |   795544 |   705327 |     2474    616 |        0 |        0
440.22/440.33	c  440s |      20 |   798568 |   708027 |     2474    618 |        0 |        0
442.23/442.39	c  442s |      20 |   801775 |   710827 |     2474    620 |        0 |        0
444.33/444.44	c  444s |      20 |   804808 |   713527 |     2474    622 |        0 |        0
446.32/446.48	c  446s |      20 |   808218 |   716527 |     2474    624 |        0 |        0
448.42/448.55	c  448s |      20 |   811193 |   719227 |     2474    626 |        0 |        0
450.42/450.59	c  450s |      20 |   814458 |   722127 |     2474    628 |        0 |        0
452.52/452.62	c  452s |      20 |   817345 |   724727 |     2474    630 |        0 |        0
454.52/454.66	c  454s |      20 |   820307 |   727327 |     2474    631 |        0 |        0
456.62/456.71	c  456s |      20 |   823114 |   729827 |     2474    633 |        0 |        0
458.62/458.77	c  458s |      20 |   825884 |   732327 |     2474    635 |        0 |        0
460.72/460.83	c  460s |      20 |   828709 |   734827 |     2474    637 |        0 |        0
462.72/462.83	c  462s |      20 |   831635 |   737527 |     2474    639 |        0 |        0
464.72/464.88	c  464s |      20 |   834738 |   740327 |     2474    640 |        0 |        0
466.72/466.88	c  466s |      20 |   837621 |   742927 |     2474    642 |        0 |        0
468.82/468.90	c  468s |      20 |   840613 |   745627 |     2474    644 |        0 |        0
470.82/470.96	c  470s |      20 |   843744 |   748527 |     2474    646 |        0 |        0
472.81/472.97	c  472s |      20 |   846789 |   751327 |     2474    648 |        0 |        0
474.91/475.02	c  475s |      20 |   849766 |   754027 |     2474    650 |        0 |        0
476.91/477.07	c  477s |      20 |   852378 |   756427 |     2474    652 |        0 |        0
478.91/479.10	c  479s |      20 |   855003 |   758827 |     2474    653 |        0 |        0
481.01/481.10	c  481s |      20 |   857366 |   761027 |     2474    655 |        0 |        0
483.01/483.15	c  483s |      20 |   860512 |   763827 |     2474    657 |        0 |        0
485.12/485.22	c  485s |      20 |   863558 |   766527 |     2474    659 |        0 |        0
487.11/487.26	c  487s |      20 |   866634 |   769327 |     2474    660 |        0 |        0
489.11/489.26	c  489s |      20 |   869424 |   771827 |     2474    662 |        0 |        0
491.11/491.27	c  491s |      20 |   872805 |   774827 |     2474    664 |        0 |        0
493.11/493.29	c  493s |      20 |   875905 |   777627 |     2474    666 |        0 |        0
495.21/495.32	c  495s |      20 |   878705 |   780127 |     2474    668 |        0 |        0
497.22/497.37	c  497s |      20 |   881480 |   782627 |     2474    670 |        0 |        0
499.32/499.42	c  499s |      20 |   884130 |   785027 |     2474    671 |        0 |        0
501.31/501.42	c  501s |      20 |   887374 |   787927 |     2474    673 |        0 |        0
503.31/503.44	c  503s |      20 |   890639 |   790827 |     2474    675 |        0 |        0
505.31/505.47	c  505s |      20 |   893516 |   793427 |     2474    677 |        0 |        0
507.41/507.53	c  507s |      20 |   896233 |   795927 |     2474    679 |        0 |        0
509.41/509.55	c  509s |      20 |   898989 |   798427 |     2474    681 |        0 |        0
511.41/511.57	c  511s |      20 |   901636 |   800827 |     2474    682 |        0 |        0
513.51/513.62	c  513s |      20 |   904491 |   803427 |     2474    684 |        0 |        0
515.51/515.65	c  515s |      20 |   907069 |   805827 |     2474    686 |        0 |        0
517.51/517.68	c  517s |      20 |   909840 |   808327 |     2474    687 |        0 |        0
519.51/519.68	c  519s |      20 |   913139 |   811227 |     2474    689 |        0 |        0
521.61/521.71	c  521s |      20 |   916133 |   813927 |     2474    691 |        0 |        0
523.61/523.75	c  523s |      20 |   918962 |   816527 |     2474    693 |        0 |        0
525.61/525.79	c  525s |      20 |   921721 |   819027 |     2474    695 |        0 |        0
527.70/527.83	c  527s |      20 |   924629 |   821627 |     2474    697 |        0 |        0
529.70/529.85	c  529s |      20 |   927634 |   824327 |     2474    698 |        0 |        0
531.70/531.87	c  531s |      20 |   930743 |   827127 |     2474    700 |        0 |        0
533.70/533.89	c  533s |      20 |   933622 |   829727 |     2474    702 |        0 |        0
535.80/535.91	c  535s |      20 |   936932 |   832627 |     2474    704 |        0 |        0
537.81/537.95	c  537s |      20 |   940155 |   835527 |     2474    706 |        0 |        0
539.90/540.01	c  539s |      20 |   943148 |   838227 |     2474    708 |        0 |        0
541.90/542.02	c  542s |      20 |   946091 |   840927 |     2474    710 |        0 |        0
544.00/544.10	c  544s |      20 |   948974 |   843527 |     2474    712 |        0 |        0
546.00/546.16	c  546s |      20 |   951935 |   846227 |     2474    714 |        0 |        0
548.00/548.17	c  548s |      20 |   954483 |   848527 |     2474    715 |        0 |        0
550.10/550.24	c  550s |      20 |   957308 |   851127 |     2474    717 |        0 |        0
552.11/552.28	c  552s |      20 |   960955 |   854327 |     2474    719 |        0 |        0
554.10/554.28	c  554s |      20 |   964091 |   857127 |     2474    721 |        0 |        0
556.20/556.34	c  556s |      20 |   966997 |   859727 |     2474    723 |        0 |        0
558.20/558.38	c  558s |      20 |   969982 |   862427 |     2474    725 |        0 |        0
560.30/560.45	c  560s |      20 |   972910 |   865127 |     2474    727 |        0 |        0
562.40/562.50	c  562s |      20 |   975629 |   867627 |     2474    728 |        0 |        0
564.40/564.54	c  564s |      20 |   978632 |   870327 |     2474    730 |        0 |        0
566.41/566.55	c  566s |      20 |   981763 |   873127 |     2474    732 |        0 |        0
568.40/568.58	c  568s |      20 |   984419 |   875527 |     2474    734 |        0 |        0
570.50/570.62	c  570s |      20 |   987174 |   878027 |     2474    735 |        0 |        0
572.50/572.63	c  572s |      20 |   990005 |   880627 |     2474    737 |        0 |        0
574.60/574.70	c  574s |      20 |   992887 |   883227 |     2474    739 |        0 |        0
576.60/576.77	c  576s |      20 |   995602 |   885727 |     2474    741 |        0 |        0
578.70/578.87	c  578s |      20 |   998249 |   888127 |     2474    742 |        0 |        0
580.80/580.95	c  580s |      20 |  1001106 |   890727 |     2474    744 |        0 |        0
582.90/583.01	c  582s |      20 |  1003987 |   893327 |     2474    746 |        0 |        0
584.90/585.06	c  585s |      20 |  1006852 |   895927 |     2474    748 |        0 |        0
586.89/587.08	c  587s |      20 |  1009351 |   898227 |     2474    749 |        0 |        0
588.89/589.09	c  589s |      20 |  1012310 |   900927 |     2474    751 |        0 |        0
590.99/591.12	c  591s |      20 |  1015193 |   903527 |     2474    753 |        0 |        0
593.00/593.16	c  593s |      20 |  1017873 |   906027 |     2474    755 |        0 |        0
595.01/595.17	c  595s |      20 |  1020353 |   908327 |     2474    756 |        0 |        0
597.00/597.18	c  597s |      20 |  1022961 |   910727 |     2474    758 |        0 |        0
599.10/599.21	c  599s |      20 |  1025694 |   913227 |     2474    760 |        0 |        0
601.10/601.22	c  601s |      20 |  1028606 |   915827 |     2474    762 |        0 |        0
603.10/603.26	c  603s |      20 |  1031458 |   918427 |     2474    763 |        0 |        0
605.20/605.34	c  605s |      20 |  1034183 |   920927 |     2474    765 |        0 |        0
607.30/607.41	c  607s |      20 |  1036942 |   923427 |     2474    767 |        0 |        0
609.31/609.46	c  609s |      20 |  1039587 |   925827 |     2474    768 |        0 |        0
611.30/611.47	c  611s |      20 |  1042767 |   928727 |     2474    770 |        0 |        0
613.30/613.47	c  613s |      20 |  1045685 |   931427 |     2474    772 |        0 |        0
615.40/615.53	c  615s |      20 |  1048755 |   934227 |     2474    774 |        0 |        0
617.40/617.59	c  617s |      20 |  1051798 |   937027 |     2474    776 |        0 |        0
619.50/619.64	c  619s |      20 |  1054871 |   939827 |     2474    778 |        0 |        0
621.50/621.68	c  621s |      20 |  1057963 |   942627 |     2474    780 |        0 |        0
623.60/623.72	c  623s |      20 |  1061025 |   945427 |     2474    782 |        0 |        0
625.60/625.74	c  625s |      20 |  1063885 |   948027 |     2474    784 |        0 |        0
627.60/627.79	c  627s |      20 |  1067504 |   951127 |     2474    786 |        0 |        0
629.70/629.83	c  629s |      20 |  1070826 |   954027 |     2474    788 |        0 |        0
631.70/631.87	c  631s |      20 |  1074027 |   956827 |     2474    790 |        0 |        0
633.69/633.89	c  633s |      20 |  1077347 |   959527 |     2474    792 |        0 |        0
635.70/635.90	c  635s |      20 |  1080460 |   962127 |     2474    794 |        0 |        0
637.79/637.93	c  637s |      20 |  1083237 |   964627 |     2474    795 |        0 |        0
639.79/639.94	c  639s |      20 |  1086267 |   967227 |     2474    797 |        0 |        0
641.79/641.95	c  641s |      20 |  1089036 |   969727 |     2474    799 |        0 |        0
643.79/643.96	c  643s |      20 |  1092370 |   972527 |     2474    801 |        0 |        0
645.89/646.03	c  646s |      20 |  1095190 |   975027 |     2474    802 |        0 |        0
647.90/648.08	c  648s |      20 |  1098210 |   977727 |     2474    804 |        0 |        0
650.00/650.16	c  650s |      20 |  1101387 |   980527 |     2474    806 |        0 |        0
652.09/652.21	c  652s |      20 |  1103911 |   982827 |     2474    808 |        0 |        0
654.09/654.25	c  654s |      20 |  1106689 |   985327 |     2474    810 |        0 |        0
656.09/656.29	c  656s |      20 |  1109078 |   987527 |     2474    811 |        0 |        0
658.19/658.30	c  658s |      20 |  1111990 |   990127 |     2474    813 |        0 |        0
660.19/660.31	c  660s |      20 |  1115007 |   992827 |     2474    815 |        0 |        0
662.29/662.42	c  662s |      20 |  1118254 |   995727 |     2722    817 |        0 |        0
664.30/664.46	c  664s |      20 |  1120934 |   998127 |     2722    818 |        0 |        0
665.89/666.08	c  666s |      21 |  1123417 |  1000345 |     2722    819 |        0 |        0
667.99/668.14	c  668s |      21 |  1127984 |  1003745 |     2722    822 |        0 |        0
669.99/670.15	c  670s |      21 |  1131311 |  1006645 |     2722    823 |        0 |        0
672.09/672.20	c  672s |      21 |  1134325 |  1009345 |     2722    825 |        0 |        0
674.09/674.20	c  674s |      21 |  1137085 |  1011845 |     2722    827 |        0 |        0
676.09/676.23	c  676s |      21 |  1139899 |  1014445 |     2722    828 |        0 |        0
678.09/678.28	c  678s |      21 |  1142851 |  1017045 |     2722    830 |        0 |        0
680.09/680.30	c  680s |      21 |  1145609 |  1019545 |     2722    832 |        0 |        0
682.18/682.33	c  682s |      21 |  1148479 |  1022145 |     2722    833 |        0 |        0
684.19/684.39	c  684s |      21 |  1151359 |  1024745 |     2722    835 |        0 |        0
686.18/686.40	c  686s |      21 |  1154228 |  1027245 |     2722    837 |        0 |        0
688.28/688.47	c  688s |      21 |  1157290 |  1029845 |     2722    838 |        0 |        0
690.28/690.47	c  690s |      21 |  1160014 |  1032245 |     2722    840 |        0 |        0
692.38/692.52	c  692s |      21 |  1162821 |  1034745 |     2722    841 |        0 |        0
694.38/694.52	c  694s |      21 |  1165578 |  1037245 |     2722    843 |        0 |        0
696.38/696.56	c  696s |      21 |  1168343 |  1039745 |     2722    845 |        0 |        0
698.39/698.60	c  698s |      21 |  1171227 |  1042345 |     2722    846 |        0 |        0
700.48/700.63	c  700s |      21 |  1174144 |  1044945 |     2722    848 |        0 |        0
702.48/702.69	c  702s |      21 |  1176963 |  1047445 |     2722    849 |        0 |        0
704.58/704.71	c  704s |      21 |  1179871 |  1050045 |     2722    851 |        0 |        0
706.58/706.76	c  706s |      21 |  1182790 |  1052645 |     2722    853 |        0 |        0
708.68/708.81	c  708s |      21 |  1185786 |  1055345 |     2722    855 |        0 |        0
710.68/710.85	c  710s |      21 |  1188515 |  1057845 |     2722    856 |        0 |        0
712.69/712.87	c  712s |      21 |  1191057 |  1060145 |     2722    858 |        0 |        0
714.78/714.93	c  714s |      21 |  1193808 |  1062645 |     2722    859 |        0 |        0
716.78/716.95	c  716s |      21 |  1196002 |  1064645 |     2722    860 |        0 |        0
718.88/719.00	c  718s |      21 |  1198450 |  1066845 |     2722    862 |        0 |        0
720.88/721.05	c  721s |      21 |  1201343 |  1069445 |     2722    864 |        0 |        0
722.88/723.07	c  723s |      21 |  1204102 |  1071945 |     2722    865 |        0 |        0
724.98/725.14	c  725s |      21 |  1206764 |  1074345 |     2722    867 |        0 |        0
727.08/727.23	c  727s |      21 |  1209270 |  1076645 |     2722    868 |        0 |        0
729.08/729.27	c  729s |      21 |  1211979 |  1079045 |     2722    870 |        0 |        0
731.18/731.33	c  731s |      21 |  1215248 |  1081945 |     2722    872 |        0 |        0
733.18/733.36	c  733s |      21 |  1218375 |  1084745 |     2722    873 |        0 |        0
735.18/735.39	c  735s |      21 |  1221502 |  1087545 |     2722    875 |        0 |        0
737.27/737.41	c  737s |      21 |  1224118 |  1089945 |     2722    877 |        0 |        0
739.37/739.50	c  739s |      21 |  1226927 |  1092545 |     2722    878 |        0 |        0
741.38/741.52	c  741s |      21 |  1229574 |  1094945 |     2722    880 |        0 |        0
743.37/743.53	c  743s |      21 |  1232358 |  1097445 |     2722    881 |        0 |        0
745.37/745.55	c  745s |      21 |  1235176 |  1099945 |     2722    883 |        0 |        0
747.37/747.57	c  747s |      21 |  1237715 |  1102245 |     2722    884 |        0 |        0
749.37/749.57	c  749s |      21 |  1240105 |  1104445 |     2722    886 |        0 |        0
751.47/751.64	c  751s |      21 |  1242670 |  1106745 |     2722    887 |        0 |        0
753.48/753.68	c  753s |      21 |  1245086 |  1108945 |     2722    889 |        0 |        0
755.58/755.74	c  755s |      21 |  1247151 |  1110845 |     2722    890 |        0 |        0
757.57/757.76	c  757s |      21 |  1250269 |  1113645 |     2722    892 |        0 |        0
759.67/759.85	c  759s |      21 |  1253123 |  1116245 |     2722    893 |        0 |        0
761.67/761.89	c  761s |      21 |  1256119 |  1118945 |     2722    895 |        0 |        0
763.77/763.91	c  763s |      21 |  1258984 |  1121545 |     2722    897 |        0 |        0
765.77/765.96	c  765s |      21 |  1261961 |  1124245 |     2722    899 |        0 |        0
767.78/767.97	c  767s |      21 |  1264806 |  1126845 |     2722    900 |        0 |        0
769.77/769.98	c  769s |      21 |  1267421 |  1129245 |     2722    902 |        0 |        0
771.87/772.00	c  771s |      21 |  1270299 |  1131845 |     2722    903 |        0 |        0
773.87/774.04	c  774s |      21 |  1273603 |  1134845 |     2722    905 |        0 |        0
775.97/776.11	c  776s |      21 |  1276529 |  1137545 |     2722    907 |        0 |        0
777.97/778.14	c  778s |      21 |  1279617 |  1140345 |     2722    909 |        0 |        0
779.97/780.16	c  780s |      21 |  1282589 |  1143045 |     2722    911 |        0 |        0
781.97/782.17	c  782s |      21 |  1285593 |  1145745 |     2722    912 |        0 |        0
784.07/784.22	c  784s |      21 |  1288336 |  1148245 |     2722    914 |        0 |        0
786.07/786.26	c  786s |      21 |  1291205 |  1150845 |     2722    916 |        0 |        0
788.17/788.33	c  788s |      21 |  1293802 |  1153245 |     2722    917 |        0 |        0
790.17/790.34	c  790s |      21 |  1296819 |  1155945 |     2722    919 |        0 |        0
792.26/792.40	c  792s |      21 |  1299907 |  1158745 |     2722    921 |        0 |        0
794.26/794.43	c  794s |      21 |  1302648 |  1161245 |     2722    922 |        0 |        0
796.27/796.49	c  796s |      21 |  1305380 |  1163745 |     2722    924 |        0 |        0
798.36/798.57	c  798s |      21 |  1308082 |  1166245 |     2722    925 |        0 |        0
800.46/800.66	c  800s |      21 |  1310571 |  1168545 |     2722    927 |        0 |        0
802.56/802.73	c  802s |      21 |  1313961 |  1171545 |     2722    929 |        0 |        0
804.56/804.78	c  804s |      21 |  1316732 |  1174045 |     2722    930 |        0 |        0
806.66/806.81	c  806s |      21 |  1319663 |  1176745 |     2722    932 |        0 |        0
808.76/808.90	c  808s |      21 |  1322488 |  1179345 |     2722    934 |        0 |        0
810.76/810.99	c  810s |      21 |  1325134 |  1181745 |     2722    935 |        0 |        0
812.87/813.05	c  813s |      21 |  1327857 |  1184245 |     2722    937 |        0 |        0
814.86/815.10	c  815s |      21 |  1330307 |  1186445 |     2722    938 |        0 |        0
816.96/817.17	c  817s |      21 |  1332810 |  1188745 |     2722    940 |        0 |        0
819.06/819.26	c  819s |      21 |  1335264 |  1190945 |     2722    941 |        0 |        0
821.06/821.27	c  821s |      21 |  1337481 |  1192945 |     2722    942 |        0 |        0
823.16/823.35	c  823s |      21 |  1339842 |  1195145 |     2722    944 |        0 |        0
825.16/825.38	c  825s |      21 |  1342822 |  1197645 |     2722    945 |        0 |        0
827.26/827.41	c  827s |      21 |  1345775 |  1200245 |     2722    947 |        0 |        0
829.26/829.46	c  829s |      21 |  1348806 |  1202945 |     2722    949 |        0 |        0
831.26/831.47	c  831s |      21 |  1351878 |  1205645 |     2722    951 |        0 |        0
833.36/833.54	c  833s |      21 |  1355376 |  1208745 |     2722    952 |        0 |        0
835.36/835.55	c  835s |      21 |  1358638 |  1211645 |     2722    954 |        0 |        0
837.36/837.56	c  837s |      21 |  1361820 |  1214445 |     2722    956 |        0 |        0
839.36/839.56	c  839s |      21 |  1364799 |  1217145 |     2722    958 |        0 |        0
841.36/841.59	c  841s |      21 |  1367913 |  1219945 |     2722    960 |        0 |        0
843.46/843.68	c  843s |      21 |  1371247 |  1222945 |     2722    962 |        0 |        0
845.56/845.75	c  845s |      21 |  1374840 |  1226145 |     2722    964 |        0 |        0
847.56/847.76	c  847s |      21 |  1378078 |  1229045 |     2722    965 |        0 |        0
849.65/849.82	c  849s |      21 |  1381263 |  1231845 |     2722    967 |        0 |        0
851.65/851.83	c  851s |      21 |  1384116 |  1234445 |     2722    969 |        0 |        0
853.65/853.83	c  853s |      21 |  1386942 |  1236945 |     2722    970 |        0 |        0
855.66/855.87	c  855s |      21 |  1390036 |  1239745 |     2722    972 |        0 |        0
857.75/857.91	c  857s |      21 |  1393321 |  1242645 |     2722    974 |        0 |        0
859.75/859.97	c  859s |      21 |  1396412 |  1245445 |     2722    976 |        0 |        0
861.85/862.06	c  862s |      21 |  1399254 |  1248045 |     2722    978 |        0 |        0
863.95/864.10	c  864s |      21 |  1402423 |  1250845 |     2722    979 |        0 |        0
865.95/866.15	c  866s |      21 |  1405306 |  1253445 |     2722    981 |        0 |        0
867.95/868.17	c  868s |      21 |  1407919 |  1255845 |     2722    983 |        0 |        0
869.96/870.19	c  870s |      21 |  1411162 |  1258745 |     2722    984 |        0 |        0
872.05/872.22	c  872s |      21 |  1414067 |  1261445 |     2722    986 |        0 |        0
874.05/874.23	c  874s |      21 |  1416791 |  1263945 |     2722    988 |        0 |        0
876.05/876.28	c  876s |      21 |  1419705 |  1266645 |     2722    989 |        0 |        0
878.15/878.35	c  878s |      21 |  1422685 |  1269345 |     2722    991 |        0 |        0
880.15/880.39	c  880s |      21 |  1425643 |  1272045 |     2722    993 |        0 |        0
882.25/882.42	c  882s |      21 |  1428564 |  1274745 |     2722    995 |        0 |        0
884.26/884.45	c  884s |      21 |  1431176 |  1277145 |     2722    996 |        0 |        0
886.25/886.46	c  886s |      21 |  1433538 |  1279345 |     2722    998 |        0 |        0
888.36/888.50	c  888s |      21 |  1436367 |  1281945 |     2722    999 |        0 |        0
890.36/890.53	c  890s |      21 |  1438976 |  1284345 |     2722   1001 |        0 |        0
892.36/892.58	c  892s |      21 |  1441744 |  1286845 |     2722   1002 |        0 |        0
894.46/894.61	c  894s |      21 |  1444463 |  1289345 |     2722   1004 |        0 |        0
896.46/896.63	c  896s |      21 |  1447434 |  1292045 |     2722   1006 |        0 |        0
898.45/898.70	c  898s |      21 |  1450342 |  1294645 |     2722   1007 |        0 |        0
900.56/900.71	c  900s |      21 |  1453137 |  1297245 |     2722   1009 |        0 |        0
902.55/902.72	c  902s |      21 |  1455522 |  1299445 |     2722   1010 |        0 |        0
904.55/904.76	c  904s |      21 |  1458236 |  1301945 |     2722   1012 |        0 |        0
906.55/906.78	c  906s |      21 |  1461074 |  1304545 |     2722   1014 |        0 |        0
908.65/908.84	c  908s |      21 |  1463950 |  1307145 |     2722   1015 |        0 |        0
910.66/910.90	c  910s |      21 |  1466762 |  1309745 |     2722   1017 |        0 |        0
912.75/912.96	c  912s |      21 |  1469346 |  1312145 |     2722   1018 |        0 |        0
914.85/915.00	c  914s |      21 |  1471935 |  1314545 |     2722   1020 |        0 |        0
916.85/917.02	c  917s |      21 |  1474474 |  1316845 |     2722   1021 |        0 |        0
918.85/919.07	c  919s |      21 |  1477091 |  1319245 |     2722   1023 |        0 |        0
920.95/921.17	c  921s |      21 |  1479736 |  1321645 |     2722   1025 |        0 |        0
922.95/923.19	c  923s |      21 |  1482610 |  1324245 |     2722   1026 |        0 |        0
925.06/925.21	c  925s |      21 |  1485459 |  1326845 |     2722   1028 |        0 |        0
927.05/927.24	c  927s |      21 |  1488184 |  1329345 |     2722   1030 |        0 |        0
929.15/929.30	c  929s |      21 |  1490824 |  1331745 |     2722   1031 |        0 |        0
931.15/931.34	c  931s |      21 |  1493341 |  1334045 |     2722   1033 |        0 |        0
933.25/933.42	c  933s |      21 |  1496488 |  1336845 |     2722   1034 |        0 |        0
935.25/935.43	c  935s |      21 |  1499461 |  1339545 |     2722   1036 |        0 |        0
937.25/937.46	c  937s |      21 |  1501947 |  1341845 |     2722   1037 |        0 |        0
939.25/939.47	c  939s |      21 |  1504417 |  1344145 |     2722   1039 |        0 |        0
941.35/941.51	c  941s |      21 |  1506893 |  1346445 |     2722   1040 |        0 |        0
943.35/943.51	c  943s |      21 |  1509306 |  1348645 |     2722   1042 |        0 |        0
945.45/945.60	c  945s |      21 |  1512051 |  1351145 |     2722   1043 |        0 |        0
947.45/947.66	c  947s |      21 |  1514453 |  1353345 |     2722   1045 |        0 |        0
949.54/949.70	c  949s |      21 |  1516945 |  1355645 |     2722   1046 |        0 |        0
951.54/951.71	c  951s |      21 |  1519520 |  1357945 |     2722   1048 |        0 |        0
953.55/953.74	c  953s |      21 |  1521804 |  1359945 |     2722   1049 |        0 |        0
955.54/955.75	c  955s |      21 |  1525046 |  1362645 |     2722   1051 |        0 |        0
957.64/957.81	c  957s |      21 |  1527938 |  1365145 |     2722   1052 |        0 |        0
959.64/959.89	c  959s |      21 |  1531039 |  1367845 |     2722   1054 |        0 |        0
961.74/961.94	c  961s |      21 |  1533544 |  1370045 |     2722   1056 |        0 |        0
963.84/964.02	c  963s |      21 |  1536315 |  1372445 |     2722   1057 |        0 |        0
965.84/966.09	c  966s |      21 |  1538701 |  1374545 |     2722   1058 |        0 |        0
967.95/968.14	c  968s |      21 |  1541723 |  1377045 |     2722   1060 |        0 |        0
969.94/970.14	c  970s |      21 |  1544093 |  1379145 |     2722   1061 |        0 |        0
971.94/972.18	c  972s |      21 |  1546365 |  1381145 |     2722   1063 |        0 |        0
973.94/974.19	c  974s |      21 |  1548571 |  1383145 |     2722   1064 |        0 |        0
976.04/976.20	c  976s |      21 |  1551158 |  1385445 |     2722   1065 |        0 |        0
978.04/978.26	c  978s |      21 |  1553682 |  1387745 |     2722   1067 |        0 |        0
980.05/980.27	c  980s |      21 |  1556154 |  1389945 |     2722   1068 |        0 |        0
982.15/982.33	c  982s |      21 |  1558698 |  1392245 |     2722   1070 |        0 |        0
984.14/984.37	c  984s |      21 |  1561060 |  1394345 |     2722   1071 |        0 |        0
986.24/986.42	c  986s |      21 |  1563792 |  1396745 |     2722   1073 |        0 |        0
988.24/988.49	c  988s |      21 |  1566641 |  1399345 |     2722   1074 |        0 |        0
990.34/990.51	c  990s |      21 |  1569291 |  1401745 |     2722   1076 |        0 |        0
992.34/992.52	c  992s |      21 |  1572019 |  1404245 |     2722   1077 |        0 |        0
994.44/994.61	c  994s |      21 |  1574654 |  1406645 |     2722   1079 |        0 |        0
996.44/996.63	c  996s |      21 |  1577357 |  1409045 |     2722   1080 |        0 |        0
998.54/998.72	c  998s |      21 |  1579707 |  1411145 |     2722   1082 |        0 |        0
1000.54/1000.76	c 1000s |      21 |  1582136 |  1413345 |     2722   1083 |        0 |        0
1002.64/1002.84	c 1002s |      21 |  1584369 |  1415345 |     2722   1085 |        0 |        0
1004.64/1004.86	c 1004s |      21 |  1586907 |  1417545 |     2722   1086 |        0 |        0
1006.74/1006.92	c 1006s |      21 |  1589604 |  1419845 |     2722   1087 |        0 |        0
1008.74/1008.95	c 1008s |      21 |  1592236 |  1422145 |     2722   1089 |        0 |        0
1010.74/1010.98	c 1010s |      21 |  1594450 |  1424145 |     2722   1090 |        0 |        0
1012.83/1013.03	c 1013s |      21 |  1596848 |  1426145 |     2722   1091 |        0 |        0
1014.83/1015.09	c 1015s |      21 |  1599314 |  1428345 |     2722   1093 |        0 |        0
1016.93/1017.12	c 1017s |      21 |  1601522 |  1430345 |     2722   1094 |        0 |        0
1019.03/1019.22	c 1019s |      21 |  1603694 |  1432345 |     2722   1095 |        0 |        0
1021.03/1021.29	c 1021s |      21 |  1607322 |  1435445 |     2722   1097 |        0 |        0
1023.13/1023.32	c 1023s |      21 |  1610539 |  1438245 |     2722   1099 |        0 |        0
1025.14/1025.35	c 1025s |      21 |  1613783 |  1441045 |     2722   1101 |        0 |        0
1027.13/1027.35	c 1027s |      21 |  1616852 |  1443745 |     2722   1103 |        0 |        0
1029.13/1029.39	c 1029s |      21 |  1619777 |  1446345 |     2722   1104 |        0 |        0
1031.13/1031.39	c 1031s |      21 |  1622355 |  1448645 |     2722   1106 |        0 |        0
1033.23/1033.46	c 1033s |      21 |  1624925 |  1450945 |     2722   1107 |        0 |        0
1035.23/1035.46	c 1035s |      21 |  1627260 |  1453045 |     2722   1109 |        0 |        0
1037.24/1037.49	c 1037s |      21 |  1630316 |  1455745 |     2722   1110 |        0 |        0
1039.33/1039.52	c 1039s |      21 |  1632950 |  1458145 |     2722   1112 |        0 |        0
1041.33/1041.54	c 1041s |      21 |  1635612 |  1460545 |     2722   1113 |        0 |        0
1043.33/1043.56	c 1043s |      21 |  1638010 |  1462745 |     2722   1115 |        0 |        0
1045.43/1045.62	c 1045s |      21 |  1640510 |  1465045 |     2722   1116 |        0 |        0
1047.42/1047.66	c 1047s |      21 |  1642778 |  1467145 |     2722   1118 |        0 |        0
1049.42/1049.69	c 1049s |      21 |  1645660 |  1469645 |     2722   1119 |        0 |        0
1051.43/1051.69	c 1051s |      21 |  1648168 |  1471845 |     2722   1121 |        0 |        0
1053.52/1053.77	c 1053s |      21 |  1650535 |  1473945 |     2722   1122 |        0 |        0
1055.62/1055.82	c 1055s |      21 |  1653175 |  1476245 |     2722   1123 |        0 |        0
1057.62/1057.86	c 1057s |      21 |  1656098 |  1478845 |     2722   1125 |        0 |        0
1059.62/1059.88	c 1059s |      21 |  1658614 |  1481145 |     2722   1127 |        0 |        0
1061.72/1061.95	c 1061s |      21 |  1661386 |  1483645 |     2722   1128 |        0 |        0
1063.72/1063.98	c 1063s |      21 |  1664129 |  1486145 |     2722   1130 |        0 |        0
1065.83/1066.03	c 1066s |      21 |  1666781 |  1488545 |     2722   1131 |        0 |        0
1067.93/1068.11	c 1068s |      21 |  1669367 |  1490845 |     2995   1133 |        0 |        0
1069.92/1070.13	c 1070s |      21 |  1671778 |  1493045 |     2995   1134 |        0 |        0
1071.92/1072.17	c 1072s |      21 |  1674113 |  1495145 |     2995   1135 |        0 |        0
1073.92/1074.18	c 1074s |      21 |  1676520 |  1497345 |     2995   1136 |        0 |        0
1075.92/1076.19	c 1076s |      21 |  1678703 |  1499345 |     2995   1138 |        0 |        0
1077.22/1077.40	c 1077s |      22 |  1680094 |  1500622 |     2995   1138 |        0 |        0
1079.23/1079.45	c 1079s |      22 |  1684411 |  1504122 |     2995   1140 |        0 |        0
1081.23/1081.47	c 1081s |      22 |  1688068 |  1507422 |     2995   1142 |        0 |        0
1083.33/1083.52	c 1083s |      22 |  1691171 |  1510222 |     2995   1144 |        0 |        0
1085.33/1085.54	c 1085s |      22 |  1694071 |  1512922 |     2995   1146 |        0 |        0
1087.33/1087.59	c 1087s |      22 |  1697001 |  1515622 |     2995   1147 |        0 |        0
1089.43/1089.62	c 1089s |      22 |  1699929 |  1518322 |     2995   1149 |        0 |        0
1091.43/1091.64	c 1091s |      22 |  1702959 |  1521122 |     2995   1150 |        0 |        0
1093.43/1093.65	c 1093s |      22 |  1706089 |  1523922 |     2995   1152 |        0 |        0
1095.43/1095.68	c 1095s |      22 |  1709067 |  1526622 |     2995   1154 |        0 |        0
1097.53/1097.73	c 1097s |      22 |  1712224 |  1529522 |     2995   1155 |        0 |        0
1099.52/1099.74	c 1099s |      22 |  1715251 |  1532222 |     2995   1157 |        0 |        0
1101.52/1101.75	c 1101s |      22 |  1718331 |  1535022 |     2995   1159 |        0 |        0
1103.62/1103.82	c 1103s |      22 |  1721494 |  1537922 |     2995   1160 |        0 |        0
1105.62/1105.85	c 1105s |      22 |  1724463 |  1540622 |     2995   1162 |        0 |        0
1107.63/1107.88	c 1107s |      22 |  1727679 |  1543522 |     2995   1164 |        0 |        0
1109.73/1109.91	c 1109s |      22 |  1730784 |  1546322 |     2995   1165 |        0 |        0
1111.72/1111.92	c 1111s |      22 |  1733775 |  1548922 |     2995   1167 |        0 |        0
1113.72/1113.93	c 1113s |      22 |  1736643 |  1551522 |     2995   1168 |        0 |        0
1115.72/1115.94	c 1115s |      22 |  1739039 |  1553722 |     2995   1170 |        0 |        0
1117.82/1118.01	c 1117s |      22 |  1741949 |  1556322 |     2995   1171 |        0 |        0
1119.82/1120.06	c 1120s |      22 |  1745021 |  1559022 |     2995   1173 |        0 |        0
1121.93/1122.13	c 1122s |      22 |  1747996 |  1561722 |     2995   1174 |        0 |        0
1123.92/1124.17	c 1124s |      22 |  1750539 |  1564022 |     2995   1176 |        0 |        0
1126.02/1126.20	c 1126s |      22 |  1753642 |  1566822 |     2995   1177 |        0 |        0
1128.02/1128.25	c 1128s |      22 |  1756519 |  1569422 |     2995   1179 |        0 |        0
1130.12/1130.31	c 1130s |      22 |  1759870 |  1572422 |     2995   1180 |        0 |        0
1132.12/1132.32	c 1132s |      22 |  1762539 |  1574922 |     2995   1182 |        0 |        0
1134.12/1134.33	c 1134s |      22 |  1765535 |  1577622 |     2995   1184 |        0 |        0
1136.12/1136.37	c 1136s |      22 |  1768555 |  1580322 |     2995   1185 |        0 |        0
1138.22/1138.41	c 1138s |      22 |  1771522 |  1583022 |     2995   1187 |        0 |        0
1140.22/1140.44	c 1140s |      22 |  1774428 |  1585622 |     2995   1188 |        0 |        0
1142.22/1142.46	c 1142s |      22 |  1777369 |  1588322 |     2995   1190 |        0 |        0
1144.32/1144.54	c 1144s |      22 |  1780343 |  1591022 |     2995   1191 |        0 |        0
1146.31/1146.58	c 1146s |      22 |  1783231 |  1593622 |     2995   1193 |        0 |        0
1148.41/1148.61	c 1148s |      22 |  1786091 |  1596222 |     2995   1194 |        0 |        0
1150.42/1150.66	c 1150s |      22 |  1788962 |  1598822 |     2995   1196 |        0 |        0
1152.51/1152.71	c 1152s |      22 |  1791876 |  1601422 |     2995   1197 |        0 |        0
1154.51/1154.72	c 1154s |      22 |  1794916 |  1604122 |     2995   1199 |        0 |        0
1156.51/1156.75	c 1156s |      22 |  1797664 |  1606622 |     2995   1201 |        0 |        0
1158.61/1158.82	c 1158s |      22 |  1800912 |  1609522 |     2995   1202 |        0 |        0
1160.61/1160.86	c 1160s |      22 |  1804046 |  1612322 |     2995   1204 |        0 |        0
1162.62/1162.90	c 1162s |      22 |  1806831 |  1614822 |     2995   1205 |        0 |        0
1164.72/1164.92	c 1164s |      22 |  1809335 |  1617122 |     2995   1207 |        0 |        0
1166.71/1166.98	c 1166s |      22 |  1812134 |  1619622 |     2995   1208 |        0 |        0
1168.81/1169.02	c 1169s |      22 |  1815011 |  1622222 |     2995   1210 |        0 |        0
1170.81/1171.04	c 1171s |      22 |  1817860 |  1624822 |     2995   1211 |        0 |        0
1172.91/1173.11	c 1173s |      22 |  1820462 |  1627222 |     2995   1213 |        0 |        0
1174.91/1175.15	c 1175s |      22 |  1823189 |  1629722 |     2995   1214 |        0 |        0
1177.01/1177.20	c 1177s |      22 |  1825823 |  1632122 |     2995   1215 |        0 |        0
1179.02/1179.23	c 1179s |      22 |  1828703 |  1634722 |     2995   1217 |        0 |        0
1181.01/1181.26	c 1181s |      22 |  1831545 |  1637322 |     2995   1218 |        0 |        0
1183.01/1183.26	c 1183s |      22 |  1834412 |  1639922 |     2995   1220 |        0 |        0
1185.11/1185.37	c 1185s |      22 |  1837235 |  1642522 |     2995   1222 |        0 |        0
1187.11/1187.38	c 1187s |      22 |  1839668 |  1644722 |     2995   1223 |        0 |        0
1189.21/1189.43	c 1189s |      22 |  1841933 |  1646822 |     2995   1224 |        0 |        0
1191.21/1191.47	c 1191s |      22 |  1844078 |  1648822 |     2995   1225 |        0 |        0
1193.31/1193.51	c 1193s |      22 |  1846909 |  1651422 |     2995   1227 |        0 |        0
1195.31/1195.56	c 1195s |      22 |  1849830 |  1654022 |     2995   1228 |        0 |        0
1197.41/1197.62	c 1197s |      22 |  1852489 |  1656422 |     2995   1230 |        0 |        0
1199.41/1199.63	c 1199s |      22 |  1855123 |  1658822 |     2995   1231 |        0 |        0
1201.41/1201.66	c 1201s |      22 |  1857752 |  1661222 |     2995   1233 |        0 |        0
1203.51/1203.71	c 1203s |      22 |  1860631 |  1663822 |     2995   1234 |        0 |        0
1205.51/1205.75	c 1205s |      22 |  1863071 |  1666022 |     2995   1235 |        0 |        0
1207.50/1207.78	c 1207s |      22 |  1865675 |  1668422 |     2995   1237 |        0 |        0
1209.60/1209.81	c 1209s |      22 |  1868003 |  1670522 |     2995   1238 |        0 |        0
1211.60/1211.89	c 1211s |      22 |  1871025 |  1673222 |     2995   1240 |        0 |        0
1213.70/1213.91	c 1213s |      22 |  1873853 |  1675822 |     2995   1241 |        0 |        0
1215.70/1215.99	c 1215s |      22 |  1876465 |  1678222 |     2995   1242 |        0 |        0
1217.80/1218.05	c 1218s |      22 |  1879110 |  1680622 |     2995   1244 |        0 |        0
1219.90/1220.10	c 1220s |      22 |  1881730 |  1683022 |     2995   1245 |        0 |        0
1221.91/1222.16	c 1222s |      22 |  1884004 |  1685122 |     2995   1247 |        0 |        0
1223.90/1224.19	c 1224s |      22 |  1886606 |  1687422 |     2995   1248 |        0 |        0
1226.00/1226.20	c 1226s |      22 |  1889817 |  1690222 |     2995   1250 |        0 |        0
1228.00/1228.26	c 1228s |      22 |  1893105 |  1693122 |     2995   1251 |        0 |        0
1230.10/1230.30	c 1230s |      22 |  1895902 |  1695622 |     2995   1253 |        0 |        0
1232.10/1232.31	c 1232s |      22 |  1898697 |  1698122 |     2995   1254 |        0 |        0
1234.11/1234.39	c 1234s |      22 |  1901423 |  1700522 |     2995   1256 |        0 |        0
1236.21/1236.44	c 1236s |      22 |  1904317 |  1703122 |     2995   1257 |        0 |        0
1238.30/1238.50	c 1238s |      22 |  1907029 |  1705622 |     2995   1259 |        0 |        0
1240.30/1240.52	c 1240s |      22 |  1909631 |  1708022 |     2995   1260 |        0 |        0
1242.40/1242.60	c 1242s |      22 |  1912295 |  1710422 |     2995   1261 |        0 |        0
1244.40/1244.61	c 1244s |      22 |  1914771 |  1712622 |     2995   1263 |        0 |        0
1246.40/1246.63	c 1246s |      22 |  1917061 |  1714722 |     2995   1264 |        0 |        0
1248.50/1248.71	c 1248s |      22 |  1919598 |  1717022 |     2995   1265 |        0 |        0
1250.50/1250.72	c 1250s |      22 |  1922098 |  1719322 |     2995   1267 |        0 |        0
1252.50/1252.74	c 1252s |      22 |  1924759 |  1721722 |     2995   1268 |        0 |        0
1254.60/1254.81	c 1254s |      22 |  1927550 |  1724222 |     2995   1269 |        0 |        0
1256.60/1256.85	c 1256s |      22 |  1930165 |  1726522 |     2995   1271 |        0 |        0
1258.59/1258.89	c 1258s |      22 |  1932739 |  1728822 |     2995   1272 |        0 |        0
1260.69/1260.93	c 1260s |      22 |  1935269 |  1731122 |     2995   1273 |        0 |        0
1262.70/1262.97	c 1262s |      22 |  1937716 |  1733322 |     2995   1275 |        0 |        0
1264.80/1265.02	c 1264s |      22 |  1940117 |  1735522 |     2995   1276 |        0 |        0
1266.79/1267.08	c 1267s |      22 |  1942658 |  1737822 |     2995   1277 |        0 |        0
1268.79/1269.09	c 1269s |      22 |  1945721 |  1740222 |     2995   1279 |        0 |        0
1270.89/1271.16	c 1271s |      22 |  1948899 |  1742822 |     2995   1280 |        0 |        0
1272.89/1273.18	c 1273s |      22 |  1952121 |  1745422 |     2995   1282 |        0 |        0
1274.89/1275.19	c 1275s |      22 |  1955158 |  1747922 |     2995   1283 |        0 |        0
1276.99/1277.25	c 1277s |      22 |  1958061 |  1750422 |     2995   1285 |        0 |        0
1278.99/1279.29	c 1279s |      22 |  1961000 |  1752622 |     2995   1286 |        0 |        0
1281.08/1281.33	c 1281s |      22 |  1963320 |  1754422 |     2995   1287 |        0 |        0
1283.08/1283.36	c 1283s |      22 |  1965759 |  1756422 |     2995   1288 |        0 |        0
1285.18/1285.40	c 1285s |      22 |  1968749 |  1759022 |     2995   1290 |        0 |        0
1287.18/1287.45	c 1287s |      22 |  1971275 |  1761222 |     2995   1291 |        0 |        0
1289.28/1289.51	c 1289s |      22 |  1973916 |  1763522 |     2995   1292 |        0 |        0
1291.28/1291.54	c 1291s |      22 |  1976513 |  1765822 |     2995   1294 |        0 |        0
1293.38/1293.63	c 1293s |      22 |  1979359 |  1768222 |     2995   1295 |        0 |        0
1295.38/1295.68	c 1295s |      22 |  1981915 |  1770422 |     2995   1297 |        0 |        0
1297.48/1297.73	c 1297s |      22 |  1984802 |  1772822 |     2995   1298 |        0 |        0
1299.58/1299.81	c 1299s |      22 |  1987795 |  1775222 |     2995   1299 |        0 |        0
1301.57/1301.82	c 1301s |      22 |  1990608 |  1777622 |     2995   1301 |        0 |        0
1303.57/1303.84	c 1303s |      22 |  1993151 |  1779822 |     2995   1302 |        0 |        0
1305.58/1305.88	c 1305s |      22 |  1995432 |  1781822 |     2995   1303 |        0 |        0
1307.57/1307.89	c 1307s |      22 |  1998065 |  1784122 |     2995   1305 |        0 |        0
1309.57/1309.89	c 1309s |      22 |  2000782 |  1786522 |     2995   1306 |        0 |        0
1311.67/1311.91	c 1311s |      22 |  2003439 |  1788822 |     2995   1307 |        0 |        0
1313.67/1313.95	c 1313s |      22 |  2007007 |  1791822 |     2995   1309 |        0 |        0
1315.67/1315.96	c 1315s |      22 |  2010127 |  1794522 |     2995   1311 |        0 |        0
1317.77/1318.03	c 1318s |      22 |  2013385 |  1797422 |     2995   1312 |        0 |        0
1319.77/1320.09	c 1320s |      22 |  2016395 |  1800122 |     2995   1314 |        0 |        0
1321.87/1322.14	c 1322s |      22 |  2019254 |  1802722 |     2995   1316 |        0 |        0
1323.87/1324.19	c 1324s |      22 |  2022064 |  1805322 |     2995   1317 |        0 |        0
1325.97/1326.22	c 1326s |      22 |  2025035 |  1808022 |     2995   1319 |        0 |        0
1328.07/1328.30	c 1328s |      22 |  2027794 |  1810522 |     2995   1320 |        0 |        0
1330.07/1330.35	c 1330s |      22 |  2030565 |  1813022 |     2995   1322 |        0 |        0
1332.06/1332.36	c 1332s |      22 |  2033743 |  1815822 |     2995   1323 |        0 |        0
1334.07/1334.36	c 1334s |      22 |  2036653 |  1818422 |     2995   1325 |        0 |        0
1336.06/1336.37	c 1336s |      22 |  2039585 |  1821022 |     2995   1326 |        0 |        0
1338.16/1338.44	c 1338s |      22 |  2042474 |  1823622 |     2995   1328 |        0 |        0
1340.16/1340.44	c 1340s |      22 |  2045408 |  1826322 |     2995   1329 |        0 |        0
1342.26/1342.51	c 1342s |      22 |  2048049 |  1828722 |     2995   1331 |        0 |        0
1344.25/1344.55	c 1344s |      22 |  2050918 |  1831322 |     2995   1332 |        0 |        0
1346.35/1346.60	c 1346s |      22 |  2053920 |  1834022 |     2995   1334 |        0 |        0
1348.36/1348.64	c 1348s |      22 |  2056810 |  1836622 |     2995   1335 |        0 |        0
1350.35/1350.68	c 1350s |      22 |  2059797 |  1839222 |     2995   1337 |        0 |        0
1352.45/1352.77	c 1352s |      22 |  2062591 |  1841722 |     2995   1338 |        0 |        0
1354.55/1354.83	c 1354s |      22 |  2064889 |  1843822 |     2995   1340 |        0 |        0
1356.55/1356.83	c 1356s |      22 |  2067196 |  1845922 |     2995   1341 |        0 |        0
1358.54/1358.87	c 1358s |      22 |  2069846 |  1848222 |     2995   1342 |        0 |        0
1360.64/1360.90	c 1360s |      22 |  2072314 |  1850422 |     2995   1344 |        0 |        0
1362.64/1362.93	c 1362s |      22 |  2074746 |  1852622 |     2995   1345 |        0 |        0
1364.64/1364.99	c 1364s |      22 |  2077079 |  1854722 |     2995   1346 |        0 |        0
1366.74/1367.00	c 1366s |      22 |  2079185 |  1856622 |     2995   1347 |        0 |        0
1368.74/1369.09	c 1369s |      22 |  2081485 |  1858722 |     2995   1348 |        0 |        0
1370.83/1371.13	c 1371s |      22 |  2083419 |  1860522 |     2995   1349 |        0 |        0
1372.83/1373.19	c 1373s |      22 |  2085642 |  1862422 |     2995   1351 |        0 |        0
1374.93/1375.22	c 1375s |      22 |  2088152 |  1864622 |     2995   1352 |        0 |        0
1377.04/1377.31	c 1377s |      22 |  2090332 |  1866522 |     2995   1353 |        0 |        0
1379.03/1379.36	c 1379s |      22 |  2093126 |  1869022 |     2995   1354 |        0 |        0
1381.03/1381.36	c 1381s |      22 |  2095696 |  1871322 |     2995   1356 |        0 |        0
1383.02/1383.37	c 1383s |      22 |  2097971 |  1873422 |     2995   1357 |        0 |        0
1385.12/1385.48	c 1385s |      22 |  2100497 |  1875322 |     2995   1358 |        0 |        0
1387.22/1387.57	c 1387s |      22 |  2102666 |  1877222 |     2995   1359 |        0 |        0
1389.32/1389.62	c 1389s |      22 |  2104914 |  1879222 |     2995   1360 |        0 |        0
1391.33/1391.69	c 1391s |      22 |  2107130 |  1881222 |     2995   1362 |        0 |        0
1393.43/1393.78	c 1393s |      22 |  2109005 |  1882922 |     2995   1363 |        0 |        0
1395.52/1395.81	c 1395s |      22 |  2111896 |  1885422 |     2995   1364 |        0 |        0
1397.52/1397.85	c 1397s |      22 |  2114721 |  1887922 |     2995   1366 |        0 |        0
1399.52/1399.89	c 1399s |      22 |  2117716 |  1890522 |     2995   1367 |        0 |        0
1401.71/1402.03	c 1402s |      22 |  2120329 |  1892922 |     2995   1369 |        0 |        0
1403.71/1404.09	c 1404s |      22 |  2123349 |  1895622 |     2995   1370 |        0 |        0
1405.91/1406.22	c 1406s |      22 |  2126027 |  1898022 |     2995   1372 |        0 |        0
1407.91/1408.26	c 1408s |      22 |  2128890 |  1900622 |     2995   1373 |        0 |        0
1410.02/1410.34	c 1410s |      22 |  2131414 |  1902922 |     2995   1374 |        0 |        0
1412.11/1412.41	c 1412s |      22 |  2133804 |  1905122 |     2995   1376 |        0 |        0
1414.10/1414.43	c 1414s |      22 |  2136369 |  1907422 |     2995   1377 |        0 |        0
1416.10/1416.47	c 1416s |      22 |  2138935 |  1909722 |     2995   1378 |        0 |        0
1418.10/1418.49	c 1418s |      22 |  2141443 |  1912022 |     2995   1380 |        0 |        0
1420.20/1420.58	c 1420s |      22 |  2143588 |  1914022 |     2995   1381 |        0 |        0
1422.30/1422.62	c 1422s |      22 |  2145773 |  1916022 |     2995   1382 |        0 |        0
1424.30/1424.64	c 1424s |      22 |  2148045 |  1918122 |     2995   1383 |        0 |        0
1426.30/1426.67	c 1426s |      22 |  2150010 |  1919922 |     2995   1384 |        0 |        0
1428.39/1428.73	c 1428s |      22 |  2152645 |  1922322 |     2995   1386 |        0 |        0
1430.39/1430.77	c 1430s |      22 |  2154965 |  1924422 |     2995   1387 |        0 |        0
1432.39/1432.77	c 1432s |      22 |  2157137 |  1926422 |     2995   1388 |        0 |        0
1434.39/1434.77	c 1434s |      22 |  2159558 |  1928622 |     2995   1390 |        0 |        0
1436.40/1436.79	c 1436s |      22 |  2162142 |  1930922 |     2995   1391 |        0 |        0
1438.50/1438.82	c 1438s |      22 |  2164644 |  1933122 |     2995   1392 |        0 |        0
1440.48/1440.89	c 1440s |      22 |  2166823 |  1935122 |     2995   1393 |        0 |        0
1442.58/1442.97	c 1442s |      22 |  2169548 |  1937522 |     2995   1395 |        0 |        0
1444.58/1444.98	c 1444s |      22 |  2172107 |  1939822 |     2995   1396 |        0 |        0
1446.68/1447.05	c 1447s |      22 |  2174534 |  1942022 |     2995   1397 |        0 |        0
1448.68/1449.08	c 1449s |      22 |  2177054 |  1944322 |     2995   1399 |        0 |        0
1450.69/1451.09	c 1451s |      22 |  2179365 |  1946422 |     2995   1400 |        0 |        0
1452.68/1453.10	c 1453s |      22 |  2181339 |  1948222 |     2995   1401 |        0 |        0
1454.78/1455.16	c 1455s |      22 |  2183311 |  1950022 |     2995   1402 |        0 |        0
1456.88/1457.20	c 1457s |      22 |  2185327 |  1951922 |     2995   1403 |        0 |        0
1458.88/1459.23	c 1459s |      22 |  2187281 |  1953722 |     2995   1404 |        0 |        0
1460.87/1461.25	c 1461s |      22 |  2189528 |  1955722 |     2995   1405 |        0 |        0
1462.97/1463.32	c 1463s |      22 |  2192090 |  1958022 |     2995   1407 |        0 |        0
1464.98/1465.38	c 1465s |      22 |  2194638 |  1960322 |     2995   1408 |        0 |        0
1467.08/1467.44	c 1467s |      22 |  2197180 |  1962622 |     2995   1409 |        0 |        0
1469.17/1469.55	c 1469s |      22 |  2199951 |  1965122 |     2995   1411 |        0 |        0
1471.27/1471.61	c 1471s |      22 |  2202659 |  1967622 |     2995   1412 |        0 |        0
1473.27/1473.64	c 1473s |      22 |  2205403 |  1970122 |     2995   1414 |        0 |        0
1475.36/1475.71	c 1475s |      22 |  2207589 |  1972122 |     2995   1415 |        0 |        0
1477.37/1477.73	c 1477s |      22 |  2209970 |  1974322 |     2995   1416 |        0 |        0
1479.47/1479.84	c 1479s |      22 |  2212273 |  1976422 |     2995   1418 |        0 |        0
1481.48/1481.89	c 1481s |      22 |  2214603 |  1978522 |     2995   1419 |        0 |        0
1483.58/1483.91	c 1483s |      22 |  2216624 |  1980322 |     2995   1420 |        0 |        0
1485.57/1485.98	c 1485s |      22 |  2218827 |  1982322 |     2995   1421 |        0 |        0
1487.67/1488.02	c 1487s |      22 |  2221159 |  1984422 |     2995   1422 |        0 |        0
1489.67/1490.03	c 1490s |      22 |  2223344 |  1986422 |     2995   1423 |        0 |        0
1491.67/1492.06	c 1492s |      22 |  2225426 |  1988322 |     2995   1425 |        0 |        0
1493.77/1494.15	c 1494s |      22 |  2227249 |  1990022 |     2995   1426 |        0 |        0
1495.78/1496.16	c 1496s |      22 |  2229435 |  1992022 |     2995   1427 |        0 |        0
1497.77/1498.18	c 1498s |      22 |  2231544 |  1994022 |     2995   1428 |        0 |        0
1499.87/1500.26	c 1500s |      22 |  2233577 |  1995922 |     2995   1429 |        0 |        0
1501.96/1502.32	c 1502s |      22 |  2235248 |  1997522 |     2995   1430 |        0 |        0
1504.06/1504.40	c 1504s |      22 |  2237500 |  1999522 |     2995   1431 |        0 |        0
1506.06/1506.45	c 1506s |      22 |  2239374 |  2001222 |     2995   1432 |        0 |        0
1508.06/1508.48	c 1508s |      22 |  2241997 |  2003522 |     2995   1433 |        0 |        0
1510.16/1510.52	c 1510s |      22 |  2244377 |  2005622 |     2995   1435 |        0 |        0
1512.16/1512.54	c 1512s |      22 |  2246465 |  2007522 |     2995   1436 |        0 |        0
1514.25/1514.60	c 1514s |      22 |  2248474 |  2009322 |     2995   1437 |        0 |        0
1516.25/1516.66	c 1516s |      22 |  2250380 |  2011022 |     2995   1438 |        0 |        0
1518.35/1518.74	c 1518s |      22 |  2252272 |  2012722 |     2995   1439 |        0 |        0
1520.35/1520.75	c 1520s |      22 |  2254760 |  2014922 |     2995   1440 |        0 |        0
1522.35/1522.77	c 1522s |      22 |  2257234 |  2017122 |     2995   1441 |        0 |        0
1524.45/1524.81	c 1524s |      22 |  2259350 |  2019022 |     2995   1443 |        0 |        0
1526.45/1526.81	c 1526s |      22 |  2261332 |  2020822 |     2995   1444 |        0 |        0
1528.44/1528.85	c 1528s |      22 |  2263200 |  2022522 |     2995   1445 |        0 |        0
1530.54/1530.92	c 1530s |      22 |  2265932 |  2024922 |     2995   1446 |        0 |        0
1532.54/1532.95	c 1532s |      22 |  2268196 |  2026922 |     2995   1447 |        0 |        0
1534.64/1535.05	c 1535s |      22 |  2270328 |  2028822 |     2995   1448 |        0 |        0
1536.64/1537.08	c 1537s |      22 |  2272734 |  2031022 |     2995   1450 |        0 |        0
1538.65/1539.09	c 1539s |      22 |  2274954 |  2033022 |     2995   1451 |        0 |        0
1540.74/1541.13	c 1541s |      22 |  2277293 |  2035122 |     2995   1452 |        0 |        0
1542.73/1543.15	c 1543s |      22 |  2280477 |  2037922 |     2995   1454 |        0 |        0
1544.73/1545.19	c 1545s |      22 |  2283337 |  2040522 |     2995   1455 |        0 |        0
1546.83/1547.27	c 1547s |      22 |  2285958 |  2042922 |     2995   1457 |        0 |        0
1548.83/1549.28	c 1549s |      22 |  2288933 |  2045622 |     2995   1458 |        0 |        0
1550.93/1551.35	c 1551s |      22 |  2291552 |  2048022 |     2995   1460 |        0 |        0
1553.02/1553.41	c 1553s |      22 |  2294162 |  2050422 |     2995   1461 |        0 |        0
1555.03/1555.41	c 1555s |      22 |  2296910 |  2052822 |     2995   1462 |        0 |        0
1557.02/1557.47	c 1557s |      22 |  2299272 |  2054922 |     2995   1464 |        0 |        0
1559.12/1559.52	c 1559s |      22 |  2301717 |  2057122 |     2995   1465 |        0 |        0
1561.22/1561.62	c 1561s |      22 |  2303919 |  2059122 |     2995   1466 |        0 |        0
1563.32/1563.70	c 1563s |      22 |  2306600 |  2061522 |     2995   1468 |        0 |        0
1565.32/1565.78	c 1565s |      22 |  2309307 |  2063922 |     2995   1469 |        0 |        0
1567.42/1567.82	c 1567s |      22 |  2311783 |  2066122 |     2995   1470 |        0 |        0
1569.42/1569.87	c 1569s |      22 |  2314184 |  2068322 |     2995   1472 |        0 |        0
1571.41/1571.90	c 1571s |      22 |  2316494 |  2070422 |     2995   1473 |        0 |        0
1573.51/1573.94	c 1573s |      22 |  2319095 |  2072722 |     2995   1474 |        0 |        0
1575.51/1575.99	c 1575s |      22 |  2321499 |  2074822 |     2995   1475 |        0 |        0
1577.61/1578.04	c 1578s |      22 |  2323782 |  2076922 |     2995   1477 |        0 |        0
1579.71/1580.10	c 1580s |      22 |  2325983 |  2078922 |     2995   1478 |        0 |        0
1581.70/1582.14	c 1582s |      22 |  2328270 |  2081022 |     2995   1479 |        0 |        0
1583.80/1584.21	c 1584s |      22 |  2330355 |  2082922 |     2995   1480 |        0 |        0
1585.81/1586.24	c 1586s |      22 |  2332797 |  2085122 |     2995   1481 |        0 |        0
1587.80/1588.25	c 1588s |      22 |  2334757 |  2086922 |     2995   1482 |        0 |        0
1589.90/1590.39	c 1590s |      22 |  2336709 |  2088722 |     2995   1484 |        0 |        0
1592.00/1592.44	c 1592s |      22 |  2338570 |  2090422 |     2995   1485 |        0 |        0
1594.00/1594.47	c 1594s |      22 |  2341125 |  2092722 |     2995   1486 |        0 |        0
1596.10/1596.52	c 1596s |      22 |  2343461 |  2094822 |     2995   1487 |        0 |        0
1598.10/1598.58	c 1598s |      22 |  2346036 |  2097122 |     2995   1488 |        0 |        0
1600.10/1600.60	c 1600s |      22 |  2348231 |  2099122 |     2995   1490 |        0 |        0
1602.19/1602.67	c 1602s |      22 |  2350578 |  2101222 |     2995   1491 |        0 |        0
1604.29/1604.72	c 1604s |      22 |  2353133 |  2103522 |     2995   1492 |        0 |        0
1606.29/1606.73	c 1606s |      22 |  2355602 |  2105722 |     2995   1493 |        0 |        0
1608.29/1608.77	c 1608s |      22 |  2357864 |  2107822 |     2995   1495 |        0 |        0
1610.39/1610.86	c 1610s |      22 |  2360261 |  2110022 |     2995   1496 |        0 |        0
1612.49/1612.93	c 1612s |      22 |  2362866 |  2112322 |     2995   1497 |        0 |        0
1614.50/1614.98	c 1614s |      22 |  2365469 |  2114622 |     2995   1499 |        0 |        0
1616.60/1617.02	c 1617s |      22 |  2367683 |  2116622 |     2995   1500 |        0 |        0
1618.69/1619.10	c 1619s |      22 |  2369911 |  2118622 |     2995   1501 |        0 |        0
1620.68/1621.14	c 1621s |      22 |  2371897 |  2120422 |     2995   1502 |        0 |        0
1622.68/1623.15	c 1623s |      22 |  2374349 |  2122622 |     2995   1503 |        0 |        0
1624.68/1625.18	c 1625s |      22 |  2376516 |  2124622 |     2995   1505 |        0 |        0
1626.68/1627.18	c 1627s |      22 |  2378875 |  2126722 |     2995   1506 |        0 |        0
1628.79/1629.28	c 1629s |      22 |  2381843 |  2129422 |     2995   1507 |        0 |        0
1630.88/1631.32	c 1631s |      22 |  2384356 |  2131722 |     2995   1509 |        0 |        0
1632.88/1633.35	c 1633s |      22 |  2387280 |  2134322 |     2995   1510 |        0 |        0
1634.88/1635.38	c 1635s |      22 |  2389772 |  2136622 |     2995   1512 |        0 |        0
1636.98/1637.43	c 1637s |      22 |  2392720 |  2139222 |     2995   1513 |        0 |        0
1639.08/1639.53	c 1639s |      22 |  2395421 |  2141622 |     2995   1515 |        0 |        0
1641.07/1641.59	c 1641s |      22 |  2398164 |  2144122 |     2995   1516 |        0 |        0
1643.17/1643.60	c 1643s |      22 |  2400694 |  2146422 |     2995   1517 |        0 |        0
1645.17/1645.68	c 1645s |      22 |  2403082 |  2148622 |     2995   1519 |        0 |        0
1647.27/1647.76	c 1647s |      22 |  2405493 |  2150822 |     2995   1520 |        0 |        0
1649.37/1649.82	c 1649s |      22 |  2408043 |  2153122 |     2995   1521 |        0 |        0
1651.36/1651.88	c 1651s |      22 |  2410450 |  2155322 |     2995   1523 |        0 |        0
1653.46/1653.93	c 1653s |      22 |  2413246 |  2157822 |     2995   1524 |        0 |        0
1655.46/1655.96	c 1655s |      22 |  2415795 |  2160122 |     2995   1525 |        0 |        0
1657.56/1658.01	c 1657s |      22 |  2418425 |  2162522 |     2995   1527 |        0 |        0
1659.57/1660.04	c 1660s |      22 |  2420952 |  2164822 |     2995   1528 |        0 |        0
1661.55/1662.05	c 1662s |      22 |  2423733 |  2167322 |     2995   1530 |        0 |        0
1663.65/1664.13	c 1664s |      22 |  2426320 |  2169622 |     2995   1531 |        0 |        0
1665.65/1666.15	c 1666s |      22 |  2428734 |  2171822 |     2995   1532 |        0 |        0
1667.75/1668.21	c 1668s |      22 |  2431605 |  2174322 |     2995   1534 |        0 |        0
1669.75/1670.25	c 1670s |      22 |  2434127 |  2176622 |     2995   1535 |        0 |        0
1671.86/1672.31	c 1672s |      22 |  2436683 |  2178922 |     2995   1536 |        0 |        0
1673.86/1674.37	c 1674s |      22 |  2439222 |  2181222 |     2995   1538 |        0 |        0
1675.86/1676.37	c 1676s |      22 |  2441561 |  2183322 |     2995   1539 |        0 |        0
1677.96/1678.42	c 1678s |      22 |  2444206 |  2185722 |     2995   1540 |        0 |        0
1679.96/1680.48	c 1680s |      22 |  2446789 |  2188022 |     2995   1542 |        0 |        0
1682.05/1682.54	c 1682s |      22 |  2449224 |  2190222 |     2995   1543 |        0 |        0
1684.05/1684.57	c 1684s |      22 |  2451613 |  2192422 |     2995   1544 |        0 |        0
1686.15/1686.63	c 1686s |      22 |  2454032 |  2194622 |     2995   1546 |        0 |        0
1688.16/1688.69	c 1688s |      22 |  2456429 |  2196822 |     2995   1547 |        0 |        0
1690.26/1690.73	c 1690s |      22 |  2458394 |  2198622 |     2995   1548 |        0 |        0
1692.34/1692.81	c 1692s |      22 |  2460774 |  2200722 |     2995   1549 |        0 |        0
1694.44/1694.91	c 1694s |      22 |  2462994 |  2202722 |     2995   1550 |        0 |        0
1696.44/1696.94	c 1696s |      22 |  2465116 |  2204622 |     2995   1552 |        0 |        0
1698.44/1698.99	c 1698s |      22 |  2467625 |  2206822 |     2995   1553 |        0 |        0
1700.54/1701.06	c 1701s |      22 |  2469980 |  2208922 |     2995   1554 |        0 |        0
1702.64/1703.12	c 1703s |      22 |  2471993 |  2210722 |     2995   1555 |        0 |        0
1704.74/1705.21	c 1705s |      22 |  2474303 |  2212722 |     2995   1556 |        0 |        0
1706.74/1707.21	c 1707s |      22 |  2476681 |  2214822 |     2995   1558 |        0 |        0
1708.74/1709.29	c 1709s |      22 |  2479167 |  2217022 |     2995   1559 |        0 |        0
1710.83/1711.31	c 1711s |      22 |  2481309 |  2218922 |     2995   1560 |        0 |        0
1712.83/1713.39	c 1713s |      22 |  2483498 |  2220922 |     2995   1561 |        0 |        0
1714.93/1715.45	c 1715s |      22 |  2485559 |  2222822 |     2995   1562 |        0 |        0
1717.03/1717.51	c 1717s |      22 |  2487529 |  2224622 |     2995   1563 |        0 |        0
1719.03/1719.57	c 1719s |      22 |  2489504 |  2226422 |     2995   1564 |        0 |        0
1721.13/1721.64	c 1721s |      22 |  2491778 |  2228422 |     2995   1566 |        0 |        0
1723.13/1723.65	c 1723s |      22 |  2494049 |  2230422 |     2995   1567 |        0 |        0
1725.23/1725.73	c 1725s |      22 |  2496408 |  2232522 |     2995   1568 |        0 |        0
1727.23/1727.73	c 1727s |      22 |  2498674 |  2234522 |     2995   1569 |        0 |        0
1729.23/1729.75	c 1729s |      22 |  2500810 |  2236422 |     3295   1570 |        0 |        0
1731.32/1731.84	c 1731s |      22 |  2503007 |  2238422 |     3295   1571 |        0 |        0
1733.32/1733.86	c 1733s |      22 |  2504531 |  2239822 |     3295   1572 |        0 |        0
1735.33/1735.88	c 1735s |      22 |  2506379 |  2241522 |     3295   1573 |        0 |        0
1737.42/1737.94	c 1737s |      22 |  2508461 |  2243422 |     3295   1574 |        0 |        0
1739.52/1740.04	c 1740s |      22 |  2510296 |  2245122 |     3295   1575 |        0 |        0
1741.51/1742.06	c 1742s |      22 |  2512754 |  2247322 |     3295   1576 |        0 |        0
1743.61/1744.16	c 1744s |      22 |  2514826 |  2249222 |     3295   1577 |        0 |        0
1745.51/1746.03	c 1746s |      23 |  2516836 |  2251038 |     3295   1578 |        0 |        0
1747.61/1748.13	c 1748s |      23 |  2520810 |  2254138 |     3295   1580 |        0 |        0
1749.62/1750.15	c 1750s |      23 |  2523597 |  2256638 |     3295   1581 |        0 |        0
1751.70/1752.23	c 1752s |      23 |  2526350 |  2259138 |     3295   1582 |        0 |        0
1753.70/1754.29	c 1754s |      23 |  2528788 |  2261338 |     3295   1583 |        0 |        0
1755.80/1756.35	c 1756s |      23 |  2531047 |  2263438 |     3295   1585 |        0 |        0
1757.90/1758.40	c 1758s |      23 |  2533444 |  2265638 |     3295   1586 |        0 |        0
1759.90/1760.44	c 1760s |      23 |  2535947 |  2267938 |     3295   1587 |        0 |        0
1762.00/1762.52	c 1762s |      23 |  2538461 |  2270238 |     3295   1588 |        0 |        0
1764.01/1764.58	c 1764s |      23 |  2540994 |  2272538 |     3295   1589 |        0 |        0
1766.11/1766.69	c 1766s |      23 |  2543533 |  2274838 |     3295   1591 |        0 |        0
1768.20/1768.73	c 1768s |      23 |  2546047 |  2277138 |     3295   1592 |        0 |        0
1770.20/1770.79	c 1770s |      23 |  2548879 |  2279638 |     3295   1593 |        0 |        0
1772.29/1772.80	c 1772s |      23 |  2551274 |  2281738 |     3295   1594 |        0 |        0
1774.29/1774.82	c 1774s |      23 |  2553740 |  2283838 |     3295   1596 |        0 |        0
1776.29/1776.86	c 1776s |      23 |  2556040 |  2285838 |     3295   1597 |        0 |        0
1778.39/1778.95	c 1778s |      23 |  2558767 |  2288238 |     3295   1598 |        0 |        0
1780.50/1781.03	c 1781s |      23 |  2561270 |  2290438 |     3295   1599 |        0 |        0
1782.49/1783.09	c 1783s |      23 |  2563597 |  2292538 |     3295   1600 |        0 |        0
1784.59/1785.16	c 1785s |      23 |  2566173 |  2294838 |     3295   1601 |        0 |        0
1786.69/1787.25	c 1787s |      23 |  2568310 |  2296738 |     3295   1602 |        0 |        0
1788.79/1789.31	c 1789s |      23 |  2570651 |  2298838 |     3295   1604 |        0 |        0
1790.78/1791.38	c 1791s |      23 |  2572985 |  2300938 |     3295   1605 |        0 |        0
1792.88/1793.48	c 1793s |      23 |  2575308 |  2303038 |     3295   1606 |        0 |        0
1794.88/1795.48	c 1795s |      23 |  2577334 |  2304838 |     3295   1607 |        0 |        0
1796.89/1797.49	c 1797s |      23 |  2579922 |  2307138 |     3295   1608 |        0 |        0
1798.98/1799.58	c 1799s |      23 |  2582465 |  2309438 |     3295   1609 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=17558
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.37 0.60 0.32 2/179 17561
/proc/meminfo: memFree=27702128/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 2713 0 0 0 0 0 0 0 20 0 4 0 22659756 744943616 3075 33554432000 4194304 16246674 140736482444432 140736482443856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 182383 3084 441 2943 0 179277 0
[pid=17561/tid=17562] ppid=17558 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 762769408 3145 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 768012288 3163 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659756 772206592 3180 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 1.37 0.60 0.32 2/179 17561
/proc/meminfo: memFree=27702128/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 33088 0 0 0 4 5 0 0 20 0 4 0 22659756 1247350784 33438 33554432000 4194304 16246674 140736482444432 140736482443856 13193109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 304529 33449 703 2943 0 301423 0
[pid=17561/tid=17562] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 33453 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 33460 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 33468 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200541 s]
/proc/loadavg: 1.37 0.60 0.32 2/179 17561
/proc/meminfo: memFree=27702128/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 67564 0 0 0 10 9 0 0 20 0 4 0 22659756 1247350784 67915 33554432000 4194304 16246674 140736482444432 140736482427432 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 304529 67924 711 2943 0 301423 0
[pid=17561/tid=17562] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 67935 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 67948 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 67963 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300465 s]
/proc/loadavg: 1.37 0.60 0.32 2/179 17561
/proc/meminfo: memFree=27702128/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 102381 0 0 0 14 15 0 0 20 0 4 0 22659756 1247350784 102731 33554432000 4194304 16246674 140736482444432 140736482427432 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 304529 102748 711 2943 0 301423 0
[pid=17561/tid=17562] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 102754 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 102760 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 102765 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700348 s]
/proc/loadavg: 1.37 0.60 0.32 2/179 17561
/proc/meminfo: memFree=27702128/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 241663 0 0 0 37 32 0 0 20 0 4 0 22659756 1247350784 242014 33554432000 4194304 16246674 140736482444432 140736482427432 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 304529 242034 711 2943 0 301423 0
[pid=17561/tid=17562] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 242047 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 242058 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659756 1247350784 242072 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 1.37 0.60 0.32 3/183 17565
/proc/meminfo: memFree=26620304/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 266779 0 0 0 114 35 0 0 20 0 4 0 22659756 1334382592 267109 33554432000 4194304 16246674 140736482444432 140736482426304 5546456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 325777 267109 787 2943 0 322671 0
[pid=17561/tid=17562] ppid=17558 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1334382592 267109 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1334382592 267109 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1334382592 267109 33554432000 4194304 16246674 140736482444432 140405796490416 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) 1303108

[startup+3.10037 s]
/proc/loadavg: 1.37 0.60 0.32 3/183 17565
/proc/meminfo: memFree=26542692/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 267644 0 0 0 274 35 0 0 20 0 4 0 22659756 1338576896 267974 33554432000 4194304 16246674 140736482444432 140736482426304 5721402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 326801 267974 789 2943 0 323695 0
[pid=17561/tid=17562] ppid=17558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1338576896 267974 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1338576896 267974 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1338576896 267974 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 1.58 0.66 0.34 3/183 17565
/proc/meminfo: memFree=26541124/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 267828 0 0 0 594 35 0 0 20 0 4 0 22659756 1338576896 268158 33554432000 4194304 16246674 140736482444432 140736482426304 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 326801 268158 789 2943 0 323695 0
[pid=17561/tid=17562] ppid=17558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1338576896 268158 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1338576896 268158 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1338576896 268158 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.62 0.68 0.35 4/183 17565
/proc/meminfo: memFree=26538988/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 268084 0 0 0 1233 35 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140736482426304 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 327057 268414 789 2943 0 323951 0
[pid=17561/tid=17562] ppid=17558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 1.85 0.78 0.38 4/183 17565
/proc/meminfo: memFree=26538604/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 268084 0 0 0 2513 35 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140736482427432 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 327057 268414 789 2943 0 323951 0
[pid=17561/tid=17562] ppid=17558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1339625472 268414 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 1.97 0.89 0.43 3/183 17565
/proc/meminfo: memFree=26531788/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 268596 0 0 0 5072 36 0 0 20 0 4 0 22659756 1341722624 268926 33554432000 4194304 16246674 140736482444432 140736482426304 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 327569 268926 789 2943 0 324463 0
[pid=17561/tid=17562] ppid=17558 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1341722624 268926 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1341722624 268926 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1341722624 268926 33554432000 4194304 16246674 140736482444432 140405796490416 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) 1310276

[startup+102.3 s]
/proc/loadavg: 2.13 1.10 0.52 3/184 17569
/proc/meminfo: memFree=26522392/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 269110 0 0 0 10192 36 0 0 20 0 4 0 22659756 1343819776 269440 33554432000 4194304 16246674 140736482444432 140736482427432 5546107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 328081 269440 791 2943 0 324975 0
[pid=17561/tid=17562] ppid=17558 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1343819776 269440 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1343819776 269440 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1343819776 269440 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270722 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.26 2.25 1.78 3/184 17599
/proc/meminfo: memFree=26509692/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1317444 CPUtime=1302.07 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270418 0 0 0 130166 41 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140736482426304 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329361 270725 793 2943 0 326255 0
[pid=17561/tid=17562] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 1.81 3/183 17601
/proc/meminfo: memFree=26509708/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1317444 CPUtime=1362.04 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270462 0 0 0 136162 42 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140736482426304 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329361 270725 793 2943 0 326255 0
[pid=17561/tid=17562] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.22 2.24 1.83 4/182 17602
/proc/meminfo: memFree=26510208/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1317444 CPUtime=1422 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270505 0 0 0 142158 42 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140736482426304 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329361 270725 793 2943 0 326255 0
[pid=17561/tid=17562] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.18 2.23 1.85 3/183 17604
/proc/meminfo: memFree=26509628/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1317444 CPUtime=1481.97 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270546 0 0 0 148154 43 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140736482426304 12478176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329361 270725 793 2943 0 326255 0
[pid=17561/tid=17562] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.15 2.21 1.87 3/183 17605
/proc/meminfo: memFree=26509548/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1317444 CPUtime=1541.94 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270590 0 0 0 154151 43 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140736482426304 5546015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329361 270725 793 2943 0 326255 0
[pid=17561/tid=17562] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1349062656 270725 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.31 2.25 1.90 4/183 17606
/proc/meminfo: memFree=26508288/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1318468 CPUtime=1601.89 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270808 0 0 0 160146 43 0 0 20 0 4 0 22659756 1350111232 270901 33554432000 4194304 16246674 140736482444432 140736482426304 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329617 270901 793 2943 0 326511 0
[pid=17561/tid=17562] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270901 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270901 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270901 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 1.92 3/183 17608
/proc/meminfo: memFree=26508232/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1318468 CPUtime=1661.86 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270933 0 0 0 166143 43 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140736482426304 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329617 270981 793 2943 0 326511 0
[pid=17561/tid=17562] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.21 2.23 1.93 3/183 17609
/proc/meminfo: memFree=26508044/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1318468 CPUtime=1721.83 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 270973 0 0 0 172139 44 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140736482426304 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329617 270981 793 2943 0 326511 0
[pid=17561/tid=17562] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.19 2.23 1.94 4/183 17610
/proc/meminfo: memFree=26507340/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1318468 CPUtime=1781.79 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 271012 0 0 0 178135 44 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140736482426304 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329617 270981 793 2943 0 326511 0
[pid=17561/tid=17562] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.24 1.95 3/183 17610
/proc/meminfo: memFree=26508252/32872528 swapFree=1459628/1655852
[pid=17561] ppid=17558 vsize=1318468 CPUtime=1800.08 cores=0,2,4,6
/proc/17561/stat : 17561 (toysat) R 17558 17561 16189 0 -1 4202496 271019 0 0 0 179964 44 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140736482443608 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17561/statm: 329617 270981 793 2943 0 326511 0
[pid=17561/tid=17562] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17562/stat : 17562 (toysat) S 17558 17561 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405817453808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17561/tid=17563] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17563/stat : 17563 (toysat) S 17558 17561 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405806963952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17561/tid=17564] ppid=17558 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17561/task/17564/stat : 17564 (toysat) S 17558 17561 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659756 1350111232 270981 33554432000 4194304 16246674 140736482444432 140405796490416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1318468

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 17561 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.62
CPU time (s): 1800.11
CPU user time (s): 1799.65
CPU system time (s): 0.45793
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.45793
maximum resident set size= 1083924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271019
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= 385
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4341 second user time and 16.6035 second system time

The end

Begin job on node136 at 2016-06-18 01:29:02
IDJOB=4099508
IDBENCH=1431
IDSOLVER=2542
FILE ID=node136/4099508-1466206142
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 3fa1f197015efe7b715c83a938660d2f
RANDOM SEED=241609945

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27703316 kB
Buffers:          133032 kB
Cached:          1640168 kB
SwapCached:            0 kB
Active:          1129756 kB
Inactive:        1640064 kB
Active(anon):     999084 kB
Inactive(anon):        0 kB
Active(file):     130672 kB
Inactive(file):  1640064 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             32992 kB
Writeback:             0 kB
AnonPages:       2652648 kB
Mapped:            15964 kB
Shmem:               204 kB
Slab:             609680 kB
SReclaimable:      52932 kB
SUnreclaim:       556748 kB
KernelStack:        1456 kB
PageTables:         9652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2787472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71704 MiB
End job on node136 at 2016-06-18 01:59:03