0.00/0.00	c 2016-06-16T23:30:25+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-4096197-1466112624.opb"]
0.00/0.01	c use --random-gen="390161304 2933984931 2121761516 3090949329 2512318964 840281925 3877039249 436279277 711520286 2312660777 3329600788 1561310656 2665850348 2149833614 2396296206 588397042 2071573349 211760273 3592223086 157157145 2957047473 4118205015 1548226523 3720997349 788094301 244575017 2469445963 1378057772 2869024637 173605013 3586750164 2815740897 2418094769 2454312680 1712058717 1691959333 3872513359 3317837515 1852283528 3550669084 1032253005 3987127729 3026452796 1634196724 3122596235 2223416718 4197931265 3760941138 3541862735 3574177192 1394895279 2048309847 385263166 2122335346 1908036985 3310360716 3275807562 448887298 2503159991 2752390618 1815460159 943548221 3930991036 1417548700 3239435260 3449715266 561407239 1474368526 88210490 4047388836 1325772138 2595119510 1977206992 1321237358 1985074783 495046868 1712042711 3369734759 947947085 1334074936 1678963281 1367082287 2264723267 4227928518 3299805145 1153799974 4286001172 2947259242 4239807136 3692655818 2694079578 2028909794 2758894656 2898313502 1368692110 2683926461 2927354802 2692276082 3107694203 4119241226 80438484 1687024671 4077036606 2700816031 2350481370 3291304725 3314521619 2010550944 2170403132 821725601 2378975957 1830288647 1540154221 34136412 1716793672 1256330921 2308587003 2432985294 2044646509 2353466963 300597489 4172297578 3292761700 2293039990 3056374554 2836430294 4112567982 4141481781 989669896 1279137733 1629668142 3224769647 3184342067 3836455941 1376166083 4080977177 1289886501 3932542380 2133863877 3568446246 408731310 3129680842 4177147467 3115569922 3670947566 3421314617 2419728383 2799639321 3543294244 1834355471 4036305799 1380598173 300362317 2109514486 1143097690 2930840688 918199652 3138841306 1226145396 3155205191 2120963911 2777407770 4212451053 879336265 1334333004 3045950634 870521293 2548715966 1611290910 3475208047 3558972868 851214337 3630570850 1154768890 1504774587 555486075 2068442609 1075136418 1602317676 586384237 446135424 3859649364 4081633997 1591721366 2582451703 3459490055 2811020922 1345104527 1432840051 357644117 4117013128 2793420121 186762824 3345508166 2624018468 1486707938 3540066515 1591977359 270349339 3656469575 2967351684 2790368542 1563415319 106570255 1490197467 2296264596 1887153909 3363128635 3019438309 3356079040 873883800 325691988 1415198604 2295224456 3560148798 2992071379 2343384706 3747527061 1181371954 4277955839 3422851685 1097713229 3376675002 2918970961 711342003 827477949 1907218383 2123711783 65365453 3020796289 2840022935 3392308155 330034016 3267049544 755052849 3025008201 163473920 3518694102 534123765 2886218664 2664988493 2578241589 2841323969 2370008328 3874937655 2014252402 3334355312 417922877 43135410 2555611066 1852112786 233035679 3791443433 2847508241 379795262 2701453959 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1190
0.00/0.06	c #constraints 5649
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |     2278      0 |        5 |        0
0.09/0.17	c  0.0s |       1 |      134 |      100 |     2278      0 |        5 |      270
0.19/0.22	c  0.1s |       2 |      328 |      250 |     2506      0 |        5 |      270
0.29/0.32	c  0.2s |       3 |      594 |      475 |     2757      0 |        5 |      270
0.39/0.47	c  0.3s |       4 |      989 |      813 |     3033      0 |        5 |      270
0.69/0.74	c  0.6s |       5 |     1821 |     1320 |     3337      0 |        5 |      270
1.10/1.15	c  1.0s |       6 |     2760 |     2081 |     4039      0 |        5 |      270
1.68/1.74	c  1.6s |       7 |     4153 |     3223 |     4443      0 |        5 |      270
2.49/2.59	c  2.5s |       8 |     6093 |     4936 |     4888      1 |        5 |      270
3.79/3.86	c  3.7s |       9 |     8959 |     7506 |     5377      2 |        5 |      270
5.69/5.75	c  5.6s |      10 |    13428 |    11361 |     5915      3 |        5 |      270
7.70/7.76	c  7.6s |      10 |    19015 |    16061 |     5915      4 |        5 |      270
8.19/8.28	c  8.2s |      11 |    20304 |    17144 |     6507      5 |        5 |      270
10.29/10.31	c 10.2s |      11 |    25897 |    21644 |     6507      6 |        5 |      270
12.10/12.11	c 12.0s |      12 |    30889 |    25819 |     7158      7 |        5 |      270
14.09/14.14	c 14.0s |      12 |    35848 |    29919 |     7158      8 |        5 |      270
16.19/16.25	c 16.1s |      12 |    41064 |    34419 |     7158      9 |        5 |      270
18.19/18.29	c 18.2s |      12 |    45986 |    38719 |     7874     10 |        5 |      270
18.29/18.35	c 18.2s |      13 |    46109 |    38832 |     7874     10 |        5 |      270
20.28/20.38	c 20.3s |      13 |    50924 |    42832 |     7874     11 |        5 |      270
22.28/22.39	c 22.3s |      13 |    56001 |    47132 |     7874     12 |        5 |      270
24.39/24.41	c 24.3s |      13 |    61125 |    51432 |     7874     13 |        5 |      270
26.40/26.42	c 26.3s |      13 |    66732 |    56132 |     7874     15 |        5 |      270
27.29/27.31	c 27.2s |      14 |    69291 |    58352 |     8662     15 |        5 |      270
29.29/29.32	c 29.2s |      14 |    73941 |    62252 |     8662     16 |        5 |      270
31.29/31.33	c 31.2s |      14 |    78733 |    66352 |     8662     17 |        5 |      270
33.28/33.37	c 33.2s |      14 |    83487 |    70452 |     8662     18 |        5 |      270
35.29/35.38	c 35.3s |      14 |    88240 |    74552 |     8662     19 |        5 |      270
37.28/37.39	c 37.3s |      14 |    93015 |    78752 |     8662     20 |        5 |      270
39.38/39.40	c 39.3s |      14 |    96210 |    81552 |     8662     20 |        5 |      270
41.38/41.45	c 41.3s |      14 |   100700 |    85452 |     8662     21 |        5 |      270
42.58/42.61	c 42.5s |      15 |   103193 |    87632 |     9529     22 |        5 |      270
44.58/44.62	c 44.5s |      15 |   107620 |    91432 |     9529     22 |        5 |      270
46.58/46.65	c 46.5s |      15 |   112215 |    95332 |     9529     23 |        5 |      270
48.68/48.70	c 48.6s |      15 |   116691 |    99232 |     9529     24 |        5 |      270
50.69/50.73	c 50.6s |      15 |   120876 |   102832 |     9529     25 |        5 |      270
52.68/52.73	c 52.6s |      15 |   125010 |   106532 |     9529     25 |        5 |      270
54.68/54.75	c 54.6s |      15 |   128085 |   109232 |     9529     26 |        5 |      270
56.68/56.78	c 56.7s |      15 |   133029 |   113332 |     9529     27 |        5 |      270
58.68/58.78	c 58.7s |      15 |   137652 |   117432 |     9529     28 |        5 |      270
60.78/60.81	c 60.7s |      15 |   142408 |   121632 |     9529     29 |        5 |      270
62.79/62.82	c 62.7s |      15 |   146225 |   125032 |     9529     29 |        5 |      270
64.78/64.85	c 64.7s |      15 |   150610 |   128832 |     9529     30 |        5 |      270
66.28/66.37	c 66.2s |      16 |   153649 |   131552 |    10482     30 |        5 |      270
68.38/68.41	c 68.3s |      16 |   158006 |   135152 |    10482     31 |        5 |      270
70.39/70.45	c 70.3s |      16 |   162978 |   139352 |    10482     32 |        5 |      270
72.38/72.48	c 72.4s |      16 |   167471 |   143252 |    10482     33 |        5 |      270
74.38/74.49	c 74.4s |      16 |   172106 |   147252 |    10482     33 |        5 |      270
76.48/76.50	c 76.4s |      16 |   176576 |   151152 |    10482     34 |        5 |      270
78.48/78.51	c 78.4s |      16 |   181019 |   155052 |    10482     35 |        5 |      270
80.48/80.51	c 80.4s |      16 |   185199 |   158752 |    10482     36 |        5 |      270
83.08/83.19	c 83.1s |      16 |   188966 |   162152 |    10482     36 |        5 |      270
85.18/85.22	c 85.1s |      16 |   194101 |   166352 |    10482     37 |        5 |      270
87.18/87.24	c 87.1s |      16 |   198926 |   170552 |    10482     38 |        5 |      270
89.18/89.29	c 89.2s |      16 |   203201 |   174352 |    10482     38 |        5 |      270
91.28/91.32	c 91.2s |      16 |   207409 |   178152 |    10482     39 |        5 |      270
93.27/93.35	c 93.2s |      16 |   211537 |   181752 |    10482     40 |        5 |      270
95.27/95.36	c 95.2s |      16 |   215719 |   185352 |    10482     41 |        5 |      270
97.37/97.41	c 97.3s |      16 |   220178 |   189252 |    10482     41 |        5 |      270
99.37/99.44	c 99.3s |      16 |   224433 |   192852 |    10482     42 |        5 |      270
101.37/101.48	c  101s |      16 |   228676 |   196552 |    11531     43 |        5 |      270
101.87/101.92	c  101s |      17 |   229719 |   197432 |    11531     43 |        5 |      270
103.87/103.95	c  103s |      17 |   233769 |   200732 |    11531     43 |        5 |      270
105.87/105.97	c  105s |      17 |   237987 |   204232 |    11531     44 |        5 |      270
107.97/108.00	c  107s |      17 |   242112 |   207832 |    11531     44 |        5 |      270
109.98/110.01	c  109s |      17 |   246872 |   211832 |    11531     45 |        5 |      270
111.97/112.04	c  111s |      17 |   250976 |   215432 |    11531     46 |        5 |      270
113.97/114.05	c  113s |      17 |   255060 |   218932 |    11531     46 |        5 |      270
115.97/116.06	c  115s |      17 |   258186 |   221632 |    11531     47 |        5 |      270
117.97/118.08	c  117s |      17 |   262356 |   225232 |    11531     47 |        5 |      270
120.07/120.12	c  119s |      17 |   266241 |   228432 |    11531     48 |        5 |      270
122.08/122.12	c  121s |      17 |   270439 |   231932 |    11531     49 |        5 |      270
124.07/124.18	c  124s |      17 |   274905 |   235832 |    11531     49 |        5 |      270
126.07/126.20	c  126s |      17 |   279294 |   239532 |    11531     50 |        5 |      270
128.17/128.24	c  128s |      17 |   283406 |   243032 |    11531     50 |        5 |      270
130.17/130.30	c  130s |      17 |   287943 |   247032 |    11531     51 |        5 |      270
132.27/132.33	c  132s |      17 |   290779 |   249532 |    11531     52 |        5 |      270
134.28/134.34	c  134s |      17 |   295528 |   253632 |    11531     52 |        5 |      270
136.27/136.34	c  136s |      17 |   299801 |   257332 |    11531     53 |        5 |      270
138.27/138.38	c  138s |      17 |   303881 |   260932 |    11531     54 |        5 |      270
140.37/140.42	c  140s |      17 |   307670 |   264232 |    11531     54 |        5 |      270
142.37/142.47	c  142s |      17 |   311831 |   267832 |    11531     55 |        5 |      270
144.47/144.50	c  144s |      17 |   315892 |   271432 |    11531     55 |        5 |      270
146.47/146.54	c  146s |      17 |   319873 |   274932 |    11531     56 |        5 |      270
148.47/148.56	c  148s |      17 |   323780 |   278432 |    11531     57 |        5 |      270
150.57/150.60	c  150s |      17 |   327834 |   282032 |    11531     57 |        5 |      270
152.57/152.62	c  152s |      17 |   331890 |   285732 |    11531     58 |        5 |      270
154.56/154.64	c  154s |      17 |   333668 |   287332 |    11531     58 |        5 |      270
156.56/156.67	c  156s |      17 |   337724 |   290832 |    11531     59 |        5 |      270
158.66/158.71	c  158s |      17 |   342004 |   294432 |    12685     59 |        5 |      270
159.76/159.84	c  159s |      18 |   344082 |   296252 |    12685     59 |        5 |      270
161.77/161.86	c  161s |      18 |   347973 |   299452 |    12685     60 |        5 |      270
163.87/163.92	c  163s |      18 |   352025 |   303052 |    12685     60 |        5 |      270
165.86/165.96	c  165s |      18 |   355568 |   306152 |    12685     61 |        5 |      270
167.96/168.01	c  167s |      18 |   359828 |   309752 |    12685     61 |        5 |      270
169.96/170.04	c  169s |      18 |   364206 |   313552 |    12685     62 |        5 |      270
171.96/172.05	c  171s |      18 |   367782 |   316752 |    12685     63 |        5 |      270
173.96/174.09	c  173s |      18 |   370697 |   319252 |    12685     63 |        5 |      270
176.06/176.13	c  176s |      18 |   374808 |   322752 |    12685     64 |        5 |      270
178.06/178.14	c  178s |      18 |   378961 |   326452 |    12685     64 |        5 |      270
180.06/180.18	c  180s |      18 |   382567 |   329552 |    12685     65 |        5 |      270
182.16/182.24	c  182s |      18 |   386825 |   333252 |    12685     65 |        5 |      270
184.46/184.52	c  184s |      18 |   389624 |   335752 |    12685     66 |        5 |      270
186.46/186.53	c  186s |      18 |   394147 |   339452 |    12685     66 |        5 |      270
188.46/188.56	c  188s |      18 |   398169 |   342852 |    12685     67 |        5 |      270
190.46/190.60	c  190s |      18 |   402007 |   346252 |    12685     67 |        5 |      270
192.57/192.63	c  192s |      18 |   406072 |   349752 |    12685     68 |        5 |      270
194.56/194.69	c  194s |      18 |   410029 |   353252 |    12685     68 |        5 |      270
196.66/196.72	c  196s |      18 |   413985 |   356752 |    12685     69 |        5 |      270
198.66/198.75	c  198s |      18 |   417689 |   359952 |    12685     69 |        5 |      270
200.66/200.76	c  200s |      18 |   421554 |   363252 |    12685     70 |        5 |      270
202.76/202.81	c  202s |      18 |   425724 |   366852 |    12685     70 |        5 |      270
204.76/204.85	c  204s |      18 |   429502 |   370152 |    12685     71 |        5 |      270
206.86/206.92	c  206s |      18 |   433591 |   373752 |    12685     71 |        5 |      270
208.85/208.96	c  208s |      18 |   437337 |   377152 |    12685     72 |        5 |      270
210.85/210.99	c  210s |      18 |   440647 |   380052 |    12685     72 |        5 |      270
213.06/213.18	c  213s |      18 |   442233 |   381452 |    12685     73 |        5 |      270
215.06/215.18	c  215s |      18 |   445965 |   384652 |    12685     73 |        5 |      270
217.06/217.19	c  217s |      18 |   450208 |   388252 |    12685     74 |        5 |      270
219.15/219.22	c  219s |      18 |   454429 |   391752 |    12685     74 |        5 |      270
221.16/221.24	c  221s |      18 |   458555 |   395352 |    12685     75 |        5 |      270
223.15/223.27	c  223s |      18 |   462585 |   398952 |    12685     75 |        5 |      270
225.15/225.28	c  225s |      18 |   465747 |   401652 |    12685     76 |        5 |      270
227.25/227.34	c  227s |      18 |   470267 |   405452 |    12685     76 |        5 |      270
229.25/229.36	c  229s |      18 |   474625 |   409252 |    12685     77 |        5 |      270
231.25/231.36	c  231s |      18 |   478859 |   412852 |    12685     78 |        5 |      270
233.26/233.39	c  233s |      18 |   483264 |   416752 |    12685     78 |        5 |      270
235.25/235.40	c  235s |      18 |   486325 |   419352 |    12685     79 |        5 |      270
237.35/237.45	c  237s |      18 |   491018 |   423452 |    12685     79 |        5 |      270
239.35/239.47	c  239s |      18 |   494585 |   426652 |    12685     80 |        5 |      270
241.35/241.49	c  241s |      18 |   498746 |   430352 |    12685     80 |        5 |      270
243.45/243.50	c  243s |      18 |   502495 |   433752 |    12685     81 |        5 |      270
245.45/245.52	c  245s |      18 |   506390 |   437252 |    12685     81 |        5 |      270
247.46/247.54	c  247s |      18 |   510138 |   440652 |    12685     82 |        5 |      270
249.76/249.88	c  249s |      18 |   511028 |   441452 |    13954     82 |        5 |      270
251.45/251.53	c  251s |      19 |   514528 |   444482 |    13954     82 |        5 |      270
253.45/253.58	c  253s |      19 |   518637 |   447982 |    13954     83 |        5 |      270
255.45/255.59	c  255s |      19 |   522684 |   451582 |    13954     83 |        5 |      270
257.55/257.62	c  257s |      19 |   526714 |   455082 |    13954     84 |        5 |      270
259.55/259.66	c  259s |      19 |   530486 |   458482 |    13954     84 |        5 |      270
261.55/261.66	c  261s |      19 |   533386 |   460982 |    13954     85 |        5 |      270
263.55/263.69	c  263s |      19 |   537329 |   464482 |    13954     85 |        5 |      270
265.65/265.72	c  265s |      19 |   540557 |   467382 |    13954     86 |        5 |      270
267.65/267.75	c  267s |      19 |   544483 |   470982 |    13954     86 |        5 |      270
269.75/269.82	c  269s |      19 |   547587 |   473782 |    13954     86 |        5 |      270
271.76/271.85	c  271s |      19 |   550911 |   476682 |    13954     87 |        5 |      270
273.75/273.87	c  273s |      19 |   554743 |   479982 |    13954     87 |        5 |      270
275.85/275.90	c  275s |      19 |   558396 |   483282 |    13954     88 |        5 |      270
277.85/277.93	c  277s |      19 |   560150 |   484782 |    13954     88 |        5 |      270
279.85/279.96	c  279s |      19 |   564225 |   488282 |    13954     88 |        5 |      270
281.85/281.98	c  281s |      19 |   568044 |   491582 |    13954     89 |        5 |      270
283.95/284.03	c  283s |      19 |   571511 |   494682 |    13954     89 |        5 |      270
285.95/286.07	c  285s |      19 |   574524 |   497382 |    13954     90 |        5 |      270
288.05/288.12	c  287s |      19 |   578674 |   500982 |    13954     90 |        5 |      270
290.05/290.18	c  290s |      19 |   582524 |   504282 |    13954     91 |        5 |      270
292.15/292.24	c  292s |      19 |   586076 |   507382 |    13954     91 |        5 |      270
294.15/294.27	c  294s |      19 |   589193 |   510182 |    13954     92 |        5 |      270
296.15/296.29	c  296s |      19 |   592946 |   513582 |    13954     92 |        5 |      270
298.44/298.51	c  298s |      19 |   595845 |   516182 |    13954     92 |        5 |      270
300.44/300.56	c  300s |      19 |   599710 |   519482 |    13954     93 |        5 |      270
302.45/302.58	c  302s |      19 |   603217 |   522582 |    13954     93 |        5 |      270
304.54/304.61	c  304s |      19 |   606752 |   525782 |    13954     94 |        5 |      270
306.54/306.65	c  306s |      19 |   610260 |   528882 |    13954     94 |        5 |      270
308.54/308.66	c  308s |      19 |   613405 |   531682 |    13954     95 |        5 |      270
310.64/310.73	c  310s |      19 |   617289 |   535082 |    13954     95 |        5 |      270
313.04/313.11	c  312s |      19 |   620403 |   537882 |    13954     96 |        5 |      270
315.04/315.15	c  315s |      19 |   623741 |   540782 |    13954     96 |        5 |      270
317.14/317.21	c  317s |      19 |   627332 |   543882 |    13954     96 |        5 |      270
319.14/319.25	c  319s |      19 |   630867 |   547082 |    13954     97 |        5 |      270
321.15/321.28	c  321s |      19 |   634028 |   549982 |    13954     97 |        5 |      270
323.24/323.33	c  323s |      19 |   636551 |   552282 |    13954     98 |        5 |      270
325.24/325.34	c  325s |      19 |   640401 |   555582 |    13954     98 |        5 |      270
327.24/327.35	c  327s |      19 |   643548 |   558482 |    13954     98 |        5 |      270
329.34/329.40	c  329s |      19 |   646812 |   561282 |    13954     99 |        5 |      270
331.34/331.40	c  331s |      19 |   650002 |   564082 |    13954     99 |        5 |      270
334.74/334.87	c  334s |      19 |   652536 |   566382 |    13954    100 |        5 |      270
336.74/336.89	c  336s |      19 |   657362 |   570282 |    13954    100 |        5 |      270
338.84/338.95	c  338s |      19 |   661480 |   573782 |    13954    101 |        5 |      270
340.83/340.98	c  340s |      19 |   665333 |   576982 |    13954    101 |        5 |      270
342.93/343.07	c  342s |      19 |   669262 |   580282 |    13954    102 |        5 |      270
345.03/345.12	c  344s |      19 |   673909 |   584282 |    13954    102 |        5 |      270
347.03/347.14	c  347s |      19 |   677616 |   587582 |    13954    103 |        5 |      270
349.03/349.15	c  349s |      19 |   678943 |   588682 |    13954    103 |        5 |      270
351.03/351.18	c  351s |      19 |   683508 |   592582 |    13954    103 |        5 |      270
353.14/353.21	c  353s |      19 |   687502 |   595982 |    13954    104 |        5 |      270
355.13/355.25	c  355s |      19 |   691432 |   599482 |    13954    104 |        5 |      270
357.13/357.28	c  357s |      19 |   695593 |   603182 |    13954    105 |        5 |      270
359.23/359.33	c  359s |      19 |   698312 |   605582 |    13954    105 |        5 |      270
361.23/361.36	c  361s |      19 |   701954 |   608782 |    13954    106 |        5 |      270
363.23/363.36	c  363s |      19 |   705901 |   612382 |    13954    106 |        5 |      270
365.33/365.41	c  365s |      19 |   709433 |   615482 |    13954    106 |        5 |      270
367.34/367.45	c  367s |      19 |   713475 |   618982 |    13954    107 |        5 |      270
369.43/369.52	c  369s |      19 |   716617 |   621682 |    13954    107 |        5 |      270
371.43/371.54	c  371s |      19 |   720178 |   624782 |    13954    108 |        5 |      270
373.43/373.57	c  373s |      19 |   724108 |   628182 |    13954    108 |        5 |      270
375.84/375.96	c  375s |      19 |   727024 |   630782 |    13954    109 |        5 |      270
377.93/378.01	c  377s |      19 |   730120 |   633382 |    13954    109 |        5 |      270
379.93/380.05	c  379s |      19 |   733848 |   636682 |    13954    109 |        5 |      270
382.03/382.10	c  381s |      19 |   737810 |   640182 |    13954    110 |        5 |      270
384.03/384.13	c  384s |      19 |   741228 |   643182 |    13954    110 |        5 |      270
386.04/386.14	c  386s |      19 |   744957 |   646482 |    13954    111 |        5 |      270
388.03/388.19	c  388s |      19 |   747735 |   648882 |    13954    111 |        5 |      270
390.13/390.25	c  390s |      19 |   750815 |   651582 |    13954    112 |        5 |      270
392.13/392.26	c  392s |      19 |   754515 |   654882 |    13954    112 |        5 |      270
394.23/394.30	c  394s |      19 |   757568 |   657582 |    13954    112 |        5 |      270
396.23/396.31	c  396s |      19 |   760987 |   660582 |    13954    113 |        5 |      270
398.24/398.33	c  398s |      19 |   764086 |   663382 |    15350    113 |        5 |      270
400.23/400.37	c  400s |      19 |   767016 |   665982 |    15350    113 |        5 |      270
401.03/401.11	c  400s |      20 |   767926 |   666827 |    15350    114 |        5 |      270
403.03/403.13	c  403s |      20 |   770881 |   669227 |    15350    114 |        5 |      270
405.12/405.20	c  405s |      20 |   774564 |   672427 |    15350    114 |        5 |      270
407.12/407.22	c  407s |      20 |   777827 |   675327 |    15350    115 |        5 |      270
409.13/409.25	c  409s |      20 |   781722 |   678727 |    15350    115 |        5 |      270
411.12/411.25	c  411s |      20 |   785040 |   681627 |    15350    115 |        5 |      270
413.12/413.28	c  413s |      20 |   788180 |   684327 |    15350    116 |        5 |      270
415.12/415.28	c  415s |      20 |   791692 |   687427 |    15350    116 |        5 |      270
417.22/417.32	c  417s |      20 |   794514 |   689927 |    15350    117 |        5 |      270
419.22/419.33	c  419s |      20 |   798067 |   693127 |    15350    117 |        5 |      270
421.23/421.37	c  421s |      20 |   801175 |   695927 |    15350    117 |        5 |      270
423.32/423.40	c  423s |      20 |   804295 |   698727 |    15350    118 |        5 |      270
425.33/425.47	c  425s |      20 |   806403 |   700527 |    15350    118 |        5 |      270
427.33/427.49	c  427s |      20 |   810227 |   703727 |    15350    118 |        5 |      270
429.43/429.53	c  429s |      20 |   813966 |   706927 |    15350    119 |        5 |      270
431.43/431.59	c  431s |      20 |   817710 |   710127 |    15350    119 |        5 |      270
433.63/433.70	c  433s |      20 |   821380 |   713227 |    15350    120 |        5 |      270
435.63/435.74	c  435s |      20 |   825435 |   716727 |    15350    120 |        5 |      270
437.63/437.77	c  437s |      20 |   828975 |   719727 |    15350    120 |        5 |      270
439.73/439.81	c  439s |      20 |   832779 |   723127 |    15350    121 |        5 |      270
441.72/441.82	c  441s |      20 |   834550 |   724727 |    15350    121 |        5 |      270
443.72/443.86	c  443s |      20 |   838344 |   728027 |    15350    121 |        5 |      270
445.72/445.88	c  445s |      20 |   842226 |   731527 |    15350    122 |        5 |      270
447.82/447.93	c  447s |      20 |   845855 |   734627 |    15350    122 |        5 |      270
449.83/449.97	c  449s |      20 |   849462 |   737827 |    15350    123 |        5 |      270
452.22/452.34	c  452s |      20 |   852811 |   740927 |    15350    123 |        5 |      270
454.23/454.40	c  454s |      20 |   856288 |   743827 |    15350    123 |        5 |      270
456.32/456.42	c  456s |      20 |   859664 |   746727 |    15350    124 |        5 |      270
458.32/458.46	c  458s |      20 |   863483 |   750027 |    15350    124 |        5 |      270
460.32/460.46	c  460s |      20 |   866960 |   753127 |    15350    125 |        5 |      270
462.42/462.52	c  462s |      20 |   869893 |   755727 |    15350    125 |        5 |      270
464.42/464.57	c  464s |      20 |   873357 |   758727 |    15350    125 |        5 |      270
466.52/466.62	c  466s |      20 |   876966 |   761927 |    15350    126 |        5 |      270
468.52/468.64	c  468s |      20 |   880222 |   764827 |    15350    126 |        5 |      270
470.52/470.66	c  470s |      20 |   883453 |   767727 |    15350    127 |        5 |      270
472.52/472.68	c  472s |      20 |   887010 |   770927 |    15350    127 |        5 |      270
475.41/475.51	c  475s |      20 |   890252 |   773827 |    15350    127 |        5 |      270
477.42/477.55	c  477s |      20 |   893350 |   776527 |    15350    128 |        5 |      270
479.41/479.55	c  479s |      20 |   896747 |   779627 |    15350    128 |        5 |      270
481.41/481.59	c  481s |      20 |   899995 |   782627 |    15350    128 |        5 |      270
483.51/483.60	c  483s |      20 |   903295 |   785627 |    15350    129 |        5 |      270
485.51/485.65	c  485s |      20 |   906542 |   788527 |    15350    129 |        5 |      270
487.51/487.69	c  487s |      20 |   909459 |   791127 |    15350    130 |        5 |      270
489.61/489.73	c  489s |      20 |   913204 |   794527 |    15350    130 |        5 |      270
494.12/494.26	c  494s |      20 |   915445 |   796527 |    15350    130 |        5 |      270
496.12/496.29	c  496s |      20 |   919221 |   799627 |    15350    131 |        5 |      270
498.12/498.30	c  498s |      20 |   923069 |   802927 |    15350    131 |        5 |      270
500.21/500.33	c  500s |      20 |   926563 |   806027 |    15350    131 |        5 |      270
502.21/502.37	c  502s |      20 |   930331 |   809327 |    15350    132 |        5 |      270
504.31/504.40	c  504s |      20 |   933583 |   812127 |    15350    132 |        5 |      270
506.31/506.40	c  506s |      20 |   936438 |   814627 |    15350    133 |        5 |      270
508.31/508.41	c  508s |      20 |   939980 |   817727 |    15350    133 |        5 |      270
510.31/510.46	c  510s |      20 |   943158 |   820627 |    15350    133 |        5 |      270
512.41/512.51	c  512s |      20 |   946443 |   823527 |    15350    134 |        5 |      270
514.41/514.51	c  514s |      20 |   949772 |   826527 |    15350    134 |        5 |      270
516.41/516.58	c  516s |      20 |   952951 |   829327 |    15350    134 |        5 |      270
518.51/518.63	c  518s |      20 |   956366 |   832427 |    15350    135 |        5 |      270
520.51/520.66	c  520s |      20 |   959538 |   835327 |    15350    135 |        5 |      270
522.51/522.67	c  522s |      20 |   961160 |   836627 |    15350    135 |        5 |      270
524.51/524.70	c  524s |      20 |   964259 |   839327 |    15350    136 |        5 |      270
526.61/526.71	c  526s |      20 |   967988 |   842527 |    15350    136 |        5 |      270
528.60/528.77	c  528s |      20 |   971048 |   845227 |    15350    137 |        5 |      270
530.70/530.80	c  530s |      20 |   974392 |   848127 |    15350    137 |        5 |      270
532.70/532.81	c  532s |      20 |   977751 |   851027 |    15350    137 |        5 |      270
534.70/534.83	c  534s |      20 |   980663 |   853627 |    15350    138 |        5 |      270
536.71/536.85	c  536s |      20 |   983281 |   855927 |    15350    138 |        5 |      270
538.81/538.92	c  538s |      20 |   986679 |   858927 |    15350    138 |        5 |      270
540.81/540.97	c  540s |      20 |   989567 |   861527 |    15350    139 |        5 |      270
542.91/543.03	c  542s |      20 |   993019 |   864627 |    15350    139 |        5 |      270
544.91/545.03	c  544s |      20 |   996011 |   867327 |    15350    139 |        5 |      270
547.11/547.21	c  547s |      20 |   998631 |   869727 |    15350    140 |        5 |      270
549.11/549.24	c  549s |      20 |  1001866 |   872627 |    15350    140 |        5 |      270
551.21/551.31	c  551s |      20 |  1004840 |   875327 |    15350    140 |        5 |      270
553.22/553.34	c  553s |      20 |  1007950 |   878127 |    15350    141 |        5 |      270
555.21/555.37	c  555s |      20 |  1011066 |   880927 |    15350    141 |        5 |      270
557.31/557.41	c  557s |      20 |  1014212 |   883627 |    15350    141 |        5 |      270
559.31/559.45	c  559s |      20 |  1017636 |   886327 |    15350    142 |        5 |      270
561.31/561.49	c  561s |      20 |  1020573 |   888727 |    15350    142 |        5 |      270
563.41/563.56	c  563s |      20 |  1022844 |   890827 |    15350    142 |        5 |      270
565.60/565.75	c  565s |      20 |  1023287 |   891227 |    15350    142 |        5 |      270
567.61/567.75	c  567s |      20 |  1026869 |   894327 |    15350    143 |        5 |      270
569.71/569.82	c  569s |      20 |  1030558 |   897627 |    15350    143 |        5 |      270
571.70/571.86	c  571s |      20 |  1033661 |   900427 |    15350    144 |        5 |      270
573.70/573.89	c  573s |      20 |  1037256 |   903627 |    15350    144 |        5 |      270
575.80/575.94	c  575s |      20 |  1040379 |   906427 |    15350    144 |        5 |      270
577.80/577.96	c  577s |      20 |  1043081 |   908927 |    15350    145 |        5 |      270
579.90/580.01	c  579s |      20 |  1046527 |   912027 |    15350    145 |        5 |      270
581.91/582.06	c  581s |      20 |  1049368 |   914627 |    15350    145 |        5 |      270
584.20/584.35	c  584s |      20 |  1051257 |   916327 |    15350    146 |        5 |      270
586.31/586.41	c  586s |      20 |  1054886 |   919527 |    15350    146 |        5 |      270
588.30/588.45	c  588s |      20 |  1058217 |   922427 |    15350    146 |        5 |      270
590.40/590.50	c  590s |      20 |  1061877 |   925727 |    15350    147 |        5 |      270
592.40/592.54	c  592s |      20 |  1064928 |   928527 |    15350    147 |        5 |      270
594.40/594.56	c  594s |      20 |  1067967 |   931327 |    15350    148 |        5 |      270
596.40/596.57	c  596s |      20 |  1070947 |   934027 |    15350    148 |        5 |      270
598.50/598.64	c  598s |      20 |  1073977 |   936827 |    15350    148 |        5 |      270
600.50/600.69	c  600s |      20 |  1076865 |   939427 |    15350    149 |        5 |      270
602.70/602.82	c  602s |      20 |  1080175 |   942327 |    15350    149 |        5 |      270
604.70/604.84	c  604s |      20 |  1082864 |   944827 |    15350    149 |        5 |      270
606.69/606.86	c  606s |      20 |  1084413 |   946227 |    15350    150 |        5 |      270
608.69/608.87	c  608s |      20 |  1088299 |   949627 |    15350    150 |        5 |      270
610.69/610.88	c  610s |      20 |  1091481 |   952527 |    15350    150 |        5 |      270
612.79/612.90	c  612s |      20 |  1094699 |   955427 |    15350    151 |        5 |      270
614.80/614.97	c  614s |      20 |  1098347 |   958727 |    15350    151 |        5 |      270
616.89/617.06	c  616s |      20 |  1101243 |   961327 |    15350    151 |        5 |      270
618.99/619.12	c  618s |      20 |  1104451 |   964227 |    15350    152 |        5 |      270
620.99/621.14	c  621s |      20 |  1107642 |   967027 |    15350    152 |        5 |      270
623.09/623.26	c  623s |      20 |  1110374 |   969527 |    15350    153 |        5 |      270
625.19/625.31	c  625s |      20 |  1113625 |   972527 |    15350    153 |        5 |      270
627.60/627.72	c  627s |      20 |  1115796 |   974527 |    15350    153 |        5 |      270
629.60/629.77	c  629s |      20 |  1118770 |   977227 |    15350    153 |        5 |      270
631.60/631.78	c  631s |      20 |  1121995 |   980127 |    15350    154 |        5 |      270
633.69/633.86	c  633s |      20 |  1124891 |   982827 |    15350    154 |        5 |      270
635.70/635.90	c  635s |      20 |  1127256 |   985027 |    15350    155 |        5 |      270
637.90/638.07	c  637s |      20 |  1130345 |   987927 |    15350    155 |        5 |      270
639.99/640.15	c  640s |      20 |  1133185 |   990527 |    15350    155 |        5 |      270
642.09/642.21	c  642s |      20 |  1135441 |   992427 |    15350    155 |        5 |      270
644.19/644.30	c  644s |      20 |  1138303 |   995027 |    16885    156 |        5 |      270
646.19/646.37	c  646s |      20 |  1141075 |   997627 |    16885    156 |        5 |      270
648.29/648.43	c  648s |      20 |  1143437 |   999827 |    16885    156 |        5 |      270
648.79/648.97	c  648s |      21 |  1143987 |  1000345 |    16885    156 |        5 |      270
650.79/650.97	c  650s |      21 |  1145973 |  1001945 |    16885    156 |        5 |      270
652.79/652.97	c  652s |      21 |  1149354 |  1004845 |    16885    157 |        5 |      270
654.79/654.98	c  654s |      21 |  1152857 |  1007945 |    16885    157 |        5 |      270
656.79/656.99	c  656s |      21 |  1155938 |  1010545 |    16885    158 |        5 |      270
658.79/658.99	c  658s |      21 |  1159573 |  1013445 |    16885    158 |        5 |      270
660.89/661.01	c  660s |      21 |  1163563 |  1016745 |    16885    158 |        5 |      270
662.89/663.05	c  662s |      21 |  1167134 |  1019745 |    16885    159 |        5 |      270
664.88/665.05	c  664s |      21 |  1171145 |  1023145 |    16885    159 |        5 |      270
666.88/667.07	c  666s |      21 |  1174711 |  1026245 |    16885    159 |        5 |      270
668.88/669.08	c  668s |      21 |  1178526 |  1029545 |    16885    160 |        5 |      270
670.99/671.13	c  671s |      21 |  1182042 |  1032645 |    16885    160 |        5 |      270
672.98/673.18	c  673s |      21 |  1185707 |  1035945 |    16885    160 |        5 |      270
675.79/675.94	c  675s |      21 |  1187242 |  1037345 |    16885    161 |        5 |      270
677.79/677.96	c  677s |      21 |  1191400 |  1040845 |    16885    161 |        5 |      270
679.89/680.02	c  679s |      21 |  1195238 |  1044145 |    16885    161 |        5 |      270
681.90/682.05	c  681s |      21 |  1198967 |  1047345 |    16885    162 |        5 |      270
683.89/684.09	c  683s |      21 |  1202697 |  1050645 |    16885    162 |        5 |      270
686.09/686.20	c  686s |      21 |  1205668 |  1053345 |    16885    163 |        5 |      270
688.09/688.24	c  688s |      21 |  1207835 |  1055245 |    16885    163 |        5 |      270
690.09/690.28	c  690s |      21 |  1211189 |  1058245 |    16885    163 |        5 |      270
692.18/692.36	c  692s |      21 |  1214172 |  1060945 |    16885    163 |        5 |      270
694.28/694.48	c  694s |      21 |  1217146 |  1063645 |    16885    164 |        5 |      270
696.38/696.52	c  696s |      21 |  1220266 |  1066545 |    16885    164 |        5 |      270
698.39/698.52	c  698s |      21 |  1223008 |  1069045 |    16885    164 |        5 |      270
700.38/700.54	c  700s |      21 |  1225631 |  1071245 |    16885    165 |        5 |      270
702.38/702.56	c  702s |      21 |  1229319 |  1074445 |    16885    165 |        5 |      270
704.48/704.64	c  704s |      21 |  1232456 |  1077245 |    16885    165 |        5 |      270
706.48/706.69	c  706s |      21 |  1235745 |  1080145 |    16885    166 |        5 |      270
709.08/709.29	c  709s |      21 |  1237273 |  1081545 |    16885    166 |        5 |      270
711.18/711.34	c  711s |      21 |  1241257 |  1084945 |    16885    166 |        5 |      270
713.18/713.35	c  713s |      21 |  1244317 |  1087645 |    16885    167 |        5 |      270
715.28/715.41	c  715s |      21 |  1248020 |  1090945 |    16885    167 |        5 |      270
717.28/717.49	c  717s |      21 |  1251383 |  1093945 |    16885    167 |        5 |      270
719.39/719.51	c  719s |      21 |  1254112 |  1096345 |    16885    168 |        5 |      270
721.38/721.56	c  721s |      21 |  1257471 |  1099345 |    16885    168 |        5 |      270
723.38/723.58	c  723s |      21 |  1260725 |  1102145 |    16885    168 |        5 |      270
725.48/725.65	c  725s |      21 |  1263347 |  1104545 |    16885    169 |        5 |      270
727.48/727.69	c  727s |      21 |  1266825 |  1107545 |    16885    169 |        5 |      270
729.58/729.74	c  729s |      21 |  1269281 |  1109645 |    16885    169 |        5 |      270
731.68/731.80	c  731s |      21 |  1272402 |  1112345 |    16885    169 |        5 |      270
733.69/733.86	c  733s |      21 |  1275322 |  1114845 |    16885    170 |        5 |      270
735.68/735.87	c  735s |      21 |  1278782 |  1117845 |    16885    170 |        5 |      270
737.77/737.92	c  737s |      21 |  1281950 |  1120645 |    16885    170 |        5 |      270
739.77/739.96	c  739s |      21 |  1283545 |  1122045 |    16885    171 |        5 |      270
741.87/742.01	c  741s |      21 |  1287461 |  1125445 |    16885    171 |        5 |      270
743.87/744.03	c  743s |      21 |  1290607 |  1128145 |    16885    171 |        5 |      270
745.87/746.03	c  745s |      21 |  1293752 |  1130945 |    16885    172 |        5 |      270
747.88/748.07	c  747s |      21 |  1297061 |  1133945 |    16885    172 |        5 |      270
749.87/750.08	c  749s |      21 |  1299965 |  1136545 |    16885    172 |        5 |      270
751.87/752.09	c  751s |      21 |  1302557 |  1138845 |    16885    173 |        5 |      270
753.97/754.15	c  754s |      21 |  1306022 |  1141945 |    16885    173 |        5 |      270
755.97/756.16	c  756s |      21 |  1309118 |  1144645 |    16885    173 |        5 |      270
759.16/759.38	c  759s |      21 |  1311803 |  1147045 |    16885    174 |        5 |      270
761.17/761.39	c  761s |      21 |  1314967 |  1149845 |    16885    174 |        5 |      270
763.27/763.46	c  763s |      21 |  1318014 |  1152545 |    16885    174 |        5 |      270
765.36/765.53	c  765s |      21 |  1320792 |  1155045 |    16885    174 |        5 |      270
767.46/767.65	c  767s |      21 |  1324041 |  1157945 |    16885    175 |        5 |      270
769.46/769.68	c  769s |      21 |  1327259 |  1160845 |    16885    175 |        5 |      270
771.55/771.76	c  771s |      21 |  1330213 |  1163445 |    16885    175 |        5 |      270
773.55/773.76	c  773s |      21 |  1333043 |  1166045 |    16885    176 |        5 |      270
775.55/775.79	c  775s |      21 |  1336154 |  1168745 |    16885    176 |        5 |      270
777.65/777.81	c  777s |      21 |  1338880 |  1171245 |    16885    176 |        5 |      270
779.65/779.83	c  779s |      21 |  1341510 |  1173645 |    16885    177 |        5 |      270
781.65/781.83	c  781s |      21 |  1344578 |  1176445 |    16885    177 |        5 |      270
784.25/784.42	c  784s |      21 |  1346584 |  1178245 |    16885    177 |        5 |      270
786.24/786.47	c  786s |      21 |  1348531 |  1179845 |    16885    177 |        5 |      270
788.34/788.50	c  788s |      21 |  1351647 |  1182445 |    16885    178 |        5 |      270
790.34/790.54	c  790s |      21 |  1355784 |  1186045 |    16885    178 |        5 |      270
792.44/792.60	c  792s |      21 |  1358963 |  1188745 |    16885    178 |        5 |      270
794.45/794.64	c  794s |      21 |  1362316 |  1191545 |    16885    179 |        5 |      270
796.45/796.69	c  796s |      21 |  1366065 |  1194745 |    16885    179 |        5 |      270
798.55/798.71	c  798s |      21 |  1369493 |  1197745 |    16885    179 |        5 |      270
801.54/801.77	c  801s |      21 |  1372471 |  1200345 |    16885    180 |        5 |      270
803.54/803.77	c  803s |      21 |  1376197 |  1203545 |    16885    180 |        5 |      270
805.64/805.80	c  805s |      21 |  1379255 |  1206245 |    16885    180 |        5 |      270
807.64/807.83	c  807s |      21 |  1382483 |  1209045 |    16885    181 |        5 |      270
809.64/809.85	c  809s |      21 |  1386080 |  1212245 |    16885    181 |        5 |      270
811.75/811.93	c  811s |      21 |  1389355 |  1215145 |    16885    181 |        5 |      270
813.74/813.94	c  813s |      21 |  1392814 |  1218245 |    16885    182 |        5 |      270
815.74/815.98	c  815s |      21 |  1395144 |  1220245 |    16885    182 |        5 |      270
817.84/818.02	c  817s |      21 |  1398513 |  1223045 |    16885    182 |        5 |      270
819.84/820.04	c  819s |      21 |  1401935 |  1226045 |    16885    183 |        5 |      270
821.84/822.09	c  821s |      21 |  1405358 |  1229145 |    16885    183 |        5 |      270
823.94/824.10	c  823s |      21 |  1408404 |  1231845 |    16885    183 |        5 |      270
825.94/826.16	c  826s |      21 |  1411529 |  1234645 |    16885    184 |        5 |      270
828.04/828.23	c  828s |      21 |  1414910 |  1237645 |    16885    184 |        5 |      270
830.14/830.30	c  830s |      21 |  1417854 |  1240245 |    16885    184 |        5 |      270
832.14/832.33	c  832s |      21 |  1421107 |  1243145 |    16885    185 |        5 |      270
836.64/836.83	c  836s |      21 |  1422843 |  1244645 |    16885    185 |        5 |      270
838.64/838.87	c  838s |      21 |  1426961 |  1248145 |    16885    185 |        5 |      270
840.63/840.88	c  840s |      21 |  1430336 |  1251145 |    16885    186 |        5 |      270
842.63/842.89	c  842s |      21 |  1433850 |  1254145 |    16885    186 |        5 |      270
844.74/844.94	c  844s |      21 |  1436927 |  1256845 |    16885    186 |        5 |      270
846.73/846.95	c  846s |      21 |  1440196 |  1259745 |    16885    187 |        5 |      270
848.83/849.00	c  848s |      21 |  1443831 |  1262945 |    16885    187 |        5 |      270
850.83/851.04	c  850s |      21 |  1446749 |  1265445 |    16885    187 |        5 |      270
852.83/853.04	c  852s |      21 |  1449868 |  1268145 |    16885    188 |        5 |      270
854.83/855.08	c  854s |      21 |  1453467 |  1271345 |    16885    188 |        5 |      270
856.93/857.13	c  856s |      21 |  1456770 |  1274245 |    16885    188 |        5 |      270
859.03/859.21	c  859s |      21 |  1460355 |  1277345 |    16885    189 |        5 |      270
861.03/861.29	c  861s |      21 |  1464146 |  1280745 |    16885    189 |        5 |      270
863.62/863.84	c  863s |      21 |  1467122 |  1283445 |    16885    189 |        5 |      270
865.63/865.85	c  865s |      21 |  1470035 |  1285945 |    16885    190 |        5 |      270
867.62/867.88	c  867s |      21 |  1473647 |  1289145 |    16885    190 |        5 |      270
869.72/869.90	c  869s |      21 |  1476876 |  1292045 |    16885    190 |        5 |      270
871.72/871.95	c  871s |      21 |  1480150 |  1294945 |    16885    191 |        5 |      270
873.72/873.98	c  873s |      21 |  1483719 |  1298145 |    16885    191 |        5 |      270
876.02/876.24	c  876s |      21 |  1486781 |  1300945 |    16885    192 |        5 |      270
878.02/878.25	c  878s |      21 |  1490179 |  1303945 |    16885    192 |        5 |      270
880.02/880.29	c  880s |      21 |  1493433 |  1306845 |    16885    192 |        5 |      270
882.51/882.75	c  882s |      21 |  1496121 |  1309245 |    16885    192 |        5 |      270
884.51/884.77	c  884s |      21 |  1499271 |  1312045 |    16885    193 |        5 |      270
886.52/886.78	c  886s |      21 |  1502606 |  1315045 |    16885    193 |        5 |      270
888.62/888.85	c  888s |      21 |  1505493 |  1317645 |    16885    193 |        5 |      270
890.61/890.90	c  890s |      21 |  1508709 |  1320545 |    16885    194 |        5 |      270
892.71/892.98	c  892s |      21 |  1511861 |  1323445 |    16885    194 |        5 |      270
894.81/895.00	c  894s |      21 |  1514449 |  1325845 |    16885    194 |        5 |      270
896.80/897.05	c  896s |      21 |  1515967 |  1327245 |    16885    195 |        5 |      270
898.80/899.09	c  898s |      21 |  1519574 |  1330445 |    16885    195 |        5 |      270
900.90/901.14	c  901s |      21 |  1522778 |  1333345 |    16885    195 |        5 |      270
903.10/903.31	c  903s |      21 |  1525506 |  1335845 |    16885    196 |        5 |      270
905.11/905.35	c  905s |      21 |  1528606 |  1338745 |    16885    196 |        5 |      270
907.20/907.41	c  907s |      21 |  1531642 |  1341545 |    16885    196 |        5 |      270
909.20/909.46	c  909s |      21 |  1534490 |  1344145 |    16885    197 |        5 |      270
911.30/911.51	c  911s |      21 |  1537628 |  1347045 |    16885    197 |        5 |      270
913.61/913.81	c  913s |      21 |  1538088 |  1347445 |    16885    197 |        5 |      270
915.60/915.86	c  915s |      21 |  1541444 |  1350445 |    16885    197 |        5 |      270
917.60/917.89	c  917s |      21 |  1544786 |  1353245 |    16885    198 |        5 |      270
919.70/919.94	c  919s |      21 |  1548023 |  1356145 |    16885    198 |        5 |      270
921.71/921.95	c  921s |      21 |  1550753 |  1358645 |    16885    198 |        5 |      270
923.81/924.02	c  923s |      21 |  1553715 |  1361145 |    16885    199 |        5 |      270
925.80/926.06	c  925s |      21 |  1556209 |  1363345 |    16885    199 |        5 |      270
927.90/928.13	c  928s |      21 |  1559189 |  1366045 |    16885    199 |        5 |      270
929.90/930.15	c  930s |      21 |  1561824 |  1368445 |    16885    199 |        5 |      270
931.90/932.19	c  932s |      21 |  1564779 |  1370945 |    16885    200 |        5 |      270
934.00/934.25	c  934s |      21 |  1567936 |  1373445 |    16885    200 |        5 |      270
936.00/936.29	c  936s |      21 |  1570354 |  1375645 |    16885    200 |        5 |      270
938.00/938.30	c  938s |      21 |  1571958 |  1377045 |    16885    200 |        5 |      270
940.10/940.35	c  940s |      21 |  1574976 |  1379645 |    16885    201 |        5 |      270
942.09/942.38	c  942s |      21 |  1578391 |  1382545 |    16885    201 |        5 |      270
944.19/944.40	c  944s |      21 |  1581280 |  1385145 |    16885    201 |        5 |      270
946.19/946.43	c  946s |      21 |  1584059 |  1387545 |    16885    202 |        5 |      270
948.19/948.46	c  948s |      21 |  1587521 |  1390645 |    16885    202 |        5 |      270
950.30/950.53	c  950s |      21 |  1590693 |  1393445 |    16885    202 |        5 |      270
952.29/952.56	c  952s |      21 |  1593593 |  1396045 |    16885    203 |        5 |      270
954.29/954.59	c  954s |      21 |  1597223 |  1399145 |    16885    203 |        5 |      270
956.39/956.63	c  956s |      21 |  1598768 |  1400545 |    16885    203 |        5 |      270
958.39/958.67	c  958s |      21 |  1601407 |  1402945 |    16885    203 |        5 |      270
960.39/960.69	c  960s |      21 |  1604208 |  1405445 |    16885    204 |        5 |      270
962.48/962.76	c  962s |      21 |  1607297 |  1408245 |    16885    204 |        5 |      270
964.59/964.85	c  964s |      21 |  1609895 |  1410545 |    16885    204 |        5 |      270
966.69/966.91	c  966s |      21 |  1612414 |  1412745 |    16885    205 |        5 |      270
968.68/968.96	c  968s |      21 |  1615277 |  1415245 |    16885    205 |        5 |      270
970.78/971.00	c  970s |      21 |  1618003 |  1417745 |    16885    205 |        5 |      270
972.78/973.01	c  972s |      21 |  1620361 |  1419845 |    16885    205 |        5 |      270
974.77/975.08	c  974s |      21 |  1623462 |  1422445 |    16885    206 |        5 |      270
976.87/977.11	c  976s |      21 |  1626187 |  1424745 |    16885    206 |        5 |      270
979.57/979.82	c  979s |      21 |  1628481 |  1426645 |    16885    206 |        5 |      270
981.67/981.95	c  981s |      21 |  1631094 |  1428945 |    16885    207 |        5 |      270
983.67/983.98	c  983s |      21 |  1634069 |  1431645 |    16885    207 |        5 |      270
985.77/986.03	c  985s |      21 |  1637151 |  1434445 |    16885    207 |        5 |      270
987.77/988.04	c  987s |      21 |  1639662 |  1436745 |    16885    207 |        5 |      270
990.07/990.33	c  990s |      21 |  1642395 |  1439145 |    16885    208 |        5 |      270
992.07/992.38	c  992s |      21 |  1645441 |  1441945 |    16885    208 |        5 |      270
994.17/994.43	c  994s |      21 |  1647979 |  1444245 |    16885    208 |        5 |      270
996.16/996.46	c  996s |      21 |  1650446 |  1446245 |    16885    209 |        5 |      270
998.16/998.50	c  998s |      21 |  1653378 |  1448945 |    16885    209 |        5 |      270
1000.26/1000.52	c 1000s |      21 |  1656057 |  1451345 |    16885    209 |        5 |      270
1002.66/1002.94	c 1002s |      21 |  1658151 |  1453245 |    16885    209 |        5 |      270
1004.66/1004.94	c 1004s |      21 |  1659884 |  1454745 |    16885    210 |        5 |      270
1006.76/1007.06	c 1006s |      21 |  1663864 |  1458245 |    16885    210 |        5 |      270
1008.76/1009.09	c 1008s |      21 |  1667179 |  1461045 |    16885    210 |        5 |      270
1010.86/1011.12	c 1010s |      21 |  1670158 |  1463545 |    16885    211 |        5 |      270
1012.87/1013.15	c 1013s |      21 |  1673726 |  1466645 |    16885    211 |        5 |      270
1014.85/1015.18	c 1015s |      21 |  1677348 |  1469745 |    16885    211 |        5 |      270
1016.95/1017.23	c 1017s |      21 |  1680612 |  1472645 |    16885    212 |        5 |      270
1018.95/1019.24	c 1019s |      21 |  1684204 |  1475845 |    16885    212 |        5 |      270
1021.35/1021.63	c 1021s |      21 |  1686867 |  1478145 |    16885    212 |        5 |      270
1023.35/1023.65	c 1023s |      21 |  1690189 |  1480945 |    16885    213 |        5 |      270
1025.35/1025.67	c 1025s |      21 |  1693898 |  1484145 |    16885    213 |        5 |      270
1027.35/1027.68	c 1027s |      21 |  1697360 |  1487145 |    16885    213 |        5 |      270
1029.36/1029.70	c 1029s |      21 |  1700997 |  1490345 |    18574    214 |        5 |      270
1031.45/1031.71	c 1031s |      21 |  1704249 |  1493245 |    18574    214 |        5 |      270
1033.45/1033.74	c 1033s |      21 |  1707763 |  1496245 |    18574    214 |        5 |      270
1035.55/1035.80	c 1035s |      21 |  1710686 |  1498845 |    18574    215 |        5 |      270
1036.55/1036.87	c 1036s |      22 |  1712700 |  1500622 |    18574    215 |        5 |      270
1038.65/1038.93	c 1038s |      22 |  1713968 |  1501722 |    18574    215 |        5 |      270
1040.75/1041.00	c 1040s |      22 |  1717950 |  1505022 |    18574    215 |        5 |      270
1042.75/1043.01	c 1042s |      22 |  1721222 |  1507822 |    18574    215 |        5 |      270
1044.75/1045.02	c 1044s |      22 |  1724469 |  1510522 |    18574    216 |        5 |      270
1046.74/1047.09	c 1046s |      22 |  1728005 |  1513522 |    18574    216 |        5 |      270
1048.84/1049.14	c 1049s |      22 |  1731499 |  1516522 |    18574    216 |        5 |      270
1050.84/1051.16	c 1051s |      22 |  1735027 |  1519622 |    18574    217 |        5 |      270
1052.84/1053.16	c 1053s |      22 |  1738818 |  1523022 |    18574    217 |        5 |      270
1054.94/1055.20	c 1055s |      22 |  1741952 |  1525722 |    18574    217 |        5 |      270
1057.54/1057.84	c 1057s |      22 |  1744656 |  1528022 |    18574    218 |        5 |      270
1059.54/1059.88	c 1059s |      22 |  1747515 |  1530422 |    18574    218 |        5 |      270
1061.54/1061.89	c 1061s |      22 |  1751371 |  1533722 |    18574    218 |        5 |      270
1063.64/1063.90	c 1063s |      22 |  1754740 |  1536622 |    18574    219 |        5 |      270
1065.65/1065.93	c 1065s |      22 |  1758811 |  1540222 |    18574    219 |        5 |      270
1067.64/1067.97	c 1067s |      22 |  1761644 |  1542722 |    18574    219 |        5 |      270
1069.74/1070.02	c 1069s |      22 |  1764659 |  1545322 |    18574    219 |        5 |      270
1071.74/1072.03	c 1071s |      22 |  1767942 |  1548222 |    18574    220 |        5 |      270
1073.74/1074.04	c 1073s |      22 |  1771340 |  1551222 |    18574    220 |        5 |      270
1075.73/1076.07	c 1075s |      22 |  1774555 |  1554022 |    18574    220 |        5 |      270
1077.74/1078.10	c 1077s |      22 |  1778171 |  1557222 |    18574    221 |        5 |      270
1079.83/1080.14	c 1080s |      22 |  1781671 |  1560322 |    18574    221 |        5 |      270
1082.93/1083.28	c 1083s |      22 |  1785163 |  1563422 |    18574    221 |        5 |      270
1085.03/1085.32	c 1085s |      22 |  1785760 |  1563922 |    18574    221 |        5 |      270
1087.03/1087.34	c 1087s |      22 |  1789408 |  1566922 |    18574    222 |        5 |      270
1089.13/1089.40	c 1089s |      22 |  1793612 |  1570422 |    18574    222 |        5 |      270
1091.13/1091.46	c 1091s |      22 |  1797033 |  1573422 |    18574    222 |        5 |      270
1093.24/1093.52	c 1093s |      22 |  1800337 |  1576322 |    18574    223 |        5 |      270
1095.23/1095.58	c 1095s |      22 |  1804101 |  1579522 |    18574    223 |        5 |      270
1097.33/1097.62	c 1097s |      22 |  1807570 |  1582422 |    18574    223 |        5 |      270
1099.33/1099.64	c 1099s |      22 |  1811087 |  1585522 |    18574    224 |        5 |      270
1101.43/1101.70	c 1101s |      22 |  1812301 |  1586622 |    18574    224 |        5 |      270
1103.43/1103.71	c 1103s |      22 |  1815943 |  1589722 |    18574    224 |        5 |      270
1105.43/1105.72	c 1105s |      22 |  1819154 |  1592522 |    18574    224 |        5 |      270
1107.43/1107.74	c 1107s |      22 |  1822855 |  1595722 |    18574    225 |        5 |      270
1109.43/1109.76	c 1109s |      22 |  1826535 |  1598922 |    18574    225 |        5 |      270
1111.53/1111.82	c 1111s |      22 |  1829654 |  1601722 |    18574    225 |        5 |      270
1113.52/1113.87	c 1113s |      22 |  1832028 |  1603822 |    18574    226 |        5 |      270
1115.62/1115.92	c 1115s |      22 |  1835769 |  1607122 |    18574    226 |        5 |      270
1117.62/1117.98	c 1117s |      22 |  1838940 |  1610022 |    18574    226 |        5 |      270
1119.72/1120.01	c 1119s |      22 |  1842027 |  1612722 |    18574    227 |        5 |      270
1121.82/1122.14	c 1122s |      22 |  1845332 |  1615722 |    18574    227 |        5 |      270
1123.82/1124.18	c 1124s |      22 |  1848483 |  1618422 |    18574    227 |        5 |      270
1126.01/1126.37	c 1126s |      22 |  1851168 |  1620722 |    18574    228 |        5 |      270
1128.11/1128.40	c 1128s |      22 |  1854929 |  1624122 |    18574    228 |        5 |      270
1131.41/1131.77	c 1131s |      22 |  1857355 |  1626222 |    18574    228 |        5 |      270
1133.51/1133.81	c 1133s |      22 |  1860820 |  1629122 |    18574    228 |        5 |      270
1135.51/1135.82	c 1135s |      22 |  1864135 |  1632022 |    18574    229 |        5 |      270
1137.51/1137.87	c 1137s |      22 |  1868102 |  1635422 |    18574    229 |        5 |      270
1139.61/1139.92	c 1139s |      22 |  1871372 |  1638322 |    18574    229 |        5 |      270
1141.62/1141.94	c 1141s |      22 |  1872823 |  1639622 |    18574    230 |        5 |      270
1143.62/1143.95	c 1143s |      22 |  1876698 |  1643022 |    18574    230 |        5 |      270
1145.61/1145.95	c 1145s |      22 |  1880197 |  1646122 |    18574    230 |        5 |      270
1147.71/1148.00	c 1147s |      22 |  1883165 |  1648722 |    18574    230 |        5 |      270
1149.71/1150.01	c 1149s |      22 |  1886441 |  1651522 |    18574    231 |        5 |      270
1151.71/1152.01	c 1151s |      22 |  1890050 |  1654622 |    18574    231 |        5 |      270
1154.82/1155.16	c 1155s |      22 |  1893123 |  1657322 |    18574    231 |        5 |      270
1156.81/1157.18	c 1157s |      22 |  1896398 |  1660222 |    18574    232 |        5 |      270
1158.81/1159.18	c 1159s |      22 |  1899425 |  1662922 |    18574    232 |        5 |      270
1160.91/1161.22	c 1161s |      22 |  1902671 |  1665822 |    18574    232 |        5 |      270
1162.91/1163.27	c 1163s |      22 |  1905701 |  1668522 |    18574    233 |        5 |      270
1165.00/1165.33	c 1165s |      22 |  1908745 |  1671322 |    18574    233 |        5 |      270
1167.00/1167.37	c 1167s |      22 |  1911704 |  1674022 |    18574    233 |        5 |      270
1169.11/1169.43	c 1169s |      22 |  1914429 |  1676522 |    18574    233 |        5 |      270
1171.10/1171.46	c 1171s |      22 |  1917180 |  1679022 |    18574    234 |        5 |      270
1173.10/1173.47	c 1173s |      22 |  1920213 |  1681722 |    18574    234 |        5 |      270
1175.91/1176.22	c 1176s |      22 |  1922105 |  1683422 |    18574    234 |        5 |      270
1177.91/1178.24	c 1178s |      22 |  1925038 |  1685922 |    18574    234 |        5 |      270
1179.91/1180.25	c 1180s |      22 |  1927633 |  1688222 |    18574    235 |        5 |      270
1181.91/1182.25	c 1182s |      22 |  1931116 |  1691322 |    18574    235 |        5 |      270
1184.01/1184.33	c 1184s |      22 |  1934356 |  1694222 |    18574    235 |        5 |      270
1186.00/1186.33	c 1186s |      22 |  1936743 |  1696422 |    18574    236 |        5 |      270
1188.00/1188.37	c 1188s |      22 |  1940438 |  1699722 |    18574    236 |        5 |      270
1190.01/1190.39	c 1190s |      22 |  1943327 |  1702422 |    18574    236 |        5 |      270
1192.11/1192.45	c 1192s |      22 |  1946195 |  1705022 |    18574    236 |        5 |      270
1195.50/1195.85	c 1195s |      22 |  1947673 |  1706322 |    18574    237 |        5 |      270
1197.70/1198.03	c 1197s |      22 |  1950877 |  1708922 |    18574    237 |        5 |      270
1199.70/1200.07	c 1199s |      22 |  1954983 |  1712422 |    18574    237 |        5 |      270
1201.70/1202.08	c 1201s |      22 |  1958350 |  1715322 |    18574    238 |        5 |      270
1203.80/1204.10	c 1203s |      22 |  1962172 |  1718522 |    18574    238 |        5 |      270
1205.79/1206.16	c 1206s |      22 |  1966264 |  1722022 |    18574    238 |        5 |      270
1207.89/1208.21	c 1208s |      22 |  1969706 |  1725022 |    18574    239 |        5 |      270
1209.89/1210.26	c 1210s |      22 |  1973739 |  1728422 |    18574    239 |        5 |      270
1211.90/1212.26	c 1212s |      22 |  1977336 |  1731622 |    18574    239 |        5 |      270
1215.49/1215.89	c 1215s |      22 |  1979547 |  1733622 |    18574    240 |        5 |      270
1217.49/1217.89	c 1217s |      22 |  1983820 |  1737322 |    18574    240 |        5 |      270
1219.59/1219.96	c 1219s |      22 |  1987382 |  1740522 |    18574    240 |        5 |      270
1221.59/1221.98	c 1221s |      22 |  1990596 |  1743322 |    18574    241 |        5 |      270
1223.58/1223.99	c 1223s |      22 |  1993914 |  1746222 |    18574    241 |        5 |      270
1225.68/1226.03	c 1225s |      22 |  1997284 |  1749122 |    18574    241 |        5 |      270
1227.68/1228.07	c 1227s |      22 |  2000211 |  1751622 |    18574    241 |        5 |      270
1229.69/1230.08	c 1229s |      22 |  2003560 |  1754522 |    18574    242 |        5 |      270
1231.79/1232.12	c 1231s |      22 |  2007343 |  1757822 |    18574    242 |        5 |      270
1233.78/1234.18	c 1234s |      22 |  2010823 |  1760922 |    18574    242 |        5 |      270
1235.78/1236.18	c 1236s |      22 |  2013901 |  1763622 |    18574    243 |        5 |      270
1237.88/1238.22	c 1238s |      22 |  2017614 |  1766922 |    18574    243 |        5 |      270
1239.88/1240.26	c 1240s |      22 |  2020672 |  1769722 |    18574    243 |        5 |      270
1241.98/1242.33	c 1242s |      22 |  2024065 |  1772822 |    18574    244 |        5 |      270
1246.88/1247.22	c 1247s |      22 |  2027434 |  1775822 |    18574    244 |        5 |      270
1248.88/1249.27	c 1249s |      22 |  2031033 |  1778922 |    18574    244 |        5 |      270
1250.98/1251.31	c 1251s |      22 |  2034178 |  1781722 |    18574    245 |        5 |      270
1252.98/1253.37	c 1253s |      22 |  2037838 |  1784922 |    18574    245 |        5 |      270
1254.97/1255.38	c 1255s |      22 |  2041022 |  1787822 |    18574    245 |        5 |      270
1257.08/1257.44	c 1257s |      22 |  2043444 |  1789922 |    18574    246 |        5 |      270
1259.07/1259.48	c 1259s |      22 |  2047576 |  1793422 |    18574    246 |        5 |      270
1261.17/1261.55	c 1261s |      22 |  2051292 |  1796622 |    18574    246 |        5 |      270
1263.17/1263.59	c 1263s |      22 |  2054349 |  1799322 |    18574    247 |        5 |      270
1265.17/1265.59	c 1265s |      22 |  2058016 |  1802522 |    18574    247 |        5 |      270
1267.27/1267.61	c 1267s |      22 |  2061592 |  1805722 |    18574    247 |        5 |      270
1269.27/1269.68	c 1269s |      22 |  2064661 |  1808522 |    18574    248 |        5 |      270
1271.37/1271.72	c 1271s |      22 |  2067778 |  1811222 |    18574    248 |        5 |      270
1273.37/1273.78	c 1273s |      22 |  2071511 |  1814522 |    18574    248 |        5 |      270
1275.46/1275.83	c 1275s |      22 |  2074560 |  1817322 |    18574    248 |        5 |      270
1277.46/1277.85	c 1277s |      22 |  2077957 |  1820422 |    18574    249 |        5 |      270
1279.46/1279.89	c 1279s |      22 |  2080969 |  1823222 |    18574    249 |        5 |      270
1282.46/1282.89	c 1282s |      22 |  2083958 |  1825922 |    18574    249 |        5 |      270
1284.57/1284.91	c 1284s |      22 |  2084905 |  1826722 |    18574    249 |        5 |      270
1286.56/1286.95	c 1286s |      22 |  2087902 |  1829322 |    18574    250 |        5 |      270
1288.56/1288.98	c 1288s |      22 |  2091921 |  1832822 |    18574    250 |        5 |      270
1290.66/1291.02	c 1290s |      22 |  2095454 |  1836022 |    18574    250 |        5 |      270
1292.96/1293.38	c 1293s |      22 |  2098493 |  1838722 |    18574    251 |        5 |      270
1295.05/1295.44	c 1295s |      22 |  2102254 |  1842022 |    18574    251 |        5 |      270
1297.05/1297.45	c 1297s |      22 |  2105512 |  1844922 |    18574    251 |        5 |      270
1299.05/1299.50	c 1299s |      22 |  2108825 |  1847922 |    18574    252 |        5 |      270
1301.15/1301.53	c 1301s |      22 |  2112106 |  1850922 |    18574    252 |        5 |      270
1303.16/1303.55	c 1303s |      22 |  2115142 |  1853722 |    18574    252 |        5 |      270
1307.75/1308.17	c 1308s |      22 |  2117257 |  1855622 |    18574    253 |        5 |      270
1309.76/1310.20	c 1310s |      22 |  2121428 |  1859322 |    18574    253 |        5 |      270
1311.86/1312.25	c 1312s |      22 |  2124667 |  1862222 |    18574    253 |        5 |      270
1313.96/1314.30	c 1314s |      22 |  2127519 |  1864822 |    18574    254 |        5 |      270
1315.96/1316.33	c 1316s |      22 |  2130989 |  1867922 |    18574    254 |        5 |      270
1317.95/1318.39	c 1318s |      22 |  2134498 |  1871122 |    18574    254 |        5 |      270
1320.05/1320.43	c 1320s |      22 |  2137440 |  1873822 |    18574    254 |        5 |      270
1322.05/1322.44	c 1322s |      22 |  2140679 |  1876822 |    18574    255 |        5 |      270
1324.06/1324.47	c 1324s |      22 |  2141650 |  1877722 |    18574    255 |        5 |      270
1326.15/1326.53	c 1326s |      22 |  2144666 |  1880522 |    18574    255 |        5 |      270
1328.25/1328.61	c 1328s |      22 |  2147752 |  1883322 |    18574    255 |        5 |      270
1330.25/1330.67	c 1330s |      22 |  2150812 |  1886122 |    18574    256 |        5 |      270
1332.25/1332.69	c 1332s |      22 |  2153972 |  1889022 |    18574    256 |        5 |      270
1334.35/1334.72	c 1334s |      22 |  2156676 |  1891522 |    18574    256 |        5 |      270
1336.35/1336.72	c 1336s |      22 |  2159364 |  1894022 |    18574    257 |        5 |      270
1338.35/1338.74	c 1338s |      22 |  2162522 |  1896922 |    18574    257 |        5 |      270
1340.35/1340.76	c 1340s |      22 |  2165486 |  1899622 |    18574    257 |        5 |      270
1342.35/1342.79	c 1342s |      22 |  2168054 |  1902022 |    18574    257 |        5 |      270
1346.24/1346.68	c 1346s |      22 |  2169036 |  1902922 |    18574    258 |        5 |      270
1348.35/1348.72	c 1348s |      22 |  2172528 |  1905922 |    18574    258 |        5 |      270
1350.35/1350.77	c 1350s |      22 |  2176337 |  1909222 |    18574    258 |        5 |      270
1352.35/1352.78	c 1352s |      22 |  2179552 |  1912122 |    18574    259 |        5 |      270
1354.45/1354.83	c 1354s |      22 |  2183058 |  1915222 |    18574    259 |        5 |      270
1356.44/1356.86	c 1356s |      22 |  2186238 |  1918122 |    18574    259 |        5 |      270
1358.54/1358.93	c 1358s |      22 |  2189555 |  1921022 |    18574    259 |        5 |      270
1360.54/1360.95	c 1360s |      22 |  2192690 |  1923822 |    18574    260 |        5 |      270
1362.65/1363.00	c 1362s |      22 |  2195608 |  1926522 |    18574    260 |        5 |      270
1364.75/1365.20	c 1365s |      22 |  2197521 |  1928222 |    18574    260 |        5 |      270
1366.95/1367.31	c 1367s |      22 |  2200294 |  1930622 |    18574    261 |        5 |      270
1368.94/1369.34	c 1369s |      22 |  2203975 |  1933922 |    18574    261 |        5 |      270
1370.94/1371.36	c 1371s |      22 |  2207479 |  1937022 |    18574    261 |        5 |      270
1373.04/1373.43	c 1373s |      22 |  2210478 |  1939722 |    18574    261 |        5 |      270
1375.04/1375.49	c 1375s |      22 |  2213452 |  1942322 |    18574    262 |        5 |      270
1377.14/1377.55	c 1377s |      22 |  2216939 |  1945422 |    18574    262 |        5 |      270
1379.15/1379.59	c 1379s |      22 |  2219848 |  1948122 |    18574    262 |        5 |      270
1381.25/1381.62	c 1381s |      22 |  2222551 |  1950622 |    18574    263 |        5 |      270
1383.24/1383.65	c 1383s |      22 |  2225614 |  1953422 |    18574    263 |        5 |      270
1386.74/1387.11	c 1386s |      22 |  2227874 |  1955522 |    18574    263 |        5 |      270
1388.73/1389.11	c 1388s |      22 |  2230829 |  1958122 |    18574    263 |        5 |      270
1390.73/1391.16	c 1391s |      22 |  2234056 |  1961022 |    18574    264 |        5 |      270
1392.73/1393.17	c 1393s |      22 |  2237641 |  1964222 |    18574    264 |        5 |      270
1394.73/1395.18	c 1395s |      22 |  2241032 |  1967122 |    18574    264 |        5 |      270
1396.83/1397.21	c 1397s |      22 |  2243946 |  1969622 |    18574    265 |        5 |      270
1398.84/1399.22	c 1399s |      22 |  2247768 |  1972922 |    18574    265 |        5 |      270
1400.83/1401.27	c 1401s |      22 |  2250840 |  1975722 |    18574    265 |        5 |      270
1402.93/1403.30	c 1403s |      22 |  2254013 |  1978522 |    18574    266 |        5 |      270
1404.93/1405.34	c 1405s |      22 |  2257592 |  1981722 |    18574    266 |        5 |      270
1407.03/1407.41	c 1407s |      22 |  2260790 |  1984622 |    18574    266 |        5 |      270
1409.03/1409.43	c 1409s |      22 |  2263714 |  1987222 |    18574    267 |        5 |      270
1411.13/1411.51	c 1411s |      22 |  2266731 |  1989822 |    18574    267 |        5 |      270
1413.13/1413.52	c 1413s |      22 |  2270024 |  1992722 |    18574    267 |        5 |      270
1415.12/1415.53	c 1415s |      22 |  2272989 |  1995322 |    18574    267 |        5 |      270
1417.92/1418.33	c 1418s |      22 |  2275730 |  1997722 |    18574    268 |        5 |      270
1419.92/1420.38	c 1420s |      22 |  2279444 |  2000922 |    18574    268 |        5 |      270
1422.03/1422.41	c 1422s |      22 |  2282452 |  2003522 |    18574    268 |        5 |      270
1424.02/1424.42	c 1424s |      22 |  2285596 |  2006322 |    18574    269 |        5 |      270
1426.02/1426.46	c 1426s |      22 |  2289109 |  2009522 |    18574    269 |        5 |      270
1428.02/1428.48	c 1428s |      22 |  2292588 |  2012622 |    18574    269 |        5 |      270
1430.12/1430.54	c 1430s |      22 |  2295602 |  2015222 |    18574    270 |        5 |      270
1432.22/1432.61	c 1432s |      22 |  2299341 |  2018522 |    18574    270 |        5 |      270
1434.22/1434.61	c 1434s |      22 |  2302596 |  2021522 |    18574    270 |        5 |      270
1436.23/1436.63	c 1436s |      22 |  2305335 |  2024022 |    18574    270 |        5 |      270
1439.23/1439.61	c 1439s |      22 |  2308786 |  2027122 |    18574    271 |        5 |      270
1441.22/1441.62	c 1441s |      22 |  2309479 |  2027722 |    18574    271 |        5 |      270
1443.22/1443.65	c 1443s |      22 |  2313270 |  2031022 |    18574    271 |        5 |      270
1445.22/1445.67	c 1445s |      22 |  2316396 |  2033722 |    18574    272 |        5 |      270
1447.23/1447.69	c 1447s |      22 |  2320029 |  2037022 |    18574    272 |        5 |      270
1449.32/1449.73	c 1449s |      22 |  2322969 |  2039622 |    18574    272 |        5 |      270
1451.32/1451.76	c 1451s |      22 |  2325707 |  2042122 |    18574    272 |        5 |      270
1453.42/1453.82	c 1453s |      22 |  2328884 |  2045022 |    18574    273 |        5 |      270
1455.42/1455.86	c 1455s |      22 |  2332160 |  2048022 |    18574    273 |        5 |      270
1457.52/1457.90	c 1457s |      22 |  2335082 |  2050722 |    18574    273 |        5 |      270
1459.52/1459.96	c 1459s |      22 |  2337999 |  2053422 |    18574    274 |        5 |      270
1462.22/1462.65	c 1462s |      22 |  2340150 |  2055422 |    18574    274 |        5 |      270
1464.22/1464.67	c 1464s |      22 |  2342741 |  2057722 |    18574    274 |        5 |      270
1466.22/1466.70	c 1466s |      22 |  2345950 |  2060622 |    18574    274 |        5 |      270
1468.32/1468.76	c 1468s |      22 |  2349210 |  2063322 |    18574    275 |        5 |      270
1470.43/1470.81	c 1470s |      22 |  2352274 |  2066122 |    18574    275 |        5 |      270
1472.42/1472.84	c 1472s |      22 |  2355092 |  2068722 |    18574    275 |        5 |      270
1474.52/1474.94	c 1474s |      22 |  2357592 |  2071022 |    18574    275 |        5 |      270
1476.52/1476.99	c 1476s |      22 |  2359105 |  2072422 |    18574    276 |        5 |      270
1478.62/1479.05	c 1478s |      22 |  2362037 |  2075122 |    18574    276 |        5 |      270
1480.62/1481.07	c 1480s |      22 |  2364710 |  2077622 |    18574    276 |        5 |      270
1482.72/1483.12	c 1482s |      22 |  2367192 |  2079822 |    18574    276 |        5 |      270
1484.72/1485.14	c 1485s |      22 |  2369770 |  2082222 |    18574    277 |        5 |      270
1486.72/1487.19	c 1487s |      22 |  2372468 |  2084722 |    18574    277 |        5 |      270
1489.22/1489.62	c 1489s |      22 |  2373961 |  2086122 |    18574    277 |        5 |      270
1491.22/1491.65	c 1491s |      22 |  2376885 |  2088722 |    18574    277 |        5 |      270
1493.22/1493.68	c 1493s |      22 |  2379370 |  2090922 |    18574    278 |        5 |      270
1495.32/1495.75	c 1495s |      22 |  2382596 |  2093922 |    18574    278 |        5 |      270
1497.32/1497.79	c 1497s |      22 |  2385726 |  2096722 |    18574    278 |        5 |      270
1499.52/1499.92	c 1499s |      22 |  2388577 |  2099322 |    18574    279 |        5 |      270
1501.71/1502.17	c 1502s |      22 |  2391845 |  2102222 |    18574    279 |        5 |      270
1503.81/1504.21	c 1504s |      22 |  2395276 |  2105222 |    18574    279 |        5 |      270
1505.81/1506.23	c 1506s |      22 |  2398110 |  2107722 |    18574    279 |        5 |      270
1507.82/1508.25	c 1508s |      22 |  2400882 |  2110222 |    18574    280 |        5 |      270
1509.81/1510.26	c 1510s |      22 |  2404031 |  2113122 |    18574    280 |        5 |      270
1511.91/1512.31	c 1512s |      22 |  2406926 |  2115822 |    18574    280 |        5 |      270
1517.41/1517.85	c 1517s |      22 |  2409279 |  2118022 |    18574    281 |        5 |      270
1519.41/1519.89	c 1519s |      22 |  2412512 |  2120822 |    18574    281 |        5 |      270
1521.41/1521.90	c 1521s |      22 |  2415990 |  2123822 |    18574    281 |        5 |      270
1523.51/1523.97	c 1523s |      22 |  2419476 |  2126822 |    18574    281 |        5 |      270
1525.51/1525.99	c 1525s |      22 |  2422442 |  2129422 |    18574    282 |        5 |      270
1527.61/1528.03	c 1527s |      22 |  2426248 |  2132422 |    18574    282 |        5 |      270
1529.61/1530.04	c 1529s |      22 |  2429033 |  2134922 |    18574    282 |        5 |      270
1531.61/1532.06	c 1531s |      22 |  2431934 |  2137422 |    18574    283 |        5 |      270
1533.61/1534.08	c 1533s |      22 |  2435401 |  2140622 |    18574    283 |        5 |      270
1535.71/1536.10	c 1535s |      22 |  2438292 |  2143222 |    18574    283 |        5 |      270
1537.71/1538.16	c 1538s |      22 |  2441066 |  2145722 |    18574    283 |        5 |      270
1539.71/1540.19	c 1540s |      22 |  2443976 |  2148322 |    18574    284 |        5 |      270
1541.70/1542.19	c 1542s |      22 |  2446842 |  2150922 |    18574    284 |        5 |      270
1543.80/1544.28	c 1544s |      22 |  2449783 |  2153522 |    18574    284 |        5 |      270
1545.90/1546.31	c 1546s |      22 |  2452291 |  2155722 |    18574    285 |        5 |      270
1547.90/1548.32	c 1548s |      22 |  2455628 |  2158722 |    18574    285 |        5 |      270
1549.91/1550.35	c 1550s |      22 |  2456950 |  2159822 |    18574    285 |        5 |      270
1551.91/1552.38	c 1552s |      22 |  2460664 |  2163022 |    18574    285 |        5 |      270
1553.92/1554.39	c 1554s |      22 |  2463852 |  2165822 |    18574    286 |        5 |      270
1555.91/1556.39	c 1556s |      22 |  2467489 |  2169022 |    18574    286 |        5 |      270
1558.01/1558.46	c 1558s |      22 |  2470768 |  2171922 |    18574    286 |        5 |      270
1560.01/1560.48	c 1560s |      22 |  2473566 |  2174422 |    18574    287 |        5 |      270
1562.01/1562.49	c 1562s |      22 |  2476791 |  2177322 |    18574    287 |        5 |      270
1564.11/1564.52	c 1564s |      22 |  2480251 |  2180322 |    18574    287 |        5 |      270
1566.12/1566.59	c 1566s |      22 |  2483253 |  2183022 |    18574    287 |        5 |      270
1568.21/1568.62	c 1568s |      22 |  2484926 |  2184522 |    18574    288 |        5 |      270
1570.21/1570.68	c 1570s |      22 |  2488377 |  2187622 |    18574    288 |        5 |      270
1572.31/1572.75	c 1572s |      22 |  2491722 |  2190622 |    18574    288 |        5 |      270
1574.30/1574.77	c 1574s |      22 |  2494401 |  2193022 |    18574    288 |        5 |      270
1576.40/1576.82	c 1576s |      22 |  2497610 |  2195922 |    18574    289 |        5 |      270
1578.40/1578.86	c 1578s |      22 |  2500989 |  2198922 |    18574    289 |        5 |      270
1580.41/1580.87	c 1580s |      22 |  2503574 |  2201222 |    18574    289 |        5 |      270
1582.40/1582.89	c 1582s |      22 |  2506146 |  2203522 |    18574    290 |        5 |      270
1584.50/1584.95	c 1584s |      22 |  2509611 |  2206622 |    18574    290 |        5 |      270
1586.50/1586.96	c 1586s |      22 |  2512550 |  2209322 |    18574    290 |        5 |      270
1588.80/1589.23	c 1589s |      22 |  2515393 |  2211922 |    18574    291 |        5 |      270
1590.80/1591.28	c 1591s |      22 |  2518951 |  2215222 |    18574    291 |        5 |      270
1592.90/1593.35	c 1593s |      22 |  2522373 |  2218122 |    18574    291 |        5 |      270
1595.00/1595.40	c 1595s |      22 |  2525720 |  2220522 |    18574    291 |        5 |      270
1597.00/1597.47	c 1597s |      22 |  2528887 |  2222922 |    18574    292 |        5 |      270
1599.11/1599.51	c 1599s |      22 |  2532023 |  2225222 |    18574    292 |        5 |      270
1601.10/1601.53	c 1601s |      22 |  2534555 |  2227322 |    18574    292 |        5 |      270
1603.10/1603.53	c 1603s |      22 |  2537059 |  2229322 |    18574    292 |        5 |      270
1606.30/1606.75	c 1606s |      22 |  2538433 |  2230222 |    18574    292 |        5 |      270
1608.30/1608.77	c 1608s |      22 |  2541112 |  2232622 |    18574    293 |        5 |      270
1610.30/1610.78	c 1610s |      22 |  2544595 |  2235722 |    20432    293 |        5 |      270
1612.30/1612.78	c 1612s |      22 |  2547370 |  2238222 |    20432    293 |        5 |      270
1614.29/1614.80	c 1614s |      22 |  2549744 |  2240422 |    20432    293 |        5 |      270
1616.39/1616.86	c 1616s |      22 |  2551938 |  2242422 |    20432    294 |        5 |      270
1618.39/1618.88	c 1618s |      22 |  2556219 |  2245822 |    20432    294 |        5 |      270
1620.49/1620.94	c 1620s |      22 |  2559581 |  2248722 |    20432    294 |        5 |      270
1622.20/1622.66	c 1622s |      23 |  2562243 |  2251038 |    20432    294 |        5 |      270
1624.19/1624.68	c 1624s |      23 |  2565268 |  2253638 |    20432    295 |        5 |      270
1626.29/1626.73	c 1626s |      23 |  2569249 |  2257038 |    20432    295 |        5 |      270
1628.29/1628.78	c 1628s |      23 |  2572576 |  2259938 |    20432    295 |        5 |      270
1630.49/1630.91	c 1630s |      23 |  2575610 |  2262638 |    20432    296 |        5 |      270
1632.49/1632.94	c 1632s |      23 |  2579372 |  2266038 |    20432    296 |        5 |      270
1634.49/1634.95	c 1634s |      23 |  2582857 |  2269038 |    20432    296 |        5 |      270
1636.99/1637.40	c 1637s |      23 |  2584556 |  2270538 |    20432    296 |        5 |      270
1639.09/1639.55	c 1639s |      23 |  2587284 |  2272938 |    20432    297 |        5 |      270
1641.09/1641.57	c 1641s |      23 |  2590885 |  2276138 |    20432    297 |        5 |      270
1643.19/1643.64	c 1643s |      23 |  2593962 |  2278838 |    20432    297 |        5 |      270
1645.29/1645.72	c 1645s |      23 |  2596818 |  2281438 |    20432    297 |        5 |      270
1647.29/1647.77	c 1647s |      23 |  2599641 |  2283938 |    20432    298 |        5 |      270
1649.29/1649.79	c 1649s |      23 |  2603166 |  2287038 |    20432    298 |        5 |      270
1651.39/1651.81	c 1651s |      23 |  2606204 |  2289838 |    20432    298 |        5 |      270
1653.39/1653.87	c 1653s |      23 |  2608913 |  2292338 |    20432    298 |        5 |      270
1655.49/1655.94	c 1655s |      23 |  2611851 |  2295038 |    20432    299 |        5 |      270
1657.49/1657.99	c 1657s |      23 |  2614703 |  2297638 |    20432    299 |        5 |      270
1659.69/1660.16	c 1660s |      23 |  2616719 |  2299438 |    20432    299 |        5 |      270
1661.80/1662.23	c 1662s |      23 |  2619883 |  2302238 |    20432    299 |        5 |      270
1663.79/1664.28	c 1664s |      23 |  2622379 |  2304438 |    20432    300 |        5 |      270
1665.89/1666.34	c 1666s |      23 |  2625637 |  2307338 |    20432    300 |        5 |      270
1667.89/1668.38	c 1668s |      23 |  2628466 |  2309938 |    20432    300 |        5 |      270
1669.99/1670.41	c 1670s |      23 |  2631215 |  2312438 |    20432    300 |        5 |      270
1671.99/1672.44	c 1672s |      23 |  2633580 |  2314638 |    20432    301 |        5 |      270
1674.09/1674.50	c 1674s |      23 |  2636553 |  2317438 |    20432    301 |        5 |      270
1676.09/1676.51	c 1676s |      23 |  2638310 |  2318938 |    20432    301 |        5 |      270
1678.08/1678.55	c 1678s |      23 |  2641071 |  2321438 |    20432    301 |        5 |      270
1680.18/1680.62	c 1680s |      23 |  2643468 |  2323638 |    20432    301 |        5 |      270
1682.18/1682.63	c 1682s |      23 |  2644972 |  2325038 |    20432    302 |        5 |      270
1684.18/1684.66	c 1684s |      23 |  2648266 |  2327938 |    20432    302 |        5 |      270
1686.28/1686.72	c 1686s |      23 |  2650974 |  2330438 |    20432    302 |        5 |      270
1688.28/1688.79	c 1688s |      23 |  2653604 |  2332838 |    20432    302 |        5 |      270
1690.39/1690.81	c 1690s |      23 |  2655541 |  2334638 |    20432    302 |        5 |      270
1692.38/1692.83	c 1692s |      23 |  2657453 |  2336438 |    20432    303 |        5 |      270
1694.59/1695.07	c 1694s |      23 |  2659661 |  2338438 |    20432    303 |        5 |      270
1696.69/1697.13	c 1697s |      23 |  2663394 |  2341638 |    20432    303 |        5 |      270
1698.69/1699.15	c 1699s |      23 |  2666448 |  2344338 |    20432    303 |        5 |      270
1700.79/1701.21	c 1701s |      23 |  2669298 |  2346838 |    20432    304 |        5 |      270
1702.79/1703.23	c 1703s |      23 |  2672642 |  2349838 |    20432    304 |        5 |      270
1704.78/1705.23	c 1705s |      23 |  2675724 |  2352638 |    20432    304 |        5 |      270
1706.79/1707.24	c 1707s |      23 |  2678601 |  2355138 |    20432    304 |        5 |      270
1709.98/1710.49	c 1710s |      23 |  2681789 |  2357938 |    20432    305 |        5 |      270
1712.08/1712.53	c 1712s |      23 |  2685347 |  2361038 |    20432    305 |        5 |      270
1714.08/1714.58	c 1714s |      23 |  2688487 |  2363838 |    20432    305 |        5 |      270
1716.08/1716.59	c 1716s |      23 |  2690697 |  2365838 |    20432    306 |        5 |      270
1718.18/1718.63	c 1718s |      23 |  2694221 |  2369038 |    20432    306 |        5 |      270
1720.18/1720.64	c 1720s |      23 |  2697571 |  2371938 |    20432    306 |        5 |      270
1722.18/1722.67	c 1722s |      23 |  2700000 |  2374138 |    20432    306 |        5 |      270
1724.28/1724.71	c 1724s |      23 |  2702639 |  2376538 |    20432    307 |        5 |      270
1726.28/1726.74	c 1726s |      23 |  2705811 |  2379338 |    20432    307 |        5 |      270
1728.28/1728.75	c 1728s |      23 |  2709118 |  2382338 |    20432    307 |        5 |      270
1730.28/1730.76	c 1730s |      23 |  2711859 |  2384838 |    20432    307 |        5 |      270
1732.38/1732.82	c 1732s |      23 |  2714619 |  2387338 |    20432    308 |        5 |      270
1737.28/1737.74	c 1737s |      23 |  2716568 |  2389138 |    20432    308 |        5 |      270
1739.28/1739.77	c 1739s |      23 |  2720126 |  2392138 |    20432    308 |        5 |      270
1741.28/1741.77	c 1741s |      23 |  2723537 |  2395038 |    20432    308 |        5 |      270
1743.38/1743.82	c 1743s |      23 |  2726276 |  2397438 |    20432    309 |        5 |      270
1745.39/1745.88	c 1745s |      23 |  2730203 |  2400838 |    20432    309 |        5 |      270
1747.48/1747.93	c 1747s |      23 |  2733355 |  2403638 |    20432    309 |        5 |      270
1749.48/1749.98	c 1749s |      23 |  2736368 |  2406238 |    20432    309 |        5 |      270
1751.48/1751.98	c 1751s |      23 |  2737768 |  2407438 |    20432    310 |        5 |      270
1753.58/1754.05	c 1753s |      23 |  2741484 |  2410538 |    20432    310 |        5 |      270
1755.68/1756.10	c 1755s |      23 |  2745084 |  2413638 |    20432    310 |        5 |      270
1757.67/1758.17	c 1758s |      23 |  2748170 |  2416138 |    20432    310 |        5 |      270
1759.77/1760.22	c 1760s |      23 |  2751524 |  2418938 |    20432    311 |        5 |      270
1761.78/1762.25	c 1762s |      23 |  2755584 |  2422438 |    20432    311 |        5 |      270
1763.87/1764.31	c 1764s |      23 |  2759360 |  2425738 |    20432    311 |        5 |      270
1765.87/1766.32	c 1766s |      23 |  2762511 |  2428538 |    20432    312 |        5 |      270
1767.87/1768.37	c 1768s |      23 |  2765322 |  2431038 |    20432    312 |        5 |      270
1769.87/1770.37	c 1770s |      23 |  2768831 |  2434138 |    20432    312 |        5 |      270
1771.97/1772.42	c 1772s |      23 |  2771670 |  2436738 |    20432    312 |        5 |      270
1773.97/1774.46	c 1774s |      23 |  2774447 |  2439238 |    20432    313 |        5 |      270
1776.07/1776.51	c 1776s |      23 |  2777925 |  2442238 |    20432    313 |        5 |      270
1778.07/1778.57	c 1778s |      23 |  2781112 |  2445038 |    20432    313 |        5 |      270
1780.07/1780.58	c 1780s |      23 |  2783842 |  2447538 |    20432    313 |        5 |      270
1782.47/1782.95	c 1782s |      23 |  2786909 |  2450238 |    20432    314 |        5 |      270
1785.87/1786.37	c 1786s |      23 |  2787257 |  2450538 |    20432    314 |        5 |      270
1787.97/1788.42	c 1788s |      23 |  2791305 |  2453938 |    20432    314 |        5 |      270
1789.97/1790.47	c 1790s |      23 |  2794913 |  2457038 |    20432    314 |        5 |      270
1791.97/1792.47	c 1792s |      23 |  2798480 |  2460138 |    20432    315 |        5 |      270
1794.07/1794.50	c 1794s |      23 |  2802170 |  2463438 |    20432    315 |        5 |      270
1796.07/1796.57	c 1796s |      23 |  2805414 |  2466238 |    20432    315 |        5 |      270
1798.17/1798.65	c 1798s |      23 |  2808310 |  2468738 |    20432    315 |        5 |      270

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

