0.00/0.00	c 2016-06-19T00:58:06+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-4107971-1466290686.opb"]
0.00/0.01	c use --random-gen="1930254726 2904592661 1010104870 3828998387 319461073 1885389112 227567411 3822006210 2627611182 1765109070 4145074422 684922821 861667173 2201510804 801438627 1093515127 3006390877 2077254372 540669572 3426555855 425878471 2517294711 243326235 3143531232 1558640119 4061053682 2352628227 238294360 343440856 1580812645 1234150485 3600039027 855657835 3146960007 1305245964 2831454842 2966453943 3577850821 1047776140 2418843154 1245934138 3573052986 2090840804 4075708296 2923042207 833002372 2292521409 1377575725 4193789993 1247085163 493245708 313962341 3294916567 1448764811 2454544683 234233311 2994946831 598839302 762200367 2922557422 4152064324 2846448695 2624068936 2102692817 3374732571 845285158 15379347 2013917740 3464028650 2847456242 2205232243 3493816847 3336831086 3338498749 3612944855 3436889084 437375082 3114008333 2990764547 3062382077 3431157041 2870504830 718622324 811108707 815096341 2821939349 2979773684 3762540059 1764407171 1289688083 1357051063 1355143841 3523797581 212791245 2233425015 3965384578 243098150 3714885953 993485580 869270629 740195813 3918804687 3916590986 419997180 3371374931 1114076707 1103012665 278478607 2309539098 1836197330 1147754716 3615158390 3747259792 3498656414 1188435074 2295960426 3863095093 4096773562 1937844716 208854459 1453284707 463486204 3767668335 3812680076 2377409260 3123011380 2652712635 596845772 1414569648 3609726672 3118577563 2730581885 1222162159 3702521307 3297857457 2734368938 1848478828 2370953623 1171000007 3667932063 2408239176 368240819 1167929757 1054021166 3905265833 2802302199 2235190672 3485442960 1795709795 2065580652 4152351089 2864711850 261400750 2554649288 1091451168 647477894 1028794345 585657919 3954814341 2313830358 1898945664 1815324247 760473668 4086063143 2905932053 1993273628 3577830277 2744324437 2232480883 2268870556 4000468737 933164406 2119564970 2506716846 455141723 311827966 178284574 151650446 637301078 334149556 1124199485 324536319 3720862016 1271405622 2436818802 399488531 3463651056 2206123575 285529813 608631638 840198385 860493913 3596821887 862988611 3480697697 3694352041 1483466065 1432826510 1123128766 4144443184 3036461059 4029381501 577649256 214261638 3042628145 3490243515 3918846943 131249210 3794039082 3814329098 129493868 4206868452 1140809584 3455744372 1500510632 2356950607 2438620206 3103803718 1921970263 4116659275 2397879536 3738439882 803508576 4065964953 3725663638 3605789197 1212512195 3208121482 1605599336 728756868 4067523681 352604931 3569239478 3391885997 2315773803 579833947 1733919423 3926594095 2013521907 1854075664 467408561 2231522152 3472789030 2681402327 1912853517 2955002882 3665125218 404073132 2703792537 1639706231 2951807989 2879715424 706911795 1661918190 3753087713 1430860391 255 362436" option to reproduce the execution
1.09/1.19	c #vars 55660
1.09/1.19	c #constraints 186884
3.30/3.33	c Solving starts ...
3.30/3.33	c ============================[ Search Statistics ]============================
3.30/3.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.30/3.33	c       |         |          |          |    Limit     GC | Var      | Constra 
3.30/3.33	c =============================================================================
3.49/3.58	c  0.0s |       0 |        0 |        0 |    67071      0 |    16457 |        0
3.79/3.86	c  0.3s |       1 |      211 |      100 |    67071      0 |    16457 |    22600
4.09/4.17	c  0.6s |       2 |      669 |      250 |    73779      0 |    16457 |    22600
4.79/4.87	c  1.3s |       3 |      995 |      475 |    81157      0 |    16457 |    22600
5.50/5.59	c  2.0s |       4 |     1647 |      813 |    89273      0 |    16457 |    22600
6.39/6.41	c  2.8s |       5 |     2597 |     1320 |    98201      0 |    16457 |    22600
7.59/7.61	c  4.0s |       6 |     3690 |     2081 |   118825      0 |    16457 |    22600
9.59/9.62	c  6.0s |       6 |     5058 |     3081 |   118825      0 |    16457 |    22600
9.90/9.91	c  6.3s |       7 |     5219 |     3223 |   130708      0 |    16457 |    22600
11.99/12.06	c  8.5s |       7 |     7096 |     4423 |   130708      0 |    16457 |    22600
12.79/12.84	c  9.3s |       8 |     7716 |     4936 |   143779      0 |    16457 |    22600
14.89/14.95	c 11.4s |       8 |     9970 |     6736 |   143779      0 |    16457 |    22600
15.79/15.89	c 12.3s |       9 |    10867 |     7506 |   158157      0 |    16457 |    22600
17.99/18.00	c 14.4s |       9 |    12325 |     8506 |   158157      0 |    16457 |    22600
20.09/20.11	c 16.5s |       9 |    13687 |     9606 |   158157      0 |    16457 |    22600
22.19/22.25	c 18.7s |       9 |    15087 |    10706 |   158157      0 |    16457 |    22600
23.39/23.49	c 19.9s |      10 |    15868 |    11361 |   173973      0 |    16457 |    22600
25.59/25.65	c 22.1s |      10 |    17195 |    12361 |   173973      0 |    16457 |    22600
27.79/27.80	c 24.2s |      10 |    18716 |    13561 |   173973      0 |    16457 |    22600
29.79/29.83	c 26.3s |      10 |    20236 |    14761 |   173973      0 |    16457 |    22600
31.79/31.85	c 28.3s |      10 |    21466 |    15761 |   173973      0 |    16457 |    22600
33.78/33.85	c 30.3s |      10 |    22907 |    16961 |   173973      0 |    16457 |    22600
34.19/34.21	c 30.6s |      11 |    23126 |    17144 |   191371      0 |    16457 |    22600
36.39/36.42	c 32.8s |      11 |    24569 |    18044 |   191371      0 |    16457 |    22600
38.38/38.48	c 34.9s |      11 |    25754 |    18944 |   191371      0 |    16457 |    22600
40.48/40.57	c 37.0s |      11 |    27006 |    19944 |   191371      0 |    16457 |    22600
42.68/42.78	c 39.2s |      11 |    28306 |    20844 |   191371      0 |    16503 |    22772
44.78/44.81	c 41.2s |      11 |    29989 |    22044 |   191371      0 |    16503 |    22772
46.78/46.86	c 43.3s |      11 |    31648 |    23244 |   191371      0 |    16503 |    22772
48.98/49.00	c 45.4s |      11 |    33132 |    24444 |   191371      0 |    16503 |    22772
50.98/51.03	c 47.5s |      11 |    34530 |    25544 |   191371      0 |    16503 |    22772
51.48/51.55	c 48.0s |      12 |    34892 |    25819 |   210509      0 |    16503 |    22772
53.58/53.66	c 50.1s |      12 |    36349 |    26719 |   210509      0 |    16503 |    22772
55.78/55.84	c 52.3s |      12 |    37972 |    27919 |   210509      0 |    16503 |    22772
57.78/57.86	c 54.3s |      12 |    39450 |    29019 |   210509      0 |    16503 |    22772
59.78/59.86	c 56.3s |      12 |    40893 |    30119 |   210509      0 |    16503 |    22772
61.88/61.95	c 58.4s |      12 |    42423 |    31219 |   210509      0 |    16503 |    22772
63.98/64.09	c 60.5s |      12 |    43792 |    32319 |   210509      0 |    16503 |    22772
66.18/66.28	c 62.7s |      12 |    44951 |    33219 |   210509      0 |    16503 |    22772
68.29/68.39	c 64.8s |      12 |    46101 |    34119 |   210509      0 |    16503 |    22772
70.39/70.43	c 66.9s |      12 |    47140 |    34919 |   210509      0 |    16503 |    22772
72.48/72.58	c 69.0s |      12 |    48171 |    35719 |   210509      0 |    16503 |    22772
74.68/74.72	c 71.1s |      12 |    49101 |    36519 |   210509      0 |    16503 |    22772
76.78/76.86	c 73.3s |      12 |    50090 |    37319 |   210509      0 |    16503 |    22772
78.98/79.02	c 75.5s |      12 |    51092 |    38119 |   210509      0 |    16503 |    22772
80.78/80.83	c 77.3s |      13 |    52014 |    38832 |   231560      0 |    16503 |    22772
82.88/83.00	c 79.4s |      13 |    53235 |    39532 |   231560      0 |    16503 |    22772
85.18/85.22	c 81.6s |      13 |    54538 |    40432 |   231560      0 |    16503 |    22772
87.18/87.23	c 83.7s |      13 |    56044 |    41232 |   231560      0 |    16503 |    22772
89.28/89.33	c 85.8s |      13 |    57196 |    42032 |   231560      0 |    16503 |    22772
91.38/91.44	c 87.9s |      13 |    58268 |    42832 |   231560      0 |    16503 |    22772
93.48/93.56	c 90.0s |      13 |    59425 |    43632 |   231560      0 |    16503 |    22772
95.68/95.77	c 92.2s |      13 |    60614 |    44532 |   231560      0 |    16503 |    22772
97.77/97.82	c 94.2s |      13 |    61564 |    45332 |   231560      0 |    16503 |    22772
99.97/100.05	c 96.5s |      13 |    62614 |    46132 |   231560      0 |    16503 |    22772
102.07/102.19	c 98.6s |      13 |    63771 |    46932 |   231560      0 |    16503 |    22772
104.17/104.28	c  100s |      13 |    64730 |    47632 |   231560      0 |    16503 |    22772
106.27/106.35	c  102s |      13 |    65711 |    48332 |   231560      0 |    16503 |    22772
108.47/108.53	c  104s |      13 |    66866 |    49132 |   231560      0 |    16503 |    22772
110.57/110.65	c  107s |      13 |    67806 |    49832 |   231560      0 |    16503 |    22772
112.77/112.86	c  109s |      13 |    68744 |    50532 |   231560      0 |    16503 |    22772
114.97/115.00	c  111s |      13 |    69642 |    51232 |   231560      0 |    16503 |    22772
117.17/117.28	c  113s |      13 |    70419 |    51832 |   231560      0 |    16503 |    22772
119.37/119.41	c  115s |      13 |    71191 |    52432 |   231560      0 |    16503 |    22772
121.47/121.52	c  117s |      13 |    72808 |    53532 |   231560      0 |    16503 |    22772
123.47/123.58	c  120s |      13 |    74399 |    54632 |   231560      0 |    16503 |    22772
125.77/125.82	c  122s |      13 |    75821 |    55632 |   231560      0 |    16503 |    22772
128.07/128.16	c  124s |      13 |    76697 |    56332 |   231560      0 |    16503 |    22772
130.57/130.68	c  127s |      13 |    77593 |    57032 |   231560      0 |    16503 |    22772
132.87/132.90	c  129s |      13 |    78434 |    57732 |   231560      0 |    16503 |    22772
134.67/134.76	c  131s |      14 |    79196 |    58352 |   254717      0 |    16503 |    22772
136.77/136.81	c  133s |      14 |    80703 |    59352 |   254717      0 |    16503 |    22772
138.87/138.91	c  135s |      14 |    82221 |    60452 |   254717      0 |    16503 |    22772
140.97/141.08	c  137s |      14 |    83356 |    61252 |   254717      0 |    16525 |    22851
143.27/143.32	c  139s |      14 |    84521 |    62152 |   254717      0 |    16525 |    22851
145.47/145.57	c  141s |      14 |    85631 |    62952 |   254717      0 |    16525 |    22851
147.77/147.86	c  144s |      14 |    86769 |    63752 |   254717      0 |    16525 |    22851
149.97/150.08	c  146s |      14 |    87623 |    64452 |   254717      0 |    16525 |    22851
152.17/152.23	c  148s |      14 |    88542 |    65152 |   254717      0 |    16525 |    22851
154.27/154.36	c  150s |      14 |    89548 |    65952 |   254717      0 |    16525 |    22851
156.37/156.45	c  152s |      14 |    90519 |    66752 |   254717      0 |    16525 |    22851
158.56/158.69	c  155s |      14 |    91515 |    67552 |   254717      0 |    16525 |    22851
160.67/160.75	c  157s |      14 |    92247 |    68152 |   254717      0 |    16525 |    22851
162.96/163.09	c  159s |      14 |    93174 |    68852 |   254717      0 |    16525 |    22851
165.07/165.13	c  161s |      14 |    93926 |    69352 |   254717      0 |    16525 |    22851
167.36/167.49	c  163s |      14 |    94695 |    69952 |   254717      0 |    16525 |    22851
169.56/169.65	c  166s |      14 |    95460 |    70452 |   254717      0 |    16525 |    22851
171.67/171.73	c  168s |      14 |    96107 |    70952 |   254717      0 |    16525 |    22851
173.96/174.01	c  170s |      14 |    96872 |    71552 |   254717      0 |    16525 |    22851
176.07/176.14	c  172s |      14 |    97590 |    72152 |   254717      0 |    16525 |    22851
178.56/178.64	c  175s |      14 |    98474 |    72852 |   254717      0 |    16525 |    22851
180.66/180.76	c  177s |      14 |    99256 |    73452 |   254717      0 |    16525 |    22851
183.06/183.15	c  179s |      14 |   100179 |    74152 |   254717      0 |    16525 |    22851
185.16/185.26	c  181s |      14 |   101009 |    74852 |   254717      0 |    16525 |    22851
187.36/187.41	c  183s |      14 |   101967 |    75552 |   254717      0 |    16525 |    22851
189.56/189.62	c  186s |      14 |   102961 |    76252 |   254717      0 |    16525 |    22851
191.56/191.65	c  188s |      14 |   103957 |    76952 |   254717      0 |    16525 |    22851
193.67/193.75	c  190s |      14 |   104836 |    77552 |   254717      0 |    16525 |    22851
195.96/196.02	c  192s |      14 |   105865 |    78252 |   254717      0 |    16525 |    22851
198.26/198.33	c  194s |      14 |   106832 |    78952 |   254717      0 |    16525 |    22851
200.46/200.56	c  196s |      14 |   107591 |    79552 |   254717      0 |    16525 |    22851
202.66/202.74	c  199s |      14 |   108497 |    80252 |   254717      0 |    16525 |    22851
204.66/204.75	c  201s |      14 |   109272 |    80852 |   254717      0 |    16525 |    22851
206.86/206.92	c  203s |      14 |   109882 |    81352 |   254717      0 |    16525 |    22851
209.06/209.15	c  205s |      14 |   110653 |    81952 |   254717      0 |    16525 |    22851
211.16/211.28	c  207s |      14 |   111893 |    82752 |   254717      0 |    16525 |    22851
213.36/213.46	c  209s |      14 |   113123 |    83852 |   254717      0 |    16525 |    22851
215.45/215.58	c  212s |      14 |   114810 |    85152 |   254717      0 |    16525 |    22851
217.55/217.63	c  214s |      14 |   116162 |    86252 |   254717      0 |    16525 |    22851
219.65/219.79	c  216s |      14 |   117529 |    87352 |   280189      0 |    16525 |    22851
220.25/220.37	c  216s |      15 |   117895 |    87632 |   280189      0 |    16525 |    22851
222.35/222.49	c  218s |      15 |   118574 |    88032 |   280189      0 |    16525 |    22851
224.46/224.52	c  220s |      15 |   119180 |    88532 |   280189      0 |    16525 |    22851
226.85/226.91	c  223s |      15 |   119902 |    89132 |   280189      0 |    16525 |    22851
228.86/228.94	c  225s |      15 |   120701 |    89732 |   280189      0 |    16525 |    22851
230.85/230.98	c  227s |      15 |   121460 |    90332 |   280189      0 |    16525 |    22851
232.95/233.04	c  229s |      15 |   122222 |    90932 |   280189      0 |    16525 |    22851
235.05/235.16	c  231s |      15 |   123127 |    91632 |   280189      0 |    16525 |    22851
237.35/237.41	c  233s |      15 |   124133 |    92432 |   280189      0 |    16525 |    22851
239.35/239.43	c  235s |      15 |   124994 |    93132 |   280189      0 |    16525 |    22851
241.55/241.61	c  238s |      15 |   126047 |    93932 |   280189      0 |    16525 |    22851
243.85/243.92	c  240s |      15 |   126965 |    94632 |   280189      0 |    16525 |    22851
245.85/245.98	c  242s |      15 |   127706 |    95232 |   280189      0 |    16525 |    22851
248.15/248.26	c  244s |      15 |   128618 |    95932 |   280189      0 |    16525 |    22851
250.35/250.40	c  246s |      15 |   129351 |    96532 |   280189      0 |    16525 |    22851
252.65/252.72	c  249s |      15 |   130104 |    97132 |   280189      0 |    16525 |    22851
254.95/255.09	c  251s |      15 |   130857 |    97732 |   280189      0 |    16525 |    22851
257.15/257.20	c  253s |      15 |   131583 |    98332 |   280189      0 |    16525 |    22851
259.25/259.31	c  255s |      15 |   132516 |    99032 |   280189      0 |    16525 |    22851
261.35/261.45	c  257s |      15 |   133337 |    99632 |   280189      0 |    16525 |    22851
263.45/263.56	c  259s |      15 |   134126 |   100232 |   280189      0 |    16525 |    22851
265.75/265.87	c  262s |      15 |   135016 |   100932 |   280189      0 |    16525 |    22851
267.94/268.03	c  264s |      15 |   135923 |   101632 |   280189      0 |    16525 |    22851
269.94/270.07	c  266s |      15 |   136801 |   102332 |   280189      0 |    16525 |    22851
272.14/272.23	c  268s |      15 |   137677 |   103032 |   280189      0 |    16525 |    22851
274.24/274.32	c  270s |      15 |   138528 |   103732 |   280189      0 |    16525 |    22851
276.54/276.62	c  273s |      15 |   139436 |   104432 |   280189      0 |    16525 |    22851
278.74/278.82	c  275s |      15 |   140390 |   105132 |   280189      0 |    16525 |    22851
280.84/280.96	c  277s |      15 |   141271 |   105832 |   280189      0 |    16525 |    22851
283.14/283.23	c  279s |      15 |   142111 |   106532 |   280189      0 |    16525 |    22851
285.24/285.32	c  281s |      15 |   143066 |   107232 |   280189      0 |    16525 |    22851
287.24/287.35	c  283s |      15 |   144124 |   108032 |   280189      0 |    16525 |    22851
289.25/289.37	c  285s |      15 |   145024 |   108732 |   280189      0 |    16525 |    22851
291.45/291.58	c  288s |      15 |   146155 |   109632 |   280189      0 |    16525 |    22851
293.65/293.74	c  290s |      15 |   147168 |   110432 |   280189      0 |    16525 |    22851
295.74/295.82	c  292s |      15 |   148276 |   111332 |   280189      0 |    16525 |    22851
297.74/297.85	c  294s |      15 |   149457 |   112232 |   280189      0 |    16525 |    22851
299.74/299.88	c  296s |      15 |   150349 |   112932 |   280189      0 |    16525 |    22851
302.04/302.18	c  298s |      15 |   151251 |   113632 |   280189      0 |    16525 |    22851
304.24/304.38	c  300s |      15 |   152081 |   114332 |   280189      0 |    16525 |    22851
306.44/306.55	c  302s |      15 |   152971 |   115032 |   280189      0 |    16525 |    22851
308.64/308.73	c  305s |      15 |   153698 |   115632 |   280189      0 |    16525 |    22851
310.84/310.95	c  307s |      15 |   154544 |   116332 |   280189      0 |    16525 |    22851
313.04/313.14	c  309s |      15 |   155416 |   117032 |   280189      0 |    16525 |    22851
315.34/315.43	c  311s |      15 |   156216 |   117732 |   280189      0 |    16525 |    22851
317.44/317.54	c  313s |      15 |   157057 |   118432 |   280189      0 |    16525 |    22851
319.44/319.56	c  315s |      15 |   157893 |   119132 |   280189      0 |    16525 |    22851
321.74/321.80	c  318s |      15 |   158769 |   119832 |   280189      0 |    16525 |    22851
323.83/323.93	c  320s |      15 |   159625 |   120532 |   280189      0 |    16525 |    22851
326.13/326.25	c  322s |      15 |   160465 |   121232 |   280189      0 |    16525 |    22851
328.23/328.31	c  324s |      15 |   161200 |   121832 |   280189      0 |    16525 |    22851
330.33/330.45	c  326s |      15 |   162189 |   122632 |   280189      0 |    16525 |    22851
332.44/332.50	c  328s |      15 |   162885 |   123232 |   280189      0 |    16525 |    22851
334.64/334.78	c  331s |      15 |   163723 |   123932 |   280189      0 |    16525 |    22851
336.84/336.91	c  333s |      15 |   164575 |   124632 |   280189      0 |    16525 |    22851
338.85/338.95	c  335s |      15 |   165473 |   125332 |   280189      0 |    16525 |    22851
341.24/341.31	c  337s |      15 |   166334 |   126032 |   280189      0 |    16525 |    22851
343.34/343.45	c  339s |      15 |   166941 |   126532 |   280189      0 |    16525 |    22851
345.64/345.73	c  342s |      15 |   167518 |   127032 |   280189      0 |    16525 |    22851
347.84/347.92	c  344s |      15 |   168210 |   127632 |   280189      0 |    16525 |    22851
349.94/350.02	c  346s |      15 |   168970 |   128232 |   280189      0 |    16525 |    22851
352.14/352.21	c  348s |      15 |   169657 |   128832 |   280189      0 |    16525 |    22851
354.44/354.51	c  350s |      15 |   170383 |   129432 |   280189      0 |    16525 |    22851
356.64/356.74	c  353s |      15 |   171145 |   130032 |   280189      0 |    16525 |    22851
358.94/359.06	c  355s |      15 |   171892 |   130632 |   280189      0 |    16525 |    22851
361.14/361.21	c  357s |      15 |   172633 |   131232 |   308208      0 |    16525 |    22851
362.34/362.46	c  358s |      16 |   173032 |   131552 |   308208      0 |    16525 |    22851
364.44/364.59	c  361s |      16 |   173420 |   131852 |   308208      0 |    16525 |    22851
366.84/366.98	c  363s |      16 |   174057 |   132352 |   308208      0 |    16525 |    22851
369.24/369.37	c  365s |      16 |   174698 |   132852 |   308208      0 |    16525 |    22851
371.44/371.55	c  367s |      16 |   175357 |   133352 |   308208      0 |    16525 |    22851
373.54/373.61	c  370s |      16 |   175968 |   133852 |   308208      0 |    16525 |    22851
375.64/375.77	c  372s |      16 |   176617 |   134352 |   308208      0 |    16525 |    22851
377.84/377.97	c  374s |      16 |   177513 |   135052 |   308208      0 |    16525 |    22851
379.83/379.98	c  376s |      16 |   178628 |   135952 |   308208      0 |    16525 |    22851
381.93/382.00	c  378s |      16 |   179852 |   136952 |   308208      0 |    16525 |    22851
383.94/384.01	c  380s |      16 |   180948 |   137852 |   308208      0 |    16525 |    22851
386.04/386.20	c  382s |      16 |   182141 |   138752 |   308208      0 |    16525 |    22851
388.13/388.29	c  384s |      16 |   183409 |   139652 |   308208      0 |    16525 |    22851
390.33/390.44	c  386s |      16 |   184456 |   140452 |   308208      0 |    16525 |    22851
392.43/392.54	c  388s |      16 |   185430 |   141252 |   308208      0 |    16525 |    22851
394.63/394.71	c  391s |      16 |   186625 |   142152 |   308208      0 |    16525 |    22851
396.63/396.74	c  393s |      16 |   187842 |   143152 |   308208      0 |    16525 |    22851
398.73/398.89	c  395s |      16 |   189117 |   144152 |   308208      0 |    16525 |    22851
400.93/401.02	c  397s |      16 |   190260 |   145052 |   308208      0 |    16525 |    22851
403.13/403.24	c  399s |      16 |   191507 |   146052 |   308208      0 |    16525 |    22851
405.33/405.42	c  401s |      16 |   192615 |   146952 |   308208      0 |    16525 |    22851
407.33/407.42	c  403s |      16 |   193578 |   147752 |   308208      0 |    16525 |    22851
409.43/409.59	c  406s |      16 |   194710 |   148652 |   308208      0 |    16525 |    22851
411.53/411.60	c  408s |      16 |   195760 |   149452 |   308208      0 |    16525 |    22851
413.54/413.65	c  410s |      16 |   196784 |   150252 |   308208      0 |    16525 |    22851
415.53/415.65	c  412s |      16 |   197765 |   151052 |   308208      0 |    16525 |    22851
417.73/417.83	c  414s |      16 |   198850 |   151952 |   308208      0 |    16525 |    22851
419.83/419.93	c  416s |      16 |   199764 |   152752 |   308208      0 |    16525 |    22851
422.03/422.10	c  418s |      16 |   200926 |   153652 |   308208      0 |    16525 |    22851
424.33/424.41	c  420s |      16 |   202256 |   154652 |   308208      0 |    16525 |    22851
426.53/426.69	c  423s |      16 |   203252 |   155452 |   308208      0 |    16525 |    22851
428.62/428.70	c  425s |      16 |   204121 |   156152 |   308208      0 |    16525 |    22851
430.92/431.00	c  427s |      16 |   204960 |   156852 |   308208      0 |    16525 |    22851
433.12/433.25	c  429s |      16 |   205767 |   157552 |   308208      0 |    16525 |    22851
435.22/435.38	c  431s |      16 |   206631 |   158252 |   308208      0 |    16525 |    22851
437.42/437.52	c  433s |      16 |   207525 |   158952 |   308208      0 |    16525 |    22851
439.52/439.68	c  436s |      16 |   208372 |   159652 |   308208      0 |    16525 |    22851
441.52/441.69	c  438s |      16 |   209238 |   160352 |   308208      0 |    16525 |    22851
443.92/444.05	c  440s |      16 |   210275 |   161052 |   308208      0 |    16525 |    22851
446.22/446.35	c  442s |      16 |   211465 |   161852 |   308208      0 |    16525 |    22851
448.22/448.39	c  444s |      16 |   212255 |   162552 |   308208      0 |    16525 |    22851
450.32/450.43	c  446s |      16 |   213092 |   163252 |   308208      0 |    16525 |    22851
452.32/452.43	c  448s |      16 |   213929 |   163952 |   308208      0 |    16525 |    22851
454.42/454.59	c  451s |      16 |   214738 |   164652 |   308208      0 |    16525 |    22851
456.62/456.79	c  453s |      16 |   215724 |   165452 |   308208      0 |    16525 |    22851
458.63/458.80	c  455s |      16 |   217079 |   166352 |   308208      0 |    16525 |    22851
460.93/461.00	c  457s |      16 |   218138 |   167152 |   308208      0 |    16525 |    22851
463.13/463.26	c  459s |      16 |   219304 |   168052 |   308208      0 |    16525 |    22851
465.42/465.51	c  461s |      16 |   220242 |   168752 |   308208      0 |    16525 |    22851
467.62/467.73	c  464s |      16 |   221315 |   169552 |   308208      0 |    16525 |    22851
469.82/469.94	c  466s |      16 |   222306 |   170352 |   308208      0 |    16525 |    22851
471.82/471.99	c  468s |      16 |   223245 |   171052 |   308208      0 |    16525 |    22851
474.02/474.15	c  470s |      16 |   224288 |   171852 |   308208      0 |    16525 |    22851
476.32/476.42	c  472s |      16 |   225144 |   172552 |   308208      0 |    16525 |    22851
478.62/478.73	c  475s |      16 |   225981 |   173252 |   308208      0 |    16525 |    22851
480.62/480.80	c  477s |      16 |   226730 |   173852 |   308208      0 |    16525 |    22851
482.92/483.04	c  479s |      16 |   227452 |   174452 |   308208      0 |    16525 |    22851
485.12/485.28	c  481s |      16 |   228197 |   175052 |   308208      0 |    16525 |    22851
487.32/487.41	c  483s |      16 |   229082 |   175752 |   308208      0 |    16525 |    22851
489.31/489.44	c  485s |      16 |   229790 |   176352 |   308208      0 |    16525 |    22851
491.51/491.69	c  488s |      16 |   230721 |   177052 |   308208      0 |    16525 |    22851
493.61/493.74	c  490s |      16 |   231628 |   177752 |   308208      0 |    16525 |    22851
496.02/496.12	c  492s |      16 |   232555 |   178452 |   308208      0 |    16525 |    22851
498.41/498.55	c  494s |      16 |   233849 |   179252 |   308208      0 |    16525 |    22851
500.42/500.56	c  496s |      16 |   234489 |   179752 |   308208      0 |    16525 |    22851
502.51/502.61	c  499s |      16 |   235087 |   180252 |   308208      0 |    16525 |    22851
504.92/505.03	c  501s |      16 |   235814 |   180852 |   308208      0 |    16525 |    22851
507.31/507.47	c  503s |      16 |   236562 |   181452 |   308208      0 |    16525 |    22851
509.81/509.90	c  506s |      16 |   237247 |   182052 |   308208      0 |    16525 |    22851
512.11/512.23	c  508s |      16 |   237860 |   182552 |   308208      0 |    16525 |    22851
514.31/514.45	c  510s |      16 |   238432 |   183052 |   308208      0 |    16525 |    22851
516.51/516.66	c  513s |      16 |   239166 |   183652 |   308208      0 |    16525 |    22851
518.81/518.98	c  515s |      16 |   239759 |   184152 |   308208      0 |    16525 |    22851
521.11/521.26	c  517s |      16 |   240361 |   184652 |   308208      0 |    16525 |    22851
523.21/523.31	c  519s |      16 |   240961 |   185152 |   308208      0 |    16525 |    22851
525.51/525.65	c  522s |      16 |   241705 |   185752 |   308208      0 |    16525 |    22851
527.71/527.85	c  524s |      16 |   242457 |   186352 |   308208      0 |    16525 |    22851
530.11/530.21	c  526s |      16 |   243167 |   186952 |   308208      0 |    16525 |    22851
532.31/532.44	c  528s |      16 |   244000 |   187652 |   308208      0 |    16525 |    22851
534.61/534.70	c  531s |      16 |   244695 |   188252 |   308208      0 |    16525 |    22851
536.71/536.81	c  533s |      16 |   245272 |   188752 |   308208      0 |    16525 |    22851
538.70/538.83	c  535s |      16 |   245718 |   189152 |   308208      0 |    16525 |    22851
541.11/541.27	c  537s |      16 |   246439 |   189752 |   308208      0 |    16525 |    22851
543.31/543.44	c  539s |      16 |   247013 |   190252 |   308208      0 |    16525 |    22851
545.70/545.87	c  542s |      16 |   247601 |   190752 |   308208      0 |    16525 |    22851
547.90/548.01	c  544s |      16 |   248195 |   191252 |   308208      0 |    16525 |    22851
549.91/550.06	c  546s |      16 |   248775 |   191752 |   308208      0 |    16525 |    22851
552.11/552.23	c  548s |      16 |   249378 |   192252 |   308208      0 |    16525 |    22851
554.50/554.67	c  551s |      16 |   249988 |   192752 |   308208      0 |    16525 |    22851
556.90/557.04	c  553s |      16 |   250570 |   193252 |   308208      0 |    16525 |    22851
559.00/559.15	c  555s |      16 |   251152 |   193752 |   308208      0 |    16525 |    22851
561.50/561.67	c  558s |      16 |   251716 |   194252 |   308208      0 |    16525 |    22851
563.90/564.03	c  560s |      16 |   252352 |   194752 |   308208      0 |    16525 |    22851
566.00/566.16	c  562s |      16 |   252953 |   195252 |   308208      0 |    16525 |    22851
568.00/568.18	c  564s |      16 |   253548 |   195752 |   308208      0 |    16525 |    22851
570.20/570.34	c  566s |      16 |   254143 |   196252 |   339029      0 |    16525 |    22851
572.60/572.76	c  569s |      16 |   254850 |   196852 |   339029      0 |    16525 |    22851
574.70/574.89	c  571s |      16 |   255452 |   197352 |   339029      0 |    16525 |    22851
575.00/575.18	c  571s |      17 |   255537 |   197432 |   339029      0 |    16525 |    22851
577.10/577.26	c  573s |      17 |   256543 |   198032 |   339029      0 |    16525 |    22851
579.20/579.30	c  575s |      17 |   257801 |   199032 |   339029      0 |    16525 |    22851
581.20/581.31	c  577s |      17 |   259015 |   200032 |   339029      0 |    16525 |    22851
583.40/583.52	c  579s |      17 |   260158 |   201032 |   339029      0 |    16525 |    22851
585.60/585.71	c  582s |      17 |   261346 |   202032 |   339029      0 |    16525 |    22851
587.60/587.72	c  584s |      17 |   262309 |   202832 |   339029      0 |    16525 |    22851
589.70/589.85	c  586s |      17 |   263400 |   203732 |   339029      0 |    16525 |    22851
591.80/591.97	c  588s |      17 |   264525 |   204632 |   339029      0 |    16525 |    22851
593.90/594.08	c  590s |      17 |   265649 |   205532 |   339029      0 |    16525 |    22851
596.00/596.18	c  592s |      17 |   266734 |   206432 |   339029      0 |    16525 |    22851
598.20/598.32	c  594s |      17 |   267941 |   207432 |   339029      0 |    16525 |    22851
600.29/600.49	c  596s |      17 |   268984 |   208332 |   339029      0 |    16525 |    22851
602.49/602.67	c  599s |      17 |   269905 |   209132 |   339029      0 |    16525 |    22851
604.59/604.78	c  601s |      17 |   270812 |   209932 |   339029      0 |    16525 |    22851
606.89/607.02	c  603s |      17 |   271751 |   210732 |   339029      0 |    16525 |    22851
608.89/609.04	c  605s |      17 |   272667 |   211532 |   339029      0 |    16525 |    22851
610.99/611.19	c  607s |      17 |   273729 |   212432 |   339029      0 |    16525 |    22851
613.09/613.27	c  609s |      17 |   274650 |   213232 |   339029      0 |    16525 |    22851
615.29/615.44	c  611s |      17 |   275564 |   214032 |   339029      0 |    16525 |    22851
617.59/617.73	c  614s |      17 |   276364 |   214732 |   339029      0 |    16525 |    22851
619.89/620.00	c  616s |      17 |   277291 |   215532 |   339029      0 |    16525 |    22851
621.99/622.11	c  618s |      17 |   278110 |   216232 |   339029      0 |    16525 |    22851
624.19/624.31	c  620s |      17 |   278902 |   216932 |   339029      0 |    16525 |    22851
626.19/626.38	c  622s |      17 |   279782 |   217632 |   339029      0 |    16525 |    22851
628.49/628.63	c  625s |      17 |   280726 |   218432 |   339029      0 |    16525 |    22851
630.59/630.73	c  627s |      17 |   281431 |   219032 |   339029      0 |    16525 |    22851
632.59/632.74	c  629s |      17 |   282151 |   219632 |   339029      0 |    16525 |    22851
634.79/634.93	c  631s |      17 |   282968 |   220332 |   339029      0 |    16525 |    22851
636.99/637.16	c  633s |      17 |   283659 |   220932 |   339029      0 |    16525 |    22851
639.19/639.34	c  635s |      17 |   284324 |   221532 |   339029      0 |    16525 |    22851
641.49/641.69	c  638s |      17 |   285175 |   222232 |   339029      0 |    16525 |    22851
643.79/643.91	c  640s |      17 |   285877 |   222832 |   339029      0 |    16525 |    22851
646.09/646.24	c  642s |      17 |   286602 |   223432 |   339029      0 |    16525 |    22851
648.09/648.30	c  644s |      17 |   287301 |   224032 |   339029      0 |    16525 |    22851
650.19/650.34	c  646s |      17 |   288022 |   224632 |   339029      0 |    16525 |    22851
652.49/652.62	c  649s |      17 |   288707 |   225232 |   339029      0 |    16525 |    22851
654.49/654.67	c  651s |      17 |   289443 |   225832 |   339029      0 |    16525 |    22851
656.59/656.80	c  653s |      17 |   290014 |   226332 |   339029      0 |    16525 |    22851
658.68/658.90	c  655s |      17 |   290576 |   226832 |   339029      0 |    16525 |    22851
660.99/661.17	c  657s |      17 |   291297 |   227432 |   339029      0 |    16525 |    22851
663.29/663.44	c  659s |      17 |   292018 |   228032 |   339029      0 |    16525 |    22851
665.58/665.77	c  662s |      17 |   292729 |   228632 |   339029      0 |    16525 |    22851
667.69/667.88	c  664s |      17 |   293334 |   229132 |   339029      0 |    16525 |    22851
669.79/669.94	c  666s |      17 |   293930 |   229632 |   339029      0 |    16525 |    22851
671.99/672.12	c  668s |      17 |   294501 |   230132 |   339029      0 |    16525 |    22851
674.19/674.37	c  670s |      17 |   295073 |   230632 |   339029      0 |    16525 |    22851
676.68/676.81	c  673s |      17 |   295639 |   231132 |   339029      0 |    16525 |    22851
678.88/679.08	c  675s |      17 |   296209 |   231632 |   339029      0 |    16525 |    22851
681.38/681.54	c  677s |      17 |   296784 |   232132 |   339029      0 |    16525 |    22851
683.58/683.73	c  680s |      17 |   297737 |   232832 |   339029      0 |    16525 |    22851
685.78/685.94	c  682s |      17 |   298749 |   233632 |   339029      0 |    16525 |    22851
687.88/688.00	c  684s |      17 |   299615 |   234332 |   339029      0 |    16525 |    22851
690.08/690.20	c  686s |      17 |   300629 |   235132 |   339029      0 |    16525 |    22851
692.18/692.31	c  688s |      17 |   301519 |   235832 |   339029      0 |    16525 |    22851
694.28/694.42	c  690s |      17 |   302413 |   236532 |   339029      0 |    16525 |    22851
696.38/696.58	c  693s |      17 |   303138 |   237132 |   339029      0 |    16525 |    22851
698.68/698.83	c  695s |      17 |   303985 |   237832 |   339029      0 |    16525 |    22851
700.69/700.84	c  697s |      17 |   304724 |   238432 |   339029      0 |    16525 |    22851
702.89/703.09	c  699s |      17 |   305599 |   239132 |   339029      0 |    16525 |    22851
705.08/705.26	c  701s |      17 |   306418 |   239732 |   339029      0 |    16525 |    22851
707.18/707.38	c  703s |      17 |   307112 |   240232 |   339029      0 |    16525 |    22851
709.38/709.52	c  705s |      17 |   307755 |   240732 |   339029      0 |    16525 |    22851
711.48/711.63	c  708s |      17 |   308443 |   241232 |   339029      0 |    16525 |    22851
713.58/713.75	c  710s |      17 |   309148 |   241732 |   339029      0 |    16525 |    22851
715.88/716.09	c  712s |      17 |   309763 |   242232 |   339029      0 |    16525 |    22851
718.08/718.24	c  714s |      17 |   310401 |   242732 |   339029      0 |    16525 |    22851
720.38/720.52	c  716s |      17 |   311042 |   243232 |   339029      0 |    16525 |    22851
722.58/722.75	c  719s |      17 |   311639 |   243732 |   339029      0 |    16525 |    22851
724.88/725.08	c  721s |      17 |   312235 |   244232 |   339029      0 |    16525 |    22851
727.08/727.23	c  723s |      17 |   312851 |   244732 |   339029      0 |    16525 |    22851
729.07/729.27	c  725s |      17 |   313386 |   245132 |   339029      0 |    16525 |    22851
731.17/731.34	c  727s |      17 |   313893 |   245532 |   339029      0 |    16525 |    22851
733.27/733.42	c  729s |      17 |   314376 |   245932 |   339029      0 |    16525 |    22851
735.47/735.66	c  732s |      17 |   314863 |   246332 |   339029      0 |    16525 |    22851
737.77/737.92	c  734s |      17 |   315355 |   246732 |   339029      0 |    16525 |    22851
740.28/740.45	c  736s |      17 |   316000 |   247232 |   339029      0 |    16525 |    22851
742.27/742.47	c  738s |      17 |   316514 |   247632 |   339029      0 |    16525 |    22851
744.47/744.62	c  741s |      17 |   316975 |   248032 |   339029      0 |    16525 |    22851
746.88/747.05	c  743s |      17 |   317573 |   248532 |   339029      0 |    16525 |    22851
749.17/749.32	c  745s |      17 |   318172 |   249032 |   339029      0 |    16525 |    22851
751.67/751.81	c  748s |      17 |   318832 |   249532 |   339029      0 |    16525 |    22851
753.77/753.91	c  750s |      17 |   319456 |   250032 |   339029      0 |    16525 |    22851
755.87/756.00	c  752s |      17 |   320125 |   250532 |   339029      0 |    16525 |    22851
758.07/758.27	c  754s |      17 |   320739 |   251032 |   339029      0 |    16525 |    22851
760.17/760.39	c  756s |      17 |   321371 |   251532 |   339029      0 |    16525 |    22851
762.28/762.43	c  758s |      17 |   321970 |   252032 |   339029      0 |    16525 |    22851
764.57/764.71	c  761s |      17 |   322576 |   252532 |   339029      0 |    16525 |    22851
766.87/767.07	c  763s |      17 |   323187 |   253032 |   339029      0 |    16525 |    22851
769.27/769.40	c  765s |      17 |   323776 |   253532 |   339029      0 |    16525 |    22851
771.37/771.55	c  767s |      17 |   324252 |   253932 |   339029      0 |    16525 |    22851
773.67/773.84	c  770s |      17 |   324864 |   254432 |   339029      0 |    16525 |    22851
775.77/775.96	c  772s |      17 |   325346 |   254832 |   339029      0 |    16525 |    22851
777.77/777.99	c  774s |      17 |   325945 |   255332 |   339029      0 |    16525 |    22851
779.87/780.04	c  776s |      17 |   326522 |   255832 |   339029      0 |    16525 |    22851
781.87/782.05	c  778s |      17 |   327109 |   256332 |   339029      0 |    16525 |    22851
784.37/784.53	c  780s |      17 |   327719 |   256832 |   339029      0 |    16525 |    22851
786.47/786.64	c  783s |      17 |   328355 |   257332 |   339029      0 |    16525 |    22851
788.47/788.67	c  785s |      17 |   328832 |   257732 |   339029      0 |    16525 |    22851
790.77/790.95	c  787s |      17 |   329442 |   258232 |   339029      0 |    16525 |    22851
793.07/793.24	c  789s |      17 |   330032 |   258732 |   339029      0 |    16525 |    22851
795.56/795.71	c  792s |      17 |   330593 |   259232 |   339029      0 |    16525 |    22851
798.06/798.25	c  794s |      17 |   331252 |   259732 |   339029      0 |    16525 |    22851
800.26/800.40	c  796s |      17 |   331740 |   260132 |   339029      0 |    16525 |    22851
802.26/802.40	c  798s |      17 |   332259 |   260532 |   339029      0 |    16525 |    22851
804.26/804.42	c  800s |      17 |   332777 |   260932 |   339029      0 |    16525 |    22851
806.56/806.71	c  803s |      17 |   333413 |   261432 |   339029      0 |    16525 |    22851
808.56/808.75	c  805s |      17 |   333883 |   261832 |   339029      0 |    16525 |    22851
811.06/811.25	c  807s |      17 |   334470 |   262332 |   339029      0 |    16525 |    22851
813.56/813.71	c  810s |      17 |   335128 |   262832 |   339029      0 |    16525 |    22851
815.66/815.85	c  812s |      17 |   335605 |   263232 |   339029      0 |    16525 |    22851
817.66/817.88	c  814s |      17 |   336087 |   263632 |   339029      0 |    16525 |    22851
819.86/820.03	c  816s |      17 |   336735 |   264132 |   339029      0 |    16525 |    22851
822.26/822.47	c  818s |      17 |   337386 |   264632 |   339029      0 |    16525 |    22851
824.56/824.75	c  821s |      17 |   337856 |   265032 |   339029      0 |    16525 |    22851
826.66/826.81	c  823s |      17 |   338334 |   265432 |   339029      0 |    16525 |    22851
829.16/829.35	c  825s |      17 |   338915 |   265932 |   339029      0 |    16525 |    22851
831.26/831.48	c  827s |      17 |   339456 |   266332 |   339029      0 |    16525 |    22851
833.36/833.53	c  829s |      17 |   339978 |   266732 |   339029      0 |    16525 |    22851
835.57/835.78	c  832s |      17 |   340461 |   267132 |   339029      0 |    16525 |    22851
837.67/837.88	c  834s |      17 |   340951 |   267532 |   339029      0 |    16525 |    22851
839.87/840.07	c  836s |      17 |   341402 |   267932 |   339029      0 |    16525 |    22851
842.37/842.55	c  838s |      17 |   341883 |   268332 |   339029      0 |    16525 |    22851
844.77/844.97	c  841s |      17 |   342511 |   268832 |   339029      0 |    16525 |    22851
846.97/847.15	c  843s |      17 |   343011 |   269232 |   339029      0 |    16525 |    22851
848.96/849.16	c  845s |      17 |   343494 |   269632 |   339029      0 |    16525 |    22851
851.27/851.42	c  847s |      17 |   343963 |   270032 |   339029      0 |    16525 |    22851
853.36/853.57	c  849s |      17 |   344482 |   270432 |   339029      0 |    16525 |    22851
855.46/855.66	c  852s |      17 |   344986 |   270832 |   339029      0 |    16525 |    22851
857.66/857.87	c  854s |      17 |   345483 |   271232 |   339029      0 |    16525 |    22851
859.76/859.91	c  856s |      17 |   345977 |   271632 |   339029      0 |    16525 |    22851
862.06/862.21	c  858s |      17 |   346619 |   272132 |   339029      0 |    16525 |    22851
864.06/864.25	c  860s |      17 |   347136 |   272532 |   339029      0 |    16525 |    22851
866.36/866.53	c  862s |      17 |   347793 |   273032 |   339029      0 |    16525 |    22851
868.66/868.86	c  865s |      17 |   348440 |   273532 |   339029      0 |    16525 |    22851
870.66/870.88	c  867s |      17 |   348979 |   273932 |   339029      0 |    16525 |    22851
873.06/873.20	c  869s |      17 |   349623 |   274432 |   339029      0 |    16525 |    22851
875.06/875.24	c  871s |      17 |   350225 |   274932 |   339029      0 |    16525 |    22851
877.16/877.32	c  873s |      17 |   350857 |   275432 |   339029      0 |    16525 |    22851
879.46/879.66	c  876s |      17 |   351476 |   275932 |   339029      0 |    16525 |    22851
881.46/881.67	c  878s |      17 |   352011 |   276332 |   339029      0 |    16525 |    22851
883.86/884.09	c  880s |      17 |   352649 |   276832 |   339029      0 |    16525 |    22851
885.96/886.19	c  882s |      17 |   353139 |   277232 |   339029      0 |    16525 |    22851
888.06/888.28	c  884s |      17 |   353780 |   277732 |   339029      0 |    16525 |    22851
890.36/890.58	c  887s |      17 |   354409 |   278232 |   339029      0 |    16525 |    22851
892.66/892.83	c  889s |      17 |   355040 |   278732 |   339029      0 |    16525 |    22851
894.76/894.94	c  891s |      17 |   355654 |   279232 |   339029      0 |    16525 |    22851
896.86/897.06	c  893s |      17 |   356144 |   279632 |   339029      0 |    16525 |    22851
898.86/899.06	c  895s |      17 |   356667 |   280032 |   339029      0 |    16525 |    22851
900.96/901.19	c  897s |      17 |   357180 |   280432 |   339029      0 |    16525 |    22851
903.35/903.56	c  899s |      17 |   357692 |   280832 |   339029      0 |    16525 |    22851
905.65/905.82	c  902s |      17 |   358187 |   281232 |   339029      0 |    16525 |    22851
907.85/908.07	c  904s |      17 |   358695 |   281632 |   339029      0 |    16525 |    22851
909.95/910.13	c  906s |      17 |   359241 |   282032 |   339029      0 |    16525 |    22851
912.35/912.50	c  908s |      17 |   359877 |   282532 |   339029      0 |    16525 |    22851
914.45/914.64	c  911s |      17 |   360398 |   282932 |   339029      0 |    16525 |    22851
916.75/916.99	c  913s |      17 |   361035 |   283432 |   339029      0 |    16525 |    22851
919.15/919.31	c  915s |      17 |   361544 |   283832 |   339029      0 |    16525 |    22851
921.45/921.62	c  918s |      17 |   362223 |   284332 |   339029      0 |    16525 |    22851
923.55/923.73	c  920s |      17 |   362764 |   284732 |   339029      0 |    16525 |    22851
925.55/925.74	c  922s |      17 |   363268 |   285132 |   339029      0 |    16525 |    22851
927.55/927.78	c  924s |      17 |   363787 |   285532 |   339029      0 |    16525 |    22851
930.15/930.32	c  926s |      17 |   364408 |   286032 |   339029      0 |    16525 |    22851
932.25/932.45	c  928s |      17 |   364899 |   286432 |   339029      0 |    16525 |    22851
934.45/934.67	c  931s |      17 |   365416 |   286832 |   339029      0 |    16525 |    22851
936.85/937.05	c  933s |      17 |   366023 |   287332 |   339029      0 |    16525 |    22851
939.36/939.51	c  935s |      17 |   366653 |   287832 |   339029      0 |    16525 |    22851
941.75/941.96	c  938s |      17 |   367293 |   288332 |   339029      0 |    16525 |    22851
943.95/944.10	c  940s |      17 |   367766 |   288732 |   339029      0 |    16525 |    22851
946.05/946.25	c  942s |      17 |   368293 |   289132 |   339029      0 |    16525 |    22851
948.15/948.35	c  944s |      17 |   368787 |   289532 |   339029      0 |    16525 |    22851
950.45/950.64	c  947s |      17 |   369255 |   289932 |   339029      0 |    16525 |    22851
952.75/952.93	c  949s |      17 |   369736 |   290332 |   339029      0 |    16525 |    22851
955.15/955.35	c  951s |      17 |   370226 |   290732 |   339029      0 |    16525 |    22851
957.35/957.53	c  953s |      17 |   370708 |   291132 |   339029      0 |    16525 |    22851
959.55/959.74	c  956s |      17 |   371173 |   291532 |   339029      0 |    16525 |    22851
961.95/962.14	c  958s |      17 |   371689 |   291932 |   339029      0 |    16525 |    22851
964.45/964.61	c  961s |      17 |   372155 |   292332 |   339029      0 |    16525 |    22851
966.64/966.89	c  963s |      17 |   372680 |   292732 |   339029      0 |    16525 |    22851
969.05/969.26	c  965s |      17 |   373156 |   293132 |   339029      0 |    16525 |    22851
971.44/971.62	c  968s |      17 |   373613 |   293532 |   339029      0 |    16525 |    22851
973.74/973.98	c  970s |      17 |   374081 |   293932 |   339029      0 |    16525 |    22851
975.94/976.14	c  972s |      17 |   374571 |   294332 |   372932      0 |    16525 |    22851
978.14/978.33	c  974s |      17 |   375037 |   294732 |   372932      0 |    16525 |    22851
980.14/980.38	c  976s |      17 |   375481 |   295132 |   372932      0 |    16525 |    22851
982.44/982.60	c  979s |      17 |   375955 |   295532 |   372932      0 |    16525 |    22851
984.73/984.93	c  981s |      17 |   376426 |   295932 |   372932      0 |    16525 |    22851
986.54/986.76	c  983s |      18 |   376781 |   296252 |   372932      0 |    16525 |    22851
988.93/989.15	c  985s |      18 |   377063 |   296452 |   372932      0 |    16525 |    22851
991.33/991.50	c  987s |      18 |   377408 |   296752 |   372932      0 |    16525 |    22851
993.43/993.68	c  990s |      18 |   377880 |   297152 |   372932      0 |    16525 |    22851
995.83/996.00	c  992s |      18 |   378375 |   297552 |   372932      0 |    16525 |    22851
998.03/998.26	c  994s |      18 |   378879 |   297952 |   372932      0 |    16525 |    22851
1000.33/1000.51	c  996s |      18 |   379368 |   298352 |   372932      0 |    16525 |    22851
1002.83/1003.02	c  999s |      18 |   379856 |   298752 |   372932      0 |    16525 |    22851
1004.92/1005.17	c 1001s |      18 |   380232 |   299052 |   372932      0 |    16525 |    22851
1007.32/1007.54	c 1003s |      18 |   380715 |   299452 |   372932      0 |    16525 |    22851
1009.82/1010.06	c 1006s |      18 |   381200 |   299852 |   372932      0 |    16525 |    22851
1012.12/1012.34	c 1008s |      18 |   381692 |   300252 |   372932      0 |    16525 |    22851
1014.42/1014.61	c 1011s |      18 |   382165 |   300652 |   372932      0 |    16525 |    22851
1016.52/1016.71	c 1013s |      18 |   382502 |   300952 |   372932      0 |    16525 |    22851
1018.92/1019.14	c 1015s |      18 |   382998 |   301352 |   372932      0 |    16525 |    22851
1021.22/1021.48	c 1017s |      18 |   383471 |   301752 |   372932      0 |    16525 |    22851
1023.42/1023.62	c 1020s |      18 |   383970 |   302152 |   372932      0 |    16525 |    22851
1025.71/1025.92	c 1022s |      18 |   384436 |   302552 |   372932      0 |    16525 |    22851
1028.11/1028.30	c 1024s |      18 |   384935 |   302952 |   372932      0 |    16525 |    22851
1030.11/1030.31	c 1026s |      18 |   385274 |   303252 |   372932      0 |    16525 |    22851
1032.72/1032.95	c 1029s |      18 |   385716 |   303652 |   372932      0 |    16525 |    22851
1035.20/1035.42	c 1031s |      18 |   386170 |   304052 |   372932      0 |    16525 |    22851
1037.50/1037.72	c 1034s |      18 |   386677 |   304452 |   372932      0 |    16525 |    22851
1040.00/1040.21	c 1036s |      18 |   387145 |   304852 |   372932      0 |    16525 |    22851
1042.10/1042.31	c 1038s |      18 |   387534 |   305152 |   372932      0 |    16525 |    22851
1044.30/1044.54	c 1040s |      18 |   387938 |   305452 |   372932      0 |    16525 |    22851
1046.50/1046.73	c 1043s |      18 |   388619 |   305852 |   372932      0 |    16525 |    22851
1048.80/1049.03	c 1045s |      18 |   389445 |   306552 |   372932      0 |    16525 |    22851
1050.90/1051.13	c 1047s |      18 |   390176 |   307152 |   372932      0 |    16525 |    22851
1053.20/1053.42	c 1049s |      18 |   390890 |   307752 |   372932      0 |    16525 |    22851
1055.39/1055.65	c 1052s |      18 |   391630 |   308352 |   372932      0 |    16525 |    22851
1057.59/1057.81	c 1054s |      18 |   392339 |   308952 |   372932      0 |    16525 |    22851
1059.59/1059.86	c 1056s |      18 |   392797 |   309352 |   372932      0 |    16525 |    22851
1061.79/1062.07	c 1058s |      18 |   393474 |   309952 |   372932      0 |    16525 |    22851
1063.99/1064.22	c 1060s |      18 |   394045 |   310452 |   372932      0 |    16525 |    22851
1065.98/1066.26	c 1062s |      18 |   394615 |   310952 |   372932      0 |    16525 |    22851
1068.28/1068.51	c 1064s |      18 |   395332 |   311552 |   372932      0 |    16525 |    22851
1070.58/1070.82	c 1067s |      18 |   396154 |   312252 |   372932      0 |    16525 |    22851
1072.88/1073.16	c 1069s |      18 |   396972 |   312952 |   372932      0 |    16525 |    22851
1075.07/1075.30	c 1071s |      18 |   397703 |   313552 |   372932      0 |    16525 |    22851
1077.17/1077.44	c 1073s |      18 |   398382 |   314152 |   372932      0 |    16525 |    22851
1079.27/1079.56	c 1075s |      18 |   399123 |   314752 |   372932      0 |    16525 |    22851
1081.57/1081.80	c 1078s |      18 |   399721 |   315252 |   372932      0 |    16525 |    22851
1083.67/1083.96	c 1080s |      18 |   400316 |   315752 |   372932      0 |    16525 |    22851
1086.17/1086.41	c 1082s |      18 |   400906 |   316252 |   372932      0 |    16525 |    22851
1088.17/1088.48	c 1084s |      18 |   401346 |   316652 |   372932      0 |    16525 |    22851
1090.67/1090.92	c 1087s |      18 |   401916 |   317152 |   372932      0 |    16525 |    22851
1092.87/1093.11	c 1089s |      18 |   402383 |   317552 |   372932      0 |    16525 |    22851
1094.86/1095.13	c 1091s |      18 |   402839 |   317952 |   372932      0 |    16525 |    22851
1096.86/1097.15	c 1093s |      18 |   403291 |   318352 |   372932      0 |    16525 |    22851
1099.16/1099.43	c 1095s |      18 |   403749 |   318752 |   372932      0 |    16525 |    22851
1101.36/1101.67	c 1098s |      18 |   404217 |   319152 |   372932      0 |    16525 |    22851
1103.56/1103.87	c 1100s |      18 |   404792 |   319652 |   372932      0 |    16525 |    22851
1105.86/1106.10	c 1102s |      18 |   405342 |   320152 |   372932      0 |    16525 |    22851
1108.26/1108.50	c 1104s |      18 |   405902 |   320652 |   372932      0 |    16525 |    22851
1110.66/1110.94	c 1107s |      18 |   406488 |   321152 |   372932      0 |    16525 |    22851
1112.96/1113.27	c 1109s |      18 |   407088 |   321652 |   372932      0 |    16525 |    22851
1115.16/1115.49	c 1111s |      18 |   407676 |   322152 |   372932      0 |    16525 |    22851
1117.36/1117.61	c 1114s |      18 |   408291 |   322652 |   372932      0 |    16525 |    22851
1119.56/1119.81	c 1116s |      18 |   408866 |   323152 |   372932      0 |    16525 |    22851
1121.95/1122.23	c 1118s |      18 |   409415 |   323652 |   372932      0 |    16525 |    22851
1123.96/1124.29	c 1120s |      18 |   409860 |   324052 |   372932      0 |    16525 |    22851
1126.15/1126.45	c 1122s |      18 |   410444 |   324552 |   372932      0 |    16525 |    22851
1128.14/1128.47	c 1124s |      18 |   410874 |   324952 |   372932      0 |    16525 |    22851
1130.14/1130.48	c 1126s |      18 |   411339 |   325352 |   372932      0 |    16525 |    22851
1132.24/1132.56	c 1128s |      18 |   411802 |   325752 |   372932      0 |    16525 |    22851
1134.44/1134.73	c 1131s |      18 |   412274 |   326152 |   372932      0 |    16525 |    22851
1136.54/1136.80	c 1133s |      18 |   412740 |   326552 |   372932      0 |    16525 |    22851
1138.64/1138.92	c 1135s |      18 |   413196 |   326952 |   372932      0 |    16525 |    22851
1141.14/1141.40	c 1137s |      18 |   413772 |   327452 |   372932      0 |    16525 |    22851
1143.14/1143.41	c 1139s |      18 |   414221 |   327852 |   372932      0 |    16525 |    22851
1145.13/1145.42	c 1141s |      18 |   414686 |   328252 |   372932      0 |    16525 |    22851
1147.63/1147.93	c 1144s |      18 |   415231 |   328752 |   372932      0 |    16525 |    22851
1150.03/1150.33	c 1146s |      18 |   415815 |   329252 |   372932      0 |    16525 |    22851
1152.43/1152.72	c 1149s |      18 |   416386 |   329752 |   372932      0 |    16525 |    22851
1154.43/1154.77	c 1151s |      18 |   416833 |   330152 |   372932      0 |    16525 |    22851
1156.94/1157.27	c 1153s |      18 |   417406 |   330652 |   372932      0 |    16525 |    22851
1159.03/1159.39	c 1155s |      18 |   417877 |   331052 |   372932      0 |    16525 |    22851
1161.44/1161.75	c 1158s |      18 |   418502 |   331552 |   372932      0 |    16525 |    22851
1163.93/1164.22	c 1160s |      18 |   419076 |   332052 |   372932      0 |    16525 |    22851
1166.32/1166.61	c 1163s |      18 |   419524 |   332452 |   372932      0 |    16525 |    22851
1168.32/1168.69	c 1165s |      18 |   419976 |   332852 |   372932      0 |    16525 |    22851
1170.72/1171.00	c 1167s |      18 |   420428 |   333252 |   372932      0 |    16525 |    22851
1173.12/1173.44	c 1169s |      18 |   420857 |   333652 |   372932      0 |    16525 |    22851
1175.32/1175.67	c 1172s |      18 |   421310 |   334052 |   372932      0 |    16525 |    22851
1178.02/1178.38	c 1174s |      18 |   421753 |   334452 |   372932      0 |    16525 |    22851
1180.42/1180.79	c 1177s |      18 |   422205 |   334852 |   372932      0 |    16525 |    22851
1182.92/1183.21	c 1179s |      18 |   422671 |   335252 |   372932      0 |    16525 |    22851
1185.12/1185.41	c 1181s |      18 |   423134 |   335652 |   372932      0 |    16525 |    22851
1187.32/1187.67	c 1184s |      18 |   423598 |   336052 |   372932      0 |    16525 |    22851
1189.42/1189.74	c 1186s |      18 |   424049 |   336452 |   372932      0 |    16525 |    22851
1191.71/1192.05	c 1188s |      18 |   424512 |   336852 |   372932      0 |    16525 |    22851
1194.21/1194.52	c 1190s |      18 |   425086 |   337352 |   372932      0 |    16525 |    22851
1196.41/1196.72	c 1193s |      18 |   425544 |   337752 |   372932      0 |    16525 |    22851
1198.51/1198.86	c 1195s |      18 |   425998 |   338152 |   372932      0 |    16525 |    22851
1201.11/1201.43	c 1197s |      18 |   426459 |   338552 |   372932      0 |    16525 |    22851
1203.22/1203.54	c 1199s |      18 |   426917 |   338952 |   372932      0 |    16525 |    22851
1205.60/1205.93	c 1202s |      18 |   427411 |   339352 |   372932      0 |    16525 |    22851
1208.10/1208.48	c 1204s |      18 |   427915 |   339752 |   372932      0 |    16525 |    22851
1210.60/1210.95	c 1207s |      18 |   428425 |   340152 |   372932      0 |    16525 |    22851
1212.90/1213.27	c 1209s |      18 |   429007 |   340552 |   372932      0 |    16525 |    22851
1215.31/1215.63	c 1212s |      18 |   429796 |   341152 |   372932      0 |    16525 |    22851
1217.41/1217.74	c 1214s |      18 |   430400 |   341652 |   372932      0 |    16525 |    22851
1219.61/1219.91	c 1216s |      18 |   431001 |   342152 |   372932      0 |    16525 |    22851
1221.60/1221.93	c 1218s |      18 |   431571 |   342652 |   372932      0 |    16525 |    22851
1223.70/1224.05	c 1220s |      18 |   432013 |   343052 |   372932      0 |    16525 |    22851
1225.69/1226.09	c 1222s |      18 |   432615 |   343552 |   372932      0 |    16525 |    22851
1227.99/1228.39	c 1224s |      18 |   433382 |   344152 |   372932      0 |    16525 |    22851
1230.39/1230.75	c 1227s |      18 |   434123 |   344752 |   372932      0 |    16525 |    22851
1232.80/1233.11	c 1229s |      18 |   434971 |   345452 |   372932      0 |    16525 |    22851
1235.10/1235.41	c 1231s |      18 |   435711 |   346052 |   372932      0 |    16525 |    22851
1237.49/1237.86	c 1234s |      18 |   436354 |   346552 |   372932      0 |    16525 |    22851
1239.69/1240.06	c 1236s |      18 |   436999 |   347052 |   372932      0 |    16525 |    22851
1241.69/1242.08	c 1238s |      18 |   437639 |   347552 |   372932      0 |    16525 |    22851
1243.79/1244.17	c 1240s |      18 |   438285 |   348052 |   372932      0 |    16525 |    22851
1245.88/1246.29	c 1242s |      18 |   438866 |   348552 |   372932      0 |    16525 |    22851
1248.29/1248.62	c 1245s |      18 |   439510 |   349052 |   372932      0 |    16525 |    22851
1250.39/1250.74	c 1247s |      18 |   439976 |   349452 |   372932      0 |    16525 |    22851
1252.88/1253.23	c 1249s |      18 |   440595 |   349952 |   372932      0 |    16525 |    22851
1255.08/1255.42	c 1251s |      18 |   441068 |   350352 |   372932      0 |    16525 |    22851
1257.18/1257.51	c 1253s |      18 |   441574 |   350752 |   372932      0 |    16525 |    22851
1259.38/1259.74	c 1256s |      18 |   442215 |   351252 |   372932      0 |    16525 |    22851
1261.58/1261.91	c 1258s |      18 |   442848 |   351752 |   372932      0 |    16525 |    22851
1263.77/1264.19	c 1260s |      18 |   443550 |   352352 |   372932      0 |    16525 |    22851
1265.88/1266.23	c 1262s |      18 |   444210 |   352852 |   372932      0 |    16525 |    22851
1268.17/1268.59	c 1265s |      18 |   444827 |   353352 |   372932      0 |    16525 |    22851
1270.47/1270.86	c 1267s |      18 |   445424 |   353852 |   372932      0 |    16525 |    22851
1272.77/1273.12	c 1269s |      18 |   446030 |   354352 |   372932      0 |    16525 |    22851
1274.87/1275.27	c 1271s |      18 |   446620 |   354852 |   372932      0 |    16525 |    22851
1276.97/1277.31	c 1273s |      18 |   447263 |   355352 |   372932      0 |    16525 |    22851
1278.97/1279.31	c 1275s |      18 |   448033 |   355952 |   372932      0 |    16525 |    22851
1281.47/1281.84	c 1278s |      18 |   448620 |   356452 |   372932      0 |    16525 |    22851
1283.56/1283.91	c 1280s |      18 |   449134 |   356852 |   372932      0 |    16525 |    22851
1285.57/1285.94	c 1282s |      18 |   449737 |   357352 |   372932      0 |    16525 |    22851
1287.77/1288.19	c 1284s |      18 |   450395 |   357852 |   372932      0 |    16525 |    22851
1290.26/1290.60	c 1287s |      18 |   451104 |   358452 |   372932      0 |    16525 |    22851
1292.46/1292.84	c 1289s |      18 |   451817 |   359052 |   372932      0 |    16525 |    22851
1295.05/1295.45	c 1291s |      18 |   452429 |   359552 |   372932      0 |    16525 |    22851
1297.45/1297.84	c 1294s |      18 |   452893 |   359952 |   372932      0 |    16525 |    22851
1299.65/1300.02	c 1296s |      18 |   453387 |   360352 |   372932      0 |    16525 |    22851
1301.75/1302.16	c 1298s |      18 |   453847 |   360752 |   372932      0 |    16525 |    22851
1303.95/1304.34	c 1300s |      18 |   454467 |   361252 |   372932      0 |    16525 |    22851
1306.35/1306.72	c 1303s |      18 |   455192 |   361852 |   372932      0 |    16525 |    22851
1308.65/1309.05	c 1305s |      18 |   455939 |   362452 |   372932      0 |    16525 |    22851
1310.75/1311.17	c 1307s |      18 |   456580 |   362952 |   372932      0 |    16525 |    22851
1312.95/1313.39	c 1309s |      18 |   457183 |   363452 |   372932      0 |    16525 |    22851
1315.05/1315.41	c 1311s |      18 |   457729 |   363852 |   372932      0 |    16525 |    22851
1317.25/1317.60	c 1314s |      18 |   458225 |   364252 |   372932      0 |    16525 |    22851
1319.45/1319.83	c 1316s |      18 |   458828 |   364752 |   372932      0 |    16525 |    22851
1321.55/1321.91	c 1318s |      18 |   459349 |   365152 |   372932      0 |    16525 |    22851
1323.95/1324.34	c 1320s |      18 |   460012 |   365652 |   372932      0 |    16525 |    22851
1326.36/1326.78	c 1323s |      18 |   460650 |   366152 |   372932      0 |    16525 |    22851
1328.46/1328.83	c 1325s |      18 |   461484 |   366652 |   372932      0 |    16525 |    22851
1330.55/1330.96	c 1327s |      18 |   462197 |   367152 |   372932      0 |    16525 |    22851
1332.85/1333.28	c 1329s |      18 |   462863 |   367652 |   372932      0 |    16525 |    22851
1335.15/1335.56	c 1331s |      18 |   463515 |   368152 |   372932      0 |    16525 |    22851
1337.44/1337.86	c 1334s |      18 |   464316 |   368752 |   372932      0 |    16525 |    22851
1339.64/1340.01	c 1336s |      18 |   464918 |   369252 |   372932      0 |    16525 |    22851
1341.75/1342.14	c 1338s |      18 |   465586 |   369752 |   372932      0 |    16525 |    22851
1344.24/1344.61	c 1341s |      18 |   466269 |   370252 |   372932      0 |    16525 |    22851
1346.44/1346.86	c 1343s |      18 |   466744 |   370652 |   372932      0 |    16525 |    22851
1348.44/1348.89	c 1345s |      18 |   467209 |   371052 |   372932      0 |    16525 |    22851
1350.64/1351.03	c 1347s |      18 |   467679 |   371452 |   372932      0 |    16525 |    22851
1352.94/1353.31	c 1349s |      18 |   468168 |   371852 |   372932      0 |    16525 |    22851
1354.94/1355.36	c 1351s |      18 |   468643 |   372252 |   372932      0 |    16525 |    22851
1356.93/1357.37	c 1353s |      18 |   469138 |   372652 |   372932      0 |    16525 |    22851
1359.24/1359.64	c 1356s |      18 |   469732 |   373152 |   372932      0 |    16525 |    22851
1361.33/1361.73	c 1358s |      18 |   470196 |   373552 |   372932      0 |    16525 |    22851
1363.43/1363.82	c 1360s |      18 |   470669 |   373952 |   372932      0 |    16525 |    22851
1365.53/1365.92	c 1362s |      18 |   471155 |   374352 |   372932      0 |    16525 |    22851
1367.63/1368.04	c 1364s |      18 |   471725 |   374852 |   372932      0 |    16525 |    22851
1370.02/1370.42	c 1366s |      18 |   472352 |   375352 |   372932      0 |    16525 |    22851
1372.53/1372.95	c 1369s |      18 |   472815 |   375752 |   372932      0 |    16525 |    22851
1375.12/1375.52	c 1371s |      18 |   473255 |   376152 |   372932      0 |    16525 |    22851
1377.72/1378.14	c 1374s |      18 |   473718 |   376552 |   372932      0 |    16525 |    22851
1379.72/1380.15	c 1376s |      18 |   474185 |   376952 |   372932      0 |    16525 |    22851
1381.72/1382.19	c 1378s |      18 |   474519 |   377252 |   372932      0 |    16525 |    22851
1384.02/1384.43	c 1380s |      18 |   474997 |   377652 |   372932      0 |    16525 |    22851
1386.72/1387.17	c 1383s |      18 |   475602 |   378152 |   372932      0 |    16525 |    22851
1388.81/1389.22	c 1385s |      18 |   475939 |   378452 |   372932      0 |    16525 |    22851
1390.91/1391.33	c 1387s |      18 |   476407 |   378852 |   372932      0 |    16525 |    22851
1393.01/1393.47	c 1389s |      18 |   476879 |   379252 |   372932      0 |    16525 |    22851
1395.41/1395.83	c 1392s |      18 |   477373 |   379652 |   372932      0 |    16525 |    22851
1397.41/1397.84	c 1394s |      18 |   477884 |   380052 |   372932      0 |    16525 |    22851
1399.61/1400.05	c 1396s |      18 |   478554 |   380552 |   372932      0 |    16525 |    22851
1401.61/1402.06	c 1398s |      18 |   479058 |   380952 |   372932      0 |    16525 |    22851
1403.71/1404.19	c 1400s |      18 |   479511 |   381352 |   372932      0 |    16525 |    22851
1406.01/1406.40	c 1402s |      18 |   479999 |   381752 |   372932      0 |    16525 |    22851
1408.51/1408.99	c 1405s |      18 |   480609 |   382252 |   372932      0 |    16525 |    22851
1410.71/1411.16	c 1407s |      18 |   481099 |   382652 |   372932      0 |    16525 |    22851
1413.11/1413.50	c 1409s |      18 |   481714 |   383152 |   372932      0 |    16525 |    22851
1415.50/1415.94	c 1412s |      18 |   482178 |   383552 |   372932      0 |    16525 |    22851
1417.80/1418.20	c 1414s |      18 |   482659 |   383952 |   372932      0 |    16525 |    22851
1420.00/1420.46	c 1416s |      18 |   483119 |   384352 |   372932      0 |    16525 |    22851
1422.20/1422.64	c 1419s |      18 |   483579 |   384752 |   372932      0 |    16525 |    22851
1424.30/1424.76	c 1421s |      18 |   484042 |   385152 |   372932      0 |    16525 |    22851
1426.70/1427.11	c 1423s |      18 |   484630 |   385652 |   372932      0 |    16525 |    22851
1428.90/1429.37	c 1425s |      18 |   485226 |   386152 |   372932      0 |    16525 |    22851
1431.10/1431.58	c 1428s |      18 |   485808 |   386652 |   372932      0 |    16525 |    22851
1433.20/1433.62	c 1430s |      18 |   486265 |   387052 |   372932      0 |    16525 |    22851
1435.20/1435.65	c 1432s |      18 |   486733 |   387452 |   372932      0 |    16525 |    22851
1437.40/1437.86	c 1434s |      18 |   487215 |   387852 |   372932      0 |    16525 |    22851
1439.60/1440.01	c 1436s |      18 |   487676 |   388252 |   372932      0 |    16525 |    22851
1441.80/1442.23	c 1438s |      18 |   488148 |   388652 |   372932      0 |    16525 |    22851
1443.90/1444.31	c 1440s |      18 |   488646 |   389052 |   372932      0 |    16525 |    22851
1445.99/1446.50	c 1442s |      18 |   489145 |   389452 |   372932      0 |    16525 |    22851
1448.19/1448.64	c 1445s |      18 |   489649 |   389852 |   372932      0 |    16525 |    22851
1450.19/1450.64	c 1447s |      18 |   490027 |   390152 |   372932      0 |    16525 |    22851
1452.39/1452.88	c 1449s |      18 |   490485 |   390552 |   372932      0 |    16525 |    22851
1454.89/1455.33	c 1451s |      18 |   491087 |   391052 |   372932      0 |    16525 |    22851
1457.19/1457.63	c 1454s |      18 |   491628 |   391452 |   372932      0 |    16525 |    22851
1459.29/1459.78	c 1456s |      18 |   492143 |   391852 |   372932      0 |    16525 |    22851
1461.68/1462.13	c 1458s |      18 |   492630 |   392252 |   372932      0 |    16525 |    22851
1463.69/1464.17	c 1460s |      18 |   492986 |   392552 |   372932      0 |    16525 |    22851
1466.18/1466.69	c 1463s |      18 |   493449 |   392952 |   372932      0 |    16525 |    22851
1468.38/1468.88	c 1465s |      18 |   493923 |   393352 |   372932      0 |    16525 |    22851
1470.48/1470.96	c 1467s |      18 |   494410 |   393752 |   372932      0 |    16525 |    22851
1472.78/1473.22	c 1469s |      18 |   494890 |   394152 |   372932      0 |    16525 |    22851
1475.37/1475.84	c 1472s |      18 |   495353 |   394552 |   372932      0 |    16525 |    22851
1477.47/1477.99	c 1474s |      18 |   495875 |   394952 |   372932      0 |    16525 |    22851
1479.57/1480.09	c 1476s |      18 |   496374 |   395352 |   372932      0 |    16525 |    22851
1481.87/1482.35	c 1478s |      18 |   496876 |   395752 |   372932      0 |    16525 |    22851
1483.87/1484.37	c 1480s |      18 |   497246 |   396052 |   372932      0 |    16525 |    22851
1486.27/1486.73	c 1483s |      18 |   497732 |   396452 |   372932      0 |    16525 |    22851
1488.27/1488.76	c 1485s |      18 |   498221 |   396852 |   372932      0 |    16525 |    22851
1490.67/1491.12	c 1487s |      18 |   498830 |   397352 |   372932      0 |    16525 |    22851
1492.87/1493.31	c 1489s |      18 |   499283 |   397752 |   372932      0 |    16525 |    22851
1494.96/1495.43	c 1491s |      18 |   499772 |   398152 |   372932      0 |    16525 |    22851
1497.36/1497.88	c 1494s |      18 |   500237 |   398552 |   372932      0 |    16525 |    22851
1499.97/1500.49	c 1496s |      18 |   500746 |   398952 |   372932      0 |    16525 |    22851
1502.56/1503.08	c 1499s |      18 |   501223 |   399352 |   372932      0 |    16525 |    22851
1504.66/1505.18	c 1501s |      18 |   501605 |   399652 |   372932      0 |    16525 |    22851
1506.95/1507.46	c 1503s |      18 |   501945 |   399952 |   372932      0 |    16525 |    22851
1509.05/1509.51	c 1505s |      18 |   502319 |   400252 |   372932      0 |    16525 |    22851
1511.45/1511.91	c 1508s |      18 |   502845 |   400652 |   372932      0 |    16525 |    22851
1513.75/1514.29	c 1510s |      18 |   503316 |   401052 |   372932      0 |    16525 |    22851
1515.85/1516.30	c 1512s |      18 |   503680 |   401352 |   372932      0 |    16525 |    22851
1517.95/1518.42	c 1514s |      18 |   504024 |   401652 |   372932      0 |    16525 |    22851
1520.55/1521.03	c 1517s |      18 |   504530 |   402052 |   372932      0 |    16525 |    22851
1523.06/1523.50	c 1519s |      18 |   505140 |   402552 |   372932      0 |    16525 |    22851
1525.36/1525.82	c 1522s |      18 |   505620 |   402952 |   372932      0 |    16525 |    22851
1527.75/1528.21	c 1524s |      18 |   506089 |   403352 |   372932      0 |    16525 |    22851
1529.76/1530.29	c 1526s |      18 |   506548 |   403752 |   372932      0 |    16525 |    22851
1531.96/1532.40	c 1528s |      18 |   507031 |   404152 |   372932      0 |    16525 |    22851
1534.45/1534.93	c 1531s |      18 |   507603 |   404652 |   372932      0 |    16525 |    22851
1536.75/1537.25	c 1533s |      18 |   508070 |   405052 |   372932      0 |    16525 |    22851
1538.85/1539.32	c 1535s |      18 |   508419 |   405352 |   372932      0 |    16525 |    22851
1541.05/1541.53	c 1537s |      18 |   508905 |   405752 |   372932      0 |    16525 |    22851
1543.05/1543.54	c 1539s |      18 |   509391 |   406152 |   372932      0 |    16525 |    22851
1545.15/1545.66	c 1542s |      18 |   509843 |   406552 |   372932      0 |    16525 |    22851
1547.74/1548.26	c 1544s |      18 |   510439 |   407052 |   372932      0 |    16525 |    22851
1549.94/1550.46	c 1546s |      18 |   510905 |   407452 |   372932      0 |    16525 |    22851
1552.14/1552.62	c 1549s |      18 |   511358 |   407852 |   372932      0 |    16525 |    22851
1554.34/1554.87	c 1551s |      18 |   511863 |   408252 |   372932      0 |    16525 |    22851
1556.64/1557.18	c 1553s |      18 |   512363 |   408652 |   372932      0 |    16525 |    22851
1558.84/1559.39	c 1555s |      18 |   512827 |   409052 |   372932      0 |    16525 |    22851
1561.24/1561.71	c 1558s |      18 |   513301 |   409452 |   372932      0 |    16525 |    22851
1563.74/1564.28	c 1560s |      18 |   513810 |   409852 |   372932      0 |    16525 |    22851
1566.23/1566.75	c 1563s |      18 |   514329 |   410252 |   372932      0 |    16525 |    22851
1568.83/1569.36	c 1565s |      18 |   514812 |   410652 |   372932      0 |    16525 |    22851
1571.23/1571.73	c 1568s |      18 |   515272 |   411052 |   372932      0 |    16525 |    22851
1573.64/1574.20	c 1570s |      18 |   515727 |   411452 |   372932      0 |    16525 |    22851
1575.73/1576.21	c 1572s |      18 |   516117 |   411752 |   372932      0 |    16525 |    22851
1577.73/1578.29	c 1574s |      18 |   516462 |   412052 |   372932      0 |    16525 |    22851
1580.13/1580.61	c 1577s |      18 |   516924 |   412452 |   372932      0 |    16525 |    22851
1582.23/1582.78	c 1579s |      18 |   517383 |   412852 |   372932      0 |    16525 |    22851
1584.33/1584.81	c 1581s |      18 |   517840 |   413252 |   372932      0 |    16525 |    22851
1586.42/1586.97	c 1583s |      18 |   518301 |   413652 |   372932      0 |    16525 |    22851
1588.82/1589.33	c 1585s |      18 |   518763 |   414052 |   372932      0 |    16525 |    22851
1590.92/1591.44	c 1587s |      18 |   519099 |   414352 |   372932      0 |    16525 |    22851
1593.12/1593.68	c 1590s |      18 |   519465 |   414652 |   372932      0 |    16525 |    22851
1595.62/1596.18	c 1592s |      18 |   519955 |   415052 |   372932      0 |    16525 |    22851
1597.92/1598.43	c 1594s |      18 |   520407 |   415452 |   372932      0 |    16525 |    22851
1600.02/1600.57	c 1596s |      18 |   520786 |   415752 |   372932      0 |    16525 |    22851
1602.32/1602.87	c 1599s |      18 |   521311 |   416152 |   372932      0 |    16525 |    22851
1604.81/1605.37	c 1601s |      18 |   521850 |   416552 |   372932      0 |    16525 |    22851
1606.91/1607.49	c 1603s |      18 |   522224 |   416852 |   372932      0 |    16525 |    22851
1609.21/1609.75	c 1606s |      18 |   522755 |   417252 |   372932      0 |    16525 |    22851
1611.41/1611.92	c 1608s |      18 |   523307 |   417652 |   372932      0 |    16525 |    22851
1613.71/1614.28	c 1610s |      18 |   523801 |   418052 |   372932      0 |    16525 |    22851
1616.31/1616.86	c 1613s |      18 |   524296 |   418452 |   372932      0 |    16525 |    22851
1618.41/1618.96	c 1615s |      18 |   524668 |   418752 |   372932      0 |    16525 |    22851
1620.91/1621.43	c 1617s |      18 |   525186 |   419152 |   372932      0 |    16525 |    22851
1623.11/1623.61	c 1620s |      18 |   525666 |   419552 |   372932      0 |    16525 |    22851
1625.50/1626.05	c 1622s |      18 |   526142 |   419952 |   372932      0 |    16525 |    22851
1627.80/1628.36	c 1624s |      18 |   526648 |   420352 |   372932      0 |    16525 |    22851
1629.81/1630.37	c 1626s |      18 |   527124 |   420752 |   372932      0 |    16525 |    22851
1632.20/1632.78	c 1629s |      18 |   527748 |   421252 |   372932      0 |    16525 |    22851
1634.80/1635.34	c 1631s |      18 |   528363 |   421752 |   372932      0 |    16525 |    22851
1636.90/1637.49	c 1633s |      18 |   529006 |   422252 |   372932      0 |    16525 |    22851
1639.00/1639.58	c 1636s |      18 |   529485 |   422652 |   372932      0 |    16525 |    22851
1643.60/1644.16	c 1640s |      18 |   529825 |   422952 |   372932      1 |    16525 |    22851
1645.70/1646.23	c 1642s |      18 |   530325 |   423352 |   372932      1 |    16525 |    22851
1647.90/1648.48	c 1644s |      18 |   530974 |   423852 |   372932      1 |    16525 |    22851
1650.00/1650.55	c 1646s |      18 |   531566 |   424352 |   372932      1 |    16525 |    22851
1652.30/1652.80	c 1649s |      18 |   532198 |   424852 |   372932      1 |    16525 |    22851
1654.50/1655.01	c 1651s |      18 |   532797 |   425352 |   372932      1 |    16525 |    22851
1656.70/1657.29	c 1653s |      18 |   533551 |   425952 |   372932      1 |    16525 |    22851
1659.20/1659.72	c 1656s |      18 |   534138 |   426452 |   372932      1 |    16525 |    22851
1661.60/1662.14	c 1658s |      18 |   534731 |   426952 |   372932      1 |    16525 |    22851
1663.70/1664.24	c 1660s |      18 |   535338 |   427452 |   372932      1 |    16525 |    22851
1665.89/1666.46	c 1662s |      18 |   535943 |   427952 |   372932      1 |    16525 |    22851
1667.89/1668.49	c 1664s |      18 |   536393 |   428352 |   372932      1 |    16525 |    22851
1670.19/1670.73	c 1667s |      18 |   537134 |   428852 |   372932      1 |    16525 |    22851
1672.49/1673.04	c 1669s |      18 |   537761 |   429352 |   372932      1 |    16525 |    22851
1674.69/1675.25	c 1671s |      18 |   538372 |   429852 |   372932      1 |    16525 |    22851
1676.89/1677.50	c 1673s |      18 |   538958 |   430352 |   372932      1 |    16525 |    22851
1678.99/1679.52	c 1675s |      18 |   539562 |   430852 |   372932      1 |    16525 |    22851
1681.29/1681.85	c 1678s |      18 |   540147 |   431352 |   372932      1 |    16525 |    22851
1683.60/1684.11	c 1680s |      18 |   540731 |   431852 |   372932      1 |    16525 |    22851
1685.80/1686.34	c 1682s |      18 |   541304 |   432352 |   372932      1 |    16525 |    22851
1688.19/1688.73	c 1685s |      18 |   541976 |   432852 |   372932      1 |    16525 |    22851
1690.49/1691.07	c 1687s |      18 |   542579 |   433352 |   372932      1 |    16525 |    22851
1692.59/1693.17	c 1689s |      18 |   543201 |   433852 |   372932      1 |    16525 |    22851
1695.09/1695.68	c 1692s |      18 |   543779 |   434352 |   372932      1 |    16525 |    22851
1697.29/1697.86	c 1694s |      18 |   544251 |   434752 |   372932      1 |    16525 |    22851
1700.10/1700.64	c 1697s |      18 |   544818 |   435252 |   372932      1 |    16525 |    22851
1702.19/1702.76	c 1699s |      18 |   545294 |   435652 |   372932      1 |    16525 |    22851
1704.60/1705.18	c 1701s |      18 |   545926 |   436152 |   372932      1 |    16525 |    22851
1706.80/1707.35	c 1703s |      18 |   546426 |   436552 |   372932      1 |    16525 |    22851
1708.79/1709.37	c 1705s |      18 |   546891 |   436952 |   372932      1 |    16525 |    22851
1711.29/1711.81	c 1708s |      18 |   547470 |   437452 |   372932      1 |    16525 |    22851
1713.59/1714.17	c 1710s |      18 |   548063 |   437952 |   372932      1 |    16525 |    22851
1715.59/1716.17	c 1712s |      18 |   548531 |   438352 |   372932      1 |    16525 |    22851
1717.99/1718.56	c 1714s |      18 |   548995 |   438752 |   372932      1 |    16525 |    22851
1720.59/1721.10	c 1717s |      18 |   549565 |   439252 |   372932      1 |    16525 |    22851
1722.59/1723.14	c 1719s |      18 |   550006 |   439652 |   372932      1 |    16525 |    22851
1724.78/1725.32	c 1721s |      18 |   550454 |   440052 |   372932      1 |    16525 |    22851
1727.28/1727.80	c 1724s |      18 |   551024 |   440552 |   372932      1 |    16525 |    22851
1729.28/1729.85	c 1726s |      18 |   551453 |   440952 |   372932      1 |    16525 |    22851
1731.68/1732.29	c 1728s |      18 |   552027 |   441452 |   410226      1 |    16525 |    22851
1733.98/1734.54	c 1730s |      18 |   552499 |   441852 |   410226      1 |    16525 |    22851
1736.39/1736.91	c 1733s |      18 |   552975 |   442252 |   410226      1 |    16525 |    22851
1738.38/1738.92	c 1735s |      18 |   553433 |   442652 |   410226      1 |    16525 |    22851
1740.58/1741.11	c 1737s |      18 |   553872 |   443052 |   410226      1 |    16525 |    22851
1742.78/1743.36	c 1739s |      18 |   554356 |   443452 |   410226      1 |    16525 |    22851
1744.88/1745.41	c 1741s |      18 |   554802 |   443852 |   410226      1 |    16525 |    22851
1746.88/1747.42	c 1743s |      18 |   555280 |   444252 |   410226      1 |    16525 |    22851
1747.88/1748.49	c 1744s |      19 |   555574 |   444482 |   410226      1 |    16525 |    22851
1750.70/1751.22	c 1747s |      19 |   556005 |   444582 |   410226      1 |    16525 |    22851
1753.00/1753.55	c 1749s |      19 |   556659 |   444982 |   410226      1 |    16525 |    22851
1755.39/1755.93	c 1752s |      19 |   557294 |   445482 |   410226      1 |    16525 |    22851
1757.69/1758.25	c 1754s |      19 |   557974 |   445982 |   410226      1 |    16525 |    22851
1759.69/1760.28	c 1756s |      19 |   558333 |   446282 |   410226      1 |    16525 |    22851
1762.09/1762.66	c 1759s |      19 |   558980 |   446782 |   410226      1 |    16525 |    22851
1764.19/1764.78	c 1761s |      19 |   559662 |   447282 |   410226      1 |    16525 |    22851
1766.39/1766.96	c 1763s |      19 |   560315 |   447782 |   410226      1 |    16525 |    22851
1768.59/1769.12	c 1765s |      19 |   561010 |   448282 |   410226      1 |    16525 |    22851
1770.79/1771.35	c 1767s |      19 |   561700 |   448782 |   410226      1 |    16525 |    22851
1772.99/1773.55	c 1769s |      19 |   562361 |   449282 |   410226      1 |    16525 |    22851
1775.19/1775.80	c 1772s |      19 |   562969 |   449782 |   410226      1 |    16525 |    22851
1777.48/1778.07	c 1774s |      19 |   563589 |   450282 |   410226      1 |    16525 |    22851
1779.88/1780.46	c 1776s |      19 |   564358 |   450882 |   410226      1 |    16525 |    22851
1781.88/1782.48	c 1778s |      19 |   564967 |   451382 |   410226      1 |    16525 |    22851
1784.08/1784.60	c 1781s |      19 |   565747 |   451982 |   410226      1 |    16525 |    22851
1786.08/1786.61	c 1783s |      19 |   566386 |   452482 |   410226      1 |    16525 |    22851
1788.28/1788.89	c 1785s |      19 |   567186 |   453082 |   410226      1 |    16525 |    22851
1790.48/1791.07	c 1787s |      19 |   567940 |   453682 |   410226      1 |    16525 |    22851
1792.88/1793.45	c 1789s |      19 |   568760 |   454282 |   410226      1 |    16525 |    22851
1794.98/1795.52	c 1791s |      19 |   569560 |   454782 |   410226      1 |    16525 |    22851
1797.38/1797.94	c 1794s |      19 |   570347 |   455382 |   410226      1 |    16525 |    22851
1799.38/1799.94	c 1796s |      19 |   570981 |   455882 |   410226      1 |    16525 |    22851

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

