0.00/0.00	c 2016-06-27T00:46:33+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-4116005-1466981192.opb"]
0.00/0.01	c use --random-gen="10329883 4059713836 1592993492 739609970 1192459511 2202974881 3093704401 1182070102 4107189839 2470212294 416199744 2543429497 348915576 2956489130 1498023319 3107201013 4096547963 3798553424 2429489326 658112692 2644287460 4116312598 1836405704 3337843565 3210623138 3055102737 346777003 2492066269 853248629 2287913438 1776511668 481160521 1515201303 2411664816 2569508576 3646618486 2961079335 2180483007 3146995272 4216516896 4253770123 1685658241 1574533238 4214440029 3932186701 1427104493 422343242 244767182 2996199264 1356175134 350456312 3059083320 122216339 2763757585 2273849122 80811832 2401215993 3483776779 2699620416 4236299058 1496536811 2708189234 1398232841 2977904339 3904897987 2313905613 46556793 2246843392 4027319175 1275565553 961315459 4093445488 840812842 3112886150 2488485457 979423542 585516673 1907562894 2208815278 4101550827 625450784 1406273207 2988128567 3521317402 2393751046 469542362 2585760999 3270098095 3975269641 2465937578 4035075114 2434136784 4291328449 164551471 1906498223 2602793772 2827426963 912218766 2499831803 3997570419 2932225629 1196043879 1685977985 2264554123 3430864101 952454189 3046917151 2173552895 1204274861 3531378946 4087469541 3219737271 4209197002 2205333640 3365990533 1310828758 3172727987 2954505365 1546719721 112817490 1325872082 4182740266 2282294907 1580388567 2092730650 452122558 657062698 2760404233 2655044025 2482190360 4243851091 3268668579 3366088417 4004418437 4278537542 3446162202 4276586935 4228611272 2782236812 1093188391 1924746247 91168704 853656497 750340441 621161126 202876988 586447396 875166562 644156903 831351692 2103110236 1160031280 1407919385 1289574075 918001145 1959626688 2333464402 2253076323 2102195456 965705789 977872966 757118666 1057091617 3848864419 949381373 2042927203 4117944080 3666091012 2412186422 3222002552 1220480829 2329265266 3651793641 2076762236 2193128327 3764424503 2097737560 2525187712 3204114423 2710251606 1336378361 2940974215 4068247450 1239846945 3941512987 1814570017 3152954083 696315678 2599288024 3137811162 1231918356 2207983726 2849136538 1902684195 3743671669 1418713471 1528171758 3995371272 1737543171 401449412 4126865017 4012030264 3366046432 3871108891 1912127258 1019001970 3213417711 346290459 20829379 71199191 3719462251 3141802368 4036322575 4242055670 3505129506 167577184 2778108179 944455472 2007932046 2784315541 2312227081 614069797 2538782180 1410584010 1132135941 2693646141 2512387398 3759458062 499370304 2684965524 1459441946 546854460 1107699301 1273807285 3224939347 2355143555 1999322873 2161871491 4070959855 1759208734 373894004 885936120 2285621290 325068718 276581730 101905074 785612545 2841862427 2397069845 3386556674 1133091840 1907283788 2332684091 1875073582 1330250606 3611350063 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9536
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      912 |        0
0.29/0.35	c  0.1s |       1 |     1039 |      100 |     4565      0 |      913 |      944
0.39/0.45	c  0.2s |       2 |     1924 |      250 |     5022      0 |      913 |      944
0.49/0.58	c  0.3s |       3 |     3522 |      475 |     5525      0 |      913 |      944
0.89/0.99	c  0.7s |       4 |     4764 |      813 |     6078      0 |      913 |      944
1.59/1.68	c  1.4s |       5 |     7930 |     1320 |     6686      0 |      913 |      944
2.20/2.20	c  1.9s |       6 |    13946 |     2081 |     8091      0 |      914 |      944
2.79/2.87	c  2.6s |       7 |    18659 |     3223 |     8901      0 |      914 |      944
4.59/4.62	c  4.3s |       8 |    24283 |     4936 |     9792      0 |      914 |      944
6.49/6.55	c  6.3s |       9 |    31770 |     7506 |    10772      0 |      914 |      944
8.59/8.63	c  8.4s |       9 |    35591 |     9406 |    10772      0 |      914 |      944
10.59/10.69	c 10.4s |       9 |    37281 |    10806 |    10772      0 |      914 |      944
11.59/11.61	c 11.3s |      10 |    37918 |    11361 |    11850      0 |      914 |      944
13.59/13.69	c 13.4s |      10 |    47460 |    14061 |    11850      0 |      914 |      944
15.69/15.76	c 15.5s |      10 |    51072 |    15961 |    11850      1 |      914 |      944
17.29/17.37	c 17.1s |      11 |    52672 |    17144 |    13036      1 |      914 |      944
19.29/19.37	c 19.1s |      11 |    57751 |    19344 |    13036      1 |      914 |      944
21.39/21.42	c 21.1s |      11 |    62473 |    21444 |    13036      1 |      914 |      944
23.49/23.56	c 23.3s |      11 |    64856 |    22944 |    13036      1 |      914 |      944
25.49/25.59	c 25.3s |      11 |    65975 |    23844 |    13036      1 |      914 |      944
27.59/27.63	c 27.4s |      11 |    67706 |    25044 |    13036      2 |      914 |      944
28.59/28.68	c 28.4s |      12 |    69426 |    25819 |    14340      2 |      914 |      944
30.79/30.86	c 30.6s |      12 |    74428 |    27719 |    14340      2 |      914 |      944
32.89/32.98	c 32.7s |      12 |    75974 |    29019 |    14340      2 |      914 |      944
34.99/35.08	c 34.8s |      12 |    77571 |    30319 |    14340      2 |      914 |      944
37.09/37.16	c 36.9s |      12 |    78853 |    31419 |    14340      2 |      914 |      944
39.19/39.26	c 39.0s |      12 |    79849 |    32319 |    14340      2 |      914 |      944
41.19/41.28	c 41.0s |      12 |    80923 |    33219 |    14340      2 |      914 |      944
43.39/43.47	c 43.2s |      12 |    81949 |    34119 |    14340      3 |      914 |      944
45.69/45.71	c 45.4s |      12 |    82956 |    35019 |    14340      3 |      914 |      944
47.68/47.71	c 47.4s |      12 |    83703 |    35719 |    14340      3 |      914 |      944
49.68/49.74	c 49.5s |      12 |    84487 |    36419 |    14340      3 |      914 |      944
51.79/51.82	c 51.5s |      12 |    85384 |    37219 |    14340      3 |      914 |      944
53.78/53.87	c 53.6s |      12 |    86164 |    37919 |    14340      3 |      914 |      944
55.98/56.06	c 55.8s |      12 |    87100 |    38719 |    15775      3 |      914 |      944
56.28/56.39	c 56.1s |      13 |    87214 |    38832 |    15775      3 |      914 |      944
58.48/58.56	c 58.3s |      13 |    96576 |    41132 |    15775      3 |      914 |      944
60.59/60.65	c 60.4s |      13 |    98517 |    42732 |    15775      3 |      914 |      944
62.88/62.96	c 62.7s |      13 |    99986 |    44032 |    15775      4 |      914 |      944
64.99/65.04	c 64.8s |      13 |   102144 |    45832 |    15775      4 |      914 |      944
67.08/67.14	c 66.9s |      13 |   104113 |    47432 |    15775      4 |      914 |      944
69.08/69.15	c 68.9s |      13 |   105939 |    48932 |    15775      4 |      914 |      944
71.08/71.17	c 70.9s |      13 |   107298 |    50132 |    15775      4 |      914 |      944
73.18/73.20	c 72.9s |      13 |   108510 |    51232 |    15775      4 |      914 |      944
75.28/75.34	c 75.1s |      13 |   109798 |    52332 |    15775      4 |      914 |      944
77.38/77.42	c 77.1s |      13 |   111151 |    53432 |    15775      5 |      914 |      944
79.48/79.51	c 79.2s |      13 |   112517 |    54632 |    15775      5 |      914 |      944
81.48/81.58	c 81.3s |      13 |   113624 |    55632 |    15775      5 |      914 |      944
83.58/83.69	c 83.4s |      13 |   114710 |    56632 |    15775      5 |      914 |      944
85.68/85.76	c 85.5s |      13 |   116064 |    57732 |    15775      5 |      914 |      944
86.98/87.06	c 86.8s |      14 |   116741 |    58352 |    17353      5 |      914 |      944
88.97/89.09	c 88.8s |      14 |   126938 |    60452 |    17353      5 |      914 |      944
91.07/91.10	c 90.8s |      14 |   134548 |    62952 |    17353      5 |      914 |      944
93.17/93.23	c 93.0s |      14 |   136331 |    64452 |    17353      6 |      914 |      944
95.27/95.38	c 95.1s |      14 |   137787 |    65752 |    17353      6 |      914 |      944
97.38/97.48	c 97.2s |      14 |   139178 |    66952 |    17353      6 |      914 |      944
99.48/99.55	c 99.3s |      14 |   143222 |    68452 |    17353      6 |      914 |      944
101.58/101.61	c  101s |      14 |   150346 |    70552 |    17353      6 |      914 |      944
103.58/103.64	c  103s |      14 |   151931 |    71652 |    17353      6 |      914 |      944
105.59/105.67	c  105s |      14 |   153264 |    72652 |    17353      6 |      914 |      944
107.78/107.83	c  107s |      14 |   154216 |    73452 |    17353      6 |      914 |      944
109.88/109.93	c  109s |      14 |   155343 |    74352 |    17353      6 |      914 |      944
111.98/112.07	c  111s |      14 |   156298 |    75152 |    17353      7 |      914 |      944
114.18/114.22	c  113s |      14 |   157258 |    75952 |    17353      7 |      914 |      944
116.18/116.23	c  115s |      14 |   157954 |    76552 |    17353      7 |      914 |      944
118.28/118.39	c  118s |      14 |   159070 |    77352 |    17353      7 |      914 |      944
120.38/120.44	c  120s |      14 |   160445 |    78352 |    17353      7 |      914 |      944
122.58/122.63	c  122s |      14 |   162039 |    79452 |    17353      7 |      914 |      944
124.58/124.65	c  124s |      14 |   163871 |    80852 |    17353      7 |      914 |      944
126.67/126.75	c  126s |      14 |   165341 |    82252 |    17353      7 |      914 |      944
128.78/128.86	c  128s |      14 |   166565 |    83452 |    17353      7 |      914 |      944
130.98/131.01	c  130s |      14 |   167838 |    84652 |    17353      7 |      914 |      944
132.97/133.07	c  132s |      14 |   171302 |    86052 |    17353      8 |      914 |      944
135.07/135.10	c  134s |      14 |   173098 |    87352 |    19089      8 |      914 |      944
135.57/135.61	c  135s |      15 |   173567 |    87632 |    19089      8 |      914 |      944
137.58/137.61	c  137s |      15 |   179844 |    89732 |    19089      8 |      914 |      944
139.57/139.69	c  139s |      15 |   184457 |    91832 |    19089      8 |      914 |      944
141.77/141.85	c  141s |      15 |   185969 |    93132 |    19089      8 |      914 |      944
143.77/143.86	c  143s |      15 |   187445 |    94332 |    19089      8 |      914 |      944
145.87/145.94	c  145s |      15 |   189348 |    95632 |    19089      8 |      914 |      944
147.97/148.04	c  147s |      15 |   191429 |    96932 |    19089      8 |      914 |      944
149.97/150.05	c  149s |      15 |   192265 |    97632 |    19089      9 |      914 |      944
152.17/152.25	c  151s |      15 |   193865 |    98732 |    19089      9 |      914 |      944
154.27/154.35	c  154s |      15 |   195442 |    99832 |    19089      9 |      914 |      944
156.37/156.48	c  156s |      15 |   196753 |   100832 |    19089      9 |      914 |      944
158.47/158.52	c  158s |      15 |   197928 |   101732 |    19089      9 |      914 |      944
160.47/160.53	c  160s |      15 |   199390 |   102732 |    19089      9 |      914 |      944
162.47/162.54	c  162s |      15 |   200911 |   103732 |    19089      9 |      914 |      944
164.77/164.86	c  164s |      15 |   202315 |   104732 |    19089      9 |      914 |      944
166.77/166.87	c  166s |      15 |   203537 |   105632 |    19089      9 |      914 |      944
169.07/169.13	c  168s |      15 |   204930 |   106632 |    19089      9 |      914 |      944
171.07/171.16	c  170s |      15 |   205789 |   107332 |    19089      9 |      914 |      944
173.36/173.49	c  173s |      15 |   206767 |   108132 |    19089      9 |      914 |      944
175.56/175.61	c  175s |      15 |   207545 |   108732 |    19089     10 |      914 |      944
177.56/177.66	c  177s |      15 |   208563 |   109532 |    19089     10 |      914 |      944
179.76/179.80	c  179s |      15 |   209655 |   110432 |    19089     10 |      914 |      944
181.76/181.82	c  181s |      15 |   210654 |   111232 |    19089     10 |      914 |      944
183.96/184.02	c  183s |      15 |   211792 |   112132 |    19089     10 |      914 |      944
186.16/186.23	c  185s |      15 |   212808 |   112932 |    19089     10 |      914 |      944
188.17/188.28	c  188s |      15 |   213648 |   113632 |    19089     10 |      914 |      944
190.37/190.45	c  190s |      15 |   214745 |   114432 |    19089     10 |      914 |      944
192.47/192.55	c  192s |      15 |   215614 |   115132 |    19089     10 |      914 |      944
194.46/194.59	c  194s |      15 |   216645 |   115932 |    19089     10 |      914 |      944
196.56/196.66	c  196s |      15 |   217501 |   116632 |    19089     10 |      914 |      944
198.86/198.93	c  198s |      15 |   218348 |   117332 |    19089     10 |      914 |      944
200.86/200.99	c  200s |      15 |   219043 |   117932 |    19089     10 |      914 |      944
203.06/203.14	c  202s |      15 |   219900 |   118632 |    19089     10 |      914 |      944
205.16/205.22	c  204s |      15 |   220757 |   119332 |    19089     10 |      914 |      944
207.36/207.43	c  207s |      15 |   221526 |   119932 |    19089     11 |      914 |      944
209.46/209.51	c  209s |      15 |   222479 |   120732 |    19089     11 |      914 |      944
211.46/211.52	c  211s |      15 |   223291 |   121432 |    19089     11 |      914 |      944
213.66/213.70	c  213s |      15 |   224658 |   122432 |    19089     11 |      914 |      944
215.66/215.75	c  215s |      15 |   225684 |   123232 |    19089     11 |      914 |      944
217.86/217.92	c  217s |      15 |   226882 |   124132 |    19089     11 |      914 |      944
220.15/220.24	c  219s |      15 |   227872 |   124932 |    19089     11 |      914 |      944
222.26/222.38	c  222s |      15 |   228713 |   125632 |    19089     11 |      914 |      944
224.55/224.65	c  224s |      15 |   229747 |   126432 |    19089     11 |      914 |      944
226.66/226.77	c  226s |      15 |   230585 |   127132 |    19089     11 |      914 |      944
228.65/228.79	c  228s |      15 |   231311 |   127732 |    19089     11 |      914 |      944
230.75/230.87	c  230s |      15 |   232195 |   128432 |    19089     11 |      914 |      944
232.75/232.87	c  232s |      15 |   232895 |   129032 |    19089     11 |      914 |      944
234.95/235.06	c  234s |      15 |   233801 |   129732 |    19089     11 |      914 |      944
237.05/237.19	c  236s |      15 |   234517 |   130332 |    19089     11 |      914 |      944
239.25/239.31	c  239s |      15 |   235315 |   130932 |    20998     11 |      914 |      944
241.65/241.73	c  241s |      15 |   236052 |   131532 |    20998     11 |      914 |      944
241.65/241.78	c  241s |      16 |   236072 |   131552 |    20998     11 |      914 |      944
243.76/243.83	c  243s |      16 |   239346 |   132852 |    20998     12 |      914 |      944
245.86/245.93	c  245s |      16 |   241023 |   134352 |    20998     12 |      914 |      944
247.86/247.94	c  247s |      16 |   242501 |   135752 |    20998     12 |      914 |      944
249.96/250.06	c  249s |      16 |   243862 |   137052 |    20998     12 |      914 |      944
252.05/252.18	c  251s |      16 |   245132 |   138252 |    20998     12 |      914 |      944
254.16/254.28	c  254s |      16 |   246609 |   139552 |    20998     12 |      914 |      944
256.36/256.45	c  256s |      16 |   247918 |   140752 |    20998     12 |      914 |      944
258.46/258.55	c  258s |      16 |   248979 |   141752 |    20998     12 |      914 |      944
260.55/260.67	c  260s |      16 |   250053 |   142752 |    20998     12 |      914 |      944
262.65/262.70	c  262s |      16 |   251044 |   143652 |    20998     12 |      914 |      944
264.85/264.94	c  264s |      16 |   251894 |   144452 |    20998     13 |      914 |      944
266.85/266.99	c  266s |      16 |   252741 |   145252 |    20998     13 |      914 |      944
268.95/269.08	c  268s |      16 |   253586 |   146052 |    20998     13 |      914 |      944
271.25/271.37	c  271s |      16 |   254437 |   146852 |    20998     13 |      914 |      944
273.45/273.52	c  273s |      16 |   255164 |   147552 |    20998     13 |      914 |      944
275.45/275.59	c  275s |      16 |   255780 |   148152 |    20998     13 |      914 |      944
277.55/277.66	c  277s |      16 |   256552 |   148852 |    20998     13 |      914 |      944
279.75/279.80	c  279s |      16 |   257303 |   149552 |    20998     13 |      914 |      944
281.85/281.94	c  281s |      16 |   258058 |   150252 |    20998     13 |      914 |      944
284.05/284.15	c  283s |      16 |   258813 |   150952 |    20998     13 |      914 |      944
286.15/286.26	c  285s |      16 |   259457 |   151552 |    20998     13 |      914 |      944
288.55/288.61	c  288s |      16 |   260093 |   152152 |    20998     13 |      914 |      944
290.55/290.62	c  290s |      16 |   260624 |   152652 |    20998     13 |      914 |      944
292.85/292.93	c  292s |      16 |   261248 |   153252 |    20998     13 |      914 |      944
294.86/294.99	c  294s |      16 |   261765 |   153752 |    20998     13 |      914 |      944
297.15/297.26	c  296s |      16 |   262400 |   154352 |    20998     13 |      914 |      944
299.25/299.39	c  299s |      16 |   262912 |   154852 |    20998     13 |      914 |      944
301.65/301.78	c  301s |      16 |   263560 |   155452 |    20998     13 |      914 |      944
303.75/303.81	c  303s |      16 |   264074 |   155952 |    20998     13 |      914 |      944
306.05/306.13	c  305s |      16 |   264700 |   156552 |    20998     13 |      914 |      944
308.25/308.36	c  308s |      16 |   265318 |   157152 |    20998     14 |      914 |      944
310.35/310.47	c  310s |      16 |   266035 |   157852 |    20998     14 |      914 |      944
312.55/312.68	c  312s |      16 |   266863 |   158652 |    20998     14 |      914 |      944
314.84/314.96	c  314s |      16 |   267592 |   159352 |    20998     14 |      914 |      944
317.14/317.22	c  316s |      16 |   268206 |   159952 |    20998     14 |      914 |      944
319.24/319.36	c  319s |      16 |   268814 |   160552 |    20998     14 |      914 |      944
321.34/321.44	c  321s |      16 |   269871 |   161452 |    20998     14 |      914 |      944
323.54/323.62	c  323s |      16 |   270754 |   162252 |    20998     14 |      914 |      944
325.65/325.76	c  325s |      16 |   271622 |   163052 |    20998     14 |      914 |      944
327.64/327.78	c  327s |      16 |   272376 |   163752 |    20998     14 |      914 |      944
329.74/329.82	c  329s |      16 |   273004 |   164352 |    20998     14 |      914 |      944
331.84/331.97	c  331s |      16 |   273761 |   165052 |    20998     14 |      914 |      944
334.14/334.26	c  333s |      16 |   274493 |   165752 |    20998     14 |      914 |      944
336.24/336.38	c  336s |      16 |   275151 |   166352 |    20998     14 |      914 |      944
338.54/338.63	c  338s |      16 |   275770 |   166952 |    20998     14 |      914 |      944
340.84/340.98	c  340s |      16 |   276402 |   167552 |    20998     14 |      914 |      944
343.24/343.33	c  343s |      16 |   277025 |   168152 |    20998     14 |      914 |      944
345.24/345.38	c  345s |      16 |   277546 |   168652 |    20998     14 |      914 |      944
347.54/347.66	c  347s |      16 |   278059 |   169152 |    20998     15 |      914 |      944
349.84/349.97	c  349s |      16 |   278771 |   169852 |    20998     15 |      914 |      944
351.94/352.10	c  351s |      16 |   279507 |   170552 |    20998     15 |      914 |      944
354.34/354.40	c  354s |      16 |   280235 |   171252 |    20998     15 |      914 |      944
356.54/356.65	c  356s |      16 |   280955 |   171952 |    20998     15 |      914 |      944
358.74/358.87	c  358s |      16 |   281585 |   172552 |    20998     15 |      914 |      944
360.94/361.07	c  360s |      16 |   282208 |   173152 |    20998     15 |      914 |      944
363.23/363.30	c  363s |      16 |   283267 |   173952 |    20998     15 |      914 |      944
365.24/365.32	c  365s |      16 |   284180 |   174752 |    20998     15 |      914 |      944
367.34/367.49	c  367s |      16 |   285090 |   175552 |    20998     15 |      914 |      944
369.73/369.81	c  369s |      16 |   285952 |   176352 |    20998     15 |      914 |      944
371.93/372.02	c  371s |      16 |   286729 |   177052 |    20998     15 |      914 |      944
374.04/374.12	c  373s |      16 |   287490 |   177752 |    20998     15 |      914 |      944
376.14/376.26	c  375s |      16 |   288229 |   178452 |    20998     15 |      914 |      944
378.44/378.50	c  378s |      16 |   288975 |   179152 |    20998     15 |      914 |      944
380.64/380.79	c  380s |      16 |   289739 |   179852 |    20998     15 |      914 |      944
382.93/383.07	c  382s |      16 |   290514 |   180552 |    20998     15 |      914 |      944
385.43/385.57	c  385s |      16 |   291165 |   181152 |    20998     16 |      914 |      944
387.74/387.85	c  387s |      16 |   292145 |   182052 |    20998     16 |      914 |      944
389.73/389.88	c  389s |      16 |   292893 |   182752 |    20998     16 |      914 |      944
391.93/392.06	c  391s |      16 |   293645 |   183452 |    20998     16 |      914 |      944
394.13/394.22	c  393s |      16 |   294403 |   184152 |    20998     16 |      914 |      944
396.33/396.42	c  396s |      16 |   295152 |   184852 |    20998     16 |      914 |      944
398.53/398.60	c  398s |      16 |   295923 |   185552 |    20998     16 |      914 |      944
400.63/400.75	c  400s |      16 |   296700 |   186252 |    20998     16 |      914 |      944
403.03/403.10	c  402s |      16 |   297482 |   186952 |    20998     16 |      914 |      944
405.33/405.41	c  405s |      16 |   298110 |   187552 |    20998     16 |      914 |      944
407.63/407.71	c  407s |      16 |   298737 |   188152 |    20998     16 |      914 |      944
410.03/410.11	c  409s |      16 |   299390 |   188752 |    20998     16 |      914 |      944
412.33/412.47	c  412s |      16 |   300035 |   189352 |    20998     16 |      914 |      944
414.53/414.70	c  414s |      16 |   300690 |   189952 |    20998     16 |      914 |      944
416.94/417.01	c  416s |      16 |   301343 |   190552 |    20998     16 |      914 |      944
419.23/419.33	c  419s |      16 |   302009 |   191152 |    20998     16 |      914 |      944
421.43/421.57	c  421s |      16 |   302531 |   191652 |    20998     16 |      914 |      944
423.54/423.63	c  423s |      16 |   303053 |   192152 |    20998     16 |      914 |      944
425.74/425.85	c  425s |      16 |   303580 |   192652 |    20998     16 |      914 |      944
427.73/427.88	c  427s |      16 |   304123 |   193152 |    20998     16 |      914 |      944
429.83/429.99	c  429s |      16 |   304660 |   193652 |    20998     17 |      914 |      944
431.93/432.03	c  431s |      16 |   305424 |   194352 |    20998     17 |      914 |      944
434.13/434.24	c  433s |      16 |   306166 |   195052 |    20998     17 |      914 |      944
436.33/436.49	c  436s |      16 |   306907 |   195752 |    20998     17 |      914 |      944
438.53/438.66	c  438s |      16 |   307705 |   196452 |    23098     17 |      914 |      944
440.83/440.90	c  440s |      16 |   308602 |   197252 |    23098     17 |      914 |      944
441.33/441.42	c  441s |      17 |   308794 |   197432 |    23098     17 |      914 |      944
443.43/443.55	c  443s |      17 |   319632 |   199932 |    23098     17 |      914 |      944
445.53/445.62	c  445s |      17 |   324518 |   202032 |    23098     17 |      914 |      944
447.63/447.74	c  447s |      17 |   328456 |   204132 |    23098     17 |      914 |      944
449.72/449.84	c  449s |      17 |   330388 |   205532 |    23098     17 |      914 |      944
451.72/451.87	c  451s |      17 |   332066 |   206732 |    23098     17 |      914 |      944
453.82/453.98	c  453s |      17 |   333478 |   207732 |    23098     18 |      914 |      944
455.92/456.01	c  455s |      17 |   335242 |   208932 |    23098     18 |      914 |      944
457.92/458.03	c  457s |      17 |   336810 |   210032 |    23098     18 |      914 |      944
460.02/460.13	c  459s |      17 |   338368 |   211132 |    23098     18 |      914 |      944
462.03/462.15	c  461s |      17 |   339988 |   212232 |    23098     18 |      914 |      944
464.23/464.31	c  464s |      17 |   341270 |   213232 |    23098     18 |      914 |      944
466.33/466.45	c  466s |      17 |   342659 |   214232 |    23098     18 |      914 |      944
468.53/468.65	c  468s |      17 |   343766 |   215132 |    23098     18 |      914 |      944
470.73/470.84	c  470s |      17 |   344880 |   216032 |    23098     18 |      914 |      944
472.82/472.92	c  472s |      17 |   345855 |   216832 |    23098     18 |      914 |      944
475.02/475.11	c  474s |      17 |   346657 |   217532 |    23098     18 |      914 |      944
477.22/477.39	c  477s |      17 |   347608 |   218332 |    23098     18 |      914 |      944
479.42/479.54	c  479s |      17 |   348428 |   219032 |    23098     18 |      914 |      944
481.62/481.76	c  481s |      17 |   349240 |   219732 |    23098     18 |      914 |      944
484.12/484.28	c  484s |      17 |   350050 |   220432 |    23098     19 |      914 |      944
486.23/486.35	c  486s |      17 |   351000 |   221232 |    23098     19 |      914 |      944
488.32/488.50	c  488s |      17 |   351954 |   222032 |    23098     19 |      914 |      944
490.52/490.63	c  490s |      17 |   352901 |   222832 |    23098     19 |      914 |      944
492.82/492.93	c  492s |      17 |   353780 |   223632 |    23098     19 |      914 |      944
495.02/495.19	c  494s |      17 |   354590 |   224332 |    23098     19 |      914 |      944
497.22/497.39	c  497s |      17 |   355370 |   225032 |    23098     19 |      914 |      944
499.32/499.41	c  499s |      17 |   356188 |   225732 |    23098     19 |      914 |      944
501.41/501.54	c  501s |      17 |   356964 |   226432 |    23098     19 |      914 |      944
503.51/503.68	c  503s |      17 |   357717 |   227132 |    23098     19 |      914 |      944
505.71/505.80	c  505s |      17 |   358375 |   227732 |    23098     19 |      914 |      944
508.01/508.10	c  507s |      17 |   359034 |   228332 |    23098     19 |      914 |      944
510.21/510.34	c  510s |      17 |   359856 |   229032 |    23098     19 |      914 |      944
512.52/512.62	c  512s |      17 |   360722 |   229732 |    23098     19 |      914 |      944
514.72/514.88	c  514s |      17 |   361403 |   230332 |    23098     19 |      914 |      944
516.92/517.09	c  516s |      17 |   362099 |   230932 |    23098     19 |      914 |      944
519.01/519.14	c  518s |      17 |   362802 |   231532 |    23098     19 |      914 |      944
521.11/521.21	c  520s |      17 |   363577 |   232132 |    23098     19 |      914 |      944
523.31/523.42	c  523s |      17 |   364294 |   232732 |    23098     19 |      914 |      944
525.31/525.48	c  525s |      17 |   365004 |   233332 |    23098     19 |      914 |      944
527.51/527.67	c  527s |      17 |   365719 |   233932 |    23098     20 |      914 |      944
529.61/529.76	c  529s |      17 |   366719 |   234732 |    23098     20 |      914 |      944
531.81/531.99	c  531s |      17 |   367616 |   235532 |    23098     20 |      914 |      944
534.11/534.25	c  533s |      17 |   368379 |   236232 |    23098     20 |      914 |      944
536.21/536.38	c  536s |      17 |   369188 |   236932 |    23098     20 |      914 |      944
538.41/538.57	c  538s |      17 |   369980 |   237632 |    23098     20 |      914 |      944
540.61/540.79	c  540s |      17 |   370772 |   238332 |    23098     20 |      914 |      944
542.71/542.84	c  542s |      17 |   371458 |   238932 |    23098     20 |      914 |      944
544.81/544.99	c  544s |      17 |   372146 |   239532 |    23098     20 |      914 |      944
547.00/547.11	c  546s |      17 |   372800 |   240132 |    23098     20 |      914 |      944
549.00/549.13	c  548s |      17 |   373344 |   240632 |    23098     20 |      914 |      944
551.20/551.34	c  551s |      17 |   374033 |   241232 |    23098     20 |      914 |      944
553.40/553.58	c  553s |      17 |   374728 |   241832 |    23098     20 |      914 |      944
555.60/555.78	c  555s |      17 |   375411 |   242432 |    23098     20 |      914 |      944
557.71/557.85	c  557s |      17 |   375948 |   242932 |    23098     20 |      914 |      944
559.91/560.03	c  559s |      17 |   376499 |   243432 |    23098     20 |      914 |      944
562.01/562.11	c  561s |      17 |   377073 |   243932 |    23098     20 |      914 |      944
564.10/564.22	c  563s |      17 |   377625 |   244432 |    23098     20 |      914 |      944
566.10/566.25	c  565s |      17 |   378163 |   244932 |    23098     20 |      914 |      944
568.30/568.44	c  568s |      17 |   378849 |   245532 |    23098     20 |      914 |      944
570.40/570.52	c  570s |      17 |   379407 |   246032 |    23098     20 |      914 |      944
572.60/572.73	c  572s |      17 |   379846 |   246432 |    23098     21 |      914 |      944
574.80/574.98	c  574s |      17 |   380608 |   247132 |    23098     21 |      914 |      944
577.00/577.16	c  576s |      17 |   381407 |   247832 |    23098     21 |      914 |      944
579.20/579.35	c  579s |      17 |   382114 |   248432 |    23098     21 |      914 |      944
581.39/581.59	c  581s |      17 |   383174 |   249232 |    23098     21 |      914 |      944
583.59/583.70	c  583s |      17 |   384011 |   249932 |    23098     21 |      914 |      944
585.69/585.87	c  585s |      17 |   384826 |   250632 |    23098     21 |      914 |      944
587.89/588.10	c  587s |      17 |   385632 |   251332 |    23098     21 |      914 |      944
589.99/590.19	c  589s |      17 |   386293 |   251932 |    23098     21 |      914 |      944
592.19/592.32	c  592s |      17 |   387496 |   252732 |    23098     21 |      914 |      944
594.39/594.56	c  594s |      17 |   388595 |   253532 |    23098     21 |      914 |      944
596.70/596.82	c  596s |      17 |   389664 |   254332 |    23098     21 |      914 |      944
598.90/599.07	c  598s |      17 |   390559 |   255032 |    23098     21 |      914 |      944
601.10/601.23	c  600s |      17 |   391501 |   255732 |    23098     21 |      914 |      944
603.19/603.33	c  603s |      17 |   392337 |   256432 |    23098     21 |      914 |      944
605.49/605.65	c  605s |      17 |   393193 |   257132 |    23098     21 |      914 |      944
607.59/607.77	c  607s |      17 |   393905 |   257732 |    23098     21 |      914 |      944
609.89/610.05	c  609s |      17 |   394610 |   258332 |    23098     21 |      914 |      944
611.99/612.10	c  611s |      17 |   395339 |   258932 |    23098     21 |      914 |      944
614.09/614.28	c  614s |      17 |   395804 |   259332 |    23098     22 |      914 |      944
616.29/616.41	c  616s |      17 |   396752 |   260132 |    23098     22 |      914 |      944
618.49/618.62	c  618s |      17 |   397660 |   260932 |    23098     22 |      914 |      944
620.49/620.64	c  620s |      17 |   398665 |   261732 |    23098     22 |      914 |      944
622.59/622.73	c  622s |      17 |   399638 |   262532 |    23098     22 |      914 |      944
624.58/624.77	c  624s |      17 |   400574 |   263332 |    23098     22 |      914 |      944
626.68/626.80	c  626s |      17 |   401570 |   264132 |    23098     22 |      914 |      944
628.68/628.87	c  628s |      17 |   402715 |   264932 |    23098     22 |      914 |      944
630.98/631.19	c  630s |      17 |   403513 |   265632 |    23098     22 |      914 |      944
633.38/633.60	c  633s |      17 |   404335 |   266332 |    23098     22 |      914 |      944
635.58/635.74	c  635s |      17 |   405061 |   266932 |    23098     22 |      914 |      944
637.78/637.94	c  637s |      17 |   405865 |   267632 |    23098     22 |      914 |      944
639.87/640.09	c  639s |      17 |   406568 |   268232 |    23098     22 |      914 |      944
642.07/642.28	c  642s |      17 |   407256 |   268832 |    23098     22 |      914 |      944
644.17/644.31	c  644s |      17 |   407806 |   269332 |    23098     22 |      914 |      944
646.17/646.33	c  646s |      17 |   408403 |   269832 |    23098     22 |      914 |      944
648.47/648.68	c  648s |      17 |   408949 |   270332 |    23098     22 |      914 |      944
650.57/650.70	c  650s |      17 |   409534 |   270832 |    23098     22 |      914 |      944
652.97/653.11	c  652s |      17 |   410230 |   271432 |    23098     22 |      914 |      944
655.17/655.33	c  655s |      17 |   410817 |   271932 |    23098     22 |      914 |      944
657.17/657.39	c  657s |      17 |   411406 |   272432 |    23098     23 |      914 |      944
659.47/659.68	c  659s |      17 |   412221 |   273132 |    23098     23 |      914 |      944
661.66/661.81	c  661s |      17 |   413031 |   273832 |    23098     23 |      914 |      944
663.86/664.05	c  663s |      17 |   413815 |   274532 |    23098     23 |      914 |      944
666.06/666.21	c  665s |      17 |   414609 |   275232 |    23098     23 |      914 |      944
668.06/668.26	c  667s |      17 |   415412 |   275932 |    23098     23 |      914 |      944
670.06/670.29	c  670s |      17 |   416261 |   276632 |    23098     23 |      914 |      944
672.26/672.44	c  672s |      17 |   417083 |   277332 |    23098     23 |      914 |      944
674.36/674.51	c  674s |      17 |   417770 |   277932 |    23098     23 |      914 |      944
676.37/676.58	c  676s |      17 |   418609 |   278632 |    23098     23 |      914 |      944
678.46/678.64	c  678s |      17 |   419303 |   279232 |    23098     23 |      914 |      944
680.46/680.68	c  680s |      17 |   419999 |   279832 |    23098     23 |      914 |      944
682.55/682.71	c  682s |      17 |   420697 |   280432 |    23098     23 |      914 |      944
684.65/684.87	c  684s |      17 |   421402 |   281032 |    23098     23 |      914 |      944
686.85/687.05	c  686s |      17 |   422094 |   281632 |    23098     23 |      914 |      944
689.15/689.37	c  689s |      17 |   422783 |   282232 |    23098     23 |      914 |      944
691.45/691.67	c  691s |      17 |   423484 |   282832 |    23098     23 |      914 |      944
693.55/693.73	c  693s |      17 |   424234 |   283432 |    23098     23 |      914 |      944
695.75/695.99	c  695s |      17 |   424941 |   284032 |    23098     23 |      914 |      944
698.05/698.20	c  697s |      17 |   425660 |   284632 |    23098     23 |      914 |      944
700.35/700.52	c  700s |      17 |   426377 |   285232 |    23098     23 |      914 |      944
702.44/702.63	c  702s |      17 |   426953 |   285732 |    23098     24 |      914 |      944
704.44/704.68	c  704s |      17 |   427749 |   286432 |    23098     24 |      914 |      944
706.64/706.88	c  706s |      17 |   428550 |   287132 |    23098     24 |      914 |      944
708.74/708.92	c  708s |      17 |   429222 |   287732 |    23098     24 |      914 |      944
711.04/711.20	c  710s |      17 |   430031 |   288432 |    23098     24 |      914 |      944
713.33/713.54	c  713s |      17 |   430813 |   289132 |    23098     24 |      914 |      944
715.43/715.65	c  715s |      17 |   431463 |   289732 |    23098     24 |      914 |      944
717.63/717.86	c  717s |      17 |   432268 |   290432 |    23098     24 |      914 |      944
719.63/719.88	c  719s |      17 |   433091 |   291132 |    23098     24 |      914 |      944
722.03/722.22	c  721s |      17 |   433924 |   291832 |    23098     24 |      914 |      944
724.03/724.25	c  723s |      17 |   434577 |   292432 |    23098     24 |      914 |      944
726.13/726.33	c  726s |      17 |   435252 |   293032 |    23098     24 |      914 |      944
728.33/728.55	c  728s |      17 |   435941 |   293632 |    23098     24 |      914 |      944
730.53/730.74	c  730s |      17 |   436637 |   294232 |    25408     24 |      914 |      944
732.82/733.04	c  732s |      17 |   437328 |   294832 |    25408     24 |      914 |      944
735.12/735.37	c  735s |      17 |   438100 |   295432 |    25408     24 |      914 |      944
737.22/737.49	c  737s |      17 |   438963 |   296132 |    25408     24 |      914 |      944
737.62/737.89	c  737s |      18 |   439097 |   296252 |    25408     24 |      914 |      944
739.72/739.94	c  739s |      18 |   446825 |   298152 |    25408     24 |      914 |      944
741.82/742.02	c  741s |      18 |   450344 |   299852 |    25408     25 |      914 |      944
743.82/744.03	c  743s |      18 |   452774 |   301452 |    25408     25 |      914 |      944
745.82/746.09	c  745s |      18 |   456903 |   303252 |    25408     25 |      914 |      944
748.02/748.20	c  747s |      18 |   459217 |   304852 |    25408     25 |      914 |      944
750.02/750.28	c  750s |      18 |   461985 |   306452 |    25408     25 |      914 |      944
752.22/752.46	c  752s |      18 |   464205 |   307952 |    25408     25 |      914 |      944
754.42/754.65	c  754s |      18 |   466110 |   309252 |    25408     25 |      914 |      944
756.51/756.77	c  756s |      18 |   467165 |   310152 |    25408     25 |      914 |      944
758.61/758.82	c  758s |      18 |   468308 |   311052 |    25408     25 |      914 |      944
760.71/760.99	c  760s |      18 |   469428 |   311952 |    25408     25 |      914 |      944
763.00/763.21	c  762s |      18 |   470599 |   312852 |    25408     25 |      914 |      944
765.10/765.33	c  765s |      18 |   471510 |   313652 |    25408     25 |      914 |      944
767.40/767.67	c  767s |      18 |   472504 |   314452 |    25408     25 |      914 |      944
769.70/769.93	c  769s |      18 |   473342 |   315152 |    25408     26 |      914 |      944
771.90/772.20	c  771s |      18 |   474306 |   315952 |    25408     26 |      914 |      944
774.00/774.21	c  773s |      18 |   475317 |   316752 |    25408     26 |      914 |      944
776.10/776.39	c  776s |      18 |   476999 |   317852 |    25408     26 |      914 |      944
778.20/778.47	c  778s |      18 |   478565 |   318852 |    25408     26 |      914 |      944
780.30/780.58	c  780s |      18 |   479967 |   319852 |    25408     26 |      914 |      944
782.60/782.81	c  782s |      18 |   481349 |   320752 |    25408     26 |      914 |      944
784.60/784.85	c  784s |      18 |   482356 |   321552 |    25408     26 |      914 |      944
786.80/787.00	c  786s |      18 |   483234 |   322252 |    25408     26 |      914 |      944
788.90/789.18	c  788s |      18 |   484236 |   323052 |    25408     26 |      914 |      944
791.00/791.29	c  791s |      18 |   485404 |   323952 |    25408     26 |      914 |      944
793.11/793.36	c  793s |      18 |   486553 |   324852 |    25408     26 |      914 |      944
795.21/795.42	c  795s |      18 |   487475 |   325552 |    25408     26 |      914 |      944
797.31/797.54	c  797s |      18 |   488407 |   326352 |    25408     26 |      914 |      944
799.51/799.73	c  799s |      18 |   489395 |   327152 |    25408     26 |      914 |      944
801.71/801.97	c  801s |      18 |   490282 |   327952 |    25408     26 |      914 |      944
804.01/804.27	c  803s |      18 |   491188 |   328752 |    25408     26 |      914 |      944
806.21/806.49	c  806s |      18 |   491866 |   329352 |    25408     27 |      914 |      944
808.31/808.58	c  808s |      18 |   492814 |   330152 |    25408     27 |      914 |      944
810.40/810.65	c  810s |      18 |   493654 |   330852 |    25408     27 |      914 |      944
812.71/812.97	c  812s |      18 |   494628 |   331652 |    25408     27 |      914 |      944
814.80/815.05	c  814s |      18 |   495324 |   332252 |    25408     27 |      914 |      944
817.00/817.28	c  817s |      18 |   496019 |   332852 |    25408     27 |      914 |      944
819.20/819.40	c  819s |      18 |   496714 |   333452 |    25408     27 |      914 |      944
821.40/821.64	c  821s |      18 |   497421 |   334052 |    25408     27 |      914 |      944
823.50/823.74	c  823s |      18 |   498326 |   334752 |    25408     27 |      914 |      944
825.50/825.79	c  825s |      18 |   499045 |   335352 |    25408     27 |      914 |      944
827.70/827.98	c  827s |      18 |   499882 |   336052 |    25408     27 |      914 |      944
829.90/830.11	c  829s |      18 |   500768 |   336752 |    25408     27 |      914 |      944
831.89/832.15	c  831s |      18 |   501497 |   337352 |    25408     27 |      914 |      944
834.19/834.44	c  834s |      18 |   502191 |   337952 |    25408     27 |      914 |      944
836.39/836.65	c  836s |      18 |   502876 |   338552 |    25408     27 |      914 |      944
838.79/839.01	c  838s |      18 |   503578 |   339152 |    25408     27 |      914 |      944
840.89/841.15	c  840s |      18 |   504165 |   339652 |    25408     27 |      914 |      944
842.99/843.28	c  843s |      18 |   504902 |   340252 |    25408     27 |      914 |      944
845.29/845.54	c  845s |      18 |   505633 |   340852 |    25408     27 |      914 |      944
847.39/847.69	c  847s |      18 |   506332 |   341452 |    25408     27 |      914 |      944
849.58/849.83	c  849s |      18 |   507033 |   342052 |    25408     27 |      914 |      944
851.58/851.85	c  851s |      18 |   507610 |   342552 |    25408     27 |      914 |      944
853.88/854.11	c  853s |      18 |   508334 |   343152 |    25408     27 |      914 |      944
855.88/856.18	c  855s |      18 |   508788 |   343552 |    25408     28 |      914 |      944
858.18/858.47	c  858s |      18 |   509614 |   344252 |    25408     28 |      914 |      944
860.28/860.57	c  860s |      18 |   510314 |   344852 |    25408     28 |      914 |      944
862.47/862.78	c  862s |      18 |   511120 |   345552 |    25408     28 |      914 |      944
864.67/864.97	c  864s |      18 |   511923 |   346252 |    25408     28 |      914 |      944
866.68/866.98	c  866s |      18 |   512790 |   346952 |    25408     28 |      914 |      944
868.78/869.06	c  868s |      18 |   513517 |   347552 |    25408     28 |      914 |      944
870.98/871.27	c  870s |      18 |   514289 |   348152 |    25408     28 |      914 |      944
873.27/873.52	c  873s |      18 |   514981 |   348752 |    25408     28 |      914 |      944
875.37/875.67	c  875s |      18 |   515649 |   349352 |    25408     28 |      914 |      944
877.67/877.95	c  877s |      18 |   516315 |   349952 |    25408     28 |      914 |      944
879.97/880.24	c  879s |      18 |   517010 |   350552 |    25408     28 |      914 |      944
882.16/882.47	c  882s |      18 |   517686 |   351152 |    25408     28 |      914 |      944
884.17/884.50	c  884s |      18 |   518274 |   351652 |    25408     28 |      914 |      944
886.56/886.82	c  886s |      18 |   518987 |   352252 |    25408     28 |      914 |      944
888.67/888.93	c  888s |      18 |   519577 |   352752 |    25408     28 |      914 |      944
890.66/890.99	c  890s |      18 |   520159 |   353252 |    25408     28 |      914 |      944
892.86/893.17	c  892s |      18 |   520727 |   353752 |    25408     28 |      914 |      944
895.16/895.41	c  895s |      18 |   521301 |   354252 |    25408     28 |      914 |      944
897.16/897.45	c  897s |      18 |   521772 |   354652 |    25408     28 |      914 |      944
899.26/899.53	c  899s |      18 |   522201 |   355052 |    25408     28 |      914 |      944
901.45/901.75	c  901s |      18 |   522647 |   355452 |    25408     28 |      914 |      944
903.75/904.07	c  903s |      18 |   523086 |   355852 |    25408     28 |      914 |      944
906.16/906.46	c  906s |      18 |   523662 |   356352 |    25408     28 |      914 |      944
908.55/908.84	c  908s |      18 |   524209 |   356852 |    25408     28 |      914 |      944
910.95/911.21	c  910s |      18 |   524752 |   357352 |    25408     28 |      914 |      944
913.04/913.30	c  913s |      18 |   525203 |   357752 |    25408     28 |      914 |      944
915.45/915.70	c  915s |      18 |   525662 |   358152 |    25408     29 |      914 |      944
917.45/917.71	c  917s |      18 |   526205 |   358652 |    25408     29 |      914 |      944
919.65/919.97	c  919s |      18 |   526998 |   359352 |    25408     29 |      914 |      944
921.94/922.27	c  921s |      18 |   527798 |   360052 |    25408     29 |      914 |      944
924.14/924.49	c  924s |      18 |   528607 |   360752 |    25408     29 |      914 |      944
926.34/926.65	c  926s |      18 |   529250 |   361352 |    25408     29 |      914 |      944
928.74/929.09	c  928s |      18 |   529922 |   361952 |    25408     29 |      914 |      944
931.14/931.41	c  931s |      18 |   530614 |   362552 |    25408     29 |      914 |      944
933.34/933.66	c  933s |      18 |   531194 |   363052 |    25408     29 |      914 |      944
935.34/935.67	c  935s |      18 |   531746 |   363552 |    25408     29 |      914 |      944
937.54/937.86	c  937s |      18 |   532303 |   364052 |    25408     29 |      914 |      944
939.84/940.19	c  939s |      18 |   532989 |   364652 |    25408     29 |      914 |      944
942.13/942.43	c  942s |      18 |   533542 |   365152 |    25408     29 |      914 |      944
944.43/944.73	c  944s |      18 |   534086 |   365652 |    25408     29 |      914 |      944
946.84/947.11	c  946s |      18 |   534662 |   366152 |    25408     29 |      914 |      944
949.04/949.35	c  949s |      18 |   535227 |   366652 |    25408     29 |      914 |      944
951.42/951.77	c  951s |      18 |   535896 |   367252 |    25408     29 |      914 |      944
953.62/953.99	c  953s |      18 |   536476 |   367752 |    25408     29 |      914 |      944
955.92/956.20	c  955s |      18 |   537037 |   368252 |    25408     29 |      914 |      944
958.22/958.54	c  958s |      18 |   537656 |   368752 |    25408     29 |      914 |      944
960.52/960.86	c  960s |      18 |   538361 |   369352 |    25408     29 |      914 |      944
962.81/963.12	c  962s |      18 |   539057 |   369952 |    25408     29 |      914 |      944
965.21/965.51	c  965s |      18 |   539617 |   370452 |    25408     29 |      914 |      944
967.61/967.97	c  967s |      18 |   540186 |   370952 |    25408     29 |      914 |      944
969.71/970.02	c  969s |      18 |   540780 |   371452 |    25408     29 |      914 |      944
971.71/972.02	c  971s |      18 |   541230 |   371852 |    25408     29 |      914 |      944
973.81/974.11	c  973s |      18 |   541559 |   372152 |    25408     30 |      914 |      944
975.81/976.16	c  975s |      18 |   542381 |   372852 |    25408     30 |      914 |      944
978.11/978.40	c  978s |      18 |   543184 |   373552 |    25408     30 |      914 |      944
980.21/980.51	c  980s |      18 |   543830 |   374152 |    25408     30 |      914 |      944
982.50/982.83	c  982s |      18 |   544621 |   374852 |    25408     30 |      914 |      944
984.70/985.03	c  984s |      18 |   545190 |   375352 |    25408     30 |      914 |      944
986.80/987.10	c  986s |      18 |   545876 |   375952 |    25408     30 |      914 |      944
988.80/989.13	c  988s |      18 |   546446 |   376452 |    25408     30 |      914 |      944
991.19/991.51	c  991s |      18 |   547123 |   377052 |    25408     30 |      914 |      944
993.39/993.77	c  993s |      18 |   548114 |   377752 |    25408     30 |      914 |      944
995.49/995.87	c  995s |      18 |   548803 |   378352 |    25408     30 |      914 |      944
997.79/998.14	c  997s |      18 |   549524 |   378952 |    25408     30 |      914 |      944
999.89/1000.29	c 1000s |      18 |   550237 |   379552 |    25408     30 |      914 |      944
1001.98/1002.33	c 1002s |      18 |   550907 |   380052 |    25408     30 |      914 |      944
1004.09/1004.42	c 1004s |      18 |   551494 |   380552 |    25408     30 |      914 |      944
1006.08/1006.44	c 1006s |      18 |   552075 |   381052 |    25408     30 |      914 |      944
1008.08/1008.47	c 1008s |      18 |   552651 |   381552 |    25408     30 |      914 |      944
1010.08/1010.49	c 1010s |      18 |   553092 |   381952 |    25408     30 |      914 |      944
1012.48/1012.85	c 1012s |      18 |   553926 |   382652 |    25408     30 |      914 |      944
1014.88/1015.20	c 1014s |      18 |   554699 |   383252 |    25408     30 |      914 |      944
1017.18/1017.57	c 1017s |      18 |   555418 |   383852 |    25408     30 |      914 |      944
1019.48/1019.81	c 1019s |      18 |   556016 |   384352 |    25408     30 |      914 |      944
1021.68/1022.06	c 1021s |      18 |   556582 |   384852 |    25408     30 |      914 |      944
1023.97/1024.36	c 1024s |      18 |   557173 |   385352 |    25408     30 |      914 |      944
1026.37/1026.71	c 1026s |      18 |   557743 |   385852 |    25408     30 |      914 |      944
1028.57/1028.99	c 1028s |      18 |   558327 |   386352 |    25408     30 |      914 |      944
1031.07/1031.45	c 1031s |      18 |   558802 |   386752 |    25408     31 |      914 |      944
1033.16/1033.59	c 1033s |      18 |   559534 |   387352 |    25408     31 |      914 |      944
1035.26/1035.67	c 1035s |      18 |   560085 |   387852 |    25408     31 |      914 |      944
1037.36/1037.74	c 1037s |      18 |   560643 |   388352 |    25408     31 |      914 |      944
1039.36/1039.74	c 1039s |      18 |   561252 |   388852 |    25408     31 |      914 |      944
1041.66/1042.05	c 1041s |      18 |   561947 |   389452 |    25408     31 |      914 |      944
1043.96/1044.38	c 1044s |      18 |   562839 |   390152 |    25408     31 |      914 |      944
1046.26/1046.66	c 1046s |      18 |   563556 |   390752 |    25408     31 |      914 |      944
1048.55/1048.91	c 1048s |      18 |   564249 |   391352 |    25408     31 |      914 |      944
1050.85/1051.27	c 1050s |      18 |   564960 |   391952 |    25408     31 |      914 |      944
1053.05/1053.42	c 1053s |      18 |   565535 |   392452 |    25408     31 |      914 |      944
1055.45/1055.81	c 1055s |      18 |   566096 |   392952 |    25408     31 |      914 |      944
1057.55/1057.97	c 1057s |      18 |   566662 |   393452 |    25408     31 |      914 |      944
1059.95/1060.35	c 1060s |      18 |   567223 |   393952 |    25408     31 |      914 |      944
1062.44/1062.86	c 1062s |      18 |   567792 |   394452 |    25408     31 |      914 |      944
1064.64/1065.06	c 1064s |      18 |   568361 |   394952 |    25408     31 |      914 |      944
1066.75/1067.17	c 1066s |      18 |   568812 |   395352 |    25408     31 |      914 |      944
1069.14/1069.59	c 1069s |      18 |   569359 |   395852 |    25408     31 |      914 |      944
1071.74/1072.15	c 1071s |      18 |   569923 |   396352 |    25408     31 |      914 |      944
1073.84/1074.20	c 1073s |      18 |   570375 |   396752 |    25408     31 |      914 |      944
1075.83/1076.22	c 1075s |      18 |   570793 |   397152 |    25408     31 |      914 |      944
1077.93/1078.33	c 1078s |      18 |   571249 |   397552 |    25408     31 |      914 |      944
1080.33/1080.77	c 1080s |      18 |   571819 |   398052 |    25408     31 |      914 |      944
1082.53/1082.92	c 1082s |      18 |   572251 |   398452 |    25408     31 |      914 |      944
1084.63/1085.01	c 1084s |      18 |   572682 |   398852 |    25408     31 |      914 |      944
1086.83/1087.29	c 1087s |      18 |   573123 |   399252 |    25408     31 |      914 |      944
1088.93/1089.35	c 1089s |      18 |   573558 |   399652 |    25408     31 |      914 |      944
1091.22/1091.60	c 1091s |      18 |   573987 |   400052 |    25408     31 |      914 |      944
1093.62/1094.04	c 1093s |      18 |   574428 |   400452 |    25408     31 |      914 |      944
1095.82/1096.26	c 1095s |      18 |   574865 |   400852 |    25408     31 |      914 |      944
1098.33/1098.71	c 1098s |      18 |   575293 |   401252 |    25408     32 |      914 |      944
1100.33/1100.75	c 1100s |      18 |   575735 |   401652 |    25408     32 |      914 |      944
1102.62/1103.05	c 1102s |      18 |   576552 |   402252 |    25408     32 |      914 |      944
1104.82/1105.23	c 1104s |      18 |   577290 |   402852 |    25408     32 |      914 |      944
1106.82/1107.29	c 1107s |      18 |   577854 |   403352 |    25408     32 |      914 |      944
1109.02/1109.44	c 1109s |      18 |   578409 |   403852 |    25408     32 |      914 |      944
1111.02/1111.49	c 1111s |      18 |   578984 |   404352 |    25408     32 |      914 |      944
1113.51/1113.96	c 1113s |      18 |   579538 |   404852 |    25408     32 |      914 |      944
1115.81/1116.29	c 1116s |      18 |   579984 |   405252 |    25408     32 |      914 |      944
1118.42/1118.87	c 1118s |      18 |   580515 |   405752 |    25408     32 |      914 |      944
1120.52/1120.99	c 1120s |      18 |   580967 |   406152 |    25408     32 |      914 |      944
1122.81/1123.28	c 1123s |      18 |   581682 |   406752 |    25408     32 |      914 |      944
1125.11/1125.58	c 1125s |      18 |   582404 |   407352 |    25408     32 |      914 |      944
1127.21/1127.70	c 1127s |      18 |   583146 |   407952 |    25408     32 |      914 |      944
1129.51/1129.90	c 1129s |      18 |   583920 |   408552 |    25408     32 |      914 |      944
1131.51/1131.91	c 1131s |      18 |   584573 |   409052 |    25408     32 |      914 |      944
1133.50/1133.94	c 1133s |      18 |   585204 |   409552 |    25408     32 |      914 |      944
1135.70/1136.12	c 1135s |      18 |   585831 |   410052 |    25408     32 |      914 |      944
1137.70/1138.17	c 1137s |      18 |   586447 |   410552 |    25408     32 |      914 |      944
1140.00/1140.44	c 1140s |      18 |   587183 |   411152 |    25408     32 |      914 |      944
1141.99/1142.48	c 1142s |      18 |   587821 |   411652 |    25408     32 |      914 |      944
1144.09/1144.53	c 1144s |      18 |   588419 |   412152 |    25408     32 |      914 |      944
1146.09/1146.60	c 1146s |      18 |   588882 |   412552 |    25408     32 |      914 |      944
1148.39/1148.80	c 1148s |      18 |   589439 |   413052 |    25408     32 |      914 |      944
1150.49/1150.95	c 1150s |      18 |   590007 |   413552 |    25408     32 |      914 |      944
1152.88/1153.36	c 1153s |      18 |   590575 |   414052 |    25408     32 |      914 |      944
1154.98/1155.48	c 1155s |      18 |   591035 |   414452 |    25408     32 |      914 |      944
1157.18/1157.60	c 1157s |      18 |   591505 |   414852 |    25408     32 |      914 |      944
1159.88/1160.39	c 1160s |      18 |   591953 |   415252 |    25408     33 |      914 |      944
1162.17/1162.69	c 1162s |      18 |   592645 |   415852 |    25408     33 |      914 |      944
1164.48/1164.97	c 1164s |      18 |   593344 |   416452 |    25408     33 |      914 |      944
1166.87/1167.30	c 1167s |      18 |   594085 |   417052 |    25408     33 |      914 |      944
1169.17/1169.64	c 1169s |      18 |   594768 |   417652 |    25408     33 |      914 |      944
1171.57/1172.00	c 1171s |      18 |   595339 |   418152 |    25408     33 |      914 |      944
1173.87/1174.38	c 1174s |      18 |   595901 |   418652 |    25408     33 |      914 |      944
1175.97/1176.41	c 1176s |      18 |   596350 |   419052 |    25408     33 |      914 |      944
1178.06/1178.56	c 1178s |      18 |   596789 |   419452 |    25408     33 |      914 |      944
1180.26/1180.77	c 1180s |      18 |   597222 |   419852 |    25408     33 |      914 |      944
1182.76/1183.20	c 1182s |      18 |   597664 |   420252 |    25408     33 |      914 |      944
1184.97/1185.41	c 1185s |      18 |   598104 |   420652 |    25408     33 |      914 |      944
1187.17/1187.64	c 1187s |      18 |   598550 |   421052 |    25408     33 |      914 |      944
1189.17/1189.66	c 1189s |      18 |   598985 |   421452 |    25408     33 |      914 |      944
1191.56/1192.09	c 1191s |      18 |   599427 |   421852 |    25408     33 |      914 |      944
1193.66/1194.15	c 1193s |      18 |   599860 |   422252 |    25408     33 |      914 |      944
1195.76/1196.29	c 1196s |      18 |   600293 |   422652 |    25408     33 |      914 |      944
1197.96/1198.47	c 1198s |      18 |   600745 |   423052 |    25408     33 |      914 |      944
1200.66/1201.10	c 1200s |      18 |   601177 |   423452 |    25408     33 |      914 |      944
1202.66/1203.19	c 1202s |      18 |   602217 |   424052 |    25408     33 |      914 |      944
1205.06/1205.59	c 1205s |      18 |   603051 |   424752 |    25408     33 |      914 |      944
1207.36/1207.86	c 1207s |      18 |   603783 |   425352 |    25408     33 |      914 |      944
1209.76/1210.24	c 1209s |      18 |   604488 |   425952 |    25408     33 |      914 |      944
1211.95/1212.49	c 1212s |      18 |   605218 |   426552 |    25408     33 |      914 |      944
1214.25/1214.74	c 1214s |      18 |   605808 |   427052 |    25408     33 |      914 |      944
1216.35/1216.86	c 1216s |      18 |   606368 |   427552 |    25408     33 |      914 |      944
1218.75/1219.25	c 1218s |      18 |   607065 |   428152 |    25408     33 |      914 |      944
1220.85/1221.39	c 1221s |      18 |   607621 |   428652 |    25408     33 |      914 |      944
1223.04/1223.59	c 1223s |      18 |   608203 |   429152 |    25408     33 |      914 |      944
1226.15/1226.61	c 1226s |      18 |   608781 |   429652 |    25408     34 |      914 |      944
1228.14/1228.61	c 1228s |      18 |   609336 |   430152 |    25408     34 |      914 |      944
1230.14/1230.68	c 1230s |      18 |   609887 |   430652 |    25408     34 |      914 |      944
1232.24/1232.76	c 1232s |      18 |   610569 |   431252 |    25408     34 |      914 |      944
1234.64/1235.13	c 1234s |      18 |   611209 |   431852 |    25408     34 |      914 |      944
1236.94/1237.46	c 1237s |      18 |   611877 |   432452 |    25408     34 |      914 |      944
1239.04/1239.56	c 1239s |      18 |   612426 |   432952 |    25408     34 |      914 |      944
1241.14/1241.69	c 1241s |      18 |   612994 |   433452 |    25408     34 |      914 |      944
1243.24/1243.79	c 1243s |      18 |   613583 |   433952 |    25408     34 |      914 |      944
1245.63/1246.15	c 1245s |      18 |   614303 |   434552 |    25408     34 |      914 |      944
1247.93/1248.43	c 1248s |      18 |   614999 |   435152 |    25408     34 |      914 |      944
1250.03/1250.51	c 1250s |      18 |   615583 |   435652 |    25408     34 |      914 |      944
1252.33/1252.80	c 1252s |      18 |   616280 |   436252 |    25408     34 |      914 |      944
1254.43/1254.99	c 1254s |      18 |   616867 |   436752 |    25408     34 |      914 |      944
1256.73/1257.21	c 1256s |      18 |   617721 |   437352 |    25408     34 |      914 |      944
1259.04/1259.55	c 1259s |      18 |   618291 |   437852 |    25408     34 |      914 |      944
1261.34/1261.83	c 1261s |      18 |   618890 |   438352 |    25408     34 |      914 |      944
1263.73/1264.21	c 1263s |      18 |   619462 |   438852 |    25408     34 |      914 |      944
1266.13/1266.61	c 1266s |      18 |   620036 |   439352 |    25408     34 |      914 |      944
1268.23/1268.72	c 1268s |      18 |   620665 |   439852 |    25408     34 |      914 |      944
1270.54/1271.00	c 1270s |      18 |   621246 |   440352 |    25408     34 |      914 |      944
1272.64/1273.16	c 1272s |      18 |   622014 |   440952 |    25408     34 |      914 |      944
1274.74/1275.29	c 1275s |      18 |   622497 |   441352 |    27949     34 |      914 |      944
1277.24/1277.78	c 1277s |      18 |   623067 |   441852 |    27949     34 |      914 |      944
1279.74/1280.26	c 1279s |      18 |   623656 |   442352 |    27949     34 |      914 |      944
1281.94/1282.44	c 1282s |      18 |   624136 |   442752 |    27949     34 |      914 |      944
1284.14/1284.68	c 1284s |      18 |   624578 |   443152 |    27949     34 |      914 |      944
1286.44/1286.93	c 1286s |      18 |   625029 |   443552 |    27949     34 |      914 |      944
1288.84/1289.33	c 1289s |      18 |   625623 |   444052 |    27949     34 |      914 |      944
1290.83/1291.33	c 1291s |      19 |   626118 |   444482 |    27949     34 |      914 |      944
1292.83/1293.34	c 1293s |      19 |   630161 |   445082 |    27949     35 |      914 |      944
1294.83/1295.36	c 1295s |      19 |   633516 |   446582 |    27949     35 |      914 |      944
1297.03/1297.50	c 1297s |      19 |   635678 |   448082 |    27949     35 |      914 |      944
1299.23/1299.71	c 1299s |      19 |   637003 |   449182 |    27949     35 |      914 |      944
1301.33/1301.84	c 1301s |      19 |   638037 |   450082 |    27949     35 |      914 |      944
1303.53/1304.01	c 1303s |      19 |   639126 |   450982 |    27949     35 |      914 |      944
1305.63/1306.15	c 1305s |      19 |   640216 |   451882 |    27949     35 |      914 |      944
1307.63/1308.19	c 1307s |      19 |   641179 |   452682 |    27949     35 |      914 |      944
1309.74/1310.23	c 1309s |      19 |   641839 |   453282 |    27949     35 |      914 |      944
1312.03/1312.52	c 1312s |      19 |   642610 |   453982 |    27949     35 |      914 |      944
1314.23/1314.74	c 1314s |      19 |   643443 |   454682 |    27949     35 |      914 |      944
1316.43/1316.97	c 1316s |      19 |   644220 |   455382 |    27949     35 |      914 |      944
1318.43/1318.98	c 1318s |      19 |   644891 |   455982 |    27949     35 |      914 |      944
1320.53/1321.03	c 1320s |      19 |   645573 |   456582 |    27949     35 |      914 |      944
1322.63/1323.15	c 1322s |      19 |   646313 |   457182 |    27949     35 |      914 |      944
1324.83/1325.36	c 1325s |      19 |   647316 |   457982 |    27949     35 |      914 |      944
1327.03/1327.50	c 1327s |      19 |   648166 |   458682 |    27949     35 |      914 |      944
1329.13/1329.63	c 1329s |      19 |   648858 |   459282 |    27949     35 |      914 |      944
1331.43/1331.92	c 1331s |      19 |   649832 |   460082 |    27949     35 |      914 |      944
1333.53/1334.01	c 1333s |      19 |   650722 |   460782 |    27949     35 |      914 |      944
1336.22/1336.77	c 1336s |      19 |   651439 |   461382 |    27949     36 |      914 |      944
1338.23/1338.80	c 1338s |      19 |   651993 |   461882 |    27949     36 |      914 |      944
1340.32/1340.89	c 1340s |      19 |   652863 |   462582 |    27949     36 |      914 |      944
1342.52/1343.09	c 1342s |      19 |   653559 |   463182 |    27949     36 |      914 |      944
1344.83/1345.34	c 1345s |      19 |   654292 |   463782 |    27949     36 |      914 |      944
1347.03/1347.59	c 1347s |      19 |   655002 |   464382 |    27949     36 |      914 |      944
1349.23/1349.77	c 1349s |      19 |   655713 |   464982 |    27949     36 |      914 |      944
1351.62/1352.13	c 1351s |      19 |   656395 |   465582 |    27949     36 |      914 |      944
1353.73/1354.21	c 1353s |      19 |   656954 |   466082 |    27949     36 |      914 |      944
1355.83/1356.39	c 1356s |      19 |   657493 |   466582 |    27949     36 |      914 |      944
1357.92/1358.43	c 1358s |      19 |   658078 |   467082 |    27949     36 |      914 |      944
1360.02/1360.52	c 1360s |      19 |   658678 |   467582 |    27949     36 |      914 |      944
1362.42/1362.95	c 1362s |      19 |   659233 |   468082 |    27949     36 |      914 |      944
1364.42/1364.98	c 1364s |      19 |   659683 |   468482 |    27949     36 |      914 |      944
1366.42/1366.99	c 1366s |      19 |   660107 |   468882 |    27949     36 |      914 |      944
1368.62/1369.13	c 1368s |      19 |   660531 |   469282 |    27949     36 |      914 |      944
1370.62/1371.17	c 1370s |      19 |   661010 |   469682 |    27949     36 |      914 |      944
1372.92/1373.42	c 1373s |      19 |   661554 |   470182 |    27949     36 |      914 |      944
1375.32/1375.81	c 1375s |      19 |   662101 |   470682 |    27949     36 |      914 |      944
1377.32/1377.89	c 1377s |      19 |   662960 |   471282 |    27949     36 |      914 |      944
1379.62/1380.12	c 1379s |      19 |   663543 |   471782 |    27949     36 |      914 |      944
1382.01/1382.58	c 1382s |      19 |   664117 |   472282 |    27949     36 |      914 |      944
1384.21/1384.78	c 1384s |      19 |   664589 |   472682 |    27949     36 |      914 |      944
1386.62/1387.20	c 1386s |      19 |   665172 |   473182 |    27949     36 |      914 |      944
1388.71/1389.26	c 1388s |      19 |   665630 |   473582 |    27949     36 |      914 |      944
1391.12/1391.63	c 1391s |      19 |   666072 |   473982 |    27949     36 |      914 |      944
1393.22/1393.77	c 1393s |      19 |   666519 |   474382 |    27949     36 |      914 |      944
1395.61/1396.13	c 1395s |      19 |   666944 |   474782 |    27949     36 |      914 |      944
1397.81/1398.36	c 1398s |      19 |   667400 |   475182 |    27949     36 |      914 |      944
1400.01/1400.56	c 1400s |      19 |   667854 |   475582 |    27949     36 |      914 |      944
1402.41/1402.94	c 1402s |      19 |   668291 |   475982 |    27949     36 |      914 |      944
1405.01/1405.55	c 1405s |      19 |   668727 |   476382 |    27949     36 |      914 |      944
1407.62/1408.19	c 1407s |      19 |   669163 |   476782 |    27949     36 |      914 |      944
1410.61/1411.16	c 1410s |      19 |   669493 |   477082 |    27949     37 |      914 |      944
1412.72/1413.26	c 1412s |      19 |   669929 |   477482 |    27949     37 |      914 |      944
1414.92/1415.45	c 1415s |      19 |   670354 |   477882 |    27949     37 |      914 |      944
1417.02/1417.52	c 1417s |      19 |   670815 |   478282 |    27949     37 |      914 |      944
1419.12/1419.68	c 1419s |      19 |   671391 |   478782 |    27949     37 |      914 |      944
1421.22/1421.75	c 1421s |      19 |   671964 |   479282 |    27949     37 |      914 |      944
1423.51/1424.04	c 1423s |      19 |   672639 |   479882 |    27949     37 |      914 |      944
1425.91/1426.44	c 1426s |      19 |   673183 |   480382 |    27949     37 |      914 |      944
1428.01/1428.52	c 1428s |      19 |   673602 |   480782 |    27949     37 |      914 |      944
1430.01/1430.53	c 1430s |      19 |   674052 |   481182 |    27949     37 |      914 |      944
1432.11/1432.60	c 1432s |      19 |   674496 |   481582 |    27949     37 |      914 |      944
1434.21/1434.75	c 1434s |      19 |   674917 |   481982 |    27949     37 |      914 |      944
1436.61/1437.18	c 1436s |      19 |   675486 |   482482 |    27949     37 |      914 |      944
1439.01/1439.56	c 1439s |      19 |   675921 |   482882 |    27949     37 |      914 |      944
1441.31/1441.89	c 1441s |      19 |   676349 |   483282 |    27949     37 |      914 |      944
1443.61/1444.19	c 1443s |      19 |   676913 |   483782 |    27949     37 |      914 |      944
1445.71/1446.24	c 1445s |      19 |   677336 |   484182 |    27949     37 |      914 |      944
1448.01/1448.59	c 1448s |      19 |   677877 |   484682 |    27949     37 |      914 |      944
1450.11/1450.64	c 1450s |      19 |   678321 |   485082 |    27949     37 |      914 |      944
1452.51/1453.04	c 1452s |      19 |   678746 |   485482 |    27949     37 |      914 |      944
1454.61/1455.14	c 1454s |      19 |   679208 |   485882 |    27949     37 |      914 |      944
1456.81/1457.34	c 1457s |      19 |   679808 |   486382 |    27949     37 |      914 |      944
1459.21/1459.76	c 1459s |      19 |   680385 |   486882 |    27949     37 |      914 |      944
1461.51/1462.07	c 1461s |      19 |   680935 |   487382 |    27949     37 |      914 |      944
1464.11/1464.62	c 1464s |      19 |   681498 |   487882 |    27949     37 |      914 |      944
1466.21/1466.73	c 1466s |      19 |   681947 |   488282 |    27949     37 |      914 |      944
1468.61/1469.13	c 1468s |      19 |   682525 |   488782 |    27949     37 |      914 |      944
1470.71/1471.27	c 1470s |      19 |   683140 |   489282 |    27949     37 |      914 |      944
1473.11/1473.60	c 1473s |      19 |   683729 |   489782 |    27949     37 |      914 |      944
1475.20/1475.72	c 1475s |      19 |   684180 |   490182 |    27949     37 |      914 |      944
1477.30/1477.83	c 1477s |      19 |   684646 |   490582 |    27949     37 |      914 |      944
1479.40/1480.00	c 1479s |      19 |   685101 |   490982 |    27949     37 |      914 |      944
1481.60/1482.18	c 1481s |      19 |   685572 |   491382 |    27949     37 |      914 |      944
1484.20/1484.74	c 1484s |      19 |   686008 |   491782 |    27949     37 |      914 |      944
1486.60/1487.14	c 1486s |      19 |   686457 |   492182 |    27949     37 |      914 |      944
1489.10/1489.62	c 1489s |      19 |   686898 |   492582 |    27949     37 |      914 |      944
1491.21/1491.74	c 1491s |      19 |   687230 |   492882 |    27949     38 |      914 |      944
1493.60/1494.19	c 1493s |      19 |   687776 |   493382 |    27949     38 |      914 |      944
1495.80/1496.32	c 1496s |      19 |   688337 |   493882 |    27949     38 |      914 |      944
1498.00/1498.57	c 1498s |      19 |   688901 |   494382 |    27949     38 |      914 |      944
1500.40/1500.98	c 1500s |      19 |   689437 |   494882 |    27949     38 |      914 |      944
1502.80/1503.37	c 1503s |      19 |   689961 |   495382 |    27949     38 |      914 |      944
1505.20/1505.77	c 1505s |      19 |   690523 |   495882 |    27949     38 |      914 |      944
1507.50/1508.04	c 1507s |      19 |   691069 |   496382 |    27949     38 |      914 |      944
1509.91/1510.48	c 1510s |      19 |   691642 |   496882 |    27949     38 |      914 |      944
1512.11/1512.62	c 1512s |      19 |   692073 |   497282 |    27949     38 |      914 |      944
1514.21/1514.71	c 1514s |      19 |   692527 |   497682 |    27949     38 |      914 |      944
1516.20/1516.71	c 1516s |      19 |   692959 |   498082 |    27949     38 |      914 |      944
1518.30/1518.86	c 1518s |      19 |   693386 |   498482 |    27949     38 |      914 |      944
1520.40/1520.95	c 1520s |      19 |   693824 |   498882 |    27949     38 |      914 |      944
1522.70/1523.25	c 1522s |      19 |   694243 |   499282 |    27949     38 |      914 |      944
1524.70/1525.28	c 1525s |      19 |   694721 |   499682 |    27949     38 |      914 |      944
1527.00/1527.59	c 1527s |      19 |   695302 |   500182 |    27949     38 |      914 |      944
1529.40/1529.91	c 1529s |      19 |   695893 |   500682 |    27949     38 |      914 |      944
1531.80/1532.36	c 1532s |      19 |   696459 |   501182 |    27949     38 |      914 |      944
1534.40/1534.90	c 1534s |      19 |   697015 |   501682 |    27949     38 |      914 |      944
1536.50/1537.02	c 1536s |      19 |   697482 |   502082 |    27949     38 |      914 |      944
1539.00/1539.51	c 1539s |      19 |   698051 |   502582 |    27949     38 |      914 |      944
1540.99/1541.53	c 1541s |      19 |   698510 |   502982 |    27949     38 |      914 |      944
1543.09/1543.66	c 1543s |      19 |   698945 |   503382 |    27949     38 |      914 |      944
1545.59/1546.12	c 1545s |      19 |   699371 |   503782 |    27949     38 |      914 |      944
1547.99/1548.57	c 1548s |      19 |   699802 |   504182 |    27949     38 |      914 |      944
1550.39/1550.93	c 1550s |      19 |   700239 |   504582 |    27949     38 |      914 |      944
1552.80/1553.31	c 1553s |      19 |   700853 |   505082 |    27949     38 |      914 |      944
1555.00/1555.53	c 1555s |      19 |   701287 |   505482 |    27949     38 |      914 |      944
1557.10/1557.65	c 1557s |      19 |   701731 |   505882 |    27949     38 |      914 |      944
1559.30/1559.81	c 1559s |      19 |   702177 |   506282 |    27949     38 |      914 |      944
1561.50/1562.10	c 1561s |      19 |   702619 |   506682 |    27949     38 |      914 |      944
1563.80/1564.36	c 1564s |      19 |   703059 |   507082 |    27949     38 |      914 |      944
1566.09/1566.67	c 1566s |      19 |   703497 |   507482 |    27949     38 |      914 |      944
1568.29/1568.84	c 1568s |      19 |   703940 |   507882 |    27949     38 |      914 |      944
1570.40/1570.99	c 1570s |      19 |   704400 |   508282 |    27949     38 |      914 |      944
1572.59/1573.16	c 1572s |      19 |   704751 |   508582 |    27949     39 |      914 |      944
1574.89/1575.42	c 1575s |      19 |   705284 |   509082 |    27949     39 |      914 |      944
1577.19/1577.72	c 1577s |      19 |   705836 |   509582 |    27949     39 |      914 |      944
1579.49/1580.01	c 1579s |      19 |   706385 |   510082 |    27949     39 |      914 |      944
1581.49/1582.06	c 1581s |      19 |   706972 |   510582 |    27949     39 |      914 |      944
1583.99/1584.54	c 1584s |      19 |   707674 |   511182 |    27949     39 |      914 |      944
1586.19/1586.73	c 1586s |      19 |   708362 |   511782 |    27949     39 |      914 |      944
1588.49/1589.07	c 1588s |      19 |   708957 |   512282 |    27949     39 |      914 |      944
1590.89/1591.44	c 1591s |      19 |   709521 |   512782 |    27949     39 |      914 |      944
1593.08/1593.68	c 1593s |      19 |   710074 |   513282 |    27949     39 |      914 |      944
1595.48/1596.03	c 1595s |      19 |   710632 |   513782 |    27949     39 |      914 |      944
1597.79/1598.39	c 1598s |      19 |   711181 |   514282 |    27949     39 |      914 |      944
1600.28/1600.88	c 1600s |      19 |   711741 |   514782 |    27949     39 |      914 |      944
1602.58/1603.12	c 1602s |      19 |   712307 |   515282 |    27949     39 |      914 |      944
1604.58/1605.16	c 1604s |      19 |   712758 |   515682 |    27949     39 |      914 |      944
1606.78/1607.38	c 1607s |      19 |   713309 |   516182 |    27949     39 |      914 |      944
1608.79/1609.39	c 1609s |      19 |   713762 |   516582 |    27949     39 |      914 |      944
1611.38/1611.96	c 1611s |      19 |   714331 |   517082 |    27949     39 |      914 |      944
1613.48/1614.05	c 1613s |      19 |   714782 |   517482 |    27949     39 |      914 |      944
1615.58/1616.13	c 1615s |      19 |   715233 |   517882 |    27949     39 |      914 |      944
1617.98/1618.56	c 1618s |      19 |   715832 |   518382 |    27949     39 |      914 |      944
1619.98/1620.59	c 1620s |      19 |   716274 |   518782 |    27949     39 |      914 |      944
1622.58/1623.13	c 1622s |      19 |   716813 |   519282 |    27949     39 |      914 |      944
1624.78/1625.33	c 1625s |      19 |   717260 |   519682 |    27949     39 |      914 |      944
1626.98/1627.54	c 1627s |      19 |   717708 |   520082 |    27949     39 |      914 |      944
1629.18/1629.74	c 1629s |      19 |   718134 |   520482 |    27949     39 |      914 |      944
1631.28/1631.82	c 1631s |      19 |   718596 |   520882 |    27949     39 |      914 |      944
1633.58/1634.16	c 1633s |      19 |   719021 |   521282 |    27949     39 |      914 |      944
1635.98/1636.55	c 1636s |      19 |   719461 |   521682 |    27949     39 |      914 |      944
1638.28/1638.89	c 1638s |      19 |   719898 |   522082 |    27949     39 |      914 |      944
1640.68/1641.26	c 1640s |      19 |   720350 |   522482 |    27949     39 |      914 |      944
1643.18/1643.77	c 1643s |      19 |   720783 |   522882 |    27949     39 |      914 |      944
1645.67/1646.24	c 1645s |      19 |   721204 |   523282 |    27949     39 |      914 |      944
1648.27/1648.89	c 1648s |      19 |   721639 |   523682 |    27949     39 |      914 |      944
1651.68/1652.24	c 1651s |      19 |   722075 |   524082 |    27949     40 |      914 |      944
1654.07/1654.63	c 1654s |      19 |   722612 |   524582 |    27949     40 |      914 |      944
1656.08/1656.69	c 1656s |      19 |   723028 |   524982 |    27949     40 |      914 |      944
1658.28/1658.83	c 1658s |      19 |   723458 |   525382 |    27949     40 |      914 |      944
1660.48/1661.02	c 1660s |      19 |   724028 |   525882 |    27949     40 |      914 |      944
1662.69/1663.27	c 1662s |      19 |   724583 |   526382 |    27949     40 |      914 |      944
1664.98/1665.57	c 1665s |      19 |   725142 |   526882 |    27949     40 |      914 |      944
1667.08/1667.66	c 1667s |      19 |   725574 |   527282 |    27949     40 |      914 |      944
1669.48/1670.03	c 1669s |      19 |   726102 |   527782 |    27949     40 |      914 |      944
1671.68/1672.27	c 1671s |      19 |   726653 |   528282 |    27949     40 |      914 |      944
1673.78/1674.32	c 1674s |      19 |   727082 |   528682 |    27949     40 |      914 |      944
1675.88/1676.47	c 1676s |      19 |   727525 |   529082 |    27949     40 |      914 |      944
1677.97/1678.58	c 1678s |      19 |   727954 |   529482 |    27949     40 |      914 |      944
1679.97/1680.59	c 1680s |      19 |   728383 |   529882 |    27949     40 |      914 |      944
1682.07/1682.66	c 1682s |      19 |   728829 |   530282 |    27949     40 |      914 |      944
1684.37/1684.90	c 1684s |      19 |   729240 |   530682 |    27949     40 |      914 |      944
1686.57/1687.12	c 1686s |      19 |   729680 |   531082 |    27949     40 |      914 |      944
1688.57/1689.14	c 1688s |      19 |   730120 |   531482 |    27949     40 |      914 |      944
1690.77/1691.30	c 1691s |      19 |   730547 |   531882 |    27949     40 |      914 |      944
1692.97/1693.56	c 1693s |      19 |   730978 |   532282 |    27949     40 |      914 |      944
1695.17/1695.79	c 1695s |      19 |   731399 |   532682 |    27949     40 |      914 |      944
1697.27/1697.87	c 1697s |      19 |   731836 |   533082 |    27949     40 |      914 |      944
1699.37/1699.98	c 1699s |      19 |   732289 |   533482 |    27949     40 |      914 |      944
1701.47/1702.08	c 1701s |      19 |   732862 |   533982 |    27949     40 |      914 |      944
1703.67/1704.23	c 1703s |      19 |   733461 |   534482 |    27949     40 |      914 |      944
1706.17/1706.72	c 1706s |      19 |   734009 |   534982 |    27949     40 |      914 |      944
1708.17/1708.74	c 1708s |      19 |   734473 |   535382 |    27949     40 |      914 |      944
1710.27/1710.89	c 1710s |      19 |   734914 |   535782 |    27949     40 |      914 |      944
1712.47/1713.02	c 1712s |      19 |   735344 |   536182 |    27949     40 |      914 |      944
1714.67/1715.29	c 1715s |      19 |   735766 |   536582 |    27949     40 |      914 |      944
1716.97/1717.50	c 1717s |      19 |   736201 |   536982 |    27949     40 |      914 |      944
1719.17/1719.72	c 1719s |      19 |   736650 |   537382 |    27949     40 |      914 |      944
1721.37/1721.97	c 1721s |      19 |   737076 |   537782 |    27949     40 |      914 |      944
1723.67/1724.23	c 1723s |      19 |   737509 |   538182 |    27949     40 |      914 |      944
1725.77/1726.33	c 1726s |      19 |   737948 |   538582 |    27949     40 |      914 |      944
1728.27/1728.82	c 1728s |      19 |   738373 |   538982 |    27949     40 |      914 |      944
1730.76/1731.31	c 1731s |      19 |   738794 |   539382 |    27949     40 |      914 |      944
1733.86/1734.42	c 1734s |      19 |   739225 |   539782 |    27949     41 |      914 |      944
1736.06/1736.69	c 1736s |      19 |   739786 |   540282 |    27949     41 |      914 |      944
1738.26/1738.85	c 1738s |      19 |   740325 |   540782 |    27949     41 |      914 |      944
1740.66/1741.22	c 1740s |      19 |   740994 |   541382 |    27949     41 |      914 |      944
1742.86/1743.40	c 1743s |      19 |   741679 |   541982 |    27949     41 |      914 |      944
1745.06/1745.61	c 1745s |      19 |   742345 |   542582 |    27949     41 |      914 |      944
1747.06/1747.62	c 1747s |      19 |   742901 |   543082 |    27949     41 |      914 |      944
1749.26/1749.82	c 1749s |      19 |   743459 |   543582 |    27949     41 |      914 |      944
1751.36/1751.93	c 1751s |      19 |   744012 |   544082 |    27949     41 |      914 |      944
1753.46/1754.08	c 1753s |      19 |   744561 |   544582 |    27949     41 |      914 |      944
1755.76/1756.37	c 1756s |      19 |   745113 |   545082 |    27949     41 |      914 |      944
1757.86/1758.46	c 1758s |      19 |   745539 |   545482 |    27949     41 |      914 |      944
1759.96/1760.53	c 1760s |      19 |   745992 |   545882 |    27949     41 |      914 |      944
1762.26/1762.89	c 1762s |      19 |   746543 |   546382 |    27949     41 |      914 |      944
1764.46/1765.04	c 1764s |      19 |   746990 |   546782 |    27949     41 |      914 |      944
1766.66/1767.20	c 1766s |      19 |   747422 |   547182 |    27949     41 |      914 |      944
1768.96/1769.55	c 1769s |      19 |   747950 |   547682 |    27949     41 |      914 |      944
1771.45/1772.02	c 1771s |      19 |   748489 |   548182 |    27949     41 |      914 |      944
1773.65/1774.29	c 1774s |      19 |   748938 |   548582 |    27949     41 |      914 |      944
1776.15/1776.79	c 1776s |      19 |   749494 |   549082 |    27949     41 |      914 |      944
1778.45/1779.09	c 1778s |      19 |   750058 |   549582 |    27949     41 |      914 |      944
1780.85/1781.49	c 1781s |      19 |   750585 |   550082 |    27949     41 |      914 |      944
1783.05/1783.64	c 1783s |      19 |   751011 |   550482 |    27949     41 |      914 |      944
1785.35/1785.90	c 1785s |      19 |   751452 |   550882 |    27949     41 |      914 |      944
1787.85/1788.40	c 1788s |      19 |   751871 |   551282 |    27949     41 |      914 |      944
1789.95/1790.59	c 1790s |      19 |   752316 |   551682 |    27949     41 |      914 |      944
1792.36/1792.94	c 1792s |      19 |   752746 |   552082 |    27949     41 |      914 |      944
1794.96/1795.53	c 1795s |      19 |   753179 |   552482 |    27949     41 |      914 |      944
1797.46/1798.01	c 1797s |      19 |   753633 |   552882 |    27949     41 |      914 |      944
1799.76/1800.33	c 1800s |      19 |   754053 |   553282 |    27949     41 |      914 |      944

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.18 2.18 3/172 26658
/proc/meminfo: memFree=30298092/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=759364 CPUtime=0 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 2839 0 0 0 0 0 0 0 20 0 4 0 31156484 777588736 3199 33554432000 4194304 16246674 140735489448240 140735489447664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 190353 3210 442 2943 0 187247 0
[pid=26658/tid=26662] ppid=26653 vsize=776772 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 795414528 3270 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=781892 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 800657408 3287 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=785988 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31156484 804851712 3306 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100258 s]
/proc/loadavg: 2.28 2.18 2.18 3/172 26658
/proc/meminfo: memFree=30298092/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 28472 0 0 0 6 3 0 0 20 0 4 0 31156484 1249447936 28770 33554432000 4194304 16246674 140735489448240 140735489447552 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 305041 28770 802 2943 0 301935 0
[pid=26658/tid=26662] ppid=26653 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1249447936 28770 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1249447936 28770 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1249447936 28770 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200484 s]
/proc/loadavg: 2.28 2.18 2.18 3/172 26658
/proc/meminfo: memFree=30298092/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 48677 0 0 0 13 6 0 0 20 0 4 0 31156484 1332285440 48975 33554432000 4194304 16246674 140735489448240 140735489447552 5913024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 325265 48975 843 2943 0 322159 0
[pid=26658/tid=26662] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 48975 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 48975 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 48975 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300499 s]
/proc/loadavg: 2.28 2.18 2.18 3/172 26658
/proc/meminfo: memFree=30298092/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 54890 0 0 0 23 6 0 0 20 0 4 0 31156484 1332285440 55188 33554432000 4194304 16246674 140735489448240 140735489447552 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 325265 55194 885 2943 0 322159 0
[pid=26658/tid=26662] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 55199 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 55203 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 55207 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700417 s]
/proc/loadavg: 2.28 2.18 2.18 3/172 26658
/proc/meminfo: memFree=30298092/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 106349 0 0 0 56 13 0 0 20 0 4 0 31156484 1332285440 106647 33554432000 4194304 16246674 140735489448240 140735489447552 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 325265 106653 885 2943 0 322159 0
[pid=26658/tid=26662] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 106657 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 106659 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 106661 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50041 s]
/proc/loadavg: 2.28 2.18 2.18 3/183 26669
/proc/meminfo: memFree=29046908/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 213847 0 0 0 120 29 0 0 20 0 4 0 31156484 1332285440 214146 33554432000 4194304 16246674 140735489448240 140735489430144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 325265 214154 885 2943 0 322159 0
[pid=26658/tid=26662] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 214158 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 214161 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1332285440 214164 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.28 2.18 2.18 3/183 26669
/proc/meminfo: memFree=28141552/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 269289 0 0 0 274 35 0 0 20 0 4 0 31156484 1344868352 269587 33554432000 4194304 16246674 140735489448240 140735489430144 5546160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 328337 269587 892 2943 0 325231 0
[pid=26658/tid=26662] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269587 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269587 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269587 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30042 s]
/proc/loadavg: 2.26 2.18 2.18 4/183 26669
/proc/meminfo: memFree=28139100/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 269529 0 0 0 594 35 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 140735489430144 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 328337 269827 892 2943 0 325231 0
[pid=26658/tid=26662] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.24 2.18 2.17 4/183 26669
/proc/meminfo: memFree=28139764/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 269529 0 0 0 1234 35 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 140735489430144 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 328337 269827 892 2943 0 325231 0
[pid=26658/tid=26662] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.25 2.18 2.18 3/183 26669
/proc/meminfo: memFree=28140980/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 269529 0 0 0 2514 35 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 140735489430144 5721521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 328337 269827 892 2943 0 325231 0
[pid=26658/tid=26662] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 26669
/proc/meminfo: memFree=28140860/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 269529 0 0 0 5073 35 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 140735489430144 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 328337 269827 892 2943 0 325231 0
[pid=26658/tid=26662] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1344868352 269827 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.23 2.19 2.18 4/182 26670
/proc/meminfo: memFree=28134788/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1319492 CPUtime=102.29 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 270900 0 0 0 10193 36 0 0 20 0 4 0 31156484 1351159808 271198 33554432000 4194304 16246674 140735489448240 140735489430144 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 329873 271198 893 2943 0 326767 0
[pid=26658/tid=26662] ppid=26653 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1351159808 271198 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1351159808 271198 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1351159808 271198 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1319492


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

