0.00/0.00	c 2016-06-15T22:52:18+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-4089239-1466023938.opb"]
0.00/0.01	c use --random-gen="4151201555 1208450364 1522524352 1523204021 595195638 1789884569 2524766299 466638169 1285639625 3711132531 2075354482 1951907420 2106904540 475195610 3255023657 2511275938 762412469 2723578293 1135080110 1651269972 2557140248 2590527378 1651998913 3037911248 876896142 758351516 2555607080 1381771445 3157884223 1374736797 3016301035 369833046 168942330 2777082270 1664889697 2310079326 3603720157 3251516343 2988248312 2189962835 4123310600 4093430190 1139262668 3629490307 2454040479 3976420403 1143297066 2513482228 3215360642 801345281 3204508123 428566900 3665465093 435020765 1787139900 3012177409 3322202730 3191731692 2352328602 1484344931 3783529325 2116068194 3419127130 2887308337 3621301956 4035328177 1353753265 4219069757 983822162 3368794600 4027819505 3348799259 3073808878 3227149608 376799107 3922616131 1518516332 3468728074 3307830554 4192333566 2024050816 763990982 4056598332 2633053951 3889190923 1911763720 3162387036 1203532699 1129260888 1751194022 3823960020 439428360 2244677459 3228514706 2503811570 556631280 3872016045 2128175115 1439212771 3512080964 722093402 683301021 3923070037 2037225582 29477684 1657986489 980261778 3053095156 47027866 2094051569 2808000117 2330307669 2449263460 1232393481 321286523 4237843718 96958661 4107809688 509889202 3602892661 1779394210 521236094 886395723 1907480953 3694076546 2333554204 2985073671 3799493623 320491471 3439327728 2093501565 2770852963 2733899329 1204840318 1152955842 1564504105 2995204635 3581524462 2685859425 2800413860 2973769362 1202609597 1984472417 3197125229 3049520360 158634001 2568466386 3609955704 2737302 2508537188 1402889467 3884379246 1029137195 544284127 782244031 3627529272 683280225 3255636423 2528212490 2386079290 1915828188 276238684 272562493 2598958937 4015988504 316317006 590064416 1508856641 2084450190 972566229 2430487376 3631159139 1912969368 2949710600 1424903151 453641711 2094642870 2402958049 1507511081 3782349468 2017960883 3963081437 1337480122 1736267966 2845613721 1120981219 1711111817 3025009471 384743888 285074432 959435453 3339176897 1021399179 2442255184 2141316769 64111267 2009697745 2548994586 158344145 3858189029 2629677194 1535272347 2092163970 3174543479 2289768750 4267264003 1114574297 2516916021 4273589113 1942882769 2296867434 4173496107 4261837945 904502922 225562052 4072076300 509517458 1799897588 1490318028 1802851010 738343612 1260314336 4161718398 4207170640 1893277642 199589715 3295498739 4159935067 3395539660 2823778811 2328473604 2726472577 2177471692 3707236508 3542247803 3131457322 3339986170 2881272614 561219739 2039555255 2138370961 278117611 3180384652 2062295143 1540847678 1340157271 2980106166 2608410408 411390563 3707573350 768371383 66558903 3048752365 4062207293 144488596 1810281460 255 362436" option to reproduce the execution
0.00/0.01	c #vars 200
0.00/0.01	c #constraints 401
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 |      200      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      195 |      100 |      200      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      439 |      250 |      221      0 |        0 |        0
0.09/0.13	c  0.1s |       3 |      759 |      475 |      244      2 |        0 |        0
0.19/0.21	c  0.2s |       4 |     1195 |      813 |      269      3 |        0 |        0
0.29/0.35	c  0.3s |       5 |     1793 |     1320 |      296      6 |        0 |        0
0.48/0.56	c  0.5s |       6 |     2640 |     2081 |      359      9 |        0 |        0
0.79/0.86	c  0.8s |       7 |     3875 |     3223 |      395     14 |        0 |        0
1.09/1.18	c  1.2s |       8 |     5702 |     4936 |      435     21 |        0 |        0
1.69/1.70	c  1.7s |       9 |     8376 |     7506 |      479     31 |        0 |        0
2.39/2.45	c  2.4s |      10 |    12366 |    11361 |      527     44 |        0 |        0
3.59/3.60	c  3.6s |      11 |    18341 |    17144 |      580     63 |        0 |        0
5.29/5.37	c  5.4s |      12 |    27206 |    25819 |      638     89 |        0 |        0
7.29/7.37	c  7.4s |      12 |    37163 |    35519 |      638    115 |        0 |        0
7.99/8.06	c  8.0s |      13 |    40540 |    38832 |      702    124 |        0 |        0
9.99/10.07	c 10.1s |      13 |    50516 |    48532 |      702    149 |        0 |        0
11.99/12.08	c 12.1s |      13 |    60219 |    58032 |      773    172 |        0 |        0
12.09/12.15	c 12.1s |      14 |    60544 |    58352 |      773    173 |        0 |        0
14.08/14.16	c 14.1s |      14 |    70330 |    67852 |      773    195 |        0 |        0
16.08/16.16	c 16.1s |      14 |    79963 |    77252 |      773    217 |        0 |        0
18.08/18.16	c 18.1s |      14 |    89187 |    86252 |      773    238 |        0 |        0
18.38/18.46	c 18.4s |      15 |    90617 |    87632 |      851    241 |        0 |        0
20.38/20.48	c 20.5s |      15 |   100760 |    97432 |      851    262 |        0 |        0
22.38/22.49	c 22.5s |      15 |   110312 |   106732 |      851    281 |        0 |        0
24.38/24.49	c 24.5s |      15 |   119535 |   115732 |      851    300 |        0 |        0
26.39/26.50	c 26.5s |      15 |   128707 |   124632 |      851    319 |        0 |        0
27.98/28.07	c 28.1s |      16 |   135735 |   131552 |      937    334 |        0 |        0
29.98/30.08	c 30.1s |      16 |   145052 |   140452 |      937    351 |        0 |        0
32.08/32.10	c 32.1s |      16 |   153847 |   149052 |      937    368 |        0 |        0
34.09/34.12	c 34.1s |      16 |   163420 |   158452 |      937    386 |        0 |        0
36.08/36.12	c 36.1s |      16 |   172466 |   167352 |      937    403 |        0 |        0
38.09/38.13	c 38.1s |      16 |   181451 |   176052 |      937    420 |        0 |        0
40.09/40.15	c 40.1s |      16 |   190259 |   184752 |      937    437 |        0 |        0
42.09/42.16	c 42.1s |      16 |   198907 |   193252 |      937    454 |        0 |        0
43.09/43.14	c 43.1s |      17 |   203226 |   197432 |     1031    462 |        0 |        0
45.09/45.16	c 45.1s |      17 |   212426 |   206332 |     1031    478 |        0 |        0
47.08/47.17	c 47.2s |      17 |   221412 |   215132 |     1031    493 |        0 |        0
49.08/49.18	c 49.2s |      17 |   230152 |   223732 |     1031    509 |        0 |        0
51.08/51.19	c 51.2s |      17 |   238775 |   232232 |     1031    524 |        0 |        0
53.18/53.21	c 53.2s |      17 |   247869 |   241132 |     1031    540 |        0 |        0
55.18/55.21	c 55.2s |      17 |   256518 |   249632 |     1031    555 |        0 |        0
57.19/57.22	c 57.2s |      17 |   265042 |   258032 |     1031    570 |        0 |        0
59.18/59.22	c 59.2s |      17 |   274250 |   267032 |     1031    586 |        0 |        0
61.18/61.24	c 61.2s |      17 |   283212 |   275832 |     1031    602 |        0 |        0
63.18/63.26	c 63.2s |      17 |   292002 |   284432 |     1031    617 |        0 |        0
65.18/65.28	c 65.3s |      17 |   300685 |   292832 |     1031    632 |        0 |        0
65.99/66.08	c 66.1s |      18 |   304218 |   296252 |     1135    638 |        0 |        0
67.98/68.09	c 68.1s |      18 |   313190 |   304952 |     1135    652 |        0 |        0
69.98/70.09	c 70.1s |      18 |   321921 |   313452 |     1135    666 |        0 |        0
72.08/72.10	c 72.1s |      18 |   330613 |   321952 |     1135    680 |        0 |        0
74.08/74.11	c 74.1s |      18 |   339273 |   330452 |     1135    693 |        0 |        0
76.08/76.12	c 76.1s |      18 |   347779 |   338752 |     1135    707 |        0 |        0
78.08/78.14	c 78.1s |      18 |   356305 |   347052 |     1135    721 |        0 |        0
80.07/80.14	c 80.1s |      18 |   364761 |   355352 |     1135    734 |        0 |        0
82.07/82.15	c 82.1s |      18 |   373133 |   363552 |     1135    747 |        0 |        0
84.07/84.16	c 84.1s |      18 |   381432 |   371652 |     1135    761 |        0 |        0
86.07/86.16	c 86.1s |      18 |   389985 |   380052 |     1135    774 |        0 |        0
88.08/88.17	c 88.2s |      18 |   398427 |   388352 |     1135    788 |        0 |        0
90.07/90.18	c 90.2s |      18 |   406958 |   396652 |     1135    802 |        0 |        0
92.17/92.20	c 92.2s |      18 |   415445 |   404952 |     1135    815 |        0 |        0
94.17/94.20	c 94.2s |      18 |   424139 |   413352 |     1135    829 |        0 |        0
96.17/96.22	c 96.2s |      18 |   433100 |   422152 |     1135    843 |        0 |        0
98.17/98.23	c 98.2s |      18 |   441666 |   430552 |     1135    857 |        0 |        0
100.18/100.24	c  100s |      18 |   450239 |   438952 |     1135    871 |        0 |        0
101.47/101.57	c  101s |      19 |   455904 |   444482 |     1249    879 |        0 |        0
103.49/103.58	c  103s |      19 |   465002 |   453282 |     1249    892 |        0 |        0
105.48/105.60	c  105s |      19 |   473744 |   461782 |     1249    905 |        0 |        0
107.58/107.61	c  107s |      19 |   482268 |   470082 |     1249    917 |        0 |        0
109.58/109.62	c  109s |      19 |   491273 |   478582 |     1249    930 |        0 |        0
111.58/111.64	c  111s |      19 |   499610 |   486682 |     1249    942 |        0 |        0
113.58/113.65	c  113s |      19 |   508468 |   495282 |     1249    955 |        0 |        0
115.58/115.65	c  115s |      19 |   517041 |   503682 |     1249    968 |        0 |        0
117.57/117.65	c  117s |      19 |   525376 |   511782 |     1249    980 |        0 |        0
119.57/119.66	c  119s |      19 |   533550 |   519782 |     1249    992 |        0 |        0
121.57/121.67	c  121s |      19 |   542289 |   528282 |     1249   1004 |        0 |        0
123.57/123.68	c  123s |      19 |   550749 |   536482 |     1249   1017 |        0 |        0
125.57/125.69	c  125s |      19 |   558977 |   544482 |     1249   1029 |        0 |        0
127.58/127.70	c  127s |      19 |   567273 |   552582 |     1249   1041 |        0 |        0
129.67/129.72	c  129s |      19 |   575377 |   560482 |     1249   1053 |        0 |        0
131.67/131.74	c  131s |      19 |   583717 |   568582 |     1249   1065 |        0 |        0
133.67/133.75	c  133s |      19 |   592449 |   577182 |     1249   1078 |        0 |        0
135.67/135.76	c  135s |      19 |   601140 |   585682 |     1249   1090 |        0 |        0
137.67/137.76	c  137s |      19 |   609403 |   593782 |     1249   1102 |        0 |        0
139.68/139.78	c  139s |      19 |   617873 |   602082 |     1249   1115 |        0 |        0
141.77/141.80	c  141s |      19 |   626272 |   610182 |     1249   1127 |        0 |        0
143.77/143.81	c  143s |      19 |   634675 |   618282 |     1249   1139 |        0 |        0
145.77/145.81	c  145s |      19 |   642825 |   626182 |     1249   1151 |        0 |        0
147.77/147.83	c  147s |      19 |   651235 |   634382 |     1249   1163 |        0 |        0
149.77/149.83	c  149s |      19 |   659151 |   642082 |     1249   1175 |        0 |        0
151.77/151.84	c  151s |      19 |   667326 |   649982 |     1249   1186 |        0 |        0
153.77/153.84	c  153s |      19 |   675528 |   657882 |     1249   1198 |        0 |        0
155.77/155.86	c  155s |      19 |   683384 |   665582 |     1374   1209 |        0 |        0
156.07/156.20	c  156s |      20 |   684644 |   666827 |     1374   1211 |        0 |        0
158.17/158.21	c  158s |      20 |   693234 |   675127 |     1374   1222 |        0 |        0
160.16/160.24	c  160s |      20 |   701437 |   683227 |     1374   1233 |        0 |        0
162.16/162.25	c  162s |      20 |   709621 |   691227 |     1374   1244 |        0 |        0
164.16/164.27	c  164s |      20 |   717666 |   699127 |     1374   1255 |        0 |        0
166.17/166.28	c  166s |      20 |   725854 |   707027 |     1374   1266 |        0 |        0
168.27/168.30	c  168s |      20 |   733925 |   714927 |     1374   1277 |        0 |        0
170.26/170.32	c  170s |      20 |   741778 |   722627 |     1374   1287 |        0 |        0
172.26/172.34	c  172s |      20 |   749729 |   730427 |     1374   1298 |        0 |        0
174.26/174.35	c  174s |      20 |   757723 |   738227 |     1374   1308 |        0 |        0
176.26/176.36	c  176s |      20 |   765313 |   745627 |     1374   1318 |        0 |        0
178.27/178.37	c  178s |      20 |   773594 |   753727 |     1374   1329 |        0 |        0
180.26/180.38	c  180s |      20 |   782005 |   761927 |     1374   1341 |        0 |        0
182.26/182.38	c  182s |      20 |   790273 |   769927 |     1374   1352 |        0 |        0
184.36/184.40	c  184s |      20 |   798394 |   777827 |     1374   1362 |        0 |        0
186.36/186.42	c  186s |      20 |   806737 |   785927 |     1374   1373 |        0 |        0
188.36/188.43	c  188s |      20 |   814927 |   793927 |     1374   1384 |        0 |        0
190.36/190.44	c  190s |      20 |   823155 |   801927 |     1374   1395 |        0 |        0
192.36/192.45	c  192s |      20 |   831318 |   809927 |     1374   1406 |        0 |        0
194.36/194.47	c  194s |      20 |   839518 |   817927 |     1374   1417 |        0 |        0
196.36/196.49	c  196s |      20 |   847690 |   825827 |     1374   1428 |        0 |        0
198.46/198.51	c  198s |      20 |   855624 |   833527 |     1374   1438 |        0 |        0
200.46/200.53	c  200s |      20 |   863861 |   841427 |     1374   1449 |        0 |        0
202.47/202.53	c  202s |      20 |   871995 |   849427 |     1374   1460 |        0 |        0
204.46/204.54	c  204s |      20 |   879998 |   857227 |     1374   1471 |        0 |        0
206.46/206.56	c  206s |      20 |   888063 |   865127 |     1374   1482 |        0 |        0
208.46/208.58	c  208s |      20 |   895966 |   872927 |     1374   1492 |        0 |        0
210.46/210.58	c  210s |      20 |   904057 |   880827 |     1374   1503 |        0 |        0
212.56/212.60	c  212s |      20 |   911903 |   888527 |     1374   1514 |        0 |        0
214.57/214.61	c  214s |      20 |   919901 |   896327 |     1374   1524 |        0 |        0
216.56/216.63	c  216s |      20 |   927642 |   903927 |     1374   1535 |        0 |        0
218.56/218.65	c  218s |      20 |   935494 |   911627 |     1374   1545 |        0 |        0
220.56/220.66	c  220s |      20 |   943669 |   919527 |     1374   1556 |        0 |        0
222.56/222.67	c  222s |      20 |   951727 |   927327 |     1374   1567 |        0 |        0
224.56/224.67	c  224s |      20 |   959649 |   935027 |     1374   1577 |        0 |        0
226.57/226.69	c  226s |      20 |   967750 |   942827 |     1374   1588 |        0 |        0
228.66/228.71	c  228s |      20 |   975734 |   950627 |     1374   1598 |        0 |        0
230.66/230.73	c  230s |      20 |   983566 |   958227 |     1374   1609 |        0 |        0
232.66/232.74	c  232s |      20 |   991311 |   965627 |     1374   1619 |        0 |        0
234.66/234.75	c  234s |      20 |   999300 |   973427 |     1374   1630 |        0 |        0
236.66/236.76	c  236s |      20 |  1007089 |   981027 |     1374   1640 |        0 |        0
238.66/238.77	c  238s |      20 |  1014862 |   988527 |     1374   1650 |        0 |        0
240.65/240.78	c  240s |      20 |  1023269 |   996627 |     1512   1661 |        0 |        0
241.65/241.72	c  241s |      21 |  1027074 |  1000345 |     1512   1665 |        0 |        0
243.65/243.72	c  243s |      21 |  1035682 |  1008645 |     1512   1676 |        0 |        0
245.65/245.73	c  245s |      21 |  1043957 |  1016645 |     1512   1686 |        0 |        0
247.65/247.74	c  247s |      21 |  1052252 |  1024745 |     1512   1696 |        0 |        0
249.66/249.75	c  249s |      21 |  1060440 |  1032745 |     1512   1706 |        0 |        0
251.65/251.76	c  251s |      21 |  1068912 |  1041045 |     1512   1716 |        0 |        0
253.65/253.78	c  253s |      21 |  1077078 |  1048945 |     1512   1726 |        0 |        0
255.65/255.79	c  255s |      21 |  1085713 |  1057245 |     1512   1736 |        0 |        0
257.65/257.79	c  257s |      21 |  1094096 |  1065345 |     1512   1746 |        0 |        0
259.75/259.82	c  259s |      21 |  1102428 |  1073445 |     1512   1756 |        0 |        0
261.76/261.82	c  261s |      21 |  1110704 |  1081445 |     1512   1766 |        0 |        0
263.75/263.83	c  263s |      21 |  1118902 |  1089445 |     1512   1776 |        0 |        0
265.75/265.84	c  265s |      21 |  1127468 |  1097545 |     1512   1786 |        0 |        0
267.75/267.86	c  267s |      21 |  1135604 |  1105445 |     1512   1796 |        0 |        0
269.75/269.88	c  269s |      21 |  1143936 |  1113545 |     1512   1806 |        0 |        0
271.85/271.90	c  271s |      21 |  1152111 |  1121545 |     1512   1816 |        0 |        0
273.85/273.92	c  273s |      21 |  1159978 |  1129245 |     1512   1826 |        0 |        0
275.85/275.94	c  275s |      21 |  1167864 |  1136945 |     1512   1835 |        0 |        0
277.85/277.95	c  277s |      21 |  1176128 |  1145045 |     1512   1845 |        0 |        0
279.85/279.95	c  279s |      21 |  1184274 |  1153045 |     1512   1855 |        0 |        0
281.85/281.95	c  281s |      21 |  1192256 |  1160845 |     1512   1865 |        0 |        0
283.85/283.97	c  283s |      21 |  1200479 |  1168845 |     1512   1875 |        0 |        0
285.84/285.99	c  285s |      21 |  1208659 |  1176845 |     1512   1885 |        0 |        0
287.84/287.99	c  287s |      21 |  1216701 |  1184645 |     1512   1895 |        0 |        0
289.94/290.01	c  289s |      21 |  1224702 |  1192445 |     1512   1904 |        0 |        0
291.94/292.03	c  292s |      21 |  1232637 |  1200245 |     1512   1914 |        0 |        0
293.94/294.05	c  294s |      21 |  1240986 |  1208345 |     1512   1924 |        0 |        0
295.95/296.06	c  296s |      21 |  1249290 |  1216045 |     1512   1934 |        0 |        0
297.95/298.08	c  298s |      21 |  1257308 |  1223845 |     1512   1944 |        0 |        0
299.95/300.09	c  300s |      21 |  1265328 |  1231545 |     1512   1953 |        0 |        0
301.95/302.10	c  302s |      21 |  1273106 |  1239045 |     1512   1963 |        0 |        0
304.05/304.11	c  304s |      21 |  1281328 |  1247045 |     1512   1972 |        0 |        0
306.05/306.12	c  306s |      21 |  1289292 |  1254845 |     1512   1982 |        0 |        0
308.05/308.13	c  308s |      21 |  1297487 |  1262745 |     1512   1992 |        0 |        0
310.05/310.14	c  310s |      21 |  1305691 |  1270745 |     1512   2002 |        0 |        0
312.05/312.14	c  312s |      21 |  1313662 |  1278545 |     1512   2012 |        0 |        0
314.05/314.15	c  314s |      21 |  1321625 |  1286245 |     1512   2021 |        0 |        0
316.04/316.16	c  316s |      21 |  1329297 |  1293745 |     1512   2031 |        0 |        0
318.04/318.18	c  318s |      21 |  1337330 |  1301545 |     1512   2040 |        0 |        0
320.05/320.19	c  320s |      21 |  1345039 |  1309045 |     1512   2050 |        0 |        0
322.14/322.20	c  322s |      21 |  1352852 |  1316645 |     1512   2059 |        0 |        0
324.14/324.22	c  324s |      21 |  1360836 |  1324345 |     1512   2069 |        0 |        0
326.14/326.24	c  326s |      21 |  1368686 |  1331945 |     1512   2078 |        0 |        0
328.14/328.26	c  328s |      21 |  1376530 |  1339445 |     1512   2088 |        0 |        0
330.14/330.26	c  330s |      21 |  1384330 |  1346745 |     1512   2097 |        0 |        0
332.15/332.28	c  332s |      21 |  1392116 |  1354245 |     1512   2106 |        0 |        0
334.24/334.30	c  334s |      21 |  1400236 |  1361945 |     1512   2116 |        0 |        0
336.24/336.33	c  336s |      21 |  1408571 |  1370045 |     1512   2126 |        0 |        0
338.24/338.33	c  338s |      21 |  1416735 |  1377945 |     1512   2135 |        0 |        0
340.24/340.35	c  340s |      21 |  1424692 |  1385745 |     1512   2145 |        0 |        0
342.24/342.35	c  342s |      21 |  1432627 |  1393445 |     1512   2155 |        0 |        0
344.24/344.37	c  344s |      21 |  1440594 |  1401245 |     1512   2164 |        0 |        0
346.24/346.37	c  346s |      21 |  1448559 |  1409045 |     1512   2174 |        0 |        0
348.24/348.38	c  348s |      21 |  1456260 |  1416545 |     1512   2184 |        0 |        0
350.34/350.40	c  350s |      21 |  1464263 |  1424345 |     1512   2193 |        0 |        0
352.34/352.41	c  352s |      21 |  1472479 |  1432145 |     1512   2203 |        0 |        0
354.34/354.44	c  354s |      21 |  1480383 |  1439845 |     1512   2213 |        0 |        0
356.34/356.47	c  356s |      21 |  1488065 |  1447345 |     1512   2222 |        0 |        0
358.33/358.48	c  358s |      21 |  1495652 |  1454645 |     1512   2231 |        0 |        0
360.33/360.49	c  360s |      21 |  1503747 |  1462445 |     1512   2241 |        0 |        0
362.43/362.52	c  362s |      21 |  1512099 |  1470145 |     1512   2250 |        0 |        0
364.43/364.54	c  364s |      21 |  1520049 |  1477645 |     1512   2260 |        0 |        0
366.43/366.55	c  366s |      21 |  1527817 |  1485045 |     1512   2269 |        0 |        0
368.44/368.56	c  368s |      21 |  1535556 |  1492445 |     1664   2278 |        0 |        0
370.43/370.58	c  370s |      21 |  1543224 |  1499945 |     1664   2286 |        0 |        0
370.64/370.77	c  370s |      22 |  1543914 |  1500622 |     1664   2287 |        0 |        0
372.63/372.78	c  372s |      22 |  1551379 |  1507822 |     1664   2295 |        0 |        0
374.73/374.80	c  374s |      22 |  1559405 |  1515622 |     1664   2304 |        0 |        0
376.73/376.83	c  376s |      22 |  1567069 |  1523122 |     1664   2313 |        0 |        0
378.73/378.86	c  378s |      22 |  1574992 |  1530922 |     1664   2322 |        0 |        0
380.73/380.87	c  380s |      22 |  1582909 |  1538722 |     1664   2330 |        0 |        0
382.74/382.88	c  382s |      22 |  1590835 |  1546422 |     1664   2339 |        0 |        0
384.73/384.88	c  384s |      22 |  1598440 |  1553822 |     1664   2348 |        0 |        0
386.83/386.91	c  386s |      22 |  1606303 |  1561522 |     1664   2356 |        0 |        0
388.83/388.93	c  388s |      22 |  1613883 |  1568922 |     1664   2365 |        0 |        0
390.83/390.94	c  390s |      22 |  1621624 |  1576422 |     1664   2373 |        0 |        0
392.83/392.94	c  392s |      22 |  1629049 |  1583622 |     1664   2381 |        0 |        0
394.83/394.94	c  394s |      22 |  1637139 |  1591422 |     1664   2390 |        0 |        0
396.82/396.96	c  396s |      22 |  1645168 |  1599222 |     1664   2399 |        0 |        0
398.82/398.97	c  398s |      22 |  1653047 |  1606922 |     1664   2408 |        0 |        0
400.82/400.99	c  400s |      22 |  1660716 |  1614422 |     1664   2416 |        0 |        0
402.92/403.01	c  402s |      22 |  1668340 |  1621922 |     1664   2425 |        0 |        0
404.92/405.02	c  405s |      22 |  1675929 |  1629422 |     1664   2434 |        0 |        0
406.93/407.03	c  407s |      22 |  1683447 |  1636822 |     1664   2442 |        0 |        0
408.92/409.04	c  409s |      22 |  1691002 |  1644122 |     1664   2450 |        0 |        0
410.93/411.05	c  411s |      22 |  1698657 |  1651522 |     1664   2459 |        0 |        0
412.93/413.05	c  413s |      22 |  1706135 |  1658822 |     1664   2467 |        0 |        0
414.93/415.06	c  415s |      22 |  1713400 |  1665922 |     1664   2475 |        0 |        0
416.93/417.08	c  417s |      22 |  1721353 |  1673722 |     1664   2484 |        0 |        0
418.93/419.09	c  419s |      22 |  1729219 |  1681422 |     1664   2493 |        0 |        0
421.03/421.11	c  421s |      22 |  1736972 |  1688922 |     1664   2501 |        0 |        0
423.03/423.11	c  423s |      22 |  1744650 |  1696422 |     1664   2510 |        0 |        0
425.03/425.14	c  425s |      22 |  1752370 |  1704022 |     1664   2518 |        0 |        0
427.03/427.15	c  427s |      22 |  1760162 |  1711722 |     1664   2527 |        0 |        0
429.03/429.17	c  429s |      22 |  1767990 |  1719422 |     1664   2536 |        0 |        0
431.03/431.18	c  431s |      22 |  1775622 |  1726822 |     1664   2544 |        0 |        0
433.03/433.18	c  433s |      22 |  1783278 |  1734222 |     1664   2553 |        0 |        0
435.02/435.19	c  435s |      22 |  1790988 |  1741822 |     1664   2561 |        0 |        0
437.12/437.20	c  437s |      22 |  1798453 |  1749122 |     1664   2570 |        0 |        0
439.12/439.20	c  439s |      22 |  1806180 |  1756522 |     1664   2578 |        0 |        0
441.13/441.22	c  441s |      22 |  1814221 |  1764122 |     1664   2587 |        0 |        0
443.12/443.24	c  443s |      22 |  1821999 |  1771722 |     1664   2595 |        0 |        0
445.12/445.26	c  445s |      22 |  1829702 |  1779222 |     1664   2604 |        0 |        0
447.12/447.27	c  447s |      22 |  1837143 |  1786422 |     1664   2612 |        0 |        0
449.22/449.30	c  449s |      22 |  1844868 |  1793822 |     1664   2621 |        0 |        0
451.22/451.31	c  451s |      22 |  1852778 |  1801422 |     1664   2629 |        0 |        0
453.23/453.32	c  453s |      22 |  1860792 |  1809022 |     1664   2638 |        0 |        0
455.22/455.34	c  455s |      22 |  1868592 |  1816522 |     1664   2646 |        0 |        0
457.22/457.35	c  457s |      22 |  1876503 |  1824122 |     1664   2655 |        0 |        0
459.22/459.37	c  459s |      22 |  1884267 |  1831722 |     1664   2664 |        0 |        0
461.22/461.37	c  461s |      22 |  1892100 |  1839422 |     1664   2672 |        0 |        0
463.22/463.38	c  463s |      22 |  1899714 |  1846822 |     1664   2681 |        0 |        0
465.33/465.40	c  465s |      22 |  1907305 |  1854222 |     1664   2689 |        0 |        0
467.32/467.41	c  467s |      22 |  1914780 |  1861522 |     1664   2698 |        0 |        0
469.32/469.42	c  469s |      22 |  1922413 |  1868922 |     1664   2706 |        0 |        0
471.32/471.44	c  471s |      22 |  1929970 |  1876322 |     1664   2714 |        0 |        0
473.32/473.46	c  473s |      22 |  1937410 |  1883622 |     1664   2723 |        0 |        0
475.32/475.47	c  475s |      22 |  1944749 |  1890822 |     1664   2731 |        0 |        0
477.32/477.50	c  477s |      22 |  1952646 |  1898422 |     1664   2740 |        0 |        0
479.41/479.51	c  479s |      22 |  1960296 |  1905922 |     1664   2748 |        0 |        0
481.41/481.52	c  481s |      22 |  1967981 |  1913322 |     1664   2757 |        0 |        0
483.41/483.52	c  483s |      22 |  1975728 |  1920922 |     1664   2765 |        0 |        0
485.41/485.52	c  485s |      22 |  1983302 |  1928322 |     1664   2774 |        0 |        0
487.41/487.54	c  487s |      22 |  1990968 |  1935822 |     1664   2782 |        0 |        0
489.42/489.55	c  489s |      22 |  1998438 |  1943122 |     1664   2791 |        0 |        0
491.41/491.56	c  491s |      22 |  2005701 |  1950222 |     1664   2799 |        0 |        0
493.41/493.57	c  493s |      22 |  2013407 |  1957822 |     1664   2807 |        0 |        0
495.41/495.59	c  495s |      22 |  2021245 |  1965522 |     1664   2816 |        0 |        0
497.41/497.59	c  497s |      22 |  2028992 |  1973122 |     1664   2825 |        0 |        0
499.51/499.61	c  499s |      22 |  2036682 |  1980622 |     1664   2833 |        0 |        0
501.52/501.62	c  501s |      22 |  2044087 |  1987722 |     1664   2841 |        0 |        0
503.51/503.64	c  503s |      22 |  2051525 |  1995022 |     1664   2850 |        0 |        0
505.51/505.66	c  505s |      22 |  2059249 |  2002522 |     1664   2858 |        0 |        0
507.51/507.67	c  507s |      22 |  2066676 |  2009822 |     1664   2867 |        0 |        0
509.51/509.68	c  509s |      22 |  2074306 |  2017322 |     1664   2875 |        0 |        0
511.51/511.69	c  511s |      22 |  2081831 |  2024722 |     1664   2883 |        0 |        0
513.61/513.71	c  513s |      22 |  2089340 |  2031922 |     1664   2892 |        0 |        0
515.61/515.73	c  515s |      22 |  2096992 |  2039422 |     1664   2900 |        0 |        0
517.61/517.73	c  517s |      22 |  2104311 |  2046622 |     1664   2908 |        0 |        0
519.62/519.74	c  519s |      22 |  2111609 |  2053722 |     1664   2917 |        0 |        0
521.61/521.74	c  521s |      22 |  2119329 |  2061222 |     1664   2925 |        0 |        0
523.62/523.75	c  523s |      22 |  2126754 |  2068522 |     1664   2933 |        0 |        0
525.61/525.75	c  525s |      22 |  2134103 |  2075722 |     1664   2942 |        0 |        0
527.61/527.75	c  527s |      22 |  2141483 |  2082922 |     1664   2950 |        0 |        0
529.61/529.77	c  529s |      22 |  2149070 |  2090222 |     1664   2958 |        0 |        0
531.61/531.77	c  531s |      22 |  2156365 |  2097322 |     1664   2966 |        0 |        0
533.71/533.80	c  533s |      22 |  2163923 |  2104722 |     1664   2975 |        0 |        0
535.72/535.82	c  535s |      22 |  2171472 |  2112122 |     1664   2983 |        0 |        0
537.71/537.83	c  537s |      22 |  2178991 |  2119522 |     1664   2991 |        0 |        0
539.71/539.83	c  539s |      22 |  2186333 |  2126722 |     1664   3000 |        0 |        0
541.71/541.85	c  541s |      22 |  2193703 |  2133922 |     1664   3008 |        0 |        0
543.71/543.86	c  543s |      22 |  2201081 |  2141122 |     1664   3016 |        0 |        0
545.71/545.88	c  545s |      22 |  2208497 |  2148422 |     1664   3024 |        0 |        0
547.71/547.89	c  547s |      22 |  2215723 |  2155522 |     1664   3032 |        0 |        0
549.81/549.90	c  549s |      22 |  2222956 |  2162622 |     1664   3040 |        0 |        0
551.81/551.91	c  551s |      22 |  2230281 |  2169822 |     1664   3049 |        0 |        0
553.81/553.92	c  553s |      22 |  2237448 |  2176822 |     1664   3057 |        0 |        0
555.81/555.93	c  555s |      22 |  2244882 |  2184122 |     1664   3065 |        0 |        0
557.81/557.96	c  557s |      22 |  2252140 |  2191222 |     1664   3073 |        0 |        0
559.81/559.96	c  559s |      22 |  2260379 |  2199222 |     1664   3082 |        0 |        0
561.81/561.99	c  561s |      22 |  2268611 |  2207122 |     1664   3091 |        0 |        0
563.81/563.99	c  563s |      22 |  2276872 |  2215022 |     1664   3100 |        0 |        0
565.91/566.00	c  565s |      22 |  2285018 |  2222822 |     1664   3109 |        0 |        0
567.90/568.01	c  567s |      22 |  2292861 |  2230522 |     1664   3118 |        0 |        0
569.90/570.01	c  569s |      22 |  2300838 |  2238322 |     1831   3126 |        0 |        0
571.91/572.02	c  572s |      22 |  2308549 |  2245922 |     1831   3134 |        0 |        0
573.20/573.33	c  573s |      23 |  2313774 |  2251038 |     1831   3139 |        0 |        0
575.21/575.34	c  575s |      23 |  2321936 |  2258838 |     1831   3147 |        0 |        0
577.20/577.35	c  577s |      23 |  2330132 |  2266538 |     1831   3155 |        0 |        0
579.20/579.38	c  579s |      23 |  2338062 |  2274038 |     1831   3163 |        0 |        0
581.30/581.40	c  581s |      23 |  2346161 |  2281738 |     1831   3171 |        0 |        0
583.30/583.43	c  583s |      23 |  2353987 |  2289138 |     1831   3179 |        0 |        0
585.30/585.43	c  585s |      23 |  2361805 |  2296638 |     1831   3187 |        0 |        0
587.31/587.46	c  587s |      23 |  2369892 |  2304338 |     1831   3195 |        0 |        0
589.30/589.47	c  589s |      23 |  2377914 |  2312038 |     1831   3203 |        0 |        0
591.30/591.47	c  591s |      23 |  2385675 |  2319638 |     1831   3210 |        0 |        0
593.30/593.49	c  593s |      23 |  2393569 |  2327338 |     1831   3218 |        0 |        0
595.30/595.50	c  595s |      23 |  2401136 |  2334738 |     1831   3226 |        0 |        0
597.40/597.52	c  597s |      23 |  2408911 |  2342238 |     1831   3234 |        0 |        0
599.40/599.54	c  599s |      23 |  2417126 |  2350238 |     1831   3242 |        0 |        0
601.40/601.56	c  601s |      23 |  2425114 |  2357538 |     1831   3250 |        0 |        0
603.40/603.57	c  603s |      23 |  2432927 |  2365138 |     1831   3258 |        0 |        0
605.40/605.59	c  605s |      23 |  2440909 |  2372938 |     1831   3266 |        0 |        0
607.49/607.60	c  607s |      23 |  2448816 |  2380738 |     1831   3274 |        0 |        0
609.49/609.60	c  609s |      23 |  2456528 |  2388338 |     1831   3282 |        0 |        0
611.50/611.60	c  611s |      23 |  2464245 |  2395838 |     1831   3289 |        0 |        0
613.49/613.62	c  613s |      23 |  2471819 |  2403238 |     1831   3297 |        0 |        0
615.49/615.63	c  615s |      23 |  2479379 |  2410538 |     1831   3305 |        0 |        0
617.49/617.66	c  617s |      23 |  2487151 |  2418138 |     1831   3313 |        0 |        0
619.50/619.66	c  619s |      23 |  2494848 |  2425638 |     1831   3320 |        0 |        0
621.51/621.67	c  621s |      23 |  2502286 |  2432838 |     1831   3328 |        0 |        0
623.50/623.68	c  623s |      23 |  2510170 |  2440538 |     1831   3336 |        0 |        0
625.50/625.69	c  625s |      23 |  2517861 |  2448038 |     1831   3344 |        0 |        0
627.60/627.70	c  627s |      23 |  2525710 |  2455738 |     1831   3352 |        0 |        0
629.60/629.71	c  629s |      23 |  2533383 |  2463138 |     1831   3359 |        0 |        0
631.60/631.72	c  631s |      23 |  2540595 |  2470138 |     1831   3367 |        0 |        0
633.60/633.73	c  633s |      23 |  2548038 |  2477338 |     1831   3374 |        0 |        0
635.59/635.75	c  635s |      23 |  2555306 |  2484438 |     1831   3381 |        0 |        0
637.59/637.76	c  637s |      23 |  2562688 |  2491738 |     1831   3389 |        0 |        0
639.59/639.76	c  639s |      23 |  2569973 |  2498838 |     1831   3396 |        0 |        0
641.59/641.76	c  641s |      23 |  2578414 |  2507138 |     1831   3405 |        0 |        0
643.59/643.76	c  643s |      23 |  2586550 |  2515138 |     1831   3413 |        0 |        0
645.60/645.78	c  645s |      23 |  2594567 |  2522838 |     1831   3421 |        0 |        0
647.69/647.80	c  647s |      23 |  2602516 |  2530538 |     1831   3429 |        0 |        0
649.69/649.81	c  649s |      23 |  2610578 |  2538338 |     1831   3437 |        0 |        0
651.69/651.83	c  651s |      23 |  2618454 |  2546038 |     1831   3445 |        0 |        0
653.69/653.84	c  653s |      23 |  2626447 |  2553838 |     1831   3453 |        0 |        0
655.69/655.86	c  655s |      23 |  2634482 |  2561638 |     1831   3461 |        0 |        0
657.70/657.88	c  657s |      23 |  2642322 |  2569338 |     1831   3469 |        0 |        0
659.69/659.88	c  659s |      23 |  2650078 |  2576938 |     1831   3477 |        0 |        0
661.79/661.90	c  661s |      23 |  2657878 |  2584438 |     1831   3485 |        0 |        0
663.79/663.90	c  663s |      23 |  2665759 |  2592038 |     1831   3493 |        0 |        0
665.79/665.92	c  665s |      23 |  2673556 |  2599638 |     1831   3501 |        0 |        0
667.79/667.94	c  667s |      23 |  2681110 |  2607038 |     1831   3509 |        0 |        0
669.79/669.96	c  669s |      23 |  2688946 |  2614638 |     1831   3517 |        0 |        0
671.79/671.98	c  671s |      23 |  2696706 |  2622138 |     1831   3524 |        0 |        0
673.89/674.00	c  673s |      23 |  2704385 |  2629438 |     1831   3532 |        0 |        0
675.89/676.02	c  676s |      23 |  2711790 |  2636638 |     1831   3539 |        0 |        0
677.89/678.02	c  678s |      23 |  2719535 |  2644238 |     1831   3547 |        0 |        0
679.88/680.02	c  680s |      23 |  2727152 |  2651738 |     1831   3555 |        0 |        0
681.89/682.05	c  682s |      23 |  2734859 |  2659238 |     1831   3563 |        0 |        0
683.88/684.06	c  684s |      23 |  2742471 |  2666538 |     1831   3570 |        0 |        0
685.88/686.07	c  686s |      23 |  2749876 |  2673738 |     1831   3578 |        0 |        0
687.88/688.08	c  688s |      23 |  2757247 |  2680938 |     1831   3585 |        0 |        0
689.88/690.09	c  690s |      23 |  2764894 |  2688438 |     1831   3593 |        0 |        0
691.89/692.09	c  692s |      23 |  2772752 |  2696038 |     1831   3601 |        0 |        0
693.99/694.11	c  694s |      23 |  2780468 |  2703538 |     1831   3609 |        0 |        0
695.98/696.12	c  696s |      23 |  2788186 |  2711038 |     1831   3617 |        0 |        0
697.98/698.13	c  698s |      23 |  2795770 |  2718438 |     1831   3624 |        0 |        0
699.98/700.13	c  700s |      23 |  2803227 |  2725738 |     1831   3632 |        0 |        0
701.98/702.16	c  702s |      23 |  2810957 |  2733238 |     1831   3640 |        0 |        0
703.99/704.17	c  704s |      23 |  2818250 |  2740338 |     1831   3647 |        0 |        0
705.98/706.19	c  706s |      23 |  2825605 |  2747538 |     1831   3655 |        0 |        0
707.98/708.19	c  708s |      23 |  2833000 |  2754738 |     1831   3662 |        0 |        0
710.08/710.20	c  710s |      23 |  2840263 |  2761738 |     1831   3669 |        0 |        0
712.08/712.20	c  712s |      23 |  2848203 |  2769438 |     1831   3677 |        0 |        0
714.08/714.21	c  714s |      23 |  2856238 |  2777138 |     1831   3685 |        0 |        0
716.09/716.22	c  716s |      23 |  2863855 |  2784638 |     1831   3693 |        0 |        0
718.08/718.22	c  718s |      23 |  2871419 |  2792038 |     1831   3701 |        0 |        0
720.08/720.23	c  720s |      23 |  2878904 |  2799338 |     1831   3708 |        0 |        0
722.08/722.23	c  722s |      23 |  2886438 |  2806638 |     1831   3716 |        0 |        0
724.08/724.25	c  724s |      23 |  2893945 |  2813938 |     1831   3724 |        0 |        0
726.08/726.27	c  726s |      23 |  2901619 |  2821338 |     1831   3731 |        0 |        0
728.08/728.29	c  728s |      23 |  2909122 |  2828538 |     1831   3739 |        0 |        0
730.18/730.31	c  730s |      23 |  2916587 |  2835838 |     1831   3746 |        0 |        0
732.18/732.31	c  732s |      23 |  2923959 |  2843038 |     1831   3754 |        0 |        0
734.18/734.32	c  734s |      23 |  2931652 |  2850538 |     1831   3762 |        0 |        0
736.17/736.32	c  736s |      23 |  2938936 |  2857638 |     1831   3769 |        0 |        0
738.17/738.35	c  738s |      23 |  2946415 |  2864838 |     1831   3776 |        0 |        0
740.18/740.37	c  740s |      23 |  2954210 |  2872438 |     1831   3784 |        0 |        0
742.17/742.38	c  742s |      23 |  2961807 |  2879838 |     1831   3792 |        0 |        0
744.27/744.40	c  744s |      23 |  2969170 |  2887038 |     1831   3799 |        0 |        0
746.27/746.42	c  746s |      23 |  2976620 |  2894238 |     1831   3807 |        0 |        0
748.27/748.44	c  748s |      23 |  2983918 |  2901338 |     1831   3814 |        0 |        0
750.27/750.45	c  750s |      23 |  2991115 |  2908438 |     1831   3822 |        0 |        0
752.27/752.47	c  752s |      23 |  2998696 |  2915838 |     1831   3829 |        0 |        0
754.26/754.48	c  754s |      23 |  3006639 |  2923638 |     1831   3837 |        0 |        0
756.26/756.48	c  756s |      23 |  3014261 |  2931038 |     1831   3845 |        0 |        0
758.26/758.49	c  758s |      23 |  3021939 |  2938438 |     1831   3853 |        0 |        0
760.36/760.50	c  760s |      23 |  3029419 |  2945738 |     1831   3860 |        0 |        0
762.36/762.52	c  762s |      23 |  3037201 |  2953238 |     1831   3868 |        0 |        0
764.36/764.54	c  764s |      23 |  3044770 |  2960538 |     1831   3876 |        0 |        0
766.35/766.56	c  766s |      23 |  3052340 |  2967838 |     1831   3883 |        0 |        0
768.35/768.56	c  768s |      23 |  3059727 |  2975038 |     1831   3891 |        0 |        0
770.35/770.57	c  770s |      23 |  3067235 |  2982338 |     1831   3898 |        0 |        0
772.35/772.57	c  772s |      23 |  3074826 |  2989738 |     1831   3906 |        0 |        0
774.45/774.60	c  774s |      23 |  3082170 |  2996838 |     1831   3913 |        0 |        0
776.45/776.62	c  776s |      23 |  3089281 |  3003738 |     1831   3921 |        0 |        0
778.45/778.63	c  778s |      23 |  3097109 |  3011338 |     1831   3928 |        0 |        0
780.45/780.65	c  780s |      23 |  3104594 |  3018538 |     1831   3936 |        0 |        0
782.45/782.68	c  782s |      23 |  3112139 |  3025838 |     1831   3944 |        0 |        0
784.45/784.68	c  784s |      23 |  3119390 |  3032938 |     1831   3951 |        0 |        0
786.45/786.69	c  786s |      23 |  3126696 |  3039938 |     1831   3958 |        0 |        0
788.44/788.70	c  788s |      23 |  3134025 |  3046938 |     1831   3966 |        0 |        0
790.54/790.72	c  790s |      23 |  3141560 |  3054238 |     1831   3973 |        0 |        0
792.54/792.72	c  792s |      23 |  3148857 |  3061338 |     1831   3980 |        0 |        0
794.54/794.73	c  794s |      23 |  3155925 |  3068238 |     1831   3988 |        0 |        0
796.53/796.75	c  796s |      23 |  3163196 |  3075338 |     1831   3995 |        0 |        0
798.54/798.77	c  798s |      23 |  3170512 |  3082438 |     1831   4002 |        0 |        0
800.53/800.79	c  800s |      23 |  3177666 |  3089438 |     1831   4010 |        0 |        0
802.53/802.79	c  802s |      23 |  3186033 |  3097538 |     1831   4018 |        0 |        0
804.63/804.80	c  804s |      23 |  3193878 |  3105138 |     1831   4026 |        0 |        0
806.64/806.81	c  806s |      23 |  3201514 |  3112638 |     1831   4034 |        0 |        0
808.64/808.84	c  808s |      23 |  3209287 |  3120238 |     1831   4042 |        0 |        0
810.64/810.84	c  810s |      23 |  3216820 |  3127638 |     1831   4049 |        0 |        0
812.63/812.85	c  812s |      23 |  3224360 |  3135038 |     1831   4057 |        0 |        0
814.63/814.88	c  814s |      23 |  3231951 |  3142438 |     1831   4065 |        0 |        0
816.63/816.89	c  816s |      23 |  3239572 |  3149838 |     1831   4072 |        0 |        0
818.73/818.91	c  818s |      23 |  3247377 |  3157438 |     1831   4080 |        0 |        0
820.73/820.91	c  820s |      23 |  3254727 |  3164638 |     1831   4088 |        0 |        0
822.73/822.93	c  822s |      23 |  3262049 |  3171738 |     1831   4095 |        0 |        0
824.72/824.95	c  824s |      23 |  3269881 |  3179338 |     1831   4103 |        0 |        0
826.72/826.97	c  826s |      23 |  3277464 |  3186738 |     1831   4111 |        0 |        0
828.72/829.00	c  828s |      23 |  3284837 |  3193938 |     1831   4118 |        0 |        0
830.82/831.01	c  830s |      23 |  3292011 |  3200938 |     1831   4125 |        0 |        0
832.82/833.03	c  833s |      23 |  3299695 |  3208438 |     1831   4133 |        0 |        0
834.83/835.03	c  835s |      23 |  3307720 |  3216238 |     1831   4141 |        0 |        0
836.82/837.03	c  837s |      23 |  3315538 |  3223838 |     1831   4149 |        0 |        0
838.82/839.05	c  839s |      23 |  3323343 |  3231438 |     1831   4157 |        0 |        0
840.82/841.06	c  841s |      23 |  3330840 |  3238738 |     1831   4165 |        0 |        0
842.81/843.08	c  843s |      23 |  3338749 |  3246438 |     1831   4173 |        0 |        0
844.91/845.10	c  845s |      23 |  3346420 |  3253938 |     1831   4180 |        0 |        0
846.92/847.11	c  847s |      23 |  3354156 |  3261438 |     1831   4188 |        0 |        0
848.91/849.12	c  849s |      23 |  3361573 |  3268738 |     1831   4196 |        0 |        0
850.91/851.14	c  851s |      23 |  3369295 |  3276238 |     1831   4204 |        0 |        0
852.91/853.15	c  853s |      23 |  3376739 |  3283538 |     1831   4211 |        0 |        0
854.91/855.17	c  855s |      23 |  3383989 |  3290638 |     1831   4219 |        0 |        0
857.01/857.20	c  857s |      23 |  3391900 |  3298338 |     1831   4227 |        0 |        0
859.01/859.21	c  859s |      23 |  3399666 |  3305938 |     1831   4234 |        0 |        0
861.01/861.21	c  861s |      23 |  3407274 |  3313438 |     1831   4242 |        0 |        0
863.00/863.23	c  863s |      23 |  3415003 |  3321038 |     1831   4250 |        0 |        0
865.00/865.23	c  865s |      23 |  3422571 |  3328438 |     1831   4258 |        0 |        0
867.00/867.25	c  867s |      23 |  3429942 |  3335638 |     1831   4265 |        0 |        0
869.00/869.25	c  869s |      23 |  3437592 |  3343038 |     1831   4273 |        0 |        0
871.01/871.27	c  871s |      23 |  3444919 |  3350238 |     1831   4281 |        0 |        0
873.00/873.28	c  873s |      23 |  3452429 |  3357538 |     2015   4288 |        0 |        0
875.10/875.30	c  875s |      23 |  3459682 |  3364638 |     2015   4294 |        0 |        0
877.09/877.31	c  877s |      23 |  3467119 |  3371838 |     2015   4301 |        0 |        0
878.29/878.57	c  878s |      24 |  3472012 |  3376662 |     2015   4306 |        0 |        0
880.29/880.58	c  880s |      24 |  3479989 |  3384262 |     2015   4313 |        0 |        0
882.29/882.59	c  882s |      24 |  3487465 |  3391562 |     2015   4320 |        0 |        0
884.39/884.61	c  884s |      24 |  3495035 |  3398862 |     2015   4327 |        0 |        0
886.41/886.62	c  886s |      24 |  3502477 |  3406062 |     2015   4334 |        0 |        0
888.40/888.64	c  888s |      24 |  3510045 |  3413362 |     2015   4341 |        0 |        0
890.40/890.67	c  890s |      24 |  3517820 |  3420662 |     2015   4347 |        0 |        0
892.40/892.67	c  892s |      24 |  3525253 |  3427762 |     2015   4354 |        0 |        0
894.40/894.67	c  894s |      24 |  3532535 |  3434862 |     2015   4361 |        0 |        0
896.40/896.67	c  896s |      24 |  3539925 |  3442062 |     2015   4368 |        0 |        0
898.40/898.69	c  898s |      24 |  3547253 |  3449162 |     2015   4374 |        0 |        0
900.50/900.71	c  900s |      24 |  3554369 |  3456062 |     2015   4381 |        0 |        0
902.50/902.73	c  902s |      24 |  3562459 |  3463962 |     2015   4389 |        0 |        0
904.50/904.75	c  904s |      24 |  3570420 |  3471662 |     2015   4396 |        0 |        0
906.49/906.77	c  906s |      24 |  3578271 |  3479362 |     2015   4403 |        0 |        0
908.50/908.77	c  908s |      24 |  3585760 |  3486662 |     2015   4410 |        0 |        0
910.49/910.80	c  910s |      24 |  3593457 |  3494162 |     2015   4417 |        0 |        0
912.59/912.81	c  912s |      24 |  3601080 |  3501462 |     2015   4424 |        0 |        0
914.59/914.82	c  914s |      24 |  3608384 |  3508462 |     2015   4431 |        0 |        0
916.58/916.82	c  916s |      24 |  3615955 |  3515862 |     2015   4438 |        0 |        0
918.58/918.83	c  918s |      24 |  3623547 |  3523262 |     2015   4445 |        0 |        0
920.59/920.84	c  920s |      24 |  3631047 |  3530462 |     2015   4451 |        0 |        0
922.58/922.86	c  922s |      24 |  3638543 |  3537762 |     2015   4458 |        0 |        0
924.58/924.86	c  924s |      24 |  3645899 |  3544962 |     2015   4465 |        0 |        0
926.58/926.88	c  926s |      24 |  3653387 |  3552262 |     2015   4472 |        0 |        0
928.58/928.89	c  928s |      24 |  3660714 |  3559362 |     2015   4479 |        0 |        0
930.68/930.90	c  930s |      24 |  3667728 |  3566162 |     2015   4485 |        0 |        0
932.58/932.90	c  932s |      24 |  3675202 |  3573462 |     2015   4492 |        0 |        0
934.67/934.92	c  934s |      24 |  3682673 |  3580762 |     2015   4499 |        0 |        0
936.67/936.93	c  936s |      24 |  3690099 |  3587962 |     2015   4506 |        0 |        0
938.67/938.95	c  938s |      24 |  3697466 |  3595062 |     2015   4513 |        0 |        0
940.67/940.96	c  940s |      24 |  3704621 |  3602062 |     2015   4519 |        0 |        0
942.67/942.96	c  942s |      24 |  3712107 |  3609262 |     2015   4526 |        0 |        0
944.67/944.98	c  944s |      24 |  3719367 |  3616262 |     2015   4533 |        0 |        0
946.76/947.01	c  946s |      24 |  3726638 |  3623362 |     2015   4540 |        0 |        0
948.76/949.03	c  949s |      24 |  3734008 |  3630562 |     2015   4546 |        0 |        0
950.76/951.06	c  951s |      24 |  3741245 |  3637562 |     2015   4553 |        0 |        0
952.76/953.07	c  953s |      24 |  3748463 |  3644562 |     2015   4560 |        0 |        0
954.76/955.08	c  955s |      24 |  3755655 |  3651562 |     2015   4566 |        0 |        0
956.87/957.10	c  957s |      24 |  3762790 |  3658462 |     2015   4573 |        0 |        0
958.86/959.13	c  959s |      24 |  3769959 |  3665462 |     2015   4580 |        0 |        0
960.86/961.13	c  961s |      24 |  3776961 |  3672262 |     2015   4586 |        0 |        0
962.86/963.14	c  963s |      24 |  3784536 |  3679662 |     2015   4593 |        0 |        0
964.85/965.16	c  965s |      24 |  3792133 |  3687062 |     2015   4600 |        0 |        0
966.85/967.18	c  967s |      24 |  3799816 |  3694362 |     2015   4607 |        0 |        0
968.96/969.21	c  969s |      24 |  3807139 |  3701462 |     2015   4614 |        0 |        0
970.95/971.23	c  971s |      24 |  3814533 |  3708562 |     2015   4620 |        0 |        0
972.95/973.24	c  973s |      24 |  3821666 |  3715562 |     2015   4627 |        0 |        0
974.94/975.28	c  975s |      24 |  3828946 |  3722462 |     2015   4633 |        0 |        0
977.04/977.30	c  977s |      24 |  3836299 |  3729662 |     2015   4640 |        0 |        0
979.04/979.31	c  979s |      24 |  3843538 |  3736662 |     2015   4647 |        0 |        0
981.05/981.33	c  981s |      24 |  3850721 |  3743562 |     2015   4653 |        0 |        0
983.04/983.34	c  983s |      24 |  3857965 |  3750562 |     2015   4660 |        0 |        0
985.05/985.37	c  985s |      24 |  3865286 |  3757662 |     2015   4667 |        0 |        0
987.05/987.38	c  987s |      24 |  3872531 |  3764662 |     2015   4673 |        0 |        0
989.05/989.39	c  989s |      24 |  3879642 |  3771562 |     2015   4680 |        0 |        0
991.05/991.39	c  991s |      24 |  3886611 |  3778362 |     2015   4686 |        0 |        0
993.16/993.41	c  993s |      24 |  3894127 |  3785662 |     2015   4693 |        0 |        0
995.15/995.41	c  995s |      24 |  3901358 |  3792662 |     2015   4700 |        0 |        0
997.15/997.44	c  997s |      24 |  3908557 |  3799662 |     2015   4707 |        0 |        0
999.15/999.45	c  999s |      24 |  3915858 |  3806762 |     2015   4713 |        0 |        0
1001.15/1001.47	c 1001s |      24 |  3922940 |  3813662 |     2015   4720 |        0 |        0
1003.25/1003.50	c 1003s |      24 |  3930147 |  3820662 |     2015   4727 |        0 |        0
1005.25/1005.52	c 1005s |      24 |  3937262 |  3827562 |     2015   4733 |        0 |        0
1007.25/1007.53	c 1007s |      24 |  3944311 |  3834462 |     2015   4740 |        0 |        0
1009.25/1009.55	c 1009s |      24 |  3951602 |  3841462 |     2015   4746 |        0 |        0
1011.25/1011.57	c 1011s |      24 |  3958707 |  3848362 |     2015   4753 |        0 |        0
1013.25/1013.58	c 1013s |      24 |  3965934 |  3855362 |     2015   4759 |        0 |        0
1015.34/1015.60	c 1015s |      24 |  3973540 |  3862862 |     2015   4767 |        0 |        0
1017.35/1017.61	c 1017s |      24 |  3981006 |  3870162 |     2015   4773 |        0 |        0
1019.34/1019.62	c 1019s |      24 |  3988425 |  3877362 |     2015   4780 |        0 |        0
1021.34/1021.65	c 1021s |      24 |  3995787 |  3884562 |     2015   4787 |        0 |        0
1023.34/1023.65	c 1023s |      24 |  4003004 |  3891662 |     2015   4794 |        0 |        0
1025.34/1025.66	c 1025s |      24 |  4010320 |  3898762 |     2015   4801 |        0 |        0
1027.34/1027.67	c 1027s |      24 |  4017501 |  3905762 |     2015   4807 |        0 |        0
1029.34/1029.69	c 1029s |      24 |  4024804 |  3912962 |     2015   4814 |        0 |        0
1031.44/1031.71	c 1031s |      24 |  4031929 |  3919962 |     2015   4821 |        0 |        0
1033.44/1033.72	c 1033s |      24 |  4039042 |  3926762 |     2015   4827 |        0 |        0
1035.43/1035.72	c 1035s |      24 |  4046176 |  3933762 |     2015   4834 |        0 |        0
1037.43/1037.74	c 1037s |      24 |  4053252 |  3940662 |     2015   4840 |        0 |        0
1039.43/1039.76	c 1039s |      24 |  4060212 |  3947462 |     2015   4847 |        0 |        0
1041.44/1041.77	c 1041s |      24 |  4067134 |  3954262 |     2015   4853 |        0 |        0
1043.43/1043.78	c 1043s |      24 |  4074652 |  3961562 |     2015   4860 |        0 |        0
1045.43/1045.80	c 1045s |      24 |  4081789 |  3968462 |     2015   4867 |        0 |        0
1047.53/1047.81	c 1047s |      24 |  4088827 |  3975362 |     2015   4873 |        0 |        0
1049.53/1049.83	c 1049s |      24 |  4095887 |  3982162 |     2015   4880 |        0 |        0
1051.53/1051.83	c 1051s |      24 |  4102810 |  3988862 |     2015   4886 |        0 |        0
1053.53/1053.86	c 1053s |      24 |  4110085 |  3995962 |     2015   4893 |        0 |        0
1055.52/1055.88	c 1055s |      24 |  4117197 |  4002862 |     2015   4899 |        0 |        0
1057.52/1057.89	c 1057s |      24 |  4124220 |  4009662 |     2015   4906 |        0 |        0
1059.62/1059.90	c 1059s |      24 |  4131300 |  4016362 |     2015   4912 |        0 |        0
1061.62/1061.90	c 1061s |      24 |  4138262 |  4023162 |     2015   4919 |        0 |        0
1063.62/1063.91	c 1063s |      24 |  4145561 |  4030162 |     2015   4925 |        0 |        0
1065.62/1065.93	c 1065s |      24 |  4152607 |  4036962 |     2015   4932 |        0 |        0
1067.61/1067.94	c 1067s |      24 |  4159544 |  4043662 |     2015   4938 |        0 |        0
1069.61/1069.96	c 1069s |      24 |  4166444 |  4050362 |     2015   4944 |        0 |        0
1071.61/1071.97	c 1071s |      24 |  4173255 |  4056962 |     2015   4951 |        0 |        0
1073.61/1073.99	c 1073s |      24 |  4180014 |  4063562 |     2015   4957 |        0 |        0
1075.71/1076.01	c 1075s |      24 |  4186797 |  4070162 |     2015   4963 |        0 |        0
1077.72/1078.03	c 1078s |      24 |  4194097 |  4077262 |     2015   4970 |        0 |        0
1079.71/1080.05	c 1080s |      24 |  4201904 |  4084862 |     2015   4977 |        0 |        0
1081.71/1082.06	c 1082s |      24 |  4209268 |  4091962 |     2015   4984 |        0 |        0
1083.71/1084.08	c 1084s |      24 |  4216559 |  4099062 |     2015   4990 |        0 |        0
1085.71/1086.08	c 1086s |      24 |  4223771 |  4106062 |     2015   4997 |        0 |        0
1087.80/1088.12	c 1088s |      24 |  4230900 |  4112962 |     2015   5004 |        0 |        0
1089.81/1090.13	c 1090s |      24 |  4238124 |  4119962 |     2015   5010 |        0 |        0
1091.81/1092.16	c 1092s |      24 |  4245317 |  4126862 |     2015   5017 |        0 |        0
1093.81/1094.18	c 1094s |      24 |  4252441 |  4133762 |     2015   5023 |        0 |        0
1095.81/1096.18	c 1096s |      24 |  4259592 |  4140662 |     2015   5030 |        0 |        0
1097.81/1098.18	c 1098s |      24 |  4266703 |  4147562 |     2015   5036 |        0 |        0
1099.81/1100.18	c 1100s |      24 |  4273761 |  4154462 |     2015   5043 |        0 |        0
1101.80/1102.19	c 1102s |      24 |  4281043 |  4161462 |     2015   5050 |        0 |        0
1103.90/1104.21	c 1104s |      24 |  4288094 |  4168262 |     2015   5056 |        0 |        0
1105.90/1106.22	c 1106s |      24 |  4294855 |  4174862 |     2015   5062 |        0 |        0
1107.90/1108.23	c 1108s |      24 |  4301996 |  4181862 |     2015   5069 |        0 |        0
1109.90/1110.24	c 1110s |      24 |  4309081 |  4188762 |     2015   5075 |        0 |        0
1111.91/1112.26	c 1112s |      24 |  4316225 |  4195662 |     2015   5082 |        0 |        0
1113.90/1114.27	c 1114s |      24 |  4323039 |  4202362 |     2015   5088 |        0 |        0
1115.89/1116.28	c 1116s |      24 |  4329932 |  4209062 |     2015   5095 |        0 |        0
1117.99/1118.30	c 1118s |      24 |  4337007 |  4215962 |     2015   5101 |        0 |        0
1119.99/1120.32	c 1120s |      24 |  4343822 |  4222662 |     2015   5108 |        0 |        0
1121.99/1122.33	c 1122s |      24 |  4351136 |  4229762 |     2015   5114 |        0 |        0
1124.00/1124.36	c 1124s |      24 |  4358151 |  4236462 |     2015   5121 |        0 |        0
1125.99/1126.37	c 1126s |      24 |  4365141 |  4243262 |     2015   5127 |        0 |        0
1127.99/1128.39	c 1128s |      24 |  4372078 |  4250062 |     2015   5134 |        0 |        0
1129.99/1130.39	c 1130s |      24 |  4378931 |  4256762 |     2015   5140 |        0 |        0
1132.09/1132.42	c 1132s |      24 |  4385913 |  4263562 |     2015   5146 |        0 |        0
1134.09/1134.43	c 1134s |      24 |  4392957 |  4270262 |     2015   5153 |        0 |        0
1136.09/1136.44	c 1136s |      24 |  4399601 |  4276762 |     2015   5159 |        0 |        0
1138.08/1138.48	c 1138s |      24 |  4406372 |  4283362 |     2015   5165 |        0 |        0
1140.08/1140.48	c 1140s |      24 |  4413336 |  4290162 |     2015   5172 |        0 |        0
1142.18/1142.50	c 1142s |      24 |  4420464 |  4297062 |     2015   5178 |        0 |        0
1144.18/1144.51	c 1144s |      24 |  4427404 |  4303762 |     2015   5184 |        0 |        0
1146.18/1146.54	c 1146s |      24 |  4434597 |  4310762 |     2015   5191 |        0 |        0
1148.18/1148.54	c 1148s |      24 |  4441618 |  4317562 |     2015   5198 |        0 |        0
1150.18/1150.55	c 1150s |      24 |  4448471 |  4324162 |     2015   5204 |        0 |        0
1152.18/1152.58	c 1152s |      24 |  4455190 |  4330662 |     2015   5210 |        0 |        0
1154.18/1154.59	c 1154s |      24 |  4461802 |  4337062 |     2015   5216 |        0 |        0
1156.28/1156.62	c 1156s |      24 |  4468741 |  4343862 |     2015   5222 |        0 |        0
1158.28/1158.64	c 1158s |      24 |  4475637 |  4350562 |     2015   5229 |        0 |        0
1160.28/1160.65	c 1160s |      24 |  4482530 |  4357262 |     2015   5235 |        0 |        0
1162.28/1162.65	c 1162s |      24 |  4489450 |  4363962 |     2015   5242 |        0 |        0
1164.28/1164.68	c 1164s |      24 |  4496293 |  4370662 |     2015   5248 |        0 |        0
1166.37/1166.70	c 1166s |      24 |  4503295 |  4377462 |     2015   5254 |        0 |        0
1168.37/1168.71	c 1168s |      24 |  4510086 |  4384062 |     2015   5261 |        0 |        0
1170.37/1170.72	c 1170s |      24 |  4516974 |  4390662 |     2015   5267 |        0 |        0
1172.38/1172.72	c 1172s |      24 |  4523868 |  4397362 |     2015   5273 |        0 |        0
1174.37/1174.73	c 1174s |      24 |  4530970 |  4404262 |     2015   5280 |        0 |        0
1176.36/1176.74	c 1176s |      24 |  4537903 |  4410862 |     2015   5286 |        0 |        0
1178.36/1178.75	c 1178s |      24 |  4544668 |  4417462 |     2015   5292 |        0 |        0
1180.36/1180.76	c 1180s |      24 |  4551554 |  4424162 |     2015   5299 |        0 |        0
1182.36/1182.76	c 1182s |      24 |  4558422 |  4430862 |     2015   5305 |        0 |        0
1184.37/1184.80	c 1184s |      24 |  4565335 |  4437562 |     2015   5311 |        0 |        0
1186.46/1186.81	c 1186s |      24 |  4572060 |  4444162 |     2015   5318 |        0 |        0
1188.46/1188.81	c 1188s |      24 |  4578862 |  4450862 |     2015   5324 |        0 |        0
1190.45/1190.82	c 1190s |      24 |  4585718 |  4457362 |     2015   5330 |        0 |        0
1192.45/1192.84	c 1192s |      24 |  4592484 |  4463962 |     2015   5336 |        0 |        0
1194.46/1194.87	c 1194s |      24 |  4599115 |  4470462 |     2015   5342 |        0 |        0
1196.47/1196.87	c 1196s |      24 |  4606068 |  4477162 |     2015   5349 |        0 |        0
1198.46/1198.89	c 1198s |      24 |  4613007 |  4483962 |     2015   5355 |        0 |        0
1200.56/1200.91	c 1200s |      24 |  4619800 |  4490562 |     2015   5362 |        0 |        0
1202.56/1202.93	c 1202s |      24 |  4626520 |  4497062 |     2015   5368 |        0 |        0
1204.56/1204.94	c 1204s |      24 |  4633414 |  4503762 |     2015   5374 |        0 |        0
1206.55/1206.96	c 1206s |      24 |  4640220 |  4510262 |     2015   5380 |        0 |        0
1208.56/1208.99	c 1208s |      24 |  4646890 |  4516662 |     2015   5386 |        0 |        0
1210.65/1211.00	c 1210s |      24 |  4653567 |  4523162 |     2015   5393 |        0 |        0
1212.65/1213.01	c 1212s |      24 |  4660052 |  4529462 |     2015   5398 |        0 |        0
1214.65/1215.02	c 1215s |      24 |  4667116 |  4536262 |     2015   5405 |        0 |        0
1216.65/1217.02	c 1217s |      24 |  4674709 |  4543562 |     2015   5412 |        0 |        0
1218.64/1219.05	c 1219s |      24 |  4682187 |  4550762 |     2015   5419 |        0 |        0
1220.65/1221.07	c 1221s |      24 |  4689483 |  4557862 |     2015   5425 |        0 |        0
1222.64/1223.09	c 1223s |      24 |  4697005 |  4565162 |     2015   5432 |        0 |        0
1224.74/1225.10	c 1225s |      24 |  4704229 |  4572162 |     2015   5439 |        0 |        0
1226.74/1227.11	c 1227s |      24 |  4711423 |  4579162 |     2015   5446 |        0 |        0
1228.74/1229.11	c 1229s |      24 |  4718979 |  4586462 |     2015   5452 |        0 |        0
1230.74/1231.13	c 1231s |      24 |  4726057 |  4593362 |     2015   5459 |        0 |        0
1232.74/1233.13	c 1233s |      24 |  4733144 |  4600062 |     2015   5465 |        0 |        0
1234.73/1235.14	c 1235s |      24 |  4740137 |  4606862 |     2015   5472 |        0 |        0
1236.73/1237.15	c 1237s |      24 |  4747280 |  4613862 |     2015   5478 |        0 |        0
1238.73/1239.17	c 1239s |      24 |  4754321 |  4620662 |     2015   5485 |        0 |        0
1240.73/1241.17	c 1241s |      24 |  4761254 |  4627462 |     2015   5491 |        0 |        0
1242.74/1243.18	c 1243s |      24 |  4768419 |  4634362 |     2015   5498 |        0 |        0
1244.73/1245.19	c 1245s |      24 |  4775618 |  4641362 |     2015   5504 |        0 |        0
1246.83/1247.20	c 1247s |      24 |  4782368 |  4647962 |     2015   5511 |        0 |        0
1248.83/1249.21	c 1249s |      24 |  4789111 |  4654462 |     2015   5517 |        0 |        0
1250.83/1251.24	c 1251s |      24 |  4796001 |  4661062 |     2015   5523 |        0 |        0
1252.83/1253.25	c 1253s |      24 |  4802754 |  4667462 |     2015   5529 |        0 |        0
1254.83/1255.27	c 1255s |      24 |  4810027 |  4674462 |     2015   5536 |        0 |        0
1256.82/1257.28	c 1257s |      24 |  4817035 |  4681262 |     2015   5542 |        0 |        0
1258.92/1259.32	c 1259s |      24 |  4823934 |  4687962 |     2015   5549 |        0 |        0
1260.93/1261.35	c 1261s |      24 |  4830789 |  4694562 |     2015   5555 |        0 |        0
1262.93/1263.35	c 1263s |      24 |  4837699 |  4701262 |     2015   5561 |        0 |        0
1264.92/1265.37	c 1265s |      24 |  4844565 |  4707962 |     2015   5568 |        0 |        0
1266.93/1267.40	c 1267s |      24 |  4851515 |  4714662 |     2015   5574 |        0 |        0
1269.03/1269.43	c 1269s |      24 |  4858665 |  4721662 |     2015   5581 |        0 |        0
1271.02/1271.44	c 1271s |      24 |  4865828 |  4728662 |     2015   5587 |        0 |        0
1273.02/1273.45	c 1273s |      24 |  4872835 |  4735462 |     2015   5594 |        0 |        0
1275.02/1275.48	c 1275s |      24 |  4879790 |  4742162 |     2015   5600 |        0 |        0
1277.01/1277.49	c 1277s |      24 |  4886643 |  4748862 |     2015   5606 |        0 |        0
1279.11/1279.51	c 1279s |      24 |  4893673 |  4755662 |     2015   5613 |        0 |        0
1281.12/1281.54	c 1281s |      24 |  4900457 |  4762262 |     2015   5619 |        0 |        0
1283.11/1283.54	c 1283s |      24 |  4907294 |  4768862 |     2015   5625 |        0 |        0
1285.11/1285.57	c 1285s |      24 |  4913978 |  4775362 |     2015   5631 |        0 |        0
1287.11/1287.58	c 1287s |      24 |  4920725 |  4781962 |     2015   5638 |        0 |        0
1289.21/1289.60	c 1289s |      24 |  4928025 |  4788962 |     2015   5644 |        0 |        0
1291.21/1291.61	c 1291s |      24 |  4935139 |  4795862 |     2015   5651 |        0 |        0
1293.22/1293.63	c 1293s |      24 |  4942128 |  4802662 |     2015   5657 |        0 |        0
1295.21/1295.64	c 1295s |      24 |  4948791 |  4809062 |     2015   5663 |        0 |        0
1297.20/1297.67	c 1297s |      24 |  4955799 |  4815862 |     2015   5670 |        0 |        0
1299.20/1299.68	c 1299s |      24 |  4962845 |  4822662 |     2015   5676 |        0 |        0
1301.30/1301.70	c 1301s |      24 |  4969820 |  4829362 |     2015   5683 |        0 |        0
1303.30/1303.71	c 1303s |      24 |  4976663 |  4835962 |     2015   5689 |        0 |        0
1305.31/1305.73	c 1305s |      24 |  4983196 |  4842362 |     2015   5695 |        0 |        0
1307.30/1307.77	c 1307s |      24 |  4989892 |  4848762 |     2015   5701 |        0 |        0
1309.30/1309.78	c 1309s |      24 |  4996586 |  4855262 |     2015   5707 |        0 |        0
1311.41/1311.80	c 1311s |      24 |  5003211 |  4861762 |     2015   5713 |        0 |        0
1313.41/1313.82	c 1313s |      24 |  5009958 |  4868362 |     2015   5720 |        0 |        0
1315.40/1315.84	c 1315s |      24 |  5016873 |  4874862 |     2015   5726 |        0 |        0
1317.41/1317.84	c 1317s |      24 |  5023480 |  4881262 |     2015   5732 |        0 |        0
1319.40/1319.86	c 1319s |      24 |  5030011 |  4887562 |     2015   5738 |        0 |        0
1321.40/1321.86	c 1321s |      24 |  5036547 |  4893862 |     2015   5744 |        0 |        0
1323.40/1323.88	c 1323s |      24 |  5043554 |  4900562 |     2015   5750 |        0 |        0
1325.49/1325.90	c 1325s |      24 |  5050478 |  4907262 |     2015   5757 |        0 |        0
1327.49/1327.91	c 1327s |      24 |  5057296 |  4913862 |     2015   5763 |        0 |        0
1329.50/1329.92	c 1329s |      24 |  5064018 |  4920362 |     2015   5769 |        0 |        0
1331.49/1331.93	c 1331s |      24 |  5070697 |  4926862 |     2015   5775 |        0 |        0
1333.49/1333.96	c 1333s |      24 |  5077557 |  4933462 |     2015   5781 |        0 |        0
1335.49/1335.98	c 1335s |      24 |  5084271 |  4939962 |     2015   5788 |        0 |        0
1337.59/1338.02	c 1338s |      24 |  5090810 |  4946362 |     2015   5794 |        0 |        0
1339.59/1340.04	c 1340s |      24 |  5097309 |  4952662 |     2015   5800 |        0 |        0
1341.60/1342.08	c 1342s |      24 |  5103784 |  4958962 |     2015   5806 |        0 |        0
1343.69/1344.10	c 1344s |      24 |  5110316 |  4965262 |     2015   5812 |        0 |        0
1345.68/1346.12	c 1346s |      24 |  5117206 |  4971962 |     2015   5818 |        0 |        0
1347.68/1348.14	c 1348s |      24 |  5123957 |  4978462 |     2015   5824 |        0 |        0
1349.68/1350.15	c 1350s |      24 |  5130627 |  4984862 |     2015   5830 |        0 |        0
1351.68/1352.15	c 1352s |      24 |  5137181 |  4991162 |     2015   5836 |        0 |        0
1353.69/1354.18	c 1354s |      24 |  5143793 |  4997562 |     2015   5842 |        0 |        0
1355.68/1356.18	c 1356s |      24 |  5150295 |  5003862 |     2015   5848 |        0 |        0
1357.68/1358.19	c 1358s |      24 |  5156661 |  5010062 |     2015   5854 |        0 |        0
1359.78/1360.22	c 1360s |      24 |  5163848 |  5017062 |     2015   5861 |        0 |        0
1361.78/1362.25	c 1362s |      24 |  5170719 |  5023662 |     2015   5867 |        0 |        0
1363.78/1364.26	c 1364s |      24 |  5177532 |  5030262 |     2217   5873 |        0 |        0
1365.79/1366.28	c 1366s |      24 |  5184437 |  5036962 |     2217   5879 |        0 |        0
1367.88/1368.31	c 1368s |      24 |  5191166 |  5043562 |     2217   5884 |        0 |        0
1369.88/1370.31	c 1370s |      24 |  5197859 |  5050062 |     2217   5890 |        0 |        0
1371.88/1372.35	c 1372s |      24 |  5204433 |  5056462 |     2217   5896 |        0 |        0
1373.88/1374.37	c 1374s |      24 |  5211245 |  5063162 |     2217   5901 |        0 |        0
1374.48/1374.97	c 1374s |      25 |  5213206 |  5065098 |     2217   5903 |        0 |        0
1376.48/1376.97	c 1376s |      25 |  5220085 |  5071698 |     2217   5909 |        0 |        0
1378.48/1378.98	c 1378s |      25 |  5226939 |  5078398 |     2217   5914 |        0 |        0
1380.48/1380.99	c 1380s |      25 |  5233864 |  5085098 |     2217   5920 |        0 |        0
1382.58/1383.01	c 1382s |      25 |  5240577 |  5091598 |     2217   5926 |        0 |        0
1384.58/1385.02	c 1385s |      25 |  5247481 |  5097898 |     2217   5931 |        0 |        0
1386.57/1387.04	c 1387s |      25 |  5254206 |  5104398 |     2217   5937 |        0 |        0
1388.57/1389.04	c 1389s |      25 |  5260743 |  5110798 |     2217   5943 |        0 |        0
1390.57/1391.04	c 1391s |      25 |  5267382 |  5117198 |     2217   5948 |        0 |        0
1392.57/1393.06	c 1393s |      25 |  5273889 |  5123398 |     2217   5953 |        0 |        0
1394.57/1395.09	c 1395s |      25 |  5280517 |  5129798 |     2217   5959 |        0 |        0
1396.68/1397.12	c 1397s |      25 |  5287071 |  5136198 |     2217   5965 |        0 |        0
1398.68/1399.14	c 1399s |      25 |  5293699 |  5142698 |     2217   5970 |        0 |        0
1400.68/1401.15	c 1401s |      25 |  5300185 |  5148998 |     2217   5976 |        0 |        0
1402.68/1403.16	c 1403s |      25 |  5307122 |  5155698 |     2217   5981 |        0 |        0
1404.68/1405.17	c 1405s |      25 |  5314130 |  5162498 |     2217   5987 |        0 |        0
1406.68/1407.18	c 1407s |      25 |  5321040 |  5169198 |     2217   5993 |        0 |        0
1408.78/1409.20	c 1409s |      25 |  5328018 |  5175998 |     2217   5999 |        0 |        0
1410.78/1411.22	c 1411s |      25 |  5334993 |  5182698 |     2217   6005 |        0 |        0
1412.78/1413.25	c 1413s |      25 |  5341678 |  5189198 |     2217   6010 |        0 |        0
1414.78/1415.27	c 1415s |      25 |  5348649 |  5195998 |     2217   6016 |        0 |        0
1416.78/1417.28	c 1417s |      25 |  5355437 |  5202498 |     2217   6022 |        0 |        0
1418.78/1419.29	c 1419s |      25 |  5362079 |  5208898 |     2217   6027 |        0 |        0
1420.88/1421.31	c 1421s |      25 |  5369011 |  5215598 |     2217   6033 |        0 |        0
1422.87/1423.33	c 1423s |      25 |  5375774 |  5222198 |     2217   6039 |        0 |        0
1424.87/1425.37	c 1425s |      25 |  5382481 |  5228698 |     2217   6045 |        0 |        0
1426.87/1427.37	c 1427s |      25 |  5389233 |  5235198 |     2217   6050 |        0 |        0
1428.87/1429.37	c 1429s |      25 |  5396087 |  5241898 |     2217   6056 |        0 |        0
1430.87/1431.38	c 1431s |      25 |  5402694 |  5248398 |     2217   6062 |        0 |        0
1432.88/1433.40	c 1433s |      25 |  5409368 |  5254898 |     2217   6067 |        0 |        0
1434.97/1435.40	c 1435s |      25 |  5415886 |  5261198 |     2217   6073 |        0 |        0
1436.97/1437.43	c 1437s |      25 |  5422647 |  5267798 |     2217   6078 |        0 |        0
1438.97/1439.46	c 1439s |      25 |  5429495 |  5274398 |     2217   6084 |        0 |        0
1440.97/1441.46	c 1441s |      25 |  5436093 |  5280798 |     2217   6090 |        0 |        0
1442.97/1443.48	c 1443s |      25 |  5442777 |  5287298 |     2217   6095 |        0 |        0
1444.97/1445.49	c 1445s |      25 |  5449439 |  5293798 |     2217   6101 |        0 |        0
1447.07/1447.52	c 1447s |      25 |  5456268 |  5300398 |     2217   6107 |        0 |        0
1449.07/1449.53	c 1449s |      25 |  5462861 |  5306598 |     2217   6112 |        0 |        0
1451.07/1451.55	c 1451s |      25 |  5469117 |  5312598 |     2217   6117 |        0 |        0
1453.07/1453.56	c 1453s |      25 |  5475794 |  5319098 |     2217   6123 |        0 |        0
1455.06/1455.58	c 1455s |      25 |  5482634 |  5325798 |     2217   6128 |        0 |        0
1457.07/1457.59	c 1457s |      25 |  5489302 |  5332298 |     2217   6134 |        0 |        0
1459.16/1459.61	c 1459s |      25 |  5495956 |  5338698 |     2217   6140 |        0 |        0
1461.17/1461.62	c 1461s |      25 |  5502440 |  5344998 |     2217   6145 |        0 |        0
1463.17/1463.62	c 1463s |      25 |  5508924 |  5351298 |     2217   6151 |        0 |        0
1465.17/1465.63	c 1465s |      25 |  5515535 |  5357698 |     2217   6156 |        0 |        0
1467.17/1467.65	c 1467s |      25 |  5521963 |  5363898 |     2217   6161 |        0 |        0
1469.17/1469.67	c 1469s |      25 |  5528469 |  5370198 |     2217   6167 |        0 |        0
1471.27/1471.70	c 1471s |      25 |  5535167 |  5376698 |     2217   6173 |        0 |        0
1473.27/1473.73	c 1473s |      25 |  5541784 |  5383098 |     2217   6178 |        0 |        0
1475.27/1475.73	c 1475s |      25 |  5548171 |  5389298 |     2217   6183 |        0 |        0
1477.27/1477.75	c 1477s |      25 |  5554695 |  5395598 |     2217   6189 |        0 |        0
1479.27/1479.75	c 1479s |      25 |  5561190 |  5401898 |     2217   6194 |        0 |        0
1481.27/1481.79	c 1481s |      25 |  5568577 |  5408998 |     2217   6201 |        0 |        0
1483.36/1483.81	c 1483s |      25 |  5575777 |  5415898 |     2217   6206 |        0 |        0
1485.36/1485.83	c 1485s |      25 |  5582520 |  5422498 |     2217   6212 |        0 |        0
1487.36/1487.84	c 1487s |      25 |  5589344 |  5429098 |     2217   6218 |        0 |        0
1489.36/1489.85	c 1489s |      25 |  5596102 |  5435698 |     2217   6224 |        0 |        0
1491.36/1491.88	c 1491s |      25 |  5603091 |  5442398 |     2217   6229 |        0 |        0
1493.37/1493.90	c 1493s |      25 |  5610034 |  5449098 |     2217   6235 |        0 |        0
1495.46/1495.92	c 1495s |      25 |  5616994 |  5455698 |     2217   6241 |        0 |        0
1497.46/1497.94	c 1497s |      25 |  5623712 |  5462198 |     2217   6246 |        0 |        0
1499.46/1499.97	c 1499s |      25 |  5630572 |  5468698 |     2217   6252 |        0 |        0
1501.46/1501.99	c 1501s |      25 |  5637337 |  5475198 |     2217   6258 |        0 |        0
1503.56/1504.01	c 1503s |      25 |  5644076 |  5481798 |     2217   6263 |        0 |        0
1505.56/1506.01	c 1505s |      25 |  5650729 |  5488298 |     2217   6269 |        0 |        0
1507.56/1508.03	c 1508s |      25 |  5657426 |  5494798 |     2217   6275 |        0 |        0
1509.56/1510.03	c 1510s |      25 |  5664094 |  5501198 |     2217   6280 |        0 |        0
1511.56/1512.05	c 1512s |      25 |  5670478 |  5507398 |     2217   6286 |        0 |        0
1513.56/1514.07	c 1514s |      25 |  5677432 |  5514198 |     2217   6291 |        0 |        0
1515.66/1516.10	c 1516s |      25 |  5684280 |  5520798 |     2217   6297 |        0 |        0
1517.66/1518.12	c 1518s |      25 |  5691045 |  5527398 |     2217   6303 |        0 |        0
1519.65/1520.15	c 1520s |      25 |  5697617 |  5533798 |     2217   6308 |        0 |        0
1521.65/1522.17	c 1522s |      25 |  5704090 |  5540098 |     2217   6314 |        0 |        0
1523.65/1524.19	c 1524s |      25 |  5710850 |  5546498 |     2217   6319 |        0 |        0
1525.75/1526.21	c 1526s |      25 |  5717414 |  5552698 |     2217   6325 |        0 |        0
1527.75/1528.22	c 1528s |      25 |  5723745 |  5558698 |     2217   6330 |        0 |        0
1529.76/1530.22	c 1530s |      25 |  5730052 |  5564798 |     2217   6335 |        0 |        0
1531.75/1532.24	c 1532s |      25 |  5736991 |  5571498 |     2217   6341 |        0 |        0
1533.75/1534.27	c 1534s |      25 |  5743686 |  5577898 |     2217   6347 |        0 |        0
1535.75/1536.27	c 1536s |      25 |  5750363 |  5584398 |     2217   6352 |        0 |        0
1537.75/1538.28	c 1538s |      25 |  5756994 |  5590798 |     2217   6358 |        0 |        0
1539.86/1540.31	c 1540s |      25 |  5763753 |  5597298 |     2217   6363 |        0 |        0
1541.87/1542.31	c 1542s |      25 |  5770142 |  5603498 |     2217   6369 |        0 |        0
1543.86/1544.32	c 1544s |      25 |  5776620 |  5609798 |     2217   6374 |        0 |        0
1545.86/1546.34	c 1546s |      25 |  5783252 |  5616198 |     2217   6380 |        0 |        0
1547.86/1548.38	c 1548s |      25 |  5789666 |  5622198 |     2217   6385 |        0 |        0
1549.86/1550.39	c 1550s |      25 |  5796554 |  5628798 |     2217   6391 |        0 |        0
1551.96/1552.43	c 1552s |      25 |  5803031 |  5635098 |     2217   6396 |        0 |        0
1553.96/1554.46	c 1554s |      25 |  5809470 |  5641298 |     2217   6401 |        0 |        0
1555.95/1556.47	c 1556s |      25 |  5815935 |  5647498 |     2217   6407 |        0 |        0
1557.95/1558.49	c 1558s |      25 |  5822763 |  5654098 |     2217   6413 |        0 |        0
1560.05/1560.52	c 1560s |      25 |  5829570 |  5660698 |     2217   6418 |        0 |        0
1562.05/1562.55	c 1562s |      25 |  5836022 |  5666998 |     2217   6424 |        0 |        0
1564.05/1564.55	c 1564s |      25 |  5842420 |  5673198 |     2217   6429 |        0 |        0
1566.06/1566.56	c 1566s |      25 |  5848927 |  5679498 |     2217   6434 |        0 |        0
1568.05/1568.57	c 1568s |      25 |  5855405 |  5685698 |     2217   6440 |        0 |        0
1570.05/1570.58	c 1570s |      25 |  5862076 |  5692198 |     2217   6445 |        0 |        0
1572.15/1572.61	c 1572s |      25 |  5868701 |  5698598 |     2217   6451 |        0 |        0
1574.15/1574.62	c 1574s |      25 |  5875202 |  5704698 |     2217   6456 |        0 |        0
1576.15/1576.66	c 1576s |      25 |  5881522 |  5710798 |     2217   6462 |        0 |        0
1578.16/1578.68	c 1578s |      25 |  5887924 |  5716998 |     2217   6467 |        0 |        0
1580.15/1580.69	c 1580s |      25 |  5894274 |  5723198 |     2217   6472 |        0 |        0
1582.25/1582.70	c 1582s |      25 |  5900533 |  5729298 |     2217   6478 |        0 |        0
1584.25/1584.71	c 1584s |      25 |  5906804 |  5735398 |     2217   6483 |        0 |        0
1586.25/1586.74	c 1586s |      25 |  5913753 |  5742198 |     2217   6489 |        0 |        0
1588.25/1588.74	c 1588s |      25 |  5920997 |  5749198 |     2217   6495 |        0 |        0
1590.26/1590.77	c 1590s |      25 |  5928213 |  5756198 |     2217   6501 |        0 |        0
1592.25/1592.77	c 1592s |      25 |  5935333 |  5763098 |     2217   6507 |        0 |        0
1594.35/1594.80	c 1594s |      25 |  5942589 |  5769998 |     2217   6513 |        0 |        0
1596.35/1596.80	c 1596s |      25 |  5949493 |  5776598 |     2217   6518 |        0 |        0
1598.35/1598.81	c 1598s |      25 |  5956547 |  5783398 |     2217   6524 |        0 |        0
1600.35/1600.83	c 1600s |      25 |  5963655 |  5790298 |     2217   6530 |        0 |        0
1602.35/1602.83	c 1602s |      25 |  5970600 |  5796998 |     2217   6536 |        0 |        0
1604.35/1604.84	c 1604s |      25 |  5977360 |  5803498 |     2217   6542 |        0 |        0
1606.35/1606.88	c 1606s |      25 |  5984441 |  5810398 |     2217   6548 |        0 |        0
1608.35/1608.89	c 1608s |      25 |  5991317 |  5816998 |     2217   6553 |        0 |        0
1610.45/1610.91	c 1610s |      25 |  5998259 |  5823698 |     2217   6559 |        0 |        0
1612.45/1612.93	c 1612s |      25 |  6005007 |  5830198 |     2217   6565 |        0 |        0
1614.45/1614.97	c 1614s |      25 |  6011595 |  5836498 |     2217   6570 |        0 |        0
1616.45/1616.98	c 1616s |      25 |  6018318 |  5842998 |     2217   6576 |        0 |        0
1618.45/1619.00	c 1618s |      25 |  6024998 |  5849498 |     2217   6581 |        0 |        0
1620.54/1621.01	c 1620s |      25 |  6031631 |  5855898 |     2217   6587 |        0 |        0
1622.54/1623.04	c 1623s |      25 |  6038259 |  5862398 |     2217   6593 |        0 |        0
1624.54/1625.04	c 1625s |      25 |  6045029 |  5868998 |     2217   6598 |        0 |        0
1626.55/1627.05	c 1627s |      25 |  6051392 |  5875198 |     2217   6604 |        0 |        0
1628.54/1629.07	c 1629s |      25 |  6057923 |  5881598 |     2217   6609 |        0 |        0
1630.64/1631.10	c 1631s |      25 |  6064573 |  5887998 |     2217   6615 |        0 |        0
1632.64/1633.12	c 1633s |      25 |  6071522 |  5894798 |     2217   6621 |        0 |        0
1634.64/1635.12	c 1635s |      25 |  6078176 |  5901298 |     2217   6626 |        0 |        0
1636.64/1637.15	c 1637s |      25 |  6084646 |  5907598 |     2217   6632 |        0 |        0
1638.65/1639.16	c 1639s |      25 |  6091260 |  5913998 |     2217   6637 |        0 |        0
1640.64/1641.20	c 1641s |      25 |  6097709 |  5920298 |     2217   6643 |        0 |        0
1642.74/1643.21	c 1643s |      25 |  6104099 |  5926498 |     2217   6648 |        0 |        0
1644.74/1645.23	c 1645s |      25 |  6110998 |  5933198 |     2217   6654 |        0 |        0
1646.73/1647.26	c 1647s |      25 |  6117778 |  5939798 |     2217   6659 |        0 |        0
1648.73/1649.26	c 1649s |      25 |  6124582 |  5946398 |     2217   6665 |        0 |        0
1650.74/1651.28	c 1651s |      25 |  6131326 |  5952998 |     2217   6671 |        0 |        0
1652.84/1653.32	c 1653s |      25 |  6138063 |  5959598 |     2217   6677 |        0 |        0
1654.84/1655.33	c 1655s |      25 |  6144598 |  5965998 |     2217   6682 |        0 |        0
1656.84/1657.35	c 1657s |      25 |  6151034 |  5972298 |     2217   6688 |        0 |        0
1658.84/1659.38	c 1659s |      25 |  6157639 |  5978698 |     2217   6693 |        0 |        0
1660.94/1661.40	c 1661s |      25 |  6164196 |  5985098 |     2217   6699 |        0 |        0
1662.94/1663.40	c 1663s |      25 |  6170651 |  5991298 |     2217   6704 |        0 |        0
1664.95/1665.42	c 1665s |      25 |  6177301 |  5997698 |     2217   6710 |        0 |        0
1666.94/1667.46	c 1667s |      25 |  6184445 |  6004698 |     2217   6716 |        0 |        0
1668.94/1669.49	c 1669s |      25 |  6191394 |  6011498 |     2217   6721 |        0 |        0
1671.04/1671.51	c 1671s |      25 |  6198328 |  6018198 |     2217   6727 |        0 |        0
1673.04/1673.54	c 1673s |      25 |  6205157 |  6024798 |     2217   6733 |        0 |        0
1675.04/1675.55	c 1675s |      25 |  6211973 |  6031398 |     2217   6739 |        0 |        0
1677.04/1677.59	c 1677s |      25 |  6218957 |  6038198 |     2217   6745 |        0 |        0
1679.14/1679.62	c 1679s |      25 |  6225568 |  6044698 |     2217   6750 |        0 |        0
1681.13/1681.62	c 1681s |      25 |  6232101 |  6051098 |     2217   6756 |        0 |        0
1683.13/1683.65	c 1683s |      25 |  6238685 |  6057498 |     2217   6761 |        0 |        0
1685.13/1685.67	c 1685s |      25 |  6245008 |  6063698 |     2217   6767 |        0 |        0
1687.13/1687.69	c 1687s |      25 |  6251801 |  6070298 |     2217   6772 |        0 |        0
1689.24/1689.71	c 1689s |      25 |  6258306 |  6076698 |     2217   6778 |        0 |        0
1691.23/1691.74	c 1691s |      25 |  6264862 |  6083098 |     2217   6783 |        0 |        0
1693.23/1693.75	c 1693s |      25 |  6271582 |  6089498 |     2217   6789 |        0 |        0
1695.23/1695.75	c 1695s |      25 |  6278136 |  6095798 |     2217   6794 |        0 |        0
1697.23/1697.77	c 1697s |      25 |  6284417 |  6101898 |     2217   6800 |        0 |        0
1699.33/1699.80	c 1699s |      25 |  6290884 |  6108198 |     2217   6805 |        0 |        0
1701.24/1701.80	c 1701s |      25 |  6297535 |  6114698 |     2217   6811 |        0 |        0
1703.33/1703.83	c 1703s |      25 |  6304312 |  6121298 |     2217   6817 |        0 |        0
1705.33/1705.83	c 1705s |      25 |  6310755 |  6127598 |     2217   6822 |        0 |        0
1707.33/1707.85	c 1707s |      25 |  6317194 |  6133898 |     2217   6827 |        0 |        0
1709.33/1709.87	c 1709s |      25 |  6323839 |  6140398 |     2217   6833 |        0 |        0
1711.32/1711.88	c 1711s |      25 |  6330518 |  6146898 |     2217   6839 |        0 |        0
1713.33/1713.89	c 1713s |      25 |  6337050 |  6153298 |     2217   6844 |        0 |        0
1715.32/1715.89	c 1715s |      25 |  6343405 |  6159498 |     2217   6850 |        0 |        0
1717.42/1717.92	c 1717s |      25 |  6350077 |  6165998 |     2217   6855 |        0 |        0
1719.42/1719.93	c 1719s |      25 |  6357175 |  6172898 |     2217   6861 |        0 |        0
1721.42/1721.95	c 1721s |      25 |  6364003 |  6179498 |     2217   6867 |        0 |        0
1723.42/1723.95	c 1723s |      25 |  6370941 |  6185998 |     2217   6873 |        0 |        0
1725.43/1725.96	c 1725s |      25 |  6377741 |  6192498 |     2217   6878 |        0 |        0
1727.42/1727.97	c 1727s |      25 |  6384362 |  6198998 |     2217   6884 |        0 |        0
1729.42/1729.98	c 1729s |      25 |  6390936 |  6205398 |     2217   6889 |        0 |        0
1731.42/1731.98	c 1731s |      25 |  6397511 |  6211798 |     2217   6895 |        0 |        0
1733.52/1734.00	c 1733s |      25 |  6403825 |  6217898 |     2217   6900 |        0 |        0
1735.52/1736.02	c 1736s |      25 |  6410496 |  6224398 |     2217   6906 |        0 |        0
1737.53/1738.05	c 1738s |      25 |  6417136 |  6230898 |     2217   6911 |        0 |        0
1739.52/1740.07	c 1740s |      25 |  6423657 |  6237298 |     2217   6917 |        0 |        0
1741.52/1742.09	c 1742s |      25 |  6430130 |  6243598 |     2217   6922 |        0 |        0
1743.62/1744.12	c 1744s |      25 |  6436705 |  6249998 |     2217   6928 |        0 |        0
1745.62/1746.13	c 1746s |      25 |  6443180 |  6256298 |     2217   6933 |        0 |        0
1747.62/1748.15	c 1748s |      25 |  6449908 |  6262798 |     2217   6939 |        0 |        0
1749.63/1750.17	c 1750s |      25 |  6456587 |  6269298 |     2217   6945 |        0 |        0
1751.62/1752.19	c 1752s |      25 |  6462924 |  6275398 |     2217   6950 |        0 |        0
1753.72/1754.21	c 1754s |      25 |  6469357 |  6281698 |     2217   6955 |        0 |        0
1755.72/1756.23	c 1756s |      25 |  6476183 |  6288298 |     2217   6961 |        0 |        0
1757.72/1758.26	c 1758s |      25 |  6482951 |  6294898 |     2217   6967 |        0 |        0
1759.72/1760.29	c 1760s |      25 |  6489724 |  6301498 |     2217   6972 |        0 |        0
1761.82/1762.31	c 1762s |      25 |  6496395 |  6307998 |     2217   6978 |        0 |        0
1763.82/1764.31	c 1764s |      25 |  6502925 |  6314398 |     2217   6984 |        0 |        0
1765.82/1766.32	c 1766s |      25 |  6509460 |  6320798 |     2217   6989 |        0 |        0
1767.82/1768.33	c 1768s |      25 |  6516013 |  6327198 |     2217   6995 |        0 |        0
1769.82/1770.35	c 1770s |      25 |  6522565 |  6333598 |     2217   7000 |        0 |        0
1771.81/1772.38	c 1772s |      25 |  6529537 |  6340398 |     2217   7006 |        0 |        0
1773.92/1774.40	c 1774s |      25 |  6536502 |  6347098 |     2217   7012 |        0 |        0
1775.92/1776.43	c 1776s |      25 |  6543288 |  6353698 |     2217   7018 |        0 |        0
1777.92/1778.46	c 1778s |      25 |  6550173 |  6360398 |     2217   7024 |        0 |        0
1779.92/1780.48	c 1780s |      25 |  6556825 |  6366898 |     2217   7029 |        0 |        0
1781.92/1782.49	c 1782s |      25 |  6563496 |  6373298 |     2217   7035 |        0 |        0
1784.02/1784.51	c 1784s |      25 |  6570083 |  6379598 |     2217   7040 |        0 |        0
1786.03/1786.53	c 1786s |      25 |  6576683 |  6385998 |     2217   7046 |        0 |        0
1788.02/1788.54	c 1788s |      25 |  6583146 |  6392298 |     2217   7051 |        0 |        0
1790.02/1790.56	c 1790s |      25 |  6589595 |  6398598 |     2217   7057 |        0 |        0
1792.02/1792.58	c 1792s |      25 |  6596034 |  6404898 |     2217   7062 |        0 |        0
1794.02/1794.59	c 1794s |      25 |  6602312 |  6410998 |     2217   7067 |        0 |        0
1796.02/1796.59	c 1796s |      25 |  6608763 |  6417198 |     2217   7073 |        0 |        0
1798.12/1798.62	c 1798s |      25 |  6615888 |  6424098 |     2217   7079 |        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-4089239-1466023938/watcher-4089239-1466023938 -o /tmp/evaluation-result-4089239-1466023938/solver-4089239-1466023938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089239-1466023938.opb 