pid=29621
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.30 2.27 2.26 3/179 29624
/proc/meminfo: memFree=29081748/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 2671 0 0 0 0 0 0 0 20 0 4 0 31114327 734457856 3032 33554432000 4194304 16246674 140736189874608 140736189874032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 179823 3041 441 2943 0 176717 0
[pid=29624/tid=29625] ppid=29621 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 752283648 3101 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 756477952 3119 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31114327 760672256 3135 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.30 2.27 2.26 3/179 29624
/proc/meminfo: memFree=29081748/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 28328 0 0 0 6 3 0 0 20 0 4 0 31114327 1333334016 28627 33554432000 4194304 16246674 140736189874608 140736189873920 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 325521 28642 801 2943 0 322415 0
[pid=29624/tid=29625] ppid=29621 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1333334016 28652 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1333334016 28663 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1333334016 28674 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1302084

[startup+0.200469 s]
/proc/loadavg: 2.30 2.27 2.26 3/179 29624
/proc/meminfo: memFree=29081748/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 46624 0 0 0 13 6 0 0 20 0 4 0 31114327 1344868352 47433 33554432000 4194304 16246674 140736189874608 140736189873920 7379318 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 328337 47433 801 2943 0 325231 0
[pid=29624/tid=29625] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 47433 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 47433 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 47433 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1313348

