0.00/0.01	c 2016-06-18T21:56:36+0200
0.00/0.01	c version = 0.5.0
0.00/0.01	c githash = 1a49202
0.00/0.01	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.01	c arch = x86_64
0.00/0.01	c os = linux
0.00/0.01	c compiler = ghc 7.10
0.00/0.01	c packages:
0.00/0.01	c   OptDir-0.0.3
0.00/0.01	c   array-0.5.1.0
0.00/0.01	c   base-4.8.2.0
0.00/0.01	c   bytestring-0.10.6.0
0.00/0.01	c   bytestring-builder-0.10.6.0.0
0.00/0.01	c   clock-0.7.2
0.00/0.01	c   containers-0.5.6.2
0.00/0.01	c   data-default-0.5.3
0.00/0.01	c   data-default-class-0.0.1
0.00/0.01	c   data-interval-1.2.0
0.00/0.01	c   deepseq-1.4.1.1
0.00/0.01	c   directory-1.2.2.0
0.00/0.01	c   exceptions-0.8.2.1
0.00/0.01	c   extended-reals-0.2.1.0
0.00/0.01	c   filepath-1.4.0.0
0.00/0.01	c   finite-field-0.8.0
0.00/0.01	c   hashable-1.2.4.0
0.00/0.01	c   heaps-0.3.3
0.00/0.01	c   intern-0.9.1.4
0.00/0.01	c   loop-0.3.0
0.00/0.01	c   mtl-2.2.1
0.00/0.01	c   multiset-0.3.2
0.00/0.01	c   mwc-random-0.13.3.2
0.00/0.01	c   parse_dimacs-1.3
0.00/0.01	c   parsec-3.1.9
0.00/0.01	c   prettyclass-1.0.0.0
0.00/0.01	c   primes-0.2.1.0
0.00/0.01	c   primitive-0.6.1.0
0.00/0.01	c   process-1.2.3.0
0.00/0.01	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-4106874-1466279796.opb"]
0.00/0.02	c use --random-gen="2005023591 1543211171 194333828 917569115 144041605 1936927737 1093229696 22899516 998289182 1092696245 2796759485 3420727103 3756504203 1535269535 2220050605 2643407639 3315892595 2176357705 2034082700 299801477 3307670941 2252579223 2499968099 1546503564 1769876706 593351509 1805758345 2163766753 55841845 3884511447 763748385 3210495482 1463198299 583494897 3744448233 1734811303 363357195 221169875 3580447436 2564387416 1727174228 2585443910 839088126 2803187930 3453655164 4137237789 4150306264 3084335156 2713942430 719818084 4282012975 606464918 2668994540 889652354 1294896710 1384959021 808644036 3321462715 4019672456 3361968933 3200266699 2353343741 1154234477 408470531 3516749064 4277159051 38363318 1865119337 2886457017 3005088369 789826813 151258566 1112624164 49254991 654865175 1228492906 2527075659 253437463 3918976450 1090959365 2625729787 259572664 3141724732 2890625841 3145527314 2608010450 1562374605 1076722546 543193540 4033873813 3683317525 1073248560 606149884 3389926867 2522224687 751580151 1051799145 4074556807 1704007477 3391858289 475381794 2957151125 1150540964 2920593828 3386548739 1254187796 2876539560 1536720711 3850301014 738805882 2541347814 3734819901 2648981341 927688931 3743900653 3984556321 4171182411 1631474526 2605252545 308407808 4118014359 500977287 1607179863 975541239 2560262350 2332738628 1960140743 1407259715 1935494834 3438398180 1261698218 3817794112 3524682499 3644686828 1484741381 1240705115 2841707251 321496866 3918140363 4190797219 1914640205 452951959 1911951155 1020168334 2385999786 2119305892 472529534 2023156091 1251437472 2202340494 2192154415 3939280661 3469459848 76184717 3367234485 564083577 3868957430 4291985965 628641631 3574966744 2715108905 2663382707 1981759582 56069752 4116082459 2787266783 3028727420 679237791 3745395823 769439625 1949060627 2434622237 1518999658 2795234047 3506091639 164283847 422103408 2011824434 227419886 240067444 3781277504 1844991283 3314152099 308386042 3905355883 2874773203 1657994858 1165926874 4231731754 3239461194 3638562319 2969735617 3540433301 3129094567 2941795392 450724869 739571102 1685105366 311857602 1160799739 2424753253 2529196095 3948890318 2000982956 2046396314 1970522112 1562000195 484726049 2842712084 3613631097 3683196796 3539444901 137551190 1391308898 3294036705 1505497125 3392206559 2782263415 1724981238 203980103 1798795137 1488651401 2792609661 3726505144 582349732 2236437407 2754759777 280958779 3077143012 2813773720 3068847315 3720087744 406027460 1278908328 4041417090 2630840995 339532810 3224755549 3069444945 1532013246 1081187606 2920384302 4127849713 2799887640 423897667 2370514444 1020447396 1973003717 2122122377 3678327012 3455610310 4146460752 2699204823 709688412 2544078979 2128676762 255 362436" option to reproduce the execution
0.00/0.04	c #vars 200
0.00/0.04	c #constraints 302
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     2214      0 |        0 |        0
0.08/0.14	c  0.0s |       1 |      237 |      100 |     2214      0 |        0 |        0
0.08/0.19	c  0.1s |       2 |     3955 |      250 |     2436      0 |        0 |        0
0.18/0.28	c  0.2s |       3 |     4400 |      475 |     2680      0 |        0 |        0
0.38/0.43	c  0.3s |       4 |     4948 |      813 |     2949      0 |        0 |        0
0.58/0.65	c  0.5s |       5 |     5661 |     1320 |     3244      0 |        0 |        0
0.98/1.01	c  0.9s |       6 |     6574 |     2081 |     3926      0 |        0 |        0
1.38/1.44	c  1.3s |       7 |     8262 |     3223 |     4319      0 |        0 |        0
2.07/2.10	c  2.0s |       8 |    10351 |     4936 |     4751      1 |        0 |        0
2.97/3.06	c  3.0s |       9 |    13653 |     7506 |     5227      2 |        0 |        0
4.49/4.58	c  4.5s |      10 |    18123 |    11361 |     5750      3 |        0 |        0
6.48/6.60	c  6.5s |      10 |    24280 |    16561 |     5750      5 |        0 |        0
6.78/6.82	c  6.7s |      11 |    24894 |    17144 |     6326      5 |        0 |        0
8.78/8.88	c  8.8s |      11 |    31782 |    22944 |     6326      7 |        0 |        0
9.88/9.99	c  9.9s |      12 |    35212 |    25819 |     6959      7 |        0 |        0
11.98/12.00	c 11.9s |      12 |    42221 |    31419 |     6959      9 |        0 |        0
13.97/14.00	c 13.9s |      12 |    48017 |    36619 |     6959     10 |        0 |        0
14.77/14.87	c 14.8s |      13 |    50662 |    38832 |     7655     11 |        0 |        0
16.77/16.89	c 16.8s |      13 |    57992 |    44532 |     7655     12 |        0 |        0
18.87/18.90	c 18.8s |      13 |    66347 |    50932 |     7655     14 |        0 |        0
20.88/20.92	c 20.8s |      13 |    72978 |    56232 |     7655     15 |        0 |        0
21.87/21.94	c 21.8s |      14 |    75730 |    58352 |     8421     16 |        0 |        0
23.87/23.95	c 23.8s |      14 |    83273 |    64252 |     8421     17 |        0 |        0
25.87/25.98	c 25.9s |      14 |    89650 |    69552 |     8421     18 |        0 |        0
27.87/27.99	c 27.9s |      14 |    95951 |    74852 |     8421     20 |        0 |        0
29.87/29.99	c 29.9s |      14 |   102640 |    79852 |     8421     21 |        0 |        0
31.88/31.99	c 31.9s |      14 |   110402 |    85452 |     8421     22 |        0 |        0
32.67/32.71	c 32.6s |      15 |   113394 |    87632 |     9264     22 |        0 |        0
34.67/34.74	c 34.6s |      15 |   118808 |    92032 |     9264     23 |        0 |        0
36.77/36.86	c 36.8s |      15 |   125039 |    97032 |     9264     24 |        0 |        0
38.77/38.86	c 38.8s |      15 |   130865 |   101732 |     9264     25 |        0 |        0
40.78/40.87	c 40.8s |      15 |   137705 |   106932 |     9264     26 |        0 |        0
42.77/42.88	c 42.8s |      15 |   143090 |   110932 |     9264     27 |        0 |        0
44.87/44.96	c 44.8s |      15 |   149769 |   116432 |     9264     29 |        0 |        0
46.87/46.97	c 46.9s |      15 |   155805 |   121332 |     9264     30 |        0 |        0
48.87/48.98	c 48.9s |      15 |   162121 |   126132 |     9264     31 |        0 |        0
50.97/51.01	c 50.9s |      15 |   170550 |   131532 |    10191     32 |        0 |        0
50.97/51.02	c 50.9s |      16 |   170573 |   131552 |    10191     32 |        0 |        0
52.97/53.04	c 52.9s |      16 |   175659 |   135652 |    10191     32 |        0 |        0
54.97/55.05	c 54.9s |      16 |   181845 |   140452 |    10191     33 |        0 |        0
57.07/57.17	c 57.1s |      16 |   186988 |   144752 |    10191     34 |        0 |        0
59.07/59.18	c 59.1s |      16 |   192722 |   149552 |    10191     35 |        0 |        0
61.17/61.21	c 61.1s |      16 |   199711 |   154752 |    10191     36 |        0 |        0
63.17/63.25	c 63.1s |      16 |   206055 |   159952 |    10191     37 |        0 |        0
65.17/65.27	c 65.2s |      16 |   210277 |   163352 |    10191     38 |        0 |        0
67.26/67.30	c 67.2s |      16 |   216646 |   168752 |    10191     39 |        0 |        0
69.27/69.32	c 69.2s |      16 |   222380 |   173452 |    10191     40 |        0 |        0
71.66/71.70	c 71.6s |      16 |   228245 |   177852 |    10191     41 |        0 |        0
73.67/73.75	c 73.6s |      16 |   234846 |   183252 |    10191     42 |        0 |        0
75.66/75.77	c 75.7s |      16 |   241756 |   188652 |    10191     43 |        0 |        0
77.76/77.80	c 77.7s |      16 |   248371 |   194252 |    10191     44 |        0 |        0
79.56/79.66	c 79.6s |      17 |   254344 |   197432 |    11211     44 |        0 |        0
81.56/81.68	c 81.6s |      17 |   259675 |   201532 |    11211     45 |        0 |        0
83.57/83.69	c 83.6s |      17 |   265015 |   205832 |    11211     46 |        0 |        0
85.66/85.70	c 85.6s |      17 |   270077 |   209932 |    11211     46 |        0 |        0
87.66/87.72	c 87.6s |      17 |   275673 |   214532 |    11211     47 |        0 |        0
89.66/89.74	c 89.6s |      17 |   280803 |   218732 |    11211     48 |        0 |        0
91.66/91.76	c 91.7s |      17 |   285566 |   222332 |    11211     49 |        0 |        0
93.76/93.82	c 93.7s |      17 |   292489 |   227232 |    11211     49 |        0 |        0
95.76/95.82	c 95.7s |      17 |   298339 |   231732 |    11211     50 |        0 |        0
97.76/97.85	c 97.7s |      17 |   305396 |   236732 |    11211     51 |        0 |        0
100.26/100.30	c  100s |      17 |   312548 |   240332 |    11211     52 |        0 |        0
102.27/102.32	c  102s |      17 |   319661 |   244632 |    11211     53 |        0 |        0
104.26/104.36	c  104s |      17 |   326820 |   249732 |    11211     53 |        0 |        0
106.36/106.44	c  106s |      17 |   334154 |   254932 |    11211     54 |        0 |        0
108.36/108.46	c  108s |      17 |   340937 |   259232 |    11211     55 |        0 |        0
110.46/110.50	c  110s |      17 |   346785 |   263632 |    11211     56 |        0 |        0
112.46/112.57	c  112s |      17 |   352910 |   268232 |    11211     57 |        0 |        0
114.46/114.59	c  114s |      17 |   357666 |   271932 |    11211     57 |        0 |        0
116.46/116.59	c  116s |      17 |   363803 |   276432 |    11211     58 |        0 |        0
118.56/118.60	c  118s |      17 |   369873 |   281132 |    11211     59 |        0 |        0
120.56/120.62	c  120s |      17 |   373493 |   284032 |    11211     60 |        0 |        0
122.56/122.68	c  122s |      17 |   378854 |   288432 |    11211     60 |        0 |        0
124.56/124.68	c  124s |      17 |   383943 |   292732 |    11211     61 |        0 |        0
126.26/126.39	c  126s |      18 |   388290 |   296252 |    12333     62 |        0 |        0
128.35/128.41	c  128s |      18 |   391360 |   298552 |    12333     62 |        0 |        0
130.35/130.45	c  130s |      18 |   397101 |   303052 |    12333     63 |        0 |        0
132.35/132.46	c  132s |      18 |   401448 |   306852 |    12333     63 |        0 |        0
134.35/134.48	c  134s |      18 |   406708 |   311252 |    12333     64 |        0 |        0
136.55/136.63	c  136s |      18 |   411292 |   314552 |    12333     64 |        0 |        0
138.56/138.66	c  138s |      18 |   416302 |   317852 |    12333     65 |        0 |        0
140.55/140.69	c  140s |      18 |   421419 |   321952 |    12333     66 |        0 |        0
142.55/142.69	c  142s |      18 |   427655 |   326552 |    12333     66 |        0 |        0
144.65/144.73	c  144s |      18 |   431316 |   328852 |    12333     67 |        0 |        0
146.66/146.76	c  146s |      18 |   437077 |   333352 |    12333     67 |        0 |        0
148.65/148.78	c  148s |      18 |   443038 |   338052 |    12333     68 |        0 |        0
150.66/150.78	c  150s |      18 |   448342 |   342452 |    12333     69 |        0 |        0
152.75/152.81	c  152s |      18 |   453818 |   346352 |    12333     70 |        0 |        0
154.75/154.81	c  154s |      18 |   460243 |   351152 |    12333     70 |        0 |        0
156.75/156.86	c  156s |      18 |   465221 |   355252 |    12333     71 |        0 |        0
158.75/158.88	c  158s |      18 |   471272 |   359852 |    12333     72 |        0 |        0
160.85/160.93	c  160s |      18 |   477380 |   364552 |    12333     73 |        0 |        0
162.86/162.94	c  162s |      18 |   483452 |   369352 |    12333     73 |        0 |        0
164.96/165.02	c  164s |      18 |   489609 |   373252 |    12333     74 |        0 |        0
166.95/167.06	c  166s |      18 |   496181 |   376852 |    12333     74 |        0 |        0
168.95/169.09	c  168s |      18 |   502742 |   382052 |    12333     75 |        0 |        0
171.05/171.11	c  171s |      18 |   508772 |   386852 |    12333     76 |        0 |        0
173.05/173.13	c  173s |      18 |   512883 |   390352 |    12333     77 |        0 |        0
175.05/175.16	c  175s |      18 |   519044 |   395352 |    12333     77 |        0 |        0
177.05/177.19	c  177s |      18 |   524975 |   399952 |    12333     78 |        0 |        0
179.15/179.22	c  179s |      18 |   531901 |   405252 |    12333     79 |        0 |        0
181.24/181.38	c  181s |      18 |   536931 |   408252 |    12333     80 |        0 |        0
183.34/183.41	c  183s |      18 |   543701 |   412652 |    12333     80 |        0 |        0
185.34/185.43	c  185s |      18 |   549926 |   417152 |    12333     81 |        0 |        0
187.34/187.45	c  187s |      18 |   557000 |   421852 |    12333     82 |        0 |        0
189.34/189.48	c  189s |      18 |   563820 |   426652 |    12333     82 |        0 |        0
191.35/191.48	c  191s |      18 |   571243 |   431452 |    12333     83 |        0 |        0
193.44/193.52	c  193s |      18 |   577137 |   435852 |    12333     84 |        0 |        0
195.44/195.53	c  195s |      18 |   583436 |   440652 |    12333     85 |        0 |        0
197.14/197.27	c  197s |      19 |   589802 |   444482 |    13567     85 |        0 |        0
199.34/199.42	c  199s |      19 |   594807 |   448082 |    13567     86 |        0 |        0
201.35/201.45	c  201s |      19 |   601902 |   452882 |    13567     86 |        0 |        0
203.34/203.47	c  203s |      19 |   608742 |   457482 |    13567     87 |        0 |        0
205.34/205.48	c  205s |      19 |   614273 |   461582 |    13567     88 |        0 |        0
207.34/207.48	c  207s |      19 |   620165 |   465982 |    13567     88 |        0 |        0
209.45/209.52	c  209s |      19 |   625126 |   469882 |    13567     89 |        0 |        0
211.44/211.57	c  211s |      19 |   630894 |   473982 |    13567     90 |        0 |        0
213.54/213.61	c  213s |      19 |   636173 |   477582 |    13567     90 |        0 |        0
215.55/215.62	c  215s |      19 |   641844 |   481682 |    13567     91 |        0 |        0
217.54/217.63	c  217s |      19 |   647149 |   485782 |    13567     91 |        0 |        0
219.54/219.64	c  219s |      19 |   651921 |   489582 |    13567     92 |        0 |        0
221.54/221.67	c  221s |      19 |   657068 |   493682 |    13567     92 |        0 |        0
223.74/223.88	c  223s |      19 |   661315 |   496882 |    13567     93 |        0 |        0
225.74/225.88	c  225s |      19 |   666768 |   501282 |    13567     94 |        0 |        0
227.84/227.92	c  227s |      19 |   673303 |   505882 |    13567     94 |        0 |        0
229.85/229.93	c  229s |      19 |   679050 |   509782 |    13567     95 |        0 |        0
231.84/231.94	c  231s |      19 |   684360 |   513282 |    13567     95 |        0 |        0
233.84/233.95	c  233s |      19 |   690388 |   517882 |    13567     96 |        0 |        0
235.84/235.96	c  235s |      19 |   695866 |   522082 |    13567     97 |        0 |        0
237.84/237.99	c  237s |      19 |   701739 |   526882 |    13567     97 |        0 |        0
239.93/240.02	c  239s |      19 |   705917 |   529282 |    13567     98 |        0 |        0
241.94/242.03	c  241s |      19 |   711758 |   533882 |    13567     98 |        0 |        0
243.93/244.04	c  243s |      19 |   717973 |   538582 |    13567     99 |        0 |        0
245.93/246.06	c  245s |      19 |   722487 |   541882 |    13567     99 |        0 |        0
248.03/248.10	c  247s |      19 |   729126 |   546682 |    13567    100 |        0 |        0
250.03/250.12	c  250s |      19 |   734845 |   550882 |    13567    101 |        0 |        0
252.04/252.14	c  252s |      19 |   737924 |   552582 |    13567    101 |        0 |        0
254.05/254.16	c  254s |      19 |   742960 |   556382 |    13567    102 |        0 |        0
256.04/256.17	c  256s |      19 |   749945 |   561282 |    13567    102 |        0 |        0
258.14/258.21	c  258s |      19 |   754763 |   564682 |    13567    103 |        0 |        0
260.14/260.24	c  260s |      19 |   759926 |   568782 |    13567    103 |        0 |        0
262.14/262.29	c  262s |      19 |   765209 |   572982 |    13567    104 |        0 |        0
264.24/264.34	c  264s |      19 |   769728 |   576482 |    13567    105 |        0 |        0
266.24/266.36	c  266s |      19 |   775204 |   580682 |    13567    105 |        0 |        0
268.34/268.41	c  268s |      19 |   778742 |   582882 |    13567    105 |        0 |        0
270.33/270.45	c  270s |      19 |   783068 |   586282 |    13567    106 |        0 |        0
272.33/272.46	c  272s |      19 |   788561 |   590982 |    13567    107 |        0 |        0
274.33/274.50	c  274s |      19 |   793173 |   595082 |    13567    107 |        0 |        0
276.43/276.52	c  276s |      19 |   798455 |   599482 |    13567    108 |        0 |        0
278.43/278.52	c  278s |      19 |   801527 |   602182 |    13567    108 |        0 |        0
280.44/280.55	c  280s |      19 |   807017 |   606782 |    13567    109 |        0 |        0
282.43/282.55	c  282s |      19 |   810167 |   609282 |    13567    109 |        0 |        0
284.43/284.56	c  284s |      19 |   815990 |   613782 |    13567    110 |        0 |        0
286.43/286.58	c  286s |      19 |   822391 |   618482 |    13567    111 |        0 |        0
288.43/288.59	c  288s |      19 |   828024 |   623082 |    13567    111 |        0 |        0
290.53/290.60	c  290s |      19 |   832857 |   626882 |    13567    112 |        0 |        0
292.54/292.60	c  292s |      19 |   838780 |   631682 |    13567    113 |        0 |        0
294.53/294.62	c  294s |      19 |   844439 |   636282 |    13567    113 |        0 |        0
296.63/296.75	c  296s |      19 |   848304 |   638982 |    13567    114 |        0 |        0
298.63/298.75	c  298s |      19 |   854590 |   643982 |    13567    114 |        0 |        0
300.83/300.98	c  300s |      19 |   860925 |   648582 |    13567    115 |        0 |        0
302.93/303.00	c  302s |      19 |   868066 |   652882 |    13567    116 |        0 |        0
304.93/305.01	c  304s |      19 |   875099 |   657682 |    13567    116 |        0 |        0
306.94/307.04	c  306s |      19 |   879924 |   661882 |    13567    117 |        0 |        0
308.93/309.08	c  308s |      19 |   884955 |   666182 |    14924    117 |        0 |        0
309.33/309.45	c  309s |      20 |   885749 |   666827 |    14924    118 |        0 |        0
311.34/311.46	c  311s |      20 |   890288 |   670427 |    14924    118 |        0 |        0
313.33/313.47	c  313s |      20 |   894777 |   674127 |    14924    119 |        0 |        0
315.83/315.98	c  315s |      20 |   899581 |   677927 |    14924    119 |        0 |        0
317.83/317.99	c  317s |      20 |   904270 |   681927 |    14924    120 |        0 |        0
319.93/320.00	c  319s |      20 |   909815 |   686427 |    14924    120 |        0 |        0
321.93/322.03	c  321s |      20 |   913918 |   690027 |    14924    121 |        0 |        0
323.92/324.05	c  323s |      20 |   918535 |   693927 |    14924    121 |        0 |        0
325.92/326.08	c  325s |      20 |   922961 |   697627 |    14924    122 |        0 |        0
328.02/328.10	c  327s |      20 |   927781 |   700627 |    14924    122 |        0 |        0
330.03/330.12	c  330s |      20 |   931270 |   703327 |    14924    122 |        0 |        0
332.02/332.12	c  332s |      20 |   936184 |   707327 |    14924    123 |        0 |        0
334.03/334.16	c  334s |      20 |   942221 |   711727 |    14924    124 |        0 |        0
336.13/336.22	c  336s |      20 |   948069 |   716327 |    14924    124 |        0 |        0
338.13/338.23	c  338s |      20 |   954166 |   720227 |    14924    125 |        0 |        0
340.42/340.58	c  340s |      20 |   959311 |   723527 |    14924    125 |        0 |        0
342.52/342.62	c  342s |      20 |   963979 |   727227 |    14924    126 |        0 |        0
344.52/344.65	c  344s |      20 |   968916 |   731527 |    14924    126 |        0 |        0
346.62/346.72	c  346s |      20 |   973280 |   735127 |    14924    127 |        0 |        0
348.63/348.73	c  348s |      20 |   978411 |   739327 |    14924    127 |        0 |        0
351.42/351.50	c  351s |      20 |   983956 |   743027 |    14924    128 |        0 |        0
353.42/353.54	c  353s |      20 |   990488 |   748027 |    14924    128 |        0 |        0
355.42/355.55	c  355s |      20 |   995994 |   752327 |    14924    129 |        0 |        0
357.42/357.58	c  357s |      20 |  1000347 |   755527 |    14924    129 |        0 |        0
359.52/359.60	c  359s |      20 |  1005514 |   759627 |    14924    130 |        0 |        0
361.62/361.73	c  361s |      20 |  1011942 |   764227 |    14924    131 |        0 |        0
364.03/364.16	c  364s |      20 |  1016466 |   767027 |    14924    131 |        0 |        0
366.02/366.17	c  366s |      20 |  1021711 |   771127 |    14924    131 |        0 |        0
368.12/368.21	c  368s |      20 |  1026687 |   775327 |    14924    132 |        0 |        0
370.12/370.27	c  370s |      20 |  1031680 |   779327 |    14924    133 |        0 |        0
372.12/372.28	c  372s |      20 |  1036992 |   783627 |    14924    133 |        0 |        0
374.72/374.82	c  374s |      20 |  1041752 |   787227 |    14924    134 |        0 |        0
376.72/376.83	c  376s |      20 |  1047832 |   792027 |    14924    134 |        0 |        0
378.72/378.85	c  378s |      20 |  1053720 |   796427 |    14924    135 |        0 |        0
380.81/380.92	c  380s |      20 |  1058090 |   799227 |    14924    135 |        0 |        0
382.82/382.95	c  382s |      20 |  1064671 |   803427 |    14924    136 |        0 |        0
384.81/384.99	c  384s |      20 |  1070742 |   808127 |    14924    136 |        0 |        0
386.91/387.02	c  386s |      20 |  1073276 |   810127 |    14924    137 |        0 |        0
388.92/389.06	c  388s |      20 |  1080015 |   814727 |    14924    137 |        0 |        0
390.92/391.09	c  390s |      20 |  1085325 |   819027 |    14924    138 |        0 |        0
393.02/393.11	c  393s |      20 |  1091954 |   823627 |    14924    138 |        0 |        0
395.02/395.11	c  395s |      20 |  1096719 |   827027 |    14924    139 |        0 |        0
397.02/397.12	c  397s |      20 |  1102421 |   830127 |    14924    139 |        0 |        0
399.01/399.14	c  399s |      20 |  1106984 |   834027 |    14924    140 |        0 |        0
401.01/401.16	c  401s |      20 |  1112326 |   838427 |    14924    140 |        0 |        0
403.11/403.20	c  403s |      20 |  1118152 |   842427 |    14924    141 |        0 |        0
405.11/405.22	c  405s |      20 |  1124834 |   846827 |    14924    142 |        0 |        0
407.11/407.25	c  407s |      20 |  1129822 |   850827 |    14924    142 |        0 |        0
409.12/409.25	c  409s |      20 |  1135568 |   855027 |    14924    143 |        0 |        0
411.21/411.33	c  411s |      20 |  1140830 |   858827 |    14924    143 |        0 |        0
413.21/413.37	c  413s |      20 |  1147651 |   863227 |    14924    144 |        0 |        0
415.21/415.37	c  415s |      20 |  1153794 |   867827 |    14924    144 |        0 |        0
417.21/417.39	c  417s |      20 |  1158910 |   871827 |    14924    145 |        0 |        0
419.31/419.41	c  419s |      20 |  1164246 |   875327 |    14924    145 |        0 |        0
421.31/421.42	c  421s |      20 |  1168814 |   879227 |    14924    146 |        0 |        0
423.31/423.46	c  423s |      20 |  1174917 |   884027 |    14924    146 |        0 |        0
425.31/425.46	c  425s |      20 |  1180236 |   888127 |    14924    147 |        0 |        0
427.41/427.53	c  427s |      20 |  1185899 |   891827 |    14924    148 |        0 |        0
429.41/429.58	c  429s |      20 |  1190366 |   895227 |    14924    148 |        0 |        0
431.51/431.62	c  431s |      20 |  1195063 |   898727 |    14924    148 |        0 |        0
433.51/433.66	c  433s |      20 |  1201407 |   903227 |    14924    149 |        0 |        0
435.52/435.68	c  435s |      20 |  1208920 |   907927 |    14924    150 |        0 |        0
437.51/437.68	c  437s |      20 |  1214981 |   912427 |    14924    150 |        0 |        0
439.61/439.70	c  439s |      20 |  1221129 |   916827 |    14924    151 |        0 |        0
441.61/441.72	c  441s |      20 |  1228033 |   921627 |    14924    151 |        0 |        0
443.61/443.72	c  443s |      20 |  1234576 |   926027 |    14924    152 |        0 |        0
445.61/445.74	c  445s |      20 |  1239631 |   928927 |    14924    152 |        0 |        0
447.61/447.77	c  447s |      20 |  1244866 |   933327 |    14924    153 |        0 |        0
449.61/449.78	c  449s |      20 |  1249588 |   937427 |    14924    154 |        0 |        0
451.61/451.79	c  451s |      20 |  1254881 |   941927 |    14924    154 |        0 |        0
453.71/453.83	c  453s |      20 |  1260198 |   946127 |    14924    155 |        0 |        0
455.70/455.84	c  455s |      20 |  1262983 |   948327 |    14924    155 |        0 |        0
457.80/457.91	c  457s |      20 |  1267903 |   952227 |    14924    156 |        0 |        0
459.81/459.95	c  459s |      20 |  1273540 |   956227 |    14924    156 |        0 |        0
461.80/461.96	c  461s |      20 |  1279219 |   960727 |    14924    157 |        0 |        0
463.80/463.99	c  463s |      20 |  1284797 |   964527 |    14924    157 |        0 |        0
465.90/466.00	c  465s |      20 |  1292351 |   969427 |    14924    158 |        0 |        0
467.90/468.04	c  467s |      20 |  1299744 |   974127 |    14924    158 |        0 |        0
469.90/470.05	c  469s |      20 |  1307024 |   978627 |    14924    159 |        0 |        0
471.91/472.06	c  471s |      20 |  1312916 |   983027 |    14924    160 |        0 |        0
473.90/474.09	c  473s |      20 |  1320027 |   987727 |    14924    160 |        0 |        0
476.00/476.13	c  476s |      20 |  1325252 |   991527 |    14924    161 |        0 |        0
478.00/478.17	c  478s |      20 |  1331416 |   996027 |    16417    161 |        0 |        0
480.90/481.05	c  480s |      20 |  1337654 |  1000327 |    16417    162 |        0 |        0
480.90/481.06	c  480s |      21 |  1337671 |  1000345 |    16417    162 |        0 |        0
483.00/483.11	c  483s |      21 |  1342869 |  1004045 |    16417    162 |        0 |        0
485.20/485.31	c  485s |      21 |  1347013 |  1007045 |    16417    163 |        0 |        0
487.20/487.33	c  487s |      21 |  1351557 |  1010945 |    16417    163 |        0 |        0
489.20/489.37	c  489s |      21 |  1356381 |  1014745 |    16417    163 |        0 |        0
491.20/491.37	c  491s |      21 |  1361498 |  1018845 |    16417    164 |        0 |        0
493.30/493.42	c  493s |      21 |  1366372 |  1022645 |    16417    164 |        0 |        0
496.20/496.38	c  496s |      21 |  1371029 |  1025845 |    16417    165 |        0 |        0
498.31/498.40	c  498s |      21 |  1375985 |  1029445 |    16417    165 |        0 |        0
500.30/500.49	c  500s |      21 |  1380431 |  1032745 |    16417    166 |        0 |        0
502.30/502.49	c  502s |      21 |  1385904 |  1036945 |    16417    166 |        0 |        0
504.30/504.49	c  504s |      21 |  1390720 |  1040345 |    16417    167 |        0 |        0
506.40/506.51	c  506s |      21 |  1395446 |  1043945 |    16417    167 |        0 |        0
508.40/508.51	c  508s |      21 |  1400118 |  1047645 |    16417    167 |        0 |        0
510.40/510.55	c  510s |      21 |  1405090 |  1051645 |    16417    168 |        0 |        0
512.50/512.63	c  512s |      21 |  1412632 |  1056245 |    16417    169 |        0 |        0
514.50/514.65	c  514s |      21 |  1419580 |  1060445 |    16417    169 |        0 |        0
516.50/516.65	c  516s |      21 |  1425053 |  1064545 |    16417    170 |        0 |        0
518.49/518.66	c  518s |      21 |  1430208 |  1068345 |    16417    170 |        0 |        0
520.59/520.70	c  520s |      21 |  1436701 |  1072045 |    16417    170 |        0 |        0
522.59/522.71	c  522s |      21 |  1441527 |  1075745 |    16417    171 |        0 |        0
524.60/524.75	c  524s |      21 |  1447168 |  1080045 |    16417    171 |        0 |        0
526.59/526.75	c  526s |      21 |  1453363 |  1084045 |    16417    172 |        0 |        0
528.59/528.78	c  528s |      21 |  1460020 |  1088945 |    16417    172 |        0 |        0
530.59/530.79	c  530s |      21 |  1462828 |  1090645 |    16417    173 |        0 |        0
532.70/532.82	c  532s |      21 |  1468732 |  1095145 |    16417    173 |        0 |        0
534.69/534.86	c  534s |      21 |  1474808 |  1099245 |    16417    174 |        0 |        0
536.70/536.87	c  536s |      21 |  1480489 |  1103045 |    16417    174 |        0 |        0
538.79/538.99	c  538s |      21 |  1485188 |  1106745 |    16417    175 |        0 |        0
540.89/541.02	c  540s |      21 |  1491259 |  1111345 |    16417    175 |        0 |        0
543.19/543.38	c  543s |      21 |  1495822 |  1114745 |    16417    176 |        0 |        0
545.29/545.40	c  545s |      21 |  1501684 |  1119145 |    16417    176 |        0 |        0
547.29/547.40	c  547s |      21 |  1506689 |  1122145 |    16417    176 |        0 |        0
549.29/549.44	c  549s |      21 |  1511731 |  1126145 |    16417    177 |        0 |        0
551.29/551.49	c  551s |      21 |  1516535 |  1130145 |    16417    177 |        0 |        0
553.39/553.54	c  553s |      21 |  1520991 |  1133745 |    16417    178 |        0 |        0
555.39/555.54	c  555s |      21 |  1526452 |  1138045 |    16417    178 |        0 |        0
557.59/557.75	c  557s |      21 |  1530861 |  1141645 |    16417    179 |        0 |        0
559.59/559.78	c  559s |      21 |  1535428 |  1145545 |    16417    179 |        0 |        0
561.58/561.79	c  561s |      21 |  1539576 |  1148945 |    16417    180 |        0 |        0
564.19/564.33	c  564s |      21 |  1544809 |  1153245 |    16417    180 |        0 |        0
566.19/566.34	c  566s |      21 |  1549706 |  1156645 |    16417    181 |        0 |        0
568.19/568.34	c  568s |      21 |  1557668 |  1162145 |    16417    181 |        0 |        0
570.19/570.36	c  570s |      21 |  1563492 |  1166045 |    16417    182 |        0 |        0
572.19/572.36	c  572s |      21 |  1570467 |  1170645 |    16417    182 |        0 |        0
574.20/574.37	c  574s |      21 |  1576297 |  1174245 |    16417    183 |        0 |        0
576.19/576.39	c  576s |      21 |  1582124 |  1178745 |    16417    183 |        0 |        0
578.29/578.40	c  578s |      21 |  1586678 |  1182245 |    16417    184 |        0 |        0
580.29/580.40	c  580s |      21 |  1591806 |  1186345 |    16417    184 |        0 |        0
582.29/582.42	c  582s |      21 |  1596324 |  1189945 |    16417    185 |        0 |        0
584.29/584.45	c  584s |      21 |  1601594 |  1193945 |    16417    185 |        0 |        0
586.30/586.46	c  586s |      21 |  1606181 |  1197345 |    16417    186 |        0 |        0
588.29/588.47	c  588s |      21 |  1610952 |  1200745 |    16417    186 |        0 |        0
590.39/590.55	c  590s |      21 |  1618050 |  1204845 |    16417    187 |        0 |        0
592.39/592.57	c  592s |      21 |  1622446 |  1208445 |    16417    187 |        0 |        0
594.39/594.57	c  594s |      21 |  1627712 |  1212345 |    16417    187 |        0 |        0
596.39/596.58	c  596s |      21 |  1632406 |  1215945 |    16417    188 |        0 |        0
598.39/598.59	c  598s |      21 |  1637713 |  1220045 |    16417    188 |        0 |        0
600.69/600.85	c  600s |      21 |  1643432 |  1223345 |    16417    189 |        0 |        0
602.69/602.90	c  602s |      21 |  1648881 |  1227745 |    16417    189 |        0 |        0
604.78/604.90	c  604s |      21 |  1653950 |  1231945 |    16417    190 |        0 |        0
606.78/606.91	c  606s |      21 |  1658961 |  1236045 |    16417    190 |        0 |        0
609.29/609.46	c  609s |      21 |  1663875 |  1239945 |    16417    191 |        0 |        0
611.28/611.49	c  611s |      21 |  1668897 |  1243945 |    16417    191 |        0 |        0
613.38/613.50	c  613s |      21 |  1672229 |  1246545 |    16417    192 |        0 |        0
615.38/615.52	c  615s |      21 |  1678720 |  1251645 |    16417    192 |        0 |        0
617.38/617.54	c  617s |      21 |  1682746 |  1254845 |    16417    193 |        0 |        0
619.38/619.58	c  619s |      21 |  1690126 |  1260245 |    16417    193 |        0 |        0
621.39/621.59	c  621s |      21 |  1695757 |  1264345 |    16417    194 |        0 |        0
623.48/623.60	c  623s |      21 |  1700362 |  1268045 |    16417    194 |        0 |        0
625.48/625.61	c  625s |      21 |  1705493 |  1272245 |    16417    195 |        0 |        0
627.48/627.63	c  627s |      21 |  1712245 |  1277445 |    16417    195 |        0 |        0
629.47/629.65	c  629s |      21 |  1716973 |  1280345 |    16417    196 |        0 |        0
631.47/631.68	c  631s |      21 |  1724596 |  1285545 |    16417    196 |        0 |        0
633.58/633.71	c  633s |      21 |  1730645 |  1290045 |    16417    197 |        0 |        0
635.57/635.71	c  635s |      21 |  1736926 |  1294745 |    16417    197 |        0 |        0
637.57/637.71	c  637s |      21 |  1743025 |  1298645 |    16417    198 |        0 |        0
639.67/639.84	c  639s |      21 |  1750593 |  1303945 |    16417    199 |        0 |        0
641.67/641.86	c  641s |      21 |  1757424 |  1308045 |    16417    199 |        0 |        0
643.87/644.07	c  643s |      21 |  1762659 |  1312245 |    16417    200 |        0 |        0
645.97/646.10	c  645s |      21 |  1767925 |  1316745 |    16417    200 |        0 |        0
647.97/648.13	c  648s |      21 |  1772871 |  1320545 |    16417    201 |        0 |        0
649.98/650.16	c  650s |      21 |  1777681 |  1324645 |    16417    201 |        0 |        0
651.97/652.17	c  652s |      21 |  1783640 |  1328645 |    16417    201 |        0 |        0
653.98/654.19	c  654s |      21 |  1789202 |  1332645 |    16417    202 |        0 |        0
656.08/656.20	c  656s |      21 |  1795714 |  1336745 |    16417    202 |        0 |        0
658.08/658.23	c  658s |      21 |  1800318 |  1339345 |    16417    203 |        0 |        0
660.07/660.27	c  660s |      21 |  1807079 |  1344245 |    16417    203 |        0 |        0
662.18/662.31	c  662s |      21 |  1812301 |  1348045 |    16417    204 |        0 |        0
664.17/664.35	c  664s |      21 |  1817922 |  1352245 |    16417    204 |        0 |        0
666.17/666.36	c  666s |      21 |  1822716 |  1355745 |    16417    205 |        0 |        0
668.17/668.39	c  668s |      21 |  1828499 |  1360245 |    16417    205 |        0 |        0
670.27/670.40	c  670s |      21 |  1833861 |  1364345 |    16417    206 |        0 |        0
672.27/672.43	c  672s |      21 |  1838499 |  1367345 |    16417    206 |        0 |        0
674.28/674.43	c  674s |      21 |  1842979 |  1371145 |    16417    207 |        0 |        0
676.27/676.46	c  676s |      21 |  1849259 |  1375945 |    16417    207 |        0 |        0
678.27/678.47	c  678s |      21 |  1853909 |  1379545 |    16417    208 |        0 |        0
680.27/680.47	c  680s |      21 |  1859183 |  1384045 |    16417    208 |        0 |        0
683.27/683.43	c  683s |      21 |  1864523 |  1388145 |    16417    209 |        0 |        0
685.27/685.43	c  685s |      21 |  1870601 |  1392945 |    16417    209 |        0 |        0
687.27/687.46	c  687s |      21 |  1876569 |  1397445 |    16417    210 |        0 |        0
689.27/689.48	c  689s |      21 |  1880036 |  1400145 |    16417    210 |        0 |        0
691.27/691.48	c  691s |      21 |  1885476 |  1404445 |    16417    211 |        0 |        0
693.27/693.49	c  693s |      21 |  1891321 |  1408945 |    16417    211 |        0 |        0
695.57/695.71	c  695s |      21 |  1896695 |  1413245 |    16417    212 |        0 |        0
697.57/697.72	c  697s |      21 |  1901463 |  1416745 |    16417    212 |        0 |        0
699.58/699.75	c  699s |      21 |  1905964 |  1420445 |    16417    213 |        0 |        0
701.57/701.79	c  701s |      21 |  1911187 |  1424745 |    16417    213 |        0 |        0
704.17/704.39	c  704s |      21 |  1916356 |  1428645 |    16417    214 |        0 |        0
706.26/706.43	c  706s |      21 |  1922784 |  1433645 |    16417    214 |        0 |        0
708.27/708.45	c  708s |      21 |  1927780 |  1437645 |    16417    215 |        0 |        0
710.27/710.48	c  710s |      21 |  1930788 |  1439445 |    16417    215 |        0 |        0
712.37/712.52	c  712s |      21 |  1937205 |  1444045 |    16417    215 |        0 |        0
714.37/714.53	c  714s |      21 |  1940091 |  1446345 |    16417    216 |        0 |        0
716.37/716.54	c  716s |      21 |  1945026 |  1450345 |    16417    216 |        0 |        0
718.37/718.57	c  718s |      21 |  1950398 |  1454645 |    16417    217 |        0 |        0
720.48/720.61	c  720s |      21 |  1954510 |  1457745 |    16417    217 |        0 |        0
722.47/722.63	c  722s |      21 |  1959186 |  1461345 |    16417    218 |        0 |        0
724.47/724.67	c  724s |      21 |  1963025 |  1464445 |    16417    218 |        0 |        0
726.57/726.71	c  726s |      21 |  1966082 |  1467145 |    16417    218 |        0 |        0
728.57/728.75	c  728s |      21 |  1970305 |  1470545 |    16417    219 |        0 |        0
730.87/731.08	c  730s |      21 |  1975416 |  1474145 |    16417    219 |        0 |        0
732.87/733.09	c  732s |      21 |  1979301 |  1477245 |    16417    220 |        0 |        0
734.97/735.13	c  735s |      21 |  1984194 |  1481145 |    16417    220 |        0 |        0
736.97/737.16	c  737s |      21 |  1989282 |  1485245 |    16417    220 |        0 |        0
739.66/739.86	c  739s |      21 |  1992444 |  1487345 |    16417    221 |        0 |        0
741.66/741.89	c  741s |      21 |  1997256 |  1491245 |    18059    221 |        0 |        0
743.66/743.89	c  743s |      21 |  2002245 |  1495145 |    18059    221 |        0 |        0
745.67/745.89	c  745s |      21 |  2007332 |  1499145 |    18059    222 |        0 |        0
746.36/746.58	c  746s |      22 |  2009195 |  1500622 |    18059    222 |        0 |        0
748.46/748.60	c  748s |      22 |  2012940 |  1503422 |    18059    222 |        0 |        0
750.46/750.64	c  750s |      22 |  2016088 |  1506222 |    18059    223 |        0 |        0
752.46/752.66	c  752s |      22 |  2020392 |  1509622 |    18059    223 |        0 |        0
754.47/754.66	c  754s |      22 |  2024292 |  1512722 |    18059    223 |        0 |        0
756.56/756.70	c  756s |      22 |  2027424 |  1515422 |    18059    224 |        0 |        0
758.56/758.72	c  758s |      22 |  2033300 |  1519622 |    18059    224 |        0 |        0
760.66/760.84	c  760s |      22 |  2037160 |  1522722 |    18059    225 |        0 |        0
763.46/763.68	c  763s |      22 |  2040524 |  1525222 |    18059    225 |        0 |        0
765.56/765.72	c  765s |      22 |  2045584 |  1528922 |    18059    225 |        0 |        0
767.56/767.74	c  767s |      22 |  2050255 |  1532722 |    18059    226 |        0 |        0
769.56/769.75	c  769s |      22 |  2056158 |  1537322 |    18059    226 |        0 |        0
771.65/771.90	c  771s |      22 |  2060784 |  1540922 |    18059    227 |        0 |        0
773.75/773.92	c  773s |      22 |  2065992 |  1545122 |    18059    227 |        0 |        0
775.86/776.00	c  775s |      22 |  2070008 |  1548222 |    18059    227 |        0 |        0
779.96/780.18	c  780s |      22 |  2073991 |  1551422 |    18059    228 |        0 |        0
782.07/782.21	c  782s |      22 |  2079044 |  1555522 |    18059    228 |        0 |        0
784.06/784.23	c  784s |      22 |  2083618 |  1559322 |    18059    229 |        0 |        0
786.06/786.27	c  786s |      22 |  2087862 |  1562922 |    18059    229 |        0 |        0
788.16/788.32	c  788s |      22 |  2092853 |  1566822 |    18059    229 |        0 |        0
790.16/790.34	c  790s |      22 |  2096824 |  1570022 |    18059    230 |        0 |        0
792.16/792.38	c  792s |      22 |  2101156 |  1572422 |    18059    230 |        0 |        0
794.26/794.42	c  794s |      22 |  2105564 |  1576022 |    18059    230 |        0 |        0
796.26/796.43	c  796s |      22 |  2110584 |  1579822 |    18059    231 |        0 |        0
798.25/798.43	c  798s |      22 |  2116984 |  1584522 |    18059    231 |        0 |        0
800.25/800.45	c  800s |      22 |  2119065 |  1586122 |    18059    231 |        0 |        0
802.25/802.46	c  802s |      22 |  2122659 |  1589222 |    18059    232 |        0 |        0
804.25/804.49	c  804s |      22 |  2127548 |  1593222 |    18059    232 |        0 |        0
806.35/806.53	c  806s |      22 |  2131650 |  1596522 |    18059    233 |        0 |        0
808.36/808.56	c  808s |      22 |  2136666 |  1600622 |    18059    233 |        0 |        0
810.56/810.75	c  810s |      22 |  2141893 |  1604622 |    18059    234 |        0 |        0
812.55/812.76	c  812s |      22 |  2146259 |  1608222 |    18059    234 |        0 |        0
814.55/814.76	c  814s |      22 |  2150294 |  1611422 |    18059    234 |        0 |        0
816.65/816.83	c  816s |      22 |  2154390 |  1614322 |    18059    235 |        0 |        0
820.05/820.26	c  820s |      22 |  2159011 |  1617822 |    18059    235 |        0 |        0
822.05/822.29	c  822s |      22 |  2163774 |  1621722 |    18059    235 |        0 |        0
824.14/824.33	c  824s |      22 |  2168633 |  1625722 |    18059    236 |        0 |        0
826.14/826.37	c  826s |      22 |  2173276 |  1629622 |    18059    236 |        0 |        0
828.25/828.48	c  828s |      22 |  2177074 |  1632922 |    18059    237 |        0 |        0
830.35/830.51	c  830s |      22 |  2182123 |  1637322 |    18059    237 |        0 |        0
832.34/832.52	c  832s |      22 |  2185331 |  1639522 |    18059    237 |        0 |        0
834.34/834.57	c  834s |      22 |  2188625 |  1642122 |    18059    238 |        0 |        0
836.34/836.57	c  836s |      22 |  2192891 |  1645522 |    18059    238 |        0 |        0
838.34/838.59	c  838s |      22 |  2196935 |  1648822 |    18059    238 |        0 |        0
840.55/840.75	c  840s |      22 |  2198930 |  1650222 |    18059    239 |        0 |        0
842.65/842.82	c  842s |      22 |  2204138 |  1654522 |    18059    239 |        0 |        0
844.66/844.83	c  844s |      22 |  2208979 |  1658722 |    18059    239 |        0 |        0
846.65/846.86	c  846s |      22 |  2213263 |  1662122 |    18059    240 |        0 |        0
848.65/848.86	c  848s |      22 |  2217992 |  1666022 |    18059    240 |        0 |        0
850.65/850.90	c  850s |      22 |  2223413 |  1669922 |    18059    241 |        0 |        0
852.74/852.94	c  852s |      22 |  2224453 |  1670322 |    18059    241 |        0 |        0
854.74/854.95	c  854s |      22 |  2230299 |  1674922 |    18059    241 |        0 |        0
856.75/856.95	c  856s |      22 |  2235613 |  1679022 |    18059    242 |        0 |        0
859.54/859.70	c  859s |      22 |  2237817 |  1680222 |    18059    242 |        0 |        0
861.54/861.72	c  861s |      22 |  2245783 |  1684522 |    18059    242 |        0 |        0
863.54/863.75	c  863s |      22 |  2251154 |  1688422 |    18059    243 |        0 |        0
865.55/865.79	c  865s |      22 |  2256803 |  1692822 |    18059    243 |        0 |        0
867.64/867.81	c  867s |      22 |  2262660 |  1697322 |    18059    244 |        0 |        0
869.64/869.85	c  869s |      22 |  2267034 |  1700222 |    18059    244 |        0 |        0
871.64/871.86	c  871s |      22 |  2272631 |  1704322 |    18059    244 |        0 |        0
874.54/874.75	c  874s |      22 |  2277713 |  1707922 |    18059    245 |        0 |        0
876.55/876.77	c  876s |      22 |  2283454 |  1711322 |    18059    245 |        0 |        0
878.54/878.78	c  878s |      22 |  2287551 |  1714522 |    18059    246 |        0 |        0
880.64/880.84	c  880s |      22 |  2293476 |  1719122 |    18059    246 |        0 |        0
882.74/882.92	c  882s |      22 |  2298165 |  1722922 |    18059    247 |        0 |        0
885.04/885.21	c  885s |      22 |  2303303 |  1725522 |    18059    247 |        0 |        0
887.04/887.23	c  887s |      22 |  2308856 |  1729722 |    18059    247 |        0 |        0
889.04/889.25	c  889s |      22 |  2312790 |  1732722 |    18059    248 |        0 |        0
891.04/891.29	c  891s |      22 |  2318015 |  1737022 |    18059    248 |        0 |        0
893.15/893.38	c  893s |      22 |  2323383 |  1741022 |    18059    249 |        0 |        0
895.25/895.40	c  895s |      22 |  2329409 |  1745122 |    18059    249 |        0 |        0
897.34/897.52	c  897s |      22 |  2334782 |  1749022 |    18059    249 |        0 |        0
899.34/899.54	c  899s |      22 |  2339709 |  1752522 |    18059    250 |        0 |        0
901.54/901.79	c  901s |      22 |  2345646 |  1756922 |    18059    250 |        0 |        0
903.64/903.82	c  903s |      22 |  2350596 |  1760222 |    18059    251 |        0 |        0
905.64/905.87	c  905s |      22 |  2355770 |  1764522 |    18059    251 |        0 |        0
907.64/907.89	c  907s |      22 |  2360810 |  1768522 |    18059    252 |        0 |        0
909.73/909.90	c  909s |      22 |  2367532 |  1772922 |    18059    252 |        0 |        0
911.74/911.93	c  911s |      22 |  2373294 |  1776922 |    18059    252 |        0 |        0
913.73/913.94	c  913s |      22 |  2377576 |  1780122 |    18059    253 |        0 |        0
915.73/915.96	c  915s |      22 |  2381754 |  1782422 |    18059    253 |        0 |        0
917.73/917.98	c  917s |      22 |  2385794 |  1785822 |    18059    253 |        0 |        0
919.73/919.99	c  919s |      22 |  2389659 |  1789022 |    18059    254 |        0 |        0
921.83/922.04	c  921s |      22 |  2394125 |  1792522 |    18059    254 |        0 |        0
923.94/924.19	c  924s |      22 |  2398883 |  1796122 |    18059    255 |        0 |        0
926.24/926.49	c  926s |      22 |  2403038 |  1799122 |    18059    255 |        0 |        0
928.24/928.50	c  928s |      22 |  2408666 |  1803122 |    18059    255 |        0 |        0
930.34/930.54	c  930s |      22 |  2413398 |  1806722 |    18059    256 |        0 |        0
932.34/932.55	c  932s |      22 |  2418650 |  1810822 |    18059    256 |        0 |        0
934.63/934.83	c  934s |      22 |  2419826 |  1811722 |    18059    256 |        0 |        0
936.63/936.87	c  936s |      22 |  2424358 |  1814822 |    18059    257 |        0 |        0
938.63/938.89	c  938s |      22 |  2430455 |  1819222 |    18059    257 |        0 |        0
940.73/940.92	c  940s |      22 |  2435367 |  1822922 |    18059    258 |        0 |        0
942.73/942.92	c  942s |      22 |  2440795 |  1827022 |    18059    258 |        0 |        0
944.74/944.93	c  944s |      22 |  2445589 |  1830822 |    18059    258 |        0 |        0
947.73/947.93	c  947s |      22 |  2447994 |  1831822 |    18059    259 |        0 |        0
949.72/949.97	c  949s |      22 |  2453666 |  1835822 |    18059    259 |        0 |        0
951.72/951.97	c  951s |      22 |  2459388 |  1840022 |    18059    259 |        0 |        0
953.82/954.00	c  953s |      22 |  2464313 |  1843822 |    18059    260 |        0 |        0
955.73/956.00	c  955s |      22 |  2469467 |  1847622 |    18059    260 |        0 |        0
957.83/958.08	c  957s |      22 |  2473201 |  1850322 |    18059    261 |        0 |        0
959.93/960.11	c  959s |      22 |  2479039 |  1854822 |    18059    261 |        0 |        0
961.93/962.13	c  962s |      22 |  2484901 |  1858622 |    18059    261 |        0 |        0
963.93/964.14	c  964s |      22 |  2489969 |  1862322 |    18059    262 |        0 |        0
967.33/967.52	c  967s |      22 |  2494127 |  1863622 |    18059    262 |        0 |        0
969.33/969.54	c  969s |      22 |  2499097 |  1867222 |    18059    262 |        0 |        0
971.33/971.56	c  971s |      22 |  2503861 |  1870922 |    18059    263 |        0 |        0
973.43/973.63	c  973s |      22 |  2509236 |  1875122 |    18059    263 |        0 |        0
975.53/975.73	c  975s |      22 |  2513786 |  1878922 |    18059    264 |        0 |        0
977.53/977.76	c  977s |      22 |  2519541 |  1883022 |    18059    264 |        0 |        0
979.52/979.78	c  979s |      22 |  2524288 |  1886722 |    18059    265 |        0 |        0
981.62/981.82	c  981s |      22 |  2531195 |  1891822 |    18059    265 |        0 |        0
984.33/984.53	c  984s |      22 |  2533327 |  1893422 |    18059    265 |        0 |        0
987.12/987.34	c  987s |      22 |  2538037 |  1897222 |    18059    266 |        0 |        0
989.12/989.38	c  989s |      22 |  2544174 |  1901922 |    18059    266 |        0 |        0
991.72/991.99	c  991s |      22 |  2549346 |  1905722 |    18059    267 |        0 |        0
993.82/994.01	c  993s |      22 |  2555644 |  1910322 |    18059    267 |        0 |        0
995.82/996.03	c  995s |      22 |  2560509 |  1914222 |    18059    268 |        0 |        0
998.22/998.41	c  998s |      22 |  2565340 |  1917522 |    18059    268 |        0 |        0
1000.23/1000.45	c 1000s |      22 |  2572656 |  1921722 |    18059    268 |        0 |        0
1002.23/1002.49	c 1002s |      22 |  2577867 |  1925522 |    18059    269 |        0 |        0
1004.33/1004.53	c 1004s |      22 |  2583309 |  1929822 |    18059    269 |        0 |        0
1006.33/1006.54	c 1006s |      22 |  2588959 |  1934022 |    18059    270 |        0 |        0
1008.32/1008.57	c 1008s |      22 |  2593936 |  1937922 |    18059    270 |        0 |        0
1010.42/1010.61	c 1010s |      22 |  2598808 |  1941722 |    18059    271 |        0 |        0
1013.32/1013.52	c 1013s |      22 |  2603659 |  1945522 |    18059    271 |        0 |        0
1015.32/1015.54	c 1015s |      22 |  2607712 |  1949122 |    18059    271 |        0 |        0
1017.33/1017.54	c 1017s |      22 |  2613280 |  1953322 |    18059    272 |        0 |        0
1019.32/1019.58	c 1019s |      22 |  2619463 |  1957622 |    18059    272 |        0 |        0
1021.72/1021.91	c 1021s |      22 |  2621447 |  1959022 |    18059    273 |        0 |        0
1023.71/1023.92	c 1023s |      22 |  2626132 |  1962822 |    18059    273 |        0 |        0
1025.71/1025.97	c 1025s |      22 |  2632028 |  1967422 |    18059    273 |        0 |        0
1027.81/1028.01	c 1027s |      22 |  2637267 |  1971522 |    18059    274 |        0 |        0
1029.81/1030.03	c 1029s |      22 |  2643509 |  1975922 |    18059    274 |        0 |        0
1031.81/1032.06	c 1031s |      22 |  2646472 |  1978122 |    18059    275 |        0 |        0
1033.91/1034.10	c 1033s |      22 |  2650629 |  1980822 |    18059    275 |        0 |        0
1035.91/1036.11	c 1036s |      22 |  2655952 |  1985022 |    18059    275 |        0 |        0
1037.91/1038.12	c 1038s |      22 |  2661463 |  1988822 |    18059    276 |        0 |        0
1039.90/1040.14	c 1040s |      22 |  2667239 |  1993422 |    18059    276 |        0 |        0
1041.90/1042.15	c 1042s |      22 |  2672204 |  1996622 |    18059    277 |        0 |        0
1043.90/1044.18	c 1044s |      22 |  2678427 |  2001022 |    18059    277 |        0 |        0
1046.21/1046.49	c 1046s |      22 |  2684322 |  2004422 |    18059    278 |        0 |        0
1048.31/1048.50	c 1048s |      22 |  2691641 |  2009722 |    18059    278 |        0 |        0
1050.41/1050.62	c 1050s |      22 |  2696343 |  2013422 |    18059    279 |        0 |        0
1052.40/1052.63	c 1052s |      22 |  2701652 |  2017522 |    18059    279 |        0 |        0
1054.40/1054.67	c 1054s |      22 |  2706636 |  2021422 |    18059    279 |        0 |        0
1056.40/1056.69	c 1056s |      22 |  2711642 |  2025322 |    18059    280 |        0 |        0
1058.50/1058.70	c 1058s |      22 |  2717794 |  2029922 |    18059    280 |        0 |        0
1060.50/1060.71	c 1060s |      22 |  2722786 |  2033422 |    18059    281 |        0 |        0
1062.51/1062.72	c 1062s |      22 |  2726791 |  2035722 |    18059    281 |        0 |        0
1064.50/1064.73	c 1064s |      22 |  2732240 |  2039722 |    18059    281 |        0 |        0
1066.50/1066.77	c 1066s |      22 |  2738215 |  2044222 |    18059    282 |        0 |        0
1069.60/1069.87	c 1069s |      22 |  2743400 |  2047522 |    18059    282 |        0 |        0
1071.60/1071.88	c 1071s |      22 |  2748354 |  2050222 |    18059    283 |        0 |        0
1073.70/1073.91	c 1073s |      22 |  2755025 |  2054222 |    18059    283 |        0 |        0
1075.71/1075.94	c 1075s |      22 |  2761209 |  2058622 |    18059    283 |        0 |        0
1077.70/1077.95	c 1077s |      22 |  2766860 |  2062722 |    18059    284 |        0 |        0
1079.70/1079.97	c 1079s |      22 |  2773321 |  2067522 |    18059    284 |        0 |        0
1081.80/1082.01	c 1081s |      22 |  2779006 |  2071822 |    18059    285 |        0 |        0
1083.80/1084.08	c 1083s |      22 |  2785112 |  2075822 |    18059    285 |        0 |        0
1085.90/1086.10	c 1085s |      22 |  2789690 |  2079322 |    18059    286 |        0 |        0
1087.89/1088.16	c 1088s |      22 |  2795616 |  2083822 |    18059    286 |        0 |        0
1089.90/1090.16	c 1090s |      22 |  2800712 |  2087922 |    18059    287 |        0 |        0
1091.89/1092.18	c 1092s |      22 |  2805730 |  2091922 |    18059    287 |        0 |        0
1093.89/1094.18	c 1094s |      22 |  2811129 |  2095922 |    18059    288 |        0 |        0
1097.19/1097.44	c 1097s |      22 |  2813862 |  2097822 |    18059    288 |        0 |        0
1099.28/1099.51	c 1099s |      22 |  2819074 |  2102122 |    18059    288 |        0 |        0
1101.28/1101.51	c 1101s |      22 |  2823909 |  2106122 |    18059    289 |        0 |        0
1103.28/1103.55	c 1103s |      22 |  2829647 |  2110122 |    18059    289 |        0 |        0
1105.58/1105.81	c 1105s |      22 |  2834404 |  2113422 |    18059    290 |        0 |        0
1107.59/1107.81	c 1107s |      22 |  2840830 |  2118222 |    18059    290 |        0 |        0
1109.58/1109.83	c 1109s |      22 |  2845724 |  2122022 |    18059    290 |        0 |        0
1111.59/1111.86	c 1111s |      22 |  2849887 |  2125122 |    18059    291 |        0 |        0
1113.58/1113.86	c 1113s |      22 |  2856071 |  2128722 |    18059    291 |        0 |        0
1115.58/1115.87	c 1115s |      22 |  2859926 |  2131122 |    18059    291 |        0 |        0
1117.58/1117.88	c 1117s |      22 |  2864551 |  2134222 |    18059    292 |        0 |        0
1119.68/1119.94	c 1119s |      22 |  2870153 |  2138422 |    18059    292 |        0 |        0
1121.68/1121.95	c 1121s |      22 |  2874668 |  2142022 |    18059    293 |        0 |        0
1123.67/1123.96	c 1123s |      22 |  2879594 |  2146022 |    18059    293 |        0 |        0
1125.67/1125.98	c 1125s |      22 |  2884986 |  2150022 |    18059    294 |        0 |        0
1127.77/1128.01	c 1127s |      22 |  2890785 |  2154422 |    18059    294 |        0 |        0
1129.87/1130.16	c 1130s |      22 |  2895986 |  2158622 |    18059    295 |        0 |        0
1132.27/1132.58	c 1132s |      22 |  2900129 |  2161722 |    18059    295 |        0 |        0
1134.38/1134.60	c 1134s |      22 |  2905445 |  2165922 |    18059    295 |        0 |        0
1136.38/1136.62	c 1136s |      22 |  2910913 |  2170222 |    18059    296 |        0 |        0
1139.17/1139.43	c 1139s |      22 |  2914444 |  2172922 |    18059    296 |        0 |        0
1141.27/1141.54	c 1141s |      22 |  2919305 |  2176822 |    18059    297 |        0 |        0
1143.27/1143.55	c 1143s |      22 |  2925409 |  2181522 |    18059    297 |        0 |        0
1145.37/1145.60	c 1145s |      22 |  2930966 |  2185822 |    18059    297 |        0 |        0
1147.37/1147.65	c 1147s |      22 |  2935428 |  2189322 |    18059    298 |        0 |        0
1149.37/1149.67	c 1149s |      22 |  2936374 |  2189622 |    18059    298 |        0 |        0
1151.47/1151.71	c 1151s |      22 |  2941969 |  2193622 |    18059    298 |        0 |        0
1153.46/1153.72	c 1153s |      22 |  2947153 |  2197522 |    18059    299 |        0 |        0
1155.46/1155.73	c 1155s |      22 |  2952197 |  2201422 |    18059    299 |        0 |        0
1157.46/1157.76	c 1157s |      22 |  2953918 |  2202722 |    18059    299 |        0 |        0
1159.46/1159.79	c 1159s |      22 |  2958725 |  2206322 |    18059    300 |        0 |        0
1161.56/1161.83	c 1161s |      22 |  2964569 |  2210322 |    18059    300 |        0 |        0
1163.57/1163.83	c 1163s |      22 |  2969486 |  2214322 |    18059    301 |        0 |        0
1165.56/1165.85	c 1165s |      22 |  2976086 |  2219022 |    18059    301 |        0 |        0
1167.56/1167.87	c 1167s |      22 |  2981301 |  2222722 |    18059    302 |        0 |        0
1169.65/1169.90	c 1169s |      22 |  2986498 |  2226422 |    18059    302 |        0 |        0
1171.95/1172.22	c 1172s |      22 |  2994352 |  2230422 |    18059    302 |        0 |        0
1173.96/1174.23	c 1174s |      22 |  2998540 |  2233422 |    18059    303 |        0 |        0
1175.96/1176.26	c 1176s |      22 |  3003637 |  2237522 |    19865    303 |        0 |        0
1177.97/1178.28	c 1178s |      22 |  3007999 |  2241122 |    19865    303 |        0 |        0
1180.06/1180.33	c 1180s |      22 |  3012062 |  2244322 |    19865    304 |        0 |        0
1182.06/1182.33	c 1182s |      22 |  3017575 |  2248122 |    19865    304 |        0 |        0
1183.86/1184.14	c 1184s |      23 |  3022215 |  2251038 |    19865    304 |        0 |        0
1185.85/1186.14	c 1186s |      23 |  3025633 |  2253638 |    19865    305 |        0 |        0
1187.86/1188.19	c 1188s |      23 |  3031066 |  2257938 |    19865    305 |        0 |        0
1189.96/1190.21	c 1190s |      23 |  3036333 |  2261938 |    19865    305 |        0 |        0
1191.95/1192.26	c 1192s |      23 |  3040884 |  2265138 |    19865    306 |        0 |        0
1193.95/1194.28	c 1194s |      23 |  3046559 |  2269138 |    19865    306 |        0 |        0
1196.15/1196.49	c 1196s |      23 |  3051271 |  2272138 |    19865    307 |        0 |        0
1198.25/1198.53	c 1198s |      23 |  3057505 |  2276638 |    19865    307 |        0 |        0
1200.25/1200.59	c 1200s |      23 |  3063250 |  2280938 |    19865    307 |        0 |        0
1202.35/1202.61	c 1202s |      23 |  3065360 |  2282138 |    19865    308 |        0 |        0
1204.35/1204.62	c 1204s |      23 |  3070412 |  2285638 |    19865    308 |        0 |        0
1206.34/1206.65	c 1206s |      23 |  3076472 |  2289638 |    19865    308 |        0 |        0
1208.34/1208.66	c 1208s |      23 |  3081969 |  2293238 |    19865    309 |        0 |        0
1210.34/1210.69	c 1210s |      23 |  3088461 |  2297838 |    19865    309 |        0 |        0
1212.44/1212.71	c 1212s |      23 |  3094267 |  2301838 |    19865    309 |        0 |        0
1214.44/1214.73	c 1214s |      23 |  3098160 |  2304438 |    19865    310 |        0 |        0
1216.45/1216.78	c 1216s |      23 |  3104360 |  2309038 |    19865    310 |        0 |        0
1218.44/1218.79	c 1218s |      23 |  3108890 |  2312238 |    19865    311 |        0 |        0
1220.54/1220.82	c 1220s |      23 |  3115431 |  2316538 |    19865    311 |        0 |        0
1222.54/1222.83	c 1222s |      23 |  3121132 |  2320538 |    19865    311 |        0 |        0
1224.53/1224.84	c 1224s |      23 |  3126329 |  2323438 |    19865    312 |        0 |        0
1227.13/1227.44	c 1227s |      23 |  3130820 |  2326738 |    19865    312 |        0 |        0
1229.13/1229.45	c 1229s |      23 |  3135505 |  2330638 |    19865    312 |        0 |        0
1231.23/1231.51	c 1231s |      23 |  3139620 |  2334238 |    19865    313 |        0 |        0
1233.23/1233.54	c 1233s |      23 |  3144280 |  2338438 |    19865    313 |        0 |        0
1235.24/1235.58	c 1235s |      23 |  3148282 |  2341938 |    19865    314 |        0 |        0
1237.74/1238.09	c 1237s |      23 |  3153919 |  2346438 |    19865    314 |        0 |        0
1239.83/1240.10	c 1239s |      23 |  3158845 |  2350338 |    19865    314 |        0 |        0
1243.73/1244.07	c 1243s |      23 |  3163681 |  2353938 |    19865    315 |        0 |        0
1245.73/1246.09	c 1245s |      23 |  3169417 |  2358238 |    19865    315 |        0 |        0
1247.83/1248.17	c 1248s |      23 |  3174531 |  2362138 |    19865    316 |        0 |        0
1249.83/1250.19	c 1250s |      23 |  3175881 |  2362838 |    19865    316 |        0 |        0
1251.82/1252.19	c 1252s |      23 |  3182345 |  2367438 |    19865    316 |        0 |        0
1253.92/1254.22	c 1254s |      23 |  3187747 |  2371638 |    19865    316 |        0 |        0
1255.94/1256.23	c 1256s |      23 |  3189736 |  2373038 |    19865    317 |        0 |        0
1257.93/1258.25	c 1258s |      23 |  3195911 |  2377638 |    19865    317 |        0 |        0
1260.03/1260.31	c 1260s |      23 |  3201785 |  2381838 |    19865    318 |        0 |        0
1262.03/1262.35	c 1262s |      23 |  3207613 |  2386038 |    19865    318 |        0 |        0
1264.02/1264.36	c 1264s |      23 |  3210894 |  2388238 |    19865    318 |        0 |        0
1266.22/1266.50	c 1266s |      23 |  3215948 |  2391838 |    19865    319 |        0 |        0
1268.22/1268.52	c 1268s |      23 |  3221881 |  2396038 |    19865    319 |        0 |        0
1270.22/1270.56	c 1270s |      23 |  3228231 |  2400638 |    19865    319 |        0 |        0
1273.01/1273.34	c 1273s |      23 |  3232969 |  2403638 |    19865    320 |        0 |        0
1275.01/1275.35	c 1275s |      23 |  3237526 |  2407638 |    19865    320 |        0 |        0
1277.01/1277.38	c 1277s |      23 |  3242085 |  2411338 |    19865    320 |        0 |        0
1279.02/1279.40	c 1279s |      23 |  3247233 |  2415238 |    19865    321 |        0 |        0
1281.11/1281.44	c 1281s |      23 |  3254409 |  2420038 |    19865    321 |        0 |        0
1283.11/1283.47	c 1283s |      23 |  3259059 |  2423138 |    19865    322 |        0 |        0
1285.21/1285.51	c 1285s |      23 |  3264575 |  2427238 |    19865    322 |        0 |        0
1287.21/1287.54	c 1287s |      23 |  3270385 |  2431538 |    19865    322 |        0 |        0
1291.12/1291.47	c 1291s |      23 |  3277009 |  2435438 |    19865    323 |        0 |        0
1293.11/1293.50	c 1293s |      23 |  3283417 |  2440038 |    19865    323 |        0 |        0
1295.21/1295.50	c 1295s |      23 |  3288345 |  2443938 |    19865    324 |        0 |        0
1297.21/1297.53	c 1297s |      23 |  3292805 |  2447338 |    19865    324 |        0 |        0
1299.21/1299.56	c 1299s |      23 |  3298695 |  2451538 |    19865    324 |        0 |        0
1301.31/1301.60	c 1301s |      23 |  3302204 |  2454238 |    19865    325 |        0 |        0
1303.21/1303.60	c 1303s |      23 |  3307864 |  2458638 |    19865    325 |        0 |        0
1305.41/1305.74	c 1305s |      23 |  3311910 |  2461638 |    19865    326 |        0 |        0
1307.40/1307.77	c 1307s |      23 |  3315628 |  2464438 |    19865    326 |        0 |        0
1309.40/1309.78	c 1309s |      23 |  3320805 |  2468538 |    19865    326 |        0 |        0
1311.50/1311.81	c 1311s |      23 |  3325518 |  2472038 |    19865    327 |        0 |        0
1313.50/1313.83	c 1313s |      23 |  3331043 |  2476138 |    19865    327 |        0 |        0
1315.50/1315.84	c 1315s |      23 |  3335540 |  2479838 |    19865    327 |        0 |        0
1317.60/1317.95	c 1317s |      23 |  3340432 |  2483438 |    19865    328 |        0 |        0
1319.59/1319.97	c 1319s |      23 |  3345016 |  2487238 |    19865    328 |        0 |        0
1321.59/1321.97	c 1321s |      23 |  3349189 |  2490438 |    19865    328 |        0 |        0
1324.59/1324.91	c 1324s |      23 |  3351567 |  2492338 |    19865    329 |        0 |        0
1326.70/1327.02	c 1326s |      23 |  3356489 |  2495738 |    19865    329 |        0 |        0
1328.70/1329.02	c 1328s |      23 |  3362080 |  2500238 |    19865    329 |        0 |        0
1330.70/1331.05	c 1330s |      23 |  3367949 |  2504738 |    19865    330 |        0 |        0
1332.69/1333.06	c 1332s |      23 |  3373538 |  2509238 |    19865    330 |        0 |        0
1334.89/1335.22	c 1335s |      23 |  3377320 |  2511938 |    19865    331 |        0 |        0
1336.89/1337.23	c 1337s |      23 |  3385311 |  2517738 |    19865    331 |        0 |        0
1339.79/1340.10	c 1339s |      23 |  3390138 |  2521338 |    19865    331 |        0 |        0
1341.79/1342.10	c 1341s |      23 |  3394795 |  2525038 |    19865    332 |        0 |        0
1343.79/1344.14	c 1344s |      23 |  3400055 |  2529238 |    19865    332 |        0 |        0
1346.79/1347.10	c 1346s |      23 |  3405154 |  2533238 |    19865    333 |        0 |        0
1348.89/1349.25	c 1349s |      23 |  3410693 |  2537838 |    19865    333 |        0 |        0
1350.89/1351.28	c 1351s |      23 |  3415396 |  2541538 |    19865    334 |        0 |        0
1352.99/1353.30	c 1353s |      23 |  3420258 |  2545238 |    19865    334 |        0 |        0
1354.99/1355.33	c 1355s |      23 |  3425876 |  2549838 |    19865    334 |        0 |        0
1356.99/1357.34	c 1357s |      23 |  3432002 |  2554138 |    19865    335 |        0 |        0
1359.08/1359.40	c 1359s |      23 |  3432520 |  2554538 |    19865    335 |        0 |        0
1361.08/1361.45	c 1361s |      23 |  3439330 |  2559638 |    19865    335 |        0 |        0
1363.18/1363.50	c 1363s |      23 |  3444450 |  2563738 |    19865    336 |        0 |        0
1365.18/1365.53	c 1365s |      23 |  3447494 |  2565638 |    19865    336 |        0 |        0
1367.18/1367.55	c 1367s |      23 |  3453346 |  2570338 |    19865    336 |        0 |        0
1369.19/1369.56	c 1369s |      23 |  3460004 |  2574738 |    19865    337 |        0 |        0
1371.18/1371.59	c 1371s |      23 |  3467914 |  2580538 |    19865    337 |        0 |        0
1373.68/1374.02	c 1373s |      23 |  3470218 |  2582038 |    19865    338 |        0 |        0
1375.68/1376.03	c 1375s |      23 |  3476809 |  2587338 |    19865    338 |        0 |        0
1377.68/1378.05	c 1377s |      23 |  3482496 |  2591238 |    19865    338 |        0 |        0
1379.67/1380.07	c 1379s |      23 |  3487630 |  2595338 |    19865    339 |        0 |        0
1381.67/1382.08	c 1381s |      23 |  3492105 |  2599338 |    19865    339 |        0 |        0
1383.77/1384.10	c 1383s |      23 |  3496004 |  2602638 |    19865    340 |        0 |        0
1385.78/1386.11	c 1386s |      23 |  3500815 |  2606838 |    19865    340 |        0 |        0
1387.77/1388.14	c 1388s |      23 |  3504668 |  2609938 |    19865    340 |        0 |        0
1389.76/1390.17	c 1390s |      23 |  3508708 |  2613338 |    19865    341 |        0 |        0
1391.76/1392.19	c 1392s |      23 |  3513202 |  2617138 |    19865    341 |        0 |        0
1393.86/1394.23	c 1394s |      23 |  3517897 |  2621038 |    19865    341 |        0 |        0
1395.86/1396.25	c 1396s |      23 |  3522320 |  2624738 |    19865    342 |        0 |        0
1399.26/1399.69	c 1399s |      23 |  3526759 |  2627738 |    19865    342 |        0 |        0
1401.36/1401.73	c 1401s |      23 |  3530700 |  2631138 |    19865    342 |        0 |        0
1403.45/1403.82	c 1403s |      23 |  3535432 |  2635038 |    19865    343 |        0 |        0
1405.46/1405.83	c 1405s |      23 |  3540795 |  2639538 |    19865    343 |        0 |        0
1407.45/1407.83	c 1407s |      23 |  3544895 |  2642838 |    19865    344 |        0 |        0
1409.45/1409.85	c 1409s |      23 |  3550366 |  2647138 |    19865    344 |        0 |        0
1411.45/1411.86	c 1411s |      23 |  3556017 |  2651638 |    19865    345 |        0 |        0
1415.15/1415.53	c 1415s |      23 |  3562694 |  2656438 |    19865    345 |        0 |        0
1417.15/1417.55	c 1417s |      23 |  3570005 |  2660938 |    19865    345 |        0 |        0
1420.16/1420.58	c 1420s |      23 |  3572981 |  2663038 |    19865    346 |        0 |        0
1422.25/1422.63	c 1422s |      23 |  3577753 |  2666938 |    19865    346 |        0 |        0
1424.26/1424.66	c 1424s |      23 |  3582885 |  2671038 |    19865    346 |        0 |        0
1426.25/1426.69	c 1426s |      23 |  3587595 |  2674838 |    19865    347 |        0 |        0
1428.35/1428.73	c 1428s |      23 |  3594076 |  2678938 |    19865    347 |        0 |        0
1430.35/1430.76	c 1430s |      23 |  3598443 |  2682238 |    19865    348 |        0 |        0
1432.35/1432.77	c 1432s |      23 |  3604635 |  2686438 |    19865    348 |        0 |        0
1434.45/1434.81	c 1434s |      23 |  3611854 |  2691138 |    19865    348 |        0 |        0
1436.45/1436.88	c 1436s |      23 |  3617723 |  2694238 |    19865    349 |        0 |        0
1438.45/1438.88	c 1438s |      23 |  3623319 |  2698638 |    19865    349 |        0 |        0
1440.55/1440.90	c 1440s |      23 |  3628166 |  2702538 |    19865    350 |        0 |        0
1442.54/1442.95	c 1442s |      23 |  3633987 |  2706638 |    19865    350 |        0 |        0
1444.54/1444.95	c 1444s |      23 |  3639297 |  2710638 |    19865    350 |        0 |        0
1446.54/1446.99	c 1446s |      23 |  3645087 |  2714938 |    19865    351 |        0 |        0
1448.64/1449.01	c 1448s |      23 |  3650539 |  2719038 |    19865    351 |        0 |        0
1450.65/1451.05	c 1450s |      23 |  3655095 |  2722038 |    19865    352 |        0 |        0
1452.64/1453.06	c 1452s |      23 |  3660835 |  2726338 |    19865    352 |        0 |        0
1454.64/1455.10	c 1454s |      23 |  3666063 |  2730238 |    19865    352 |        0 |        0
1456.64/1457.10	c 1456s |      23 |  3670068 |  2733238 |    19865    353 |        0 |        0
1458.74/1459.13	c 1459s |      23 |  3675389 |  2737038 |    19865    353 |        0 |        0
1460.73/1461.15	c 1461s |      23 |  3680340 |  2740738 |    19865    353 |        0 |        0
1462.74/1463.18	c 1463s |      23 |  3683993 |  2743638 |    19865    354 |        0 |        0
1464.84/1465.21	c 1465s |      23 |  3687407 |  2745938 |    19865    354 |        0 |        0
1466.83/1467.26	c 1467s |      23 |  3691131 |  2749138 |    19865    354 |        0 |        0
1468.94/1469.35	c 1469s |      23 |  3695755 |  2752738 |    19865    355 |        0 |        0
1470.94/1471.35	c 1471s |      23 |  3701890 |  2757138 |    19865    355 |        0 |        0
1472.94/1473.40	c 1473s |      23 |  3706625 |  2760838 |    19865    355 |        0 |        0
1475.03/1475.40	c 1475s |      23 |  3710306 |  2763738 |    19865    356 |        0 |        0
1477.04/1477.43	c 1477s |      23 |  3715436 |  2767838 |    19865    356 |        0 |        0
1479.03/1479.49	c 1479s |      23 |  3719652 |  2771138 |    19865    357 |        0 |        0
1481.13/1481.52	c 1481s |      23 |  3725707 |  2775838 |    19865    357 |        0 |        0
1483.12/1483.54	c 1483s |      23 |  3726477 |  2776238 |    19865    357 |        0 |        0
1485.12/1485.56	c 1485s |      23 |  3732587 |  2780638 |    19865    357 |        0 |        0
1487.12/1487.56	c 1487s |      23 |  3737479 |  2784338 |    19865    358 |        0 |        0
1489.13/1489.59	c 1489s |      23 |  3742348 |  2788038 |    19865    358 |        0 |        0
1491.22/1491.61	c 1491s |      23 |  3747047 |  2791638 |    19865    359 |        0 |        0
1493.22/1493.63	c 1493s |      23 |  3751179 |  2794738 |    19865    359 |        0 |        0
1495.21/1495.66	c 1495s |      23 |  3754720 |  2796738 |    19865    359 |        0 |        0
1497.42/1497.80	c 1497s |      23 |  3760497 |  2800938 |    19865    360 |        0 |        0
1499.42/1499.86	c 1499s |      23 |  3765458 |  2804538 |    19865    360 |        0 |        0
1501.42/1501.86	c 1501s |      23 |  3770326 |  2808338 |    19865    360 |        0 |        0
1503.42/1503.87	c 1503s |      23 |  3775880 |  2812538 |    19865    361 |        0 |        0
1505.52/1505.93	c 1505s |      23 |  3781928 |  2817038 |    19865    361 |        0 |        0
1507.91/1508.39	c 1508s |      23 |  3784621 |  2819238 |    19865    361 |        0 |        0
1510.02/1510.42	c 1510s |      23 |  3788602 |  2822338 |    19865    362 |        0 |        0
1512.01/1512.44	c 1512s |      23 |  3794174 |  2826838 |    19865    362 |        0 |        0
1514.01/1514.47	c 1514s |      23 |  3799064 |  2830638 |    19865    362 |        0 |        0
1516.11/1516.50	c 1516s |      23 |  3803677 |  2834338 |    19865    363 |        0 |        0
1518.11/1518.50	c 1518s |      23 |  3808645 |  2837938 |    19865    363 |        0 |        0
1520.10/1520.54	c 1520s |      23 |  3812789 |  2841138 |    19865    364 |        0 |        0
1522.10/1522.56	c 1522s |      23 |  3818891 |  2845538 |    19865    364 |        0 |        0
1524.40/1524.89	c 1524s |      23 |  3824476 |  2849738 |    19865    364 |        0 |        0
1526.50/1526.93	c 1526s |      23 |  3829967 |  2853238 |    19865    365 |        0 |        0
1528.50/1528.95	c 1528s |      23 |  3834657 |  2856838 |    19865    365 |        0 |        0
1530.49/1530.97	c 1530s |      23 |  3839350 |  2860738 |    19865    366 |        0 |        0
1532.49/1532.99	c 1532s |      23 |  3843629 |  2864038 |    19865    366 |        0 |        0
1534.59/1535.01	c 1534s |      23 |  3849711 |  2868538 |    19865    366 |        0 |        0
1536.59/1537.01	c 1536s |      23 |  3854970 |  2872538 |    19865    367 |        0 |        0
1539.09/1539.51	c 1539s |      23 |  3858338 |  2874538 |    19865    367 |        0 |        0
1541.08/1541.53	c 1541s |      23 |  3863106 |  2878138 |    19865    367 |        0 |        0
1543.09/1543.57	c 1543s |      23 |  3868472 |  2882238 |    19865    368 |        0 |        0
1545.10/1545.60	c 1545s |      23 |  3875238 |  2887138 |    19865    368 |        0 |        0
1547.19/1547.61	c 1547s |      23 |  3880310 |  2891138 |    19865    369 |        0 |        0
1549.19/1549.65	c 1549s |      23 |  3882869 |  2892938 |    19865    369 |        0 |        0
1551.18/1551.68	c 1551s |      23 |  3889615 |  2897638 |    19865    369 |        0 |        0
1553.28/1553.71	c 1553s |      23 |  3894240 |  2900938 |    19865    370 |        0 |        0
1555.28/1555.72	c 1555s |      23 |  3900491 |  2905438 |    19865    370 |        0 |        0
1557.29/1557.75	c 1557s |      23 |  3906875 |  2909738 |    19865    370 |        0 |        0
1559.28/1559.78	c 1559s |      23 |  3911161 |  2912338 |    19865    371 |        0 |        0
1561.37/1561.81	c 1561s |      23 |  3917574 |  2917238 |    19865    371 |        0 |        0
1563.37/1563.85	c 1563s |      23 |  3922544 |  2920538 |    19865    372 |        0 |        0
1565.37/1565.86	c 1565s |      23 |  3929819 |  2925538 |    19865    372 |        0 |        0
1567.38/1567.87	c 1567s |      23 |  3936987 |  2930438 |    19865    372 |        0 |        0
1569.39/1569.88	c 1569s |      23 |  3942393 |  2934138 |    19865    373 |        0 |        0
1571.48/1571.91	c 1571s |      23 |  3948017 |  2938438 |    19865    373 |        0 |        0
1573.58/1574.05	c 1573s |      23 |  3953186 |  2942238 |    19865    374 |        0 |        0
1576.17/1576.68	c 1576s |      23 |  3953668 |  2942338 |    19865    374 |        0 |        0
1578.18/1578.69	c 1578s |      23 |  3959897 |  2946838 |    19865    374 |        0 |        0
1580.27/1580.79	c 1580s |      23 |  3965318 |  2951138 |    19865    375 |        0 |        0
1582.36/1582.82	c 1582s |      23 |  3971044 |  2955838 |    19865    375 |        0 |        0
1584.36/1584.87	c 1584s |      23 |  3977070 |  2960338 |    19865    375 |        0 |        0
1586.46/1586.91	c 1586s |      23 |  3982021 |  2964138 |    19865    376 |        0 |        0
1588.47/1588.96	c 1588s |      23 |  3988595 |  2968738 |    19865    376 |        0 |        0
1590.86/1591.38	c 1591s |      23 |  3992303 |  2971338 |    19865    377 |        0 |        0
1592.86/1593.39	c 1593s |      23 |  3998890 |  2975538 |    19865    377 |        0 |        0
1594.96/1595.42	c 1595s |      23 |  4005744 |  2979738 |    19865    377 |        0 |        0
1596.96/1597.45	c 1597s |      23 |  4010753 |  2983238 |    19865    378 |        0 |        0
1598.97/1599.46	c 1599s |      23 |  4016551 |  2987838 |    19865    378 |        0 |        0
1600.96/1601.48	c 1601s |      23 |  4021739 |  2991638 |    19865    379 |        0 |        0
1602.96/1603.49	c 1603s |      23 |  4027879 |  2996438 |    19865    379 |        0 |        0
1605.06/1605.51	c 1605s |      23 |  4033287 |  3000538 |    19865    380 |        0 |        0
1607.06/1607.53	c 1607s |      23 |  4039976 |  3005638 |    19865    380 |        0 |        0
1609.65/1610.10	c 1609s |      23 |  4043456 |  3008338 |    19865    380 |        0 |        0
1611.65/1612.14	c 1612s |      23 |  4047985 |  3012138 |    19865    381 |        0 |        0
1613.65/1614.14	c 1614s |      23 |  4054138 |  3016838 |    19865    381 |        0 |        0
1615.65/1616.19	c 1616s |      23 |  4059759 |  3021038 |    19865    382 |        0 |        0
1617.76/1618.20	c 1618s |      23 |  4066668 |  3025738 |    19865    382 |        0 |        0
1619.76/1620.24	c 1620s |      23 |  4070020 |  3027838 |    19865    382 |        0 |        0
1621.76/1622.28	c 1622s |      23 |  4074712 |  3031338 |    19865    383 |        0 |        0
1623.76/1624.28	c 1624s |      23 |  4080452 |  3036038 |    19865    383 |        0 |        0
1625.96/1626.42	c 1626s |      23 |  4086218 |  3040338 |    19865    384 |        0 |        0
1627.96/1628.44	c 1628s |      23 |  4093589 |  3045738 |    19865    384 |        0 |        0
1630.05/1630.55	c 1630s |      23 |  4099450 |  3050238 |    19865    385 |        0 |        0
1632.06/1632.55	c 1632s |      23 |  4104551 |  3053738 |    19865    385 |        0 |        0
1634.05/1634.56	c 1634s |      23 |  4111813 |  3058938 |    19865    385 |        0 |        0
1636.15/1636.66	c 1636s |      23 |  4114470 |  3060438 |    19865    386 |        0 |        0
1638.15/1638.68	c 1638s |      23 |  4120293 |  3065238 |    19865    386 |        0 |        0
1640.24/1640.71	c 1640s |      23 |  4126763 |  3070038 |    19865    386 |        0 |        0
1642.24/1642.75	c 1642s |      23 |  4132791 |  3074038 |    19865    387 |        0 |        0
1644.24/1644.76	c 1644s |      23 |  4136455 |  3076738 |    19865    387 |        0 |        0
1646.54/1647.00	c 1646s |      23 |  4140873 |  3080238 |    19865    388 |        0 |        0
1648.55/1649.03	c 1648s |      23 |  4147976 |  3084838 |    19865    388 |        0 |        0
1650.85/1651.30	c 1651s |      23 |  4153389 |  3088938 |    19865    388 |        0 |        0
1652.86/1653.34	c 1653s |      23 |  4158058 |  3092738 |    19865    389 |        0 |        0
1654.85/1655.37	c 1655s |      23 |  4165272 |  3097938 |    19865    389 |        0 |        0
1656.85/1657.39	c 1657s |      23 |  4171865 |  3102538 |    19865    390 |        0 |        0
1658.95/1659.44	c 1659s |      23 |  4177638 |  3106838 |    19865    390 |        0 |        0
1660.94/1661.49	c 1661s |      23 |  4182593 |  3110438 |    19865    391 |        0 |        0
1662.94/1663.49	c 1663s |      23 |  4187514 |  3113038 |    19865    391 |        0 |        0
1665.05/1665.51	c 1665s |      23 |  4194128 |  3117538 |    19865    391 |        0 |        0
1667.04/1667.51	c 1667s |      23 |  4200920 |  3122138 |    19865    392 |        0 |        0
1669.04/1669.54	c 1669s |      23 |  4206527 |  3126438 |    19865    392 |        0 |        0
1671.34/1671.86	c 1671s |      23 |  4211864 |  3129738 |    19865    392 |        0 |        0
1673.44/1673.93	c 1673s |      23 |  4218075 |  3134638 |    19865    393 |        0 |        0
1675.44/1675.96	c 1675s |      23 |  4223912 |  3138538 |    19865    393 |        0 |        0
1677.44/1677.99	c 1677s |      23 |  4229420 |  3142938 |    19865    394 |        0 |        0
1679.54/1680.03	c 1679s |      23 |  4235323 |  3147038 |    19865    394 |        0 |        0
1681.54/1682.04	c 1681s |      23 |  4240120 |  3150938 |    19865    395 |        0 |        0
1683.54/1684.07	c 1683s |      23 |  4247225 |  3155538 |    19865    395 |        0 |        0
1685.63/1686.10	c 1685s |      23 |  4254481 |  3159938 |    19865    396 |        0 |        0
1687.63/1688.16	c 1688s |      23 |  4259913 |  3163338 |    19865    396 |        0 |        0
1689.63/1690.16	c 1690s |      23 |  4264751 |  3167438 |    19865    396 |        0 |        0
1691.64/1692.19	c 1692s |      23 |  4270074 |  3171438 |    19865    397 |        0 |        0
1693.74/1694.21	c 1694s |      23 |  4275458 |  3175738 |    19865    397 |        0 |        0
1695.85/1696.32	c 1696s |      23 |  4281159 |  3179938 |    19865    398 |        0 |        0
1697.84/1698.34	c 1698s |      23 |  4286481 |  3184138 |    19865    398 |        0 |        0
1699.84/1700.36	c 1700s |      23 |  4292382 |  3188538 |    19865    398 |        0 |        0
1701.84/1702.37	c 1702s |      23 |  4297873 |  3192638 |    19865    399 |        0 |        0
1703.84/1704.39	c 1704s |      23 |  4302515 |  3195538 |    19865    399 |        0 |        0
1705.94/1706.42	c 1706s |      23 |  4309323 |  3199838 |    19865    399 |        0 |        0
1707.94/1708.45	c 1708s |      23 |  4315534 |  3204138 |    19865    400 |        0 |        0
1709.94/1710.46	c 1710s |      23 |  4321520 |  3207438 |    19865    400 |        0 |        0
1711.94/1712.47	c 1712s |      23 |  4327085 |  3211838 |    19865    401 |        0 |        0
1714.04/1714.50	c 1714s |      23 |  4333625 |  3216538 |    19865    401 |        0 |        0
1716.04/1716.52	c 1716s |      23 |  4339196 |  3220738 |    19865    402 |        0 |        0
1718.04/1718.53	c 1718s |      23 |  4345265 |  3225038 |    19865    402 |        0 |        0
1720.04/1720.54	c 1720s |      23 |  4351274 |  3229438 |    19865    402 |        0 |        0
1722.04/1722.55	c 1722s |      23 |  4355692 |  3232838 |    19865    403 |        0 |        0
1724.04/1724.56	c 1724s |      23 |  4362541 |  3238038 |    19865    403 |        0 |        0
1726.43/1727.00	c 1726s |      23 |  4367568 |  3241738 |    19865    404 |        0 |        0
1728.53/1729.03	c 1728s |      23 |  4374288 |  3246238 |    19865    404 |        0 |        0
1730.53/1731.06	c 1730s |      23 |  4379492 |  3250238 |    19865    405 |        0 |        0
1732.53/1733.09	c 1732s |      23 |  4385522 |  3254638 |    19865    405 |        0 |        0
1734.83/1735.38	c 1735s |      23 |  4389659 |  3257438 |    19865    405 |        0 |        0
1736.93/1737.42	c 1737s |      23 |  4394000 |  3260538 |    19865    406 |        0 |        0
1738.93/1739.45	c 1739s |      23 |  4399805 |  3264938 |    19865    406 |        0 |        0
1740.94/1741.46	c 1741s |      23 |  4403770 |  3268238 |    19865    406 |        0 |        0
1742.93/1743.49	c 1743s |      23 |  4409416 |  3272138 |    19865    407 |        0 |        0
1745.03/1745.53	c 1745s |      23 |  4415679 |  3276838 |    19865    407 |        0 |        0
1747.03/1747.55	c 1747s |      23 |  4420943 |  3280738 |    19865    408 |        0 |        0
1749.03/1749.58	c 1749s |      23 |  4425679 |  3284538 |    19865    408 |        0 |        0
1751.13/1751.60	c 1751s |      23 |  4430147 |  3287338 |    19865    408 |        0 |        0
1753.13/1753.63	c 1753s |      23 |  4435772 |  3291438 |    19865    409 |        0 |        0
1755.33/1755.81	c 1755s |      23 |  4442334 |  3295738 |    19865    409 |        0 |        0
1757.33/1757.81	c 1757s |      23 |  4446233 |  3299038 |    19865    409 |        0 |        0
1759.33/1759.82	c 1759s |      23 |  4450839 |  3302538 |    19865    410 |        0 |        0
1761.33/1761.84	c 1761s |      23 |  4455664 |  3306438 |    19865    410 |        0 |        0
1763.33/1763.88	c 1763s |      23 |  4459924 |  3309938 |    19865    411 |        0 |        0
1765.42/1765.95	c 1765s |      23 |  4464005 |  3312938 |    19865    411 |        0 |        0
1767.42/1767.97	c 1767s |      23 |  4468965 |  3316838 |    19865    411 |        0 |        0
1769.53/1770.01	c 1769s |      23 |  4472262 |  3319638 |    19865    412 |        0 |        0
1771.52/1772.04	c 1771s |      23 |  4476575 |  3323338 |    19865    412 |        0 |        0
1773.52/1774.09	c 1773s |      23 |  4481683 |  3327338 |    19865    412 |        0 |        0
1775.62/1776.11	c 1775s |      23 |  4486061 |  3330738 |    19865    413 |        0 |        0
1779.12/1779.68	c 1779s |      23 |  4488208 |  3332238 |    19865    413 |        0 |        0
1781.22/1781.71	c 1781s |      23 |  4492626 |  3335838 |    19865    413 |        0 |        0
1783.32/1783.88	c 1783s |      23 |  4496940 |  3339638 |    19865    414 |        0 |        0
1785.32/1785.88	c 1785s |      23 |  4502117 |  3343738 |    19865    414 |        0 |        0
1787.32/1787.89	c 1787s |      23 |  4507538 |  3347838 |    19865    414 |        0 |        0
1789.63/1790.14	c 1790s |      23 |  4510493 |  3350338 |    19865    415 |        0 |        0
1791.63/1792.17	c 1792s |      23 |  4518008 |  3355638 |    21852    415 |        0 |        0
1794.92/1795.47	c 1795s |      23 |  4520608 |  3357538 |    21852    415 |        0 |        0
1797.03/1797.51	c 1797s |      23 |  4525227 |  3361238 |    21852    415 |        0 |        0
1799.02/1799.55	c 1799s |      23 |  4529846 |  3364938 |    21852    416 |        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-4106874-1466279796/watcher-4106874-1466279796 -o /tmp/evaluation-result-4106874-1466279796/solver-4106874-1466279796 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106874-1466279796.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.23 2.19 4/179 27419
/proc/meminfo: memFree=28890176/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/27419/stat : 27419 (runsolver) D 27416 27419 24910 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 30025371 24911872 152 33554432000 4194304 4338465 140734157430608 140734157428248 225444711607 0 0 4096 24578 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/27419/statm: 6082 152 105 36 0 2655 0

