0.00/0.00	c 2016-06-18T05:01:18+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-4100921-1466218878.opb"]
0.00/0.01	c use --random-gen="96872027 2470071660 1002615408 4047150051 4193758612 974072926 1311627700 3686906059 3075189921 713222150 2086890232 3024269190 475024929 3067377324 2446235951 1171836134 276333285 1588171989 3566717452 4146848408 3265009059 1657529028 1094158911 3109399634 3011783784 2349751180 762166447 1899067699 2100380083 1841495022 2148608497 1140937820 3882645989 3576200411 1714714685 596931872 3876246031 1388811188 3458538287 2998897757 2711448533 617909694 2387901123 4067718973 1456873045 170766896 4094638630 2032010367 2192091096 1614436947 515330424 2464620926 453273076 2283849872 670492420 403892046 700837146 2861738260 4014585397 2810478712 270579465 817742398 1306038278 3620920833 704288376 4075850303 3544519897 2296599569 2823146591 1467752077 2919599249 4131254168 2850884484 61044031 680604321 1975577790 523198119 2763263998 1007165318 2927272060 1843251574 2798379770 383916673 379831024 49669237 2967543408 1229717008 2903667295 2480057469 1987799210 1381043628 845419682 2417777746 249827273 224135585 1217202035 2867798272 352914878 954012206 3442373928 3814085214 637502320 3138561100 1764354192 151704714 3873142169 4203771150 1794674243 712231873 920894337 1983521709 4220674754 2074363389 4281738013 2375557683 1764008598 2281003358 96511079 1962990975 186175349 3908899720 3087825058 2551375599 22882593 144555959 4088455763 1165324777 2388259664 2414920081 810895172 3336325959 2679894423 1674996206 2884415025 2331128410 470750396 2997910099 1502872889 92539786 2895272418 2435003331 3682648758 4031193511 4138604562 4095985415 603876294 4132904829 1111278117 2608837927 662128023 4249870215 1071876082 1523026824 1092932240 314049302 204599139 2201444514 200616681 2982433477 1106631770 1648896692 2617163562 905121993 2821841155 380059602 1786911440 2862907908 3226287861 3691129361 713605484 3156928681 2026170759 2441785736 1621383963 11032375 4015598778 55590400 1790415050 3366227354 4192101718 2284071032 1313750821 3626007714 1708724651 3570581019 3131584699 4144921345 2666016378 1547369543 1513217025 2144212017 1664516592 3369822599 3980472173 3286261098 2034836905 4218952520 1394804788 3502719945 2327122831 3298945396 2661610118 3296402879 390924791 1023099737 1375213009 3766440159 105142732 1166747343 1994778292 1445634825 1555801862 167555835 1633783161 1448932716 1182857995 2098002254 2890631246 2811024366 918437089 2036339966 382852337 404899164 2792511305 781284015 463530696 4104003733 2012752135 1050747526 254252248 1284119774 1224027690 213469862 3316523761 3258566943 2409701123 3421156267 299614310 4156183761 423503766 257186157 409490702 4066029971 3087335493 4001339176 728430884 1935427225 2750934080 1077873797 2933670785 1046622930 2714563181 3432737997 1816448860 3616219180 3367126308 255 362436" option to reproduce the execution
0.00/0.05	c #vars 4524
0.00/0.05	c #constraints 257
1.19/1.21	c BCD2: Hardening is enabled.
1.19/1.21	c BCD2: BiasedSearch is enabled.
1.19/1.21	c Solving starts ...
1.19/1.21	c ============================[ Search Statistics ]============================
1.19/1.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.21	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.21	c =============================================================================
1.19/1.21	c  0.0s |       0 |        0 |        0 |     1598      0 |     1684 |        0
1.19/1.23	c  0.0s |       1 |      181 |      100 |     1598      0 |     1684 |      113
1.19/1.26	c  0.0s |       2 |      513 |      250 |     1758      0 |     1684 |      113
1.19/1.29	c  0.1s |       3 |      922 |      475 |     1934      0 |     1684 |      113
1.29/1.34	c  0.1s |       4 |     1339 |      813 |     2128      0 |     1684 |      113
1.39/1.43	c  0.2s |       5 |     2441 |     1320 |     2341      0 |     1685 |      113
1.49/1.53	c  0.3s |       6 |     3863 |     2081 |     2834      0 |     1686 |      114
1.59/1.69	c  0.5s |       7 |     5383 |     3223 |     3118      0 |     1686 |      114
1.89/1.96	c  0.7s |       8 |     7540 |     4936 |     3430      0 |     1686 |      114
2.29/2.39	c  1.2s |       9 |    10807 |     7506 |     3774      1 |     1686 |      114
3.09/3.10	c  1.9s |      10 |    16019 |    11361 |     4152      3 |     1686 |      114
4.29/4.39	c  3.2s |      11 |    24038 |    17144 |     4568      4 |     1686 |      114
6.38/6.41	c  5.2s |      11 |    32815 |    24544 |     4568      7 |     1686 |      114
6.78/6.83	c  5.6s |      12 |    34413 |    25819 |     5025      7 |     1686 |      114
8.79/8.84	c  7.6s |      12 |    45234 |    34319 |     5025      9 |     1686 |      114
10.28/10.33	c  9.1s |      13 |    50404 |    38832 |     5528     11 |     1686 |      114
12.29/12.35	c 11.1s |      13 |    57833 |    44532 |     5528     12 |     1686 |      114
14.40/14.42	c 13.2s |      13 |    60839 |    47532 |     5528     13 |     1686 |      114
16.99/17.09	c 15.9s |      13 |    62834 |    49532 |     5528     14 |     1686 |      114
19.09/19.10	c 17.9s |      13 |    65751 |    52432 |     5528     14 |     1686 |      114
21.08/21.13	c 19.9s |      13 |    69176 |    55832 |     5528     15 |     1686 |      114
23.09/23.17	c 22.0s |      13 |    71683 |    58332 |     6081     16 |     1686 |      114
23.09/23.19	c 22.0s |      14 |    71707 |    58352 |     6081     16 |     1686 |      114
25.08/25.19	c 24.0s |      14 |    84501 |    68152 |     6081     18 |     1686 |      114
27.18/27.20	c 26.0s |      14 |    96684 |    77752 |     6081     21 |     1686 |      114
29.18/29.21	c 28.0s |      14 |   105829 |    84452 |     6081     22 |     1686 |      114
30.28/30.32	c 29.1s |      15 |   110540 |    87632 |     6690     23 |     1686 |      114
32.28/32.35	c 31.1s |      15 |   117587 |    93332 |     6690     24 |     1686 |      114
34.28/34.40	c 33.2s |      15 |   122378 |    97632 |     6690     25 |     1686 |      114
36.38/36.44	c 35.2s |      15 |   125238 |   100332 |     6690     26 |     1686 |      114
38.38/38.46	c 37.2s |      15 |   128494 |   103132 |     6690     27 |     1686 |      114
40.38/40.47	c 39.3s |      15 |   133507 |   107532 |     6690     28 |     1686 |      114
42.78/42.83	c 41.6s |      15 |   138822 |   112132 |     6690     29 |     1686 |      114
45.19/45.28	c 44.1s |      15 |   149377 |   120032 |     6690     31 |     1686 |      114
47.18/47.28	c 46.1s |      15 |   159606 |   127532 |     6690     32 |     1686 |      114
48.78/48.87	c 47.7s |      16 |   164750 |   131552 |     7360     33 |     1686 |      114
50.78/50.89	c 49.7s |      16 |   176984 |   140352 |     7360     35 |     1686 |      114
52.88/52.90	c 51.7s |      16 |   186425 |   146452 |     7360     36 |     1686 |      114
54.88/54.94	c 53.7s |      16 |   195725 |   152552 |     7360     38 |     1686 |      114
56.88/56.95	c 55.7s |      16 |   206457 |   159752 |     7360     39 |     1686 |      114
58.87/58.97	c 57.8s |      16 |   213034 |   164652 |     7360     40 |     1686 |      114
60.87/60.98	c 59.8s |      16 |   222339 |   171052 |     7360     42 |     1686 |      114
62.87/62.99	c 61.8s |      16 |   228858 |   176252 |     7360     43 |     1686 |      114
64.98/65.04	c 63.8s |      16 |   237851 |   182552 |     7360     44 |     1686 |      114
66.97/67.05	c 65.8s |      16 |   247562 |   189352 |     7360     46 |     1686 |      114
69.07/69.10	c 67.9s |      16 |   252153 |   192752 |     7360     47 |     1686 |      114
70.37/70.47	c 69.3s |      17 |   259027 |   197432 |     8097     47 |     1686 |      114
72.37/72.48	c 71.3s |      17 |   266543 |   202932 |     8097     48 |     1686 |      114
74.47/74.50	c 73.3s |      17 |   271286 |   206932 |     8097     49 |     1686 |      114
76.47/76.52	c 75.3s |      17 |   275387 |   210632 |     8097     50 |     1686 |      114
78.47/78.52	c 77.3s |      17 |   278728 |   213732 |     8097     51 |     1686 |      114
80.57/80.60	c 79.4s |      17 |   282158 |   216832 |     8097     51 |     1686 |      114
82.58/82.62	c 81.4s |      17 |   286151 |   220532 |     8097     52 |     1686 |      114
84.57/84.65	c 83.4s |      17 |   290067 |   224132 |     8097     53 |     1686 |      114
86.67/86.74	c 85.5s |      17 |   294035 |   227732 |     8097     54 |     1686 |      114
88.67/88.77	c 87.6s |      17 |   297919 |   231232 |     8097     54 |     1686 |      114
90.67/90.79	c 89.6s |      17 |   300289 |   233332 |     8097     55 |     1686 |      114
92.77/92.81	c 91.6s |      17 |   304826 |   237032 |     8097     55 |     1686 |      114
94.77/94.85	c 93.6s |      17 |   309215 |   240832 |     8097     56 |     1686 |      114
96.77/96.85	c 95.6s |      17 |   312400 |   243632 |     8097     57 |     1686 |      114
98.87/98.91	c 97.7s |      17 |   316437 |   247232 |     8097     57 |     1686 |      114
100.86/100.93	c 99.7s |      17 |   320435 |   250932 |     8097     58 |     1686 |      114
103.16/103.22	c  102s |      17 |   323127 |   253432 |     8097     59 |     1686 |      114
105.16/105.25	c  104s |      17 |   327256 |   257332 |     8097     60 |     1686 |      114
107.16/107.29	c  106s |      17 |   331339 |   261132 |     8097     60 |     1686 |      114
109.26/109.30	c  108s |      17 |   333421 |   263132 |     8097     61 |     1686 |      114
111.27/111.33	c  110s |      17 |   337211 |   266732 |     8097     61 |     1686 |      114
113.28/113.34	c  112s |      17 |   340614 |   270032 |     8097     62 |     1686 |      114
115.27/115.35	c  114s |      17 |   343489 |   272732 |     8097     63 |     1686 |      114
117.47/117.51	c  116s |      17 |   346541 |   275632 |     8097     63 |     1686 |      114
119.47/119.54	c  118s |      17 |   350694 |   279432 |     8097     64 |     1686 |      114
121.47/121.59	c  120s |      17 |   354368 |   282832 |     8097     65 |     1686 |      114
123.56/123.63	c  122s |      17 |   358033 |   286332 |     8097     65 |     1686 |      114
125.76/125.84	c  124s |      17 |   360755 |   288932 |     8097     66 |     1686 |      114
127.76/127.88	c  126s |      17 |   365115 |   292932 |     8097     67 |     1686 |      114
129.66/129.78	c  128s |      18 |   368849 |   296252 |     8907     67 |     1686 |      114
131.66/131.78	c  130s |      18 |   372458 |   299452 |     8907     68 |     1686 |      114
133.76/133.81	c  132s |      18 |   376737 |   303152 |     8907     69 |     1686 |      114
135.76/135.85	c  134s |      18 |   381904 |   307952 |     8907     69 |     1686 |      114
137.76/137.87	c  136s |      18 |   384927 |   310252 |     8907     70 |     1686 |      114
139.77/139.87	c  138s |      18 |   389348 |   314352 |     8907     71 |     1686 |      114
141.87/141.98	c  140s |      18 |   394257 |   318952 |     8907     72 |     1686 |      114
144.46/144.54	c  143s |      18 |   397296 |   321852 |     8907     72 |     1686 |      114
146.46/146.55	c  145s |      18 |   401276 |   325452 |     8907     73 |     1686 |      114
148.46/148.60	c  147s |      18 |   404802 |   328952 |     8907     73 |     1686 |      114
150.56/150.64	c  149s |      18 |   408746 |   332852 |     8907     74 |     1686 |      114
152.56/152.67	c  151s |      18 |   411175 |   335252 |     8907     75 |     1686 |      114
154.56/154.68	c  153s |      18 |   414606 |   338652 |     8907     75 |     1686 |      114
156.56/156.69	c  155s |      18 |   417826 |   341852 |     8907     76 |     1686 |      114
159.25/159.37	c  158s |      18 |   419668 |   343652 |     8907     76 |     1686 |      114
161.25/161.37	c  160s |      18 |   422675 |   346652 |     8907     77 |     1686 |      114
163.25/163.37	c  162s |      18 |   426123 |   350052 |     8907     77 |     1686 |      114
165.35/165.42	c  164s |      18 |   429495 |   353252 |     8907     78 |     1686 |      114
167.35/167.44	c  166s |      18 |   432568 |   356252 |     8907     79 |     1686 |      114
169.36/169.45	c  168s |      18 |   435502 |   359152 |     8907     79 |     1686 |      114
171.35/171.49	c  170s |      18 |   438156 |   361752 |     8907     80 |     1686 |      114
173.66/173.78	c  172s |      18 |   440282 |   363852 |     8907     80 |     1686 |      114
175.66/175.79	c  174s |      18 |   443098 |   366652 |     8907     80 |     1686 |      114
177.76/177.89	c  176s |      18 |   444431 |   367952 |     8907     81 |     1686 |      114
179.86/179.94	c  178s |      18 |   447755 |   371252 |     8907     81 |     1686 |      114
182.56/182.67	c  181s |      18 |   449708 |   373152 |     8907     82 |     1686 |      114
184.55/184.69	c  183s |      18 |   453487 |   376852 |     8907     82 |     1686 |      114
186.65/186.71	c  185s |      18 |   456505 |   379852 |     8907     83 |     1686 |      114
188.75/188.85	c  187s |      18 |   458932 |   382252 |     8907     83 |     1686 |      114
190.95/191.03	c  189s |      18 |   461047 |   384352 |     8907     84 |     1686 |      114
192.95/193.07	c  191s |      18 |   464168 |   387452 |     8907     84 |     1686 |      114
194.95/195.10	c  193s |      18 |   467195 |   390452 |     8907     85 |     1686 |      114
197.05/197.15	c  195s |      18 |   470444 |   393652 |     8907     86 |     1686 |      114
199.06/199.20	c  197s |      18 |   472572 |   395752 |     8907     86 |     1686 |      114
201.15/201.23	c  200s |      18 |   475796 |   398952 |     8907     87 |     1686 |      114
203.15/203.26	c  202s |      18 |   478902 |   402052 |     8907     87 |     1686 |      114
205.15/205.28	c  204s |      18 |   481946 |   405052 |     8907     88 |     1686 |      114
207.25/207.34	c  206s |      18 |   485363 |   408452 |     8907     88 |     1686 |      114
209.95/210.06	c  208s |      18 |   488022 |   411052 |     8907     89 |     1686 |      114
211.95/212.10	c  210s |      18 |   490803 |   413752 |     8907     89 |     1686 |      114
214.05/214.14	c  212s |      18 |   493409 |   416352 |     8907     90 |     1686 |      114
216.05/216.17	c  214s |      18 |   496025 |   418952 |     8907     90 |     1686 |      114
218.24/218.35	c  217s |      18 |   497546 |   420452 |     8907     91 |     1686 |      114
220.34/220.42	c  219s |      18 |   500559 |   423452 |     8907     91 |     1686 |      114
222.35/222.48	c  221s |      18 |   503173 |   426052 |     8907     92 |     1686 |      114
224.46/224.51	c  223s |      18 |   504389 |   427252 |     8907     92 |     1686 |      114
226.45/226.57	c  225s |      18 |   507413 |   430252 |     8907     92 |     1686 |      114
228.55/228.62	c  227s |      18 |   509825 |   432652 |     8907     93 |     1686 |      114
230.55/230.68	c  229s |      18 |   513038 |   435852 |     8907     93 |     1686 |      114
232.65/232.70	c  231s |      18 |   516263 |   439052 |     8907     94 |     1686 |      114
234.65/234.75	c  233s |      18 |   519302 |   442052 |     9798     94 |     1686 |      114
236.75/236.83	c  235s |      18 |   520216 |   442952 |     9798     95 |     1686 |      114
237.55/237.64	c  236s |      19 |   521782 |   444482 |     9798     95 |     1686 |      114
239.94/240.09	c  238s |      19 |   527316 |   447982 |     9798     95 |     1686 |      114
242.05/242.12	c  240s |      19 |   531702 |   452282 |     9798     96 |     1686 |      114
244.04/244.18	c  242s |      19 |   536299 |   456482 |     9798     97 |     1686 |      114
246.14/246.20	c  244s |      19 |   540609 |   460282 |     9798     97 |     1686 |      114
248.14/248.22	c  247s |      19 |   543931 |   463582 |     9798     98 |     1686 |      114
250.14/250.24	c  249s |      19 |   547520 |   466982 |     9798     98 |     1686 |      114
252.14/252.27	c  251s |      19 |   551206 |   470482 |     9798     99 |     1686 |      114
254.24/254.32	c  253s |      19 |   554073 |   473282 |     9798    100 |     1686 |      114
256.25/256.35	c  255s |      19 |   556616 |   475782 |     9798    100 |     1686 |      114
258.34/258.41	c  257s |      19 |   558535 |   477682 |     9798    100 |     1686 |      114
260.34/260.45	c  259s |      19 |   560517 |   479582 |     9798    101 |     1686 |      114
262.34/262.48	c  261s |      19 |   562767 |   481782 |     9798    101 |     1686 |      114
264.34/264.49	c  263s |      19 |   564823 |   483782 |     9798    101 |     1686 |      114
266.64/266.75	c  265s |      19 |   566874 |   485782 |     9798    102 |     1686 |      114
268.64/268.76	c  267s |      19 |   569311 |   488182 |     9798    102 |     1686 |      114
270.74/270.82	c  269s |      19 |   571921 |   490782 |     9798    102 |     1686 |      114
272.75/272.86	c  271s |      19 |   575027 |   493882 |     9798    103 |     1686 |      114
275.44/275.59	c  274s |      19 |   578193 |   496982 |     9798    103 |     1686 |      114
277.53/277.63	c  276s |      19 |   581824 |   500482 |     9798    104 |     1686 |      114
279.63/279.70	c  278s |      19 |   584942 |   503582 |     9798    104 |     1686 |      114
281.64/281.76	c  280s |      19 |   587568 |   506182 |     9798    105 |     1686 |      114
283.94/284.03	c  282s |      19 |   588946 |   507482 |     9798    105 |     1686 |      114
285.95/286.04	c  284s |      19 |   591798 |   510282 |     9798    106 |     1686 |      114
287.94/288.04	c  286s |      19 |   594723 |   513182 |     9798    106 |     1686 |      114
290.04/290.11	c  288s |      19 |   597363 |   515782 |     9798    106 |     1686 |      114
292.04/292.14	c  290s |      19 |   600116 |   518482 |     9798    107 |     1686 |      114
294.14/294.21	c  292s |      19 |   602169 |   520482 |     9798    107 |     1686 |      114
296.14/296.21	c  295s |      19 |   604604 |   522882 |     9798    108 |     1686 |      114
298.15/298.24	c  297s |      19 |   607242 |   525482 |     9798    108 |     1686 |      114
300.14/300.28	c  299s |      19 |   609704 |   527882 |     9798    108 |     1686 |      114
302.24/302.32	c  301s |      19 |   612552 |   530682 |     9798    109 |     1686 |      114
304.24/304.34	c  303s |      19 |   615280 |   533382 |     9798    109 |     1686 |      114
306.24/306.37	c  305s |      19 |   617719 |   535782 |     9798    110 |     1686 |      114
308.34/308.43	c  307s |      19 |   620264 |   538282 |     9798    110 |     1686 |      114
310.44/310.50	c  309s |      19 |   622373 |   540382 |     9798    111 |     1686 |      114
312.63/312.76	c  311s |      19 |   623301 |   541282 |     9798    111 |     1686 |      114
314.64/314.79	c  313s |      19 |   625527 |   543482 |     9798    111 |     1686 |      114
316.74/316.81	c  315s |      19 |   627785 |   545682 |     9798    111 |     1686 |      114
318.73/318.84	c  317s |      19 |   631807 |   549682 |     9798    112 |     1686 |      114
320.73/320.87	c  319s |      19 |   635333 |   553182 |     9798    113 |     1686 |      114
322.83/322.92	c  321s |      19 |   639358 |   557182 |     9798    113 |     1686 |      114
325.13/325.26	c  324s |      19 |   641563 |   559382 |     9798    114 |     1686 |      114
327.13/327.28	c  326s |      19 |   644383 |   562182 |     9798    114 |     1686 |      114
329.23/329.37	c  328s |      19 |   645928 |   563682 |     9798    114 |     1686 |      114
331.23/331.38	c  330s |      19 |   647789 |   565482 |     9798    115 |     1686 |      114
333.34/333.42	c  332s |      19 |   650348 |   567982 |     9798    115 |     1686 |      114
335.44/335.51	c  334s |      19 |   652828 |   570382 |     9798    115 |     1686 |      114
337.43/337.54	c  336s |      19 |   655296 |   572782 |     9798    116 |     1686 |      114
339.43/339.54	c  338s |      19 |   657454 |   574882 |     9798    116 |     1686 |      114
341.43/341.58	c  340s |      19 |   660672 |   578082 |     9798    117 |     1686 |      114
343.53/343.61	c  342s |      19 |   664184 |   581582 |     9798    117 |     1686 |      114
345.53/345.61	c  344s |      19 |   667605 |   584982 |     9798    118 |     1686 |      114
347.53/347.66	c  346s |      19 |   670625 |   587982 |     9798    118 |     1686 |      114
349.53/349.68	c  348s |      19 |   673141 |   590482 |     9798    119 |     1686 |      114
352.03/352.12	c  350s |      19 |   675403 |   592682 |     9798    119 |     1686 |      114
354.23/354.35	c  353s |      19 |   678039 |   595282 |     9798    120 |     1686 |      114
356.23/356.36	c  355s |      19 |   682072 |   599282 |     9798    120 |     1686 |      114
358.33/358.40	c  357s |      19 |   685591 |   602782 |     9798    121 |     1686 |      114
360.33/360.45	c  359s |      19 |   688621 |   605782 |     9798    121 |     1686 |      114
362.82/362.96	c  361s |      19 |   690634 |   607782 |     9798    122 |     1686 |      114
364.82/364.96	c  363s |      19 |   693957 |   611082 |     9798    122 |     1686 |      114
366.92/367.02	c  365s |      19 |   696509 |   613582 |     9798    123 |     1686 |      114
368.92/369.07	c  367s |      19 |   699628 |   616682 |     9798    123 |     1686 |      114
370.92/371.08	c  369s |      19 |   702537 |   619582 |     9798    123 |     1686 |      114
373.02/373.10	c  371s |      19 |   705253 |   622282 |     9798    124 |     1686 |      114
375.03/375.16	c  373s |      19 |   708170 |   625182 |     9798    124 |     1686 |      114
377.02/377.16	c  375s |      19 |   709991 |   626982 |     9798    125 |     1686 |      114
379.02/379.19	c  377s |      19 |   713318 |   630282 |     9798    125 |     1686 |      114
381.92/382.06	c  380s |      19 |   716545 |   633482 |     9798    126 |     1686 |      114
383.93/384.08	c  382s |      19 |   718855 |   635782 |     9798    126 |     1686 |      114
386.03/386.13	c  384s |      19 |   721583 |   638482 |     9798    127 |     1686 |      114
388.12/388.20	c  386s |      19 |   724743 |   641582 |     9798    127 |     1686 |      114
390.12/390.20	c  388s |      19 |   727750 |   644582 |     9798    128 |     1686 |      114
392.12/392.22	c  391s |      19 |   731068 |   647882 |     9798    128 |     1686 |      114
394.12/394.25	c  393s |      19 |   733880 |   650682 |     9798    129 |     1686 |      114
396.12/396.28	c  395s |      19 |   737298 |   654082 |     9798    129 |     1686 |      114
398.12/398.29	c  397s |      19 |   739419 |   656182 |     9798    129 |     1686 |      114
400.22/400.35	c  399s |      19 |   742542 |   659282 |     9798    130 |     1686 |      114
402.22/402.36	c  401s |      19 |   745354 |   662082 |     9798    130 |     1686 |      114
404.32/404.41	c  403s |      19 |   748272 |   664982 |    10778    131 |     1686 |      114
405.52/405.60	c  404s |      20 |   750121 |   666827 |    10778    131 |     1686 |      114
407.52/407.68	c  406s |      20 |   750249 |   666927 |    10778    131 |     1686 |      114
409.82/409.99	c  408s |      20 |   752819 |   669427 |    10778    132 |     1686 |      114
411.92/412.01	c  410s |      20 |   756445 |   673027 |    10778    132 |     1686 |      114
413.92/414.02	c  412s |      20 |   759968 |   676527 |    10778    133 |     1686 |      114
415.92/416.05	c  414s |      20 |   763474 |   680027 |    10778    133 |     1686 |      114
418.02/418.12	c  416s |      20 |   765485 |   682027 |    10778    134 |     1686 |      114
420.02/420.15	c  418s |      20 |   768997 |   685527 |    10778    134 |     1686 |      114
422.01/422.19	c  420s |      20 |   772523 |   689027 |    10778    135 |     1686 |      114
424.11/424.22	c  423s |      20 |   776330 |   692827 |    10778    135 |     1686 |      114
426.11/426.26	c  425s |      20 |   779449 |   695927 |    10778    136 |     1686 |      114
428.21/428.30	c  427s |      20 |   783065 |   699527 |    10778    136 |     1686 |      114
430.71/430.87	c  429s |      20 |   785177 |   701627 |    10778    137 |     1686 |      114
432.71/432.89	c  431s |      20 |   788810 |   705227 |    10778    137 |     1686 |      114
434.81/434.93	c  433s |      20 |   792322 |   708727 |    10778    138 |     1686 |      114
436.81/436.98	c  435s |      20 |   795543 |   711927 |    10778    138 |     1686 |      114
438.92/439.01	c  437s |      20 |   798159 |   714527 |    10778    139 |     1686 |      114
440.91/441.03	c  439s |      20 |   801779 |   718127 |    10778    139 |     1686 |      114
442.91/443.04	c  441s |      20 |   805294 |   721627 |    10778    140 |     1686 |      114
445.61/445.74	c  444s |      20 |   807709 |   724027 |    10778    140 |     1686 |      114
447.62/447.79	c  446s |      20 |   811119 |   727427 |    10778    141 |     1686 |      114
450.02/450.17	c  448s |      20 |   812738 |   729027 |    10778    141 |     1686 |      114
452.22/452.30	c  451s |      20 |   815758 |   732027 |    10778    142 |     1686 |      114
454.22/454.33	c  453s |      20 |   819172 |   735427 |    10778    142 |     1686 |      114
456.22/456.38	c  455s |      20 |   821585 |   737827 |    10778    142 |     1686 |      114
458.31/458.42	c  457s |      20 |   824273 |   740427 |    10778    143 |     1686 |      114
460.31/460.42	c  459s |      20 |   827086 |   743227 |    10778    143 |     1686 |      114
462.31/462.45	c  461s |      20 |   830007 |   746127 |    10778    144 |     1686 |      114
464.41/464.51	c  463s |      20 |   833318 |   749427 |    10778    144 |     1686 |      114
466.42/466.53	c  465s |      20 |   836841 |   752927 |    10778    145 |     1686 |      114
468.41/468.54	c  467s |      20 |   840452 |   756527 |    10778    145 |     1686 |      114
470.41/470.58	c  469s |      20 |   843658 |   759727 |    10778    146 |     1686 |      114
472.51/472.63	c  471s |      20 |   845983 |   762027 |    10778    146 |     1686 |      114
474.51/474.65	c  473s |      20 |   849292 |   765327 |    10778    147 |     1686 |      114
476.81/476.96	c  475s |      20 |   851508 |   767527 |    10778    147 |     1686 |      114
478.91/479.02	c  477s |      20 |   854920 |   770927 |    10778    148 |     1686 |      114
480.91/481.06	c  479s |      20 |   858329 |   774327 |    10778    148 |     1686 |      114
483.11/483.21	c  481s |      20 |   861956 |   777927 |    10778    149 |     1686 |      114
485.11/485.24	c  484s |      20 |   865864 |   781827 |    10778    149 |     1686 |      114
487.10/487.28	c  486s |      20 |   868484 |   784427 |    10778    150 |     1686 |      114
489.10/489.29	c  488s |      20 |   872091 |   788027 |    10778    150 |     1686 |      114
492.81/492.91	c  491s |      20 |   875117 |   791027 |    10778    151 |     1686 |      114
494.81/494.95	c  493s |      20 |   878825 |   794727 |    10778    152 |     1686 |      114
496.81/496.96	c  495s |      20 |   882550 |   798427 |    10778    152 |     1686 |      114
499.70/499.86	c  498s |      20 |   885371 |   801227 |    10778    153 |     1686 |      114
501.70/501.88	c  500s |      20 |   888694 |   804527 |    10778    153 |     1686 |      114
503.71/503.89	c  502s |      20 |   891804 |   807627 |    10778    154 |     1686 |      114
505.80/505.93	c  504s |      20 |   895925 |   811727 |    10778    154 |     1686 |      114
507.80/507.94	c  506s |      20 |   898958 |   814727 |    10778    155 |     1686 |      114
509.80/509.98	c  508s |      20 |   902786 |   818527 |    10778    155 |     1686 |      114
511.90/512.01	c  510s |      20 |   905906 |   821627 |    10778    156 |     1686 |      114
513.90/514.05	c  512s |      20 |   909329 |   825027 |    10778    156 |     1686 |      114
515.91/516.06	c  514s |      20 |   912937 |   828627 |    10778    157 |     1686 |      114
520.11/520.26	c  519s |      20 |   915561 |   831227 |    10778    157 |     1686 |      114
522.10/522.29	c  521s |      20 |   919172 |   834827 |    10778    158 |     1686 |      114
524.20/524.31	c  523s |      20 |   922687 |   838327 |    10778    158 |     1686 |      114
526.20/526.32	c  525s |      20 |   925708 |   841327 |    10778    159 |     1686 |      114
528.20/528.39	c  527s |      20 |   929126 |   844727 |    10778    160 |     1686 |      114
530.30/530.44	c  529s |      20 |   932330 |   847927 |    10778    160 |     1686 |      114
532.31/532.44	c  531s |      20 |   936352 |   851927 |    10778    161 |     1686 |      114
534.30/534.47	c  533s |      20 |   940373 |   855927 |    10778    161 |     1686 |      114
536.30/536.48	c  535s |      20 |   943692 |   859227 |    10778    162 |     1686 |      114
538.40/538.50	c  537s |      20 |   947308 |   862827 |    10778    162 |     1686 |      114
542.40/542.57	c  541s |      20 |   950735 |   866227 |    10778    163 |     1686 |      114
544.50/544.62	c  543s |      20 |   953454 |   868927 |    10778    163 |     1686 |      114
546.49/546.64	c  545s |      20 |   956868 |   872327 |    10778    164 |     1686 |      114
548.49/548.67	c  547s |      20 |   960488 |   875927 |    10778    164 |     1686 |      114
550.49/550.69	c  549s |      20 |   964705 |   880127 |    10778    165 |     1686 |      114
552.59/552.72	c  551s |      20 |   967510 |   882927 |    10778    166 |     1686 |      114
554.60/554.72	c  553s |      20 |   969726 |   885127 |    10778    166 |     1686 |      114
556.70/556.84	c  555s |      20 |   973133 |   888527 |    10778    167 |     1686 |      114
558.71/558.84	c  557s |      20 |   976956 |   892327 |    10778    167 |     1686 |      114
561.90/562.07	c  560s |      20 |   980073 |   895427 |    10778    168 |     1686 |      114
563.90/564.08	c  562s |      20 |   983896 |   899227 |    10778    168 |     1686 |      114
566.00/566.13	c  564s |      20 |   987305 |   902627 |    10778    169 |     1686 |      114
568.00/568.18	c  566s |      20 |   990727 |   906027 |    10778    169 |     1686 |      114
571.20/571.39	c  570s |      20 |   993647 |   908927 |    10778    170 |     1686 |      114
573.30/573.41	c  572s |      20 |   997261 |   912527 |    10778    170 |     1686 |      114
575.59/575.78	c  574s |      20 |  1000389 |   915627 |    10778    171 |     1686 |      114
577.69/577.80	c  576s |      20 |  1003707 |   918927 |    10778    171 |     1686 |      114
579.70/579.84	c  578s |      20 |  1007315 |   922527 |    10778    172 |     1686 |      114
581.69/581.85	c  580s |      20 |  1010732 |   925927 |    10778    172 |     1686 |      114
583.69/583.89	c  582s |      20 |  1014651 |   929827 |    10778    173 |     1686 |      114
585.79/585.91	c  584s |      20 |  1018469 |   933627 |    10778    174 |     1686 |      114
589.20/589.34	c  588s |      20 |  1018985 |   934127 |    10778    174 |     1686 |      114
591.20/591.37	c  590s |      20 |  1022488 |   937627 |    10778    174 |     1686 |      114
593.19/593.39	c  592s |      20 |  1026212 |   941327 |    10778    175 |     1686 |      114
595.29/595.45	c  594s |      20 |  1029431 |   944527 |    10778    175 |     1686 |      114
597.30/597.46	c  596s |      20 |  1032839 |   947927 |    10778    176 |     1686 |      114
599.40/599.51	c  598s |      20 |  1034950 |   950027 |    10778    176 |     1686 |      114
601.39/601.53	c  600s |      20 |  1038464 |   953527 |    10778    177 |     1686 |      114
603.39/603.55	c  602s |      20 |  1041676 |   956727 |    10778    177 |     1686 |      114
605.49/605.60	c  604s |      20 |  1045292 |   960327 |    10778    178 |     1686 |      114
608.20/608.38	c  607s |      20 |  1048816 |   963827 |    10778    179 |     1686 |      114
610.29/610.44	c  609s |      20 |  1052635 |   967627 |    10778    179 |     1686 |      114
612.49/612.62	c  611s |      20 |  1056359 |   971327 |    10778    180 |     1686 |      114
614.49/614.63	c  613s |      20 |  1059784 |   974727 |    10778    180 |     1686 |      114
616.49/616.64	c  615s |      20 |  1063196 |   978127 |    10778    181 |     1686 |      114
618.49/618.67	c  617s |      20 |  1066416 |   981327 |    10778    181 |     1686 |      114
620.59/620.71	c  619s |      20 |  1069022 |   983927 |    10778    182 |     1686 |      114
622.60/622.73	c  621s |      20 |  1072233 |   987127 |    10778    182 |     1686 |      114
624.59/624.75	c  623s |      20 |  1075250 |   990127 |    10778    183 |     1686 |      114
630.59/630.71	c  629s |      20 |  1078471 |   993327 |    11856    183 |     1686 |      114
632.58/632.73	c  631s |      20 |  1081483 |   996327 |    11856    184 |     1686 |      114
634.59/634.74	c  633s |      20 |  1084598 |   999427 |    11856    184 |     1686 |      114
635.08/635.22	c  634s |      21 |  1085517 |  1000345 |    11856    184 |     1686 |      114
637.08/637.24	c  636s |      21 |  1087961 |  1002745 |    11856    184 |     1686 |      114
639.09/639.25	c  638s |      21 |  1090866 |  1005645 |    11856    185 |     1686 |      114
641.08/641.29	c  640s |      21 |  1094190 |  1008945 |    11856    185 |     1686 |      114
643.18/643.35	c  642s |      21 |  1097900 |  1012645 |    11856    186 |     1686 |      114
645.18/645.37	c  644s |      21 |  1100021 |  1014745 |    11856    186 |     1686 |      114
647.28/647.43	c  646s |      21 |  1103236 |  1017945 |    11856    187 |     1686 |      114
649.28/649.46	c  648s |      21 |  1106648 |  1021345 |    11856    187 |     1686 |      114
651.29/651.48	c  650s |      21 |  1109170 |  1023845 |    11856    188 |     1686 |      114
653.39/653.52	c  652s |      21 |  1112685 |  1027345 |    11856    188 |     1686 |      114
655.39/655.52	c  654s |      21 |  1115494 |  1030145 |    11856    189 |     1686 |      114
660.48/660.69	c  659s |      21 |  1119025 |  1033645 |    11856    189 |     1686 |      114
662.68/662.80	c  661s |      21 |  1122344 |  1036945 |    11856    190 |     1686 |      114
664.78/664.91	c  663s |      21 |  1125748 |  1040245 |    11856    190 |     1686 |      114
666.78/666.97	c  665s |      21 |  1128308 |  1042545 |    11856    190 |     1686 |      114
669.18/669.32	c  668s |      21 |  1130470 |  1044645 |    11856    191 |     1686 |      114
671.18/671.34	c  670s |      21 |  1133643 |  1047745 |    11856    191 |     1686 |      114
673.19/673.34	c  672s |      21 |  1136453 |  1050545 |    11856    192 |     1686 |      114
675.38/675.51	c  674s |      21 |  1137662 |  1051745 |    11856    192 |     1686 |      114
677.38/677.54	c  676s |      21 |  1140970 |  1055045 |    11856    192 |     1686 |      114
679.38/679.58	c  678s |      21 |  1144290 |  1058345 |    11856    193 |     1686 |      114
681.38/681.58	c  680s |      21 |  1147508 |  1061545 |    11856    193 |     1686 |      114
683.38/683.59	c  682s |      21 |  1150116 |  1064145 |    11856    194 |     1686 |      114
685.68/685.80	c  684s |      21 |  1153132 |  1067145 |    11856    194 |     1686 |      114
687.97/688.17	c  686s |      21 |  1155643 |  1069645 |    11856    194 |     1686 |      114
689.97/690.19	c  688s |      21 |  1158848 |  1072845 |    11856    195 |     1686 |      114
692.08/692.20	c  690s |      21 |  1160251 |  1074245 |    11856    195 |     1686 |      114
694.09/694.21	c  692s |      21 |  1163171 |  1077145 |    11856    195 |     1686 |      114
696.08/696.27	c  695s |      21 |  1166678 |  1080645 |    11856    196 |     1686 |      114
698.18/698.35	c  697s |      21 |  1169691 |  1083645 |    11856    196 |     1686 |      114
700.18/700.38	c  699s |      21 |  1172004 |  1085945 |    11856    197 |     1686 |      114
702.88/703.04	c  701s |      21 |  1173716 |  1087645 |    11856    197 |     1686 |      114
704.98/705.12	c  703s |      21 |  1176518 |  1090445 |    11856    197 |     1686 |      114
706.97/707.13	c  705s |      21 |  1179643 |  1093545 |    11856    198 |     1686 |      114
710.27/710.48	c  709s |      21 |  1180437 |  1094345 |    11856    198 |     1686 |      114
712.27/712.48	c  711s |      21 |  1183545 |  1097445 |    11856    198 |     1686 |      114
714.37/714.53	c  713s |      21 |  1186868 |  1100745 |    11856    199 |     1686 |      114
716.78/716.99	c  715s |      21 |  1188782 |  1102645 |    11856    199 |     1686 |      114
718.88/719.00	c  717s |      21 |  1191391 |  1105245 |    11856    200 |     1686 |      114
720.98/721.13	c  719s |      21 |  1194809 |  1108645 |    11856    200 |     1686 |      114
722.98/723.14	c  721s |      21 |  1197612 |  1111445 |    11856    200 |     1686 |      114
724.97/725.15	c  723s |      21 |  1199833 |  1113645 |    11856    201 |     1686 |      114
726.98/727.16	c  725s |      21 |  1203154 |  1116945 |    11856    201 |     1686 |      114
728.97/729.17	c  727s |      21 |  1205966 |  1119745 |    11856    202 |     1686 |      114
730.97/731.18	c  729s |      21 |  1208784 |  1122545 |    11856    202 |     1686 |      114
733.07/733.20	c  731s |      21 |  1211998 |  1125745 |    11856    203 |     1686 |      114
735.17/735.33	c  734s |      21 |  1215708 |  1129445 |    11856    203 |     1686 |      114
737.17/737.35	c  736s |      21 |  1218327 |  1132045 |    11856    203 |     1686 |      114
739.18/739.36	c  738s |      21 |  1221837 |  1135545 |    11856    204 |     1686 |      114
741.67/741.81	c  740s |      21 |  1223749 |  1137445 |    11856    204 |     1686 |      114
743.67/743.84	c  742s |      21 |  1226365 |  1140045 |    11856    205 |     1686 |      114
745.67/745.87	c  744s |      21 |  1229472 |  1143145 |    11856    205 |     1686 |      114
747.77/747.95	c  746s |      21 |  1232187 |  1145845 |    11856    206 |     1686 |      114
749.77/749.95	c  748s |      21 |  1234203 |  1147845 |    11856    206 |     1686 |      114
751.76/751.99	c  750s |      21 |  1237325 |  1150945 |    11856    206 |     1686 |      114
753.86/754.00	c  752s |      21 |  1239934 |  1153545 |    11856    207 |     1686 |      114
755.86/756.07	c  754s |      21 |  1242449 |  1156045 |    11856    207 |     1686 |      114
758.27/758.47	c  757s |      21 |  1243855 |  1157445 |    11856    207 |     1686 |      114
760.27/760.49	c  759s |      21 |  1246153 |  1159745 |    11856    208 |     1686 |      114
762.37/762.53	c  761s |      21 |  1249173 |  1162745 |    11856    208 |     1686 |      114
764.37/764.58	c  763s |      21 |  1251680 |  1165245 |    11856    208 |     1686 |      114
766.47/766.62	c  765s |      21 |  1254287 |  1167845 |    11856    209 |     1686 |      114
768.47/768.64	c  767s |      21 |  1257904 |  1171445 |    11856    209 |     1686 |      114
770.47/770.66	c  769s |      21 |  1261027 |  1174545 |    11856    210 |     1686 |      114
772.47/772.67	c  771s |      21 |  1263832 |  1177345 |    11856    210 |     1686 |      114
774.77/774.91	c  773s |      21 |  1266346 |  1179845 |    11856    211 |     1686 |      114
776.76/776.92	c  775s |      21 |  1269558 |  1183045 |    11856    211 |     1686 |      114
778.77/778.95	c  777s |      21 |  1270664 |  1184145 |    11856    211 |     1686 |      114
780.87/781.08	c  779s |      21 |  1273169 |  1186645 |    11856    212 |     1686 |      114
782.96/783.10	c  781s |      21 |  1276683 |  1190145 |    11856    212 |     1686 |      114
784.96/785.12	c  783s |      21 |  1277898 |  1191345 |    11856    212 |     1686 |      114
788.97/789.19	c  787s |      21 |  1279003 |  1192445 |    11856    212 |     1686 |      114
791.07/791.21	c  789s |      21 |  1281404 |  1194845 |    11856    213 |     1686 |      114
793.07/793.25	c  792s |      21 |  1284623 |  1198045 |    11856    213 |     1686 |      114
795.07/795.27	c  794s |      21 |  1287136 |  1200545 |    11856    214 |     1686 |      114
797.06/797.28	c  796s |      21 |  1288442 |  1201845 |    11856    214 |     1686 |      114
799.16/799.34	c  798s |      21 |  1291465 |  1204845 |    11856    214 |     1686 |      114
801.36/801.56	c  800s |      21 |  1291663 |  1205045 |    11856    214 |     1686 |      114
803.36/803.57	c  802s |      21 |  1293873 |  1207245 |    11856    215 |     1686 |      114
805.36/805.59	c  804s |      21 |  1297386 |  1210745 |    11856    215 |     1686 |      114
807.56/807.78	c  806s |      21 |  1300506 |  1213845 |    11856    216 |     1686 |      114
809.66/809.83	c  808s |      21 |  1304421 |  1217745 |    11856    216 |     1686 |      114
811.67/811.85	c  810s |      21 |  1307432 |  1220745 |    11856    217 |     1686 |      114
813.76/813.93	c  812s |      21 |  1310853 |  1224145 |    11856    217 |     1686 |      114
815.76/815.95	c  814s |      21 |  1313473 |  1226645 |    11856    217 |     1686 |      114
817.76/817.95	c  816s |      21 |  1316757 |  1229645 |    11856    218 |     1686 |      114
819.76/819.97	c  818s |      21 |  1320613 |  1232745 |    11856    218 |     1686 |      114
821.86/822.00	c  820s |      21 |  1323510 |  1235345 |    11856    219 |     1686 |      114
824.05/824.20	c  822s |      21 |  1326231 |  1237845 |    11856    219 |     1686 |      114
826.06/826.26	c  825s |      21 |  1328611 |  1240045 |    11856    219 |     1686 |      114
828.05/828.30	c  827s |      21 |  1331327 |  1242345 |    11856    220 |     1686 |      114
830.36/830.52	c  829s |      21 |  1333895 |  1244545 |    11856    220 |     1686 |      114
832.35/832.54	c  831s |      21 |  1336725 |  1246945 |    11856    220 |     1686 |      114
834.35/834.55	c  833s |      21 |  1339399 |  1249145 |    11856    221 |     1686 |      114
836.55/836.76	c  835s |      21 |  1341628 |  1251045 |    11856    221 |     1686 |      114
838.65/838.84	c  837s |      21 |  1344565 |  1253645 |    11856    221 |     1686 |      114
840.65/840.88	c  839s |      21 |  1347258 |  1255945 |    11856    222 |     1686 |      114
842.65/842.89	c  841s |      21 |  1349312 |  1257745 |    11856    222 |     1686 |      114
844.76/844.91	c  843s |      21 |  1352074 |  1260345 |    11856    222 |     1686 |      114
846.75/846.98	c  845s |      21 |  1354478 |  1262645 |    11856    223 |     1686 |      114
848.85/849.02	c  847s |      21 |  1356760 |  1264845 |    11856    223 |     1686 |      114
850.95/851.10	c  849s |      21 |  1359568 |  1267445 |    11856    223 |     1686 |      114
852.95/853.15	c  851s |      21 |  1361906 |  1269745 |    11856    224 |     1686 |      114
855.05/855.20	c  853s |      21 |  1364029 |  1271745 |    11856    224 |     1686 |      114
857.05/857.27	c  856s |      21 |  1367444 |  1274845 |    11856    224 |     1686 |      114
859.15/859.30	c  858s |      21 |  1369838 |  1277145 |    11856    225 |     1686 |      114
861.16/861.31	c  860s |      21 |  1372375 |  1279445 |    11856    225 |     1686 |      114
863.15/863.34	c  862s |      21 |  1374903 |  1281745 |    11856    225 |     1686 |      114
865.15/865.35	c  864s |      21 |  1377243 |  1283945 |    11856    226 |     1686 |      114
867.25/867.45	c  866s |      21 |  1379896 |  1286345 |    11856    226 |     1686 |      114
869.35/869.50	c  868s |      21 |  1381825 |  1288145 |    11856    226 |     1686 |      114
871.35/871.55	c  870s |      21 |  1384036 |  1290145 |    11856    227 |     1686 |      114
873.36/873.56	c  872s |      21 |  1386419 |  1292345 |    11856    227 |     1686 |      114
875.35/875.60	c  874s |      21 |  1388672 |  1294345 |    11856    227 |     1686 |      114
877.55/877.71	c  876s |      21 |  1390708 |  1296245 |    11856    228 |     1686 |      114
879.75/879.90	c  878s |      21 |  1392577 |  1297945 |    11856    228 |     1686 |      114
881.75/881.97	c  880s |      21 |  1394592 |  1299845 |    11856    228 |     1686 |      114
883.85/884.08	c  882s |      21 |  1396840 |  1301945 |    11856    228 |     1686 |      114
885.95/886.10	c  884s |      21 |  1398868 |  1303945 |    11856    229 |     1686 |      114
887.95/888.14	c  886s |      21 |  1401158 |  1306145 |    11856    229 |     1686 |      114
889.95/890.19	c  888s |      21 |  1403442 |  1308345 |    11856    229 |     1686 |      114
892.06/892.26	c  891s |      21 |  1405283 |  1310145 |    11856    230 |     1686 |      114
894.05/894.28	c  893s |      21 |  1407397 |  1312045 |    11856    230 |     1686 |      114
896.05/896.29	c  895s |      21 |  1409509 |  1314045 |    11856    230 |     1686 |      114
898.15/898.30	c  897s |      21 |  1412044 |  1316345 |    11856    230 |     1686 |      114
900.15/900.32	c  899s |      21 |  1414392 |  1318445 |    11856    231 |     1686 |      114
902.15/902.36	c  901s |      21 |  1416697 |  1320645 |    11856    231 |     1686 |      114
904.15/904.37	c  903s |      21 |  1418836 |  1322645 |    11856    231 |     1686 |      114
906.15/906.40	c  905s |      21 |  1420749 |  1324445 |    11856    232 |     1686 |      114
908.25/908.41	c  907s |      21 |  1423440 |  1326845 |    11856    232 |     1686 |      114
910.25/910.42	c  909s |      21 |  1425760 |  1328945 |    11856    232 |     1686 |      114
912.24/912.49	c  911s |      21 |  1427872 |  1330845 |    11856    233 |     1686 |      114
914.34/914.55	c  913s |      21 |  1429928 |  1332745 |    11856    233 |     1686 |      114
916.44/916.60	c  915s |      21 |  1432285 |  1334945 |    11856    233 |     1686 |      114
918.45/918.64	c  917s |      21 |  1434337 |  1336945 |    11856    233 |     1686 |      114
920.65/920.86	c  919s |      21 |  1436219 |  1338745 |    11856    234 |     1686 |      114
922.64/922.89	c  921s |      21 |  1439291 |  1341545 |    11856    234 |     1686 |      114
924.74/924.96	c  923s |      21 |  1441745 |  1343845 |    11856    234 |     1686 |      114
926.94/927.15	c  925s |      21 |  1443672 |  1345645 |    11856    235 |     1686 |      114
929.04/929.20	c  927s |      21 |  1446291 |  1348045 |    11856    235 |     1686 |      114
931.04/931.28	c  930s |      21 |  1448266 |  1349945 |    11856    235 |     1686 |      114
933.04/933.29	c  932s |      21 |  1450059 |  1351645 |    11856    236 |     1686 |      114
935.14/935.37	c  934s |      21 |  1452503 |  1354045 |    11856    236 |     1686 |      114
937.15/937.39	c  936s |      21 |  1454884 |  1356345 |    11856    236 |     1686 |      114
939.25/939.48	c  938s |      21 |  1457022 |  1358445 |    11856    237 |     1686 |      114
941.34/941.53	c  940s |      21 |  1459848 |  1361045 |    11856    237 |     1686 |      114
943.34/943.57	c  942s |      21 |  1462789 |  1363745 |    11856    237 |     1686 |      114
945.44/945.65	c  944s |      21 |  1464822 |  1365745 |    11856    238 |     1686 |      114
947.54/947.70	c  946s |      21 |  1467500 |  1368145 |    11856    238 |     1686 |      114
949.53/949.73	c  948s |      21 |  1469794 |  1370345 |    11856    238 |     1686 |      114
951.63/951.81	c  950s |      21 |  1471244 |  1371745 |    11856    239 |     1686 |      114
953.64/953.83	c  952s |      21 |  1473285 |  1373745 |    11856    239 |     1686 |      114
955.63/955.90	c  954s |      21 |  1475517 |  1375945 |    11856    239 |     1686 |      114
957.73/957.92	c  956s |      21 |  1479024 |  1378845 |    11856    240 |     1686 |      114
959.73/959.93	c  958s |      21 |  1481768 |  1381345 |    11856    240 |     1686 |      114
961.74/961.99	c  960s |      21 |  1484094 |  1383645 |    11856    240 |     1686 |      114
964.24/964.46	c  963s |      21 |  1485567 |  1385045 |    11856    240 |     1686 |      114
966.24/966.46	c  965s |      21 |  1487599 |  1387045 |    11856    241 |     1686 |      114
968.34/968.53	c  967s |      21 |  1489834 |  1389245 |    11856    241 |     1686 |      114
970.34/970.59	c  969s |      21 |  1491951 |  1391345 |    11856    241 |     1686 |      114
973.13/973.39	c  972s |      21 |  1493971 |  1393245 |    11856    242 |     1686 |      114
975.23/975.47	c  974s |      21 |  1496517 |  1395645 |    11856    242 |     1686 |      114
977.33/977.50	c  976s |      21 |  1498646 |  1397745 |    11856    242 |     1686 |      114
979.33/979.57	c  978s |      21 |  1500784 |  1399845 |    11856    243 |     1686 |      114
981.43/981.61	c  980s |      21 |  1503015 |  1402045 |    11856    243 |     1686 |      114
983.43/983.62	c  982s |      21 |  1504959 |  1403945 |    11856    243 |     1686 |      114
985.44/985.68	c  984s |      21 |  1506882 |  1405845 |    11856    243 |     1686 |      114
987.43/987.69	c  986s |      21 |  1508488 |  1407445 |    11856    244 |     1686 |      114
989.53/989.70	c  988s |      21 |  1510501 |  1409445 |    11856    244 |     1686 |      114
991.53/991.71	c  990s |      21 |  1512416 |  1411345 |    11856    244 |     1686 |      114
993.63/993.82	c  992s |      21 |  1513934 |  1412845 |    11856    244 |     1686 |      114
995.63/995.83	c  994s |      21 |  1515549 |  1414445 |    11856    245 |     1686 |      114
997.64/997.85	c  996s |      21 |  1516682 |  1415545 |    11856    245 |     1686 |      114
999.74/999.91	c  998s |      21 |  1518813 |  1417645 |    11856    245 |     1686 |      114
1001.83/1002.09	c 1000s |      21 |  1520973 |  1419745 |    11856    246 |     1686 |      114
1003.93/1004.16	c 1002s |      21 |  1523128 |  1421845 |    11856    246 |     1686 |      114
1005.93/1006.18	c 1004s |      21 |  1525273 |  1423945 |    11856    246 |     1686 |      114
1008.02/1008.23	c 1007s |      21 |  1526928 |  1425545 |    11856    246 |     1686 |      114
1010.02/1010.28	c 1009s |      21 |  1528637 |  1427145 |    11856    247 |     1686 |      114
1012.12/1012.37	c 1011s |      21 |  1531229 |  1429645 |    11856    247 |     1686 |      114
1014.22/1014.44	c 1013s |      21 |  1533571 |  1431745 |    11856    247 |     1686 |      114
1016.23/1016.50	c 1015s |      21 |  1535432 |  1433445 |    11856    247 |     1686 |      114
1018.32/1018.52	c 1017s |      21 |  1537470 |  1435345 |    11856    248 |     1686 |      114
1020.52/1020.70	c 1019s |      21 |  1539742 |  1437345 |    11856    248 |     1686 |      114
1022.52/1022.73	c 1021s |      21 |  1541976 |  1439445 |    11856    248 |     1686 |      114
1024.52/1024.78	c 1023s |      21 |  1544368 |  1441645 |    11856    249 |     1686 |      114
1026.53/1026.79	c 1025s |      21 |  1548397 |  1444945 |    11856    249 |     1686 |      114
1028.63/1028.89	c 1027s |      21 |  1550949 |  1447245 |    11856    250 |     1686 |      114
1030.73/1030.90	c 1029s |      21 |  1553838 |  1449845 |    11856    250 |     1686 |      114
1032.74/1032.96	c 1031s |      21 |  1556642 |  1452345 |    11856    250 |     1686 |      114
1034.73/1034.98	c 1033s |      21 |  1559027 |  1454445 |    11856    251 |     1686 |      114
1036.83/1037.00	c 1035s |      21 |  1562089 |  1457245 |    11856    251 |     1686 |      114
1038.83/1039.07	c 1037s |      21 |  1564361 |  1459445 |    11856    251 |     1686 |      114
1040.93/1041.19	c 1039s |      21 |  1566395 |  1461445 |    11856    252 |     1686 |      114
1043.03/1043.24	c 1042s |      21 |  1568727 |  1463745 |    11856    252 |     1686 |      114
1045.03/1045.29	c 1044s |      21 |  1570746 |  1465745 |    11856    252 |     1686 |      114
1047.13/1047.30	c 1046s |      21 |  1573855 |  1468445 |    11856    253 |     1686 |      114
1049.13/1049.35	c 1048s |      21 |  1576458 |  1470745 |    11856    253 |     1686 |      114
1051.23/1051.40	c 1050s |      21 |  1578604 |  1472845 |    11856    253 |     1686 |      114
1053.22/1053.47	c 1052s |      21 |  1580531 |  1474745 |    11856    254 |     1686 |      114
1055.22/1055.49	c 1054s |      21 |  1583289 |  1477245 |    11856    254 |     1686 |      114
1057.32/1057.50	c 1056s |      21 |  1586444 |  1480045 |    11856    254 |     1686 |      114
1059.32/1059.59	c 1058s |      21 |  1588701 |  1482245 |    11856    255 |     1686 |      114
1061.33/1061.59	c 1060s |      21 |  1590459 |  1483945 |    11856    255 |     1686 |      114
1063.42/1063.63	c 1062s |      21 |  1592810 |  1486045 |    11856    255 |     1686 |      114
1065.52/1065.72	c 1064s |      21 |  1594935 |  1488045 |    11856    255 |     1686 |      114
1067.52/1067.74	c 1066s |      21 |  1597313 |  1490245 |    13042    256 |     1686 |      114
1069.92/1070.16	c 1068s |      21 |  1599554 |  1492245 |    13042    256 |     1686 |      114
1072.02/1072.24	c 1071s |      21 |  1602092 |  1494545 |    13042    256 |     1686 |      114
1074.02/1074.25	c 1073s |      21 |  1604188 |  1496545 |    13042    257 |     1686 |      114
1076.12/1076.34	c 1075s |      21 |  1606667 |  1498945 |    13042    257 |     1686 |      114
1077.72/1077.93	c 1076s |      22 |  1608387 |  1500622 |    13042    257 |     1686 |      114
1079.72/1079.97	c 1078s |      22 |  1612058 |  1503322 |    13042    257 |     1686 |      114
1081.82/1082.04	c 1080s |      22 |  1615160 |  1506322 |    13042    258 |     1686 |      114
1083.82/1084.05	c 1082s |      22 |  1618159 |  1509122 |    13042    258 |     1691 |      114
1085.82/1086.10	c 1084s |      22 |  1621099 |  1512022 |    13042    258 |     1691 |      114
1087.91/1088.17	c 1086s |      22 |  1623809 |  1514722 |    13042    258 |     1691 |      114
1090.02/1090.24	c 1089s |      22 |  1626333 |  1517222 |    13042    258 |     1691 |      114
1092.01/1092.30	c 1091s |      22 |  1628437 |  1519322 |    13042    258 |     1691 |      114
1094.11/1094.38	c 1093s |      22 |  1630450 |  1521322 |    13042    258 |     1691 |      114
1096.21/1096.46	c 1095s |      22 |  1632358 |  1523222 |    13042    258 |     1691 |      114
1098.31/1098.56	c 1097s |      22 |  1634576 |  1525422 |    13042    259 |     1691 |      114
1100.41/1100.65	c 1099s |      22 |  1636474 |  1527322 |    13042    259 |     1691 |      114
1102.41/1102.68	c 1101s |      22 |  1638181 |  1529022 |    13042    259 |     1691 |      114
1104.51/1104.70	c 1103s |      22 |  1639884 |  1530722 |    13042    260 |     1691 |      114
1106.52/1106.71	c 1105s |      22 |  1641799 |  1532622 |    13042    260 |     1691 |      114
1108.51/1108.80	c 1107s |      22 |  1643807 |  1534622 |    13042    260 |     1691 |      114
1110.61/1110.89	c 1109s |      22 |  1646023 |  1536822 |    13042    260 |     1691 |      114
1112.71/1112.97	c 1111s |      22 |  1647936 |  1538722 |    13042    261 |     1691 |      114
1114.81/1115.07	c 1113s |      22 |  1650052 |  1540822 |    13042    261 |     1691 |      114
1116.91/1117.12	c 1115s |      22 |  1651765 |  1542522 |    13042    261 |     1691 |      114
1118.91/1119.16	c 1117s |      22 |  1653362 |  1544122 |    13042    261 |     1691 |      114
1121.31/1121.51	c 1120s |      22 |  1654875 |  1545622 |    13042    262 |     1691 |      114
1123.41/1123.62	c 1122s |      22 |  1656284 |  1547022 |    13042    262 |     1691 |      114
1125.61/1125.87	c 1124s |      22 |  1658003 |  1548722 |    13042    262 |     1691 |      114
1127.71/1127.99	c 1126s |      22 |  1659906 |  1550622 |    13042    262 |     1691 |      114
1129.81/1130.08	c 1128s |      22 |  1661705 |  1552422 |    13042    262 |     1691 |      114
1131.91/1132.16	c 1130s |      22 |  1663219 |  1553922 |    13042    263 |     1691 |      114
1134.02/1134.25	c 1133s |      22 |  1665332 |  1556022 |    13042    263 |     1691 |      114
1136.01/1136.29	c 1135s |      22 |  1667245 |  1557922 |    13042    263 |     1691 |      114
1138.11/1138.36	c 1137s |      22 |  1669146 |  1559822 |    13042    263 |     1691 |      114
1140.11/1140.36	c 1139s |      22 |  1671051 |  1561722 |    13042    264 |     1691 |      114
1142.41/1142.60	c 1141s |      22 |  1673072 |  1563722 |    13042    264 |     1691 |      114
1144.41/1144.62	c 1143s |      22 |  1674976 |  1565622 |    13042    264 |     1691 |      114
1146.41/1146.68	c 1145s |      22 |  1676784 |  1567422 |    13042    264 |     1691 |      114
1148.41/1148.69	c 1147s |      22 |  1678293 |  1568922 |    13042    265 |     1691 |      114
1150.52/1150.76	c 1149s |      22 |  1680206 |  1570822 |    13042    265 |     1691 |      114
1152.62/1152.82	c 1151s |      22 |  1682117 |  1572722 |    13042    265 |     1691 |      114
1154.61/1154.84	c 1153s |      22 |  1683919 |  1574522 |    13042    265 |     1691 |      114
1156.61/1156.85	c 1155s |      22 |  1685525 |  1576122 |    13042    266 |     1691 |      114
1158.61/1158.87	c 1157s |      22 |  1687541 |  1578122 |    13042    266 |     1691 |      114
1160.71/1160.95	c 1159s |      22 |  1689545 |  1580122 |    13042    266 |     1691 |      114
1162.71/1162.98	c 1161s |      22 |  1691464 |  1582022 |    13042    266 |     1691 |      114
1164.81/1165.04	c 1163s |      22 |  1693273 |  1583822 |    13042    267 |     1691 |      114
1166.80/1167.06	c 1165s |      22 |  1695675 |  1586222 |    13042    267 |     1691 |      114
1168.90/1169.12	c 1167s |      22 |  1697698 |  1588222 |    13042    267 |     1691 |      114
1170.90/1171.14	c 1169s |      22 |  1699191 |  1589722 |    13042    267 |     1691 |      114
1172.90/1173.14	c 1171s |      22 |  1700600 |  1591122 |    13042    268 |     1691 |      114
1175.00/1175.24	c 1174s |      22 |  1702202 |  1592722 |    13042    268 |     1691 |      114
1177.10/1177.38	c 1176s |      22 |  1703713 |  1594222 |    13042    268 |     1691 |      114
1179.20/1179.47	c 1178s |      22 |  1705320 |  1595822 |    13042    268 |     1691 |      114
1181.21/1181.48	c 1180s |      22 |  1706629 |  1597122 |    13042    268 |     1691 |      114
1183.30/1183.60	c 1182s |      22 |  1708034 |  1598522 |    13042    269 |     1691 |      114
1186.90/1187.14	c 1185s |      22 |  1708336 |  1598822 |    13042    269 |     1691 |      114
1189.01/1189.23	c 1188s |      22 |  1710137 |  1600622 |    13042    269 |     1691 |      114
1191.00/1191.24	c 1190s |      22 |  1711756 |  1602222 |    13042    269 |     1691 |      114
1193.00/1193.28	c 1192s |      22 |  1713553 |  1604022 |    13042    269 |     1691 |      114
1195.10/1195.39	c 1194s |      22 |  1714873 |  1605322 |    13042    270 |     1691 |      114
1197.20/1197.44	c 1196s |      22 |  1716875 |  1607322 |    13042    270 |     1691 |      114
1199.30/1199.53	c 1198s |      22 |  1718777 |  1609222 |    13042    270 |     1691 |      114
1201.30/1201.54	c 1200s |      22 |  1720388 |  1610822 |    13042    270 |     1691 |      114
1203.50/1203.73	c 1202s |      22 |  1722182 |  1612622 |    13042    270 |     1691 |      114
1205.60/1205.83	c 1204s |      22 |  1723793 |  1614222 |    13042    271 |     1691 |      114
1207.61/1207.88	c 1206s |      22 |  1725695 |  1616122 |    13042    271 |     1691 |      114
1209.70/1209.96	c 1208s |      22 |  1727506 |  1617922 |    13042    271 |     1691 |      114
1211.80/1212.07	c 1210s |      22 |  1729220 |  1619622 |    13042    271 |     1691 |      114
1213.90/1214.10	c 1212s |      22 |  1730925 |  1621322 |    13042    272 |     1691 |      114
1215.90/1216.17	c 1214s |      22 |  1732832 |  1623222 |    13042    272 |     1691 |      114
1218.00/1218.22	c 1217s |      22 |  1734838 |  1625222 |    13042    272 |     1691 |      114
1220.00/1220.23	c 1219s |      22 |  1736255 |  1626622 |    13042    272 |     1691 |      114
1222.10/1222.30	c 1221s |      22 |  1738263 |  1628622 |    13042    273 |     1691 |      114
1224.10/1224.38	c 1223s |      22 |  1740579 |  1630922 |    13042    273 |     1691 |      114
1226.20/1226.43	c 1225s |      22 |  1742591 |  1632922 |    13042    273 |     1691 |      114
1228.40/1228.63	c 1227s |      22 |  1744692 |  1635022 |    13042    274 |     1691 |      114
1230.40/1230.64	c 1229s |      22 |  1746503 |  1636822 |    13042    274 |     1691 |      114
1232.49/1232.72	c 1231s |      22 |  1747900 |  1638222 |    13042    274 |     1691 |      114
1234.49/1234.74	c 1233s |      22 |  1749414 |  1639722 |    13042    274 |     1691 |      114
1236.59/1236.86	c 1235s |      22 |  1750719 |  1641022 |    13042    274 |     1691 |      114
1238.59/1238.89	c 1237s |      22 |  1752031 |  1642322 |    13042    274 |     1691 |      114
1242.90/1243.19	c 1241s |      22 |  1752742 |  1643022 |    13042    275 |     1691 |      114
1245.00/1245.21	c 1243s |      22 |  1754741 |  1645022 |    13042    275 |     1691 |      114
1246.99/1247.27	c 1246s |      22 |  1756452 |  1646722 |    13042    275 |     1691 |      114
1249.09/1249.38	c 1248s |      22 |  1758153 |  1648422 |    13042    275 |     1691 |      114
1251.19/1251.44	c 1250s |      22 |  1759468 |  1649722 |    13042    275 |     1691 |      114
1253.19/1253.48	c 1252s |      22 |  1760966 |  1651222 |    13042    276 |     1691 |      114
1255.29/1255.55	c 1254s |      22 |  1762786 |  1653022 |    13042    276 |     1691 |      114
1257.49/1257.76	c 1256s |      22 |  1763075 |  1653322 |    13042    276 |     1691 |      114
1259.49/1259.80	c 1258s |      22 |  1765092 |  1655322 |    13042    276 |     1691 |      114
1261.60/1261.83	c 1260s |      22 |  1766592 |  1656822 |    13042    276 |     1691 |      114
1263.59/1263.85	c 1262s |      22 |  1768511 |  1658722 |    13042    277 |     1691 |      114
1265.59/1265.89	c 1264s |      22 |  1770209 |  1660422 |    13042    277 |     1691 |      114
1267.69/1267.91	c 1266s |      22 |  1772118 |  1662322 |    13042    277 |     1691 |      114
1269.69/1269.97	c 1268s |      22 |  1773632 |  1663822 |    13042    277 |     1691 |      114
1271.79/1272.04	c 1270s |      22 |  1775530 |  1665722 |    13042    278 |     1691 |      114
1273.79/1274.09	c 1272s |      22 |  1777339 |  1667522 |    13042    278 |     1691 |      114
1275.79/1276.09	c 1274s |      22 |  1778835 |  1669022 |    13042    278 |     1691 |      114
1277.89/1278.19	c 1276s |      22 |  1780443 |  1670622 |    13042    278 |     1691 |      114
1279.99/1280.27	c 1279s |      22 |  1781861 |  1672022 |    13042    278 |     1691 |      114
1281.99/1282.27	c 1281s |      22 |  1783355 |  1673522 |    13042    279 |     1691 |      114
1284.08/1284.34	c 1283s |      22 |  1785260 |  1675422 |    13042    279 |     1691 |      114
1286.18/1286.44	c 1285s |      22 |  1787183 |  1677322 |    13042    279 |     1691 |      114
1288.28/1288.55	c 1287s |      22 |  1789003 |  1679122 |    13042    279 |     1691 |      114
1290.38/1290.60	c 1289s |      22 |  1790910 |  1681022 |    13042    280 |     1691 |      114
1292.39/1292.68	c 1291s |      22 |  1793018 |  1683122 |    13042    280 |     1691 |      114
1294.59/1294.84	c 1293s |      22 |  1794339 |  1684422 |    13042    280 |     1691 |      114
1296.58/1296.87	c 1295s |      22 |  1796155 |  1686222 |    13042    280 |     1691 |      114
1298.68/1298.90	c 1297s |      22 |  1798054 |  1688122 |    13042    281 |     1691 |      114
1300.69/1300.97	c 1299s |      22 |  1799462 |  1689522 |    13042    281 |     1691 |      114
1302.79/1303.06	c 1301s |      22 |  1801368 |  1691422 |    13042    281 |     1691 |      114
1304.89/1305.13	c 1303s |      22 |  1802763 |  1692822 |    13042    281 |     1691 |      114
1306.99/1307.21	c 1305s |      22 |  1804688 |  1694722 |    13042    282 |     1691 |      114
1308.99/1309.21	c 1307s |      22 |  1806392 |  1696422 |    13042    282 |     1691 |      114
1310.99/1311.23	c 1310s |      22 |  1808317 |  1698322 |    13042    282 |     1691 |      114
1312.99/1313.25	c 1312s |      22 |  1809828 |  1699822 |    13042    282 |     1691 |      114
1315.09/1315.35	c 1314s |      22 |  1811521 |  1701522 |    13042    282 |     1691 |      114
1317.08/1317.36	c 1316s |      22 |  1812942 |  1702922 |    13042    283 |     1691 |      114
1319.18/1319.41	c 1318s |      22 |  1814841 |  1704822 |    13042    283 |     1691 |      114
1321.18/1321.48	c 1320s |      22 |  1816649 |  1706622 |    13042    283 |     1691 |      114
1323.28/1323.50	c 1322s |      22 |  1818270 |  1708222 |    13042    283 |     1691 |      114
1325.29/1325.51	c 1324s |      22 |  1819669 |  1709622 |    13042    284 |     1691 |      114
1327.28/1327.54	c 1326s |      22 |  1821593 |  1711522 |    13042    284 |     1691 |      114
1329.38/1329.61	c 1328s |      22 |  1823500 |  1713422 |    13042    284 |     1691 |      114
1331.38/1331.65	c 1330s |      22 |  1825103 |  1715022 |    13042    284 |     1691 |      114
1333.38/1333.66	c 1332s |      22 |  1826711 |  1716622 |    13042    284 |     1691 |      114
1335.38/1335.66	c 1334s |      22 |  1828314 |  1718222 |    13042    285 |     1691 |      114
1337.39/1337.67	c 1336s |      22 |  1830319 |  1720222 |    13042    285 |     1691 |      114
1339.38/1339.69	c 1338s |      22 |  1831460 |  1721322 |    13042    285 |     1691 |      114
1341.48/1341.79	c 1340s |      22 |  1833475 |  1723322 |    13042    285 |     1691 |      114
1343.48/1343.79	c 1342s |      22 |  1834869 |  1724722 |    13042    286 |     1691 |      114
1345.58/1345.83	c 1344s |      22 |  1836295 |  1726122 |    13042    286 |     1691 |      114
1347.58/1347.86	c 1346s |      22 |  1838311 |  1728122 |    13042    286 |     1691 |      114
1349.68/1349.97	c 1348s |      22 |  1839915 |  1729722 |    13042    286 |     1691 |      114
1351.78/1352.02	c 1350s |      22 |  1841740 |  1731522 |    13042    286 |     1691 |      114
1353.88/1354.13	c 1352s |      22 |  1843448 |  1733222 |    13042    287 |     1691 |      114
1355.98/1356.22	c 1355s |      22 |  1845277 |  1735022 |    13042    287 |     1691 |      114
1357.98/1358.24	c 1357s |      22 |  1846882 |  1736622 |    13042    287 |     1691 |      114
1359.98/1360.28	c 1359s |      22 |  1848498 |  1738222 |    13042    287 |     1691 |      114
1362.08/1362.30	c 1361s |      22 |  1850010 |  1739722 |    13042    288 |     1691 |      114
1364.07/1364.31	c 1363s |      22 |  1851432 |  1741122 |    13042    288 |     1691 |      114
1366.08/1366.32	c 1365s |      22 |  1853242 |  1742922 |    13042    288 |     1691 |      114
1368.18/1368.41	c 1367s |      22 |  1854962 |  1744622 |    13042    288 |     1691 |      114
1370.17/1370.47	c 1369s |      22 |  1856468 |  1746122 |    13042    288 |     1691 |      114
1372.27/1372.53	c 1371s |      22 |  1858086 |  1747722 |    13042    289 |     1691 |      114
1374.27/1374.54	c 1373s |      22 |  1859907 |  1749522 |    13042    289 |     1691 |      114
1376.37/1376.60	c 1375s |      22 |  1861723 |  1751322 |    13042    289 |     1691 |      114
1378.47/1378.71	c 1377s |      22 |  1863451 |  1753022 |    13042    289 |     1691 |      114
1380.47/1380.73	c 1379s |      22 |  1865171 |  1754722 |    13042    290 |     1691 |      114
1382.48/1382.75	c 1381s |      22 |  1866890 |  1756422 |    13042    290 |     1691 |      114
1384.57/1384.84	c 1383s |      22 |  1868924 |  1758422 |    13042    290 |     1691 |      114
1386.67/1386.94	c 1385s |      22 |  1870960 |  1760422 |    13042    290 |     1691 |      114
1388.67/1388.95	c 1387s |      22 |  1871807 |  1761222 |    13042    290 |     1691 |      114
1390.67/1390.96	c 1389s |      22 |  1873024 |  1762422 |    13042    291 |     1691 |      114
1392.77/1393.04	c 1391s |      22 |  1874946 |  1764322 |    13042    291 |     1691 |      114
1394.87/1395.16	c 1393s |      22 |  1876542 |  1765922 |    13042    291 |     1691 |      114
1396.97/1397.21	c 1395s |      22 |  1878073 |  1767422 |    13042    291 |     1691 |      114
1399.27/1399.51	c 1398s |      22 |  1879790 |  1769122 |    13042    292 |     1691 |      114
1401.37/1401.63	c 1400s |      22 |  1881591 |  1770922 |    13042    292 |     1691 |      114
1403.47/1403.75	c 1402s |      22 |  1883414 |  1772722 |    13042    292 |     1691 |      114
1405.57/1405.86	c 1404s |      22 |  1885013 |  1774322 |    13042    292 |     1691 |      114
1407.67/1407.96	c 1406s |      22 |  1886324 |  1775622 |    13042    292 |     1691 |      114
1409.77/1410.02	c 1408s |      22 |  1887346 |  1776622 |    13042    293 |     1691 |      114
1411.77/1412.06	c 1410s |      22 |  1889462 |  1778722 |    13042    293 |     1691 |      114
1413.97/1414.27	c 1413s |      22 |  1890982 |  1780222 |    13042    293 |     1691 |      114
1416.06/1416.31	c 1415s |      22 |  1892902 |  1782122 |    13042    293 |     1691 |      114
1418.16/1418.42	c 1417s |      22 |  1894413 |  1783622 |    13042    293 |     1691 |      114
1420.16/1420.49	c 1419s |      22 |  1896127 |  1785322 |    13042    294 |     1691 |      114
1422.36/1422.62	c 1421s |      22 |  1897739 |  1786922 |    13042    294 |     1691 |      114
1424.37/1424.63	c 1423s |      22 |  1899561 |  1788722 |    13042    294 |     1691 |      114
1426.36/1426.69	c 1425s |      22 |  1901072 |  1790222 |    13042    294 |     1691 |      114
1428.46/1428.70	c 1427s |      22 |  1902793 |  1791922 |    13042    295 |     1691 |      114
1430.46/1430.72	c 1429s |      22 |  1904312 |  1793422 |    13042    295 |     1691 |      114
1432.46/1432.75	c 1431s |      22 |  1906136 |  1795222 |    13042    295 |     1691 |      114
1434.56/1434.85	c 1433s |      22 |  1907949 |  1797022 |    13042    295 |     1691 |      114
1436.66/1436.99	c 1435s |      22 |  1909671 |  1798722 |    13042    295 |     1691 |      114
1438.76/1439.00	c 1437s |      22 |  1911290 |  1800322 |    13042    296 |     1691 |      114
1442.27/1442.52	c 1441s |      22 |  1912821 |  1801822 |    13042    296 |     1691 |      114
1444.27/1444.58	c 1443s |      22 |  1914633 |  1803622 |    13042    296 |     1691 |      114
1446.27/1446.59	c 1445s |      22 |  1916361 |  1805322 |    13042    296 |     1691 |      114
1448.36/1448.61	c 1447s |      22 |  1918216 |  1807122 |    13042    297 |     1691 |      114
1455.66/1455.99	c 1454s |      22 |  1918797 |  1807622 |    13042    297 |     1691 |      114
1458.76/1459.03	c 1457s |      22 |  1919088 |  1807922 |    13042    297 |     1691 |      114
1460.76/1461.09	c 1459s |      22 |  1922216 |  1811022 |    13042    297 |     1691 |      114
1462.87/1463.19	c 1461s |      22 |  1924504 |  1813322 |    13042    297 |     1691 |      114
1464.97/1465.24	c 1464s |      22 |  1926391 |  1814822 |    13042    298 |     1691 |      114
1467.06/1467.32	c 1466s |      22 |  1929809 |  1817422 |    13042    298 |     1691 |      114
1469.06/1469.32	c 1468s |      22 |  1932211 |  1819622 |    13042    298 |     1691 |      114
1471.46/1471.72	c 1470s |      22 |  1934026 |  1821222 |    13042    299 |     1691 |      114
1473.45/1473.75	c 1472s |      22 |  1935506 |  1822622 |    13042    299 |     1691 |      114
1475.45/1475.76	c 1474s |      22 |  1937685 |  1824722 |    13042    299 |     1691 |      114
1477.55/1477.86	c 1476s |      22 |  1939763 |  1826722 |    13042    299 |     1691 |      114
1479.65/1479.97	c 1478s |      22 |  1941629 |  1828522 |    13042    299 |     1691 |      114
1483.55/1483.87	c 1482s |      22 |  1942896 |  1829722 |    13042    300 |     1691 |      114
1485.65/1485.92	c 1484s |      22 |  1945092 |  1831922 |    13042    300 |     1691 |      114
1487.65/1487.98	c 1486s |      22 |  1947038 |  1833822 |    13042    300 |     1691 |      114
1489.85/1490.11	c 1488s |      22 |  1948772 |  1835522 |    13042    300 |     1691 |      114
1491.85/1492.11	c 1490s |      22 |  1950180 |  1836922 |    13042    301 |     1691 |      114
1494.55/1494.88	c 1493s |      22 |  1950714 |  1837422 |    13042    301 |     1691 |      114
1496.55/1496.89	c 1495s |      22 |  1952623 |  1839322 |    13042    301 |     1691 |      114
1498.65/1498.96	c 1497s |      22 |  1954349 |  1841022 |    13042    301 |     1691 |      114
1500.75/1501.07	c 1499s |      22 |  1955946 |  1842622 |    13042    301 |     1691 |      114
1505.66/1505.94	c 1504s |      22 |  1957173 |  1843822 |    13042    302 |     1691 |      114
1507.65/1507.99	c 1506s |      22 |  1959272 |  1845922 |    13042    302 |     1691 |      114
1509.75/1510.09	c 1508s |      22 |  1960993 |  1847622 |    13042    302 |     1691 |      114
1511.85/1512.17	c 1510s |      22 |  1962502 |  1849122 |    13042    302 |     1691 |      114
1513.95/1514.24	c 1513s |      22 |  1963812 |  1850422 |    13042    302 |     1691 |      114
1517.35/1517.60	c 1516s |      22 |  1964614 |  1851222 |    13042    303 |     1691 |      114
1519.35/1519.62	c 1518s |      22 |  1966624 |  1853222 |    13042    303 |     1691 |      114
1521.35/1521.64	c 1520s |      22 |  1968339 |  1854922 |    13042    303 |     1691 |      114
1523.45/1523.73	c 1522s |      22 |  1969951 |  1856522 |    13042    303 |     1691 |      114
1525.55/1525.85	c 1524s |      22 |  1971472 |  1858022 |    13042    303 |     1691 |      114
1527.55/1527.88	c 1526s |      22 |  1972866 |  1859422 |    13042    304 |     1691 |      114
1530.64/1530.94	c 1529s |      22 |  1973398 |  1859922 |    13042    304 |     1691 |      114
1532.74/1533.02	c 1531s |      22 |  1975293 |  1861822 |    13042    304 |     1691 |      114
1534.74/1535.02	c 1533s |      22 |  1976885 |  1863422 |    13042    304 |     1691 |      114
1536.84/1537.16	c 1535s |      22 |  1978417 |  1864922 |    13042    304 |     1691 |      114
1540.05/1540.37	c 1539s |      22 |  1979519 |  1866022 |    13042    305 |     1691 |      114
1542.15/1542.46	c 1541s |      22 |  1981533 |  1868022 |    13042    305 |     1691 |      114
1544.26/1544.55	c 1543s |      22 |  1983227 |  1869722 |    13042    305 |     1691 |      114
1546.36/1546.64	c 1545s |      22 |  1984665 |  1871122 |    13042    305 |     1691 |      114
1548.45/1548.76	c 1547s |      22 |  1986254 |  1872722 |    13042    305 |     1691 |      114
1550.55/1550.83	c 1549s |      22 |  1987744 |  1874222 |    13042    306 |     1691 |      114
1553.74/1554.01	c 1552s |      22 |  1988948 |  1875322 |    13042    306 |     1691 |      114
1555.74/1556.03	c 1554s |      22 |  1992427 |  1877722 |    13042    306 |     1691 |      114
1557.74/1558.03	c 1556s |      22 |  1995489 |  1879922 |    13042    306 |     1691 |      114
1559.74/1560.07	c 1558s |      22 |  1997562 |  1881622 |    13042    307 |     1691 |      114
1562.05/1562.34	c 1561s |      22 |  1997899 |  1881822 |    13042    307 |     1691 |      114
1564.05/1564.37	c 1563s |      22 |  2000741 |  1884122 |    13042    307 |     1691 |      114
1566.15/1566.44	c 1565s |      22 |  2003530 |  1886322 |    13042    307 |     1691 |      114
1568.25/1568.53	c 1567s |      22 |  2005794 |  1888222 |    13042    307 |     1691 |      114
1570.24/1570.53	c 1569s |      22 |  2007015 |  1889222 |    13042    308 |     1691 |      114
1572.24/1572.56	c 1571s |      22 |  2009605 |  1891522 |    13042    308 |     1691 |      114
1574.34/1574.65	c 1573s |      22 |  2011529 |  1893022 |    13042    308 |     1691 |      114
1576.44/1576.73	c 1575s |      22 |  2013737 |  1894922 |    13042    308 |     1691 |      114
1578.44/1578.77	c 1577s |      22 |  2015538 |  1896622 |    13042    309 |     1691 |      114
1581.84/1582.18	c 1580s |      22 |  2016478 |  1897522 |    13042    309 |     1691 |      114
1583.94/1584.22	c 1583s |      22 |  2019320 |  1899822 |    13042    309 |     1691 |      114
1586.04/1586.32	c 1585s |      22 |  2021502 |  1901822 |    13042    309 |     1691 |      114
1588.04/1588.38	c 1587s |      22 |  2023240 |  1903522 |    13042    310 |     1691 |      114
1590.94/1591.23	c 1590s |      22 |  2023775 |  1904022 |    13042    310 |     1691 |      114
1593.04/1593.30	c 1592s |      22 |  2026729 |  1906422 |    13042    310 |     1691 |      114
1595.04/1595.31	c 1594s |      22 |  2028903 |  1908422 |    13042    310 |     1691 |      114
1597.05/1597.32	c 1596s |      22 |  2030736 |  1910222 |    13042    310 |     1691 |      114
1600.54/1600.81	c 1599s |      22 |  2032401 |  1911822 |    13042    311 |     1691 |      114
1602.64/1602.90	c 1601s |      22 |  2035183 |  1914022 |    13042    311 |     1691 |      114
1604.65/1604.95	c 1603s |      22 |  2037211 |  1915922 |    13042    311 |     1691 |      114
1606.64/1606.96	c 1605s |      22 |  2038995 |  1917622 |    13042    311 |     1691 |      114
1608.74/1609.04	c 1607s |      22 |  2040827 |  1919422 |    13042    312 |     1691 |      114
1612.34/1612.63	c 1611s |      22 |  2042700 |  1921222 |    13042    312 |     1691 |      114
1614.43/1614.73	c 1613s |      22 |  2045364 |  1923322 |    13042    312 |     1691 |      114
1616.53/1616.80	c 1615s |      22 |  2047301 |  1925122 |    13042    312 |     1691 |      114
1618.53/1618.88	c 1617s |      22 |  2049186 |  1926922 |    13042    313 |     1691 |      114
1620.63/1620.91	c 1619s |      22 |  2051119 |  1928822 |    13042    313 |     1691 |      114
1622.73/1623.05	c 1621s |      22 |  2052985 |  1930622 |    13042    313 |     1691 |      114
1626.23/1626.54	c 1625s |      22 |  2054590 |  1932222 |    13042    313 |     1691 |      114
1629.24/1629.52	c 1628s |      22 |  2055731 |  1933022 |    13042    314 |     1691 |      114
1631.24/1631.59	c 1630s |      22 |  2058460 |  1935422 |    13042    314 |     1691 |      114
1633.34/1633.63	c 1632s |      22 |  2060652 |  1937522 |    13042    314 |     1691 |      114
1635.34/1635.63	c 1634s |      22 |  2062531 |  1939322 |    13042    314 |     1691 |      114
1637.34/1637.65	c 1636s |      22 |  2064073 |  1940822 |    13042    315 |     1691 |      114
1639.33/1639.69	c 1638s |      22 |  2066090 |  1942822 |    13042    315 |     1691 |      114
1641.43/1641.78	c 1640s |      22 |  2068121 |  1944822 |    13042    315 |     1691 |      114
1643.53/1643.81	c 1642s |      22 |  2068864 |  1945422 |    13042    315 |     1691 |      114
1645.53/1645.83	c 1644s |      22 |  2071215 |  1947322 |    13042    315 |     1691 |      114
1647.64/1647.91	c 1646s |      22 |  2072949 |  1948922 |    13042    316 |     1691 |      114
1649.63/1649.93	c 1648s |      22 |  2075337 |  1951222 |    13042    316 |     1691 |      114
1651.73/1652.00	c 1650s |      22 |  2077408 |  1953222 |    13042    316 |     1691 |      114
1653.83/1654.11	c 1652s |      22 |  2079322 |  1955122 |    13042    316 |     1691 |      114
1655.83/1656.12	c 1654s |      22 |  2080649 |  1956422 |    13042    317 |     1691 |      114
1657.83/1658.13	c 1656s |      22 |  2082768 |  1958522 |    13042    317 |     1691 |      114
1661.22/1661.58	c 1660s |      22 |  2084606 |  1960322 |    13042    317 |     1691 |      114
1663.32/1663.64	c 1662s |      22 |  2087229 |  1962422 |    13042    317 |     1691 |      114
1665.33/1665.65	c 1664s |      22 |  2088512 |  1963622 |    13042    318 |     1691 |      114
1667.34/1667.69	c 1666s |      22 |  2091042 |  1966022 |    13042    318 |     1691 |      114
1669.43/1669.77	c 1668s |      22 |  2093215 |  1968122 |    13042    318 |     1691 |      114
1671.53/1671.82	c 1670s |      22 |  2095142 |  1970022 |    13042    318 |     1691 |      114
1673.63/1673.90	c 1672s |      22 |  2096469 |  1971322 |    13042    319 |     1691 |      114
1675.63/1675.99	c 1674s |      22 |  2098687 |  1973522 |    13042    319 |     1691 |      114
1677.73/1678.08	c 1676s |      22 |  2100699 |  1975522 |    13042    319 |     1691 |      114
1679.83/1680.15	c 1678s |      22 |  2102496 |  1977322 |    13042    319 |     1691 |      114
1684.82/1685.13	c 1683s |      22 |  2103122 |  1977822 |    13042    320 |     1691 |      114
1686.82/1687.19	c 1685s |      22 |  2106149 |  1980322 |    13042    320 |     1691 |      114
1688.92/1689.27	c 1688s |      22 |  2108362 |  1982422 |    13042    320 |     1691 |      114
1691.02/1691.32	c 1690s |      22 |  2110236 |  1984222 |    13042    320 |     1691 |      114
1693.02/1693.35	c 1692s |      22 |  2111572 |  1985522 |    13042    321 |     1691 |      114
1695.02/1695.35	c 1694s |      22 |  2113494 |  1987422 |    13042    321 |     1691 |      114
1697.03/1697.39	c 1696s |      22 |  2115429 |  1989322 |    13042    321 |     1691 |      114
1699.12/1699.46	c 1698s |      22 |  2117243 |  1991122 |    13042    321 |     1691 |      114
1704.92/1705.22	c 1704s |      22 |  2118863 |  1992722 |    13042    322 |     1691 |      114
1706.92/1707.30	c 1706s |      22 |  2121188 |  1995022 |    13042    322 |     1691 |      114
1709.01/1709.37	c 1708s |      22 |  2123186 |  1997022 |    13042    322 |     1691 |      114
1711.02/1711.38	c 1710s |      22 |  2124438 |  1998022 |    13042    322 |     1691 |      114
1713.12/1713.41	c 1712s |      22 |  2126740 |  2000022 |    13042    322 |     1691 |      114
1715.12/1715.46	c 1714s |      22 |  2128282 |  2001422 |    13042    323 |     1691 |      114
1717.22/1717.50	c 1716s |      22 |  2130674 |  2003722 |    13042    323 |     1691 |      114
1719.21/1719.51	c 1718s |      22 |  2132726 |  2005722 |    13042    323 |     1691 |      114
1721.51/1721.82	c 1720s |      22 |  2134656 |  2007622 |    13042    324 |     1691 |      114
1723.52/1723.84	c 1722s |      22 |  2136277 |  2009222 |    13042    324 |     1691 |      114
1725.51/1725.85	c 1724s |      22 |  2138409 |  2011322 |    13042    324 |     1691 |      114
1727.61/1727.93	c 1726s |      22 |  2140330 |  2013222 |    13042    324 |     1691 |      114
1731.30/1731.63	c 1730s |      22 |  2142156 |  2015022 |    13042    325 |     1691 |      114
1733.31/1733.64	c 1732s |      22 |  2144245 |  2017122 |    13042    325 |     1691 |      114
1735.30/1735.66	c 1734s |      22 |  2146173 |  2019022 |    13042    325 |     1691 |      114
1738.00/1738.34	c 1737s |      22 |  2147391 |  2020222 |    13042    325 |     1691 |      114
1740.10/1740.44	c 1739s |      22 |  2149989 |  2022322 |    13042    325 |     1691 |      114
1742.10/1742.44	c 1741s |      22 |  2150968 |  2023222 |    13042    326 |     1691 |      114
1744.10/1744.49	c 1743s |      22 |  2153527 |  2025622 |    13042    326 |     1691 |      114
1746.20/1746.50	c 1745s |      22 |  2155666 |  2027722 |    13042    326 |     1691 |      114
1748.20/1748.52	c 1747s |      22 |  2157615 |  2029622 |    13042    326 |     1691 |      114
1750.29/1750.61	c 1749s |      22 |  2159236 |  2031222 |    13042    327 |     1691 |      114
1752.29/1752.63	c 1751s |      22 |  2161362 |  2033322 |    13042    327 |     1691 |      114
1754.30/1754.67	c 1753s |      22 |  2163278 |  2035222 |    13042    327 |     1691 |      114
1756.40/1756.75	c 1755s |      22 |  2164988 |  2036922 |    13042    327 |     1691 |      114
1760.39/1760.72	c 1759s |      22 |  2165702 |  2037622 |    13042    328 |     1691 |      114
1762.39/1762.75	c 1761s |      22 |  2167809 |  2039722 |    13042    328 |     1691 |      114
1764.39/1764.78	c 1763s |      22 |  2169623 |  2041522 |    13042    328 |     1691 |      114
1766.49/1766.83	c 1765s |      22 |  2171436 |  2043322 |    13042    328 |     1691 |      114
1768.50/1768.87	c 1767s |      22 |  2173030 |  2044922 |    13042    329 |     1691 |      114
1773.09/1773.46	c 1772s |      22 |  2174055 |  2045922 |    13042    329 |     1691 |      114
1775.19/1775.51	c 1774s |      22 |  2177079 |  2048422 |    13042    329 |     1691 |      114
1777.19/1777.56	c 1776s |      22 |  2179363 |  2050522 |    13042    329 |     1691 |      114
1779.29/1779.68	c 1778s |      22 |  2181201 |  2052322 |    13042    330 |     1691 |      114
1781.39/1781.76	c 1780s |      22 |  2182429 |  2053522 |    13042    330 |     1691 |      114
1783.38/1783.79	c 1782s |      22 |  2184592 |  2055622 |    13042    330 |     1691 |      114
1785.48/1785.88	c 1784s |      22 |  2186512 |  2057522 |    13042    330 |     1691 |      114
1787.68/1788.00	c 1786s |      22 |  2188230 |  2059222 |    13042    330 |     1691 |      114
1789.78/1790.10	c 1788s |      22 |  2189926 |  2060922 |    13042    331 |     1691 |      114
1791.88/1792.21	c 1790s |      22 |  2190051 |  2061022 |    13042    331 |     1691 |      114
1793.89/1794.26	c 1793s |      22 |  2192247 |  2063222 |    13042    331 |     1691 |      114
1795.99/1796.35	c 1795s |      22 |  2194170 |  2065122 |    13042    331 |     1691 |      114
1798.08/1798.45	c 1797s |      22 |  2195895 |  2066822 |    13042    331 |     1691 |      114

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