[startup+0.30051 s]
/proc/loadavg: 2.30 2.27 2.26 3/179 29624
/proc/meminfo: memFree=29081748/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 60757 0 0 0 21 7 0 0 20 0 4 0 31114327 1344868352 61566 33554432000 4194304 16246674 140736189874608 140736189873920 8058235 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 328337 61566 801 2943 0 325231 0
[pid=29624/tid=29625] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 61566 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 61566 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 61566 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700408 s]
/proc/loadavg: 2.30 2.27 2.26 3/179 29624
/proc/meminfo: memFree=29081748/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 69986 0 0 0 60 9 0 0 20 0 4 0 31114327 1344868352 70795 33554432000 4194304 16246674 140736189874608 140736189857600 12752306 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 328337 70795 802 2943 0 325231 0
[pid=29624/tid=29625] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 70795 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 70795 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1344868352 70795 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.30 2.27 2.26 3/183 29628
/proc/meminfo: memFree=28777524/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1.49 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 102709 0 0 0 135 14 0 0 20 0 4 0 31114327 1364791296 103519 33554432000 4194304 16246674 140736189874608 140736189856512 6972638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 103527 832 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 103532 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 103537 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 103543 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1332804

[startup+3.1004 s]
/proc/loadavg: 2.30 2.27 2.26 4/183 29628
/proc/meminfo: memFree=28183432/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=3.09 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 273820 0 0 0 269 40 0 0 20 0 4 0 31114327 1364791296 274629 33554432000 4194304 16246674 140736189874608 140736189856512 12473214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274629 840 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274629 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274629 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274629 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1332804

