0.00/0.00	c 2016-06-16T03:05:32+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-4090247-1466039131.opb"]
0.00/0.01	c use --random-gen="2547021357 1243474111 977300749 2457565117 1579413272 4050562998 1588750195 1700416848 1125368374 417090858 785748329 1932979415 4057044023 2132307719 501130868 343772949 3259447578 3049482667 2123392318 1311767608 2813070665 3190084404 3489610060 1383882916 2186738036 3996003304 570654664 1719600526 916168770 2042426829 547241594 3823861822 2172222386 2630654833 4169093677 487560274 2005448033 1060385410 2578359669 1746629432 657414581 2116954154 27471053 3258241358 652423063 837171803 3640529364 3050099542 886491932 980506652 3429549933 1970236159 2404534170 3618248104 2926698393 2464157232 2616574887 3951549309 3836883725 745829352 445335815 3035409109 2133464971 1334839319 411998336 4266474889 1335232145 807814625 3818998983 1062941529 1036174716 1984800479 111549788 3474955304 1015760571 2778459172 3921442234 550717520 2111619430 3366949623 2171635083 340436164 2623021940 4149127198 1349603269 1062229058 3645490669 3506106864 3983911240 3295668693 2610952421 1592538815 2771993605 4193647880 2193584066 1819964308 3470321871 4157818603 2806566571 2272781263 724367563 517182012 2148671497 3090251953 3823434090 225524395 2767182959 3712277241 3280286344 3476846914 1564235872 2091690280 3487012650 4231647977 3844052675 3202307602 2906498928 3514480800 1634965862 1501156455 2545933351 2184414894 4189837736 822047819 289819780 850003296 4066628726 2417577545 661019594 474653166 539046828 2034606715 3702483611 3272049257 4178909987 743906644 644755320 3409043998 4166324578 4210451279 846560670 3383851329 2958458752 1127975645 4169561184 2972313704 2279838798 2632643342 277231520 1176904121 3646205552 2316472794 3950198298 3351600027 1900234131 3387788386 1876958529 3044358782 2023411767 32547006 505529946 869971048 2986550357 201550070 2022223387 758465052 1259140196 1711810435 3601933742 3067957299 492464598 1687660830 2660746393 3186617649 3888213247 2734080534 2603281421 3552655819 3038916439 945039722 139077824 1806800334 1025581391 3874453216 2254184431 3390118986 273945517 135922525 2116421849 1822121326 858266942 2891849510 39502624 317529768 3958976633 691006614 586753324 351132759 3604233525 3041896882 2623882020 2068927747 3146587940 2224868027 1507485266 2534058138 3057466984 3708369482 3312552128 3550911044 1728444510 1842249154 609464373 2854158874 3026586631 4285841949 1997714905 3702071417 2254465300 1367594759 2999935969 830007116 3099496063 2865890159 4059921827 2727657067 340309277 986109351 4081227661 2932275023 3506913517 2544462051 1488930357 1090306504 4160794990 1137845326 723551461 2048578121 3660522362 580364748 582119303 1130883992 1979408088 255306873 3922367998 2765567608 1478902775 4246816768 4260775341 2863738235 3405311078 3919902941 2608014296 3709918868 579937375 3419942331 255 362436" option to reproduce the execution
0.00/0.05	c #vars 2484
0.00/0.05	c #constraints 5292
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2868      0 |        0 |        0
0.09/0.18	c  0.1s |       1 |     5367 |      100 |     2868      0 |        0 |        0
0.39/0.40	c  0.3s |       2 |    19756 |      250 |     3155      0 |        0 |        0
0.69/0.78	c  0.7s |       3 |    38415 |      475 |     3471      0 |        0 |        0
1.10/1.18	c  1.1s |       4 |    45734 |      813 |     3819      0 |        0 |        0
1.59/1.63	c  1.5s |       5 |    56712 |     1320 |     4201      0 |        0 |        0
2.20/2.26	c  2.2s |       6 |    84184 |     2081 |     5085      0 |        0 |        0
3.08/3.17	c  3.1s |       7 |    92882 |     3223 |     5594      0 |        0 |        0
4.69/4.76	c  4.6s |       8 |    98809 |     4936 |     6154      0 |        0 |        0
6.78/6.80	c  6.7s |       8 |   103745 |     6736 |     6154      1 |        0 |        0
7.58/7.67	c  7.6s |       9 |   105617 |     7506 |     6770      1 |        0 |        0
9.58/9.68	c  9.6s |       9 |   111759 |     9106 |     6770      1 |        0 |        0
11.68/11.73	c 11.6s |       9 |   115413 |    10706 |     6770      2 |        0 |        0
12.38/12.43	c 12.3s |      10 |   117423 |    11361 |     7448      2 |        0 |        0
14.39/14.49	c 14.4s |      10 |   122231 |    13461 |     7448      2 |        0 |        0
16.49/16.54	c 16.4s |      10 |   125322 |    15361 |     7448      3 |        0 |        0
18.38/18.45	c 18.3s |      11 |   129063 |    17144 |     8193      3 |        0 |        0
20.48/20.56	c 20.5s |      11 |   137490 |    18844 |     8193      3 |        0 |        0
22.58/22.65	c 22.5s |      11 |   139493 |    20344 |     8193      4 |        0 |        0
24.68/24.73	c 24.6s |      11 |   141749 |    21944 |     8193      4 |        0 |        0
26.88/26.90	c 26.8s |      11 |   143899 |    23644 |     8193      5 |        0 |        0
28.88/28.98	c 28.9s |      11 |   156090 |    25544 |     8193      5 |        0 |        0
29.18/29.28	c 29.2s |      12 |   156582 |    25819 |     9013      5 |        0 |        0
31.28/31.30	c 31.2s |      12 |   164133 |    27719 |     9013      5 |        0 |        0
33.28/33.34	c 33.2s |      12 |   167308 |    29919 |     9013      6 |        0 |        0
35.38/35.42	c 35.3s |      12 |   169719 |    32019 |     9013      6 |        0 |        0
37.49/37.51	c 37.4s |      12 |   172007 |    34019 |     9013      7 |        0 |        0
39.49/39.55	c 39.4s |      12 |   174814 |    36019 |     9013      7 |        0 |        0
41.59/41.66	c 41.5s |      12 |   177601 |    37819 |     9013      7 |        0 |        0
42.79/42.83	c 42.7s |      13 |   178719 |    38832 |     9915      8 |        0 |        0
44.78/44.87	c 44.8s |      13 |   203711 |    40432 |     9915      8 |        0 |        0
46.88/46.92	c 46.8s |      13 |   207591 |    41732 |     9915      8 |        0 |        0
48.88/48.92	c 48.8s |      13 |   209671 |    42832 |     9915      8 |        0 |        0
50.98/51.03	c 50.9s |      13 |   211840 |    44032 |     9915      9 |        0 |        0
53.08/53.10	c 53.0s |      13 |   213412 |    45332 |     9915      9 |        0 |        0
55.09/55.11	c 55.0s |      13 |   233032 |    46932 |     9915      9 |        0 |        0
57.08/57.18	c 57.1s |      13 |   237894 |    48332 |     9915      9 |        0 |        0
59.18/59.20	c 59.1s |      13 |   243270 |    49832 |     9915     10 |        0 |        0
61.28/61.36	c 61.3s |      13 |   245226 |    51232 |     9915     10 |        0 |        0
63.28/63.37	c 63.3s |      13 |   247640 |    52432 |     9915     10 |        0 |        0
65.58/65.61	c 65.5s |      13 |   249743 |    53832 |     9915     11 |        0 |        0
67.68/67.73	c 67.6s |      13 |   255220 |    55432 |     9915     11 |        0 |        0
69.78/69.82	c 69.7s |      13 |   257793 |    56932 |     9915     11 |        0 |        0
71.78/71.83	c 71.7s |      13 |   260730 |    58232 |    10907     11 |        0 |        0
71.88/71.98	c 71.9s |      14 |   260882 |    58352 |    10907     11 |        0 |        0
73.88/73.98	c 73.9s |      14 |   268160 |    59652 |    10907     11 |        0 |        0
75.99/76.06	c 76.0s |      14 |   272506 |    61152 |    10907     12 |        0 |        0
78.08/78.10	c 78.0s |      14 |   274860 |    62352 |    10907     12 |        0 |        0
80.08/80.20	c 80.1s |      14 |   276798 |    63652 |    10907     12 |        0 |        0
82.18/82.21	c 82.1s |      14 |   279159 |    65052 |    10907     12 |        0 |        0
84.28/84.30	c 84.2s |      14 |   282177 |    66652 |    10907     13 |        0 |        0
86.37/86.42	c 86.3s |      14 |   284054 |    68252 |    10907     13 |        0 |        0
88.47/88.57	c 88.5s |      14 |   286054 |    69552 |    10907     13 |        0 |        0
90.57/90.62	c 90.5s |      14 |   288312 |    70952 |    10907     13 |        0 |        0
92.67/92.71	c 92.6s |      14 |   295364 |    72552 |    10907     14 |        0 |        0
94.68/94.71	c 94.6s |      14 |   298338 |    74052 |    10907     14 |        0 |        0
96.67/96.74	c 96.6s |      14 |   299962 |    75552 |    10907     14 |        0 |        0
98.67/98.78	c 98.7s |      14 |   302203 |    77052 |    10907     15 |        0 |        0
100.67/100.78	c  100s |      14 |   317150 |    78952 |    10907     15 |        0 |        0
102.77/102.81	c  102s |      14 |   319575 |    80252 |    10907     15 |        0 |        0
104.77/104.84	c  104s |      14 |   320945 |    81452 |    10907     15 |        0 |        0
106.78/106.88	c  106s |      14 |   322948 |    82552 |    10907     16 |        0 |        0
108.98/109.06	c  108s |      14 |   324241 |    83752 |    10907     16 |        0 |        0
111.08/111.14	c  111s |      14 |   327050 |    85552 |    10907     16 |        0 |        0
113.17/113.23	c  113s |      14 |   329107 |    86952 |    10907     16 |        0 |        0
114.17/114.27	c  114s |      15 |   329853 |    87632 |    11998     16 |        0 |        0
116.27/116.38	c  116s |      15 |   345777 |    88932 |    11998     16 |        0 |        0
118.37/118.49	c  118s |      15 |   353097 |    90332 |    11998     17 |        0 |        0
120.47/120.52	c  120s |      15 |   356767 |    91532 |    11998     17 |        0 |        0
122.57/122.69	c  122s |      15 |   357949 |    92632 |    11998     17 |        0 |        0
124.67/124.78	c  124s |      15 |   361072 |    93832 |    11998     17 |        0 |        0
126.77/126.82	c  126s |      15 |   364501 |    95032 |    11998     17 |        0 |        0
128.87/128.91	c  128s |      15 |   365699 |    96132 |    11998     18 |        0 |        0
130.97/131.09	c  130s |      15 |   368742 |    97632 |    11998     18 |        0 |        0
133.17/133.28	c  133s |      15 |   370080 |    98832 |    11998     18 |        0 |        0
135.37/135.43	c  135s |      15 |   372613 |   100132 |    11998     18 |        0 |        0
137.37/137.50	c  137s |      15 |   374095 |   101332 |    11998     18 |        0 |        0
139.56/139.68	c  139s |      15 |   376608 |   102532 |    11998     19 |        0 |        0
141.66/141.79	c  141s |      15 |   380027 |   104132 |    11998     19 |        0 |        0
143.66/143.79	c  143s |      15 |   382171 |   105532 |    11998     19 |        0 |        0
145.76/145.81	c  145s |      15 |   384282 |   106932 |    11998     19 |        0 |        0
147.86/147.90	c  147s |      15 |   392490 |   108232 |    11998     20 |        0 |        0
149.86/149.97	c  149s |      15 |   396678 |   109832 |    11998     20 |        0 |        0
151.96/152.06	c  151s |      15 |   399823 |   111532 |    11998     20 |        0 |        0
153.97/154.07	c  153s |      15 |   401625 |   113132 |    11998     20 |        0 |        0
156.06/156.15	c  156s |      15 |   403620 |   114632 |    11998     21 |        0 |        0
158.06/158.18	c  158s |      15 |   405544 |   116332 |    11998     21 |        0 |        0
160.16/160.25	c  160s |      15 |   407518 |   117932 |    11998     21 |        0 |        0
162.26/162.36	c  162s |      15 |   411111 |   119332 |    11998     21 |        0 |        0
164.36/164.44	c  164s |      15 |   415702 |   120332 |    11998     22 |        0 |        0
166.46/166.53	c  166s |      15 |   420207 |   121832 |    11998     22 |        0 |        0
168.56/168.69	c  168s |      15 |   429201 |   123332 |    11998     22 |        0 |        0
170.76/170.84	c  170s |      15 |   430469 |   124432 |    11998     22 |        0 |        0
172.96/173.00	c  172s |      15 |   431698 |   125532 |    11998     22 |        0 |        0
174.97/175.01	c  174s |      15 |   432814 |   126532 |    11998     22 |        0 |        0
176.96/177.05	c  176s |      15 |   434014 |   127632 |    11998     23 |        0 |        0
179.16/179.22	c  179s |      15 |   436364 |   128732 |    11998     23 |        0 |        0
181.16/181.26	c  181s |      15 |   437323 |   129632 |    11998     23 |        0 |        0
183.26/183.39	c  183s |      15 |   438414 |   130632 |    11998     23 |        0 |        0
185.36/185.40	c  185s |      16 |   439436 |   131552 |    13198     23 |        0 |        0
187.36/187.44	c  187s |      16 |   445739 |   132852 |    13198     23 |        0 |        0
189.36/189.47	c  189s |      16 |   447706 |   134252 |    13198     24 |        0 |        0
191.46/191.57	c  191s |      16 |   450580 |   136252 |    13198     24 |        0 |        0
193.45/193.59	c  193s |      16 |   456368 |   137852 |    13198     24 |        0 |        0
195.55/195.64	c  195s |      16 |   460990 |   139252 |    13198     24 |        0 |        0
197.65/197.74	c  197s |      16 |   462608 |   140652 |    13198     24 |        0 |        0
199.75/199.85	c  199s |      16 |   465063 |   142252 |    13198     25 |        0 |        0
201.85/201.93	c  201s |      16 |   466972 |   143852 |    13198     25 |        0 |        0
203.85/203.95	c  203s |      16 |   468448 |   145152 |    13198     25 |        0 |        0
205.95/206.02	c  205s |      16 |   470211 |   146352 |    13198     25 |        0 |        0
208.15/208.28	c  208s |      16 |   471712 |   147652 |    13198     26 |        0 |        0
210.17/210.29	c  210s |      16 |   473591 |   149252 |    13198     26 |        0 |        0
212.27/212.36	c  212s |      16 |   475371 |   150852 |    13198     26 |        0 |        0
214.36/214.43	c  214s |      16 |   477246 |   152452 |    13198     26 |        0 |        0
216.46/216.52	c  216s |      16 |   478860 |   153852 |    13198     26 |        0 |        0
218.56/218.64	c  218s |      16 |   479968 |   154852 |    13198     27 |        0 |        0
220.66/220.73	c  220s |      16 |   481928 |   156552 |    13198     27 |        0 |        0
222.76/222.85	c  222s |      16 |   483802 |   158252 |    13198     27 |        0 |        0
224.86/224.97	c  224s |      16 |   485491 |   159752 |    13198     27 |        0 |        0
227.16/227.25	c  227s |      16 |   487636 |   161252 |    13198     28 |        0 |        0
229.26/229.30	c  229s |      16 |   489306 |   162752 |    13198     28 |        0 |        0
231.36/231.42	c  231s |      16 |   501901 |   164452 |    13198     28 |        0 |        0
233.36/233.49	c  233s |      16 |   504014 |   165852 |    13198     28 |        0 |        0
235.46/235.54	c  235s |      16 |   505630 |   167252 |    13198     28 |        0 |        0
237.45/237.58	c  237s |      16 |   507752 |   168552 |    13198     29 |        0 |        0
239.55/239.63	c  239s |      16 |   510191 |   170152 |    13198     29 |        0 |        0
241.65/241.75	c  241s |      16 |   512097 |   171752 |    13198     29 |        0 |        0
243.75/243.81	c  243s |      16 |   513768 |   173252 |    13198     29 |        0 |        0
245.85/245.97	c  245s |      16 |   516089 |   174652 |    13198     29 |        0 |        0
247.95/248.08	c  247s |      16 |   517880 |   176052 |    13198     30 |        0 |        0
250.05/250.16	c  250s |      16 |   519593 |   177552 |    13198     30 |        0 |        0
252.15/252.28	c  252s |      16 |   521061 |   178852 |    13198     30 |        0 |        0
254.35/254.43	c  254s |      16 |   522469 |   180152 |    13198     30 |        0 |        0
256.45/256.53	c  256s |      16 |   523800 |   181352 |    13198     30 |        0 |        0
258.46/258.55	c  258s |      16 |   525135 |   182552 |    13198     31 |        0 |        0
260.45/260.58	c  260s |      16 |   526681 |   183952 |    13198     31 |        0 |        0
262.55/262.61	c  262s |      16 |   528344 |   185352 |    13198     31 |        0 |        0
264.55/264.68	c  264s |      16 |   530809 |   186752 |    13198     31 |        0 |        0
266.65/266.70	c  266s |      16 |   532271 |   188052 |    13198     31 |        0 |        0
268.75/268.81	c  268s |      16 |   533733 |   189352 |    13198     32 |        0 |        0
270.75/270.85	c  270s |      16 |   536879 |   190952 |    13198     32 |        0 |        0
272.75/272.90	c  272s |      16 |   540157 |   192552 |    13198     32 |        0 |        0
274.85/274.90	c  274s |      16 |   541926 |   193952 |    13198     32 |        0 |        0
276.85/276.96	c  276s |      16 |   543502 |   195352 |    13198     32 |        0 |        0
278.95/279.06	c  278s |      16 |   545227 |   196852 |    14518     33 |        0 |        0
279.65/279.74	c  279s |      17 |   546562 |   197432 |    14518     33 |        0 |        0
281.75/281.84	c  281s |      17 |   571799 |   198932 |    14518     33 |        0 |        0
283.75/283.87	c  283s |      17 |   579577 |   200532 |    14518     33 |        0 |        0
285.75/285.88	c  285s |      17 |   581243 |   201932 |    14518     33 |        0 |        0
287.95/288.02	c  287s |      17 |   582771 |   202932 |    14518     33 |        0 |        0
290.04/290.11	c  289s |      17 |   589054 |   204432 |    14518     34 |        0 |        0
292.05/292.16	c  292s |      17 |   591335 |   205832 |    14518     34 |        0 |        0
294.14/294.28	c  294s |      17 |   592965 |   207332 |    14518     34 |        0 |        0
296.24/296.35	c  296s |      17 |   594445 |   208532 |    14518     34 |        0 |        0
298.44/298.53	c  298s |      17 |   595705 |   209732 |    14518     34 |        0 |        0
300.44/300.55	c  300s |      17 |   596896 |   210732 |    14518     34 |        0 |        0
302.55/302.60	c  302s |      17 |   597933 |   211732 |    14518     35 |        0 |        0
304.54/304.64	c  304s |      17 |   600924 |   213032 |    14518     35 |        0 |        0
306.54/306.66	c  306s |      17 |   602800 |   214332 |    14518     35 |        0 |        0
308.54/308.69	c  308s |      17 |   604269 |   215732 |    14518     35 |        0 |        0
310.64/310.71	c  310s |      17 |   607694 |   217032 |    14518     35 |        0 |        0
312.64/312.74	c  312s |      17 |   608961 |   217832 |    14518     35 |        0 |        0
314.74/314.86	c  314s |      17 |   610267 |   219032 |    14518     36 |        0 |        0
316.85/316.92	c  316s |      17 |   612809 |   220332 |    14518     36 |        0 |        0
318.84/318.95	c  318s |      17 |   614699 |   221432 |    14518     36 |        0 |        0
320.94/321.05	c  320s |      17 |   619898 |   222932 |    14518     36 |        0 |        0
323.04/323.17	c  323s |      17 |   621352 |   224132 |    14518     36 |        0 |        0
325.24/325.30	c  325s |      17 |   622489 |   225232 |    14518     36 |        0 |        0
327.34/327.45	c  327s |      17 |   623634 |   226232 |    14518     37 |        0 |        0
329.34/329.48	c  329s |      17 |   625004 |   227532 |    14518     37 |        0 |        0
331.54/331.64	c  331s |      17 |   626546 |   228632 |    14518     37 |        0 |        0
333.64/333.78	c  333s |      17 |   628043 |   229632 |    14518     37 |        0 |        0
335.74/335.85	c  335s |      17 |   629297 |   230832 |    14518     37 |        0 |        0
337.74/337.89	c  337s |      17 |   632682 |   231732 |    14518     37 |        0 |        0
339.94/340.04	c  339s |      17 |   633916 |   232832 |    14518     37 |        0 |        0
342.04/342.12	c  342s |      17 |   634874 |   233732 |    14518     38 |        0 |        0
344.13/344.23	c  344s |      17 |   637389 |   234832 |    14518     38 |        0 |        0
346.33/346.44	c  346s |      17 |   638472 |   235832 |    14518     38 |        0 |        0
348.43/348.53	c  348s |      17 |   639411 |   236732 |    14518     38 |        0 |        0
350.63/350.70	c  350s |      17 |   640349 |   237632 |    14518     38 |        0 |        0
352.63/352.74	c  352s |      17 |   642002 |   238532 |    14518     38 |        0 |        0
354.73/354.89	c  354s |      17 |   643415 |   239832 |    14518     38 |        0 |        0
357.03/357.14	c  357s |      17 |   644803 |   241132 |    14518     39 |        0 |        0
359.04/359.15	c  359s |      17 |   648409 |   242532 |    14518     39 |        0 |        0
361.14/361.22	c  361s |      17 |   649904 |   243932 |    14518     39 |        0 |        0
363.14/363.28	c  363s |      17 |   651360 |   245232 |    14518     39 |        0 |        0
365.24/365.37	c  365s |      17 |   656999 |   246432 |    14518     39 |        0 |        0
367.34/367.45	c  367s |      17 |   659064 |   247632 |    14518     39 |        0 |        0
369.44/369.59	c  369s |      17 |   660133 |   248532 |    14518     39 |        0 |        0
371.54/371.64	c  371s |      17 |   660869 |   249232 |    14518     40 |        0 |        0
373.64/373.73	c  373s |      17 |   662107 |   250332 |    14518     40 |        0 |        0
375.64/375.79	c  375s |      17 |   663512 |   251532 |    14518     40 |        0 |        0
377.84/377.94	c  377s |      17 |   665936 |   252932 |    14518     40 |        0 |        0
379.94/380.04	c  379s |      17 |   666979 |   253932 |    14518     40 |        0 |        0
382.13/382.22	c  382s |      17 |   668122 |   255032 |    14518     40 |        0 |        0
384.13/384.28	c  384s |      17 |   669314 |   256032 |    14518     40 |        0 |        0
386.14/386.29	c  386s |      17 |   672762 |   257032 |    14518     41 |        0 |        0
388.13/388.30	c  388s |      17 |   673663 |   257732 |    14518     41 |        0 |        0
390.23/390.35	c  390s |      17 |   674642 |   258632 |    14518     41 |        0 |        0
392.43/392.53	c  392s |      17 |   676037 |   259932 |    14518     41 |        0 |        0
394.53/394.63	c  394s |      17 |   677249 |   261032 |    14518     41 |        0 |        0
396.63/396.70	c  396s |      17 |   679302 |   262132 |    14518     41 |        0 |        0
398.73/398.84	c  398s |      17 |   680298 |   263032 |    14518     41 |        0 |        0
400.83/400.90	c  400s |      17 |   681588 |   263732 |    14518     42 |        0 |        0
403.03/403.12	c  403s |      17 |   683737 |   264732 |    14518     42 |        0 |        0
405.13/405.27	c  405s |      17 |   684790 |   265732 |    14518     42 |        0 |        0
407.23/407.36	c  407s |      17 |   685860 |   266732 |    14518     42 |        0 |        0
409.33/409.49	c  409s |      17 |   688368 |   267932 |    14518     42 |        0 |        0
411.44/411.55	c  411s |      17 |   689590 |   268732 |    14518     42 |        0 |        0
413.73/413.82	c  413s |      17 |   690407 |   269532 |    14518     42 |        0 |        0
415.93/416.01	c  415s |      17 |   691637 |   270432 |    14518     42 |        0 |        0
417.94/418.05	c  417s |      17 |   692390 |   271132 |    14518     43 |        0 |        0
419.93/420.06	c  419s |      17 |   693438 |   272132 |    14518     43 |        0 |        0
422.03/422.18	c  422s |      17 |   694603 |   273232 |    14518     43 |        0 |        0
424.23/424.32	c  424s |      17 |   695792 |   274332 |    14518     43 |        0 |        0
426.33/426.45	c  426s |      17 |   696959 |   275432 |    14518     43 |        0 |        0
428.33/428.47	c  428s |      17 |   698889 |   276432 |    14518     43 |        0 |        0
430.53/430.61	c  430s |      17 |   700700 |   277532 |    14518     43 |        0 |        0
432.53/432.66	c  432s |      17 |   704232 |   278632 |    14518     44 |        0 |        0
434.63/434.72	c  434s |      17 |   706751 |   280232 |    14518     44 |        0 |        0
436.63/436.79	c  436s |      17 |   708244 |   281632 |    14518     44 |        0 |        0
438.73/438.81	c  438s |      17 |   710584 |   282932 |    14518     44 |        0 |        0
440.73/440.82	c  440s |      17 |   711983 |   284232 |    14518     44 |        0 |        0
442.82/442.90	c  442s |      17 |   713738 |   285532 |    14518     44 |        0 |        0
444.82/444.96	c  444s |      17 |   715132 |   286832 |    14518     45 |        0 |        0
446.92/447.08	c  446s |      17 |   716889 |   288432 |    14518     45 |        0 |        0
449.02/449.17	c  449s |      17 |   718523 |   289932 |    14518     45 |        0 |        0
451.12/451.26	c  451s |      17 |   719999 |   291332 |    14518     45 |        0 |        0
453.23/453.38	c  453s |      17 |   721724 |   292732 |    14518     45 |        0 |        0
455.33/455.43	c  455s |      17 |   724431 |   293732 |    14518     46 |        0 |        0
457.42/457.51	c  457s |      17 |   726427 |   295432 |    15970     46 |        0 |        0
458.42/458.54	c  458s |      18 |   727317 |   296252 |    15970     46 |        0 |        0
460.52/460.64	c  460s |      18 |   756276 |   297852 |    15970     46 |        0 |        0
462.52/462.67	c  462s |      18 |   766925 |   299152 |    15970     46 |        0 |        0
464.52/464.69	c  464s |      18 |   770946 |   300452 |    15970     46 |        0 |        0
466.62/466.74	c  466s |      18 |   776363 |   301752 |    15970     46 |        0 |        0
468.82/468.90	c  468s |      18 |   778250 |   302852 |    15970     47 |        0 |        0
470.92/471.04	c  470s |      18 |   780111 |   304152 |    15970     47 |        0 |        0
473.02/473.15	c  473s |      18 |   783713 |   305252 |    15970     47 |        0 |        0
475.12/475.29	c  475s |      18 |   785282 |   306352 |    15970     47 |        0 |        0
477.12/477.29	c  477s |      18 |   786377 |   307352 |    15970     47 |        0 |        0
479.32/479.44	c  479s |      18 |   788611 |   308552 |    15970     47 |        0 |        0
481.42/481.53	c  481s |      18 |   790272 |   309452 |    15970     47 |        0 |        0
483.62/483.72	c  483s |      18 |   792033 |   310252 |    15970     47 |        0 |        0
485.62/485.78	c  485s |      18 |   793158 |   311052 |    15970     48 |        0 |        0
487.71/487.88	c  487s |      18 |   794717 |   312152 |    15970     48 |        0 |        0
489.81/489.90	c  489s |      18 |   796367 |   313152 |    15970     48 |        0 |        0
492.01/492.10	c  491s |      18 |   799794 |   314552 |    15970     48 |        0 |        0
494.11/494.27	c  494s |      18 |   801771 |   315752 |    15970     48 |        0 |        0
496.31/496.40	c  496s |      18 |   803589 |   316752 |    15970     48 |        0 |        0
498.41/498.50	c  498s |      18 |   805082 |   317952 |    15970     48 |        0 |        0
500.61/500.70	c  500s |      18 |   806220 |   318852 |    15970     49 |        0 |        0
502.72/502.84	c  502s |      18 |   807598 |   320052 |    15970     49 |        0 |        0
504.82/504.97	c  504s |      18 |   809783 |   321152 |    15970     49 |        0 |        0
506.91/507.07	c  506s |      18 |   811576 |   322352 |    15970     49 |        0 |        0
509.11/509.20	c  509s |      18 |   812963 |   323552 |    15970     49 |        0 |        0
511.21/511.37	c  511s |      18 |   815926 |   324752 |    15970     49 |        0 |        0
513.31/513.41	c  513s |      18 |   817556 |   325752 |    15970     49 |        0 |        0
515.41/515.57	c  515s |      18 |   819330 |   326852 |    15970     50 |        0 |        0
517.51/517.67	c  517s |      18 |   821231 |   328152 |    15970     50 |        0 |        0
519.61/519.75	c  519s |      18 |   824599 |   329252 |    15970     50 |        0 |        0
521.81/521.97	c  521s |      18 |   828109 |   330552 |    15970     50 |        0 |        0
524.01/524.17	c  524s |      18 |   830623 |   331652 |    15970     50 |        0 |        0
526.01/526.19	c  526s |      18 |   838658 |   332752 |    15970     50 |        0 |        0
528.11/528.28	c  528s |      18 |   844734 |   334052 |    15970     50 |        0 |        0
530.21/530.38	c  530s |      18 |   845987 |   335152 |    15970     50 |        0 |        0
532.31/532.44	c  532s |      18 |   848621 |   336552 |    15970     51 |        0 |        0
534.41/534.51	c  534s |      18 |   850286 |   337752 |    15970     51 |        0 |        0
536.51/536.65	c  536s |      18 |   851639 |   338852 |    15970     51 |        0 |        0
538.71/538.82	c  538s |      18 |   852882 |   339952 |    15970     51 |        0 |        0
540.80/540.92	c  540s |      18 |   853994 |   340952 |    15970     51 |        0 |        0
542.90/543.02	c  542s |      18 |   855074 |   341952 |    15970     51 |        0 |        0
544.90/545.08	c  544s |      18 |   856052 |   342852 |    15970     51 |        0 |        0
546.90/547.09	c  546s |      18 |   868335 |   343952 |    15970     52 |        0 |        0
549.00/549.15	c  549s |      18 |   876961 |   345552 |    15970     52 |        0 |        0
551.01/551.18	c  551s |      18 |   879168 |   347052 |    15970     52 |        0 |        0
553.10/553.26	c  553s |      18 |   880989 |   348652 |    15970     52 |        0 |        0
555.30/555.40	c  555s |      18 |   884637 |   350152 |    15970     52 |        0 |        0
557.30/557.49	c  557s |      18 |   886632 |   351452 |    15970     52 |        0 |        0
559.40/559.55	c  559s |      18 |   888011 |   352752 |    15970     53 |        0 |        0
561.50/561.67	c  561s |      18 |   889659 |   354252 |    15970     53 |        0 |        0
563.60/563.70	c  563s |      18 |   892286 |   355552 |    15970     53 |        0 |        0
565.60/565.75	c  565s |      18 |   893747 |   356852 |    15970     53 |        0 |        0
567.61/567.79	c  567s |      18 |   894907 |   357952 |    15970     53 |        0 |        0
569.81/569.93	c  569s |      18 |   896103 |   359052 |    15970     53 |        0 |        0
571.80/571.93	c  571s |      18 |   897061 |   359952 |    15970     54 |        0 |        0
574.00/574.10	c  573s |      18 |   898358 |   361152 |    15970     54 |        0 |        0
576.10/576.24	c  576s |      18 |   899661 |   362352 |    15970     54 |        0 |        0
578.10/578.28	c  578s |      18 |   901001 |   363552 |    15970     54 |        0 |        0
580.30/580.45	c  580s |      18 |   902431 |   364852 |    15970     54 |        0 |        0
582.40/582.52	c  582s |      18 |   903757 |   366052 |    15970     54 |        0 |        0
584.40/584.59	c  584s |      18 |   904731 |   366952 |    15970     54 |        0 |        0
586.60/586.72	c  586s |      18 |   905907 |   367952 |    15970     55 |        0 |        0
588.70/588.88	c  588s |      18 |   925795 |   369052 |    15970     55 |        0 |        0
590.80/590.90	c  590s |      18 |   929271 |   370452 |    15970     55 |        0 |        0
592.80/592.93	c  592s |      18 |   931563 |   371552 |    15970     55 |        0 |        0
594.90/595.01	c  594s |      18 |   943280 |   372852 |    15970     55 |        0 |        0
596.90/597.07	c  596s |      18 |   946173 |   374052 |    15970     55 |        0 |        0
598.99/599.17	c  599s |      18 |   955818 |   375352 |    15970     55 |        0 |        0
601.09/601.29	c  601s |      18 |   964071 |   376652 |    15970     56 |        0 |        0
603.19/603.37	c  603s |      18 |   966164 |   378352 |    15970     56 |        0 |        0
605.29/605.48	c  605s |      18 |   968076 |   380052 |    15970     56 |        0 |        0
607.39/607.55	c  607s |      18 |   971398 |   381352 |    15970     56 |        0 |        0
609.40/609.58	c  609s |      18 |   973370 |   382252 |    15970     56 |        0 |        0
611.50/611.63	c  611s |      18 |   975183 |   383152 |    15970     56 |        0 |        0
613.49/613.65	c  613s |      18 |   977760 |   384352 |    15970     57 |        0 |        0
615.59/615.70	c  615s |      18 |   979329 |   385452 |    15970     57 |        0 |        0
617.69/617.84	c  617s |      18 |   980779 |   386652 |    15970     57 |        0 |        0
619.79/619.92	c  619s |      18 |   981998 |   387752 |    15970     57 |        0 |        0
621.89/622.04	c  621s |      18 |   986348 |   389052 |    15970     57 |        0 |        0
623.99/624.18	c  624s |      18 |   988256 |   390352 |    15970     57 |        0 |        0
626.09/626.26	c  626s |      18 |   991344 |   391552 |    15970     57 |        0 |        0
628.49/628.62	c  628s |      18 |   992862 |   392552 |    15970     58 |        0 |        0
630.59/630.74	c  630s |      18 |   995092 |   394052 |    15970     58 |        0 |        0
632.69/632.84	c  632s |      18 |   996399 |   395252 |    15970     58 |        0 |        0
634.79/634.97	c  634s |      18 |   997812 |   396552 |    15970     58 |        0 |        0
636.90/637.04	c  636s |      18 |  1000076 |   397652 |    15970     58 |        0 |        0
638.99/639.14	c  639s |      18 |  1001589 |   398952 |    15970     58 |        0 |        0
640.99/641.18	c  641s |      18 |  1002944 |   400152 |    15970     58 |        0 |        0
643.09/643.22	c  643s |      18 |  1010474 |   401252 |    15970     59 |        0 |        0
645.19/645.35	c  645s |      18 |  1015414 |   402352 |    15970     59 |        0 |        0
647.19/647.39	c  647s |      18 |  1016772 |   403452 |    15970     59 |        0 |        0
649.29/649.46	c  649s |      18 |  1018702 |   404752 |    15970     59 |        0 |        0
651.59/651.73	c  651s |      18 |  1020178 |   405652 |    15970     59 |        0 |        0
653.58/653.76	c  653s |      18 |  1021048 |   406452 |    15970     59 |        0 |        0
655.79/655.90	c  655s |      18 |  1021925 |   407252 |    15970     59 |        0 |        0
657.98/658.15	c  658s |      18 |  1022782 |   408052 |    15970     59 |        0 |        0
660.18/660.39	c  660s |      18 |  1023650 |   408852 |    15970     59 |        0 |        0
662.49/662.60	c  662s |      18 |  1024442 |   409552 |    15970     60 |        0 |        0
664.49/664.67	c  664s |      18 |  1035900 |   410752 |    15970     60 |        0 |        0
666.50/666.68	c  666s |      18 |  1040125 |   412352 |    15970     60 |        0 |        0
668.49/668.68	c  668s |      18 |  1042049 |   413852 |    15970     60 |        0 |        0
670.69/670.89	c  670s |      18 |  1043512 |   414852 |    15970     60 |        0 |        0
672.89/673.06	c  672s |      18 |  1046281 |   415952 |    15970     60 |        0 |        0
674.99/675.12	c  675s |      18 |  1054940 |   417152 |    15970     61 |        0 |        0
677.09/677.23	c  677s |      18 |  1067424 |   418752 |    15970     61 |        0 |        0
679.09/679.29	c  679s |      18 |  1071548 |   420152 |    15970     61 |        0 |        0
681.19/681.34	c  681s |      18 |  1073763 |   421552 |    15970     61 |        0 |        0
683.29/683.41	c  683s |      18 |  1075254 |   422852 |    15970     61 |        0 |        0
685.29/685.47	c  685s |      18 |  1076754 |   424152 |    15970     61 |        0 |        0
687.50/687.62	c  687s |      18 |  1078055 |   425352 |    15970     62 |        0 |        0
689.49/689.69	c  689s |      18 |  1080830 |   426652 |    15970     62 |        0 |        0
691.69/691.80	c  691s |      18 |  1082589 |   427852 |    15970     62 |        0 |        0
693.79/693.94	c  693s |      18 |  1083714 |   428852 |    15970     62 |        0 |        0
695.89/696.01	c  695s |      18 |  1086138 |   430152 |    15970     62 |        0 |        0
697.98/698.19	c  698s |      18 |  1088526 |   431352 |    15970     62 |        0 |        0
700.08/700.29	c  700s |      18 |  1092888 |   432452 |    15970     62 |        0 |        0
702.19/702.37	c  702s |      18 |  1094849 |   433652 |    15970     63 |        0 |        0
704.38/704.52	c  704s |      18 |  1102911 |   434852 |    15970     63 |        0 |        0
706.48/706.64	c  706s |      18 |  1105405 |   436152 |    15970     63 |        0 |        0
708.58/708.77	c  708s |      18 |  1106906 |   437452 |    15970     63 |        0 |        0
710.78/710.90	c  710s |      18 |  1108233 |   438652 |    15970     63 |        0 |        0
712.79/712.98	c  712s |      18 |  1109417 |   439752 |    15970     63 |        0 |        0
714.88/715.05	c  714s |      18 |  1110490 |   440752 |    15970     63 |        0 |        0
717.08/717.22	c  717s |      18 |  1118377 |   441952 |    17567     63 |        0 |        0
719.08/719.25	c  719s |      18 |  1120539 |   443052 |    17567     63 |        0 |        0
721.18/721.30	c  721s |      18 |  1122865 |   444252 |    17567     64 |        0 |        0
721.48/721.65	c  721s |      19 |  1123124 |   444482 |    17567     64 |        0 |        0
723.68/723.83	c  723s |      19 |  1128494 |   445582 |    17567     64 |        0 |        0
725.77/725.90	c  725s |      19 |  1138346 |   446782 |    17567     64 |        0 |        0
727.97/728.11	c  727s |      19 |  1140060 |   447982 |    17567     64 |        0 |        0
729.97/730.15	c  730s |      19 |  1141149 |   448982 |    17567     64 |        0 |        0
732.17/732.31	c  732s |      19 |  1145811 |   450182 |    17567     64 |        0 |        0
734.16/734.39	c  734s |      19 |  1149950 |   451182 |    17567     64 |        0 |        0
736.36/736.57	c  736s |      19 |  1151958 |   452182 |    17567     65 |        0 |        0
738.36/738.58	c  738s |      19 |  1155324 |   453382 |    17567     65 |        0 |        0
740.56/740.74	c  740s |      19 |  1157648 |   454682 |    17567     65 |        0 |        0
742.76/742.95	c  742s |      19 |  1159429 |   455882 |    17567     65 |        0 |        0
744.76/744.97	c  744s |      19 |  1160676 |   456882 |    17567     65 |        0 |        0
746.86/747.02	c  746s |      19 |  1163006 |   457882 |    17567     65 |        0 |        0
748.86/749.05	c  748s |      19 |  1163905 |   458682 |    17567     65 |        0 |        0
751.05/751.20	c  751s |      19 |  1167250 |   459682 |    17567     65 |        0 |        0
753.15/753.33	c  753s |      19 |  1170696 |   460782 |    17567     65 |        0 |        0
755.25/755.43	c  755s |      19 |  1172683 |   461982 |    17567     66 |        0 |        0
757.35/757.57	c  757s |      19 |  1174397 |   463182 |    17567     66 |        0 |        0
759.55/759.73	c  759s |      19 |  1175952 |   464382 |    17567     66 |        0 |        0
761.55/761.75	c  761s |      19 |  1178103 |   465482 |    17567     66 |        0 |        0
763.65/763.87	c  763s |      19 |  1183996 |   466782 |    17567     66 |        0 |        0
765.85/766.00	c  765s |      19 |  1185297 |   467982 |    17567     66 |        0 |        0
767.85/768.06	c  767s |      19 |  1187386 |   468982 |    17567     66 |        0 |        0
770.05/770.23	c  770s |      19 |  1188516 |   469982 |    17567     66 |        0 |        0
772.05/772.27	c  772s |      19 |  1189766 |   471082 |    17567     67 |        0 |        0
774.14/774.37	c  774s |      19 |  1192217 |   472482 |    17567     67 |        0 |        0
776.34/776.56	c  776s |      19 |  1194088 |   473682 |    17567     67 |        0 |        0
778.34/778.56	c  778s |      19 |  1195340 |   474782 |    17567     67 |        0 |        0
780.44/780.69	c  780s |      19 |  1197350 |   476082 |    17567     67 |        0 |        0
782.44/782.70	c  782s |      19 |  1199760 |   477182 |    17567     67 |        0 |        0
784.74/784.95	c  784s |      19 |  1200653 |   477982 |    17567     67 |        0 |        0
786.74/786.97	c  786s |      19 |  1203271 |   478982 |    17567     67 |        0 |        0
788.84/789.03	c  788s |      19 |  1206984 |   480182 |    17567     68 |        0 |        0
790.84/791.05	c  790s |      19 |  1213786 |   481682 |    17567     68 |        0 |        0
792.94/793.11	c  792s |      19 |  1216879 |   483182 |    17567     68 |        0 |        0
794.93/795.18	c  795s |      19 |  1219831 |   484382 |    17567     68 |        0 |        0
797.03/797.22	c  797s |      19 |  1220709 |   485182 |    17567     68 |        0 |        0
799.03/799.23	c  799s |      19 |  1221955 |   486082 |    17567     68 |        0 |        0
801.13/801.39	c  801s |      19 |  1223402 |   487382 |    17567     68 |        0 |        0
803.33/803.50	c  803s |      19 |  1228404 |   488782 |    17567     69 |        0 |        0
805.43/805.60	c  805s |      19 |  1231244 |   490282 |    17567     69 |        0 |        0
807.43/807.68	c  807s |      19 |  1234231 |   491782 |    17567     69 |        0 |        0
809.53/809.75	c  809s |      19 |  1236813 |   493182 |    17567     69 |        0 |        0
811.63/811.85	c  811s |      19 |  1238161 |   494282 |    17567     69 |        0 |        0
813.62/813.87	c  813s |      19 |  1239374 |   495382 |    17567     69 |        0 |        0
815.62/815.88	c  815s |      19 |  1240589 |   496482 |    17567     69 |        0 |        0
817.72/817.90	c  817s |      19 |  1242293 |   497782 |    17567     70 |        0 |        0
819.72/819.95	c  819s |      19 |  1246221 |   499382 |    17567     70 |        0 |        0
821.82/822.09	c  821s |      19 |  1248804 |   501082 |    17567     70 |        0 |        0
823.92/824.12	c  824s |      19 |  1250357 |   502382 |    17567     70 |        0 |        0
825.92/826.12	c  826s |      19 |  1252482 |   503782 |    17567     70 |        0 |        0
828.12/828.33	c  828s |      19 |  1254587 |   505182 |    17567     70 |        0 |        0
830.21/830.48	c  830s |      19 |  1255434 |   505882 |    17567     71 |        0 |        0
832.41/832.69	c  832s |      19 |  1257095 |   506982 |    17567     71 |        0 |        0
834.51/834.70	c  834s |      19 |  1259010 |   508082 |    17567     71 |        0 |        0
836.51/836.73	c  836s |      19 |  1261888 |   509082 |    17567     71 |        0 |        0
838.71/838.90	c  838s |      19 |  1263887 |   510082 |    17567     71 |        0 |        0
840.71/840.96	c  840s |      19 |  1265879 |   511182 |    17567     71 |        0 |        0
842.91/843.15	c  843s |      19 |  1267538 |   512182 |    17567     71 |        0 |        0
845.01/845.22	c  845s |      19 |  1269357 |   513282 |    17567     71 |        0 |        0
847.11/847.31	c  847s |      19 |  1270953 |   514582 |    17567     71 |        0 |        0
849.11/849.37	c  849s |      19 |  1273608 |   515582 |    17567     72 |        0 |        0
851.21/851.44	c  851s |      19 |  1275119 |   516782 |    17567     72 |        0 |        0
853.20/853.48	c  853s |      19 |  1277321 |   518082 |    17567     72 |        0 |        0
855.20/855.49	c  855s |      19 |  1278590 |   519282 |    17567     72 |        0 |        0
857.30/857.55	c  857s |      19 |  1279979 |   520582 |    17567     72 |        0 |        0
859.40/859.65	c  859s |      19 |  1281255 |   521782 |    17567     72 |        0 |        0
861.50/861.71	c  861s |      19 |  1282809 |   522882 |    17567     72 |        0 |        0
863.89/864.12	c  864s |      19 |  1283988 |   523882 |    17567     73 |        0 |        0
865.89/866.13	c  866s |      19 |  1287650 |   525182 |    17567     73 |        0 |        0
867.90/868.16	c  868s |      19 |  1295773 |   526682 |    17567     73 |        0 |        0
870.00/870.22	c  870s |      19 |  1298967 |   528282 |    17567     73 |        0 |        0
871.99/872.26	c  872s |      19 |  1300476 |   529582 |    17567     73 |        0 |        0
874.09/874.35	c  874s |      19 |  1302118 |   530982 |    17567     73 |        0 |        0
876.29/876.50	c  876s |      19 |  1303725 |   532382 |    17567     73 |        0 |        0
878.29/878.50	c  878s |      19 |  1305218 |   533582 |    17567     74 |        0 |        0
880.29/880.58	c  880s |      19 |  1308096 |   535182 |    17567     74 |        0 |        0
882.39/882.66	c  882s |      19 |  1310940 |   536182 |    17567     74 |        0 |        0
884.48/884.77	c  884s |      19 |  1312315 |   537282 |    17567     74 |        0 |        0
886.58/886.82	c  886s |      19 |  1313388 |   538282 |    17567     74 |        0 |        0
888.69/888.93	c  888s |      19 |  1314483 |   539282 |    17567     74 |        0 |        0
890.79/891.09	c  890s |      19 |  1315876 |   540382 |    17567     74 |        0 |        0
892.88/893.15	c  893s |      19 |  1317207 |   541482 |    17567     74 |        0 |        0
894.88/895.15	c  895s |      19 |  1318940 |   542382 |    17567     75 |        0 |        0
896.98/897.23	c  897s |      19 |  1320275 |   543582 |    17567     75 |        0 |        0
899.08/899.34	c  899s |      19 |  1321696 |   544882 |    17567     75 |        0 |        0
901.18/901.45	c  901s |      19 |  1322884 |   545982 |    17567     75 |        0 |        0
903.18/903.46	c  903s |      19 |  1323955 |   546982 |    17567     75 |        0 |        0
905.27/905.57	c  905s |      19 |  1325877 |   548282 |    17567     75 |        0 |        0
907.38/907.62	c  907s |      19 |  1327454 |   549682 |    17567     75 |        0 |        0
909.77/910.02	c  909s |      19 |  1331426 |   550882 |    17567     76 |        0 |        0
911.78/912.04	c  911s |      19 |  1335971 |   552082 |    17567     76 |        0 |        0
913.87/914.12	c  914s |      19 |  1353927 |   553882 |    17567     76 |        0 |        0
915.97/916.26	c  916s |      19 |  1361122 |   555482 |    17567     76 |        0 |        0
917.97/918.29	c  918s |      19 |  1369702 |   556882 |    17567     76 |        0 |        0
920.17/920.42	c  920s |      19 |  1372108 |   558282 |    17567     76 |        0 |        0
922.27/922.53	c  922s |      19 |  1374026 |   559682 |    17567     76 |        0 |        0
924.37/924.61	c  924s |      19 |  1381619 |   561182 |    17567     77 |        0 |        0
926.47/926.75	c  926s |      19 |  1385381 |   562882 |    17567     77 |        0 |        0
928.47/928.77	c  928s |      19 |  1388584 |   564282 |    17567     77 |        0 |        0
930.57/930.86	c  930s |      19 |  1389678 |   565282 |    17567     77 |        0 |        0
932.77/933.04	c  932s |      19 |  1390882 |   566382 |    17567     77 |        0 |        0
934.96/935.21	c  935s |      19 |  1392100 |   567482 |    17567     77 |        0 |        0
937.07/937.32	c  937s |      19 |  1393232 |   568482 |    17567     77 |        0 |        0
939.27/939.51	c  939s |      19 |  1394423 |   569582 |    17567     78 |        0 |        0
941.37/941.62	c  941s |      19 |  1404583 |   571482 |    17567     78 |        0 |        0
943.36/943.64	c  943s |      19 |  1406497 |   573182 |    17567     78 |        0 |        0
945.36/945.67	c  945s |      19 |  1412258 |   574482 |    17567     78 |        0 |        0
947.46/947.75	c  947s |      19 |  1413848 |   575682 |    17567     78 |        0 |        0
949.56/949.88	c  949s |      19 |  1415441 |   576982 |    17567     78 |        0 |        0
951.66/951.92	c  951s |      19 |  1417005 |   578182 |    17567     79 |        0 |        0
953.65/953.99	c  953s |      19 |  1419733 |   579882 |    17567     79 |        0 |        0
955.85/956.11	c  955s |      19 |  1422141 |   581482 |    17567     79 |        0 |        0
957.86/958.16	c  958s |      19 |  1424125 |   583082 |    17567     79 |        0 |        0
959.85/960.18	c  960s |      19 |  1426867 |   584582 |    17567     79 |        0 |        0
962.15/962.47	c  962s |      19 |  1427943 |   585382 |    17567     79 |        0 |        0
964.45/964.72	c  964s |      19 |  1428708 |   586082 |    17567     79 |        0 |        0
966.75/967.04	c  966s |      19 |  1429473 |   586782 |    17567     79 |        0 |        0
968.74/969.07	c  968s |      19 |  1430302 |   587382 |    17567     80 |        0 |        0
970.94/971.29	c  971s |      19 |  1431255 |   588282 |    17567     80 |        0 |        0
973.05/973.35	c  973s |      19 |  1432118 |   589082 |    17567     80 |        0 |        0
975.14/975.47	c  975s |      19 |  1433286 |   589982 |    17567     80 |        0 |        0
977.34/977.62	c  977s |      19 |  1434269 |   590882 |    17567     80 |        0 |        0
979.44/979.73	c  979s |      19 |  1435127 |   591682 |    17567     80 |        0 |        0
981.64/981.99	c  981s |      19 |  1435984 |   592482 |    17567     80 |        0 |        0
983.74/984.08	c  983s |      19 |  1436869 |   593282 |    17567     80 |        0 |        0
985.94/986.20	c  986s |      19 |  1437726 |   594082 |    17567     80 |        0 |        0
988.14/988.41	c  988s |      19 |  1438714 |   594982 |    17567     80 |        0 |        0
990.23/990.50	c  990s |      19 |  1439582 |   595782 |    17567     80 |        0 |        0
992.23/992.57	c  992s |      19 |  1440445 |   596582 |    17567     81 |        0 |        0
994.43/994.78	c  994s |      19 |  1442314 |   597482 |    17567     81 |        0 |        0
996.63/996.90	c  996s |      19 |  1443450 |   598482 |    17567     81 |        0 |        0
998.73/999.02	c  998s |      19 |  1444543 |   599482 |    17567     81 |        0 |        0
1000.84/1001.16	c 1001s |      19 |  1445515 |   600382 |    17567     81 |        0 |        0
1002.83/1003.20	c 1003s |      19 |  1456261 |   601482 |    17567     81 |        0 |        0
1004.93/1005.23	c 1005s |      19 |  1459401 |   602682 |    17567     81 |        0 |        0
1006.93/1007.24	c 1007s |      19 |  1461738 |   603882 |    17567     81 |        0 |        0
1009.23/1009.59	c 1009s |      19 |  1463061 |   605082 |    17567     82 |        0 |        0
1011.33/1011.66	c 1011s |      19 |  1464654 |   606482 |    17567     82 |        0 |        0
1013.52/1013.80	c 1013s |      19 |  1466261 |   607582 |    17567     82 |        0 |        0
1015.62/1015.94	c 1015s |      19 |  1467667 |   608882 |    17567     82 |        0 |        0
1017.72/1018.08	c 1017s |      19 |  1469715 |   610182 |    17567     82 |        0 |        0
1019.72/1020.09	c 1019s |      19 |  1471315 |   611282 |    17567     82 |        0 |        0
1021.82/1022.13	c 1022s |      19 |  1472539 |   612382 |    17567     82 |        0 |        0
1023.92/1024.26	c 1024s |      19 |  1473635 |   613382 |    17567     82 |        0 |        0
1026.02/1026.39	c 1026s |      19 |  1474736 |   614382 |    17567     83 |        0 |        0
1028.11/1028.44	c 1028s |      19 |  1476089 |   615582 |    17567     83 |        0 |        0
1030.11/1030.49	c 1030s |      19 |  1477591 |   616882 |    17567     83 |        0 |        0
1032.21/1032.58	c 1032s |      19 |  1478808 |   617982 |    17567     83 |        0 |        0
1034.31/1034.68	c 1034s |      19 |  1479986 |   619082 |    17567     83 |        0 |        0
1036.51/1036.86	c 1036s |      19 |  1481135 |   620082 |    17567     83 |        0 |        0
1038.61/1038.95	c 1038s |      19 |  1482240 |   621082 |    17567     83 |        0 |        0
1040.70/1041.00	c 1040s |      19 |  1483434 |   622082 |    17567     83 |        0 |        0
1042.90/1043.26	c 1043s |      19 |  1484470 |   622982 |    17567     84 |        0 |        0
1045.00/1045.39	c 1045s |      19 |  1485795 |   624182 |    17567     84 |        0 |        0
1047.20/1047.53	c 1047s |      19 |  1487790 |   625482 |    17567     84 |        0 |        0
1049.30/1049.65	c 1049s |      19 |  1489130 |   626682 |    17567     84 |        0 |        0
1051.41/1051.77	c 1051s |      19 |  1490421 |   627882 |    17567     84 |        0 |        0
1053.60/1054.00	c 1053s |      19 |  1491857 |   629182 |    17567     84 |        0 |        0
1055.70/1056.09	c 1055s |      19 |  1493343 |   630482 |    17567     84 |        0 |        0
1057.90/1058.28	c 1058s |      19 |  1494664 |   631682 |    17567     84 |        0 |        0
1059.99/1060.35	c 1060s |      19 |  1495582 |   632482 |    17567     85 |        0 |        0
1062.09/1062.44	c 1062s |      19 |  1497352 |   634082 |    17567     85 |        0 |        0
1064.19/1064.55	c 1064s |      19 |  1502014 |   635482 |    17567     85 |        0 |        0
1066.19/1066.58	c 1066s |      19 |  1514958 |   636682 |    17567     85 |        0 |        0
1068.39/1068.75	c 1068s |      19 |  1516717 |   638282 |    17567     85 |        0 |        0
1070.50/1070.85	c 1070s |      19 |  1518254 |   639582 |    17567     85 |        0 |        0
1072.69/1073.00	c 1072s |      19 |  1520709 |   640782 |    17567     85 |        0 |        0
1074.79/1075.13	c 1075s |      19 |  1522125 |   642082 |    17567     86 |        0 |        0
1076.79/1077.17	c 1077s |      19 |  1523675 |   643482 |    17567     86 |        0 |        0
1078.90/1079.24	c 1079s |      19 |  1526273 |   644982 |    17567     86 |        0 |        0
1081.10/1081.45	c 1081s |      19 |  1528167 |   646582 |    17567     86 |        0 |        0
1083.30/1083.61	c 1083s |      19 |  1531533 |   647782 |    17567     86 |        0 |        0
1085.29/1085.63	c 1085s |      19 |  1545560 |   649082 |    17567     86 |        0 |        0
1087.39/1087.70	c 1087s |      19 |  1547646 |   650482 |    17567     87 |        0 |        0
1089.39/1089.74	c 1089s |      19 |  1549708 |   652082 |    17567     87 |        0 |        0
1091.49/1091.80	c 1091s |      19 |  1559696 |   653782 |    17567     87 |        0 |        0
1093.48/1093.84	c 1093s |      19 |  1572236 |   655282 |    17567     87 |        0 |        0
1095.58/1095.94	c 1095s |      19 |  1575199 |   656682 |    17567     87 |        0 |        0
1097.68/1098.05	c 1097s |      19 |  1577321 |   658082 |    17567     87 |        0 |        0
1099.69/1100.08	c 1099s |      19 |  1579145 |   659482 |    17567     88 |        0 |        0
1101.78/1102.11	c 1101s |      19 |  1582837 |   661182 |    17567     88 |        0 |        0
1103.88/1104.23	c 1104s |      19 |  1584886 |   662782 |    19324     88 |        0 |        0
1105.88/1106.23	c 1106s |      19 |  1590342 |   664282 |    19324     88 |        0 |        0
1107.98/1108.32	c 1108s |      19 |  1592335 |   665982 |    19324     88 |        0 |        0
1109.08/1109.42	c 1109s |      20 |  1593231 |   666827 |    19324     88 |        0 |        0
1111.08/1111.49	c 1111s |      20 |  1602060 |   667827 |    19324     88 |        0 |        0
1113.18/1113.59	c 1113s |      20 |  1604101 |   668727 |    19324     88 |        0 |        0
1115.27/1115.62	c 1115s |      20 |  1606368 |   669527 |    19324     89 |        0 |        0
1117.28/1117.62	c 1117s |      20 |  1610416 |   670827 |    19324     89 |        0 |        0
1119.37/1119.73	c 1119s |      20 |  1612645 |   672127 |    19324     89 |        0 |        0
1121.47/1121.81	c 1121s |      20 |  1614545 |   673327 |    19324     89 |        0 |        0
1123.46/1123.88	c 1123s |      20 |  1617285 |   674627 |    19324     89 |        0 |        0
1125.56/1125.92	c 1125s |      20 |  1619321 |   675827 |    19324     89 |        0 |        0
1127.56/1127.97	c 1127s |      20 |  1620925 |   677027 |    19324     89 |        0 |        0
1129.56/1129.99	c 1129s |      20 |  1622827 |   678227 |    19324     89 |        0 |        0
1131.96/1132.31	c 1132s |      20 |  1624456 |   679427 |    19324     90 |        0 |        0
1134.06/1134.40	c 1134s |      20 |  1626517 |   680427 |    19324     90 |        0 |        0
1136.06/1136.49	c 1136s |      20 |  1628129 |   681527 |    19324     90 |        0 |        0
1138.16/1138.51	c 1138s |      20 |  1630375 |   682827 |    19324     90 |        0 |        0
1140.15/1140.56	c 1140s |      20 |  1631596 |   683727 |    19324     90 |        0 |        0
1142.25/1142.68	c 1142s |      20 |  1633191 |   684627 |    19324     90 |        0 |        0
1144.35/1144.79	c 1144s |      20 |  1634778 |   685627 |    19324     90 |        0 |        0
1146.45/1146.80	c 1146s |      20 |  1635528 |   686327 |    19324     90 |        0 |        0
1148.45/1148.88	c 1148s |      20 |  1636363 |   687127 |    19324     90 |        0 |        0
1150.55/1150.94	c 1150s |      20 |  1638768 |   688327 |    19324     90 |        0 |        0
1152.56/1152.98	c 1152s |      20 |  1639869 |   689227 |    19324     91 |        0 |        0
1154.54/1154.98	c 1154s |      20 |  1642371 |   690727 |    19324     91 |        0 |        0
1156.85/1157.22	c 1157s |      20 |  1644228 |   692027 |    19324     91 |        0 |        0
1158.94/1159.32	c 1159s |      20 |  1645433 |   693127 |    19324     91 |        0 |        0
1161.04/1161.45	c 1161s |      20 |  1647614 |   694327 |    19324     91 |        0 |        0
1163.14/1163.53	c 1163s |      20 |  1649674 |   695427 |    19324     91 |        0 |        0
1165.13/1165.54	c 1165s |      20 |  1655712 |   696627 |    19324     91 |        0 |        0
1167.33/1167.71	c 1167s |      20 |  1658517 |   698027 |    19324     91 |        0 |        0
1169.63/1170.01	c 1169s |      20 |  1660274 |   699127 |    19324     92 |        0 |        0
1171.63/1172.07	c 1171s |      20 |  1663081 |   700727 |    19324     92 |        0 |        0
1173.73/1174.12	c 1174s |      20 |  1666293 |   701927 |    19324     92 |        0 |        0
1175.73/1176.19	c 1176s |      20 |  1669180 |   703127 |    19324     92 |        0 |        0
1177.83/1178.27	c 1178s |      20 |  1670903 |   704327 |    19324     92 |        0 |        0
1180.03/1180.41	c 1180s |      20 |  1672435 |   705727 |    19324     92 |        0 |        0
1182.03/1182.49	c 1182s |      20 |  1674079 |   706827 |    19324     92 |        0 |        0
1184.22/1184.65	c 1184s |      20 |  1675414 |   707827 |    19324     92 |        0 |        0
1186.22/1186.68	c 1186s |      20 |  1677007 |   708727 |    19324     92 |        0 |        0
1188.32/1188.74	c 1188s |      20 |  1680377 |   709727 |    19324     93 |        0 |        0
1190.32/1190.74	c 1190s |      20 |  1684875 |   711427 |    19324     93 |        0 |        0
1192.32/1192.78	c 1192s |      20 |  1689960 |   713027 |    19324     93 |        0 |        0
1194.41/1194.84	c 1194s |      20 |  1691608 |   714527 |    19324     93 |        0 |        0
1196.52/1196.99	c 1196s |      20 |  1693703 |   715827 |    19324     93 |        0 |        0
1198.72/1199.16	c 1199s |      20 |  1695536 |   717127 |    19324     93 |        0 |        0
1200.71/1201.20	c 1201s |      20 |  1696726 |   718227 |    19324     93 |        0 |        0
1202.91/1203.34	c 1203s |      20 |  1699681 |   719627 |    19324     94 |        0 |        0
1205.01/1205.40	c 1205s |      20 |  1703410 |   721127 |    19324     94 |        0 |        0
1207.11/1207.51	c 1207s |      20 |  1707485 |   722527 |    19324     94 |        0 |        0
1209.21/1209.66	c 1209s |      20 |  1709074 |   723927 |    19324     94 |        0 |        0
1211.21/1211.68	c 1211s |      20 |  1710599 |   725227 |    19324     94 |        0 |        0
1213.21/1213.68	c 1213s |      20 |  1712490 |   726427 |    19324     94 |        0 |        0
1215.40/1215.83	c 1215s |      20 |  1713881 |   727727 |    19324     94 |        0 |        0
1217.50/1217.94	c 1217s |      20 |  1719873 |   729027 |    19324     95 |        0 |        0
1219.51/1220.00	c 1219s |      20 |  1729074 |   730827 |    19324     95 |        0 |        0
1221.60/1222.07	c 1221s |      20 |  1731979 |   732627 |    19324     95 |        0 |        0
1223.79/1224.24	c 1224s |      20 |  1733676 |   734027 |    19324     95 |        0 |        0
1225.79/1226.28	c 1226s |      20 |  1735599 |   735027 |    19324     95 |        0 |        0
1227.79/1228.29	c 1228s |      20 |  1737476 |   736327 |    19324     95 |        0 |        0
1229.99/1230.41	c 1230s |      20 |  1739422 |   737727 |    19324     95 |        0 |        0
1232.09/1232.50	c 1232s |      20 |  1741638 |   739527 |    19324     96 |        0 |        0
1234.19/1234.60	c 1234s |      20 |  1744118 |   741027 |    19324     96 |        0 |        0
1236.19/1236.67	c 1236s |      20 |  1745939 |   742527 |    19324     96 |        0 |        0
1238.30/1238.75	c 1238s |      20 |  1748119 |   743927 |    19324     96 |        0 |        0
1240.29/1240.80	c 1240s |      20 |  1749663 |   745327 |    19324     96 |        0 |        0
1242.49/1242.94	c 1242s |      20 |  1751124 |   746627 |    19324     96 |        0 |        0
1244.58/1245.04	c 1244s |      20 |  1752465 |   747827 |    19324     96 |        0 |        0
1246.58/1247.05	c 1246s |      20 |  1753759 |   749027 |    19324     97 |        0 |        0
1248.78/1249.21	c 1249s |      20 |  1767476 |   750627 |    19324     97 |        0 |        0
1250.98/1251.40	c 1251s |      20 |  1774765 |   751927 |    19324     97 |        0 |        0
1252.98/1253.45	c 1253s |      20 |  1776525 |   753127 |    19324     97 |        0 |        0
1254.98/1255.49	c 1255s |      20 |  1780212 |   754327 |    19324     97 |        0 |        0
1257.08/1257.53	c 1257s |      20 |  1781968 |   755427 |    19324     97 |        0 |        0
1259.18/1259.65	c 1259s |      20 |  1784032 |   756527 |    19324     97 |        0 |        0
1261.18/1261.68	c 1261s |      20 |  1785451 |   757627 |    19324     97 |        0 |        0
1263.28/1263.79	c 1263s |      20 |  1788119 |   758827 |    19324     98 |        0 |        0
1265.37/1265.88	c 1265s |      20 |  1790749 |   760127 |    19324     98 |        0 |        0
1267.57/1268.07	c 1267s |      20 |  1792589 |   761327 |    19324     98 |        0 |        0
1269.77/1270.23	c 1270s |      20 |  1794743 |   762527 |    19324     98 |        0 |        0
1271.77/1272.28	c 1272s |      20 |  1796209 |   763527 |    19324     98 |        0 |        0
1273.77/1274.28	c 1274s |      20 |  1797111 |   764327 |    19324     98 |        0 |        0
1275.97/1276.46	c 1276s |      20 |  1799403 |   765527 |    19324     98 |        0 |        0
1278.06/1278.52	c 1278s |      20 |  1801273 |   766727 |    19324     98 |        0 |        0
1280.07/1280.55	c 1280s |      20 |  1802777 |   767927 |    19324     98 |        0 |        0
1282.17/1282.64	c 1282s |      20 |  1804303 |   769027 |    19324     99 |        0 |        0
1284.26/1284.74	c 1284s |      20 |  1810597 |   770627 |    19324     99 |        0 |        0
1286.36/1286.85	c 1286s |      20 |  1821956 |   772127 |    19324     99 |        0 |        0
1288.46/1288.95	c 1288s |      20 |  1823714 |   773227 |    19324     99 |        0 |        0
1290.56/1291.03	c 1290s |      20 |  1832263 |   774727 |    19324     99 |        0 |        0
1292.56/1293.08	c 1292s |      20 |  1833921 |   775827 |    19324     99 |        0 |        0
1294.65/1295.13	c 1295s |      20 |  1835213 |   776927 |    19324     99 |        0 |        0
1296.65/1297.20	c 1297s |      20 |  1837948 |   778027 |    19324    100 |        0 |        0
1298.76/1299.24	c 1299s |      20 |  1840630 |   779327 |    19324    100 |        0 |        0
1300.86/1301.35	c 1301s |      20 |  1842310 |   780627 |    19324    100 |        0 |        0
1302.96/1303.41	c 1303s |      20 |  1843974 |   782027 |    19324    100 |        0 |        0
1304.95/1305.49	c 1305s |      20 |  1846159 |   783327 |    19324    100 |        0 |        0
1307.15/1307.67	c 1307s |      20 |  1849465 |   784527 |    19324    100 |        0 |        0
1309.35/1309.81	c 1309s |      20 |  1851279 |   785527 |    19324    100 |        0 |        0
1311.45/1311.99	c 1311s |      20 |  1853042 |   786627 |    19324    100 |        0 |        0
1313.65/1314.17	c 1314s |      20 |  1854513 |   787727 |    19324    101 |        0 |        0
1315.85/1316.30	c 1316s |      20 |  1857236 |   789427 |    19324    101 |        0 |        0
1317.85/1318.35	c 1318s |      20 |  1858770 |   790827 |    19324    101 |        0 |        0
1319.95/1320.48	c 1320s |      20 |  1861654 |   792127 |    19324    101 |        0 |        0
1321.95/1322.49	c 1322s |      20 |  1863769 |   793227 |    19324    101 |        0 |        0
1324.05/1324.57	c 1324s |      20 |  1865543 |   794527 |    19324    101 |        0 |        0
1326.04/1326.59	c 1326s |      20 |  1867528 |   795727 |    19324    101 |        0 |        0
1328.24/1328.70	c 1328s |      20 |  1869920 |   797127 |    19324    101 |        0 |        0
1330.24/1330.73	c 1330s |      20 |  1871612 |   798327 |    19324    102 |        0 |        0
1332.34/1332.84	c 1332s |      20 |  1872948 |   799327 |    19324    102 |        0 |        0
1334.34/1334.86	c 1334s |      20 |  1875814 |   800427 |    19324    102 |        0 |        0
1336.34/1336.87	c 1336s |      20 |  1878512 |   801427 |    19324    102 |        0 |        0
1338.35/1338.89	c 1338s |      20 |  1882521 |   802527 |    19324    102 |        0 |        0
1340.45/1340.93	c 1340s |      20 |  1885373 |   804027 |    19324    102 |        0 |        0
1342.54/1343.08	c 1342s |      20 |  1887061 |   805427 |    19324    102 |        0 |        0
1344.73/1345.20	c 1345s |      20 |  1888706 |   806827 |    19324    102 |        0 |        0
1346.73/1347.29	c 1347s |      20 |  1890398 |   808327 |    19324    103 |        0 |        0
1348.83/1349.36	c 1349s |      20 |  1892992 |   809627 |    19324    103 |        0 |        0
1350.93/1351.41	c 1351s |      20 |  1895659 |   811127 |    19324    103 |        0 |        0
1353.03/1353.51	c 1353s |      20 |  1898381 |   812527 |    19324    103 |        0 |        0
1355.13/1355.67	c 1355s |      20 |  1900262 |   813927 |    19324    103 |        0 |        0
1357.13/1357.68	c 1357s |      20 |  1902255 |   815327 |    19324    103 |        0 |        0
1359.24/1359.72	c 1359s |      20 |  1903854 |   816627 |    19324    103 |        0 |        0
1361.34/1361.82	c 1361s |      20 |  1905567 |   817827 |    19324    104 |        0 |        0
1363.33/1363.86	c 1363s |      20 |  1914620 |   819527 |    19324    104 |        0 |        0
1365.43/1365.93	c 1365s |      20 |  1917648 |   820827 |    19324    104 |        0 |        0
1367.43/1367.97	c 1367s |      20 |  1921212 |   822227 |    19324    104 |        0 |        0
1369.43/1369.97	c 1369s |      20 |  1922651 |   823427 |    19324    104 |        0 |        0
1371.43/1371.99	c 1371s |      20 |  1924617 |   824827 |    19324    104 |        0 |        0
1373.54/1374.04	c 1373s |      20 |  1926364 |   826227 |    19324    104 |        0 |        0
1375.73/1376.27	c 1376s |      20 |  1928686 |   827327 |    19324    104 |        0 |        0
1377.83/1378.31	c 1378s |      20 |  1931222 |   828227 |    19324    105 |        0 |        0
1379.93/1380.40	c 1380s |      20 |  1932461 |   829227 |    19324    105 |        0 |        0
1381.93/1382.48	c 1382s |      20 |  1934203 |   830327 |    19324    105 |        0 |        0
1384.03/1384.50	c 1384s |      20 |  1935677 |   831527 |    19324    105 |        0 |        0
1386.03/1386.53	c 1386s |      20 |  1937112 |   832427 |    19324    105 |        0 |        0
1388.03/1388.54	c 1388s |      20 |  1938546 |   833427 |    19324    105 |        0 |        0
1390.22/1390.73	c 1390s |      20 |  1939900 |   834427 |    19324    105 |        0 |        0
1392.23/1392.74	c 1392s |      20 |  1941835 |   835427 |    19324    105 |        0 |        0
1394.33/1394.88	c 1394s |      20 |  1943438 |   836527 |    19324    105 |        0 |        0
1396.32/1396.89	c 1396s |      20 |  1944713 |   837527 |    19324    106 |        0 |        0
1398.52/1399.00	c 1398s |      20 |  1946835 |   838927 |    19324    106 |        0 |        0
1400.52/1401.06	c 1400s |      20 |  1947815 |   839827 |    19324    106 |        0 |        0
1402.62/1403.12	c 1403s |      20 |  1951116 |   841127 |    19324    106 |        0 |        0
1404.62/1405.19	c 1405s |      20 |  1953089 |   842827 |    19324    106 |        0 |        0
1406.82/1407.32	c 1407s |      20 |  1955564 |   844327 |    19324    106 |        0 |        0
1408.82/1409.33	c 1409s |      20 |  1957131 |   845727 |    19324    106 |        0 |        0
1410.83/1411.35	c 1411s |      20 |  1965977 |   846927 |    19324    106 |        0 |        0
1412.92/1413.48	c 1413s |      20 |  1968369 |   848327 |    19324    107 |        0 |        0
1415.02/1415.50	c 1415s |      20 |  1970347 |   849827 |    19324    107 |        0 |        0
1417.12/1417.61	c 1417s |      20 |  1972944 |   851427 |    19324    107 |        0 |        0
1419.22/1419.70	c 1419s |      20 |  1974971 |   852927 |    19324    107 |        0 |        0
1421.32/1421.83	c 1421s |      20 |  1976724 |   854527 |    19324    107 |        0 |        0
1423.32/1423.86	c 1423s |      20 |  1978304 |   855927 |    19324    107 |        0 |        0
1425.42/1425.92	c 1425s |      20 |  1979803 |   857227 |    19324    108 |        0 |        0
1427.52/1428.04	c 1427s |      20 |  1981613 |   858827 |    19324    108 |        0 |        0
1429.53/1430.05	c 1429s |      20 |  1983328 |   860127 |    19324    108 |        0 |        0
1431.62/1432.11	c 1432s |      20 |  1984823 |   861427 |    19324    108 |        0 |        0
1433.62/1434.19	c 1434s |      20 |  1986329 |   862727 |    19324    108 |        0 |        0
1435.82/1436.32	c 1436s |      20 |  2004355 |   863727 |    19324    108 |        0 |        0
1437.82/1438.35	c 1438s |      20 |  2005616 |   864827 |    19324    108 |        0 |        0
1440.02/1440.51	c 1440s |      20 |  2006870 |   865927 |    19324    108 |        0 |        0
1442.32/1442.89	c 1442s |      20 |  2007968 |   866827 |    19324    109 |        0 |        0
1444.42/1444.92	c 1444s |      20 |  2009523 |   868227 |    19324    109 |        0 |        0
1446.51/1447.03	c 1446s |      20 |  2011051 |   869627 |    19324    109 |        0 |        0
1448.51/1449.07	c 1448s |      20 |  2012485 |   870927 |    19324    109 |        0 |        0
1450.61/1451.14	c 1451s |      20 |  2015149 |   872327 |    19324    109 |        0 |        0
1452.72/1453.23	c 1453s |      20 |  2016622 |   873627 |    19324    109 |        0 |        0
1454.92/1455.41	c 1455s |      20 |  2018157 |   874927 |    19324    109 |        0 |        0
1457.02/1457.57	c 1457s |      20 |  2031251 |   876127 |    19324    109 |        0 |        0
1459.01/1459.58	c 1459s |      20 |  2035141 |   877227 |    19324    110 |        0 |        0
1461.11/1461.63	c 1461s |      20 |  2038719 |   878827 |    19324    110 |        0 |        0
1463.11/1463.64	c 1463s |      20 |  2040769 |   880427 |    19324    110 |        0 |        0
1465.21/1465.73	c 1465s |      20 |  2042742 |   882027 |    19324    110 |        0 |        0
1467.21/1467.73	c 1467s |      20 |  2044256 |   883327 |    19324    110 |        0 |        0
1469.22/1469.74	c 1469s |      20 |  2045685 |   884527 |    19324    110 |        0 |        0
1471.21/1471.80	c 1471s |      20 |  2047895 |   885827 |    19324    110 |        0 |        0
1473.31/1473.86	c 1473s |      20 |  2049205 |   886927 |    19324    111 |        0 |        0
1475.41/1475.99	c 1475s |      20 |  2051595 |   888727 |    19324    111 |        0 |        0
1477.51/1478.05	c 1477s |      20 |  2053350 |   890227 |    19324    111 |        0 |        0
1479.61/1480.19	c 1480s |      20 |  2067887 |   891527 |    19324    111 |        0 |        0
1481.81/1482.34	c 1482s |      20 |  2070246 |   892927 |    19324    111 |        0 |        0
1483.91/1484.45	c 1484s |      20 |  2072063 |   894327 |    19324    111 |        0 |        0
1485.91/1486.46	c 1486s |      20 |  2074689 |   895627 |    19324    111 |        0 |        0
1488.01/1488.56	c 1488s |      20 |  2076306 |   896927 |    19324    112 |        0 |        0
1490.11/1490.67	c 1490s |      20 |  2077797 |   898227 |    19324    112 |        0 |        0
1492.31/1492.83	c 1492s |      20 |  2079875 |   899627 |    19324    112 |        0 |        0
1494.41/1494.93	c 1494s |      20 |  2081507 |   901027 |    19324    112 |        0 |        0
1496.50/1497.07	c 1496s |      20 |  2083058 |   902427 |    19324    112 |        0 |        0
1498.50/1499.08	c 1498s |      20 |  2084359 |   903627 |    19324    112 |        0 |        0
1500.60/1501.19	c 1501s |      20 |  2085977 |   904727 |    19324    112 |        0 |        0
1502.70/1503.24	c 1503s |      20 |  2087055 |   905727 |    19324    112 |        0 |        0
1504.70/1505.28	c 1505s |      20 |  2088148 |   906727 |    19324    113 |        0 |        0
1506.80/1507.39	c 1507s |      20 |  2089348 |   907827 |    19324    113 |        0 |        0
1509.00/1509.50	c 1509s |      20 |  2103380 |   909127 |    19324    113 |        0 |        0
1511.01/1511.58	c 1511s |      20 |  2106232 |   910727 |    19324    113 |        0 |        0
1513.21/1513.71	c 1513s |      20 |  2108134 |   912127 |    19324    113 |        0 |        0
1515.31/1515.84	c 1515s |      20 |  2109578 |   913427 |    19324    113 |        0 |        0
1517.40/1517.99	c 1517s |      20 |  2111071 |   914727 |    19324    113 |        0 |        0
1519.50/1520.02	c 1519s |      20 |  2112524 |   915927 |    19324    113 |        0 |        0
1521.50/1522.04	c 1521s |      20 |  2113995 |   916827 |    19324    114 |        0 |        0
1523.70/1524.20	c 1524s |      20 |  2115595 |   918227 |    19324    114 |        0 |        0
1525.70/1526.21	c 1526s |      20 |  2117285 |   919727 |    19324    114 |        0 |        0
1527.70/1528.26	c 1528s |      20 |  2119283 |   921127 |    19324    114 |        0 |        0
1529.80/1530.32	c 1530s |      20 |  2120566 |   922327 |    19324    114 |        0 |        0
1531.91/1532.45	c 1532s |      20 |  2121853 |   923527 |    19324    114 |        0 |        0
1534.00/1534.51	c 1534s |      20 |  2131951 |   924727 |    19324    114 |        0 |        0
1536.10/1536.64	c 1536s |      20 |  2138933 |   925827 |    19324    114 |        0 |        0
1538.11/1538.69	c 1538s |      20 |  2140364 |   926727 |    19324    115 |        0 |        0
1540.31/1540.81	c 1540s |      20 |  2142615 |   927927 |    19324    115 |        0 |        0
1542.31/1542.82	c 1542s |      20 |  2144227 |   929027 |    19324    115 |        0 |        0
1544.31/1544.86	c 1544s |      20 |  2145795 |   930027 |    19324    115 |        0 |        0
1546.40/1546.94	c 1546s |      20 |  2146898 |   931027 |    19324    115 |        0 |        0
1548.60/1549.17	c 1549s |      20 |  2148366 |   932027 |    19324    115 |        0 |        0
1550.80/1551.38	c 1551s |      20 |  2149479 |   933027 |    19324    115 |        0 |        0
1552.90/1553.47	c 1553s |      20 |  2150456 |   933927 |    19324    115 |        0 |        0
1554.91/1555.49	c 1555s |      20 |  2151994 |   934727 |    19324    115 |        0 |        0
1557.00/1557.54	c 1557s |      20 |  2152890 |   935527 |    19324    115 |        0 |        0
1559.00/1559.57	c 1559s |      20 |  2153901 |   936327 |    19324    116 |        0 |        0
1561.10/1561.68	c 1561s |      20 |  2155294 |   937527 |    19324    116 |        0 |        0
1563.30/1563.82	c 1563s |      20 |  2156829 |   938727 |    19324    116 |        0 |        0
1565.40/1565.91	c 1565s |      20 |  2157978 |   939727 |    19324    116 |        0 |        0
1567.50/1568.07	c 1567s |      20 |  2159565 |   940727 |    19324    116 |        0 |        0
1569.70/1570.22	c 1570s |      20 |  2160868 |   941827 |    19324    116 |        0 |        0
1571.80/1572.30	c 1572s |      20 |  2162252 |   943027 |    19324    116 |        0 |        0
1573.80/1574.36	c 1574s |      20 |  2163681 |   944327 |    19324    116 |        0 |        0
1575.91/1576.48	c 1576s |      20 |  2165140 |   945627 |    19324    116 |        0 |        0
1578.40/1578.94	c 1578s |      20 |  2171629 |   946527 |    19324    117 |        0 |        0
1580.50/1581.00	c 1580s |      20 |  2180509 |   948127 |    19324    117 |        0 |        0
1582.51/1583.09	c 1582s |      20 |  2184191 |   949727 |    19324    117 |        0 |        0
1584.70/1585.21	c 1585s |      20 |  2185994 |   951227 |    19324    117 |        0 |        0
1586.70/1587.23	c 1587s |      20 |  2188019 |   952527 |    19324    117 |        0 |        0
1588.80/1589.35	c 1589s |      20 |  2189736 |   954027 |    19324    117 |        0 |        0
1591.20/1591.73	c 1591s |      20 |  2193053 |   955427 |    19324    118 |        0 |        0
1593.30/1593.83	c 1593s |      20 |  2205045 |   956927 |    19324    118 |        0 |        0
1595.39/1595.92	c 1595s |      20 |  2207149 |   958427 |    19324    118 |        0 |        0
1597.49/1598.04	c 1597s |      20 |  2209666 |   959927 |    19324    118 |        0 |        0
1599.59/1600.16	c 1600s |      20 |  2211494 |   961227 |    19324    118 |        0 |        0
1601.59/1602.17	c 1602s |      20 |  2212921 |   962527 |    19324    118 |        0 |        0
1603.69/1604.22	c 1604s |      20 |  2214328 |   963827 |    19324    118 |        0 |        0
1605.79/1606.32	c 1606s |      20 |  2215856 |   965227 |    19324    118 |        0 |        0
1607.80/1608.34	c 1608s |      20 |  2217183 |   966427 |    19324    119 |        0 |        0
1609.79/1610.35	c 1610s |      20 |  2218590 |   967727 |    19324    119 |        0 |        0
1611.89/1612.45	c 1612s |      20 |  2220074 |   969127 |    19324    119 |        0 |        0
1614.09/1614.61	c 1614s |      20 |  2221581 |   970527 |    19324    119 |        0 |        0
1616.09/1616.68	c 1616s |      20 |  2222991 |   971827 |    19324    119 |        0 |        0
1618.19/1618.71	c 1618s |      20 |  2224312 |   973027 |    19324    119 |        0 |        0
1620.19/1620.76	c 1620s |      20 |  2225593 |   974227 |    19324    119 |        0 |        0
1622.79/1623.31	c 1623s |      20 |  2226802 |   975327 |    19324    120 |        0 |        0
1624.79/1625.35	c 1625s |      20 |  2228738 |   976327 |    19324    120 |        0 |        0
1626.88/1627.42	c 1627s |      20 |  2230321 |   977827 |    19324    120 |        0 |        0
1628.98/1629.58	c 1629s |      20 |  2232090 |   979427 |    19324    120 |        0 |        0
1631.08/1631.69	c 1631s |      20 |  2233473 |   980727 |    19324    120 |        0 |        0
1633.28/1633.83	c 1633s |      20 |  2235119 |   982227 |    19324    120 |        0 |        0
1635.38/1635.93	c 1635s |      20 |  2236592 |   983627 |    19324    120 |        0 |        0
1637.49/1638.03	c 1637s |      20 |  2238024 |   984927 |    19324    120 |        0 |        0
1639.48/1640.06	c 1639s |      20 |  2238867 |   985727 |    19324    121 |        0 |        0
1641.58/1642.13	c 1642s |      20 |  2241807 |   987127 |    19324    121 |        0 |        0
1643.58/1644.14	c 1644s |      20 |  2243306 |   988527 |    19324    121 |        0 |        0
1645.68/1646.25	c 1646s |      20 |  2245457 |   989827 |    19324    121 |        0 |        0
1647.88/1648.41	c 1648s |      20 |  2246706 |   991027 |    19324    121 |        0 |        0
1649.98/1650.55	c 1650s |      20 |  2248722 |   992327 |    19324    121 |        0 |        0
1651.98/1652.57	c 1652s |      20 |  2250001 |   993527 |    21257    121 |        0 |        0
1654.08/1654.61	c 1654s |      20 |  2251249 |   994727 |    21257    121 |        0 |        0
1656.09/1656.62	c 1656s |      20 |  2252525 |   995927 |    21257    121 |        0 |        0
1659.09/1659.60	c 1659s |      20 |  2253587 |   996927 |    21257    122 |        0 |        0
1661.09/1661.65	c 1661s |      20 |  2255081 |   998327 |    21257    122 |        0 |        0
1663.09/1663.70	c 1663s |      20 |  2256681 |   999827 |    21257    122 |        0 |        0
1663.79/1664.39	c 1664s |      21 |  2257234 |  1000345 |    21257    122 |        0 |        0
1665.89/1666.45	c 1666s |      21 |  2290079 |  1001545 |    21257    122 |        0 |        0
1667.99/1668.56	c 1668s |      21 |  2292282 |  1002945 |    21257    122 |        0 |        0
1669.99/1670.58	c 1670s |      21 |  2294063 |  1004145 |    21257    122 |        0 |        0
1672.18/1672.74	c 1672s |      21 |  2307259 |  1005445 |    21257    122 |        0 |        0
1674.19/1674.78	c 1674s |      21 |  2310470 |  1006645 |    21257    122 |        0 |        0
1676.28/1676.85	c 1676s |      21 |  2315329 |  1007745 |    21257    123 |        0 |        0
1678.28/1678.86	c 1678s |      21 |  2318009 |  1009345 |    21257    123 |        0 |        0
1680.39/1680.92	c 1680s |      21 |  2319817 |  1011045 |    21257    123 |        0 |        0
1682.38/1682.94	c 1682s |      21 |  2322023 |  1012345 |    21257    123 |        0 |        0
1684.48/1685.09	c 1684s |      21 |  2323363 |  1013545 |    21257    123 |        0 |        0
1686.68/1687.21	c 1687s |      21 |  2324690 |  1014745 |    21257    123 |        0 |        0
1688.68/1689.25	c 1689s |      21 |  2325966 |  1015945 |    21257    123 |        0 |        0
1690.88/1691.43	c 1691s |      21 |  2327714 |  1017145 |    21257    123 |        0 |        0
1692.98/1693.54	c 1693s |      21 |  2329065 |  1018145 |    21257    123 |        0 |        0
1695.08/1695.62	c 1695s |      21 |  2331171 |  1019345 |    21257    124 |        0 |        0
1697.08/1697.64	c 1697s |      21 |  2334564 |  1020645 |    21257    124 |        0 |        0
1699.18/1699.75	c 1699s |      21 |  2337241 |  1022045 |    21257    124 |        0 |        0
1701.19/1701.79	c 1701s |      21 |  2341629 |  1023545 |    21257    124 |        0 |        0
1703.28/1703.83	c 1703s |      21 |  2343128 |  1024745 |    21257    124 |        0 |        0
1705.28/1705.84	c 1705s |      21 |  2344450 |  1025945 |    21257    124 |        0 |        0
1707.38/1707.93	c 1707s |      21 |  2346086 |  1027445 |    21257    124 |        0 |        0
1709.38/1709.93	c 1709s |      21 |  2347840 |  1028645 |    21257    124 |        0 |        0
1711.38/1711.95	c 1711s |      21 |  2349340 |  1029845 |    21257    125 |        0 |        0
1713.48/1714.02	c 1713s |      21 |  2350760 |  1031145 |    21257    125 |        0 |        0
1715.58/1716.15	c 1716s |      21 |  2352919 |  1032445 |    21257    125 |        0 |        0
1717.68/1718.23	c 1718s |      21 |  2354703 |  1033845 |    21257    125 |        0 |        0
1719.78/1720.32	c 1720s |      21 |  2356519 |  1035145 |    21257    125 |        0 |        0
1721.78/1722.38	c 1722s |      21 |  2357925 |  1036245 |    21257    125 |        0 |        0
1723.78/1724.38	c 1724s |      21 |  2360096 |  1037245 |    21257    125 |        0 |        0
1725.98/1726.53	c 1726s |      21 |  2361641 |  1038245 |    21257    125 |        0 |        0
1728.08/1728.68	c 1728s |      21 |  2362881 |  1039145 |    21257    125 |        0 |        0
1730.18/1730.72	c 1730s |      21 |  2363946 |  1040145 |    21257    126 |        0 |        0
1732.27/1732.86	c 1732s |      21 |  2368228 |  1041645 |    21257    126 |        0 |        0
1734.38/1734.97	c 1734s |      21 |  2378928 |  1043145 |    21257    126 |        0 |        0
1736.38/1737.00	c 1736s |      21 |  2383854 |  1044645 |    21257    126 |        0 |        0
1738.58/1739.11	c 1739s |      21 |  2386448 |  1045945 |    21257    126 |        0 |        0
1740.67/1741.22	c 1741s |      21 |  2388082 |  1046945 |    21257    126 |        0 |        0
1742.77/1743.37	c 1743s |      21 |  2391296 |  1048045 |    21257    126 |        0 |        0
1744.97/1745.57	c 1745s |      21 |  2393476 |  1049145 |    21257    126 |        0 |        0
1746.97/1747.58	c 1747s |      21 |  2394552 |  1050145 |    21257    126 |        0 |        0
1749.07/1749.64	c 1749s |      21 |  2395616 |  1050945 |    21257    127 |        0 |        0
1751.17/1751.72	c 1751s |      21 |  2397956 |  1052345 |    21257    127 |        0 |        0
1753.27/1753.87	c 1753s |      21 |  2399262 |  1053545 |    21257    127 |        0 |        0
1755.47/1756.01	c 1755s |      21 |  2401349 |  1054745 |    21257    127 |        0 |        0
1757.47/1758.03	c 1757s |      21 |  2402626 |  1055845 |    21257    127 |        0 |        0
1759.58/1760.18	c 1760s |      21 |  2403799 |  1056945 |    21257    127 |        0 |        0
1761.68/1762.28	c 1762s |      21 |  2404986 |  1058045 |    21257    127 |        0 |        0
1763.77/1764.37	c 1764s |      21 |  2406297 |  1059245 |    21257    127 |        0 |        0
1765.97/1766.54	c 1766s |      21 |  2407838 |  1060445 |    21257    127 |        0 |        0
1768.17/1768.72	c 1768s |      21 |  2409417 |  1061445 |    21257    127 |        0 |        0
1770.27/1770.82	c 1770s |      21 |  2410487 |  1062445 |    21257    128 |        0 |        0
1772.27/1772.84	c 1772s |      21 |  2412283 |  1063945 |    21257    128 |        0 |        0
1774.27/1774.87	c 1774s |      21 |  2414175 |  1065545 |    21257    128 |        0 |        0
1776.37/1776.98	c 1776s |      21 |  2415459 |  1066645 |    21257    128 |        0 |        0
1778.47/1779.03	c 1778s |      21 |  2419530 |  1067945 |    21257    128 |        0 |        0
1780.57/1781.16	c 1781s |      21 |  2422835 |  1069245 |    21257    128 |        0 |        0
1782.67/1783.25	c 1783s |      21 |  2424042 |  1070345 |    21257    128 |        0 |        0
1784.77/1785.31	c 1785s |      21 |  2425243 |  1071445 |    21257    128 |        0 |        0
1786.77/1787.33	c 1787s |      21 |  2426441 |  1072545 |    21257    128 |        0 |        0
1788.87/1789.40	c 1789s |      21 |  2427722 |  1073545 |    21257    129 |        0 |        0
1790.86/1791.47	c 1791s |      21 |  2428993 |  1074745 |    21257    129 |        0 |        0
1792.86/1793.48	c 1793s |      21 |  2430426 |  1076045 |    21257    129 |        0 |        0
1795.06/1795.64	c 1795s |      21 |  2431871 |  1077345 |    21257    129 |        0 |        0
1797.16/1797.73	c 1797s |      21 |  2433351 |  1078645 |    21257    129 |        0 |        0
1799.17/1799.77	c 1799s |      21 |  2435360 |  1079945 |    21257    129 |        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-4090247-1466039131/watcher-4090247-1466039131 -o /tmp/evaluation-result-4090247-1466039131/solver-4090247-1466039131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090247-1466039131.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.25 2.19 2/180 12721
/proc/meminfo: memFree=29320872/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 2600 0 0 0 0 0 0 0 20 0 4 0 5958877 714534912 3471 33554432000 4194304 16246674 140736095840304 140736095839728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 175215 3482 441 2943 0 172109 0
[pid=12721/tid=12722] ppid=12718 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 733409280 3543 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 737603584 3559 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 741797888 3575 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.29 2.25 2.19 2/180 12721
/proc/meminfo: memFree=29320872/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 19639 0 0 0 7 2 0 0 20 0 4 0 5958877 1249447936 20449 33554432000 4194304 16246674 140736095840304 140736095839616 12457395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 305041 20456 835 2943 0 301935 0
[pid=12721/tid=12722] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 20461 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 20466 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 20471 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200547 s]
/proc/loadavg: 2.29 2.25 2.19 2/180 12721
/proc/meminfo: memFree=29320872/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 37568 0 0 0 15 4 0 0 20 0 4 0 5958877 1249447936 38378 33554432000 4194304 16246674 140736095840304 140736095839616 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 305041 38385 873 2943 0 301935 0
[pid=12721/tid=12722] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 38389 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 38394 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 38399 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300453 s]
/proc/loadavg: 2.29 2.25 2.19 2/180 12721
/proc/meminfo: memFree=29320872/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 55788 0 0 0 22 7 0 0 20 0 4 0 5958877 1249447936 56598 33554432000 4194304 16246674 140736095840304 140736095839616 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 305041 56605 873 2943 0 301935 0
[pid=12721/tid=12722] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 56611 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 56616 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 56622 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.70041 s]
/proc/loadavg: 2.29 2.25 2.19 2/180 12721
/proc/meminfo: memFree=29320872/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 126278 0 0 0 53 16 0 0 20 0 4 0 5958877 1249447936 127088 33554432000 4194304 16246674 140736095840304 140736095839616 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 305041 127096 873 2943 0 301935 0
[pid=12721/tid=12722] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 127101 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 127108 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1249447936 127114 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50039 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 12725
/proc/meminfo: memFree=28517936/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 266471 0 0 0 115 34 0 0 20 0 4 0 5958877 1333334016 267280 33554432000 4194304 16246674 140736095840304 140736095839616 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 325521 267280 876 2943 0 322415 0
[pid=12721/tid=12722] ppid=12718 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1333334016 267280 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1333334016 267280 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1333334016 267280 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 12725
/proc/meminfo: memFree=28252204/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 267706 0 0 0 274 34 0 0 20 0 4 0 5958877 1337528320 268515 33554432000 4194304 16246674 140736095840304 140736095822208 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 326545 268515 876 2943 0 323439 0
[pid=12721/tid=12722] ppid=12718 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1337528320 268515 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1337528320 268515 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1337528320 268515 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.35 2.26 2.19 4/184 12725
/proc/meminfo: memFree=28246080/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 267977 0 0 0 594 34 0 0 20 0 4 0 5958877 1338576896 268786 33554432000 4194304 16246674 140736095840304 140736095822208 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 326801 268786 880 2943 0 323695 0
[pid=12721/tid=12722] ppid=12718 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1338576896 268786 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1338576896 268786 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1338576896 268786 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.32 2.26 2.19 3/184 12725
/proc/meminfo: memFree=28246504/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 267986 0 0 0 1234 34 0 0 20 0 4 0 5958877 1338576896 268795 33554432000 4194304 16246674 140736095840304 140736095822208 13192029 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 326801 268795 887 2943 0 323695 0
[pid=12721/tid=12722] ppid=12718 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1338576896 268795 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1338576896 268795 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1338576896 268795 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5004 s]
/proc/loadavg: 2.39 2.28 2.20 4/184 12725
/proc/meminfo: memFree=28244880/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 268242 0 0 0 2514 34 0 0 20 0 4 0 5958877 1339625472 269051 33554432000 4194304 16246674 140736095840304 140736095822208 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 327057 269051 887 2943 0 323951 0
[pid=12721/tid=12722] ppid=12718 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1339625472 269051 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1339625472 269051 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1339625472 269051 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.26 2.25 2.19 3/184 12725
/proc/meminfo: memFree=28222528/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1321540 CPUtime=51.08 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 271567 0 0 0 5073 35 0 0 20 0 4 0 5958877 1353256960 272376 33554432000 4194304 16246674 140736095840304 140736095822208 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 330385 272376 887 2943 0 327279 0
[pid=12721/tid=12722] ppid=12718 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1353256960 272376 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1353256960 272376 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1353256960 272376 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/184 12726
/proc/meminfo: memFree=28223024/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 271568 0 0 0 10193 35 0 0 20 0 4 0 5958877 1353256960 272377 33554432000 4194304 16246674 140736095840304 140736095822208 5546321 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 330385 272377 888 2943 0 327279 0
[pid=12721/tid=12722] ppid=12718 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1353256960 272377 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1353256960 272377 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1353256960 272377 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1349188

