0.00/0.00	c 2016-06-17T00:31:44+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4097072-1466116303.opb"]
0.00/0.01	c use --random-gen="2501590015 1274525384 3087756871 2049108461 1754217287 2609620421 335239402 4149212356 3146661209 770369664 1254419282 3379623394 4011476619 3873265870 1756096788 50874369 4026773311 3275388071 3296338951 218852403 2406778291 826922302 1353433366 210995859 2755949923 2222034284 1331559191 1478634591 1527452172 3589785067 747699608 1355357889 1689936772 4113517986 4197980956 625958573 2033130718 801358105 927134518 2617137428 3614107099 4086011922 4247937567 2737790981 1970817728 779145881 1357424523 3265171880 2838383821 3944288829 600010469 1719826574 3503801599 2530135097 3700948580 829612746 228324582 3588237076 2239243509 1918575942 1077792522 24116952 2780194089 4113140316 2730421958 3677357002 2330145398 2220745721 886232947 259397058 2321084997 1825717599 55501563 3659494361 712031543 2411023177 3735791546 3177679977 4044805606 905855109 3093671569 3312727963 4214398689 1376589032 286010823 360853927 1286901709 1860394628 4164596260 1832916313 3333038054 2044096992 628296520 4164886000 1968591431 1119058595 1712396539 2026326224 9214302 41543287 2501316555 867403916 2227050998 2721363134 1827696720 1585059455 523718311 3580500510 1436182864 3984796716 203686455 1187463648 858960833 866696204 2007625982 4241702035 840518625 3437407780 3480788008 354214829 3105890384 1871732610 53160264 2711569806 2544408443 2099726730 941210600 808670710 4211405223 1901942442 1410825898 2074913281 4277532678 1989009704 2354936526 1661541570 3598115347 186842700 1374257149 1340075067 1941256303 2181202129 37490332 1348113925 3858542890 2911134561 2733059440 2911464406 2490524974 4275078139 2220575812 1224453458 3437941435 2842858834 38416904 1932198953 1059778388 475895695 2069757746 2074368797 593933912 1305681769 3689305699 2386177955 169166853 783044628 3035289252 3003852896 708248973 3300850149 3488973575 3469195381 1152662679 3576726235 1070235325 1409278362 1598534711 3764518851 3637887879 2359018256 4097212276 1328453785 2716486239 896522513 4005615800 1962947276 2012514851 1147360275 865860782 746444789 3055270039 3300796273 763884715 1665595957 1195632148 3217802462 4172603687 3765976993 1479315294 182054314 3078256659 1194169467 1731083466 3961857118 3384552098 1909989440 4192292940 3847694721 2650354666 1673636009 1331361230 3927125502 2526710532 3583615032 3646840951 1631637817 914876968 260832316 3575894899 2274124554 1038534540 1336983232 2489747582 1338860830 3271272848 4267157508 512153836 1572667501 142646415 3217686974 1390938883 4049567949 2084174777 6924861 1776124695 2619077139 741179402 2360132648 4113076879 1603958877 114536921 1051364418 1389999119 2357756663 1878195958 719901707 1470451433 3194371834 2553426052 1200547236 3506820030 1948061809 2801667998 2703959331 591354110 3536196748 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1332
0.00/0.07	c #constraints 6341
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     2556      0 |        5 |        0
0.09/0.19	c  0.0s |       1 |      128 |      100 |     2556      0 |        5 |      286
0.19/0.25	c  0.1s |       2 |      328 |      250 |     2812      0 |        5 |      286
0.29/0.34	c  0.2s |       3 |      604 |      475 |     3094      0 |        5 |      286
0.49/0.50	c  0.4s |       4 |     1056 |      813 |     3404      0 |        5 |      286
0.69/0.78	c  0.6s |       5 |     1920 |     1320 |     3745      0 |        5 |      286
1.10/1.11	c  1.0s |       6 |     2954 |     2081 |     4532      0 |        5 |      286
1.59/1.67	c  1.5s |       7 |     4335 |     3223 |     4986      0 |        5 |      286
2.49/2.56	c  2.4s |       8 |     6433 |     4936 |     5485      0 |        5 |      286
3.79/3.85	c  3.7s |       9 |     9321 |     7506 |     6034      1 |        5 |      286
5.50/5.53	c  5.4s |      10 |    14098 |    11361 |     6638      2 |        5 |      286
7.49/7.55	c  7.4s |      10 |    19516 |    15661 |     6638      3 |        5 |      286
8.19/8.20	c  8.1s |      11 |    21302 |    17144 |     7302      4 |        5 |      286
10.19/10.22	c 10.1s |      11 |    26306 |    21244 |     7302      5 |        5 |      286
12.20/12.24	c 12.1s |      12 |    31644 |    25819 |     8033      6 |        5 |      286
14.19/14.28	c 14.1s |      12 |    36565 |    29719 |     8033      7 |        5 |      286
16.29/16.31	c 16.2s |      12 |    41527 |    34019 |     8033      8 |        5 |      286
18.29/18.33	c 18.2s |      12 |    46057 |    37719 |     8033      9 |        5 |      286
18.80/18.82	c 18.7s |      13 |    47340 |    38832 |     8837      9 |        5 |      286
20.79/20.85	c 20.7s |      13 |    52206 |    42832 |     8837     10 |        5 |      286
22.79/22.85	c 22.7s |      13 |    56985 |    46932 |     8837     11 |        5 |      286
24.89/24.95	c 24.8s |      13 |    61608 |    50832 |     8837     12 |        5 |      286
26.89/26.98	c 26.8s |      13 |    66316 |    54832 |     8837     12 |        5 |      286
28.99/29.07	c 28.9s |      13 |    70172 |    58232 |     9721     13 |        5 |      286
29.19/29.20	c 29.1s |      14 |    70357 |    58352 |     9721     13 |        5 |      286
31.18/31.24	c 31.1s |      14 |    75298 |    62552 |     9721     14 |        5 |      286
33.19/33.28	c 33.1s |      14 |    79563 |    66052 |     9721     15 |        5 |      286
35.29/35.33	c 35.2s |      14 |    84410 |    70152 |     9721     15 |        5 |      286
37.28/37.34	c 37.2s |      14 |    89161 |    74052 |     9721     16 |        5 |      286
39.28/39.34	c 39.2s |      14 |    94058 |    78152 |     9721     17 |        5 |      286
41.28/41.36	c 41.2s |      14 |    98802 |    82252 |     9721     18 |        5 |      286
43.38/43.40	c 43.3s |      14 |   103407 |    86252 |     9721     19 |        5 |      286
43.99/44.03	c 43.9s |      15 |   104954 |    87632 |    10694     19 |        5 |      286
45.98/46.08	c 45.9s |      15 |   108586 |    90532 |    10694     19 |        5 |      286
47.98/48.09	c 47.9s |      15 |   112963 |    94132 |    10694     20 |        5 |      286
50.08/50.12	c 50.0s |      15 |   117638 |    98032 |    10694     21 |        5 |      286
52.08/52.14	c 52.0s |      15 |   121650 |   101332 |    10694     21 |        5 |      286
54.08/54.19	c 54.0s |      15 |   126055 |   105032 |    10694     22 |        5 |      286
56.18/56.23	c 56.1s |      15 |   130559 |   108832 |    10694     23 |        5 |      286
58.18/58.25	c 58.1s |      15 |   134950 |   112632 |    10694     23 |        5 |      286
60.17/60.28	c 60.1s |      15 |   138637 |   115732 |    10694     24 |        5 |      286
62.28/62.31	c 62.2s |      15 |   142793 |   119232 |    10694     25 |        5 |      286
64.28/64.33	c 64.2s |      15 |   146886 |   122632 |    10694     25 |        5 |      286
66.28/66.34	c 66.2s |      15 |   151017 |   126232 |    10694     26 |        5 |      286
68.29/68.38	c 68.2s |      15 |   154875 |   129532 |    10694     27 |        5 |      286
69.39/69.49	c 69.3s |      16 |   157210 |   131552 |    11764     27 |        5 |      286
71.49/71.54	c 71.4s |      16 |   161248 |   134752 |    11764     27 |        5 |      286
73.48/73.56	c 73.4s |      16 |   165570 |   138352 |    11764     28 |        5 |      286
75.48/75.58	c 75.4s |      16 |   169642 |   141852 |    11764     28 |        5 |      286
77.58/77.60	c 77.5s |      16 |   173808 |   145452 |    11764     29 |        5 |      286
79.58/79.63	c 79.5s |      16 |   177475 |   148752 |    11764     30 |        5 |      286
81.58/81.65	c 81.5s |      16 |   181227 |   152052 |    11764     30 |        5 |      286
83.59/83.68	c 83.5s |      16 |   184932 |   155252 |    11764     31 |        5 |      286
85.58/85.69	c 85.5s |      16 |   188577 |   158352 |    11764     31 |        5 |      286
87.68/87.75	c 87.6s |      16 |   192430 |   161652 |    11764     32 |        5 |      286
89.68/89.77	c 89.6s |      16 |   195733 |   164452 |    11764     32 |        5 |      286
91.68/91.79	c 91.6s |      16 |   199838 |   167852 |    11764     33 |        5 |      286
93.78/93.82	c 93.7s |      16 |   203800 |   171252 |    11764     33 |        5 |      286
95.78/95.85	c 95.7s |      16 |   207476 |   174452 |    11764     34 |        5 |      286
97.88/97.91	c 97.8s |      16 |   210932 |   177552 |    11764     34 |        5 |      286
99.88/99.91	c 99.8s |      16 |   213810 |   180152 |    11764     35 |        5 |      286
101.88/101.91	c  101s |      16 |   217874 |   183552 |    11764     35 |        5 |      286
103.88/103.94	c  103s |      16 |   221924 |   187052 |    11764     36 |        5 |      286
105.88/105.97	c  105s |      16 |   225370 |   190052 |    11764     37 |        5 |      286
107.97/108.01	c  107s |      16 |   229308 |   193552 |    11764     37 |        5 |      286
109.98/110.02	c  109s |      16 |   232532 |   196452 |    12941     38 |        5 |      286
110.48/110.59	c  110s |      17 |   233568 |   197432 |    12941     38 |        5 |      286
112.57/112.65	c  112s |      17 |   237104 |   200332 |    12941     38 |        5 |      286
114.57/114.69	c  114s |      17 |   240720 |   203532 |    12941     39 |        5 |      286
116.68/116.71	c  116s |      17 |   244476 |   206732 |    12941     39 |        5 |      286
118.78/118.82	c  118s |      17 |   247930 |   209632 |    12941     40 |        5 |      286
120.77/120.88	c  120s |      17 |   251661 |   212732 |    12941     40 |        5 |      286
122.87/122.94	c  122s |      17 |   255319 |   215832 |    12941     40 |        5 |      286
124.87/124.97	c  124s |      17 |   259203 |   219132 |    12941     41 |        5 |      286
126.97/127.05	c  126s |      17 |   262832 |   222332 |    12941     41 |        5 |      286
128.97/129.09	c  128s |      17 |   266304 |   225432 |    12941     42 |        5 |      286
131.07/131.14	c  130s |      17 |   269854 |   228532 |    12941     42 |        5 |      286
133.07/133.16	c  133s |      17 |   273273 |   231532 |    12941     43 |        5 |      286
135.07/135.19	c  135s |      17 |   276897 |   234732 |    12941     43 |        5 |      286
137.17/137.22	c  137s |      17 |   280212 |   237732 |    12941     44 |        5 |      286
139.16/139.27	c  139s |      17 |   282885 |   239932 |    12941     44 |        5 |      286
141.26/141.30	c  141s |      17 |   286810 |   243232 |    12941     45 |        5 |      286
143.26/143.36	c  143s |      17 |   290584 |   246532 |    12941     45 |        5 |      286
145.36/145.40	c  145s |      17 |   294165 |   249432 |    12941     46 |        5 |      286
147.38/147.41	c  147s |      17 |   298045 |   252732 |    12941     46 |        5 |      286
149.37/149.44	c  149s |      17 |   301976 |   255732 |    12941     47 |        5 |      286
151.37/151.49	c  151s |      17 |   306188 |   259332 |    12941     47 |        5 |      286
153.47/153.52	c  153s |      17 |   309808 |   262332 |    12941     48 |        5 |      286
155.47/155.57	c  155s |      17 |   313830 |   265832 |    12941     48 |        5 |      286
157.57/157.62	c  157s |      17 |   317363 |   268932 |    12941     49 |        5 |      286
159.57/159.68	c  159s |      17 |   321025 |   272032 |    12941     49 |        5 |      286
161.67/161.75	c  161s |      17 |   324962 |   275332 |    12941     50 |        5 |      286
163.67/163.77	c  163s |      17 |   328867 |   278732 |    12941     50 |        5 |      286
165.76/165.86	c  165s |      17 |   332559 |   281932 |    12941     51 |        5 |      286
167.76/167.88	c  167s |      17 |   336734 |   285532 |    12941     51 |        5 |      286
169.86/169.93	c  169s |      17 |   340097 |   288532 |    12941     52 |        5 |      286
171.86/171.97	c  171s |      17 |   343348 |   291332 |    12941     52 |        5 |      286
173.96/174.00	c  173s |      17 |   347091 |   294432 |    14236     52 |        5 |      286
175.16/175.25	c  175s |      18 |   349183 |   296252 |    14236     52 |        5 |      286
177.17/177.29	c  177s |      18 |   352751 |   299152 |    14236     53 |        5 |      286
179.27/179.36	c  179s |      18 |   356299 |   302052 |    14236     53 |        5 |      286
181.26/181.36	c  181s |      18 |   359069 |   304352 |    14236     54 |        5 |      286
183.36/183.40	c  183s |      18 |   363273 |   307852 |    14236     54 |        5 |      286
185.36/185.40	c  185s |      18 |   366735 |   310752 |    14236     55 |        5 |      286
187.36/187.44	c  187s |      18 |   370674 |   314152 |    14236     55 |        5 |      286
189.36/189.44	c  189s |      18 |   374412 |   317252 |    14236     55 |        5 |      286
191.36/191.45	c  191s |      18 |   378335 |   320552 |    14236     56 |        5 |      286
193.46/193.50	c  193s |      18 |   382255 |   323952 |    14236     56 |        5 |      286
196.76/196.83	c  196s |      18 |   385410 |   326652 |    14236     57 |        5 |      286
198.76/198.83	c  198s |      18 |   389610 |   330252 |    14236     57 |        5 |      286
200.76/200.85	c  200s |      18 |   393187 |   333352 |    14236     58 |        5 |      286
202.86/202.91	c  202s |      18 |   396975 |   336752 |    14236     58 |        5 |      286
204.86/204.97	c  204s |      18 |   400342 |   339552 |    14236     59 |        5 |      286
206.87/206.99	c  206s |      18 |   404117 |   342752 |    14236     59 |        5 |      286
208.97/209.06	c  208s |      18 |   407642 |   345752 |    14236     59 |        5 |      286
210.96/211.09	c  210s |      18 |   411346 |   348952 |    14236     60 |        5 |      286
212.96/213.09	c  212s |      18 |   414721 |   351952 |    14236     60 |        5 |      286
215.06/215.12	c  214s |      18 |   417773 |   354652 |    14236     61 |        5 |      286
217.06/217.15	c  217s |      18 |   421323 |   357852 |    14236     61 |        5 |      286
219.16/219.22	c  219s |      18 |   424526 |   360752 |    14236     61 |        5 |      286
221.16/221.26	c  221s |      18 |   425715 |   361752 |    14236     62 |        5 |      286
223.16/223.27	c  223s |      18 |   429842 |   365152 |    14236     62 |        5 |      286
225.15/225.28	c  225s |      18 |   433445 |   368252 |    14236     62 |        5 |      286
227.16/227.30	c  227s |      18 |   437179 |   371352 |    14236     63 |        5 |      286
229.25/229.31	c  229s |      18 |   440592 |   374352 |    14236     63 |        5 |      286
231.25/231.33	c  231s |      18 |   444382 |   377552 |    14236     64 |        5 |      286
233.26/233.35	c  233s |      18 |   447947 |   380652 |    14236     64 |        5 |      286
235.25/235.40	c  235s |      18 |   450197 |   382552 |    14236     64 |        5 |      286
237.35/237.43	c  237s |      18 |   453614 |   385352 |    14236     65 |        5 |      286
239.35/239.46	c  239s |      18 |   457459 |   388552 |    14236     65 |        5 |      286
241.45/241.50	c  241s |      18 |   461009 |   391552 |    14236     66 |        5 |      286
243.45/243.50	c  243s |      18 |   465153 |   394952 |    14236     66 |        5 |      286
245.45/245.53	c  245s |      18 |   468491 |   397752 |    14236     67 |        5 |      286
247.46/247.54	c  247s |      18 |   472411 |   401052 |    14236     67 |        5 |      286
249.55/249.61	c  249s |      18 |   475859 |   403952 |    14236     67 |        5 |      286
251.65/251.73	c  251s |      18 |   478504 |   406152 |    14236     68 |        5 |      286
253.65/253.74	c  253s |      18 |   482383 |   409452 |    14236     68 |        5 |      286
255.65/255.76	c  255s |      18 |   485858 |   412452 |    14236     69 |        5 |      286
257.64/257.78	c  257s |      18 |   489634 |   415852 |    14236     69 |        5 |      286
259.75/259.80	c  259s |      18 |   492743 |   418552 |    14236     69 |        5 |      286
261.76/261.86	c  261s |      18 |   496259 |   421552 |    14236     70 |        5 |      286
263.85/263.92	c  263s |      18 |   499951 |   424752 |    14236     70 |        5 |      286
265.85/265.98	c  265s |      18 |   503286 |   427752 |    14236     71 |        5 |      286
267.95/268.00	c  267s |      18 |   506646 |   430752 |    14236     71 |        5 |      286
269.95/270.05	c  269s |      18 |   509842 |   433552 |    14236     72 |        5 |      286
271.95/272.06	c  271s |      18 |   512038 |   435552 |    14236     72 |        5 |      286
273.95/274.06	c  273s |      18 |   515062 |   438152 |    14236     72 |        5 |      286
275.95/276.08	c  275s |      18 |   518426 |   441052 |    14236     73 |        5 |      286
277.95/278.08	c  277s |      18 |   521879 |   444052 |    15660     73 |        5 |      286
278.25/278.40	c  278s |      19 |   522351 |   444482 |    15660     73 |        5 |      286
280.35/280.45	c  280s |      19 |   525141 |   446782 |    15660     73 |        5 |      286
282.45/282.53	c  282s |      19 |   527926 |   449182 |    15660     74 |        5 |      286
284.64/284.79	c  284s |      19 |   531150 |   451982 |    15660     74 |        5 |      286
286.74/286.80	c  286s |      19 |   534951 |   455182 |    15660     74 |        5 |      286
288.74/288.85	c  288s |      19 |   537771 |   457482 |    15660     75 |        5 |      286
290.74/290.89	c  290s |      19 |   541035 |   460182 |    15660     75 |        5 |      286
292.84/292.90	c  292s |      19 |   543936 |   462582 |    15660     75 |        5 |      286
294.85/294.97	c  294s |      19 |   546591 |   464782 |    15660     75 |        5 |      286
296.84/296.99	c  296s |      19 |   549878 |   467482 |    15660     76 |        5 |      286
298.94/299.06	c  298s |      19 |   553468 |   470582 |    15660     76 |        5 |      286
300.95/301.09	c  300s |      19 |   556784 |   473382 |    15660     77 |        5 |      286
303.05/303.14	c  302s |      19 |   560315 |   476482 |    15660     77 |        5 |      286
305.05/305.18	c  305s |      19 |   563547 |   479282 |    15660     77 |        5 |      286
307.15/307.24	c  307s |      19 |   566837 |   482082 |    15660     78 |        5 |      286
309.25/309.31	c  309s |      19 |   569551 |   484382 |    15660     78 |        5 |      286
311.25/311.38	c  311s |      19 |   572603 |   486982 |    15660     78 |        5 |      286
313.45/313.51	c  313s |      19 |   574869 |   488982 |    15660     79 |        5 |      286
315.44/315.51	c  315s |      19 |   578889 |   492382 |    15660     79 |        5 |      286
317.44/317.55	c  317s |      19 |   582650 |   495582 |    15660     79 |        5 |      286
319.44/319.55	c  319s |      19 |   585829 |   498282 |    15660     80 |        5 |      286
321.44/321.59	c  321s |      19 |   589718 |   501682 |    15660     80 |        5 |      286
323.54/323.60	c  323s |      19 |   593187 |   504582 |    15660     80 |        5 |      286
325.55/325.63	c  325s |      19 |   597014 |   507882 |    15660     81 |        5 |      286
327.64/327.70	c  327s |      19 |   600703 |   511182 |    15660     81 |        5 |      286
329.64/329.75	c  329s |      19 |   603965 |   514182 |    15660     82 |        5 |      286
331.94/332.04	c  331s |      19 |   606817 |   516682 |    15660     82 |        5 |      286
333.94/334.09	c  333s |      19 |   610313 |   519682 |    15660     82 |        5 |      286
336.04/336.10	c  335s |      19 |   614175 |   522982 |    15660     83 |        5 |      286
338.04/338.15	c  338s |      19 |   617855 |   526282 |    15660     83 |        5 |      286
340.04/340.18	c  340s |      19 |   620993 |   529082 |    15660     84 |        5 |      286
342.04/342.20	c  342s |      19 |   624728 |   532482 |    15660     84 |        5 |      286
344.13/344.23	c  344s |      19 |   628105 |   535482 |    15660     84 |        5 |      286
346.23/346.30	c  346s |      19 |   631420 |   538482 |    15660     85 |        5 |      286
348.24/348.31	c  348s |      19 |   634521 |   541282 |    15660     85 |        5 |      286
351.43/351.50	c  351s |      19 |   636468 |   542982 |    15660     85 |        5 |      286
353.43/353.50	c  353s |      19 |   640273 |   546182 |    15660     86 |        5 |      286
355.43/355.54	c  355s |      19 |   643930 |   549282 |    15660     86 |        5 |      286
357.43/357.59	c  357s |      19 |   647488 |   552382 |    15660     86 |        5 |      286
359.53/359.60	c  359s |      19 |   650944 |   555382 |    15660     87 |        5 |      286
361.53/361.65	c  361s |      19 |   654333 |   558282 |    15660     87 |        5 |      286
363.52/363.67	c  363s |      19 |   657821 |   561182 |    15660     88 |        5 |      286
365.62/365.73	c  365s |      19 |   661933 |   564782 |    15660     88 |        5 |      286
367.62/367.78	c  367s |      19 |   665431 |   567882 |    15660     88 |        5 |      286
370.52/370.69	c  370s |      19 |   667769 |   569982 |    15660     89 |        5 |      286
372.62/372.74	c  372s |      19 |   671539 |   573282 |    15660     89 |        5 |      286
374.62/374.79	c  374s |      19 |   674520 |   575982 |    15660     89 |        5 |      286
376.72/376.81	c  376s |      19 |   677975 |   578982 |    15660     90 |        5 |      286
378.72/378.85	c  378s |      19 |   681433 |   581982 |    15660     90 |        5 |      286
380.72/380.88	c  380s |      19 |   684641 |   584882 |    15660     91 |        5 |      286
382.82/382.92	c  382s |      19 |   688058 |   587982 |    15660     91 |        5 |      286
384.81/384.93	c  384s |      19 |   691049 |   590682 |    15660     91 |        5 |      286
386.81/386.97	c  386s |      19 |   693909 |   593182 |    15660     92 |        5 |      286
389.33/389.49	c  389s |      19 |   696660 |   595682 |    15660     92 |        5 |      286
391.42/391.51	c  391s |      19 |   700012 |   598582 |    15660     92 |        5 |      286
393.42/393.56	c  393s |      19 |   703079 |   601282 |    15660     93 |        5 |      286
395.42/395.57	c  395s |      19 |   706933 |   604582 |    15660     93 |        5 |      286
397.42/397.58	c  397s |      19 |   710172 |   607482 |    15660     93 |        5 |      286
399.52/399.61	c  399s |      19 |   712816 |   609782 |    15660     94 |        5 |      286
401.52/401.65	c  401s |      19 |   716320 |   612682 |    15660     94 |        5 |      286
403.51/403.68	c  403s |      19 |   719642 |   615582 |    15660     94 |        5 |      286
405.61/405.72	c  405s |      19 |   723282 |   618682 |    15660     95 |        5 |      286
407.61/407.74	c  407s |      19 |   726648 |   621682 |    15660     95 |        5 |      286
409.71/409.80	c  409s |      19 |   729637 |   624382 |    15660     96 |        5 |      286
411.71/411.82	c  411s |      19 |   733621 |   627782 |    15660     96 |        5 |      286
413.70/413.83	c  413s |      19 |   735736 |   629582 |    15660     96 |        5 |      286
415.71/415.87	c  415s |      19 |   738774 |   632282 |    15660     97 |        5 |      286
417.70/417.88	c  417s |      19 |   742363 |   635482 |    15660     97 |        5 |      286
419.70/419.89	c  419s |      19 |   745594 |   638382 |    15660     97 |        5 |      286
421.80/421.90	c  421s |      19 |   749107 |   641382 |    15660     98 |        5 |      286
423.80/423.92	c  423s |      19 |   752121 |   643982 |    15660     98 |        5 |      286
425.80/425.99	c  425s |      19 |   755324 |   646782 |    15660     98 |        5 |      286
427.91/428.04	c  427s |      19 |   758453 |   649582 |    15660     99 |        5 |      286
429.90/430.07	c  429s |      19 |   761642 |   652482 |    15660     99 |        5 |      286
432.60/432.77	c  432s |      19 |   764521 |   655082 |    15660     99 |        5 |      286
434.61/434.78	c  434s |      19 |   766849 |   657182 |    15660    100 |        5 |      286
436.61/436.78	c  436s |      19 |   770261 |   660182 |    15660    100 |        5 |      286
438.71/438.84	c  438s |      19 |   773729 |   663182 |    17226    100 |        5 |      286
440.71/440.86	c  440s |      19 |   776462 |   665582 |    17226    101 |        5 |      286
441.51/441.68	c  441s |      20 |   778026 |   666827 |    17226    101 |        5 |      286
443.61/443.73	c  443s |      20 |   781007 |   669327 |    17226    101 |        5 |      286
445.61/445.74	c  445s |      20 |   783893 |   671927 |    17226    101 |        5 |      286
447.71/447.81	c  447s |      20 |   786140 |   673927 |    17226    102 |        5 |      286
449.70/449.81	c  449s |      20 |   789424 |   676727 |    17226    102 |        5 |      286
451.70/451.81	c  451s |      20 |   792747 |   679727 |    17226    102 |        5 |      286
453.70/453.81	c  453s |      20 |   795849 |   682427 |    17226    102 |        5 |      286
455.70/455.85	c  455s |      20 |   799142 |   685427 |    17226    103 |        5 |      286
457.80/457.90	c  457s |      20 |   801283 |   687327 |    17226    103 |        5 |      286
459.81/459.98	c  459s |      20 |   804389 |   690027 |    17226    103 |        5 |      286
461.80/461.99	c  461s |      20 |   807304 |   692627 |    17226    104 |        5 |      286
463.90/464.06	c  463s |      20 |   810554 |   695527 |    17226    104 |        5 |      286
466.00/466.11	c  465s |      20 |   813446 |   698127 |    17226    104 |        5 |      286
468.00/468.14	c  468s |      20 |   815893 |   700227 |    17226    105 |        5 |      286
470.09/470.21	c  470s |      20 |   819605 |   703527 |    17226    105 |        5 |      286
472.10/472.21	c  472s |      20 |   822848 |   706427 |    17226    105 |        5 |      286
474.10/474.23	c  474s |      20 |   825701 |   709027 |    17226    106 |        5 |      286
476.09/476.27	c  476s |      20 |   829254 |   712227 |    17226    106 |        5 |      286
478.19/478.32	c  478s |      20 |   832589 |   714927 |    17226    106 |        5 |      286
480.29/480.46	c  480s |      20 |   835409 |   717527 |    17226    107 |        5 |      286
483.48/483.70	c  483s |      20 |   838271 |   720127 |    17226    107 |        5 |      286
485.59/485.79	c  485s |      20 |   838640 |   720427 |    17226    107 |        5 |      286
487.68/487.85	c  487s |      20 |   842207 |   723427 |    17226    107 |        5 |      286
489.88/490.03	c  489s |      20 |   845488 |   726227 |    17226    108 |        5 |      286
491.88/492.06	c  491s |      20 |   849048 |   729327 |    17226    108 |        5 |      286
493.98/494.13	c  493s |      20 |   852364 |   732227 |    17226    108 |        5 |      286
495.98/496.13	c  495s |      20 |   854887 |   734527 |    17226    108 |        5 |      286
497.98/498.18	c  498s |      20 |   857655 |   736927 |    17226    109 |        5 |      286
500.08/500.22	c  500s |      20 |   861007 |   739827 |    17226    109 |        5 |      286
502.07/502.28	c  502s |      20 |   863893 |   742427 |    17226    109 |        5 |      286
504.17/504.32	c  504s |      20 |   866785 |   745027 |    17226    110 |        5 |      286
506.17/506.36	c  506s |      20 |   869902 |   747827 |    17226    110 |        5 |      286
508.27/508.44	c  508s |      20 |   872805 |   750327 |    17226    110 |        5 |      286
510.28/510.44	c  510s |      20 |   875134 |   752427 |    17226    111 |        5 |      286
512.27/512.49	c  512s |      20 |   878095 |   755027 |    17226    111 |        5 |      286
514.36/514.52	c  514s |      20 |   879058 |   755827 |    17226    111 |        5 |      286
516.36/516.53	c  516s |      20 |   882410 |   758627 |    17226    111 |        5 |      286
518.46/518.66	c  518s |      20 |   885323 |   761127 |    17226    112 |        5 |      286
520.46/520.67	c  520s |      20 |   888688 |   764027 |    17226    112 |        5 |      286
522.56/522.73	c  522s |      20 |   891996 |   766927 |    17226    112 |        5 |      286
524.66/524.81	c  524s |      20 |   894909 |   769527 |    17226    112 |        5 |      286
526.66/526.82	c  526s |      20 |   897790 |   772027 |    17226    113 |        5 |      286
528.76/528.96	c  528s |      20 |   900469 |   774327 |    17226    113 |        5 |      286
530.76/530.98	c  530s |      20 |   903843 |   777227 |    17226    113 |        5 |      286
532.86/533.00	c  532s |      20 |   906896 |   779827 |    17226    114 |        5 |      286
534.86/535.05	c  534s |      20 |   910543 |   783027 |    17226    114 |        5 |      286
536.96/537.12	c  536s |      20 |   913271 |   785527 |    17226    114 |        5 |      286
538.96/539.16	c  539s |      20 |   916192 |   788127 |    17226    115 |        5 |      286
541.06/541.21	c  541s |      20 |   918986 |   790527 |    17226    115 |        5 |      286
543.05/543.26	c  543s |      20 |   922106 |   793327 |    17226    115 |        5 |      286
545.05/545.27	c  545s |      20 |   924867 |   795827 |    17226    115 |        5 |      286
547.05/547.27	c  547s |      20 |   928032 |   798627 |    17226    116 |        5 |      286
549.15/549.30	c  549s |      20 |   930892 |   801127 |    17226    116 |        5 |      286
551.15/551.31	c  551s |      20 |   933689 |   803627 |    17226    116 |        5 |      286
553.15/553.32	c  553s |      20 |   936704 |   806227 |    17226    117 |        5 |      286
555.15/555.37	c  555s |      20 |   939563 |   808727 |    17226    117 |        5 |      286
557.24/557.41	c  557s |      20 |   940877 |   809927 |    17226    117 |        5 |      286
559.25/559.42	c  559s |      20 |   942081 |   810927 |    17226    117 |        5 |      286
561.25/561.45	c  561s |      20 |   944798 |   813327 |    17226    118 |        5 |      286
563.24/563.46	c  563s |      20 |   948470 |   816427 |    17226    118 |        5 |      286
565.25/565.47	c  565s |      20 |   951763 |   819327 |    17226    118 |        5 |      286
567.24/567.48	c  567s |      20 |   954983 |   822127 |    17226    119 |        5 |      286
569.34/569.51	c  569s |      20 |   958200 |   825027 |    17226    119 |        5 |      286
571.34/571.52	c  571s |      20 |   961235 |   827827 |    17226    119 |        5 |      286
573.34/573.53	c  573s |      20 |   964092 |   830427 |    17226    119 |        5 |      286
575.34/575.59	c  575s |      20 |   967156 |   833227 |    17226    120 |        5 |      286
577.44/577.66	c  577s |      20 |   970687 |   836227 |    17226    120 |        5 |      286
579.54/579.72	c  579s |      20 |   973831 |   839027 |    17226    120 |        5 |      286
581.94/582.19	c  582s |      20 |   975643 |   840627 |    17226    121 |        5 |      286
584.05/584.22	c  584s |      20 |   978489 |   843227 |    17226    121 |        5 |      286
586.04/586.23	c  586s |      20 |   981704 |   846027 |    17226    121 |        5 |      286
588.04/588.26	c  588s |      20 |   984523 |   848327 |    17226    122 |        5 |      286
590.14/590.35	c  590s |      20 |   987742 |   851227 |    17226    122 |        5 |      286
592.24/592.40	c  592s |      20 |   991062 |   854127 |    17226    122 |        5 |      286
594.23/594.47	c  594s |      20 |   993777 |   856427 |    17226    122 |        5 |      286
596.23/596.47	c  596s |      20 |   996737 |   859027 |    17226    123 |        5 |      286
598.24/598.47	c  598s |      20 |   999977 |   861927 |    17226    123 |        5 |      286
600.23/600.49	c  600s |      20 |  1003108 |   864627 |    17226    123 |        5 |      286
602.33/602.53	c  602s |      20 |  1006370 |   867527 |    17226    124 |        5 |      286
604.33/604.58	c  604s |      20 |  1009742 |   870527 |    17226    124 |        5 |      286
608.53/608.76	c  608s |      20 |  1012619 |   873027 |    17226    124 |        5 |      286
610.53/610.78	c  610s |      20 |  1015379 |   875327 |    17226    125 |        5 |      286
612.63/612.81	c  612s |      20 |  1018840 |   878327 |    17226    125 |        5 |      286
614.62/614.82	c  614s |      20 |  1022219 |   881327 |    17226    125 |        5 |      286
616.62/616.87	c  616s |      20 |  1025444 |   884127 |    17226    126 |        5 |      286
618.72/618.96	c  618s |      20 |  1028958 |   887227 |    17226    126 |        5 |      286
620.72/620.99	c  620s |      20 |  1031797 |   889827 |    17226    126 |        5 |      286
622.82/623.04	c  622s |      20 |  1034490 |   892227 |    17226    127 |        5 |      286
624.81/625.06	c  624s |      20 |  1036750 |   894227 |    17226    127 |        5 |      286
626.92/627.12	c  626s |      20 |  1040431 |   897327 |    17226    127 |        5 |      286
628.91/629.13	c  628s |      20 |  1043691 |   900227 |    17226    127 |        5 |      286
630.91/631.15	c  631s |      20 |  1046452 |   902627 |    17226    128 |        5 |      286
632.91/633.17	c  633s |      20 |  1049802 |   905627 |    17226    128 |        5 |      286
634.91/635.19	c  635s |      20 |  1052707 |   908227 |    17226    128 |        5 |      286
637.21/637.45	c  637s |      20 |  1055519 |   910727 |    17226    129 |        5 |      286
639.21/639.45	c  639s |      20 |  1058754 |   913627 |    17226    129 |        5 |      286
641.31/641.52	c  641s |      20 |  1061940 |   916527 |    17226    129 |        5 |      286
643.31/643.57	c  643s |      20 |  1064481 |   918727 |    17226    130 |        5 |      286
646.00/646.23	c  646s |      20 |  1067821 |   921727 |    17226    130 |        5 |      286
648.00/648.28	c  648s |      20 |  1070900 |   924327 |    17226    130 |        5 |      286
650.10/650.31	c  650s |      20 |  1074056 |   927027 |    17226    131 |        5 |      286
652.11/652.33	c  652s |      20 |  1077441 |   930027 |    17226    131 |        5 |      286
654.10/654.37	c  654s |      20 |  1080655 |   932927 |    17226    131 |        5 |      286
656.30/656.50	c  656s |      20 |  1083457 |   935427 |    17226    132 |        5 |      286
658.31/658.55	c  658s |      20 |  1087079 |   938527 |    17226    132 |        5 |      286
660.31/660.57	c  660s |      20 |  1090179 |   941227 |    17226    132 |        5 |      286
662.40/662.62	c  662s |      20 |  1093432 |   943927 |    17226    132 |        5 |      286
664.40/664.67	c  664s |      20 |  1096666 |   946727 |    17226    133 |        5 |      286
666.41/666.69	c  666s |      20 |  1100414 |   949927 |    17226    133 |        5 |      286
669.30/669.54	c  669s |      20 |  1103744 |   952827 |    17226    134 |        5 |      286
671.40/671.68	c  671s |      20 |  1107469 |   956027 |    17226    134 |        5 |      286
673.50/673.73	c  673s |      20 |  1111098 |   959227 |    17226    134 |        5 |      286
675.50/675.77	c  675s |      20 |  1114174 |   961827 |    17226    135 |        5 |      286
677.50/677.77	c  677s |      20 |  1117813 |   964927 |    17226    135 |        5 |      286
679.60/679.86	c  679s |      20 |  1120907 |   967627 |    17226    135 |        5 |      286
681.90/682.17	c  682s |      20 |  1123891 |   970327 |    17226    136 |        5 |      286
683.89/684.18	c  684s |      20 |  1127277 |   973427 |    17226    136 |        5 |      286
685.99/686.23	c  686s |      20 |  1130490 |   976327 |    17226    136 |        5 |      286
687.99/688.26	c  688s |      20 |  1133089 |   978627 |    17226    136 |        5 |      286
690.09/690.31	c  690s |      20 |  1136238 |   981327 |    17226    137 |        5 |      286
692.19/692.45	c  692s |      20 |  1138773 |   983627 |    17226    137 |        5 |      286
694.29/694.51	c  694s |      20 |  1141856 |   986327 |    17226    137 |        5 |      286
696.29/696.52	c  696s |      20 |  1144759 |   988927 |    17226    138 |        5 |      286
698.29/698.56	c  698s |      20 |  1148160 |   991827 |    17226    138 |        5 |      286
700.29/700.58	c  700s |      20 |  1151171 |   994527 |    18949    138 |        5 |      286
702.39/702.69	c  702s |      20 |  1153662 |   996727 |    18949    138 |        5 |      286
704.49/704.70	c  704s |      20 |  1155952 |   998727 |    18949    139 |        5 |      286
705.49/705.79	c  705s |      21 |  1157766 |  1000345 |    18949    139 |        5 |      286
707.59/707.81	c  707s |      21 |  1158706 |  1001045 |    18949    139 |        5 |      286
709.59/709.87	c  709s |      21 |  1162581 |  1004245 |    18949    139 |        5 |      286
711.69/711.93	c  711s |      21 |  1166269 |  1007345 |    18949    139 |        5 |      286
713.88/714.15	c  714s |      21 |  1169773 |  1010345 |    18949    140 |        5 |      286
715.89/716.15	c  716s |      21 |  1173710 |  1013545 |    18949    140 |        5 |      286
717.98/718.22	c  718s |      21 |  1177463 |  1016745 |    18949    140 |        5 |      286
719.98/720.26	c  720s |      21 |  1181218 |  1019945 |    18949    141 |        5 |      286
721.98/722.28	c  722s |      21 |  1184588 |  1022845 |    18949    141 |        5 |      286
724.08/724.31	c  724s |      21 |  1187856 |  1025545 |    18949    141 |        5 |      286
726.08/726.37	c  726s |      21 |  1191399 |  1028645 |    18949    142 |        5 |      286
728.08/728.38	c  728s |      21 |  1195239 |  1032045 |    18949    142 |        5 |      286
730.18/730.44	c  730s |      21 |  1196917 |  1033545 |    18949    142 |        5 |      286
732.28/732.50	c  732s |      21 |  1198216 |  1034545 |    18949    142 |        5 |      286
734.38/734.61	c  734s |      21 |  1200542 |  1036545 |    18949    143 |        5 |      286
736.38/736.66	c  736s |      21 |  1204789 |  1040145 |    18949    143 |        5 |      286
738.48/738.72	c  738s |      21 |  1208492 |  1043245 |    18949    143 |        5 |      286
740.48/740.72	c  740s |      21 |  1211678 |  1046045 |    18949    144 |        5 |      286
742.48/742.74	c  742s |      21 |  1215942 |  1049745 |    18949    144 |        5 |      286
744.48/744.76	c  744s |      21 |  1219615 |  1053045 |    18949    144 |        5 |      286
746.47/746.78	c  746s |      21 |  1222325 |  1055445 |    18949    144 |        5 |      286
748.57/748.80	c  748s |      21 |  1225170 |  1058045 |    18949    145 |        5 |      286
750.57/750.84	c  750s |      21 |  1228593 |  1061045 |    18949    145 |        5 |      286
752.57/752.87	c  752s |      21 |  1231819 |  1063845 |    18949    145 |        5 |      286
754.56/754.88	c  754s |      21 |  1234670 |  1066345 |    18949    146 |        5 |      286
756.67/756.91	c  756s |      21 |  1237965 |  1069245 |    18949    146 |        5 |      286
758.66/758.95	c  758s |      21 |  1240884 |  1071845 |    18949    146 |        5 |      286
760.76/761.02	c  760s |      21 |  1243510 |  1074245 |    18949    146 |        5 |      286
762.76/763.04	c  762s |      21 |  1246480 |  1076945 |    18949    147 |        5 |      286
764.76/765.08	c  764s |      21 |  1249878 |  1080045 |    18949    147 |        5 |      286
766.86/767.14	c  766s |      21 |  1252600 |  1082545 |    18949    147 |        5 |      286
768.96/769.20	c  769s |      21 |  1254118 |  1083845 |    18949    147 |        5 |      286
770.96/771.25	c  771s |      21 |  1257178 |  1086445 |    18949    148 |        5 |      286
772.95/773.26	c  773s |      21 |  1260778 |  1089645 |    18949    148 |        5 |      286
775.15/775.41	c  775s |      21 |  1263822 |  1092345 |    18949    148 |        5 |      286
777.15/777.43	c  777s |      21 |  1266552 |  1094645 |    18949    149 |        5 |      286
779.15/779.45	c  779s |      21 |  1270190 |  1097745 |    18949    149 |        5 |      286
781.15/781.47	c  781s |      21 |  1270303 |  1097845 |    18949    149 |        5 |      286
783.25/783.53	c  783s |      21 |  1273625 |  1100545 |    18949    149 |        5 |      286
785.35/785.63	c  785s |      21 |  1277065 |  1103445 |    18949    150 |        5 |      286
787.35/787.65	c  787s |      21 |  1280832 |  1106645 |    18949    150 |        5 |      286
789.44/789.70	c  789s |      21 |  1283861 |  1109245 |    18949    150 |        5 |      286
791.44/791.70	c  791s |      21 |  1287338 |  1112245 |    18949    150 |        5 |      286
793.45/793.75	c  793s |      21 |  1291211 |  1115545 |    18949    151 |        5 |      286
795.55/795.80	c  795s |      21 |  1294997 |  1118845 |    18949    151 |        5 |      286
797.55/797.83	c  797s |      21 |  1298445 |  1121945 |    18949    151 |        5 |      286
799.55/799.87	c  799s |      21 |  1300388 |  1123545 |    18949    152 |        5 |      286
801.65/801.92	c  801s |      21 |  1304511 |  1127045 |    18949    152 |        5 |      286
803.64/803.97	c  803s |      21 |  1308275 |  1130345 |    18949    152 |        5 |      286
805.84/806.14	c  805s |      21 |  1311887 |  1133345 |    18949    153 |        5 |      286
807.84/808.19	c  808s |      21 |  1315587 |  1136545 |    18949    153 |        5 |      286
809.94/810.24	c  810s |      21 |  1318899 |  1139445 |    18949    153 |        5 |      286
811.94/812.28	c  812s |      21 |  1321995 |  1142145 |    18949    154 |        5 |      286
814.04/814.32	c  814s |      21 |  1325277 |  1144945 |    18949    154 |        5 |      286
816.05/816.34	c  816s |      21 |  1328591 |  1147845 |    18949    154 |        5 |      286
818.04/818.40	c  818s |      21 |  1331794 |  1150645 |    18949    154 |        5 |      286
820.14/820.44	c  820s |      21 |  1335212 |  1153745 |    18949    155 |        5 |      286
822.14/822.46	c  822s |      21 |  1338517 |  1156745 |    18949    155 |        5 |      286
825.73/826.03	c  825s |      21 |  1338856 |  1157045 |    18949    155 |        5 |      286
827.73/828.08	c  827s |      21 |  1342311 |  1160045 |    18949    155 |        5 |      286
829.83/830.16	c  830s |      21 |  1345442 |  1162845 |    18949    156 |        5 |      286
831.83/832.17	c  832s |      21 |  1348654 |  1165645 |    18949    156 |        5 |      286
833.83/834.19	c  834s |      21 |  1351886 |  1168545 |    18949    156 |        5 |      286
835.93/836.21	c  836s |      21 |  1354609 |  1171045 |    18949    157 |        5 |      286
837.93/838.27	c  838s |      21 |  1357022 |  1173245 |    18949    157 |        5 |      286
840.02/840.31	c  840s |      21 |  1360511 |  1176245 |    18949    157 |        5 |      286
842.02/842.33	c  842s |      21 |  1363354 |  1178745 |    18949    157 |        5 |      286
844.02/844.34	c  844s |      21 |  1365804 |  1180945 |    18949    158 |        5 |      286
846.22/846.56	c  846s |      21 |  1368612 |  1183445 |    18949    158 |        5 |      286
848.33/848.62	c  848s |      21 |  1371718 |  1186245 |    18949    158 |        5 |      286
850.43/850.70	c  850s |      21 |  1374648 |  1188845 |    18949    158 |        5 |      286
852.42/852.77	c  852s |      21 |  1377527 |  1191345 |    18949    159 |        5 |      286
854.43/854.79	c  854s |      21 |  1380481 |  1193945 |    18949    159 |        5 |      286
856.52/856.83	c  856s |      21 |  1383386 |  1196545 |    18949    159 |        5 |      286
858.52/858.86	c  858s |      21 |  1385921 |  1198745 |    18949    159 |        5 |      286
860.52/860.88	c  860s |      21 |  1388616 |  1201145 |    18949    160 |        5 |      286
862.51/862.89	c  862s |      21 |  1391674 |  1203945 |    18949    160 |        5 |      286
864.62/864.95	c  864s |      21 |  1394726 |  1206645 |    18949    160 |        5 |      286
866.62/866.99	c  866s |      21 |  1397030 |  1208745 |    18949    161 |        5 |      286
868.72/869.03	c  868s |      21 |  1400147 |  1211645 |    18949    161 |        5 |      286
870.81/871.10	c  870s |      21 |  1403214 |  1214445 |    18949    161 |        5 |      286
872.81/873.12	c  872s |      21 |  1405920 |  1216945 |    18949    161 |        5 |      286
874.81/875.16	c  875s |      21 |  1407037 |  1217945 |    18949    161 |        5 |      286
876.81/877.16	c  877s |      21 |  1410045 |  1220545 |    18949    162 |        5 |      286
878.91/879.21	c  879s |      21 |  1413802 |  1223845 |    18949    162 |        5 |      286
881.01/881.30	c  881s |      21 |  1417231 |  1226745 |    18949    162 |        5 |      286
883.02/883.36	c  883s |      21 |  1420439 |  1229545 |    18949    163 |        5 |      286
885.01/885.38	c  885s |      21 |  1423771 |  1232545 |    18949    163 |        5 |      286
887.11/887.44	c  887s |      21 |  1426618 |  1234945 |    18949    163 |        5 |      286
889.31/889.68	c  889s |      21 |  1429477 |  1237445 |    18949    164 |        5 |      286
891.41/891.74	c  891s |      21 |  1433841 |  1241145 |    18949    164 |        5 |      286
893.41/893.75	c  893s |      21 |  1437198 |  1244145 |    18949    164 |        5 |      286
895.41/895.78	c  895s |      21 |  1440163 |  1246745 |    18949    164 |        5 |      286
897.50/897.80	c  897s |      21 |  1443525 |  1249745 |    18949    165 |        5 |      286
899.51/899.85	c  899s |      21 |  1447001 |  1252845 |    18949    165 |        5 |      286
901.50/901.86	c  901s |      21 |  1450228 |  1255745 |    18949    165 |        5 |      286
904.80/905.20	c  905s |      21 |  1452307 |  1257645 |    18949    166 |        5 |      286
906.91/907.22	c  907s |      21 |  1453732 |  1258845 |    18949    166 |        5 |      286
908.91/909.24	c  909s |      21 |  1457779 |  1262145 |    18949    166 |        5 |      286
910.91/911.25	c  911s |      21 |  1461290 |  1265145 |    18949    166 |        5 |      286
913.10/913.42	c  913s |      21 |  1464516 |  1267945 |    18949    167 |        5 |      286
915.10/915.48	c  915s |      21 |  1468249 |  1271245 |    18949    167 |        5 |      286
917.21/917.54	c  917s |      21 |  1471397 |  1274045 |    18949    167 |        5 |      286
919.20/919.58	c  919s |      21 |  1474414 |  1276645 |    18949    168 |        5 |      286
921.30/921.62	c  921s |      21 |  1478249 |  1279845 |    18949    168 |        5 |      286
923.30/923.64	c  923s |      21 |  1480695 |  1281845 |    18949    168 |        5 |      286
925.40/925.71	c  925s |      21 |  1484008 |  1284645 |    18949    168 |        5 |      286
927.60/927.90	c  927s |      21 |  1487442 |  1287645 |    18949    169 |        5 |      286
929.60/929.95	c  929s |      21 |  1491463 |  1291045 |    18949    169 |        5 |      286
931.60/931.96	c  931s |      21 |  1494749 |  1293945 |    18949    169 |        5 |      286
933.70/934.01	c  933s |      21 |  1497999 |  1296745 |    18949    170 |        5 |      286
935.69/936.02	c  935s |      21 |  1501234 |  1299445 |    18949    170 |        5 |      286
937.69/938.04	c  937s |      21 |  1504406 |  1302145 |    18949    170 |        5 |      286
939.89/940.25	c  940s |      21 |  1507106 |  1304545 |    18949    171 |        5 |      286
941.99/942.30	c  942s |      21 |  1510808 |  1307845 |    18949    171 |        5 |      286
943.99/944.33	c  944s |      21 |  1513850 |  1310545 |    18949    171 |        5 |      286
945.98/946.37	c  946s |      21 |  1516633 |  1313045 |    18949    171 |        5 |      286
947.99/948.39	c  948s |      21 |  1519149 |  1315345 |    18949    172 |        5 |      286
950.09/950.45	c  950s |      21 |  1522728 |  1318545 |    18949    172 |        5 |      286
952.18/952.52	c  952s |      21 |  1525750 |  1321245 |    18949    172 |        5 |      286
954.28/954.61	c  954s |      21 |  1527638 |  1322845 |    18949    172 |        5 |      286
956.28/956.63	c  956s |      21 |  1530618 |  1325345 |    18949    173 |        5 |      286
958.28/958.64	c  958s |      21 |  1534422 |  1328645 |    18949    173 |        5 |      286
960.28/960.69	c  960s |      21 |  1537689 |  1331445 |    18949    173 |        5 |      286
962.38/962.73	c  962s |      21 |  1540799 |  1334145 |    18949    174 |        5 |      286
964.38/964.79	c  964s |      21 |  1544585 |  1337445 |    18949    174 |        5 |      286
966.48/966.83	c  966s |      21 |  1547773 |  1340345 |    18949    174 |        5 |      286
968.47/968.86	c  968s |      21 |  1550249 |  1342445 |    18949    174 |        5 |      286
970.58/970.90	c  970s |      21 |  1553552 |  1345345 |    18949    175 |        5 |      286
972.58/972.96	c  972s |      21 |  1556876 |  1348245 |    18949    175 |        5 |      286
974.68/975.00	c  974s |      21 |  1559787 |  1350845 |    18949    175 |        5 |      286
976.68/977.02	c  976s |      21 |  1562206 |  1352945 |    18949    176 |        5 |      286
978.69/979.04	c  978s |      21 |  1565467 |  1355845 |    18949    176 |        5 |      286
980.68/981.09	c  980s |      21 |  1568297 |  1358445 |    18949    176 |        5 |      286
982.78/983.10	c  982s |      21 |  1571151 |  1360945 |    18949    176 |        5 |      286
984.78/985.12	c  984s |      21 |  1574071 |  1363545 |    18949    177 |        5 |      286
987.27/987.63	c  987s |      21 |  1575554 |  1364845 |    18949    177 |        5 |      286
989.27/989.67	c  989s |      21 |  1579142 |  1367945 |    18949    177 |        5 |      286
991.37/991.74	c  991s |      21 |  1582173 |  1370645 |    18949    177 |        5 |      286
993.37/993.76	c  993s |      21 |  1584800 |  1372945 |    18949    178 |        5 |      286
995.47/995.82	c  995s |      21 |  1588136 |  1375845 |    18949    178 |        5 |      286
997.48/997.88	c  997s |      21 |  1590996 |  1378345 |    18949    178 |        5 |      286
999.58/999.91	c  999s |      21 |  1593730 |  1380745 |    18949    178 |        5 |      286
1001.57/1001.96	c 1001s |      21 |  1596861 |  1383545 |    18949    179 |        5 |      286
1003.86/1004.30	c 1004s |      21 |  1599683 |  1386045 |    18949    179 |        5 |      286
1005.97/1006.31	c 1006s |      21 |  1602609 |  1388645 |    18949    179 |        5 |      286
1007.96/1008.31	c 1008s |      21 |  1604953 |  1390745 |    18949    180 |        5 |      286
1009.96/1010.35	c 1010s |      21 |  1608253 |  1393745 |    18949    180 |        5 |      286
1012.06/1012.40	c 1012s |      21 |  1611140 |  1396345 |    18949    180 |        5 |      286
1014.06/1014.44	c 1014s |      21 |  1613724 |  1398745 |    18949    180 |        5 |      286
1016.07/1016.50	c 1016s |      21 |  1616343 |  1401145 |    18949    181 |        5 |      286
1018.27/1018.67	c 1018s |      21 |  1618599 |  1403245 |    18949    181 |        5 |      286
1020.36/1020.74	c 1020s |      21 |  1621346 |  1405745 |    18949    181 |        5 |      286
1022.46/1022.83	c 1022s |      21 |  1623884 |  1408045 |    18949    181 |        5 |      286
1025.17/1025.59	c 1025s |      21 |  1626078 |  1410045 |    18949    182 |        5 |      286
1027.26/1027.63	c 1027s |      21 |  1629387 |  1412945 |    18949    182 |        5 |      286
1029.27/1029.67	c 1029s |      21 |  1631534 |  1414845 |    18949    182 |        5 |      286
1031.26/1031.68	c 1031s |      21 |  1635017 |  1417845 |    18949    182 |        5 |      286
1033.36/1033.72	c 1033s |      21 |  1638113 |  1420545 |    18949    183 |        5 |      286
1035.36/1035.78	c 1035s |      21 |  1642320 |  1424245 |    18949    183 |        5 |      286
1037.46/1037.83	c 1037s |      21 |  1645916 |  1427345 |    18949    183 |        5 |      286
1039.46/1039.87	c 1039s |      21 |  1649359 |  1430445 |    18949    184 |        5 |      286
1041.96/1042.31	c 1042s |      21 |  1652205 |  1433045 |    18949    184 |        5 |      286
1043.96/1044.37	c 1044s |      21 |  1655417 |  1435945 |    18949    184 |        5 |      286
1046.06/1046.46	c 1046s |      21 |  1658465 |  1438545 |    18949    185 |        5 |      286
1048.07/1048.49	c 1048s |      21 |  1661891 |  1441645 |    18949    185 |        5 |      286
1050.17/1050.57	c 1050s |      21 |  1665012 |  1444445 |    18949    185 |        5 |      286
1052.16/1052.60	c 1052s |      21 |  1667864 |  1446945 |    18949    185 |        5 |      286
1054.26/1054.60	c 1054s |      21 |  1670646 |  1449345 |    18949    186 |        5 |      286
1056.26/1056.68	c 1056s |      21 |  1674225 |  1452445 |    18949    186 |        5 |      286
1058.26/1058.70	c 1058s |      21 |  1677304 |  1455245 |    18949    186 |        5 |      286
1060.35/1060.79	c 1060s |      21 |  1677635 |  1455545 |    18949    186 |        5 |      286
1062.45/1062.83	c 1062s |      21 |  1680426 |  1458045 |    18949    187 |        5 |      286
1064.46/1064.85	c 1064s |      21 |  1683384 |  1460745 |    18949    187 |        5 |      286
1066.55/1066.90	c 1066s |      21 |  1686763 |  1463745 |    18949    187 |        5 |      286
1068.55/1068.93	c 1068s |      21 |  1689522 |  1466245 |    18949    187 |        5 |      286
1070.55/1070.96	c 1070s |      21 |  1692401 |  1468845 |    18949    188 |        5 |      286
1072.65/1073.02	c 1072s |      21 |  1695181 |  1471345 |    18949    188 |        5 |      286
1074.65/1075.04	c 1074s |      21 |  1697996 |  1473945 |    18949    188 |        5 |      286
1076.66/1077.07	c 1076s |      21 |  1700688 |  1476345 |    18949    188 |        5 |      286
1078.65/1079.08	c 1078s |      21 |  1703469 |  1478745 |    18949    189 |        5 |      286
1080.76/1081.14	c 1080s |      21 |  1706620 |  1481545 |    18949    189 |        5 |      286
1082.76/1083.15	c 1083s |      21 |  1708790 |  1483445 |    18949    189 |        5 |      286
1084.76/1085.15	c 1085s |      21 |  1711724 |  1485945 |    18949    189 |        5 |      286
1086.76/1087.18	c 1087s |      21 |  1714849 |  1488645 |    18949    190 |        5 |      286
1088.85/1089.21	c 1089s |      21 |  1718223 |  1491545 |    20844    190 |        5 |      286
1090.86/1091.26	c 1091s |      21 |  1721537 |  1494445 |    20844    190 |        5 |      286
1092.95/1093.32	c 1093s |      21 |  1724534 |  1497145 |    20844    190 |        5 |      286
1094.95/1095.35	c 1095s |      21 |  1727727 |  1499945 |    20844    191 |        5 |      286
1095.45/1095.82	c 1095s |      22 |  1728479 |  1500622 |    20844    191 |        5 |      286
1097.95/1098.39	c 1098s |      22 |  1728950 |  1501022 |    20844    191 |        5 |      286
1099.95/1100.39	c 1100s |      22 |  1731750 |  1503422 |    20844    191 |        5 |      286
1102.05/1102.44	c 1102s |      22 |  1735283 |  1506522 |    20844    191 |        5 |      286
1104.05/1104.45	c 1104s |      22 |  1738069 |  1508922 |    20844    192 |        5 |      286
1106.05/1106.47	c 1106s |      22 |  1742133 |  1512322 |    20844    192 |        5 |      286
1108.05/1108.48	c 1108s |      22 |  1745679 |  1515422 |    20844    192 |        5 |      286
1111.44/1111.87	c 1111s |      22 |  1748326 |  1517822 |    20844    192 |        5 |      286
1113.54/1113.90	c 1113s |      22 |  1750499 |  1519622 |    20844    193 |        5 |      286
1115.54/1115.95	c 1115s |      22 |  1754728 |  1523222 |    20844    193 |        5 |      286
1117.54/1117.97	c 1117s |      22 |  1758337 |  1526222 |    20844    193 |        5 |      286
1119.56/1119.98	c 1119s |      22 |  1761342 |  1528822 |    20844    193 |        5 |      286
1121.76/1122.11	c 1121s |      22 |  1764264 |  1531422 |    20844    194 |        5 |      286
1123.75/1124.12	c 1123s |      22 |  1768424 |  1534922 |    20844    194 |        5 |      286
1125.75/1126.14	c 1125s |      22 |  1771758 |  1537922 |    20844    194 |        5 |      286
1129.05/1129.40	c 1129s |      22 |  1774588 |  1540422 |    20844    195 |        5 |      286
1131.05/1131.42	c 1131s |      22 |  1779112 |  1544122 |    20844    195 |        5 |      286
1133.05/1133.45	c 1133s |      22 |  1782631 |  1547222 |    20844    195 |        5 |      286
1135.05/1135.47	c 1135s |      22 |  1785624 |  1549822 |    20844    195 |        5 |      286
1137.05/1137.47	c 1137s |      22 |  1789018 |  1552722 |    20844    196 |        5 |      286
1139.05/1139.47	c 1139s |      22 |  1792393 |  1555722 |    20844    196 |        5 |      286
1141.15/1141.50	c 1141s |      22 |  1795462 |  1558522 |    20844    196 |        5 |      286
1143.25/1143.66	c 1143s |      22 |  1798484 |  1561122 |    20844    197 |        5 |      286
1145.24/1145.66	c 1145s |      22 |  1800938 |  1563222 |    20844    197 |        5 |      286
1147.24/1147.67	c 1147s |      22 |  1804195 |  1566122 |    20844    197 |        5 |      286
1149.25/1149.67	c 1149s |      22 |  1807197 |  1568822 |    20844    197 |        5 |      286
1151.35/1151.71	c 1151s |      22 |  1809964 |  1571322 |    20844    197 |        5 |      286
1153.34/1153.78	c 1153s |      22 |  1813429 |  1574322 |    20844    198 |        5 |      286
1155.44/1155.81	c 1155s |      22 |  1816692 |  1577222 |    20844    198 |        5 |      286
1157.44/1157.85	c 1157s |      22 |  1819770 |  1580022 |    20844    198 |        5 |      286
1159.44/1159.89	c 1159s |      22 |  1822416 |  1582422 |    20844    199 |        5 |      286
1161.54/1161.94	c 1161s |      22 |  1825885 |  1585622 |    20844    199 |        5 |      286
1164.54/1164.95	c 1164s |      22 |  1827044 |  1586722 |    20844    199 |        5 |      286
1167.33/1167.71	c 1167s |      22 |  1827178 |  1586822 |    20844    199 |        5 |      286
1169.33/1169.75	c 1169s |      22 |  1831394 |  1590322 |    20844    199 |        5 |      286
1171.34/1171.77	c 1171s |      22 |  1834619 |  1593122 |    20844    200 |        5 |      286
1173.35/1173.78	c 1173s |      22 |  1838164 |  1596222 |    20844    200 |        5 |      286
1175.34/1175.79	c 1175s |      22 |  1841520 |  1599122 |    20844    200 |        5 |      286
1177.44/1177.86	c 1177s |      22 |  1844506 |  1601722 |    20844    200 |        5 |      286
1179.44/1179.87	c 1179s |      22 |  1847452 |  1604322 |    20844    201 |        5 |      286
1181.54/1181.93	c 1181s |      22 |  1849783 |  1606422 |    20844    201 |        5 |      286
1183.54/1183.99	c 1183s |      22 |  1853138 |  1609322 |    20844    201 |        5 |      286
1185.64/1186.01	c 1185s |      22 |  1856083 |  1611922 |    20844    201 |        5 |      286
1187.65/1188.03	c 1187s |      22 |  1858796 |  1614322 |    20844    202 |        5 |      286
1189.64/1190.08	c 1189s |      22 |  1862315 |  1617422 |    20844    202 |        5 |      286
1191.74/1192.15	c 1192s |      22 |  1865472 |  1620322 |    20844    202 |        5 |      286
1193.74/1194.19	c 1194s |      22 |  1868681 |  1623122 |    20844    202 |        5 |      286
1195.84/1196.24	c 1196s |      22 |  1871347 |  1625522 |    20844    203 |        5 |      286
1197.84/1198.24	c 1198s |      22 |  1875023 |  1628722 |    20844    203 |        5 |      286
1199.94/1200.30	c 1200s |      22 |  1878201 |  1631522 |    20844    203 |        5 |      286
1203.54/1203.98	c 1203s |      22 |  1880627 |  1633722 |    20844    203 |        5 |      286
1205.53/1205.98	c 1205s |      22 |  1883231 |  1635922 |    20844    204 |        5 |      286
1207.63/1208.02	c 1207s |      22 |  1886888 |  1639022 |    20844    204 |        5 |      286
1209.64/1210.05	c 1209s |      22 |  1890512 |  1642122 |    20844    204 |        5 |      286
1211.63/1212.09	c 1211s |      22 |  1893550 |  1644722 |    20844    204 |        5 |      286
1213.73/1214.11	c 1213s |      22 |  1897216 |  1647822 |    20844    205 |        5 |      286
1215.73/1216.12	c 1215s |      22 |  1901220 |  1651222 |    20844    205 |        5 |      286
1217.73/1218.13	c 1217s |      22 |  1904802 |  1654322 |    20844    205 |        5 |      286
1219.73/1220.19	c 1220s |      22 |  1908018 |  1657222 |    20844    206 |        5 |      286
1222.44/1222.88	c 1222s |      22 |  1908811 |  1657922 |    20844    206 |        5 |      286
1224.44/1224.89	c 1224s |      22 |  1912403 |  1660922 |    20844    206 |        5 |      286
1226.44/1226.89	c 1226s |      22 |  1915471 |  1663622 |    20844    206 |        5 |      286
1228.54/1228.97	c 1228s |      22 |  1918562 |  1666322 |    20844    206 |        5 |      286
1230.64/1231.02	c 1230s |      22 |  1921710 |  1669022 |    20844    207 |        5 |      286
1232.63/1233.05	c 1232s |      22 |  1924997 |  1671922 |    20844    207 |        5 |      286
1234.63/1235.05	c 1234s |      22 |  1927790 |  1674422 |    20844    207 |        5 |      286
1236.73/1237.16	c 1237s |      22 |  1930598 |  1676922 |    20844    208 |        5 |      286
1240.13/1240.59	c 1240s |      22 |  1933684 |  1679722 |    20844    208 |        5 |      286
1242.23/1242.63	c 1242s |      22 |  1937011 |  1682622 |    20844    208 |        5 |      286
1244.23/1244.66	c 1244s |      22 |  1940035 |  1685222 |    20844    208 |        5 |      286
1246.33/1246.74	c 1246s |      22 |  1942695 |  1687522 |    20844    209 |        5 |      286
1248.33/1248.78	c 1248s |      22 |  1946199 |  1690622 |    20844    209 |        5 |      286
1250.34/1250.80	c 1250s |      22 |  1949517 |  1693622 |    20844    209 |        5 |      286
1252.43/1252.84	c 1252s |      22 |  1952132 |  1696022 |    20844    209 |        5 |      286
1254.43/1254.85	c 1254s |      22 |  1954549 |  1698222 |    20844    210 |        5 |      286
1256.53/1256.90	c 1256s |      22 |  1957503 |  1700922 |    20844    210 |        5 |      286
1258.63/1259.04	c 1258s |      22 |  1960104 |  1703322 |    20844    210 |        5 |      286
1260.73/1261.12	c 1260s |      22 |  1963006 |  1705922 |    20844    210 |        5 |      286
1262.73/1263.16	c 1263s |      22 |  1965393 |  1708122 |    20844    210 |        5 |      286
1264.73/1265.16	c 1265s |      22 |  1967965 |  1710522 |    20844    211 |        5 |      286
1267.52/1267.99	c 1267s |      22 |  1969532 |  1711922 |    20844    211 |        5 |      286
1269.63/1270.01	c 1269s |      22 |  1973094 |  1714922 |    20844    211 |        5 |      286
1271.62/1272.03	c 1271s |      22 |  1976228 |  1717522 |    20844    211 |        5 |      286
1273.72/1274.14	c 1274s |      22 |  1978643 |  1719522 |    20844    212 |        5 |      286
1275.82/1276.20	c 1276s |      22 |  1982845 |  1723022 |    20844    212 |        5 |      286
1277.83/1278.25	c 1278s |      22 |  1986368 |  1726122 |    20844    212 |        5 |      286
1279.82/1280.27	c 1280s |      22 |  1989251 |  1728522 |    20844    212 |        5 |      286
1281.92/1282.33	c 1282s |      22 |  1992348 |  1731222 |    20844    213 |        5 |      286
1283.92/1284.33	c 1284s |      22 |  1996268 |  1734622 |    20844    213 |        5 |      286
1286.03/1286.40	c 1286s |      22 |  1999567 |  1737522 |    20844    213 |        5 |      286
1288.13/1288.59	c 1288s |      22 |  2002579 |  1740122 |    20844    214 |        5 |      286
1290.23/1290.60	c 1290s |      22 |  2006472 |  1743522 |    20844    214 |        5 |      286
1292.23/1292.63	c 1292s |      22 |  2010028 |  1746622 |    20844    214 |        5 |      286
1294.23/1294.67	c 1294s |      22 |  2013177 |  1749322 |    20844    214 |        5 |      286
1298.92/1299.38	c 1299s |      22 |  2014309 |  1750322 |    20844    214 |        5 |      286
1300.92/1301.38	c 1301s |      22 |  2017497 |  1752922 |    20844    215 |        5 |      286
1302.92/1303.39	c 1303s |      22 |  2021549 |  1756222 |    20844    215 |        5 |      286
1305.02/1305.44	c 1305s |      22 |  2025057 |  1759222 |    20844    215 |        5 |      286
1307.12/1307.50	c 1307s |      22 |  2027796 |  1761622 |    20844    216 |        5 |      286
1309.12/1309.51	c 1309s |      22 |  2031361 |  1764822 |    20844    216 |        5 |      286
1311.11/1311.55	c 1311s |      22 |  2034325 |  1767422 |    20844    216 |        5 |      286
1313.21/1313.61	c 1313s |      22 |  2037437 |  1770122 |    20844    216 |        5 |      286
1315.22/1315.62	c 1315s |      22 |  2040288 |  1772522 |    20844    217 |        5 |      286
1317.21/1317.65	c 1317s |      22 |  2044343 |  1775922 |    20844    217 |        5 |      286
1319.91/1320.39	c 1320s |      22 |  2046766 |  1778022 |    20844    217 |        5 |      286
1322.01/1322.44	c 1322s |      22 |  2050113 |  1780722 |    20844    217 |        5 |      286
1324.02/1324.47	c 1324s |      22 |  2053305 |  1783522 |    20844    218 |        5 |      286
1326.01/1326.47	c 1326s |      22 |  2057233 |  1786922 |    20844    218 |        5 |      286
1328.11/1328.53	c 1328s |      22 |  2061007 |  1790122 |    20844    218 |        5 |      286
1330.11/1330.58	c 1330s |      22 |  2064109 |  1792922 |    20844    219 |        5 |      286
1332.41/1332.89	c 1332s |      22 |  2067260 |  1795722 |    20844    219 |        5 |      286
1334.51/1334.91	c 1334s |      22 |  2070618 |  1798622 |    20844    219 |        5 |      286
1336.51/1336.96	c 1336s |      22 |  2073736 |  1801322 |    20844    219 |        5 |      286
1338.51/1338.99	c 1338s |      22 |  2076412 |  1803722 |    20844    220 |        5 |      286
1340.63/1341.05	c 1340s |      22 |  2079961 |  1806822 |    20844    220 |        5 |      286
1342.72/1343.11	c 1342s |      22 |  2083278 |  1809722 |    20844    220 |        5 |      286
1344.72/1345.13	c 1344s |      22 |  2086598 |  1812622 |    20844    220 |        5 |      286
1346.72/1347.13	c 1346s |      22 |  2089564 |  1815322 |    20844    221 |        5 |      286
1348.72/1349.14	c 1348s |      22 |  2093084 |  1818522 |    20844    221 |        5 |      286
1350.72/1351.15	c 1351s |      22 |  2096195 |  1821322 |    20844    221 |        5 |      286
1356.41/1356.81	c 1356s |      22 |  2098112 |  1823022 |    20844    221 |        5 |      286
1358.41/1358.82	c 1358s |      22 |  2100782 |  1825322 |    20844    222 |        5 |      286
1360.42/1360.88	c 1360s |      22 |  2104180 |  1828422 |    20844    222 |        5 |      286
1362.51/1362.90	c 1362s |      22 |  2107217 |  1831122 |    20844    222 |        5 |      286
1364.51/1364.96	c 1364s |      22 |  2110031 |  1833622 |    20844    222 |        5 |      286
1366.51/1366.96	c 1366s |      22 |  2112707 |  1836022 |    20844    223 |        5 |      286
1368.51/1368.96	c 1368s |      22 |  2115719 |  1838722 |    20844    223 |        5 |      286
1370.50/1370.99	c 1370s |      22 |  2118339 |  1841122 |    20844    223 |        5 |      286
1372.60/1373.04	c 1372s |      22 |  2121047 |  1843522 |    20844    223 |        5 |      286
1374.61/1375.06	c 1374s |      22 |  2123330 |  1845622 |    20844    224 |        5 |      286
1377.71/1378.11	c 1377s |      22 |  2126594 |  1848622 |    20844    224 |        5 |      286
1379.71/1380.17	c 1380s |      22 |  2129981 |  1851522 |    20844    224 |        5 |      286
1381.71/1382.18	c 1382s |      22 |  2132780 |  1854022 |    20844    224 |        5 |      286
1383.81/1384.21	c 1384s |      22 |  2135237 |  1856122 |    20844    225 |        5 |      286
1385.81/1386.26	c 1386s |      22 |  2138718 |  1859222 |    20844    225 |        5 |      286
1387.82/1388.29	c 1388s |      22 |  2141575 |  1861822 |    20844    225 |        5 |      286
1389.81/1390.29	c 1390s |      22 |  2144317 |  1864322 |    20844    225 |        5 |      286
1391.91/1392.31	c 1392s |      22 |  2146729 |  1866522 |    20844    226 |        5 |      286
1393.91/1394.36	c 1394s |      22 |  2148807 |  1868422 |    20844    226 |        5 |      286
1395.91/1396.39	c 1396s |      22 |  2152008 |  1871322 |    20844    226 |        5 |      286
1398.01/1398.47	c 1398s |      22 |  2154857 |  1873922 |    20844    226 |        5 |      286
1400.11/1400.52	c 1400s |      22 |  2157600 |  1876322 |    20844    226 |        5 |      286
1402.11/1402.57	c 1402s |      22 |  2159954 |  1878422 |    20844    227 |        5 |      286
1404.21/1404.64	c 1404s |      22 |  2163085 |  1881222 |    20844    227 |        5 |      286
1406.31/1406.71	c 1406s |      22 |  2165895 |  1883722 |    20844    227 |        5 |      286
1408.31/1408.76	c 1408s |      22 |  2168384 |  1886022 |    20844    227 |        5 |      286
1410.70/1411.16	c 1411s |      22 |  2169069 |  1886622 |    20844    227 |        5 |      286
1412.70/1413.17	c 1413s |      22 |  2171606 |  1888722 |    20844    228 |        5 |      286
1414.80/1415.25	c 1415s |      22 |  2175438 |  1892122 |    20844    228 |        5 |      286
1416.90/1417.30	c 1417s |      22 |  2178422 |  1894822 |    20844    228 |        5 |      286
1419.00/1419.42	c 1419s |      22 |  2181221 |  1897322 |    20844    228 |        5 |      286
1421.00/1421.45	c 1421s |      22 |  2184005 |  1899722 |    20844    229 |        5 |      286
1423.01/1423.49	c 1423s |      22 |  2187533 |  1902822 |    20844    229 |        5 |      286
1425.10/1425.55	c 1425s |      22 |  2190534 |  1905522 |    20844    229 |        5 |      286
1427.20/1427.61	c 1427s |      22 |  2193446 |  1908122 |    20844    229 |        5 |      286
1429.20/1429.62	c 1429s |      22 |  2196358 |  1910722 |    20844    230 |        5 |      286
1431.80/1432.22	c 1432s |      22 |  2199488 |  1913522 |    20844    230 |        5 |      286
1433.80/1434.25	c 1434s |      22 |  2201559 |  1915322 |    20844    230 |        5 |      286
1435.80/1436.28	c 1436s |      22 |  2204773 |  1918022 |    20844    230 |        5 |      286
1438.00/1438.43	c 1438s |      22 |  2207270 |  1920222 |    20844    231 |        5 |      286
1440.00/1440.45	c 1440s |      22 |  2210805 |  1923222 |    20844    231 |        5 |      286
1441.99/1442.48	c 1442s |      22 |  2213945 |  1926022 |    20844    231 |        5 |      286
1444.10/1444.53	c 1444s |      22 |  2216582 |  1928422 |    20844    231 |        5 |      286
1446.30/1446.73	c 1446s |      22 |  2217841 |  1929522 |    20844    232 |        5 |      286
1448.30/1448.74	c 1448s |      22 |  2221831 |  1932822 |    20844    232 |        5 |      286
1450.29/1450.79	c 1450s |      22 |  2225921 |  1936322 |    20844    232 |        5 |      286
1452.39/1452.83	c 1452s |      22 |  2228815 |  1938822 |    20844    232 |        5 |      286
1454.40/1454.84	c 1454s |      22 |  2232143 |  1941722 |    20844    233 |        5 |      286
1456.40/1456.87	c 1456s |      22 |  2235691 |  1944822 |    20844    233 |        5 |      286
1458.50/1458.91	c 1458s |      22 |  2238909 |  1947622 |    20844    233 |        5 |      286
1460.51/1460.91	c 1460s |      22 |  2241544 |  1949922 |    20844    233 |        5 |      286
1462.50/1462.98	c 1462s |      22 |  2244684 |  1952622 |    20844    234 |        5 |      286
1464.60/1465.00	c 1464s |      22 |  2247836 |  1955422 |    20844    234 |        5 |      286
1466.60/1467.04	c 1466s |      22 |  2251063 |  1958222 |    20844    234 |        5 |      286
1468.60/1469.04	c 1468s |      22 |  2253818 |  1960622 |    20844    234 |        5 |      286
1470.60/1471.09	c 1470s |      22 |  2257150 |  1963522 |    20844    235 |        5 |      286
1472.70/1473.11	c 1472s |      22 |  2260365 |  1966422 |    20844    235 |        5 |      286
1474.70/1475.17	c 1475s |      22 |  2263488 |  1969222 |    20844    235 |        5 |      286
1476.80/1477.24	c 1477s |      22 |  2266254 |  1971722 |    20844    236 |        5 |      286
1481.49/1481.93	c 1481s |      22 |  2268335 |  1973622 |    20844    236 |        5 |      286
1483.49/1483.97	c 1483s |      22 |  2271821 |  1976722 |    20844    236 |        5 |      286
1485.59/1486.02	c 1485s |      22 |  2274662 |  1979222 |    20844    236 |        5 |      286
1487.59/1488.09	c 1487s |      22 |  2277528 |  1981722 |    20844    236 |        5 |      286
1489.69/1490.13	c 1489s |      22 |  2280353 |  1984222 |    20844    237 |        5 |      286
1491.69/1492.16	c 1492s |      22 |  2283499 |  1987122 |    20844    237 |        5 |      286
1493.69/1494.19	c 1494s |      22 |  2286133 |  1989522 |    20844    237 |        5 |      286
1495.79/1496.21	c 1496s |      22 |  2288886 |  1992022 |    20844    237 |        5 |      286
1497.79/1498.28	c 1498s |      22 |  2291967 |  1994822 |    20844    238 |        5 |      286
1499.89/1500.32	c 1500s |      22 |  2294386 |  1996922 |    20844    238 |        5 |      286
1501.99/1502.40	c 1502s |      22 |  2298084 |  2000122 |    20844    238 |        5 |      286
1503.98/1504.44	c 1504s |      22 |  2301169 |  2002822 |    20844    238 |        5 |      286
1505.98/1506.48	c 1506s |      22 |  2304228 |  2005522 |    20844    239 |        5 |      286
1508.08/1508.52	c 1508s |      22 |  2306688 |  2007722 |    20844    239 |        5 |      286
1510.08/1510.55	c 1510s |      22 |  2310080 |  2010722 |    20844    239 |        5 |      286
1512.19/1512.65	c 1512s |      22 |  2312917 |  2013322 |    20844    239 |        5 |      286
1514.18/1514.69	c 1514s |      22 |  2315661 |  2015822 |    20844    240 |        5 |      286
1516.18/1516.69	c 1516s |      22 |  2318614 |  2018522 |    20844    240 |        5 |      286
1518.28/1518.72	c 1518s |      22 |  2321601 |  2021222 |    20844    240 |        5 |      286
1520.28/1520.79	c 1520s |      22 |  2324065 |  2023522 |    20844    240 |        5 |      286
1522.69/1523.14	c 1522s |      22 |  2325387 |  2024722 |    20844    241 |        5 |      286
1524.69/1525.15	c 1525s |      22 |  2328756 |  2027622 |    20844    241 |        5 |      286
1526.79/1527.20	c 1527s |      22 |  2331857 |  2030322 |    20844    241 |        5 |      286
1528.79/1529.25	c 1529s |      22 |  2334644 |  2032822 |    20844    241 |        5 |      286
1530.80/1531.27	c 1531s |      22 |  2337024 |  2035022 |    20844    242 |        5 |      286
1532.79/1533.29	c 1533s |      22 |  2340410 |  2038022 |    20844    242 |        5 |      286
1536.29/1536.73	c 1536s |      22 |  2342623 |  2040022 |    20844    242 |        5 |      286
1538.28/1538.74	c 1538s |      22 |  2345709 |  2042722 |    20844    242 |        5 |      286
1540.38/1540.80	c 1540s |      22 |  2348837 |  2045422 |    20844    243 |        5 |      286
1542.38/1542.85	c 1542s |      22 |  2351961 |  2048122 |    20844    243 |        5 |      286
1544.38/1544.89	c 1544s |      22 |  2355488 |  2051222 |    20844    243 |        5 |      286
1546.48/1546.90	c 1546s |      22 |  2358458 |  2053922 |    20844    243 |        5 |      286
1548.49/1548.96	c 1548s |      22 |  2360833 |  2056022 |    20844    244 |        5 |      286
1550.48/1550.99	c 1550s |      22 |  2363933 |  2058822 |    20844    244 |        5 |      286
1552.58/1553.01	c 1552s |      22 |  2366925 |  2061522 |    20844    244 |        5 |      286
1554.58/1555.08	c 1554s |      22 |  2369494 |  2063922 |    20844    244 |        5 |      286
1556.68/1557.15	c 1557s |      22 |  2371773 |  2066022 |    20844    244 |        5 |      286
1558.68/1559.20	c 1559s |      22 |  2374369 |  2068422 |    20844    245 |        5 |      286
1560.78/1561.20	c 1561s |      22 |  2377218 |  2071022 |    20844    245 |        5 |      286
1563.78/1564.26	c 1564s |      22 |  2379099 |  2072722 |    20844    245 |        5 |      286
1565.88/1566.33	c 1566s |      22 |  2381898 |  2075222 |    20844    245 |        5 |      286
1567.88/1568.39	c 1568s |      22 |  2384086 |  2077222 |    20844    246 |        5 |      286
1569.98/1570.41	c 1570s |      22 |  2387269 |  2080122 |    20844    246 |        5 |      286
1571.97/1572.47	c 1572s |      22 |  2390232 |  2082722 |    20844    246 |        5 |      286
1574.07/1574.50	c 1574s |      22 |  2393021 |  2085222 |    20844    246 |        5 |      286
1576.07/1576.51	c 1576s |      22 |  2395337 |  2087322 |    20844    246 |        5 |      286
1578.08/1578.54	c 1578s |      22 |  2398195 |  2089922 |    20844    247 |        5 |      286
1580.07/1580.58	c 1580s |      22 |  2400508 |  2092022 |    20844    247 |        5 |      286
1582.07/1582.59	c 1582s |      22 |  2403335 |  2094522 |    20844    247 |        5 |      286
1584.18/1584.68	c 1584s |      22 |  2405853 |  2096822 |    20844    247 |        5 |      286
1586.28/1586.72	c 1586s |      22 |  2408093 |  2098622 |    20844    248 |        5 |      286
1588.28/1588.77	c 1588s |      22 |  2410903 |  2101222 |    20844    248 |        5 |      286
1590.29/1590.78	c 1590s |      22 |  2413559 |  2103622 |    20844    248 |        5 |      286
1592.39/1592.81	c 1592s |      22 |  2416308 |  2106122 |    20844    248 |        5 |      286
1594.38/1594.84	c 1594s |      22 |  2418870 |  2108422 |    20844    248 |        5 |      286
1597.08/1597.52	c 1597s |      22 |  2420500 |  2109922 |    20844    249 |        5 |      286
1599.18/1599.62	c 1599s |      22 |  2421761 |  2111022 |    20844    249 |        5 |      286
1601.18/1601.66	c 1601s |      22 |  2425089 |  2113922 |    20844    249 |        5 |      286
1603.18/1603.66	c 1603s |      22 |  2427948 |  2116422 |    20844    249 |        5 |      286
1605.18/1605.68	c 1605s |      22 |  2430729 |  2118822 |    20844    249 |        5 |      286
1607.27/1607.70	c 1607s |      22 |  2433495 |  2121222 |    20844    250 |        5 |      286
1609.27/1609.71	c 1609s |      22 |  2436859 |  2124222 |    20844    250 |        5 |      286
1611.27/1611.78	c 1611s |      22 |  2440073 |  2127022 |    20844    250 |        5 |      286
1613.38/1613.85	c 1613s |      22 |  2442461 |  2129222 |    20844    250 |        5 |      286
1615.37/1615.88	c 1615s |      22 |  2445120 |  2131622 |    20844    251 |        5 |      286
1617.47/1617.90	c 1617s |      22 |  2448483 |  2134522 |    20844    251 |        5 |      286
1619.47/1619.94	c 1619s |      22 |  2451227 |  2137022 |    20844    251 |        5 |      286
1621.47/1621.96	c 1621s |      22 |  2453813 |  2139322 |    20844    251 |        5 |      286
1623.47/1623.97	c 1623s |      22 |  2456520 |  2141822 |    20844    252 |        5 |      286
1625.48/1625.97	c 1625s |      22 |  2459569 |  2144622 |    20844    252 |        5 |      286
1627.47/1627.98	c 1627s |      22 |  2461795 |  2146622 |    20844    252 |        5 |      286
1629.57/1630.00	c 1629s |      22 |  2464544 |  2149022 |    20844    252 |        5 |      286
1632.08/1632.59	c 1632s |      22 |  2467132 |  2151322 |    20844    253 |        5 |      286
1634.17/1634.64	c 1634s |      22 |  2470977 |  2154822 |    20844    253 |        5 |      286
1636.17/1636.66	c 1636s |      22 |  2474208 |  2157722 |    20844    253 |        5 |      286
1641.26/1641.75	c 1641s |      22 |  2476582 |  2159822 |    20844    253 |        5 |      286
1643.26/1643.76	c 1643s |      22 |  2478817 |  2161622 |    20844    254 |        5 |      286
1645.36/1645.83	c 1645s |      22 |  2482889 |  2165022 |    20844    254 |        5 |      286
1647.37/1647.85	c 1647s |      22 |  2486501 |  2168122 |    20844    254 |        5 |      286
1649.36/1649.88	c 1649s |      22 |  2489949 |  2171022 |    20844    254 |        5 |      286
1651.37/1651.88	c 1651s |      22 |  2493355 |  2173922 |    20844    255 |        5 |      286
1653.47/1653.94	c 1653s |      22 |  2497037 |  2177122 |    20844    255 |        5 |      286
1655.47/1655.94	c 1655s |      22 |  2500417 |  2180122 |    20844    255 |        5 |      286
1658.17/1658.63	c 1658s |      22 |  2503362 |  2182722 |    20844    256 |        5 |      286
1660.17/1660.64	c 1660s |      22 |  2505009 |  2184122 |    20844    256 |        5 |      286
1662.16/1662.68	c 1662s |      22 |  2509064 |  2187522 |    20844    256 |        5 |      286
1664.27/1664.73	c 1664s |      22 |  2512479 |  2190422 |    20844    256 |        5 |      286
1666.26/1666.78	c 1666s |      22 |  2515499 |  2193022 |    20844    257 |        5 |      286
1668.37/1668.82	c 1668s |      22 |  2519640 |  2196622 |    20844    257 |        5 |      286
1670.36/1670.88	c 1670s |      22 |  2522835 |  2199322 |    20844    257 |        5 |      286
1672.46/1672.91	c 1672s |      22 |  2526254 |  2202322 |    20844    257 |        5 |      286
1674.66/1675.11	c 1674s |      22 |  2529619 |  2205322 |    20844    258 |        5 |      286
1676.66/1677.12	c 1676s |      22 |  2532999 |  2208222 |    20844    258 |        5 |      286
1678.66/1679.18	c 1679s |      22 |  2536082 |  2210922 |    20844    258 |        5 |      286
1680.76/1681.21	c 1681s |      22 |  2539125 |  2213622 |    20844    258 |        5 |      286
1682.76/1683.22	c 1683s |      22 |  2542034 |  2216222 |    20844    259 |        5 |      286
1684.77/1685.25	c 1685s |      22 |  2545376 |  2219222 |    20844    259 |        5 |      286
1690.96/1691.46	c 1691s |      22 |  2547551 |  2221222 |    20844    259 |        5 |      286
1692.96/1693.49	c 1693s |      22 |  2550657 |  2223822 |    20844    259 |        5 |      286
1695.06/1695.53	c 1695s |      22 |  2553668 |  2226422 |    20844    260 |        5 |      286
1697.16/1697.60	c 1697s |      22 |  2557177 |  2229422 |    20844    260 |        5 |      286
1699.17/1699.66	c 1699s |      22 |  2560452 |  2232222 |    20844    260 |        5 |      286
1701.37/1701.83	c 1701s |      22 |  2563560 |  2234922 |    20844    261 |        5 |      286
1703.36/1703.89	c 1703s |      22 |  2566978 |  2237922 |    22929    261 |        5 |      286
1705.46/1705.96	c 1705s |      22 |  2570259 |  2240822 |    22929    261 |        5 |      286
1707.46/1707.96	c 1707s |      22 |  2573268 |  2243522 |    22929    261 |        5 |      286
1709.56/1710.00	c 1709s |      22 |  2575667 |  2245622 |    22929    261 |        5 |      286
1711.65/1712.10	c 1711s |      22 |  2578305 |  2247822 |    22929    262 |        5 |      286
1713.65/1714.10	c 1713s |      22 |  2581620 |  2250722 |    22929    262 |        5 |      286
1713.86/1714.31	c 1714s |      23 |  2581968 |  2251038 |    22929    262 |        5 |      286
1716.45/1716.96	c 1716s |      23 |  2582331 |  2251338 |    22929    262 |        5 |      286
1718.55/1719.02	c 1718s |      23 |  2586114 |  2254538 |    22929    262 |        5 |      286
1720.56/1721.02	c 1720s |      23 |  2589394 |  2257338 |    22929    262 |        5 |      286
1722.56/1723.07	c 1722s |      23 |  2592082 |  2259738 |    22929    263 |        5 |      286
1724.56/1725.08	c 1724s |      23 |  2595188 |  2262338 |    22929    263 |        5 |      286
1726.67/1727.11	c 1726s |      23 |  2598150 |  2264638 |    22929    263 |        5 |      286
1728.66/1729.19	c 1729s |      23 |  2601491 |  2267438 |    22929    263 |        5 |      286
1730.76/1731.28	c 1731s |      23 |  2604414 |  2269938 |    22929    263 |        5 |      286
1732.86/1733.31	c 1733s |      23 |  2607533 |  2272638 |    22929    264 |        5 |      286
1734.86/1735.35	c 1735s |      23 |  2611027 |  2275638 |    22929    264 |        5 |      286
1736.86/1737.38	c 1737s |      23 |  2614243 |  2278538 |    22929    264 |        5 |      286
1738.95/1739.41	c 1739s |      23 |  2617296 |  2281238 |    22929    264 |        5 |      286
1740.96/1741.48	c 1741s |      23 |  2617759 |  2281638 |    22929    264 |        5 |      286
1742.95/1743.50	c 1743s |      23 |  2620912 |  2284338 |    22929    265 |        5 |      286
1745.05/1745.52	c 1745s |      23 |  2624580 |  2287638 |    22929    265 |        5 |      286
1747.05/1747.57	c 1747s |      23 |  2627794 |  2290538 |    22929    265 |        5 |      286
1749.15/1749.66	c 1749s |      23 |  2630651 |  2293038 |    22929    265 |        5 |      286
1751.15/1751.67	c 1751s |      23 |  2633604 |  2295538 |    22929    266 |        5 |      286
1753.25/1753.72	c 1753s |      23 |  2636698 |  2298238 |    22929    266 |        5 |      286
1755.35/1755.84	c 1755s |      23 |  2639489 |  2300638 |    22929    266 |        5 |      286
1757.36/1757.86	c 1757s |      23 |  2641976 |  2302838 |    22929    266 |        5 |      286
1759.35/1759.87	c 1759s |      23 |  2644679 |  2305238 |    22929    266 |        5 |      286
1761.45/1761.90	c 1761s |      23 |  2647534 |  2307738 |    22929    267 |        5 |      286
1763.45/1763.90	c 1763s |      23 |  2650283 |  2310238 |    22929    267 |        5 |      286
1765.45/1765.95	c 1765s |      23 |  2653102 |  2312738 |    22929    267 |        5 |      286
1767.55/1768.04	c 1767s |      23 |  2655616 |  2315038 |    22929    267 |        5 |      286
1769.56/1770.08	c 1769s |      23 |  2658059 |  2317238 |    22929    268 |        5 |      286
1771.76/1772.26	c 1772s |      23 |  2660207 |  2319238 |    22929    268 |        5 |      286
1773.75/1774.29	c 1774s |      23 |  2661748 |  2320538 |    22929    268 |        5 |      286
1775.85/1776.35	c 1776s |      23 |  2665270 |  2323438 |    22929    268 |        5 |      286
1777.95/1778.40	c 1778s |      23 |  2668237 |  2326038 |    22929    268 |        5 |      286
1779.95/1780.45	c 1780s |      23 |  2671030 |  2328438 |    22929    269 |        5 |      286
1782.05/1782.50	c 1782s |      23 |  2674162 |  2331238 |    22929    269 |        5 |      286
1784.05/1784.53	c 1784s |      23 |  2677357 |  2334138 |    22929    269 |        5 |      286
1786.75/1787.28	c 1787s |      23 |  2680419 |  2336838 |    22929    269 |        5 |      286
1788.85/1789.34	c 1789s |      23 |  2683156 |  2339138 |    22929    269 |        5 |      286
1791.14/1791.62	c 1791s |      23 |  2684542 |  2340338 |    22929    270 |        5 |      286
1793.14/1793.65	c 1793s |      23 |  2688317 |  2343638 |    22929    270 |        5 |      286
1795.14/1795.67	c 1795s |      23 |  2691551 |  2346438 |    22929    270 |        5 |      286
1797.24/1797.73	c 1797s |      23 |  2694902 |  2349238 |    22929    270 |        5 |      286
1799.34/1799.85	c 1799s |      23 |  2697638 |  2351638 |    22929    271 |        5 |      286

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

