0.00/0.00	c 2016-06-26T16:18:46+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-4116597-1466950725.opb"]
0.00/0.01	c use --random-gen="4127131282 3283635268 3864968562 1123805634 820940350 130681643 1423220838 425770830 3861211770 851734496 2257911255 2205826872 3325435502 3903390842 3115433739 1182430063 2082568792 658521454 197373717 2885899350 3081866119 1181249335 3970504295 2873144922 850967047 2300257557 361490458 3389191126 46789395 1716584408 4043078058 902549717 2989266564 1818633215 269461137 2234270248 3694546389 1648663597 539613713 2943203391 3442873175 3249979144 4150394372 3313206843 3031604810 2740210019 2403304056 3557141157 3819285661 3832122084 307856429 3675365273 1648644900 2010309347 35022400 3711285272 1375791352 2398110259 2200799253 1537341761 909168303 3196443103 1691271633 1265458267 2091875272 977138986 3914296010 3153733167 1978601838 1112011545 1490459440 3279980459 86225691 14831185 1772372851 3226846247 4059316387 580915942 2880973354 587038793 3331782863 1201292782 4064242185 4288139575 364090640 1921038602 368104918 342750182 4214509405 1166335435 488120263 148453027 3429237612 2522575104 425197366 4168169522 154550403 3631817818 3416944928 3187539241 2465665759 393168847 1607907006 2479568559 1834968352 3539453091 1054905457 1942671010 1622172226 125492324 3951222100 2822829536 3072474812 2090617891 670565105 2442800777 2959529134 2203359409 1889264269 934073080 558459607 1596664496 1799178416 592356162 3131672895 4197737763 4263898703 296031520 2352877121 3367569309 3515666761 3925191825 2603372661 3474571595 3079312641 3441380687 2934738617 3738461796 3743338854 1917124882 2284813733 296631685 1389470036 857927710 2233909830 3662241067 1506246895 339795750 2071974852 1971910226 2836630716 341514971 2932743868 2605537077 1034549913 448511104 3157004660 2735331599 2127726610 2820068993 453864481 3945695848 2207759964 2996023596 1754642681 2306804472 1452564405 3027015244 3668302819 2877951093 2305015251 3302598024 140943481 2553270824 3716203248 2175556830 2756577790 2613309224 3946420419 98004269 3573551707 2205660023 1454419620 1831245226 4284664908 175833517 3533865820 751116383 1654711467 1787967891 2891958074 4093763826 2152890770 4108218076 1015320289 918800018 1424596517 1877219712 2002008509 4203415183 1729659252 3992384874 970099331 703417285 1820831305 2664108348 2772420827 3693710664 1378940168 4286812027 3647913495 1115248543 2525085715 3512204585 4059375655 3591495538 2680135604 425786324 3290648803 575010037 3521575622 1183405759 4168292389 1962237830 520922863 2838122426 430069669 4146079858 473070604 3480908635 3480920148 3851242501 4284210184 2092854995 2277747863 782505083 1176615753 929581781 3983648431 1741942169 1022665768 628043496 140752451 2947794920 2864933876 3759083073 3500475859 2418551599 2757602431 1159866567 3982851897 3645724958 2661496520 3084788453 4204996466 1944702829 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3968
0.00/0.09	c #constraints 7920
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     3904      0 |      844 |        0
0.29/0.31	c  0.1s |       1 |     1045 |      100 |     3904      0 |      845 |      708
0.39/0.40	c  0.2s |       2 |     2585 |      250 |     4295      0 |      846 |      708
0.49/0.57	c  0.3s |       3 |     4431 |      475 |     4725      0 |      846 |      708
0.89/0.94	c  0.7s |       4 |     5430 |      813 |     5198      0 |      846 |      708
1.20/1.26	c  1.0s |       5 |     9142 |     1320 |     5718      0 |      846 |      708
1.99/2.08	c  1.8s |       6 |    11322 |     2081 |     6920      0 |      846 |      708
2.99/3.07	c  2.8s |       7 |    15480 |     3223 |     7613      0 |      846 |      708
4.19/4.20	c  4.0s |       8 |    22312 |     4936 |     8375      0 |      846 |      708
6.19/6.26	c  6.0s |       8 |    26245 |     7136 |     8375      0 |      846 |      708
6.59/6.66	c  6.4s |       9 |    26696 |     7506 |     9213      0 |      846 |      708
8.69/8.72	c  8.5s |       9 |    30343 |     9206 |     9213      0 |      846 |      708
10.69/10.74	c 10.5s |       9 |    33194 |    10906 |     9213      0 |      846 |      708
11.39/11.40	c 11.2s |      10 |    33789 |    11361 |    10135      0 |      846 |      708
13.40/13.49	c 13.3s |      10 |    38990 |    13461 |    10135      1 |      846 |      708
15.50/15.56	c 15.3s |      10 |    44601 |    15661 |    10135      1 |      846 |      708
17.39/17.42	c 17.2s |      11 |    46575 |    17144 |    11149      1 |      846 |      708
19.39/19.45	c 19.2s |      11 |    53022 |    19244 |    11149      1 |      846 |      708
21.39/21.47	c 21.2s |      11 |    54886 |    20644 |    11149      2 |      846 |      708
23.49/23.54	c 23.3s |      11 |    57133 |    22244 |    11149      2 |      846 |      708
25.59/25.63	c 25.4s |      11 |    58523 |    23444 |    11149      2 |      846 |      708
27.60/27.66	c 27.4s |      11 |    59990 |    24644 |    11149      2 |      846 |      708
29.69/29.74	c 29.5s |      11 |    61350 |    25744 |    12264      2 |      846 |      708
29.80/29.90	c 29.7s |      12 |    61450 |    25819 |    12264      2 |      846 |      708
31.89/31.99	c 31.8s |      12 |    65677 |    27719 |    12264      3 |      846 |      708
33.99/34.06	c 33.8s |      12 |    67313 |    29219 |    12264      3 |      846 |      708
35.99/36.07	c 35.8s |      12 |    69396 |    30719 |    12264      3 |      846 |      708
38.09/38.14	c 37.9s |      12 |    71025 |    32019 |    12264      3 |      846 |      708
40.19/40.22	c 40.0s |      12 |    72493 |    33219 |    12264      3 |      846 |      708
42.19/42.29	c 42.1s |      12 |    73997 |    34419 |    12264      3 |      846 |      708
44.29/44.38	c 44.1s |      12 |    75071 |    35319 |    12264      3 |      846 |      708
46.39/46.44	c 46.2s |      12 |    76319 |    36219 |    12264      4 |      846 |      708
48.49/48.54	c 48.3s |      12 |    77396 |    37019 |    12264      4 |      846 |      708
50.49/50.56	c 50.3s |      12 |    79114 |    38119 |    12264      4 |      846 |      708
51.98/52.04	c 51.8s |      13 |    79954 |    38832 |    13491      4 |      846 |      708
54.09/54.12	c 53.9s |      13 |    90800 |    41432 |    13491      4 |      846 |      708
56.08/56.19	c 56.0s |      13 |    94169 |    43032 |    13491      4 |      846 |      708
58.18/58.29	c 58.1s |      13 |    95876 |    44332 |    13491      5 |      846 |      708
60.38/60.47	c 60.2s |      13 |    97282 |    45532 |    13491      5 |      846 |      708
62.58/62.60	c 62.4s |      13 |    98544 |    46632 |    13491      5 |      846 |      708
64.58/64.68	c 64.4s |      13 |    99752 |    47632 |    13491      5 |      846 |      708
66.78/66.82	c 66.6s |      13 |   100852 |    48632 |    13491      5 |      846 |      708
68.78/68.87	c 68.6s |      13 |   101897 |    49532 |    13491      5 |      846 |      708
70.88/70.99	c 70.8s |      13 |   102920 |    50432 |    13491      5 |      846 |      708
72.97/73.02	c 72.8s |      13 |   103805 |    51232 |    13491      5 |      846 |      708
75.17/75.28	c 75.1s |      13 |   104798 |    52132 |    13491      5 |      846 |      708
77.37/77.46	c 77.2s |      13 |   105747 |    52932 |    13491      6 |      846 |      708
79.47/79.58	c 79.3s |      13 |   106762 |    53832 |    13491      6 |      846 |      708
81.57/81.68	c 81.4s |      13 |   107773 |    54732 |    13491      6 |      846 |      708
83.77/83.85	c 83.6s |      13 |   108757 |    55532 |    13491      6 |      846 |      708
85.97/86.06	c 85.8s |      13 |   109693 |    56332 |    13491      6 |      846 |      708
88.07/88.16	c 87.9s |      13 |   110489 |    57032 |    13491      6 |      846 |      708
90.27/90.36	c 90.1s |      13 |   111258 |    57732 |    13491      6 |      846 |      708
92.26/92.39	c 92.2s |      13 |   111897 |    58332 |    14841      6 |      846 |      708
92.36/92.46	c 92.2s |      14 |   111920 |    58352 |    14841      6 |      846 |      708
94.67/94.73	c 94.5s |      14 |   117840 |    60352 |    14841      7 |      846 |      708
96.66/96.79	c 96.6s |      14 |   126983 |    63052 |    14841      7 |      846 |      708
98.86/98.91	c 98.7s |      14 |   131848 |    65252 |    14841      7 |      846 |      708
100.96/101.01	c  100s |      14 |   133480 |    66552 |    14841      7 |      846 |      708
102.96/103.04	c  102s |      14 |   136323 |    68152 |    14841      7 |      846 |      708
105.06/105.19	c  104s |      14 |   137724 |    69352 |    14841      7 |      846 |      708
107.46/107.56	c  107s |      14 |   138980 |    70452 |    14841      8 |      846 |      708
109.56/109.68	c  109s |      14 |   140832 |    71752 |    14841      8 |      846 |      708
111.76/111.82	c  111s |      14 |   142227 |    72952 |    14841      8 |      846 |      708
113.76/113.84	c  113s |      14 |   143229 |    73852 |    14841      8 |      846 |      708
115.86/115.95	c  115s |      14 |   144080 |    74652 |    14841      8 |      846 |      708
117.86/117.99	c  117s |      14 |   145567 |    75652 |    14841      8 |      846 |      708
119.96/120.06	c  119s |      14 |   146916 |    76652 |    14841      8 |      846 |      708
122.05/122.17	c  121s |      14 |   148007 |    77552 |    14841      8 |      846 |      708
124.36/124.42	c  124s |      14 |   148977 |    78452 |    14841      8 |      846 |      708
126.56/126.62	c  126s |      14 |   150071 |    79352 |    14841      8 |      846 |      708
128.76/128.85	c  128s |      14 |   150956 |    80152 |    14841      9 |      846 |      708
130.85/130.98	c  130s |      14 |   152212 |    81152 |    14841      9 |      846 |      708
132.95/133.08	c  132s |      14 |   153365 |    82052 |    14841      9 |      846 |      708
135.15/135.29	c  135s |      14 |   154265 |    82852 |    14841      9 |      846 |      708
137.35/137.49	c  137s |      14 |   155135 |    83652 |    14841      9 |      846 |      708
139.55/139.65	c  139s |      14 |   155919 |    84352 |    14841      9 |      846 |      708
141.75/141.86	c  141s |      14 |   156684 |    85052 |    14841      9 |      846 |      708
143.94/144.04	c  143s |      14 |   157466 |    85752 |    14841      9 |      846 |      708
146.04/146.10	c  145s |      14 |   158100 |    86352 |    14841      9 |      846 |      708
148.24/148.31	c  148s |      14 |   158843 |    87052 |    16326      9 |      846 |      708
150.14/150.21	c  149s |      15 |   159484 |    87632 |    16326      9 |      846 |      708
152.24/152.32	c  152s |      15 |   167255 |    89532 |    16326     10 |      846 |      708
154.34/154.45	c  154s |      15 |   169600 |    91232 |    16326     10 |      846 |      708
156.35/156.46	c  156s |      15 |   171036 |    92432 |    16326     10 |      846 |      708
158.45/158.54	c  158s |      15 |   172828 |    93732 |    16326     10 |      846 |      708
160.44/160.56	c  160s |      15 |   175758 |    95432 |    16326     10 |      846 |      708
162.74/162.85	c  162s |      15 |   177832 |    96932 |    16326     10 |      846 |      708
164.85/164.92	c  164s |      15 |   179226 |    98032 |    16326     10 |      846 |      708
166.95/167.03	c  166s |      15 |   180460 |    99032 |    16326     11 |      846 |      708
169.15/169.20	c  168s |      15 |   181521 |    99932 |    16326     11 |      846 |      708
171.25/171.31	c  171s |      15 |   183182 |   101032 |    16326     11 |      846 |      708
173.34/173.42	c  173s |      15 |   184885 |   102132 |    16326     11 |      846 |      708
175.34/175.45	c  175s |      15 |   188663 |   103732 |    16326     11 |      846 |      708
177.44/177.57	c  177s |      15 |   191180 |   105132 |    16326     11 |      846 |      708
179.54/179.62	c  179s |      15 |   195181 |   106732 |    16326     11 |      846 |      708
181.55/181.62	c  181s |      15 |   198371 |   108132 |    16326     11 |      846 |      708
183.54/183.65	c  183s |      15 |   200710 |   109332 |    16326     12 |      846 |      708
185.74/185.87	c  185s |      15 |   201712 |   110232 |    16326     12 |      846 |      708
187.84/187.91	c  187s |      15 |   203693 |   111432 |    16326     12 |      846 |      708
189.84/189.92	c  189s |      15 |   206114 |   112732 |    16326     12 |      846 |      708
191.94/192.05	c  191s |      15 |   207895 |   114032 |    16326     12 |      846 |      708
194.04/194.11	c  193s |      15 |   209149 |   115032 |    16326     12 |      846 |      708
196.24/196.31	c  196s |      15 |   210218 |   115932 |    16326     12 |      846 |      708
198.23/198.34	c  198s |      15 |   211263 |   116732 |    16326     12 |      846 |      708
200.43/200.55	c  200s |      15 |   212176 |   117532 |    16326     12 |      846 |      708
202.44/202.58	c  202s |      15 |   213011 |   118232 |    16326     13 |      846 |      708
204.53/204.67	c  204s |      15 |   214068 |   119132 |    16326     13 |      846 |      708
206.63/206.70	c  206s |      15 |   215189 |   120032 |    16326     13 |      846 |      708
208.73/208.85	c  208s |      15 |   216250 |   120932 |    16326     13 |      846 |      708
210.83/210.90	c  210s |      15 |   217221 |   121732 |    16326     13 |      846 |      708
212.93/213.09	c  212s |      15 |   218135 |   122532 |    16326     13 |      846 |      708
215.23/215.36	c  215s |      15 |   219006 |   123332 |    16326     13 |      846 |      708
217.43/217.51	c  217s |      15 |   219828 |   124032 |    16326     13 |      846 |      708
219.53/219.69	c  219s |      15 |   220769 |   124832 |    16326     13 |      846 |      708
221.63/221.76	c  221s |      15 |   221583 |   125532 |    16326     13 |      846 |      708
223.82/223.97	c  223s |      15 |   222519 |   126332 |    16326     13 |      846 |      708
226.12/226.27	c  226s |      15 |   223465 |   127132 |    16326     13 |      846 |      708
228.42/228.50	c  228s |      15 |   224328 |   127832 |    16326     13 |      846 |      708
230.42/230.55	c  230s |      15 |   225155 |   128532 |    16326     14 |      846 |      708
232.52/232.62	c  232s |      15 |   226088 |   129332 |    16326     14 |      846 |      708
234.62/234.75	c  234s |      15 |   227059 |   130132 |    16326     14 |      846 |      708
236.62/236.78	c  236s |      15 |   227865 |   130832 |    17959     14 |      846 |      708
238.72/238.81	c  238s |      16 |   228689 |   131552 |    17959     14 |      846 |      708
240.71/240.87	c  240s |      16 |   232439 |   133152 |    17959     14 |      846 |      708
242.91/243.03	c  242s |      16 |   234374 |   134852 |    17959     14 |      846 |      708
244.91/245.05	c  244s |      16 |   235941 |   136252 |    17959     14 |      846 |      708
247.01/247.11	c  246s |      16 |   237679 |   137752 |    17959     14 |      846 |      708
249.11/249.23	c  249s |      16 |   239153 |   139052 |    17959     14 |      846 |      708
251.31/251.45	c  251s |      16 |   240424 |   140152 |    17959     15 |      846 |      708
253.30/253.46	c  253s |      16 |   241747 |   141252 |    17959     15 |      846 |      708
255.50/255.64	c  255s |      16 |   242987 |   142352 |    17959     15 |      846 |      708
257.60/257.70	c  257s |      16 |   244168 |   143352 |    17959     15 |      846 |      708
259.80/259.91	c  259s |      16 |   245450 |   144452 |    17959     15 |      846 |      708
261.81/261.94	c  261s |      16 |   246504 |   145352 |    17959     15 |      846 |      708
264.01/264.15	c  263s |      16 |   247503 |   146252 |    17959     15 |      846 |      708
266.00/266.19	c  265s |      16 |   248414 |   147052 |    17959     15 |      846 |      708
268.20/268.36	c  268s |      16 |   249336 |   147852 |    17959     15 |      846 |      708
270.30/270.42	c  270s |      16 |   250241 |   148652 |    17959     15 |      846 |      708
272.49/272.61	c  272s |      16 |   251116 |   149452 |    17959     15 |      846 |      708
274.69/274.84	c  274s |      16 |   252142 |   150352 |    17959     16 |      846 |      708
276.69/276.88	c  276s |      16 |   253140 |   151252 |    17959     16 |      846 |      708
278.89/279.09	c  278s |      16 |   254165 |   152152 |    17959     16 |      846 |      708
280.99/281.13	c  280s |      16 |   254945 |   152852 |    17959     16 |      846 |      708
283.19/283.33	c  283s |      16 |   255964 |   153752 |    17959     16 |      846 |      708
285.29/285.41	c  285s |      16 |   256910 |   154552 |    17959     16 |      846 |      708
287.29/287.46	c  287s |      16 |   257956 |   155452 |    17959     16 |      846 |      708
289.49/289.68	c  289s |      16 |   259109 |   156452 |    17959     16 |      846 |      708
291.79/291.90	c  291s |      16 |   260186 |   157352 |    17959     16 |      846 |      708
293.79/293.94	c  293s |      16 |   261103 |   158152 |    17959     16 |      846 |      708
295.99/296.14	c  295s |      16 |   261994 |   158952 |    17959     16 |      846 |      708
297.98/298.19	c  297s |      16 |   262902 |   159752 |    17959     16 |      846 |      708
300.39/300.52	c  300s |      16 |   263678 |   160452 |    17959     17 |      846 |      708
302.38/302.57	c  302s |      16 |   264688 |   161352 |    17959     17 |      846 |      708
304.48/304.66	c  304s |      16 |   265686 |   162252 |    17959     17 |      846 |      708
306.58/306.74	c  306s |      16 |   266594 |   163052 |    17959     17 |      846 |      708
308.78/308.91	c  308s |      16 |   267622 |   163952 |    17959     17 |      846 |      708
310.78/310.99	c  310s |      16 |   268371 |   164652 |    17959     17 |      846 |      708
312.87/313.04	c  312s |      16 |   269246 |   165452 |    17959     17 |      846 |      708
315.07/315.27	c  315s |      16 |   270126 |   166252 |    17959     17 |      846 |      708
317.17/317.33	c  317s |      16 |   270895 |   166952 |    17959     17 |      846 |      708
319.27/319.46	c  319s |      16 |   271648 |   167652 |    17959     17 |      846 |      708
321.57/321.74	c  321s |      16 |   272423 |   168352 |    17959     17 |      846 |      708
323.67/323.88	c  323s |      16 |   273067 |   168952 |    17959     17 |      846 |      708
325.97/326.13	c  325s |      16 |   273840 |   169652 |    17959     17 |      846 |      708
328.27/328.40	c  328s |      16 |   274612 |   170352 |    17959     17 |      846 |      708
330.27/330.44	c  330s |      16 |   275274 |   170952 |    17959     17 |      846 |      708
332.37/332.54	c  332s |      16 |   277952 |   171952 |    17959     18 |      846 |      708
334.48/334.63	c  334s |      16 |   279743 |   173252 |    17959     18 |      846 |      708
336.47/336.70	c  336s |      16 |   280963 |   174352 |    17959     18 |      846 |      708
338.57/338.70	c  338s |      16 |   282207 |   175352 |    17959     18 |      846 |      708
340.67/340.86	c  340s |      16 |   283739 |   176552 |    17959     18 |      846 |      708
342.67/342.89	c  342s |      16 |   285185 |   177652 |    17959     18 |      846 |      708
344.97/345.10	c  344s |      16 |   286498 |   178752 |    17959     18 |      846 |      708
347.07/347.22	c  346s |      16 |   287734 |   179752 |    17959     18 |      846 |      708
349.07/349.24	c  349s |      16 |   288791 |   180652 |    17959     18 |      846 |      708
351.57/351.73	c  351s |      16 |   289848 |   181552 |    17959     19 |      846 |      708
353.56/353.74	c  353s |      16 |   290871 |   182452 |    17959     19 |      846 |      708
355.56/355.79	c  355s |      16 |   291893 |   183352 |    17959     19 |      846 |      708
357.76/357.94	c  357s |      16 |   292775 |   184152 |    17959     19 |      846 |      708
359.86/360.07	c  359s |      16 |   293802 |   185052 |    17959     19 |      846 |      708
361.96/362.17	c  361s |      16 |   294656 |   185852 |    17959     19 |      846 |      708
364.16/364.32	c  364s |      16 |   295509 |   186652 |    17959     19 |      846 |      708
366.15/366.34	c  366s |      16 |   296444 |   187452 |    17959     19 |      846 |      708
368.35/368.52	c  368s |      16 |   297351 |   188252 |    17959     19 |      846 |      708
370.35/370.57	c  370s |      16 |   298332 |   189052 |    17959     19 |      846 |      708
372.45/372.66	c  372s |      16 |   299084 |   189752 |    17959     19 |      846 |      708
374.65/374.81	c  374s |      16 |   300306 |   190652 |    17959     19 |      846 |      708
376.75/376.95	c  376s |      16 |   302142 |   191852 |    17959     19 |      846 |      708
378.85/379.03	c  378s |      16 |   303777 |   192852 |    17959     20 |      846 |      708
380.85/381.05	c  380s |      16 |   305219 |   194052 |    17959     20 |      846 |      708
382.94/383.12	c  382s |      16 |   306382 |   195052 |    17959     20 |      846 |      708
384.95/385.18	c  384s |      16 |   307372 |   195952 |    17959     20 |      846 |      708
387.04/387.26	c  387s |      16 |   308653 |   197052 |    19755     20 |      846 |      708
387.84/388.01	c  387s |      17 |   309085 |   197432 |    19755     20 |      846 |      708
389.84/390.09	c  389s |      17 |   312528 |   199332 |    19755     20 |      846 |      708
391.94/392.11	c  391s |      17 |   314680 |   201032 |    19755     20 |      846 |      708
394.04/394.23	c  393s |      17 |   316491 |   202532 |    19755     20 |      846 |      708
396.14/396.31	c  396s |      17 |   317856 |   203732 |    19755     20 |      846 |      708
398.25/398.47	c  398s |      17 |   319458 |   204932 |    19755     21 |      846 |      708
400.44/400.64	c  400s |      17 |   320898 |   206132 |    19755     21 |      846 |      708
402.43/402.64	c  402s |      17 |   322211 |   207232 |    19755     21 |      846 |      708
404.63/404.81	c  404s |      17 |   323683 |   208432 |    19755     21 |      846 |      708
406.73/406.97	c  406s |      17 |   324964 |   209532 |    19755     21 |      846 |      708
408.83/409.02	c  408s |      17 |   326135 |   210532 |    19755     21 |      846 |      708
410.93/411.16	c  410s |      17 |   327229 |   211432 |    19755     21 |      846 |      708
412.93/413.19	c  412s |      17 |   329608 |   212632 |    19755     21 |      846 |      708
415.03/415.26	c  415s |      17 |   333567 |   214332 |    19755     21 |      846 |      708
417.13/417.30	c  417s |      17 |   338220 |   215932 |    19755     22 |      846 |      708
419.23/419.41	c  419s |      17 |   342109 |   218232 |    19755     22 |      846 |      708
421.23/421.49	c  421s |      17 |   343868 |   219632 |    19755     22 |      846 |      708
423.32/423.53	c  423s |      17 |   345224 |   220732 |    19755     22 |      846 |      708
425.32/425.55	c  425s |      17 |   346392 |   221732 |    19755     22 |      846 |      708
427.52/427.70	c  427s |      17 |   347555 |   222732 |    19755     22 |      846 |      708
429.72/429.93	c  429s |      17 |   348780 |   223732 |    19755     22 |      846 |      708
431.82/432.02	c  431s |      17 |   349963 |   224632 |    19755     22 |      846 |      708
433.92/434.19	c  433s |      17 |   351194 |   225632 |    19755     22 |      846 |      708
436.22/436.49	c  436s |      17 |   352129 |   226432 |    19755     22 |      846 |      708
438.52/438.77	c  438s |      17 |   352921 |   227132 |    19755     23 |      846 |      708
440.62/440.85	c  440s |      17 |   353713 |   227832 |    19755     23 |      846 |      708
442.82/443.03	c  442s |      17 |   354516 |   228532 |    19755     23 |      846 |      708
444.92/445.16	c  444s |      17 |   356137 |   229532 |    19755     23 |      846 |      708
447.12/447.31	c  447s |      17 |   359063 |   230932 |    19755     23 |      846 |      708
449.12/449.32	c  449s |      17 |   361169 |   232132 |    19755     23 |      846 |      708
451.22/451.40	c  451s |      17 |   362416 |   233232 |    19755     23 |      846 |      708
453.22/453.45	c  453s |      17 |   364415 |   234432 |    19755     23 |      846 |      708
455.32/455.55	c  455s |      17 |   365485 |   235332 |    19755     23 |      846 |      708
457.42/457.65	c  457s |      17 |   367026 |   236332 |    19755     23 |      846 |      708
459.72/459.92	c  459s |      17 |   368092 |   237132 |    19755     23 |      846 |      708
461.92/462.14	c  461s |      17 |   369171 |   238032 |    19755     23 |      846 |      708
464.01/464.24	c  464s |      17 |   369990 |   238732 |    19755     24 |      846 |      708
466.01/466.29	c  466s |      17 |   370882 |   239432 |    19755     24 |      846 |      708
468.11/468.32	c  468s |      17 |   371596 |   240032 |    19755     24 |      846 |      708
470.21/470.40	c  470s |      17 |   372301 |   240632 |    19755     24 |      846 |      708
472.31/472.56	c  472s |      17 |   373293 |   241432 |    19755     24 |      846 |      708
474.50/474.75	c  474s |      17 |   374621 |   242432 |    19755     24 |      846 |      708
476.70/476.96	c  476s |      17 |   375609 |   243232 |    19755     24 |      846 |      708
478.90/479.16	c  478s |      17 |   376330 |   243832 |    19755     24 |      846 |      708
481.00/481.25	c  481s |      17 |   376998 |   244432 |    19755     24 |      846 |      708
483.30/483.56	c  483s |      17 |   377812 |   245132 |    19755     24 |      846 |      708
485.50/485.74	c  485s |      17 |   378478 |   245732 |    19755     24 |      846 |      708
487.80/488.08	c  487s |      17 |   379406 |   246432 |    19755     24 |      846 |      708
490.00/490.21	c  489s |      17 |   380153 |   247032 |    19755     24 |      846 |      708
491.99/492.27	c  492s |      17 |   383040 |   248132 |    19755     24 |      846 |      708
494.19/494.49	c  494s |      17 |   385389 |   249232 |    19755     24 |      846 |      708
496.39/496.60	c  496s |      17 |   386046 |   249832 |    19755     25 |      846 |      708
498.49/498.70	c  498s |      17 |   386582 |   250332 |    19755     25 |      846 |      708
500.69/500.96	c  500s |      17 |   387108 |   250832 |    19755     25 |      846 |      708
502.79/503.09	c  502s |      17 |   388584 |   251832 |    19755     25 |      846 |      708
504.89/505.13	c  504s |      17 |   389738 |   252732 |    19755     25 |      846 |      708
507.09/507.31	c  507s |      17 |   390794 |   253532 |    19755     25 |      846 |      708
509.39/509.60	c  509s |      17 |   392100 |   254532 |    19755     25 |      846 |      708
511.39/511.69	c  511s |      17 |   393141 |   255332 |    19755     25 |      846 |      708
513.69/513.91	c  513s |      17 |   394235 |   256232 |    19755     25 |      846 |      708
515.89/516.10	c  515s |      17 |   395162 |   257032 |    19755     25 |      846 |      708
518.09/518.38	c  518s |      17 |   396220 |   257932 |    19755     25 |      846 |      708
520.38/520.64	c  520s |      17 |   397178 |   258732 |    19755     25 |      846 |      708
522.48/522.75	c  522s |      17 |   397842 |   259332 |    19755     25 |      846 |      708
524.68/524.94	c  524s |      17 |   398518 |   259932 |    19755     25 |      846 |      708
526.88/527.16	c  526s |      17 |   399373 |   260632 |    19755     25 |      846 |      708
529.17/529.41	c  529s |      17 |   399936 |   261132 |    19755     26 |      846 |      708
531.28/531.59	c  531s |      17 |   400865 |   261932 |    19755     26 |      846 |      708
533.57/533.88	c  533s |      17 |   401755 |   262732 |    19755     26 |      846 |      708
535.67/535.92	c  535s |      17 |   402443 |   263332 |    19755     26 |      846 |      708
537.87/538.14	c  537s |      17 |   403379 |   264132 |    19755     26 |      846 |      708
540.07/540.39	c  540s |      17 |   404171 |   264832 |    19755     26 |      846 |      708
542.18/542.43	c  542s |      17 |   404874 |   265432 |    19755     26 |      846 |      708
544.17/544.49	c  544s |      17 |   405914 |   266132 |    19755     26 |      846 |      708
546.27/546.50	c  546s |      17 |   408281 |   267332 |    19755     26 |      846 |      708
548.27/548.52	c  548s |      17 |   409633 |   268332 |    19755     26 |      846 |      708
550.37/550.64	c  550s |      17 |   410411 |   269032 |    19755     26 |      846 |      708
552.56/552.88	c  552s |      17 |   411482 |   269932 |    19755     26 |      846 |      708
554.66/554.93	c  554s |      17 |   412400 |   270732 |    19755     26 |      846 |      708
556.96/557.24	c  557s |      17 |   413361 |   271532 |    19755     26 |      846 |      708
559.56/559.86	c  559s |      17 |   414462 |   272332 |    19755     27 |      846 |      708
561.76/562.04	c  561s |      17 |   415358 |   273132 |    19755     27 |      846 |      708
563.76/564.05	c  563s |      17 |   418869 |   274532 |    19755     27 |      846 |      708
565.86/566.12	c  565s |      17 |   420377 |   275732 |    19755     27 |      846 |      708
567.95/568.27	c  568s |      17 |   421792 |   276832 |    19755     27 |      846 |      708
570.15/570.44	c  570s |      17 |   423115 |   277832 |    19755     27 |      846 |      708
572.25/572.52	c  572s |      17 |   424186 |   278732 |    19755     27 |      846 |      708
574.25/574.55	c  574s |      17 |   425302 |   279632 |    19755     27 |      846 |      708
576.35/576.64	c  576s |      17 |   426231 |   280432 |    19755     27 |      846 |      708
578.55/578.81	c  578s |      17 |   427217 |   281232 |    19755     27 |      846 |      708
580.55/580.82	c  580s |      17 |   428076 |   281932 |    19755     27 |      846 |      708
582.74/583.00	c  582s |      17 |   428762 |   282532 |    19755     27 |      846 |      708
585.05/585.30	c  585s |      17 |   429544 |   283232 |    19755     27 |      846 |      708
587.04/587.33	c  587s |      17 |   430099 |   283732 |    19755     28 |      846 |      708
589.24/589.57	c  589s |      17 |   430982 |   284532 |    19755     28 |      846 |      708
591.34/591.61	c  591s |      17 |   432349 |   285532 |    19755     28 |      846 |      708
593.44/593.76	c  593s |      17 |   433729 |   286532 |    19755     28 |      846 |      708
595.44/595.78	c  595s |      17 |   434558 |   287232 |    19755     28 |      846 |      708
597.54/597.87	c  597s |      17 |   435592 |   288032 |    19755     28 |      846 |      708
599.73/600.03	c  599s |      17 |   436544 |   288832 |    19755     28 |      846 |      708
601.83/602.15	c  601s |      17 |   437555 |   289632 |    19755     28 |      846 |      708
603.84/604.16	c  603s |      17 |   438404 |   290332 |    19755     28 |      846 |      708
606.04/606.36	c  606s |      17 |   439244 |   291032 |    19755     28 |      846 |      708
608.14/608.46	c  608s |      17 |   441285 |   292132 |    19755     28 |      846 |      708
610.34/610.64	c  610s |      17 |   443221 |   293532 |    19755     28 |      846 |      708
612.43/612.80	c  612s |      17 |   444635 |   294632 |    21731     28 |      846 |      708
614.73/615.07	c  614s |      17 |   445766 |   295632 |    21731     28 |      846 |      708
615.93/616.22	c  615s |      18 |   446522 |   296252 |    21731     28 |      846 |      708
617.92/618.26	c  618s |      18 |   451381 |   297852 |    21731     29 |      846 |      708
620.02/620.39	c  620s |      18 |   453292 |   299352 |    21731     29 |      846 |      708
622.12/622.45	c  622s |      18 |   458013 |   301252 |    21731     29 |      846 |      708
624.12/624.48	c  624s |      18 |   462725 |   303152 |    21731     29 |      846 |      708
626.22/626.59	c  626s |      18 |   464828 |   304652 |    21731     29 |      846 |      708
628.42/628.72	c  628s |      18 |   466238 |   305852 |    21731     29 |      846 |      708
630.62/630.90	c  630s |      18 |   467262 |   306752 |    21731     29 |      846 |      708
632.71/633.02	c  632s |      18 |   468443 |   307752 |    21731     29 |      846 |      708
634.91/635.23	c  634s |      18 |   469357 |   308552 |    21731     29 |      846 |      708
637.21/637.58	c  637s |      18 |   470011 |   309152 |    21731     29 |      846 |      708
639.51/639.83	c  639s |      18 |   470660 |   309752 |    21731     30 |      846 |      708
641.61/641.91	c  641s |      18 |   471620 |   310652 |    21731     30 |      846 |      708
643.60/643.93	c  643s |      18 |   472513 |   311452 |    21731     30 |      846 |      708
645.80/646.14	c  645s |      18 |   473371 |   312252 |    21731     30 |      846 |      708
648.10/648.41	c  648s |      18 |   474308 |   313052 |    21731     30 |      846 |      708
650.10/650.50	c  650s |      18 |   475084 |   313752 |    21731     30 |      846 |      708
652.40/652.71	c  652s |      18 |   475755 |   314352 |    21731     30 |      846 |      708
654.90/655.26	c  655s |      18 |   476299 |   314852 |    21731     30 |      846 |      708
656.89/657.27	c  657s |      18 |   476863 |   315352 |    21731     30 |      846 |      708
658.89/659.28	c  659s |      18 |   477284 |   315752 |    21731     30 |      846 |      708
661.29/661.67	c  661s |      18 |   477702 |   316152 |    21731     30 |      846 |      708
663.49/663.82	c  663s |      18 |   478338 |   316752 |    21731     30 |      846 |      708
665.59/665.96	c  665s |      18 |   478873 |   317252 |    21731     30 |      846 |      708
667.79/668.12	c  667s |      18 |   479402 |   317752 |    21731     30 |      846 |      708
669.79/670.14	c  669s |      18 |   479934 |   318252 |    21731     30 |      846 |      708
671.78/672.20	c  671s |      18 |   481577 |   319352 |    21731     30 |      846 |      708
673.88/674.26	c  674s |      18 |   482762 |   320352 |    21731     30 |      846 |      708
676.08/676.45	c  676s |      18 |   483937 |   321352 |    21731     30 |      846 |      708
678.08/678.47	c  678s |      18 |   484751 |   322052 |    21731     31 |      846 |      708
680.18/680.53	c  680s |      18 |   485891 |   323052 |    21731     31 |      846 |      708
682.17/682.55	c  682s |      18 |   486789 |   323852 |    21731     31 |      846 |      708
684.17/684.57	c  684s |      18 |   487952 |   324852 |    21731     31 |      846 |      708
686.28/686.66	c  686s |      18 |   489019 |   325752 |    21731     31 |      846 |      708
688.38/688.74	c  688s |      18 |   490091 |   326652 |    21731     31 |      846 |      708
690.58/690.96	c  690s |      18 |   491126 |   327552 |    21731     31 |      846 |      708
692.67/693.01	c  692s |      18 |   492060 |   328352 |    21731     31 |      846 |      708
694.77/695.19	c  694s |      18 |   492932 |   329152 |    21731     31 |      846 |      708
696.97/697.34	c  697s |      18 |   493692 |   329852 |    21731     31 |      846 |      708
699.07/699.45	c  699s |      18 |   494463 |   330552 |    21731     31 |      846 |      708
701.27/701.67	c  701s |      18 |   495231 |   331252 |    21731     31 |      846 |      708
703.47/703.82	c  703s |      18 |   496008 |   331952 |    21731     31 |      846 |      708
705.57/705.92	c  705s |      18 |   496653 |   332552 |    21731     31 |      846 |      708
707.57/707.99	c  707s |      18 |   497294 |   333152 |    21731     31 |      846 |      708
709.77/710.15	c  709s |      18 |   497964 |   333752 |    21731     31 |      846 |      708
711.97/712.38	c  712s |      18 |   498491 |   334252 |    21731     32 |      846 |      708
714.17/714.51	c  714s |      18 |   499251 |   334952 |    21731     32 |      846 |      708
716.38/716.70	c  716s |      18 |   500038 |   335652 |    21731     32 |      846 |      708
718.38/718.74	c  718s |      18 |   500692 |   336252 |    21731     32 |      846 |      708
720.58/720.95	c  720s |      18 |   501560 |   337052 |    21731     32 |      846 |      708
722.78/723.19	c  722s |      18 |   502332 |   337752 |    21731     32 |      846 |      708
724.87/725.26	c  725s |      18 |   503136 |   338452 |    21731     32 |      846 |      708
727.07/727.42	c  727s |      18 |   504012 |   339252 |    21731     32 |      846 |      708
729.27/729.63	c  729s |      18 |   504793 |   339952 |    21731     32 |      846 |      708
731.47/731.80	c  731s |      18 |   505566 |   340652 |    21731     32 |      846 |      708
733.58/733.96	c  733s |      18 |   506331 |   341352 |    21731     32 |      846 |      708
735.68/736.05	c  735s |      18 |   506974 |   341952 |    21731     32 |      846 |      708
737.88/738.27	c  738s |      18 |   507612 |   342552 |    21731     32 |      846 |      708
739.97/740.40	c  740s |      18 |   508263 |   343152 |    21731     32 |      846 |      708
742.07/742.44	c  742s |      18 |   508932 |   343752 |    21731     32 |      846 |      708
744.17/744.53	c  744s |      18 |   509587 |   344352 |    21731     32 |      846 |      708
746.27/746.66	c  746s |      18 |   510257 |   344952 |    21731     32 |      846 |      708
748.67/749.05	c  748s |      18 |   510913 |   345552 |    21731     32 |      846 |      708
750.97/751.39	c  751s |      18 |   511547 |   346152 |    21731     32 |      846 |      708
753.47/753.80	c  753s |      18 |   512093 |   346652 |    21731     33 |      846 |      708
755.48/755.82	c  755s |      18 |   512823 |   347352 |    21731     33 |      846 |      708
757.67/758.09	c  757s |      18 |   513578 |   348052 |    21731     33 |      846 |      708
759.77/760.20	c  759s |      18 |   514338 |   348752 |    21731     33 |      846 |      708
761.87/762.21	c  761s |      18 |   514993 |   349352 |    21731     33 |      846 |      708
763.97/764.30	c  764s |      18 |   515632 |   349952 |    21731     33 |      846 |      708
765.97/766.35	c  766s |      18 |   516268 |   350552 |    21731     33 |      846 |      708
767.97/768.39	c  768s |      18 |   516912 |   351152 |    21731     33 |      846 |      708
770.27/770.70	c  770s |      18 |   517658 |   351852 |    21731     33 |      846 |      708
772.47/772.81	c  772s |      18 |   518302 |   352452 |    21731     33 |      846 |      708
774.57/774.94	c  774s |      18 |   519048 |   353152 |    21731     33 |      846 |      708
776.86/777.20	c  776s |      18 |   519911 |   353952 |    21731     33 |      846 |      708
779.06/779.45	c  779s |      18 |   520781 |   354752 |    21731     33 |      846 |      708
781.36/781.71	c  781s |      18 |   521558 |   355452 |    21731     33 |      846 |      708
783.56/783.99	c  783s |      18 |   522310 |   356152 |    21731     33 |      846 |      708
785.86/786.24	c  786s |      18 |   523104 |   356852 |    21731     33 |      846 |      708
788.16/788.52	c  788s |      18 |   523930 |   357552 |    21731     33 |      846 |      708
790.26/790.65	c  790s |      18 |   524730 |   358252 |    21731     33 |      846 |      708
792.56/792.96	c  792s |      18 |   525522 |   358952 |    21731     33 |      846 |      708
794.66/795.04	c  794s |      18 |   526066 |   359452 |    21731     34 |      846 |      708
796.86/797.20	c  796s |      18 |   526930 |   360252 |    21731     34 |      846 |      708
799.06/799.47	c  799s |      18 |   527807 |   361052 |    21731     34 |      846 |      708
801.16/801.51	c  801s |      18 |   528550 |   361752 |    21731     34 |      846 |      708
803.16/803.56	c  803s |      18 |   529320 |   362452 |    21731     34 |      846 |      708
805.36/805.70	c  805s |      18 |   530201 |   363252 |    21731     34 |      846 |      708
807.46/807.89	c  807s |      18 |   530971 |   363952 |    21731     34 |      846 |      708
809.66/810.06	c  809s |      18 |   531727 |   364652 |    21731     34 |      846 |      708
811.96/812.32	c  812s |      18 |   532503 |   365352 |    21731     34 |      846 |      708
814.06/814.46	c  814s |      18 |   533259 |   366052 |    21731     34 |      846 |      708
816.26/816.63	c  816s |      18 |   533894 |   366652 |    21731     34 |      846 |      708
818.36/818.70	c  818s |      18 |   534557 |   367252 |    21731     34 |      846 |      708
820.36/820.72	c  820s |      18 |   535219 |   367852 |    21731     34 |      846 |      708
822.46/822.88	c  822s |      18 |   535887 |   368452 |    21731     34 |      846 |      708
824.66/825.02	c  824s |      18 |   536522 |   369052 |    21731     34 |      846 |      708
826.85/827.28	c  827s |      18 |   537173 |   369652 |    21731     34 |      846 |      708
829.16/829.50	c  829s |      18 |   537958 |   370352 |    21731     34 |      846 |      708
831.36/831.80	c  831s |      18 |   538746 |   371052 |    21731     34 |      846 |      708
833.56/833.95	c  833s |      18 |   539347 |   371552 |    21731     35 |      846 |      708
835.55/835.99	c  835s |      18 |   540282 |   372352 |    21731     35 |      846 |      708
837.75/838.10	c  837s |      18 |   541307 |   373252 |    21731     35 |      846 |      708
839.75/840.14	c  839s |      18 |   542073 |   373952 |    21731     35 |      846 |      708
841.75/842.19	c  841s |      18 |   542993 |   374752 |    21731     35 |      846 |      708
843.95/844.31	c  844s |      18 |   543912 |   375552 |    21731     35 |      846 |      708
846.05/846.41	c  846s |      18 |   544681 |   376252 |    21731     35 |      846 |      708
848.35/848.73	c  848s |      18 |   545441 |   376952 |    21731     35 |      846 |      708
850.55/850.91	c  850s |      18 |   546259 |   377652 |    21731     35 |      846 |      708
852.65/853.02	c  852s |      18 |   547015 |   378352 |    21731     35 |      846 |      708
854.75/855.18	c  854s |      18 |   547818 |   379052 |    21731     35 |      846 |      708
856.95/857.33	c  857s |      18 |   548479 |   379652 |    21731     35 |      846 |      708
859.15/859.53	c  859s |      18 |   549310 |   380352 |    21731     35 |      846 |      708
861.25/861.61	c  861s |      18 |   550115 |   381052 |    21731     35 |      846 |      708
863.35/863.74	c  863s |      18 |   550911 |   381752 |    21731     35 |      846 |      708
865.65/866.01	c  865s |      18 |   551688 |   382452 |    21731     35 |      846 |      708
867.95/868.30	c  868s |      18 |   552476 |   383152 |    21731     35 |      846 |      708
870.15/870.51	c  870s |      18 |   553275 |   383852 |    21731     35 |      846 |      708
872.25/872.66	c  872s |      18 |   554099 |   384552 |    21731     36 |      846 |      708
874.35/874.75	c  874s |      18 |   554970 |   385352 |    21731     36 |      846 |      708
876.55/876.91	c  876s |      18 |   555974 |   386252 |    21731     36 |      846 |      708
878.65/879.04	c  878s |      18 |   556845 |   387052 |    21731     36 |      846 |      708
880.85/881.29	c  881s |      18 |   557769 |   387852 |    21731     36 |      846 |      708
883.15/883.57	c  883s |      18 |   558514 |   388552 |    21731     36 |      846 |      708
885.44/885.86	c  885s |      18 |   559281 |   389252 |    21731     36 |      846 |      708
887.74/888.14	c  887s |      18 |   560044 |   389952 |    21731     36 |      846 |      708
890.04/890.43	c  890s |      18 |   560681 |   390552 |    21731     36 |      846 |      708
892.04/892.46	c  892s |      18 |   561508 |   391252 |    21731     36 |      846 |      708
894.24/894.69	c  894s |      18 |   562414 |   392052 |    21731     36 |      846 |      708
896.35/896.76	c  896s |      18 |   563087 |   392652 |    21731     36 |      846 |      708
898.64/899.03	c  898s |      18 |   563728 |   393252 |    21731     36 |      846 |      708
900.75/901.16	c  900s |      18 |   564523 |   393952 |    21731     36 |      846 |      708
902.85/903.28	c  903s |      18 |   565209 |   394552 |    21731     36 |      846 |      708
904.94/905.37	c  905s |      18 |   565880 |   395152 |    21731     36 |      846 |      708
906.94/907.38	c  907s |      18 |   566409 |   395652 |    21731     36 |      846 |      708
909.24/909.63	c  909s |      18 |   567071 |   396252 |    21731     36 |      846 |      708
911.34/911.73	c  911s |      18 |   567608 |   396752 |    21731     37 |      846 |      708
913.34/913.76	c  913s |      18 |   568379 |   397452 |    21731     37 |      846 |      708
915.64/916.05	c  915s |      18 |   569268 |   398252 |    21731     37 |      846 |      708
917.84/918.22	c  917s |      18 |   570179 |   399052 |    21731     37 |      846 |      708
920.04/920.43	c  920s |      18 |   571077 |   399852 |    21731     37 |      846 |      708
922.34/922.70	c  922s |      18 |   571949 |   400652 |    21731     37 |      846 |      708
924.44/924.86	c  924s |      18 |   572727 |   401352 |    21731     37 |      846 |      708
926.54/926.95	c  926s |      18 |   573362 |   401952 |    21731     37 |      846 |      708
928.74/929.18	c  928s |      18 |   574159 |   402652 |    21731     37 |      846 |      708
930.84/931.23	c  931s |      18 |   574950 |   403352 |    21731     37 |      846 |      708
933.14/933.57	c  933s |      18 |   575759 |   404052 |    21731     37 |      846 |      708
935.24/935.66	c  935s |      18 |   576402 |   404652 |    21731     37 |      846 |      708
937.34/937.78	c  937s |      18 |   577063 |   405252 |    21731     37 |      846 |      708
939.74/940.15	c  939s |      18 |   577844 |   405952 |    21731     37 |      846 |      708
941.94/942.39	c  942s |      18 |   578501 |   406552 |    21731     37 |      846 |      708
944.14/944.51	c  944s |      18 |   579204 |   407152 |    21731     37 |      846 |      708
946.24/946.69	c  946s |      18 |   579866 |   407752 |    21731     37 |      846 |      708
948.33/948.71	c  948s |      18 |   580518 |   408352 |    21731     37 |      846 |      708
950.73/951.11	c  950s |      18 |   581049 |   408852 |    21731     38 |      846 |      708
952.93/953.31	c  953s |      18 |   581777 |   409552 |    21731     38 |      846 |      708
955.03/955.46	c  955s |      18 |   582563 |   410252 |    21731     38 |      846 |      708
957.23/957.60	c  957s |      18 |   583219 |   410852 |    21731     38 |      846 |      708
959.23/959.60	c  959s |      18 |   584015 |   411552 |    21731     38 |      846 |      708
961.43/961.88	c  961s |      18 |   584909 |   412352 |    21731     38 |      846 |      708
963.63/964.04	c  963s |      18 |   585726 |   413052 |    21731     38 |      846 |      708
965.83/966.25	c  966s |      18 |   586349 |   413652 |    21731     38 |      846 |      708
968.13/968.57	c  968s |      18 |   587023 |   414252 |    21731     38 |      846 |      708
970.43/970.82	c  970s |      18 |   587767 |   414952 |    21731     38 |      846 |      708
972.63/973.01	c  972s |      18 |   588512 |   415652 |    21731     38 |      846 |      708
974.63/975.09	c  974s |      18 |   589158 |   416252 |    21731     38 |      846 |      708
976.93/977.36	c  977s |      18 |   589801 |   416852 |    21731     38 |      846 |      708
979.33/979.75	c  979s |      18 |   590457 |   417452 |    21731     38 |      846 |      708
981.33/981.78	c  981s |      18 |   590993 |   417952 |    21731     38 |      846 |      708
983.53/983.98	c  983s |      18 |   591512 |   418452 |    21731     38 |      846 |      708
985.53/985.99	c  985s |      18 |   592055 |   418952 |    21731     38 |      846 |      708
987.93/988.30	c  988s |      18 |   592698 |   419552 |    21731     38 |      846 |      708
990.13/990.50	c  990s |      18 |   593355 |   420152 |    21731     38 |      846 |      708
992.33/992.73	c  992s |      18 |   594032 |   420752 |    21731     38 |      846 |      708
994.53/994.94	c  994s |      18 |   594596 |   421252 |    21731     39 |      846 |      708
996.83/997.23	c  996s |      18 |   595469 |   422052 |    21731     39 |      846 |      708
998.93/999.33	c  999s |      18 |   596220 |   422752 |    21731     39 |      846 |      708
1001.13/1001.59	c 1001s |      18 |   596952 |   423452 |    21731     39 |      846 |      708
1003.33/1003.72	c 1003s |      18 |   597723 |   424152 |    21731     39 |      846 |      708
1005.53/1005.91	c 1005s |      18 |   598594 |   424952 |    21731     39 |      846 |      708
1007.73/1008.15	c 1007s |      18 |   599336 |   425652 |    21731     39 |      846 |      708
1009.93/1010.38	c 1010s |      18 |   600080 |   426352 |    21731     39 |      846 |      708
1012.03/1012.47	c 1012s |      18 |   600714 |   426952 |    21731     39 |      846 |      708
1014.32/1014.77	c 1014s |      18 |   601340 |   427552 |    21731     39 |      846 |      708
1016.82/1017.21	c 1016s |      18 |   601967 |   428152 |    21731     39 |      846 |      708
1019.12/1019.52	c 1019s |      18 |   602596 |   428752 |    21731     39 |      846 |      708
1021.32/1021.73	c 1021s |      18 |   603244 |   429352 |    21731     39 |      846 |      708
1023.62/1024.08	c 1023s |      18 |   603875 |   429952 |    21731     39 |      846 |      708
1026.03/1026.41	c 1026s |      18 |   604512 |   430552 |    21731     39 |      846 |      708
1028.02/1028.46	c 1028s |      18 |   605043 |   431052 |    21731     39 |      846 |      708
1030.02/1030.49	c 1030s |      18 |   605575 |   431552 |    21731     39 |      846 |      708
1032.22/1032.64	c 1032s |      18 |   606247 |   432152 |    21731     39 |      846 |      708
1034.52/1034.98	c 1034s |      18 |   606774 |   432652 |    21731     39 |      846 |      708
1036.92/1037.37	c 1037s |      18 |   607313 |   433152 |    21731     39 |      846 |      708
1039.72/1040.13	c 1039s |      18 |   607844 |   433652 |    21731     40 |      846 |      708
1041.82/1042.23	c 1041s |      18 |   608606 |   434352 |    21731     40 |      846 |      708
1043.92/1044.39	c 1044s |      18 |   609243 |   434952 |    21731     40 |      846 |      708
1046.12/1046.52	c 1046s |      18 |   610250 |   435852 |    21731     40 |      846 |      708
1048.32/1048.72	c 1048s |      18 |   611178 |   436652 |    21731     40 |      846 |      708
1050.42/1050.82	c 1050s |      18 |   612028 |   437452 |    21731     40 |      846 |      708
1052.62/1053.00	c 1052s |      18 |   612806 |   438152 |    21731     40 |      846 |      708
1054.72/1055.19	c 1054s |      18 |   613566 |   438852 |    21731     40 |      846 |      708
1056.82/1057.27	c 1057s |      18 |   614216 |   439452 |    21731     40 |      846 |      708
1059.12/1059.51	c 1059s |      18 |   614974 |   440152 |    21731     40 |      846 |      708
1061.22/1061.69	c 1061s |      18 |   615752 |   440852 |    21731     40 |      846 |      708
1063.32/1063.75	c 1063s |      18 |   616421 |   441452 |    23905     40 |      846 |      708
1065.32/1065.79	c 1065s |      18 |   617079 |   442052 |    23905     40 |      846 |      708
1067.62/1068.01	c 1067s |      18 |   617718 |   442652 |    23905     40 |      846 |      708
1069.62/1070.09	c 1069s |      18 |   618360 |   443252 |    23905     40 |      846 |      708
1071.92/1072.36	c 1072s |      18 |   619003 |   443852 |    23905     40 |      846 |      708
1074.01/1074.45	c 1074s |      18 |   619643 |   444452 |    23905     40 |      846 |      708
1074.11/1074.56	c 1074s |      19 |   619677 |   444482 |    23905     40 |      846 |      708
1076.21/1076.65	c 1076s |      19 |   624998 |   445782 |    23905     40 |      846 |      708
1078.31/1078.75	c 1078s |      19 |   627840 |   447182 |    23905     40 |      846 |      708
1080.41/1080.82	c 1080s |      19 |   628805 |   448082 |    23905     40 |      846 |      708
1082.51/1082.93	c 1082s |      19 |   630902 |   448982 |    23905     41 |      846 |      708
1084.51/1084.98	c 1084s |      19 |   632637 |   450382 |    23905     41 |      846 |      708
1086.71/1087.13	c 1086s |      19 |   634037 |   451682 |    23905     41 |      846 |      708
1088.82/1089.22	c 1088s |      19 |   635488 |   452882 |    23905     41 |      846 |      708
1090.92/1091.38	c 1091s |      19 |   636767 |   454082 |    23905     41 |      846 |      708
1093.12/1093.55	c 1093s |      19 |   637937 |   455182 |    23905     41 |      846 |      708
1095.32/1095.71	c 1095s |      19 |   638975 |   456182 |    23905     41 |      846 |      708
1097.31/1097.71	c 1097s |      19 |   639904 |   457082 |    23905     41 |      846 |      708
1099.31/1099.71	c 1099s |      19 |   640866 |   457982 |    23905     41 |      846 |      708
1101.31/1101.75	c 1101s |      19 |   641831 |   458882 |    23905     41 |      846 |      708
1103.31/1103.78	c 1103s |      19 |   642697 |   459682 |    23905     41 |      846 |      708
1105.32/1105.79	c 1105s |      19 |   643585 |   460482 |    23905     41 |      846 |      708
1107.52/1107.95	c 1107s |      19 |   644529 |   461382 |    23905     41 |      846 |      708
1109.72/1110.14	c 1109s |      19 |   645265 |   462082 |    23905     42 |      846 |      708
1111.92/1112.33	c 1112s |      19 |   646342 |   463082 |    23905     42 |      846 |      708
1113.91/1114.37	c 1114s |      19 |   647291 |   463982 |    23905     42 |      846 |      708
1116.01/1116.49	c 1116s |      19 |   648125 |   464782 |    23905     42 |      846 |      708
1118.21/1118.67	c 1118s |      19 |   648975 |   465582 |    23905     42 |      846 |      708
1120.41/1120.85	c 1120s |      19 |   649809 |   466382 |    23905     42 |      846 |      708
1122.41/1122.88	c 1122s |      19 |   650538 |   467082 |    23905     42 |      846 |      708
1124.51/1124.90	c 1124s |      19 |   651275 |   467782 |    23905     42 |      846 |      708
1126.61/1127.00	c 1126s |      19 |   652019 |   468482 |    23905     42 |      846 |      708
1128.71/1129.11	c 1128s |      19 |   652751 |   469182 |    23905     42 |      846 |      708
1130.81/1131.22	c 1130s |      19 |   653492 |   469882 |    23905     42 |      846 |      708
1133.00/1133.42	c 1133s |      19 |   654226 |   470582 |    23905     42 |      846 |      708
1135.01/1135.49	c 1135s |      19 |   654961 |   471282 |    23905     42 |      846 |      708
1137.21/1137.68	c 1137s |      19 |   655684 |   471982 |    23905     42 |      846 |      708
1139.31/1139.78	c 1139s |      19 |   656311 |   472582 |    23905     42 |      846 |      708
1141.61/1142.03	c 1141s |      19 |   656930 |   473182 |    23905     42 |      846 |      708
1143.81/1144.21	c 1143s |      19 |   657568 |   473782 |    23905     42 |      846 |      708
1146.10/1146.59	c 1146s |      19 |   658210 |   474382 |    23905     42 |      846 |      708
1148.40/1148.89	c 1148s |      19 |   658831 |   474982 |    23905     42 |      846 |      708
1150.41/1150.89	c 1150s |      19 |   659361 |   475482 |    23905     43 |      846 |      708
1152.61/1153.05	c 1152s |      19 |   660200 |   476282 |    23905     43 |      846 |      708
1154.71/1155.11	c 1154s |      19 |   660924 |   476982 |    23905     43 |      846 |      708
1156.80/1157.29	c 1157s |      19 |   661757 |   477782 |    23905     43 |      846 |      708
1158.90/1159.34	c 1159s |      19 |   662472 |   478482 |    23905     43 |      846 |      708
1161.00/1161.40	c 1161s |      19 |   663194 |   479182 |    23905     43 |      846 |      708
1163.10/1163.52	c 1163s |      19 |   664246 |   479982 |    23905     43 |      846 |      708
1165.20/1165.69	c 1165s |      19 |   665475 |   480982 |    23905     43 |      846 |      708
1167.30/1167.71	c 1167s |      19 |   666404 |   481782 |    23905     43 |      846 |      708
1169.40/1169.88	c 1169s |      19 |   667273 |   482582 |    23905     43 |      846 |      708
1171.70/1172.16	c 1171s |      19 |   668281 |   483482 |    23905     43 |      846 |      708
1174.00/1174.41	c 1174s |      19 |   669173 |   484282 |    23905     43 |      846 |      708
1176.00/1176.49	c 1176s |      19 |   670070 |   485082 |    23905     43 |      846 |      708
1178.10/1178.58	c 1178s |      19 |   671922 |   486182 |    23905     43 |      846 |      708
1180.30/1180.79	c 1180s |      19 |   673005 |   487182 |    23905     43 |      846 |      708
1182.40/1182.88	c 1182s |      19 |   674038 |   488082 |    23905     43 |      846 |      708
1184.60/1185.02	c 1184s |      19 |   674945 |   488782 |    23905     44 |      846 |      708
1186.70/1187.15	c 1186s |      19 |   676349 |   489882 |    23905     44 |      846 |      708
1188.90/1189.33	c 1189s |      19 |   677630 |   491082 |    23905     44 |      846 |      708
1190.90/1191.38	c 1191s |      19 |   678787 |   492082 |    23905     44 |      846 |      708
1193.10/1193.51	c 1193s |      19 |   679899 |   492982 |    23905     44 |      846 |      708
1195.20/1195.65	c 1195s |      19 |   681097 |   493982 |    23905     44 |      846 |      708
1197.30/1197.72	c 1197s |      19 |   682143 |   494882 |    23905     44 |      846 |      708
1199.49/1199.90	c 1199s |      19 |   683221 |   495782 |    23905     44 |      846 |      708
1201.59/1202.05	c 1201s |      19 |   684106 |   496582 |    23905     44 |      846 |      708
1203.89/1204.38	c 1204s |      19 |   685027 |   497382 |    23905     44 |      846 |      708
1206.09/1206.58	c 1206s |      19 |   685963 |   498182 |    23905     44 |      846 |      708
1208.29/1208.72	c 1208s |      19 |   686765 |   498882 |    23905     44 |      846 |      708
1210.29/1210.76	c 1210s |      19 |   687545 |   499582 |    23905     44 |      846 |      708
1212.39/1212.84	c 1212s |      19 |   688346 |   500282 |    23905     44 |      846 |      708
1214.39/1214.88	c 1214s |      19 |   689007 |   500882 |    23905     44 |      846 |      708
1216.59/1217.09	c 1216s |      19 |   689849 |   501582 |    23905     44 |      846 |      708
1219.20/1219.66	c 1219s |      19 |   690665 |   502282 |    23905     45 |      846 |      708
1221.30/1221.71	c 1221s |      19 |   691628 |   503082 |    23905     45 |      846 |      708
1223.60/1224.00	c 1223s |      19 |   692525 |   503882 |    23905     45 |      846 |      708
1225.60/1226.03	c 1225s |      19 |   693318 |   504582 |    23905     45 |      846 |      708
1227.70/1228.15	c 1227s |      19 |   694136 |   505282 |    23905     45 |      846 |      708
1229.80/1230.27	c 1230s |      19 |   694924 |   505982 |    23905     45 |      846 |      708
1231.80/1232.29	c 1232s |      19 |   695863 |   506782 |    23905     45 |      846 |      708
1233.80/1234.29	c 1234s |      19 |   696673 |   507482 |    23905     45 |      846 |      708
1236.00/1236.44	c 1236s |      19 |   697578 |   508282 |    23905     45 |      846 |      708
1238.20/1238.61	c 1238s |      19 |   698397 |   508982 |    23905     45 |      846 |      708
1240.20/1240.68	c 1240s |      19 |   699193 |   509682 |    23905     45 |      846 |      708
1242.30/1242.70	c 1242s |      19 |   700046 |   510382 |    23905     45 |      846 |      708
1244.60/1245.00	c 1244s |      19 |   700854 |   511082 |    23905     45 |      846 |      708
1246.80/1247.27	c 1247s |      19 |   701655 |   511782 |    23905     45 |      846 |      708
1249.00/1249.48	c 1249s |      19 |   702454 |   512482 |    23905     45 |      846 |      708
1251.09/1251.54	c 1251s |      19 |   703122 |   513082 |    23905     45 |      846 |      708
1253.19/1253.61	c 1253s |      19 |   703803 |   513682 |    23905     45 |      846 |      708
1255.19/1255.66	c 1255s |      19 |   704450 |   514282 |    23905     45 |      846 |      708
1257.29/1257.73	c 1257s |      19 |   705091 |   514882 |    23905     45 |      846 |      708
1259.59/1260.00	c 1259s |      19 |   705774 |   515482 |    23905     45 |      846 |      708
1261.59/1262.01	c 1261s |      19 |   706206 |   515882 |    23905     46 |      846 |      708
1263.60/1264.02	c 1263s |      19 |   707028 |   516582 |    23905     46 |      846 |      708
1265.69/1266.13	c 1265s |      19 |   707811 |   517282 |    23905     46 |      846 |      708
1268.00/1268.47	c 1268s |      19 |   708708 |   518082 |    23905     46 |      846 |      708
1270.09/1270.52	c 1270s |      19 |   709471 |   518782 |    23905     46 |      846 |      708
1272.40/1272.83	c 1272s |      19 |   710221 |   519482 |    23905     46 |      846 |      708
1274.60/1275.06	c 1274s |      19 |   711005 |   520182 |    23905     46 |      846 |      708
1276.59/1277.08	c 1276s |      19 |   711684 |   520782 |    23905     46 |      846 |      708
1278.79/1279.27	c 1279s |      19 |   712501 |   521482 |    23905     46 |      846 |      708
1280.89/1281.33	c 1281s |      19 |   713166 |   522082 |    23905     46 |      846 |      708
1283.19/1283.61	c 1283s |      19 |   713921 |   522782 |    23905     46 |      846 |      708
1285.39/1285.82	c 1285s |      19 |   714794 |   523482 |    23905     46 |      846 |      708
1287.49/1287.95	c 1287s |      19 |   715569 |   524182 |    23905     46 |      846 |      708
1289.59/1290.06	c 1289s |      19 |   716252 |   524782 |    23905     46 |      846 |      708
1291.79/1292.23	c 1292s |      19 |   716941 |   525382 |    23905     46 |      846 |      708
1293.99/1294.40	c 1294s |      19 |   717630 |   525982 |    23905     46 |      846 |      708
1296.09/1296.55	c 1296s |      19 |   718296 |   526582 |    23905     46 |      846 |      708
1298.29/1298.74	c 1298s |      19 |   718983 |   527182 |    23905     46 |      846 |      708
1300.69/1301.16	c 1300s |      19 |   719668 |   527782 |    23905     46 |      846 |      708
1302.98/1303.44	c 1303s |      19 |   720334 |   528382 |    23905     46 |      846 |      708
1305.08/1305.55	c 1305s |      19 |   720889 |   528882 |    23905     46 |      846 |      708
1307.28/1307.76	c 1307s |      19 |   721467 |   529382 |    23905     47 |      846 |      708
1309.38/1309.85	c 1309s |      19 |   722374 |   530182 |    23905     47 |      846 |      708
1311.48/1311.91	c 1311s |      19 |   723127 |   530882 |    23905     47 |      846 |      708
1313.68/1314.13	c 1313s |      19 |   723917 |   531582 |    23905     47 |      846 |      708
1315.68/1316.15	c 1315s |      19 |   724684 |   532282 |    23905     47 |      846 |      708
1317.88/1318.33	c 1318s |      19 |   725453 |   532982 |    23905     47 |      846 |      708
1320.08/1320.50	c 1320s |      19 |   726217 |   533682 |    23905     47 |      846 |      708
1322.18/1322.64	c 1322s |      19 |   727024 |   534382 |    23905     47 |      846 |      708
1324.28/1324.70	c 1324s |      19 |   727661 |   534982 |    23905     47 |      846 |      708
1326.29/1326.74	c 1326s |      19 |   728359 |   535582 |    23905     47 |      846 |      708
1328.38/1328.89	c 1328s |      19 |   729032 |   536182 |    23905     47 |      846 |      708
1330.69/1331.13	c 1330s |      19 |   729691 |   536782 |    23905     47 |      846 |      708
1332.68/1333.16	c 1332s |      19 |   730339 |   537382 |    23905     47 |      846 |      708
1334.88/1335.34	c 1335s |      19 |   730985 |   537982 |    23905     47 |      846 |      708
1337.18/1337.68	c 1337s |      19 |   731646 |   538582 |    23905     47 |      846 |      708
1339.38/1339.90	c 1339s |      19 |   732334 |   539182 |    23905     47 |      846 |      708
1341.58/1342.05	c 1341s |      19 |   732996 |   539782 |    23905     47 |      846 |      708
1343.89/1344.40	c 1344s |      19 |   733664 |   540382 |    23905     47 |      846 |      708
1346.19/1346.68	c 1346s |      19 |   734356 |   540982 |    23905     47 |      846 |      708
1348.29/1348.70	c 1348s |      19 |   734910 |   541482 |    23905     47 |      846 |      708
1350.28/1350.77	c 1350s |      19 |   735484 |   541982 |    23905     47 |      846 |      708
1352.68/1353.11	c 1352s |      19 |   736045 |   542482 |    23905     47 |      846 |      708
1354.98/1355.42	c 1355s |      19 |   736575 |   542982 |    23905     48 |      846 |      708
1357.08/1357.57	c 1357s |      19 |   737333 |   543682 |    23905     48 |      846 |      708
1359.18/1359.67	c 1359s |      19 |   738118 |   544382 |    23905     48 |      846 |      708
1361.38/1361.87	c 1361s |      19 |   739015 |   545182 |    23905     48 |      846 |      708
1363.58/1364.01	c 1363s |      19 |   739820 |   545882 |    23905     48 |      846 |      708
1365.78/1366.24	c 1366s |      19 |   740610 |   546582 |    23905     48 |      846 |      708
1368.08/1368.58	c 1368s |      19 |   741417 |   547282 |    23905     48 |      846 |      708
1370.38/1370.89	c 1370s |      19 |   742230 |   547982 |    23905     48 |      846 |      708
1372.67/1373.16	c 1372s |      19 |   743051 |   548682 |    23905     48 |      846 |      708
1374.87/1375.37	c 1375s |      19 |   743887 |   549382 |    23905     48 |      846 |      708
1376.88/1377.39	c 1377s |      19 |   744537 |   549982 |    23905     48 |      846 |      708
1379.18/1379.67	c 1379s |      19 |   745363 |   550682 |    23905     48 |      846 |      708
1381.28/1381.76	c 1381s |      19 |   746023 |   551282 |    23905     48 |      846 |      708
1383.37/1383.88	c 1383s |      19 |   746686 |   551882 |    23905     48 |      846 |      708
1385.57/1386.05	c 1385s |      19 |   747350 |   552482 |    23905     48 |      846 |      708
1387.67/1388.19	c 1387s |      19 |   748187 |   553182 |    23905     48 |      846 |      708
1389.77/1390.24	c 1390s |      19 |   748870 |   553782 |    23905     48 |      846 |      708
1391.87/1392.34	c 1392s |      19 |   749551 |   554382 |    23905     48 |      846 |      708
1394.07/1394.51	c 1394s |      19 |   750221 |   554982 |    23905     48 |      846 |      708
1396.37/1396.85	c 1396s |      19 |   750901 |   555582 |    23905     48 |      846 |      708
1399.07/1399.51	c 1399s |      19 |   751589 |   556182 |    23905     49 |      846 |      708
1401.27/1401.73	c 1401s |      19 |   752367 |   556882 |    23905     49 |      846 |      708
1403.57/1404.07	c 1403s |      19 |   753135 |   557582 |    23905     49 |      846 |      708
1405.77/1406.28	c 1406s |      19 |   754038 |   558382 |    23905     49 |      846 |      708
1407.77/1408.29	c 1408s |      19 |   754799 |   559082 |    23905     49 |      846 |      708
1409.87/1410.31	c 1410s |      19 |   755573 |   559782 |    23905     49 |      846 |      708
1412.17/1412.61	c 1412s |      19 |   756375 |   560482 |    23905     49 |      846 |      708
1414.37/1414.85	c 1414s |      19 |   757137 |   561182 |    23905     49 |      846 |      708
1416.36/1416.87	c 1416s |      19 |   757832 |   561782 |    23905     49 |      846 |      708
1418.46/1418.98	c 1418s |      19 |   758494 |   562382 |    23905     49 |      846 |      708
1420.76/1421.29	c 1421s |      19 |   759281 |   563082 |    23905     49 |      846 |      708
1422.96/1423.46	c 1423s |      19 |   759928 |   563682 |    23905     49 |      846 |      708
1425.27/1425.75	c 1425s |      19 |   760742 |   564382 |    23905     49 |      846 |      708
1427.57/1428.03	c 1427s |      19 |   761561 |   565082 |    23905     49 |      846 |      708
1429.67/1430.14	c 1429s |      19 |   762229 |   565682 |    23905     49 |      846 |      708
1431.76/1432.22	c 1431s |      19 |   762895 |   566282 |    23905     49 |      846 |      708
1433.96/1434.47	c 1434s |      19 |   763579 |   566882 |    23905     49 |      846 |      708
1436.06/1436.58	c 1436s |      19 |   764219 |   567482 |    23905     49 |      846 |      708
1438.47/1439.00	c 1438s |      19 |   764873 |   568082 |    23905     49 |      846 |      708
1440.67/1441.16	c 1440s |      19 |   765537 |   568682 |    23905     49 |      846 |      708
1442.97/1443.47	c 1443s |      19 |   766192 |   569282 |    23905     49 |      846 |      708
1445.17/1445.61	c 1445s |      19 |   766624 |   569682 |    23905     50 |      846 |      708
1447.27/1447.79	c 1447s |      19 |   767404 |   570382 |    23905     50 |      846 |      708
1449.36/1449.81	c 1449s |      19 |   768193 |   571082 |    23905     50 |      846 |      708
1451.46/1451.92	c 1451s |      19 |   768948 |   571782 |    23905     50 |      846 |      708
1453.46/1453.96	c 1453s |      19 |   769738 |   572482 |    23905     50 |      846 |      708
1455.76/1456.25	c 1456s |      19 |   770516 |   573182 |    23905     50 |      846 |      708
1457.96/1458.44	c 1458s |      19 |   771318 |   573882 |    23905     50 |      846 |      708
1460.26/1460.71	c 1460s |      19 |   772081 |   574582 |    23905     50 |      846 |      708
1462.36/1462.89	c 1462s |      19 |   772791 |   575182 |    23905     50 |      846 |      708
1464.46/1464.95	c 1464s |      19 |   773460 |   575782 |    23905     50 |      846 |      708
1466.76/1467.27	c 1467s |      19 |   774251 |   576482 |    23905     50 |      846 |      708
1468.85/1469.31	c 1469s |      19 |   774791 |   576982 |    23905     50 |      846 |      708
1471.05/1471.51	c 1471s |      19 |   775495 |   577582 |    23905     50 |      846 |      708
1473.25/1473.76	c 1473s |      19 |   776191 |   578182 |    23905     50 |      846 |      708
1475.55/1476.09	c 1475s |      19 |   776821 |   578782 |    23905     50 |      846 |      708
1477.65/1478.15	c 1477s |      19 |   777532 |   579382 |    23905     50 |      846 |      708
1479.95/1480.49	c 1480s |      19 |   778226 |   579982 |    23905     50 |      846 |      708
1482.15/1482.65	c 1482s |      19 |   778908 |   580582 |    23905     50 |      846 |      708
1484.25/1484.70	c 1484s |      19 |   779458 |   581082 |    23905     50 |      846 |      708
1486.35/1486.83	c 1486s |      19 |   779996 |   581582 |    23905     50 |      846 |      708
1488.75/1489.21	c 1488s |      19 |   780681 |   582182 |    23905     50 |      846 |      708
1490.85/1491.32	c 1491s |      19 |   781235 |   582682 |    23905     50 |      846 |      708
1493.85/1494.31	c 1494s |      19 |   781764 |   583182 |    23905     51 |      846 |      708
1495.85/1496.34	c 1496s |      19 |   782449 |   583782 |    23905     51 |      846 |      708
1497.96/1498.48	c 1498s |      19 |   783252 |   584482 |    23905     51 |      846 |      708
1500.16/1500.64	c 1500s |      19 |   784032 |   585182 |    23905     51 |      846 |      708
1502.26/1502.74	c 1502s |      19 |   784690 |   585782 |    23905     51 |      846 |      708
1504.25/1504.76	c 1504s |      19 |   785384 |   586382 |    23905     51 |      846 |      708
1506.35/1506.80	c 1506s |      19 |   786040 |   586982 |    23905     51 |      846 |      708
1508.45/1508.92	c 1508s |      19 |   786708 |   587582 |    23905     51 |      846 |      708
1510.45/1510.92	c 1510s |      19 |   787533 |   588282 |    23905     51 |      846 |      708
1512.55/1513.10	c 1512s |      19 |   788357 |   588982 |    23905     51 |      846 |      708
1514.95/1515.43	c 1515s |      19 |   789111 |   589682 |    23905     51 |      846 |      708
1517.15/1517.62	c 1517s |      19 |   789761 |   590282 |    23905     51 |      846 |      708
1519.15/1519.65	c 1519s |      19 |   790431 |   590882 |    23905     51 |      846 |      708
1521.24/1521.75	c 1521s |      19 |   791097 |   591482 |    23905     51 |      846 |      708
1523.54/1524.01	c 1523s |      19 |   791748 |   592082 |    23905     51 |      846 |      708
1525.74/1526.27	c 1526s |      19 |   792402 |   592682 |    23905     51 |      846 |      708
1527.74/1528.27	c 1528s |      19 |   792946 |   593182 |    23905     51 |      846 |      708
1529.75/1530.29	c 1530s |      19 |   793490 |   593682 |    23905     51 |      846 |      708
1532.14/1532.63	c 1532s |      19 |   794152 |   594282 |    23905     51 |      846 |      708
1534.44/1534.99	c 1534s |      19 |   794838 |   594882 |    23905     51 |      846 |      708
1536.85/1537.33	c 1537s |      19 |   795369 |   595382 |    23905     51 |      846 |      708
1538.95/1539.42	c 1539s |      19 |   795925 |   595882 |    23905     51 |      846 |      708
1540.95/1541.43	c 1541s |      19 |   796491 |   596382 |    23905     51 |      846 |      708
1543.15/1543.60	c 1543s |      19 |   796922 |   596782 |    23905     52 |      846 |      708
1545.16/1545.66	c 1545s |      19 |   797693 |   597482 |    23905     52 |      846 |      708
1547.36/1547.86	c 1547s |      19 |   798443 |   598182 |    23905     52 |      846 |      708
1549.56/1550.09	c 1549s |      19 |   799232 |   598882 |    23905     52 |      846 |      708
1551.65/1552.16	c 1551s |      19 |   800015 |   599582 |    23905     52 |      846 |      708
1553.75/1554.20	c 1553s |      19 |   800696 |   600182 |    23905     52 |      846 |      708
1555.95/1556.42	c 1556s |      19 |   801469 |   600882 |    23905     52 |      846 |      708
1558.05/1558.52	c 1558s |      19 |   802120 |   601482 |    23905     52 |      846 |      708
1560.25/1560.75	c 1560s |      19 |   802754 |   602082 |    23905     52 |      846 |      708
1562.35/1562.85	c 1562s |      19 |   803436 |   602682 |    23905     52 |      846 |      708
1564.45/1564.91	c 1564s |      19 |   804107 |   603282 |    23905     52 |      846 |      708
1566.55/1567.07	c 1566s |      19 |   804787 |   603882 |    23905     52 |      846 |      708
1568.85/1569.37	c 1569s |      19 |   805445 |   604482 |    23905     52 |      846 |      708
1571.15/1571.63	c 1571s |      19 |   806123 |   605082 |    23905     52 |      846 |      708
1573.25/1573.76	c 1573s |      19 |   806791 |   605682 |    23905     52 |      846 |      708
1575.54/1576.00	c 1575s |      19 |   807449 |   606282 |    23905     52 |      846 |      708
1577.64/1578.17	c 1577s |      19 |   808145 |   606882 |    23905     52 |      846 |      708
1579.74/1580.25	c 1580s |      19 |   808820 |   607482 |    23905     52 |      846 |      708
1581.94/1582.49	c 1582s |      19 |   809698 |   608182 |    23905     52 |      846 |      708
1584.14/1584.61	c 1584s |      19 |   810430 |   608782 |    23905     52 |      846 |      708
1586.14/1586.68	c 1586s |      19 |   811142 |   609382 |    23905     52 |      846 |      708
1588.54/1589.03	c 1588s |      19 |   812053 |   610082 |    23905     52 |      846 |      708
1590.54/1591.09	c 1590s |      19 |   812500 |   610482 |    23905     53 |      846 |      708
1592.84/1593.33	c 1593s |      19 |   813397 |   611282 |    23905     53 |      846 |      708
1594.84/1595.38	c 1595s |      19 |   814036 |   611882 |    23905     53 |      846 |      708
1597.14/1597.65	c 1597s |      19 |   814967 |   612682 |    23905     53 |      846 |      708
1599.24/1599.71	c 1599s |      19 |   815745 |   613382 |    23905     53 |      846 |      708
1601.25/1601.78	c 1601s |      19 |   816665 |   614182 |    23905     53 |      846 |      708
1603.45/1603.96	c 1603s |      19 |   817461 |   614882 |    23905     53 |      846 |      708
1605.75/1606.24	c 1606s |      19 |   818206 |   615582 |    23905     53 |      846 |      708
1607.85/1608.37	c 1608s |      19 |   818839 |   616182 |    23905     53 |      846 |      708
1609.84/1610.39	c 1610s |      19 |   819474 |   616782 |    23905     53 |      846 |      708
1612.14/1612.66	c 1612s |      19 |   820147 |   617382 |    23905     53 |      846 |      708
1614.44/1614.96	c 1614s |      19 |   820788 |   617982 |    23905     53 |      846 |      708
1616.64/1617.11	c 1616s |      19 |   821435 |   618582 |    23905     53 |      846 |      708
1619.04/1619.55	c 1619s |      19 |   822070 |   619182 |    23905     53 |      846 |      708
1621.14/1621.62	c 1621s |      19 |   822598 |   619682 |    23905     53 |      846 |      708
1623.14/1623.64	c 1623s |      19 |   823129 |   620182 |    23905     53 |      846 |      708
1625.34/1625.84	c 1625s |      19 |   823985 |   620882 |    23905     53 |      846 |      708
1627.54/1628.02	c 1627s |      19 |   824772 |   621582 |    23905     53 |      846 |      708
1629.74/1630.28	c 1630s |      19 |   825565 |   622282 |    23905     53 |      846 |      708
1632.04/1632.56	c 1632s |      19 |   826260 |   622882 |    23905     53 |      846 |      708
1634.13/1634.65	c 1634s |      19 |   826804 |   623382 |    23905     53 |      846 |      708
1636.33/1636.85	c 1636s |      19 |   827370 |   623882 |    23905     54 |      846 |      708
1638.33/1638.86	c 1638s |      19 |   828181 |   624582 |    23905     54 |      846 |      708
1640.43/1640.99	c 1640s |      19 |   829104 |   625382 |    23905     54 |      846 |      708
1642.63/1643.13	c 1642s |      19 |   829926 |   626082 |    23905     54 |      846 |      708
1644.63/1645.15	c 1644s |      19 |   830594 |   626682 |    23905     54 |      846 |      708
1646.73/1647.27	c 1647s |      19 |   831408 |   627382 |    23905     54 |      846 |      708
1648.83/1649.39	c 1649s |      19 |   832044 |   627982 |    23905     54 |      846 |      708
1650.93/1651.41	c 1651s |      19 |   832694 |   628582 |    23905     54 |      846 |      708
1653.23/1653.73	c 1653s |      19 |   833348 |   629182 |    23905     54 |      846 |      708
1655.43/1655.94	c 1655s |      19 |   833983 |   629782 |    23905     54 |      846 |      708
1657.63/1658.13	c 1657s |      19 |   834518 |   630282 |    23905     54 |      846 |      708
1659.63/1660.18	c 1659s |      19 |   835165 |   630882 |    23905     54 |      846 |      708
1661.93/1662.46	c 1662s |      19 |   835804 |   631482 |    23905     54 |      846 |      708
1664.23/1664.70	c 1664s |      19 |   836464 |   632082 |    23905     54 |      846 |      708
1666.43/1666.91	c 1666s |      19 |   837121 |   632682 |    23905     54 |      846 |      708
1668.53/1669.06	c 1668s |      19 |   837778 |   633282 |    23905     54 |      846 |      708
1671.03/1671.51	c 1671s |      19 |   838436 |   633882 |    23905     54 |      846 |      708
1673.02/1673.59	c 1673s |      19 |   838969 |   634382 |    23905     54 |      846 |      708
1675.32/1675.83	c 1675s |      19 |   839509 |   634882 |    23905     54 |      846 |      708
1677.42/1677.94	c 1677s |      19 |   840074 |   635382 |    23905     54 |      846 |      708
1679.52/1680.02	c 1679s |      19 |   840608 |   635882 |    23905     54 |      846 |      708
1681.63/1682.18	c 1681s |      19 |   841150 |   636382 |    23905     54 |      846 |      708
1683.83/1684.35	c 1684s |      19 |   841681 |   636882 |    23905     54 |      846 |      708
1686.62/1687.10	c 1686s |      19 |   842205 |   637382 |    23905     55 |      846 |      708
1688.82/1689.37	c 1689s |      19 |   842851 |   637982 |    23905     55 |      846 |      708
1691.22/1691.71	c 1691s |      19 |   843494 |   638582 |    23905     55 |      846 |      708
1693.32/1693.84	c 1693s |      19 |   844143 |   639182 |    23905     55 |      846 |      708
1695.42/1695.91	c 1695s |      19 |   844929 |   639882 |    23905     55 |      846 |      708
1697.52/1698.03	c 1697s |      19 |   845571 |   640482 |    23905     55 |      846 |      708
1699.72/1700.27	c 1700s |      19 |   846219 |   641082 |    23905     55 |      846 |      708
1701.82/1702.32	c 1702s |      19 |   846877 |   641682 |    23905     55 |      846 |      708
1703.82/1704.38	c 1704s |      19 |   847542 |   642282 |    23905     55 |      846 |      708
1706.02/1706.53	c 1706s |      19 |   848325 |   642982 |    23905     55 |      846 |      708
1708.02/1708.56	c 1708s |      19 |   848954 |   643582 |    23905     55 |      846 |      708
1710.22/1710.77	c 1710s |      19 |   849726 |   644282 |    23905     55 |      846 |      708
1712.33/1712.81	c 1712s |      19 |   850391 |   644882 |    23905     55 |      846 |      708
1714.53/1715.05	c 1714s |      19 |   851201 |   645582 |    23905     55 |      846 |      708
1716.62/1717.14	c 1716s |      19 |   851837 |   646182 |    23905     55 |      846 |      708
1718.93/1719.47	c 1719s |      19 |   852472 |   646782 |    23905     55 |      846 |      708
1721.23/1721.79	c 1721s |      19 |   853141 |   647382 |    23905     55 |      846 |      708
1723.62/1724.11	c 1723s |      19 |   853800 |   647982 |    23905     55 |      846 |      708
1725.72/1726.22	c 1725s |      19 |   854339 |   648482 |    23905     55 |      846 |      708
1728.02/1728.54	c 1728s |      19 |   854866 |   648982 |    23905     55 |      846 |      708
1730.42/1730.93	c 1730s |      19 |   855381 |   649482 |    23905     55 |      846 |      708
1732.42/1732.98	c 1732s |      19 |   855985 |   649982 |    23905     55 |      846 |      708
1734.43/1734.98	c 1734s |      19 |   856409 |   650382 |    23905     55 |      846 |      708
1737.42/1737.95	c 1737s |      19 |   856920 |   650882 |    23905     56 |      846 |      708
1739.62/1740.18	c 1739s |      19 |   857578 |   651482 |    23905     56 |      846 |      708
1741.82/1742.39	c 1742s |      19 |   858114 |   651982 |    23905     56 |      846 |      708
1743.92/1744.41	c 1744s |      19 |   858759 |   652582 |    23905     56 |      846 |      708
1746.02/1746.53	c 1746s |      19 |   859544 |   653282 |    23905     56 |      846 |      708
1748.02/1748.54	c 1748s |      19 |   860142 |   653782 |    23905     56 |      846 |      708
1750.22/1750.74	c 1750s |      19 |   860801 |   654382 |    23905     56 |      846 |      708
1752.32/1752.89	c 1752s |      19 |   861464 |   654982 |    23905     56 |      846 |      708
1754.42/1754.94	c 1754s |      19 |   861986 |   655482 |    23905     56 |      846 |      708
1756.72/1757.24	c 1757s |      19 |   862646 |   656082 |    23905     56 |      846 |      708
1759.02/1759.57	c 1759s |      19 |   863305 |   656682 |    23905     56 |      846 |      708
1761.32/1761.87	c 1761s |      19 |   863956 |   657282 |    23905     56 |      846 |      708
1763.62/1764.19	c 1763s |      19 |   864619 |   657882 |    23905     56 |      846 |      708
1765.72/1766.26	c 1766s |      19 |   865606 |   658682 |    23905     56 |      846 |      708
1768.02/1768.53	c 1768s |      19 |   866251 |   659282 |    23905     56 |      846 |      708
1770.11/1770.62	c 1770s |      19 |   866921 |   659882 |    23905     56 |      846 |      708
1772.41/1772.99	c 1772s |      19 |   867563 |   660482 |    23905     56 |      846 |      708
1774.61/1775.13	c 1774s |      19 |   868220 |   661082 |    23905     56 |      846 |      708
1776.61/1777.17	c 1776s |      19 |   868759 |   661582 |    23905     56 |      846 |      708
1778.61/1779.18	c 1778s |      19 |   869315 |   662082 |    23905     56 |      846 |      708
1780.71/1781.27	c 1781s |      19 |   869967 |   662682 |    26296     56 |      846 |      708
1782.91/1783.42	c 1783s |      19 |   870639 |   663282 |    26296     56 |      846 |      708
1784.92/1785.42	c 1785s |      19 |   871177 |   663782 |    26296     56 |      846 |      708
1786.91/1787.44	c 1787s |      19 |   871739 |   664282 |    26296     56 |      846 |      708
1789.01/1789.50	c 1789s |      19 |   872290 |   664782 |    26296     56 |      846 |      708
1791.11/1791.67	c 1791s |      19 |   872815 |   665282 |    26296     56 |      846 |      708
1793.41/1793.98	c 1793s |      19 |   873498 |   665882 |    26296     56 |      846 |      708
1795.81/1796.37	c 1796s |      19 |   874197 |   666482 |    26296     56 |      846 |      708
1797.71/1798.22	c 1797s |      20 |   874556 |   666827 |    26296     57 |      846 |      708
1799.71/1800.24	c 1800s |      20 |   888049 |   669627 |    26296     57 |      846 |      708

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