[startup+6.30041 s]
/proc/loadavg: 2.36 2.28 2.26 4/183 29628
/proc/meminfo: memFree=27984448/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=6.29 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 273876 0 0 0 589 40 0 0 20 0 4 0 31114327 1364791296 274685 33554432000 4194304 16246674 140736189874608 140736189856512 13897136 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274685 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274685 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274685 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274685 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1332804

[startup+12.7004 s]
/proc/loadavg: 2.33 2.28 2.26 3/183 29628
/proc/meminfo: memFree=27984732/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=12.69 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 273879 0 0 0 1229 40 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140736189856512 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274688 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1332804

[startup+25.5004 s]
/proc/loadavg: 2.40 2.30 2.26 4/183 29628
/proc/meminfo: memFree=27985704/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=25.49 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 273879 0 0 0 2509 40 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140736189856512 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274688 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1332804

[startup+51.1005 s]
/proc/loadavg: 2.38 2.30 2.27 3/183 29628
/proc/meminfo: memFree=27985712/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=51.08 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 273879 0 0 0 5068 40 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140736189856512 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274688 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1332804

[startup+102.3 s]
/proc/loadavg: 2.35 2.30 2.27 3/183 29630
/proc/meminfo: memFree=27986124/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=102.28 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 273879 0 0 0 10188 40 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140736189856512 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274688 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274688 33554432000 4194304 16246674 140736189874608 140338907827376 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) 1332804


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