pid=7338
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.07 2.15 2.08 3/179 7341
/proc/meminfo: memFree=30425380/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=758340 CPUtime=0 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 2838 0 0 0 0 0 0 0 20 0 4 0 4443916 776540160 2688 33554432000 4194304 16246674 140735945503152 140735945502576 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 190353 2697 442 2943 0 187247 0
[pid=7341/tid=7342] ppid=7338 vsize=776772 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 795414528 2759 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=780868 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 799608832 2776 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=784964 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4443916 803803136 2792 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 2.07 2.15 2.08 3/179 7341
/proc/meminfo: memFree=30425380/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 30442 0 0 0 6 3 0 0 20 0 4 0 4443916 1247350784 30281 33554432000 4194304 16246674 140735945503152 140735945502576 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 304529 30287 711 2943 0 301423 0
[pid=7341/tid=7342] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 30293 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 30299 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 30309 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200538 s]
/proc/loadavg: 2.07 2.15 2.08 3/179 7341
/proc/meminfo: memFree=30425380/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 60234 0 0 0 12 7 0 0 20 0 4 0 4443916 1247350784 60072 33554432000 4194304 16246674 140735945503152 140735945502576 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 304529 60087 711 2943 0 301423 0
[pid=7341/tid=7342] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 60098 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 60107 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 60116 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.07 2.15 2.08 3/179 7341
/proc/meminfo: memFree=30425380/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 90130 0 0 0 18 11 0 0 20 0 4 0 4443916 1247350784 89969 33554432000 4194304 16246674 140735945503152 140735945502576 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 304529 89986 711 2943 0 301423 0
[pid=7341/tid=7342] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 89996 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 90005 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 90011 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700412 s]
/proc/loadavg: 2.07 2.15 2.08 3/179 7341
/proc/meminfo: memFree=30425380/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 209015 0 0 0 43 26 0 0 20 0 4 0 4443916 1247350784 208853 33554432000 4194304 16246674 140735945503152 140735945485056 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 304529 208872 711 2943 0 301423 0
[pid=7341/tid=7342] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 208882 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 208891 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4443916 1247350784 208899 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.07 2.15 2.08 3/183 7345
/proc/meminfo: memFree=29444648/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1304132 CPUtime=1.49 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267028 0 0 0 116 33 0 0 20 0 4 0 4443916 1335431168 266846 33554432000 4194304 16246674 140735945503152 140735945502464 5667492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 326033 266846 788 2943 0 322927 0
[pid=7341/tid=7342] ppid=7338 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1335431168 266846 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1335431168 266846 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1335431168 266846 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.1004 s]
/proc/loadavg: 2.07 2.15 2.08 3/183 7345
/proc/meminfo: memFree=29357104/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267483 0 0 0 276 33 0 0 20 0 4 0 4443916 1337528320 267301 33554432000 4194304 16246674 140735945503152 140735945485056 6021450 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 326545 267301 788 2943 0 323439 0
[pid=7341/tid=7342] ppid=7338 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1337528320 267301 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1337528320 267301 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1337528320 267301 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.06 2.14 2.08 3/183 7345
/proc/meminfo: memFree=29356736/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267549 0 0 0 596 33 0 0 20 0 4 0 4443916 1337528320 267367 33554432000 4194304 16246674 140735945503152 140735945486152 13192771 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 326545 267367 789 2943 0 323439 0
[pid=7341/tid=7342] ppid=7338 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1337528320 267367 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1337528320 267367 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1337528320 267367 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.06 2.14 2.08 3/183 7345
/proc/meminfo: memFree=29355020/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267830 0 0 0 1236 33 0 0 20 0 4 0 4443916 1338576896 267648 33554432000 4194304 16246674 140735945503152 140735945486152 5723488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 326801 267648 789 2943 0 323695 0
[pid=7341/tid=7342] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267648 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267648 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267648 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.04 2.14 2.08 3/183 7346
/proc/meminfo: memFree=29355176/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267832 0 0 0 2515 33 0 0 20 0 4 0 4443916 1338576896 267650 33554432000 4194304 16246674 140735945503152 140735945485056 13950232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 326801 267650 791 2943 0 323695 0
[pid=7341/tid=7342] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267650 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267650 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267650 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.17 2.16 2.09 3/183 7346
/proc/meminfo: memFree=29353780/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267833 0 0 0 5074 34 0 0 20 0 4 0 4443916 1338576896 267651 33554432000 4194304 16246674 140735945503152 140735945486152 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 326801 267651 792 2943 0 323695 0
[pid=7341/tid=7342] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267651 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267651 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1338576896 267651 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.12 2.14 2.09 3/183 7347
/proc/meminfo: memFree=29352960/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 267907 0 0 0 10194 34 0 0 20 0 4 0 4443916 1339625472 267725 33554432000 4194304 16246674 140735945503152 140735945485056 5721529 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 327057 267725 792 2943 0 323951 0
[pid=7341/tid=7342] ppid=7338 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1339625472 267725 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1339625472 267725 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1339625472 267725 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 7400
/proc/meminfo: memFree=29338416/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1361.88 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 136139 49 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945485056 5808492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/183 7401
/proc/meminfo: memFree=29336288/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1421.88 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 142138 50 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945485056 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/183 7402
/proc/meminfo: memFree=29336412/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1481.86 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 148135 51 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945485056 6012051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.02 2.07 2.08 4/182 7403
/proc/meminfo: memFree=29336788/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1541.87 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 154135 52 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945485056 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.25 2.11 2.09 3/183 7454
/proc/meminfo: memFree=29347540/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1601.85 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 160133 52 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945485056 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.21 2.12 2.09 3/183 7455
/proc/meminfo: memFree=29344060/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1661.84 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 166131 53 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945486152 5721783 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/184 7459
/proc/meminfo: memFree=29342316/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1315396 CPUtime=1721.82 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270302 0 0 0 172129 53 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 140735945485056 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 328849 269956 793 2943 0 325743 0
[pid=7341/tid=7342] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1346965504 269956 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 7460
/proc/meminfo: memFree=29340836/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1316420 CPUtime=1781.82 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270558 0 0 0 178128 54 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 140735945485056 5721559 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 329105 270212 793 2943 0 325999 0
[pid=7341/tid=7342] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.13 2.10 3/183 7460
/proc/meminfo: memFree=29341084/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1316420 CPUtime=1800.02 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270558 0 0 0 179948 54 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 140735945485056 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 329105 270212 793 2943 0 325999 0
[pid=7341/tid=7342] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1316420

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.13 2.10 3/183 7460
/proc/meminfo: memFree=29341084/32872528 swapFree=524788/557492
[pid=7341] ppid=7338 vsize=1316420 CPUtime=1800.02 cores=1,3,5,7
/proc/7341/stat : 7341 (toysat) R 7338 7341 5756 0 -1 4202496 270558 0 0 0 179948 54 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 140735945485056 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7341/statm: 329105 270212 793 2943 0 325999 0
[pid=7341/tid=7342] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7342/stat : 7342 (toysat) S 7338 7341 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959966084336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7341/tid=7343] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7343/stat : 7343 (toysat) S 7338 7341 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959955594480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7341/tid=7344] ppid=7338 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7341/task/7344/stat : 7344 (toysat) S 7338 7341 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4443916 1348014080 270212 33554432000 4194304 16246674 140735945503152 139959945120944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1316420

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.542917
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.542917
maximum resident set size= 1080848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270558
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= 433
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50531 second user time and 7.03593 second system time

The end

Begin job on node106 at 2016-06-15 22:52:18
IDJOB=4089239
IDBENCH=107378
IDSOLVER=2542
FILE ID=node106/4089239-1466023938
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 01dee43020e91f7a9fa2abba13b0d901
RANDOM SEED=120021911

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30425932 kB
Buffers:           27444 kB
Cached:            74344 kB
SwapCached:         1480 kB
Active:          1143468 kB
Inactive:          35112 kB
Active(anon):    1077844 kB
Inactive(anon):     1188 kB
Active(file):      65624 kB
Inactive(file):    33924 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1715032 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             576468 kB
SReclaimable:      20664 kB
SUnreclaim:       555804 kB
KernelStack:        1520 kB
PageTables:         7304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1774648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 71708 MiB
End job on node106 at 2016-06-15 23:22:19