/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.34 2.31 2.22 3/183 26723
/proc/meminfo: memFree=28095516/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1329732 CPUtime=1301.83 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 274044 0 0 0 130139 44 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 140735489431232 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 332433 273927 893 2943 0 329327 0
[pid=26658/tid=26662] ppid=26653 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.23 2.28 2.21 4/183 26725
/proc/meminfo: memFree=28095336/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1329732 CPUtime=1361.82 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 274044 0 0 0 136138 44 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 140735489430144 5829939 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 332433 273927 893 2943 0 329327 0
[pid=26658/tid=26662] ppid=26653 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1361645568 273927 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.30 2.29 2.22 3/184 26729
/proc/meminfo: memFree=28092996/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1332804 CPUtime=1421.82 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 274732 0 0 0 142137 45 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 140735489430144 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333201 274615 893 2943 0 330095 0
[pid=26658/tid=26662] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.20 2.26 2.21 3/183 26730
/proc/meminfo: memFree=28093192/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1332804 CPUtime=1481.8 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 274732 0 0 0 148135 45 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 140735489447416 5824066 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333201 274615 893 2943 0 330095 0
[pid=26658/tid=26662] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274615 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.21 2.26 2.21 4/183 26731
/proc/meminfo: memFree=28092576/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1332804 CPUtime=1541.8 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 274812 0 0 0 154135 45 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 140735489430144 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333201 274695 893 2943 0 330095 0
[pid=26658/tid=26662] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.21 3/183 26732
/proc/meminfo: memFree=28092384/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1332804 CPUtime=1601.78 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 274812 0 0 0 160133 45 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 140735489430144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333201 274695 893 2943 0 330095 0
[pid=26658/tid=26662] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1364791296 274695 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.20 3/183 26734
/proc/meminfo: memFree=28090600/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1334852 CPUtime=1661.78 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 275182 0 0 0 166132 46 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 140735489430144 6020736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333713 275065 893 2943 0 330607 0
[pid=26658/tid=26662] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.38 2.28 2.21 3/183 26735
/proc/meminfo: memFree=28091080/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1334852 CPUtime=1721.77 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 275182 0 0 0 172131 46 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 140735489430144 5523504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333713 275065 893 2943 0 330607 0
[pid=26658/tid=26662] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.39 2.30 2.22 3/183 26736
/proc/meminfo: memFree=28089600/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1334852 CPUtime=1781.75 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 275182 0 0 0 178129 46 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 140735489430144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333713 275065 893 2943 0 330607 0
[pid=26658/tid=26662] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.28 2.22 3/183 26736
/proc/meminfo: memFree=28090332/32872528 swapFree=1392268/1580316
[pid=26658] ppid=26653 vsize=1334852 CPUtime=1800.06 cores=1,3,5,7
/proc/26658/stat : 26658 (toysat) R 26653 26658 23975 0 -1 4202496 275182 0 0 0 179959 47 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 140735489430144 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26658/statm: 333713 275065 893 2943 0 330607 0
[pid=26658/tid=26662] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26662/stat : 26662 (toysat) S 26653 26658 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869443566832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26658/tid=26663] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26663/stat : 26663 (toysat) S 26653 26658 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869433076976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26658/tid=26664] ppid=26653 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/26658/task/26664/stat : 26664 (toysat) S 26653 26658 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31156484 1366888448 275065 33554432000 4194304 16246674 140735489448240 139869422603440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 26658 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.61
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.471928
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.471928
maximum resident set size= 1100260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275182
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= 433
involuntary context switches= 1960

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49532 second user time and 7.03393 second system time

