0.00/0.00	c 2016-06-15T20:56:06+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-4088847-1466016966.opb"]
0.00/0.01	c use --random-gen="1075872252 76744244 15050310 1250222510 4189494895 2307021510 3316776674 2730079258 2886186761 510434535 317788553 1174795342 2045635906 2296444099 1391652300 337676495 2709010953 1746239865 781545424 15549604 3234766771 3086406972 2641292550 2340988399 2718767438 934765041 2828570829 1527404233 2704364948 891228666 3801829439 3577350841 3574537949 2509233310 2538944439 217233248 730397587 1152564 193965199 2595764373 1503920145 1269379813 2606088279 2797959981 2932398031 3760351310 2906254422 942683555 3994433968 1727401096 862134913 3727401725 4072450511 3694074742 3841636359 4032030152 3081676008 2141359909 2042243190 1353389066 694820159 2997818698 4168110377 1506273382 2448873249 2303749589 940134218 1913000544 2347814449 2908425711 2809123046 1285455087 3602557127 3325096600 3799757826 1452105096 3681004453 3905449839 2785645388 1732429910 2009375048 277492151 1684883949 2730750855 2752184820 4047128341 2591810255 809847821 4217223020 1878754256 3869999090 1984056931 3035824445 5243132 1517339664 83808918 563961116 3807172250 3368340817 3943894821 1635795135 811979354 2000398399 1056330378 3894749076 3147887931 2659035536 1656693199 3343389011 1129933288 1259234590 4249453216 2945321529 2149270787 2108980969 3357533721 1252808574 3139512427 1182668404 3555994140 4007547761 182990813 3449946294 3674533482 2664859521 4275934418 2011393538 1423629040 765148513 354485455 1791527505 1320216606 2350773212 607847039 965893207 2551134994 2615713838 3860974214 2218949680 653277999 1835243436 2053379174 1307429058 917004752 566871190 4052546185 1079012343 3764821320 1616667712 504918253 1366162863 979584267 593161060 3874368681 3198248786 3680909722 2176241452 1887195938 906861486 860363644 2188614430 803494389 1975631823 1368217338 2650419252 1189666570 706990489 1372965263 2612649505 2545627686 2093342529 3405415411 726236596 439350400 445220535 3392572566 2311282734 594353669 1400197083 2423776535 4039805409 1961144225 2824510984 2618505105 1934464336 431180108 2826930801 2988993508 2304431715 263591757 3440890664 2980662524 3195297891 1332820163 2371574751 3464021128 4014797521 1953269191 1837925515 3641181751 754348313 2101603956 3388868956 2473661791 2071328369 1659336256 3721082538 3671989443 1505200370 1357720071 2779325957 1730724369 1260418196 1252058180 3394164730 2503917340 1892731820 1025080234 2183682528 667755201 1363713173 2110900229 2125084370 899753162 854776983 2831304992 1487735810 670990160 1937950650 3137628127 2688933367 1447064903 739013969 2694789148 180386156 1365403643 2159417391 307527978 2494227142 1566340561 3524881664 885574001 2421377911 662591126 916876964 3394409542 1713591001 2895587516 2860512946 705031604 4268620353 1180062062 582713528 697986395 2518764757 2877505232 255 362436" option to reproduce the execution
0.08/0.14	c #vars 20795
0.08/0.14	c #constraints 4160
0.18/0.28	c Solving starts ...
0.18/0.28	c ============================[ Search Statistics ]============================
0.18/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.28	c =============================================================================
0.18/0.28	c  0.0s |       0 |        0 |        0 |     8318      0 |        0 |        0
0.39/0.42	c  0.1s |       1 |     1833 |      100 |     8318      0 |        0 |        0
0.39/0.44	c  0.2s |       2 |     2304 |      250 |     9150      0 |        0 |        0
0.39/0.46	c  0.2s |       3 |     2591 |      475 |    10065      0 |        0 |        0
0.49/0.50	c  0.2s |       4 |     3051 |      813 |    11072      0 |        0 |        0
0.49/0.55	c  0.3s |       5 |     4107 |     1320 |    12180      0 |        0 |        0
0.59/0.61	c  0.3s |       6 |     5314 |     2081 |    14739      0 |        0 |        0
0.69/0.72	c  0.4s |       7 |     7231 |     3223 |    16213      0 |        0 |        0
0.93/0.96	c  0.6s |       8 |    10769 |     4936 |    17835      0 |        0 |        0
0.98/1.09	c  0.8s |       9 |    14761 |     7506 |    19619      0 |        0 |        0
1.38/1.45	c  1.2s |      10 |    20883 |    11361 |    21581      0 |        0 |        0
1.98/2.02	c  1.7s |      11 |    29345 |    17144 |    23740      0 |        0 |        0
3.09/3.11	c  2.8s |      12 |    45494 |    25819 |    26115      1 |        0 |        0
4.29/4.30	c  4.0s |      13 |    64870 |    38832 |    28727      1 |        0 |        0
6.19/6.23	c  6.0s |      14 |    94183 |    58352 |    31600      3 |        0 |        0
8.18/8.23	c  8.0s |      14 |   123356 |    77852 |    31600      4 |        0 |        0
9.28/9.37	c  9.1s |      15 |   137291 |    87632 |    34760      4 |        0 |        0
11.28/11.39	c 11.1s |      15 |   162677 |   105032 |    34760      5 |        0 |        0
13.39/13.44	c 13.2s |      15 |   173690 |   113432 |    34760      6 |        0 |        0
15.38/15.45	c 15.2s |      15 |   181216 |   119432 |    34760      6 |        0 |        0
17.38/17.46	c 17.2s |      15 |   186742 |   123832 |    34760      6 |        0 |        0
19.38/19.49	c 19.2s |      15 |   191670 |   128032 |    34760      6 |        0 |        0
21.58/21.63	c 21.4s |      15 |   192749 |   128932 |    34760      7 |        0 |        0
21.88/21.90	c 21.6s |      16 |   199969 |   131552 |    38236      7 |        0 |        0
23.89/23.90	c 23.6s |      16 |   244167 |   152952 |    38236      8 |        0 |        0
25.89/25.91	c 25.6s |      16 |   255589 |   162152 |    38236      8 |        0 |        0
27.89/27.91	c 27.6s |      16 |   277502 |   176652 |    38236      9 |        0 |        0
29.89/29.93	c 29.7s |      16 |   291169 |   187152 |    38236      9 |        0 |        0
31.89/31.94	c 31.7s |      16 |   298637 |   192952 |    38236     10 |        0 |        0
33.59/33.66	c 33.4s |      17 |   303899 |   197432 |    42060     10 |        0 |        0
35.59/35.67	c 35.4s |      17 |   313865 |   204732 |    42060     10 |        0 |        0
37.59/37.68	c 37.4s |      17 |   372342 |   222232 |    42060     11 |        0 |        0
39.59/39.68	c 39.4s |      17 |   392368 |   236832 |    42060     12 |        0 |        0
41.59/41.68	c 41.4s |      17 |   411714 |   250632 |    42060     12 |        0 |        0
43.58/43.69	c 43.4s |      17 |   439434 |   269932 |    42060     13 |        0 |        0
45.78/45.81	c 45.5s |      17 |   444000 |   271332 |    42060     13 |        0 |        0
47.78/47.81	c 47.5s |      17 |   483777 |   288832 |    42060     14 |        0 |        0
48.38/48.44	c 48.2s |      18 |   493295 |   296252 |    46267     14 |        0 |        0
50.38/50.44	c 50.2s |      18 |   539292 |   302652 |    46267     15 |        0 |        0
52.38/52.45	c 52.2s |      18 |   564114 |   320552 |    46267     15 |        0 |        0
54.37/54.45	c 54.2s |      18 |   574646 |   328952 |    46267     16 |        0 |        0
56.38/56.46	c 56.2s |      18 |   602560 |   340252 |    46267     16 |        0 |        0
58.39/58.47	c 58.2s |      18 |   637759 |   353552 |    46267     17 |        0 |        0
60.38/60.47	c 60.2s |      18 |   659710 |   369052 |    46267     17 |        0 |        0
62.38/62.47	c 62.2s |      18 |   770249 |   386852 |    46267     18 |        0 |        0
64.48/64.53	c 64.3s |      18 |   787984 |   399852 |    46267     19 |        0 |        0
66.78/66.83	c 66.6s |      18 |   832935 |   416852 |    46267     19 |        0 |        0
68.78/68.83	c 68.6s |      18 |   885892 |   432052 |    46267     20 |        0 |        0
70.18/70.23	c 70.0s |      19 |   910987 |   444482 |    50894     20 |        0 |        0
72.18/72.23	c 72.0s |      19 |   942762 |   465682 |    50894     21 |        0 |        0
74.18/74.25	c 74.0s |      19 |   969876 |   480382 |    50894     22 |        0 |        0
76.17/76.25	c 76.0s |      19 |  1049351 |   500882 |    50894     22 |        0 |        0
78.18/78.26	c 78.0s |      19 |  1071658 |   517082 |    50894     23 |        0 |        0
80.17/80.27	c 80.0s |      19 |  1087406 |   529382 |    50894     24 |        0 |        0
82.17/82.29	c 82.0s |      19 |  1098950 |   538782 |    50894     24 |        0 |        0
84.17/84.29	c 84.0s |      19 |  1146519 |   545282 |    50894     24 |        0 |        0
86.27/86.30	c 86.0s |      19 |  1239917 |   563482 |    50894     25 |        0 |        0
88.27/88.30	c 88.0s |      19 |  1269070 |   571382 |    50894     25 |        0 |        0
90.28/90.32	c 90.0s |      19 |  1294178 |   588782 |    50894     26 |        0 |        0
92.27/92.36	c 92.1s |      19 |  1358170 |   606582 |    50894     26 |        0 |        0
94.27/94.37	c 94.1s |      19 |  1478664 |   615182 |    50894     27 |        0 |        0
96.28/96.37	c 96.1s |      19 |  1516364 |   632282 |    50894     27 |        0 |        0
98.28/98.38	c 98.1s |      19 |  1535724 |   646982 |    50894     28 |        0 |        0
100.28/100.38	c  100s |      19 |  1661355 |   662582 |    55984     29 |        0 |        0
100.68/100.71	c  100s |      20 |  1672175 |   666827 |    55984     29 |        0 |        0
102.68/102.75	c  102s |      20 |  1700814 |   685527 |    55984     29 |        0 |        0
104.68/104.77	c  104s |      20 |  1713315 |   694527 |    55984     30 |        0 |        0
106.88/106.92	c  106s |      20 |  1817262 |   708727 |    55984     30 |        0 |        0
108.87/108.93	c  108s |      20 |  1898733 |   728827 |    55984     31 |        0 |        0
110.97/111.04	c  110s |      20 |  1956076 |   747327 |    55984     31 |        0 |        0
112.97/113.05	c  112s |      20 |  1984147 |   764227 |    55984     32 |        0 |        0
114.97/115.05	c  114s |      20 |  2042290 |   776927 |    55984     33 |        0 |        0
116.97/117.05	c  116s |      20 |  2070303 |   796927 |    55984     33 |        0 |        0
118.98/119.06	c  118s |      20 |  2131993 |   816627 |    55984     34 |        0 |        0
120.97/121.06	c  120s |      20 |  2158525 |   835827 |    55984     35 |        0 |        0
122.97/123.07	c  122s |      20 |  2256124 |   845727 |    55984     35 |        0 |        0
124.97/125.08	c  124s |      20 |  2278336 |   861827 |    55984     35 |        0 |        0
126.96/127.08	c  126s |      20 |  2433564 |   875027 |    55984     36 |        0 |        0
128.96/129.08	c  128s |      20 |  2483742 |   889127 |    55984     36 |        0 |        0
130.97/131.09	c  130s |      20 |  2503490 |   902727 |    55984     37 |        0 |        0
132.96/133.09	c  132s |      20 |  2516549 |   912527 |    55984     37 |        0 |        0
135.06/135.11	c  134s |      20 |  2525535 |   919327 |    55984     38 |        0 |        0
137.06/137.12	c  136s |      20 |  2533350 |   925327 |    55984     38 |        0 |        0
139.06/139.14	c  138s |      20 |  2541079 |   931027 |    55984     38 |        0 |        0
141.06/141.15	c  140s |      20 |  2547927 |   936227 |    55984     38 |        0 |        0
143.07/143.17	c  142s |      20 |  2553639 |   940627 |    55984     38 |        0 |        0
145.16/145.20	c  144s |      20 |  2558962 |   944427 |    55984     38 |        0 |        0
147.16/147.22	c  146s |      20 |  2563679 |   947927 |    55984     39 |        0 |        0
149.17/149.23	c  148s |      20 |  2569675 |   952427 |    55984     39 |        0 |        0
151.17/151.26	c  150s |      20 |  2573757 |   955127 |    55984     39 |        0 |        0
153.17/153.28	c  153s |      20 |  2581214 |   960627 |    55984     39 |        0 |        0
155.17/155.30	c  155s |      20 |  2589054 |   966327 |    55984     39 |        0 |        0
157.27/157.32	c  157s |      20 |  2596974 |   971627 |    55984     39 |        0 |        0
160.06/160.16	c  159s |      20 |  2603393 |   976227 |    55984     40 |        0 |        0
162.26/162.31	c  162s |      20 |  2608152 |   979627 |    55984     40 |        0 |        0
167.37/167.41	c  167s |      20 |  2613640 |   983627 |    55984     40 |        0 |        0
169.66/169.74	c  169s |      20 |  2620480 |   988827 |    55984     40 |        0 |        0
171.66/171.76	c  171s |      20 |  2625969 |   993027 |    55984     40 |        0 |        0
173.66/173.80	c  173s |      20 |  2630370 |   996127 |    61583     40 |        0 |        0
175.16/175.27	c  174s |      21 |  2636158 |  1000345 |    61583     40 |        0 |        0
177.16/177.27	c  176s |      21 |  2693219 |  1015045 |    61583     41 |        0 |        0
179.16/179.28	c  179s |      21 |  2724107 |  1036045 |    61583     41 |        0 |        0
181.56/181.69	c  181s |      21 |  2808991 |  1047645 |    61583     42 |        0 |        0
183.56/183.69	c  183s |      21 |  2834163 |  1066245 |    61583     42 |        0 |        0
185.76/185.81	c  185s |      21 |  2855405 |  1079445 |    61583     43 |        0 |        0
187.76/187.82	c  187s |      21 |  2966482 |  1098045 |    61583     43 |        0 |        0
189.76/189.82	c  189s |      21 |  3070205 |  1112045 |    61583     44 |        0 |        0
191.76/191.85	c  191s |      21 |  3089835 |  1126445 |    61583     44 |        0 |        0
193.77/193.85	c  193s |      21 |  3097691 |  1133345 |    61583     44 |        0 |        0
195.87/195.95	c  195s |      21 |  3104061 |  1138045 |    61583     45 |        0 |        0
197.86/197.96	c  197s |      21 |  3111090 |  1143545 |    61583     45 |        0 |        0
199.86/199.99	c  199s |      21 |  3118956 |  1149445 |    61583     45 |        0 |        0
201.96/202.03	c  201s |      21 |  3124020 |  1153345 |    61583     45 |        0 |        0
203.96/204.08	c  203s |      21 |  3129636 |  1157545 |    61583     45 |        0 |        0
206.06/206.11	c  205s |      21 |  3134916 |  1161745 |    61583     45 |        0 |        0
208.07/208.16	c  207s |      21 |  3139383 |  1165645 |    61583     45 |        0 |        0
210.17/210.21	c  209s |      21 |  3143125 |  1168445 |    61583     45 |        0 |        0
213.57/213.62	c  213s |      21 |  3151833 |  1170445 |    61583     46 |        0 |        0
215.56/215.62	c  215s |      21 |  3161437 |  1176745 |    61583     46 |        0 |        0
217.56/217.63	c  217s |      21 |  3171402 |  1184845 |    61583     46 |        0 |        0
219.56/219.65	c  219s |      21 |  3187078 |  1196245 |    61583     46 |        0 |        0
221.56/221.67	c  221s |      21 |  3195217 |  1201945 |    61583     47 |        0 |        0
223.56/223.67	c  223s |      21 |  3208737 |  1209045 |    61583     47 |        0 |        0
225.56/225.70	c  225s |      21 |  3219762 |  1217745 |    61583     47 |        0 |        0
227.65/227.71	c  227s |      21 |  3227156 |  1223545 |    61583     47 |        0 |        0
229.65/229.71	c  229s |      21 |  3233777 |  1228545 |    61583     47 |        0 |        0
231.65/231.75	c  231s |      21 |  3239086 |  1232645 |    61583     48 |        0 |        0
233.65/233.79	c  233s |      21 |  3244845 |  1236945 |    61583     48 |        0 |        0
235.75/235.83	c  235s |      21 |  3249352 |  1240345 |    61583     48 |        0 |        0
237.76/237.87	c  237s |      21 |  3253342 |  1243545 |    61583     48 |        0 |        0
239.86/239.90	c  239s |      21 |  3257304 |  1246545 |    61583     48 |        0 |        0
241.85/241.92	c  241s |      21 |  3260968 |  1249445 |    61583     48 |        0 |        0
243.85/243.93	c  243s |      21 |  3264157 |  1252045 |    61583     48 |        0 |        0
246.05/246.15	c  245s |      21 |  3267126 |  1254445 |    61583     48 |        0 |        0
248.05/248.16	c  247s |      21 |  3270963 |  1257445 |    61583     48 |        0 |        0
250.15/250.22	c  249s |      21 |  3274614 |  1260445 |    61583     48 |        0 |        0
252.15/252.22	c  251s |      21 |  3277509 |  1262845 |    61583     48 |        0 |        0
254.35/254.43	c  254s |      21 |  3278648 |  1263645 |    61583     49 |        0 |        0
257.85/257.96	c  257s |      21 |  3280087 |  1264645 |    61583     49 |        0 |        0
259.95/260.01	c  259s |      21 |  3283841 |  1267745 |    61583     49 |        0 |        0
261.96/262.05	c  261s |      21 |  3287607 |  1270845 |    61583     49 |        0 |        0
263.95/264.08	c  263s |      21 |  3291058 |  1273645 |    61583     49 |        0 |        0
266.05/266.16	c  265s |      21 |  3294587 |  1276445 |    61583     49 |        0 |        0
268.15/268.24	c  267s |      21 |  3297855 |  1278945 |    61583     49 |        0 |        0
270.15/270.25	c  269s |      21 |  3301353 |  1281745 |    61583     49 |        0 |        0
272.15/272.28	c  272s |      21 |  3308754 |  1287245 |    61583     49 |        0 |        0
274.25/274.34	c  274s |      21 |  3313395 |  1290645 |    61583     49 |        0 |        0
276.26/276.38	c  276s |      21 |  3317712 |  1293845 |    61583     49 |        0 |        0
278.35/278.46	c  278s |      21 |  3319415 |  1295045 |    61583     50 |        0 |        0
280.85/280.93	c  280s |      21 |  3327013 |  1301145 |    61583     50 |        0 |        0
282.85/282.94	c  282s |      21 |  3332567 |  1305745 |    61583     50 |        0 |        0
284.95/285.03	c  284s |      21 |  3339326 |  1310545 |    61583     50 |        0 |        0
287.44/287.54	c  287s |      21 |  3402748 |  1326745 |    61583     51 |        0 |        0
289.45/289.56	c  289s |      21 |  3450541 |  1346945 |    61583     51 |        0 |        0
291.44/291.57	c  291s |      21 |  3470188 |  1361045 |    61583     52 |        0 |        0
293.44/293.58	c  293s |      21 |  3578319 |  1373645 |    61583     52 |        0 |        0
295.95/296.03	c  295s |      21 |  3603418 |  1384745 |    61583     52 |        0 |        0
297.94/298.03	c  297s |      21 |  3667267 |  1399945 |    61583     53 |        0 |        0
299.94/300.05	c  299s |      21 |  3694202 |  1417145 |    61583     53 |        0 |        0
301.94/302.05	c  301s |      21 |  3753254 |  1433945 |    61583     54 |        0 |        0
303.94/304.07	c  303s |      21 |  3771946 |  1448145 |    61583     54 |        0 |        0
305.94/306.07	c  305s |      21 |  3790671 |  1461945 |    61583     55 |        0 |        0
307.95/308.09	c  307s |      21 |  3825342 |  1476245 |    61583     55 |        0 |        0
310.04/310.11	c  309s |      21 |  3840821 |  1487245 |    61583     56 |        0 |        0
312.04/312.12	c  311s |      21 |  3888162 |  1498745 |    67742     56 |        0 |        0
312.64/312.75	c  312s |      22 |  3905163 |  1500622 |    67742     56 |        0 |        0
314.65/314.76	c  314s |      22 |  3938455 |  1504522 |    67742     56 |        0 |        0
316.64/316.76	c  316s |      22 |  3959851 |  1519622 |    67742     56 |        0 |        0
318.74/318.83	c  318s |      22 |  3984924 |  1533622 |    67742     57 |        0 |        0
321.94/322.03	c  321s |      22 |  4012121 |  1547022 |    67742     57 |        0 |        0
323.93/324.05	c  323s |      22 |  4045465 |  1558422 |    67742     58 |        0 |        0
325.93/326.06	c  325s |      22 |  4060662 |  1567622 |    67742     58 |        0 |        0
328.34/328.46	c  328s |      22 |  4159053 |  1582122 |    67742     58 |        0 |        0
330.34/330.46	c  330s |      22 |  4182093 |  1599422 |    67742     59 |        0 |        0
332.35/332.46	c  332s |      22 |  4212436 |  1614222 |    67742     59 |        0 |        0
334.45/334.52	c  334s |      22 |  4234626 |  1624022 |    67742     60 |        0 |        0
336.44/336.54	c  336s |      22 |  4280036 |  1636422 |    67742     60 |        0 |        0
338.44/338.56	c  338s |      22 |  4290531 |  1643722 |    67742     60 |        0 |        0
340.44/340.57	c  340s |      22 |  4315998 |  1656422 |    67742     60 |        0 |        0
342.54/342.60	c  342s |      22 |  4408999 |  1666222 |    67742     61 |        0 |        0
344.54/344.61	c  344s |      22 |  4431628 |  1680622 |    67742     61 |        0 |        0
346.54/346.62	c  346s |      22 |  4453760 |  1694422 |    67742     62 |        0 |        0
348.54/348.62	c  348s |      22 |  4465313 |  1703222 |    67742     62 |        0 |        0
350.53/350.63	c  350s |      22 |  4483704 |  1717122 |    67742     62 |        0 |        0
352.53/352.63	c  352s |      22 |  4497885 |  1727322 |    67742     63 |        0 |        0
354.53/354.64	c  354s |      22 |  4511700 |  1738622 |    67742     63 |        0 |        0
356.54/356.66	c  356s |      22 |  4523798 |  1747322 |    67742     63 |        0 |        0
358.53/358.69	c  358s |      22 |  4534933 |  1755722 |    67742     63 |        0 |        0
360.63/360.79	c  360s |      22 |  4544543 |  1759922 |    67742     63 |        0 |        0
362.63/362.79	c  362s |      22 |  4588719 |  1778722 |    67742     64 |        0 |        0
364.83/364.97	c  364s |      22 |  4609793 |  1795422 |    67742     65 |        0 |        0
366.83/366.98	c  366s |      22 |  4633838 |  1809522 |    67742     65 |        0 |        0
368.83/368.99	c  368s |      22 |  4666362 |  1826522 |    67742     65 |        0 |        0
370.84/370.99	c  370s |      22 |  4712704 |  1835922 |    67742     66 |        0 |        0
372.83/373.00	c  372s |      22 |  4747123 |  1855322 |    67742     66 |        0 |        0
378.23/378.33	c  378s |      22 |  4771129 |  1863722 |    67742     67 |        0 |        0
380.23/380.38	c  380s |      22 |  4826346 |  1885822 |    67742     67 |        0 |        0
382.22/382.38	c  382s |      22 |  4882932 |  1894422 |    67742     67 |        0 |        0
384.33/384.40	c  384s |      22 |  4901090 |  1907322 |    67742     68 |        0 |        0
386.33/386.42	c  386s |      22 |  4914839 |  1916822 |    67742     68 |        0 |        0
388.34/388.42	c  388s |      22 |  4927582 |  1923122 |    67742     68 |        0 |        0
390.33/390.46	c  390s |      22 |  4941369 |  1934322 |    67742     69 |        0 |        0
392.33/392.46	c  392s |      22 |  4982252 |  1941622 |    67742     69 |        0 |        0
395.13/395.22	c  394s |      22 |  5018820 |  1953622 |    67742     69 |        0 |        0
397.13/397.30	c  397s |      22 |  5051849 |  1954122 |    67742     69 |        0 |        0
399.23/399.32	c  399s |      22 |  5081728 |  1970222 |    67742     70 |        0 |        0
401.22/401.32	c  401s |      22 |  5128342 |  1990722 |    67742     70 |        0 |        0
403.22/403.33	c  403s |      22 |  5147056 |  2004422 |    67742     71 |        0 |        0
405.22/405.33	c  405s |      22 |  5163899 |  2016522 |    67742     71 |        0 |        0
407.22/407.34	c  407s |      22 |  5261284 |  2030622 |    67742     71 |        0 |        0
409.23/409.35	c  409s |      22 |  5289208 |  2051422 |    67742     72 |        0 |        0
411.22/411.36	c  411s |      22 |  5340013 |  2057422 |    67742     72 |        0 |        0
413.73/413.81	c  413s |      22 |  5373136 |  2070722 |    67742     73 |        0 |        0
415.72/415.83	c  415s |      22 |  5387031 |  2081322 |    67742     73 |        0 |        0
417.72/417.87	c  417s |      22 |  5396229 |  2088522 |    67742     73 |        0 |        0
419.72/419.89	c  419s |      22 |  5404602 |  2095022 |    67742     73 |        0 |        0
421.82/421.93	c  421s |      22 |  5410716 |  2099322 |    67742     73 |        0 |        0
423.82/423.95	c  423s |      22 |  5422298 |  2104422 |    67742     74 |        0 |        0
426.02/426.11	c  425s |      22 |  5475992 |  2123022 |    67742     74 |        0 |        0
428.03/428.12	c  427s |      22 |  5528538 |  2137322 |    67742     74 |        0 |        0
430.02/430.12	c  429s |      22 |  5544218 |  2149522 |    67742     75 |        0 |        0
432.02/432.14	c  431s |      22 |  5556328 |  2158422 |    67742     75 |        0 |        0
434.02/434.15	c  433s |      22 |  5567945 |  2166522 |    67742     75 |        0 |        0
436.02/436.16	c  435s |      22 |  5576587 |  2173122 |    67742     76 |        0 |        0
438.01/438.18	c  437s |      22 |  5584454 |  2179522 |    67742     76 |        0 |        0
440.12/440.29	c  440s |      22 |  5590754 |  2184222 |    67742     76 |        0 |        0
442.22/442.31	c  442s |      22 |  5595504 |  2187822 |    67742     76 |        0 |        0
444.21/444.33	c  444s |      22 |  5601092 |  2192022 |    67742     76 |        0 |        0
446.21/446.36	c  446s |      22 |  5605617 |  2195522 |    67742     76 |        0 |        0
448.31/448.44	c  448s |      22 |  5610931 |  2199722 |    67742     76 |        0 |        0
450.31/450.47	c  450s |      22 |  5615666 |  2203222 |    67742     76 |        0 |        0
452.31/452.47	c  452s |      22 |  5619336 |  2206322 |    67742     76 |        0 |        0
454.81/454.99	c  454s |      22 |  5621618 |  2208122 |    67742     77 |        0 |        0
457.11/457.21	c  456s |      22 |  5622689 |  2208922 |    67742     77 |        0 |        0
459.11/459.23	c  458s |      22 |  5625542 |  2211122 |    67742     77 |        0 |        0
461.11/461.29	c  461s |      22 |  5628194 |  2213122 |    67742     77 |        0 |        0
463.21/463.33	c  463s |      22 |  5631004 |  2215322 |    67742     77 |        0 |        0
465.31/465.42	c  465s |      22 |  5634356 |  2217822 |    67742     77 |        0 |        0
467.30/467.42	c  467s |      22 |  5637963 |  2220322 |    67742     77 |        0 |        0
469.30/469.47	c  469s |      22 |  5642951 |  2224022 |    67742     77 |        0 |        0
471.70/471.88	c  471s |      22 |  5650948 |  2229722 |    67742     77 |        0 |        0
473.70/473.88	c  473s |      22 |  5682119 |  2243322 |    74517     77 |        0 |        0
474.91/475.04	c  474s |      23 |  5712305 |  2251038 |    74517     78 |        0 |        0
476.90/477.04	c  476s |      23 |  5732807 |  2266738 |    74517     78 |        0 |        0
479.20/479.34	c  479s |      23 |  5746243 |  2268638 |    74517     78 |        0 |        0
481.20/481.35	c  481s |      23 |  5846371 |  2278838 |    74517     78 |        0 |        0
483.20/483.35	c  483s |      23 |  5871294 |  2296838 |    74517     79 |        0 |        0
485.20/485.36	c  485s |      23 |  5896677 |  2311938 |    74517     79 |        0 |        0
487.30/487.46	c  487s |      23 |  5977875 |  2327638 |    74517     80 |        0 |        0
489.30/489.46	c  489s |      23 |  6012466 |  2335938 |    74517     80 |        0 |        0
491.30/491.47	c  491s |      23 |  6076343 |  2342538 |    74517     80 |        0 |        0
494.60/494.72	c  494s |      23 |  6103710 |  2358538 |    74517     80 |        0 |        0
502.19/502.31	c  502s |      23 |  6105935 |  2359938 |    74517     80 |        0 |        0
505.09/505.21	c  504s |      23 |  6124744 |  2374238 |    74517     81 |        0 |        0
507.10/507.22	c  506s |      23 |  6214740 |  2383738 |    74517     81 |        0 |        0
509.09/509.25	c  508s |      23 |  6236493 |  2400338 |    74517     81 |        0 |        0
511.09/511.25	c  510s |      23 |  6246520 |  2408038 |    74517     82 |        0 |        0
513.09/513.28	c  513s |      23 |  6257546 |  2416138 |    74517     82 |        0 |        0
515.10/515.28	c  515s |      23 |  6278105 |  2426838 |    74517     82 |        0 |        0
517.10/517.29	c  517s |      23 |  6295125 |  2440038 |    74517     83 |        0 |        0
519.09/519.29	c  519s |      23 |  6382680 |  2457038 |    74517     83 |        0 |        0
521.19/521.37	c  521s |      23 |  6418044 |  2476238 |    74517     84 |        0 |        0
523.19/523.38	c  523s |      23 |  6447121 |  2493738 |    74517     84 |        0 |        0
525.39/525.52	c  525s |      23 |  6549026 |  2511038 |    74517     84 |        0 |        0
527.59/527.73	c  527s |      23 |  6561037 |  2516238 |    74517     85 |        0 |        0
529.59/529.75	c  529s |      23 |  6577846 |  2528938 |    74517     85 |        0 |        0
531.59/531.77	c  531s |      23 |  6588879 |  2537038 |    74517     85 |        0 |        0
533.69/533.83	c  533s |      23 |  6595320 |  2542038 |    74517     85 |        0 |        0
535.69/535.86	c  535s |      23 |  6604532 |  2548838 |    74517     85 |        0 |        0
537.69/537.86	c  537s |      23 |  6618733 |  2559738 |    74517     86 |        0 |        0
539.68/539.86	c  539s |      23 |  6666573 |  2577938 |    74517     86 |        0 |        0
541.78/541.95	c  541s |      23 |  6743400 |  2589538 |    74517     86 |        0 |        0
543.78/543.96	c  543s |      23 |  6795734 |  2603938 |    74517     87 |        0 |        0
545.78/545.97	c  545s |      23 |  6812880 |  2615538 |    74517     87 |        0 |        0
547.79/547.99	c  547s |      23 |  6827730 |  2626438 |    74517     87 |        0 |        0
549.88/550.02	c  549s |      23 |  6836912 |  2634138 |    74517     88 |        0 |        0
551.88/552.02	c  551s |      23 |  6878182 |  2646138 |    74517     88 |        0 |        0
553.88/554.04	c  553s |      23 |  6892066 |  2656638 |    74517     88 |        0 |        0
555.98/556.12	c  555s |      23 |  6902558 |  2664438 |    74517     89 |        0 |        0
557.97/558.13	c  557s |      23 |  6925533 |  2677338 |    74517     89 |        0 |        0
559.98/560.14	c  559s |      23 |  6950462 |  2692638 |    74517     89 |        0 |        0
561.97/562.17	c  561s |      23 |  6972004 |  2708238 |    74517     90 |        0 |        0
564.07/564.20	c  563s |      23 |  7020471 |  2724838 |    74517     90 |        0 |        0
566.07/566.20	c  565s |      23 |  7063744 |  2737438 |    74517     90 |        0 |        0
568.07/568.22	c  567s |      23 |  7077644 |  2747638 |    74517     91 |        0 |        0
570.07/570.24	c  569s |      23 |  7087423 |  2755338 |    74517     91 |        0 |        0
572.08/572.25	c  571s |      23 |  7095450 |  2761738 |    74517     91 |        0 |        0
574.08/574.28	c  574s |      23 |  7102789 |  2767438 |    74517     91 |        0 |        0
576.18/576.33	c  576s |      23 |  7109244 |  2772038 |    74517     91 |        0 |        0
578.18/578.36	c  578s |      23 |  7114584 |  2776238 |    74517     91 |        0 |        0
580.28/580.40	c  580s |      23 |  7119595 |  2780238 |    74517     92 |        0 |        0
582.28/582.41	c  582s |      23 |  7122508 |  2782438 |    74517     92 |        0 |        0
584.28/584.43	c  584s |      23 |  7125874 |  2785238 |    74517     92 |        0 |        0
586.38/586.51	c  586s |      23 |  7129549 |  2788138 |    74517     92 |        0 |        0
588.37/588.55	c  588s |      23 |  7133023 |  2790738 |    74517     92 |        0 |        0
590.37/590.59	c  590s |      23 |  7135678 |  2792938 |    74517     92 |        0 |        0
592.47/592.66	c  592s |      23 |  7138955 |  2795738 |    74517     92 |        0 |        0
594.57/594.74	c  594s |      23 |  7143016 |  2798738 |    74517     92 |        0 |        0
596.57/596.76	c  596s |      23 |  7147131 |  2801838 |    74517     92 |        0 |        0
598.67/598.80	c  598s |      23 |  7150012 |  2804038 |    74517     92 |        0 |        0
600.68/600.82	c  600s |      23 |  7152995 |  2806538 |    74517     92 |        0 |        0
602.67/602.87	c  602s |      23 |  7156662 |  2809438 |    74517     92 |        0 |        0
604.67/604.88	c  604s |      23 |  7159959 |  2812038 |    74517     92 |        0 |        0
606.77/606.97	c  606s |      23 |  7162722 |  2814038 |    74517     92 |        0 |        0
608.87/609.06	c  608s |      23 |  7164717 |  2815638 |    74517     92 |        0 |        0
611.07/611.23	c  610s |      23 |  7167000 |  2817538 |    74517     92 |        0 |        0
614.06/614.23	c  613s |      23 |  7168028 |  2818438 |    74517     93 |        0 |        0
616.96/617.12	c  616s |      23 |  7168403 |  2818738 |    74517     93 |        0 |        0
618.96/619.16	c  618s |      23 |  7168924 |  2819138 |    74517     93 |        0 |        0
621.06/621.22	c  620s |      23 |  7171016 |  2820938 |    74517     93 |        0 |        0
623.07/623.27	c  622s |      23 |  7174228 |  2823538 |    74517     93 |        0 |        0
625.07/625.28	c  625s |      23 |  7177830 |  2826838 |    74517     93 |        0 |        0
627.17/627.37	c  627s |      23 |  7180346 |  2828838 |    74517     93 |        0 |        0
629.27/629.41	c  629s |      23 |  7182717 |  2830738 |    74517     93 |        0 |        0
631.27/631.50	c  631s |      23 |  7184911 |  2832538 |    74517     93 |        0 |        0
633.36/633.51	c  633s |      23 |  7191745 |  2837838 |    74517     93 |        0 |        0
635.36/635.56	c  635s |      23 |  7196765 |  2841738 |    74517     93 |        0 |        0
637.36/637.59	c  637s |      23 |  7202654 |  2845838 |    74517     93 |        0 |        0
639.46/639.60	c  639s |      23 |  7211802 |  2852838 |    74517     93 |        0 |        0
644.46/644.63	c  644s |      23 |  7217082 |  2856338 |    74517     94 |        0 |        0
648.66/648.83	c  648s |      23 |  7218914 |  2857838 |    74517     94 |        0 |        0
655.06/655.27	c  654s |      23 |  7219837 |  2857938 |    74517     94 |        0 |        0
657.36/657.53	c  657s |      23 |  7224841 |  2861638 |    74517     94 |        0 |        0
659.36/659.54	c  659s |      23 |  7243957 |  2875938 |    74517     94 |        0 |        0
661.75/661.91	c  661s |      23 |  7286588 |  2888238 |    74517     94 |        0 |        0
663.75/663.91	c  663s |      23 |  7309332 |  2905438 |    74517     95 |        0 |        0
665.75/665.92	c  665s |      23 |  7338958 |  2920538 |    74517     95 |        0 |        0
667.76/667.92	c  667s |      23 |  7362481 |  2936938 |    74517     96 |        0 |        0
669.75/669.94	c  669s |      23 |  7412629 |  2948538 |    74517     96 |        0 |        0
672.35/672.51	c  672s |      23 |  7476839 |  2956638 |    74517     96 |        0 |        0
674.65/674.83	c  674s |      23 |  7478821 |  2957838 |    74517     96 |        0 |        0
676.65/676.83	c  676s |      23 |  7496361 |  2970138 |    74517     97 |        0 |        0
678.66/678.84	c  678s |      23 |  7505685 |  2977338 |    74517     97 |        0 |        0
680.65/680.87	c  680s |      23 |  7517197 |  2985938 |    74517     97 |        0 |        0
682.65/682.87	c  682s |      23 |  7533606 |  2998338 |    74517     97 |        0 |        0
685.05/685.22	c  684s |      23 |  7563136 |  3010838 |    74517     98 |        0 |        0
687.04/687.23	c  686s |      23 |  7577533 |  3021738 |    74517     98 |        0 |        0
689.04/689.24	c  688s |      23 |  7586176 |  3028538 |    74517     98 |        0 |        0
691.04/691.25	c  690s |      23 |  7593798 |  3034038 |    74517     98 |        0 |        0
693.05/693.27	c  692s |      23 |  7600457 |  3039138 |    74517     98 |        0 |        0
695.04/695.28	c  695s |      23 |  7607036 |  3044238 |    74517     98 |        0 |        0
697.04/697.29	c  697s |      23 |  7612768 |  3048638 |    74517     99 |        0 |        0
699.14/699.31	c  699s |      23 |  7615278 |  3050538 |    74517     99 |        0 |        0
701.14/701.36	c  701s |      23 |  7620083 |  3054238 |    74517     99 |        0 |        0
703.24/703.41	c  703s |      23 |  7624736 |  3057638 |    74517     99 |        0 |        0
705.23/705.49	c  705s |      23 |  7628384 |  3060438 |    74517     99 |        0 |        0
707.34/707.55	c  707s |      23 |  7634477 |  3065038 |    74517     99 |        0 |        0
709.33/709.56	c  709s |      23 |  7639241 |  3068838 |    74517     99 |        0 |        0
711.33/711.56	c  711s |      23 |  7644956 |  3073338 |    74517     99 |        0 |        0
713.33/713.56	c  713s |      23 |  7649427 |  3076638 |    74517     99 |        0 |        0
715.33/715.58	c  715s |      23 |  7653703 |  3080038 |    74517     99 |        0 |        0
717.33/717.59	c  717s |      23 |  7657249 |  3082738 |    74517     99 |        0 |        0
719.63/719.83	c  719s |      23 |  7659410 |  3084238 |    74517    100 |        0 |        0
721.64/721.88	c  721s |      23 |  7660486 |  3085138 |    74517    100 |        0 |        0
725.53/725.76	c  725s |      23 |  7668947 |  3085938 |    74517    100 |        0 |        0
727.53/727.77	c  727s |      23 |  7681707 |  3093238 |    74517    100 |        0 |        0
729.53/729.77	c  729s |      23 |  7704301 |  3109038 |    74517    100 |        0 |        0
731.54/731.77	c  731s |      23 |  7728255 |  3126838 |    74517    101 |        0 |        0
733.53/733.80	c  733s |      23 |  7797466 |  3137238 |    74517    101 |        0 |        0
735.63/735.87	c  735s |      23 |  7799382 |  3138538 |    74517    101 |        0 |        0
737.63/737.87	c  737s |      23 |  7840496 |  3153838 |    74517    101 |        0 |        0
739.63/739.88	c  739s |      23 |  7861827 |  3166838 |    74517    102 |        0 |        0
741.63/741.89	c  741s |      23 |  7886589 |  3184338 |    74517    102 |        0 |        0
743.72/743.90	c  743s |      23 |  7901394 |  3196438 |    74517    103 |        0 |        0
745.73/745.91	c  745s |      23 |  7912298 |  3205238 |    74517    103 |        0 |        0
747.72/747.92	c  747s |      23 |  7920672 |  3211638 |    74517    103 |        0 |        0
749.72/749.93	c  749s |      23 |  8005029 |  3219938 |    74517    103 |        0 |        0
751.72/751.94	c  751s |      23 |  8018360 |  3230438 |    74517    103 |        0 |        0
753.72/753.94	c  753s |      23 |  8087306 |  3243338 |    74517    104 |        0 |        0
755.73/755.94	c  755s |      23 |  8107875 |  3257838 |    74517    104 |        0 |        0
757.71/757.94	c  757s |      23 |  8122365 |  3268238 |    74517    104 |        0 |        0
759.71/759.95	c  759s |      23 |  8150961 |  3280638 |    74517    105 |        0 |        0
761.72/761.95	c  761s |      23 |  8196405 |  3287438 |    74517    105 |        0 |        0
763.72/763.96	c  763s |      23 |  8215723 |  3301238 |    74517    105 |        0 |        0
765.72/765.97	c  765s |      23 |  8229281 |  3311238 |    74517    106 |        0 |        0
767.82/768.03	c  767s |      23 |  8253258 |  3319238 |    74517    106 |        0 |        0
769.82/770.04	c  769s |      23 |  8273330 |  3334738 |    74517    106 |        0 |        0
771.92/772.17	c  771s |      23 |  8357683 |  3350338 |    74517    107 |        0 |        0
773.92/774.18	c  773s |      23 |  8377849 |  3365638 |    81969    107 |        0 |        0
775.52/775.71	c  775s |      24 |  8481391 |  3376662 |    81969    107 |        0 |        0
777.91/778.10	c  777s |      24 |  8481949 |  3376762 |    81969    107 |        0 |        0
779.92/780.11	c  779s |      24 |  8511891 |  3393662 |    81969    108 |        0 |        0
781.91/782.11	c  781s |      24 |  8534493 |  3408162 |    81969    108 |        0 |        0
783.91/784.12	c  783s |      24 |  8547550 |  3416462 |    81969    108 |        0 |        0
785.91/786.12	c  785s |      24 |  8573234 |  3431362 |    81969    108 |        0 |        0
787.91/788.15	c  787s |      24 |  8589240 |  3442662 |    81969    109 |        0 |        0
790.01/790.28	c  790s |      24 |  8600191 |  3447162 |    81969    109 |        0 |        0
792.01/792.29	c  792s |      24 |  8605007 |  3447962 |    81969    109 |        0 |        0
794.01/794.30	c  794s |      24 |  8636260 |  3467262 |    81969    109 |        0 |        0
796.11/796.30	c  796s |      24 |  8675945 |  3482262 |    81969    110 |        0 |        0
798.10/798.30	c  798s |      24 |  8699979 |  3498862 |    81969    110 |        0 |        0
800.11/800.35	c  800s |      24 |  8733017 |  3513362 |    81969    110 |        0 |        0
802.11/802.37	c  802s |      24 |  8802645 |  3519962 |    81969    111 |        0 |        0
804.11/804.37	c  804s |      24 |  8843546 |  3532462 |    81969    111 |        0 |        0
806.21/806.41	c  806s |      24 |  8854862 |  3540962 |    81969    111 |        0 |        0
808.20/808.42	c  808s |      24 |  8861675 |  3546162 |    81969    111 |        0 |        0
810.20/810.45	c  810s |      24 |  8872981 |  3554762 |    81969    111 |        0 |        0
812.20/812.47	c  812s |      24 |  8880180 |  3560262 |    81969    112 |        0 |        0
814.20/814.47	c  814s |      24 |  8892397 |  3568362 |    81969    112 |        0 |        0
816.21/816.48	c  816s |      24 |  8908171 |  3579662 |    81969    112 |        0 |        0
818.20/818.48	c  818s |      24 |  8918324 |  3586962 |    81969    112 |        0 |        0
820.30/820.56	c  820s |      24 |  8940492 |  3600862 |    81969    113 |        0 |        0
822.40/822.61	c  822s |      24 |  8942676 |  3602362 |    81969    113 |        0 |        0
824.49/824.78	c  824s |      24 |  8945388 |  3604062 |    81969    113 |        0 |        0
826.59/826.80	c  826s |      24 |  8961436 |  3615962 |    81969    113 |        0 |        0
828.59/828.81	c  828s |      24 |  8982595 |  3630262 |    81969    113 |        0 |        0
830.59/830.82	c  830s |      24 |  9000755 |  3642162 |    81969    113 |        0 |        0
833.19/833.42	c  833s |      24 |  9014587 |  3651562 |    81969    114 |        0 |        0
835.19/835.43	c  835s |      24 |  9037918 |  3666562 |    81969    114 |        0 |        0
837.18/837.44	c  837s |      24 |  9055667 |  3679362 |    81969    114 |        0 |        0
839.19/839.45	c  839s |      24 |  9085824 |  3688062 |    81969    115 |        0 |        0
841.18/841.46	c  841s |      24 |  9102906 |  3699762 |    81969    115 |        0 |        0
843.18/843.48	c  843s |      24 |  9116079 |  3709162 |    81969    115 |        0 |        0
845.19/845.48	c  845s |      24 |  9129843 |  3718462 |    81969    115 |        0 |        0
847.39/847.60	c  847s |      24 |  9139016 |  3724362 |    81969    115 |        0 |        0
849.38/849.61	c  849s |      24 |  9152105 |  3732062 |    81969    116 |        0 |        0
851.39/851.61	c  851s |      24 |  9166791 |  3743462 |    81969    116 |        0 |        0
853.38/853.61	c  853s |      24 |  9177273 |  3750862 |    81969    116 |        0 |        0
855.38/855.65	c  855s |      24 |  9183851 |  3755962 |    81969    116 |        0 |        0
857.38/857.66	c  857s |      24 |  9189576 |  3759962 |    81969    116 |        0 |        0
859.38/859.69	c  859s |      24 |  9195844 |  3764462 |    81969    116 |        0 |        0
861.48/861.70	c  861s |      24 |  9201345 |  3768462 |    81969    117 |        0 |        0
863.49/863.71	c  863s |      24 |  9206742 |  3772662 |    81969    117 |        0 |        0
865.48/865.72	c  865s |      24 |  9212108 |  3776362 |    81969    117 |        0 |        0
867.48/867.72	c  867s |      24 |  9217605 |  3780162 |    81969    117 |        0 |        0
869.47/869.73	c  869s |      24 |  9222532 |  3784262 |    81969    117 |        0 |        0
871.47/871.77	c  871s |      24 |  9226320 |  3786862 |    81969    117 |        0 |        0
873.57/873.87	c  873s |      24 |  9229410 |  3789162 |    81969    117 |        0 |        0
875.67/875.90	c  875s |      24 |  9233761 |  3792262 |    81969    117 |        0 |        0
877.57/877.90	c  877s |      24 |  9244180 |  3798662 |    81969    117 |        0 |        0
879.67/879.94	c  879s |      24 |  9255647 |  3806462 |    81969    117 |        0 |        0
884.87/885.11	c  884s |      24 |  9259319 |  3809262 |    81969    118 |        0 |        0
886.87/887.16	c  886s |      24 |  9262343 |  3811462 |    81969    118 |        0 |        0
889.37/889.66	c  889s |      24 |  9293650 |  3818962 |    81969    118 |        0 |        0
891.37/891.67	c  891s |      24 |  9339732 |  3833762 |    81969    118 |        0 |        0
893.37/893.67	c  893s |      24 |  9357854 |  3846662 |    81969    118 |        0 |        0
895.37/895.68	c  895s |      24 |  9373388 |  3857462 |    81969    119 |        0 |        0
897.36/897.68	c  897s |      24 |  9384502 |  3866062 |    81969    119 |        0 |        0
899.36/899.69	c  899s |      24 |  9396507 |  3874262 |    81969    119 |        0 |        0
901.46/901.70	c  901s |      24 |  9405469 |  3881162 |    81969    119 |        0 |        0
903.46/903.71	c  903s |      24 |  9454134 |  3890062 |    81969    119 |        0 |        0
905.46/905.71	c  905s |      24 |  9491855 |  3899862 |    81969    120 |        0 |        0
907.46/907.71	c  907s |      24 |  9537734 |  3916862 |    81969    120 |        0 |        0
909.56/909.87	c  909s |      24 |  9557837 |  3932062 |    81969    120 |        0 |        0
911.95/912.21	c  911s |      24 |  9573457 |  3943362 |    81969    121 |        0 |        0
913.96/914.21	c  913s |      24 |  9586416 |  3953162 |    81969    121 |        0 |        0
915.95/916.22	c  915s |      24 |  9595453 |  3959562 |    81969    121 |        0 |        0
917.95/918.24	c  917s |      24 |  9605250 |  3967462 |    81969    121 |        0 |        0
919.95/920.25	c  919s |      24 |  9616992 |  3975962 |    81969    121 |        0 |        0
922.05/922.37	c  922s |      24 |  9623741 |  3980962 |    81969    122 |        0 |        0
924.05/924.39	c  924s |      24 |  9631566 |  3986562 |    81969    122 |        0 |        0
926.05/926.40	c  926s |      24 |  9638778 |  3991662 |    81969    122 |        0 |        0
928.15/928.42	c  928s |      24 |  9646169 |  3997262 |    81969    122 |        0 |        0
930.15/930.44	c  930s |      24 |  9653231 |  4002462 |    81969    122 |        0 |        0
932.15/932.45	c  932s |      24 |  9658683 |  4006662 |    81969    122 |        0 |        0
934.25/934.50	c  934s |      24 |  9663646 |  4010262 |    81969    122 |        0 |        0
936.35/936.68	c  936s |      24 |  9797416 |  4013462 |    81969    122 |        0 |        0
938.35/938.68	c  938s |      24 |  9906558 |  4024362 |    81969    123 |        0 |        0
940.36/940.69	c  940s |      24 |  9918580 |  4031862 |    81969    123 |        0 |        0
943.05/943.30	c  943s |      24 |  9932245 |  4040462 |    81969    123 |        0 |        0
945.35/945.63	c  945s |      24 |  9944880 |  4048262 |    81969    123 |        0 |        0
947.34/947.63	c  947s |      24 |  9959798 |  4058162 |    81969    123 |        0 |        0
949.34/949.64	c  949s |      24 |  9977491 |  4070362 |    81969    124 |        0 |        0
951.35/951.64	c  951s |      24 |  9994201 |  4082962 |    81969    124 |        0 |        0
953.34/953.65	c  953s |      24 | 10006188 |  4092062 |    81969    124 |        0 |        0
955.34/955.66	c  955s |      24 | 10020075 |  4102462 |    81969    125 |        0 |        0
957.34/957.69	c  957s |      24 | 10029639 |  4109462 |    81969    125 |        0 |        0
959.44/959.71	c  959s |      24 | 10037575 |  4115562 |    81969    125 |        0 |        0
961.44/961.74	c  961s |      24 | 10043797 |  4120762 |    81969    125 |        0 |        0
963.44/963.77	c  963s |      24 | 10050372 |  4125262 |    81969    125 |        0 |        0
965.54/965.82	c  965s |      24 | 10054055 |  4128362 |    81969    125 |        0 |        0
967.53/967.88	c  967s |      24 | 10057939 |  4131562 |    81969    125 |        0 |        0
969.63/969.94	c  969s |      24 | 10061961 |  4134762 |    81969    125 |        0 |        0
971.63/971.98	c  971s |      24 | 10065276 |  4137262 |    81969    125 |        0 |        0
973.73/974.03	c  973s |      24 | 10068815 |  4139862 |    81969    125 |        0 |        0
976.43/976.79	c  976s |      24 | 10071544 |  4141762 |    81969    126 |        0 |        0
978.53/978.81	c  978s |      24 | 10075802 |  4145162 |    81969    126 |        0 |        0
980.53/980.88	c  980s |      24 | 10079019 |  4147762 |    81969    126 |        0 |        0
982.53/982.88	c  982s |      24 | 10082774 |  4150562 |    81969    126 |        0 |        0
984.63/984.90	c  984s |      24 | 10085734 |  4152662 |    81969    126 |        0 |        0
986.53/986.90	c  986s |      24 | 10088268 |  4154662 |    81969    126 |        0 |        0
988.73/989.07	c  988s |      24 | 10090160 |  4156062 |    81969    126 |        0 |        0
990.82/991.18	c  990s |      24 | 10092703 |  4157862 |    81969    126 |        0 |        0
992.92/993.24	c  992s |      24 | 10095603 |  4159962 |    81969    126 |        0 |        0
994.92/995.26	c  994s |      24 | 10098174 |  4161862 |    81969    126 |        0 |        0
997.02/997.32	c  997s |      24 | 10101320 |  4164162 |    81969    126 |        0 |        0
999.02/999.34	c  999s |      24 | 10104016 |  4166062 |    81969    126 |        0 |        0
1001.02/1001.36	c 1001s |      24 | 10107387 |  4168862 |    81969    126 |        0 |        0
1003.13/1003.44	c 1003s |      24 | 10110287 |  4171162 |    81969    126 |        0 |        0
1005.23/1005.52	c 1005s |      24 | 10113569 |  4173962 |    81969    126 |        0 |        0
1007.31/1007.60	c 1007s |      24 | 10118795 |  4177662 |    81969    126 |        0 |        0
1009.31/1009.60	c 1009s |      24 | 10122515 |  4180562 |    81969    126 |        0 |        0
1011.31/1011.65	c 1011s |      24 | 10125464 |  4182762 |    81969    127 |        0 |        0
1013.42/1013.72	c 1013s |      24 | 10125633 |  4182862 |    81969    127 |        0 |        0
1017.42/1017.71	c 1017s |      24 | 10131759 |  4183462 |    81969    127 |        0 |        0
1019.71/1020.03	c 1019s |      24 | 10135942 |  4183562 |    81969    127 |        0 |        0
1021.91/1022.26	c 1021s |      24 | 10156392 |  4190062 |    81969    127 |        0 |        0
1023.92/1024.29	c 1024s |      24 | 10171486 |  4201162 |    81969    127 |        0 |        0
1025.91/1026.29	c 1026s |      24 | 10183010 |  4209362 |    81969    127 |        0 |        0
1028.01/1028.32	c 1028s |      24 | 10226823 |  4222762 |    81969    127 |        0 |        0
1030.11/1030.48	c 1030s |      24 | 10229816 |  4224462 |    81969    128 |        0 |        0
1033.51/1033.80	c 1033s |      24 | 10232335 |  4226162 |    81969    128 |        0 |        0
1035.71/1036.06	c 1035s |      24 | 10242122 |  4232962 |    81969    128 |        0 |        0
1037.71/1038.06	c 1037s |      24 | 10308381 |  4243362 |    81969    128 |        0 |        0
1039.81/1040.10	c 1039s |      24 | 10335023 |  4263062 |    81969    128 |        0 |        0
1041.81/1042.11	c 1041s |      24 | 10368202 |  4279262 |    81969    129 |        0 |        0
1044.31/1044.66	c 1044s |      24 | 10392185 |  4292062 |    81969    129 |        0 |        0
1046.51/1046.83	c 1046s |      24 | 10419957 |  4307962 |    81969    130 |        0 |        0
1048.50/1048.85	c 1048s |      24 | 10444913 |  4322762 |    81969    130 |        0 |        0
1050.50/1050.86	c 1050s |      24 | 10456418 |  4331662 |    81969    130 |        0 |        0
1052.51/1052.87	c 1052s |      24 | 10477193 |  4347162 |    81969    130 |        0 |        0
1055.20/1055.50	c 1055s |      24 | 10490577 |  4355962 |    81969    131 |        0 |        0
1057.20/1057.53	c 1057s |      24 | 10541774 |  4369962 |    81969    131 |        0 |        0
1059.21/1059.54	c 1059s |      24 | 10559868 |  4382562 |    81969    131 |        0 |        0
1061.20/1061.55	c 1061s |      24 | 10585358 |  4391362 |    81969    132 |        0 |        0
1063.20/1063.57	c 1063s |      24 | 10662392 |  4410362 |    81969    132 |        0 |        0
1065.30/1065.61	c 1065s |      24 | 10683780 |  4422062 |    81969    132 |        0 |        0
1067.29/1067.62	c 1067s |      24 | 10698929 |  4432962 |    81969    133 |        0 |        0
1069.30/1069.68	c 1069s |      24 | 10821659 |  4448762 |    81969    133 |        0 |        0
1071.31/1071.69	c 1071s |      24 | 10886706 |  4456662 |    81969    133 |        0 |        0
1073.70/1074.08	c 1073s |      24 | 10911249 |  4468762 |    81969    133 |        0 |        0
1075.70/1076.08	c 1075s |      24 | 10933361 |  4479562 |    81969    134 |        0 |        0
1078.59/1078.95	c 1078s |      24 | 10977656 |  4489162 |    81969    134 |        0 |        0
1080.59/1080.95	c 1080s |      24 | 11004784 |  4501362 |    81969    134 |        0 |        0
1082.59/1082.96	c 1082s |      24 | 11035513 |  4505662 |    81969    134 |        0 |        0
1084.59/1084.96	c 1084s |      24 | 11072984 |  4514862 |    81969    134 |        0 |        0
1086.59/1086.97	c 1086s |      24 | 11092495 |  4525662 |    81969    135 |        0 |        0
1088.59/1088.97	c 1088s |      24 | 11104581 |  4535162 |    81969    135 |        0 |        0
1090.59/1090.98	c 1090s |      24 | 11113281 |  4541762 |    81969    135 |        0 |        0
1092.69/1093.00	c 1092s |      24 | 11122631 |  4548262 |    81969    135 |        0 |        0
1094.69/1095.02	c 1094s |      24 | 11130400 |  4553962 |    81969    135 |        0 |        0
1096.69/1097.03	c 1096s |      24 | 11136065 |  4558062 |    81969    135 |        0 |        0
1098.69/1099.05	c 1098s |      24 | 11141257 |  4562362 |    81969    136 |        0 |        0
1100.68/1101.06	c 1100s |      24 | 11271991 |  4573962 |    81969    136 |        0 |        0
1102.69/1103.06	c 1102s |      24 | 11320796 |  4592262 |    81969    136 |        0 |        0
1104.79/1105.16	c 1104s |      24 | 11338657 |  4604962 |    81969    137 |        0 |        0
1106.79/1107.16	c 1106s |      24 | 11360086 |  4620062 |    81969    137 |        0 |        0
1108.89/1109.23	c 1108s |      24 | 11396034 |  4637962 |    81969    137 |        0 |        0
1111.09/1111.46	c 1111s |      24 | 11447445 |  4645862 |    81969    138 |        0 |        0
1113.10/1113.46	c 1113s |      24 | 11471497 |  4663762 |    81969    138 |        0 |        0
1115.09/1115.46	c 1115s |      24 | 11488380 |  4676262 |    81969    138 |        0 |        0
1117.09/1117.47	c 1117s |      24 | 11513345 |  4686862 |    81969    139 |        0 |        0
1119.09/1119.47	c 1119s |      24 | 11555803 |  4700562 |    81969    139 |        0 |        0
1121.09/1121.48	c 1121s |      24 | 11573612 |  4713862 |    81969    139 |        0 |        0
1123.28/1123.63	c 1123s |      24 | 11589095 |  4725062 |    81969    140 |        0 |        0
1125.28/1125.63	c 1125s |      24 | 11599542 |  4732662 |    81969    140 |        0 |        0
1127.98/1128.39	c 1128s |      24 | 11608889 |  4738962 |    81969    140 |        0 |        0
1130.08/1130.40	c 1130s |      24 | 11622494 |  4748762 |    81969    140 |        0 |        0
1132.08/1132.40	c 1132s |      24 | 11634302 |  4757062 |    81969    140 |        0 |        0
1134.08/1134.41	c 1134s |      24 | 11650120 |  4769662 |    81969    141 |        0 |        0
1136.09/1136.44	c 1136s |      24 | 11655718 |  4773962 |    81969    141 |        0 |        0
1138.19/1138.51	c 1138s |      24 | 11711106 |  4787562 |    81969    141 |        0 |        0
1140.19/1140.51	c 1140s |      24 | 11732628 |  4803262 |    81969    141 |        0 |        0
1142.19/1142.55	c 1142s |      24 | 11810962 |  4812662 |    81969    142 |        0 |        0
1144.69/1145.09	c 1144s |      24 | 11835200 |  4825362 |    81969    142 |        0 |        0
1146.78/1147.10	c 1146s |      24 | 11913102 |  4840862 |    81969    142 |        0 |        0
1148.78/1149.11	c 1148s |      24 | 11929906 |  4851362 |    81969    142 |        0 |        0
1150.78/1151.12	c 1150s |      24 | 11977566 |  4864762 |    81969    143 |        0 |        0
1152.98/1153.34	c 1153s |      24 | 12009475 |  4878162 |    81969    143 |        0 |        0
1154.98/1155.35	c 1155s |      24 | 12049805 |  4889062 |    81969    143 |        0 |        0
1156.99/1157.36	c 1157s |      24 | 12072283 |  4905562 |    81969    144 |        0 |        0
1158.98/1159.36	c 1159s |      24 | 12125940 |  4918762 |    81969    144 |        0 |        0
1161.08/1161.48	c 1161s |      24 | 12202201 |  4926662 |    81969    144 |        0 |        0
1163.28/1163.65	c 1163s |      24 | 12241759 |  4927962 |    81969    144 |        0 |        0
1165.27/1165.66	c 1165s |      24 | 12255018 |  4938062 |    81969    145 |        0 |        0
1167.27/1167.66	c 1167s |      24 | 12264696 |  4945462 |    81969    145 |        0 |        0
1169.27/1169.68	c 1169s |      24 | 12272465 |  4951562 |    81969    145 |        0 |        0
1171.38/1171.71	c 1171s |      24 | 12280118 |  4957462 |    81969    145 |        0 |        0
1173.37/1173.74	c 1173s |      24 | 12285860 |  4961962 |    81969    145 |        0 |        0
1175.37/1175.74	c 1175s |      24 | 12366262 |  4971262 |    81969    145 |        0 |        0
1177.57/1177.95	c 1177s |      24 | 12375909 |  4978662 |    81969    146 |        0 |        0
1179.57/1179.96	c 1179s |      24 | 12395359 |  4993562 |    81969    146 |        0 |        0
1181.57/1181.96	c 1181s |      24 | 12426587 |  5005262 |    81969    146 |        0 |        0
1183.57/1183.98	c 1183s |      24 | 12443142 |  5017762 |    81969    147 |        0 |        0
1185.58/1185.99	c 1185s |      24 | 12452740 |  5025462 |    81969    147 |        0 |        0
1187.67/1188.02	c 1187s |      24 | 12459213 |  5030662 |    90166    147 |        0 |        0
1189.67/1190.04	c 1189s |      24 | 12464529 |  5034462 |    90166    147 |        0 |        0
1191.67/1192.04	c 1191s |      24 | 12468370 |  5037362 |    90166    147 |        0 |        0
1193.68/1194.04	c 1193s |      24 | 12473052 |  5040762 |    90166    147 |        0 |        0
1195.68/1196.06	c 1195s |      24 | 12480365 |  5046162 |    90166    147 |        0 |        0
1197.79/1198.10	c 1197s |      24 | 12486204 |  5050762 |    90166    147 |        0 |        0
1199.78/1200.12	c 1199s |      24 | 12490504 |  5054462 |    90166    147 |        0 |        0
1201.78/1202.15	c 1201s |      24 | 12494018 |  5057462 |    90166    147 |        0 |        0
1203.78/1204.17	c 1203s |      24 | 12496694 |  5059662 |    90166    147 |        0 |        0
1205.78/1206.19	c 1205s |      24 | 12499737 |  5062062 |    90166    147 |        0 |        0
1207.78/1208.19	c 1207s |      24 | 12502629 |  5064562 |    90166    147 |        0 |        0
1208.38/1208.77	c 1208s |      25 | 12503272 |  5065098 |    90166    147 |        0 |        0
1210.48/1210.83	c 1210s |      25 | 12508099 |  5068698 |    90166    148 |        0 |        0
1212.47/1212.83	c 1212s |      25 | 12515760 |  5073898 |    90166    148 |        0 |        0
1214.47/1214.84	c 1214s |      25 | 12558723 |  5091098 |    90166    148 |        0 |        0
1216.48/1216.84	c 1216s |      25 | 12589294 |  5108698 |    90166    148 |        0 |        0
1218.47/1218.85	c 1218s |      25 | 12605809 |  5120998 |    90166    149 |        0 |        0
1220.47/1220.85	c 1220s |      25 | 12636475 |  5124398 |    90166    149 |        0 |        0
1225.28/1225.67	c 1225s |      25 | 12646454 |  5126798 |    90166    149 |        0 |        0
1227.27/1227.69	c 1227s |      25 | 12710913 |  5138598 |    90166    149 |        0 |        0
1229.37/1229.70	c 1229s |      25 | 12724018 |  5147598 |    90166    149 |        0 |        0
1231.37/1231.70	c 1231s |      25 | 12735507 |  5155298 |    90166    149 |        0 |        0
1233.37/1233.70	c 1233s |      25 | 12748347 |  5164398 |    90166    150 |        0 |        0
1235.37/1235.75	c 1235s |      25 | 12765545 |  5176098 |    90166    150 |        0 |        0
1237.38/1237.75	c 1237s |      25 | 12783539 |  5187798 |    90166    150 |        0 |        0
1239.48/1239.88	c 1239s |      25 | 12805284 |  5202698 |    90166    151 |        0 |        0
1241.47/1241.88	c 1241s |      25 | 12866057 |  5212198 |    90166    151 |        0 |        0
1243.47/1243.89	c 1243s |      25 | 12918873 |  5227098 |    90166    151 |        0 |        0
1249.67/1250.07	c 1249s |      25 | 12962516 |  5238198 |    90166    151 |        0 |        0
1251.77/1252.14	c 1251s |      25 | 12977332 |  5248698 |    90166    152 |        0 |        0
1257.17/1257.52	c 1257s |      25 | 12977935 |  5248998 |    90166    152 |        0 |        0
1259.16/1259.53	c 1259s |      25 | 12999413 |  5264798 |    90166    152 |        0 |        0
1261.16/1261.53	c 1261s |      25 | 13053477 |  5279498 |    90166    152 |        0 |        0
1263.37/1263.72	c 1263s |      25 | 13115908 |  5294698 |    90166    153 |        0 |        0
1265.37/1265.73	c 1265s |      25 | 13139825 |  5311998 |    90166    153 |        0 |        0
1267.37/1267.74	c 1267s |      25 | 13155452 |  5322898 |    90166    153 |        0 |        0
1269.37/1269.76	c 1269s |      25 | 13164277 |  5328998 |    90166    153 |        0 |        0
1271.37/1271.76	c 1271s |      25 | 13173879 |  5336098 |    90166    153 |        0 |        0
1273.37/1273.78	c 1273s |      25 | 13180831 |  5340798 |    90166    154 |        0 |        0
1275.47/1275.80	c 1275s |      25 | 13187074 |  5345198 |    90166    154 |        0 |        0
1277.46/1277.85	c 1277s |      25 | 13194821 |  5350698 |    90166    154 |        0 |        0
1279.56/1279.90	c 1279s |      25 | 13200199 |  5354598 |    90166    154 |        0 |        0
1281.56/1281.94	c 1281s |      25 | 13207612 |  5359298 |    90166    154 |        0 |        0
1283.57/1283.96	c 1283s |      25 | 13214093 |  5364198 |    90166    154 |        0 |        0
1285.56/1286.00	c 1285s |      25 | 13220203 |  5368698 |    90166    154 |        0 |        0
1287.66/1288.04	c 1287s |      25 | 13225872 |  5371998 |    90166    154 |        0 |        0
1289.66/1290.04	c 1289s |      25 | 13232664 |  5376298 |    90166    154 |        0 |        0
1291.66/1292.06	c 1291s |      25 | 13239535 |  5380798 |    90166    154 |        0 |        0
1293.66/1294.07	c 1293s |      25 | 13243799 |  5383598 |    90166    154 |        0 |        0
1296.86/1297.28	c 1297s |      25 | 13246865 |  5385598 |    90166    155 |        0 |        0
1298.87/1299.30	c 1299s |      25 | 13251635 |  5388698 |    90166    155 |        0 |        0
1300.96/1301.32	c 1301s |      25 | 13259980 |  5394498 |    90166    155 |        0 |        0
1302.96/1303.33	c 1303s |      25 | 13267327 |  5399498 |    90166    155 |        0 |        0
1304.96/1305.33	c 1305s |      25 | 13277298 |  5406998 |    90166    155 |        0 |        0
1306.96/1307.38	c 1307s |      25 | 13284110 |  5411998 |    90166    155 |        0 |        0
1308.96/1309.38	c 1309s |      25 | 13294155 |  5418298 |    90166    155 |        0 |        0
1311.06/1311.41	c 1311s |      25 | 13306046 |  5427098 |    90166    155 |        0 |        0
1313.35/1313.75	c 1313s |      25 | 13312916 |  5431798 |    90166    156 |        0 |        0
1315.36/1315.77	c 1315s |      25 | 13320160 |  5436798 |    90166    156 |        0 |        0
1317.35/1317.79	c 1317s |      25 | 13332069 |  5445898 |    90166    156 |        0 |        0
1319.35/1319.80	c 1319s |      25 | 13346390 |  5457398 |    90166    156 |        0 |        0
1321.45/1321.81	c 1321s |      25 | 13363697 |  5470798 |    90166    156 |        0 |        0
1323.96/1324.37	c 1324s |      25 | 13424878 |  5476398 |    90166    157 |        0 |        0
1325.96/1326.38	c 1326s |      25 | 13451064 |  5496398 |    90166    157 |        0 |        0
1329.85/1330.24	c 1329s |      25 | 13498161 |  5508998 |    90166    157 |        0 |        0
1331.86/1332.24	c 1331s |      25 | 13561495 |  5511798 |    90166    157 |        0 |        0
1333.86/1334.25	c 1333s |      25 | 13575781 |  5522798 |    90166    158 |        0 |        0
1336.15/1336.59	c 1336s |      25 | 13595261 |  5535398 |    90166    158 |        0 |        0
1338.15/1338.59	c 1338s |      25 | 13648433 |  5547798 |    90166    158 |        0 |        0
1340.15/1340.59	c 1340s |      25 | 13704093 |  5561498 |    90166    158 |        0 |        0
1342.86/1343.28	c 1343s |      25 | 13704858 |  5562098 |    90166    158 |        0 |        0
1344.85/1345.29	c 1345s |      25 | 13723170 |  5575798 |    90166    159 |        0 |        0
1346.85/1347.29	c 1347s |      25 | 13781622 |  5591898 |    90166    159 |        0 |        0
1349.15/1349.57	c 1349s |      25 | 13847626 |  5601898 |    90166    159 |        0 |        0
1351.15/1351.58	c 1351s |      25 | 13881079 |  5611198 |    90166    159 |        0 |        0
1353.15/1353.58	c 1353s |      25 | 13907971 |  5626998 |    90166    160 |        0 |        0
1355.15/1355.60	c 1355s |      25 | 13933516 |  5642698 |    90166    160 |        0 |        0
1357.16/1357.60	c 1357s |      25 | 13960664 |  5656998 |    90166    160 |        0 |        0
1359.35/1359.79	c 1359s |      25 | 14039457 |  5661198 |    90166    161 |        0 |        0
1361.45/1361.80	c 1361s |      25 | 14061451 |  5677398 |    90166    161 |        0 |        0
1363.45/1363.81	c 1363s |      25 | 14084168 |  5689398 |    90166    161 |        0 |        0
1365.45/1365.84	c 1365s |      25 | 14104380 |  5704298 |    90166    161 |        0 |        0
1367.45/1367.85	c 1367s |      25 | 14120906 |  5713698 |    90166    162 |        0 |        0
1369.45/1369.87	c 1369s |      25 | 14141150 |  5728498 |    90166    162 |        0 |        0
1371.45/1371.87	c 1371s |      25 | 14155565 |  5739398 |    90166    162 |        0 |        0
1373.65/1374.00	c 1373s |      25 | 14249951 |  5748298 |    90166    162 |        0 |        0
1375.64/1376.01	c 1375s |      25 | 14304301 |  5765598 |    90166    163 |        0 |        0
1377.84/1378.27	c 1377s |      25 | 14331799 |  5781698 |    90166    163 |        0 |        0
1379.84/1380.29	c 1380s |      25 | 14366135 |  5796398 |    90166    163 |        0 |        0
1381.95/1382.30	c 1382s |      25 | 14375970 |  5803498 |    90166    164 |        0 |        0
1383.95/1384.36	c 1384s |      25 | 14423978 |  5808898 |    90166    164 |        0 |        0
1386.75/1387.18	c 1386s |      25 | 14430471 |  5811398 |    90166    164 |        0 |        0
1388.74/1389.18	c 1388s |      25 | 14447556 |  5823598 |    90166    164 |        0 |        0
1390.84/1391.23	c 1390s |      25 | 14489393 |  5832798 |    90166    164 |        0 |        0
1392.84/1393.23	c 1392s |      25 | 14521857 |  5844698 |    90166    165 |        0 |        0
1394.84/1395.26	c 1394s |      25 | 14538480 |  5857298 |    90166    165 |        0 |        0
1396.94/1397.34	c 1397s |      25 | 14566404 |  5865298 |    90166    165 |        0 |        0
1398.95/1399.38	c 1399s |      25 | 14652608 |  5875998 |    90166    165 |        0 |        0
1401.44/1401.83	c 1401s |      25 | 14713567 |  5890398 |    90166    166 |        0 |        0
1403.44/1403.84	c 1403s |      25 | 14742833 |  5905198 |    90166    166 |        0 |        0
1405.44/1405.88	c 1405s |      25 | 14753104 |  5913098 |    90166    166 |        0 |        0
1407.54/1407.91	c 1407s |      25 | 14808773 |  5926798 |    90166    166 |        0 |        0
1409.95/1410.36	c 1410s |      25 | 14889179 |  5940198 |    90166    167 |        0 |        0
1411.94/1412.37	c 1412s |      25 | 14942814 |  5953498 |    90166    167 |        0 |        0
1413.94/1414.39	c 1414s |      25 | 14954463 |  5962098 |    90166    167 |        0 |        0
1415.94/1416.39	c 1416s |      25 | 15059608 |  5971198 |    90166    167 |        0 |        0
1418.04/1418.42	c 1418s |      25 | 15131025 |  5982298 |    90166    168 |        0 |        0
1420.04/1420.43	c 1420s |      25 | 15150181 |  5995198 |    90166    168 |        0 |        0
1422.05/1422.48	c 1422s |      25 | 15185737 |  6010898 |    90166    168 |        0 |        0
1424.04/1424.49	c 1424s |      25 | 15205992 |  6025798 |    90166    169 |        0 |        0
1426.04/1426.49	c 1426s |      25 | 15248914 |  6038098 |    90166    169 |        0 |        0
1428.14/1428.52	c 1428s |      25 | 15260199 |  6046898 |    90166    169 |        0 |        0
1430.14/1430.54	c 1430s |      25 | 15269546 |  6053698 |    90166    169 |        0 |        0
1432.14/1432.54	c 1432s |      25 | 15280181 |  6061798 |    90166    169 |        0 |        0
1434.34/1434.76	c 1434s |      25 | 15297029 |  6070798 |    90166    170 |        0 |        0
1436.34/1436.79	c 1436s |      25 | 15324959 |  6082098 |    90166    170 |        0 |        0
1438.43/1438.83	c 1438s |      25 | 15352284 |  6088898 |    90166    170 |        0 |        0
1440.43/1440.84	c 1440s |      25 | 15386576 |  6092298 |    90166    170 |        0 |        0
1442.43/1442.84	c 1442s |      25 | 15407136 |  6105598 |    90166    170 |        0 |        0
1444.63/1445.01	c 1444s |      25 | 15421680 |  6115798 |    90166    171 |        0 |        0
1446.63/1447.02	c 1446s |      25 | 15433848 |  6123798 |    90166    171 |        0 |        0
1448.63/1449.02	c 1448s |      25 | 15457905 |  6140198 |    90166    171 |        0 |        0
1450.64/1451.04	c 1450s |      25 | 15480621 |  6157298 |    90166    171 |        0 |        0
1452.63/1453.07	c 1452s |      25 | 15572136 |  6170298 |    90166    172 |        0 |        0
1454.63/1455.08	c 1454s |      25 | 15595448 |  6182798 |    90166    172 |        0 |        0
1456.63/1457.09	c 1456s |      25 | 15622684 |  6202698 |    90166    172 |        0 |        0
1458.73/1459.11	c 1458s |      25 | 15653491 |  6217498 |    90166    173 |        0 |        0
1460.74/1461.13	c 1460s |      25 | 15687084 |  6234298 |    90166    173 |        0 |        0
1462.74/1463.14	c 1462s |      25 | 15728003 |  6246798 |    90166    173 |        0 |        0
1464.73/1465.14	c 1464s |      25 | 15758625 |  6262898 |    90166    174 |        0 |        0
1466.73/1467.14	c 1466s |      25 | 15780255 |  6278198 |    90166    174 |        0 |        0
1468.73/1469.15	c 1468s |      25 | 15832063 |  6292698 |    90166    174 |        0 |        0
1470.73/1471.15	c 1470s |      25 | 15848266 |  6304698 |    90166    175 |        0 |        0
1472.74/1473.16	c 1472s |      25 | 15923960 |  6320598 |    90166    175 |        0 |        0
1474.73/1475.16	c 1474s |      25 | 15950045 |  6336498 |    90166    175 |        0 |        0
1476.93/1477.35	c 1477s |      25 | 15991508 |  6346598 |    90166    176 |        0 |        0
1478.93/1479.37	c 1479s |      25 | 16004144 |  6355498 |    90166    176 |        0 |        0
1480.93/1481.38	c 1481s |      25 | 16017633 |  6364798 |    90166    176 |        0 |        0
1483.03/1483.40	c 1483s |      25 | 16026912 |  6371398 |    90166    176 |        0 |        0
1485.03/1485.41	c 1485s |      25 | 16035090 |  6377098 |    90166    176 |        0 |        0
1487.03/1487.46	c 1487s |      25 | 16041488 |  6381698 |    90166    176 |        0 |        0
1489.33/1489.72	c 1489s |      25 | 16077365 |  6391998 |    90166    177 |        0 |        0
1491.43/1491.88	c 1491s |      25 | 16093508 |  6404398 |    90166    177 |        0 |        0
1493.42/1493.89	c 1493s |      25 | 16105587 |  6408898 |    90166    177 |        0 |        0
1495.52/1495.90	c 1495s |      25 | 16117039 |  6417098 |    90166    177 |        0 |        0
1497.52/1497.90	c 1497s |      25 | 16141277 |  6432698 |    90166    177 |        0 |        0
1499.52/1499.91	c 1499s |      25 | 16189345 |  6446998 |    90166    178 |        0 |        0
1501.52/1501.91	c 1501s |      25 | 16277990 |  6461598 |    90166    178 |        0 |        0
1504.22/1504.69	c 1504s |      25 | 16309073 |  6473998 |    90166    178 |        0 |        0
1506.23/1506.69	c 1506s |      25 | 16326694 |  6482898 |    90166    178 |        0 |        0
1508.23/1508.69	c 1508s |      25 | 16355063 |  6486198 |    90166    179 |        0 |        0
1510.33/1510.75	c 1510s |      25 | 16375326 |  6489298 |    90166    179 |        0 |        0
1512.33/1512.77	c 1512s |      25 | 16389674 |  6500098 |    90166    179 |        0 |        0
1514.33/1514.78	c 1514s |      25 | 16399944 |  6507398 |    90166    179 |        0 |        0
1516.33/1516.78	c 1516s |      25 | 16470756 |  6517798 |    90166    179 |        0 |        0
1518.33/1518.79	c 1518s |      25 | 16492027 |  6532298 |    90166    180 |        0 |        0
1520.42/1520.80	c 1520s |      25 | 16508140 |  6543598 |    90166    180 |        0 |        0
1522.42/1522.81	c 1522s |      25 | 16519305 |  6550998 |    90166    180 |        0 |        0
1524.43/1524.84	c 1524s |      25 | 16527656 |  6557298 |    90166    180 |        0 |        0
1526.42/1526.85	c 1526s |      25 | 16536597 |  6562998 |    90166    180 |        0 |        0
1528.42/1528.88	c 1528s |      25 | 16544093 |  6567998 |    90166    180 |        0 |        0
1530.42/1530.88	c 1530s |      25 | 16559642 |  6577898 |    90166    181 |        0 |        0
1532.42/1532.89	c 1532s |      25 | 16581581 |  6592298 |    90166    181 |        0 |        0
1534.52/1534.90	c 1534s |      25 | 16594842 |  6602698 |    90166    181 |        0 |        0
1536.43/1536.90	c 1536s |      25 | 16609919 |  6614398 |    90166    181 |        0 |        0
1538.52/1538.94	c 1538s |      25 | 16683059 |  6622898 |    90166    181 |        0 |        0
1540.52/1540.94	c 1540s |      25 | 16727854 |  6638198 |    90166    182 |        0 |        0
1542.52/1542.94	c 1542s |      25 | 16745243 |  6651198 |    90166    182 |        0 |        0
1544.52/1544.95	c 1544s |      25 | 16775592 |  6662698 |    90166    182 |        0 |        0
1546.52/1546.96	c 1546s |      25 | 16792439 |  6670398 |    90166    183 |        0 |        0
1548.52/1548.97	c 1548s |      25 | 16858451 |  6685698 |    90166    183 |        0 |        0
1550.52/1550.99	c 1550s |      25 | 16885351 |  6704898 |    90166    183 |        0 |        0
1552.61/1553.01	c 1552s |      25 | 16914597 |  6721598 |    90166    184 |        0 |        0
1554.61/1555.03	c 1554s |      25 | 16939628 |  6732598 |    90166    184 |        0 |        0
1556.61/1557.04	c 1556s |      25 | 16951810 |  6740898 |    90166    184 |        0 |        0
1558.61/1559.07	c 1558s |      25 | 16962702 |  6748498 |    90166    184 |        0 |        0
1560.62/1561.07	c 1560s |      25 | 16973882 |  6756698 |    90166    184 |        0 |        0
1562.61/1563.09	c 1562s |      25 | 16980657 |  6761498 |    90166    185 |        0 |        0
1564.71/1565.15	c 1564s |      25 | 16987800 |  6767498 |    90166    185 |        0 |        0
1566.71/1567.19	c 1566s |      25 | 16995044 |  6773198 |    90166    185 |        0 |        0
1569.01/1569.44	c 1569s |      25 | 17031102 |  6781698 |    90166    185 |        0 |        0
1571.01/1571.46	c 1571s |      25 | 17049689 |  6794998 |    90166    185 |        0 |        0
1573.01/1573.47	c 1573s |      25 | 17059229 |  6802298 |    90166    185 |        0 |        0
1575.02/1575.49	c 1575s |      25 | 17065688 |  6807198 |    90166    186 |        0 |        0
1577.11/1577.51	c 1577s |      25 | 17073369 |  6813198 |    90166    186 |        0 |        0
1579.11/1579.53	c 1579s |      25 | 17105470 |  6822098 |    90166    186 |        0 |        0
1581.11/1581.53	c 1581s |      25 | 17126140 |  6835398 |    90166    186 |        0 |        0
1583.11/1583.53	c 1583s |      25 | 17190270 |  6844998 |    90166    186 |        0 |        0
1585.11/1585.54	c 1585s |      25 | 17193296 |  6847298 |    90166    186 |        0 |        0
1587.41/1587.86	c 1587s |      25 | 17199237 |  6852198 |    90166    187 |        0 |        0
1589.51/1589.99	c 1589s |      25 | 17214244 |  6854998 |    90166    187 |        0 |        0
1591.61/1592.00	c 1591s |      25 | 17223540 |  6859698 |    90166    187 |        0 |        0
1593.62/1594.00	c 1593s |      25 | 17233597 |  6867698 |    90166    187 |        0 |        0
1595.61/1596.01	c 1595s |      25 | 17241542 |  6873498 |    90166    187 |        0 |        0
1597.61/1598.02	c 1597s |      25 | 17253430 |  6882698 |    90166    187 |        0 |        0
1599.61/1600.02	c 1599s |      25 | 17265154 |  6891298 |    90166    187 |        0 |        0
1601.61/1602.03	c 1601s |      25 | 17284139 |  6905598 |    90166    188 |        0 |        0
1603.61/1604.03	c 1603s |      25 | 17297044 |  6915798 |    90166    188 |        0 |        0
1605.61/1606.03	c 1605s |      25 | 17305870 |  6922798 |    90166    188 |        0 |        0
1607.61/1608.04	c 1607s |      25 | 17324890 |  6932198 |    90166    188 |        0 |        0
1609.91/1610.30	c 1610s |      25 | 17354804 |  6938798 |    90166    188 |        0 |        0
1611.91/1612.31	c 1612s |      25 | 17391280 |  6955598 |    90166    189 |        0 |        0
1613.91/1614.31	c 1614s |      25 | 17421156 |  6975098 |    90166    189 |        0 |        0
1615.90/1616.31	c 1616s |      25 | 17494478 |  6989698 |    90166    190 |        0 |        0
1617.91/1618.32	c 1618s |      25 | 17557832 |  7006698 |    90166    190 |        0 |        0
1619.91/1620.32	c 1620s |      25 | 17574043 |  7012798 |    90166    190 |        0 |        0
1621.91/1622.36	c 1622s |      25 | 17578693 |  7016098 |    90166    190 |        0 |        0
1624.01/1624.49	c 1624s |      25 | 17591998 |  7023198 |    90166    190 |        0 |        0
1627.41/1627.86	c 1627s |      25 | 17607926 |  7035598 |    90166    191 |        0 |        0
1629.40/1629.88	c 1629s |      25 | 17623359 |  7046898 |    90166    191 |        0 |        0
1631.50/1631.90	c 1631s |      25 | 17633481 |  7054898 |    90166    191 |        0 |        0
1633.50/1633.92	c 1633s |      25 | 17642626 |  7061698 |    90166    191 |        0 |        0
1635.51/1635.94	c 1635s |      25 | 17649792 |  7067098 |    90166    191 |        0 |        0
1637.50/1637.99	c 1637s |      25 | 17657829 |  7072998 |    90166    191 |        0 |        0
1639.60/1640.01	c 1639s |      25 | 17663005 |  7077198 |    90166    191 |        0 |        0
1641.60/1642.04	c 1641s |      25 | 17669910 |  7082598 |    90166    192 |        0 |        0
1643.60/1644.05	c 1643s |      25 | 17732073 |  7096298 |    90166    192 |        0 |        0
1645.70/1646.17	c 1645s |      25 | 17747872 |  7101598 |    90166    192 |        0 |        0
1647.80/1648.24	c 1647s |      25 | 17769520 |  7115598 |    90166    192 |        0 |        0
1649.81/1650.24	c 1649s |      25 | 17783512 |  7125898 |    90166    193 |        0 |        0
1651.80/1652.24	c 1651s |      25 | 17806419 |  7136098 |    90166    193 |        0 |        0
1653.80/1654.28	c 1654s |      25 | 17818771 |  7144598 |    90166    193 |        0 |        0
1655.80/1656.28	c 1656s |      25 | 17834299 |  7155798 |    90166    193 |        0 |        0
1657.79/1658.29	c 1658s |      25 | 17846908 |  7165698 |    90166    193 |        0 |        0
1660.19/1660.68	c 1660s |      25 | 17864075 |  7172698 |    90166    194 |        0 |        0
1662.19/1662.69	c 1662s |      25 | 17932508 |  7187698 |    90166    194 |        0 |        0
1664.29/1664.70	c 1664s |      25 | 17947565 |  7198298 |    90166    194 |        0 |        0
1666.30/1666.71	c 1666s |      25 | 17962253 |  7207798 |    90166    194 |        0 |        0
1668.29/1668.74	c 1668s |      25 | 17974130 |  7216098 |    90166    195 |        0 |        0
1670.29/1670.74	c 1670s |      25 | 17987126 |  7225798 |    90166    195 |        0 |        0
1672.29/1672.76	c 1672s |      25 | 17994978 |  7231098 |    90166    195 |        0 |        0
1674.29/1674.79	c 1674s |      25 | 18001823 |  7236098 |    90166    195 |        0 |        0
1676.39/1676.82	c 1676s |      25 | 18008084 |  7240598 |    90166    195 |        0 |        0
1678.40/1678.88	c 1678s |      25 | 18013199 |  7244098 |    90166    195 |        0 |        0
1680.39/1680.89	c 1680s |      25 | 18017299 |  7247198 |    90166    195 |        0 |        0
1682.49/1682.91	c 1682s |      25 | 18021169 |  7250098 |    90166    195 |        0 |        0
1684.49/1685.00	c 1684s |      25 | 18025213 |  7253198 |    90166    195 |        0 |        0
1686.60/1687.01	c 1686s |      25 | 18028052 |  7255398 |    90166    195 |        0 |        0
1688.60/1689.05	c 1688s |      25 | 18031240 |  7257798 |    90166    195 |        0 |        0
1690.60/1691.05	c 1690s |      25 | 18033910 |  7259798 |    90166    195 |        0 |        0
1692.80/1693.28	c 1692s |      25 | 18035624 |  7260998 |    90166    196 |        0 |        0
1694.80/1695.29	c 1695s |      25 | 18037433 |  7262398 |    90166    196 |        0 |        0
1696.90/1697.33	c 1697s |      25 | 18039354 |  7263798 |    90166    196 |        0 |        0
1698.90/1699.38	c 1699s |      25 | 18043362 |  7266898 |    90166    196 |        0 |        0
1700.90/1701.38	c 1701s |      25 | 18047096 |  7269498 |    90166    196 |        0 |        0
1702.99/1703.40	c 1703s |      25 | 18050192 |  7271898 |    90166    196 |        0 |        0
1704.99/1705.46	c 1705s |      25 | 18052624 |  7273598 |    90166    196 |        0 |        0
1707.00/1707.47	c 1707s |      25 | 18055411 |  7275798 |    90166    196 |        0 |        0
1709.10/1709.60	c 1709s |      25 | 18058060 |  7277798 |    90166    196 |        0 |        0
1711.19/1711.66	c 1711s |      25 | 18061050 |  7279898 |    90166    196 |        0 |        0
1713.29/1713.72	c 1713s |      25 | 18063608 |  7281898 |    90166    196 |        0 |        0
1715.29/1715.74	c 1715s |      25 | 18065815 |  7283698 |    90166    196 |        0 |        0
1717.39/1717.80	c 1717s |      25 | 18068552 |  7285698 |    90166    196 |        0 |        0
1719.39/1719.86	c 1719s |      25 | 18070582 |  7287198 |    90166    196 |        0 |        0
1721.49/1722.00	c 1721s |      25 | 18072541 |  7288798 |    90166    196 |        0 |        0
1723.69/1724.10	c 1723s |      25 | 18074832 |  7290798 |    90166    196 |        0 |        0
1725.70/1726.12	c 1725s |      25 | 18076880 |  7292598 |    90166    196 |        0 |        0
1727.69/1728.15	c 1727s |      25 | 18079056 |  7294398 |    90166    196 |        0 |        0
1729.89/1730.30	c 1730s |      25 | 18081099 |  7295998 |    90166    196 |        0 |        0
1731.89/1732.32	c 1732s |      25 | 18082095 |  7296798 |    90166    196 |        0 |        0
1733.89/1734.35	c 1734s |      25 | 18083579 |  7297998 |    90166    196 |        0 |        0
1736.09/1736.54	c 1736s |      25 | 18085168 |  7299198 |    90166    196 |        0 |        0
1738.09/1738.58	c 1738s |      25 | 18087657 |  7300898 |    90166    196 |        0 |        0
1740.09/1740.59	c 1740s |      25 | 18089626 |  7302398 |    90166    196 |        0 |        0
1742.29/1742.71	c 1742s |      25 | 18093526 |  7304998 |    90166    196 |        0 |        0
1746.38/1746.82	c 1746s |      25 | 18094769 |  7305998 |    90166    197 |        0 |        0
1748.99/1749.41	c 1749s |      25 | 18095066 |  7306198 |    90166    197 |        0 |        0
1751.39/1751.86	c 1751s |      25 | 18095903 |  7306898 |    90166    197 |        0 |        0
1754.98/1755.47	c 1755s |      25 | 18096014 |  7306998 |    90166    197 |        0 |        0
1756.99/1757.47	c 1757s |      25 | 18097870 |  7308398 |    90166    197 |        0 |        0
1758.99/1759.47	c 1759s |      25 | 18102502 |  7312198 |    90166    197 |        0 |        0
1760.99/1761.48	c 1761s |      25 | 18106958 |  7315798 |    90166    197 |        0 |        0
1763.09/1763.54	c 1763s |      25 | 18110089 |  7318098 |    90166    197 |        0 |        0
1765.08/1765.56	c 1765s |      25 | 18114854 |  7321698 |    90166    197 |        0 |        0
1767.08/1767.57	c 1767s |      25 | 18119952 |  7325798 |    90166    197 |        0 |        0
1769.08/1769.59	c 1769s |      25 | 18124149 |  7328998 |    90166    197 |        0 |        0
1771.18/1771.69	c 1771s |      25 | 18127361 |  7331398 |    90166    197 |        0 |        0
1773.28/1773.76	c 1773s |      25 | 18131350 |  7334598 |    90166    197 |        0 |        0
1775.28/1775.77	c 1775s |      25 | 18134717 |  7337398 |    90166    197 |        0 |        0
1777.29/1777.80	c 1777s |      25 | 18139973 |  7341098 |    90166    197 |        0 |        0
1779.49/1779.94	c 1779s |      25 | 18146464 |  7346198 |    90166    197 |        0 |        0
1781.58/1782.09	c 1781s |      25 | 18148707 |  7347998 |    90166    197 |        0 |        0
1783.68/1784.13	c 1783s |      25 | 18151889 |  7350598 |    90166    197 |        0 |        0
1788.88/1789.37	c 1789s |      25 | 18153987 |  7352398 |    90166    198 |        0 |        0
1794.77/1795.22	c 1794s |      25 | 18156032 |  7353698 |    90166    198 |        0 |        0
1796.77/1797.26	c 1796s |      25 | 18160803 |  7357698 |    90166    198 |        0 |        0
1798.87/1799.35	c 1799s |      25 | 18165149 |  7361098 |    90166    198 |        0 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.18 2.11 3/179 7006
/proc/meminfo: memFree=30296768/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 2551 0 0 0 0 0 0 0 20 0 4 0 3742038 701952000 2912 33554432000 4194304 16246674 140733638312064 140733638311488 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 172143 2921 441 2943 0 169037 0
[pid=7006/tid=7007] ppid=7003 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 719777792 2980 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 725020672 2998 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 729214976 3014 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.22 2.18 2.11 3/179 7006
/proc/meminfo: memFree=30296768/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 28536 0 0 0 5 3 0 0 20 0 4 0 3742038 1333334016 28836 33554432000 4194304 16246674 140733638312064 140733638311376 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 325521 28850 801 2943 0 322415 0
[pid=7006/tid=7007] ppid=7003 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1333334016 28862 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1333334016 28873 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1333334016 28884 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200535 s]
/proc/loadavg: 2.22 2.18 2.11 3/179 7006
/proc/meminfo: memFree=30296768/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1310276 CPUtime=0.18 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 47089 0 0 0 13 5 0 0 20 0 4 0 3742038 1341722624 47388 33554432000 4194304 16246674 140733638312064 140733638311376 5913644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 327569 47388 832 2943 0 324463 0
[pid=7006/tid=7007] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 47388 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 47388 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 47388 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300516 s]
/proc/loadavg: 2.22 2.18 2.11 3/179 7006
/proc/meminfo: memFree=30296768/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1310276 CPUtime=0.29 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 50122 0 0 0 23 6 0 0 20 0 4 0 3742038 1341722624 50421 33554432000 4194304 16246674 140733638312064 140733638311376 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 327569 50425 854 2943 0 324463 0
[pid=7006/tid=7007] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 50428 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 50432 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 50435 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700397 s]
/proc/loadavg: 2.22 2.18 2.11 3/179 7006
/proc/meminfo: memFree=30296768/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1310276 CPUtime=0.69 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 102823 0 0 0 57 12 0 0 20 0 4 0 3742038 1341722624 103123 33554432000 4194304 16246674 140733638312064 140733638293952 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 327569 103132 870 2943 0 324463 0
[pid=7006/tid=7007] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 103138 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 103144 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 103150 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1310276

