0.00/0.00	c 2016-06-16T00:46:58+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-4089645-1466030818.opb"]
0.00/0.01	c use --random-gen="3016385428 501212556 622040021 2577187044 1931407753 3327692734 3365164786 3271191409 2596281580 2775847281 78324941 347835882 749181459 1694503349 430134263 993310707 2844556407 3607652905 1849157655 307756185 3307661510 3702038369 2197907283 2380122255 2756883136 3635180600 3045968875 2463791190 4106840753 3078963833 4228631089 1304377073 1719921817 1781435556 2645466940 3201350871 4090225699 2397082505 3187314753 3667456440 3159759414 1445469463 4291225049 2750519784 4048593805 1098438539 1903265919 1345561205 1664515645 1385591661 3545938286 2086685749 141199583 1349071040 380063609 3237839509 3782742468 2788571532 3459835212 2905364286 3062154662 559768864 134812944 2839341673 3526961430 2988407064 2015295340 2724832078 3927086629 1993415592 3895939152 1637917498 875662016 2048760550 1699768757 2979269732 2141660465 2286155490 1326778258 1388421065 461826633 2021421357 3929780870 712409918 4027109003 2196792913 3644027357 557866622 395574478 1918084161 3557474652 1476700037 1397755712 3985818040 704992340 1791894864 541030084 410499746 214043811 3290821860 3429884513 240402150 702028666 4268375499 2978455676 1331785993 324748226 2568255654 1342988808 1061544200 3723626423 3712408929 4052931537 2829113136 4282772911 260029498 4168618392 4129741491 44271098 3153991310 2537446514 777959488 894769437 2143797413 3943094401 1087900269 1557358818 1860520965 3170010192 461417019 244144208 2093434349 35401009 2850515457 1810551594 161088860 3587443636 2451642791 3267730662 3207086120 4188919120 326363396 3033352012 4255241249 1864920180 3733966325 1110493565 817329376 3898879773 145406314 495533374 2800094483 1432470352 621652914 2973108324 1330991155 3313404205 2598851324 3636352743 180890559 2581602888 966473233 1593969526 2394743255 2299298494 663193666 1148480675 3751884645 2670308153 1325500447 178974679 250945953 3607272343 132501210 2369503472 3217048216 3363879969 531356254 2242139577 1046744961 2136754553 549245194 2783910506 1128116335 2307176795 854607966 3161577996 3705067818 59458713 1783031331 899050498 1811952717 3095848982 931960215 2679517127 407698643 860365223 175692508 1276451140 4032305860 1443582856 2343506690 271410547 358155070 3815642524 2318305615 2490980404 1297275561 575414255 2946791675 3751418678 3102345542 1922471954 252649566 1273632074 2578199184 521354283 3157191932 1517944740 2059204744 2736102980 846798041 3804544528 2223146356 1699728402 4120580696 412411886 99390771 2464766865 265896850 2990850001 1321366996 243431041 3544780492 2696753164 3364493998 3691958161 1526198590 98925231 1245764240 947801591 2124496931 505205472 3216416354 2859808837 2265982333 506771664 4257518990 1626403173 2048965487 1578047810 2370950494 2895515305 2659219104 2305649584 1920656952 255 362436" option to reproduce the execution
0.00/0.01	c #vars 270
0.00/0.01	c #constraints 541
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 |      270      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      228 |      100 |      270      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      505 |      250 |      297      0 |        0 |        0
0.09/0.17	c  0.1s |       3 |      852 |      475 |      327      1 |        0 |        0
0.19/0.29	c  0.3s |       4 |     1315 |      813 |      360      2 |        0 |        0
0.39/0.48	c  0.5s |       5 |     1949 |     1320 |      397      4 |        0 |        0
0.69/0.78	c  0.8s |       6 |     2844 |     2081 |      481      6 |        0 |        0
0.99/1.09	c  1.1s |       7 |     4112 |     3223 |      530     10 |        0 |        0
1.49/1.56	c  1.5s |       8 |     5964 |     4936 |      583     15 |        0 |        0
2.20/2.21	c  2.2s |       9 |     8663 |     7506 |      642     22 |        0 |        0
3.19/3.25	c  3.2s |      10 |    12651 |    11361 |      707     32 |        0 |        0
4.79/4.82	c  4.8s |      11 |    18590 |    17144 |      778     46 |        0 |        0
6.79/6.84	c  6.8s |      11 |    25769 |    24144 |      778     62 |        0 |        0
7.29/7.30	c  7.3s |      12 |    27439 |    25819 |      856     65 |        0 |        0
9.29/9.31	c  9.3s |      12 |    34668 |    32819 |      856     79 |        0 |        0
10.89/11.00	c 11.0s |      13 |    40801 |    38832 |      942     92 |        0 |        0
12.99/13.02	c 13.0s |      13 |    47793 |    45632 |      942    104 |        0 |        0
14.99/15.03	c 15.0s |      13 |    54553 |    52332 |      942    117 |        0 |        0
16.69/16.76	c 16.7s |      14 |    60642 |    58352 |     1037    128 |        0 |        0
18.70/18.77	c 18.8s |      14 |    67930 |    65352 |     1037    140 |        0 |        0
20.69/20.78	c 20.8s |      14 |    74814 |    72152 |     1037    152 |        0 |        0
22.69/22.78	c 22.8s |      14 |    81746 |    78952 |     1037    163 |        0 |        0
24.79/24.81	c 24.8s |      14 |    88428 |    85552 |     1037    175 |        0 |        0
25.39/25.44	c 25.4s |      15 |    90541 |    87632 |     1141    178 |        0 |        0
27.39/27.45	c 27.4s |      15 |    97230 |    94132 |     1141    188 |        0 |        0
29.39/29.47	c 29.4s |      15 |   103831 |   100632 |     1141    199 |        0 |        0
31.39/31.47	c 31.4s |      15 |   110324 |   107032 |     1141    209 |        0 |        0
33.38/33.50	c 33.5s |      15 |   116771 |   113332 |     1141    219 |        0 |        0
35.48/35.51	c 35.5s |      15 |   123047 |   119532 |     1141    229 |        0 |        0
37.49/37.55	c 37.5s |      15 |   129430 |   125832 |     1141    239 |        0 |        0
39.38/39.45	c 39.4s |      16 |   135270 |   131552 |     1256    247 |        0 |        0
41.38/41.45	c 41.4s |      16 |   141799 |   137852 |     1256    257 |        0 |        0
43.38/43.46	c 43.4s |      16 |   148094 |   144052 |     1256    266 |        0 |        0
45.38/45.47	c 45.4s |      16 |   154365 |   150252 |     1256    275 |        0 |        0
47.48/47.50	c 47.5s |      16 |   160657 |   156452 |     1256    284 |        0 |        0
49.49/49.54	c 49.5s |      16 |   166913 |   162652 |     1256    293 |        0 |        0
51.48/51.54	c 51.5s |      16 |   172822 |   168452 |     1256    301 |        0 |        0
53.48/53.56	c 53.5s |      16 |   179572 |   175052 |     1256    310 |        0 |        0
55.48/55.58	c 55.6s |      16 |   185870 |   181252 |     1256    319 |        0 |        0
57.58/57.61	c 57.6s |      16 |   192258 |   187552 |     1256    329 |        0 |        0
59.58/59.65	c 59.6s |      16 |   198445 |   193652 |     1256    337 |        0 |        0
60.78/60.89	c 60.9s |      17 |   202267 |   197432 |     1382    343 |        0 |        0
62.88/62.92	c 62.9s |      17 |   208860 |   203832 |     1382    351 |        0 |        0
64.88/64.93	c 64.9s |      17 |   215311 |   210132 |     1382    360 |        0 |        0
66.88/66.95	c 66.9s |      17 |   221759 |   216432 |     1382    368 |        0 |        0
68.88/68.97	c 69.0s |      17 |   228007 |   222632 |     1382    376 |        0 |        0
70.98/71.00	c 71.0s |      17 |   234513 |   229032 |     1382    385 |        0 |        0
72.98/73.01	c 73.0s |      17 |   240888 |   235332 |     1382    393 |        0 |        0
74.98/75.04	c 75.0s |      17 |   247267 |   241632 |     1382    401 |        0 |        0
76.98/77.04	c 77.0s |      17 |   253366 |   247632 |     1382    409 |        0 |        0
78.97/79.05	c 79.0s |      17 |   259393 |   253532 |     1382    417 |        0 |        0
80.97/81.07	c 81.0s |      17 |   266037 |   260032 |     1382    426 |        0 |        0
82.97/83.09	c 83.1s |      17 |   272548 |   266432 |     1382    434 |        0 |        0
85.07/85.10	c 85.1s |      17 |   279013 |   272732 |     1382    442 |        0 |        0
87.07/87.12	c 87.1s |      17 |   285436 |   279032 |     1382    451 |        0 |        0
89.08/89.15	c 89.1s |      17 |   291724 |   285232 |     1382    459 |        0 |        0
91.07/91.17	c 91.2s |      17 |   297907 |   291332 |     1382    467 |        0 |        0
92.67/92.78	c 92.8s |      18 |   302904 |   296252 |     1521    473 |        0 |        0
94.68/94.79	c 94.8s |      18 |   309221 |   302352 |     1521    481 |        0 |        0
96.78/96.82	c 96.8s |      18 |   315813 |   308852 |     1521    489 |        0 |        0
98.77/98.83	c 98.8s |      18 |   322347 |   315252 |     1521    496 |        0 |        0
100.77/100.85	c  100s |      18 |   329213 |   321952 |     1521    505 |        0 |        0
102.77/102.86	c  102s |      18 |   335874 |   328452 |     1521    512 |        0 |        0
104.77/104.86	c  104s |      18 |   342402 |   334752 |     1521    520 |        0 |        0
106.77/106.89	c  106s |      18 |   348780 |   340952 |     1521    528 |        0 |        0
108.77/108.89	c  108s |      18 |   354836 |   346852 |     1521    535 |        0 |        0
110.87/110.90	c  110s |      18 |   361334 |   353152 |     1521    542 |        0 |        0
112.87/112.91	c  112s |      18 |   367338 |   358952 |     1521    549 |        0 |        0
114.87/114.93	c  114s |      18 |   373452 |   364952 |     1521    557 |        0 |        0
116.88/116.95	c  116s |      18 |   379283 |   370652 |     1521    564 |        0 |        0
118.88/118.97	c  118s |      18 |   385498 |   376752 |     1521    571 |        0 |        0
120.87/120.99	c  120s |      18 |   391816 |   382952 |     1521    578 |        0 |        0
122.87/122.99	c  122s |      18 |   397938 |   388952 |     1521    586 |        0 |        0
124.97/125.02	c  124s |      18 |   404101 |   394952 |     1521    593 |        0 |        0
126.97/127.02	c  127s |      18 |   410156 |   400852 |     1521    600 |        0 |        0
128.97/129.06	c  129s |      18 |   416238 |   406852 |     1521    607 |        0 |        0
130.98/131.06	c  131s |      18 |   422043 |   412552 |     1521    614 |        0 |        0
132.97/133.10	c  133s |      18 |   428077 |   418452 |     1521    622 |        0 |        0
135.07/135.12	c  135s |      18 |   433842 |   424052 |     1521    628 |        0 |        0
137.07/137.13	c  137s |      18 |   440130 |   430152 |     1521    636 |        0 |        0
139.07/139.14	c  139s |      18 |   446236 |   436052 |     1521    643 |        0 |        0
141.07/141.15	c  141s |      18 |   452168 |   441852 |     1674    650 |        0 |        0
141.98/142.07	c  142s |      19 |   454867 |   444482 |     1674    653 |        0 |        0
143.97/144.07	c  144s |      19 |   461106 |   450482 |     1674    659 |        0 |        0
145.97/146.08	c  146s |      19 |   466998 |   456282 |     1674    666 |        0 |        0
148.07/148.11	c  148s |      19 |   473030 |   462182 |     1674    672 |        0 |        0
150.07/150.13	c  150s |      19 |   479055 |   468082 |     1674    679 |        0 |        0
152.07/152.16	c  152s |      19 |   484951 |   473882 |     1674    685 |        0 |        0
154.17/154.20	c  154s |      19 |   490733 |   479582 |     1674    692 |        0 |        0
156.17/156.22	c  156s |      19 |   496602 |   485382 |     1674    698 |        0 |        0
158.17/158.23	c  158s |      19 |   502623 |   491282 |     1674    705 |        0 |        0
160.17/160.25	c  160s |      19 |   508426 |   496982 |     1674    711 |        0 |        0
162.17/162.26	c  162s |      19 |   514206 |   502682 |     1674    717 |        0 |        0
164.17/164.27	c  164s |      19 |   519878 |   508282 |     1674    723 |        0 |        0
166.17/166.28	c  166s |      19 |   525543 |   513882 |     1674    730 |        0 |        0
168.16/168.30	c  168s |      19 |   531923 |   520182 |     1674    737 |        0 |        0
170.26/170.33	c  170s |      19 |   538124 |   526282 |     1674    743 |        0 |        0
172.26/172.35	c  172s |      19 |   544020 |   532082 |     1674    750 |        0 |        0
174.26/174.35	c  174s |      19 |   549904 |   537882 |     1674    756 |        0 |        0
176.26/176.37	c  176s |      19 |   555765 |   543682 |     1674    763 |        0 |        0
178.27/178.38	c  178s |      19 |   561661 |   549382 |     1674    769 |        0 |        0
180.26/180.39	c  180s |      19 |   567478 |   555082 |     1674    775 |        0 |        0
182.36/182.42	c  182s |      19 |   573301 |   560782 |     1674    782 |        0 |        0
184.36/184.42	c  184s |      19 |   579179 |   566482 |     1674    788 |        0 |        0
186.36/186.43	c  186s |      19 |   584847 |   571982 |     1674    794 |        0 |        0
188.36/188.47	c  188s |      19 |   590772 |   577782 |     1674    801 |        0 |        0
190.46/190.50	c  190s |      19 |   596604 |   583482 |     1674    807 |        0 |        0
192.47/192.50	c  192s |      19 |   602306 |   589082 |     1674    813 |        0 |        0
194.46/194.53	c  194s |      19 |   607974 |   594582 |     1674    819 |        0 |        0
196.46/196.54	c  196s |      19 |   613533 |   599982 |     1674    825 |        0 |        0
198.46/198.57	c  198s |      19 |   619446 |   605782 |     1674    832 |        0 |        0
200.46/200.59	c  200s |      19 |   625233 |   611482 |     1674    838 |        0 |        0
202.56/202.61	c  202s |      19 |   630829 |   616982 |     1674    844 |        0 |        0
204.56/204.63	c  204s |      19 |   636499 |   622582 |     1674    850 |        0 |        0
206.56/206.64	c  206s |      19 |   642145 |   628082 |     1674    856 |        0 |        0
208.56/208.65	c  208s |      19 |   647717 |   633582 |     1674    863 |        0 |        0
210.56/210.69	c  210s |      19 |   653295 |   639082 |     1674    869 |        0 |        0
212.56/212.69	c  212s |      19 |   658879 |   644582 |     1674    875 |        0 |        0
214.66/214.72	c  214s |      19 |   664318 |   649882 |     1674    881 |        0 |        0
216.66/216.74	c  216s |      19 |   669794 |   655282 |     1674    887 |        0 |        0
218.66/218.76	c  218s |      19 |   676371 |   661682 |     1674    894 |        0 |        0
220.36/220.45	c  220s |      20 |   681643 |   666827 |     1842    899 |        0 |        0
222.36/222.47	c  222s |      20 |   688147 |   673127 |     1842    905 |        0 |        0
224.46/224.51	c  224s |      20 |   694590 |   679427 |     1842    912 |        0 |        0
226.46/226.54	c  226s |      20 |   701060 |   685727 |     1842    918 |        0 |        0
228.45/228.55	c  228s |      20 |   707318 |   691827 |     1842    924 |        0 |        0
230.45/230.55	c  230s |      20 |   713473 |   697827 |     1842    930 |        0 |        0
232.45/232.57	c  232s |      20 |   719484 |   703727 |     1842    936 |        0 |        0
234.55/234.60	c  234s |      20 |   725605 |   709727 |     1842    942 |        0 |        0
236.46/236.60	c  236s |      20 |   731284 |   715327 |     1842    948 |        0 |        0
238.55/238.61	c  238s |      20 |   737353 |   721227 |     1842    954 |        0 |        0
240.55/240.62	c  240s |      20 |   743239 |   726927 |     1842    960 |        0 |        0
242.55/242.65	c  242s |      20 |   748994 |   732527 |     1842    965 |        0 |        0
244.55/244.66	c  244s |      20 |   755544 |   738927 |     1842    972 |        0 |        0
246.55/246.68	c  246s |      20 |   761898 |   745127 |     1842    978 |        0 |        0
248.56/248.70	c  248s |      20 |   768291 |   751327 |     1842    984 |        0 |        0
250.65/250.72	c  250s |      20 |   774444 |   757327 |     1842    991 |        0 |        0
252.65/252.75	c  252s |      20 |   780692 |   763427 |     1842    997 |        0 |        0
254.65/254.77	c  254s |      20 |   786732 |   769327 |     1842   1003 |        0 |        0
256.65/256.78	c  256s |      20 |   792822 |   775227 |     1842   1009 |        0 |        0
258.75/258.80	c  258s |      20 |   798802 |   781027 |     1842   1015 |        0 |        0
260.75/260.83	c  260s |      20 |   805000 |   787027 |     1842   1021 |        0 |        0
262.74/262.85	c  262s |      20 |   810905 |   792827 |     1842   1027 |        0 |        0
264.74/264.88	c  264s |      20 |   816980 |   798727 |     1842   1033 |        0 |        0
266.75/266.88	c  266s |      20 |   822817 |   804427 |     1842   1038 |        0 |        0
268.75/268.88	c  268s |      20 |   828539 |   809927 |     1842   1044 |        0 |        0
270.75/270.89	c  270s |      20 |   834600 |   815727 |     1842   1050 |        0 |        0
272.86/272.91	c  272s |      20 |   840476 |   821427 |     1842   1056 |        0 |        0
274.85/274.91	c  274s |      20 |   846262 |   827027 |     1842   1061 |        0 |        0
276.85/276.92	c  276s |      20 |   851922 |   832427 |     1842   1067 |        0 |        0
278.85/278.92	c  278s |      20 |   857685 |   838027 |     1842   1073 |        0 |        0
280.85/280.93	c  280s |      20 |   863631 |   843827 |     1842   1078 |        0 |        0
282.85/282.96	c  282s |      20 |   869533 |   849527 |     1842   1084 |        0 |        0
284.86/284.99	c  284s |      20 |   875173 |   855027 |     1842   1090 |        0 |        0
286.95/287.00	c  286s |      20 |   880708 |   860427 |     1842   1095 |        0 |        0
288.95/289.00	c  288s |      20 |   886200 |   865827 |     1842   1101 |        0 |        0
290.95/291.02	c  291s |      20 |   892259 |   871727 |     1842   1107 |        0 |        0
292.95/293.03	c  293s |      20 |   898738 |   877927 |     1842   1113 |        0 |        0
294.95/295.05	c  295s |      20 |   904944 |   883927 |     1842   1119 |        0 |        0
296.95/297.06	c  297s |      20 |   911315 |   890127 |     1842   1125 |        0 |        0
298.95/299.09	c  299s |      20 |   917553 |   896227 |     1842   1132 |        0 |        0
301.05/301.12	c  301s |      20 |   923916 |   902327 |     1842   1138 |        0 |        0
303.05/303.12	c  303s |      20 |   929857 |   908127 |     1842   1144 |        0 |        0
305.04/305.15	c  305s |      20 |   935759 |   913827 |     1842   1149 |        0 |        0
307.05/307.15	c  307s |      20 |   941663 |   919527 |     1842   1155 |        0 |        0
309.05/309.17	c  309s |      20 |   947361 |   925127 |     1842   1161 |        0 |        0
311.04/311.20	c  311s |      20 |   953298 |   930927 |     1842   1167 |        0 |        0
313.14/313.20	c  313s |      20 |   958956 |   936427 |     1842   1172 |        0 |        0
315.14/315.22	c  315s |      20 |   964722 |   942027 |     1842   1178 |        0 |        0
317.14/317.24	c  317s |      20 |   970738 |   947727 |     1842   1184 |        0 |        0
319.14/319.27	c  319s |      20 |   976582 |   953227 |     1842   1189 |        0 |        0
321.25/321.31	c  321s |      20 |   982233 |   958627 |     1842   1195 |        0 |        0
323.24/323.32	c  323s |      20 |   988184 |   964427 |     1842   1201 |        0 |        0
325.24/325.33	c  325s |      20 |   993924 |   970027 |     1842   1207 |        0 |        0
327.24/327.36	c  327s |      20 |   999614 |   975627 |     1842   1212 |        0 |        0
329.24/329.36	c  329s |      20 |  1005197 |   981127 |     1842   1218 |        0 |        0
331.24/331.39	c  331s |      20 |  1010779 |   986627 |     1842   1223 |        0 |        0
333.35/333.41	c  333s |      20 |  1016347 |   992127 |     1842   1229 |        0 |        0
335.34/335.42	c  335s |      20 |  1022051 |   997727 |     2027   1234 |        0 |        0
336.24/336.38	c  336s |      21 |  1024761 |  1000345 |     2027   1237 |        0 |        0
338.24/338.38	c  338s |      21 |  1030969 |  1006245 |     2027   1242 |        0 |        0
340.34/340.41	c  340s |      21 |  1037079 |  1012145 |     2027   1247 |        0 |        0
342.34/342.42	c  342s |      21 |  1042896 |  1017845 |     2027   1253 |        0 |        0
344.34/344.44	c  344s |      21 |  1048628 |  1023445 |     2027   1258 |        0 |        0
346.33/346.46	c  346s |      21 |  1054719 |  1029445 |     2027   1264 |        0 |        0
348.33/348.48	c  348s |      21 |  1060500 |  1035145 |     2027   1269 |        0 |        0
350.33/350.48	c  350s |      21 |  1066040 |  1040545 |     2027   1274 |        0 |        0
352.43/352.50	c  352s |      21 |  1071726 |  1046145 |     2027   1279 |        0 |        0
354.43/354.50	c  354s |      21 |  1077624 |  1051945 |     2027   1284 |        0 |        0
356.45/356.52	c  356s |      21 |  1083232 |  1057445 |     2027   1289 |        0 |        0
358.44/358.55	c  358s |      21 |  1088718 |  1062845 |     2027   1294 |        0 |        0
360.44/360.57	c  360s |      21 |  1094521 |  1068545 |     2027   1300 |        0 |        0
362.54/362.60	c  362s |      21 |  1100441 |  1074345 |     2027   1305 |        0 |        0
364.54/364.62	c  364s |      21 |  1106093 |  1079845 |     2027   1310 |        0 |        0
366.54/366.64	c  366s |      21 |  1111588 |  1085245 |     2027   1315 |        0 |        0
368.54/368.65	c  368s |      21 |  1117628 |  1091145 |     2027   1321 |        0 |        0
370.54/370.66	c  370s |      21 |  1123347 |  1096645 |     2027   1326 |        0 |        0
372.54/372.68	c  372s |      21 |  1128976 |  1102145 |     2027   1331 |        0 |        0
374.54/374.69	c  374s |      21 |  1134457 |  1107545 |     2027   1336 |        0 |        0
376.64/376.71	c  376s |      21 |  1140115 |  1113045 |     2027   1341 |        0 |        0
378.63/378.75	c  378s |      21 |  1145629 |  1118445 |     2027   1346 |        0 |        0
380.64/380.78	c  380s |      21 |  1151017 |  1123745 |     2027   1351 |        0 |        0
382.74/382.81	c  382s |      21 |  1156605 |  1129145 |     2027   1356 |        0 |        0
384.73/384.83	c  384s |      21 |  1162470 |  1134845 |     2027   1361 |        0 |        0
386.73/386.84	c  386s |      21 |  1168214 |  1140445 |     2027   1366 |        0 |        0
388.73/388.87	c  388s |      21 |  1173837 |  1145945 |     2027   1371 |        0 |        0
390.73/390.89	c  390s |      21 |  1179180 |  1151145 |     2027   1376 |        0 |        0
392.74/392.89	c  392s |      21 |  1184923 |  1156745 |     2027   1381 |        0 |        0
394.73/394.90	c  394s |      21 |  1190314 |  1162045 |     2027   1386 |        0 |        0
396.83/396.94	c  396s |      21 |  1195853 |  1167445 |     2027   1391 |        0 |        0
398.83/398.94	c  398s |      21 |  1201146 |  1172645 |     2027   1396 |        0 |        0
400.83/400.96	c  400s |      21 |  1206483 |  1177845 |     2027   1401 |        0 |        0
402.83/402.98	c  402s |      21 |  1212101 |  1183345 |     2027   1406 |        0 |        0
404.93/405.03	c  405s |      21 |  1218029 |  1189145 |     2027   1412 |        0 |        0
406.93/407.03	c  407s |      21 |  1223791 |  1194745 |     2027   1417 |        0 |        0
408.92/409.05	c  409s |      21 |  1229395 |  1200145 |     2027   1422 |        0 |        0
410.92/411.06	c  411s |      21 |  1235001 |  1205545 |     2027   1427 |        0 |        0
412.92/413.08	c  413s |      21 |  1240486 |  1210945 |     2027   1432 |        0 |        0
414.92/415.09	c  415s |      21 |  1246133 |  1216445 |     2027   1437 |        0 |        0
416.93/417.09	c  417s |      21 |  1251578 |  1221745 |     2027   1442 |        0 |        0
419.03/419.12	c  419s |      21 |  1257001 |  1227045 |     2027   1447 |        0 |        0
421.02/421.14	c  421s |      21 |  1262473 |  1232445 |     2027   1452 |        0 |        0
423.02/423.14	c  423s |      21 |  1267991 |  1237845 |     2027   1457 |        0 |        0
425.02/425.16	c  425s |      21 |  1273360 |  1243045 |     2027   1461 |        0 |        0
427.03/427.19	c  427s |      21 |  1278626 |  1248245 |     2027   1466 |        0 |        0
429.13/429.22	c  429s |      21 |  1283825 |  1253345 |     2027   1471 |        0 |        0
431.13/431.25	c  431s |      21 |  1289379 |  1258745 |     2027   1476 |        0 |        0
433.13/433.28	c  433s |      21 |  1294951 |  1264145 |     2027   1481 |        0 |        0
435.13/435.29	c  435s |      21 |  1300363 |  1269445 |     2027   1486 |        0 |        0
437.23/437.32	c  437s |      21 |  1305598 |  1274545 |     2027   1491 |        0 |        0
439.22/439.35	c  439s |      21 |  1310883 |  1279645 |     2027   1495 |        0 |        0
441.22/441.35	c  441s |      21 |  1316019 |  1284645 |     2027   1500 |        0 |        0
443.23/443.38	c  443s |      21 |  1321672 |  1290145 |     2027   1505 |        0 |        0
445.32/445.40	c  445s |      21 |  1327415 |  1295745 |     2027   1510 |        0 |        0
447.32/447.42	c  447s |      21 |  1333277 |  1301445 |     2027   1516 |        0 |        0
449.32/449.44	c  449s |      21 |  1339003 |  1307045 |     2027   1521 |        0 |        0
451.32/451.48	c  451s |      21 |  1344583 |  1312445 |     2027   1526 |        0 |        0
453.42/453.52	c  453s |      21 |  1350338 |  1318045 |     2027   1531 |        0 |        0
455.43/455.52	c  455s |      21 |  1355857 |  1323345 |     2027   1536 |        0 |        0
457.42/457.53	c  457s |      21 |  1361401 |  1328745 |     2027   1541 |        0 |        0
459.42/459.55	c  459s |      21 |  1366676 |  1333945 |     2027   1546 |        0 |        0
461.42/461.58	c  461s |      21 |  1372177 |  1339345 |     2027   1551 |        0 |        0
463.42/463.59	c  463s |      21 |  1377491 |  1344445 |     2027   1556 |        0 |        0
465.52/465.60	c  465s |      21 |  1382913 |  1349745 |     2027   1560 |        0 |        0
467.52/467.63	c  467s |      21 |  1388209 |  1354945 |     2027   1565 |        0 |        0
469.52/469.66	c  469s |      21 |  1393377 |  1360045 |     2027   1570 |        0 |        0
471.52/471.67	c  471s |      21 |  1398589 |  1365045 |     2027   1575 |        0 |        0
473.62/473.70	c  473s |      21 |  1403902 |  1370245 |     2027   1579 |        0 |        0
475.61/475.71	c  475s |      21 |  1409135 |  1375345 |     2027   1584 |        0 |        0
477.61/477.73	c  477s |      21 |  1414301 |  1380345 |     2027   1589 |        0 |        0
479.62/479.78	c  479s |      21 |  1419555 |  1385445 |     2027   1594 |        0 |        0
481.72/481.81	c  481s |      21 |  1425425 |  1391145 |     2027   1599 |        0 |        0
483.71/483.82	c  483s |      21 |  1431045 |  1396645 |     2027   1604 |        0 |        0
485.71/485.83	c  485s |      21 |  1436527 |  1402045 |     2027   1609 |        0 |        0
487.71/487.86	c  487s |      21 |  1442071 |  1407445 |     2027   1614 |        0 |        0
489.71/489.88	c  489s |      21 |  1447740 |  1412945 |     2027   1619 |        0 |        0
491.81/491.92	c  491s |      21 |  1453163 |  1418245 |     2027   1624 |        0 |        0
493.82/493.92	c  493s |      21 |  1458414 |  1423345 |     2027   1629 |        0 |        0
495.81/495.95	c  495s |      21 |  1463906 |  1428745 |     2027   1634 |        0 |        0
497.91/498.01	c  497s |      21 |  1469196 |  1433945 |     2027   1639 |        0 |        0
499.91/500.03	c  500s |      21 |  1474469 |  1439145 |     2027   1643 |        0 |        0
501.92/502.06	c  502s |      21 |  1480013 |  1444545 |     2027   1648 |        0 |        0
503.92/504.08	c  504s |      21 |  1485403 |  1449845 |     2027   1653 |        0 |        0
505.92/506.08	c  506s |      21 |  1490500 |  1454845 |     2027   1658 |        0 |        0
508.01/508.10	c  508s |      21 |  1495610 |  1459845 |     2027   1663 |        0 |        0
510.01/510.13	c  510s |      21 |  1501246 |  1465345 |     2027   1668 |        0 |        0
512.01/512.14	c  512s |      21 |  1506714 |  1470645 |     2027   1673 |        0 |        0
514.01/514.17	c  514s |      21 |  1512009 |  1475845 |     2027   1677 |        0 |        0
516.11/516.20	c  516s |      21 |  1517295 |  1480945 |     2027   1682 |        0 |        0
518.12/518.23	c  518s |      21 |  1522624 |  1486145 |     2027   1687 |        0 |        0
520.11/520.23	c  520s |      21 |  1527906 |  1491245 |     2230   1691 |        0 |        0
522.11/522.26	c  522s |      21 |  1533089 |  1496245 |     2230   1696 |        0 |        0
523.91/524.00	c  523s |      22 |  1537591 |  1500622 |     2230   1699 |        0 |        0
525.91/526.01	c  525s |      22 |  1542955 |  1505822 |     2230   1704 |        0 |        0
527.92/528.05	c  528s |      22 |  1548397 |  1511122 |     2230   1708 |        0 |        0
529.91/530.05	c  530s |      22 |  1553584 |  1516222 |     2230   1713 |        0 |        0
531.91/532.08	c  532s |      22 |  1558891 |  1521422 |     2230   1717 |        0 |        0
533.91/534.08	c  534s |      22 |  1564185 |  1526622 |     2230   1721 |        0 |        0
536.01/536.11	c  536s |      22 |  1569792 |  1532022 |     2230   1726 |        0 |        0
538.01/538.14	c  538s |      22 |  1575774 |  1537822 |     2230   1731 |        0 |        0
540.01/540.16	c  540s |      22 |  1581584 |  1543522 |     2230   1736 |        0 |        0
542.01/542.17	c  542s |      22 |  1587293 |  1549122 |     2230   1741 |        0 |        0
544.01/544.19	c  544s |      22 |  1593009 |  1554622 |     2230   1745 |        0 |        0
546.11/546.22	c  546s |      22 |  1598856 |  1560322 |     2230   1750 |        0 |        0
548.10/548.23	c  548s |      22 |  1604554 |  1565822 |     2230   1755 |        0 |        0
550.10/550.24	c  550s |      22 |  1610223 |  1571222 |     2230   1759 |        0 |        0
552.11/552.27	c  552s |      22 |  1615955 |  1576822 |     2230   1764 |        0 |        0
554.10/554.28	c  554s |      22 |  1621580 |  1582322 |     2230   1769 |        0 |        0
556.20/556.30	c  556s |      22 |  1626986 |  1587622 |     2230   1773 |        0 |        0
558.20/558.33	c  558s |      22 |  1632625 |  1593122 |     2230   1778 |        0 |        0
560.20/560.36	c  560s |      22 |  1638296 |  1598622 |     2230   1782 |        0 |        0
562.20/562.38	c  562s |      22 |  1643655 |  1603922 |     2230   1787 |        0 |        0
564.31/564.43	c  564s |      22 |  1649034 |  1609222 |     2230   1791 |        0 |        0
566.30/566.46	c  566s |      22 |  1654952 |  1615022 |     2230   1796 |        0 |        0
568.30/568.46	c  568s |      22 |  1660465 |  1620422 |     2230   1801 |        0 |        0
570.30/570.48	c  570s |      22 |  1666063 |  1625922 |     2230   1806 |        0 |        0
572.40/572.50	c  572s |      22 |  1671696 |  1631422 |     2230   1810 |        0 |        0
574.40/574.54	c  574s |      22 |  1677174 |  1636822 |     2230   1815 |        0 |        0
576.41/576.54	c  576s |      22 |  1682450 |  1642022 |     2230   1819 |        0 |        0
578.40/578.58	c  578s |      22 |  1688098 |  1647522 |     2230   1824 |        0 |        0
580.40/580.59	c  580s |      22 |  1693450 |  1652722 |     2230   1828 |        0 |        0
582.50/582.60	c  582s |      22 |  1698949 |  1658122 |     2230   1833 |        0 |        0
584.50/584.61	c  584s |      22 |  1704636 |  1663722 |     2230   1838 |        0 |        0
586.49/586.64	c  586s |      22 |  1710251 |  1669222 |     2230   1842 |        0 |        0
588.50/588.65	c  588s |      22 |  1715891 |  1674722 |     2230   1847 |        0 |        0
590.49/590.67	c  590s |      22 |  1721357 |  1680022 |     2230   1852 |        0 |        0
592.59/592.70	c  592s |      22 |  1726818 |  1685322 |     2230   1856 |        0 |        0
594.59/594.70	c  594s |      22 |  1732052 |  1690422 |     2230   1860 |        0 |        0
596.60/596.71	c  596s |      22 |  1737381 |  1695622 |     2230   1865 |        0 |        0
598.60/598.71	c  598s |      22 |  1742450 |  1700622 |     2230   1869 |        0 |        0
600.61/600.75	c  600s |      22 |  1747784 |  1705822 |     2230   1873 |        0 |        0
602.60/602.77	c  602s |      22 |  1753143 |  1711022 |     2230   1878 |        0 |        0
604.70/604.80	c  604s |      22 |  1758403 |  1716122 |     2230   1882 |        0 |        0
606.70/606.81	c  606s |      22 |  1763993 |  1721522 |     2230   1887 |        0 |        0
608.70/608.82	c  608s |      22 |  1769722 |  1727122 |     2230   1891 |        0 |        0
610.70/610.85	c  610s |      22 |  1775417 |  1732622 |     2230   1896 |        0 |        0
612.70/612.87	c  612s |      22 |  1780869 |  1737922 |     2230   1901 |        0 |        0
614.70/614.88	c  614s |      22 |  1786270 |  1743222 |     2230   1905 |        0 |        0
616.80/616.90	c  616s |      22 |  1791827 |  1748622 |     2230   1910 |        0 |        0
618.80/618.93	c  618s |      22 |  1797284 |  1753922 |     2230   1914 |        0 |        0
620.80/620.94	c  620s |      22 |  1802607 |  1759122 |     2230   1919 |        0 |        0
622.80/622.96	c  622s |      22 |  1808154 |  1764522 |     2230   1923 |        0 |        0
624.80/624.97	c  624s |      22 |  1813462 |  1769722 |     2230   1928 |        0 |        0
626.79/627.00	c  626s |      22 |  1819016 |  1775122 |     2230   1932 |        0 |        0
628.89/629.02	c  628s |      22 |  1824432 |  1780422 |     2230   1937 |        0 |        0
630.89/631.05	c  631s |      22 |  1829966 |  1785822 |     2230   1941 |        0 |        0
632.89/633.08	c  633s |      22 |  1835161 |  1790922 |     2230   1946 |        0 |        0
634.99/635.10	c  635s |      22 |  1840513 |  1795922 |     2230   1950 |        0 |        0
636.99/637.11	c  637s |      22 |  1846128 |  1801222 |     2230   1954 |        0 |        0
639.00/639.15	c  639s |      22 |  1851394 |  1806322 |     2230   1959 |        0 |        0
640.99/641.17	c  641s |      22 |  1856660 |  1811422 |     2230   1963 |        0 |        0
642.99/643.19	c  643s |      22 |  1861796 |  1816422 |     2230   1967 |        0 |        0
644.99/645.19	c  645s |      22 |  1867430 |  1821822 |     2230   1972 |        0 |        0
647.09/647.22	c  647s |      22 |  1872793 |  1827022 |     2230   1976 |        0 |        0
649.09/649.27	c  649s |      22 |  1878172 |  1832122 |     2230   1981 |        0 |        0
651.10/651.29	c  651s |      22 |  1883293 |  1837122 |     2230   1985 |        0 |        0
653.19/653.30	c  653s |      22 |  1888499 |  1842122 |     2230   1989 |        0 |        0
655.19/655.34	c  655s |      22 |  1893605 |  1847122 |     2230   1993 |        0 |        0
657.19/657.35	c  657s |      22 |  1898956 |  1852322 |     2230   1998 |        0 |        0
659.18/659.35	c  659s |      22 |  1904673 |  1857922 |     2230   2002 |        0 |        0
661.18/661.36	c  661s |      22 |  1910219 |  1863322 |     2230   2007 |        0 |        0
663.20/663.38	c  663s |      22 |  1915779 |  1868722 |     2230   2012 |        0 |        0
665.19/665.39	c  665s |      22 |  1921061 |  1873922 |     2230   2016 |        0 |        0
667.29/667.43	c  667s |      22 |  1926521 |  1879222 |     2230   2020 |        0 |        0
669.29/669.43	c  669s |      22 |  1931928 |  1884522 |     2230   2025 |        0 |        0
671.29/671.45	c  671s |      22 |  1937130 |  1889622 |     2230   2029 |        0 |        0
673.29/673.47	c  673s |      22 |  1942602 |  1894922 |     2230   2034 |        0 |        0
675.40/675.51	c  675s |      22 |  1947845 |  1900022 |     2230   2038 |        0 |        0
677.39/677.52	c  677s |      22 |  1953164 |  1905222 |     2230   2042 |        0 |        0
679.39/679.53	c  679s |      22 |  1958425 |  1910422 |     2230   2047 |        0 |        0
681.39/681.54	c  681s |      22 |  1963716 |  1915522 |     2230   2051 |        0 |        0
683.39/683.56	c  683s |      22 |  1968891 |  1920522 |     2230   2055 |        0 |        0
685.39/685.56	c  685s |      22 |  1973909 |  1925422 |     2230   2060 |        0 |        0
687.39/687.56	c  687s |      22 |  1979203 |  1930522 |     2230   2064 |        0 |        0
689.39/689.59	c  689s |      22 |  1984499 |  1935622 |     2230   2068 |        0 |        0
691.48/691.60	c  691s |      22 |  1989734 |  1940722 |     2230   2073 |        0 |        0
693.49/693.63	c  693s |      22 |  1994997 |  1945822 |     2230   2077 |        0 |        0
695.48/695.63	c  695s |      22 |  2000406 |  1951022 |     2230   2081 |        0 |        0
697.48/697.66	c  697s |      22 |  2005640 |  1956122 |     2230   2086 |        0 |        0
699.49/699.66	c  699s |      22 |  2010862 |  1961222 |     2230   2090 |        0 |        0
701.48/701.68	c  701s |      22 |  2015968 |  1966122 |     2230   2094 |        0 |        0
703.58/703.70	c  703s |      22 |  2021386 |  1971422 |     2230   2099 |        0 |        0
705.58/705.71	c  705s |      22 |  2026604 |  1976522 |     2230   2103 |        0 |        0
707.58/707.77	c  707s |      22 |  2031826 |  1981522 |     2230   2107 |        0 |        0
709.58/709.77	c  709s |      22 |  2036720 |  1986222 |     2230   2111 |        0 |        0
711.59/711.80	c  711s |      22 |  2041726 |  1991122 |     2230   2115 |        0 |        0
713.68/713.83	c  713s |      22 |  2046868 |  1996122 |     2230   2120 |        0 |        0
715.68/715.84	c  715s |      22 |  2051874 |  2001022 |     2230   2124 |        0 |        0
717.68/717.84	c  717s |      22 |  2056893 |  2005922 |     2230   2128 |        0 |        0
719.68/719.88	c  719s |      22 |  2062829 |  2011722 |     2230   2133 |        0 |        0
721.68/721.89	c  721s |      22 |  2068384 |  2017122 |     2230   2137 |        0 |        0
723.79/723.91	c  723s |      22 |  2073887 |  2022522 |     2230   2142 |        0 |        0
725.78/725.96	c  725s |      22 |  2079556 |  2028022 |     2230   2147 |        0 |        0
727.78/727.98	c  727s |      22 |  2084977 |  2033322 |     2230   2151 |        0 |        0
729.78/729.98	c  729s |      22 |  2090327 |  2038522 |     2230   2155 |        0 |        0
731.87/732.01	c  731s |      22 |  2095557 |  2043622 |     2230   2160 |        0 |        0
733.88/734.04	c  734s |      22 |  2100923 |  2048822 |     2230   2164 |        0 |        0
735.88/736.07	c  736s |      22 |  2106215 |  2054022 |     2230   2169 |        0 |        0
737.87/738.08	c  738s |      22 |  2111383 |  2059022 |     2230   2173 |        0 |        0
739.97/740.10	c  740s |      22 |  2116735 |  2064222 |     2230   2177 |        0 |        0
741.97/742.14	c  742s |      22 |  2122374 |  2069722 |     2230   2182 |        0 |        0
743.97/744.17	c  744s |      22 |  2127878 |  2075022 |     2230   2186 |        0 |        0
745.97/746.18	c  746s |      22 |  2133080 |  2080122 |     2230   2191 |        0 |        0
748.08/748.21	c  748s |      22 |  2138613 |  2085522 |     2230   2195 |        0 |        0
750.09/750.24	c  750s |      22 |  2143799 |  2090622 |     2230   2200 |        0 |        0
752.08/752.26	c  752s |      22 |  2149181 |  2095922 |     2230   2204 |        0 |        0
754.08/754.29	c  754s |      22 |  2154374 |  2101022 |     2230   2208 |        0 |        0
756.18/756.32	c  756s |      22 |  2159975 |  2106522 |     2230   2213 |        0 |        0
758.18/758.33	c  758s |      22 |  2165309 |  2111722 |     2230   2218 |        0 |        0
760.18/760.36	c  760s |      22 |  2170810 |  2117022 |     2230   2222 |        0 |        0
762.18/762.37	c  762s |      22 |  2176009 |  2122122 |     2230   2226 |        0 |        0
764.18/764.39	c  764s |      22 |  2181134 |  2127122 |     2230   2231 |        0 |        0
766.28/766.42	c  766s |      22 |  2186432 |  2132222 |     2230   2235 |        0 |        0
768.28/768.45	c  768s |      22 |  2191593 |  2137322 |     2230   2239 |        0 |        0
770.27/770.47	c  770s |      22 |  2196814 |  2142422 |     2230   2244 |        0 |        0
772.27/772.49	c  772s |      22 |  2202055 |  2147522 |     2230   2248 |        0 |        0
774.38/774.52	c  774s |      22 |  2207258 |  2152422 |     2230   2252 |        0 |        0
776.37/776.53	c  776s |      22 |  2212557 |  2157622 |     2230   2256 |        0 |        0
778.37/778.54	c  778s |      22 |  2217775 |  2162722 |     2230   2261 |        0 |        0
780.37/780.55	c  780s |      22 |  2222941 |  2167822 |     2230   2265 |        0 |        0
782.37/782.56	c  782s |      22 |  2228158 |  2172922 |     2230   2269 |        0 |        0
784.37/784.58	c  784s |      22 |  2233439 |  2177822 |     2230   2274 |        0 |        0
786.38/786.58	c  786s |      22 |  2238637 |  2182822 |     2230   2278 |        0 |        0
788.47/788.61	c  788s |      22 |  2243782 |  2187822 |     2230   2282 |        0 |        0
790.47/790.62	c  790s |      22 |  2248989 |  2192922 |     2230   2286 |        0 |        0
792.47/792.65	c  792s |      22 |  2254027 |  2197822 |     2230   2291 |        0 |        0
794.47/794.69	c  794s |      22 |  2259078 |  2202722 |     2230   2295 |        0 |        0
796.47/796.69	c  796s |      22 |  2264012 |  2207522 |     2230   2299 |        0 |        0
798.58/798.72	c  798s |      22 |  2269649 |  2213022 |     2230   2304 |        0 |        0
800.57/800.74	c  800s |      22 |  2274947 |  2218222 |     2230   2308 |        0 |        0
802.57/802.76	c  802s |      22 |  2280171 |  2223322 |     2230   2312 |        0 |        0
804.57/804.77	c  804s |      22 |  2285532 |  2228522 |     2230   2317 |        0 |        0
806.67/806.80	c  806s |      22 |  2290745 |  2233622 |     2230   2321 |        0 |        0
808.67/808.82	c  808s |      22 |  2295921 |  2238522 |     2453   2325 |        0 |        0
810.67/810.84	c  810s |      22 |  2300977 |  2243422 |     2453   2329 |        0 |        0
812.66/812.85	c  812s |      22 |  2305892 |  2248222 |     2453   2332 |        0 |        0
813.76/813.97	c  813s |      23 |  2308764 |  2251038 |     2453   2334 |        0 |        0
815.76/816.00	c  815s |      23 |  2314242 |  2256238 |     2453   2339 |        0 |        0
817.86/818.01	c  817s |      23 |  2319522 |  2261438 |     2453   2343 |        0 |        0
819.86/820.05	c  820s |      23 |  2324784 |  2266538 |     2453   2346 |        0 |        0
821.86/822.06	c  822s |      23 |  2330560 |  2272138 |     2453   2351 |        0 |        0
823.87/824.09	c  824s |      23 |  2336152 |  2277538 |     2453   2355 |        0 |        0
825.86/826.09	c  826s |      23 |  2341553 |  2282838 |     2453   2359 |        0 |        0
827.96/828.13	c  828s |      23 |  2347069 |  2288138 |     2453   2363 |        0 |        0
829.96/830.17	c  830s |      23 |  2352497 |  2293438 |     2453   2367 |        0 |        0
831.96/832.19	c  832s |      23 |  2357842 |  2298638 |     2453   2371 |        0 |        0
834.06/834.21	c  834s |      23 |  2363176 |  2303838 |     2453   2375 |        0 |        0
836.06/836.21	c  836s |      23 |  2368283 |  2308838 |     2453   2379 |        0 |        0
838.07/838.23	c  838s |      23 |  2373348 |  2313738 |     2453   2383 |        0 |        0
840.06/840.26	c  840s |      23 |  2379092 |  2319338 |     2453   2387 |        0 |        0
842.06/842.26	c  842s |      23 |  2384661 |  2324738 |     2453   2392 |        0 |        0
844.06/844.28	c  844s |      23 |  2390154 |  2330038 |     2453   2396 |        0 |        0
846.16/846.31	c  846s |      23 |  2395557 |  2335338 |     2453   2400 |        0 |        0
848.16/848.32	c  848s |      23 |  2400954 |  2340538 |     2453   2404 |        0 |        0
850.16/850.34	c  850s |      23 |  2406492 |  2345938 |     2453   2408 |        0 |        0
852.16/852.37	c  852s |      23 |  2412034 |  2351338 |     2453   2412 |        0 |        0
854.26/854.40	c  854s |      23 |  2417388 |  2356538 |     2453   2416 |        0 |        0
856.26/856.42	c  856s |      23 |  2422694 |  2361738 |     2453   2420 |        0 |        0
858.25/858.43	c  858s |      23 |  2427982 |  2366938 |     2453   2424 |        0 |        0
860.26/860.45	c  860s |      23 |  2433164 |  2371938 |     2453   2428 |        0 |        0
862.26/862.48	c  862s |      23 |  2438759 |  2377438 |     2453   2432 |        0 |        0
864.35/864.51	c  864s |      23 |  2444250 |  2382738 |     2453   2436 |        0 |        0
866.35/866.53	c  866s |      23 |  2449635 |  2387938 |     2453   2441 |        0 |        0
868.35/868.54	c  868s |      23 |  2455007 |  2393138 |     2453   2445 |        0 |        0
870.35/870.55	c  870s |      23 |  2460246 |  2398238 |     2453   2448 |        0 |        0
872.35/872.56	c  872s |      23 |  2465446 |  2403338 |     2453   2452 |        0 |        0
874.36/874.57	c  874s |      23 |  2470612 |  2408438 |     2453   2456 |        0 |        0
876.46/876.60	c  876s |      23 |  2476205 |  2413938 |     2453   2461 |        0 |        0
878.46/878.63	c  878s |      23 |  2481909 |  2419438 |     2453   2465 |        0 |        0
880.46/880.64	c  880s |      23 |  2487211 |  2424638 |     2453   2469 |        0 |        0
882.45/882.65	c  882s |      23 |  2492766 |  2430038 |     2453   2473 |        0 |        0
884.45/884.66	c  884s |      23 |  2498304 |  2435438 |     2453   2477 |        0 |        0
886.45/886.70	c  886s |      23 |  2503641 |  2440638 |     2453   2481 |        0 |        0
888.55/888.71	c  888s |      23 |  2508985 |  2445838 |     2453   2485 |        0 |        0
890.55/890.74	c  890s |      23 |  2514403 |  2451138 |     2453   2490 |        0 |        0
892.55/892.75	c  892s |      23 |  2519708 |  2456338 |     2453   2494 |        0 |        0
894.55/894.76	c  894s |      23 |  2524793 |  2461338 |     2453   2497 |        0 |        0
896.54/896.78	c  896s |      23 |  2529790 |  2466238 |     2453   2501 |        0 |        0
898.55/898.79	c  898s |      23 |  2535191 |  2471438 |     2453   2505 |        0 |        0
900.54/900.79	c  900s |      23 |  2540325 |  2476438 |     2453   2509 |        0 |        0
902.64/902.83	c  902s |      23 |  2545451 |  2481438 |     2453   2513 |        0 |        0
904.64/904.84	c  904s |      23 |  2551412 |  2487238 |     2453   2518 |        0 |        0
906.63/906.85	c  906s |      23 |  2556927 |  2492638 |     2453   2522 |        0 |        0
908.63/908.86	c  908s |      23 |  2562473 |  2498038 |     2453   2526 |        0 |        0
910.64/910.87	c  910s |      23 |  2567925 |  2503338 |     2453   2530 |        0 |        0
912.73/912.90	c  912s |      23 |  2573305 |  2508538 |     2453   2534 |        0 |        0
914.73/914.90	c  914s |      23 |  2578587 |  2513638 |     2453   2538 |        0 |        0
916.73/916.92	c  916s |      23 |  2583836 |  2518738 |     2453   2542 |        0 |        0
918.73/918.94	c  918s |      23 |  2589082 |  2523738 |     2453   2546 |        0 |        0
920.73/920.96	c  920s |      23 |  2594610 |  2529138 |     2453   2550 |        0 |        0
922.74/922.98	c  922s |      23 |  2599885 |  2534338 |     2453   2554 |        0 |        0
924.84/925.02	c  924s |      23 |  2605066 |  2539438 |     2453   2558 |        0 |        0
926.83/927.04	c  927s |      23 |  2610392 |  2544638 |     2453   2562 |        0 |        0
928.83/929.06	c  929s |      23 |  2615547 |  2549638 |     2453   2566 |        0 |        0
930.83/931.08	c  931s |      23 |  2620798 |  2554738 |     2453   2570 |        0 |        0
932.93/933.10	c  933s |      23 |  2625943 |  2559738 |     2453   2574 |        0 |        0
934.94/935.11	c  935s |      23 |  2630998 |  2564638 |     2453   2577 |        0 |        0
936.93/937.12	c  937s |      23 |  2636224 |  2569738 |     2453   2581 |        0 |        0
938.93/939.12	c  939s |      23 |  2641468 |  2574838 |     2453   2585 |        0 |        0
940.93/941.14	c  941s |      23 |  2646750 |  2579938 |     2453   2589 |        0 |        0
942.93/943.15	c  943s |      23 |  2652052 |  2584938 |     2453   2593 |        0 |        0
944.93/945.17	c  945s |      23 |  2657244 |  2590038 |     2453   2597 |        0 |        0
946.93/947.19	c  947s |      23 |  2662383 |  2594938 |     2453   2601 |        0 |        0
949.02/949.20	c  949s |      23 |  2667326 |  2599738 |     2453   2605 |        0 |        0
951.02/951.22	c  951s |      23 |  2672211 |  2604538 |     2453   2608 |        0 |        0
953.02/953.24	c  953s |      23 |  2677972 |  2610138 |     2453   2613 |        0 |        0
955.02/955.24	c  955s |      23 |  2683466 |  2615438 |     2453   2617 |        0 |        0
957.02/957.25	c  957s |      23 |  2688873 |  2620738 |     2453   2621 |        0 |        0
959.02/959.25	c  959s |      23 |  2694293 |  2625938 |     2453   2625 |        0 |        0
961.01/961.28	c  961s |      23 |  2699621 |  2631138 |     2453   2629 |        0 |        0
963.01/963.29	c  963s |      23 |  2704994 |  2636338 |     2453   2633 |        0 |        0
965.11/965.33	c  965s |      23 |  2710282 |  2641538 |     2453   2637 |        0 |        0
967.11/967.34	c  967s |      23 |  2715464 |  2646638 |     2453   2641 |        0 |        0
969.11/969.35	c  969s |      23 |  2720541 |  2651638 |     2453   2645 |        0 |        0
971.12/971.36	c  971s |      23 |  2725756 |  2656738 |     2453   2649 |        0 |        0
973.11/973.38	c  973s |      23 |  2731025 |  2661938 |     2453   2653 |        0 |        0
975.11/975.39	c  975s |      23 |  2736167 |  2666938 |     2453   2657 |        0 |        0
977.11/977.39	c  977s |      23 |  2741215 |  2671838 |     2453   2660 |        0 |        0
979.21/979.43	c  979s |      23 |  2746433 |  2676938 |     2453   2664 |        0 |        0
981.20/981.46	c  981s |      23 |  2751689 |  2682038 |     2453   2668 |        0 |        0
983.21/983.50	c  983s |      23 |  2756808 |  2687038 |     2453   2672 |        0 |        0
985.30/985.52	c  985s |      23 |  2761838 |  2691938 |     2453   2676 |        0 |        0
987.30/987.55	c  987s |      23 |  2766844 |  2696838 |     2453   2680 |        0 |        0
989.30/989.58	c  989s |      23 |  2772128 |  2702038 |     2453   2684 |        0 |        0
991.30/991.59	c  991s |      23 |  2777397 |  2707138 |     2453   2688 |        0 |        0
993.30/993.59	c  993s |      23 |  2782615 |  2712238 |     2453   2692 |        0 |        0
995.30/995.60	c  995s |      23 |  2787803 |  2717238 |     2453   2696 |        0 |        0
997.39/997.65	c  997s |      23 |  2792942 |  2722238 |     2453   2700 |        0 |        0
999.39/999.65	c  999s |      23 |  2797955 |  2727138 |     2453   2703 |        0 |        0
1001.39/1001.69	c 1001s |      23 |  2803051 |  2732138 |     2453   2707 |        0 |        0
1003.49/1003.71	c 1003s |      23 |  2808266 |  2737238 |     2453   2711 |        0 |        0
1005.49/1005.74	c 1005s |      23 |  2813360 |  2742138 |     2453   2715 |        0 |        0
1007.50/1007.77	c 1007s |      23 |  2818332 |  2746938 |     2453   2719 |        0 |        0
1009.49/1009.79	c 1009s |      23 |  2824294 |  2752838 |     2453   2723 |        0 |        0
1011.59/1011.82	c 1011s |      23 |  2830002 |  2758438 |     2453   2728 |        0 |        0
1013.59/1013.82	c 1013s |      23 |  2835422 |  2763738 |     2453   2732 |        0 |        0
1015.59/1015.85	c 1015s |      23 |  2840797 |  2768938 |     2453   2736 |        0 |        0
1017.58/1017.86	c 1017s |      23 |  2846182 |  2774138 |     2453   2740 |        0 |        0
1019.59/1019.87	c 1019s |      23 |  2851322 |  2779138 |     2453   2744 |        0 |        0
1021.58/1021.87	c 1021s |      23 |  2856773 |  2784338 |     2453   2748 |        0 |        0
1023.68/1023.91	c 1023s |      23 |  2862030 |  2789438 |     2453   2752 |        0 |        0
1025.68/1025.96	c 1025s |      23 |  2867260 |  2794538 |     2453   2756 |        0 |        0
1027.68/1027.98	c 1027s |      23 |  2872421 |  2799538 |     2453   2759 |        0 |        0
1029.78/1030.00	c 1029s |      23 |  2877604 |  2804538 |     2453   2763 |        0 |        0
1031.78/1032.01	c 1031s |      23 |  2882672 |  2809438 |     2453   2767 |        0 |        0
1033.78/1034.03	c 1034s |      23 |  2887585 |  2814238 |     2453   2771 |        0 |        0
1035.78/1036.06	c 1036s |      23 |  2892652 |  2819138 |     2453   2775 |        0 |        0
1037.77/1038.08	c 1038s |      23 |  2897841 |  2824238 |     2453   2779 |        0 |        0
1039.77/1040.09	c 1040s |      23 |  2903151 |  2829438 |     2453   2783 |        0 |        0
1041.87/1042.12	c 1042s |      23 |  2908387 |  2834538 |     2453   2786 |        0 |        0
1043.87/1044.13	c 1044s |      23 |  2913314 |  2839338 |     2453   2790 |        0 |        0
1045.88/1046.13	c 1046s |      23 |  2918288 |  2844238 |     2453   2794 |        0 |        0
1047.87/1048.14	c 1048s |      23 |  2923281 |  2849138 |     2453   2798 |        0 |        0
1049.87/1050.16	c 1050s |      23 |  2928170 |  2853838 |     2453   2801 |        0 |        0
1051.87/1052.18	c 1052s |      23 |  2933480 |  2858938 |     2453   2805 |        0 |        0
1053.87/1054.18	c 1054s |      23 |  2938745 |  2864038 |     2453   2809 |        0 |        0
1055.97/1056.21	c 1056s |      23 |  2944005 |  2869138 |     2453   2813 |        0 |        0
1057.97/1058.24	c 1058s |      23 |  2949254 |  2874138 |     2453   2817 |        0 |        0
1059.96/1060.24	c 1060s |      23 |  2954171 |  2878938 |     2453   2821 |        0 |        0
1061.96/1062.24	c 1062s |      23 |  2959209 |  2883838 |     2453   2825 |        0 |        0
1063.96/1064.28	c 1064s |      23 |  2964206 |  2888738 |     2453   2828 |        0 |        0
1065.96/1066.28	c 1066s |      23 |  2969174 |  2893538 |     2453   2832 |        0 |        0
1068.06/1068.31	c 1068s |      23 |  2973933 |  2898238 |     2453   2836 |        0 |        0
1070.07/1070.34	c 1070s |      23 |  2978892 |  2903038 |     2453   2840 |        0 |        0
1072.07/1072.35	c 1072s |      23 |  2983787 |  2907638 |     2453   2843 |        0 |        0
1074.07/1074.39	c 1074s |      23 |  2989056 |  2912738 |     2453   2847 |        0 |        0
1076.17/1076.41	c 1076s |      23 |  2994292 |  2917738 |     2453   2851 |        0 |        0
1078.16/1078.42	c 1078s |      23 |  2999370 |  2922738 |     2453   2855 |        0 |        0
1080.16/1080.43	c 1080s |      23 |  3004340 |  2927638 |     2453   2859 |        0 |        0
1082.17/1082.43	c 1082s |      23 |  3009361 |  2932538 |     2453   2862 |        0 |        0
1084.16/1084.46	c 1084s |      23 |  3014242 |  2937338 |     2453   2866 |        0 |        0
1086.16/1086.46	c 1086s |      23 |  3019197 |  2942238 |     2453   2870 |        0 |        0
1088.15/1088.48	c 1088s |      23 |  3024324 |  2947238 |     2453   2874 |        0 |        0
1090.15/1090.50	c 1090s |      23 |  3029376 |  2952138 |     2453   2878 |        0 |        0
1092.26/1092.50	c 1092s |      23 |  3034229 |  2956838 |     2453   2881 |        0 |        0
1094.26/1094.54	c 1094s |      23 |  3039016 |  2961538 |     2453   2885 |        0 |        0
1096.25/1096.55	c 1096s |      23 |  3044222 |  2966638 |     2453   2889 |        0 |        0
1098.25/1098.57	c 1098s |      23 |  3049463 |  2971738 |     2453   2893 |        0 |        0
1100.25/1100.59	c 1100s |      23 |  3054897 |  2976938 |     2453   2897 |        0 |        0
1102.35/1102.62	c 1102s |      23 |  3059978 |  2981838 |     2453   2901 |        0 |        0
1104.35/1104.65	c 1104s |      23 |  3065257 |  2986838 |     2453   2904 |        0 |        0
1106.35/1106.66	c 1106s |      23 |  3070354 |  2991738 |     2453   2908 |        0 |        0
1108.34/1108.68	c 1108s |      23 |  3075255 |  2996438 |     2453   2912 |        0 |        0
1110.34/1110.68	c 1110s |      23 |  3080507 |  3001438 |     2453   2916 |        0 |        0
1112.44/1112.73	c 1112s |      23 |  3085518 |  3006238 |     2453   2920 |        0 |        0
1114.44/1114.76	c 1114s |      23 |  3090529 |  3011138 |     2453   2923 |        0 |        0
1116.44/1116.77	c 1116s |      23 |  3095525 |  3015938 |     2453   2927 |        0 |        0
1118.55/1118.81	c 1118s |      23 |  3100494 |  3020738 |     2453   2931 |        0 |        0
1120.54/1120.83	c 1120s |      23 |  3105492 |  3025638 |     2453   2935 |        0 |        0
1122.54/1122.84	c 1122s |      23 |  3110550 |  3030538 |     2453   2938 |        0 |        0
1124.54/1124.87	c 1124s |      23 |  3115646 |  3035438 |     2453   2942 |        0 |        0
1126.63/1126.90	c 1126s |      23 |  3120545 |  3040238 |     2453   2946 |        0 |        0
1128.63/1128.91	c 1128s |      23 |  3125518 |  3045138 |     2453   2950 |        0 |        0
1130.64/1130.94	c 1130s |      23 |  3130481 |  3049938 |     2453   2953 |        0 |        0
1132.63/1132.98	c 1132s |      23 |  3135435 |  3054738 |     2453   2957 |        0 |        0
1134.63/1134.99	c 1134s |      23 |  3140344 |  3059538 |     2453   2961 |        0 |        0
1136.73/1137.02	c 1137s |      23 |  3145207 |  3064238 |     2453   2964 |        0 |        0
1138.72/1139.04	c 1139s |      23 |  3150037 |  3068738 |     2453   2968 |        0 |        0
1140.72/1141.07	c 1141s |      23 |  3155505 |  3073938 |     2453   2972 |        0 |        0
1142.73/1143.09	c 1143s |      23 |  3161465 |  3079738 |     2453   2976 |        0 |        0
1144.83/1145.12	c 1145s |      23 |  3167103 |  3085238 |     2453   2981 |        0 |        0
1146.82/1147.15	c 1147s |      23 |  3172781 |  3090738 |     2453   2985 |        0 |        0
1148.82/1149.18	c 1149s |      23 |  3178400 |  3096238 |     2453   2989 |        0 |        0
1150.92/1151.21	c 1151s |      23 |  3183925 |  3101638 |     2453   2993 |        0 |        0
1152.92/1153.23	c 1153s |      23 |  3189595 |  3107138 |     2453   2998 |        0 |        0
1154.92/1155.24	c 1155s |      23 |  3195035 |  3112438 |     2453   3002 |        0 |        0
1156.92/1157.28	c 1157s |      23 |  3200445 |  3117638 |     2453   3006 |        0 |        0
1159.01/1159.30	c 1159s |      23 |  3205886 |  3122938 |     2453   3010 |        0 |        0
1161.01/1161.33	c 1161s |      23 |  3211378 |  3128238 |     2453   3014 |        0 |        0
1163.01/1163.35	c 1163s |      23 |  3216641 |  3133338 |     2453   3018 |        0 |        0
1165.01/1165.37	c 1165s |      23 |  3221858 |  3138338 |     2453   3022 |        0 |        0
1167.01/1167.38	c 1167s |      23 |  3226951 |  3143338 |     2453   3026 |        0 |        0
1169.02/1169.40	c 1169s |      23 |  3232451 |  3148738 |     2453   3030 |        0 |        0
1171.12/1171.42	c 1171s |      23 |  3237793 |  3153938 |     2453   3034 |        0 |        0
1173.12/1173.43	c 1173s |      23 |  3243022 |  3159038 |     2453   3038 |        0 |        0
1175.12/1175.45	c 1175s |      23 |  3248096 |  3163938 |     2453   3042 |        0 |        0
1177.11/1177.48	c 1177s |      23 |  3253462 |  3169138 |     2453   3046 |        0 |        0
1179.11/1179.49	c 1179s |      23 |  3258867 |  3174438 |     2453   3050 |        0 |        0
1181.22/1181.51	c 1181s |      23 |  3264178 |  3179638 |     2453   3054 |        0 |        0
1183.21/1183.54	c 1183s |      23 |  3269455 |  3184738 |     2453   3058 |        0 |        0
1185.21/1185.57	c 1185s |      23 |  3274683 |  3189838 |     2453   3062 |        0 |        0
1187.31/1187.60	c 1187s |      23 |  3279753 |  3194838 |     2453   3066 |        0 |        0
1189.31/1189.63	c 1189s |      23 |  3284940 |  3199938 |     2453   3070 |        0 |        0
1191.31/1191.67	c 1191s |      23 |  3289906 |  3204838 |     2453   3073 |        0 |        0
1193.41/1193.70	c 1193s |      23 |  3295424 |  3210138 |     2453   3077 |        0 |        0
1195.41/1195.75	c 1195s |      23 |  3300892 |  3215438 |     2453   3082 |        0 |        0
1197.50/1197.80	c 1197s |      23 |  3306221 |  3220638 |     2453   3086 |        0 |        0
1199.50/1199.83	c 1199s |      23 |  3311647 |  3225838 |     2453   3090 |        0 |        0
1201.50/1201.86	c 1201s |      23 |  3316746 |  3230838 |     2453   3093 |        0 |        0
1203.60/1203.90	c 1203s |      23 |  3321910 |  3235838 |     2453   3097 |        0 |        0
1205.60/1205.90	c 1205s |      23 |  3327056 |  3240838 |     2453   3101 |        0 |        0
1207.60/1207.90	c 1207s |      23 |  3332101 |  3245738 |     2453   3105 |        0 |        0
1209.59/1209.92	c 1209s |      23 |  3337306 |  3250738 |     2453   3109 |        0 |        0
1211.59/1211.92	c 1211s |      23 |  3342093 |  3255438 |     2453   3113 |        0 |        0
1213.59/1213.92	c 1213s |      23 |  3347611 |  3260838 |     2453   3117 |        0 |        0
1215.59/1215.93	c 1215s |      23 |  3353073 |  3266238 |     2453   3121 |        0 |        0
1217.59/1217.94	c 1217s |      23 |  3358478 |  3271538 |     2453   3125 |        0 |        0
1219.59/1219.95	c 1219s |      23 |  3363673 |  3276638 |     2453   3129 |        0 |        0
1221.59/1221.97	c 1221s |      23 |  3369006 |  3281838 |     2453   3133 |        0 |        0
1223.59/1223.98	c 1223s |      23 |  3374198 |  3286938 |     2453   3137 |        0 |        0
1225.69/1226.01	c 1225s |      23 |  3379609 |  3292238 |     2453   3141 |        0 |        0
1227.68/1228.02	c 1227s |      23 |  3384792 |  3297338 |     2453   3145 |        0 |        0
1229.68/1230.02	c 1230s |      23 |  3390002 |  3302438 |     2453   3149 |        0 |        0
1231.69/1232.05	c 1232s |      23 |  3395322 |  3307638 |     2453   3153 |        0 |        0
1233.68/1234.07	c 1234s |      23 |  3400456 |  3312638 |     2453   3157 |        0 |        0
1235.68/1236.09	c 1236s |      23 |  3405463 |  3317538 |     2453   3161 |        0 |        0
1237.78/1238.11	c 1238s |      23 |  3410744 |  3322738 |     2453   3165 |        0 |        0
1239.78/1240.13	c 1240s |      23 |  3415741 |  3327638 |     2453   3168 |        0 |        0
1241.78/1242.17	c 1242s |      23 |  3420823 |  3332538 |     2453   3172 |        0 |        0
1243.78/1244.19	c 1244s |      23 |  3425901 |  3337538 |     2453   3176 |        0 |        0
1245.88/1246.21	c 1246s |      23 |  3430817 |  3342338 |     2453   3180 |        0 |        0
1247.88/1248.24	c 1248s |      23 |  3435817 |  3347238 |     2453   3184 |        0 |        0
1249.88/1250.25	c 1250s |      23 |  3440955 |  3352238 |     2453   3188 |        0 |        0
1251.87/1252.26	c 1252s |      23 |  3445938 |  3357138 |     2699   3191 |        0 |        0
1253.98/1254.30	c 1254s |      23 |  3450953 |  3362038 |     2699   3194 |        0 |        0
1255.98/1256.33	c 1256s |      23 |  3455828 |  3366838 |     2699   3198 |        0 |        0
1257.97/1258.35	c 1258s |      23 |  3460764 |  3371638 |     2699   3201 |        0 |        0
1259.97/1260.38	c 1260s |      23 |  3465542 |  3376338 |     2699   3205 |        0 |        0
1260.07/1260.49	c 1260s |      24 |  3465884 |  3376662 |     2699   3205 |        0 |        0
1262.17/1262.51	c 1262s |      24 |  3471469 |  3381962 |     2699   3209 |        0 |        0
1264.17/1264.53	c 1264s |      24 |  3476732 |  3387162 |     2699   3212 |        0 |        0
1266.17/1266.56	c 1266s |      24 |  3481898 |  3392162 |     2699   3216 |        0 |        0
1268.17/1268.58	c 1268s |      24 |  3486907 |  3397062 |     2699   3219 |        0 |        0
1270.17/1270.60	c 1270s |      24 |  3492180 |  3402262 |     2699   3223 |        0 |        0
1272.26/1272.62	c 1272s |      24 |  3497256 |  3407262 |     2699   3226 |        0 |        0
1274.26/1274.63	c 1274s |      24 |  3502223 |  3412162 |     2699   3230 |        0 |        0
1276.26/1276.66	c 1276s |      24 |  3507194 |  3417062 |     2699   3233 |        0 |        0
1278.26/1278.67	c 1278s |      24 |  3511974 |  3421762 |     2699   3237 |        0 |        0
1280.26/1280.69	c 1280s |      24 |  3516934 |  3426562 |     2699   3240 |        0 |        0
1282.36/1282.71	c 1282s |      24 |  3521825 |  3431362 |     2699   3243 |        0 |        0
1284.35/1284.74	c 1284s |      24 |  3526700 |  3436162 |     2699   3247 |        0 |        0
1286.35/1286.77	c 1286s |      24 |  3531571 |  3440862 |     2699   3250 |        0 |        0
1288.45/1288.81	c 1288s |      24 |  3536515 |  3445662 |     2699   3254 |        0 |        0
1290.45/1290.84	c 1290s |      24 |  3541458 |  3450462 |     2699   3257 |        0 |        0
1292.45/1292.87	c 1292s |      24 |  3546266 |  3455162 |     2699   3260 |        0 |        0
1294.55/1294.91	c 1294s |      24 |  3551110 |  3459862 |     2699   3264 |        0 |        0
1296.55/1296.91	c 1296s |      24 |  3555846 |  3464462 |     2699   3267 |        0 |        0
1298.54/1298.94	c 1298s |      24 |  3561070 |  3469562 |     2699   3270 |        0 |        0
1300.54/1300.96	c 1300s |      24 |  3566612 |  3474862 |     2699   3274 |        0 |        0
1302.54/1302.97	c 1302s |      24 |  3571911 |  3480062 |     2699   3278 |        0 |        0
1304.54/1304.98	c 1304s |      24 |  3577173 |  3485162 |     2699   3282 |        0 |        0
1306.55/1306.98	c 1306s |      24 |  3582378 |  3490262 |     2699   3285 |        0 |        0
1308.54/1308.99	c 1308s |      24 |  3587530 |  3495262 |     2699   3289 |        0 |        0
1310.64/1311.00	c 1310s |      24 |  3592713 |  3500262 |     2699   3292 |        0 |        0
1312.64/1313.01	c 1312s |      24 |  3597737 |  3505162 |     2699   3296 |        0 |        0
1314.64/1315.03	c 1315s |      24 |  3602904 |  3510162 |     2699   3299 |        0 |        0
1316.63/1317.04	c 1317s |      24 |  3607687 |  3514762 |     2699   3302 |        0 |        0
1318.64/1319.08	c 1319s |      24 |  3612886 |  3519862 |     2699   3306 |        0 |        0
1320.74/1321.12	c 1321s |      24 |  3617903 |  3524762 |     2699   3310 |        0 |        0
1322.73/1323.12	c 1323s |      24 |  3622852 |  3529462 |     2699   3313 |        0 |        0
1324.73/1325.14	c 1325s |      24 |  3627718 |  3534262 |     2699   3316 |        0 |        0
1326.73/1327.15	c 1327s |      24 |  3632409 |  3538862 |     2699   3319 |        0 |        0
1328.73/1329.18	c 1329s |      24 |  3637525 |  3543862 |     2699   3323 |        0 |        0
1330.83/1331.22	c 1331s |      24 |  3642696 |  3548862 |     2699   3327 |        0 |        0
1332.83/1333.24	c 1333s |      24 |  3647661 |  3553662 |     2699   3330 |        0 |        0
1334.83/1335.28	c 1335s |      24 |  3652616 |  3558462 |     2699   3333 |        0 |        0
1336.92/1337.33	c 1337s |      24 |  3657217 |  3562962 |     2699   3337 |        0 |        0
1338.92/1339.34	c 1339s |      24 |  3662124 |  3567762 |     2699   3340 |        0 |        0
1340.92/1341.36	c 1341s |      24 |  3667097 |  3572662 |     2699   3343 |        0 |        0
1342.92/1343.36	c 1343s |      24 |  3671882 |  3577362 |     2699   3347 |        0 |        0
1344.93/1345.40	c 1345s |      24 |  3676795 |  3582162 |     2699   3350 |        0 |        0
1347.02/1347.41	c 1347s |      24 |  3681639 |  3586862 |     2699   3353 |        0 |        0
1349.02/1349.42	c 1349s |      24 |  3686507 |  3591562 |     2699   3357 |        0 |        0
1351.02/1351.44	c 1351s |      24 |  3691396 |  3596162 |     2699   3360 |        0 |        0
1353.02/1353.45	c 1353s |      24 |  3696112 |  3600662 |     2699   3363 |        0 |        0
1355.02/1355.46	c 1355s |      24 |  3701082 |  3605262 |     2699   3366 |        0 |        0
1357.02/1357.47	c 1357s |      24 |  3706045 |  3610162 |     2699   3370 |        0 |        0
1359.12/1359.51	c 1359s |      24 |  3710990 |  3614962 |     2699   3373 |        0 |        0
1361.12/1361.54	c 1361s |      24 |  3715916 |  3619762 |     2699   3377 |        0 |        0
1363.12/1363.58	c 1363s |      24 |  3720700 |  3624462 |     2699   3380 |        0 |        0
1365.12/1365.58	c 1365s |      24 |  3725372 |  3628962 |     2699   3383 |        0 |        0
1367.21/1367.61	c 1367s |      24 |  3730161 |  3633662 |     2699   3387 |        0 |        0
1369.22/1369.62	c 1369s |      24 |  3735039 |  3638362 |     2699   3390 |        0 |        0
1371.21/1371.63	c 1371s |      24 |  3739752 |  3642962 |     2699   3393 |        0 |        0
1373.21/1373.66	c 1373s |      24 |  3744574 |  3647662 |     2699   3396 |        0 |        0
1375.31/1375.70	c 1375s |      24 |  3749391 |  3652362 |     2699   3400 |        0 |        0
1377.32/1377.73	c 1377s |      24 |  3754019 |  3656862 |     2699   3403 |        0 |        0
1379.32/1379.73	c 1379s |      24 |  3759251 |  3661962 |     2699   3407 |        0 |        0
1381.32/1381.74	c 1381s |      24 |  3764720 |  3667362 |     2699   3410 |        0 |        0
1383.32/1383.76	c 1383s |      24 |  3770020 |  3672562 |     2699   3414 |        0 |        0
1385.32/1385.76	c 1385s |      24 |  3775307 |  3677762 |     2699   3418 |        0 |        0
1387.31/1387.79	c 1387s |      24 |  3780707 |  3683062 |     2699   3421 |        0 |        0
1389.31/1389.79	c 1389s |      24 |  3785866 |  3688062 |     2699   3425 |        0 |        0
1391.41/1391.80	c 1391s |      24 |  3791049 |  3693162 |     2699   3429 |        0 |        0
1393.42/1393.83	c 1393s |      24 |  3796258 |  3698262 |     2699   3432 |        0 |        0
1395.41/1395.85	c 1395s |      24 |  3801767 |  3703562 |     2699   3436 |        0 |        0
1397.41/1397.87	c 1397s |      24 |  3807004 |  3708662 |     2699   3440 |        0 |        0
1399.51/1399.91	c 1399s |      24 |  3812201 |  3713762 |     2699   3443 |        0 |        0
1401.51/1401.93	c 1401s |      24 |  3817232 |  3718662 |     2699   3447 |        0 |        0
1403.51/1403.94	c 1403s |      24 |  3822400 |  3723762 |     2699   3450 |        0 |        0
1405.52/1405.97	c 1405s |      24 |  3827466 |  3728762 |     2699   3454 |        0 |        0
1407.61/1408.00	c 1407s |      24 |  3832503 |  3733662 |     2699   3457 |        0 |        0
1409.60/1410.02	c 1409s |      24 |  3837695 |  3738662 |     2699   3461 |        0 |        0
1411.60/1412.07	c 1412s |      24 |  3843111 |  3743962 |     2699   3465 |        0 |        0
1413.60/1414.07	c 1414s |      24 |  3848531 |  3749262 |     2699   3468 |        0 |        0
1415.60/1416.09	c 1416s |      24 |  3853796 |  3754362 |     2699   3472 |        0 |        0
1417.70/1418.11	c 1418s |      24 |  3858880 |  3759362 |     2699   3475 |        0 |        0
1419.71/1420.15	c 1420s |      24 |  3864112 |  3764462 |     2699   3479 |        0 |        0
1421.70/1422.16	c 1422s |      24 |  3869166 |  3769362 |     2699   3482 |        0 |        0
1423.80/1424.20	c 1424s |      24 |  3874288 |  3774362 |     2699   3486 |        0 |        0
1425.80/1426.23	c 1426s |      24 |  3879440 |  3779362 |     2699   3490 |        0 |        0
1427.79/1428.24	c 1428s |      24 |  3884348 |  3784162 |     2699   3493 |        0 |        0
1429.79/1430.25	c 1430s |      24 |  3889141 |  3788862 |     2699   3496 |        0 |        0
1431.80/1432.27	c 1432s |      24 |  3894287 |  3793862 |     2699   3500 |        0 |        0
1433.79/1434.29	c 1434s |      24 |  3899284 |  3798762 |     2699   3503 |        0 |        0
1435.89/1436.30	c 1436s |      24 |  3904115 |  3803462 |     2699   3507 |        0 |        0
1437.89/1438.33	c 1438s |      24 |  3909029 |  3808262 |     2699   3510 |        0 |        0
1439.89/1440.39	c 1440s |      24 |  3914124 |  3813262 |     2699   3514 |        0 |        0
1441.99/1442.42	c 1442s |      24 |  3919015 |  3818062 |     2699   3517 |        0 |        0
1443.99/1444.45	c 1444s |      24 |  3924035 |  3822962 |     2699   3520 |        0 |        0
1445.99/1446.48	c 1446s |      24 |  3929427 |  3828162 |     2699   3524 |        0 |        0
1448.08/1448.50	c 1448s |      24 |  3934528 |  3833062 |     2699   3528 |        0 |        0
1450.08/1450.51	c 1450s |      24 |  3939759 |  3838162 |     2699   3531 |        0 |        0
1452.08/1452.53	c 1452s |      24 |  3944760 |  3842962 |     2699   3535 |        0 |        0
1454.08/1454.54	c 1454s |      24 |  3949603 |  3847662 |     2699   3538 |        0 |        0
1456.09/1456.55	c 1456s |      24 |  3954536 |  3852462 |     2699   3541 |        0 |        0
1458.08/1458.59	c 1458s |      24 |  3959463 |  3857262 |     2699   3545 |        0 |        0
1460.18/1460.63	c 1460s |      24 |  3964286 |  3861962 |     2699   3548 |        0 |        0
1462.18/1462.67	c 1462s |      24 |  3969205 |  3866762 |     2699   3551 |        0 |        0
1464.18/1464.68	c 1464s |      24 |  3974398 |  3871862 |     2699   3555 |        0 |        0
1466.28/1466.71	c 1466s |      24 |  3979533 |  3876862 |     2699   3559 |        0 |        0
1468.27/1468.75	c 1468s |      24 |  3984533 |  3881662 |     2699   3562 |        0 |        0
1470.28/1470.77	c 1470s |      24 |  3989598 |  3886662 |     2699   3565 |        0 |        0
1472.27/1472.78	c 1472s |      24 |  3994715 |  3891662 |     2699   3569 |        0 |        0
1474.27/1474.79	c 1474s |      24 |  3999525 |  3896362 |     2699   3572 |        0 |        0
1476.37/1476.81	c 1476s |      24 |  4004370 |  3901162 |     2699   3576 |        0 |        0
1478.37/1478.83	c 1478s |      24 |  4009216 |  3905862 |     2699   3579 |        0 |        0
1480.37/1480.84	c 1480s |      24 |  4014103 |  3910662 |     2699   3582 |        0 |        0
1482.37/1482.85	c 1482s |      24 |  4018842 |  3915262 |     2699   3586 |        0 |        0
1484.37/1484.87	c 1484s |      24 |  4023764 |  3920062 |     2699   3589 |        0 |        0
1486.37/1486.88	c 1486s |      24 |  4028586 |  3924762 |     2699   3592 |        0 |        0
1488.36/1488.89	c 1488s |      24 |  4033528 |  3929562 |     2699   3596 |        0 |        0
1490.46/1490.90	c 1490s |      24 |  4038339 |  3934262 |     2699   3599 |        0 |        0
1492.46/1492.91	c 1492s |      24 |  4043026 |  3938862 |     2699   3602 |        0 |        0
1494.47/1494.91	c 1494s |      24 |  4047791 |  3943562 |     2699   3606 |        0 |        0
1496.46/1496.94	c 1496s |      24 |  4052577 |  3948262 |     2699   3609 |        0 |        0
1498.46/1498.95	c 1498s |      24 |  4057441 |  3952962 |     2699   3612 |        0 |        0
1500.46/1500.97	c 1500s |      24 |  4062922 |  3958262 |     2699   3616 |        0 |        0
1502.46/1502.97	c 1502s |      24 |  4068271 |  3963362 |     2699   3620 |        0 |        0
1504.56/1505.00	c 1504s |      24 |  4073460 |  3968362 |     2699   3623 |        0 |        0
1506.46/1507.00	c 1506s |      24 |  4078459 |  3973162 |     2699   3627 |        0 |        0
1508.55/1509.03	c 1509s |      24 |  4083285 |  3977862 |     2699   3630 |        0 |        0
1510.55/1511.05	c 1511s |      24 |  4088188 |  3982662 |     2699   3633 |        0 |        0
1512.55/1513.06	c 1513s |      24 |  4093156 |  3987562 |     2699   3637 |        0 |        0
1514.55/1515.08	c 1515s |      24 |  4098075 |  3992362 |     2699   3640 |        0 |        0
1516.65/1517.11	c 1517s |      24 |  4102898 |  3997062 |     2699   3644 |        0 |        0
1518.66/1519.13	c 1519s |      24 |  4107996 |  4001962 |     2699   3647 |        0 |        0
1520.65/1521.15	c 1521s |      24 |  4112895 |  4006762 |     2699   3650 |        0 |        0
1522.65/1523.19	c 1523s |      24 |  4117684 |  4011462 |     2699   3654 |        0 |        0
1524.75/1525.20	c 1525s |      24 |  4122564 |  4016262 |     2699   3657 |        0 |        0
1526.75/1527.23	c 1527s |      24 |  4127474 |  4021062 |     2699   3661 |        0 |        0
1528.75/1529.26	c 1529s |      24 |  4132391 |  4025862 |     2699   3664 |        0 |        0
1530.75/1531.27	c 1531s |      24 |  4137166 |  4030462 |     2699   3667 |        0 |        0
1532.86/1533.31	c 1533s |      24 |  4141896 |  4035062 |     2699   3671 |        0 |        0
1534.85/1535.32	c 1535s |      24 |  4146861 |  4039962 |     2699   3674 |        0 |        0
1536.85/1537.33	c 1537s |      24 |  4151888 |  4044862 |     2699   3677 |        0 |        0
1538.85/1539.34	c 1539s |      24 |  4156638 |  4049462 |     2699   3681 |        0 |        0
1540.85/1541.36	c 1541s |      24 |  4161459 |  4054162 |     2699   3684 |        0 |        0
1542.86/1543.37	c 1543s |      24 |  4166267 |  4058862 |     2699   3687 |        0 |        0
1544.95/1545.40	c 1545s |      24 |  4171080 |  4063562 |     2699   3691 |        0 |        0
1546.95/1547.42	c 1547s |      24 |  4175894 |  4068162 |     2699   3694 |        0 |        0
1548.95/1549.43	c 1549s |      24 |  4180449 |  4072562 |     2699   3697 |        0 |        0
1550.95/1551.45	c 1551s |      24 |  4185260 |  4077162 |     2699   3700 |        0 |        0
1552.95/1553.47	c 1553s |      24 |  4190437 |  4082162 |     2699   3704 |        0 |        0
1554.96/1555.48	c 1555s |      24 |  4195455 |  4087062 |     2699   3707 |        0 |        0
1556.95/1557.49	c 1557s |      24 |  4200512 |  4091962 |     2699   3711 |        0 |        0
1558.95/1559.49	c 1559s |      24 |  4205500 |  4096862 |     2699   3714 |        0 |        0
1561.05/1561.52	c 1561s |      24 |  4210555 |  4101762 |     2699   3718 |        0 |        0
1563.05/1563.54	c 1563s |      24 |  4215529 |  4106562 |     2699   3721 |        0 |        0
1565.05/1565.55	c 1565s |      24 |  4220422 |  4111362 |     2699   3725 |        0 |        0
1567.05/1567.57	c 1567s |      24 |  4225295 |  4116162 |     2699   3728 |        0 |        0
1569.05/1569.59	c 1569s |      24 |  4230302 |  4121062 |     2699   3731 |        0 |        0
1571.15/1571.61	c 1571s |      24 |  4235042 |  4125662 |     2699   3735 |        0 |        0
1573.15/1573.61	c 1573s |      24 |  4239874 |  4130362 |     2699   3738 |        0 |        0
1575.15/1575.64	c 1575s |      24 |  4244907 |  4135262 |     2699   3741 |        0 |        0
1577.14/1577.65	c 1577s |      24 |  4249646 |  4139862 |     2699   3745 |        0 |        0
1579.15/1579.66	c 1579s |      24 |  4254375 |  4144462 |     2699   3748 |        0 |        0
1581.24/1581.70	c 1581s |      24 |  4259084 |  4149062 |     2699   3751 |        0 |        0
1583.24/1583.73	c 1583s |      24 |  4263924 |  4153762 |     2699   3755 |        0 |        0
1585.24/1585.77	c 1585s |      24 |  4268851 |  4158562 |     2699   3758 |        0 |        0
1587.34/1587.80	c 1587s |      24 |  4273634 |  4163262 |     2699   3761 |        0 |        0
1589.34/1589.81	c 1589s |      24 |  4278231 |  4167762 |     2699   3764 |        0 |        0
1591.35/1591.84	c 1591s |      24 |  4282912 |  4172362 |     2699   3768 |        0 |        0
1593.34/1593.86	c 1593s |      24 |  4287528 |  4176862 |     2699   3771 |        0 |        0
1595.34/1595.87	c 1595s |      24 |  4292374 |  4181562 |     2699   3774 |        0 |        0
1597.44/1597.90	c 1597s |      24 |  4297111 |  4186162 |     2699   3777 |        0 |        0
1599.44/1599.93	c 1599s |      24 |  4301775 |  4190762 |     2699   3781 |        0 |        0
1601.44/1601.93	c 1601s |      24 |  4306356 |  4195262 |     2699   3784 |        0 |        0
1603.45/1603.95	c 1603s |      24 |  4310994 |  4199762 |     2699   3787 |        0 |        0
1605.44/1605.98	c 1605s |      24 |  4315531 |  4204162 |     2699   3790 |        0 |        0
1607.44/1607.99	c 1607s |      24 |  4320761 |  4209262 |     2699   3794 |        0 |        0
1609.44/1610.00	c 1609s |      24 |  4325939 |  4214362 |     2699   3797 |        0 |        0
1611.54/1612.01	c 1611s |      24 |  4331244 |  4219562 |     2699   3801 |        0 |        0
1613.54/1614.03	c 1614s |      24 |  4336265 |  4224462 |     2699   3805 |        0 |        0
1615.54/1616.04	c 1616s |      24 |  4341265 |  4229362 |     2699   3808 |        0 |        0
1617.54/1618.08	c 1618s |      24 |  4346613 |  4234562 |     2699   3812 |        0 |        0
1619.64/1620.10	c 1620s |      24 |  4351715 |  4239562 |     2699   3815 |        0 |        0
1621.64/1622.14	c 1622s |      24 |  4356757 |  4244362 |     2699   3819 |        0 |        0
1623.64/1624.15	c 1624s |      24 |  4361745 |  4249262 |     2699   3822 |        0 |        0
1625.63/1626.16	c 1626s |      24 |  4366565 |  4253962 |     2699   3825 |        0 |        0
1627.64/1628.18	c 1628s |      24 |  4371602 |  4258862 |     2699   3829 |        0 |        0
1629.63/1630.19	c 1630s |      24 |  4376587 |  4263662 |     2699   3832 |        0 |        0
1631.73/1632.20	c 1632s |      24 |  4381460 |  4268362 |     2699   3836 |        0 |        0
1633.73/1634.23	c 1634s |      24 |  4386329 |  4273162 |     2699   3839 |        0 |        0
1635.73/1636.25	c 1636s |      24 |  4391339 |  4278062 |     2699   3842 |        0 |        0
1637.73/1638.27	c 1638s |      24 |  4396471 |  4283062 |     2699   3846 |        0 |        0
1639.74/1640.28	c 1640s |      24 |  4401338 |  4287862 |     2699   3849 |        0 |        0
1641.73/1642.29	c 1642s |      24 |  4406206 |  4292562 |     2699   3853 |        0 |        0
1643.73/1644.29	c 1644s |      24 |  4411115 |  4297262 |     2699   3856 |        0 |        0
1645.83/1646.31	c 1646s |      24 |  4416011 |  4302062 |     2699   3859 |        0 |        0
1647.83/1648.33	c 1648s |      24 |  4420857 |  4306762 |     2699   3863 |        0 |        0
1649.83/1650.33	c 1650s |      24 |  4425690 |  4311462 |     2699   3866 |        0 |        0
1651.84/1652.33	c 1652s |      24 |  4430269 |  4315862 |     2699   3869 |        0 |        0
1653.83/1654.37	c 1654s |      24 |  4435303 |  4320762 |     2699   3873 |        0 |        0
1655.83/1656.39	c 1656s |      24 |  4440317 |  4325662 |     2699   3876 |        0 |        0
1657.93/1658.46	c 1658s |      24 |  4445312 |  4330562 |     2699   3880 |        0 |        0
1659.93/1660.48	c 1660s |      24 |  4450183 |  4335362 |     2699   3883 |        0 |        0
1661.93/1662.49	c 1662s |      24 |  4455090 |  4340162 |     2699   3886 |        0 |        0
1664.03/1664.50	c 1664s |      24 |  4459925 |  4344862 |     2699   3890 |        0 |        0
1666.03/1666.50	c 1666s |      24 |  4464614 |  4349462 |     2699   3893 |        0 |        0
1668.03/1668.54	c 1668s |      24 |  4469533 |  4354262 |     2699   3896 |        0 |        0
1670.03/1670.58	c 1670s |      24 |  4474241 |  4358862 |     2699   3900 |        0 |        0
1672.13/1672.61	c 1672s |      24 |  4479478 |  4363862 |     2699   3903 |        0 |        0
1674.13/1674.62	c 1674s |      24 |  4484474 |  4368762 |     2699   3907 |        0 |        0
1676.13/1676.63	c 1676s |      24 |  4489514 |  4373662 |     2699   3910 |        0 |        0
1678.13/1678.66	c 1678s |      24 |  4494399 |  4378462 |     2699   3913 |        0 |        0
1680.13/1680.67	c 1680s |      24 |  4499233 |  4383162 |     2699   3917 |        0 |        0
1682.12/1682.69	c 1682s |      24 |  4504020 |  4387862 |     2699   3920 |        0 |        0
1684.22/1684.71	c 1684s |      24 |  4508937 |  4392662 |     2699   3923 |        0 |        0
1686.22/1686.75	c 1686s |      24 |  4513711 |  4397362 |     2699   3927 |        0 |        0
1688.22/1688.77	c 1688s |      24 |  4518380 |  4401962 |     2699   3930 |        0 |        0
1690.23/1690.79	c 1690s |      24 |  4523219 |  4406662 |     2699   3933 |        0 |        0
1692.32/1692.81	c 1692s |      24 |  4527880 |  4411262 |     2699   3937 |        0 |        0
1694.32/1694.82	c 1694s |      24 |  4532425 |  4415762 |     2699   3940 |        0 |        0
1696.32/1696.82	c 1696s |      24 |  4537160 |  4420362 |     2699   3943 |        0 |        0
1698.32/1698.86	c 1698s |      24 |  4542140 |  4425262 |     2699   3947 |        0 |        0
1700.32/1700.88	c 1700s |      24 |  4547025 |  4430062 |     2699   3950 |        0 |        0
1702.33/1702.89	c 1702s |      24 |  4551814 |  4434762 |     2699   3953 |        0 |        0
1704.42/1704.91	c 1704s |      24 |  4556545 |  4439362 |     2699   3957 |        0 |        0
1706.42/1706.93	c 1706s |      24 |  4561178 |  4443862 |     2699   3960 |        0 |        0
1708.42/1708.96	c 1708s |      24 |  4565849 |  4448462 |     2699   3963 |        0 |        0
1710.42/1710.96	c 1710s |      24 |  4570602 |  4453162 |     2699   3966 |        0 |        0
1712.42/1712.98	c 1712s |      24 |  4575286 |  4457762 |     2699   3970 |        0 |        0
1714.43/1715.00	c 1714s |      24 |  4580112 |  4462462 |     2699   3973 |        0 |        0
1716.52/1717.00	c 1716s |      24 |  4585042 |  4467262 |     2699   3976 |        0 |        0
1718.52/1719.04	c 1719s |      24 |  4589740 |  4471862 |     2699   3980 |        0 |        0
1720.52/1721.06	c 1721s |      24 |  4594432 |  4476462 |     2699   3983 |        0 |        0
1722.52/1723.07	c 1723s |      24 |  4599049 |  4480962 |     2699   3986 |        0 |        0
1724.53/1725.08	c 1725s |      24 |  4603778 |  4485562 |     2699   3989 |        0 |        0
1726.63/1727.11	c 1727s |      24 |  4608431 |  4490062 |     2699   3992 |        0 |        0
1728.63/1729.14	c 1729s |      24 |  4613246 |  4494762 |     2699   3996 |        0 |        0
1730.62/1731.16	c 1731s |      24 |  4618446 |  4499862 |     2699   3999 |        0 |        0
1732.62/1733.17	c 1733s |      24 |  4623444 |  4504762 |     2699   4003 |        0 |        0
1734.72/1735.20	c 1735s |      24 |  4628557 |  4509762 |     2699   4006 |        0 |        0
1736.72/1737.24	c 1737s |      24 |  4633456 |  4514562 |     2699   4010 |        0 |        0
1738.73/1739.26	c 1739s |      24 |  4638471 |  4519462 |     2699   4013 |        0 |        0
1740.72/1741.27	c 1741s |      24 |  4643400 |  4524162 |     2699   4017 |        0 |        0
1742.72/1743.29	c 1743s |      24 |  4648173 |  4528862 |     2699   4020 |        0 |        0
1744.82/1745.30	c 1745s |      24 |  4652986 |  4533562 |     2699   4023 |        0 |        0
1746.82/1747.34	c 1747s |      24 |  4657715 |  4538162 |     2699   4026 |        0 |        0
1748.82/1749.36	c 1749s |      24 |  4662497 |  4542862 |     2699   4030 |        0 |        0
1750.83/1751.36	c 1751s |      24 |  4667172 |  4547462 |     2699   4033 |        0 |        0
1752.82/1753.37	c 1753s |      24 |  4671778 |  4551962 |     2699   4036 |        0 |        0
1754.92/1755.41	c 1755s |      24 |  4676691 |  4556762 |     2699   4040 |        0 |        0
1756.92/1757.41	c 1757s |      24 |  4681405 |  4561362 |     2699   4043 |        0 |        0
1758.92/1759.43	c 1759s |      24 |  4686000 |  4565862 |     2699   4046 |        0 |        0
1760.92/1761.45	c 1761s |      24 |  4690889 |  4570662 |     2699   4050 |        0 |        0
1762.93/1763.46	c 1763s |      24 |  4695614 |  4575262 |     2699   4053 |        0 |        0
1764.92/1765.48	c 1765s |      24 |  4700353 |  4579862 |     2699   4056 |        0 |        0
1767.02/1767.50	c 1767s |      24 |  4704922 |  4584362 |     2699   4059 |        0 |        0
1769.02/1769.52	c 1769s |      24 |  4709544 |  4588862 |     2699   4062 |        0 |        0
1771.02/1771.55	c 1771s |      24 |  4714137 |  4593362 |     2699   4066 |        0 |        0
1773.02/1773.58	c 1773s |      24 |  4718999 |  4598062 |     2699   4069 |        0 |        0
1775.12/1775.61	c 1775s |      24 |  4723837 |  4602762 |     2699   4072 |        0 |        0
1777.12/1777.66	c 1777s |      24 |  4728732 |  4607462 |     2699   4076 |        0 |        0
1779.12/1779.67	c 1779s |      24 |  4733354 |  4611962 |     2699   4079 |        0 |        0
1781.12/1781.68	c 1781s |      24 |  4737969 |  4616462 |     2699   4082 |        0 |        0
1783.22/1783.70	c 1783s |      24 |  4742579 |  4620962 |     2699   4085 |        0 |        0
1785.22/1785.72	c 1785s |      24 |  4747161 |  4625362 |     2699   4088 |        0 |        0
1787.22/1787.74	c 1787s |      24 |  4752297 |  4630362 |     2699   4092 |        0 |        0
1789.22/1789.76	c 1789s |      24 |  4757975 |  4635862 |     2699   4096 |        0 |        0
1791.22/1791.77	c 1791s |      24 |  4763577 |  4641262 |     2699   4099 |        0 |        0
1793.32/1793.80	c 1793s |      24 |  4769049 |  4646562 |     2699   4103 |        0 |        0
1795.32/1795.81	c 1795s |      24 |  4774421 |  4651762 |     2699   4107 |        0 |        0
1797.31/1797.82	c 1797s |      24 |  4779928 |  4657162 |     2699   4111 |        0 |        0
1799.31/1799.84	c 1799s |      24 |  4785239 |  4662362 |     2699   4114 |        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-4089645-1466030818/watcher-4089645-1466030818 -o /tmp/evaluation-result-4089645-1466030818/solver-4089645-1466030818 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089645-1466030818.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.23 2.23 3/179 8397
/proc/meminfo: memFree=29447884/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 2721 0 0 0 0 0 0 0 20 0 4 0 5128283 745992192 2570 33554432000 4194304 16246674 140734278551232 140734278550656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 182639 2579 441 2943 0 179533 0
[pid=8397/tid=8398] ppid=8394 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 763817984 2639 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 768012288 2656 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5128284 772206592 2672 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.25 2.23 2.23 3/179 8397
/proc/meminfo: memFree=29447884/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 29757 0 0 0 5 4 0 0 20 0 4 0 5128283 1247350784 29595 33554432000 4194304 16246674 140734278551232 140734278550656 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 304529 29604 705 2943 0 301423 0
[pid=8397/tid=8398] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 29613 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 29622 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 29633 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200559 s]
/proc/loadavg: 2.25 2.23 2.23 3/179 8397
/proc/meminfo: memFree=29447884/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 59594 0 0 0 12 7 0 0 20 0 4 0 5128283 1247350784 59433 33554432000 4194304 16246674 140734278551232 140734278550656 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 304529 59445 712 2943 0 301423 0
[pid=8397/tid=8398] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 59448 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 59456 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 59466 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300468 s]
/proc/loadavg: 2.25 2.23 2.23 3/179 8397
/proc/meminfo: memFree=29447884/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 89385 0 0 0 18 11 0 0 20 0 4 0 5128283 1247350784 89224 33554432000 4194304 16246674 140734278551232 140734278550656 6010073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 304529 89238 712 2943 0 301423 0
[pid=8397/tid=8398] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 89246 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 89249 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 89255 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700402 s]
/proc/loadavg: 2.25 2.23 2.23 3/179 8397
/proc/meminfo: memFree=29447884/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 208725 0 0 0 42 27 0 0 20 0 4 0 5128283 1247350784 208563 33554432000 4194304 16246674 140734278551232 140734278550656 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 304529 208574 713 2943 0 301423 0
[pid=8397/tid=8398] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 208584 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 208598 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5128284 1247350784 208609 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.25 2.23 2.23 3/183 8401
/proc/meminfo: memFree=28465928/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 266590 0 0 0 115 34 0 0 20 0 4 0 5128283 1334382592 266408 33554432000 4194304 16246674 140734278551232 140734278534232 13191398 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 325777 266408 789 2943 0 322671 0
[pid=8397/tid=8398] ppid=8394 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1334382592 266408 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1334382592 266408 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1334382592 266408 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10036 s]
/proc/loadavg: 2.25 2.23 2.23 3/183 8401
/proc/meminfo: memFree=28379252/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 267576 0 0 0 275 34 0 0 20 0 4 0 5128283 1337528320 267394 33554432000 4194304 16246674 140734278551232 140734278533120 12875485 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 326545 267394 790 2943 0 323439 0
[pid=8397/tid=8398] ppid=8394 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1337528320 267394 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1337528320 267394 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1337528320 267394 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.23 2.22 2.23 3/183 8401
/proc/meminfo: memFree=28377472/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 267780 0 0 0 595 34 0 0 20 0 4 0 5128283 1338576896 267598 33554432000 4194304 16246674 140734278551232 140734278533120 13927229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 326801 267598 790 2943 0 323695 0
[pid=8397/tid=8398] ppid=8394 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1338576896 267598 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1338576896 267598 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1338576896 267598 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.21 2.22 2.23 3/183 8401
/proc/meminfo: memFree=28377488/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 267780 0 0 0 1235 34 0 0 20 0 4 0 5128283 1338576896 267598 33554432000 4194304 16246674 140734278551232 140734278533120 5546195 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 326801 267598 790 2943 0 323695 0
[pid=8397/tid=8398] ppid=8394 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1338576896 267598 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1338576896 267598 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1338576896 267598 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.16 2.21 2.22 3/183 8401
/proc/meminfo: memFree=28377784/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 267854 0 0 0 2515 34 0 0 20 0 4 0 5128283 1339625472 267672 33554432000 4194304 16246674 140734278551232 140734278533120 5721402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 327057 267672 793 2943 0 323951 0
[pid=8397/tid=8398] ppid=8394 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1339625472 267672 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1339625472 267672 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1339625472 267672 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.30 2.24 2.23 3/183 8401
/proc/meminfo: memFree=28376920/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 268092 0 0 0 5074 34 0 0 20 0 4 0 5128283 1339625472 267910 33554432000 4194304 16246674 140734278551232 140734278533120 5722652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 327057 267910 794 2943 0 323951 0
[pid=8397/tid=8398] ppid=8394 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1339625472 267910 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1339625472 267910 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1339625472 267910 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.18 2.21 2.22 3/183 8402
/proc/meminfo: memFree=28376836/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 268123 0 0 0 10194 34 0 0 20 0 4 0 5128283 1340674048 267941 33554432000 4194304 16246674 140734278551232 140734278533120 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 327313 267941 794 2943 0 324207 0
[pid=8397/tid=8398] ppid=8394 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1340674048 267941 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1340674048 267941 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1340674048 267941 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/183 8553
/proc/meminfo: memFree=28365324/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1361.92 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 270952 0 0 0 136146 46 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 12483204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/184 8557
/proc/meminfo: memFree=28365036/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1421.9 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 270988 0 0 0 142143 47 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278550408 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 8558
/proc/meminfo: memFree=28365328/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1481.87 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271019 0 0 0 148140 47 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278550408 6013193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 8560
/proc/meminfo: memFree=28364596/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1541.86 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 154138 48 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278534232 5717153 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 8561
/proc/meminfo: memFree=28363656/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1601.84 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 160136 48 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/183 8562
/proc/meminfo: memFree=28364220/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1661.83 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 166135 48 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 12478176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 8563
/proc/meminfo: memFree=28364124/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1721.82 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 172134 48 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 5667809 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.29 2.26 2.19 4/183 8564
/proc/meminfo: memFree=28363292/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1781.82 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 178133 49 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 8565
/proc/meminfo: memFree=28363264/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1800.01 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 179952 49 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1318468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8397 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.27 2.26 2.19 3/183 8565
/proc/meminfo: memFree=28363264/32872528 swapFree=1369816/1516984
[pid=8397] ppid=8394 vsize=1318468 CPUtime=1800.01 cores=0,2,4,6
/proc/8397/stat : 8397 (toysat) R 8394 8397 5822 0 -1 4202496 271039 0 0 0 179952 49 0 0 20 0 4 0 5128283 1350111232 270726 33554432000 4194304 16246674 140734278551232 140734278533120 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8397/statm: 329617 270726 794 2943 0 326511 0
[pid=8397/tid=8398] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8398/stat : 8398 (toysat) S 8394 8397 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234170805488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8397/tid=8399] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8399/stat : 8399 (toysat) S 8394 8397 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234160315632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8397/tid=8400] ppid=8394 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/8397/task/8400/stat : 8400 (toysat) S 8394 8397 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5128284 1350111232 270726 33554432000 4194304 16246674 140734278551232 140234149842096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1318468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.53
CPU system time (s): 0.490925
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.490925
maximum resident set size= 1082904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271039
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= 400
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9142 second user time and 17.1104 second system time

The end

Begin job on node129 at 2016-06-16 00:46:58
IDJOB=4089645
IDBENCH=107436
IDSOLVER=2542
FILE ID=node129/4089645-1466030818
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 9ef547099998be8042e2fe5020927fa9
RANDOM SEED=1655648922

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29449048 kB
Buffers:           30092 kB
Cached:            78532 kB
SwapCached:        20172 kB
Active:          1139804 kB
Inactive:          65728 kB
Active(anon):    1079088 kB
Inactive(anon):    20104 kB
Active(file):      60716 kB
Inactive(file):    45624 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16312 kB
Writeback:             4 kB
AnonPages:       2595312 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             567140 kB
SReclaimable:      11296 kB
SUnreclaim:       555844 kB
KernelStack:        1488 kB
PageTables:         9236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2740240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 01:16:59