[startup+0.100069 s]
/proc/loadavg: 2.23 2.23 2.19 4/179 27419
/proc/meminfo: memFree=28890176/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1222212 CPUtime=0.08 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 21855 0 0 0 5 3 0 0 20 0 4 0 30025371 1251545088 22674 33554432000 4194304 16246674 140734088107888 140734088089792 6966137 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27419/statm: 305553 22674 838 2943 0 302447 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.200289 s]
/proc/loadavg: 2.23 2.23 2.19 4/179 27419
/proc/meminfo: memFree=28890176/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1222212 CPUtime=0.18 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 38396 0 0 0 13 5 0 0 20 0 4 0 30025371 1251545088 39215 33554432000 4194304 16246674 140734088107888 140734088089792 5532339 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27419/statm: 305553 39215 877 2943 0 302447 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1222212

[startup+0.300239 s]
/proc/loadavg: 2.23 2.23 2.19 4/179 27419
/proc/meminfo: memFree=28890176/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1222212 CPUtime=0.28 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 63277 0 0 0 20 8 0 0 20 0 4 0 30025371 1251545088 64096 33554432000 4194304 16246674 140734088107888 140734088089792 13192951 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27419/statm: 305553 64096 877 2943 0 302447 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1222212

[startup+0.700201 s]
/proc/loadavg: 2.23 2.23 2.19 4/179 27419
/proc/meminfo: memFree=28890176/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1222212 CPUtime=0.68 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 158517 0 0 0 49 19 0 0 20 0 4 0 30025371 1251545088 159336 33554432000 4194304 16246674 140734088107888 140734088089792 5516309 0 0 0 34082818 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/27419/statm: 305553 159336 877 2943 0 302447 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1222212