pid=31894
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.00 2.00 1.93 4/176 31900
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 13307276 734457856 3035 33554432000 4194304 16246674 140736294115600 140736294115024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 179823 3043 441 2943 0 176717 0
[pid=31900/tid=31904] ppid=31894 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 751235072 3100 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 755429376 3116 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13307276 760672256 3133 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100066 s]
/proc/loadavg: 2.00 2.00 1.93 4/176 31900
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 22835 0 0 0 6 3 0 0 20 0 4 0 13307276 1250496512 23134 33554432000 4194304 16246674 140736294115600 140736294114912 13008204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 305297 23134 834 2943 0 302191 0
[pid=31900/tid=31904] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 23134 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 23134 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 23134 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1221188

[startup+0.200382 s]
/proc/loadavg: 2.00 2.00 1.93 4/176 31900
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 40269 0 0 0 14 5 0 0 20 0 4 0 13307276 1250496512 40568 33554432000 4194304 16246674 140736294115600 140736294114912 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 305297 40574 876 2943 0 302191 0
[pid=31900/tid=31904] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 40581 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 40589 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 40596 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1221188

[startup+0.30034 s]
/proc/loadavg: 2.00 2.00 1.93 4/176 31900
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 61660 0 0 0 21 8 0 0 20 0 4 0 13307276 1250496512 61959 33554432000 4194304 16246674 140736294115600 140736294114912 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 305297 61968 876 2943 0 302191 0
[pid=31900/tid=31904] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 61976 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 61983 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 61987 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1221188