[startup+1302.3 s]
/proc/loadavg: 2.26 2.26 2.25 3/184 12757
/proc/meminfo: memFree=28135588/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1301.86 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278926 0 0 0 130144 42 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.20 2.24 2.24 3/184 12758
/proc/meminfo: memFree=28135120/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1361.83 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278955 0 0 0 136141 42 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.29 2.27 2.25 4/184 12759
/proc/meminfo: memFree=28135600/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1421.83 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 142141 42 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.40 2.29 2.26 3/189 12904
/proc/meminfo: memFree=28095200/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1481.81 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 148139 42 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 3.06 2.51 2.33 3/189 12935
/proc/meminfo: memFree=28046892/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1541.81 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 154138 43 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.63 2.49 2.34 4/184 12969
/proc/meminfo: memFree=28046360/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1601.79 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 160136 43 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.45 2.46 2.34 3/183 12970
/proc/meminfo: memFree=28046488/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1661.79 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 166135 44 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.21 2.39 2.32 3/183 12971
/proc/meminfo: memFree=28046132/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1721.78 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 172134 44 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 1.83 2.26 2.28 3/173 13004
/proc/meminfo: memFree=29209288/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1781.77 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 178133 44 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5822275 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.59 2.18 2.25 2/173 13004
/proc/meminfo: memFree=29209536/32872528 swapFree=1401752/1579580
[pid=12721] ppid=12718 vsize=1349188 CPUtime=1800.06 cores=0,2,4,6
/proc/12721/stat : 12721 (toysat) R 12718 12721 5813 0 -1 4202496 278957 0 0 0 179962 44 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140736095822208 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12721/statm: 337297 279296 889 2943 0 334191 0
[pid=12721/tid=12722] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12722/stat : 12722 (toysat) S 12718 12721 5813 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082570833136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12721/tid=12723] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12723/stat : 12723 (toysat) S 12718 12721 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082560343280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12721/tid=12724] ppid=12718 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/12721/task/12724/stat : 12724 (toysat) S 12718 12721 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5958877 1381568512 279296 33554432000 4194304 16246674 140736095840304 140082438728880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1349188

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 12721 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.61
CPU time (s): 1800.08
CPU user time (s): 1799.63
CPU system time (s): 0.443932
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.443932
maximum resident set size= 1117184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278957
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= 487
involuntary context switches= 1904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2001 second user time and 17.0054 second system time

The end

Begin job on node139 at 2016-06-16 03:05:31
IDJOB=4090247
IDBENCH=107522
IDSOLVER=2542
FILE ID=node139/4090247-1466039131
RUNJOBID= node139-1466033607-11970
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-almost3reg-l045-r044-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090247-1466039131/watcher-4090247-1466039131 -o /tmp/evaluation-result-4090247-1466039131/solver-4090247-1466039131 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090247-1466039131.opb

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

MD5SUM BENCH= 103d3421fc5c39b04ad7c20ae13d388d
RANDOM SEED=1785338484

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29321400 kB
Buffers:           29392 kB
Cached:           151620 kB
SwapCached:         8924 kB
Active:          1153664 kB
Inactive:         114996 kB
Active(anon):    1081784 kB
Inactive(anon):     8356 kB
Active(file):      71880 kB
Inactive(file):   106640 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             16544 kB
Writeback:             0 kB
AnonPages:       2659812 kB
Mapped:            11308 kB
Shmem:                 0 kB
Slab:             568528 kB
SReclaimable:      12484 kB
SUnreclaim:       556044 kB
KernelStack:        1480 kB
PageTables:         9372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2803128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 71612 MiB
End job on node139 at 2016-06-16 03:35:32