pid=22178
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.14 2.21 2.18 3/179 22181
/proc/meminfo: memFree=29635152/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 2676 0 0 0 0 0 0 0 20 0 4 0 28112174 734457856 3036 33554432000 4194304 16246674 140734294854800 140734294854224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 179823 3044 441 2943 0 176717 0
[pid=22181/tid=22182] ppid=22178 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 752283648 3101 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 756477952 3120 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28112174 761720832 3140 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100189 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 22181
/proc/meminfo: memFree=29635152/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 25183 0 0 0 5 4 0 0 20 0 4 0 28112174 1332285440 25482 33554432000 4194304 16246674 140734294854800 140734294854112 12478070 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 325521 25491 830 2943 0 322415 0
[pid=22181/tid=22182] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 25498 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 25504 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 25510 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1301060

[startup+0.200482 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 22181
/proc/meminfo: memFree=29635152/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 43534 0 0 0 12 7 0 0 20 0 4 0 28112174 1333334016 43832 33554432000 4194304 16246674 140734294854800 140734294854112 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 325521 43832 840 2943 0 322415 0
[pid=22181/tid=22182] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 43832 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 43832 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 43832 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1302084

[startup+0.300464 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 22181
/proc/meminfo: memFree=29635152/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 47698 0 0 0 22 7 0 0 20 0 4 0 28112174 1333334016 47996 33554432000 4194304 16246674 140734294854800 140734294854112 5546859 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 325521 48002 880 2943 0 322415 0
[pid=22181/tid=22182] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 48008 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 48011 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 48014 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700392 s]
/proc/loadavg: 2.14 2.21 2.18 3/179 22181
/proc/meminfo: memFree=29635152/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 99350 0 0 0 55 14 0 0 20 0 4 0 28112174 1333334016 99648 33554432000 4194304 16246674 140734294854800 140734294854112 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 325521 99653 880 2943 0 322415 0
[pid=22181/tid=22182] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 99656 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 99659 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 99663 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1302084

[startup+1.50038 s]
/proc/loadavg: 2.14 2.21 2.18 3/183 22185
/proc/meminfo: memFree=29027828/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 203742 0 0 0 119 30 0 0 20 0 4 0 28112174 1333334016 204040 33554432000 4194304 16246674 140734294854800 140734294836672 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 325521 204044 880 2943 0 322415 0
[pid=22181/tid=22182] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 204047 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 204050 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1333334016 204053 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1302084

[startup+3.10035 s]
/proc/loadavg: 2.14 2.21 2.18 3/183 22185
/proc/meminfo: memFree=28558236/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 269266 0 0 0 269 40 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140734294836672 5530850 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 328081 269564 886 2943 0 324975 0
[pid=22181/tid=22182] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1312324

[startup+6.30038 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 22185
/proc/meminfo: memFree=28557532/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 269266 0 0 0 588 41 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140734294836672 5823496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 328081 269564 886 2943 0 324975 0
[pid=22181/tid=22182] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269564 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 22185
/proc/meminfo: memFree=28557600/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 269268 0 0 0 1228 41 0 0 20 0 4 0 28112174 1343819776 269566 33554432000 4194304 16246674 140734294854800 140734294836672 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 328081 269566 888 2943 0 324975 0
[pid=22181/tid=22182] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269566 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269566 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269566 33554432000 4194304 16246674 140734294854800 140525548068016 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) 1312324

[startup+25.5073 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 22185
/proc/meminfo: memFree=28556920/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1312324 CPUtime=25.5 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 269271 0 0 0 2509 41 0 0 20 0 4 0 28112174 1343819776 269823 33554432000 4194304 16246674 140734294854800 140734294836672 5724854 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 328081 269823 889 2943 0 324975 0
[pid=22181/tid=22182] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269823 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269823 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269823 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 22185
/proc/meminfo: memFree=28556524/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 269277 0 0 0 5068 41 0 0 20 0 4 0 28112174 1343819776 269824 33554432000 4194304 16246674 140734294854800 140734294836672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 328081 269824 890 2943 0 324975 0
[pid=22181/tid=22182] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269824 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269824 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1343819776 269824 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/184 22189
/proc/meminfo: memFree=28550000/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1319492 CPUtime=102.26 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 270864 0 0 0 10185 41 0 0 20 0 4 0 28112174 1351159808 271382 33554432000 4194304 16246674 140734294854800 140734294837800 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 329873 271382 890 2943 0 326767 0
[pid=22181/tid=22182] ppid=22178 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1351159808 271382 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1351159808 271382 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1351159808 271382 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1319492


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

/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1334852

[startup+1302.3 s]
/proc/loadavg: 2.10 2.12 2.12 3/184 22558
/proc/meminfo: memFree=28560784/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1301.89 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 130143 46 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.18 2.14 2.12 3/183 22608
/proc/meminfo: memFree=28559876/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1361.88 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 136142 46 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294853976 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.12 2.13 2.11 2/178 22609
/proc/meminfo: memFree=29633556/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1421.86 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 142140 46 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.08 2.12 2.11 4/183 22659
/proc/meminfo: memFree=28558272/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1481.85 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 148139 46 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1334852

[startup+1542.3 s]
/proc/loadavg: 2.25 2.15 2.12 3/183 22660
/proc/meminfo: memFree=28549536/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1541.86 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 154139 47 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.14 2.14 2.11 3/183 22660
/proc/meminfo: memFree=28549268/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1601.84 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 160137 47 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 4222042 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1334852

[startup+1662.31 s]
/proc/loadavg: 2.09 2.13 2.10 4/183 22711
/proc/meminfo: memFree=28559016/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1661.83 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 166136 47 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.17 2.14 2.11 3/183 22712
/proc/meminfo: memFree=28558712/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1721.82 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 172134 48 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.11 2.13 2.10 3/183 22713
/proc/meminfo: memFree=28554900/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1781.81 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 178133 48 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294853896 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.12 2.10 4/183 22713
/proc/meminfo: memFree=28548676/32872528 swapFree=1085692/1157232
[pid=22181] ppid=22178 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/22181/stat : 22181 (toysat) R 22178 22181 21062 0 -1 4202496 275273 0 0 0 179953 48 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140734294836672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22181/statm: 333713 275456 890 2943 0 330607 0
[pid=22181/tid=22182] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22182/stat : 22182 (toysat) S 22178 22181 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525645573360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=22181/tid=22183] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22183/stat : 22183 (toysat) S 22178 22181 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525558541552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=22181/tid=22184] ppid=22178 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/22181/task/22184/stat : 22184 (toysat) S 22178 22181 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28112174 1366888448 275456 33554432000 4194304 16246674 140734294854800 140525548068016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

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 22181 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.51
CPU time (s): 1800.02
CPU user time (s): 1799.54
CPU system time (s): 0.481926
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.481926
maximum resident set size= 1101824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275273
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= 386
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.57031 second user time and 6.94294 second system time

The end

Begin job on node114 at 2016-06-26 16:18:46
IDJOB=4116597
IDBENCH=109490
IDSOLVER=2542
FILE ID=node114/4116597-1466950725
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116597-1466950725/watcher-4116597-1466950725 -o /tmp/evaluation-result-4116597-1466950725/solver-4116597-1466950725 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21078 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116597-1466950725.opb

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

MD5SUM BENCH= 67241af52a65c1be692e9f176668d11f
RANDOM SEED=504964767

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29635812 kB
Buffers:           14608 kB
Cached:           216840 kB
SwapCached:        38932 kB
Active:          1171584 kB
Inactive:         207044 kB
Active(anon):    1111816 kB
Inactive(anon):    37756 kB
Active(file):      59768 kB
Inactive(file):   169288 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061376 kB
Dirty:             16792 kB
Writeback:             0 kB
AnonPages:       2266780 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             566728 kB
SReclaimable:      10676 kB
SUnreclaim:       556052 kB
KernelStack:        1456 kB
PageTables:         8456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2412020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1175552 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= 71624 MiB
End job on node114 at 2016-06-26 16:48:46