The end

Begin job on node139 at 2016-06-27 00:46:33
IDJOB=4116005
IDBENCH=109416
IDSOLVER=2542
FILE ID=node139/4116005-1466981192
RUNJOBID= node139-1466981192-26633
PBS_JOBID= 19976371
Free space on /tmp= 71668 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116005-1466981192/watcher-4116005-1466981192 -o /tmp/evaluation-result-4116005-1466981192/solver-4116005-1466981192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466981192-26633 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116005-1466981192.opb

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

MD5SUM BENCH= 23a8452436d00a9d7c446b690772a518
RANDOM SEED=2019788874

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30298356 kB
Buffers:           52316 kB
Cached:           231552 kB
SwapCached:         2156 kB
Active:            92800 kB
Inactive:         194080 kB
Active(anon):       4288 kB
Inactive(anon):     1120 kB
Active(file):      88512 kB
Inactive(file):   192960 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:             33472 kB
Writeback:            52 kB
AnonPages:       1582388 kB
Mapped:             7120 kB
Shmem:                 0 kB
Slab:             570868 kB
SReclaimable:      14428 kB
SUnreclaim:       556440 kB
KernelStack:        1448 kB
PageTables:         6972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1677180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71644 MiB
End job on node139 at 2016-06-27 01:16:33