pid=15208
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.22 2.20 2.18 2/180 15211
/proc/meminfo: memFree=29347156/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=712260 CPUtime=0 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 2656 0 0 0 0 0 0 0 20 0 4 0 23934531 729354240 3018 33554432000 4194304 16246674 140734838018960 140734838018384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 178577 3026 442 2943 0 175471 0
[pid=15211/tid=15212] ppid=15208 vsize=729668 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 747180032 3085 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=733764 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 751374336 3104 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=737860 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23934531 755568640 3120 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.22 2.20 2.18 2/180 15211
/proc/meminfo: memFree=29347156/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 25843 0 0 0 6 3 0 0 20 0 4 0 23934531 1249447936 26142 33554432000 4194304 16246674 140734838018960 140734838018272 12653060 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 305041 26150 834 2943 0 301935 0
[pid=15211/tid=15212] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 26156 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 26162 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 26167 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1220164

[startup+0.200528 s]
/proc/loadavg: 2.22 2.20 2.18 2/180 15211
/proc/meminfo: memFree=29347156/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 50065 0 0 0 13 6 0 0 20 0 4 0 23934531 1249447936 50365 33554432000 4194304 16246674 140734838018960 140734838018272 12449399 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 305041 50378 834 2943 0 301935 0
[pid=15211/tid=15212] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 50388 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 50397 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 50408 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1220164

