0.00/0.00	c 2016-06-15T23:34:57+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-4089393-1466026497.opb"]
0.00/0.01	c use --random-gen="967275076 29172904 1651248460 3080144295 1037472787 2611683967 2551177525 1712043893 1309410056 3625485360 3096125849 2816972784 2401720786 3017977542 708811915 151802739 917808614 3465858122 370897239 761358925 2876296745 3451531145 3770879800 389738684 4012794309 3252887686 2640132906 3860615211 4125848092 427425950 152284255 1307834831 820753916 2889799375 769643019 1259784731 1218697743 3367182389 3259579520 2119668409 226573874 702819040 458765532 1755687366 4298978 319033916 1624060076 3814282414 142365088 3701193544 275643476 2085385546 626439021 2682214674 4081068045 763074297 3284167282 2975650694 2615493843 2892719099 3258578013 224954107 65166635 3495882312 1253326899 2869144601 1174307764 868443829 2140880756 1172160759 203347216 2079214310 2381827504 3247818323 2760413757 2616183763 164342100 3109641225 2286681877 1124035629 2102316660 3229217973 736487532 774890077 2869267992 3467107495 1002987157 2005936248 4190483848 215534288 153024286 1027145840 3789447092 4093477079 1660571448 2551526377 3279159207 2212889935 2081695662 3706554309 1388221754 1285234282 524332272 3067791133 246544124 2517717164 1215463560 3231826587 954306353 1584678570 906427460 4189199169 2796747982 3862321373 4096813479 1548921595 3880060645 1056707004 538490104 1043826353 1976800955 610385878 4183467886 2000704938 2976198440 1291575221 4178619459 4059653147 3989471051 3518920767 3563190704 3163862758 2139793759 762307629 1129322779 2215328619 1224615943 1390613201 2519022867 3872182910 2895573858 1774402306 2465424436 1629354529 2773912134 729466920 2240517719 265452885 1963339461 1821758972 854576174 3303643895 163698114 1084199063 2044899071 1171213533 2025965792 2627883645 2793227229 1214521029 3501353079 1594030711 4199544619 3248737870 2022888702 2414031727 1577156604 561032229 3283320796 1290752932 272527860 1603595894 1271379279 2240019810 3541835351 3682376584 2645674339 4110373314 333170301 3596169318 3392868186 3148849349 617060685 1756364642 3291363166 1475336574 986880906 3259659330 3469724961 3880952175 1751823714 1184417699 408473259 2301175467 254097254 3743905106 3200579899 3199194476 306215297 3977554153 1718664270 2810503447 4001185484 2855158304 3570001310 1695340378 3916921163 3850853158 3890315245 2708491003 4096314226 2014138151 2669191927 3752698922 4281048211 760421220 863858644 2130252420 3574332633 3233422260 2153447564 3006179271 3855283953 1238238742 3484957147 2534141624 544732242 2246425134 2822441679 4115531011 2198487638 2431925318 2182229296 1299053145 721726161 4048064371 4013252022 1833380398 3672538241 135030005 3469204751 3762824631 2433888024 3063097685 1682883048 3942126833 4029974443 216615782 1309037739 2604782045 3551407634 2622135133 2941786894 1885024767 1470754684 3468277152 255 362436" option to reproduce the execution
0.00/0.01	c #vars 290
0.00/0.01	c #constraints 581
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 |      290      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      240 |      100 |      290      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      527 |      250 |      319      0 |        0 |        0
0.09/0.18	c  0.2s |       3 |      894 |      475 |      351      0 |        0 |        0
0.29/0.32	c  0.3s |       4 |     1369 |      813 |      387      2 |        0 |        0
0.48/0.52	c  0.5s |       5 |     2023 |     1320 |      426      3 |        0 |        0
0.79/0.84	c  0.8s |       6 |     2923 |     2081 |      516      6 |        0 |        0
1.10/1.15	c  1.1s |       7 |     4204 |     3223 |      568      9 |        0 |        0
1.58/1.67	c  1.7s |       8 |     6062 |     4936 |      625     14 |        0 |        0
2.39/2.40	c  2.4s |       9 |     8775 |     7506 |      688     21 |        0 |        0
3.49/3.57	c  3.6s |      10 |    12817 |    11361 |      757     30 |        0 |        0
5.39/5.40	c  5.4s |      11 |    18766 |    17144 |      833     43 |        0 |        0
7.39/7.42	c  7.4s |      11 |    25343 |    23544 |      833     56 |        0 |        0
8.09/8.14	c  8.1s |      12 |    27638 |    25819 |      917     60 |        0 |        0
10.09/10.16	c 10.1s |      12 |    34353 |    32319 |      917     73 |        0 |        0
12.10/12.16	c 12.1s |      12 |    40743 |    38619 |     1009     85 |        0 |        0
12.20/12.22	c 12.2s |      13 |    40954 |    38832 |     1009     85 |        0 |        0
14.19/14.22	c 14.2s |      13 |    47413 |    45132 |     1009     96 |        0 |        0
16.19/16.24	c 16.2s |      13 |    53675 |    51332 |     1009    107 |        0 |        0
18.19/18.27	c 18.3s |      13 |    60044 |    57632 |     1009    118 |        0 |        0
18.39/18.49	c 18.5s |      14 |    60772 |    58352 |     1110    119 |        0 |        0
20.39/20.49	c 20.5s |      14 |    67482 |    64852 |     1110    129 |        0 |        0
22.49/22.50	c 22.5s |      14 |    73876 |    71152 |     1110    139 |        0 |        0
24.49/24.53	c 24.5s |      14 |    80289 |    77452 |     1110    149 |        0 |        0
26.50/26.53	c 26.5s |      14 |    86361 |    83452 |     1110    159 |        0 |        0
27.89/27.91	c 27.9s |      15 |    90590 |    87632 |     1221    165 |        0 |        0
29.89/29.92	c 29.9s |      15 |    96778 |    93632 |     1221    174 |        0 |        0
31.90/31.95	c 31.9s |      15 |   103040 |    99832 |     1221    183 |        0 |        0
33.89/33.95	c 33.9s |      15 |   109286 |   105932 |     1221    192 |        0 |        0
35.89/35.97	c 35.9s |      15 |   115375 |   111932 |     1221    201 |        0 |        0
37.89/37.99	c 38.0s |      15 |   121279 |   117732 |     1221    210 |        0 |        0
39.99/40.02	c 40.0s |      15 |   127248 |   123632 |     1221    218 |        0 |        0
41.99/42.05	c 42.0s |      15 |   133013 |   129332 |     1221    227 |        0 |        0
42.79/42.83	c 42.8s |      16 |   135273 |   131552 |     1344    230 |        0 |        0
44.79/44.85	c 44.8s |      16 |   142258 |   138252 |     1344    239 |        0 |        0
46.79/46.87	c 46.9s |      16 |   148809 |   144652 |     1344    247 |        0 |        0
48.79/48.88	c 48.9s |      16 |   154782 |   150552 |     1344    255 |        0 |        0
50.79/50.89	c 50.9s |      16 |   161104 |   156752 |     1344    264 |        0 |        0
52.89/52.92	c 52.9s |      16 |   167338 |   162852 |     1344    272 |        0 |        0
54.88/54.92	c 54.9s |      16 |   173370 |   168752 |     1344    280 |        0 |        0
56.88/56.96	c 56.9s |      16 |   179400 |   174652 |     1344    288 |        0 |        0
58.88/58.98	c 59.0s |      16 |   185698 |   180752 |     1344    296 |        0 |        0
60.88/60.98	c 61.0s |      16 |   191675 |   186652 |     1344    304 |        0 |        0
62.88/62.98	c 63.0s |      16 |   197717 |   192552 |     1344    312 |        0 |        0
64.68/64.71	c 64.7s |      17 |   202742 |   197432 |     1479    318 |        0 |        0
66.68/66.72	c 66.7s |      17 |   209183 |   203532 |     1479    326 |        0 |        0
68.68/68.72	c 68.7s |      17 |   215445 |   209632 |     1479    333 |        0 |        0
70.68/70.73	c 70.7s |      17 |   221437 |   215432 |     1479    340 |        0 |        0
72.69/72.76	c 72.7s |      17 |   227418 |   221332 |     1479    348 |        0 |        0
74.68/74.77	c 74.7s |      17 |   233662 |   227432 |     1479    355 |        0 |        0
76.68/76.77	c 76.8s |      17 |   239595 |   233232 |     1479    362 |        0 |        0
78.78/78.80	c 78.8s |      17 |   245452 |   238932 |     1479    369 |        0 |        0
80.78/80.83	c 80.8s |      17 |   251305 |   244632 |     1479    377 |        0 |        0
82.78/82.87	c 82.8s |      17 |   257133 |   250332 |     1479    384 |        0 |        0
84.79/84.88	c 84.9s |      17 |   262684 |   255732 |     1479    390 |        0 |        0
86.88/86.91	c 86.9s |      17 |   268643 |   261532 |     1479    397 |        0 |        0
88.88/88.92	c 88.9s |      17 |   274379 |   267132 |     1479    404 |        0 |        0
90.88/90.94	c 90.9s |      17 |   280150 |   272732 |     1479    411 |        0 |        0
92.88/92.94	c 92.9s |      17 |   285702 |   278132 |     1479    418 |        0 |        0
94.88/94.96	c 94.9s |      17 |   291413 |   283732 |     1479    425 |        0 |        0
96.88/96.98	c 97.0s |      17 |   296938 |   289132 |     1479    431 |        0 |        0
98.98/99.01	c 99.0s |      17 |   302496 |   294532 |     1627    438 |        0 |        0
99.57/99.61	c 99.6s |      18 |   304255 |   296252 |     1627    440 |        0 |        0
101.57/101.64	c  101s |      18 |   310547 |   302252 |     1627    447 |        0 |        0
103.57/103.65	c  103s |      18 |   316412 |   307952 |     1627    453 |        0 |        0
105.58/105.68	c  105s |      18 |   322152 |   313552 |     1627    459 |        0 |        0
107.67/107.71	c  107s |      18 |   327783 |   319052 |     1627    466 |        0 |        0
109.67/109.74	c  109s |      18 |   333480 |   324652 |     1627    472 |        0 |        0
111.67/111.77	c  111s |      18 |   339061 |   330152 |     1627    478 |        0 |        0
113.67/113.77	c  113s |      18 |   344655 |   335652 |     1627    484 |        0 |        0
115.67/115.78	c  115s |      18 |   350540 |   341352 |     1627    491 |        0 |        0
117.68/117.80	c  117s |      18 |   356142 |   346852 |     1627    497 |        0 |        0
119.77/119.83	c  119s |      18 |   361680 |   352252 |     1627    503 |        0 |        0
121.77/121.85	c  121s |      18 |   367418 |   357752 |     1627    509 |        0 |        0
123.77/123.88	c  123s |      18 |   373038 |   363152 |     1627    516 |        0 |        0
125.87/125.92	c  125s |      18 |   378455 |   368452 |     1627    522 |        0 |        0
127.87/127.95	c  127s |      18 |   384375 |   374252 |     1627    528 |        0 |        0
129.87/129.98	c  129s |      18 |   390280 |   379952 |     1627    535 |        0 |        0
131.87/131.99	c  131s |      18 |   396128 |   385552 |     1627    541 |        0 |        0
133.96/134.02	c  133s |      18 |   401877 |   391152 |     1627    547 |        0 |        0
135.96/136.03	c  136s |      18 |   407661 |   396652 |     1627    553 |        0 |        0
137.96/138.06	c  138s |      18 |   413424 |   402052 |     1627    560 |        0 |        0
139.96/140.07	c  140s |      18 |   418934 |   407352 |     1627    566 |        0 |        0
141.97/142.08	c  142s |      18 |   424487 |   412752 |     1627    572 |        0 |        0
143.96/144.10	c  144s |      18 |   429891 |   418052 |     1627    578 |        0 |        0
146.06/146.14	c  146s |      18 |   435378 |   423352 |     1627    584 |        0 |        0
148.06/148.17	c  148s |      18 |   441051 |   428852 |     1627    590 |        0 |        0
150.16/150.20	c  150s |      18 |   446440 |   434152 |     1627    596 |        0 |        0
152.16/152.22	c  152s |      18 |   451898 |   439452 |     1627    602 |        0 |        0
154.17/154.22	c  154s |      19 |   457063 |   444482 |     1790    607 |        0 |        0
156.18/156.25	c  156s |      19 |   462991 |   450182 |     1790    613 |        0 |        0
158.17/158.29	c  158s |      19 |   468493 |   455482 |     1790    619 |        0 |        0
160.27/160.32	c  160s |      19 |   474198 |   461082 |     1790    624 |        0 |        0
162.27/162.34	c  162s |      19 |   479622 |   466382 |     1790    630 |        0 |        0
164.27/164.37	c  164s |      19 |   485114 |   471682 |     1790    635 |        0 |        0
166.27/166.39	c  166s |      19 |   490563 |   476982 |     1790    641 |        0 |        0
168.37/168.42	c  168s |      19 |   496063 |   482282 |     1790    646 |        0 |        0
170.37/170.44	c  170s |      19 |   501375 |   487482 |     1790    652 |        0 |        0
172.37/172.46	c  172s |      19 |   506824 |   492782 |     1790    657 |        0 |        0
174.37/174.49	c  174s |      19 |   512082 |   497882 |     1790    662 |        0 |        0
176.37/176.49	c  176s |      19 |   518012 |   503682 |     1790    668 |        0 |        0
178.46/178.51	c  178s |      19 |   523623 |   509082 |     1790    674 |        0 |        0
180.47/180.51	c  180s |      19 |   529153 |   514482 |     1790    679 |        0 |        0
182.46/182.53	c  182s |      19 |   534528 |   519782 |     1790    685 |        0 |        0
184.46/184.56	c  184s |      19 |   540126 |   525282 |     1790    691 |        0 |        0
186.46/186.57	c  186s |      19 |   545493 |   530482 |     1790    696 |        0 |        0
188.46/188.59	c  188s |      19 |   550949 |   535682 |     1790    701 |        0 |        0
190.56/190.62	c  190s |      19 |   556327 |   540882 |     1790    707 |        0 |        0
192.57/192.65	c  192s |      19 |   561655 |   546082 |     1790    712 |        0 |        0
194.56/194.65	c  194s |      19 |   566721 |   551082 |     1790    717 |        0 |        0
196.56/196.67	c  196s |      19 |   572228 |   556382 |     1790    723 |        0 |        0
198.56/198.67	c  198s |      19 |   577819 |   561882 |     1790    729 |        0 |        0
200.56/200.68	c  200s |      19 |   583340 |   567282 |     1790    734 |        0 |        0
202.66/202.72	c  202s |      19 |   588787 |   572582 |     1790    740 |        0 |        0
204.67/204.72	c  204s |      19 |   594118 |   577782 |     1790    745 |        0 |        0
206.66/206.76	c  206s |      19 |   599540 |   583082 |     1790    750 |        0 |        0
208.66/208.78	c  208s |      19 |   604811 |   588182 |     1790    756 |        0 |        0
210.66/210.80	c  210s |      19 |   610031 |   593282 |     1790    761 |        0 |        0
212.76/212.80	c  212s |      19 |   615321 |   598382 |     1790    766 |        0 |        0
214.76/214.83	c  214s |      19 |   620561 |   603482 |     1790    772 |        0 |        0
216.77/216.83	c  216s |      19 |   625549 |   608382 |     1790    777 |        0 |        0
218.76/218.86	c  218s |      19 |   631210 |   613882 |     1790    782 |        0 |        0
220.76/220.89	c  220s |      19 |   636531 |   619082 |     1790    788 |        0 |        0
222.76/222.89	c  222s |      19 |   641592 |   624082 |     1790    793 |        0 |        0
224.86/224.92	c  224s |      19 |   646796 |   629182 |     1790    798 |        0 |        0
226.86/226.94	c  226s |      19 |   652063 |   634282 |     1790    803 |        0 |        0
228.86/228.97	c  228s |      19 |   657475 |   639382 |     1790    809 |        0 |        0
230.86/230.99	c  230s |      19 |   662495 |   644282 |     1790    814 |        0 |        0
232.95/233.00	c  232s |      19 |   667434 |   649082 |     1790    819 |        0 |        0
234.95/235.02	c  234s |      19 |   673001 |   654482 |     1790    824 |        0 |        0
236.95/237.02	c  236s |      19 |   678325 |   659582 |     1790    830 |        0 |        0
238.95/239.03	c  239s |      19 |   683542 |   664682 |     1970    835 |        0 |        0
239.76/239.89	c  239s |      20 |   685763 |   666827 |     1970    837 |        0 |        0
241.85/241.92	c  241s |      20 |   691395 |   672227 |     1970    842 |        0 |        0
243.85/243.96	c  243s |      20 |   696895 |   677627 |     1970    847 |        0 |        0
245.95/246.00	c  245s |      20 |   702399 |   682927 |     1970    852 |        0 |        0
247.95/248.00	c  247s |      20 |   707726 |   688127 |     1970    857 |        0 |        0
249.95/250.02	c  249s |      20 |   713329 |   693627 |     1970    862 |        0 |        0
251.96/252.03	c  252s |      20 |   718818 |   699027 |     1970    867 |        0 |        0
253.95/254.05	c  254s |      20 |   724375 |   704427 |     1970    872 |        0 |        0
255.95/256.07	c  256s |      20 |   729673 |   709527 |     1970    877 |        0 |        0
257.95/258.09	c  258s |      20 |   734805 |   714527 |     1970    882 |        0 |        0
260.05/260.12	c  260s |      20 |   740258 |   719827 |     1970    887 |        0 |        0
262.05/262.14	c  262s |      20 |   745465 |   724927 |     1970    892 |        0 |        0
264.06/264.16	c  264s |      20 |   750693 |   730027 |     1970    896 |        0 |        0
266.05/266.18	c  266s |      20 |   755865 |   735027 |     1970    901 |        0 |        0
268.15/268.21	c  268s |      20 |   761117 |   740127 |     1970    906 |        0 |        0
270.15/270.23	c  270s |      20 |   766313 |   745227 |     1970    911 |        0 |        0
272.15/272.25	c  272s |      20 |   771479 |   750227 |     1970    915 |        0 |        0
274.15/274.27	c  274s |      20 |   776590 |   755227 |     1970    920 |        0 |        0
276.15/276.27	c  276s |      20 |   781889 |   760427 |     1970    925 |        0 |        0
278.25/278.31	c  278s |      20 |   787390 |   765827 |     1970    930 |        0 |        0
280.24/280.32	c  280s |      20 |   792758 |   771027 |     1970    935 |        0 |        0
282.24/282.36	c  282s |      20 |   798155 |   776327 |     1970    940 |        0 |        0
284.24/284.38	c  284s |      20 |   803467 |   781527 |     1970    945 |        0 |        0
286.34/286.42	c  286s |      20 |   808818 |   786727 |     1970    950 |        0 |        0
288.34/288.44	c  288s |      20 |   813860 |   791527 |     1970    955 |        0 |        0
290.34/290.45	c  290s |      20 |   819032 |   796527 |     1970    959 |        0 |        0
292.33/292.45	c  292s |      20 |   824091 |   801427 |     1970    964 |        0 |        0
294.43/294.50	c  294s |      20 |   829101 |   806327 |     1970    969 |        0 |        0
296.43/296.51	c  296s |      20 |   834204 |   811327 |     1970    973 |        0 |        0
298.43/298.54	c  298s |      20 |   839242 |   816227 |     1970    978 |        0 |        0
300.43/300.54	c  300s |      20 |   844089 |   820927 |     1970    982 |        0 |        0
302.43/302.57	c  302s |      20 |   849010 |   825627 |     1970    987 |        0 |        0
304.43/304.58	c  304s |      20 |   854375 |   830827 |     1970    992 |        0 |        0
306.43/306.59	c  306s |      20 |   859622 |   835927 |     1970    997 |        0 |        0
308.53/308.60	c  308s |      20 |   864841 |   841027 |     1970   1001 |        0 |        0
310.53/310.62	c  310s |      20 |   870067 |   846127 |     1970   1006 |        0 |        0
312.53/312.65	c  312s |      20 |   875206 |   851127 |     1970   1011 |        0 |        0
314.53/314.67	c  314s |      20 |   880135 |   855927 |     1970   1016 |        0 |        0
316.52/316.69	c  316s |      20 |   885279 |   860927 |     1970   1020 |        0 |        0
318.63/318.72	c  318s |      20 |   890190 |   865727 |     1970   1025 |        0 |        0
320.63/320.72	c  320s |      20 |   895143 |   870527 |     1970   1029 |        0 |        0
322.63/322.76	c  322s |      20 |   900259 |   875527 |     1970   1034 |        0 |        0
324.73/324.81	c  324s |      20 |   905058 |   880227 |     1970   1039 |        0 |        0
326.73/326.83	c  326s |      20 |   909969 |   885027 |     1970   1043 |        0 |        0
328.72/328.85	c  328s |      20 |   915448 |   890427 |     1970   1048 |        0 |        0
330.72/330.88	c  330s |      20 |   920642 |   895527 |     1970   1053 |        0 |        0
332.82/332.90	c  332s |      20 |   925908 |   900727 |     1970   1058 |        0 |        0
334.82/334.93	c  334s |      20 |   931124 |   905827 |     1970   1063 |        0 |        0
336.82/336.96	c  336s |      20 |   936207 |   910827 |     1970   1067 |        0 |        0
338.82/338.99	c  338s |      20 |   941268 |   915727 |     1970   1072 |        0 |        0
340.82/341.00	c  340s |      20 |   946108 |   920527 |     1970   1077 |        0 |        0
342.92/343.01	c  342s |      20 |   950996 |   925327 |     1970   1081 |        0 |        0
344.92/345.05	c  345s |      20 |   955882 |   930127 |     1970   1086 |        0 |        0
346.91/347.08	c  347s |      20 |   960836 |   934927 |     1970   1090 |        0 |        0
349.01/349.11	c  349s |      20 |   965815 |   939827 |     1970   1095 |        0 |        0
351.01/351.14	c  351s |      20 |   970649 |   944527 |     1970   1099 |        0 |        0
353.02/353.17	c  353s |      20 |   975507 |   949227 |     1970   1104 |        0 |        0
355.11/355.20	c  355s |      20 |   980221 |   953827 |     1970   1108 |        0 |        0
357.10/357.23	c  357s |      20 |   986113 |   959527 |     1970   1114 |        0 |        0
359.10/359.25	c  359s |      20 |   991669 |   964927 |     1970   1119 |        0 |        0
361.10/361.28	c  361s |      20 |   997001 |   970127 |     1970   1124 |        0 |        0
363.20/363.33	c  363s |      20 |  1002417 |   975327 |     1970   1129 |        0 |        0
365.21/365.35	c  365s |      20 |  1007816 |   980627 |     1970   1134 |        0 |        0
367.20/367.38	c  367s |      20 |  1012944 |   985627 |     1970   1138 |        0 |        0
369.30/369.40	c  369s |      20 |  1018147 |   990727 |     1970   1143 |        0 |        0
371.30/371.44	c  371s |      20 |  1023266 |   995727 |     2167   1147 |        0 |        0
373.00/373.19	c  373s |      21 |  1028000 |  1000345 |     2167   1151 |        0 |        0
375.00/375.19	c  375s |      21 |  1033446 |  1005545 |     2167   1156 |        0 |        0
377.09/377.21	c  377s |      21 |  1039065 |  1011045 |     2167   1161 |        0 |        0
379.09/379.23	c  379s |      21 |  1044564 |  1016445 |     2167   1165 |        0 |        0
381.09/381.25	c  381s |      21 |  1050147 |  1021845 |     2167   1170 |        0 |        0
383.09/383.28	c  383s |      21 |  1055817 |  1027345 |     2167   1175 |        0 |        0
385.19/385.30	c  385s |      21 |  1061374 |  1032745 |     2167   1179 |        0 |        0
387.19/387.31	c  387s |      21 |  1066587 |  1037845 |     2167   1184 |        0 |        0
389.19/389.34	c  389s |      21 |  1071980 |  1043045 |     2167   1188 |        0 |        0
391.19/391.37	c  391s |      21 |  1077221 |  1048145 |     2167   1193 |        0 |        0
393.19/393.39	c  393s |      21 |  1082568 |  1053345 |     2167   1197 |        0 |        0
395.29/395.42	c  395s |      21 |  1087608 |  1058245 |     2167   1202 |        0 |        0
397.29/397.43	c  397s |      21 |  1093260 |  1063745 |     2167   1206 |        0 |        0
399.29/399.45	c  399s |      21 |  1098548 |  1068945 |     2167   1211 |        0 |        0
401.29/401.47	c  401s |      21 |  1103728 |  1074045 |     2167   1215 |        0 |        0
403.28/403.47	c  403s |      21 |  1108748 |  1078945 |     2167   1219 |        0 |        0
405.28/405.49	c  405s |      21 |  1113811 |  1083845 |     2167   1224 |        0 |        0
407.28/407.49	c  407s |      21 |  1119642 |  1089345 |     2167   1228 |        0 |        0
409.38/409.50	c  409s |      21 |  1125413 |  1094945 |     2167   1233 |        0 |        0
411.39/411.53	c  411s |      21 |  1131133 |  1100345 |     2167   1238 |        0 |        0
413.38/413.54	c  413s |      21 |  1136631 |  1105545 |     2167   1243 |        0 |        0
415.38/415.57	c  415s |      21 |  1142062 |  1110745 |     2167   1247 |        0 |        0
417.48/417.60	c  417s |      21 |  1147949 |  1116245 |     2167   1252 |        0 |        0
419.48/419.61	c  419s |      21 |  1153251 |  1121345 |     2167   1256 |        0 |        0
421.48/421.62	c  421s |      21 |  1158580 |  1126245 |     2167   1260 |        0 |        0
423.48/423.66	c  423s |      21 |  1164108 |  1131445 |     2167   1265 |        0 |        0
425.47/425.69	c  425s |      21 |  1169313 |  1136445 |     2167   1269 |        0 |        0
427.57/427.71	c  427s |      21 |  1174690 |  1141645 |     2167   1274 |        0 |        0
429.57/429.74	c  429s |      21 |  1179823 |  1146645 |     2167   1278 |        0 |        0
431.57/431.78	c  431s |      21 |  1185037 |  1151745 |     2167   1283 |        0 |        0
433.57/433.79	c  433s |      21 |  1190607 |  1157045 |     2167   1287 |        0 |        0
435.67/435.81	c  435s |      21 |  1196058 |  1162245 |     2167   1292 |        0 |        0
437.67/437.85	c  437s |      21 |  1201349 |  1167245 |     2167   1296 |        0 |        0
439.67/439.88	c  439s |      21 |  1206646 |  1172345 |     2167   1300 |        0 |        0
441.66/441.88	c  441s |      21 |  1211630 |  1177145 |     2167   1305 |        0 |        0
443.76/443.90	c  443s |      21 |  1216715 |  1182045 |     2167   1309 |        0 |        0
445.76/445.92	c  445s |      21 |  1222022 |  1187145 |     2167   1313 |        0 |        0
447.76/447.95	c  447s |      21 |  1227193 |  1192145 |     2167   1318 |        0 |        0
449.77/449.99	c  449s |      21 |  1232372 |  1197045 |     2167   1322 |        0 |        0
451.86/452.01	c  451s |      21 |  1237307 |  1201845 |     2167   1326 |        0 |        0
453.86/454.03	c  454s |      21 |  1242234 |  1206645 |     2167   1330 |        0 |        0
455.86/456.07	c  456s |      21 |  1247635 |  1211745 |     2167   1335 |        0 |        0
457.86/458.07	c  458s |      21 |  1252717 |  1216645 |     2167   1339 |        0 |        0
459.85/460.09	c  460s |      21 |  1257786 |  1221545 |     2167   1343 |        0 |        0
461.96/462.12	c  462s |      21 |  1262819 |  1226345 |     2167   1347 |        0 |        0
463.95/464.13	c  464s |      21 |  1267667 |  1230945 |     2167   1351 |        0 |        0
465.95/466.16	c  466s |      21 |  1272636 |  1235745 |     2167   1355 |        0 |        0
467.95/468.18	c  468s |      21 |  1277509 |  1240445 |     2167   1359 |        0 |        0
470.05/470.21	c  470s |      21 |  1282374 |  1245045 |     2167   1363 |        0 |        0
472.05/472.24	c  472s |      21 |  1287684 |  1250045 |     2167   1368 |        0 |        0
474.06/474.26	c  474s |      21 |  1293024 |  1255145 |     2167   1372 |        0 |        0
476.05/476.27	c  476s |      21 |  1298136 |  1260045 |     2167   1376 |        0 |        0
478.15/478.32	c  478s |      21 |  1303268 |  1264945 |     2167   1381 |        0 |        0
480.15/480.32	c  480s |      21 |  1308315 |  1269645 |     2167   1385 |        0 |        0
482.15/482.32	c  482s |      21 |  1313358 |  1274545 |     2167   1389 |        0 |        0
484.15/484.34	c  484s |      21 |  1318550 |  1279545 |     2167   1393 |        0 |        0
486.16/486.35	c  486s |      21 |  1323509 |  1284345 |     2167   1397 |        0 |        0
488.15/488.36	c  488s |      21 |  1328388 |  1289045 |     2167   1401 |        0 |        0
490.15/490.38	c  490s |      21 |  1333442 |  1293945 |     2167   1406 |        0 |        0
492.25/492.42	c  492s |      21 |  1338387 |  1298745 |     2167   1410 |        0 |        0
494.25/494.46	c  494s |      21 |  1343155 |  1303345 |     2167   1414 |        0 |        0
496.24/496.46	c  496s |      21 |  1348505 |  1308345 |     2167   1418 |        0 |        0
498.25/498.48	c  498s |      21 |  1353769 |  1313345 |     2167   1422 |        0 |        0
500.24/500.50	c  500s |      21 |  1358959 |  1318245 |     2167   1427 |        0 |        0
502.34/502.51	c  502s |      21 |  1363972 |  1323045 |     2167   1431 |        0 |        0
504.34/504.51	c  504s |      21 |  1368871 |  1327745 |     2167   1435 |        0 |        0
506.34/506.55	c  506s |      21 |  1373803 |  1332545 |     2167   1439 |        0 |        0
508.34/508.58	c  508s |      21 |  1378672 |  1337245 |     2167   1443 |        0 |        0
510.44/510.62	c  510s |      21 |  1383575 |  1341945 |     2167   1447 |        0 |        0
512.45/512.65	c  512s |      21 |  1388319 |  1346545 |     2167   1451 |        0 |        0
514.44/514.66	c  514s |      21 |  1393149 |  1351145 |     2167   1455 |        0 |        0
516.43/516.69	c  516s |      21 |  1398330 |  1356145 |     2167   1460 |        0 |        0
518.53/518.70	c  518s |      21 |  1403425 |  1360945 |     2167   1464 |        0 |        0
520.53/520.70	c  520s |      21 |  1408428 |  1365745 |     2167   1468 |        0 |        0
522.53/522.73	c  522s |      21 |  1413400 |  1370545 |     2167   1472 |        0 |        0
524.54/524.75	c  524s |      21 |  1418278 |  1375245 |     2167   1476 |        0 |        0
526.53/526.78	c  526s |      21 |  1423417 |  1380145 |     2167   1480 |        0 |        0
528.63/528.81	c  528s |      21 |  1428358 |  1384845 |     2167   1484 |        0 |        0
530.63/530.85	c  530s |      21 |  1433184 |  1389345 |     2167   1488 |        0 |        0
532.63/532.85	c  532s |      21 |  1438179 |  1394045 |     2167   1492 |        0 |        0
534.73/534.90	c  534s |      21 |  1443225 |  1398845 |     2167   1497 |        0 |        0
536.73/536.94	c  536s |      21 |  1448067 |  1403545 |     2167   1501 |        0 |        0
538.73/538.94	c  538s |      21 |  1452903 |  1408245 |     2167   1505 |        0 |        0
540.72/540.98	c  540s |      21 |  1457747 |  1412945 |     2167   1509 |        0 |        0
542.72/542.98	c  542s |      21 |  1462467 |  1417445 |     2167   1513 |        0 |        0
544.82/545.01	c  544s |      21 |  1467342 |  1422145 |     2167   1517 |        0 |        0
546.82/547.02	c  547s |      21 |  1472139 |  1426745 |     2167   1521 |        0 |        0
548.83/549.03	c  549s |      21 |  1476994 |  1431345 |     2167   1525 |        0 |        0
550.82/551.06	c  551s |      21 |  1481659 |  1435845 |     2167   1529 |        0 |        0
552.82/553.07	c  553s |      21 |  1486109 |  1440145 |     2167   1532 |        0 |        0
554.82/555.09	c  555s |      21 |  1491222 |  1445045 |     2167   1537 |        0 |        0
556.91/557.11	c  557s |      21 |  1496421 |  1450045 |     2167   1541 |        0 |        0
558.91/559.11	c  559s |      21 |  1501469 |  1454945 |     2167   1545 |        0 |        0
560.92/561.14	c  561s |      21 |  1506500 |  1459845 |     2167   1549 |        0 |        0
562.91/563.17	c  563s |      21 |  1511602 |  1464645 |     2167   1553 |        0 |        0
564.91/565.19	c  565s |      21 |  1516801 |  1469645 |     2167   1558 |        0 |        0
567.01/567.20	c  567s |      21 |  1521670 |  1474345 |     2167   1562 |        0 |        0
569.01/569.23	c  569s |      21 |  1526550 |  1479045 |     2167   1566 |        0 |        0
571.01/571.25	c  571s |      21 |  1531506 |  1483845 |     2167   1570 |        0 |        0
573.01/573.26	c  573s |      21 |  1536497 |  1488545 |     2167   1574 |        0 |        0
575.01/575.27	c  575s |      21 |  1541432 |  1493245 |     2384   1578 |        0 |        0
577.10/577.30	c  577s |      21 |  1546336 |  1497845 |     2384   1581 |        0 |        0
578.30/578.50	c  578s |      22 |  1549230 |  1500622 |     2384   1584 |        0 |        0
580.30/580.54	c  580s |      22 |  1555418 |  1506322 |     2384   1588 |        0 |        0
582.30/582.59	c  582s |      22 |  1561204 |  1511822 |     2384   1593 |        0 |        0
584.40/584.61	c  584s |      22 |  1566544 |  1517022 |     2384   1597 |        0 |        0
586.40/586.62	c  586s |      22 |  1571765 |  1522122 |     2384   1601 |        0 |        0
588.40/588.65	c  588s |      22 |  1577051 |  1527222 |     2384   1605 |        0 |        0
590.40/590.67	c  590s |      22 |  1582239 |  1532222 |     2384   1609 |        0 |        0
592.49/592.70	c  592s |      22 |  1587535 |  1537222 |     2384   1613 |        0 |        0
594.49/594.74	c  594s |      22 |  1592731 |  1542222 |     2384   1617 |        0 |        0
596.49/596.77	c  596s |      22 |  1597949 |  1547222 |     2384   1621 |        0 |        0
598.59/598.80	c  598s |      22 |  1602988 |  1552022 |     2384   1624 |        0 |        0
600.59/600.84	c  600s |      22 |  1608442 |  1557322 |     2384   1629 |        0 |        0
602.60/602.87	c  602s |      22 |  1613535 |  1562322 |     2384   1633 |        0 |        0
604.59/604.88	c  604s |      22 |  1618569 |  1567222 |     2384   1636 |        0 |        0
606.69/606.92	c  606s |      22 |  1623493 |  1572022 |     2384   1640 |        0 |        0
608.70/608.94	c  608s |      22 |  1628326 |  1576722 |     2384   1644 |        0 |        0
610.70/610.96	c  610s |      22 |  1633196 |  1581322 |     2384   1648 |        0 |        0
612.69/612.97	c  612s |      22 |  1638370 |  1586222 |     2384   1651 |        0 |        0
614.70/614.99	c  614s |      22 |  1643582 |  1591222 |     2384   1655 |        0 |        0
616.79/617.01	c  616s |      22 |  1648441 |  1595922 |     2384   1659 |        0 |        0
618.79/619.04	c  619s |      22 |  1653247 |  1600622 |     2384   1663 |        0 |        0
620.79/621.07	c  621s |      22 |  1658300 |  1605522 |     2384   1667 |        0 |        0
622.89/623.11	c  623s |      22 |  1663180 |  1610222 |     2384   1670 |        0 |        0
624.89/625.11	c  625s |      22 |  1668199 |  1615022 |     2384   1674 |        0 |        0
626.89/627.12	c  627s |      22 |  1673063 |  1619622 |     2384   1678 |        0 |        0
628.88/629.13	c  629s |      22 |  1677783 |  1624122 |     2384   1681 |        0 |        0
630.88/631.13	c  631s |      22 |  1682435 |  1628622 |     2384   1685 |        0 |        0
632.88/633.15	c  633s |      22 |  1687178 |  1633222 |     2384   1689 |        0 |        0
634.88/635.17	c  635s |      22 |  1692632 |  1638422 |     2384   1693 |        0 |        0
636.88/637.17	c  637s |      22 |  1697841 |  1643422 |     2384   1697 |        0 |        0
638.88/639.20	c  639s |      22 |  1702869 |  1648322 |     2384   1701 |        0 |        0
640.98/641.24	c  641s |      22 |  1708060 |  1653322 |     2384   1704 |        0 |        0
642.98/643.26	c  643s |      22 |  1713426 |  1658422 |     2384   1709 |        0 |        0
644.98/645.29	c  645s |      22 |  1718668 |  1663422 |     2384   1712 |        0 |        0
647.07/647.30	c  647s |      22 |  1723547 |  1668122 |     2384   1716 |        0 |        0
649.07/649.34	c  649s |      22 |  1728613 |  1673022 |     2384   1720 |        0 |        0
651.08/651.36	c  651s |      22 |  1733553 |  1677822 |     2384   1724 |        0 |        0
653.07/653.36	c  653s |      22 |  1738351 |  1682522 |     2384   1728 |        0 |        0
655.07/655.39	c  655s |      22 |  1743422 |  1687422 |     2384   1731 |        0 |        0
657.17/657.43	c  657s |      22 |  1748607 |  1692322 |     2384   1735 |        0 |        0
659.17/659.47	c  659s |      22 |  1753536 |  1697022 |     2384   1739 |        0 |        0
661.17/661.49	c  661s |      22 |  1758435 |  1701622 |     2384   1743 |        0 |        0
663.26/663.52	c  663s |      22 |  1763230 |  1706222 |     2384   1746 |        0 |        0
665.27/665.53	c  665s |      22 |  1768153 |  1711022 |     2384   1750 |        0 |        0
667.27/667.56	c  667s |      22 |  1773202 |  1715922 |     2384   1754 |        0 |        0
669.27/669.57	c  669s |      22 |  1778190 |  1720622 |     2384   1758 |        0 |        0
671.37/671.60	c  671s |      22 |  1783049 |  1725222 |     2384   1761 |        0 |        0
673.37/673.62	c  673s |      22 |  1787706 |  1729722 |     2384   1765 |        0 |        0
675.36/675.63	c  675s |      22 |  1792455 |  1734222 |     2384   1769 |        0 |        0
677.37/677.65	c  677s |      22 |  1797033 |  1738622 |     2384   1772 |        0 |        0
679.36/679.66	c  679s |      22 |  1802343 |  1743722 |     2384   1776 |        0 |        0
681.36/681.68	c  681s |      22 |  1807369 |  1748622 |     2384   1780 |        0 |        0
683.46/683.71	c  683s |      22 |  1812319 |  1753422 |     2384   1784 |        0 |        0
685.46/685.75	c  685s |      22 |  1817339 |  1758122 |     2384   1787 |        0 |        0
687.46/687.76	c  687s |      22 |  1822024 |  1762622 |     2384   1791 |        0 |        0
689.47/689.76	c  689s |      22 |  1826760 |  1767222 |     2384   1795 |        0 |        0
691.56/691.80	c  691s |      22 |  1831590 |  1771822 |     2384   1798 |        0 |        0
693.56/693.83	c  693s |      22 |  1836433 |  1776322 |     2384   1802 |        0 |        0
695.55/695.86	c  695s |      22 |  1841145 |  1780822 |     2384   1805 |        0 |        0
697.65/697.91	c  697s |      22 |  1845986 |  1785422 |     2384   1809 |        0 |        0
699.65/699.98	c  699s |      22 |  1850559 |  1789822 |     2384   1813 |        0 |        0
701.66/701.98	c  701s |      22 |  1855057 |  1794222 |     2384   1816 |        0 |        0
703.76/704.02	c  703s |      22 |  1859512 |  1798522 |     2384   1819 |        0 |        0
705.75/706.03	c  706s |      22 |  1864137 |  1802922 |     2384   1823 |        0 |        0
707.75/708.07	c  708s |      22 |  1869227 |  1807822 |     2384   1827 |        0 |        0
709.75/710.09	c  710s |      22 |  1874294 |  1812722 |     2384   1831 |        0 |        0
711.75/712.10	c  712s |      22 |  1879347 |  1817522 |     2384   1834 |        0 |        0
713.85/714.11	c  714s |      22 |  1884158 |  1822122 |     2384   1838 |        0 |        0
715.85/716.12	c  716s |      22 |  1888905 |  1826722 |     2384   1842 |        0 |        0
717.84/718.13	c  718s |      22 |  1893833 |  1831522 |     2384   1845 |        0 |        0
719.84/720.16	c  720s |      22 |  1898660 |  1836222 |     2384   1849 |        0 |        0
721.84/722.19	c  722s |      22 |  1903343 |  1840722 |     2384   1853 |        0 |        0
723.94/724.21	c  724s |      22 |  1908015 |  1845222 |     2384   1856 |        0 |        0
725.94/726.22	c  726s |      22 |  1912823 |  1849922 |     2384   1860 |        0 |        0
727.95/728.23	c  728s |      22 |  1917458 |  1854422 |     2384   1864 |        0 |        0
729.94/730.25	c  730s |      22 |  1921974 |  1858822 |     2384   1867 |        0 |        0
731.94/732.27	c  732s |      22 |  1926603 |  1863322 |     2384   1871 |        0 |        0
734.04/734.31	c  734s |      22 |  1931217 |  1867822 |     2384   1874 |        0 |        0
736.04/736.35	c  736s |      22 |  1935601 |  1872122 |     2384   1878 |        0 |        0
738.04/738.38	c  738s |      22 |  1940450 |  1876822 |     2384   1881 |        0 |        0
740.04/740.39	c  740s |      22 |  1945027 |  1881222 |     2384   1885 |        0 |        0
742.14/742.41	c  742s |      22 |  1949477 |  1885622 |     2384   1888 |        0 |        0
744.13/744.42	c  744s |      22 |  1953860 |  1889922 |     2384   1892 |        0 |        0
746.13/746.45	c  746s |      22 |  1958295 |  1894122 |     2384   1895 |        0 |        0
748.13/748.47	c  748s |      22 |  1963265 |  1898822 |     2384   1899 |        0 |        0
750.23/750.53	c  750s |      22 |  1968293 |  1903622 |     2384   1903 |        0 |        0
752.25/752.55	c  752s |      22 |  1973265 |  1908322 |     2384   1906 |        0 |        0
754.24/754.56	c  754s |      22 |  1977866 |  1912822 |     2384   1910 |        0 |        0
756.24/756.56	c  756s |      22 |  1982612 |  1917422 |     2384   1913 |        0 |        0
758.24/758.59	c  758s |      22 |  1987278 |  1922022 |     2384   1917 |        0 |        0
760.24/760.59	c  760s |      22 |  1991874 |  1926522 |     2384   1921 |        0 |        0
762.33/762.62	c  762s |      22 |  1996378 |  1930922 |     2384   1924 |        0 |        0
764.34/764.65	c  764s |      22 |  2001075 |  1935522 |     2384   1928 |        0 |        0
766.33/766.66	c  766s |      22 |  2005550 |  1939922 |     2384   1931 |        0 |        0
768.33/768.66	c  768s |      22 |  2009983 |  1944222 |     2384   1935 |        0 |        0
770.33/770.67	c  770s |      22 |  2014510 |  1948622 |     2384   1938 |        0 |        0
772.43/772.70	c  772s |      22 |  2019120 |  1953022 |     2384   1942 |        0 |        0
774.43/774.74	c  774s |      22 |  2023825 |  1957522 |     2384   1945 |        0 |        0
776.43/776.77	c  776s |      22 |  2028167 |  1961722 |     2384   1949 |        0 |        0
778.43/778.79	c  778s |      22 |  2032486 |  1965822 |     2384   1952 |        0 |        0
780.53/780.83	c  780s |      22 |  2036939 |  1970122 |     2384   1955 |        0 |        0
782.53/782.86	c  782s |      22 |  2041658 |  1974722 |     2384   1959 |        0 |        0
784.62/784.91	c  784s |      22 |  2046296 |  1979222 |     2384   1962 |        0 |        0
786.62/786.94	c  786s |      22 |  2050943 |  1983722 |     2384   1966 |        0 |        0
788.62/788.97	c  788s |      22 |  2055531 |  1988122 |     2384   1969 |        0 |        0
790.63/790.99	c  790s |      22 |  2060104 |  1992422 |     2384   1973 |        0 |        0
792.72/793.02	c  793s |      22 |  2064701 |  1996822 |     2384   1976 |        0 |        0
794.72/795.07	c  795s |      22 |  2069187 |  2001122 |     2384   1980 |        0 |        0
796.81/797.11	c  797s |      22 |  2073871 |  2005522 |     2384   1983 |        0 |        0
798.81/799.15	c  799s |      22 |  2078239 |  2009722 |     2384   1987 |        0 |        0
800.81/801.17	c  801s |      22 |  2082498 |  2013822 |     2384   1990 |        0 |        0
802.82/803.18	c  803s |      22 |  2087178 |  2018322 |     2384   1993 |        0 |        0
804.92/805.22	c  805s |      22 |  2091746 |  2022722 |     2384   1997 |        0 |        0
806.91/807.22	c  807s |      22 |  2095935 |  2026822 |     2384   2000 |        0 |        0
808.91/809.26	c  809s |      22 |  2100411 |  2031122 |     2384   2004 |        0 |        0
810.90/811.28	c  811s |      22 |  2104808 |  2035422 |     2384   2007 |        0 |        0
813.00/813.31	c  813s |      22 |  2109109 |  2039622 |     2384   2010 |        0 |        0
815.00/815.33	c  815s |      22 |  2114065 |  2044422 |     2384   2014 |        0 |        0
817.01/817.34	c  817s |      22 |  2118965 |  2049222 |     2384   2018 |        0 |        0
819.00/819.35	c  819s |      22 |  2123893 |  2054022 |     2384   2022 |        0 |        0
821.00/821.37	c  821s |      22 |  2128740 |  2058622 |     2384   2025 |        0 |        0
823.00/823.38	c  823s |      22 |  2133382 |  2063122 |     2384   2029 |        0 |        0
825.10/825.42	c  825s |      22 |  2138257 |  2067822 |     2384   2033 |        0 |        0
827.09/827.43	c  827s |      22 |  2142876 |  2072222 |     2384   2036 |        0 |        0
829.10/829.43	c  829s |      22 |  2147866 |  2077022 |     2384   2040 |        0 |        0
831.09/831.44	c  831s |      22 |  2152552 |  2081522 |     2384   2043 |        0 |        0
833.10/833.45	c  833s |      22 |  2157115 |  2085922 |     2384   2047 |        0 |        0
835.10/835.46	c  835s |      22 |  2161551 |  2090122 |     2384   2050 |        0 |        0
837.10/837.49	c  837s |      22 |  2166306 |  2094722 |     2384   2054 |        0 |        0
839.20/839.51	c  839s |      22 |  2170685 |  2099022 |     2384   2057 |        0 |        0
841.21/841.52	c  841s |      22 |  2175122 |  2103322 |     2384   2061 |        0 |        0
843.20/843.54	c  843s |      22 |  2179717 |  2107822 |     2384   2064 |        0 |        0
845.20/845.59	c  845s |      22 |  2184247 |  2112222 |     2384   2068 |        0 |        0
847.29/847.62	c  847s |      22 |  2188667 |  2116522 |     2384   2071 |        0 |        0
849.29/849.66	c  849s |      22 |  2193097 |  2120822 |     2384   2075 |        0 |        0
851.29/851.68	c  851s |      22 |  2197768 |  2125222 |     2384   2078 |        0 |        0
853.30/853.69	c  853s |      22 |  2202200 |  2129522 |     2384   2081 |        0 |        0
855.29/855.69	c  855s |      22 |  2206586 |  2133822 |     2384   2085 |        0 |        0
857.38/857.72	c  857s |      22 |  2211174 |  2138222 |     2384   2088 |        0 |        0
859.38/859.72	c  859s |      22 |  2215648 |  2142522 |     2384   2092 |        0 |        0
861.38/861.74	c  861s |      22 |  2220124 |  2146822 |     2384   2095 |        0 |        0
863.38/863.78	c  863s |      22 |  2224411 |  2151022 |     2384   2098 |        0 |        0
865.49/865.81	c  865s |      22 |  2228817 |  2155322 |     2384   2102 |        0 |        0
867.48/867.82	c  867s |      22 |  2233100 |  2159422 |     2384   2105 |        0 |        0
869.48/869.84	c  869s |      22 |  2238075 |  2164222 |     2384   2109 |        0 |        0
871.48/871.85	c  871s |      22 |  2242735 |  2168722 |     2384   2112 |        0 |        0
873.48/873.86	c  873s |      22 |  2247376 |  2173122 |     2384   2116 |        0 |        0
875.47/875.87	c  875s |      22 |  2252041 |  2177622 |     2384   2119 |        0 |        0
877.48/877.90	c  877s |      22 |  2256773 |  2182122 |     2384   2123 |        0 |        0
879.57/879.94	c  879s |      22 |  2261394 |  2186522 |     2384   2127 |        0 |        0
881.57/881.96	c  881s |      22 |  2265927 |  2190822 |     2384   2130 |        0 |        0
883.57/883.98	c  883s |      22 |  2270569 |  2195322 |     2384   2133 |        0 |        0
885.67/886.00	c  885s |      22 |  2274918 |  2199522 |     2384   2137 |        0 |        0
887.67/888.04	c  888s |      22 |  2279219 |  2203722 |     2384   2140 |        0 |        0
889.67/890.09	c  890s |      22 |  2283855 |  2208022 |     2384   2144 |        0 |        0
891.67/892.09	c  892s |      22 |  2288049 |  2212022 |     2384   2147 |        0 |        0
893.77/894.11	c  894s |      22 |  2292221 |  2216022 |     2384   2150 |        0 |        0
895.77/896.14	c  896s |      22 |  2296676 |  2220322 |     2384   2153 |        0 |        0
897.77/898.18	c  898s |      22 |  2301019 |  2224422 |     2384   2157 |        0 |        0
899.87/900.20	c  900s |      22 |  2305201 |  2228422 |     2384   2160 |        0 |        0
901.87/902.21	c  902s |      22 |  2309613 |  2232722 |     2384   2163 |        0 |        0
903.88/904.21	c  904s |      22 |  2313968 |  2236922 |     2623   2166 |        0 |        0
905.87/906.24	c  906s |      22 |  2318262 |  2241122 |     2623   2169 |        0 |        0
907.87/908.27	c  908s |      22 |  2322351 |  2245122 |     2623   2172 |        0 |        0
909.87/910.29	c  910s |      22 |  2326469 |  2249122 |     2623   2175 |        0 |        0
910.77/911.17	c  911s |      23 |  2328458 |  2251038 |     2623   2176 |        0 |        0
912.77/913.17	c  913s |      23 |  2333751 |  2255838 |     2623   2180 |        0 |        0
914.87/915.21	c  915s |      23 |  2338886 |  2260738 |     2623   2183 |        0 |        0
916.86/917.23	c  917s |      23 |  2343622 |  2265338 |     2623   2187 |        0 |        0
918.86/919.24	c  919s |      23 |  2348370 |  2269938 |     2623   2190 |        0 |        0
920.86/921.26	c  921s |      23 |  2353225 |  2274638 |     2623   2193 |        0 |        0
922.96/923.30	c  923s |      23 |  2358015 |  2279338 |     2623   2197 |        0 |        0
924.96/925.31	c  925s |      23 |  2362811 |  2283938 |     2623   2200 |        0 |        0
926.96/927.32	c  927s |      23 |  2367354 |  2288338 |     2623   2203 |        0 |        0
928.95/929.33	c  929s |      23 |  2372166 |  2292738 |     2623   2207 |        0 |        0
930.95/931.36	c  931s |      23 |  2376769 |  2297138 |     2623   2210 |        0 |        0
932.95/933.38	c  933s |      23 |  2381380 |  2301538 |     2623   2213 |        0 |        0
934.95/935.38	c  935s |      23 |  2386277 |  2306238 |     2623   2216 |        0 |        0
937.05/937.43	c  937s |      23 |  2391252 |  2311038 |     2623   2220 |        0 |        0
939.06/939.44	c  939s |      23 |  2396120 |  2315738 |     2623   2223 |        0 |        0
941.05/941.47	c  941s |      23 |  2400920 |  2320338 |     2623   2226 |        0 |        0
943.15/943.50	c  943s |      23 |  2405464 |  2324738 |     2623   2230 |        0 |        0
945.15/945.53	c  945s |      23 |  2409962 |  2329138 |     2623   2233 |        0 |        0
947.15/947.54	c  947s |      23 |  2414474 |  2333538 |     2623   2236 |        0 |        0
949.15/949.56	c  949s |      23 |  2418911 |  2337838 |     2623   2239 |        0 |        0
951.15/951.59	c  951s |      23 |  2423525 |  2342138 |     2623   2242 |        0 |        0
953.25/953.62	c  953s |      23 |  2428312 |  2346738 |     2623   2246 |        0 |        0
955.25/955.63	c  955s |      23 |  2432912 |  2351238 |     2623   2249 |        0 |        0
957.25/957.67	c  957s |      23 |  2437817 |  2356038 |     2623   2252 |        0 |        0
959.25/959.68	c  959s |      23 |  2442397 |  2360538 |     2623   2256 |        0 |        0
961.24/961.68	c  961s |      23 |  2446905 |  2364938 |     2623   2259 |        0 |        0
963.35/963.72	c  963s |      23 |  2451602 |  2369538 |     2623   2262 |        0 |        0
965.34/965.76	c  965s |      23 |  2456310 |  2374138 |     2623   2265 |        0 |        0
967.34/967.77	c  967s |      23 |  2460787 |  2378438 |     2623   2268 |        0 |        0
969.34/969.78	c  969s |      23 |  2465102 |  2382638 |     2623   2272 |        0 |        0
971.34/971.79	c  971s |      23 |  2469670 |  2387038 |     2623   2275 |        0 |        0
973.44/973.83	c  973s |      23 |  2474062 |  2391338 |     2623   2278 |        0 |        0
975.45/975.85	c  975s |      23 |  2478566 |  2395738 |     2623   2281 |        0 |        0
977.44/977.85	c  977s |      23 |  2483187 |  2400238 |     2623   2284 |        0 |        0
979.44/979.87	c  979s |      23 |  2487842 |  2404738 |     2623   2288 |        0 |        0
981.44/981.88	c  981s |      23 |  2492522 |  2409238 |     2623   2291 |        0 |        0
983.54/983.90	c  983s |      23 |  2497109 |  2413738 |     2623   2294 |        0 |        0
985.54/985.91	c  985s |      23 |  2501734 |  2418238 |     2623   2297 |        0 |        0
987.54/987.93	c  987s |      23 |  2506146 |  2422538 |     2623   2300 |        0 |        0
989.54/989.97	c  989s |      23 |  2510652 |  2426938 |     2623   2304 |        0 |        0
991.64/992.00	c  991s |      23 |  2515074 |  2431238 |     2623   2307 |        0 |        0
993.64/994.02	c  994s |      23 |  2519466 |  2435538 |     2623   2310 |        0 |        0
995.64/996.05	c  996s |      23 |  2523932 |  2439838 |     2623   2313 |        0 |        0
997.64/998.10	c  998s |      23 |  2528400 |  2444138 |     2623   2316 |        0 |        0
999.74/1000.13	c 1000s |      23 |  2533267 |  2448838 |     2623   2319 |        0 |        0
1001.74/1002.15	c 1002s |      23 |  2538123 |  2453438 |     2623   2323 |        0 |        0
1003.73/1004.17	c 1004s |      23 |  2543002 |  2458138 |     2623   2326 |        0 |        0
1005.73/1006.18	c 1006s |      23 |  2547932 |  2462838 |     2623   2329 |        0 |        0
1007.73/1008.19	c 1008s |      23 |  2552557 |  2467338 |     2623   2333 |        0 |        0
1009.83/1010.21	c 1010s |      23 |  2557401 |  2471838 |     2623   2336 |        0 |        0
1011.83/1012.25	c 1012s |      23 |  2562167 |  2476338 |     2623   2339 |        0 |        0
1013.84/1014.26	c 1014s |      23 |  2566742 |  2480738 |     2623   2342 |        0 |        0
1015.84/1016.29	c 1016s |      23 |  2571234 |  2485038 |     2623   2346 |        0 |        0
1017.94/1018.32	c 1018s |      23 |  2575802 |  2489338 |     2623   2349 |        0 |        0
1019.94/1020.33	c 1020s |      23 |  2580281 |  2493538 |     2623   2352 |        0 |        0
1021.94/1022.35	c 1022s |      23 |  2584920 |  2497938 |     2623   2355 |        0 |        0
1023.94/1024.37	c 1024s |      23 |  2589512 |  2502338 |     2623   2358 |        0 |        0
1025.94/1026.37	c 1026s |      23 |  2594232 |  2506738 |     2623   2361 |        0 |        0
1027.94/1028.38	c 1028s |      23 |  2598868 |  2511138 |     2623   2364 |        0 |        0
1029.94/1030.38	c 1030s |      23 |  2603412 |  2515338 |     2623   2367 |        0 |        0
1032.04/1032.40	c 1032s |      23 |  2607804 |  2519638 |     2623   2371 |        0 |        0
1034.03/1034.42	c 1034s |      23 |  2612187 |  2523938 |     2623   2374 |        0 |        0
1036.03/1036.43	c 1036s |      23 |  2616835 |  2528438 |     2623   2377 |        0 |        0
1038.04/1038.45	c 1038s |      23 |  2621517 |  2532938 |     2623   2380 |        0 |        0
1040.03/1040.46	c 1040s |      23 |  2625913 |  2537138 |     2623   2383 |        0 |        0
1042.13/1042.50	c 1042s |      23 |  2630360 |  2541438 |     2623   2386 |        0 |        0
1044.13/1044.52	c 1044s |      23 |  2634793 |  2545738 |     2623   2389 |        0 |        0
1046.13/1046.55	c 1046s |      23 |  2639076 |  2549938 |     2623   2392 |        0 |        0
1048.13/1048.58	c 1048s |      23 |  2643219 |  2554038 |     2623   2395 |        0 |        0
1050.14/1050.60	c 1050s |      23 |  2647541 |  2558138 |     2623   2398 |        0 |        0
1052.23/1052.64	c 1052s |      23 |  2652057 |  2562538 |     2623   2402 |        0 |        0
1054.23/1054.68	c 1054s |      23 |  2656526 |  2566838 |     2623   2405 |        0 |        0
1056.33/1056.70	c 1056s |      23 |  2660860 |  2571038 |     2623   2408 |        0 |        0
1058.33/1058.74	c 1058s |      23 |  2665084 |  2575138 |     2623   2411 |        0 |        0
1060.33/1060.79	c 1060s |      23 |  2669567 |  2579438 |     2623   2414 |        0 |        0
1062.43/1062.80	c 1062s |      23 |  2673750 |  2583538 |     2623   2417 |        0 |        0
1064.43/1064.81	c 1064s |      23 |  2678693 |  2588338 |     2623   2420 |        0 |        0
1066.43/1066.82	c 1066s |      23 |  2683434 |  2592938 |     2623   2423 |        0 |        0
1068.43/1068.86	c 1068s |      23 |  2688022 |  2597438 |     2623   2427 |        0 |        0
1070.53/1070.90	c 1070s |      23 |  2692600 |  2601838 |     2623   2430 |        0 |        0
1072.53/1072.90	c 1072s |      23 |  2697051 |  2606138 |     2623   2433 |        0 |        0
1074.53/1074.91	c 1074s |      23 |  2701383 |  2610338 |     2623   2436 |        0 |        0
1076.53/1076.94	c 1076s |      23 |  2706151 |  2614838 |     2623   2439 |        0 |        0
1078.52/1078.95	c 1078s |      23 |  2710572 |  2619138 |     2623   2442 |        0 |        0
1080.52/1080.99	c 1080s |      23 |  2715169 |  2623538 |     2623   2446 |        0 |        0
1082.52/1082.99	c 1082s |      23 |  2719631 |  2627838 |     2623   2449 |        0 |        0
1084.62/1085.01	c 1084s |      23 |  2724254 |  2632138 |     2623   2452 |        0 |        0
1086.62/1087.05	c 1087s |      23 |  2728764 |  2636438 |     2623   2455 |        0 |        0
1088.63/1089.09	c 1089s |      23 |  2733082 |  2640638 |     2623   2458 |        0 |        0
1090.72/1091.10	c 1091s |      23 |  2737472 |  2644838 |     2623   2461 |        0 |        0
1092.72/1093.10	c 1093s |      23 |  2741643 |  2648838 |     2623   2464 |        0 |        0
1094.72/1095.13	c 1095s |      23 |  2746233 |  2653238 |     2623   2467 |        0 |        0
1096.72/1097.14	c 1097s |      23 |  2750796 |  2657538 |     2623   2470 |        0 |        0
1098.72/1099.17	c 1099s |      23 |  2755136 |  2661738 |     2623   2473 |        0 |        0
1100.73/1101.19	c 1101s |      23 |  2759387 |  2665838 |     2623   2476 |        0 |        0
1102.82/1103.22	c 1103s |      23 |  2763792 |  2670038 |     2623   2479 |        0 |        0
1104.82/1105.22	c 1105s |      23 |  2768163 |  2674238 |     2623   2482 |        0 |        0
1106.82/1107.26	c 1107s |      23 |  2772625 |  2678538 |     2623   2485 |        0 |        0
1108.82/1109.29	c 1109s |      23 |  2777015 |  2682738 |     2623   2488 |        0 |        0
1110.92/1111.32	c 1111s |      23 |  2781362 |  2686938 |     2623   2491 |        0 |        0
1112.92/1113.36	c 1113s |      23 |  2785821 |  2691138 |     2623   2494 |        0 |        0
1114.92/1115.37	c 1115s |      23 |  2789946 |  2695138 |     2623   2497 |        0 |        0
1116.92/1117.38	c 1117s |      23 |  2794135 |  2699138 |     2623   2500 |        0 |        0
1118.92/1119.39	c 1119s |      23 |  2798477 |  2703238 |     2623   2503 |        0 |        0
1121.02/1121.41	c 1121s |      23 |  2802697 |  2707238 |     2623   2506 |        0 |        0
1123.02/1123.44	c 1123s |      23 |  2806845 |  2711238 |     2623   2509 |        0 |        0
1125.02/1125.46	c 1125s |      23 |  2811642 |  2715838 |     2623   2512 |        0 |        0
1127.12/1127.51	c 1127s |      23 |  2816428 |  2720438 |     2623   2516 |        0 |        0
1129.11/1129.55	c 1129s |      23 |  2820961 |  2724838 |     2623   2519 |        0 |        0
1131.11/1131.58	c 1131s |      23 |  2825536 |  2729238 |     2623   2522 |        0 |        0
1133.21/1133.60	c 1133s |      23 |  2829973 |  2733538 |     2623   2525 |        0 |        0
1135.21/1135.63	c 1135s |      23 |  2834439 |  2737838 |     2623   2528 |        0 |        0
1137.21/1137.65	c 1137s |      23 |  2838946 |  2742138 |     2623   2531 |        0 |        0
1139.23/1139.66	c 1139s |      23 |  2843263 |  2746338 |     2623   2534 |        0 |        0
1141.22/1141.68	c 1141s |      23 |  2847767 |  2750638 |     2623   2537 |        0 |        0
1143.22/1143.69	c 1143s |      23 |  2852178 |  2754838 |     2623   2540 |        0 |        0
1145.32/1145.71	c 1145s |      23 |  2856341 |  2758738 |     2623   2543 |        0 |        0
1147.32/1147.74	c 1147s |      23 |  2861064 |  2763338 |     2623   2547 |        0 |        0
1149.32/1149.78	c 1149s |      23 |  2865711 |  2767838 |     2623   2550 |        0 |        0
1151.33/1151.79	c 1151s |      23 |  2870085 |  2772038 |     2623   2553 |        0 |        0
1153.32/1153.79	c 1153s |      23 |  2874549 |  2776338 |     2623   2556 |        0 |        0
1155.42/1155.82	c 1155s |      23 |  2878895 |  2780538 |     2623   2559 |        0 |        0
1157.42/1157.86	c 1157s |      23 |  2883452 |  2784938 |     2623   2562 |        0 |        0
1159.51/1159.94	c 1159s |      23 |  2887779 |  2789038 |     2623   2565 |        0 |        0
1161.51/1161.98	c 1161s |      23 |  2892111 |  2793238 |     2623   2568 |        0 |        0
1163.61/1164.03	c 1164s |      23 |  2896301 |  2797338 |     2623   2571 |        0 |        0
1165.62/1166.04	c 1166s |      23 |  2900865 |  2801738 |     2623   2574 |        0 |        0
1167.61/1168.06	c 1168s |      23 |  2905254 |  2805938 |     2623   2577 |        0 |        0
1169.61/1170.08	c 1170s |      23 |  2909591 |  2810138 |     2623   2580 |        0 |        0
1171.61/1172.09	c 1172s |      23 |  2913869 |  2814238 |     2623   2583 |        0 |        0
1173.71/1174.13	c 1174s |      23 |  2918223 |  2818438 |     2623   2586 |        0 |        0
1175.71/1176.14	c 1176s |      23 |  2922553 |  2822638 |     2623   2589 |        0 |        0
1177.72/1178.17	c 1178s |      23 |  2926865 |  2826738 |     2623   2592 |        0 |        0
1179.81/1180.21	c 1180s |      23 |  2931111 |  2830838 |     2623   2595 |        0 |        0
1181.81/1182.24	c 1182s |      23 |  2935365 |  2834938 |     2623   2598 |        0 |        0
1183.81/1184.27	c 1184s |      23 |  2939409 |  2838838 |     2623   2601 |        0 |        0
1185.91/1186.31	c 1186s |      23 |  2943949 |  2843238 |     2623   2604 |        0 |        0
1187.91/1188.32	c 1188s |      23 |  2948328 |  2847538 |     2623   2607 |        0 |        0
1189.92/1190.37	c 1190s |      23 |  2952732 |  2851838 |     2623   2611 |        0 |        0
1191.91/1192.40	c 1192s |      23 |  2957290 |  2856238 |     2623   2614 |        0 |        0
1194.01/1194.40	c 1194s |      23 |  2961688 |  2860438 |     2623   2617 |        0 |        0
1196.01/1196.42	c 1196s |      23 |  2966053 |  2864638 |     2623   2620 |        0 |        0
1198.00/1198.42	c 1198s |      23 |  2970328 |  2868738 |     2623   2623 |        0 |        0
1200.00/1200.42	c 1200s |      23 |  2974656 |  2872838 |     2623   2626 |        0 |        0
1202.01/1202.44	c 1202s |      23 |  2978923 |  2876938 |     2623   2629 |        0 |        0
1204.00/1204.47	c 1204s |      23 |  2983237 |  2881038 |     2623   2632 |        0 |        0
1206.10/1206.50	c 1206s |      23 |  2987556 |  2885238 |     2623   2635 |        0 |        0
1208.10/1208.53	c 1208s |      23 |  2991761 |  2889338 |     2623   2638 |        0 |        0
1210.10/1210.56	c 1210s |      23 |  2995919 |  2893338 |     2623   2641 |        0 |        0
1212.10/1212.56	c 1212s |      23 |  3000621 |  2897738 |     2623   2644 |        0 |        0
1214.20/1214.60	c 1214s |      23 |  3005159 |  2902038 |     2623   2647 |        0 |        0
1216.21/1216.61	c 1216s |      23 |  3009602 |  2906338 |     2623   2650 |        0 |        0
1218.20/1218.63	c 1218s |      23 |  3013765 |  2910338 |     2623   2653 |        0 |        0
1220.20/1220.63	c 1220s |      23 |  3017985 |  2914338 |     2623   2656 |        0 |        0
1222.20/1222.65	c 1222s |      23 |  3022254 |  2918438 |     2623   2659 |        0 |        0
1224.20/1224.70	c 1224s |      23 |  3026428 |  2922438 |     2623   2662 |        0 |        0
1226.30/1226.72	c 1226s |      23 |  3030732 |  2926638 |     2623   2665 |        0 |        0
1228.31/1228.74	c 1228s |      23 |  3034983 |  2930738 |     2623   2668 |        0 |        0
1230.30/1230.79	c 1230s |      23 |  3039344 |  2934838 |     2623   2671 |        0 |        0
1232.40/1232.81	c 1232s |      23 |  3043535 |  2938738 |     2623   2673 |        0 |        0
1234.41/1234.85	c 1234s |      23 |  3048329 |  2943138 |     2623   2677 |        0 |        0
1236.41/1236.86	c 1236s |      23 |  3053263 |  2947838 |     2623   2680 |        0 |        0
1238.41/1238.87	c 1238s |      23 |  3058281 |  2952638 |     2623   2683 |        0 |        0
1240.41/1240.87	c 1240s |      23 |  3062933 |  2957138 |     2623   2687 |        0 |        0
1242.41/1242.88	c 1242s |      23 |  3067565 |  2961638 |     2623   2690 |        0 |        0
1244.50/1244.90	c 1244s |      23 |  3072263 |  2966138 |     2623   2693 |        0 |        0
1246.50/1246.95	c 1246s |      23 |  3076854 |  2970538 |     2623   2696 |        0 |        0
1248.50/1248.96	c 1248s |      23 |  3081665 |  2975038 |     2623   2700 |        0 |        0
1250.50/1250.98	c 1250s |      23 |  3086256 |  2979438 |     2623   2703 |        0 |        0
1252.51/1253.00	c 1252s |      23 |  3090829 |  2983838 |     2623   2706 |        0 |        0
1254.60/1255.04	c 1255s |      23 |  3095523 |  2988338 |     2623   2709 |        0 |        0
1256.60/1257.06	c 1257s |      23 |  3100363 |  2992838 |     2623   2713 |        0 |        0
1258.70/1259.10	c 1259s |      23 |  3105313 |  2997638 |     2623   2716 |        0 |        0
1260.70/1261.13	c 1261s |      23 |  3110012 |  3002138 |     2623   2719 |        0 |        0
1262.70/1263.17	c 1263s |      23 |  3114761 |  3006638 |     2623   2722 |        0 |        0
1264.71/1265.18	c 1265s |      23 |  3119487 |  3011138 |     2623   2726 |        0 |        0
1266.70/1267.20	c 1267s |      23 |  3123972 |  3015538 |     2623   2729 |        0 |        0
1268.80/1269.24	c 1269s |      23 |  3128446 |  3019838 |     2623   2732 |        0 |        0
1270.80/1271.28	c 1271s |      23 |  3133228 |  3024438 |     2623   2735 |        0 |        0
1272.90/1273.30	c 1273s |      23 |  3137778 |  3028838 |     2623   2739 |        0 |        0
1274.90/1275.31	c 1275s |      23 |  3142349 |  3033238 |     2623   2742 |        0 |        0
1276.90/1277.33	c 1277s |      23 |  3146781 |  3037538 |     2623   2745 |        0 |        0
1278.90/1279.38	c 1279s |      23 |  3151259 |  3041838 |     2623   2748 |        0 |        0
1281.00/1281.40	c 1281s |      23 |  3155929 |  3046238 |     2623   2751 |        0 |        0
1282.99/1283.42	c 1283s |      23 |  3160648 |  3050538 |     2623   2754 |        0 |        0
1284.99/1285.47	c 1285s |      23 |  3165208 |  3054838 |     2623   2757 |        0 |        0
1286.99/1287.49	c 1287s |      23 |  3169698 |  3059038 |     2623   2760 |        0 |        0
1289.09/1289.52	c 1289s |      23 |  3174120 |  3063338 |     2623   2763 |        0 |        0
1291.10/1291.56	c 1291s |      23 |  3178531 |  3067638 |     2623   2767 |        0 |        0
1293.09/1293.57	c 1293s |      23 |  3183110 |  3072038 |     2623   2770 |        0 |        0
1295.19/1295.61	c 1295s |      23 |  3187798 |  3076538 |     2623   2773 |        0 |        0
1297.19/1297.62	c 1297s |      23 |  3192371 |  3080838 |     2623   2776 |        0 |        0
1299.19/1299.63	c 1299s |      23 |  3196892 |  3085138 |     2623   2779 |        0 |        0
1301.19/1301.65	c 1301s |      23 |  3201113 |  3089138 |     2623   2782 |        0 |        0
1303.20/1303.68	c 1303s |      23 |  3205749 |  3093638 |     2623   2785 |        0 |        0
1305.30/1305.72	c 1305s |      23 |  3210468 |  3098138 |     2623   2789 |        0 |        0
1307.29/1307.74	c 1307s |      23 |  3214826 |  3102338 |     2623   2792 |        0 |        0
1309.29/1309.77	c 1309s |      23 |  3219416 |  3106638 |     2623   2795 |        0 |        0
1311.39/1311.81	c 1311s |      23 |  3223859 |  3110938 |     2623   2798 |        0 |        0
1313.39/1313.81	c 1313s |      23 |  3228152 |  3115138 |     2623   2801 |        0 |        0
1315.39/1315.82	c 1315s |      23 |  3232706 |  3119538 |     2623   2804 |        0 |        0
1317.39/1317.83	c 1317s |      23 |  3237114 |  3123838 |     2623   2807 |        0 |        0
1319.39/1319.83	c 1319s |      23 |  3241346 |  3127938 |     2623   2810 |        0 |        0
1321.39/1321.84	c 1321s |      23 |  3245754 |  3132238 |     2623   2813 |        0 |        0
1323.38/1323.85	c 1323s |      23 |  3250460 |  3136738 |     2623   2817 |        0 |        0
1325.38/1325.87	c 1325s |      23 |  3254835 |  3140938 |     2623   2820 |        0 |        0
1327.48/1327.91	c 1327s |      23 |  3259458 |  3145338 |     2623   2823 |        0 |        0
1329.49/1329.94	c 1329s |      23 |  3263968 |  3149638 |     2623   2826 |        0 |        0
1331.48/1331.97	c 1331s |      23 |  3268346 |  3153738 |     2623   2829 |        0 |        0
1333.48/1333.98	c 1333s |      23 |  3272577 |  3157838 |     2623   2832 |        0 |        0
1335.48/1335.99	c 1335s |      23 |  3276622 |  3161738 |     2623   2835 |        0 |        0
1337.59/1338.03	c 1338s |      23 |  3280943 |  3165938 |     2623   2838 |        0 |        0
1339.59/1340.04	c 1340s |      23 |  3285216 |  3170038 |     2623   2841 |        0 |        0
1341.60/1342.08	c 1342s |      23 |  3289460 |  3174138 |     2623   2844 |        0 |        0
1343.69/1344.12	c 1344s |      23 |  3293784 |  3178238 |     2623   2847 |        0 |        0
1345.69/1346.17	c 1346s |      23 |  3298259 |  3182438 |     2623   2850 |        0 |        0
1347.69/1348.18	c 1348s |      23 |  3302498 |  3186438 |     2623   2852 |        0 |        0
1349.69/1350.19	c 1350s |      23 |  3306920 |  3190738 |     2623   2856 |        0 |        0
1351.69/1352.19	c 1352s |      23 |  3311601 |  3195338 |     2623   2859 |        0 |        0
1353.79/1354.20	c 1354s |      23 |  3316324 |  3199838 |     2623   2862 |        0 |        0
1355.79/1356.21	c 1356s |      23 |  3320939 |  3204338 |     2623   2865 |        0 |        0
1357.79/1358.23	c 1358s |      23 |  3325345 |  3208638 |     2623   2869 |        0 |        0
1359.79/1360.27	c 1360s |      23 |  3329764 |  3212938 |     2623   2872 |        0 |        0
1361.89/1362.31	c 1362s |      23 |  3334218 |  3217238 |     2623   2875 |        0 |        0
1363.89/1364.33	c 1364s |      23 |  3338691 |  3221538 |     2623   2878 |        0 |        0
1365.89/1366.37	c 1366s |      23 |  3343052 |  3225738 |     2623   2881 |        0 |        0
1367.89/1368.38	c 1368s |      23 |  3347412 |  3229938 |     2623   2884 |        0 |        0
1369.88/1370.39	c 1370s |      23 |  3351753 |  3234138 |     2623   2887 |        0 |        0
1371.98/1372.42	c 1372s |      23 |  3356136 |  3238338 |     2623   2890 |        0 |        0
1373.98/1374.48	c 1374s |      23 |  3360451 |  3242538 |     2623   2893 |        0 |        0
1375.98/1376.49	c 1376s |      23 |  3364789 |  3246738 |     2623   2896 |        0 |        0
1378.08/1378.53	c 1378s |      23 |  3369255 |  3251038 |     2623   2899 |        0 |        0
1380.09/1380.54	c 1380s |      23 |  3373571 |  3255238 |     2623   2902 |        0 |        0
1382.08/1382.57	c 1382s |      23 |  3377896 |  3259438 |     2623   2905 |        0 |        0
1384.08/1384.58	c 1384s |      23 |  3382188 |  3263538 |     2623   2908 |        0 |        0
1386.08/1386.59	c 1386s |      23 |  3386394 |  3267638 |     2623   2911 |        0 |        0
1388.18/1388.63	c 1388s |      23 |  3390830 |  3271938 |     2623   2914 |        0 |        0
1390.18/1390.66	c 1390s |      23 |  3395028 |  3276038 |     2623   2917 |        0 |        0
1392.29/1392.70	c 1392s |      23 |  3399338 |  3280138 |     2623   2920 |        0 |        0
1394.28/1394.71	c 1394s |      23 |  3403487 |  3284038 |     2623   2923 |        0 |        0
1396.28/1396.75	c 1396s |      23 |  3407666 |  3287938 |     2623   2926 |        0 |        0
1398.28/1398.77	c 1398s |      23 |  3411807 |  3291738 |     2623   2929 |        0 |        0
1400.38/1400.80	c 1400s |      23 |  3415942 |  3295738 |     2623   2932 |        0 |        0
1402.38/1402.81	c 1402s |      23 |  3419840 |  3299538 |     2623   2934 |        0 |        0
1404.38/1404.86	c 1404s |      23 |  3424686 |  3304038 |     2623   2938 |        0 |        0
1406.38/1406.86	c 1406s |      23 |  3429368 |  3308538 |     2623   2941 |        0 |        0
1408.48/1408.90	c 1408s |      23 |  3434140 |  3313038 |     2623   2944 |        0 |        0
1410.48/1410.93	c 1410s |      23 |  3438622 |  3317338 |     2623   2947 |        0 |        0
1412.48/1412.94	c 1412s |      23 |  3443127 |  3321638 |     2623   2950 |        0 |        0
1414.48/1414.98	c 1414s |      23 |  3447625 |  3325938 |     2623   2953 |        0 |        0
1416.57/1417.02	c 1416s |      23 |  3452146 |  3330238 |     2623   2956 |        0 |        0
1418.58/1419.03	c 1419s |      23 |  3456798 |  3334738 |     2623   2960 |        0 |        0
1420.57/1421.03	c 1421s |      23 |  3461393 |  3339138 |     2623   2963 |        0 |        0
1422.57/1423.07	c 1423s |      23 |  3465860 |  3343438 |     2623   2966 |        0 |        0
1424.57/1425.08	c 1425s |      23 |  3470333 |  3347738 |     2623   2969 |        0 |        0
1426.67/1427.12	c 1427s |      23 |  3474903 |  3352038 |     2623   2972 |        0 |        0
1428.67/1429.17	c 1429s |      23 |  3479695 |  3356438 |     2886   2975 |        0 |        0
1430.68/1431.18	c 1431s |      23 |  3484016 |  3360538 |     2886   2978 |        0 |        0
1432.77/1433.22	c 1433s |      23 |  3488379 |  3364638 |     2886   2981 |        0 |        0
1434.77/1435.23	c 1435s |      23 |  3492699 |  3368738 |     2886   2983 |        0 |        0
1436.77/1437.24	c 1437s |      23 |  3496990 |  3372838 |     2886   2986 |        0 |        0
1438.57/1439.06	c 1439s |      24 |  3500992 |  3376662 |     2886   2988 |        0 |        0
1440.57/1441.08	c 1441s |      24 |  3505585 |  3380862 |     2886   2991 |        0 |        0
1442.67/1443.10	c 1443s |      24 |  3510516 |  3385562 |     2886   2994 |        0 |        0
1444.67/1445.10	c 1445s |      24 |  3515492 |  3390162 |     2886   2997 |        0 |        0
1446.67/1447.11	c 1447s |      24 |  3519967 |  3394462 |     2886   3000 |        0 |        0
1448.67/1449.13	c 1449s |      24 |  3524653 |  3398862 |     2886   3003 |        0 |        0
1450.67/1451.14	c 1451s |      24 |  3529236 |  3403262 |     2886   3006 |        0 |        0
1452.67/1453.16	c 1453s |      24 |  3533660 |  3407562 |     2886   3009 |        0 |        0
1454.66/1455.19	c 1455s |      24 |  3538038 |  3411762 |     2886   3012 |        0 |        0
1456.76/1457.20	c 1457s |      24 |  3542503 |  3416062 |     2886   3014 |        0 |        0
1458.76/1459.22	c 1459s |      24 |  3547552 |  3420962 |     2886   3018 |        0 |        0
1460.76/1461.26	c 1461s |      24 |  3552525 |  3425762 |     2886   3021 |        0 |        0
1462.86/1463.30	c 1463s |      24 |  3557419 |  3430462 |     2886   3024 |        0 |        0
1464.87/1465.32	c 1465s |      24 |  3561988 |  3434862 |     2886   3027 |        0 |        0
1466.86/1467.36	c 1467s |      24 |  3566522 |  3439162 |     2886   3030 |        0 |        0
1468.86/1469.37	c 1469s |      24 |  3571035 |  3443462 |     2886   3033 |        0 |        0
1470.86/1471.40	c 1471s |      24 |  3575822 |  3447962 |     2886   3036 |        0 |        0
1472.96/1473.43	c 1473s |      24 |  3580820 |  3452662 |     2886   3039 |        0 |        0
1474.96/1475.47	c 1475s |      24 |  3585725 |  3457262 |     2886   3042 |        0 |        0
1477.06/1477.50	c 1477s |      24 |  3590330 |  3461562 |     2886   3044 |        0 |        0
1479.07/1479.51	c 1479s |      24 |  3595074 |  3466062 |     2886   3047 |        0 |        0
1481.06/1481.55	c 1481s |      24 |  3599679 |  3470362 |     2886   3050 |        0 |        0
1483.06/1483.58	c 1483s |      24 |  3604737 |  3475062 |     2886   3053 |        0 |        0
1485.16/1485.61	c 1485s |      24 |  3609505 |  3479562 |     2886   3056 |        0 |        0
1487.16/1487.61	c 1487s |      24 |  3613711 |  3483662 |     2886   3059 |        0 |        0
1489.16/1489.63	c 1489s |      24 |  3618576 |  3488362 |     2886   3062 |        0 |        0
1491.17/1491.66	c 1491s |      24 |  3623102 |  3492762 |     2886   3065 |        0 |        0
1493.26/1493.70	c 1493s |      24 |  3627443 |  3496962 |     2886   3068 |        0 |        0
1495.27/1495.74	c 1495s |      24 |  3631998 |  3501362 |     2886   3071 |        0 |        0
1497.27/1497.75	c 1497s |      24 |  3636444 |  3505662 |     2886   3074 |        0 |        0
1499.27/1499.79	c 1499s |      24 |  3641272 |  3510262 |     2886   3077 |        0 |        0
1501.36/1501.81	c 1501s |      24 |  3646092 |  3514862 |     2886   3080 |        0 |        0
1503.37/1503.84	c 1503s |      24 |  3650712 |  3519262 |     2886   3083 |        0 |        0
1505.36/1505.89	c 1505s |      24 |  3655295 |  3523662 |     2886   3086 |        0 |        0
1507.46/1507.94	c 1507s |      24 |  3659945 |  3528162 |     2886   3088 |        0 |        0
1509.46/1509.94	c 1509s |      24 |  3664375 |  3532462 |     2886   3091 |        0 |        0
1511.46/1511.96	c 1511s |      24 |  3668989 |  3536862 |     2886   3094 |        0 |        0
1513.56/1514.01	c 1513s |      24 |  3673512 |  3541262 |     2886   3097 |        0 |        0
1515.56/1516.04	c 1516s |      24 |  3677844 |  3545462 |     2886   3100 |        0 |        0
1517.57/1518.04	c 1518s |      24 |  3682081 |  3549462 |     2886   3103 |        0 |        0
1519.56/1520.06	c 1520s |      24 |  3686861 |  3554062 |     2886   3106 |        0 |        0
1521.56/1522.08	c 1522s |      24 |  3691821 |  3558862 |     2886   3109 |        0 |        0
1523.66/1524.12	c 1524s |      24 |  3696449 |  3563362 |     2886   3112 |        0 |        0
1525.66/1526.16	c 1526s |      24 |  3701117 |  3567862 |     2886   3115 |        0 |        0
1527.66/1528.17	c 1528s |      24 |  3705748 |  3572262 |     2886   3118 |        0 |        0
1529.67/1530.18	c 1530s |      24 |  3710274 |  3576662 |     2886   3121 |        0 |        0
1531.76/1532.22	c 1532s |      24 |  3714795 |  3581062 |     2886   3123 |        0 |        0
1533.76/1534.23	c 1534s |      24 |  3719305 |  3585362 |     2886   3126 |        0 |        0
1535.76/1536.25	c 1536s |      24 |  3724016 |  3589862 |     2886   3129 |        0 |        0
1537.76/1538.28	c 1538s |      24 |  3728616 |  3594262 |     2886   3132 |        0 |        0
1539.76/1540.29	c 1540s |      24 |  3732884 |  3598362 |     2886   3135 |        0 |        0
1541.76/1542.29	c 1542s |      24 |  3737411 |  3602762 |     2886   3138 |        0 |        0
1543.86/1544.31	c 1544s |      24 |  3741710 |  3606962 |     2886   3141 |        0 |        0
1545.86/1546.33	c 1546s |      24 |  3746122 |  3611262 |     2886   3143 |        0 |        0
1547.85/1548.37	c 1548s |      24 |  3750464 |  3615462 |     2886   3146 |        0 |        0
1549.95/1550.41	c 1550s |      24 |  3754988 |  3619862 |     2886   3149 |        0 |        0
1551.95/1552.42	c 1552s |      24 |  3759381 |  3624062 |     2886   3152 |        0 |        0
1553.96/1554.44	c 1554s |      24 |  3763624 |  3628162 |     2886   3155 |        0 |        0
1555.95/1556.46	c 1556s |      24 |  3768047 |  3632462 |     2886   3157 |        0 |        0
1557.95/1558.48	c 1558s |      24 |  3772461 |  3636662 |     2886   3160 |        0 |        0
1560.05/1560.53	c 1560s |      24 |  3776683 |  3640562 |     2886   3163 |        0 |        0
1562.05/1562.54	c 1562s |      24 |  3781043 |  3644662 |     2886   3165 |        0 |        0
1564.05/1564.55	c 1564s |      24 |  3785111 |  3648662 |     2886   3168 |        0 |        0
1566.06/1566.59	c 1566s |      24 |  3789444 |  3652862 |     2886   3171 |        0 |        0
1568.05/1568.59	c 1568s |      24 |  3794238 |  3657462 |     2886   3174 |        0 |        0
1570.15/1570.60	c 1570s |      24 |  3798883 |  3661862 |     2886   3177 |        0 |        0
1572.15/1572.62	c 1572s |      24 |  3803712 |  3666362 |     2886   3180 |        0 |        0
1574.15/1574.68	c 1574s |      24 |  3808489 |  3670562 |     2886   3183 |        0 |        0
1576.25/1576.75	c 1576s |      24 |  3812984 |  3674762 |     2886   3185 |        0 |        0
1578.25/1578.76	c 1578s |      24 |  3817534 |  3679162 |     2886   3188 |        0 |        0
1580.25/1580.76	c 1580s |      24 |  3822060 |  3683262 |     2886   3191 |        0 |        0
1582.34/1582.80	c 1582s |      24 |  3826727 |  3687562 |     2886   3194 |        0 |        0
1584.34/1584.85	c 1584s |      24 |  3831256 |  3691862 |     2886   3197 |        0 |        0
1586.35/1586.90	c 1586s |      24 |  3835858 |  3696262 |     2886   3199 |        0 |        0
1588.45/1588.92	c 1588s |      24 |  3840221 |  3700362 |     2886   3202 |        0 |        0
1590.45/1590.95	c 1590s |      24 |  3844644 |  3704562 |     2886   3205 |        0 |        0
1592.46/1592.95	c 1592s |      24 |  3848932 |  3708662 |     2886   3208 |        0 |        0
1594.45/1594.95	c 1594s |      24 |  3853157 |  3712662 |     2886   3210 |        0 |        0
1596.45/1596.97	c 1596s |      24 |  3857383 |  3716662 |     2886   3213 |        0 |        0
1598.55/1599.01	c 1598s |      24 |  3861790 |  3720662 |     2886   3216 |        0 |        0
1600.55/1601.03	c 1601s |      24 |  3866335 |  3724662 |     2886   3218 |        0 |        0
1602.55/1603.03	c 1603s |      24 |  3870428 |  3728362 |     2886   3221 |        0 |        0
1604.56/1605.03	c 1605s |      24 |  3874961 |  3732662 |     2886   3224 |        0 |        0
1606.55/1607.08	c 1607s |      24 |  3879711 |  3737262 |     2886   3227 |        0 |        0
1608.55/1609.09	c 1609s |      24 |  3884569 |  3741862 |     2886   3230 |        0 |        0
1610.65/1611.16	c 1611s |      24 |  3889299 |  3746462 |     2886   3233 |        0 |        0
1612.75/1613.21	c 1613s |      24 |  3893846 |  3750862 |     2886   3236 |        0 |        0
1614.74/1615.23	c 1615s |      24 |  3898365 |  3755162 |     2886   3238 |        0 |        0
1616.74/1617.24	c 1617s |      24 |  3902850 |  3759462 |     2886   3241 |        0 |        0
1618.75/1619.27	c 1619s |      24 |  3907233 |  3763662 |     2886   3244 |        0 |        0
1620.74/1621.29	c 1621s |      24 |  3911789 |  3768062 |     2886   3247 |        0 |        0
1622.84/1623.30	c 1623s |      24 |  3916271 |  3772462 |     2886   3250 |        0 |        0
1624.84/1625.34	c 1625s |      24 |  3920687 |  3776762 |     2886   3253 |        0 |        0
1626.84/1627.39	c 1627s |      24 |  3925288 |  3781162 |     2886   3256 |        0 |        0
1628.94/1629.41	c 1629s |      24 |  3929675 |  3785362 |     2886   3258 |        0 |        0
1630.95/1631.42	c 1631s |      24 |  3934213 |  3789762 |     2886   3261 |        0 |        0
1632.94/1633.43	c 1633s |      24 |  3938736 |  3794162 |     2886   3264 |        0 |        0
1634.94/1635.45	c 1635s |      24 |  3943169 |  3798462 |     2886   3267 |        0 |        0
1636.94/1637.49	c 1637s |      24 |  3947452 |  3802562 |     2886   3270 |        0 |        0
1639.04/1639.54	c 1639s |      24 |  3951814 |  3806762 |     2886   3272 |        0 |        0
1641.04/1641.56	c 1641s |      24 |  3956270 |  3811062 |     2886   3275 |        0 |        0
1643.14/1643.62	c 1643s |      24 |  3960574 |  3815262 |     2886   3278 |        0 |        0
1645.14/1645.64	c 1645s |      24 |  3964909 |  3819362 |     2886   3281 |        0 |        0
1647.14/1647.66	c 1647s |      24 |  3969208 |  3823462 |     2886   3283 |        0 |        0
1649.14/1649.69	c 1649s |      24 |  3973802 |  3827762 |     2886   3286 |        0 |        0
1651.24/1651.72	c 1651s |      24 |  3978209 |  3831962 |     2886   3289 |        0 |        0
1653.23/1653.74	c 1653s |      24 |  3982461 |  3836062 |     2886   3292 |        0 |        0
1655.23/1655.76	c 1655s |      24 |  3986689 |  3840162 |     2886   3294 |        0 |        0
1657.24/1657.76	c 1657s |      24 |  3990872 |  3844162 |     2886   3297 |        0 |        0
1659.33/1659.80	c 1659s |      24 |  3995117 |  3848162 |     2886   3300 |        0 |        0
1661.33/1661.83	c 1661s |      24 |  3999456 |  3852362 |     2886   3303 |        0 |        0
1663.34/1663.87	c 1663s |      24 |  4003680 |  3856462 |     2886   3305 |        0 |        0
1665.34/1665.88	c 1665s |      24 |  4007898 |  3860462 |     2886   3308 |        0 |        0
1667.44/1667.91	c 1667s |      24 |  4012565 |  3864862 |     2886   3311 |        0 |        0
1669.45/1669.95	c 1669s |      24 |  4017295 |  3869362 |     2886   3314 |        0 |        0
1671.44/1671.97	c 1671s |      24 |  4021741 |  3873662 |     2886   3317 |        0 |        0
1673.54/1674.00	c 1673s |      24 |  4026300 |  3878062 |     2886   3320 |        0 |        0
1675.54/1676.05	c 1676s |      24 |  4030804 |  3882462 |     2886   3322 |        0 |        0
1677.54/1678.09	c 1678s |      24 |  4035306 |  3886762 |     2886   3325 |        0 |        0
1679.64/1680.10	c 1680s |      24 |  4039610 |  3890862 |     2886   3328 |        0 |        0
1681.64/1682.11	c 1682s |      24 |  4044027 |  3895162 |     2886   3331 |        0 |        0
1683.64/1684.12	c 1684s |      24 |  4048460 |  3899462 |     2886   3334 |        0 |        0
1685.64/1686.14	c 1686s |      24 |  4052685 |  3903562 |     2886   3336 |        0 |        0
1687.64/1688.17	c 1688s |      24 |  4056946 |  3907662 |     2886   3339 |        0 |        0
1689.63/1690.20	c 1690s |      24 |  4061303 |  3911862 |     2886   3342 |        0 |        0
1691.73/1692.23	c 1692s |      24 |  4065614 |  3915962 |     2886   3345 |        0 |        0
1693.73/1694.23	c 1694s |      24 |  4069578 |  3919762 |     2886   3347 |        0 |        0
1695.74/1696.27	c 1696s |      24 |  4073806 |  3923862 |     2886   3350 |        0 |        0
1697.83/1698.31	c 1698s |      24 |  4078114 |  3928062 |     2886   3353 |        0 |        0
1699.83/1700.31	c 1700s |      24 |  4082339 |  3932162 |     2886   3355 |        0 |        0
1701.83/1702.33	c 1702s |      24 |  4086520 |  3936162 |     2886   3358 |        0 |        0
1703.83/1704.34	c 1704s |      24 |  4090914 |  3940362 |     2886   3361 |        0 |        0
1705.83/1706.35	c 1706s |      24 |  4095089 |  3944362 |     2886   3363 |        0 |        0
1707.83/1708.39	c 1708s |      24 |  4099185 |  3948362 |     2886   3366 |        0 |        0
1709.93/1710.40	c 1710s |      24 |  4103294 |  3952362 |     2886   3369 |        0 |        0
1711.93/1712.43	c 1712s |      24 |  4107846 |  3956662 |     2886   3371 |        0 |        0
1713.93/1714.46	c 1714s |      24 |  4112101 |  3960662 |     2886   3374 |        0 |        0
1716.03/1716.50	c 1716s |      24 |  4116302 |  3964662 |     2886   3377 |        0 |        0
1718.02/1718.52	c 1718s |      24 |  4120506 |  3968762 |     2886   3379 |        0 |        0
1720.03/1720.55	c 1720s |      24 |  4124579 |  3972662 |     2886   3382 |        0 |        0
1722.02/1722.56	c 1722s |      24 |  4128677 |  3976662 |     2886   3385 |        0 |        0
1724.12/1724.60	c 1724s |      24 |  4132912 |  3980662 |     2886   3387 |        0 |        0
1726.12/1726.61	c 1726s |      24 |  4137016 |  3984562 |     2886   3390 |        0 |        0
1728.12/1728.62	c 1728s |      24 |  4140929 |  3988262 |     2886   3392 |        0 |        0
1730.12/1730.65	c 1730s |      24 |  4145429 |  3992662 |     2886   3395 |        0 |        0
1732.13/1732.67	c 1732s |      24 |  4150042 |  3997162 |     2886   3398 |        0 |        0
1734.23/1734.71	c 1734s |      24 |  4154700 |  4001662 |     2886   3401 |        0 |        0
1736.22/1736.75	c 1736s |      24 |  4159237 |  4006062 |     2886   3404 |        0 |        0
1738.23/1738.77	c 1738s |      24 |  4163573 |  4010262 |     2886   3407 |        0 |        0
1740.23/1740.77	c 1740s |      24 |  4167935 |  4014462 |     2886   3410 |        0 |        0
1742.33/1742.80	c 1742s |      24 |  4172354 |  4018762 |     2886   3412 |        0 |        0
1744.33/1744.82	c 1744s |      24 |  4176839 |  4023162 |     2886   3415 |        0 |        0
1746.34/1746.82	c 1746s |      24 |  4181136 |  4027262 |     2886   3418 |        0 |        0
1748.33/1748.86	c 1748s |      24 |  4185597 |  4031562 |     2886   3421 |        0 |        0
1750.43/1750.90	c 1750s |      24 |  4190145 |  4035962 |     2886   3424 |        0 |        0
1752.43/1752.91	c 1752s |      24 |  4194573 |  4040262 |     2886   3427 |        0 |        0
1754.43/1754.93	c 1754s |      24 |  4198844 |  4044462 |     2886   3429 |        0 |        0
1756.43/1756.94	c 1756s |      24 |  4203109 |  4048562 |     2886   3432 |        0 |        0
1758.43/1758.95	c 1758s |      24 |  4207393 |  4052662 |     2886   3435 |        0 |        0
1760.43/1760.97	c 1760s |      24 |  4211711 |  4056862 |     2886   3438 |        0 |        0
1762.53/1763.01	c 1762s |      24 |  4216089 |  4061062 |     2886   3440 |        0 |        0
1764.53/1765.03	c 1765s |      24 |  4220215 |  4065062 |     2886   3443 |        0 |        0
1766.53/1767.04	c 1767s |      24 |  4224386 |  4069162 |     2886   3446 |        0 |        0
1768.52/1769.05	c 1769s |      24 |  4228772 |  4073362 |     2886   3448 |        0 |        0
1770.53/1771.07	c 1771s |      24 |  4232990 |  4077462 |     2886   3451 |        0 |        0
1772.62/1773.11	c 1773s |      24 |  4237188 |  4081562 |     2886   3454 |        0 |        0
1774.62/1775.18	c 1775s |      24 |  4241341 |  4085662 |     2886   3457 |        0 |        0
1776.72/1777.20	c 1777s |      24 |  4245488 |  4089662 |     2886   3459 |        0 |        0
1778.72/1779.24	c 1779s |      24 |  4249514 |  4093562 |     2886   3462 |        0 |        0
1780.72/1781.28	c 1781s |      24 |  4254113 |  4098062 |     2886   3465 |        0 |        0
1782.82/1783.31	c 1783s |      24 |  4258720 |  4102462 |     2886   3468 |        0 |        0
1784.83/1785.33	c 1785s |      24 |  4263155 |  4106662 |     2886   3470 |        0 |        0
1786.82/1787.33	c 1787s |      24 |  4267539 |  4110862 |     2886   3473 |        0 |        0
1788.82/1789.38	c 1789s |      24 |  4271922 |  4115062 |     2886   3476 |        0 |        0
1790.82/1791.38	c 1791s |      24 |  4276235 |  4119262 |     2886   3479 |        0 |        0
1792.92/1793.42	c 1793s |      24 |  4280613 |  4123462 |     2886   3482 |        0 |        0
1794.92/1795.44	c 1795s |      24 |  4285056 |  4127662 |     2886   3484 |        0 |        0
1796.93/1797.45	c 1797s |      24 |  4289337 |  4131762 |     2886   3487 |        0 |        0
1798.92/1799.49	c 1799s |      24 |  4293605 |  4135862 |     2886   3490 |        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-4089393-1466026497/watcher-4089393-1466026497 -o /tmp/evaluation-result-4089393-1466026497/solver-4089393-1466026497 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089393-1466026497.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.32 2.28 3/179 7474
/proc/meminfo: memFree=29453680/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=775748 CPUtime=0 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 2902 0 0 0 0 0 0 0 20 0 4 0 4696163 794365952 2753 33554432000 4194304 16246674 140736540146208 140736540145632 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 194449 2763 442 2943 0 191343 0
[pid=7474/tid=7475] ppid=7471 vsize=793156 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 812191744 2823 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=797252 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 816386048 2839 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=801348 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4696163 820580352 2856 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100135 s]
/proc/loadavg: 2.27 2.32 2.28 3/179 7474
/proc/meminfo: memFree=29453680/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 29781 0 0 0 5 4 0 0 20 0 4 0 4696163 1247350784 29620 33554432000 4194304 16246674 140736540146208 140736540129200 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 304529 29632 705 2943 0 301423 0
[pid=7474/tid=7475] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 29643 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 29654 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 29659 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20051 s]
/proc/loadavg: 2.27 2.32 2.28 3/179 7474
/proc/meminfo: memFree=29453680/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 59985 0 0 0 11 7 0 0 20 0 4 0 4696163 1247350784 59825 33554432000 4194304 16246674 140736540146208 140736540129200 12478189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 304529 59841 712 2943 0 301423 0
[pid=7474/tid=7475] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 59851 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 59862 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 59871 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.27 2.32 2.28 3/179 7474
/proc/meminfo: memFree=29453680/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 89155 0 0 0 18 11 0 0 20 0 4 0 4696163 1247350784 88994 33554432000 4194304 16246674 140736540146208 140736540129200 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 304529 89014 712 2943 0 301423 0
[pid=7474/tid=7475] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 89025 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 89036 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 89048 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.27 2.32 2.28 3/179 7474
/proc/meminfo: memFree=29453680/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 208084 0 0 0 41 27 0 0 20 0 4 0 4696163 1247350784 207923 33554432000 4194304 16246674 140736540146208 140736540129200 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 304529 207938 712 2943 0 301423 0
[pid=7474/tid=7475] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 207946 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 207955 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4696163 1247350784 207959 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.27 2.32 2.28 3/183 7478
/proc/meminfo: memFree=28470684/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1302084 CPUtime=1.48 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 266376 0 0 0 112 36 0 0 20 0 4 0 4696163 1333334016 266195 33554432000 4194304 16246674 140736540146208 140736540129208 5676190 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 325521 266195 790 2943 0 322415 0
[pid=7474/tid=7475] ppid=7471 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1333334016 266195 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1333334016 266195 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1333334016 266195 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.27 2.32 2.28 3/183 7478
/proc/meminfo: memFree=28385000/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 267710 0 0 0 272 37 0 0 20 0 4 0 4696163 1338576896 267529 33554432000 4194304 16246674 140736540146208 140736540128128 6010021 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 326801 267529 790 2943 0 323695 0
[pid=7474/tid=7475] ppid=7471 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1338576896 267529 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1338576896 267529 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1338576896 267529 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.25 2.31 2.27 3/183 7478
/proc/meminfo: memFree=28383496/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 267831 0 0 0 592 37 0 0 20 0 4 0 4696163 1338576896 267650 33554432000 4194304 16246674 140736540146208 140736540129208 6021954 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 326801 267650 792 2943 0 323695 0
[pid=7474/tid=7475] ppid=7471 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1338576896 267650 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1338576896 267650 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1338576896 267650 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.23 2.31 2.27 4/183 7478
/proc/meminfo: memFree=28383492/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 268087 0 0 0 1232 37 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140736540128128 5754924 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 327057 267906 792 2943 0 323951 0
[pid=7474/tid=7475] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.26 2.31 2.27 4/183 7478
/proc/meminfo: memFree=28383312/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 268087 0 0 0 2512 37 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140736540128128 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 327057 267906 792 2943 0 323951 0
[pid=7474/tid=7475] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.22 2.30 2.27 3/183 7479
/proc/meminfo: memFree=28383284/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1308228 CPUtime=51.09 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 268087 0 0 0 5072 37 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140736540128128 5722604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 327057 267906 792 2943 0 323951 0
[pid=7474/tid=7475] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1339625472 267906 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.15 2.26 2.26 3/183 7480
/proc/meminfo: memFree=28381480/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 268599 0 0 0 10191 37 0 0 20 0 4 0 4696163 1341722624 268418 33554432000 4194304 16246674 140736540146208 140736540128128 5721639 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 327569 268418 792 2943 0 324463 0
[pid=7474/tid=7475] ppid=7471 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1341722624 268418 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1341722624 268418 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1341722624 268418 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1350111232 270724 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.32 2.24 2.22 3/183 7621
/proc/meminfo: memFree=28372544/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1318468 CPUtime=1361.89 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271035 0 0 0 136139 50 0 0 20 0 4 0 4696163 1350111232 270724 33554432000 4194304 16246674 140736540146208 140736540129208 5673576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329617 270724 794 2943 0 326511 0
[pid=7474/tid=7475] ppid=7471 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1350111232 270724 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1350111232 270724 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1350111232 270724 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.16 2.21 2.21 4/183 7719
/proc/meminfo: memFree=28376012/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1421.88 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 142138 50 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540128128 5545907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.15 2.20 2.20 3/183 7720
/proc/meminfo: memFree=28375104/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1481.86 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 148136 50 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540129208 5589376 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.29 2.22 2.21 3/184 7871
/proc/meminfo: memFree=28373872/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1541.86 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 154135 51 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540129208 5545721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.26 2.22 2.21 4/184 7896
/proc/meminfo: memFree=28373368/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1601.85 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 160133 52 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540128128 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.32 2.24 2.21 3/183 7897
/proc/meminfo: memFree=28373576/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1661.84 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 166131 53 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540128128 5721725 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.33 2.26 2.21 3/183 7898
/proc/meminfo: memFree=28372252/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1721.82 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 172129 53 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540128128 5822432 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.33 2.27 2.22 4/183 7899
/proc/meminfo: memFree=28371496/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1781.82 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 178128 54 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540145384 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.45 2.30 2.23 3/183 7899
/proc/meminfo: memFree=28371496/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1800.02 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 179948 54 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540128128 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.5 s]
/proc/loadavg: 2.45 2.30 2.23 3/183 7899
/proc/meminfo: memFree=28371496/32872528 swapFree=1369816/1516984
[pid=7474] ppid=7471 vsize=1319492 CPUtime=1800.02 cores=1,3,5,7
/proc/7474/stat : 7474 (toysat) R 7471 7474 5822 0 -1 4202496 271291 0 0 0 179948 54 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140736540128128 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7474/statm: 329873 270980 794 2943 0 326767 0
[pid=7474/tid=7475] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7475/stat : 7475 (toysat) S 7471 7474 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500936928496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=7474/tid=7476] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7476/stat : 7476 (toysat) S 7471 7474 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500926438640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=7474/tid=7477] ppid=7471 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7474/task/7477/stat : 7477 (toysat) S 7471 7474 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4696163 1351159808 270980 33554432000 4194304 16246674 140736540146208 140500915965104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.543917
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.543917
maximum resident set size= 1083920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271291
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= 399
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39933 second user time and 7.13791 second system time

The end

Begin job on node129 at 2016-06-15 23:34:57
IDJOB=4089393
IDBENCH=107400
IDSOLVER=2542
FILE ID=node129/4089393-1466026497
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x29-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089393-1466026497/watcher-4089393-1466026497 -o /tmp/evaluation-result-4089393-1466026497/solver-4089393-1466026497 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089393-1466026497.opb

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

MD5SUM BENCH= 6030d50892c1681bae22d25e3c23a744
RANDOM SEED=964426938

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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	: 5332.28
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29453952 kB
Buffers:           22440 kB
Cached:            75816 kB
SwapCached:        20172 kB
Active:          1139240 kB
Inactive:          57888 kB
Active(anon):    1081044 kB
Inactive(anon):    20104 kB
Active(file):      58196 kB
Inactive(file):    37784 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2598600 kB
Mapped:            10256 kB
Shmem:                 0 kB
Slab:             566764 kB
SReclaimable:      10808 kB
SUnreclaim:       555956 kB
KernelStack:        1464 kB
PageTables:         9412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2741144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    761856 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 node129 at 2016-06-16 00:04:57