0.00/0.00	c 2016-06-18T04:29:49+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-4100729-1466216989.opb"]
0.00/0.01	c use --random-gen="896165172 2942349724 3266634472 3411763282 1981258820 1560343321 717609135 880881076 3357827229 4291358751 103884360 3380035634 2401644092 1072084774 2594663961 3244310042 942838877 3897199739 2485391694 2773679628 1013969690 144042162 1549714484 1035599087 201609219 924913756 1162663446 3531787426 353622960 2908314428 2975181137 1127813276 1352069754 992570842 2107993652 3863631327 307183162 183089318 4035104278 2049945385 2951284671 4078981419 4213446300 3252487817 4176057079 1331922021 3578905789 2595588241 3050111855 3105726452 1562178583 315908070 135412910 1279653345 1581505562 3224881043 1579471483 604912983 1489887823 3821638798 1770460776 292508118 98170985 1719824807 3418244407 2544659860 1827055775 1039424407 1479747893 2276948465 2181061822 3226188838 458001086 2062624767 2622446465 37120948 3358522383 348262375 3663261719 1100890563 2971498659 1760549556 713770246 1248394998 1496680752 1458187240 2546073661 2810162064 1491637688 3999364101 2105566846 1573964492 3980156967 2062698546 2673061182 801566581 1003604721 2911208293 2253523307 4215681092 3108464032 1830823058 3125935209 103327886 761190551 1443449571 3086133317 3518413651 1137716238 1228821444 2057876428 1240118284 1811359929 1076422621 4276903951 1384900497 396401489 3144888597 3443459804 357258650 349836613 1672468503 172925602 548800184 2786343632 691327085 1972220131 2588608480 1424325298 746631286 4260936607 1258303381 1521447226 1053918488 3986667894 2757112688 4120955250 3645208029 3580181715 95990580 2429032369 865721527 3681110961 2876903475 2369058758 1445511207 1645876162 2218423770 3689315937 474462437 479943410 1899055307 3253980150 3021670940 1130333050 4263705482 2378178370 3507080652 803265706 1275856774 3470953392 289978588 1697835952 3264673082 93086535 2206139969 193990229 3369263462 2071837869 192251650 3540353915 3796697259 577610710 732415566 1746617439 3344135042 2763879968 1240487107 2713963410 3812470910 3062489916 54381238 2765420690 840296901 3335581087 367325877 2300210615 2423784719 679709694 3966276408 3682605614 1042141529 2467303486 3559227437 2779436987 2749390861 2809133366 421332352 2254667947 2312803598 3424482271 225031308 3134556849 2758685471 2521480078 1698655999 3995443585 1552097526 3648838761 402510090 993023805 1658769130 377935114 280859061 3958059496 2858880072 34350053 3911249746 911238350 2495149307 225312497 1464653475 856325433 961631442 3020136104 1307336987 3621407418 261567846 474688993 3012391089 4010424528 1729174420 1429160803 4249187740 1158347647 610199462 1159002245 1710197588 3293509056 3441849300 2868866710 2674309226 3790232647 1145837024 2110459501 4010894431 4170978745 1261317701 3699947887 2431065977 3228933038 1171002813 140800227 615503078 3477005324 2763780273 255 362436" option to reproduce the execution
0.00/0.05	c #vars 2490
0.00/0.05	c #constraints 74
0.49/0.54	c BCD2: Hardening is enabled.
0.49/0.54	c BCD2: BiasedSearch is enabled.
0.49/0.54	c Solving starts ...
0.49/0.54	c ============================[ Search Statistics ]============================
0.49/0.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.54	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.54	c =============================================================================
0.49/0.54	c  0.0s |       0 |        0 |        0 |      867      0 |      978 |        0
0.69/0.73	c  0.2s |       1 |      140 |      100 |      867      0 |      979 |        4
0.89/0.96	c  0.4s |       2 |      811 |      250 |      954      0 |      979 |        4
1.20/1.29	c  0.7s |       3 |     2642 |      475 |     1050      0 |      979 |        4
1.58/1.67	c  1.1s |       4 |     4785 |      813 |     1155      0 |      981 |        4
2.30/2.39	c  1.8s |       5 |     9149 |     1320 |     1271      0 |      987 |        4
3.39/3.40	c  2.9s |       6 |    14962 |     2081 |     1539      0 |      992 |        4
4.49/4.53	c  4.0s |       7 |    16150 |     3223 |     1693      0 |      992 |        4
6.09/6.10	c  5.6s |       8 |    17942 |     4936 |     1863      1 |      992 |        4
8.09/8.17	c  7.6s |       8 |    19997 |     6936 |     1863      2 |      992 |        4
8.80/8.83	c  8.3s |       9 |    20610 |     7506 |     2050      3 |      992 |        4
10.79/10.85	c 10.3s |       9 |    22611 |     9406 |     2050      4 |      992 |        4
12.20/12.27	c 11.7s |      10 |    24644 |    11361 |     2255      5 |      992 |        4
14.19/14.30	c 13.8s |      10 |    29429 |    15961 |     2255      8 |      992 |        4
14.79/14.83	c 14.3s |      11 |    30614 |    17144 |     2481      8 |      992 |        4
16.79/16.84	c 16.3s |      11 |    34000 |    20144 |     2481     10 |      993 |        4
18.89/18.91	c 18.4s |      11 |    37212 |    23344 |     2481     12 |      993 |        4
20.49/20.54	c 20.0s |      12 |    39697 |    25819 |     2730     13 |      993 |        4
22.59/22.61	c 22.1s |      12 |    41372 |    27419 |     2730     14 |      993 |        4
24.59/24.65	c 24.1s |      12 |    43265 |    29319 |     2730     15 |      993 |        4
26.69/26.74	c 26.2s |      12 |    45392 |    31419 |     2730     16 |      993 |        4
28.69/28.75	c 28.2s |      12 |    47925 |    33919 |     2730     17 |      993 |        4
30.69/30.80	c 30.3s |      12 |    50222 |    36219 |     2730     18 |      993 |        4
32.79/32.83	c 32.3s |      12 |    52337 |    38319 |     2730     19 |      993 |        4
33.29/33.34	c 32.8s |      13 |    52838 |    38832 |     3004     19 |      993 |        4
35.38/35.42	c 34.9s |      13 |    54514 |    40432 |     3004     20 |      993 |        4
37.39/37.44	c 36.9s |      13 |    56356 |    42232 |     3004     21 |      993 |        4
39.38/39.46	c 38.9s |      13 |    57864 |    43732 |     3004     22 |      993 |        4
41.38/41.47	c 40.9s |      13 |    59786 |    45632 |     3004     23 |      993 |        4
43.38/43.48	c 42.9s |      13 |    61709 |    47532 |     3004     24 |      993 |        4
45.58/45.66	c 45.1s |      13 |    63064 |    48832 |     3004     24 |      993 |        4
47.58/47.69	c 47.1s |      13 |    64554 |    50332 |     3004     25 |      993 |        4
49.68/49.70	c 49.2s |      13 |    66579 |    52332 |     3004     26 |      993 |        4
51.79/51.83	c 51.3s |      13 |    68230 |    54032 |     3004     27 |      993 |        4
53.89/53.95	c 53.4s |      13 |    69417 |    55232 |     3004     27 |      993 |        4
55.98/56.01	c 55.5s |      13 |    71215 |    56932 |     3004     28 |      993 |        4
57.29/57.31	c 56.8s |      14 |    72647 |    58352 |     3305     29 |      993 |        4
59.28/59.38	c 58.8s |      14 |    74272 |    59852 |     3305     29 |      993 |        4
61.38/61.48	c 60.9s |      14 |    75989 |    61552 |     3305     30 |      993 |        4
63.48/63.51	c 63.0s |      14 |    77535 |    63052 |     3305     31 |      993 |        4
65.48/65.59	c 65.0s |      14 |    79369 |    64852 |     3305     32 |      993 |        4
67.58/67.69	c 67.1s |      14 |    81150 |    66652 |     3305     33 |      993 |        4
69.68/69.71	c 69.2s |      14 |    82434 |    67952 |     3305     33 |      993 |        4
71.68/71.78	c 71.2s |      14 |    84315 |    69852 |     3305     34 |      993 |        4
73.68/73.79	c 73.2s |      14 |    85932 |    71452 |     3305     35 |      993 |        4
75.68/75.80	c 75.3s |      14 |    94160 |    74252 |     3305     36 |      997 |        4
77.88/77.97	c 77.4s |      14 |    96872 |    75352 |     3305     36 |      997 |        4
80.07/80.10	c 79.6s |      14 |    97979 |    76452 |     3305     36 |      997 |        4
82.27/82.31	c 81.8s |      14 |    99077 |    77552 |     3305     36 |      997 |        4
84.27/84.38	c 83.8s |      14 |   100080 |    78552 |     3305     36 |      997 |        4
86.47/86.52	c 86.0s |      14 |   101082 |    79552 |     3305     37 |      997 |        4
88.57/88.63	c 88.1s |      14 |   102084 |    80552 |     3305     37 |      997 |        4
90.57/90.64	c 90.1s |      14 |   103089 |    81552 |     3305     37 |      997 |        4
92.57/92.65	c 92.1s |      14 |   104090 |    82552 |     3305     38 |      997 |        4
94.58/94.66	c 94.1s |      14 |   105094 |    83552 |     3305     38 |      997 |        4
96.78/96.82	c 96.3s |      14 |   106102 |    84552 |     3305     39 |      997 |        4
98.98/99.01	c 98.5s |      14 |   107201 |    85652 |     3305     39 |      997 |        4
100.97/101.05	c  100s |      14 |   108205 |    86652 |     3305     39 |      997 |        4
103.07/103.10	c  102s |      15 |   109190 |    87632 |     3636     40 |      997 |        4
105.07/105.12	c  104s |      15 |   111208 |    89532 |     3636     41 |      997 |        4
107.17/107.23	c  106s |      15 |   112483 |    90832 |     3636     41 |      997 |        4
109.27/109.35	c  108s |      15 |   113637 |    92032 |     3636     42 |      997 |        4
111.37/111.45	c  110s |      15 |   115471 |    93832 |     3636     42 |      997 |        4
113.38/113.46	c  112s |      15 |   117700 |    96032 |     3636     43 |      997 |        4
115.48/115.52	c  114s |      15 |   119193 |    97532 |     3636     44 |      997 |        4
117.47/117.58	c  117s |      15 |   120693 |    99032 |     3636     45 |      997 |        4
119.67/119.70	c  119s |      15 |   122925 |   101232 |     3636     46 |      997 |        4
121.67/121.76	c  121s |      15 |   125236 |   103532 |     3636     46 |      997 |        4
123.77/123.80	c  123s |      15 |   127151 |   105432 |     3636     47 |      997 |        4
125.77/125.83	c  125s |      15 |   129280 |   107532 |     3636     48 |      997 |        4
127.77/127.87	c  127s |      15 |   131374 |   109632 |     3636     49 |      997 |        4
129.77/129.89	c  129s |      15 |   134389 |   112632 |     3636     50 |      997 |        4
131.87/131.93	c  131s |      15 |   137289 |   115532 |     3636     52 |      997 |        4
133.87/133.93	c  133s |      15 |   139593 |   117832 |     3636     53 |      997 |        4
135.87/135.96	c  135s |      15 |   141801 |   120032 |     3636     53 |      997 |        4
137.97/138.04	c  137s |      15 |   144027 |   122232 |     3636     54 |      997 |        4
139.97/140.10	c  139s |      15 |   146114 |   124332 |     3636     55 |      997 |        4
142.07/142.17	c  141s |      15 |   148231 |   126432 |     3636     56 |      997 |        4
144.17/144.23	c  143s |      15 |   150421 |   128632 |     3636     57 |      997 |        4
146.17/146.28	c  145s |      15 |   152545 |   130732 |     4000     58 |      997 |        4
146.87/146.97	c  146s |      16 |   153391 |   131552 |     4000     58 |      997 |        4
148.87/149.00	c  148s |      16 |   155362 |   133452 |     4000     59 |      997 |        4
150.97/151.01	c  150s |      16 |   157564 |   135652 |     4000     60 |      997 |        4
152.97/153.08	c  152s |      16 |   159398 |   137452 |     4000     60 |      997 |        4
155.07/155.15	c  154s |      16 |   161567 |   139652 |     4000     61 |      997 |        4
157.06/157.18	c  156s |      16 |   163673 |   141752 |     4000     62 |      997 |        4
159.16/159.22	c  158s |      16 |   165905 |   143952 |     4000     63 |      997 |        4
161.16/161.25	c  160s |      16 |   168015 |   146052 |     4000     64 |      997 |        4
163.26/163.30	c  162s |      16 |   170008 |   148052 |     4000     65 |      997 |        4
165.26/165.31	c  164s |      16 |   172000 |   150052 |     4000     65 |      997 |        4
167.27/167.34	c  166s |      16 |   174118 |   152152 |     4000     66 |      997 |        4
169.26/169.38	c  168s |      16 |   176240 |   154252 |     4000     67 |      997 |        4
171.36/171.42	c  170s |      16 |   178364 |   156352 |     4000     68 |      997 |        4
173.46/173.53	c  172s |      16 |   180424 |   158452 |     4000     69 |      997 |        4
175.46/175.59	c  175s |      16 |   182449 |   160452 |     4000     69 |      997 |        4
177.56/177.69	c  177s |      16 |   184461 |   162452 |     4000     70 |      997 |        4
179.66/179.80	c  179s |      16 |   186550 |   164552 |     4000     71 |      997 |        4
181.76/181.82	c  181s |      16 |   188697 |   166652 |     4000     72 |      997 |        4
183.77/183.87	c  183s |      16 |   190569 |   168552 |     4000     73 |      997 |        4
185.86/185.95	c  185s |      16 |   192581 |   170552 |     4000     73 |      997 |        4
187.96/188.02	c  187s |      16 |   194692 |   172652 |     4000     74 |      997 |        4
189.96/190.08	c  189s |      16 |   196598 |   174552 |     4000     75 |      997 |        4
192.06/192.11	c  191s |      16 |   198547 |   176452 |     4000     76 |      997 |        4
194.06/194.17	c  193s |      16 |   200619 |   178552 |     4000     77 |      997 |        4
196.16/196.24	c  195s |      16 |   202552 |   180452 |     4000     77 |      997 |        4
198.26/198.33	c  197s |      16 |   204683 |   182552 |     4000     78 |      997 |        4
200.26/200.37	c  199s |      16 |   206745 |   184652 |     4000     79 |      997 |        4
202.36/202.46	c  201s |      16 |   208489 |   186352 |     4000     80 |      997 |        4
204.45/204.53	c  203s |      16 |   210603 |   188452 |     4000     80 |      997 |        4
206.55/206.60	c  206s |      16 |   212369 |   190252 |     4000     81 |      997 |        4
208.55/208.63	c  208s |      16 |   214427 |   192252 |     4000     82 |      997 |        4
210.65/210.70	c  210s |      16 |   216180 |   194052 |     4000     83 |      997 |        4
212.65/212.72	c  212s |      16 |   218107 |   195952 |     4000     83 |      997 |        4
214.46/214.53	c  213s |      17 |   219591 |   197432 |     4400     84 |      997 |        4
216.66/216.72	c  216s |      17 |   221428 |   199232 |     4400     84 |      997 |        4
218.65/218.74	c  218s |      17 |   222982 |   200732 |     4400     85 |      997 |        4
220.65/220.80	c  220s |      17 |   224631 |   202432 |     4400     86 |      997 |        4
222.85/222.92	c  222s |      17 |   227202 |   204732 |     4400     86 |      997 |        4
224.95/225.01	c  224s |      17 |   228520 |   206032 |     4400     87 |      997 |        4
226.95/227.05	c  226s |      17 |   229998 |   207532 |     4400     87 |      997 |        4
228.95/229.09	c  228s |      17 |   232355 |   209832 |     4400     88 |      997 |        4
231.06/231.17	c  230s |      17 |   233910 |   211432 |     4400     89 |      997 |        4
233.16/233.21	c  232s |      17 |   236073 |   213532 |     4400     90 |      997 |        4
235.15/235.23	c  234s |      17 |   238380 |   215832 |     4400     90 |      997 |        4
237.15/237.26	c  236s |      17 |   240679 |   218132 |     4400     91 |      997 |        4
239.25/239.31	c  238s |      17 |   243897 |   221332 |     4400     92 |      997 |        4
241.25/241.34	c  240s |      17 |   246605 |   224032 |     4400     93 |      997 |        4
243.35/243.43	c  242s |      17 |   249124 |   226532 |     4400     94 |      997 |        4
245.35/245.49	c  244s |      17 |   251018 |   228432 |     4400     95 |      997 |        4
247.55/247.66	c  247s |      17 |   253040 |   230432 |     4400     96 |      997 |        4
249.55/249.70	c  249s |      17 |   255232 |   232632 |     4400     97 |      997 |        4
251.65/251.74	c  251s |      17 |   257224 |   234632 |     4400     97 |      997 |        4
253.65/253.77	c  253s |      17 |   259230 |   236632 |     4400     98 |      997 |        4
255.65/255.78	c  255s |      17 |   261251 |   238632 |     4400     99 |      997 |        4
257.74/257.84	c  257s |      17 |   263147 |   240532 |     4400     99 |      997 |        4
259.74/259.86	c  259s |      17 |   265136 |   242532 |     4400    100 |      997 |        4
261.85/261.92	c  261s |      17 |   267445 |   244832 |     4400    101 |      997 |        4
263.84/264.00	c  263s |      17 |   269571 |   246932 |     4400    102 |      997 |        4
265.94/266.08	c  265s |      17 |   271794 |   249132 |     4400    103 |      997 |        4
268.04/268.11	c  267s |      17 |   273886 |   251232 |     4400    103 |      997 |        4
270.04/270.13	c  269s |      17 |   276181 |   253532 |     4400    104 |      997 |        4
272.04/272.18	c  271s |      17 |   277979 |   255332 |     4400    105 |      997 |        4
274.14/274.26	c  273s |      17 |   280092 |   257432 |     4400    106 |      997 |        4
276.24/276.31	c  275s |      17 |   282314 |   259632 |     4400    106 |      997 |        4
278.25/278.37	c  277s |      17 |   284524 |   261832 |     4400    107 |      997 |        4
280.34/280.41	c  279s |      17 |   286646 |   263932 |     4400    108 |      997 |        4
282.34/282.47	c  281s |      17 |   288760 |   266032 |     4400    109 |      997 |        4
284.44/284.58	c  284s |      17 |   290951 |   268232 |     4400    109 |      997 |        4
286.54/286.68	c  286s |      17 |   293181 |   270432 |     4400    110 |      997 |        4
288.54/288.69	c  288s |      17 |   295308 |   272532 |     4400    111 |      997 |        4
290.64/290.72	c  290s |      17 |   297173 |   274432 |     4400    112 |      997 |        4
292.65/292.78	c  292s |      17 |   299182 |   276432 |     4400    112 |      997 |        4
294.64/294.79	c  294s |      17 |   301186 |   278432 |     4400    113 |      997 |        4
296.64/296.79	c  296s |      17 |   303179 |   280432 |     4400    114 |      997 |        4
298.74/298.83	c  298s |      17 |   304895 |   282132 |     4400    114 |      997 |        4
300.84/300.92	c  300s |      17 |   307045 |   284232 |     4400    115 |      997 |        4
302.84/302.94	c  302s |      17 |   308905 |   286132 |     4400    116 |      997 |        4
304.94/305.04	c  304s |      17 |   310844 |   288032 |     4400    117 |      997 |        4
307.04/307.15	c  306s |      17 |   313053 |   290232 |     4400    117 |      997 |        4
309.04/309.17	c  308s |      17 |   314838 |   292032 |     4400    118 |      997 |        4
311.14/311.20	c  310s |      17 |   316852 |   294032 |     4400    119 |      997 |        4
313.14/313.29	c  312s |      17 |   318760 |   295932 |     4840    119 |      997 |        4
313.44/313.57	c  313s |      18 |   319076 |   296252 |     4840    119 |      997 |        4
315.44/315.59	c  315s |      18 |   320732 |   297852 |     4840    120 |      997 |        4
317.54/317.65	c  317s |      18 |   322460 |   299552 |     4840    121 |      997 |        4
319.64/319.74	c  319s |      18 |   325273 |   301752 |     4840    121 |      997 |        4
321.74/321.89	c  321s |      18 |   326666 |   303152 |     4840    122 |      997 |        4
323.84/323.91	c  323s |      18 |   327944 |   304452 |     4840    122 |      997 |        4
325.84/325.95	c  325s |      18 |   329945 |   306452 |     4840    123 |      997 |        4
328.04/328.12	c  327s |      18 |   331795 |   308252 |     4840    123 |      997 |        4
330.05/330.15	c  329s |      18 |   333564 |   310052 |     4840    124 |      997 |        4
332.04/332.19	c  331s |      18 |   335817 |   312252 |     4840    125 |      997 |        4
334.14/334.26	c  333s |      18 |   338327 |   314752 |     4840    126 |      997 |        4
336.14/336.29	c  335s |      18 |   341338 |   317752 |     4840    127 |      997 |        4
338.24/338.32	c  337s |      18 |   343945 |   320352 |     4840    128 |      997 |        4
340.34/340.40	c  339s |      18 |   346260 |   322652 |     4840    128 |      997 |        4
342.34/342.48	c  341s |      18 |   348282 |   324652 |     4840    129 |      997 |        4
344.64/344.75	c  344s |      18 |   350499 |   326852 |     4840    130 |      997 |        4
346.64/346.79	c  346s |      18 |   352772 |   329152 |     4840    131 |      997 |        4
348.74/348.82	c  348s |      18 |   354694 |   331052 |     4840    131 |      997 |        4
351.04/351.18	c  350s |      18 |   356793 |   333152 |     4840    132 |      997 |        4
353.24/353.31	c  352s |      18 |   358711 |   335052 |     4840    133 |      997 |        4
355.24/355.33	c  354s |      18 |   360604 |   336952 |     4840    133 |      997 |        4
357.24/357.34	c  356s |      18 |   362537 |   338852 |     4840    134 |      997 |        4
359.34/359.42	c  358s |      18 |   364548 |   340852 |     4840    134 |      997 |        4
361.34/361.42	c  360s |      18 |   366343 |   342652 |     4840    135 |      997 |        4
363.33/363.45	c  362s |      18 |   368446 |   344752 |     4840    136 |      997 |        4
365.33/365.47	c  364s |      18 |   370225 |   346552 |     4840    136 |      997 |        4
367.34/367.50	c  366s |      18 |   372240 |   348552 |     4840    137 |      997 |        4
369.43/369.50	c  368s |      18 |   374168 |   350452 |     4840    138 |      997 |        4
371.43/371.52	c  370s |      18 |   376079 |   352352 |     4840    138 |      997 |        4
373.43/373.58	c  373s |      18 |   378183 |   354452 |     4840    139 |      997 |        4
375.53/375.65	c  375s |      18 |   380274 |   356552 |     4840    140 |      997 |        4
377.63/377.72	c  377s |      18 |   382178 |   358452 |     4840    140 |      997 |        4
379.63/379.75	c  379s |      18 |   384203 |   360452 |     4840    141 |      997 |        4
381.74/381.84	c  381s |      18 |   386197 |   362452 |     4840    142 |      997 |        4
383.73/383.85	c  383s |      18 |   388097 |   364352 |     4840    142 |      997 |        4
385.73/385.87	c  385s |      18 |   390023 |   366252 |     4840    143 |      997 |        4
387.73/387.87	c  387s |      18 |   391902 |   368152 |     4840    144 |      997 |        4
389.93/390.00	c  389s |      18 |   393998 |   370252 |     4840    144 |      997 |        4
391.93/392.04	c  391s |      18 |   396101 |   372352 |     4840    145 |      997 |        4
393.93/394.07	c  393s |      18 |   397736 |   373952 |     4840    146 |      997 |        4
396.03/396.11	c  395s |      18 |   399670 |   375852 |     4840    146 |      997 |        4
398.03/398.12	c  397s |      18 |   401623 |   377852 |     4840    147 |      997 |        4
400.03/400.15	c  399s |      18 |   403252 |   379452 |     4840    147 |      997 |        4
402.02/402.18	c  401s |      18 |   405258 |   381452 |     4840    148 |      997 |        4
404.02/404.18	c  403s |      18 |   406977 |   383152 |     4840    149 |      997 |        4
406.12/406.21	c  405s |      18 |   408870 |   385052 |     4840    149 |      997 |        4
408.13/408.24	c  407s |      18 |   410859 |   387052 |     4840    150 |      997 |        4
410.23/410.33	c  409s |      18 |   412581 |   388752 |     4840    151 |      997 |        4
412.32/412.46	c  411s |      18 |   414833 |   390952 |     4840    151 |      997 |        4
414.42/414.50	c  413s |      18 |   416497 |   392652 |     4840    152 |      997 |        4
416.42/416.57	c  416s |      18 |   418418 |   394552 |     4840    153 |      997 |        4
418.52/418.62	c  418s |      18 |   420301 |   396452 |     4840    153 |      997 |        4
420.52/420.64	c  420s |      18 |   422225 |   398352 |     4840    154 |      997 |        4
422.52/422.64	c  422s |      18 |   424016 |   400152 |     4840    154 |      997 |        4
424.63/424.78	c  424s |      18 |   425977 |   402052 |     4840    155 |      997 |        4
426.62/426.78	c  426s |      18 |   427624 |   403752 |     4840    156 |      997 |        4
428.72/428.83	c  428s |      18 |   429684 |   405752 |     4840    156 |      997 |        4
430.72/430.84	c  430s |      18 |   430953 |   407052 |     4840    157 |      997 |        4
432.72/432.87	c  432s |      18 |   432149 |   408252 |     4840    157 |      997 |        4
434.82/434.91	c  434s |      18 |   433781 |   409852 |     4840    158 |      997 |        4
436.82/436.94	c  436s |      18 |   435892 |   411952 |     4840    158 |      997 |        4
438.93/439.06	c  438s |      18 |   437379 |   413452 |     4840    159 |      997 |        4
440.92/441.08	c  440s |      18 |   439417 |   415452 |     4840    160 |      997 |        4
443.02/443.13	c  442s |      18 |   441297 |   417352 |     4840    160 |      997 |        4
445.02/445.17	c  444s |      18 |   443422 |   419452 |     4840    161 |      997 |        4
447.12/447.20	c  446s |      18 |   446536 |   422552 |     4840    162 |      997 |        4
449.12/449.22	c  448s |      18 |   449354 |   425352 |     4840    163 |      997 |        4
451.22/451.30	c  450s |      18 |   451354 |   427352 |     4840    164 |      997 |        4
453.22/453.34	c  452s |      18 |   453577 |   429552 |     4840    164 |      997 |        4
455.32/455.41	c  454s |      18 |   455475 |   431452 |     4840    165 |      997 |        4
457.32/457.44	c  456s |      18 |   457576 |   433552 |     4840    166 |      997 |        4
459.42/459.50	c  458s |      18 |   459687 |   435652 |     4840    166 |      997 |        4
461.41/461.56	c  461s |      18 |   461394 |   437352 |     4840    167 |      997 |        4
463.51/463.62	c  463s |      18 |   463496 |   439452 |     4840    168 |      997 |        4
465.52/465.64	c  465s |      18 |   465310 |   441252 |     4840    168 |      997 |        4
467.53/467.65	c  467s |      18 |   466896 |   442852 |     5324    169 |      997 |        4
469.63/469.72	c  469s |      18 |   468536 |   444452 |     5324    169 |      997 |        4
469.63/469.76	c  469s |      19 |   468536 |   444482 |     5324    169 |      997 |        4
471.72/471.89	c  471s |      19 |   469940 |   445782 |     5324    170 |      997 |        4
473.72/473.89	c  473s |      19 |   471627 |   447482 |     5324    170 |      997 |        4
475.92/476.04	c  475s |      19 |   472984 |   448782 |     5324    170 |      997 |        4
477.92/478.09	c  477s |      19 |   474529 |   450382 |     5324    171 |      997 |        4
479.92/480.09	c  479s |      19 |   476512 |   452282 |     5324    172 |      997 |        4
482.12/482.23	c  481s |      19 |   478016 |   453782 |     5324    172 |      997 |        4
484.22/484.33	c  483s |      19 |   479706 |   455482 |     5324    173 |      997 |        4
486.22/486.36	c  485s |      19 |   482662 |   458382 |     5324    173 |      997 |        4
488.32/488.40	c  487s |      19 |   484958 |   460682 |     5324    174 |      997 |        4
490.31/490.48	c  489s |      19 |   486868 |   462582 |     5324    175 |      997 |        4
492.41/492.55	c  492s |      19 |   488971 |   464682 |     5324    175 |      997 |        4
494.41/494.59	c  494s |      19 |   490779 |   466482 |     5324    176 |      997 |        4
496.51/496.60	c  496s |      19 |   492818 |   468482 |     5324    177 |      997 |        4
498.51/498.62	c  498s |      19 |   494504 |   470182 |     5324    177 |      997 |        4
500.52/500.63	c  500s |      19 |   496298 |   471982 |     5324    178 |      997 |        4
502.51/502.63	c  502s |      19 |   497798 |   473482 |     5324    178 |      997 |        4
504.51/504.68	c  504s |      19 |   499610 |   475282 |     5324    179 |      997 |        4
506.61/506.73	c  506s |      19 |   501398 |   477082 |     5324    179 |      997 |        4
508.81/508.94	c  508s |      19 |   503240 |   478882 |     5324    180 |      997 |        4
510.91/511.03	c  510s |      19 |   505245 |   480882 |     5324    180 |      997 |        4
512.91/513.06	c  512s |      19 |   506927 |   482582 |     5324    181 |      997 |        4
515.01/515.13	c  514s |      19 |   508834 |   484482 |     5324    182 |      997 |        4
517.01/517.16	c  516s |      19 |   510635 |   486282 |     5324    182 |      997 |        4
519.01/519.19	c  518s |      19 |   512487 |   488082 |     5324    183 |      997 |        4
521.21/521.31	c  520s |      19 |   514583 |   490182 |     5324    183 |      997 |        4
523.21/523.34	c  522s |      19 |   516445 |   492082 |     5324    184 |      997 |        4
525.31/525.44	c  524s |      19 |   517959 |   493582 |     5324    184 |      997 |        4
527.30/527.49	c  526s |      19 |   519867 |   495482 |     5324    185 |      997 |        4
529.40/529.57	c  529s |      19 |   521858 |   497482 |     5324    186 |      997 |        4
531.50/531.64	c  531s |      19 |   523790 |   499382 |     5324    186 |      997 |        4
533.60/533.73	c  533s |      19 |   525589 |   501182 |     5324    187 |      997 |        4
535.71/535.81	c  535s |      19 |   527376 |   502982 |     5324    187 |      997 |        4
537.70/537.89	c  537s |      19 |   529292 |   504882 |     5324    188 |      997 |        4
539.80/539.93	c  539s |      19 |   531085 |   506682 |     5324    188 |      997 |        4
541.80/541.98	c  541s |      19 |   532923 |   508482 |     5324    189 |      997 |        4
543.90/544.08	c  543s |      19 |   534814 |   510382 |     5324    190 |      997 |        4
545.90/546.09	c  545s |      19 |   536822 |   512382 |     5324    190 |      997 |        4
548.00/548.12	c  547s |      19 |   538444 |   513982 |     5324    191 |      997 |        4
550.10/550.24	c  549s |      19 |   540434 |   515982 |     5324    191 |      997 |        4
552.11/552.30	c  551s |      19 |   542352 |   517882 |     5324    192 |      997 |        4
554.31/554.42	c  553s |      19 |   544074 |   519582 |     5324    192 |      997 |        4
556.41/556.53	c  555s |      19 |   546085 |   521582 |     5324    193 |      997 |        4
558.51/558.60	c  558s |      19 |   547577 |   523082 |     5324    194 |      997 |        4
560.51/560.62	c  560s |      19 |   549582 |   525082 |     5324    194 |      997 |        4
562.51/562.64	c  562s |      19 |   551081 |   526582 |     5324    195 |      997 |        4
564.51/564.66	c  564s |      19 |   553016 |   528482 |     5324    195 |      997 |        4
566.51/566.67	c  566s |      19 |   554518 |   529982 |     5324    196 |      997 |        4
568.51/568.69	c  568s |      19 |   556451 |   531882 |     5324    196 |      997 |        4
570.61/570.78	c  570s |      19 |   558032 |   533482 |     5324    197 |      997 |        4
572.71/572.84	c  572s |      19 |   559889 |   535382 |     5324    197 |      997 |        4
574.71/574.85	c  574s |      19 |   561520 |   536982 |     5324    198 |      997 |        4
576.81/576.91	c  576s |      19 |   563416 |   538882 |     5324    198 |      997 |        4
578.81/578.97	c  578s |      19 |   565033 |   540482 |     5324    199 |      997 |        4
580.90/581.05	c  580s |      19 |   566933 |   542382 |     5324    200 |      997 |        4
583.01/583.11	c  582s |      19 |   568555 |   543982 |     5324    200 |      997 |        4
585.00/585.12	c  584s |      19 |   570433 |   545882 |     5324    201 |      997 |        4
587.00/587.14	c  586s |      19 |   571952 |   547382 |     5324    201 |      997 |        4
589.00/589.17	c  588s |      19 |   573560 |   548982 |     5324    202 |      997 |        4
591.10/591.27	c  590s |      19 |   575393 |   550782 |     5324    202 |      997 |        4
593.20/593.31	c  592s |      19 |   576725 |   552082 |     5324    203 |      997 |        4
595.30/595.40	c  594s |      19 |   577900 |   553282 |     5324    203 |      997 |        4
597.31/597.43	c  596s |      19 |   579386 |   554782 |     5324    203 |      997 |        4
599.30/599.50	c  598s |      19 |   581530 |   556882 |     5324    204 |      997 |        4
601.50/601.65	c  601s |      19 |   582896 |   558282 |     5324    204 |      997 |        4
603.60/603.70	c  603s |      19 |   584612 |   559982 |     5324    205 |      997 |        4
605.60/605.73	c  605s |      19 |   586634 |   561982 |     5324    206 |      997 |        4
607.70/607.80	c  607s |      19 |   588868 |   564182 |     5324    206 |      997 |        4
609.70/609.83	c  609s |      19 |   591584 |   566882 |     5324    207 |      997 |        4
611.70/611.84	c  611s |      19 |   594289 |   569582 |     5324    208 |      997 |        4
613.70/613.88	c  613s |      19 |   596193 |   571482 |     5324    209 |      997 |        4
615.79/615.93	c  615s |      19 |   598213 |   573482 |     5324    209 |      997 |        4
617.79/617.99	c  617s |      19 |   599612 |   574882 |     5324    210 |      997 |        4
619.89/620.02	c  619s |      19 |   601626 |   576882 |     5324    210 |      997 |        4
621.89/622.05	c  621s |      19 |   603218 |   578482 |     5324    211 |      997 |        4
623.99/624.16	c  623s |      19 |   605240 |   580482 |     5324    211 |      997 |        4
626.09/626.24	c  625s |      19 |   606828 |   582082 |     5324    212 |      997 |        4
628.19/628.33	c  627s |      19 |   608862 |   584082 |     5324    212 |      997 |        4
630.30/630.43	c  629s |      19 |   610458 |   585682 |     5324    213 |      997 |        4
632.29/632.50	c  631s |      19 |   612154 |   587382 |     5324    214 |      997 |        4
634.39/634.56	c  634s |      19 |   613981 |   589182 |     5324    214 |      997 |        4
636.49/636.62	c  636s |      19 |   615695 |   590882 |     5324    215 |      997 |        4
638.59/638.71	c  638s |      19 |   617667 |   592882 |     5324    215 |      997 |        4
640.59/640.73	c  640s |      19 |   619397 |   594582 |     5324    216 |      997 |        4
642.59/642.76	c  642s |      19 |   621411 |   596582 |     5324    216 |      997 |        4
644.59/644.77	c  644s |      19 |   623217 |   598382 |     5324    217 |      997 |        4
646.69/646.86	c  646s |      19 |   625088 |   600282 |     5324    218 |      997 |        4
648.69/648.87	c  648s |      19 |   626925 |   602082 |     5324    218 |      997 |        4
650.79/650.96	c  650s |      19 |   628919 |   604082 |     5324    219 |      997 |        4
652.88/653.04	c  652s |      19 |   630711 |   605882 |     5324    219 |      997 |        4
654.88/655.09	c  654s |      19 |   632548 |   607682 |     5324    220 |      997 |        4
656.98/657.13	c  656s |      19 |   634522 |   609682 |     5324    220 |      997 |        4
659.08/659.20	c  658s |      19 |   636440 |   611582 |     5324    221 |      997 |        4
661.09/661.28	c  660s |      19 |   637938 |   613082 |     5324    222 |      997 |        4
663.19/663.38	c  662s |      19 |   639991 |   615082 |     5324    222 |      997 |        4
665.28/665.43	c  664s |      19 |   641984 |   617082 |     5324    223 |      997 |        4
667.28/667.45	c  666s |      19 |   643667 |   618782 |     5324    223 |      997 |        4
669.39/669.50	c  668s |      19 |   645463 |   620582 |     5324    224 |      997 |        4
671.49/671.61	c  671s |      19 |   647361 |   622482 |     5324    224 |      997 |        4
673.49/673.65	c  673s |      19 |   649197 |   624282 |     5324    225 |      997 |        4
675.59/675.72	c  675s |      19 |   650877 |   625982 |     5324    226 |      997 |        4
677.69/677.84	c  677s |      19 |   653045 |   628082 |     5324    226 |      997 |        4
679.70/679.89	c  679s |      19 |   654729 |   629782 |     5324    227 |      997 |        4
681.79/681.93	c  681s |      19 |   656519 |   631582 |     5324    227 |      997 |        4
683.79/683.94	c  683s |      19 |   658406 |   633482 |     5324    228 |      997 |        4
685.79/685.98	c  685s |      19 |   659904 |   634982 |     5324    228 |      997 |        4
687.89/688.08	c  687s |      19 |   661851 |   636882 |     5324    229 |      997 |        4
689.99/690.18	c  689s |      19 |   663433 |   638482 |     5324    229 |      997 |        4
692.09/692.26	c  691s |      19 |   665347 |   640382 |     5324    230 |      997 |        4
694.19/694.34	c  693s |      19 |   666928 |   641982 |     5324    230 |      997 |        4
696.19/696.35	c  695s |      19 |   668776 |   643782 |     5324    231 |      997 |        4
698.28/698.43	c  697s |      19 |   670264 |   645282 |     5324    232 |      997 |        4
700.28/700.47	c  699s |      19 |   672141 |   647182 |     5324    232 |      997 |        4
702.28/702.47	c  701s |      19 |   673671 |   648682 |     5324    233 |      997 |        4
704.38/704.52	c  703s |      19 |   675585 |   650582 |     5324    233 |      997 |        4
706.38/706.55	c  706s |      19 |   677090 |   652082 |     5324    234 |      997 |        4
708.39/708.57	c  708s |      19 |   679034 |   653982 |     5324    234 |      997 |        4
710.49/710.61	c  710s |      19 |   680515 |   655482 |     5324    235 |      997 |        4
712.48/712.68	c  712s |      19 |   682559 |   657482 |     5324    235 |      997 |        4
714.58/714.70	c  714s |      19 |   684020 |   658982 |     5324    236 |      997 |        4
716.68/716.83	c  716s |      19 |   686162 |   661082 |     5324    236 |      997 |        4
718.68/718.86	c  718s |      19 |   687497 |   662482 |     5857    237 |      997 |        4
720.78/720.96	c  720s |      19 |   689325 |   664282 |     5857    237 |      997 |        4
722.78/722.97	c  722s |      19 |   690924 |   665882 |     5857    238 |      997 |        4
724.08/724.20	c  723s |      20 |   691904 |   666827 |     5857    238 |      997 |        4
726.08/726.25	c  725s |      20 |   693653 |   668527 |     5857    238 |      997 |        4
728.19/728.33	c  727s |      20 |   695223 |   670027 |     5857    239 |      997 |        4
730.29/730.43	c  729s |      20 |   696780 |   671627 |     5857    239 |      997 |        4
732.38/732.53	c  731s |      20 |   699027 |   673827 |     5857    240 |      997 |        4
734.48/734.61	c  734s |      20 |   700402 |   675227 |     5857    240 |      997 |        4
736.58/736.70	c  736s |      20 |   702625 |   677427 |     5857    241 |      997 |        4
738.58/738.70	c  738s |      20 |   704227 |   679027 |     5857    241 |      997 |        4
740.58/740.77	c  740s |      20 |   706972 |   681727 |     5857    242 |      997 |        4
742.58/742.77	c  742s |      20 |   710188 |   684927 |     5857    243 |      997 |        4
744.68/744.85	c  744s |      20 |   713087 |   687827 |     5857    244 |      997 |        4
746.97/747.17	c  746s |      20 |   715108 |   689827 |     5857    245 |      997 |        4
749.08/749.26	c  748s |      20 |   717230 |   691927 |     5857    245 |      997 |        4
751.18/751.34	c  750s |      20 |   718536 |   693227 |     5857    246 |      997 |        4
753.27/753.44	c  752s |      20 |   720628 |   695327 |     5857    246 |      997 |        4
755.77/755.99	c  755s |      20 |   722650 |   697327 |     5857    247 |      997 |        4
757.88/758.01	c  757s |      20 |   724550 |   699227 |     5857    247 |      997 |        4
760.07/760.29	c  759s |      20 |   726337 |   701027 |     5857    248 |      997 |        4
762.17/762.36	c  761s |      20 |   728249 |   702927 |     5857    248 |      997 |        4
764.16/764.37	c  763s |      20 |   729793 |   704427 |     5857    249 |      997 |        4
766.26/766.43	c  765s |      20 |   731881 |   706527 |     5857    249 |      997 |        4
768.26/768.47	c  767s |      20 |   733696 |   708327 |     5857    250 |      997 |        4
770.36/770.57	c  770s |      20 |   735638 |   710227 |     5857    251 |      997 |        4
772.36/772.57	c  772s |      20 |   737643 |   712227 |     5857    251 |      997 |        4
774.46/774.62	c  774s |      20 |   739371 |   713927 |     5857    252 |      997 |        4
776.46/776.62	c  776s |      20 |   742229 |   716727 |     5857    252 |      997 |        4
778.46/778.64	c  778s |      20 |   746445 |   720927 |     5857    254 |      997 |        4
780.46/780.67	c  780s |      20 |   749872 |   724327 |     5857    255 |      997 |        4
782.46/782.69	c  782s |      20 |   753182 |   727627 |     5857    256 |      997 |        4
784.56/784.72	c  784s |      20 |   756584 |   731027 |     5857    256 |      997 |        4
786.56/786.73	c  786s |      20 |   759708 |   734127 |     5857    257 |      997 |        4
788.56/788.75	c  788s |      20 |   763129 |   737527 |     5857    258 |      997 |        4
790.56/790.77	c  790s |      20 |   765940 |   740327 |     5857    259 |      997 |        4
792.66/792.80	c  792s |      20 |   769448 |   743827 |     5857    260 |      997 |        4
794.65/794.81	c  794s |      20 |   771151 |   745527 |     5857    261 |      997 |        4
796.65/796.84	c  796s |      20 |   774273 |   748627 |     5857    262 |      997 |        4
798.65/798.86	c  798s |      20 |   777687 |   752027 |     5857    262 |      997 |        4
800.66/800.89	c  800s |      20 |   780998 |   755327 |     5857    263 |      997 |        4
802.86/803.06	c  802s |      20 |   784210 |   758527 |     5857    264 |      997 |        4
804.95/805.11	c  804s |      20 |   787827 |   762127 |     5857    265 |      997 |        4
806.95/807.14	c  806s |      20 |   791347 |   765627 |     5857    266 |      997 |        4
808.95/809.19	c  808s |      20 |   794958 |   769227 |     5857    267 |      997 |        4
811.04/811.22	c  810s |      20 |   797573 |   771827 |     5857    268 |      997 |        4
813.04/813.26	c  812s |      20 |   800774 |   775027 |     5857    269 |      997 |        4
815.05/815.26	c  814s |      20 |   803784 |   778027 |     5857    270 |      997 |        4
817.04/817.29	c  816s |      20 |   807204 |   781427 |     5857    271 |      997 |        4
819.14/819.34	c  818s |      20 |   810517 |   784727 |     5857    272 |      997 |        4
821.55/821.71	c  821s |      20 |   813625 |   787827 |     5857    273 |      997 |        4
823.54/823.72	c  823s |      20 |   816544 |   790727 |     5857    274 |      997 |        4
825.54/825.76	c  825s |      20 |   819851 |   794027 |     5857    275 |      997 |        4
827.54/827.78	c  827s |      20 |   823080 |   797227 |     5857    275 |      997 |        4
829.64/829.83	c  829s |      20 |   826402 |   800527 |     5857    276 |      997 |        4
831.64/831.86	c  831s |      20 |   829509 |   803627 |     5857    277 |      997 |        4
833.64/833.87	c  833s |      20 |   832621 |   806727 |     5857    278 |      997 |        4
835.74/835.92	c  835s |      20 |   836442 |   810527 |     5857    279 |      997 |        4
837.83/838.02	c  837s |      20 |   838557 |   812627 |     5857    280 |      997 |        4
839.83/840.06	c  839s |      20 |   841667 |   815727 |     5857    281 |      997 |        4
841.83/842.08	c  841s |      20 |   844586 |   818627 |     5857    282 |      997 |        4
843.93/844.13	c  843s |      20 |   848205 |   822227 |     5857    283 |      997 |        4
845.93/846.17	c  845s |      20 |   851420 |   825427 |     5857    284 |      997 |        4
847.94/848.18	c  847s |      20 |   854734 |   828727 |     5857    284 |      997 |        4
849.93/850.19	c  849s |      20 |   857937 |   831927 |     5857    285 |      997 |        4
852.03/852.25	c  851s |      20 |   861454 |   835427 |     5857    286 |      997 |        4
854.03/854.28	c  853s |      20 |   864757 |   838727 |     5857    287 |      997 |        4
856.53/856.70	c  856s |      20 |   867685 |   841627 |     5857    288 |      997 |        4
858.52/858.76	c  858s |      20 |   870578 |   844527 |     5857    289 |      997 |        4
860.52/860.78	c  860s |      20 |   873596 |   847527 |     5857    290 |      997 |        4
862.62/862.81	c  862s |      20 |   876711 |   850627 |     5857    291 |      997 |        4
864.62/864.84	c  864s |      20 |   880129 |   854027 |     5857    292 |      997 |        4
866.63/866.88	c  866s |      20 |   883144 |   857027 |     5857    293 |      997 |        4
869.02/869.27	c  868s |      20 |   886478 |   860327 |     5857    293 |      997 |        4
871.12/871.35	c  870s |      20 |   890096 |   863927 |     5857    295 |      997 |        4
873.22/873.45	c  872s |      20 |   893515 |   867327 |     5857    296 |      997 |        4
875.22/875.47	c  874s |      20 |   896723 |   870527 |     5857    296 |      997 |        4
877.31/877.52	c  876s |      20 |   899739 |   873527 |     5857    297 |      997 |        4
879.31/879.58	c  879s |      20 |   902355 |   876127 |     5857    298 |      997 |        4
881.41/881.68	c  881s |      20 |   904560 |   878327 |     5857    299 |      997 |        4
883.41/883.69	c  883s |      20 |   907184 |   880927 |     5857    299 |      997 |        4
885.42/885.69	c  885s |      20 |   910786 |   884527 |     5857    300 |      997 |        4
887.52/887.74	c  887s |      20 |   913907 |   887627 |     5857    301 |      997 |        4
889.61/889.81	c  889s |      20 |   916420 |   890127 |     5857    302 |      997 |        4
891.61/891.87	c  891s |      20 |   919523 |   893227 |     5857    303 |      997 |        4
893.71/893.91	c  893s |      20 |   922842 |   896527 |     5857    304 |      997 |        4
895.71/895.93	c  895s |      20 |   925949 |   899627 |     5857    305 |      997 |        4
897.71/897.95	c  897s |      20 |   928669 |   902327 |     5857    306 |      997 |        4
899.71/899.96	c  899s |      20 |   932289 |   905927 |     5857    307 |      997 |        4
901.71/901.98	c  901s |      20 |   935399 |   909027 |     5857    307 |      997 |        4
903.81/904.03	c  903s |      20 |   938311 |   911927 |     5857    308 |      997 |        4
905.81/906.04	c  905s |      20 |   941123 |   914727 |     5857    309 |      997 |        4
907.81/908.05	c  907s |      20 |   944335 |   917927 |     5857    310 |      997 |        4
909.80/910.06	c  909s |      20 |   946638 |   920227 |     5857    311 |      997 |        4
911.90/912.10	c  911s |      20 |   949254 |   922827 |     5857    311 |      997 |        4
913.91/914.14	c  913s |      20 |   951691 |   925227 |     5857    312 |      997 |        4
915.90/916.16	c  915s |      20 |   955203 |   928727 |     5857    313 |      997 |        4
918.00/918.22	c  917s |      20 |   958109 |   931627 |     5857    314 |      997 |        4
920.29/920.55	c  920s |      20 |   961520 |   935027 |     5857    315 |      997 |        4
922.29/922.56	c  922s |      20 |   964738 |   938227 |     5857    316 |      997 |        4
924.39/924.60	c  924s |      20 |   967551 |   941027 |     5857    317 |      997 |        4
926.39/926.65	c  926s |      20 |   970765 |   944227 |     5857    318 |      997 |        4
928.38/928.68	c  928s |      20 |   973879 |   947327 |     5857    318 |      997 |        4
930.49/930.72	c  930s |      20 |   976686 |   950127 |     5857    319 |      997 |        4
932.60/932.81	c  932s |      20 |   978795 |   952227 |     5857    320 |      997 |        4
934.59/934.87	c  934s |      20 |   982416 |   955827 |     5857    321 |      997 |        4
936.69/936.90	c  936s |      20 |   984928 |   958327 |     5857    322 |      997 |        4
938.69/938.94	c  938s |      20 |   987429 |   960827 |     5857    322 |      997 |        4
940.69/940.97	c  940s |      20 |   990648 |   964027 |     5857    323 |      997 |        4
942.69/942.99	c  942s |      20 |   993760 |   967127 |     5857    324 |      997 |        4
944.79/945.00	c  944s |      20 |   996769 |   970127 |     5857    325 |      997 |        4
946.78/947.06	c  946s |      20 |  1000084 |   973427 |     5857    326 |      997 |        4
948.88/949.10	c  948s |      20 |  1002995 |   976327 |     5857    327 |      997 |        4
950.88/951.13	c  950s |      20 |  1005807 |   979127 |     5857    328 |      997 |        4
952.88/953.19	c  952s |      20 |  1008019 |   981327 |     5857    328 |      997 |        4
954.98/955.24	c  954s |      20 |  1011026 |   984327 |     5857    329 |      997 |        4
956.98/957.27	c  956s |      20 |  1013732 |   987027 |     5857    330 |      997 |        4
958.98/959.29	c  958s |      20 |  1016641 |   989927 |     5857    331 |      997 |        4
960.97/961.29	c  960s |      20 |  1019964 |   993227 |     6443    332 |      997 |        4
963.07/963.34	c  962s |      20 |  1023672 |   996927 |     6443    332 |      997 |        4
965.07/965.34	c  964s |      20 |  1026581 |   999827 |     6443    333 |      997 |        4
965.37/965.68	c  965s |      21 |  1027109 |  1000345 |     6443    333 |      997 |        4
967.47/967.74	c  967s |      21 |  1028254 |  1001345 |     6443    334 |      997 |        4
969.57/969.83	c  969s |      21 |  1029915 |  1003045 |     6443    334 |      997 |        4
971.67/971.96	c  971s |      21 |  1031979 |  1005045 |     6443    335 |      997 |        4
973.87/974.17	c  973s |      21 |  1033319 |  1006345 |     6443    335 |      997 |        4
975.87/976.18	c  975s |      21 |  1034704 |  1007745 |     6443    335 |      997 |        4
977.97/978.28	c  977s |      21 |  1036819 |  1009845 |     6443    336 |      997 |        4
980.06/980.30	c  979s |      21 |  1038327 |  1011345 |     6443    336 |      997 |        4
982.07/982.37	c  981s |      21 |  1040336 |  1013345 |     6443    337 |      997 |        4
984.16/984.42	c  983s |      21 |  1042231 |  1015245 |     6443    337 |      997 |        4
986.16/986.47	c  985s |      21 |  1044854 |  1017845 |     6443    338 |      997 |        4
988.16/988.48	c  987s |      21 |  1047458 |  1020445 |     6443    339 |      997 |        4
990.26/990.58	c  990s |      21 |  1049851 |  1022845 |     6443    339 |      997 |        4
992.46/992.70	c  992s |      21 |  1050783 |  1023745 |     6443    340 |      997 |        4
994.46/994.75	c  994s |      21 |  1053264 |  1026245 |     6443    340 |      997 |        4
996.46/996.78	c  996s |      21 |  1054572 |  1027545 |     6443    341 |      997 |        4
998.45/998.78	c  998s |      21 |  1056494 |  1029445 |     6443    341 |      997 |        4
1000.55/1000.80	c 1000s |      21 |  1058092 |  1031045 |     6443    341 |      997 |        4
1002.55/1002.82	c 1002s |      21 |  1059587 |  1032545 |     6443    342 |      997 |        4
1004.55/1004.87	c 1004s |      21 |  1061392 |  1034345 |     6443    342 |      997 |        4
1006.65/1006.94	c 1006s |      21 |  1062805 |  1035745 |     6443    343 |      997 |        4
1008.74/1009.01	c 1008s |      21 |  1064699 |  1037645 |     6443    343 |      997 |        4
1011.44/1011.72	c 1011s |      21 |  1066514 |  1039445 |     6443    344 |      997 |        4
1013.54/1013.81	c 1013s |      21 |  1068316 |  1041245 |     6443    344 |      997 |        4
1015.64/1015.90	c 1015s |      21 |  1070018 |  1042945 |     6443    345 |      997 |        4
1017.64/1017.90	c 1017s |      21 |  1071418 |  1044345 |     6443    345 |      997 |        4
1019.63/1019.95	c 1019s |      21 |  1073266 |  1046145 |     6443    345 |      997 |        4
1021.94/1022.27	c 1021s |      21 |  1074833 |  1047745 |     6443    346 |      997 |        4
1024.04/1024.31	c 1023s |      21 |  1076545 |  1049445 |     6443    346 |      997 |        4
1026.05/1026.39	c 1025s |      21 |  1078269 |  1051145 |     6443    347 |      997 |        4
1028.14/1028.42	c 1027s |      21 |  1079554 |  1052445 |     6443    347 |      997 |        4
1030.14/1030.45	c 1029s |      21 |  1081179 |  1054045 |     6443    348 |      997 |        4
1032.23/1032.58	c 1032s |      21 |  1082919 |  1055745 |     6443    348 |      997 |        4
1034.33/1034.63	c 1034s |      21 |  1084380 |  1057245 |     6443    348 |      997 |        4
1036.43/1036.71	c 1036s |      21 |  1085997 |  1058845 |     6443    349 |      997 |        4
1038.43/1038.73	c 1038s |      21 |  1087813 |  1060645 |     6443    349 |      997 |        4
1040.73/1041.05	c 1040s |      21 |  1089622 |  1062445 |     6443    350 |      997 |        4
1042.83/1043.11	c 1042s |      21 |  1091316 |  1064145 |     6443    350 |      997 |        4
1044.84/1045.16	c 1044s |      21 |  1093000 |  1065845 |     6443    351 |      997 |        4
1046.93/1047.28	c 1046s |      21 |  1094632 |  1067445 |     6443    351 |      997 |        4
1049.02/1049.40	c 1048s |      21 |  1096124 |  1068945 |     6443    352 |      997 |        4
1051.12/1051.41	c 1050s |      21 |  1097720 |  1070545 |     6443    352 |      997 |        4
1053.22/1053.58	c 1053s |      21 |  1099598 |  1072345 |     6443    352 |      997 |        4
1055.22/1055.59	c 1055s |      21 |  1101063 |  1073845 |     6443    353 |      997 |        4
1057.32/1057.64	c 1057s |      21 |  1102549 |  1075345 |     6443    353 |      997 |        4
1059.31/1059.66	c 1059s |      21 |  1104076 |  1076845 |     6443    354 |      997 |        4
1061.41/1061.70	c 1061s |      21 |  1105781 |  1078545 |     6443    354 |      997 |        4
1063.42/1063.73	c 1063s |      21 |  1107163 |  1079945 |     6443    354 |      997 |        4
1065.51/1065.85	c 1065s |      21 |  1108871 |  1081645 |     6443    355 |      997 |        4
1067.61/1067.96	c 1067s |      21 |  1110500 |  1083245 |     6443    355 |      997 |        4
1069.71/1070.07	c 1069s |      21 |  1112180 |  1084945 |     6443    356 |      997 |        4
1071.81/1072.10	c 1071s |      21 |  1113907 |  1086645 |     6443    356 |      997 |        4
1073.81/1074.16	c 1073s |      21 |  1115425 |  1088145 |     6443    357 |      997 |        4
1075.91/1076.25	c 1075s |      21 |  1117207 |  1089945 |     6443    357 |      997 |        4
1078.01/1078.34	c 1077s |      21 |  1118712 |  1091345 |     6443    357 |      997 |        4
1080.01/1080.37	c 1079s |      21 |  1120488 |  1093145 |     6443    358 |      997 |        4
1082.11/1082.47	c 1081s |      21 |  1122133 |  1094745 |     6443    358 |      997 |        4
1084.10/1084.49	c 1083s |      21 |  1123327 |  1095945 |     6443    359 |      997 |        4
1086.20/1086.52	c 1085s |      21 |  1124927 |  1097545 |     6443    359 |      997 |        4
1088.20/1088.57	c 1088s |      21 |  1126976 |  1099545 |     6443    360 |      997 |        4
1090.30/1090.62	c 1090s |      21 |  1128535 |  1101145 |     6443    360 |      997 |        4
1092.30/1092.66	c 1092s |      21 |  1130577 |  1103145 |     6443    361 |      997 |        4
1094.30/1094.67	c 1094s |      21 |  1133290 |  1105845 |     6443    361 |      997 |        4
1096.41/1096.76	c 1096s |      21 |  1135483 |  1108045 |     6443    362 |      997 |        4
1098.50/1098.83	c 1098s |      21 |  1137290 |  1109845 |     6443    362 |      997 |        4
1100.50/1100.84	c 1100s |      21 |  1138496 |  1111045 |     6443    363 |      997 |        4
1102.50/1102.88	c 1102s |      21 |  1140388 |  1112945 |     6443    363 |      997 |        4
1104.70/1105.01	c 1104s |      21 |  1141701 |  1114245 |     6443    364 |      997 |        4
1106.79/1107.10	c 1106s |      21 |  1143126 |  1115645 |     6443    364 |      997 |        4
1108.89/1109.22	c 1108s |      21 |  1144908 |  1117445 |     6443    364 |      997 |        4
1110.89/1111.22	c 1110s |      21 |  1146130 |  1118645 |     6443    365 |      997 |        4
1112.99/1113.35	c 1112s |      21 |  1148041 |  1120545 |     6443    365 |      997 |        4
1114.98/1115.38	c 1114s |      21 |  1149323 |  1121845 |     6443    366 |      997 |        4
1117.08/1117.40	c 1116s |      21 |  1151223 |  1123745 |     6443    366 |      997 |        4
1119.08/1119.43	c 1118s |      21 |  1152933 |  1125445 |     6443    366 |      997 |        4
1121.09/1121.48	c 1120s |      21 |  1154050 |  1126545 |     6443    367 |      997 |        4
1123.19/1123.58	c 1123s |      21 |  1155983 |  1128445 |     6443    367 |      997 |        4
1125.58/1125.97	c 1125s |      21 |  1157381 |  1129845 |     6443    368 |      997 |        4
1127.68/1128.09	c 1127s |      21 |  1159155 |  1131645 |     6443    368 |      997 |        4
1129.88/1130.21	c 1129s |      21 |  1160665 |  1133145 |     6443    369 |      997 |        4
1131.98/1132.33	c 1131s |      21 |  1162676 |  1135145 |     6443    369 |      997 |        4
1134.18/1134.59	c 1134s |      21 |  1164416 |  1136845 |     6443    370 |      997 |        4
1136.68/1137.03	c 1136s |      21 |  1166326 |  1138745 |     6443    370 |      997 |        4
1138.67/1139.06	c 1138s |      21 |  1167896 |  1140345 |     6443    370 |      997 |        4
1140.67/1141.08	c 1140s |      21 |  1169504 |  1141945 |     6443    371 |      997 |        4
1142.77/1143.17	c 1142s |      21 |  1171325 |  1143745 |     6443    371 |      997 |        4
1144.88/1145.20	c 1144s |      21 |  1172848 |  1145245 |     6443    372 |      997 |        4
1146.87/1147.30	c 1146s |      21 |  1174722 |  1147145 |     6443    372 |      997 |        4
1148.96/1149.32	c 1148s |      21 |  1176331 |  1148745 |     6443    373 |      997 |        4
1151.06/1151.42	c 1150s |      21 |  1177836 |  1150245 |     6443    373 |      997 |        4
1153.16/1153.54	c 1152s |      21 |  1179567 |  1151945 |     6443    374 |      997 |        4
1155.66/1156.07	c 1155s |      21 |  1181500 |  1153845 |     6443    374 |      997 |        4
1157.76/1158.17	c 1157s |      21 |  1183074 |  1155445 |     6443    374 |      997 |        4
1159.86/1160.22	c 1159s |      21 |  1184786 |  1157145 |     6443    375 |      997 |        4
1161.96/1162.38	c 1161s |      21 |  1186665 |  1159045 |     6443    375 |      997 |        4
1164.06/1164.49	c 1163s |      21 |  1188296 |  1160645 |     6443    376 |      997 |        4
1166.26/1166.62	c 1166s |      21 |  1189884 |  1162245 |     6443    376 |      997 |        4
1168.26/1168.67	c 1168s |      21 |  1191508 |  1163845 |     6443    377 |      997 |        4
1170.26/1170.68	c 1170s |      21 |  1193208 |  1165545 |     6443    377 |      997 |        4
1172.26/1172.69	c 1172s |      21 |  1194914 |  1167245 |     6443    378 |      997 |        4
1174.36/1174.78	c 1174s |      21 |  1196504 |  1168845 |     6443    378 |      997 |        4
1176.56/1176.90	c 1176s |      21 |  1198381 |  1170645 |     6443    378 |      997 |        4
1178.65/1179.02	c 1178s |      21 |  1199940 |  1172245 |     6443    379 |      997 |        4
1180.75/1181.11	c 1180s |      21 |  1201562 |  1173845 |     6443    379 |      997 |        4
1182.85/1183.22	c 1182s |      21 |  1203135 |  1175445 |     6443    380 |      997 |        4
1184.85/1185.28	c 1184s |      21 |  1204882 |  1177145 |     6443    380 |      997 |        4
1186.95/1187.36	c 1186s |      21 |  1206356 |  1178645 |     6443    381 |      997 |        4
1189.05/1189.49	c 1188s |      21 |  1208210 |  1180445 |     6443    381 |      997 |        4
1191.15/1191.55	c 1191s |      21 |  1209662 |  1181945 |     6443    381 |      997 |        4
1193.25/1193.66	c 1193s |      21 |  1211817 |  1184045 |     6443    382 |      997 |        4
1195.25/1195.68	c 1195s |      21 |  1213019 |  1185245 |     6443    382 |      997 |        4
1197.35/1197.76	c 1197s |      21 |  1214585 |  1186845 |     6443    383 |      997 |        4
1199.34/1199.78	c 1199s |      21 |  1216637 |  1188845 |     6443    383 |      997 |        4
1201.44/1201.88	c 1201s |      21 |  1218135 |  1190345 |     6443    384 |      997 |        4
1203.54/1203.90	c 1203s |      21 |  1220233 |  1192445 |     6443    384 |      997 |        4
1205.54/1205.91	c 1205s |      21 |  1222964 |  1195145 |     6443    385 |      997 |        4
1207.55/1207.93	c 1207s |      21 |  1225653 |  1197845 |     6443    386 |      997 |        4
1209.54/1209.98	c 1209s |      21 |  1227566 |  1199745 |     6443    386 |      997 |        4
1211.74/1212.13	c 1211s |      21 |  1228882 |  1201045 |     6443    387 |      997 |        4
1213.84/1214.25	c 1213s |      21 |  1230995 |  1203145 |     6443    387 |      997 |        4
1216.74/1217.10	c 1216s |      21 |  1232577 |  1204745 |     6443    388 |      997 |        4
1218.74/1219.10	c 1218s |      21 |  1234510 |  1206645 |     6443    388 |      997 |        4
1220.75/1221.17	c 1220s |      21 |  1236200 |  1208345 |     6443    388 |      997 |        4
1222.85/1223.22	c 1222s |      21 |  1237506 |  1209645 |     6443    389 |      997 |        4
1224.84/1225.25	c 1224s |      21 |  1239307 |  1211445 |     6443    389 |      997 |        4
1226.94/1227.30	c 1226s |      21 |  1240516 |  1212645 |     6443    390 |      997 |        4
1228.93/1229.35	c 1228s |      21 |  1242304 |  1214445 |     6443    390 |      997 |        4
1231.13/1231.51	c 1230s |      21 |  1243920 |  1216045 |     6443    391 |      997 |        4
1233.13/1233.58	c 1233s |      21 |  1245308 |  1217445 |     6443    391 |      997 |        4
1235.23/1235.66	c 1235s |      21 |  1247117 |  1219245 |     6443    391 |      997 |        4
1237.33/1237.71	c 1237s |      21 |  1248720 |  1220845 |     6443    392 |      997 |        4
1239.33/1239.72	c 1239s |      21 |  1249945 |  1222045 |     6443    392 |      997 |        4
1241.43/1241.80	c 1241s |      21 |  1251655 |  1223745 |     6443    393 |      997 |        4
1243.42/1243.89	c 1243s |      21 |  1253265 |  1225345 |     6443    393 |      997 |        4
1245.52/1245.94	c 1245s |      21 |  1254951 |  1227045 |     6443    393 |      997 |        4
1247.62/1248.05	c 1247s |      21 |  1256453 |  1228545 |     6443    394 |      997 |        4
1249.72/1250.11	c 1249s |      21 |  1258248 |  1230345 |     6443    394 |      997 |        4
1251.72/1252.19	c 1251s |      21 |  1259956 |  1232045 |     6443    395 |      997 |        4
1253.82/1254.26	c 1253s |      21 |  1261487 |  1233545 |     6443    395 |      997 |        4
1255.92/1256.33	c 1255s |      21 |  1263169 |  1235245 |     6443    396 |      997 |        4
1257.92/1258.36	c 1257s |      21 |  1264799 |  1236845 |     6443    396 |      997 |        4
1259.92/1260.39	c 1259s |      21 |  1266478 |  1238545 |     6443    396 |      997 |        4
1262.02/1262.48	c 1261s |      21 |  1268090 |  1240145 |     6443    397 |      997 |        4
1264.12/1264.55	c 1264s |      21 |  1269718 |  1241745 |     6443    397 |      997 |        4
1266.42/1266.82	c 1266s |      21 |  1271529 |  1243545 |     6443    398 |      997 |        4
1268.42/1268.87	c 1268s |      21 |  1273093 |  1245145 |     6443    398 |      997 |        4
1270.41/1270.89	c 1270s |      21 |  1274828 |  1246845 |     6443    399 |      997 |        4
1272.91/1273.37	c 1272s |      21 |  1276760 |  1248745 |     6443    399 |      997 |        4
1274.91/1275.39	c 1274s |      21 |  1278053 |  1250045 |     6443    400 |      997 |        4
1277.00/1277.42	c 1276s |      21 |  1279777 |  1251745 |     6443    400 |      997 |        4
1279.01/1279.47	c 1278s |      21 |  1281232 |  1253245 |     6443    400 |      997 |        4
1281.11/1281.54	c 1280s |      21 |  1282982 |  1254945 |     6443    401 |      997 |        4
1283.20/1283.60	c 1283s |      21 |  1284650 |  1256645 |     6443    401 |      997 |        4
1285.20/1285.67	c 1285s |      21 |  1286299 |  1258245 |     6443    402 |      997 |        4
1287.40/1287.83	c 1287s |      21 |  1288116 |  1260045 |     6443    402 |      997 |        4
1289.50/1289.91	c 1289s |      21 |  1289491 |  1261445 |     6443    403 |      997 |        4
1291.59/1292.06	c 1291s |      21 |  1291376 |  1263345 |     6443    403 |      997 |        4
1293.59/1294.07	c 1293s |      21 |  1292817 |  1264745 |     6443    403 |      997 |        4
1295.79/1296.20	c 1295s |      21 |  1294640 |  1266545 |     6443    404 |      997 |        4
1297.79/1298.23	c 1297s |      21 |  1296018 |  1267945 |     6443    404 |      997 |        4
1299.80/1300.23	c 1299s |      21 |  1297841 |  1269745 |     6443    405 |      997 |        4
1301.79/1302.30	c 1301s |      21 |  1299353 |  1271245 |     6443    405 |      997 |        4
1303.89/1304.31	c 1303s |      21 |  1300513 |  1272445 |     6443    405 |      997 |        4
1305.89/1306.36	c 1305s |      21 |  1302470 |  1274345 |     6443    406 |      997 |        4
1308.09/1308.51	c 1307s |      21 |  1303973 |  1275845 |     6443    406 |      997 |        4
1310.08/1310.53	c 1309s |      21 |  1305781 |  1277645 |     6443    407 |      997 |        4
1312.08/1312.56	c 1312s |      21 |  1307693 |  1279545 |     6443    407 |      997 |        4
1314.19/1314.63	c 1314s |      21 |  1310589 |  1282445 |     6443    408 |      997 |        4
1316.18/1316.64	c 1316s |      21 |  1312789 |  1284645 |     6443    409 |      997 |        4
1318.28/1318.71	c 1318s |      21 |  1314694 |  1286545 |     6443    409 |      997 |        4
1320.58/1321.09	c 1320s |      21 |  1316207 |  1288045 |     6443    410 |      997 |        4
1322.68/1323.13	c 1322s |      21 |  1318112 |  1289945 |     6443    410 |      997 |        4
1325.28/1325.75	c 1325s |      21 |  1319716 |  1291545 |     6443    411 |      997 |        4
1327.39/1327.88	c 1327s |      21 |  1321126 |  1292945 |     6443    411 |      997 |        4
1329.49/1329.94	c 1329s |      21 |  1322715 |  1294545 |     6443    411 |      997 |        4
1332.08/1332.52	c 1331s |      21 |  1324361 |  1296145 |     6443    412 |      997 |        4
1334.18/1334.63	c 1334s |      21 |  1326056 |  1297845 |     6443    412 |      997 |        4
1336.28/1336.72	c 1336s |      21 |  1327438 |  1299245 |     6443    413 |      997 |        4
1338.29/1338.77	c 1338s |      21 |  1328742 |  1300545 |     6443    413 |      997 |        4
1340.28/1340.77	c 1340s |      21 |  1330344 |  1302145 |     6443    413 |      997 |        4
1342.38/1342.84	c 1342s |      21 |  1331947 |  1303745 |     6443    414 |      997 |        4
1344.48/1344.92	c 1344s |      21 |  1333069 |  1304845 |     6443    414 |      997 |        4
1346.48/1346.96	c 1346s |      21 |  1334559 |  1306345 |     6443    414 |      997 |        4
1348.57/1349.06	c 1348s |      21 |  1335984 |  1307745 |     6443    415 |      997 |        4
1350.57/1351.08	c 1350s |      21 |  1337676 |  1309445 |     6443    415 |      997 |        4
1352.68/1353.17	c 1352s |      21 |  1339109 |  1310845 |     6443    416 |      997 |        4
1354.67/1355.19	c 1354s |      21 |  1340906 |  1312645 |     6443    416 |      997 |        4
1356.77/1357.22	c 1356s |      21 |  1342397 |  1314145 |     6443    416 |      997 |        4
1358.77/1359.25	c 1358s |      21 |  1343827 |  1315545 |     6443    417 |      997 |        4
1360.87/1361.31	c 1360s |      21 |  1345530 |  1317245 |     6443    417 |      997 |        4
1362.87/1363.37	c 1362s |      21 |  1346941 |  1318645 |     6443    418 |      997 |        4
1364.97/1365.42	c 1364s |      21 |  1348731 |  1320445 |     6443    418 |      997 |        4
1367.07/1367.53	c 1366s |      21 |  1350158 |  1321845 |     6443    419 |      997 |        4
1369.17/1369.61	c 1369s |      21 |  1351669 |  1323345 |     6443    419 |      997 |        4
1371.27/1371.78	c 1371s |      21 |  1353449 |  1325145 |     6443    419 |      997 |        4
1373.37/1373.84	c 1373s |      21 |  1355158 |  1326845 |     6443    420 |      997 |        4
1375.46/1375.90	c 1375s |      21 |  1356301 |  1327945 |     6443    420 |      997 |        4
1377.56/1378.03	c 1377s |      21 |  1357996 |  1329645 |     6443    421 |      997 |        4
1379.66/1380.15	c 1379s |      21 |  1359604 |  1331245 |     6443    421 |      997 |        4
1381.76/1382.22	c 1381s |      21 |  1361230 |  1332845 |     6443    421 |      997 |        4
1383.76/1384.26	c 1383s |      21 |  1362877 |  1334545 |     6443    422 |      997 |        4
1385.86/1386.33	c 1385s |      21 |  1364181 |  1335845 |     6443    422 |      997 |        4
1387.87/1388.34	c 1387s |      21 |  1365935 |  1337545 |     6443    423 |      997 |        4
1389.86/1390.36	c 1389s |      21 |  1367292 |  1338945 |     6443    423 |      997 |        4
1391.86/1392.36	c 1391s |      21 |  1368940 |  1340545 |     6443    423 |      997 |        4
1393.96/1394.43	c 1393s |      21 |  1370399 |  1342045 |     6443    424 |      997 |        4
1396.07/1396.56	c 1396s |      21 |  1371955 |  1343545 |     6443    424 |      997 |        4
1398.07/1398.59	c 1398s |      21 |  1373342 |  1344945 |     6443    425 |      997 |        4
1400.17/1400.67	c 1400s |      21 |  1375047 |  1346645 |     6443    425 |      997 |        4
1402.26/1402.77	c 1402s |      21 |  1376538 |  1348145 |     6443    425 |      997 |        4
1404.37/1404.86	c 1404s |      21 |  1378279 |  1349845 |     6443    426 |      997 |        4
1406.36/1406.90	c 1406s |      21 |  1379757 |  1351345 |     6443    426 |      997 |        4
1408.46/1408.99	c 1408s |      21 |  1381337 |  1352945 |     6443    427 |      997 |        4
1410.56/1411.04	c 1410s |      21 |  1382860 |  1354445 |     6443    427 |      997 |        4
1412.56/1413.05	c 1412s |      21 |  1384792 |  1356345 |     6443    428 |      997 |        4
1414.66/1415.19	c 1414s |      21 |  1386084 |  1357645 |     6443    428 |      997 |        4
1416.76/1417.27	c 1416s |      21 |  1387470 |  1359045 |     6443    428 |      997 |        4
1418.86/1419.39	c 1418s |      21 |  1389512 |  1361045 |     6443    429 |      997 |        4
1420.96/1421.50	c 1420s |      21 |  1390905 |  1362445 |     6443    429 |      997 |        4
1423.07/1423.53	c 1422s |      21 |  1392627 |  1364145 |     6443    430 |      997 |        4
1425.17/1425.61	c 1425s |      21 |  1394739 |  1366245 |     6443    430 |      997 |        4
1427.16/1427.63	c 1427s |      21 |  1397550 |  1369045 |     6443    431 |      997 |        4
1429.16/1429.66	c 1429s |      21 |  1399468 |  1370945 |     6443    432 |      997 |        4
1431.16/1431.69	c 1431s |      21 |  1401367 |  1372845 |     6443    432 |      997 |        4
1433.26/1433.78	c 1433s |      21 |  1403086 |  1374545 |     6443    432 |      997 |        4
1435.36/1435.85	c 1435s |      21 |  1404264 |  1375745 |     6443    433 |      997 |        4
1437.46/1437.95	c 1437s |      21 |  1405981 |  1377445 |     6443    433 |      997 |        4
1439.46/1439.95	c 1439s |      21 |  1407178 |  1378645 |     6443    434 |      997 |        4
1441.55/1442.04	c 1441s |      21 |  1408410 |  1379845 |     6443    434 |      997 |        4
1443.65/1444.13	c 1443s |      21 |  1410095 |  1381545 |     6443    434 |      997 |        4
1445.65/1446.17	c 1445s |      21 |  1411300 |  1382745 |     6443    435 |      997 |        4
1447.65/1448.18	c 1447s |      21 |  1413135 |  1384545 |     6443    435 |      997 |        4
1449.85/1450.30	c 1449s |      21 |  1414616 |  1386045 |     6443    436 |      997 |        4
1451.85/1452.30	c 1451s |      21 |  1415910 |  1387345 |     6443    436 |      997 |        4
1453.95/1454.40	c 1453s |      21 |  1417627 |  1389045 |     6443    436 |      997 |        4
1455.96/1456.47	c 1455s |      21 |  1418718 |  1390145 |     6443    437 |      997 |        4
1457.95/1458.49	c 1457s |      21 |  1420536 |  1391945 |     6443    437 |      997 |        4
1460.05/1460.54	c 1459s |      21 |  1422056 |  1393445 |     6443    438 |      997 |        4
1462.25/1462.80	c 1462s |      21 |  1423675 |  1395045 |     6443    438 |      997 |        4
1464.35/1464.87	c 1464s |      21 |  1425226 |  1396645 |     6443    438 |      997 |        4
1466.35/1466.89	c 1466s |      21 |  1426835 |  1398245 |     6443    439 |      997 |        4
1468.45/1468.96	c 1468s |      21 |  1428164 |  1399545 |     6443    439 |      997 |        4
1470.55/1471.03	c 1470s |      21 |  1429768 |  1401145 |     6443    440 |      997 |        4
1472.65/1473.16	c 1472s |      21 |  1431373 |  1402745 |     6443    440 |      997 |        4
1474.76/1475.21	c 1474s |      21 |  1433103 |  1404445 |     6443    440 |      997 |        4
1476.75/1477.26	c 1476s |      21 |  1434660 |  1406045 |     6443    441 |      997 |        4
1478.75/1479.28	c 1478s |      21 |  1435957 |  1407345 |     6443    441 |      997 |        4
1480.85/1481.34	c 1480s |      21 |  1437624 |  1408945 |     6443    442 |      997 |        4
1482.95/1483.43	c 1482s |      21 |  1439379 |  1410745 |     6443    442 |      997 |        4
1484.95/1485.47	c 1484s |      21 |  1440790 |  1412145 |     6443    442 |      997 |        4
1486.95/1487.48	c 1486s |      21 |  1442307 |  1413645 |     6443    443 |      997 |        4
1489.06/1489.59	c 1489s |      21 |  1443896 |  1415245 |     6443    443 |      997 |        4
1491.26/1491.70	c 1491s |      21 |  1445612 |  1416945 |     6443    444 |      997 |        4
1493.46/1493.97	c 1493s |      21 |  1447262 |  1418545 |     6443    444 |      997 |        4
1495.45/1496.00	c 1495s |      21 |  1448627 |  1419945 |     6443    445 |      997 |        4
1497.65/1498.12	c 1497s |      21 |  1450329 |  1421645 |     6443    445 |      997 |        4
1499.65/1500.13	c 1499s |      21 |  1451856 |  1423145 |     6443    445 |      997 |        4
1501.75/1502.24	c 1501s |      21 |  1453562 |  1424845 |     6443    446 |      997 |        4
1503.75/1504.26	c 1503s |      21 |  1455361 |  1426645 |     6443    446 |      997 |        4
1505.85/1506.38	c 1505s |      21 |  1456769 |  1428045 |     6443    447 |      997 |        4
1508.05/1508.51	c 1507s |      21 |  1458455 |  1429745 |     6443    447 |      997 |        4
1510.05/1510.52	c 1509s |      21 |  1459867 |  1431145 |     6443    447 |      997 |        4
1512.05/1512.59	c 1512s |      21 |  1461698 |  1432945 |     6443    448 |      997 |        4
1514.25/1514.71	c 1514s |      21 |  1463181 |  1434445 |     6443    448 |      997 |        4
1516.35/1516.82	c 1516s |      21 |  1464871 |  1436145 |     6443    449 |      997 |        4
1518.45/1518.92	c 1518s |      21 |  1466486 |  1437745 |     6443    449 |      997 |        4
1520.54/1521.02	c 1520s |      21 |  1468528 |  1439745 |     6443    450 |      997 |        4
1522.54/1523.02	c 1522s |      21 |  1469747 |  1440945 |     6443    450 |      997 |        4
1524.64/1525.12	c 1524s |      21 |  1471326 |  1442545 |     6443    451 |      997 |        4
1526.64/1527.16	c 1526s |      21 |  1473170 |  1444345 |     6443    451 |      997 |        4
1528.74/1529.23	c 1528s |      21 |  1474963 |  1446145 |     6443    451 |      997 |        4
1530.75/1531.28	c 1530s |      21 |  1477175 |  1448345 |     6443    452 |      997 |        4
1532.84/1533.33	c 1532s |      21 |  1480191 |  1451345 |     6443    453 |      997 |        4
1534.84/1535.39	c 1534s |      21 |  1482283 |  1453445 |     6443    453 |      997 |        4
1536.94/1537.42	c 1536s |      21 |  1484173 |  1455345 |     6443    454 |      997 |        4
1538.94/1539.48	c 1538s |      21 |  1486099 |  1457245 |     6443    454 |      997 |        4
1541.04/1541.51	c 1540s |      21 |  1486784 |  1457945 |     6443    455 |      997 |        4
1543.04/1543.53	c 1542s |      21 |  1488709 |  1459845 |     6443    455 |      997 |        4
1545.74/1546.21	c 1545s |      21 |  1490311 |  1461445 |     6443    456 |      997 |        4
1547.84/1548.31	c 1547s |      21 |  1492412 |  1463545 |     6443    456 |      997 |        4
1549.84/1550.35	c 1549s |      21 |  1494017 |  1465145 |     6443    456 |      997 |        4
1551.94/1552.41	c 1551s |      21 |  1495100 |  1466245 |     6443    457 |      997 |        4
1553.94/1554.48	c 1553s |      21 |  1496831 |  1467945 |     6443    457 |      997 |        4
1556.04/1556.56	c 1556s |      21 |  1498515 |  1469645 |     6443    458 |      997 |        4
1558.03/1558.59	c 1558s |      21 |  1499635 |  1470745 |     6443    458 |      997 |        4
1560.13/1560.62	c 1560s |      21 |  1501222 |  1472345 |     6443    458 |      997 |        4
1562.24/1562.71	c 1562s |      21 |  1502422 |  1473545 |     6443    459 |      997 |        4
1564.24/1564.78	c 1564s |      21 |  1504252 |  1475345 |     6443    459 |      997 |        4
1566.34/1566.84	c 1566s |      21 |  1505863 |  1476945 |     6443    460 |      997 |        4
1568.44/1568.95	c 1568s |      21 |  1507260 |  1478345 |     6443    460 |      997 |        4
1570.54/1571.01	c 1570s |      21 |  1508847 |  1479945 |     6443    460 |      997 |        4
1572.74/1573.25	c 1572s |      21 |  1510366 |  1481445 |     6443    461 |      997 |        4
1574.74/1575.25	c 1574s |      21 |  1511980 |  1483045 |     6443    461 |      997 |        4
1576.74/1577.25	c 1576s |      21 |  1513381 |  1484445 |     6443    462 |      997 |        4
1578.84/1579.30	c 1578s |      21 |  1514933 |  1485945 |     6443    462 |      997 |        4
1580.83/1581.33	c 1580s |      21 |  1516597 |  1487645 |     6443    462 |      997 |        4
1583.33/1583.87	c 1583s |      21 |  1518406 |  1489445 |     6443    463 |      997 |        4
1585.33/1585.89	c 1585s |      21 |  1519818 |  1490845 |     7088    463 |      997 |        4
1587.43/1587.98	c 1587s |      21 |  1521258 |  1492245 |     7088    464 |      997 |        4
1589.83/1590.37	c 1589s |      21 |  1523066 |  1494045 |     7088    464 |      997 |        4
1591.93/1592.40	c 1591s |      21 |  1524450 |  1495445 |     7088    464 |      997 |        4
1593.93/1594.45	c 1593s |      21 |  1525955 |  1496945 |     7088    465 |      997 |        4
1596.03/1596.51	c 1595s |      21 |  1527654 |  1498645 |     7088    465 |      997 |        4
1598.13/1598.63	c 1598s |      21 |  1529265 |  1500245 |     7088    465 |      997 |        4
1598.63/1599.12	c 1598s |      22 |  1529662 |  1500622 |     7088    466 |      997 |        4
1600.63/1601.16	c 1600s |      22 |  1530910 |  1501822 |     7088    466 |      997 |        4
1602.73/1603.20	c 1602s |      22 |  1531901 |  1502822 |     7088    466 |      997 |        4
1604.73/1605.29	c 1604s |      22 |  1533330 |  1504222 |     7088    466 |      997 |        4
1606.83/1607.39	c 1606s |      22 |  1534829 |  1505722 |     7088    467 |      997 |        4
1608.93/1609.45	c 1608s |      22 |  1536725 |  1507622 |     7088    467 |      997 |        4
1610.93/1611.47	c 1610s |      22 |  1538642 |  1509522 |     7088    468 |      997 |        4
1613.02/1613.59	c 1613s |      22 |  1540565 |  1511422 |     7088    468 |      997 |        4
1615.12/1615.62	c 1615s |      22 |  1541989 |  1512822 |     7088    469 |      997 |        4
1617.12/1617.64	c 1617s |      22 |  1543549 |  1514422 |     7088    469 |      997 |        4
1619.12/1619.66	c 1619s |      22 |  1545278 |  1516122 |     7088    469 |      997 |        4
1621.22/1621.79	c 1621s |      22 |  1546400 |  1517222 |     7088    470 |      997 |        4
1623.42/1623.91	c 1623s |      22 |  1547672 |  1518522 |     7088    470 |      997 |        4
1625.52/1626.05	c 1625s |      22 |  1549296 |  1520122 |     7088    470 |      997 |        4
1627.53/1628.06	c 1627s |      22 |  1550813 |  1521622 |     7088    471 |      997 |        4
1629.62/1630.17	c 1629s |      22 |  1552211 |  1523022 |     7088    471 |      997 |        4
1631.72/1632.22	c 1631s |      22 |  1553682 |  1524522 |     7088    471 |      997 |        4
1633.72/1634.27	c 1633s |      22 |  1555297 |  1526122 |     7088    472 |      997 |        4
1635.82/1636.39	c 1635s |      22 |  1556517 |  1527322 |     7088    472 |      997 |        4
1637.92/1638.43	c 1637s |      22 |  1558140 |  1528922 |     7088    472 |      997 |        4
1639.92/1640.46	c 1639s |      22 |  1559544 |  1530322 |     7088    473 |      997 |        4
1642.02/1642.53	c 1641s |      22 |  1560851 |  1531622 |     7088    473 |      997 |        4
1644.03/1644.59	c 1644s |      22 |  1562241 |  1533022 |     7088    473 |      997 |        4
1646.12/1646.64	c 1646s |      22 |  1563758 |  1534522 |     7088    474 |      997 |        4
1648.12/1648.69	c 1648s |      22 |  1565325 |  1536122 |     7088    474 |      997 |        4
1650.22/1650.74	c 1650s |      22 |  1566663 |  1537422 |     7088    475 |      997 |        4
1652.62/1653.18	c 1652s |      22 |  1568486 |  1539222 |     7088    475 |      997 |        4
1654.72/1655.21	c 1654s |      22 |  1569788 |  1540522 |     7088    475 |      997 |        4
1656.73/1657.23	c 1656s |      22 |  1571617 |  1542322 |     7088    476 |      997 |        4
1658.83/1659.36	c 1658s |      22 |  1573294 |  1544022 |     7088    476 |      997 |        4
1660.93/1661.43	c 1660s |      22 |  1574628 |  1545322 |     7088    476 |      997 |        4
1662.93/1663.46	c 1662s |      22 |  1576675 |  1547322 |     7088    477 |      997 |        4
1665.03/1665.52	c 1664s |      22 |  1578161 |  1548822 |     7088    477 |      997 |        4
1667.13/1667.64	c 1667s |      22 |  1580104 |  1550722 |     7088    478 |      997 |        4
1669.12/1669.67	c 1669s |      22 |  1582495 |  1553122 |     7088    478 |      997 |        4
1671.12/1671.70	c 1671s |      22 |  1585310 |  1555922 |     7088    479 |      997 |        4
1673.42/1673.94	c 1673s |      22 |  1587328 |  1557922 |     7088    480 |      997 |        4
1675.52/1676.05	c 1675s |      22 |  1589427 |  1560022 |     7088    480 |      997 |        4
1677.52/1678.07	c 1677s |      22 |  1591120 |  1561722 |     7088    480 |      997 |        4
1679.62/1680.17	c 1679s |      22 |  1592432 |  1563022 |     7088    481 |      997 |        4
1681.72/1682.26	c 1681s |      22 |  1594134 |  1564722 |     7088    481 |      997 |        4
1683.82/1684.35	c 1683s |      22 |  1595561 |  1566122 |     7088    482 |      997 |        4
1685.83/1686.37	c 1685s |      22 |  1596747 |  1567322 |     7088    482 |      997 |        4
1687.92/1688.48	c 1687s |      22 |  1598555 |  1569122 |     7088    482 |      997 |        4
1690.02/1690.53	c 1689s |      22 |  1600271 |  1570822 |     7088    483 |      997 |        4
1692.12/1692.61	c 1692s |      22 |  1601477 |  1572022 |     7088    483 |      997 |        4
1694.12/1694.66	c 1694s |      22 |  1603065 |  1573622 |     7088    483 |      997 |        4
1696.22/1696.75	c 1696s |      22 |  1604770 |  1575322 |     7088    484 |      997 |        4
1698.32/1698.80	c 1698s |      22 |  1605698 |  1576222 |     7088    484 |      997 |        4
1700.32/1700.85	c 1700s |      22 |  1607188 |  1577722 |     7088    484 |      997 |        4
1702.32/1702.87	c 1702s |      22 |  1608319 |  1578822 |     7088    485 |      997 |        4
1704.31/1704.89	c 1704s |      22 |  1609991 |  1580522 |     7088    485 |      997 |        4
1706.51/1707.03	c 1706s |      22 |  1611628 |  1582122 |     7088    485 |      997 |        4
1708.51/1709.05	c 1708s |      22 |  1612899 |  1583422 |     7088    486 |      997 |        4
1710.61/1711.15	c 1710s |      22 |  1613995 |  1584422 |     7088    486 |      997 |        4
1712.71/1713.27	c 1712s |      22 |  1615607 |  1586022 |     7088    486 |      997 |        4
1715.31/1715.80	c 1715s |      22 |  1617183 |  1587622 |     7088    487 |      997 |        4
1717.31/1717.83	c 1717s |      22 |  1618686 |  1589122 |     7088    487 |      997 |        4
1719.51/1720.00	c 1719s |      22 |  1620099 |  1590522 |     7088    488 |      997 |        4
1721.62/1722.10	c 1721s |      22 |  1621498 |  1591922 |     7088    488 |      997 |        4
1723.62/1724.11	c 1723s |      22 |  1623246 |  1593622 |     7088    488 |      997 |        4
1725.61/1726.16	c 1725s |      22 |  1624590 |  1595022 |     7088    489 |      997 |        4
1727.72/1728.27	c 1727s |      22 |  1626122 |  1596522 |     7088    489 |      997 |        4
1729.82/1730.32	c 1729s |      22 |  1627838 |  1598222 |     7088    489 |      997 |        4
1731.91/1732.42	c 1731s |      22 |  1629427 |  1599822 |     7088    490 |      997 |        4
1733.91/1734.46	c 1733s |      22 |  1630649 |  1601022 |     7088    490 |      997 |        4
1736.01/1736.51	c 1735s |      22 |  1632224 |  1602622 |     7088    490 |      997 |        4
1738.01/1738.57	c 1738s |      22 |  1633667 |  1604022 |     7088    491 |      997 |        4
1740.11/1740.64	c 1740s |      22 |  1635378 |  1605722 |     7088    491 |      997 |        4
1742.21/1742.73	c 1742s |      22 |  1636734 |  1607122 |     7088    492 |      997 |        4
1744.22/1744.75	c 1744s |      22 |  1638297 |  1608622 |     7088    492 |      997 |        4
1746.32/1746.86	c 1746s |      22 |  1639861 |  1610222 |     7088    492 |      997 |        4
1748.41/1748.92	c 1748s |      22 |  1641407 |  1611722 |     7088    493 |      997 |        4
1750.41/1750.93	c 1750s |      22 |  1643065 |  1613422 |     7088    493 |      997 |        4
1752.51/1753.06	c 1752s |      22 |  1644097 |  1614422 |     7088    493 |      997 |        4
1754.51/1755.06	c 1754s |      22 |  1645671 |  1616022 |     7088    494 |      997 |        4
1756.61/1757.19	c 1756s |      22 |  1647095 |  1617422 |     7088    494 |      997 |        4
1758.71/1759.27	c 1758s |      22 |  1648596 |  1618922 |     7088    494 |      997 |        4
1760.71/1761.27	c 1760s |      22 |  1650007 |  1620322 |     7088    495 |      997 |        4
1762.71/1763.29	c 1762s |      22 |  1651600 |  1621922 |     7088    495 |      997 |        4
1764.81/1765.31	c 1764s |      22 |  1653050 |  1623322 |     7088    496 |      997 |        4
1766.81/1767.35	c 1766s |      22 |  1654738 |  1625022 |     7088    496 |      997 |        4
1768.81/1769.38	c 1768s |      22 |  1656045 |  1626322 |     7088    496 |      997 |        4
1770.90/1771.43	c 1770s |      22 |  1657428 |  1627722 |     7088    497 |      997 |        4
1773.00/1773.51	c 1772s |      22 |  1659033 |  1629322 |     7088    497 |      997 |        4
1775.01/1775.52	c 1774s |      22 |  1660371 |  1630622 |     7088    497 |      997 |        4
1777.00/1777.55	c 1777s |      22 |  1662096 |  1632322 |     7088    498 |      997 |        4
1779.20/1779.73	c 1779s |      22 |  1663623 |  1633822 |     7088    498 |      997 |        4
1781.30/1781.84	c 1781s |      22 |  1664799 |  1635022 |     7088    498 |      997 |        4
1783.40/1783.92	c 1783s |      22 |  1666483 |  1636722 |     7088    499 |      997 |        4
1785.40/1785.99	c 1785s |      22 |  1667982 |  1638222 |     7088    499 |      997 |        4
1787.50/1788.01	c 1787s |      22 |  1669686 |  1639922 |     7088    500 |      997 |        4
1789.60/1790.12	c 1789s |      22 |  1671807 |  1642022 |     7088    500 |      997 |        4
1791.70/1792.23	c 1791s |      22 |  1673749 |  1643922 |     7088    501 |      997 |        4
1793.71/1794.25	c 1793s |      22 |  1676061 |  1646222 |     7088    501 |      997 |        4
1795.70/1796.25	c 1795s |      22 |  1678551 |  1648722 |     7088    502 |      997 |        4
1797.80/1798.38	c 1797s |      22 |  1680474 |  1650622 |     7088    502 |      997 |        4

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