[startup+0.300459 s]
/proc/loadavg: 2.22 2.20 2.18 2/180 15211
/proc/meminfo: memFree=29347156/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 74555 0 0 0 19 10 0 0 20 0 4 0 23934531 1249447936 74855 33554432000 4194304 16246674 140734838018960 140734838000832 12653060 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 305041 74865 834 2943 0 301935 0
[pid=15211/tid=15212] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 74870 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 74875 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 74881 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1220164

[startup+0.700401 s]
/proc/loadavg: 2.22 2.20 2.18 2/180 15211
/proc/meminfo: memFree=29347156/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1220164 CPUtime=0.68 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 174455 0 0 0 45 23 0 0 20 0 4 0 23934531 1249447936 174755 33554432000 4194304 16246674 140734838018960 140734838000832 12449273 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 305041 174773 837 2943 0 301935 0
[pid=15211/tid=15212] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 174783 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 174794 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23934531 1249447936 174805 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50038 s]
/proc/loadavg: 2.22 2.20 2.18 3/184 15215
/proc/meminfo: memFree=28283736/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1308228 CPUtime=1.49 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 268248 0 0 0 113 36 0 0 20 0 4 0 23934531 1339625472 268547 33554432000 4194304 16246674 140734838018960 140734838000832 5516672 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 327057 268547 894 2943 0 323951 0
[pid=15211/tid=15212] ppid=15208 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1339625472 268547 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1339625472 268547 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1339625472 268547 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1308228