pid=1894
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.31 2.22 2.19 4/179 1897
/proc/meminfo: memFree=29082332/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=666044 CPUtime=0 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 2472 0 0 0 0 0 0 0 20 0 4 0 13676982 682029056 3344 33554432000 4194304 16246674 140735772537616 140735772537040 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 167279 3354 441 2943 0 164173 0
[pid=1897/tid=1898] ppid=1894 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 716632064 3478 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 720826368 3494 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13676982 725020672 3510 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.31 2.22 2.19 4/179 1897
/proc/meminfo: memFree=29082332/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 22649 0 0 0 6 3 0 0 20 0 4 0 13676982 1250496512 23459 33554432000 4194304 16246674 140735772537616 140735772536928 5885728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 305297 23459 834 2943 0 302191 0
[pid=1897/tid=1898] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 23459 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 23459 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 23459 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200585 s]
/proc/loadavg: 2.31 2.22 2.19 4/179 1897
/proc/meminfo: memFree=29082332/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 41012 0 0 0 13 6 0 0 20 0 4 0 13676982 1250496512 41822 33554432000 4194304 16246674 140735772537616 140735772536928 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 305297 41830 876 2943 0 302191 0
[pid=1897/tid=1898] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 41837 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 41846 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 41854 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300489 s]
/proc/loadavg: 2.31 2.22 2.19 4/179 1897
/proc/meminfo: memFree=29082332/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 62270 0 0 0 20 9 0 0 20 0 4 0 13676982 1250496512 63080 33554432000 4194304 16246674 140735772537616 140735772536928 5661217 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 305297 63088 876 2943 0 302191 0
[pid=1897/tid=1898] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 63094 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 63102 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 63107 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700422 s]
/proc/loadavg: 2.31 2.22 2.19 4/179 1897
/proc/meminfo: memFree=29082332/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 145511 0 0 0 49 20 0 0 20 0 4 0 13676982 1250496512 146321 33554432000 4194304 16246674 140735772537616 140735772536928 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 305297 146334 876 2943 0 302191 0
[pid=1897/tid=1898] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 146340 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 146347 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13676982 1250496512 146352 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50044 s]
/proc/loadavg: 2.31 2.22 2.19 4/183 1901
/proc/meminfo: memFree=28163944/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 266229 0 0 0 114 35 0 0 20 0 4 0 13676982 1332285440 267039 33554432000 4194304 16246674 140735772537616 140735772536928 5823230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 325265 267039 879 2943 0 322159 0
[pid=1897/tid=1898] ppid=1894 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1332285440 267039 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1332285440 267039 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1332285440 267039 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10044 s]
/proc/loadavg: 2.31 2.22 2.19 4/183 1901
/proc/meminfo: memFree=28013888/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 267875 0 0 0 274 35 0 0 20 0 4 0 13676982 1338576896 268685 33554432000 4194304 16246674 140735772537616 140735772519488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 326801 268685 881 2943 0 323695 0
[pid=1897/tid=1898] ppid=1894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1338576896 268685 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1338576896 268685 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1338576896 268685 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.36 2.24 2.19 3/183 1901
/proc/meminfo: memFree=28006628/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 267983 0 0 0 594 35 0 0 20 0 4 0 13676982 1338576896 268793 33554432000 4194304 16246674 140735772537616 140735772519488 13820875 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 326801 268793 886 2943 0 323695 0
[pid=1897/tid=1898] ppid=1894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1338576896 268793 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1338576896 268793 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1338576896 268793 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 1901
/proc/meminfo: memFree=28002760/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 269007 0 0 0 1234 35 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140735772519488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 327825 269817 886 2943 0 324719 0
[pid=1897/tid=1898] ppid=1894 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5006 s]
/proc/loadavg: 2.26 2.22 2.18 4/183 1901
/proc/meminfo: memFree=28002760/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 269007 0 0 0 2514 35 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140735772519488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 327825 269817 886 2943 0 324719 0
[pid=1897/tid=1898] ppid=1894 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1342771200 269817 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1006 s]
/proc/loadavg: 2.31 2.23 2.19 3/183 1901
/proc/meminfo: memFree=27974100/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1339972 CPUtime=51.08 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 276175 0 0 0 5072 36 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140735772519488 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 334993 276985 886 2943 0 331887 0
[pid=1897/tid=1898] ppid=1894 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1339972

