0.00/0.00	c 2016-06-17T00:43:44+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-4097317-1466117024.opb"]
0.00/0.01	c use --random-gen="153734605 2757005408 230981914 2436693154 2210163431 3364792966 3671617879 3840621047 4103865378 2127315728 18094493 1973422845 2268030347 366989151 3995717274 3918692774 1867113161 3906490943 2123575380 770903623 316213387 1707713681 4117596062 369378360 2954125988 2704168815 1157040503 3865025926 1741342861 809758183 3459178942 2985870729 962258635 290891468 2189575273 2136462064 4085490901 305530453 2633603 1610769133 3135560396 580038086 3104676428 1542927567 2549948424 1742043472 2406355564 2871149249 3213508039 4240677277 1534188278 814903256 302089531 1914765882 3975012924 870182013 890948174 699088571 803750758 2452874659 1461771448 2506382977 3329645061 3706776818 2489894959 3244594490 1476514916 140115076 452382380 371643680 2703009075 820797790 3919023285 3763701705 3927840277 678713603 1310591227 920017873 3804458994 3709166975 4106156039 3435162174 2242171699 3583636801 2572796401 2901502031 2536836697 1237103799 579225982 808718526 1406421638 743618767 400727979 303024091 2097881404 984527581 3593946451 3581114815 3924208043 2199232039 1242694158 2332392934 915317172 3244671040 1105818177 2631476384 2958413604 4151958065 133585548 2940176165 2670195341 1583058505 3573072949 1994956619 2054791943 2683304713 3528817549 3648527806 1426790509 2082487068 3510229341 17116710 2936257071 641242371 585586997 1649548181 713553450 3742334062 4220496772 541593456 1996436096 457142021 2505719772 1932232936 2025388563 279264381 2313475102 1821152862 1806113206 3312813034 3323243391 3474158176 2386883895 1298187554 1193256604 3943774924 3723149206 4261799167 369158041 1073782244 797229496 3572163220 2754971749 3020663943 1981958675 374838373 191399973 3424215144 4009276452 131565592 412900549 1512946338 1049943756 3343646471 4245533371 3334457153 342361975 3611300997 2718233280 3536960082 799338158 2755885838 3043329166 3456346919 3512187065 2324744414 2126912061 3235180070 3396738091 1067700269 492254286 291800185 659658084 3238953837 3634484033 51499321 3587048608 3528470857 4143788456 2090786994 1884970512 65139975 3405505777 370736996 1565961958 122162958 1282578318 3873565457 2086056862 4065915418 2787608456 2624074976 12292621 823656112 2531947992 3315849034 2307395970 1528233984 3218144520 877694898 661850195 2059255461 1132191529 2141707508 3477326439 266404737 882437643 979211408 3915164139 3595928208 2526868285 626749055 96846782 1801002193 1259067029 4119119109 1800355293 666219168 3120461627 2858780286 3629770866 3257577904 2379962401 1285772257 1356884252 3931363984 3321993207 2125380705 2698598392 788630893 197946131 2122557815 3589514857 2205420128 1928416926 4211276397 2591247291 783829575 3139453570 2952589094 360578475 1022195130 404303527 124811021 2858822470 3127276927 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1892
0.00/0.07	c #constraints 9078
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     3655      0 |        5 |        0
0.19/0.27	c  0.1s |       1 |      175 |      100 |     3655      0 |        5 |      342
0.29/0.34	c  0.1s |       2 |      379 |      250 |     4021      0 |        5 |      342
0.39/0.48	c  0.3s |       3 |      894 |      475 |     4424      0 |        5 |      342
0.59/0.67	c  0.5s |       4 |     1480 |      813 |     4867      0 |        5 |      342
0.88/0.96	c  0.7s |       5 |     2219 |     1320 |     5354      0 |        5 |      342
1.28/1.38	c  1.2s |       6 |     3264 |     2081 |     6480      0 |        5 |      342
1.78/1.89	c  1.7s |       7 |     4852 |     3223 |     7129      0 |        5 |      342
2.69/2.73	c  2.5s |       8 |     7019 |     4936 |     7842      0 |        5 |      342
3.99/4.09	c  3.9s |       9 |    10189 |     7506 |     8627      0 |        5 |      342
6.09/6.11	c  5.9s |       9 |    14266 |    10806 |     8627      1 |        5 |      342
6.39/6.41	c  6.2s |      10 |    14929 |    11361 |     9490      1 |        5 |      342
8.39/8.45	c  8.2s |      10 |    19066 |    14661 |     9490      2 |        5 |      342
9.79/9.88	c  9.7s |      11 |    21934 |    17144 |    10439      2 |        5 |      342
11.89/11.90	c 11.7s |      11 |    25439 |    20044 |    10439      2 |        5 |      342
13.89/13.92	c 13.7s |      11 |    29085 |    23144 |    10439      3 |        5 |      342
15.59/15.64	c 15.4s |      12 |    32389 |    25819 |    11483      4 |        5 |      342
17.59/17.65	c 17.4s |      12 |    36113 |    29019 |    11483      4 |        5 |      342
19.59/19.65	c 19.4s |      12 |    39803 |    32019 |    11483      5 |        5 |      342
21.58/21.68	c 21.5s |      12 |    43939 |    35619 |    11483      5 |        5 |      342
23.68/23.71	c 23.5s |      12 |    47316 |    38519 |    11483      6 |        5 |      342
23.78/23.87	c 23.7s |      13 |    47678 |    38832 |    12632      6 |        5 |      342
25.88/25.92	c 25.7s |      13 |    51036 |    41632 |    12632      6 |        5 |      342
27.88/27.95	c 27.7s |      13 |    54123 |    44332 |    12632      6 |        5 |      342
29.88/29.99	c 29.8s |      13 |    57468 |    47132 |    12632      7 |        5 |      342
31.99/32.05	c 31.8s |      13 |    60968 |    50132 |    12632      7 |        5 |      342
33.98/34.08	c 33.9s |      13 |    64026 |    52832 |    12632      8 |        5 |      342
36.08/36.15	c 35.9s |      13 |    66968 |    55432 |    12632      8 |        5 |      342
38.18/38.22	c 38.0s |      13 |    70129 |    58032 |    13896      9 |        5 |      342
38.38/38.40	c 38.2s |      14 |    70499 |    58352 |    13896      9 |        5 |      342
40.38/40.41	c 40.2s |      14 |    73965 |    61352 |    13896      9 |        5 |      342
42.38/42.44	c 42.2s |      14 |    77475 |    64352 |    13896      9 |        5 |      342
44.38/44.48	c 44.3s |      14 |    80899 |    67252 |    13896     10 |        5 |      342
46.49/46.51	c 46.3s |      14 |    84661 |    70452 |    13896     10 |        5 |      342
48.49/48.55	c 48.3s |      14 |    87732 |    73152 |    13896     11 |        5 |      342
50.69/50.72	c 50.5s |      14 |    90717 |    75752 |    13896     11 |        5 |      342
52.68/52.79	c 52.6s |      14 |    94645 |    78952 |    13896     11 |        5 |      342
54.79/54.83	c 54.6s |      14 |    98026 |    81852 |    13896     12 |        5 |      342
56.79/56.84	c 56.6s |      14 |   101909 |    85152 |    13896     12 |        5 |      342
58.49/58.55	c 58.3s |      15 |   104771 |    87632 |    15286     13 |        5 |      342
60.49/60.60	c 60.4s |      15 |   107171 |    89632 |    15286     13 |        5 |      342
62.58/62.62	c 62.4s |      15 |   110439 |    92532 |    15286     13 |        5 |      342
64.58/64.69	c 64.5s |      15 |   113692 |    95232 |    15286     13 |        5 |      342
66.68/66.71	c 66.5s |      15 |   117250 |    98232 |    15286     14 |        5 |      342
68.68/68.75	c 68.5s |      15 |   120425 |   100832 |    15286     14 |        5 |      342
70.68/70.76	c 70.5s |      15 |   123431 |   103332 |    15286     15 |        5 |      342
72.69/72.77	c 72.6s |      15 |   127201 |   106532 |    15286     15 |        5 |      342
74.68/74.78	c 74.6s |      15 |   130751 |   109532 |    15286     15 |        5 |      342
76.68/76.78	c 76.6s |      15 |   133164 |   111632 |    15286     16 |        5 |      342
78.68/78.78	c 78.6s |      15 |   136418 |   114532 |    15286     16 |        5 |      342
80.78/80.85	c 80.6s |      15 |   139240 |   117032 |    15286     16 |        5 |      342
82.78/82.88	c 82.7s |      15 |   141923 |   119432 |    15286     17 |        5 |      342
84.88/84.93	c 84.7s |      15 |   145383 |   122332 |    15286     17 |        5 |      342
86.89/87.00	c 86.8s |      15 |   148229 |   124832 |    15286     17 |        5 |      342
88.98/89.02	c 88.8s |      15 |   150631 |   126932 |    15286     18 |        5 |      342
90.98/91.06	c 90.8s |      15 |   153846 |   129732 |    15286     18 |        5 |      342
92.39/92.47	c 92.2s |      16 |   155958 |   131552 |    16815     18 |        5 |      342
94.38/94.48	c 94.3s |      16 |   158529 |   133652 |    16815     18 |        5 |      342
96.48/96.52	c 96.3s |      16 |   161184 |   135952 |    16815     19 |        5 |      342
98.48/98.55	c 98.3s |      16 |   164594 |   138952 |    16815     19 |        5 |      342
100.48/100.55	c  100s |      16 |   167909 |   141752 |    16815     19 |        5 |      342
102.48/102.59	c  102s |      16 |   170467 |   144052 |    16815     19 |        5 |      342
104.58/104.65	c  104s |      16 |   173356 |   146652 |    16815     20 |        5 |      342
106.58/106.70	c  106s |      16 |   176076 |   149152 |    16815     20 |        5 |      342
108.67/108.75	c  108s |      16 |   178199 |   151052 |    16815     20 |        5 |      342
110.67/110.76	c  110s |      16 |   180772 |   153152 |    16815     21 |        5 |      342
112.77/112.84	c  112s |      16 |   184630 |   156352 |    16815     21 |        5 |      342
114.77/114.85	c  114s |      16 |   187874 |   159152 |    16815     21 |        5 |      342
116.97/117.07	c  116s |      16 |   190555 |   161552 |    16815     22 |        5 |      342
119.07/119.12	c  118s |      16 |   193786 |   164352 |    16815     22 |        5 |      342
121.08/121.15	c  120s |      16 |   196674 |   166752 |    16815     22 |        5 |      342
123.18/123.21	c  122s |      16 |   199478 |   169152 |    16815     22 |        5 |      342
125.17/125.26	c  125s |      16 |   202368 |   171652 |    16815     23 |        5 |      342
127.17/127.27	c  127s |      16 |   205486 |   174352 |    16815     23 |        5 |      342
129.17/129.29	c  129s |      16 |   208326 |   176852 |    16815     23 |        5 |      342
131.27/131.30	c  131s |      16 |   210822 |   179052 |    16815     24 |        5 |      342
133.27/133.35	c  133s |      16 |   214218 |   182052 |    16815     24 |        5 |      342
135.27/135.39	c  135s |      16 |   217117 |   184652 |    16815     24 |        5 |      342
137.37/137.48	c  137s |      16 |   219989 |   187152 |    16815     24 |        5 |      342
139.47/139.54	c  139s |      16 |   221203 |   188252 |    16815     25 |        5 |      342
141.47/141.55	c  141s |      16 |   224998 |   191452 |    16815     25 |        5 |      342
143.57/143.62	c  143s |      16 |   228093 |   194152 |    16815     25 |        5 |      342
145.56/145.62	c  145s |      16 |   231142 |   196852 |    18497     26 |        5 |      342
145.86/145.99	c  145s |      17 |   231794 |   197432 |    18497     26 |        5 |      342
147.86/147.99	c  147s |      17 |   233251 |   198632 |    18497     26 |        5 |      342
149.96/150.02	c  149s |      17 |   236854 |   201532 |    18497     26 |        5 |      342
151.96/152.07	c  151s |      17 |   239797 |   204032 |    18497     26 |        5 |      342
153.97/154.10	c  153s |      17 |   242410 |   206232 |    18497     27 |        5 |      342
156.06/156.14	c  155s |      17 |   245413 |   208832 |    18497     27 |        5 |      342
158.06/158.17	c  157s |      17 |   248250 |   211332 |    18497     27 |        5 |      342
160.06/160.17	c  159s |      17 |   250880 |   213632 |    18497     27 |        5 |      342
162.26/162.38	c  162s |      17 |   253339 |   215732 |    18497     28 |        5 |      342
164.37/164.44	c  164s |      17 |   254923 |   217032 |    18497     28 |        5 |      342
166.47/166.51	c  166s |      17 |   257981 |   219632 |    18497     28 |        5 |      342
168.47/168.52	c  168s |      17 |   261058 |   222232 |    18497     28 |        5 |      342
170.48/170.53	c  170s |      17 |   263826 |   224632 |    18497     28 |        5 |      342
172.47/172.59	c  172s |      17 |   266651 |   227132 |    18497     29 |        5 |      342
174.57/174.60	c  174s |      17 |   269361 |   229432 |    18497     29 |        5 |      342
176.57/176.61	c  176s |      17 |   271897 |   231632 |    18497     29 |        5 |      342
178.57/178.63	c  178s |      17 |   274429 |   233832 |    18497     29 |        5 |      342
180.57/180.64	c  180s |      17 |   276699 |   235832 |    18497     30 |        5 |      342
182.67/182.70	c  182s |      17 |   279848 |   238532 |    18497     30 |        5 |      342
184.67/184.80	c  184s |      17 |   282484 |   240932 |    18497     30 |        5 |      342
186.77/186.87	c  186s |      17 |   284999 |   243132 |    18497     30 |        5 |      342
188.87/188.90	c  188s |      17 |   287697 |   245532 |    18497     31 |        5 |      342
190.87/190.96	c  190s |      17 |   290482 |   248032 |    18497     31 |        5 |      342
192.86/192.98	c  192s |      17 |   291468 |   248932 |    18497     31 |        5 |      342
194.96/195.05	c  194s |      17 |   294362 |   251432 |    18497     31 |        5 |      342
197.06/197.11	c  196s |      17 |   296688 |   253532 |    18497     32 |        5 |      342
199.07/199.15	c  198s |      17 |   299518 |   256032 |    18497     32 |        5 |      342
201.16/201.21	c  200s |      17 |   302583 |   258632 |    18497     32 |        5 |      342
203.16/203.22	c  203s |      17 |   305692 |   261232 |    18497     32 |        5 |      342
205.16/205.27	c  205s |      17 |   308387 |   263632 |    18497     33 |        5 |      342
207.26/207.33	c  207s |      17 |   311058 |   265932 |    18497     33 |        5 |      342
209.25/209.38	c  209s |      17 |   313717 |   268132 |    18497     33 |        5 |      342
211.35/211.47	c  211s |      17 |   316896 |   270832 |    18497     33 |        5 |      342
213.46/213.53	c  213s |      17 |   319737 |   273332 |    18497     34 |        5 |      342
215.45/215.55	c  215s |      17 |   322681 |   275832 |    18497     34 |        5 |      342
217.55/217.61	c  217s |      17 |   325397 |   278232 |    18497     34 |        5 |      342
219.55/219.62	c  219s |      17 |   327692 |   280332 |    18497     34 |        5 |      342
221.55/221.65	c  221s |      17 |   330345 |   282632 |    18497     35 |        5 |      342
223.55/223.69	c  223s |      17 |   332506 |   284432 |    18497     35 |        5 |      342
225.65/225.70	c  225s |      17 |   335253 |   286832 |    18497     35 |        5 |      342
227.66/227.74	c  227s |      17 |   337688 |   289032 |    18497     35 |        5 |      342
229.75/229.84	c  229s |      17 |   339731 |   290832 |    18497     36 |        5 |      342
231.86/231.90	c  231s |      17 |   342474 |   293232 |    18497     36 |        5 |      342
233.86/233.98	c  233s |      17 |   344913 |   295432 |    20347     36 |        5 |      342
234.86/234.90	c  234s |      18 |   345823 |   296252 |    20347     36 |        5 |      342
236.86/236.98	c  236s |      18 |   348152 |   298152 |    20347     36 |        5 |      342
238.85/238.99	c  238s |      18 |   350183 |   299852 |    20347     36 |        5 |      342
240.96/241.05	c  240s |      18 |   352596 |   301852 |    20347     36 |        5 |      342
242.95/243.09	c  242s |      18 |   355272 |   304052 |    20347     37 |        5 |      342
245.05/245.14	c  244s |      18 |   358576 |   306852 |    20347     37 |        5 |      342
247.05/247.17	c  246s |      18 |   361594 |   309452 |    20347     37 |        5 |      342
249.15/249.24	c  249s |      18 |   364163 |   311752 |    20347     37 |        5 |      342
251.15/251.27	c  251s |      18 |   366695 |   313752 |    20347     38 |        5 |      342
253.15/253.29	c  253s |      18 |   369668 |   316252 |    20347     38 |        5 |      342
255.26/255.36	c  255s |      18 |   372879 |   318852 |    20347     38 |        5 |      342
257.36/257.45	c  257s |      18 |   375526 |   321152 |    20347     38 |        5 |      342
259.45/259.51	c  259s |      18 |   377952 |   323252 |    20347     39 |        5 |      342
261.45/261.54	c  261s |      18 |   381405 |   326052 |    20347     39 |        5 |      342
263.45/263.58	c  263s |      18 |   384096 |   328452 |    20347     39 |        5 |      342
265.55/265.60	c  265s |      18 |   386923 |   330852 |    20347     39 |        5 |      342
267.55/267.62	c  267s |      18 |   389276 |   332952 |    20347     39 |        5 |      342
269.56/269.69	c  269s |      18 |   391636 |   335052 |    20347     40 |        5 |      342
271.66/271.73	c  271s |      18 |   394406 |   337452 |    20347     40 |        5 |      342
274.05/274.20	c  273s |      18 |   394983 |   337952 |    20347     40 |        5 |      342
276.05/276.20	c  275s |      18 |   398004 |   340352 |    20347     40 |        5 |      342
278.15/278.25	c  278s |      18 |   400746 |   342652 |    20347     40 |        5 |      342
280.25/280.31	c  280s |      18 |   403506 |   344952 |    20347     41 |        5 |      342
282.25/282.34	c  282s |      18 |   407124 |   347952 |    20347     41 |        5 |      342
284.24/284.35	c  284s |      18 |   409988 |   350452 |    20347     41 |        5 |      342
286.24/286.36	c  286s |      18 |   412118 |   352252 |    20347     41 |        5 |      342
288.44/288.54	c  288s |      18 |   414755 |   354452 |    20347     42 |        5 |      342
290.45/290.56	c  290s |      18 |   418131 |   357352 |    20347     42 |        5 |      342
292.55/292.64	c  292s |      18 |   421095 |   359952 |    20347     42 |        5 |      342
294.54/294.65	c  294s |      18 |   423858 |   362352 |    20347     42 |        5 |      342
296.54/296.68	c  296s |      18 |   426382 |   364552 |    20347     43 |        5 |      342
298.64/298.71	c  298s |      18 |   429395 |   367252 |    20347     43 |        5 |      342
300.64/300.76	c  300s |      18 |   432253 |   369752 |    20347     43 |        5 |      342
302.74/302.80	c  302s |      18 |   434963 |   372052 |    20347     43 |        5 |      342
304.75/304.82	c  304s |      18 |   437450 |   374252 |    20347     43 |        5 |      342
308.15/308.28	c  308s |      18 |   438507 |   375152 |    20347     44 |        5 |      342
310.25/310.32	c  310s |      18 |   442238 |   378252 |    20347     44 |        5 |      342
312.24/312.35	c  312s |      18 |   445303 |   380852 |    20347     44 |        5 |      342
314.24/314.35	c  314s |      18 |   447691 |   382952 |    20347     44 |        5 |      342
316.34/316.43	c  316s |      18 |   450167 |   385052 |    20347     45 |        5 |      342
318.34/318.47	c  318s |      18 |   452629 |   387252 |    20347     45 |        5 |      342
320.34/320.48	c  320s |      18 |   455131 |   389452 |    20347     45 |        5 |      342
322.44/322.55	c  322s |      18 |   457909 |   391852 |    20347     45 |        5 |      342
324.55/324.63	c  324s |      18 |   459600 |   393352 |    20347     45 |        5 |      342
326.54/326.67	c  326s |      18 |   461591 |   395052 |    20347     46 |        5 |      342
328.64/328.71	c  328s |      18 |   464353 |   397452 |    20347     46 |        5 |      342
330.64/330.72	c  330s |      18 |   466963 |   399752 |    20347     46 |        5 |      342
332.64/332.76	c  332s |      18 |   469616 |   402052 |    20347     46 |        5 |      342
334.64/334.80	c  334s |      18 |   472256 |   404352 |    20347     46 |        5 |      342
336.74/336.85	c  336s |      18 |   474508 |   406352 |    20347     47 |        5 |      342
338.74/338.90	c  338s |      18 |   476812 |   408352 |    20347     47 |        5 |      342
340.84/340.91	c  340s |      18 |   479683 |   410852 |    20347     47 |        5 |      342
342.84/342.97	c  342s |      18 |   482390 |   413252 |    20347     47 |        5 |      342
344.94/345.02	c  344s |      18 |   484581 |   415252 |    20347     47 |        5 |      342
346.94/347.03	c  346s |      18 |   486987 |   417452 |    20347     48 |        5 |      342
349.04/349.12	c  348s |      18 |   489455 |   419652 |    20347     48 |        5 |      342
351.03/351.18	c  350s |      18 |   491677 |   421652 |    20347     48 |        5 |      342
353.14/353.25	c  353s |      18 |   494119 |   423852 |    20347     48 |        5 |      342
355.24/355.33	c  355s |      18 |   496455 |   425952 |    20347     48 |        5 |      342
358.23/358.30	c  358s |      18 |   498114 |   427452 |    20347     49 |        5 |      342
360.24/360.31	c  360s |      18 |   498722 |   427952 |    20347     49 |        5 |      342
362.24/362.36	c  362s |      18 |   502090 |   430752 |    20347     49 |        5 |      342
364.24/364.37	c  364s |      18 |   505031 |   433252 |    20347     49 |        5 |      342
366.25/366.40	c  366s |      18 |   507694 |   435552 |    20347     49 |        5 |      342
368.34/368.41	c  368s |      18 |   510315 |   437852 |    20347     50 |        5 |      342
370.34/370.41	c  370s |      18 |   513611 |   440652 |    20347     50 |        5 |      342
372.34/372.43	c  372s |      18 |   516397 |   443052 |    22382     50 |        5 |      342
373.74/373.81	c  373s |      19 |   517994 |   444482 |    22382     50 |        5 |      342
375.74/375.85	c  375s |      19 |   519364 |   445582 |    22382     50 |        5 |      342
377.84/377.92	c  377s |      19 |   521843 |   447682 |    22382     50 |        5 |      342
379.84/379.96	c  379s |      19 |   523809 |   449382 |    22382     51 |        5 |      342
381.94/382.04	c  381s |      19 |   526517 |   451682 |    22382     51 |        5 |      342
383.94/384.09	c  383s |      19 |   529587 |   454282 |    22382     51 |        5 |      342
386.04/386.11	c  385s |      19 |   532583 |   456782 |    22382     51 |        5 |      342
388.03/388.14	c  387s |      19 |   535255 |   459082 |    22382     51 |        5 |      342
390.13/390.21	c  389s |      19 |   537525 |   461082 |    22382     52 |        5 |      342
392.23/392.30	c  392s |      19 |   540234 |   463482 |    22382     52 |        5 |      342
394.23/394.30	c  394s |      19 |   542693 |   465682 |    22382     52 |        5 |      342
396.23/396.39	c  396s |      19 |   545361 |   467982 |    22382     52 |        5 |      342
398.33/398.47	c  398s |      19 |   547748 |   470082 |    22382     52 |        5 |      342
400.73/400.89	c  400s |      19 |   549569 |   471582 |    22382     53 |        5 |      342
402.83/402.93	c  402s |      19 |   552491 |   474082 |    22382     53 |        5 |      342
404.84/404.98	c  404s |      19 |   555364 |   476582 |    22382     53 |        5 |      342
406.83/406.99	c  406s |      19 |   558003 |   478882 |    22382     53 |        5 |      342
408.93/409.06	c  408s |      19 |   560463 |   481082 |    22382     53 |        5 |      342
411.03/411.15	c  410s |      19 |   562493 |   482882 |    22382     54 |        5 |      342
413.13/413.20	c  412s |      19 |   564924 |   485082 |    22382     54 |        5 |      342
415.13/415.25	c  415s |      19 |   567746 |   487482 |    22382     54 |        5 |      342
417.13/417.26	c  417s |      19 |   570141 |   489582 |    22382     54 |        5 |      342
419.13/419.27	c  419s |      19 |   572681 |   491682 |    22382     54 |        5 |      342
421.13/421.30	c  421s |      19 |   574958 |   493682 |    22382     54 |        5 |      342
423.22/423.32	c  423s |      19 |   576922 |   495482 |    22382     55 |        5 |      342
425.22/425.33	c  425s |      19 |   579140 |   497482 |    22382     55 |        5 |      342
427.32/427.44	c  427s |      19 |   581814 |   499782 |    22382     55 |        5 |      342
429.32/429.46	c  429s |      19 |   584421 |   501982 |    22382     55 |        5 |      342
431.42/431.56	c  431s |      19 |   586366 |   503682 |    22382     55 |        5 |      342
433.52/433.66	c  433s |      19 |   588289 |   505382 |    22382     55 |        5 |      342
435.53/435.68	c  435s |      19 |   590232 |   507182 |    22382     56 |        5 |      342
437.62/437.72	c  437s |      19 |   592513 |   509182 |    22382     56 |        5 |      342
439.62/439.78	c  439s |      19 |   595344 |   511682 |    22382     56 |        5 |      342
441.92/442.04	c  441s |      19 |   596478 |   512682 |    22382     56 |        5 |      342
444.02/444.13	c  443s |      19 |   599205 |   514982 |    22382     56 |        5 |      342
446.02/446.17	c  445s |      19 |   601597 |   516982 |    22382     57 |        5 |      342
448.12/448.22	c  447s |      19 |   604533 |   519582 |    22382     57 |        5 |      342
450.12/450.25	c  450s |      19 |   606985 |   521682 |    22382     57 |        5 |      342
452.13/452.29	c  452s |      19 |   609720 |   524082 |    22382     57 |        5 |      342
454.23/454.33	c  454s |      19 |   612051 |   526182 |    22382     57 |        5 |      342
456.22/456.36	c  456s |      19 |   614134 |   528082 |    22382     57 |        5 |      342
459.02/459.11	c  458s |      19 |   616370 |   530082 |    22382     58 |        5 |      342
461.02/461.17	c  460s |      19 |   618915 |   532282 |    22382     58 |        5 |      342
463.02/463.19	c  462s |      19 |   621305 |   534382 |    22382     58 |        5 |      342
465.12/465.30	c  465s |      19 |   623864 |   536582 |    22382     58 |        5 |      342
467.22/467.33	c  467s |      19 |   625833 |   538382 |    22382     58 |        5 |      342
469.21/469.34	c  469s |      19 |   627631 |   539982 |    22382     59 |        5 |      342
471.31/471.40	c  471s |      19 |   630058 |   542182 |    22382     59 |        5 |      342
473.31/473.41	c  473s |      19 |   632500 |   544382 |    22382     59 |        5 |      342
476.23/476.38	c  476s |      19 |   634952 |   546582 |    22382     59 |        5 |      342
478.32/478.46	c  478s |      19 |   637324 |   548682 |    22382     59 |        5 |      342
480.42/480.53	c  480s |      19 |   639734 |   550782 |    22382     59 |        5 |      342
482.42/482.57	c  482s |      19 |   641924 |   552782 |    22382     60 |        5 |      342
484.62/484.72	c  484s |      19 |   644475 |   555082 |    22382     60 |        5 |      342
486.72/486.80	c  486s |      19 |   646801 |   557182 |    22382     60 |        5 |      342
488.72/488.82	c  488s |      19 |   648904 |   559082 |    22382     60 |        5 |      342
490.82/490.90	c  490s |      19 |   650744 |   560782 |    22382     60 |        5 |      342
493.12/493.24	c  493s |      19 |   652752 |   562482 |    22382     61 |        5 |      342
495.22/495.31	c  495s |      19 |   655447 |   564882 |    22382     61 |        5 |      342
497.23/497.36	c  497s |      19 |   657977 |   567182 |    22382     61 |        5 |      342
499.32/499.42	c  499s |      19 |   660208 |   569182 |    22382     61 |        5 |      342
501.32/501.49	c  501s |      19 |   662473 |   571182 |    22382     61 |        5 |      342
503.32/503.49	c  503s |      19 |   664426 |   572882 |    22382     61 |        5 |      342
505.32/505.49	c  505s |      19 |   665808 |   574082 |    22382     62 |        5 |      342
507.41/507.52	c  507s |      19 |   668404 |   576382 |    22382     62 |        5 |      342
509.51/509.61	c  509s |      19 |   670856 |   578582 |    22382     62 |        5 |      342
511.52/511.66	c  511s |      19 |   673061 |   580582 |    22382     62 |        5 |      342
513.51/513.68	c  513s |      19 |   675455 |   582682 |    22382     62 |        5 |      342
515.61/515.70	c  515s |      19 |   677459 |   584482 |    22382     62 |        5 |      342
517.61/517.71	c  517s |      19 |   679673 |   586482 |    22382     63 |        5 |      342
519.71/519.80	c  519s |      19 |   681279 |   587982 |    22382     63 |        5 |      342
521.71/521.81	c  521s |      19 |   683113 |   589682 |    22382     63 |        5 |      342
523.71/523.82	c  523s |      19 |   685055 |   591482 |    22382     63 |        5 |      342
525.72/525.86	c  525s |      19 |   687039 |   593282 |    22382     63 |        5 |      342
527.81/527.96	c  527s |      19 |   689127 |   595182 |    22382     63 |        5 |      342
529.91/530.04	c  529s |      19 |   690678 |   596582 |    22382     64 |        5 |      342
532.01/532.14	c  531s |      19 |   693237 |   598882 |    22382     64 |        5 |      342
534.11/534.20	c  533s |      19 |   695575 |   600882 |    22382     64 |        5 |      342
536.31/536.43	c  536s |      19 |   696028 |   601282 |    22382     64 |        5 |      342
538.31/538.44	c  538s |      19 |   697551 |   602582 |    22382     64 |        5 |      342
540.41/540.55	c  540s |      19 |   699923 |   604682 |    22382     64 |        5 |      342
542.51/542.64	c  542s |      19 |   701905 |   606482 |    22382     64 |        5 |      342
544.51/544.67	c  544s |      19 |   704080 |   608382 |    22382     65 |        5 |      342
546.51/546.69	c  546s |      19 |   706511 |   610582 |    22382     65 |        5 |      342
548.51/548.69	c  548s |      19 |   708350 |   612282 |    22382     65 |        5 |      342
550.61/550.78	c  550s |      19 |   710665 |   614382 |    22382     65 |        5 |      342
552.71/552.88	c  552s |      19 |   712866 |   616382 |    22382     65 |        5 |      342
554.81/554.97	c  554s |      19 |   715027 |   618282 |    22382     65 |        5 |      342
556.81/556.99	c  556s |      19 |   716913 |   619982 |    22382     66 |        5 |      342
558.90/559.07	c  558s |      19 |   719112 |   621982 |    22382     66 |        5 |      342
561.01/561.14	c  560s |      19 |   721184 |   623882 |    22382     66 |        5 |      342
563.00/563.15	c  562s |      19 |   723167 |   625682 |    22382     66 |        5 |      342
565.10/565.20	c  564s |      19 |   725045 |   627382 |    22382     66 |        5 |      342
567.10/567.23	c  567s |      19 |   726807 |   628982 |    22382     66 |        5 |      342
569.10/569.27	c  569s |      19 |   728321 |   630382 |    22382     67 |        5 |      342
571.20/571.31	c  571s |      19 |   729662 |   631582 |    22382     67 |        5 |      342
573.20/573.38	c  573s |      19 |   732367 |   633982 |    22382     67 |        5 |      342
575.31/575.42	c  575s |      19 |   734848 |   636182 |    22382     67 |        5 |      342
577.41/577.52	c  577s |      19 |   737118 |   638182 |    22382     67 |        5 |      342
579.40/579.53	c  579s |      19 |   739007 |   639882 |    22382     67 |        5 |      342
581.50/581.62	c  581s |      19 |   741012 |   641682 |    22382     67 |        5 |      342
583.50/583.66	c  583s |      19 |   742977 |   643482 |    22382     68 |        5 |      342
585.61/585.71	c  585s |      19 |   745187 |   645482 |    22382     68 |        5 |      342
587.60/587.72	c  587s |      19 |   747276 |   647382 |    22382     68 |        5 |      342
589.61/589.72	c  589s |      19 |   749328 |   649282 |    22382     68 |        5 |      342
591.71/591.87	c  591s |      19 |   750847 |   650682 |    22382     68 |        5 |      342
593.80/593.94	c  593s |      19 |   752893 |   652382 |    22382     68 |        5 |      342
595.90/596.04	c  595s |      19 |   754794 |   654082 |    22382     69 |        5 |      342
597.90/598.08	c  597s |      19 |   757130 |   656182 |    22382     69 |        5 |      342
600.00/600.12	c  599s |      19 |   759448 |   658282 |    22382     69 |        5 |      342
602.00/602.12	c  601s |      19 |   761721 |   660282 |    22382     69 |        5 |      342
604.10/604.20	c  603s |      19 |   763916 |   662282 |    24621     69 |        5 |      342
606.11/606.26	c  606s |      19 |   765760 |   663982 |    24621     69 |        5 |      342
608.21/608.30	c  608s |      19 |   767567 |   665682 |    24621     69 |        5 |      342
610.20/610.34	c  610s |      19 |   768739 |   666782 |    24621     70 |        5 |      342
610.20/610.38	c  610s |      20 |   768793 |   666827 |    24621     70 |        5 |      342
612.30/612.41	c  612s |      20 |   770248 |   667927 |    24621     70 |        5 |      342
614.30/614.43	c  614s |      20 |   773625 |   670627 |    24621     70 |        5 |      342
616.40/616.51	c  616s |      20 |   776529 |   673127 |    24621     70 |        5 |      342
618.40/618.59	c  618s |      20 |   779250 |   675527 |    24621     70 |        5 |      342
620.50/620.64	c  620s |      20 |   781898 |   677727 |    24621     70 |        5 |      342
622.50/622.66	c  622s |      20 |   783680 |   679327 |    24621     71 |        5 |      342
624.60/624.70	c  624s |      20 |   786431 |   681727 |    24621     71 |        5 |      342
626.60/626.72	c  626s |      20 |   789113 |   683927 |    24621     71 |        5 |      342
628.80/628.91	c  628s |      20 |   791678 |   686127 |    24621     71 |        5 |      342
630.80/630.95	c  630s |      20 |   794225 |   688227 |    24621     71 |        5 |      342
632.90/633.04	c  632s |      20 |   796769 |   690427 |    24621     71 |        5 |      342
634.90/635.09	c  634s |      20 |   798859 |   692127 |    24621     72 |        5 |      342
637.00/637.13	c  636s |      20 |   801844 |   694727 |    24621     72 |        5 |      342
639.00/639.16	c  638s |      20 |   804383 |   697027 |    24621     72 |        5 |      342
640.99/641.19	c  640s |      20 |   806835 |   699227 |    24621     72 |        5 |      342
643.09/643.29	c  643s |      20 |   809233 |   701327 |    24621     72 |        5 |      342
645.19/645.38	c  645s |      20 |   811458 |   703227 |    24621     72 |        5 |      342
647.29/647.43	c  647s |      20 |   813574 |   705127 |    24621     73 |        5 |      342
649.39/649.51	c  649s |      20 |   816278 |   707527 |    24621     73 |        5 |      342
651.39/651.58	c  651s |      20 |   818735 |   709727 |    24621     73 |        5 |      342
653.49/653.68	c  653s |      20 |   820837 |   711627 |    24621     73 |        5 |      342
655.60/655.77	c  655s |      20 |   822819 |   713427 |    24621     73 |        5 |      342
657.70/657.81	c  657s |      20 |   824843 |   715227 |    24621     73 |        5 |      342
659.69/659.89	c  659s |      20 |   826246 |   716527 |    24621     74 |        5 |      342
664.89/665.02	c  664s |      20 |   826373 |   716627 |    24621     74 |        5 |      342
666.89/667.08	c  666s |      20 |   829767 |   719527 |    24621     74 |        5 |      342
668.99/669.12	c  668s |      20 |   832617 |   722027 |    24621     74 |        5 |      342
670.99/671.17	c  670s |      20 |   835069 |   724227 |    24621     74 |        5 |      342
673.09/673.20	c  672s |      20 |   837284 |   726227 |    24621     74 |        5 |      342
675.09/675.27	c  675s |      20 |   839393 |   728127 |    24621     74 |        5 |      342
677.09/677.29	c  677s |      20 |   841533 |   730027 |    24621     75 |        5 |      342
679.19/679.35	c  679s |      20 |   843971 |   732227 |    24621     75 |        5 |      342
681.19/681.37	c  681s |      20 |   846122 |   734127 |    24621     75 |        5 |      342
683.19/683.38	c  683s |      20 |   848388 |   736027 |    24621     75 |        5 |      342
685.29/685.43	c  685s |      20 |   850373 |   737827 |    24621     75 |        5 |      342
687.39/687.52	c  687s |      20 |   852134 |   739327 |    24621     75 |        5 |      342
689.48/689.61	c  689s |      20 |   854668 |   741427 |    24621     75 |        5 |      342
691.48/691.65	c  691s |      20 |   856697 |   743127 |    24621     76 |        5 |      342
693.58/693.71	c  693s |      20 |   859748 |   745727 |    24621     76 |        5 |      342
695.58/695.72	c  695s |      20 |   862484 |   748127 |    24621     76 |        5 |      342
697.58/697.73	c  697s |      20 |   864958 |   750327 |    24621     76 |        5 |      342
699.59/699.76	c  699s |      20 |   867233 |   752327 |    24621     76 |        5 |      342
701.69/701.89	c  701s |      20 |   869204 |   754027 |    24621     77 |        5 |      342
703.79/703.92	c  703s |      20 |   870477 |   755127 |    24621     77 |        5 |      342
705.78/705.95	c  705s |      20 |   873101 |   757427 |    24621     77 |        5 |      342
707.78/707.98	c  707s |      20 |   875612 |   759627 |    24621     77 |        5 |      342
709.88/710.06	c  709s |      20 |   878144 |   761827 |    24621     77 |        5 |      342
711.88/712.09	c  711s |      20 |   880453 |   763827 |    24621     77 |        5 |      342
713.98/714.18	c  713s |      20 |   882441 |   765627 |    24621     77 |        5 |      342
715.99/716.19	c  715s |      20 |   884451 |   767427 |    24621     78 |        5 |      342
718.08/718.21	c  717s |      20 |   886894 |   769627 |    24621     78 |        5 |      342
720.08/720.23	c  720s |      20 |   889382 |   771627 |    24621     78 |        5 |      342
722.08/722.28	c  722s |      20 |   892089 |   773927 |    24621     78 |        5 |      342
724.08/724.29	c  724s |      20 |   894396 |   775927 |    24621     78 |        5 |      342
726.18/726.35	c  726s |      20 |   896567 |   777827 |    24621     78 |        5 |      342
728.19/728.39	c  728s |      20 |   898509 |   779527 |    24621     79 |        5 |      342
730.58/730.78	c  730s |      20 |   900881 |   781627 |    24621     79 |        5 |      342
732.68/732.83	c  732s |      20 |   902803 |   783227 |    24621     79 |        5 |      342
734.68/734.89	c  734s |      20 |   905745 |   785727 |    24621     79 |        5 |      342
736.78/736.97	c  736s |      20 |   908228 |   787927 |    24621     79 |        5 |      342
738.88/739.06	c  738s |      20 |   910466 |   789927 |    24621     79 |        5 |      342
741.08/741.28	c  741s |      20 |   912427 |   791627 |    24621     80 |        5 |      342
743.18/743.35	c  743s |      20 |   915157 |   794127 |    24621     80 |        5 |      342
745.27/745.44	c  745s |      20 |   917328 |   796127 |    24621     80 |        5 |      342
747.37/747.50	c  747s |      20 |   919631 |   798227 |    24621     80 |        5 |      342
749.47/749.61	c  749s |      20 |   921845 |   800227 |    24621     80 |        5 |      342
751.47/751.61	c  751s |      20 |   923698 |   801927 |    24621     80 |        5 |      342
753.57/753.77	c  753s |      20 |   925412 |   803527 |    24621     80 |        5 |      342
755.68/755.84	c  755s |      20 |   927212 |   805127 |    24621     81 |        5 |      342
757.67/757.87	c  757s |      20 |   928930 |   806727 |    24621     81 |        5 |      342
759.77/759.90	c  759s |      20 |   931149 |   808727 |    24621     81 |        5 |      342
761.77/761.94	c  761s |      20 |   933351 |   810727 |    24621     81 |        5 |      342
763.87/764.05	c  763s |      20 |   935198 |   812427 |    24621     81 |        5 |      342
765.97/766.14	c  765s |      20 |   937059 |   814127 |    24621     81 |        5 |      342
767.97/768.15	c  767s |      20 |   938826 |   815727 |    24621     81 |        5 |      342
769.97/770.19	c  769s |      20 |   940313 |   817027 |    24621     82 |        5 |      342
772.07/772.22	c  772s |      20 |   942430 |   818827 |    24621     82 |        5 |      342
774.17/774.31	c  774s |      20 |   945000 |   821027 |    24621     82 |        5 |      342
776.17/776.39	c  776s |      20 |   947570 |   823327 |    24621     82 |        5 |      342
778.26/778.42	c  778s |      20 |   949699 |   825227 |    24621     82 |        5 |      342
780.26/780.46	c  780s |      20 |   951685 |   827027 |    24621     82 |        5 |      342
782.36/782.57	c  782s |      20 |   953554 |   828727 |    24621     82 |        5 |      342
784.46/784.61	c  784s |      20 |   955522 |   830527 |    24621     83 |        5 |      342
790.88/791.00	c  790s |      20 |   957689 |   832527 |    24621     83 |        5 |      342
792.87/793.09	c  792s |      20 |   959985 |   834627 |    24621     83 |        5 |      342
794.97/795.18	c  794s |      20 |   962298 |   836727 |    24621     83 |        5 |      342
797.07/797.20	c  796s |      20 |   964454 |   838627 |    24621     83 |        5 |      342
799.07/799.21	c  798s |      20 |   966596 |   840527 |    24621     83 |        5 |      342
801.17/801.38	c  801s |      20 |   968704 |   842427 |    24621     84 |        5 |      342
803.16/803.39	c  803s |      20 |   971000 |   844527 |    24621     84 |        5 |      342
805.26/805.43	c  805s |      20 |   972928 |   846327 |    24621     84 |        5 |      342
807.27/807.48	c  807s |      20 |   974763 |   848027 |    24621     84 |        5 |      342
809.36/809.55	c  809s |      20 |   976765 |   849827 |    24621     84 |        5 |      342
811.46/811.65	c  811s |      20 |   978507 |   851427 |    24621     84 |        5 |      342
813.56/813.71	c  813s |      20 |   980151 |   852927 |    24621     84 |        5 |      342
815.56/815.74	c  815s |      20 |   981771 |   854427 |    24621     85 |        5 |      342
817.55/817.75	c  817s |      20 |   983713 |   856227 |    24621     85 |        5 |      342
819.65/819.82	c  819s |      20 |   985877 |   858227 |    24621     85 |        5 |      342
821.66/821.83	c  821s |      20 |   987391 |   859627 |    24621     85 |        5 |      342
823.65/823.90	c  823s |      20 |   989489 |   861527 |    24621     85 |        5 |      342
825.85/826.01	c  825s |      20 |   991466 |   863327 |    24621     85 |        5 |      342
827.85/828.02	c  827s |      20 |   993404 |   865027 |    24621     85 |        5 |      342
829.85/830.08	c  829s |      20 |   994980 |   866427 |    24621     86 |        5 |      342
831.95/832.15	c  831s |      20 |   996938 |   868227 |    24621     86 |        5 |      342
834.05/834.22	c  834s |      20 |   999286 |   870327 |    24621     86 |        5 |      342
836.15/836.30	c  836s |      20 |  1001503 |   872327 |    24621     86 |        5 |      342
838.15/838.36	c  838s |      20 |  1003315 |   873927 |    24621     86 |        5 |      342
840.15/840.38	c  840s |      20 |  1005866 |   876027 |    24621     86 |        5 |      342
842.25/842.48	c  842s |      20 |  1007968 |   877727 |    24621     86 |        5 |      342
844.35/844.50	c  844s |      20 |  1009850 |   879327 |    24621     87 |        5 |      342
846.35/846.51	c  846s |      20 |  1012522 |   881627 |    24621     87 |        5 |      342
848.34/848.53	c  848s |      20 |  1015465 |   884127 |    24621     87 |        5 |      342
850.34/850.57	c  850s |      20 |  1017881 |   886327 |    24621     87 |        5 |      342
852.45/852.66	c  852s |      20 |  1020343 |   888427 |    24621     87 |        5 |      342
854.55/854.71	c  854s |      20 |  1022574 |   890427 |    24621     87 |        5 |      342
856.54/856.73	c  856s |      20 |  1024559 |   892127 |    24621     88 |        5 |      342
858.54/858.78	c  858s |      20 |  1027653 |   894827 |    24621     88 |        5 |      342
860.64/860.83	c  860s |      20 |  1030166 |   897127 |    24621     88 |        5 |      342
862.74/862.90	c  862s |      20 |  1032624 |   899327 |    24621     88 |        5 |      342
864.74/864.92	c  864s |      20 |  1034687 |   901227 |    24621     88 |        5 |      342
866.74/866.96	c  866s |      20 |  1036908 |   903227 |    24621     88 |        5 |      342
868.73/868.99	c  868s |      20 |  1038947 |   905127 |    24621     89 |        5 |      342
870.83/871.05	c  870s |      20 |  1041188 |   907127 |    24621     89 |        5 |      342
872.83/873.08	c  872s |      20 |  1043662 |   909327 |    24621     89 |        5 |      342
875.33/875.53	c  875s |      20 |  1043882 |   909527 |    24621     89 |        5 |      342
877.33/877.54	c  877s |      20 |  1046555 |   911727 |    24621     89 |        5 |      342
879.33/879.58	c  879s |      20 |  1048988 |   913827 |    24621     89 |        5 |      342
881.43/881.62	c  881s |      20 |  1051261 |   915727 |    24621     89 |        5 |      342
883.43/883.66	c  883s |      20 |  1053385 |   917627 |    24621     90 |        5 |      342
885.53/885.70	c  885s |      20 |  1056115 |   919927 |    24621     90 |        5 |      342
887.53/887.77	c  887s |      20 |  1058817 |   922327 |    24621     90 |        5 |      342
889.62/889.80	c  889s |      20 |  1061090 |   924227 |    24621     90 |        5 |      342
891.62/891.87	c  891s |      20 |  1063603 |   926327 |    24621     90 |        5 |      342
893.62/893.89	c  893s |      20 |  1066009 |   928327 |    24621     90 |        5 |      342
895.72/895.94	c  895s |      20 |  1068310 |   930327 |    24621     91 |        5 |      342
897.82/898.00	c  897s |      20 |  1071102 |   932827 |    24621     91 |        5 |      342
899.83/900.01	c  899s |      20 |  1073704 |   935127 |    24621     91 |        5 |      342
901.83/902.01	c  901s |      20 |  1075723 |   936927 |    24621     91 |        5 |      342
903.92/904.11	c  903s |      20 |  1077933 |   938927 |    24621     91 |        5 |      342
905.92/906.16	c  905s |      20 |  1080245 |   940927 |    24621     91 |        5 |      342
907.92/908.17	c  907s |      20 |  1082072 |   942527 |    24621     92 |        5 |      342
910.02/910.25	c  910s |      20 |  1084948 |   945027 |    24621     92 |        5 |      342
912.02/912.27	c  912s |      20 |  1087285 |   947127 |    24621     92 |        5 |      342
914.12/914.36	c  914s |      20 |  1089351 |   949027 |    24621     92 |        5 |      342
916.12/916.37	c  916s |      20 |  1091348 |   950827 |    24621     92 |        5 |      342
918.22/918.42	c  918s |      20 |  1091697 |   951127 |    24621     92 |        5 |      342
920.21/920.45	c  920s |      20 |  1092170 |   951527 |    24621     92 |        5 |      342
922.41/922.62	c  922s |      20 |  1094538 |   953627 |    24621     93 |        5 |      342
924.41/924.64	c  924s |      20 |  1096706 |   955527 |    24621     93 |        5 |      342
926.41/926.69	c  926s |      20 |  1099341 |   957827 |    24621     93 |        5 |      342
928.51/928.79	c  928s |      20 |  1101673 |   959927 |    24621     93 |        5 |      342
930.61/930.89	c  930s |      20 |  1103989 |   962027 |    24621     93 |        5 |      342
932.81/933.00	c  932s |      20 |  1105914 |   963827 |    24621     93 |        5 |      342
934.91/935.11	c  934s |      20 |  1107806 |   965527 |    24621     93 |        5 |      342
936.91/937.15	c  936s |      20 |  1109715 |   967227 |    24621     94 |        5 |      342
939.01/939.26	c  939s |      20 |  1112026 |   969327 |    24621     94 |        5 |      342
941.11/941.33	c  941s |      20 |  1114666 |   971627 |    24621     94 |        5 |      342
943.20/943.42	c  943s |      20 |  1116882 |   973627 |    24621     94 |        5 |      342
945.20/945.43	c  945s |      20 |  1118725 |   975327 |    24621     94 |        5 |      342
947.20/947.49	c  947s |      20 |  1120684 |   977127 |    24621     94 |        5 |      342
949.40/949.68	c  949s |      20 |  1122565 |   978827 |    24621     95 |        5 |      342
951.41/951.69	c  951s |      20 |  1124973 |   981027 |    24621     95 |        5 |      342
954.80/955.03	c  954s |      20 |  1127039 |   982827 |    24621     95 |        5 |      342
956.81/957.10	c  956s |      20 |  1129825 |   985127 |    24621     95 |        5 |      342
958.90/959.15	c  958s |      20 |  1132255 |   987227 |    24621     95 |        5 |      342
960.90/961.15	c  960s |      20 |  1134604 |   989227 |    24621     95 |        5 |      342
963.10/963.31	c  963s |      20 |  1136680 |   991027 |    24621     96 |        5 |      342
965.10/965.32	c  965s |      20 |  1139031 |   993127 |    24621     96 |        5 |      342
967.09/967.37	c  967s |      20 |  1141644 |   995427 |    27084     96 |        5 |      342
969.10/969.38	c  969s |      20 |  1144221 |   997727 |    27084     96 |        5 |      342
971.21/971.43	c  971s |      20 |  1146641 |   999927 |    27084     96 |        5 |      342
971.60/971.81	c  971s |      21 |  1147124 |  1000345 |    27084     96 |        5 |      342
973.90/974.16	c  973s |      21 |  1147486 |  1000645 |    27084     96 |        5 |      342
975.90/976.17	c  975s |      21 |  1149718 |  1002545 |    27084     96 |        5 |      342
977.99/978.27	c  978s |      21 |  1150995 |  1003645 |    27084     96 |        5 |      342
980.09/980.35	c  980s |      21 |  1153188 |  1005545 |    27084     96 |        5 |      342
982.20/982.42	c  982s |      21 |  1155316 |  1007445 |    27084     97 |        5 |      342
984.19/984.46	c  984s |      21 |  1157761 |  1009645 |    27084     97 |        5 |      342
986.19/986.46	c  986s |      21 |  1160165 |  1011745 |    27084     97 |        5 |      342
988.29/988.53	c  988s |      21 |  1162762 |  1013945 |    27084     97 |        5 |      342
990.39/990.61	c  990s |      21 |  1165108 |  1015945 |    27084     97 |        5 |      342
992.39/992.68	c  992s |      21 |  1167384 |  1017845 |    27084     97 |        5 |      342
994.49/994.71	c  994s |      21 |  1169330 |  1019545 |    27084     97 |        5 |      342
996.49/996.75	c  996s |      21 |  1171208 |  1021245 |    27084     98 |        5 |      342
998.59/998.82	c  998s |      21 |  1172842 |  1022645 |    27084     98 |        5 |      342
1000.58/1000.85	c 1000s |      21 |  1175526 |  1024845 |    27084     98 |        5 |      342
1002.68/1002.91	c 1002s |      21 |  1178130 |  1026945 |    27084     98 |        5 |      342
1004.68/1004.94	c 1004s |      21 |  1180304 |  1028845 |    27084     98 |        5 |      342
1006.68/1006.95	c 1006s |      21 |  1182527 |  1030645 |    27084     98 |        5 |      342
1008.78/1009.03	c 1008s |      21 |  1184584 |  1032445 |    27084     98 |        5 |      342
1010.98/1011.23	c 1011s |      21 |  1186463 |  1034045 |    27084     99 |        5 |      342
1012.98/1013.25	c 1013s |      21 |  1188566 |  1035845 |    27084     99 |        5 |      342
1015.08/1015.33	c 1015s |      21 |  1191314 |  1038145 |    27084     99 |        5 |      342
1017.07/1017.36	c 1017s |      21 |  1193927 |  1040345 |    27084     99 |        5 |      342
1019.18/1019.43	c 1019s |      21 |  1195599 |  1041745 |    27084     99 |        5 |      342
1021.18/1021.44	c 1021s |      21 |  1197873 |  1043745 |    27084     99 |        5 |      342
1023.18/1023.48	c 1023s |      21 |  1200183 |  1045745 |    27084     99 |        5 |      342
1025.28/1025.55	c 1025s |      21 |  1201978 |  1047345 |    27084    100 |        5 |      342
1027.38/1027.60	c 1027s |      21 |  1204679 |  1049745 |    27084    100 |        5 |      342
1029.38/1029.62	c 1029s |      21 |  1206600 |  1051445 |    27084    100 |        5 |      342
1031.48/1031.70	c 1031s |      21 |  1208981 |  1053545 |    27084    100 |        5 |      342
1033.47/1033.79	c 1033s |      21 |  1211538 |  1055745 |    27084    100 |        5 |      342
1035.57/1035.88	c 1035s |      21 |  1213792 |  1057745 |    27084    100 |        5 |      342
1037.67/1037.92	c 1037s |      21 |  1216132 |  1059745 |    27084    100 |        5 |      342
1039.67/1039.97	c 1039s |      21 |  1218159 |  1061545 |    27084    101 |        5 |      342
1041.97/1042.29	c 1042s |      21 |  1220755 |  1063845 |    27084    101 |        5 |      342
1044.07/1044.35	c 1044s |      21 |  1223262 |  1066045 |    27084    101 |        5 |      342
1046.07/1046.35	c 1046s |      21 |  1225488 |  1068045 |    27084    101 |        5 |      342
1048.17/1048.42	c 1048s |      21 |  1227581 |  1069945 |    27084    101 |        5 |      342
1050.17/1050.50	c 1050s |      21 |  1229539 |  1071645 |    27084    101 |        5 |      342
1052.27/1052.53	c 1052s |      21 |  1231472 |  1073345 |    27084    101 |        5 |      342
1054.27/1054.56	c 1054s |      21 |  1233039 |  1074745 |    27084    102 |        5 |      342
1059.96/1060.22	c 1060s |      21 |  1234304 |  1075845 |    27084    102 |        5 |      342
1061.96/1062.22	c 1062s |      21 |  1234417 |  1075945 |    27084    102 |        5 |      342
1063.96/1064.27	c 1064s |      21 |  1237132 |  1078345 |    27084    102 |        5 |      342
1066.06/1066.33	c 1066s |      21 |  1239885 |  1080745 |    27084    102 |        5 |      342
1068.05/1068.34	c 1068s |      21 |  1242157 |  1082745 |    27084    102 |        5 |      342
1070.16/1070.41	c 1070s |      21 |  1244824 |  1084945 |    27084    102 |        5 |      342
1072.15/1072.45	c 1072s |      21 |  1247082 |  1086945 |    27084    102 |        5 |      342
1074.25/1074.52	c 1074s |      21 |  1248660 |  1088345 |    27084    103 |        5 |      342
1076.25/1076.53	c 1076s |      21 |  1250911 |  1090345 |    27084    103 |        5 |      342
1078.25/1078.57	c 1078s |      21 |  1253130 |  1092345 |    27084    103 |        5 |      342
1080.26/1080.59	c 1080s |      21 |  1255396 |  1094345 |    27084    103 |        5 |      342
1082.36/1082.62	c 1082s |      21 |  1257469 |  1096145 |    27084    103 |        5 |      342
1084.37/1084.63	c 1084s |      21 |  1259351 |  1097845 |    27084    103 |        5 |      342
1086.46/1086.70	c 1086s |      21 |  1261090 |  1099445 |    27084    103 |        5 |      342
1088.46/1088.78	c 1088s |      21 |  1262654 |  1100845 |    27084    103 |        5 |      342
1090.46/1090.80	c 1090s |      21 |  1264088 |  1102145 |    27084    104 |        5 |      342
1092.56/1092.80	c 1092s |      21 |  1266062 |  1103945 |    27084    104 |        5 |      342
1094.55/1094.86	c 1094s |      21 |  1267379 |  1105045 |    27084    104 |        5 |      342
1096.65/1096.97	c 1096s |      21 |  1269897 |  1107245 |    27084    104 |        5 |      342
1098.76/1099.06	c 1098s |      21 |  1272232 |  1109245 |    27084    104 |        5 |      342
1100.85/1101.14	c 1100s |      21 |  1274313 |  1111045 |    27084    104 |        5 |      342
1102.95/1103.23	c 1103s |      21 |  1276240 |  1112745 |    27084    104 |        5 |      342
1105.05/1105.33	c 1105s |      21 |  1278270 |  1114445 |    27084    104 |        5 |      342
1107.15/1107.45	c 1107s |      21 |  1279959 |  1115945 |    27084    105 |        5 |      342
1109.14/1109.49	c 1109s |      21 |  1282234 |  1117945 |    27084    105 |        5 |      342
1111.24/1111.53	c 1111s |      21 |  1284816 |  1120245 |    27084    105 |        5 |      342
1113.24/1113.57	c 1113s |      21 |  1287062 |  1122245 |    27084    105 |        5 |      342
1115.34/1115.67	c 1115s |      21 |  1288853 |  1123845 |    27084    105 |        5 |      342
1117.45/1117.77	c 1117s |      21 |  1290783 |  1125545 |    27084    105 |        5 |      342
1119.55/1119.83	c 1119s |      21 |  1292886 |  1127345 |    27084    105 |        5 |      342
1121.64/1121.92	c 1121s |      21 |  1294676 |  1128945 |    27084    105 |        5 |      342
1123.64/1123.97	c 1123s |      21 |  1296098 |  1130245 |    27084    106 |        5 |      342
1125.74/1126.03	c 1125s |      21 |  1298409 |  1132345 |    27084    106 |        5 |      342
1127.83/1128.12	c 1127s |      21 |  1299987 |  1133745 |    27084    106 |        5 |      342
1129.83/1130.14	c 1129s |      21 |  1302156 |  1135745 |    27084    106 |        5 |      342
1131.83/1132.19	c 1131s |      21 |  1304153 |  1137545 |    27084    106 |        5 |      342
1133.94/1134.23	c 1134s |      21 |  1306001 |  1139245 |    27084    106 |        5 |      342
1135.93/1136.24	c 1136s |      21 |  1307741 |  1140845 |    27084    106 |        5 |      342
1138.03/1138.35	c 1138s |      21 |  1309390 |  1142345 |    27084    106 |        5 |      342
1140.03/1140.39	c 1140s |      21 |  1310788 |  1143645 |    27084    107 |        5 |      342
1142.13/1142.47	c 1142s |      21 |  1313237 |  1145845 |    27084    107 |        5 |      342
1144.23/1144.50	c 1144s |      21 |  1315529 |  1147845 |    27084    107 |        5 |      342
1146.33/1146.61	c 1146s |      21 |  1317171 |  1149345 |    27084    107 |        5 |      342
1148.33/1148.66	c 1148s |      21 |  1318896 |  1150945 |    27084    107 |        5 |      342
1150.33/1150.67	c 1150s |      21 |  1320517 |  1152445 |    27084    107 |        5 |      342
1152.42/1152.74	c 1152s |      21 |  1322181 |  1153945 |    27084    107 |        5 |      342
1154.42/1154.78	c 1154s |      21 |  1323828 |  1155445 |    27084    107 |        5 |      342
1156.52/1156.85	c 1156s |      21 |  1325160 |  1156645 |    27084    108 |        5 |      342
1158.52/1158.86	c 1158s |      21 |  1327011 |  1158345 |    27084    108 |        5 |      342
1160.62/1160.93	c 1160s |      21 |  1329254 |  1160445 |    27084    108 |        5 |      342
1162.72/1163.05	c 1162s |      21 |  1331180 |  1162245 |    27084    108 |        5 |      342
1164.82/1165.11	c 1164s |      21 |  1332976 |  1163945 |    27084    108 |        5 |      342
1166.83/1167.19	c 1166s |      21 |  1334711 |  1165545 |    27084    108 |        5 |      342
1169.03/1169.31	c 1169s |      21 |  1336584 |  1167245 |    27084    108 |        5 |      342
1171.02/1171.35	c 1171s |      21 |  1338436 |  1168945 |    27084    108 |        5 |      342
1173.22/1173.53	c 1173s |      21 |  1340024 |  1170345 |    27084    109 |        5 |      342
1175.32/1175.60	c 1175s |      21 |  1342371 |  1172445 |    27084    109 |        5 |      342
1177.32/1177.61	c 1177s |      21 |  1344360 |  1174245 |    27084    109 |        5 |      342
1179.42/1179.72	c 1179s |      21 |  1346239 |  1175945 |    27084    109 |        5 |      342
1181.42/1181.72	c 1181s |      21 |  1347937 |  1177545 |    27084    109 |        5 |      342
1183.42/1183.73	c 1183s |      21 |  1349449 |  1178945 |    27084    109 |        5 |      342
1185.41/1185.76	c 1185s |      21 |  1350839 |  1180245 |    27084    109 |        5 |      342
1187.51/1187.87	c 1187s |      21 |  1352231 |  1181545 |    27084    109 |        5 |      342
1189.62/1189.90	c 1189s |      21 |  1353288 |  1182545 |    27084    109 |        5 |      342
1192.02/1192.31	c 1192s |      21 |  1354943 |  1184045 |    27084    110 |        5 |      342
1194.02/1194.31	c 1194s |      21 |  1356766 |  1185745 |    27084    110 |        5 |      342
1196.02/1196.36	c 1196s |      21 |  1358581 |  1187445 |    27084    110 |        5 |      342
1198.01/1198.39	c 1198s |      21 |  1360557 |  1189245 |    27084    110 |        5 |      342
1200.11/1200.44	c 1200s |      21 |  1362422 |  1190945 |    27084    110 |        5 |      342
1202.12/1202.46	c 1202s |      21 |  1364207 |  1192545 |    27084    110 |        5 |      342
1204.22/1204.56	c 1204s |      21 |  1365848 |  1194045 |    27084    110 |        5 |      342
1206.21/1206.58	c 1206s |      21 |  1367526 |  1195545 |    27084    110 |        5 |      342
1208.41/1208.73	c 1208s |      21 |  1369313 |  1197145 |    27084    110 |        5 |      342
1210.41/1210.77	c 1210s |      21 |  1370686 |  1198345 |    27084    111 |        5 |      342
1212.51/1212.82	c 1212s |      21 |  1373273 |  1200645 |    27084    111 |        5 |      342
1214.61/1214.92	c 1214s |      21 |  1375606 |  1202745 |    27084    111 |        5 |      342
1218.61/1218.91	c 1218s |      21 |  1376187 |  1203245 |    27084    111 |        5 |      342
1220.61/1220.91	c 1220s |      21 |  1378061 |  1204745 |    27084    111 |        5 |      342
1222.60/1222.93	c 1222s |      21 |  1380745 |  1206945 |    27084    111 |        5 |      342
1224.60/1224.94	c 1224s |      21 |  1383298 |  1209145 |    27084    111 |        5 |      342
1226.70/1227.04	c 1226s |      21 |  1385738 |  1211145 |    27084    111 |        5 |      342
1228.80/1229.11	c 1228s |      21 |  1387851 |  1212845 |    27084    112 |        5 |      342
1230.80/1231.14	c 1230s |      21 |  1390858 |  1215445 |    27084    112 |        5 |      342
1232.81/1233.17	c 1232s |      21 |  1393689 |  1217945 |    27084    112 |        5 |      342
1234.90/1235.22	c 1235s |      21 |  1396111 |  1220145 |    27084    112 |        5 |      342
1236.90/1237.24	c 1237s |      21 |  1398588 |  1222245 |    27084    112 |        5 |      342
1239.00/1239.34	c 1239s |      21 |  1400936 |  1224245 |    27084    112 |        5 |      342
1241.00/1241.35	c 1241s |      21 |  1402499 |  1225545 |    27084    113 |        5 |      342
1243.00/1243.39	c 1243s |      21 |  1405602 |  1228045 |    27084    113 |        5 |      342
1245.10/1245.41	c 1245s |      21 |  1408268 |  1230345 |    27084    113 |        5 |      342
1247.10/1247.48	c 1247s |      21 |  1410960 |  1232645 |    27084    113 |        5 |      342
1249.09/1249.49	c 1249s |      21 |  1413658 |  1234945 |    27084    113 |        5 |      342
1251.19/1251.52	c 1251s |      21 |  1416146 |  1237145 |    27084    113 |        5 |      342
1253.39/1253.71	c 1253s |      21 |  1418132 |  1238845 |    27084    114 |        5 |      342
1255.39/1255.74	c 1255s |      21 |  1420891 |  1241245 |    27084    114 |        5 |      342
1257.39/1257.75	c 1257s |      21 |  1423472 |  1243545 |    27084    114 |        5 |      342
1259.50/1259.80	c 1259s |      21 |  1425897 |  1245745 |    27084    114 |        5 |      342
1261.50/1261.88	c 1261s |      21 |  1428500 |  1248045 |    27084    114 |        5 |      342
1263.60/1263.98	c 1263s |      21 |  1430741 |  1250045 |    27084    114 |        5 |      342
1265.69/1266.06	c 1265s |      21 |  1432669 |  1251845 |    27084    114 |        5 |      342
1271.89/1272.29	c 1272s |      21 |  1433707 |  1252745 |    27084    115 |        5 |      342
1273.99/1274.32	c 1274s |      21 |  1436794 |  1255245 |    27084    115 |        5 |      342
1275.99/1276.35	c 1276s |      21 |  1439541 |  1257645 |    27084    115 |        5 |      342
1278.08/1278.42	c 1278s |      21 |  1442365 |  1260145 |    27084    115 |        5 |      342
1280.09/1280.45	c 1280s |      21 |  1444996 |  1262445 |    27084    115 |        5 |      342
1282.18/1282.52	c 1282s |      21 |  1447362 |  1264545 |    27084    115 |        5 |      342
1284.28/1284.60	c 1284s |      21 |  1449488 |  1266345 |    27084    116 |        5 |      342
1286.28/1286.61	c 1286s |      21 |  1452188 |  1268745 |    27084    116 |        5 |      342
1288.28/1288.62	c 1288s |      21 |  1454729 |  1271045 |    27084    116 |        5 |      342
1290.28/1290.68	c 1290s |      21 |  1456951 |  1273045 |    27084    116 |        5 |      342
1292.38/1292.75	c 1292s |      21 |  1459401 |  1275145 |    27084    116 |        5 |      342
1294.48/1294.81	c 1294s |      21 |  1461560 |  1277045 |    27084    116 |        5 |      342
1296.47/1296.87	c 1296s |      21 |  1463264 |  1278545 |    27084    116 |        5 |      342
1298.79/1299.11	c 1298s |      21 |  1464905 |  1279945 |    27084    117 |        5 |      342
1300.78/1301.16	c 1300s |      21 |  1467192 |  1281945 |    27084    117 |        5 |      342
1302.78/1303.18	c 1302s |      21 |  1469893 |  1284245 |    27084    117 |        5 |      342
1304.88/1305.25	c 1305s |      21 |  1472604 |  1286645 |    27084    117 |        5 |      342
1306.88/1307.27	c 1307s |      21 |  1475055 |  1288745 |    27084    117 |        5 |      342
1308.98/1309.35	c 1309s |      21 |  1477418 |  1290845 |    27084    117 |        5 |      342
1310.98/1311.36	c 1311s |      21 |  1479392 |  1292545 |    27084    117 |        5 |      342
1313.08/1313.42	c 1313s |      21 |  1481467 |  1294345 |    27084    118 |        5 |      342
1315.08/1315.46	c 1315s |      21 |  1483993 |  1296645 |    27084    118 |        5 |      342
1317.17/1317.51	c 1317s |      21 |  1486554 |  1298945 |    27084    118 |        5 |      342
1319.27/1319.60	c 1319s |      21 |  1488939 |  1301145 |    27084    118 |        5 |      342
1321.27/1321.66	c 1321s |      21 |  1491122 |  1303145 |    27084    118 |        5 |      342
1323.37/1323.70	c 1323s |      21 |  1492952 |  1304845 |    27084    118 |        5 |      342
1325.47/1325.81	c 1325s |      21 |  1494830 |  1306545 |    27084    118 |        5 |      342
1327.48/1327.89	c 1327s |      21 |  1496794 |  1308345 |    27084    119 |        5 |      342
1334.47/1334.87	c 1334s |      21 |  1497467 |  1308945 |    27084    119 |        5 |      342
1336.56/1336.90	c 1336s |      21 |  1500735 |  1311745 |    27084    119 |        5 |      342
1338.56/1338.95	c 1338s |      21 |  1503743 |  1314245 |    27084    119 |        5 |      342
1340.67/1341.05	c 1340s |      21 |  1506291 |  1316445 |    27084    119 |        5 |      342
1342.77/1343.11	c 1342s |      21 |  1508244 |  1318145 |    27084    119 |        5 |      342
1344.76/1345.15	c 1344s |      21 |  1510342 |  1320045 |    27084    119 |        5 |      342
1347.17/1347.54	c 1347s |      21 |  1512394 |  1321845 |    27084    120 |        5 |      342
1349.16/1349.57	c 1349s |      21 |  1515118 |  1324245 |    27084    120 |        5 |      342
1351.26/1351.61	c 1351s |      21 |  1517690 |  1326545 |    27084    120 |        5 |      342
1353.26/1353.65	c 1353s |      21 |  1519929 |  1328545 |    27084    120 |        5 |      342
1355.36/1355.72	c 1355s |      21 |  1522108 |  1330445 |    27084    120 |        5 |      342
1357.36/1357.78	c 1357s |      21 |  1524297 |  1332345 |    27084    120 |        5 |      342
1359.46/1359.88	c 1359s |      21 |  1526299 |  1334145 |    27084    120 |        5 |      342
1361.47/1361.88	c 1361s |      21 |  1527619 |  1335345 |    27084    121 |        5 |      342
1363.56/1363.91	c 1363s |      21 |  1530421 |  1337845 |    27084    121 |        5 |      342
1365.56/1365.95	c 1365s |      21 |  1532765 |  1339945 |    27084    121 |        5 |      342
1367.66/1368.04	c 1367s |      21 |  1535094 |  1342045 |    27084    121 |        5 |      342
1369.76/1370.15	c 1369s |      21 |  1536881 |  1343645 |    27084    121 |        5 |      342
1371.76/1372.18	c 1371s |      21 |  1538799 |  1345345 |    27084    121 |        5 |      342
1373.86/1374.27	c 1374s |      21 |  1540764 |  1347145 |    27084    121 |        5 |      342
1375.96/1376.37	c 1376s |      21 |  1542408 |  1348645 |    27084    122 |        5 |      342
1377.96/1378.38	c 1378s |      21 |  1544711 |  1350745 |    27084    122 |        5 |      342
1380.06/1380.47	c 1380s |      21 |  1546901 |  1352745 |    27084    122 |        5 |      342
1382.16/1382.56	c 1382s |      21 |  1548762 |  1354445 |    27084    122 |        5 |      342
1384.16/1384.58	c 1384s |      21 |  1550765 |  1356245 |    27084    122 |        5 |      342
1386.26/1386.68	c 1386s |      21 |  1552871 |  1358145 |    27084    122 |        5 |      342
1388.35/1388.77	c 1388s |      21 |  1554761 |  1359845 |    27084    122 |        5 |      342
1390.55/1390.92	c 1390s |      21 |  1555025 |  1360045 |    27084    122 |        5 |      342
1393.05/1393.41	c 1393s |      21 |  1557572 |  1362145 |    27084    123 |        5 |      342
1395.05/1395.47	c 1395s |      21 |  1560198 |  1364445 |    27084    123 |        5 |      342
1397.15/1397.54	c 1397s |      21 |  1563167 |  1367045 |    27084    123 |        5 |      342
1399.46/1399.85	c 1399s |      21 |  1565776 |  1369345 |    27084    123 |        5 |      342
1401.46/1401.88	c 1401s |      21 |  1568478 |  1371745 |    27084    123 |        5 |      342
1403.45/1403.89	c 1403s |      21 |  1571030 |  1373945 |    27084    123 |        5 |      342
1405.56/1405.90	c 1405s |      21 |  1573388 |  1375945 |    27084    124 |        5 |      342
1407.55/1407.97	c 1407s |      21 |  1575893 |  1378145 |    27084    124 |        5 |      342
1409.65/1410.06	c 1409s |      21 |  1578483 |  1380445 |    27084    124 |        5 |      342
1411.75/1412.12	c 1411s |      21 |  1580714 |  1382445 |    27084    124 |        5 |      342
1413.85/1414.23	c 1414s |      21 |  1583114 |  1384545 |    27084    124 |        5 |      342
1415.85/1416.25	c 1416s |      21 |  1585336 |  1386445 |    27084    124 |        5 |      342
1417.85/1418.29	c 1418s |      21 |  1587671 |  1388445 |    27084    124 |        5 |      342
1419.86/1420.30	c 1420s |      21 |  1589584 |  1390045 |    27084    125 |        5 |      342
1421.96/1422.37	c 1422s |      21 |  1592272 |  1392345 |    27084    125 |        5 |      342
1424.05/1424.41	c 1424s |      21 |  1594863 |  1394645 |    27084    125 |        5 |      342
1426.15/1426.50	c 1426s |      21 |  1596432 |  1396045 |    27084    125 |        5 |      342
1428.15/1428.57	c 1428s |      21 |  1598694 |  1398045 |    27084    125 |        5 |      342
1430.25/1430.61	c 1430s |      21 |  1600873 |  1399945 |    27084    125 |        5 |      342
1432.25/1432.62	c 1432s |      21 |  1603505 |  1402145 |    27084    125 |        5 |      342
1434.25/1434.68	c 1434s |      21 |  1605585 |  1403945 |    27084    126 |        5 |      342
1436.35/1436.73	c 1436s |      21 |  1608857 |  1406645 |    27084    126 |        5 |      342
1438.34/1438.73	c 1438s |      21 |  1611400 |  1408945 |    27084    126 |        5 |      342
1440.34/1440.78	c 1440s |      21 |  1613991 |  1411245 |    27084    126 |        5 |      342
1442.44/1442.85	c 1442s |      21 |  1616344 |  1413345 |    27084    126 |        5 |      342
1444.54/1444.90	c 1444s |      21 |  1618612 |  1415345 |    27084    126 |        5 |      342
1446.54/1446.94	c 1446s |      21 |  1620183 |  1416745 |    27084    126 |        5 |      342
1448.54/1448.97	c 1448s |      21 |  1621797 |  1418145 |    27084    127 |        5 |      342
1450.55/1450.98	c 1450s |      21 |  1624652 |  1420545 |    27084    127 |        5 |      342
1452.64/1453.09	c 1452s |      21 |  1627003 |  1422645 |    27084    127 |        5 |      342
1454.74/1455.14	c 1454s |      21 |  1629344 |  1424645 |    27084    127 |        5 |      342
1456.74/1457.15	c 1456s |      21 |  1631768 |  1426745 |    27084    127 |        5 |      342
1458.84/1459.25	c 1459s |      21 |  1633784 |  1428545 |    27084    127 |        5 |      342
1460.84/1461.29	c 1461s |      21 |  1635732 |  1430245 |    27084    127 |        5 |      342
1462.94/1463.34	c 1463s |      21 |  1637811 |  1432145 |    27084    128 |        5 |      342
1465.04/1465.45	c 1465s |      21 |  1640195 |  1434345 |    27084    128 |        5 |      342
1467.15/1467.50	c 1467s |      21 |  1642626 |  1436445 |    27084    128 |        5 |      342
1469.14/1469.57	c 1469s |      21 |  1644772 |  1438445 |    27084    128 |        5 |      342
1471.24/1471.63	c 1471s |      21 |  1646707 |  1440245 |    27084    128 |        5 |      342
1473.84/1474.23	c 1474s |      21 |  1647373 |  1440845 |    27084    128 |        5 |      342
1475.84/1476.26	c 1476s |      21 |  1649389 |  1442545 |    27084    128 |        5 |      342
1478.33/1478.73	c 1478s |      21 |  1651448 |  1444345 |    27084    129 |        5 |      342
1480.34/1480.74	c 1480s |      21 |  1654002 |  1446545 |    27084    129 |        5 |      342
1482.33/1482.79	c 1482s |      21 |  1657030 |  1449245 |    27084    129 |        5 |      342
1484.43/1484.80	c 1484s |      21 |  1659381 |  1451345 |    27084    129 |        5 |      342
1486.43/1486.85	c 1486s |      21 |  1661498 |  1453245 |    27084    129 |        5 |      342
1488.43/1488.87	c 1488s |      21 |  1663756 |  1455245 |    27084    129 |        5 |      342
1490.53/1490.99	c 1490s |      21 |  1666030 |  1457245 |    27084    129 |        5 |      342
1492.63/1493.03	c 1492s |      21 |  1667798 |  1458845 |    27084    130 |        5 |      342
1494.64/1495.07	c 1494s |      21 |  1670163 |  1460945 |    27084    130 |        5 |      342
1496.74/1497.11	c 1496s |      21 |  1672482 |  1463045 |    27084    130 |        5 |      342
1498.73/1499.19	c 1498s |      21 |  1674434 |  1464845 |    27084    130 |        5 |      342
1500.73/1501.20	c 1500s |      21 |  1676312 |  1466545 |    27084    130 |        5 |      342
1502.83/1503.24	c 1503s |      21 |  1678191 |  1468245 |    27084    130 |        5 |      342
1504.93/1505.36	c 1505s |      21 |  1679927 |  1469845 |    27084    130 |        5 |      342
1506.93/1507.37	c 1507s |      21 |  1681529 |  1471345 |    27084    130 |        5 |      342
1509.03/1509.46	c 1509s |      21 |  1683641 |  1473245 |    27084    131 |        5 |      342
1512.24/1512.68	c 1512s |      21 |  1685888 |  1475245 |    27084    131 |        5 |      342
1514.34/1514.73	c 1514s |      21 |  1688427 |  1477445 |    27084    131 |        5 |      342
1516.33/1516.79	c 1516s |      21 |  1690778 |  1479545 |    27084    131 |        5 |      342
1518.43/1518.80	c 1518s |      21 |  1692630 |  1481245 |    27084    131 |        5 |      342
1520.43/1520.84	c 1520s |      21 |  1694890 |  1483245 |    27084    131 |        5 |      342
1522.43/1522.89	c 1522s |      21 |  1696930 |  1485145 |    27084    131 |        5 |      342
1524.53/1524.90	c 1524s |      21 |  1699134 |  1487145 |    27084    132 |        5 |      342
1526.54/1526.95	c 1526s |      21 |  1701480 |  1489245 |    27084    132 |        5 |      342
1528.63/1529.03	c 1528s |      21 |  1703395 |  1491045 |    29793    132 |        5 |      342
1530.63/1531.06	c 1530s |      21 |  1705248 |  1492745 |    29793    132 |        5 |      342
1532.63/1533.09	c 1532s |      21 |  1707377 |  1494645 |    29793    132 |        5 |      342
1534.73/1535.13	c 1534s |      21 |  1709131 |  1496245 |    29793    132 |        5 |      342
1536.73/1537.14	c 1536s |      21 |  1710725 |  1497645 |    29793    132 |        5 |      342
1538.83/1539.24	c 1539s |      21 |  1712585 |  1499245 |    29793    132 |        5 |      342
1540.73/1541.20	c 1540s |      22 |  1714138 |  1500622 |    29793    132 |        5 |      342
1542.82/1543.26	c 1543s |      22 |  1715521 |  1501822 |    29793    133 |        5 |      342
1544.82/1545.28	c 1545s |      22 |  1717382 |  1503522 |    29793    133 |        5 |      342
1551.12/1551.54	c 1551s |      22 |  1718204 |  1504222 |    29793    133 |        5 |      342
1553.13/1553.54	c 1553s |      22 |  1718322 |  1504322 |    29793    133 |        5 |      342
1555.13/1555.56	c 1555s |      22 |  1721236 |  1506822 |    29793    133 |        5 |      342
1557.23/1557.65	c 1557s |      22 |  1723982 |  1509222 |    29793    133 |        5 |      342
1559.33/1559.71	c 1559s |      22 |  1726350 |  1511322 |    29793    133 |        5 |      342
1561.33/1561.77	c 1561s |      22 |  1728462 |  1513222 |    29793    133 |        5 |      342
1563.33/1563.79	c 1563s |      22 |  1730583 |  1515022 |    29793    133 |        5 |      342
1565.43/1565.89	c 1565s |      22 |  1732543 |  1516722 |    29793    133 |        5 |      342
1567.52/1567.92	c 1567s |      22 |  1734289 |  1518222 |    29793    134 |        5 |      342
1569.52/1569.97	c 1569s |      22 |  1736726 |  1520422 |    29793    134 |        5 |      342
1571.63/1572.03	c 1571s |      22 |  1738948 |  1522422 |    29793    134 |        5 |      342
1573.73/1574.12	c 1573s |      22 |  1740876 |  1524222 |    29793    134 |        5 |      342
1575.82/1576.23	c 1576s |      22 |  1742735 |  1525922 |    29793    134 |        5 |      342
1577.92/1578.31	c 1578s |      22 |  1744485 |  1527522 |    29793    134 |        5 |      342
1580.02/1580.40	c 1580s |      22 |  1746488 |  1529322 |    29793    134 |        5 |      342
1582.02/1582.44	c 1582s |      22 |  1748315 |  1530922 |    29793    134 |        5 |      342
1584.12/1584.51	c 1584s |      22 |  1749778 |  1532222 |    29793    135 |        5 |      342
1586.12/1586.55	c 1586s |      22 |  1752231 |  1534422 |    29793    135 |        5 |      342
1588.22/1588.66	c 1588s |      22 |  1754355 |  1536322 |    29793    135 |        5 |      342
1590.33/1590.74	c 1590s |      22 |  1756290 |  1538122 |    29793    135 |        5 |      342
1592.32/1592.76	c 1592s |      22 |  1758159 |  1539822 |    29793    135 |        5 |      342
1594.42/1594.87	c 1594s |      22 |  1759909 |  1541422 |    29793    135 |        5 |      342
1596.52/1596.93	c 1596s |      22 |  1761565 |  1542922 |    29793    135 |        5 |      342
1598.62/1599.03	c 1598s |      22 |  1763352 |  1544522 |    29793    135 |        5 |      342
1600.62/1601.07	c 1600s |      22 |  1765280 |  1546222 |    29793    135 |        5 |      342
1602.72/1603.11	c 1602s |      22 |  1766905 |  1547722 |    29793    136 |        5 |      342
1606.52/1606.93	c 1606s |      22 |  1767851 |  1548522 |    29793    136 |        5 |      342
1608.62/1609.01	c 1608s |      22 |  1770714 |  1550922 |    29793    136 |        5 |      342
1610.62/1611.08	c 1610s |      22 |  1773121 |  1553022 |    29793    136 |        5 |      342
1612.72/1613.18	c 1612s |      22 |  1775229 |  1554922 |    29793    136 |        5 |      342
1614.82/1615.24	c 1615s |      22 |  1777111 |  1556622 |    29793    136 |        5 |      342
1616.82/1617.28	c 1617s |      22 |  1779043 |  1558322 |    29793    136 |        5 |      342
1618.82/1619.30	c 1619s |      22 |  1780900 |  1559922 |    29793    136 |        5 |      342
1621.02/1621.42	c 1621s |      22 |  1782687 |  1561522 |    29793    136 |        5 |      342
1623.02/1623.46	c 1623s |      22 |  1784449 |  1563122 |    29793    137 |        5 |      342
1625.12/1625.53	c 1625s |      22 |  1786631 |  1565122 |    29793    137 |        5 |      342
1627.12/1627.55	c 1627s |      22 |  1788684 |  1567022 |    29793    137 |        5 |      342
1629.22/1629.62	c 1629s |      22 |  1790727 |  1568922 |    29793    137 |        5 |      342
1631.21/1631.68	c 1631s |      22 |  1792145 |  1570122 |    29793    137 |        5 |      342
1633.31/1633.72	c 1633s |      22 |  1794471 |  1572022 |    29793    137 |        5 |      342
1635.42/1635.84	c 1635s |      22 |  1796746 |  1573922 |    29793    137 |        5 |      342
1637.52/1637.93	c 1637s |      22 |  1798911 |  1575722 |    29793    137 |        5 |      342
1639.72/1640.15	c 1639s |      22 |  1800719 |  1577222 |    29793    138 |        5 |      342
1641.71/1642.17	c 1641s |      22 |  1803265 |  1579422 |    29793    138 |        5 |      342
1643.71/1644.18	c 1643s |      22 |  1806131 |  1581922 |    29793    138 |        5 |      342
1645.81/1646.24	c 1646s |      22 |  1808711 |  1584222 |    29793    138 |        5 |      342
1648.41/1648.90	c 1648s |      22 |  1810694 |  1586022 |    29793    138 |        5 |      342
1650.51/1650.90	c 1650s |      22 |  1812919 |  1587922 |    29793    138 |        5 |      342
1652.51/1652.93	c 1652s |      22 |  1815172 |  1589922 |    29793    138 |        5 |      342
1654.51/1654.98	c 1654s |      22 |  1817301 |  1591822 |    29793    138 |        5 |      342
1656.51/1656.99	c 1656s |      22 |  1819232 |  1593422 |    29793    139 |        5 |      342
1658.61/1659.00	c 1658s |      22 |  1821742 |  1595622 |    29793    139 |        5 |      342
1660.61/1661.07	c 1660s |      22 |  1824254 |  1597822 |    29793    139 |        5 |      342
1662.61/1663.07	c 1662s |      22 |  1826603 |  1599922 |    29793    139 |        5 |      342
1664.71/1665.13	c 1664s |      22 |  1828820 |  1601922 |    29793    139 |        5 |      342
1666.71/1667.18	c 1666s |      22 |  1830855 |  1603722 |    29793    139 |        5 |      342
1668.81/1669.24	c 1669s |      22 |  1832792 |  1605422 |    29793    139 |        5 |      342
1670.81/1671.28	c 1671s |      22 |  1834773 |  1607122 |    29793    139 |        5 |      342
1672.90/1673.30	c 1673s |      22 |  1836690 |  1608822 |    29793    140 |        5 |      342
1676.81/1677.27	c 1677s |      22 |  1837805 |  1609822 |    29793    140 |        5 |      342
1678.91/1679.32	c 1679s |      22 |  1840290 |  1611922 |    29793    140 |        5 |      342
1680.91/1681.35	c 1681s |      22 |  1842952 |  1614222 |    29793    140 |        5 |      342
1683.01/1683.43	c 1683s |      22 |  1845252 |  1616222 |    29793    140 |        5 |      342
1685.01/1685.46	c 1685s |      22 |  1847437 |  1618122 |    29793    140 |        5 |      342
1687.01/1687.48	c 1687s |      22 |  1849582 |  1620022 |    29793    140 |        5 |      342
1689.31/1689.71	c 1689s |      22 |  1851673 |  1621822 |    29793    140 |        5 |      342
1691.30/1691.74	c 1691s |      22 |  1853712 |  1623522 |    29793    141 |        5 |      342
1693.40/1693.80	c 1693s |      22 |  1856364 |  1625822 |    29793    141 |        5 |      342
1695.40/1695.81	c 1695s |      22 |  1858695 |  1627922 |    29793    141 |        5 |      342
1697.40/1697.88	c 1697s |      22 |  1861078 |  1630022 |    29793    141 |        5 |      342
1699.50/1699.96	c 1699s |      22 |  1863222 |  1631922 |    29793    141 |        5 |      342
1701.60/1702.00	c 1701s |      22 |  1865155 |  1633622 |    29793    141 |        5 |      342
1703.61/1704.06	c 1703s |      22 |  1867031 |  1635322 |    29793    141 |        5 |      342
1705.60/1706.07	c 1705s |      22 |  1868762 |  1636922 |    29793    141 |        5 |      342
1709.11/1709.51	c 1709s |      22 |  1869219 |  1637322 |    29793    142 |        5 |      342
1711.21/1711.61	c 1711s |      22 |  1871796 |  1639622 |    29793    142 |        5 |      342
1713.20/1713.62	c 1713s |      22 |  1874074 |  1641622 |    29793    142 |        5 |      342
1715.20/1715.69	c 1715s |      22 |  1876421 |  1643722 |    29793    142 |        5 |      342
1717.30/1717.71	c 1717s |      22 |  1878645 |  1645722 |    29793    142 |        5 |      342
1719.30/1719.74	c 1719s |      22 |  1881378 |  1647622 |    29793    142 |        5 |      342
1721.30/1721.79	c 1721s |      22 |  1882898 |  1649022 |    29793    142 |        5 |      342
1723.40/1723.81	c 1723s |      22 |  1884659 |  1650622 |    29793    142 |        5 |      342
1725.40/1725.82	c 1725s |      22 |  1886307 |  1652122 |    29793    142 |        5 |      342
1727.40/1727.85	c 1727s |      22 |  1887805 |  1653522 |    29793    143 |        5 |      342
1729.50/1729.96	c 1729s |      22 |  1890008 |  1655522 |    29793    143 |        5 |      342
1731.59/1732.05	c 1731s |      22 |  1891954 |  1657322 |    29793    143 |        5 |      342
1733.69/1734.14	c 1733s |      22 |  1893576 |  1658822 |    29793    143 |        5 |      342
1735.79/1736.24	c 1736s |      22 |  1895424 |  1660522 |    29793    143 |        5 |      342
1737.79/1738.28	c 1738s |      22 |  1897144 |  1662122 |    29793    143 |        5 |      342
1739.80/1740.29	c 1740s |      22 |  1899050 |  1663822 |    29793    143 |        5 |      342
1741.89/1742.39	c 1742s |      22 |  1900953 |  1665422 |    29793    143 |        5 |      342
1743.99/1744.42	c 1744s |      22 |  1902722 |  1666922 |    29793    143 |        5 |      342
1745.99/1746.49	c 1746s |      22 |  1903510 |  1667622 |    29793    144 |        5 |      342
1748.09/1748.52	c 1748s |      22 |  1906188 |  1669922 |    29793    144 |        5 |      342
1750.09/1750.59	c 1750s |      22 |  1908932 |  1672322 |    29793    144 |        5 |      342
1752.09/1752.59	c 1752s |      22 |  1911149 |  1674322 |    29793    144 |        5 |      342
1754.20/1754.67	c 1754s |      22 |  1913201 |  1676222 |    29793    144 |        5 |      342
1756.30/1756.73	c 1756s |      22 |  1915255 |  1678022 |    29793    144 |        5 |      342
1758.39/1758.86	c 1758s |      22 |  1917410 |  1679922 |    29793    144 |        5 |      342
1760.50/1760.94	c 1760s |      22 |  1919370 |  1681622 |    29793    144 |        5 |      342
1762.50/1762.95	c 1762s |      22 |  1921084 |  1683122 |    29793    145 |        5 |      342
1764.70/1765.11	c 1764s |      22 |  1923780 |  1685522 |    29793    145 |        5 |      342
1768.40/1768.89	c 1768s |      22 |  1925984 |  1687422 |    29793    145 |        5 |      342
1770.49/1770.99	c 1770s |      22 |  1926229 |  1687622 |    29793    145 |        5 |      342
1772.59/1773.06	c 1772s |      22 |  1928012 |  1689122 |    29793    145 |        5 |      342
1774.69/1775.13	c 1774s |      22 |  1930934 |  1691622 |    29793    145 |        5 |      342
1776.69/1777.17	c 1776s |      22 |  1933209 |  1693622 |    29793    145 |        5 |      342
1778.79/1779.21	c 1778s |      22 |  1935389 |  1695522 |    29793    145 |        5 |      342
1780.79/1781.25	c 1781s |      22 |  1937558 |  1697422 |    29793    145 |        5 |      342
1782.89/1783.33	c 1783s |      22 |  1939661 |  1699322 |    29793    146 |        5 |      342
1785.19/1785.62	c 1785s |      22 |  1942115 |  1701522 |    29793    146 |        5 |      342
1787.20/1787.63	c 1787s |      22 |  1944344 |  1703522 |    29793    146 |        5 |      342
1789.19/1789.70	c 1789s |      22 |  1946396 |  1705422 |    29793    146 |        5 |      342
1791.29/1791.76	c 1791s |      22 |  1948492 |  1707322 |    29793    146 |        5 |      342
1793.29/1793.77	c 1793s |      22 |  1950326 |  1709022 |    29793    146 |        5 |      342
1795.39/1795.83	c 1795s |      22 |  1952172 |  1710722 |    29793    146 |        5 |      342
1797.79/1798.21	c 1797s |      22 |  1954196 |  1712522 |    29793    147 |        5 |      342
1799.79/1800.26	c 1800s |      22 |  1956784 |  1714822 |    29793    147 |        5 |      342

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

