0.00/0.00	c 2016-06-17T01:00:01+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4097583-1466118001.opb"]
0.00/0.01	c use --random-gen="3267580559 3995370602 2476500216 1817416774 1224729798 1459567025 705572241 1083363924 1817210889 2103024615 914219244 2561252966 3804790133 2606202031 3881463312 2374843438 1812486 1636518756 3002494373 4073741114 2123096198 3164726023 1738668344 3686970237 3738735479 1415163980 720556935 1056061157 4142813822 3254779466 1088447462 3419503668 618097655 2084123872 2513009796 1907879562 1330713628 3130149145 1540658954 770473694 932145274 333054904 2175503835 2577944507 2179423077 4023651747 1825841357 1153379905 3541073764 2994151240 3915644702 1583211246 2150323805 2719942330 1553098977 2272086250 4285668382 2117551607 2960706490 3150680507 3019538035 126178688 2892412509 2377664673 1450482272 29611471 2839751272 772503223 3446661506 3396690131 923824774 1046685766 3216068400 428547402 1623429854 1744709662 4136800625 1514416862 236056661 825750301 583385033 1307442290 3927423770 325513892 1082826358 774435478 1701141475 2174643682 50090547 3109986102 4087250808 2428275619 475625705 1479934383 3045094140 966846399 1631454280 2017932334 3221313861 1657789755 2343997102 419307152 2838026791 1521328269 4097298859 2165329037 368100131 3856284003 2430921597 1078694036 1705499747 2106297403 1172157178 1498822048 3424715674 3481514307 1356617846 1899781700 363210958 405684829 3821677989 4152187902 4169544365 4132504404 3864409680 2745810195 1219315822 1403941030 1568982940 1265360092 1737374336 2979703835 3223719625 2316017626 2488417051 3480319487 3155064594 158548613 326628980 2560690276 874155510 1633617335 4070377732 1797171788 2360511642 3348051157 2874616869 3832707636 2498973638 30069111 2771183235 2279460544 1697926661 3542105479 245256804 2675097595 2854885854 3654515771 2589943799 388611887 1848397623 2307913298 595861351 382805888 2838201411 3808306422 3710435990 3427783714 1248818674 2881872819 2955795489 1495900287 2700399499 3999072861 714904439 3246198559 2239538677 750390187 3359757709 3435474237 3861176591 1222970888 1152557275 630038485 2598668168 4062056535 1346508587 3393580646 608716858 1294984109 2589965555 1120145484 1031611275 1150744395 736864288 3201292444 4213351064 2214776814 1591747935 1729031891 2158532747 862152929 775793547 3179076124 90867524 3393488591 1960781864 3057754794 3541306025 3264192767 2919603694 220875699 2936891664 4229618050 1178895030 1142166660 3908896180 1308479327 547200031 1117809154 1154507167 11894937 75567215 2325033100 789292562 3295357985 795811788 3917646843 2518879866 2676047292 475009282 1252557728 1973773231 1603152693 3551779592 2002191436 4244847742 2329293335 2151827690 2712447090 440393209 3421006714 1259625218 1534954308 2922280240 4053062844 87200209 1281003828 1196023011 2689354623 2349581628 1014671938 1094174731 2406729868 2502864706 344340983 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1560
0.00/0.07	c #constraints 7454
0.08/0.17	c Solving starts ...
0.08/0.17	c ============================[ Search Statistics ]============================
0.08/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.17	c =============================================================================
0.08/0.17	c  0.0s |       0 |        0 |        0 |     3003      0 |        5 |        0
0.19/0.22	c  0.0s |       1 |      164 |      100 |     3003      0 |        5 |      310
0.19/0.29	c  0.1s |       2 |      365 |      250 |     3304      0 |        5 |      310
0.28/0.40	c  0.2s |       3 |      709 |      475 |     3635      0 |        5 |      310
0.49/0.58	c  0.4s |       4 |     1179 |      813 |     3999      0 |        5 |      310
0.79/0.89	c  0.7s |       5 |     1782 |     1320 |     4399      0 |        5 |      310
1.29/1.36	c  1.2s |       6 |     2772 |     2081 |     5323      0 |        5 |      310
1.89/1.96	c  1.8s |       7 |     4125 |     3223 |     5856      0 |        5 |      310
2.89/2.99	c  2.8s |       8 |     6115 |     4936 |     6442      0 |        5 |      310
4.68/4.77	c  4.6s |       9 |     9134 |     7506 |     7087      1 |        5 |      310
6.78/6.86	c  6.7s |       9 |    13063 |    10906 |     7087      2 |        5 |      310
7.08/7.13	c  7.0s |      10 |    13549 |    11361 |     7796      2 |        5 |      310
9.08/9.14	c  9.0s |      10 |    18191 |    15161 |     7796      3 |        5 |      310
9.99/10.09	c  9.9s |      11 |    20558 |    17144 |     8576      3 |        5 |      310
12.09/12.15	c 12.0s |      11 |    25035 |    20744 |     8576      4 |        5 |      310
14.18/14.23	c 14.1s |      11 |    29512 |    24444 |     8576      5 |        5 |      310
14.88/14.93	c 14.8s |      12 |    31101 |    25819 |     9434      5 |        5 |      310
16.88/16.94	c 16.8s |      12 |    35222 |    29219 |     9434      5 |        5 |      310
18.89/18.99	c 18.8s |      12 |    39696 |    32919 |     9434      6 |        5 |      310
20.89/21.00	c 20.8s |      12 |    43379 |    36119 |     9434      7 |        5 |      310
22.48/22.54	c 22.4s |      13 |    46469 |    38832 |    10378      7 |        5 |      310
24.48/24.58	c 24.4s |      13 |    50328 |    41932 |    10378      8 |        5 |      310
26.49/26.59	c 26.4s |      13 |    54142 |    45232 |    10378      8 |        5 |      310
28.48/28.60	c 28.4s |      13 |    57883 |    48332 |    10378      9 |        5 |      310
30.58/30.61	c 30.4s |      13 |    61632 |    51532 |    10378     10 |        5 |      310
32.58/32.66	c 32.5s |      13 |    65852 |    55132 |    10378     10 |        5 |      310
34.38/34.42	c 34.3s |      14 |    69565 |    58352 |    11416     11 |        5 |      310
36.39/36.45	c 36.3s |      14 |    72551 |    60952 |    11416     11 |        5 |      310
38.49/38.52	c 38.3s |      14 |    76400 |    64252 |    11416     12 |        5 |      310
40.48/40.58	c 40.4s |      14 |    79941 |    67452 |    11416     12 |        5 |      310
42.48/42.58	c 42.4s |      14 |    83371 |    70452 |    11416     13 |        5 |      310
44.58/44.64	c 44.5s |      14 |    86904 |    73552 |    11416     13 |        5 |      310
46.58/46.65	c 46.5s |      14 |    90355 |    76652 |    11416     14 |        5 |      310
48.58/48.69	c 48.5s |      14 |    93767 |    79652 |    11416     14 |        5 |      310
50.69/50.74	c 50.6s |      14 |    97468 |    82852 |    11416     15 |        5 |      310
52.68/52.76	c 52.6s |      14 |   100721 |    85752 |    11416     15 |        5 |      310
53.89/53.99	c 53.8s |      15 |   102757 |    87632 |    12558     16 |        5 |      310
55.98/56.02	c 55.8s |      15 |   105639 |    90032 |    12558     16 |        5 |      310
57.98/58.05	c 57.9s |      15 |   109378 |    93132 |    12558     17 |        5 |      310
60.08/60.10	c 59.9s |      15 |   113505 |    96632 |    12558     17 |        5 |      310
62.18/62.24	c 62.1s |      15 |   116622 |    99432 |    12558     18 |        5 |      310
64.18/64.29	c 64.1s |      15 |   119987 |   102432 |    12558     18 |        5 |      310
66.27/66.31	c 66.1s |      15 |   123287 |   105332 |    12558     18 |        5 |      310
68.28/68.37	c 68.2s |      15 |   126902 |   108432 |    12558     19 |        5 |      310
70.38/70.44	c 70.3s |      15 |   130000 |   111132 |    12558     19 |        5 |      310
72.47/72.50	c 72.3s |      15 |   133298 |   114032 |    12558     20 |        5 |      310
74.47/74.56	c 74.4s |      15 |   136412 |   116832 |    12558     20 |        5 |      310
76.47/76.59	c 76.4s |      15 |   138505 |   118732 |    12558     21 |        5 |      310
78.58/78.60	c 78.4s |      15 |   142552 |   122132 |    12558     21 |        5 |      310
80.58/80.61	c 80.4s |      15 |   146102 |   125132 |    12558     22 |        5 |      310
82.58/82.65	c 82.5s |      15 |   150204 |   128632 |    12558     22 |        5 |      310
84.47/84.56	c 84.4s |      16 |   153472 |   131552 |    13814     22 |        5 |      310
86.57/86.61	c 86.4s |      16 |   156657 |   134152 |    13814     23 |        5 |      310
88.57/88.65	c 88.5s |      16 |   160807 |   137552 |    13814     23 |        5 |      310
90.57/90.69	c 90.5s |      16 |   164585 |   140752 |    13814     24 |        5 |      310
92.67/92.72	c 92.5s |      16 |   168377 |   144052 |    13814     24 |        5 |      310
94.77/94.81	c 94.6s |      16 |   171570 |   146752 |    13814     25 |        5 |      310
96.77/96.84	c 96.7s |      16 |   175412 |   149852 |    13814     25 |        5 |      310
98.87/98.91	c 98.7s |      16 |   179438 |   153252 |    13814     25 |        5 |      310
100.87/100.92	c  100s |      16 |   183487 |   156652 |    13814     26 |        5 |      310
102.87/102.94	c  102s |      16 |   187116 |   159852 |    13814     26 |        5 |      310
105.28/105.37	c  105s |      16 |   190219 |   162552 |    13814     27 |        5 |      310
107.38/107.44	c  107s |      16 |   194172 |   165952 |    13814     27 |        5 |      310
109.38/109.49	c  109s |      16 |   197483 |   168852 |    13814     28 |        5 |      310
111.47/111.52	c  111s |      16 |   201138 |   172152 |    13814     28 |        5 |      310
113.47/113.59	c  113s |      16 |   204314 |   174852 |    13814     29 |        5 |      310
115.58/115.62	c  115s |      16 |   207969 |   177952 |    13814     29 |        5 |      310
117.57/117.65	c  117s |      16 |   211546 |   181152 |    13814     29 |        5 |      310
119.67/119.70	c  119s |      16 |   215122 |   184352 |    13814     30 |        5 |      310
121.67/121.72	c  121s |      16 |   218643 |   187552 |    13814     30 |        5 |      310
123.67/123.77	c  123s |      16 |   221906 |   190452 |    13814     31 |        5 |      310
125.77/125.82	c  125s |      16 |   225161 |   193452 |    13814     31 |        5 |      310
127.77/127.83	c  127s |      16 |   226228 |   194352 |    13814     31 |        5 |      310
129.78/129.84	c  129s |      17 |   229949 |   197432 |    15196     32 |        5 |      310
131.87/131.91	c  131s |      17 |   234115 |   200732 |    15196     32 |        5 |      310
133.87/133.96	c  133s |      17 |   237962 |   203932 |    15196     32 |        5 |      310
135.87/135.98	c  135s |      17 |   241553 |   206932 |    15196     33 |        5 |      310
137.97/138.00	c  137s |      17 |   245315 |   210132 |    15196     33 |        5 |      310
139.97/140.03	c  139s |      17 |   248841 |   213032 |    15196     34 |        5 |      310
141.97/142.03	c  141s |      17 |   252686 |   216332 |    15196     34 |        5 |      310
143.97/144.05	c  143s |      17 |   256009 |   219232 |    15196     34 |        5 |      310
146.57/146.63	c  146s |      17 |   258497 |   221432 |    15196     35 |        5 |      310
148.57/148.67	c  148s |      17 |   262349 |   224832 |    15196     35 |        5 |      310
150.77/150.88	c  150s |      17 |   265463 |   227632 |    15196     36 |        5 |      310
152.87/152.94	c  152s |      17 |   268906 |   230632 |    15196     36 |        5 |      310
154.87/154.95	c  154s |      17 |   271941 |   233332 |    15196     36 |        5 |      310
156.87/156.99	c  156s |      17 |   274776 |   235932 |    15196     37 |        5 |      310
158.86/158.99	c  158s |      17 |   278040 |   238732 |    15196     37 |        5 |      310
160.96/161.04	c  160s |      17 |   281421 |   241632 |    15196     37 |        5 |      310
162.96/163.08	c  162s |      17 |   284520 |   244332 |    15196     38 |        5 |      310
165.07/165.17	c  165s |      17 |   288072 |   247532 |    15196     38 |        5 |      310
167.17/167.22	c  167s |      17 |   291053 |   250132 |    15196     38 |        5 |      310
169.16/169.24	c  169s |      17 |   294415 |   252932 |    15196     39 |        5 |      310
171.16/171.29	c  171s |      17 |   297961 |   255932 |    15196     39 |        5 |      310
173.26/173.35	c  173s |      17 |   301179 |   258632 |    15196     40 |        5 |      310
175.36/175.40	c  175s |      17 |   305258 |   262132 |    15196     40 |        5 |      310
177.36/177.45	c  177s |      17 |   308729 |   265232 |    15196     40 |        5 |      310
179.37/179.48	c  179s |      17 |   310776 |   267032 |    15196     41 |        5 |      310
181.47/181.50	c  181s |      17 |   315303 |   270732 |    15196     41 |        5 |      310
183.46/183.55	c  183s |      17 |   319114 |   273932 |    15196     41 |        5 |      310
185.46/185.57	c  185s |      17 |   322790 |   277132 |    15196     42 |        5 |      310
187.56/187.61	c  187s |      17 |   326190 |   280132 |    15196     42 |        5 |      310
189.56/189.64	c  189s |      17 |   329209 |   282932 |    15196     43 |        5 |      310
191.56/191.69	c  191s |      17 |   331224 |   284632 |    15196     43 |        5 |      310
193.67/193.74	c  193s |      17 |   334715 |   287632 |    15196     43 |        5 |      310
195.66/195.75	c  195s |      17 |   337811 |   290432 |    15196     44 |        5 |      310
197.66/197.79	c  197s |      17 |   341454 |   293632 |    15196     44 |        5 |      310
199.46/199.56	c  199s |      18 |   344503 |   296252 |    16716     44 |        5 |      310
201.96/202.03	c  201s |      18 |   346684 |   298152 |    16716     44 |        5 |      310
203.96/204.03	c  203s |      18 |   349860 |   300852 |    16716     45 |        5 |      310
205.96/206.07	c  205s |      18 |   353790 |   304152 |    16716     45 |        5 |      310
208.06/208.11	c  207s |      18 |   356732 |   306752 |    16716     45 |        5 |      310
210.06/210.14	c  209s |      18 |   360120 |   309652 |    16716     46 |        5 |      310
212.06/212.16	c  211s |      18 |   363563 |   312652 |    16716     46 |        5 |      310
214.06/214.20	c  214s |      18 |   365474 |   314352 |    16716     46 |        5 |      310
216.16/216.20	c  216s |      18 |   368529 |   316852 |    16716     47 |        5 |      310
218.16/218.20	c  218s |      18 |   372367 |   320052 |    16716     47 |        5 |      310
220.16/220.24	c  220s |      18 |   375622 |   322852 |    16716     47 |        5 |      310
222.16/222.25	c  222s |      18 |   378976 |   325752 |    16716     48 |        5 |      310
224.15/224.26	c  224s |      18 |   382439 |   328852 |    16716     48 |        5 |      310
226.25/226.32	c  226s |      18 |   385622 |   331552 |    16716     48 |        5 |      310
228.25/228.33	c  228s |      18 |   388406 |   333852 |    16716     49 |        5 |      310
230.25/230.39	c  230s |      18 |   391708 |   336752 |    16716     49 |        5 |      310
232.35/232.46	c  232s |      18 |   395025 |   339652 |    16716     49 |        5 |      310
234.45/234.52	c  234s |      18 |   398450 |   342652 |    16716     50 |        5 |      310
236.46/236.56	c  236s |      18 |   401636 |   345452 |    16716     50 |        5 |      310
238.45/238.56	c  238s |      18 |   404785 |   348252 |    16716     50 |        5 |      310
240.55/240.62	c  240s |      18 |   407825 |   350952 |    16716     51 |        5 |      310
242.55/242.64	c  242s |      18 |   411022 |   353752 |    16716     51 |        5 |      310
244.65/244.70	c  244s |      18 |   414158 |   356552 |    16716     51 |        5 |      310
246.65/246.74	c  246s |      18 |   417068 |   359152 |    16716     52 |        5 |      310
248.65/248.76	c  248s |      18 |   420446 |   362152 |    16716     52 |        5 |      310
250.75/250.81	c  250s |      18 |   423198 |   364652 |    16716     52 |        5 |      310
252.75/252.82	c  252s |      18 |   425808 |   367052 |    16716     53 |        5 |      310
257.15/257.27	c  257s |      18 |   426577 |   367752 |    16716     53 |        5 |      310
259.25/259.32	c  259s |      18 |   429996 |   370852 |    16716     53 |        5 |      310
261.25/261.32	c  261s |      18 |   432718 |   373352 |    16716     53 |        5 |      310
263.25/263.35	c  263s |      18 |   435283 |   375652 |    16716     54 |        5 |      310
265.35/265.40	c  265s |      18 |   438142 |   378252 |    16716     54 |        5 |      310
267.35/267.42	c  267s |      18 |   441169 |   380852 |    16716     54 |        5 |      310
269.35/269.49	c  269s |      18 |   443737 |   383152 |    16716     54 |        5 |      310
271.44/271.52	c  271s |      18 |   446365 |   385452 |    16716     55 |        5 |      310
273.44/273.56	c  273s |      18 |   449184 |   387952 |    16716     55 |        5 |      310
275.54/275.62	c  275s |      18 |   451937 |   390452 |    16716     55 |        5 |      310
277.54/277.62	c  277s |      18 |   454006 |   392352 |    16716     56 |        5 |      310
279.54/279.63	c  279s |      18 |   456715 |   394852 |    16716     56 |        5 |      310
281.55/281.69	c  281s |      18 |   459215 |   397152 |    16716     56 |        5 |      310
283.64/283.77	c  283s |      18 |   461512 |   399252 |    16716     56 |        5 |      310
285.64/285.77	c  285s |      18 |   463890 |   401452 |    16716     57 |        5 |      310
287.74/287.82	c  287s |      18 |   465859 |   403152 |    16716     57 |        5 |      310
289.74/289.83	c  289s |      18 |   468588 |   405552 |    16716     57 |        5 |      310
291.84/291.91	c  291s |      18 |   471509 |   408152 |    16716     57 |        5 |      310
293.84/293.97	c  293s |      18 |   474467 |   410752 |    16716     58 |        5 |      310
295.95/296.01	c  295s |      18 |   477456 |   413352 |    16716     58 |        5 |      310
297.94/298.10	c  297s |      18 |   480323 |   415952 |    16716     58 |        5 |      310
300.04/300.15	c  299s |      18 |   483216 |   418452 |    16716     59 |        5 |      310
302.04/302.16	c  301s |      18 |   486223 |   421152 |    16716     59 |        5 |      310
304.94/305.01	c  304s |      18 |   488982 |   423652 |    16716     59 |        5 |      310
306.94/307.08	c  306s |      18 |   491740 |   425952 |    16716     60 |        5 |      310
308.94/309.09	c  308s |      18 |   495198 |   428752 |    16716     60 |        5 |      310
311.04/311.14	c  310s |      18 |   498536 |   431652 |    16716     60 |        5 |      310
313.04/313.15	c  312s |      18 |   501523 |   434252 |    16716     60 |        5 |      310
315.04/315.17	c  314s |      18 |   504835 |   437152 |    16716     61 |        5 |      310
317.03/317.18	c  317s |      18 |   507986 |   439952 |    16716     61 |        5 |      310
319.13/319.20	c  319s |      18 |   510742 |   442352 |    18388     61 |        5 |      310
321.03/321.12	c  320s |      19 |   513157 |   444482 |    18388     61 |        5 |      310
323.04/323.15	c  322s |      19 |   514777 |   445682 |    18388     62 |        5 |      310
325.04/325.19	c  325s |      19 |   518475 |   448782 |    18388     62 |        5 |      310
327.14/327.24	c  327s |      19 |   521681 |   451582 |    18388     62 |        5 |      310
329.14/329.26	c  329s |      19 |   524604 |   453982 |    18388     63 |        5 |      310
331.24/331.31	c  331s |      19 |   528510 |   457182 |    18388     63 |        5 |      310
333.24/333.33	c  333s |      19 |   531804 |   459882 |    18388     63 |        5 |      310
335.34/335.40	c  335s |      19 |   535037 |   462582 |    18388     63 |        5 |      310
337.34/337.43	c  337s |      19 |   537474 |   464682 |    18388     64 |        5 |      310
339.34/339.43	c  339s |      19 |   541157 |   467782 |    18388     64 |        5 |      310
341.34/341.46	c  341s |      19 |   544269 |   470482 |    18388     64 |        5 |      310
343.44/343.51	c  343s |      19 |   547191 |   473082 |    18388     65 |        5 |      310
345.44/345.54	c  345s |      19 |   550677 |   476182 |    18388     65 |        5 |      310
347.44/347.55	c  347s |      19 |   553883 |   478982 |    18388     65 |        5 |      310
349.43/349.59	c  349s |      19 |   557019 |   481582 |    18388     65 |        5 |      310
351.53/351.62	c  351s |      19 |   559795 |   483982 |    18388     66 |        5 |      310
353.53/353.69	c  353s |      19 |   563176 |   486782 |    18388     66 |        5 |      310
355.63/355.75	c  355s |      19 |   566026 |   489182 |    18388     66 |        5 |      310
357.73/357.80	c  357s |      19 |   569180 |   491882 |    18388     67 |        5 |      310
359.74/359.81	c  359s |      19 |   572666 |   494882 |    18388     67 |        5 |      310
361.73/361.88	c  361s |      19 |   575691 |   497482 |    18388     67 |        5 |      310
363.83/363.90	c  363s |      19 |   578544 |   499982 |    18388     67 |        5 |      310
365.83/365.90	c  365s |      19 |   581736 |   502782 |    18388     68 |        5 |      310
367.83/367.94	c  367s |      19 |   584951 |   505582 |    18388     68 |        5 |      310
369.83/369.94	c  369s |      19 |   588019 |   508282 |    18388     68 |        5 |      310
371.83/371.97	c  371s |      19 |   590857 |   510782 |    18388     69 |        5 |      310
374.12/374.21	c  374s |      19 |   593547 |   513182 |    18388     69 |        5 |      310
376.52/376.62	c  376s |      19 |   593704 |   513282 |    18388     69 |        5 |      310
378.52/378.66	c  378s |      19 |   596272 |   515382 |    18388     69 |        5 |      310
380.63/380.73	c  380s |      19 |   599323 |   517982 |    18388     69 |        5 |      310
382.61/382.77	c  382s |      19 |   601911 |   520182 |    18388     70 |        5 |      310
384.61/384.78	c  384s |      19 |   605357 |   523082 |    18388     70 |        5 |      310
386.71/386.82	c  386s |      19 |   608521 |   525782 |    18388     70 |        5 |      310
388.71/388.84	c  388s |      19 |   611241 |   528182 |    18388     70 |        5 |      310
390.71/390.85	c  390s |      19 |   614225 |   530882 |    18388     71 |        5 |      310
392.72/392.87	c  392s |      19 |   616419 |   532782 |    18388     71 |        5 |      310
394.82/394.94	c  394s |      19 |   619350 |   535182 |    18388     71 |        5 |      310
396.81/396.97	c  396s |      19 |   622121 |   537582 |    18388     71 |        5 |      310
398.81/398.99	c  398s |      19 |   625125 |   540282 |    18388     72 |        5 |      310
400.91/401.00	c  400s |      19 |   628221 |   542982 |    18388     72 |        5 |      310
402.91/403.00	c  402s |      19 |   631188 |   545582 |    18388     72 |        5 |      310
404.91/405.05	c  404s |      19 |   634121 |   548182 |    18388     73 |        5 |      310
406.91/407.09	c  406s |      19 |   637072 |   550882 |    18388     73 |        5 |      310
409.01/409.11	c  408s |      19 |   639879 |   553382 |    18388     73 |        5 |      310
411.01/411.19	c  411s |      19 |   642642 |   555782 |    18388     73 |        5 |      310
413.11/413.22	c  413s |      19 |   645134 |   558082 |    18388     74 |        5 |      310
415.11/415.27	c  415s |      19 |   647730 |   560482 |    18388     74 |        5 |      310
417.11/417.27	c  417s |      19 |   650376 |   562782 |    18388     74 |        5 |      310
419.21/419.32	c  419s |      19 |   652943 |   565082 |    18388     74 |        5 |      310
422.61/422.73	c  422s |      19 |   653744 |   565782 |    18388     75 |        5 |      310
424.62/424.78	c  424s |      19 |   656952 |   568582 |    18388     75 |        5 |      310
426.72/426.84	c  426s |      19 |   660407 |   571582 |    18388     75 |        5 |      310
428.71/428.89	c  428s |      19 |   663150 |   573982 |    18388     75 |        5 |      310
430.81/430.96	c  430s |      19 |   665617 |   576082 |    18388     76 |        5 |      310
432.91/433.03	c  432s |      19 |   668635 |   578782 |    18388     76 |        5 |      310
435.00/435.10	c  434s |      19 |   671475 |   581182 |    18388     76 |        5 |      310
437.00/437.12	c  436s |      19 |   674104 |   583482 |    18388     76 |        5 |      310
439.00/439.19	c  439s |      19 |   676524 |   585682 |    18388     77 |        5 |      310
441.11/441.23	c  441s |      19 |   679826 |   588582 |    18388     77 |        5 |      310
443.10/443.27	c  443s |      19 |   682819 |   591282 |    18388     77 |        5 |      310
445.20/445.31	c  445s |      19 |   685372 |   593582 |    18388     77 |        5 |      310
447.50/447.62	c  447s |      19 |   687734 |   595782 |    18388     78 |        5 |      310
449.50/449.68	c  449s |      19 |   689985 |   597782 |    18388     78 |        5 |      310
451.50/451.69	c  451s |      19 |   693112 |   600582 |    18388     78 |        5 |      310
453.60/453.75	c  453s |      19 |   695769 |   602982 |    18388     78 |        5 |      310
455.60/455.78	c  455s |      19 |   698789 |   605682 |    18388     79 |        5 |      310
457.70/457.84	c  457s |      19 |   701661 |   608282 |    18388     79 |        5 |      310
459.70/459.85	c  459s |      19 |   704202 |   610582 |    18388     79 |        5 |      310
461.69/461.86	c  461s |      19 |   706389 |   612482 |    18388     80 |        5 |      310
463.79/463.92	c  463s |      19 |   709380 |   615082 |    18388     80 |        5 |      310
465.79/465.95	c  465s |      19 |   712340 |   617682 |    18388     80 |        5 |      310
467.79/467.99	c  467s |      19 |   715436 |   620382 |    18388     80 |        5 |      310
470.19/470.32	c  470s |      19 |   717215 |   621982 |    18388     81 |        5 |      310
472.19/472.33	c  472s |      19 |   720653 |   624982 |    18388     81 |        5 |      310
474.29/474.40	c  474s |      19 |   723631 |   627682 |    18388     81 |        5 |      310
476.30/476.47	c  476s |      19 |   726383 |   630182 |    18388     81 |        5 |      310
478.40/478.55	c  478s |      19 |   729152 |   632682 |    18388     82 |        5 |      310
480.49/480.61	c  480s |      19 |   731893 |   635182 |    18388     82 |        5 |      310
482.49/482.69	c  482s |      19 |   734587 |   637582 |    18388     82 |        5 |      310
484.58/484.75	c  484s |      19 |   736958 |   639782 |    18388     82 |        5 |      310
486.68/486.82	c  486s |      19 |   739494 |   642082 |    18388     83 |        5 |      310
488.78/488.91	c  488s |      19 |   742333 |   644682 |    18388     83 |        5 |      310
490.78/490.91	c  490s |      19 |   744812 |   646982 |    18388     83 |        5 |      310
492.79/492.93	c  492s |      19 |   747131 |   649082 |    18388     83 |        5 |      310
499.38/499.59	c  499s |      19 |   749330 |   651082 |    18388     84 |        5 |      310
501.48/501.61	c  501s |      19 |   753242 |   654282 |    18388     84 |        5 |      310
503.47/503.68	c  503s |      19 |   756476 |   657082 |    18388     84 |        5 |      310
505.57/505.70	c  505s |      19 |   759037 |   659282 |    18388     85 |        5 |      310
507.57/507.76	c  507s |      19 |   762303 |   662182 |    20227     85 |        5 |      310
509.57/509.78	c  509s |      19 |   764934 |   664382 |    20227     85 |        5 |      310
511.67/511.80	c  511s |      19 |   767601 |   666682 |    20227     85 |        5 |      310
511.77/511.92	c  511s |      20 |   767772 |   666827 |    20227     85 |        5 |      310
513.77/513.98	c  513s |      20 |   770350 |   668827 |    20227     85 |        5 |      310
515.88/516.04	c  515s |      20 |   772577 |   670727 |    20227     86 |        5 |      310
517.87/518.10	c  517s |      20 |   776144 |   673827 |    20227     86 |        5 |      310
519.97/520.11	c  519s |      20 |   779107 |   676327 |    20227     86 |        5 |      310
521.97/522.15	c  521s |      20 |   781853 |   678727 |    20227     86 |        5 |      310
523.97/524.17	c  523s |      20 |   784659 |   681027 |    20227     87 |        5 |      310
526.07/526.23	c  526s |      20 |   788062 |   683927 |    20227     87 |        5 |      310
528.07/528.25	c  528s |      20 |   791214 |   686627 |    20227     87 |        5 |      310
530.07/530.30	c  530s |      20 |   794039 |   689127 |    20227     87 |        5 |      310
532.16/532.33	c  532s |      20 |   796708 |   691527 |    20227     88 |        5 |      310
534.96/535.18	c  535s |      20 |   796974 |   691727 |    20227     88 |        5 |      310
537.06/537.21	c  537s |      20 |   800699 |   694727 |    20227     88 |        5 |      310
539.06/539.22	c  539s |      20 |   804021 |   697527 |    20227     88 |        5 |      310
541.06/541.29	c  541s |      20 |   807028 |   700127 |    20227     88 |        5 |      310
543.15/543.30	c  543s |      20 |   810024 |   702727 |    20227     89 |        5 |      310
545.15/545.37	c  545s |      20 |   813027 |   705427 |    20227     89 |        5 |      310
547.25/547.44	c  547s |      20 |   816016 |   708027 |    20227     89 |        5 |      310
549.25/549.47	c  549s |      20 |   818580 |   710227 |    20227     89 |        5 |      310
551.25/551.49	c  551s |      20 |   820847 |   712227 |    20227     90 |        5 |      310
553.35/553.52	c  553s |      20 |   824256 |   715227 |    20227     90 |        5 |      310
555.36/555.54	c  555s |      20 |   827243 |   717827 |    20227     90 |        5 |      310
557.35/557.56	c  557s |      20 |   830103 |   720327 |    20227     90 |        5 |      310
559.35/559.59	c  559s |      20 |   832903 |   722827 |    20227     91 |        5 |      310
561.45/561.61	c  561s |      20 |   835875 |   725527 |    20227     91 |        5 |      310
563.55/563.70	c  563s |      20 |   838481 |   727927 |    20227     91 |        5 |      310
565.55/565.79	c  565s |      20 |   841014 |   730127 |    20227     91 |        5 |      310
567.74/567.93	c  567s |      20 |   843073 |   731927 |    20227     92 |        5 |      310
569.84/570.01	c  569s |      20 |   846719 |   735127 |    20227     92 |        5 |      310
572.64/572.84	c  572s |      20 |   847272 |   735627 |    20227     92 |        5 |      310
574.64/574.86	c  574s |      20 |   849437 |   737527 |    20227     92 |        5 |      310
576.64/576.89	c  576s |      20 |   852527 |   740027 |    20227     92 |        5 |      310
578.74/578.91	c  578s |      20 |   855062 |   742027 |    20227     93 |        5 |      310
580.75/580.97	c  580s |      20 |   858308 |   744827 |    20227     93 |        5 |      310
582.74/582.98	c  582s |      20 |   861402 |   747527 |    20227     93 |        5 |      310
584.84/585.09	c  584s |      20 |   864149 |   749927 |    20227     93 |        5 |      310
587.04/587.29	c  587s |      20 |   866894 |   752227 |    20227     94 |        5 |      310
589.14/589.35	c  589s |      20 |   869966 |   754927 |    20227     94 |        5 |      310
591.14/591.36	c  591s |      20 |   872901 |   757527 |    20227     94 |        5 |      310
593.13/593.37	c  593s |      20 |   875539 |   759827 |    20227     94 |        5 |      310
595.23/595.44	c  595s |      20 |   877996 |   762027 |    20227     94 |        5 |      310
597.24/597.49	c  597s |      20 |   881096 |   764527 |    20227     95 |        5 |      310
599.34/599.53	c  599s |      20 |   884289 |   767327 |    20227     95 |        5 |      310
601.33/601.55	c  601s |      20 |   886972 |   769727 |    20227     95 |        5 |      310
603.33/603.58	c  603s |      20 |   889498 |   772027 |    20227     95 |        5 |      310
605.43/605.65	c  605s |      20 |   892458 |   774727 |    20227     96 |        5 |      310
607.83/608.04	c  607s |      20 |   894637 |   776727 |    20227     96 |        5 |      310
609.93/610.16	c  609s |      20 |   894740 |   776827 |    20227     96 |        5 |      310
612.02/612.22	c  612s |      20 |   897271 |   779127 |    20227     96 |        5 |      310
614.02/614.25	c  614s |      20 |   899444 |   781127 |    20227     96 |        5 |      310
616.02/616.29	c  616s |      20 |   901494 |   782927 |    20227     97 |        5 |      310
618.13/618.34	c  618s |      20 |   904591 |   785627 |    20227     97 |        5 |      310
620.23/620.41	c  620s |      20 |   907253 |   788027 |    20227     97 |        5 |      310
622.32/622.51	c  622s |      20 |   909617 |   790227 |    20227     97 |        5 |      310
624.33/624.59	c  624s |      20 |   911806 |   792227 |    20227     97 |        5 |      310
626.33/626.59	c  626s |      20 |   914131 |   794327 |    20227     98 |        5 |      310
628.33/628.59	c  628s |      20 |   916892 |   796827 |    20227     98 |        5 |      310
630.43/630.60	c  630s |      20 |   919280 |   799027 |    20227     98 |        5 |      310
632.43/632.65	c  632s |      20 |   921463 |   801027 |    20227     98 |        5 |      310
634.42/634.67	c  634s |      20 |   923518 |   802927 |    20227     98 |        5 |      310
637.02/637.27	c  637s |      20 |   924394 |   803727 |    20227     99 |        5 |      310
639.03/639.29	c  639s |      20 |   927544 |   806527 |    20227     99 |        5 |      310
641.13/641.35	c  641s |      20 |   930363 |   809027 |    20227     99 |        5 |      310
643.22/643.45	c  643s |      20 |   932879 |   811327 |    20227     99 |        5 |      310
645.31/645.54	c  645s |      20 |   935205 |   813427 |    20227     99 |        5 |      310
647.31/647.58	c  647s |      20 |   937830 |   815827 |    20227    100 |        5 |      310
649.41/649.61	c  649s |      20 |   940375 |   818127 |    20227    100 |        5 |      310
651.41/651.67	c  651s |      20 |   943032 |   820427 |    20227    100 |        5 |      310
653.51/653.74	c  653s |      20 |   945383 |   822427 |    20227    100 |        5 |      310
655.61/655.80	c  655s |      20 |   947205 |   824027 |    20227    101 |        5 |      310
657.62/657.87	c  657s |      20 |   949702 |   826127 |    20227    101 |        5 |      310
659.61/659.88	c  659s |      20 |   952683 |   828627 |    20227    101 |        5 |      310
661.71/661.90	c  661s |      20 |   955344 |   830927 |    20227    101 |        5 |      310
663.71/663.92	c  663s |      20 |   957796 |   833127 |    20227    101 |        5 |      310
665.70/665.97	c  665s |      20 |   960702 |   835727 |    20227    102 |        5 |      310
667.80/668.02	c  667s |      20 |   961502 |   836427 |    20227    102 |        5 |      310
669.90/670.12	c  669s |      20 |   964448 |   839127 |    20227    102 |        5 |      310
671.90/672.18	c  672s |      20 |   967281 |   841627 |    20227    102 |        5 |      310
674.00/674.23	c  674s |      20 |   969407 |   843527 |    20227    102 |        5 |      310
676.00/676.25	c  676s |      20 |   971710 |   845527 |    20227    103 |        5 |      310
678.10/678.34	c  678s |      20 |   974405 |   847927 |    20227    103 |        5 |      310
680.10/680.38	c  680s |      20 |   976597 |   849927 |    20227    103 |        5 |      310
682.19/682.45	c  682s |      20 |   978791 |   851927 |    20227    103 |        5 |      310
684.19/684.47	c  684s |      20 |   981054 |   853927 |    20227    103 |        5 |      310
686.30/686.50	c  686s |      20 |   983157 |   855827 |    20227    104 |        5 |      310
688.29/688.53	c  688s |      20 |   985711 |   858127 |    20227    104 |        5 |      310
690.29/690.58	c  690s |      20 |   987940 |   860127 |    20227    104 |        5 |      310
692.38/692.65	c  692s |      20 |   989908 |   861927 |    20227    104 |        5 |      310
694.48/694.71	c  694s |      20 |   991771 |   863627 |    20227    104 |        5 |      310
696.48/696.79	c  696s |      20 |   993867 |   865527 |    20227    105 |        5 |      310
698.58/698.84	c  698s |      20 |   995365 |   866827 |    20227    105 |        5 |      310
700.59/700.86	c  700s |      20 |   997734 |   868927 |    20227    105 |        5 |      310
702.68/702.96	c  702s |      20 |  1000121 |   871127 |    20227    105 |        5 |      310
704.68/704.98	c  704s |      20 |  1002155 |   873027 |    20227    105 |        5 |      310
706.78/707.03	c  706s |      20 |  1004099 |   874827 |    20227    105 |        5 |      310
708.88/709.11	c  708s |      20 |  1006552 |   877027 |    20227    106 |        5 |      310
710.87/711.16	c  710s |      20 |  1009109 |   879327 |    20227    106 |        5 |      310
712.88/713.17	c  713s |      20 |  1010945 |   880927 |    20227    106 |        5 |      310
714.98/715.21	c  715s |      20 |  1013200 |   882927 |    20227    106 |        5 |      310
716.98/717.28	c  717s |      20 |  1015313 |   884827 |    20227    106 |        5 |      310
719.08/719.31	c  719s |      20 |  1017012 |   886327 |    20227    107 |        5 |      310
721.08/721.38	c  721s |      20 |  1019789 |   888827 |    20227    107 |        5 |      310
723.18/723.48	c  723s |      20 |  1022267 |   891127 |    20227    107 |        5 |      310
725.27/725.53	c  725s |      20 |  1024461 |   893127 |    20227    107 |        5 |      310
727.37/727.60	c  727s |      20 |  1026461 |   894927 |    20227    107 |        5 |      310
729.37/729.62	c  729s |      20 |  1028451 |   896727 |    20227    108 |        5 |      310
731.47/731.70	c  731s |      20 |  1031234 |   899227 |    20227    108 |        5 |      310
733.47/733.79	c  733s |      20 |  1033595 |   901427 |    20227    108 |        5 |      310
735.56/735.81	c  735s |      20 |  1035771 |   903327 |    20227    108 |        5 |      310
737.66/737.91	c  737s |      20 |  1037787 |   905127 |    20227    108 |        5 |      310
739.66/739.96	c  739s |      20 |  1039647 |   906827 |    20227    109 |        5 |      310
741.76/742.01	c  741s |      20 |  1042120 |   909127 |    20227    109 |        5 |      310
743.77/744.04	c  743s |      20 |  1044514 |   911327 |    20227    109 |        5 |      310
745.77/746.06	c  745s |      20 |  1046690 |   913327 |    20227    109 |        5 |      310
747.87/748.16	c  747s |      20 |  1048681 |   915127 |    20227    109 |        5 |      310
749.87/750.19	c  750s |      20 |  1050519 |   916827 |    20227    110 |        5 |      310
751.96/752.26	c  752s |      20 |  1052892 |   919027 |    20227    110 |        5 |      310
754.76/755.07	c  754s |      20 |  1054217 |   920227 |    20227    110 |        5 |      310
756.86/757.16	c  756s |      20 |  1057143 |   922727 |    20227    110 |        5 |      310
758.86/759.18	c  759s |      20 |  1059654 |   924927 |    20227    110 |        5 |      310
760.96/761.21	c  761s |      20 |  1062239 |   927127 |    20227    111 |        5 |      310
762.95/763.27	c  763s |      20 |  1065042 |   929527 |    20227    111 |        5 |      310
765.05/765.31	c  765s |      20 |  1067903 |   931927 |    20227    111 |        5 |      310
767.05/767.35	c  767s |      20 |  1070389 |   934127 |    20227    111 |        5 |      310
769.05/769.37	c  769s |      20 |  1072767 |   936227 |    20227    111 |        5 |      310
771.35/771.62	c  771s |      20 |  1074787 |   938027 |    20227    112 |        5 |      310
773.35/773.68	c  773s |      20 |  1078080 |   940827 |    20227    112 |        5 |      310
775.45/775.75	c  775s |      20 |  1080966 |   943427 |    20227    112 |        5 |      310
777.45/777.80	c  777s |      20 |  1083684 |   945827 |    20227    112 |        5 |      310
779.55/779.83	c  779s |      20 |  1085819 |   947727 |    20227    113 |        5 |      310
781.65/781.90	c  781s |      20 |  1088909 |   950427 |    20227    113 |        5 |      310
783.64/783.96	c  783s |      20 |  1091575 |   952827 |    20227    113 |        5 |      310
785.74/786.02	c  785s |      20 |  1093769 |   954827 |    20227    113 |        5 |      310
787.74/788.09	c  787s |      20 |  1095881 |   956727 |    20227    113 |        5 |      310
789.84/790.11	c  789s |      20 |  1098335 |   958927 |    20227    114 |        5 |      310
792.04/792.33	c  792s |      20 |  1099666 |   960127 |    20227    114 |        5 |      310
794.14/794.40	c  794s |      20 |  1102666 |   962727 |    20227    114 |        5 |      310
796.24/796.52	c  796s |      20 |  1105360 |   965127 |    20227    114 |        5 |      310
798.34/798.62	c  798s |      20 |  1107587 |   967127 |    20227    114 |        5 |      310
800.44/800.76	c  800s |      20 |  1109995 |   969327 |    20227    115 |        5 |      310
802.43/802.78	c  802s |      20 |  1112690 |   971727 |    20227    115 |        5 |      310
804.43/804.79	c  804s |      20 |  1115354 |   974127 |    20227    115 |        5 |      310
806.53/806.80	c  806s |      20 |  1117836 |   976327 |    20227    115 |        5 |      310
808.53/808.84	c  808s |      20 |  1120318 |   978527 |    20227    116 |        5 |      310
810.54/810.87	c  810s |      20 |  1123170 |   981127 |    20227    116 |        5 |      310
813.13/813.41	c  813s |      20 |  1123824 |   981727 |    20227    116 |        5 |      310
815.14/815.48	c  815s |      20 |  1126142 |   983627 |    20227    116 |        5 |      310
817.23/817.55	c  817s |      20 |  1129342 |   986227 |    20227    116 |        5 |      310
819.34/819.62	c  819s |      20 |  1131594 |   988127 |    20227    117 |        5 |      310
821.33/821.67	c  821s |      20 |  1134973 |   991027 |    20227    117 |        5 |      310
823.43/823.72	c  823s |      20 |  1138237 |   993827 |    22250    117 |        5 |      310
825.43/825.77	c  825s |      20 |  1141102 |   996327 |    22250    117 |        5 |      310
827.53/827.87	c  827s |      20 |  1143559 |   998427 |    22250    117 |        5 |      310
829.63/829.96	c  829s |      20 |  1145716 |  1000227 |    22250    118 |        5 |      310
829.73/830.03	c  829s |      21 |  1145854 |  1000345 |    22250    118 |        5 |      310
831.73/832.07	c  831s |      21 |  1146523 |  1000845 |    22250    118 |        5 |      310
833.73/834.07	c  833s |      21 |  1149991 |  1003645 |    22250    118 |        5 |      310
835.83/836.16	c  835s |      21 |  1153013 |  1006245 |    22250    118 |        5 |      310
837.93/838.23	c  838s |      21 |  1156024 |  1008845 |    22250    118 |        5 |      310
839.93/840.25	c  840s |      21 |  1158688 |  1011145 |    22250    118 |        5 |      310
841.92/842.26	c  842s |      21 |  1161392 |  1013545 |    22250    119 |        5 |      310
843.92/844.29	c  844s |      21 |  1164306 |  1016045 |    22250    119 |        5 |      310
846.02/846.37	c  846s |      21 |  1167541 |  1018745 |    22250    119 |        5 |      310
848.32/848.65	c  848s |      21 |  1169171 |  1020145 |    22250    119 |        5 |      310
850.42/850.73	c  850s |      21 |  1171805 |  1022245 |    22250    119 |        5 |      310
852.41/852.74	c  852s |      21 |  1174040 |  1024145 |    22250    120 |        5 |      310
854.42/854.78	c  854s |      21 |  1177060 |  1026745 |    22250    120 |        5 |      310
856.51/856.84	c  856s |      21 |  1180190 |  1029345 |    22250    120 |        5 |      310
858.61/858.90	c  858s |      21 |  1183032 |  1031845 |    22250    120 |        5 |      310
860.61/860.98	c  860s |      21 |  1185364 |  1033945 |    22250    120 |        5 |      310
863.10/863.50	c  863s |      21 |  1188280 |  1036445 |    22250    121 |        5 |      310
865.20/865.54	c  865s |      21 |  1191648 |  1039245 |    22250    121 |        5 |      310
867.20/867.57	c  867s |      21 |  1194566 |  1041845 |    22250    121 |        5 |      310
869.30/869.63	c  869s |      21 |  1197107 |  1044045 |    22250    121 |        5 |      310
871.30/871.68	c  871s |      21 |  1199438 |  1046045 |    22250    122 |        5 |      310
873.40/873.75	c  873s |      21 |  1202971 |  1049145 |    22250    122 |        5 |      310
875.41/875.76	c  875s |      21 |  1205990 |  1051845 |    22250    122 |        5 |      310
877.41/877.78	c  877s |      21 |  1208220 |  1053745 |    22250    122 |        5 |      310
879.51/879.82	c  879s |      21 |  1210489 |  1055745 |    22250    122 |        5 |      310
881.51/881.84	c  881s |      21 |  1212740 |  1057745 |    22250    123 |        5 |      310
883.60/883.91	c  883s |      21 |  1215478 |  1060145 |    22250    123 |        5 |      310
885.60/885.97	c  885s |      21 |  1218128 |  1062545 |    22250    123 |        5 |      310
888.90/889.20	c  889s |      21 |  1220310 |  1064545 |    22250    123 |        5 |      310
891.60/891.94	c  891s |      21 |  1220432 |  1064645 |    22250    123 |        5 |      310
893.59/893.96	c  893s |      21 |  1222891 |  1066745 |    22250    123 |        5 |      310
895.79/896.16	c  895s |      21 |  1225059 |  1068645 |    22250    124 |        5 |      310
897.89/898.20	c  898s |      21 |  1228382 |  1071345 |    22250    124 |        5 |      310
899.89/900.22	c  900s |      21 |  1231270 |  1073745 |    22250    124 |        5 |      310
901.89/902.27	c  902s |      21 |  1233943 |  1076045 |    22250    124 |        5 |      310
903.90/904.27	c  904s |      21 |  1236487 |  1078245 |    22250    124 |        5 |      310
905.99/906.32	c  906s |      21 |  1239230 |  1080645 |    22250    125 |        5 |      310
907.99/908.39	c  908s |      21 |  1240919 |  1082145 |    22250    125 |        5 |      310
910.09/910.40	c  910s |      21 |  1243451 |  1084345 |    22250    125 |        5 |      310
912.09/912.49	c  912s |      21 |  1245849 |  1086445 |    22250    125 |        5 |      310
914.19/914.58	c  914s |      21 |  1248077 |  1088445 |    22250    125 |        5 |      310
916.29/916.62	c  916s |      21 |  1250328 |  1090445 |    22250    126 |        5 |      310
918.39/918.70	c  918s |      21 |  1252924 |  1092745 |    22250    126 |        5 |      310
920.40/920.73	c  920s |      21 |  1255080 |  1094745 |    22250    126 |        5 |      310
922.49/922.81	c  922s |      21 |  1257363 |  1096745 |    22250    126 |        5 |      310
924.59/924.90	c  924s |      21 |  1259607 |  1098745 |    22250    126 |        5 |      310
926.59/926.91	c  926s |      21 |  1261849 |  1100745 |    22250    126 |        5 |      310
928.59/928.97	c  928s |      21 |  1264148 |  1102745 |    22250    127 |        5 |      310
932.49/932.81	c  932s |      21 |  1266493 |  1104745 |    22250    127 |        5 |      310
934.48/934.85	c  934s |      21 |  1269184 |  1107045 |    22250    127 |        5 |      310
936.48/936.89	c  936s |      21 |  1270937 |  1108645 |    22250    127 |        5 |      310
938.58/938.91	c  938s |      21 |  1273285 |  1110745 |    22250    127 |        5 |      310
940.68/941.01	c  940s |      21 |  1275606 |  1112745 |    22250    128 |        5 |      310
942.67/943.07	c  942s |      21 |  1278148 |  1114945 |    22250    128 |        5 |      310
944.77/945.14	c  944s |      21 |  1281460 |  1117845 |    22250    128 |        5 |      310
946.78/947.17	c  947s |      21 |  1284144 |  1120245 |    22250    128 |        5 |      310
948.87/949.20	c  949s |      21 |  1286587 |  1122445 |    22250    128 |        5 |      310
950.87/951.27	c  951s |      21 |  1288662 |  1124345 |    22250    129 |        5 |      310
952.87/953.29	c  953s |      21 |  1291495 |  1126845 |    22250    129 |        5 |      310
954.97/955.31	c  955s |      21 |  1294155 |  1129145 |    22250    129 |        5 |      310
956.97/957.34	c  957s |      21 |  1296595 |  1131245 |    22250    129 |        5 |      310
959.68/960.03	c  959s |      21 |  1298409 |  1132845 |    22250    129 |        5 |      310
961.68/962.08	c  961s |      21 |  1300601 |  1134745 |    22250    129 |        5 |      310
963.78/964.12	c  963s |      21 |  1302684 |  1136545 |    22250    130 |        5 |      310
965.78/966.14	c  965s |      21 |  1305785 |  1139245 |    22250    130 |        5 |      310
967.78/968.15	c  967s |      21 |  1308733 |  1141845 |    22250    130 |        5 |      310
969.78/970.20	c  970s |      21 |  1311567 |  1144345 |    22250    130 |        5 |      310
971.88/972.20	c  972s |      21 |  1313730 |  1146345 |    22250    130 |        5 |      310
973.87/974.23	c  974s |      21 |  1316348 |  1148745 |    22250    131 |        5 |      310
976.77/977.15	c  976s |      21 |  1319149 |  1151245 |    22250    131 |        5 |      310
978.87/979.20	c  979s |      21 |  1321176 |  1153045 |    22250    131 |        5 |      310
980.88/981.27	c  981s |      21 |  1323580 |  1155145 |    22250    131 |        5 |      310
982.97/983.32	c  983s |      21 |  1325723 |  1157045 |    22250    131 |        5 |      310
984.97/985.33	c  985s |      21 |  1327582 |  1158745 |    22250    132 |        5 |      310
986.97/987.39	c  987s |      21 |  1330148 |  1161045 |    22250    132 |        5 |      310
989.07/989.41	c  989s |      21 |  1332480 |  1163145 |    22250    132 |        5 |      310
991.07/991.43	c  991s |      21 |  1334656 |  1165145 |    22250    132 |        5 |      310
993.07/993.47	c  993s |      21 |  1336753 |  1167045 |    22250    132 |        5 |      310
995.27/995.61	c  995s |      21 |  1338710 |  1168845 |    22250    132 |        5 |      310
1002.66/1003.00	c 1002s |      21 |  1339935 |  1169945 |    22250    133 |        5 |      310
1004.66/1005.05	c 1004s |      21 |  1343796 |  1173145 |    22250    133 |        5 |      310
1006.66/1007.08	c 1006s |      21 |  1346807 |  1175745 |    22250    133 |        5 |      310
1008.76/1009.13	c 1008s |      21 |  1349391 |  1178045 |    22250    133 |        5 |      310
1010.86/1011.25	c 1011s |      21 |  1351881 |  1180145 |    22250    134 |        5 |      310
1012.95/1013.34	c 1013s |      21 |  1354315 |  1182245 |    22250    134 |        5 |      310
1014.96/1015.39	c 1015s |      21 |  1356795 |  1184445 |    22250    134 |        5 |      310
1017.05/1017.40	c 1017s |      21 |  1358970 |  1186345 |    22250    134 |        5 |      310
1019.05/1019.47	c 1019s |      21 |  1361069 |  1188145 |    22250    134 |        5 |      310
1021.15/1021.50	c 1021s |      21 |  1363429 |  1190145 |    22250    134 |        5 |      310
1023.15/1023.50	c 1023s |      21 |  1365077 |  1191645 |    22250    135 |        5 |      310
1025.15/1025.51	c 1025s |      21 |  1367646 |  1193945 |    22250    135 |        5 |      310
1027.15/1027.59	c 1027s |      21 |  1369924 |  1196045 |    22250    135 |        5 |      310
1029.15/1029.60	c 1029s |      21 |  1371998 |  1197945 |    22250    135 |        5 |      310
1031.25/1031.61	c 1031s |      21 |  1374007 |  1199745 |    22250    135 |        5 |      310
1033.25/1033.67	c 1033s |      21 |  1376174 |  1201645 |    22250    135 |        5 |      310
1035.35/1035.72	c 1035s |      21 |  1377627 |  1202945 |    22250    136 |        5 |      310
1037.45/1037.81	c 1037s |      21 |  1380192 |  1205245 |    22250    136 |        5 |      310
1039.45/1039.84	c 1039s |      21 |  1382496 |  1207345 |    22250    136 |        5 |      310
1041.45/1041.89	c 1041s |      21 |  1384540 |  1209245 |    22250    136 |        5 |      310
1043.55/1043.99	c 1043s |      21 |  1386630 |  1211145 |    22250    136 |        5 |      310
1045.65/1046.09	c 1045s |      21 |  1388658 |  1212945 |    22250    136 |        5 |      310
1047.74/1048.15	c 1047s |      21 |  1390163 |  1214345 |    22250    137 |        5 |      310
1051.44/1051.84	c 1051s |      21 |  1392555 |  1216545 |    22250    137 |        5 |      310
1053.55/1053.92	c 1053s |      21 |  1393696 |  1217545 |    22250    137 |        5 |      310
1055.54/1055.98	c 1055s |      21 |  1396316 |  1219845 |    22250    137 |        5 |      310
1057.64/1058.07	c 1057s |      21 |  1398578 |  1221845 |    22250    137 |        5 |      310
1059.74/1060.11	c 1059s |      21 |  1400462 |  1223545 |    22250    137 |        5 |      310
1061.84/1062.20	c 1062s |      21 |  1402202 |  1225145 |    22250    137 |        5 |      310
1063.84/1064.22	c 1064s |      21 |  1404020 |  1226745 |    22250    138 |        5 |      310
1065.84/1066.22	c 1066s |      21 |  1406633 |  1229045 |    22250    138 |        5 |      310
1067.85/1068.26	c 1068s |      21 |  1408939 |  1231045 |    22250    138 |        5 |      310
1069.94/1070.35	c 1070s |      21 |  1411154 |  1233045 |    22250    138 |        5 |      310
1072.04/1072.46	c 1072s |      21 |  1413225 |  1234945 |    22250    138 |        5 |      310
1074.04/1074.48	c 1074s |      21 |  1414835 |  1236445 |    22250    139 |        5 |      310
1076.14/1076.51	c 1076s |      21 |  1417305 |  1238745 |    22250    139 |        5 |      310
1078.14/1078.52	c 1078s |      21 |  1419464 |  1240745 |    22250    139 |        5 |      310
1080.24/1080.61	c 1080s |      21 |  1421201 |  1242345 |    22250    139 |        5 |      310
1082.24/1082.64	c 1082s |      21 |  1423203 |  1244145 |    22250    139 |        5 |      310
1084.34/1084.74	c 1084s |      21 |  1425106 |  1245845 |    22250    139 |        5 |      310
1086.44/1086.87	c 1086s |      21 |  1426908 |  1247445 |    22250    139 |        5 |      310
1088.44/1088.88	c 1088s |      21 |  1428607 |  1248945 |    22250    140 |        5 |      310
1090.54/1090.93	c 1090s |      21 |  1430813 |  1250945 |    22250    140 |        5 |      310
1092.54/1092.98	c 1092s |      21 |  1432897 |  1252845 |    22250    140 |        5 |      310
1094.64/1095.02	c 1094s |      21 |  1435003 |  1254745 |    22250    140 |        5 |      310
1096.64/1097.06	c 1096s |      21 |  1436046 |  1255645 |    22250    140 |        5 |      310
1098.74/1099.15	c 1098s |      21 |  1438136 |  1257545 |    22250    140 |        5 |      310
1101.14/1101.51	c 1101s |      21 |  1440069 |  1259245 |    22250    141 |        5 |      310
1103.14/1103.55	c 1103s |      21 |  1442595 |  1261545 |    22250    141 |        5 |      310
1105.25/1105.63	c 1105s |      21 |  1445025 |  1263745 |    22250    141 |        5 |      310
1107.24/1107.70	c 1107s |      21 |  1447303 |  1265745 |    22250    141 |        5 |      310
1109.34/1109.77	c 1109s |      21 |  1449327 |  1267545 |    22250    141 |        5 |      310
1111.44/1111.83	c 1111s |      21 |  1451061 |  1269145 |    22250    141 |        5 |      310
1113.44/1113.88	c 1113s |      21 |  1452793 |  1270745 |    22250    142 |        5 |      310
1115.54/1115.96	c 1115s |      21 |  1455059 |  1272845 |    22250    142 |        5 |      310
1117.64/1118.01	c 1117s |      21 |  1457387 |  1274945 |    22250    142 |        5 |      310
1120.04/1120.46	c 1120s |      21 |  1459272 |  1276645 |    22250    142 |        5 |      310
1122.14/1122.54	c 1122s |      21 |  1461158 |  1278345 |    22250    142 |        5 |      310
1124.24/1124.63	c 1124s |      21 |  1462893 |  1279945 |    22250    142 |        5 |      310
1126.23/1126.68	c 1126s |      21 |  1464424 |  1281345 |    22250    142 |        5 |      310
1128.34/1128.72	c 1128s |      21 |  1466158 |  1282945 |    22250    143 |        5 |      310
1130.33/1130.78	c 1130s |      21 |  1468544 |  1285145 |    22250    143 |        5 |      310
1132.43/1132.80	c 1132s |      21 |  1470510 |  1286945 |    22250    143 |        5 |      310
1134.43/1134.80	c 1134s |      21 |  1472325 |  1288645 |    22250    143 |        5 |      310
1136.43/1136.86	c 1136s |      21 |  1474167 |  1290345 |    22250    143 |        5 |      310
1138.43/1138.88	c 1138s |      21 |  1475948 |  1291945 |    22250    143 |        5 |      310
1140.53/1140.96	c 1140s |      21 |  1477450 |  1293345 |    22250    144 |        5 |      310
1142.64/1143.03	c 1142s |      21 |  1479759 |  1295445 |    22250    144 |        5 |      310
1144.63/1145.04	c 1144s |      21 |  1481699 |  1297245 |    22250    144 |        5 |      310
1147.73/1148.10	c 1147s |      21 |  1483200 |  1298645 |    22250    144 |        5 |      310
1149.73/1150.18	c 1150s |      21 |  1484038 |  1299345 |    22250    144 |        5 |      310
1151.83/1152.22	c 1152s |      21 |  1486216 |  1301245 |    22250    144 |        5 |      310
1153.93/1154.31	c 1154s |      21 |  1488351 |  1302945 |    22250    144 |        5 |      310
1155.93/1156.33	c 1156s |      21 |  1489891 |  1304245 |    22250    145 |        5 |      310
1157.94/1158.36	c 1158s |      21 |  1492819 |  1306745 |    22250    145 |        5 |      310
1159.93/1160.37	c 1160s |      21 |  1495270 |  1308845 |    22250    145 |        5 |      310
1162.03/1162.45	c 1162s |      21 |  1497576 |  1310945 |    22250    145 |        5 |      310
1164.13/1164.52	c 1164s |      21 |  1499739 |  1312845 |    22250    145 |        5 |      310
1166.13/1166.57	c 1166s |      21 |  1501690 |  1314545 |    22250    145 |        5 |      310
1168.13/1168.57	c 1168s |      21 |  1503738 |  1316345 |    22250    146 |        5 |      310
1170.23/1170.66	c 1170s |      21 |  1506302 |  1318545 |    22250    146 |        5 |      310
1172.34/1172.72	c 1172s |      21 |  1508827 |  1320745 |    22250    146 |        5 |      310
1174.33/1174.78	c 1174s |      21 |  1511075 |  1322745 |    22250    146 |        5 |      310
1176.43/1176.89	c 1176s |      21 |  1513390 |  1324745 |    22250    146 |        5 |      310
1178.53/1178.91	c 1178s |      21 |  1515275 |  1326445 |    22250    146 |        5 |      310
1183.03/1183.41	c 1183s |      21 |  1517046 |  1328045 |    22250    147 |        5 |      310
1185.02/1185.46	c 1185s |      21 |  1519712 |  1330345 |    22250    147 |        5 |      310
1187.12/1187.54	c 1187s |      21 |  1522340 |  1332645 |    22250    147 |        5 |      310
1189.12/1189.55	c 1189s |      21 |  1524536 |  1334645 |    22250    147 |        5 |      310
1191.12/1191.58	c 1191s |      21 |  1526605 |  1336545 |    22250    147 |        5 |      310
1193.23/1193.63	c 1193s |      21 |  1528484 |  1338245 |    22250    148 |        5 |      310
1195.22/1195.70	c 1195s |      21 |  1530577 |  1340145 |    22250    148 |        5 |      310
1197.32/1197.79	c 1197s |      21 |  1533029 |  1342345 |    22250    148 |        5 |      310
1199.42/1199.88	c 1199s |      21 |  1535025 |  1344145 |    22250    148 |        5 |      310
1201.52/1201.99	c 1201s |      21 |  1537007 |  1345945 |    22250    148 |        5 |      310
1203.62/1204.04	c 1203s |      21 |  1538769 |  1347545 |    22250    148 |        5 |      310
1205.92/1206.33	c 1206s |      21 |  1540402 |  1349045 |    22250    149 |        5 |      310
1207.92/1208.34	c 1208s |      21 |  1542442 |  1350945 |    22250    149 |        5 |      310
1209.92/1210.36	c 1210s |      21 |  1544276 |  1352645 |    22250    149 |        5 |      310
1212.02/1212.46	c 1212s |      21 |  1546337 |  1354545 |    22250    149 |        5 |      310
1215.52/1215.98	c 1215s |      21 |  1548127 |  1356145 |    22250    149 |        5 |      310
1217.62/1218.07	c 1217s |      21 |  1550074 |  1357845 |    22250    149 |        5 |      310
1219.62/1220.08	c 1219s |      21 |  1551866 |  1359445 |    22250    149 |        5 |      310
1221.72/1222.15	c 1221s |      21 |  1553611 |  1360945 |    22250    150 |        5 |      310
1223.82/1224.22	c 1224s |      21 |  1556047 |  1363145 |    22250    150 |        5 |      310
1225.92/1226.30	c 1226s |      21 |  1558434 |  1365245 |    22250    150 |        5 |      310
1228.02/1228.40	c 1228s |      21 |  1560644 |  1367245 |    22250    150 |        5 |      310
1230.02/1230.48	c 1230s |      21 |  1562792 |  1369145 |    22250    150 |        5 |      310
1232.12/1232.52	c 1232s |      21 |  1564717 |  1370845 |    22250    150 |        5 |      310
1234.32/1234.79	c 1234s |      21 |  1565829 |  1371845 |    22250    151 |        5 |      310
1236.42/1236.83	c 1236s |      21 |  1568846 |  1374445 |    22250    151 |        5 |      310
1238.41/1238.89	c 1238s |      21 |  1571637 |  1376845 |    22250    151 |        5 |      310
1240.52/1240.92	c 1240s |      21 |  1574018 |  1378945 |    22250    151 |        5 |      310
1242.51/1242.95	c 1242s |      21 |  1576165 |  1380845 |    22250    151 |        5 |      310
1244.71/1245.20	c 1245s |      21 |  1578281 |  1382745 |    22250    152 |        5 |      310
1246.81/1247.23	c 1247s |      21 |  1578968 |  1383345 |    22250    152 |        5 |      310
1248.81/1249.29	c 1249s |      21 |  1580793 |  1384945 |    22250    152 |        5 |      310
1250.91/1251.31	c 1251s |      21 |  1583774 |  1387545 |    22250    152 |        5 |      310
1252.91/1253.35	c 1253s |      21 |  1586414 |  1389845 |    22250    152 |        5 |      310
1255.01/1255.42	c 1255s |      21 |  1588961 |  1392145 |    22250    152 |        5 |      310
1257.21/1257.61	c 1257s |      21 |  1591134 |  1394045 |    22250    153 |        5 |      310
1259.22/1259.65	c 1259s |      21 |  1593660 |  1396345 |    22250    153 |        5 |      310
1261.32/1261.72	c 1261s |      21 |  1596222 |  1398645 |    22250    153 |        5 |      310
1263.71/1264.10	c 1263s |      21 |  1598238 |  1400545 |    22250    153 |        5 |      310
1265.81/1266.25	c 1266s |      21 |  1600158 |  1402245 |    22250    153 |        5 |      310
1267.92/1268.33	c 1268s |      21 |  1602022 |  1403945 |    22250    153 |        5 |      310
1270.02/1270.42	c 1270s |      21 |  1603538 |  1405345 |    22250    154 |        5 |      310
1272.02/1272.47	c 1272s |      21 |  1605579 |  1407245 |    22250    154 |        5 |      310
1274.02/1274.48	c 1274s |      21 |  1607507 |  1409045 |    22250    154 |        5 |      310
1276.02/1276.49	c 1276s |      21 |  1609353 |  1410745 |    22250    154 |        5 |      310
1278.12/1278.51	c 1278s |      21 |  1611183 |  1412445 |    22250    154 |        5 |      310
1280.12/1280.56	c 1280s |      21 |  1612782 |  1413945 |    22250    154 |        5 |      310
1282.12/1282.56	c 1282s |      21 |  1614374 |  1415445 |    22250    154 |        5 |      310
1284.91/1285.31	c 1285s |      21 |  1615558 |  1416545 |    22250    155 |        5 |      310
1286.91/1287.35	c 1287s |      21 |  1617870 |  1418645 |    22250    155 |        5 |      310
1289.01/1289.41	c 1289s |      21 |  1620188 |  1420745 |    22250    155 |        5 |      310
1291.02/1291.49	c 1291s |      21 |  1622529 |  1422845 |    22250    155 |        5 |      310
1293.11/1293.55	c 1293s |      21 |  1624548 |  1424645 |    22250    155 |        5 |      310
1295.21/1295.63	c 1295s |      21 |  1626265 |  1426245 |    22250    155 |        5 |      310
1297.51/1297.99	c 1297s |      21 |  1628040 |  1427845 |    22250    156 |        5 |      310
1299.61/1300.00	c 1299s |      21 |  1630100 |  1429745 |    22250    156 |        5 |      310
1302.02/1302.48	c 1302s |      21 |  1631001 |  1430545 |    22250    156 |        5 |      310
1304.11/1304.51	c 1304s |      21 |  1633477 |  1432745 |    22250    156 |        5 |      310
1306.11/1306.55	c 1306s |      21 |  1635742 |  1434745 |    22250    156 |        5 |      310
1308.11/1308.57	c 1308s |      21 |  1637850 |  1436445 |    22250    156 |        5 |      310
1310.31/1310.70	c 1310s |      21 |  1639756 |  1438145 |    22250    156 |        5 |      310
1312.31/1312.71	c 1312s |      21 |  1641384 |  1439545 |    22250    157 |        5 |      310
1314.31/1314.73	c 1314s |      21 |  1643849 |  1441745 |    22250    157 |        5 |      310
1316.31/1316.76	c 1316s |      21 |  1646122 |  1443745 |    22250    157 |        5 |      310
1318.41/1318.83	c 1318s |      21 |  1648384 |  1445745 |    22250    157 |        5 |      310
1320.51/1320.92	c 1320s |      21 |  1650245 |  1447445 |    22250    157 |        5 |      310
1322.51/1322.95	c 1322s |      21 |  1651976 |  1449045 |    22250    157 |        5 |      310
1324.60/1325.03	c 1324s |      21 |  1653840 |  1450745 |    22250    158 |        5 |      310
1326.60/1327.06	c 1326s |      21 |  1655971 |  1452745 |    22250    158 |        5 |      310
1328.60/1329.08	c 1328s |      21 |  1657738 |  1454345 |    22250    158 |        5 |      310
1330.71/1331.15	c 1330s |      21 |  1659665 |  1456145 |    22250    158 |        5 |      310
1332.70/1333.17	c 1332s |      21 |  1661426 |  1457745 |    22250    158 |        5 |      310
1334.90/1335.31	c 1335s |      21 |  1663307 |  1459445 |    22250    158 |        5 |      310
1336.90/1337.39	c 1337s |      21 |  1664988 |  1460945 |    22250    158 |        5 |      310
1339.20/1339.64	c 1339s |      21 |  1666032 |  1461845 |    22250    159 |        5 |      310
1341.20/1341.69	c 1341s |      21 |  1668325 |  1463745 |    22250    159 |        5 |      310
1343.30/1343.76	c 1343s |      21 |  1671053 |  1466045 |    22250    159 |        5 |      310
1345.30/1345.78	c 1345s |      21 |  1673519 |  1468245 |    22250    159 |        5 |      310
1347.40/1347.83	c 1347s |      21 |  1675362 |  1469845 |    22250    159 |        5 |      310
1349.50/1349.92	c 1349s |      21 |  1677336 |  1471645 |    22250    159 |        5 |      310
1351.50/1351.96	c 1351s |      21 |  1679312 |  1473345 |    22250    160 |        5 |      310
1353.50/1353.96	c 1353s |      21 |  1682191 |  1475845 |    22250    160 |        5 |      310
1355.50/1355.98	c 1355s |      21 |  1684486 |  1477845 |    22250    160 |        5 |      310
1357.59/1358.01	c 1357s |      21 |  1686514 |  1479645 |    22250    160 |        5 |      310
1359.59/1360.03	c 1359s |      21 |  1688647 |  1481545 |    22250    160 |        5 |      310
1361.69/1362.13	c 1361s |      21 |  1690507 |  1483245 |    22250    160 |        5 |      310
1363.70/1364.16	c 1363s |      21 |  1692348 |  1484945 |    22250    161 |        5 |      310
1365.80/1366.24	c 1366s |      21 |  1694696 |  1487045 |    22250    161 |        5 |      310
1367.79/1368.26	c 1368s |      21 |  1696832 |  1488945 |    22250    161 |        5 |      310
1369.89/1370.30	c 1370s |      21 |  1698963 |  1490845 |    24476    161 |        5 |      310
1371.89/1372.31	c 1372s |      21 |  1700815 |  1492545 |    24476    161 |        5 |      310
1373.89/1374.34	c 1374s |      21 |  1702551 |  1494145 |    24476    161 |        5 |      310
1375.89/1376.39	c 1376s |      21 |  1704421 |  1495845 |    24476    161 |        5 |      310
1378.00/1378.42	c 1378s |      21 |  1706173 |  1497445 |    24476    161 |        5 |      310
1380.69/1381.14	c 1380s |      21 |  1706301 |  1497545 |    24476    162 |        5 |      310
1382.69/1383.17	c 1382s |      21 |  1709260 |  1500145 |    24476    162 |        5 |      310
1383.09/1383.59	c 1383s |      22 |  1709803 |  1500622 |    24476    162 |        5 |      310
1385.19/1385.66	c 1385s |      22 |  1712497 |  1502822 |    24476    162 |        5 |      310
1387.29/1387.75	c 1387s |      22 |  1715058 |  1504922 |    24476    162 |        5 |      310
1389.39/1389.81	c 1389s |      22 |  1717576 |  1507022 |    24476    162 |        5 |      310
1391.39/1391.81	c 1391s |      22 |  1719826 |  1508922 |    24476    162 |        5 |      310
1394.20/1394.69	c 1394s |      22 |  1721090 |  1510022 |    24476    163 |        5 |      310
1396.30/1396.73	c 1396s |      22 |  1724312 |  1512622 |    24476    163 |        5 |      310
1398.30/1398.75	c 1398s |      22 |  1727286 |  1515122 |    24476    163 |        5 |      310
1400.40/1400.82	c 1400s |      22 |  1729921 |  1517422 |    24476    163 |        5 |      310
1402.39/1402.83	c 1402s |      22 |  1732334 |  1519522 |    24476    163 |        5 |      310
1404.40/1404.87	c 1404s |      22 |  1734744 |  1521622 |    24476    163 |        5 |      310
1406.50/1406.95	c 1406s |      22 |  1736787 |  1523422 |    24476    164 |        5 |      310
1408.49/1408.99	c 1408s |      22 |  1739729 |  1526022 |    24476    164 |        5 |      310
1410.59/1411.02	c 1410s |      22 |  1742300 |  1528222 |    24476    164 |        5 |      310
1412.59/1413.05	c 1412s |      22 |  1744730 |  1530322 |    24476    164 |        5 |      310
1414.59/1415.07	c 1414s |      22 |  1746809 |  1532122 |    24476    164 |        5 |      310
1416.69/1417.17	c 1416s |      22 |  1748894 |  1533922 |    24476    164 |        5 |      310
1418.79/1419.21	c 1419s |      22 |  1750711 |  1535422 |    24476    165 |        5 |      310
1420.80/1421.22	c 1421s |      22 |  1753407 |  1537722 |    24476    165 |        5 |      310
1422.79/1423.26	c 1423s |      22 |  1756149 |  1540122 |    24476    165 |        5 |      310
1424.79/1425.29	c 1425s |      22 |  1758621 |  1542322 |    24476    165 |        5 |      310
1426.89/1427.37	c 1427s |      22 |  1761065 |  1544422 |    24476    165 |        5 |      310
1428.99/1429.48	c 1429s |      22 |  1763156 |  1546222 |    24476    165 |        5 |      310
1430.99/1431.49	c 1431s |      22 |  1765374 |  1548222 |    24476    166 |        5 |      310
1433.09/1433.50	c 1433s |      22 |  1767814 |  1550322 |    24476    166 |        5 |      310
1435.09/1435.60	c 1435s |      22 |  1770427 |  1552622 |    24476    166 |        5 |      310
1437.29/1437.71	c 1437s |      22 |  1772876 |  1554822 |    24476    166 |        5 |      310
1439.29/1439.72	c 1439s |      22 |  1774995 |  1556722 |    24476    166 |        5 |      310
1441.29/1441.75	c 1441s |      22 |  1776962 |  1558522 |    24476    166 |        5 |      310
1443.29/1443.75	c 1443s |      22 |  1778797 |  1560222 |    24476    167 |        5 |      310
1446.48/1446.95	c 1446s |      22 |  1780412 |  1561722 |    24476    167 |        5 |      310
1448.68/1449.12	c 1448s |      22 |  1780534 |  1561822 |    24476    167 |        5 |      310
1450.79/1451.20	c 1451s |      22 |  1781377 |  1562522 |    24476    167 |        5 |      310
1452.79/1453.24	c 1453s |      22 |  1784537 |  1565122 |    24476    167 |        5 |      310
1454.79/1455.24	c 1455s |      22 |  1787480 |  1567622 |    24476    167 |        5 |      310
1456.89/1457.31	c 1457s |      22 |  1790115 |  1569822 |    24476    167 |        5 |      310
1458.89/1459.32	c 1459s |      22 |  1792286 |  1571722 |    24476    168 |        5 |      310
1460.89/1461.37	c 1461s |      22 |  1794793 |  1573922 |    24476    168 |        5 |      310
1462.99/1463.42	c 1463s |      22 |  1797453 |  1576322 |    24476    168 |        5 |      310
1464.99/1465.48	c 1465s |      22 |  1800397 |  1578822 |    24476    168 |        5 |      310
1467.09/1467.57	c 1467s |      22 |  1802909 |  1581022 |    24476    168 |        5 |      310
1469.19/1469.66	c 1469s |      22 |  1804857 |  1582722 |    24476    168 |        5 |      310
1471.28/1471.72	c 1471s |      22 |  1806537 |  1584222 |    24476    169 |        5 |      310
1473.28/1473.72	c 1473s |      22 |  1809154 |  1586622 |    24476    169 |        5 |      310
1475.28/1475.73	c 1475s |      22 |  1811582 |  1588822 |    24476    169 |        5 |      310
1477.28/1477.73	c 1477s |      22 |  1814048 |  1590922 |    24476    169 |        5 |      310
1479.28/1479.75	c 1479s |      22 |  1816312 |  1592822 |    24476    169 |        5 |      310
1481.39/1481.84	c 1481s |      22 |  1818458 |  1594722 |    24476    169 |        5 |      310
1483.78/1484.20	c 1484s |      22 |  1820368 |  1596422 |    24476    170 |        5 |      310
1485.79/1486.21	c 1486s |      22 |  1822834 |  1598622 |    24476    170 |        5 |      310
1487.78/1488.26	c 1488s |      22 |  1824977 |  1600622 |    24476    170 |        5 |      310
1489.88/1490.33	c 1490s |      22 |  1827320 |  1602722 |    24476    170 |        5 |      310
1491.98/1492.40	c 1492s |      22 |  1829487 |  1604622 |    24476    170 |        5 |      310
1493.98/1494.41	c 1494s |      22 |  1831659 |  1606522 |    24476    170 |        5 |      310
1496.08/1496.55	c 1496s |      22 |  1833785 |  1608322 |    24476    170 |        5 |      310
1500.38/1500.89	c 1500s |      22 |  1835182 |  1609522 |    24476    171 |        5 |      310
1502.48/1502.93	c 1502s |      22 |  1838036 |  1612022 |    24476    171 |        5 |      310
1504.48/1504.96	c 1504s |      22 |  1840659 |  1614322 |    24476    171 |        5 |      310
1506.58/1507.04	c 1506s |      22 |  1843015 |  1616322 |    24476    171 |        5 |      310
1508.67/1509.16	c 1508s |      22 |  1845400 |  1618322 |    24476    171 |        5 |      310
1510.77/1511.24	c 1511s |      22 |  1847479 |  1620122 |    24476    171 |        5 |      310
1512.77/1513.26	c 1513s |      22 |  1849428 |  1621822 |    24476    172 |        5 |      310
1514.77/1515.26	c 1515s |      22 |  1851947 |  1624022 |    24476    172 |        5 |      310
1516.87/1517.34	c 1517s |      22 |  1854287 |  1626122 |    24476    172 |        5 |      310
1518.87/1519.37	c 1519s |      22 |  1856620 |  1628222 |    24476    172 |        5 |      310
1520.98/1521.40	c 1521s |      22 |  1858779 |  1630122 |    24476    172 |        5 |      310
1523.08/1523.50	c 1523s |      22 |  1861002 |  1632122 |    24476    172 |        5 |      310
1525.07/1525.58	c 1525s |      22 |  1862784 |  1633722 |    24476    173 |        5 |      310
1528.68/1529.16	c 1528s |      22 |  1864622 |  1635422 |    24476    173 |        5 |      310
1530.78/1531.21	c 1531s |      22 |  1867360 |  1637822 |    24476    173 |        5 |      310
1532.87/1533.32	c 1533s |      22 |  1869896 |  1640122 |    24476    173 |        5 |      310
1534.87/1535.33	c 1535s |      22 |  1872111 |  1642122 |    24476    173 |        5 |      310
1536.97/1537.43	c 1537s |      22 |  1873953 |  1643822 |    24476    173 |        5 |      310
1538.97/1539.48	c 1539s |      22 |  1875786 |  1645522 |    24476    173 |        5 |      310
1541.07/1541.53	c 1541s |      22 |  1877800 |  1647322 |    24476    174 |        5 |      310
1543.07/1543.59	c 1543s |      22 |  1879975 |  1649322 |    24476    174 |        5 |      310
1545.17/1545.63	c 1545s |      22 |  1882311 |  1651422 |    24476    174 |        5 |      310
1547.27/1547.73	c 1547s |      22 |  1884551 |  1653422 |    24476    174 |        5 |      310
1549.27/1549.78	c 1549s |      22 |  1886506 |  1655222 |    24476    174 |        5 |      310
1551.37/1551.87	c 1551s |      22 |  1888349 |  1656922 |    24476    174 |        5 |      310
1553.37/1553.87	c 1553s |      22 |  1889749 |  1658222 |    24476    175 |        5 |      310
1555.46/1555.93	c 1555s |      22 |  1892012 |  1660322 |    24476    175 |        5 |      310
1558.47/1558.92	c 1558s |      22 |  1892763 |  1661022 |    24476    175 |        5 |      310
1560.58/1561.02	c 1560s |      22 |  1895308 |  1663222 |    24476    175 |        5 |      310
1562.68/1563.13	c 1562s |      22 |  1897659 |  1665322 |    24476    175 |        5 |      310
1564.67/1565.16	c 1564s |      22 |  1899732 |  1667122 |    24476    175 |        5 |      310
1566.77/1567.26	c 1567s |      22 |  1901859 |  1668922 |    24476    175 |        5 |      310
1568.87/1569.34	c 1569s |      22 |  1903630 |  1670522 |    24476    175 |        5 |      310
1570.87/1571.38	c 1571s |      22 |  1905105 |  1671822 |    24476    176 |        5 |      310
1572.97/1573.44	c 1573s |      22 |  1907639 |  1674122 |    24476    176 |        5 |      310
1575.07/1575.54	c 1575s |      22 |  1909950 |  1676222 |    24476    176 |        5 |      310
1578.17/1578.62	c 1578s |      22 |  1911060 |  1677222 |    24476    176 |        5 |      310
1581.17/1581.65	c 1581s |      22 |  1911552 |  1677622 |    24476    176 |        5 |      310
1583.17/1583.66	c 1583s |      22 |  1913868 |  1679622 |    24476    176 |        5 |      310
1585.27/1585.74	c 1585s |      22 |  1916038 |  1681522 |    24476    176 |        5 |      310
1587.27/1587.79	c 1587s |      22 |  1918203 |  1683322 |    24476    177 |        5 |      310
1589.37/1589.85	c 1589s |      22 |  1920956 |  1685722 |    24476    177 |        5 |      310
1591.37/1591.87	c 1591s |      22 |  1923400 |  1687922 |    24476    177 |        5 |      310
1593.47/1593.93	c 1593s |      22 |  1925611 |  1689822 |    24476    177 |        5 |      310
1595.47/1595.94	c 1595s |      22 |  1927706 |  1691622 |    24476    177 |        5 |      310
1597.57/1598.05	c 1597s |      22 |  1929875 |  1693522 |    24476    177 |        5 |      310
1599.76/1600.23	c 1600s |      22 |  1931834 |  1695322 |    24476    178 |        5 |      310
1601.76/1602.24	c 1602s |      22 |  1934112 |  1697322 |    24476    178 |        5 |      310
1603.86/1604.31	c 1604s |      22 |  1936424 |  1699322 |    24476    178 |        5 |      310
1605.86/1606.31	c 1606s |      22 |  1938526 |  1701222 |    24476    178 |        5 |      310
1607.87/1608.36	c 1608s |      22 |  1940801 |  1703222 |    24476    178 |        5 |      310
1609.86/1610.39	c 1610s |      22 |  1942843 |  1705022 |    24476    178 |        5 |      310
1611.96/1612.46	c 1612s |      22 |  1944755 |  1706722 |    24476    178 |        5 |      310
1614.96/1615.45	c 1615s |      22 |  1946034 |  1707822 |    24476    179 |        5 |      310
1617.06/1617.51	c 1617s |      22 |  1948783 |  1710222 |    24476    179 |        5 |      310
1619.06/1619.59	c 1619s |      22 |  1951528 |  1712622 |    24476    179 |        5 |      310
1621.26/1621.73	c 1621s |      22 |  1953796 |  1714622 |    24476    179 |        5 |      310
1623.27/1623.75	c 1623s |      22 |  1955850 |  1716422 |    24476    179 |        5 |      310
1625.26/1625.78	c 1625s |      22 |  1957742 |  1718122 |    24476    179 |        5 |      310
1627.36/1627.84	c 1627s |      22 |  1959705 |  1719822 |    24476    179 |        5 |      310
1629.36/1629.89	c 1629s |      22 |  1961921 |  1721822 |    24476    180 |        5 |      310
1631.46/1631.92	c 1631s |      22 |  1963645 |  1723322 |    24476    180 |        5 |      310
1633.46/1633.96	c 1633s |      22 |  1965809 |  1725222 |    24476    180 |        5 |      310
1635.46/1635.98	c 1635s |      22 |  1967904 |  1727122 |    24476    180 |        5 |      310
1637.57/1638.05	c 1637s |      22 |  1969908 |  1728922 |    24476    180 |        5 |      310
1639.56/1640.09	c 1639s |      22 |  1971963 |  1730622 |    24476    180 |        5 |      310
1641.66/1642.15	c 1641s |      22 |  1973599 |  1732122 |    24476    180 |        5 |      310
1643.66/1644.19	c 1644s |      22 |  1975413 |  1733822 |    24476    181 |        5 |      310
1645.76/1646.26	c 1646s |      22 |  1977578 |  1735822 |    24476    181 |        5 |      310
1647.86/1648.30	c 1648s |      22 |  1979401 |  1737522 |    24476    181 |        5 |      310
1649.86/1650.36	c 1650s |      22 |  1981824 |  1739522 |    24476    181 |        5 |      310
1651.96/1652.42	c 1652s |      22 |  1984058 |  1741322 |    24476    181 |        5 |      310
1653.96/1654.44	c 1654s |      22 |  1985684 |  1742722 |    24476    181 |        5 |      310
1655.96/1656.45	c 1656s |      22 |  1986985 |  1743922 |    24476    181 |        5 |      310
1658.25/1658.74	c 1658s |      22 |  1988080 |  1744922 |    24476    182 |        5 |      310
1660.25/1660.74	c 1660s |      22 |  1989701 |  1746422 |    24476    182 |        5 |      310
1662.35/1662.80	c 1662s |      22 |  1991610 |  1748122 |    24476    182 |        5 |      310
1664.35/1664.86	c 1664s |      22 |  1993225 |  1749622 |    24476    182 |        5 |      310
1666.35/1666.87	c 1666s |      22 |  1994840 |  1751122 |    24476    182 |        5 |      310
1672.35/1672.88	c 1672s |      22 |  1996139 |  1752322 |    24476    182 |        5 |      310
1674.45/1674.97	c 1674s |      22 |  1998333 |  1754222 |    24476    182 |        5 |      310
1676.55/1677.09	c 1676s |      22 |  2000306 |  1755922 |    24476    182 |        5 |      310
1678.65/1679.14	c 1678s |      22 |  2002051 |  1757422 |    24476    183 |        5 |      310
1680.75/1681.21	c 1681s |      22 |  2004827 |  1759822 |    24476    183 |        5 |      310
1682.75/1683.25	c 1683s |      22 |  2007078 |  1761822 |    24476    183 |        5 |      310
1684.86/1685.34	c 1685s |      22 |  2009531 |  1764022 |    24476    183 |        5 |      310
1686.85/1687.37	c 1687s |      22 |  2011830 |  1766022 |    24476    183 |        5 |      310
1688.95/1689.45	c 1689s |      22 |  2014014 |  1767922 |    24476    183 |        5 |      310
1691.05/1691.51	c 1691s |      22 |  2015914 |  1769622 |    24476    183 |        5 |      310
1693.05/1693.52	c 1693s |      22 |  2018101 |  1771622 |    24476    184 |        5 |      310
1695.05/1695.57	c 1695s |      22 |  2020503 |  1773822 |    24476    184 |        5 |      310
1697.15/1697.64	c 1697s |      22 |  2021975 |  1775022 |    24476    184 |        5 |      310
1699.16/1699.67	c 1699s |      22 |  2024237 |  1777022 |    24476    184 |        5 |      310
1701.15/1701.70	c 1701s |      22 |  2026392 |  1778922 |    24476    184 |        5 |      310
1703.25/1703.78	c 1703s |      22 |  2028353 |  1780722 |    24476    184 |        5 |      310
1705.35/1705.90	c 1705s |      22 |  2029835 |  1782022 |    24476    185 |        5 |      310
1707.45/1707.90	c 1707s |      22 |  2032323 |  1784222 |    24476    185 |        5 |      310
1709.45/1709.97	c 1709s |      22 |  2034912 |  1786522 |    24476    185 |        5 |      310
1711.55/1712.05	c 1711s |      22 |  2037273 |  1788622 |    24476    185 |        5 |      310
1713.65/1714.17	c 1714s |      22 |  2039374 |  1790522 |    24476    185 |        5 |      310
1715.65/1716.19	c 1716s |      22 |  2041214 |  1792222 |    24476    185 |        5 |      310
1717.65/1718.20	c 1718s |      22 |  2043092 |  1793922 |    24476    185 |        5 |      310
1719.75/1720.23	c 1720s |      22 |  2044719 |  1795422 |    24476    186 |        5 |      310
1721.75/1722.28	c 1722s |      22 |  2047245 |  1797722 |    24476    186 |        5 |      310
1723.85/1724.30	c 1724s |      22 |  2049003 |  1799322 |    24476    186 |        5 |      310
1725.85/1726.35	c 1726s |      22 |  2051189 |  1801222 |    24476    186 |        5 |      310
1727.95/1728.49	c 1728s |      22 |  2053236 |  1803022 |    24476    186 |        5 |      310
1730.05/1730.54	c 1730s |      22 |  2054999 |  1804622 |    24476    186 |        5 |      310
1732.05/1732.58	c 1732s |      22 |  2056600 |  1806122 |    24476    186 |        5 |      310
1735.04/1735.55	c 1735s |      22 |  2057373 |  1806822 |    24476    187 |        5 |      310
1737.14/1737.61	c 1737s |      22 |  2057720 |  1807122 |    24476    187 |        5 |      310
1739.14/1739.67	c 1739s |      22 |  2060242 |  1809422 |    24476    187 |        5 |      310
1741.24/1741.70	c 1741s |      22 |  2062458 |  1811422 |    24476    187 |        5 |      310
1743.24/1743.76	c 1743s |      22 |  2064763 |  1813422 |    24476    187 |        5 |      310
1745.34/1745.84	c 1745s |      22 |  2066796 |  1815222 |    24476    187 |        5 |      310
1747.44/1747.94	c 1747s |      22 |  2068699 |  1816922 |    24476    187 |        5 |      310
1749.54/1750.00	c 1749s |      22 |  2070375 |  1818422 |    24476    187 |        5 |      310
1751.54/1752.06	c 1751s |      22 |  2071917 |  1819822 |    24476    188 |        5 |      310
1753.64/1754.15	c 1753s |      22 |  2073960 |  1821622 |    24476    188 |        5 |      310
1755.64/1756.17	c 1755s |      22 |  2076145 |  1823622 |    24476    188 |        5 |      310
1757.64/1758.19	c 1758s |      22 |  2078003 |  1825322 |    24476    188 |        5 |      310
1759.74/1760.27	c 1760s |      22 |  2079846 |  1827022 |    24476    188 |        5 |      310
1761.84/1762.36	c 1762s |      22 |  2081572 |  1828622 |    24476    188 |        5 |      310
1763.94/1764.45	c 1764s |      22 |  2083206 |  1830122 |    24476    188 |        5 |      310
1765.94/1766.48	c 1766s |      22 |  2084705 |  1831522 |    24476    188 |        5 |      310
1767.93/1768.49	c 1768s |      22 |  2085579 |  1832322 |    24476    189 |        5 |      310
1770.03/1770.50	c 1770s |      22 |  2087970 |  1834422 |    24476    189 |        5 |      310
1772.03/1772.57	c 1772s |      22 |  2090260 |  1836522 |    24476    189 |        5 |      310
1774.13/1774.64	c 1774s |      22 |  2092350 |  1838422 |    24476    189 |        5 |      310
1776.23/1776.71	c 1776s |      22 |  2094306 |  1840222 |    24476    189 |        5 |      310
1778.34/1778.85	c 1778s |      22 |  2096150 |  1841922 |    24476    189 |        5 |      310
1780.44/1780.93	c 1780s |      22 |  2097777 |  1843422 |    24476    189 |        5 |      310
1782.54/1783.00	c 1782s |      22 |  2099400 |  1844922 |    24476    190 |        5 |      310
1784.54/1785.03	c 1784s |      22 |  2101439 |  1846822 |    24476    190 |        5 |      310
1786.54/1787.07	c 1786s |      22 |  2103629 |  1848822 |    24476    190 |        5 |      310
1788.64/1789.14	c 1788s |      22 |  2105370 |  1850422 |    24476    190 |        5 |      310
1790.64/1791.14	c 1790s |      22 |  2106958 |  1851922 |    24476    190 |        5 |      310
1792.74/1793.29	c 1793s |      22 |  2108644 |  1853522 |    24476    190 |        5 |      310
1794.74/1795.29	c 1795s |      22 |  2110001 |  1854822 |    24476    190 |        5 |      310
1796.84/1797.31	c 1797s |      22 |  2111373 |  1856022 |    24476    190 |        5 |      310
1798.83/1799.38	c 1799s |      22 |  2112351 |  1856922 |    24476    191 |        5 |      310

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-4097583-1466118001/watcher-4097583-1466118001 -o /tmp/evaluation-result-4097583-1466118001/solver-4097583-1466118001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097583-1466118001.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.07 2.01 4/180 21724
/proc/meminfo: memFree=30402688/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 2758 0 0 0 0 0 0 0 20 0 4 0 13846737 755429376 3119 33554432000 4194304 16246674 140735600588416 140735600587840 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 185199 3129 441 2943 0 182093 0
[pid=21724/tid=21725] ppid=21721 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 774303744 3190 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=761276 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 779546624 3207 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=765372 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 783740928 3226 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 2.19 2.07 2.01 4/180 21724
/proc/meminfo: memFree=30402688/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 23292 0 0 0 5 3 0 0 20 0 4 0 13846737 1250496512 23590 33554432000 4194304 16246674 140735600588416 140735600587728 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 305297 23595 834 2943 0 302191 0
[pid=21724/tid=21725] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 23600 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 23605 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 23611 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200444 s]
/proc/loadavg: 2.19 2.07 2.01 4/180 21724
/proc/meminfo: memFree=30402688/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 41859 0 0 0 12 7 0 0 20 0 4 0 13846737 1250496512 42157 33554432000 4194304 16246674 140735600588416 140735600587728 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 305297 42167 876 2943 0 302191 0
[pid=21724/tid=21725] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 42177 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 42183 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 42191 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300451 s]
/proc/loadavg: 2.19 2.07 2.01 4/180 21724
/proc/meminfo: memFree=30402688/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1221188 CPUtime=0.28 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 63290 0 0 0 19 9 0 0 20 0 4 0 13846737 1250496512 63588 33554432000 4194304 16246674 140735600588416 140735600587728 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 305297 63600 876 2943 0 302191 0
[pid=21724/tid=21725] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 63607 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 63614 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 63622 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1221188