[startup+102.301 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 1902
/proc/meminfo: memFree=27973664/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1339972 CPUtime=102.28 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 276175 0 0 0 10191 37 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140735772519488 5677784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 334993 276985 886 2943 0 331887 0
[pid=1897/tid=1898] ppid=1894 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1372131328 276985 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1339972


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

/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1384004

[startup+1362.3 s]
/proc/loadavg: 2.41 2.35 2.26 3/183 2960
/proc/meminfo: memFree=27944900/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1361.91 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 136129 62 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772535488 5823793 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1384004

[startup+1422.3 s]
/proc/loadavg: 2.33 2.33 2.25 3/183 2961
/proc/meminfo: memFree=27945160/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1421.91 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 142128 63 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5822818 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1384004

[startup+1482.3 s]
/proc/loadavg: 2.20 2.30 2.25 3/183 2963
/proc/meminfo: memFree=27944828/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1481.89 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 148125 64 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5677810 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1384004

[startup+1542.31 s]
/proc/loadavg: 2.29 2.30 2.25 3/183 2964
/proc/meminfo: memFree=27944868/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1541.89 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 154124 65 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1384004

[startup+1602.3 s]
/proc/loadavg: 2.24 2.27 2.24 3/183 2965
/proc/meminfo: memFree=27944652/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1601.88 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 160122 66 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1384004

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.24 3/183 2966
/proc/meminfo: memFree=27944420/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1661.87 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 166120 67 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5677662 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1384004

[startup+1722.3 s]
/proc/loadavg: 2.40 2.30 2.25 3/184 2970
/proc/meminfo: memFree=27944132/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1721.86 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 172117 69 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1384004

[startup+1782.3 s]
/proc/loadavg: 2.52 2.33 2.27 3/184 2995
/proc/meminfo: memFree=27943604/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1781.85 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 178115 70 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772520616 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1384004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.37 2.31 2.26 3/184 2995
/proc/meminfo: memFree=27943948/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1800.04 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 179934 70 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1384004

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

[startup+1800.5 s]
/proc/loadavg: 2.37 2.31 2.26 3/184 2995
/proc/meminfo: memFree=27943948/32872528 swapFree=1541688/1694988
[pid=1897] ppid=1894 vsize=1384004 CPUtime=1800.04 cores=1,3,5,7
/proc/1897/stat : 1897 (toysat) R 1894 1897 31715 0 -1 4202496 287501 0 0 0 179934 70 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140735772519488 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1897/statm: 346001 287998 888 2943 0 342895 0
[pid=1897/tid=1898] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1898/stat : 1898 (toysat) S 1894 1897 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336401722608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=1897/tid=1899] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1899/stat : 1899 (toysat) S 1894 1897 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336391232752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=1897/tid=1900] ppid=1894 vsize=1384004 CPUtime=0 cores=1,3,5,7
/proc/1897/task/1900/stat : 1900 (toysat) S 1894 1897 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13676982 1417220096 287998 33554432000 4194304 16246674 140735772537616 140336311561392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1384004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.35
CPU system time (s): 0.707892
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1384004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.707892
maximum resident set size= 1151992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287501
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= 333
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5222 second user time and 17.4363 second system time

The end

Begin job on node125 at 2016-06-17 00:31:44
IDJOB=4097072
IDBENCH=107705
IDSOLVER=2542
FILE ID=node125/4097072-1466116303
RUNJOBID= node125-1466112694-1101
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= c2b4b76dd3e2cc4f859a60373c56042a
RANDOM SEED=1299959927

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29081976 kB
Buffers:           64716 kB
Cached:           161636 kB
SwapCached:         2680 kB
Active:          1276632 kB
Inactive:         110508 kB
Active(anon):    1161012 kB
Inactive(anon):     2308 kB
Active(file):     115620 kB
Inactive(file):   108200 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2853868 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             571696 kB
SReclaimable:      15244 kB
SUnreclaim:       556452 kB
KernelStack:        1464 kB
PageTables:        10036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2996640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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= 71712 MiB
End job on node125 at 2016-06-17 01:01:44