pid=2183
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.00 2.00 2.00 3/179 2186
/proc/meminfo: memFree=30758992/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 2736 0 0 0 0 0 0 0 20 0 4 0 13747188 751235072 3098 33554432000 4194304 16246674 140736764811456 140736764810880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 184175 3111 441 2943 0 181069 0
[pid=2186/tid=2187] ppid=2183 vsize=783804 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 802615296 3296 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 807858176 3314 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=793020 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13747188 812052480 3332 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2186
/proc/meminfo: memFree=30758992/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 28352 0 0 0 6 3 0 0 20 0 4 0 13747188 1249447936 28652 33554432000 4194304 16246674 140736764811456 140736764810768 7202813 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 305041 28663 835 2943 0 301935 0
[pid=2186/tid=2187] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 28669 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 28676 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 28683 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20052 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2186
/proc/meminfo: memFree=30758992/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 47213 0 0 0 13 6 0 0 20 0 4 0 13747188 1249447936 47512 33554432000 4194304 16246674 140736764811456 140736764810768 12459121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 305041 47521 837 2943 0 301935 0
[pid=2186/tid=2187] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 47526 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 47533 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 47537 33554432000 4194304 16246674 140736764811456 140539269729456 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) 1220164

[startup+0.300482 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2186
/proc/meminfo: memFree=30758992/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 67718 0 0 0 20 9 0 0 20 0 4 0 13747188 1249447936 68018 33554432000 4194304 16246674 140736764811456 140736764810768 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 305041 68029 878 2943 0 301935 0
[pid=2186/tid=2187] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 68037 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 68044 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 68050 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2186
/proc/meminfo: memFree=30758992/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 150752 0 0 0 49 20 0 0 20 0 4 0 13747188 1249447936 151051 33554432000 4194304 16246674 140736764811456 140736764810768 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 305041 151061 878 2943 0 301935 0
[pid=2186/tid=2187] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 151068 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 151073 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13747188 1249447936 151078 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2190
/proc/meminfo: memFree=29832492/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1299012 CPUtime=1.48 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 265925 0 0 0 112 36 0 0 20 0 4 0 13747188 1330188288 266224 33554432000 4194304 16246674 140736764811456 140736764810768 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 324753 266224 881 2943 0 321647 0
[pid=2186/tid=2187] ppid=2183 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1330188288 266224 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1330188288 266224 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1330188288 266224 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1299012

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2190
/proc/meminfo: memFree=29694596/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 267824 0 0 0 272 37 0 0 20 0 4 0 13747188 1338576896 268123 33554432000 4194304 16246674 140736764811456 140736764793344 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 326801 268123 881 2943 0 323695 0
[pid=2186/tid=2187] ppid=2183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1338576896 268123 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1338576896 268123 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1338576896 268123 33554432000 4194304 16246674 140736764811456 140539269729456 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.00 2.00 2.00 3/183 2190
/proc/meminfo: memFree=29677148/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1316420 CPUtime=6.29 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 270290 0 0 0 592 37 0 0 20 0 4 0 13747188 1348014080 270589 33554432000 4194304 16246674 140736764811456 140736764793344 5822818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 329105 270589 887 2943 0 325999 0
[pid=2186/tid=2187] ppid=2183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1348014080 270589 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1348014080 270589 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1348014080 270589 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2190
/proc/meminfo: memFree=29677604/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 270291 0 0 0 1232 37 0 0 20 0 4 0 13747188 1348014080 270590 33554432000 4194304 16246674 140736764811456 140736764793344 5673792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 329105 270590 888 2943 0 325999 0
[pid=2186/tid=2187] ppid=2183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1348014080 270590 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1348014080 270590 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1348014080 270590 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2190
/proc/meminfo: memFree=29675160/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1319492 CPUtime=25.48 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 271059 0 0 0 2511 37 0 0 20 0 4 0 13747188 1351159808 271358 33554432000 4194304 16246674 140736764811456 140736764793344 5822687 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 329873 271358 888 2943 0 326767 0
[pid=2186/tid=2187] ppid=2183 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1351159808 271358 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1351159808 271358 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1351159808 271358 33554432000 4194304 16246674 140736764811456 140539269729456 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) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2190
/proc/meminfo: memFree=29665208/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1322564 CPUtime=51.08 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 271827 0 0 0 5070 38 0 0 20 0 4 0 13747188 1354305536 272126 33554432000 4194304 16246674 140736764811456 140736764794456 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 330641 272126 888 2943 0 327535 0
[pid=2186/tid=2187] ppid=2183 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1354305536 272126 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1354305536 272126 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1354305536 272126 33554432000 4194304 16246674 140736764811456 140539269729456 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) 1322564

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2191
/proc/meminfo: memFree=29639600/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1348164 CPUtime=102.28 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 278227 0 0 0 10189 39 0 0 20 0 4 0 13747188 1380519936 278526 33554432000 4194304 16246674 140736764811456 140736764794456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 337041 278526 888 2943 0 333935 0
[pid=2186/tid=2187] ppid=2183 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1380519936 278526 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1380519936 278526 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1380519936 278526 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1348164


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