[startup+0.700431 s]
/proc/loadavg: 2.19 2.07 2.01 4/180 21724
/proc/meminfo: memFree=30402688/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1221188 CPUtime=0.68 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 149288 0 0 0 46 22 0 0 20 0 4 0 13846737 1250496512 149586 33554432000 4194304 16246674 140735600588416 140735600570304 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 305297 149595 876 2943 0 302191 0
[pid=21724/tid=21725] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 149602 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 149611 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1250496512 149617 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.50044 s]
/proc/loadavg: 2.18 2.07 2.01 3/184 21730
/proc/meminfo: memFree=29474196/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 266115 0 0 0 114 35 0 0 20 0 4 0 13846737 1331236864 266413 33554432000 4194304 16246674 140735600588416 140735600570304 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 325009 266413 879 2943 0 321903 0
[pid=21724/tid=21725] ppid=21721 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1331236864 266413 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1331236864 266413 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1331236864 266413 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10044 s]
/proc/loadavg: 2.18 2.07 2.01 3/184 21730
/proc/meminfo: memFree=29334572/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 267858 0 0 0 274 35 0 0 20 0 4 0 13846737 1338576896 268156 33554432000 4194304 16246674 140735600588416 140735600570304 6075749 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 326801 268156 879 2943 0 323695 0
[pid=21724/tid=21725] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268156 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268156 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268156 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.24 2.08 2.02 3/184 21730
/proc/meminfo: memFree=29329568/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 267986 0 0 0 593 35 0 0 20 0 4 0 13846737 1338576896 268284 33554432000 4194304 16246674 140735600588416 140735600570304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 326801 268284 884 2943 0 323695 0
[pid=21724/tid=21725] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268284 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268284 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268284 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.22 2.08 2.02 3/184 21730
/proc/meminfo: memFree=29330160/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 267987 0 0 0 1233 35 0 0 20 0 4 0 13846737 1338576896 268285 33554432000 4194304 16246674 140735600588416 140735600570304 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 326801 268285 885 2943 0 323695 0
[pid=21724/tid=21725] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268285 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268285 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1338576896 268285 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.27 2.10 2.02 3/184 21730
/proc/meminfo: memFree=29312060/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1325636 CPUtime=25.48 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 272596 0 0 0 2512 36 0 0 20 0 4 0 13846737 1357451264 272894 33554432000 4194304 16246674 140735600588416 140735600570304 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 331409 272894 886 2943 0 328303 0
[pid=21724/tid=21725] ppid=21721 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1357451264 272894 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1357451264 272894 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1357451264 272894 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1006 s]
/proc/loadavg: 2.24 2.10 2.02 3/184 21731
/proc/meminfo: memFree=29312188/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1325636 CPUtime=51.08 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 272596 0 0 0 5072 36 0 0 20 0 4 0 13846737 1357451264 272894 33554432000 4194304 16246674 140735600588416 140735600570304 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 331409 272894 886 2943 0 328303 0
[pid=21724/tid=21725] ppid=21721 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1357451264 272894 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1357451264 272894 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1357451264 272894 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.30 2.14 2.04 3/184 21755
/proc/meminfo: memFree=29291660/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1346116 CPUtime=102.27 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 277716 0 0 0 10190 37 0 0 20 0 4 0 13846737 1378422784 278014 33554432000 4194304 16246674 140735600588416 140735600570304 5677299 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 336529 278014 886 2943 0 333423 0
[pid=21724/tid=21725] ppid=21721 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1378422784 278014 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1378422784 278014 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1378422784 278014 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1346116


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