[startup+1.50043 s]
/proc/loadavg: 2.22 2.18 2.11 3/183 7010
/proc/meminfo: memFree=29539048/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1310276 CPUtime=1.49 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 245104 0 0 0 118 31 0 0 20 0 4 0 3742038 1341722624 245403 33554432000 4194304 16246674 140733638312064 140733638295064 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 327569 245413 870 2943 0 324463 0
[pid=7006/tid=7007] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 245417 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 245423 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1341722624 245429 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.10041 s]
/proc/loadavg: 2.20 2.18 2.10 3/183 7010
/proc/meminfo: memFree=29199644/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1332804 CPUtime=3.09 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 274380 0 0 0 274 35 0 0 20 0 4 0 3742038 1364791296 274679 33554432000 4194304 16246674 140733638312064 140733638295064 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 333201 274679 882 2943 0 330095 0
[pid=7006/tid=7007] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274679 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274679 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274679 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1332804

[startup+6.30039 s]
/proc/loadavg: 2.20 2.18 2.10 3/182 7010
/proc/meminfo: memFree=29199548/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1332804 CPUtime=6.29 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 274381 0 0 0 594 35 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140733638295064 5546260 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 333201 274680 883 2943 0 330095 0
[pid=7006/tid=7007] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1332804

[startup+12.7004 s]
/proc/loadavg: 2.17 2.17 2.10 3/183 7011
/proc/meminfo: memFree=29199320/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1332804 CPUtime=12.68 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 274381 0 0 0 1233 35 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140733638295064 13191438 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 333201 274680 883 2943 0 330095 0
[pid=7006/tid=7007] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1364791296 274680 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1332804