/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1415122944 286978 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1381956

[startup+1362.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/183 2246
/proc/meminfo: memFree=29573612/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1361.96 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287701 0 0 0 136141 55 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 5673717 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1385028

[startup+1422.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 2247
/proc/meminfo: memFree=29573268/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1421.96 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287707 0 0 0 142140 56 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764794456 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1385028

[startup+1482.3 s]
/proc/loadavg: 1.97 2.03 2.00 3/183 2493
/proc/meminfo: memFree=29609772/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1481.93 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 148137 56 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1385028

[startup+1542.31 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 2494
/proc/meminfo: memFree=29591388/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1541.93 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 154136 57 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 5661607 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1385028

[startup+1602.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/184 2498
/proc/meminfo: memFree=29591732/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1601.92 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 160133 59 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 13962591 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1385028

[startup+1662.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/183 2499
/proc/meminfo: memFree=29591520/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1661.91 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 166131 60 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1385028

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 2500
/proc/meminfo: memFree=29575924/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1721.9 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 172129 61 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1385028

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 2502
/proc/meminfo: memFree=29575580/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1781.89 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 178127 62 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764793344 5523722 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1385028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 2503
/proc/meminfo: memFree=29575056/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1800.09 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 179946 63 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764794456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1385028

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

[startup+1800.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 2503
/proc/meminfo: memFree=29575056/32872528 swapFree=7268/7268
[pid=2186] ppid=2183 vsize=1385028 CPUtime=1800.09 cores=0,2,4,6
/proc/2186/stat : 2186 (toysat) R 2183 2186 29295 0 -1 4202496 287713 0 0 0 179946 63 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140736764794456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2186/statm: 346257 287747 889 2943 0 343151 0
[pid=2186/tid=2187] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2187/stat : 2187 (toysat) S 2183 2186 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539290692848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2186/tid=2188] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2188/stat : 2188 (toysat) S 2183 2186 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539280202992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2186/tid=2189] ppid=2183 vsize=1385028 CPUtime=0 cores=0,2,4,6
/proc/2186/task/2189/stat : 2189 (toysat) S 2183 2186 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13747188 1418268672 287747 33554432000 4194304 16246674 140736764811456 140539269729456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1385028

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.630904
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 1385028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.630904
maximum resident set size= 1150988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287713
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= 284
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40033 second user time and 7.13091 second system time

The end

Begin job on node151 at 2016-06-17 00:43:44
IDJOB=4097317
IDBENCH=107740
IDSOLVER=2542
FILE ID=node151/4097317-1466117024
RUNJOBID= node151-1466112624-31871
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 7a8904d7ae3d6e9d521cf00d78d1bb9b
RANDOM SEED=272485290

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30759264 kB
Buffers:           67660 kB
Cached:           164872 kB
SwapCached:        61592 kB
Active:          1225716 kB
Inactive:         175096 kB
Active(anon):    1109728 kB
Inactive(anon):    61036 kB
Active(file):     115988 kB
Inactive(file):   114060 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16864 kB
Writeback:            44 kB
AnonPages:       1117012 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             572520 kB
SReclaimable:      15980 kB
SUnreclaim:       556540 kB
KernelStack:        1488 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1256792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71716 MiB
End job on node151 at 2016-06-17 01:13:44