[startup+3.10042 s]
/proc/loadavg: 2.22 2.20 2.18 3/184 15215
/proc/meminfo: memFree=28272684/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1310276 CPUtime=3.09 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 268593 0 0 0 273 36 0 0 20 0 4 0 23934531 1341722624 268892 33554432000 4194304 16246674 140734838018960 140734838001960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 327569 268892 896 2943 0 324463 0
[pid=15211/tid=15212] ppid=15208 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1341722624 268892 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1341722624 268892 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1341722624 268892 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1310276

[startup+6.30042 s]
/proc/loadavg: 2.29 2.22 2.19 3/184 15215
/proc/meminfo: memFree=28265872/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1316420 CPUtime=6.28 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 270305 0 0 0 592 36 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 140734838001960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 329105 270604 900 2943 0 325999 0
[pid=15211/tid=15212] ppid=15208 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1316420

[startup+12.7004 s]
/proc/loadavg: 2.26 2.21 2.18 4/184 15215
/proc/meminfo: memFree=28265396/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1316420 CPUtime=12.69 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 270305 0 0 0 1232 37 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 140734838000832 4220480 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 329105 270604 900 2943 0 325999 0
[pid=15211/tid=15212] ppid=15208 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1348014080 270604 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1316420

[startup+25.5005 s]
/proc/loadavg: 2.28 2.22 2.19 3/184 15215
/proc/meminfo: memFree=28260200/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1321540 CPUtime=25.48 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 271585 0 0 0 2511 37 0 0 20 0 4 0 23934531 1353256960 271884 33554432000 4194304 16246674 140734838018960 140734838001960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 330385 271884 900 2943 0 327279 0
[pid=15211/tid=15212] ppid=15208 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1353256960 271884 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1353256960 271884 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1353256960 271884 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321540