[startup+25.5074 s]
/proc/loadavg: 2.14 2.16 2.10 3/183 7011
/proc/meminfo: memFree=29187660/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1345092 CPUtime=25.5 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 277453 0 0 0 2513 37 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140733638293952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 336273 277752 883 2943 0 333167 0
[pid=7006/tid=7007] ppid=7003 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1345092

[startup+51.1004 s]
/proc/loadavg: 2.09 2.15 2.10 3/183 7011
/proc/meminfo: memFree=29187660/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1345092 CPUtime=51.08 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 277453 0 0 0 5071 37 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140733638309888 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 336273 277752 883 2943 0 333167 0
[pid=7006/tid=7007] ppid=7003 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1377374208 277752 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1345092

[startup+102.3 s]
/proc/loadavg: 2.08 2.14 2.09 3/183 7012
/proc/meminfo: memFree=29177412/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1355332 CPUtime=102.28 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 280014 0 0 0 10188 40 0 0 20 0 4 0 3742038 1387859968 280313 33554432000 4194304 16246674 140733638312064 140733638295064 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 338833 280313 884 2943 0 335727 0
[pid=7006/tid=7007] ppid=7003 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1387859968 280313 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1387859968 280313 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1387859968 280313 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1355332


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

/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1439240192 293115 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1405508