[startup+1.50041 s]
/proc/loadavg: 2.23 2.23 2.19 4/183 27423
/proc/meminfo: memFree=27898744/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1300036 CPUtime=1.48 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 266081 0 0 0 115 33 0 0 20 0 4 0 30025371 1331236864 266900 33554432000 4194304 16246674 140734088107888 140734088090880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 325009 266900 880 2943 0 321903 0
[pid=27419/tid=27421] ppid=27416 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1331236864 266900 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1331236864 266900 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1331236864 266900 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1300036

[startup+3.10043 s]
/proc/loadavg: 2.29 2.25 2.19 4/183 27423
/proc/meminfo: memFree=27815540/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1311300 CPUtime=3.07 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 268757 0 0 0 274 33 0 0 20 0 4 0 30025371 1342771200 269576 33554432000 4194304 16246674 140734088107888 140734088090880 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 327825 269576 891 2943 0 324719 0
[pid=27419/tid=27421] ppid=27416 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1342771200 269576 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1342771200 269576 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1342771200 269576 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1311300

[startup+6.30042 s]
/proc/loadavg: 2.29 2.25 2.19 4/183 27423
/proc/meminfo: memFree=27810952/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 269077 0 0 0 594 34 0 0 20 0 4 0 30025371 1343819776 269896 33554432000 4194304 16246674 140734088107888 140734088089792 4221138 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 328081 269896 891 2943 0 324975 0
[pid=27419/tid=27421] ppid=27416 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1343819776 269896 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1343819776 269896 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1343819776 269896 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7005 s]
/proc/loadavg: 2.40 2.27 2.20 3/183 27423
/proc/meminfo: memFree=27805372/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1317444 CPUtime=12.68 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 270532 0 0 0 1234 34 0 0 20 0 4 0 30025371 1349062656 271351 33554432000 4194304 16246674 140734088107888 140734088090880 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 329361 271351 891 2943 0 326255 0
[pid=27419/tid=27421] ppid=27416 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1349062656 271351 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1349062656 271351 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1349062656 271351 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 27423
/proc/meminfo: memFree=27798560/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1324612 CPUtime=25.47 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 272324 0 0 0 2513 34 0 0 20 0 4 0 30025371 1356402688 273143 33554432000 4194304 16246674 140734088107888 140734088106984 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 331153 273143 891 2943 0 328047 0
[pid=27419/tid=27421] ppid=27416 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1356402688 273143 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1356402688 273143 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1356402688 273143 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.30 2.25 2.20 4/183 27423
/proc/meminfo: memFree=27797444/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1326660 CPUtime=51.07 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 272836 0 0 0 5072 35 0 0 20 0 4 0 30025371 1358499840 273655 33554432000 4194304 16246674 140734088107888 140734088090880 13883727 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 331665 273655 891 2943 0 328559 0
[pid=27419/tid=27421] ppid=27416 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1358499840 273655 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1358499840 273655 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1358499840 273655 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/183 27424
/proc/meminfo: memFree=27776352/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1347140 CPUtime=102.27 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 277956 0 0 0 10190 37 0 0 20 0 4 0 30025371 1379471360 278775 33554432000 4194304 16246674 140734088107888 140734088089792 6013056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 336785 278775 891 2943 0 333679 0
[pid=27419/tid=27421] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1347140