/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.38 2.31 2.27 3/183 29732
/proc/meminfo: memFree=27994940/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1301.95 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 274116 0 0 0 130153 42 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140736189856512 13820875 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274691 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.41 2.33 2.28 3/184 29736
/proc/meminfo: memFree=27994992/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1361.93 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 274154 0 0 0 136150 43 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140736189856512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274691 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.33 2.33 2.28 3/183 29737
/proc/meminfo: memFree=27994908/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1421.91 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 274191 0 0 0 142148 43 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140736189856512 5677179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274691 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.40 2.35 2.29 3/183 29738
/proc/meminfo: memFree=27995160/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1481.87 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 274231 0 0 0 148144 43 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140736189856512 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274691 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.40 2.35 2.28 3/183 29739
/proc/meminfo: memFree=27994672/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1541.85 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 274257 0 0 0 154142 43 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140736189856512 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274691 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.19 2.30 2.27 3/183 29741
/proc/meminfo: memFree=27994960/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1332804 CPUtime=1601.81 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 274290 0 0 0 160138 43 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140736189856512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 333201 274691 893 2943 0 330095 0
[pid=29624/tid=29625] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1364791296 274691 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/183 29742
/proc/meminfo: memFree=27935576/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1391172 CPUtime=1661.8 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 288901 0 0 0 166135 45 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140736189856512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 347793 289283 893 2943 0 344687 0
[pid=29624/tid=29625] ppid=29621 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1391172