[startup+51.1004 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 15216
/proc/meminfo: memFree=28249012/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1331780 CPUtime=51.08 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 274145 0 0 0 5070 38 0 0 20 0 4 0 23934531 1363742720 274444 33554432000 4194304 16246674 140734838018960 140734838000832 5600232 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 332945 274444 900 2943 0 329839 0
[pid=15211/tid=15212] ppid=15208 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1363742720 274444 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1363742720 274444 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1363742720 274444 33554432000 4194304 16246674 140734838018960 139831048924336 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) 1331780

[startup+102.301 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 15217
/proc/meminfo: memFree=28236336/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1344068 CPUtime=102.27 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 277217 0 0 0 10188 39 0 0 20 0 4 0 23934531 1376325632 277516 33554432000 4194304 16246674 140734838018960 140734838018056 6021699 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 336017 277516 900 2943 0 332911 0
[pid=15211/tid=15212] ppid=15208 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1376325632 277516 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1376325632 277516 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1376325632 277516 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1344068


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

/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1375812

[startup+1302.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/183 15248
/proc/meminfo: memFree=26958900/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1375812 CPUtime=1302.09 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 285154 0 0 0 130147 62 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 140734838000832 13760237 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 343953 285453 901 2943 0 340847 0
[pid=15211/tid=15212] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1375812

[startup+1362.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 15249
/proc/meminfo: memFree=26818620/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1375812 CPUtime=1362.08 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 285154 0 0 0 136146 62 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 140734838000832 13809224 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 343953 285453 901 2943 0 340847 0
[pid=15211/tid=15212] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1375812

[startup+1422.3 s]
/proc/loadavg: 2.20 2.17 2.17 4/183 15250
/proc/meminfo: memFree=26653672/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1375812 CPUtime=1422.07 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 285154 0 0 0 142145 62 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 140734838000832 5677884 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 343953 285453 901 2943 0 340847 0
[pid=15211/tid=15212] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1375812

[startup+1482.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 15251
/proc/meminfo: memFree=26578084/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1375812 CPUtime=1482.05 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 285154 0 0 0 148141 64 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 140734838016768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 343953 285453 901 2943 0 340847 0
[pid=15211/tid=15212] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1375812

[startup+1542.31 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 15252
/proc/meminfo: memFree=26420824/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1375812 CPUtime=1542.06 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 285154 0 0 0 154140 66 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 140734838000832 12415827 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 343953 285453 901 2943 0 340847 0
[pid=15211/tid=15212] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1375812

[startup+1602.3 s]
/proc/loadavg: 2.22 2.19 2.18 4/183 15254
/proc/meminfo: memFree=26258124/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1375812 CPUtime=1602.04 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 285154 0 0 0 160136 68 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 140734838000832 5712608 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 343953 285453 901 2943 0 340847 0
[pid=15211/tid=15212] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1375812 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1408831488 285453 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1375812

[startup+1662.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/183 15255
/proc/meminfo: memFree=26108764/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1380932 CPUtime=1662.02 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 286434 0 0 0 166133 69 0 0 20 0 4 0 23934531 1414074368 286733 33554432000 4194304 16246674 140734838018960 140734838018136 5822428 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15211/statm: 345233 286733 901 2943 0 342127 0
[pid=15211/tid=15212] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286733 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286733 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286733 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.41 2.27 2.20 4/183 15304
/proc/meminfo: memFree=28247568/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1380932 CPUtime=1722.01 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 286445 0 0 0 172129 72 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 140734838001952 5824017 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15211/statm: 345233 286989 901 2943 0 342127 0
[pid=15211/tid=15212] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.20 4/184 15308
/proc/meminfo: memFree=28246908/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1380932 CPUtime=1781.99 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 286464 0 0 0 178126 73 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 140734838001952 5823508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15211/statm: 345233 286989 901 2943 0 342127 0
[pid=15211/tid=15212] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.28 2.21 4/183 15309
/proc/meminfo: memFree=28247008/32872528 swapFree=1286400/1433568
[pid=15211] ppid=15208 vsize=1380932 CPUtime=1800.08 cores=1,3,5,7
/proc/15211/stat : 15211 (toysat) R 15208 15211 12983 0 -1 4202496 286476 0 0 0 179934 74 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 140734838000832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15211/statm: 345233 286989 901 2943 0 342127 0
[pid=15211/tid=15212] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15212/stat : 15212 (toysat) S 15208 15211 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831142231280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15211/tid=15213] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15213/stat : 15213 (toysat) S 15208 15211 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831131741424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15211/tid=15214] ppid=15208 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15211/task/15214/stat : 15214 (toysat) S 15208 15211 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23934531 1414074368 286989 33554432000 4194304 16246674 140734838018960 139831048924336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1380932

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.14
CPU user time (s): 1799.35
CPU system time (s): 0.795879
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.795879
maximum resident set size= 1147956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286476
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= 56
involuntary context switches= 2691

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02308 second user time and 10.1635 second system time

The end

Begin job on node130 at 2016-06-18 05:01:18
IDJOB=4100921
IDBENCH=1678
IDSOLVER=2542
FILE ID=node130/4100921-1466218878
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-vtp.base.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100921-1466218878/watcher-4100921-1466218878 -o /tmp/evaluation-result-4100921-1466218878/solver-4100921-1466218878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100921-1466218878.opb

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

MD5SUM BENCH= a7e24e57a312eb47e85004eff6279cc1
RANDOM SEED=1860492356

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29347536 kB
Buffers:           94904 kB
Cached:           120468 kB
SwapCached:         1804 kB
Active:          1233192 kB
Inactive:         121024 kB
Active(anon):    1139488 kB
Inactive(anon):     1604 kB
Active(file):      93704 kB
Inactive(file):   119420 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       2594132 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             601944 kB
SReclaimable:      45564 kB
SUnreclaim:       556380 kB
KernelStack:        1528 kB
PageTables:         9092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2713888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node130 at 2016-06-18 05:31:18