[startup+162.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 27425
/proc/meminfo: memFree=27775840/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1347140 CPUtime=162.25 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 277956 0 0 0 16187 38 0 0 20 0 4 0 30025371 1379471360 278775 33554432000 4194304 16246674 140734088107888 140734088089792 5523325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 336785 278775 891 2943 0 333679 0
[pid=27419/tid=27421] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1347140

[startup+222.308 s]
/proc/loadavg: 2.22 2.24 2.19 3/184 27429
/proc/meminfo: memFree=27775508/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1347140 CPUtime=222.25 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 277956 0 0 0 22186 39 0 0 20 0 4 0 30025371 1379471360 278775 33554432000 4194304 16246674 140734088107888 140734088089792 4220507 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 336785 278775 891 2943 0 333679 0
[pid=27419/tid=27421] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1379471360 278775 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1347140


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

/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1370692

[startup+1362.3 s]
/proc/loadavg: 2.37 2.28 2.20 4/183 27478
/proc/meminfo: memFree=27734396/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1361.98 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284049 0 0 0 136131 67 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1370692

[startup+1422.3 s]
/proc/loadavg: 2.35 2.29 2.21 3/184 27678
/proc/meminfo: memFree=27788548/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1421.96 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284086 0 0 0 142127 69 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 6021699 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1370692

[startup+1482.3 s]
/proc/loadavg: 2.34 2.30 2.21 3/183 27679
/proc/meminfo: memFree=27788732/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1481.93 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284126 0 0 0 148123 70 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088106984 4221129 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1370692

[startup+1542.31 s]
/proc/loadavg: 2.35 2.30 2.21 4/183 27681
/proc/meminfo: memFree=27788936/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1541.89 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284172 0 0 0 154118 71 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1370692

[startup+1602.3 s]
/proc/loadavg: 2.32 2.29 2.21 3/183 27682
/proc/meminfo: memFree=27788356/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1601.86 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284213 0 0 0 160112 74 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088090888 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1370692

[startup+1662.3 s]
/proc/loadavg: 2.24 2.28 2.21 3/183 27683
/proc/meminfo: memFree=27788232/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1661.84 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284231 0 0 0 166108 76 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 12460044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1370692

[startup+1722.3 s]
/proc/loadavg: 2.31 2.29 2.22 4/183 27684
/proc/meminfo: memFree=27787512/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1721.84 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284232 0 0 0 172107 77 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1370692

[startup+1782.3 s]
/proc/loadavg: 2.33 2.31 2.22 3/183 27685
/proc/meminfo: memFree=27787204/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1781.82 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284232 0 0 0 178105 77 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 6012046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1370692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.34 2.31 2.23 3/183 27685
/proc/meminfo: memFree=27787932/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1800.02 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284232 0 0 0 179924 78 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1370692

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

[startup+1800.5 s]
/proc/loadavg: 2.34 2.31 2.23 3/183 27685
/proc/meminfo: memFree=27787932/32872528 swapFree=1499884/1696108
[pid=27419] ppid=27416 vsize=1370692 CPUtime=1800.02 cores=1,3,5,7
/proc/27419/stat : 27419 (toysat) R 27416 27419 24910 0 -1 4202496 284232 0 0 0 179924 78 0 0 20 0 4 0 30025371 1403588608 284666 33554432000 4194304 16246674 140734088107888 140734088089792 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27419/statm: 342673 284666 891 2943 0 339567 0
[pid=27419/tid=27421] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27421/stat : 27421 (toysat) S 27416 27419 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890733853936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=27419/tid=27422] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27422/stat : 27422 (toysat) S 27416 27419 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890723364080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=27419/tid=27423] ppid=27416 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/27419/task/27423/stat : 27423 (toysat) S 27416 27419 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30025372 1403588608 284666 33554432000 4194304 16246674 140734088107888 139890641595568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1370692

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.78388
maximum resident set size= 1138664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284232
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= 2036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3253 second user time and 8.49271 second system time

The end

Begin job on node137 at 2016-06-18 21:56:36
IDJOB=4106874
IDBENCH=48302
IDSOLVER=2542
FILE ID=node137/4106874-1466279796
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106874-1466279796/watcher-4106874-1466279796 -o /tmp/evaluation-result-4106874-1466279796/solver-4106874-1466279796 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106874-1466279796.opb

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

MD5SUM BENCH= 4bc8406e35a3f2674c743b72d3a1792a
RANDOM SEED=1477951814

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28890440 kB
Buffers:          160552 kB
Cached:           260052 kB
SwapCached:         1268 kB
Active:          1279616 kB
Inactive:         263796 kB
Active(anon):    1124348 kB
Inactive(anon):     1028 kB
Active(file):     155268 kB
Inactive(file):   262768 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16508 kB
Writeback:             0 kB
AnonPages:       2818496 kB
Mapped:            10676 kB
Shmem:                 0 kB
Slab:             608112 kB
SReclaimable:      52152 kB
SUnreclaim:       555960 kB
KernelStack:        1456 kB
PageTables:         9644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2962940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71672 MiB
End job on node137 at 2016-06-18 22:26:37