/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287230 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1381956

[startup+1362.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 22128
/proc/meminfo: memFree=29300448/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1381956 CPUtime=1361.89 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287015 0 0 0 136136 53 0 0 20 0 4 0 13846737 1415122944 287230 33554432000 4194304 16246674 140735600588416 140735600570304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 345489 287230 886 2943 0 342383 0
[pid=21724/tid=21725] ppid=21721 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287230 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287230 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287230 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1381956

[startup+1422.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/183 22129
/proc/meminfo: memFree=29300972/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1381956 CPUtime=1421.89 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287016 0 0 0 142135 54 0 0 20 0 4 0 13846737 1415122944 287231 33554432000 4194304 16246674 140735600588416 140735600570304 5828013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 345489 287231 887 2943 0 342383 0
[pid=21724/tid=21725] ppid=21721 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287231 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287231 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1415122944 287231 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1381956

[startup+1482.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/183 22130
/proc/meminfo: memFree=29297900/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1481.88 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 148133 55 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1384004

[startup+1542.31 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 22131
/proc/meminfo: memFree=29297932/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1541.87 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 154132 55 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1384004

[startup+1602.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 22133
/proc/meminfo: memFree=29297960/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1601.86 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 160129 57 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1384004

[startup+1662.3 s]
/proc/loadavg: 2.18 2.14 2.09 3/183 22134
/proc/meminfo: memFree=29297616/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1661.85 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 166128 57 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 5676929 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1384004

[startup+1722.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 22135
/proc/meminfo: memFree=29297396/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1721.85 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 172127 58 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1384004

[startup+1782.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 22136
/proc/meminfo: memFree=29296876/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1781.84 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 178125 59 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 5522872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1384004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.16 2.10 3/184 22140
/proc/meminfo: memFree=29296252/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1800.03 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 179944 59 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 6026674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1384004

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.16 2.10 3/184 22140
/proc/meminfo: memFree=29296252/32872528 swapFree=302776/319128
[pid=21724] ppid=21721 vsize=1384004 CPUtime=1800.03 cores=0,2,4,6
/proc/21724/stat : 21724 (toysat) R 21721 21724 16914 0 -1 4202496 287528 0 0 0 179944 59 0 0 20 0 4 0 13846737 1417220096 287743 33554432000 4194304 16246674 140735600588416 140735600570304 6026674 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21724/statm: 346001 287743 887 2943 0 342895 0
[pid=21724/tid=21725] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21725/stat : 21725 (toysat) S 21721 21724 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877780794608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21724/tid=21726] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21726/stat : 21726 (toysat) S 21721 21724 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877770304752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21724/tid=21727] ppid=21721 vsize=1384004 CPUtime=0 cores=0,2,4,6
/proc/21724/task/21727/stat : 21727 (toysat) S 21721 21724 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13846738 1417220096 287743 33554432000 4194304 16246674 140735600588416 139877689584816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1384004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.45
CPU system time (s): 0.593909
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1384004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.593909
maximum resident set size= 1150972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287528
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= 355
involuntary context switches= 2102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5062 second user time and 17.0634 second system time

The end

Begin job on node128 at 2016-06-17 01:00:01
IDJOB=4097583
IDBENCH=107778
IDSOLVER=2542
FILE ID=node128/4097583-1466118001
RUNJOBID= node128-1466113207-19339
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_34.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097583-1466118001/watcher-4097583-1466118001 -o /tmp/evaluation-result-4097583-1466118001/solver-4097583-1466118001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097583-1466118001.opb

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

MD5SUM BENCH= 4147d9284c46592292c925b722102498
RANDOM SEED=1478500986

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30403480 kB
Buffers:           74696 kB
Cached:           193312 kB
SwapCached:         2096 kB
Active:          1330564 kB
Inactive:         113164 kB
Active(anon):    1176484 kB
Inactive(anon):     1600 kB
Active(file):     154080 kB
Inactive(file):   111564 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16388 kB
Writeback:             0 kB
AnonPages:       1493776 kB
Mapped:            10240 kB
Shmem:                 0 kB
Slab:             572536 kB
SReclaimable:      16124 kB
SUnreclaim:       556412 kB
KernelStack:        1464 kB
PageTables:         7140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1169408 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= 71676 MiB
End job on node128 at 2016-06-17 01:30:02