[startup+1722.3 s]
/proc/loadavg: 2.40 2.33 2.28 3/183 29743
/proc/meminfo: memFree=27869996/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1391172 CPUtime=1721.79 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 288901 0 0 0 172134 45 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140736189856512 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 347793 289283 893 2943 0 344687 0
[pid=29624/tid=29625] ppid=29621 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1391172 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1424560128 289283 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1391172

[startup+1782.3 s]
/proc/loadavg: 2.34 2.33 2.28 3/183 29744
/proc/meminfo: memFree=27802076/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1458756 CPUtime=1781.78 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 305797 0 0 0 178130 48 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140736189856512 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 364689 306179 893 2943 0 361583 0
[pid=29624/tid=29625] ppid=29621 vsize=1458756 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1458756 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1458756 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1458756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 29744
/proc/meminfo: memFree=27802576/32872528 swapFree=1499884/1696108
[pid=29624] ppid=29621 vsize=1458756 CPUtime=1800.08 cores=0,2,4,6
/proc/29624/stat : 29624 (toysat) R 29621 29624 24910 0 -1 4202496 305797 0 0 0 179960 48 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140736189856512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29624/statm: 364689 306179 893 2943 0 361583 0
[pid=29624/tid=29625] ppid=29621 vsize=1458756 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29625/stat : 29625 (toysat) S 29621 29624 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140338928790768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=29624/tid=29626] ppid=29621 vsize=1458756 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29626/stat : 29626 (toysat) S 29621 29624 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140338918300912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=29624/tid=29627] ppid=29621 vsize=1458756 CPUtime=0 cores=0,2,4,6
/proc/29624/task/29627/stat : 29627 (toysat) S 29621 29624 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31114327 1493766144 306179 33554432000 4194304 16246674 140736189874608 140338907827376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1458756

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1799.61
CPU system time (s): 0.492925
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1458756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.492925
maximum resident set size= 1224716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305797
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= 457
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5853 second user time and 6.96294 second system time

The end

Begin job on node137 at 2016-06-19 00:58:06
IDJOB=4107971
IDBENCH=74391
IDSOLVER=2542
FILE ID=node137/4107971-1466290686
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71680 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107971-1466290686/watcher-4107971-1466290686 -o /tmp/evaluation-result-4107971-1466290686/solver-4107971-1466290686 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107971-1466290686.opb

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

MD5SUM BENCH= cf899369697891a2aa5256c136e26408
RANDOM SEED=206542294

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29082128 kB
Buffers:           46840 kB
Cached:           178236 kB
SwapCached:         1216 kB
Active:          1235912 kB
Inactive:         117360 kB
Active(anon):    1126924 kB
Inactive(anon):     3248 kB
Active(file):     108988 kB
Inactive(file):   114112 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             22680 kB
Writeback:             0 kB
AnonPages:       2823396 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             605048 kB
SReclaimable:      48520 kB
SUnreclaim:       556528 kB
KernelStack:        1456 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2965332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1316864 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= 71656 MiB
End job on node137 at 2016-06-19 01:28:07