[startup+1302.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 7163
/proc/meminfo: memFree=29273008/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1405508 CPUtime=1301.96 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 292795 0 0 0 130125 71 0 0 20 0 4 0 3742038 1439240192 293115 33554432000 4194304 16246674 140733638312064 140733638293952 5823709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 351377 293115 885 2943 0 348271 0
[pid=7006/tid=7007] ppid=7003 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1439240192 293115 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1439240192 293115 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1405508 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1439240192 293115 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1405508

[startup+1362.3 s]
/proc/loadavg: 2.04 2.11 2.09 3/183 7164
/proc/meminfo: memFree=29254668/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1361.95 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 136121 74 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638295064 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1423940

[startup+1422.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 7165
/proc/meminfo: memFree=29253304/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1421.94 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 142118 76 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638293952 5808376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1423940

[startup+1482.3 s]
/proc/loadavg: 2.26 2.15 2.10 3/184 7169
/proc/meminfo: memFree=29253088/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1481.93 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 148116 77 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638293952 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1423940

[startup+1542.3 s]
/proc/loadavg: 2.17 2.14 2.10 3/183 7171
/proc/meminfo: memFree=29253116/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1541.93 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 154115 78 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638309888 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1423940

[startup+1602.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/183 7172
/proc/meminfo: memFree=29252376/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1601.91 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 160112 79 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638295064 5823086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1423940

[startup+1662.31 s]
/proc/loadavg: 2.05 2.10 2.08 3/183 7173
/proc/meminfo: memFree=29248288/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1661.9 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 166110 80 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638295064 6842613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1423940

[startup+1722.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 7174
/proc/meminfo: memFree=29247304/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1721.89 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 172108 81 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638293952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1423940

[startup+1782.3 s]
/proc/loadavg: 2.19 2.13 2.09 3/183 7175
/proc/meminfo: memFree=29247448/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1781.88 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 178105 83 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638293952 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1423940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 7175
/proc/meminfo: memFree=29247452/32872528 swapFree=496356/529060
[pid=7006] ppid=7003 vsize=1423940 CPUtime=1800.07 cores=1,3,5,7
/proc/7006/stat : 7006 (toysat) R 7003 7006 5955 0 -1 4202496 297403 0 0 0 179924 83 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140733638293952 5523722 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7006/statm: 355985 297723 885 2943 0 352879 0
[pid=7006/tid=7007] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7007/stat : 7007 (toysat) S 7003 7006 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619239369968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7006/tid=7008] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7008/stat : 7008 (toysat) S 7003 7006 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619228880112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7006/tid=7009] ppid=7003 vsize=1423940 CPUtime=0 cores=1,3,5,7
/proc/7006/task/7009/stat : 7009 (toysat) S 7003 7006 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3742038 1458114560 297723 33554432000 4194304 16246674 140733638312064 140619108314288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1423940

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.26
CPU system time (s): 0.843871
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 1423940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.843871
maximum resident set size= 1190892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297403
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= 906
involuntary context switches= 1812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.36573 second user time and 9.73452 second system time

The end

Begin job on node141 at 2016-06-15 20:56:06
IDJOB=4088847
IDBENCH=107322
IDSOLVER=2542
FILE ID=node141/4088847-1466016966
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity5houseP064.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088847-1466016966/watcher-4088847-1466016966 -o /tmp/evaluation-result-4088847-1466016966/solver-4088847-1466016966 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088847-1466016966.opb

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

MD5SUM BENCH= f9a8328240c2fa06bb8596fb12243504
RANDOM SEED=1618129540

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30297940 kB
Buffers:           15976 kB
Cached:            74124 kB
SwapCached:        13072 kB
Active:          1304204 kB
Inactive:          41012 kB
Active(anon):    1245336 kB
Inactive(anon):    12008 kB
Active(file):      58868 kB
Inactive(file):    29004 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16728 kB
Writeback:             0 kB
AnonPages:       1873924 kB
Mapped:            10756 kB
Shmem:                 0 kB
Slab:             566176 kB
SReclaimable:      10152 kB
SUnreclaim:       556024 kB
KernelStack:        1520 kB
PageTables:         7540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1913672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1261568 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 node141 at 2016-06-15 21:26:07