[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 1.93 4/176 31900
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 146448 0 0 0 49 20 0 0 20 0 4 0 13307276 1250496512 146747 33554432000 4194304 16246674 140736294115600 140736294114912 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 305297 146755 876 2943 0 302191 0
[pid=31900/tid=31904] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 146764 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 146773 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 146781 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1221188

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 31908
/proc/meminfo: memFree=30063676/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 266348 0 0 0 111 37 0 0 20 0 4 0 13307276 1332285440 266647 33554432000 4194304 16246674 140736294115600 140736294114912 5672056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 325265 266647 879 2943 0 322159 0
[pid=31900/tid=31904] ppid=31894 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1332285440 266647 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1332285440 266647 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1332285440 266647 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 31908
/proc/meminfo: memFree=29738052/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 267847 0 0 0 271 38 0 0 20 0 4 0 13307276 1338576896 268146 33554432000 4194304 16246674 140736294115600 140736294097472 5829752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 326801 268146 881 2943 0 323695 0
[pid=31900/tid=31904] ppid=31894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1338576896 268146 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1338576896 268146 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1338576896 268146 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 31908
/proc/meminfo: memFree=29730932/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 268085 0 0 0 591 38 0 0 20 0 4 0 13307276 1339625472 268384 33554432000 4194304 16246674 140736294115600 140736294097472 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 327057 268384 885 2943 0 323951 0
[pid=31900/tid=31904] ppid=31894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268384 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268384 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268384 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 31908
/proc/meminfo: memFree=29716164/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 269265 0 0 0 1231 38 0 0 20 0 4 0 13307276 1343819776 269564 33554432000 4194304 16246674 140736294115600 140736294097472 13928104 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 328081 269564 885 2943 0 324975 0
[pid=31900/tid=31904] ppid=31894 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1343819776 269564 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1343819776 269564 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1343819776 269564 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.93 4/184 31909
/proc/meminfo: memFree=29704612/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1324612 CPUtime=25.49 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 272337 0 0 0 2510 39 0 0 20 0 4 0 13307276 1356402688 272636 33554432000 4194304 16246674 140736294115600 140736294097472 5823674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 331153 272636 885 2943 0 328047 0
[pid=31900/tid=31904] ppid=31894 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1356402688 272636 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1356402688 272636 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1356402688 272636 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.93 4/183 31909
/proc/meminfo: memFree=29695860/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1331780 CPUtime=51.08 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 274129 0 0 0 5069 39 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140736294097472 5829752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 332945 274428 885 2943 0 329839 0
[pid=31900/tid=31904] ppid=31894 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140539104058544 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) 1331780

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.93 4/183 31910
/proc/meminfo: memFree=29694472/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1331780 CPUtime=102.28 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 274129 0 0 0 10188 40 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140736294097472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 332945 274428 885 2943 0 329839 0
[pid=31900/tid=31904] ppid=31894 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1363742720 274428 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1368644

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/184 31952
/proc/meminfo: memFree=29627508/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1368644 CPUtime=1361.94 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 283616 0 0 0 136132 62 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140736294097472 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342161 283901 886 2943 0 339055 0
[pid=31900/tid=31904] ppid=31894 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1368644

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/183 31953
/proc/meminfo: memFree=29624024/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1368644 CPUtime=1421.93 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 283624 0 0 0 142131 62 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140736294097472 5673897 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342161 283901 886 2943 0 339055 0
[pid=31900/tid=31904] ppid=31894 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1401491456 283901 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1368644

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 31954
/proc/meminfo: memFree=29621920/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1481.92 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 148128 64 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 13927243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1370692

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 31955
/proc/meminfo: memFree=29622284/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1541.91 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 154126 65 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5675561 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1370692

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/183 31957
/proc/meminfo: memFree=29622536/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1601.9 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 160124 66 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5523184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1370692

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 31958
/proc/meminfo: memFree=29622164/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1661.89 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 166122 67 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5823961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1370692

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 31959
/proc/meminfo: memFree=29622404/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1721.88 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 172120 68 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1370692

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/184 31963
/proc/meminfo: memFree=29621144/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1781.87 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 178118 69 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1370692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.02 2.00 4/184 31963
/proc/meminfo: memFree=29622424/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1800.07 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 179937 70 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5673075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1370692

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.02 2.00 4/184 31963
/proc/meminfo: memFree=29622424/32872528 swapFree=7268/7268
[pid=31900] ppid=31894 vsize=1370692 CPUtime=1800.07 cores=1,3,5,7
/proc/31900/stat : 31900 (toysat) R 31894 31900 29295 0 -1 4202496 284136 0 0 0 179937 70 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140736294097472 5673075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 342673 284413 886 2943 0 339567 0
[pid=31900/tid=31904] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (toysat) S 31894 31900 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539195272432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (toysat) S 31894 31900 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539114532080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31906] ppid=31894 vsize=1370692 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (toysat) S 31894 31900 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1403588608 284413 33554432000 4194304 16246674 140736294115600 140539104058544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1370692

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.706892
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 1370692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.706892
maximum resident set size= 1137652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284136
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= 294
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39633 second user time and 7.2319 second system time

The end

Begin job on node151 at 2016-06-16 23:30:24
IDJOB=4096197
IDBENCH=107580
IDSOLVER=2542
FILE ID=node151/4096197-1466112624
RUNJOBID= node151-1466112624-31872
PBS_JOBID= 19904038
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= aa1dc88b101e0ac3ccf7502067acf719
RANDOM SEED=1695339686

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31877448 kB
Buffers:           59264 kB
Cached:           161016 kB
SwapCached:        61592 kB
Active:           116208 kB
Inactive:         166224 kB
Active(anon):       3552 kB
Inactive(anon):    61036 kB
Active(file):     112656 kB
Inactive(file):   105188 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             33124 kB
Writeback:             0 kB
AnonPages:          9148 kB
Mapped:             7212 kB
Shmem:                 0 kB
Slab:             572668 kB
SReclaimable:      15656 kB
SUnreclaim:       557012 kB
KernelStack:        1464 kB
PageTables:         4232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     103940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-17 00:00:25