pid=25477
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25480
/proc/meminfo: memFree=30708180/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 2660 0 0 0 0 0 0 0 20 0 4 0 23743691 730263552 3021 33554432000 4194304 16246674 140734122131328 140734122130752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 179055 3030 441 2943 0 175949 0
[pid=25480/tid=25481] ppid=25477 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 749137920 3091 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 753332224 3108 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743691 757526528 3125 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25480
/proc/meminfo: memFree=30708180/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 22572 0 0 0 6 3 0 0 20 0 4 0 23743691 1249447936 22870 33554432000 4194304 16246674 140734122131328 140734122130640 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 305041 22874 822 2943 0 301935 0
[pid=25480/tid=25481] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 22878 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 22881 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 22885 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200494 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25480
/proc/meminfo: memFree=30708180/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 49117 0 0 0 12 7 0 0 20 0 4 0 23743691 1249447936 49415 33554432000 4194304 16246674 140734122131328 140734122130640 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 305041 49428 835 2943 0 301935 0
[pid=25480/tid=25481] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 49436 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 49445 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 49454 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300461 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25480
/proc/meminfo: memFree=30708180/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 74802 0 0 0 19 10 0 0 20 0 4 0 23743691 1249447936 75100 33554432000 4194304 16246674 140734122131328 140734122130640 12652301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 305041 75106 835 2943 0 301935 0
[pid=25480/tid=25481] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 75109 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 75113 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 75117 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700391 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25480
/proc/meminfo: memFree=30708180/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 157759 0 0 0 48 21 0 0 20 0 4 0 23743691 1249447936 158057 33554432000 4194304 16246674 140734122131328 140734122130640 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 305041 158061 889 2943 0 301935 0
[pid=25480/tid=25481] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 158062 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 158065 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 158068 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25484
/proc/meminfo: memFree=29989968/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 198267 0 0 0 121 28 0 0 20 0 4 0 23743691 1249447936 198565 33554432000 4194304 16246674 140734122131328 140734122113216 5601737 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 305041 198566 889 2943 0 301935 0
[pid=25480/tid=25481] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 198566 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 198567 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23743691 1249447936 198567 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25484
/proc/meminfo: memFree=29780408/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1300036 CPUtime=3.08 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 266031 0 0 0 272 36 0 0 20 0 4 0 23743691 1331236864 266329 33554432000 4194304 16246674 140734122131328 140734122113216 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 325009 266329 892 2943 0 321903 0
[pid=25480/tid=25481] ppid=25477 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1331236864 266329 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1331236864 266329 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1331236864 266329 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1300036

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25484
/proc/meminfo: memFree=29635488/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 267965 0 0 0 592 37 0 0 20 0 4 0 23743691 1338576896 268263 33554432000 4194304 16246674 140734122131328 140734122113216 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 326801 268263 892 2943 0 323695 0
[pid=25480/tid=25481] ppid=25477 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1338576896 268263 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1338576896 268263 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1338576896 268263 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25487
/proc/meminfo: memFree=29635536/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 268252 0 0 0 1232 37 0 0 20 0 4 0 23743691 1339625472 268550 33554432000 4194304 16246674 140734122131328 140734122113216 5710446 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 327057 268550 896 2943 0 323951 0
[pid=25480/tid=25481] ppid=25477 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1339625472 268550 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1339625472 268550 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1339625472 268550 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25487
/proc/meminfo: memFree=29631256/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 269278 0 0 0 2512 37 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140734122113216 13775084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 328081 269576 898 2943 0 324975 0
[pid=25480/tid=25481] ppid=25477 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 25487
/proc/meminfo: memFree=29630972/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 269278 0 0 0 5071 37 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140734122113216 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 328081 269576 898 2943 0 324975 0
[pid=25480/tid=25481] ppid=25477 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1343819776 269576 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 25488
/proc/meminfo: memFree=29629660/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 269534 0 0 0 10191 37 0 0 20 0 4 0 23743691 1344868352 269832 33554432000 4194304 16246674 140734122131328 140734122113216 5712600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 328337 269832 898 2943 0 325231 0
[pid=25480/tid=25481] ppid=25477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1344868352 269832 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1344868352 269832 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1344868352 269832 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25519
/proc/meminfo: memFree=29489556/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1329732 CPUtime=1361.87 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 274017 0 0 0 136134 53 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140734122113216 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 332433 274185 899 2943 0 329327 0
[pid=25480/tid=25481] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 25521
/proc/meminfo: memFree=29488640/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1329732 CPUtime=1421.87 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 274022 0 0 0 142133 54 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140734122113216 5673972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 332433 274185 899 2943 0 329327 0
[pid=25480/tid=25481] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25522
/proc/meminfo: memFree=29488648/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1329732 CPUtime=1481.85 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 274022 0 0 0 148130 55 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140734122113216 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 332433 274185 899 2943 0 329327 0
[pid=25480/tid=25481] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25523
/proc/meminfo: memFree=29488856/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1329732 CPUtime=1541.84 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 274022 0 0 0 154129 55 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140734122113216 5823363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 332433 274185 899 2943 0 329327 0
[pid=25480/tid=25481] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 25524
/proc/meminfo: memFree=29488940/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1329732 CPUtime=1601.83 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 274022 0 0 0 160127 56 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140734122113216 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 332433 274185 899 2943 0 329327 0
[pid=25480/tid=25481] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/183 25525
/proc/meminfo: memFree=29488916/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1329732 CPUtime=1661.83 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 274022 0 0 0 166126 57 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140734122113216 5672593 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 332433 274185 899 2943 0 329327 0
[pid=25480/tid=25481] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1361645568 274185 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 25526
/proc/meminfo: memFree=29474168/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1344068 CPUtime=1721.82 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 277606 0 0 0 172123 59 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140734122113216 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 336017 277769 899 2943 0 332911 0
[pid=25480/tid=25481] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1344068

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 25577
/proc/meminfo: memFree=29583832/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1344068 CPUtime=1781.8 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 277606 0 0 0 178121 59 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140734122113216 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 336017 277769 899 2943 0 332911 0
[pid=25480/tid=25481] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1344068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 25577
/proc/meminfo: memFree=29583956/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1344068 CPUtime=1800 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 277606 0 0 0 179941 59 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140734122113216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 336017 277769 899 2943 0 332911 0
[pid=25480/tid=25481] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1344068

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 25577
/proc/meminfo: memFree=29583956/32872528 swapFree=7780/7780
[pid=25480] ppid=25477 vsize=1344068 CPUtime=1800 cores=0,2,4,6
/proc/25480/stat : 25480 (toysat) R 25477 25480 23276 0 -1 4202496 277606 0 0 0 179941 59 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140734122113216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25480/statm: 336017 277769 899 2943 0 332911 0
[pid=25480/tid=25481] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25481/stat : 25481 (toysat) S 25477 25480 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505682783472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25480/tid=25482] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25482/stat : 25482 (toysat) S 25477 25480 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505672293616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25480/tid=25483] ppid=25477 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/25480/task/25483/stat : 25483 (toysat) S 25477 25480 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23743691 1376325632 277769 33554432000 4194304 16246674 140734122131328 140505560116400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1344068

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.42
CPU system time (s): 0.596909
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1344068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.596909
maximum resident set size= 1111076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277606
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= 406
involuntary context switches= 1896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67529 second user time and 6.83796 second system time

The end

Begin job on node151 at 2016-06-18 04:29:49
IDJOB=4100729
IDBENCH=1654
IDSOLVER=2542
FILE ID=node151/4100729-1466216989
RUNJOBID= node151-1466206051-23292
PBS_JOBID= 19918135
Free space on /tmp= 71728 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-blend.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100729-1466216989/watcher-4100729-1466216989 -o /tmp/evaluation-result-4100729-1466216989/solver-4100729-1466216989 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100729-1466216989.opb

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

MD5SUM BENCH= b27b0c72b75cc4f9d136fed88900224a
RANDOM SEED=2142648054

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30708932 kB
Buffers:           92928 kB
Cached:           243160 kB
SwapCached:         1996 kB
Active:          1186060 kB
Inactive:         234360 kB
Active(anon):    1084592 kB
Inactive(anon):     1788 kB
Active(file):     101468 kB
Inactive(file):   232572 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             16376 kB
Writeback:             0 kB
AnonPages:       1091600 kB
Mapped:            11836 kB
Shmem:                 0 kB
Slab:             603904 kB
SReclaimable:      47192 kB
SUnreclaim:       556712 kB
KernelStack:        1496 kB
PageTables:         5984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1236964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-18 04:59:49