0.00/0.00	c 2016-06-17T01:11:20+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-4097870-1466118680.opb"]
0.00/0.01	c use --random-gen="2938670390 652294383 3210709452 4271484714 2403787079 2731146117 2102147412 1019597552 3118017295 1026057 3606387263 1469273551 430210962 1617854072 1764848028 642184181 2178029242 3431547445 4200512329 2101771266 1301492769 2966136255 566686270 4015801271 3029039214 1829866032 2419964132 3402509134 228677315 3173225877 3569916935 95630988 1894412089 709878960 2340873482 1744233799 1617189069 566480643 1564624365 1415584205 1742303266 3066712915 1094860723 2372829841 2639042928 3335677 3928249479 361279561 2678054636 3822749865 3532931290 3140853058 2249432370 3930625638 2713003408 1123016638 1640267731 674245987 585364321 1312505058 3226317035 3834480024 534046477 4065302022 2087516183 3577406083 1997216416 693023462 761310562 2914997095 2100702119 4195582172 2127790226 3904996084 360715461 30757784 1065348503 1124897742 314704376 3970060714 458224468 202115531 2551369187 4006650967 1113010907 2856308619 2032647492 185391186 1225380112 297336965 2253225012 978010315 3228173818 1968559016 1511617588 1597110927 847163193 3023704096 2063528896 158028788 4158755807 1208438106 2435283033 269805268 3302931916 327565070 689628020 1479939133 2751239934 3380633980 653016599 2439404010 3396972837 3314368045 811273142 781219562 2100739366 2519694334 583739913 536904773 815104563 3771815609 2040918384 3824117022 2753389247 1454962654 3773479727 1008883539 504216497 2018599372 3775438782 1499845966 921287597 3967994284 3213586294 747004686 1940755392 985948510 1577266469 2441362182 2110865382 4062899364 3007900944 2192234498 2068119560 1422517767 1530990004 868968819 2507800360 4028626172 1331804667 1735143434 922567230 3235827270 1813724772 4242336038 1583582343 2635837147 2857881387 3506193666 580820473 2676649406 402880724 3703894418 3122594043 2918144930 1502915495 1955837738 3114128519 4034972450 3311962938 1329848722 4219750545 1103171075 1223230431 4073635290 3536748514 310492102 2620697996 1584266700 2503736783 3140631197 773577018 1017914363 2894689462 2556173624 3111360802 757752580 462685538 2820225365 1797785994 1331870080 3623864504 1337428591 356700933 3661687080 1202902171 3755944612 2068619198 1967651284 331804094 4037646276 174423823 1618987950 1745234591 2165045088 1556547230 1299342651 2733035797 1130738957 714121681 4005453030 1997089354 1509078047 2117226283 3866686152 3213200223 2452875273 3468082655 2485180024 2939687329 317991667 3598321710 238881231 2156029995 3083703111 837982470 1287586137 4211713241 1449833756 3176226943 3405039298 1851428754 1103699697 3726293747 41977496 2100530294 2219176230 1338337418 401373477 795252779 3580320917 3431888482 1617907254 1125796154 251371805 1426727510 229956400 1038694270 3062601365 2746836537 903141642 832861009 1543853397 1988034298 1112037714 255 362436" option to reproduce the execution
0.09/0.16	c #vars 1892
0.09/0.16	c #constraints 9034
0.39/0.42	c Solving starts ...
0.39/0.42	c ============================[ Search Statistics ]============================
0.39/0.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.42	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.42	c =============================================================================
0.39/0.43	c  0.0s |       0 |        0 |        0 |     3641      0 |        5 |        0
0.49/0.56	c  0.1s |       1 |      620 |      100 |     3641      0 |        5 |      368
0.69/0.73	c  0.3s |       2 |     1415 |      250 |     4006      0 |        5 |      368
0.89/0.93	c  0.5s |       3 |     2126 |      475 |     4407      0 |        5 |      368
1.29/1.34	c  0.9s |       4 |     3165 |      813 |     4848      0 |        5 |      368
1.69/1.75	c  1.3s |       5 |     4914 |     1320 |     5333      0 |        5 |      368
2.30/2.30	c  1.9s |       6 |     7138 |     2081 |     6454      0 |        5 |      368
3.09/3.11	c  2.7s |       7 |     9441 |     3223 |     7100      0 |        5 |      368
4.50/4.58	c  4.2s |       8 |    13029 |     4936 |     7811      0 |        5 |      368
6.49/6.59	c  6.2s |       8 |    16640 |     6736 |     7811      0 |        5 |      368
7.39/7.41	c  7.0s |       9 |    17654 |     7506 |     8593      0 |        5 |      368
9.49/9.54	c  9.1s |       9 |    21494 |     9506 |     8593      1 |        5 |      368
11.10/11.14	c 10.7s |      10 |    24866 |    11361 |     9453      1 |        5 |      368
13.20/13.21	c 12.8s |      10 |    28557 |    13561 |     9453      1 |        5 |      368
15.19/15.24	c 14.8s |      10 |    31837 |    15761 |     9453      2 |        5 |      368
16.39/16.47	c 16.1s |      11 |    33715 |    17144 |    10399      2 |        5 |      368
18.49/18.53	c 18.1s |      11 |    37277 |    19344 |    10399      2 |        5 |      368
20.49/20.56	c 20.1s |      11 |    40521 |    21644 |    10399      3 |        5 |      368
22.49/22.59	c 22.2s |      11 |    43404 |    23644 |    10399      3 |        5 |      368
24.59/24.65	c 24.2s |      11 |    46180 |    25544 |    10399      3 |        5 |      368
24.89/24.95	c 24.5s |      12 |    46546 |    25819 |    11439      3 |        5 |      368
26.99/27.00	c 26.6s |      12 |    49701 |    27619 |    11439      4 |        5 |      368
28.99/29.06	c 28.6s |      12 |    53437 |    29919 |    11439      4 |        5 |      368
31.09/31.10	c 30.7s |      12 |    56775 |    32119 |    11439      4 |        5 |      368
33.09/33.17	c 32.7s |      12 |    60287 |    34619 |    11439      5 |        5 |      368
35.19/35.21	c 34.8s |      12 |    63160 |    36719 |    11439      5 |        5 |      368
37.19/37.27	c 36.8s |      12 |    66213 |    38619 |    12583      5 |        5 |      368
37.39/37.45	c 37.0s |      13 |    66540 |    38832 |    12583      5 |        5 |      368
39.39/39.47	c 39.0s |      13 |    69655 |    40432 |    12583      6 |        5 |      368
41.48/41.57	c 41.1s |      13 |    73083 |    42732 |    12583      6 |        5 |      368
43.58/43.61	c 43.2s |      13 |    75980 |    44732 |    12583      6 |        5 |      368
45.58/45.64	c 45.2s |      13 |    78865 |    46732 |    12583      6 |        5 |      368
47.58/47.65	c 47.2s |      13 |    81851 |    49132 |    12583      7 |        5 |      368
49.59/49.69	c 49.3s |      13 |    84486 |    50932 |    12583      7 |        5 |      368
51.98/52.01	c 51.6s |      13 |    87262 |    52732 |    12583      7 |        5 |      368
53.98/54.05	c 53.6s |      13 |    89889 |    54532 |    12583      8 |        5 |      368
55.97/56.07	c 55.7s |      13 |    92684 |    56632 |    12583      8 |        5 |      368
57.77/57.87	c 57.4s |      14 |    94853 |    58352 |    13842      8 |        5 |      368
59.77/59.88	c 59.5s |      14 |    97208 |    59852 |    13842      8 |        5 |      368
61.87/61.96	c 61.5s |      14 |   100226 |    61452 |    13842      9 |        5 |      368
63.97/64.08	c 63.7s |      14 |   103394 |    63552 |    13842      9 |        5 |      368
65.98/66.08	c 65.7s |      14 |   106548 |    65452 |    13842      9 |        5 |      368
68.07/68.13	c 67.7s |      14 |   109531 |    67652 |    13842      9 |        5 |      368
70.07/70.18	c 69.8s |      14 |   112363 |    69752 |    13842     10 |        5 |      368
72.16/72.23	c 71.8s |      14 |   115293 |    71452 |    13842     10 |        5 |      368
74.16/74.25	c 73.8s |      14 |   118499 |    73552 |    13842     10 |        5 |      368
76.16/76.25	c 75.8s |      14 |   121852 |    75452 |    13842     10 |        5 |      368
78.17/78.27	c 77.8s |      14 |   124945 |    77352 |    13842     11 |        5 |      368
80.27/80.33	c 79.9s |      14 |   128336 |    79652 |    13842     11 |        5 |      368
82.26/82.39	c 82.0s |      14 |   131701 |    81852 |    13842     11 |        5 |      368
84.36/84.41	c 84.0s |      14 |   134554 |    83952 |    13842     12 |        5 |      368
86.36/86.45	c 86.0s |      14 |   138013 |    86552 |    13842     12 |        5 |      368
87.76/87.88	c 87.5s |      15 |   139448 |    87632 |    15227     12 |        5 |      368
89.96/90.00	c 89.6s |      15 |   142133 |    89332 |    15227     12 |        5 |      368
91.96/92.06	c 91.6s |      15 |   144774 |    91032 |    15227     12 |        5 |      368
94.05/94.15	c 93.7s |      15 |   147197 |    92732 |    15227     13 |        5 |      368
96.15/96.21	c 95.8s |      15 |   150284 |    94532 |    15227     13 |        5 |      368
98.25/98.30	c 97.9s |      15 |   152771 |    96332 |    15227     13 |        5 |      368
100.25/100.34	c 99.9s |      15 |   155157 |    97932 |    15227     13 |        5 |      368
102.26/102.39	c  101s |      15 |   157382 |    99732 |    15227     13 |        5 |      368
104.35/104.45	c  104s |      15 |   159605 |   101532 |    15227     14 |        5 |      368
106.35/106.47	c  106s |      15 |   161775 |   103332 |    15227     14 |        5 |      368
108.46/108.58	c  108s |      15 |   163677 |   104932 |    15227     14 |        5 |      368
110.66/110.71	c  110s |      15 |   166056 |   106632 |    15227     14 |        5 |      368
112.76/112.82	c  112s |      15 |   167963 |   108132 |    15227     14 |        5 |      368
114.76/114.84	c  114s |      15 |   169725 |   109432 |    15227     15 |        5 |      368
116.76/116.85	c  116s |      15 |   172535 |   111132 |    15227     15 |        5 |      368
118.76/118.89	c  118s |      15 |   174706 |   112632 |    15227     15 |        5 |      368
120.85/120.95	c  120s |      15 |   176873 |   114132 |    15227     15 |        5 |      368
122.85/122.96	c  122s |      15 |   179368 |   115532 |    15227     15 |        5 |      368
124.95/125.02	c  124s |      15 |   181142 |   116832 |    15227     16 |        5 |      368
126.95/127.03	c  126s |      15 |   183632 |   118532 |    15227     16 |        5 |      368
128.95/129.08	c  128s |      15 |   186025 |   120032 |    15227     16 |        5 |      368
131.05/131.17	c  130s |      15 |   188017 |   121632 |    15227     16 |        5 |      368
133.24/133.30	c  132s |      15 |   190102 |   123232 |    15227     16 |        5 |      368
135.25/135.36	c  134s |      15 |   192127 |   124832 |    15227     17 |        5 |      368
137.34/137.44	c  137s |      15 |   194886 |   126632 |    15227     17 |        5 |      368
139.44/139.57	c  139s |      15 |   197085 |   128232 |    15227     17 |        5 |      368
141.54/141.68	c  141s |      15 |   199787 |   129832 |    15227     17 |        5 |      368
143.74/143.82	c  143s |      15 |   202092 |   131232 |    16750     17 |        5 |      368
144.34/144.42	c  143s |      16 |   202498 |   131552 |    16750     17 |        5 |      368
146.34/146.44	c  146s |      16 |   203937 |   132652 |    16750     17 |        5 |      368
148.33/148.48	c  148s |      16 |   206752 |   134252 |    16750     18 |        5 |      368
150.43/150.55	c  150s |      16 |   210372 |   136252 |    16750     18 |        5 |      368
152.43/152.55	c  152s |      16 |   213788 |   138252 |    16750     18 |        5 |      368
154.53/154.60	c  154s |      16 |   217076 |   140052 |    16750     18 |        5 |      368
156.53/156.64	c  156s |      16 |   219752 |   141852 |    16750     18 |        5 |      368
158.53/158.68	c  158s |      16 |   222913 |   143852 |    16750     19 |        5 |      368
160.63/160.72	c  160s |      16 |   226051 |   145952 |    16750     19 |        5 |      368
162.62/162.78	c  162s |      16 |   229185 |   148252 |    16750     19 |        5 |      368
165.22/165.30	c  164s |      16 |   232191 |   150552 |    16750     20 |        5 |      368
167.23/167.32	c  166s |      16 |   236061 |   152452 |    16750     20 |        5 |      368
169.22/169.35	c  168s |      16 |   239900 |   154552 |    16750     20 |        5 |      368
171.22/171.37	c  170s |      16 |   243404 |   156752 |    16750     20 |        5 |      368
173.32/173.44	c  173s |      16 |   246537 |   158752 |    16750     20 |        5 |      368
175.42/175.52	c  175s |      16 |   249917 |   160952 |    16750     21 |        5 |      368
177.42/177.60	c  177s |      16 |   253580 |   163252 |    16750     21 |        5 |      368
179.51/179.62	c  179s |      16 |   256976 |   165652 |    16750     21 |        5 |      368
181.52/181.69	c  181s |      16 |   259697 |   167652 |    16750     21 |        5 |      368
183.62/183.78	c  183s |      16 |   262912 |   169552 |    16750     22 |        5 |      368
185.71/185.81	c  185s |      16 |   265965 |   171852 |    16750     22 |        5 |      368
187.71/187.82	c  187s |      16 |   269084 |   173952 |    16750     22 |        5 |      368
189.71/189.89	c  189s |      16 |   272177 |   176252 |    16750     22 |        5 |      368
191.81/191.91	c  191s |      16 |   275060 |   178552 |    16750     23 |        5 |      368
193.81/193.95	c  193s |      16 |   278290 |   180452 |    16750     23 |        5 |      368
195.91/196.02	c  195s |      16 |   282148 |   182652 |    16750     23 |        5 |      368
197.91/198.10	c  197s |      16 |   285516 |   184852 |    16750     23 |        5 |      368
200.00/200.11	c  199s |      16 |   288694 |   187052 |    16750     24 |        5 |      368
202.00/202.14	c  201s |      16 |   292576 |   189652 |    16750     24 |        5 |      368
204.00/204.17	c  203s |      16 |   295726 |   192152 |    16750     24 |        5 |      368
206.10/206.22	c  205s |      16 |   298231 |   193952 |    16750     24 |        5 |      368
208.10/208.25	c  207s |      16 |   300835 |   195952 |    16750     25 |        5 |      368
209.40/209.53	c  209s |      17 |   302729 |   197432 |    18425     25 |        5 |      368
211.50/211.61	c  211s |      17 |   305675 |   199332 |    18425     25 |        5 |      368
214.80/214.90	c  214s |      17 |   308219 |   201132 |    18425     25 |        5 |      368
216.80/216.95	c  216s |      17 |   310499 |   202832 |    18425     25 |        5 |      368
218.91/219.06	c  218s |      17 |   313385 |   204432 |    18425     25 |        5 |      368
221.01/221.15	c  220s |      17 |   315573 |   206132 |    18425     26 |        5 |      368
223.00/223.18	c  222s |      17 |   318145 |   208132 |    18425     26 |        5 |      368
225.00/225.18	c  224s |      17 |   320407 |   209832 |    18425     26 |        5 |      368
227.10/227.27	c  226s |      17 |   322732 |   211432 |    18425     26 |        5 |      368
229.20/229.32	c  228s |      17 |   324950 |   213032 |    18425     26 |        5 |      368
231.20/231.34	c  230s |      17 |   327477 |   214432 |    18425     27 |        5 |      368
233.30/233.43	c  233s |      17 |   330412 |   216232 |    18425     27 |        5 |      368
235.40/235.53	c  235s |      17 |   332805 |   217932 |    18425     27 |        5 |      368
237.39/237.54	c  237s |      17 |   335445 |   219532 |    18425     27 |        5 |      368
239.49/239.60	c  239s |      17 |   337715 |   221232 |    18425     27 |        5 |      368
241.59/241.70	c  241s |      17 |   340538 |   222832 |    18425     27 |        5 |      368
243.59/243.74	c  243s |      17 |   342472 |   224232 |    18425     28 |        5 |      368
245.59/245.77	c  245s |      17 |   344935 |   226132 |    18425     28 |        5 |      368
247.59/247.77	c  247s |      17 |   347256 |   227932 |    18425     28 |        5 |      368
249.69/249.82	c  249s |      17 |   349189 |   229332 |    18425     28 |        5 |      368
251.79/251.91	c  251s |      17 |   351393 |   230832 |    18425     28 |        5 |      368
253.78/253.96	c  253s |      17 |   353719 |   232432 |    18425     28 |        5 |      368
255.88/256.00	c  255s |      17 |   355502 |   233832 |    18425     28 |        5 |      368
257.88/258.02	c  257s |      17 |   357581 |   235332 |    18425     29 |        5 |      368
259.98/260.12	c  259s |      17 |   359775 |   236932 |    18425     29 |        5 |      368
262.07/262.20	c  261s |      17 |   361893 |   238632 |    18425     29 |        5 |      368
264.07/264.22	c  263s |      17 |   364020 |   240232 |    18425     29 |        5 |      368
266.08/266.30	c  265s |      17 |   366040 |   241832 |    18425     29 |        5 |      368
268.17/268.38	c  267s |      17 |   368072 |   243232 |    18425     29 |        5 |      368
270.27/270.40	c  269s |      17 |   369641 |   244532 |    18425     30 |        5 |      368
272.27/272.48	c  272s |      17 |   371712 |   246232 |    18425     30 |        5 |      368
274.37/274.55	c  274s |      17 |   374120 |   248032 |    18425     30 |        5 |      368
276.37/276.55	c  276s |      17 |   376172 |   249732 |    18425     30 |        5 |      368
278.47/278.61	c  278s |      17 |   378360 |   251532 |    18425     30 |        5 |      368
280.47/280.64	c  280s |      17 |   380161 |   252832 |    18425     30 |        5 |      368
282.46/282.64	c  282s |      17 |   382026 |   254032 |    18425     31 |        5 |      368
284.56/284.72	c  284s |      17 |   384369 |   255732 |    18425     31 |        5 |      368
286.56/286.76	c  286s |      17 |   386936 |   257432 |    18425     31 |        5 |      368
288.76/288.90	c  288s |      17 |   388941 |   259032 |    18425     31 |        5 |      368
290.75/290.91	c  290s |      17 |   391055 |   260632 |    18425     31 |        5 |      368
292.75/292.98	c  292s |      17 |   392898 |   261932 |    18425     31 |        5 |      368
295.05/295.23	c  294s |      17 |   394296 |   263032 |    18425     32 |        5 |      368
297.16/297.35	c  296s |      17 |   396735 |   264732 |    18425     32 |        5 |      368
299.17/299.40	c  298s |      17 |   399084 |   266432 |    18425     32 |        5 |      368
301.16/301.40	c  300s |      17 |   401061 |   268032 |    18425     32 |        5 |      368
303.66/303.84	c  303s |      17 |   402988 |   269532 |    18425     32 |        5 |      368
305.77/305.93	c  305s |      17 |   405890 |   271132 |    18425     32 |        5 |      368
307.87/308.08	c  307s |      17 |   408262 |   272632 |    18425     33 |        5 |      368
310.06/310.21	c  309s |      17 |   411254 |   274432 |    18425     33 |        5 |      368
312.15/312.30	c  311s |      17 |   414045 |   276132 |    18425     33 |        5 |      368
314.15/314.37	c  313s |      17 |   417114 |   278232 |    18425     33 |        5 |      368
316.25/316.48	c  316s |      17 |   419655 |   280332 |    18425     33 |        5 |      368
318.35/318.58	c  318s |      17 |   422453 |   282232 |    18425     33 |        5 |      368
320.44/320.65	c  320s |      17 |   425153 |   284032 |    18425     34 |        5 |      368
322.54/322.75	c  322s |      17 |   427902 |   285932 |    18425     34 |        5 |      368
324.64/324.82	c  324s |      17 |   429760 |   287032 |    18425     34 |        5 |      368
326.65/326.86	c  326s |      17 |   432488 |   288532 |    18425     34 |        5 |      368
328.75/328.93	c  328s |      17 |   434744 |   290232 |    18425     34 |        5 |      368
330.84/331.06	c  330s |      17 |   437289 |   292032 |    18425     34 |        5 |      368
332.84/333.09	c  332s |      17 |   439251 |   293532 |    18425     35 |        5 |      368
334.84/335.09	c  334s |      17 |   441743 |   295232 |    20268     35 |        5 |      368
336.24/336.42	c  335s |      18 |   443020 |   296252 |    20268     35 |        5 |      368
338.34/338.50	c  338s |      18 |   445913 |   297852 |    20268     35 |        5 |      368
340.33/340.58	c  340s |      18 |   448371 |   299452 |    20268     35 |        5 |      368
342.43/342.66	c  342s |      18 |   451556 |   301152 |    20268     35 |        5 |      368
344.53/344.72	c  344s |      18 |   453998 |   302852 |    20268     35 |        5 |      368
346.53/346.74	c  346s |      18 |   456157 |   304452 |    20268     36 |        5 |      368
348.64/348.85	c  348s |      18 |   458561 |   305952 |    20268     36 |        5 |      368
350.73/350.97	c  350s |      18 |   462184 |   307952 |    20268     36 |        5 |      368
352.82/353.09	c  352s |      18 |   465236 |   309652 |    20268     36 |        5 |      368
354.92/355.15	c  354s |      18 |   467801 |   311452 |    20268     36 |        5 |      368
357.02/357.27	c  356s |      18 |   470774 |   313252 |    20268     36 |        5 |      368
359.12/359.36	c  358s |      18 |   473128 |   315052 |    20268     37 |        5 |      368
361.22/361.45	c  361s |      18 |   476130 |   317152 |    20268     37 |        5 |      368
363.22/363.46	c  363s |      18 |   478850 |   319352 |    20268     37 |        5 |      368
365.22/365.48	c  365s |      18 |   481720 |   321052 |    20268     37 |        5 |      368
367.33/367.51	c  367s |      18 |   484864 |   322752 |    20268     37 |        5 |      368
369.32/369.53	c  369s |      18 |   487475 |   324252 |    20268     38 |        5 |      368
371.41/371.61	c  371s |      18 |   490833 |   326452 |    20268     38 |        5 |      368
373.51/373.71	c  373s |      18 |   493639 |   328452 |    20268     38 |        5 |      368
375.61/375.82	c  375s |      18 |   496900 |   330552 |    20268     38 |        5 |      368
377.61/377.84	c  377s |      18 |   499689 |   332552 |    20268     38 |        5 |      368
379.61/379.89	c  379s |      18 |   502542 |   334652 |    20268     38 |        5 |      368
381.71/381.95	c  381s |      18 |   504754 |   336252 |    20268     39 |        5 |      368
383.81/384.02	c  383s |      18 |   506970 |   337952 |    20268     39 |        5 |      368
385.80/386.08	c  385s |      18 |   509304 |   339852 |    20268     39 |        5 |      368
387.90/388.19	c  387s |      18 |   511626 |   341752 |    20268     39 |        5 |      368
390.00/390.29	c  389s |      18 |   513942 |   343352 |    20268     39 |        5 |      368
392.10/392.30	c  391s |      18 |   516232 |   344852 |    20268     39 |        5 |      368
394.10/394.30	c  393s |      18 |   518045 |   346152 |    20268     40 |        5 |      368
396.10/396.33	c  395s |      18 |   520852 |   347752 |    20268     40 |        5 |      368
398.11/398.39	c  397s |      18 |   523786 |   349552 |    20268     40 |        5 |      368
400.20/400.42	c  399s |      18 |   526848 |   351252 |    20268     40 |        5 |      368
402.19/402.47	c  402s |      18 |   529591 |   352952 |    20268     40 |        5 |      368
404.29/404.59	c  404s |      18 |   532548 |   354752 |    20268     40 |        5 |      368
406.49/406.70	c  406s |      18 |   534489 |   356252 |    20268     41 |        5 |      368
408.49/408.74	c  408s |      18 |   537661 |   358652 |    20268     41 |        5 |      368
410.59/410.80	c  410s |      18 |   540674 |   360452 |    20268     41 |        5 |      368
412.59/412.81	c  412s |      18 |   543230 |   362252 |    20268     41 |        5 |      368
414.59/414.86	c  414s |      18 |   545959 |   364152 |    20268     41 |        5 |      368
416.69/416.92	c  416s |      18 |   548345 |   366152 |    20268     41 |        5 |      368
418.69/418.94	c  418s |      18 |   551170 |   368152 |    20268     42 |        5 |      368
420.78/421.04	c  420s |      18 |   554322 |   370152 |    20268     42 |        5 |      368
422.78/423.07	c  422s |      18 |   557066 |   372052 |    20268     42 |        5 |      368
424.78/425.09	c  424s |      18 |   559838 |   374152 |    20268     42 |        5 |      368
426.88/427.12	c  426s |      18 |   562035 |   375852 |    20268     42 |        5 |      368
428.88/429.14	c  428s |      18 |   564163 |   377552 |    20268     42 |        5 |      368
430.87/431.19	c  430s |      18 |   566733 |   379452 |    20268     43 |        5 |      368
432.97/433.20	c  432s |      18 |   569285 |   381552 |    20268     43 |        5 |      368
434.97/435.20	c  434s |      18 |   571785 |   383452 |    20268     43 |        5 |      368
436.97/437.21	c  436s |      18 |   574165 |   385352 |    20268     43 |        5 |      368
439.07/439.31	c  438s |      18 |   576377 |   387252 |    20268     43 |        5 |      368
441.07/441.32	c  440s |      18 |   578122 |   388752 |    20268     44 |        5 |      368
443.08/443.34	c  442s |      18 |   580053 |   390352 |    20268     44 |        5 |      368
445.07/445.37	c  444s |      18 |   582385 |   392052 |    20268     44 |        5 |      368
447.07/447.39	c  446s |      18 |   584802 |   393952 |    20268     44 |        5 |      368
451.27/451.57	c  451s |      18 |   586453 |   395052 |    20268     44 |        5 |      368
453.37/453.67	c  453s |      18 |   589132 |   396252 |    20268     44 |        5 |      368
455.47/455.72	c  455s |      18 |   592593 |   398152 |    20268     44 |        5 |      368
457.57/457.80	c  457s |      18 |   594787 |   399452 |    20268     45 |        5 |      368
459.58/459.89	c  459s |      18 |   598110 |   401552 |    20268     45 |        5 |      368
461.67/461.99	c  461s |      18 |   601354 |   403552 |    20268     45 |        5 |      368
463.67/463.99	c  463s |      18 |   604280 |   405452 |    20268     45 |        5 |      368
465.77/466.01	c  465s |      18 |   606731 |   407452 |    20268     45 |        5 |      368
467.87/468.12	c  467s |      18 |   609091 |   409152 |    20268     46 |        5 |      368
469.87/470.19	c  469s |      18 |   611962 |   411052 |    20268     46 |        5 |      368
471.96/472.23	c  471s |      18 |   615009 |   412752 |    20268     46 |        5 |      368
474.16/474.43	c  474s |      18 |   617795 |   414452 |    20268     46 |        5 |      368
476.17/476.44	c  476s |      18 |   620322 |   415952 |    20268     46 |        5 |      368
478.16/478.47	c  478s |      18 |   623379 |   417352 |    20268     46 |        5 |      368
480.16/480.48	c  480s |      18 |   626061 |   418952 |    20268     46 |        5 |      368
482.16/482.50	c  482s |      18 |   629043 |   420652 |    20268     47 |        5 |      368
484.26/484.57	c  484s |      18 |   631857 |   422652 |    20268     47 |        5 |      368
486.26/486.58	c  486s |      18 |   634790 |   424652 |    20268     47 |        5 |      368
488.35/488.62	c  488s |      18 |   637711 |   426752 |    20268     47 |        5 |      368
490.36/490.63	c  490s |      18 |   640299 |   428752 |    20268     47 |        5 |      368
492.45/492.71	c  492s |      18 |   642346 |   430152 |    20268     48 |        5 |      368
494.45/494.77	c  494s |      18 |   645633 |   431952 |    20268     48 |        5 |      368
496.55/496.83	c  496s |      18 |   648717 |   433852 |    20268     48 |        5 |      368
498.55/498.88	c  498s |      18 |   651568 |   435852 |    20268     48 |        5 |      368
500.64/500.91	c  500s |      18 |   654099 |   437552 |    20268     48 |        5 |      368
502.64/502.97	c  502s |      18 |   656574 |   439552 |    20268     48 |        5 |      368
504.75/505.06	c  504s |      18 |   659005 |   441452 |    22295     49 |        5 |      368
506.95/507.24	c  506s |      18 |   661955 |   443452 |    22295     49 |        5 |      368
508.14/508.41	c  507s |      19 |   663794 |   444482 |    22295     49 |        5 |      368
510.25/510.54	c  510s |      19 |   665920 |   445782 |    22295     49 |        5 |      368
512.35/512.61	c  512s |      19 |   668845 |   447282 |    22295     49 |        5 |      368
514.45/514.75	c  514s |      19 |   672361 |   449282 |    22295     49 |        5 |      368
516.45/516.75	c  516s |      19 |   674899 |   450782 |    22295     49 |        5 |      368
518.45/518.77	c  518s |      19 |   677126 |   452382 |    22295     49 |        5 |      368
520.54/520.86	c  520s |      19 |   679852 |   453982 |    22295     50 |        5 |      368
522.54/522.86	c  522s |      19 |   682698 |   455682 |    22295     50 |        5 |      368
524.55/524.88	c  524s |      19 |   685152 |   457482 |    22295     50 |        5 |      368
526.54/526.89	c  526s |      19 |   687804 |   459282 |    22295     50 |        5 |      368
528.64/528.96	c  528s |      19 |   690702 |   461182 |    22295     50 |        5 |      368
530.74/531.04	c  530s |      19 |   693086 |   462982 |    22295     50 |        5 |      368
532.94/533.23	c  532s |      19 |   694717 |   464282 |    22295     51 |        5 |      368
534.94/535.28	c  534s |      19 |   696850 |   465682 |    22295     51 |        5 |      368
537.04/537.38	c  536s |      19 |   699925 |   467582 |    22295     51 |        5 |      368
539.14/539.43	c  539s |      19 |   702520 |   469382 |    22295     51 |        5 |      368
541.13/541.46	c  541s |      19 |   704972 |   470982 |    22295     51 |        5 |      368
543.33/543.61	c  543s |      19 |   707904 |   472782 |    22295     51 |        5 |      368
545.34/545.63	c  545s |      19 |   710398 |   474482 |    22295     51 |        5 |      368
547.33/547.65	c  547s |      19 |   712420 |   475982 |    22295     52 |        5 |      368
549.33/549.66	c  549s |      19 |   715166 |   478082 |    22295     52 |        5 |      368
551.42/551.74	c  551s |      19 |   717537 |   479982 |    22295     52 |        5 |      368
553.43/553.77	c  553s |      19 |   719909 |   481482 |    22295     52 |        5 |      368
555.43/555.78	c  555s |      19 |   723072 |   482982 |    22295     52 |        5 |      368
557.63/557.93	c  557s |      19 |   725860 |   484782 |    22295     52 |        5 |      368
559.73/560.04	c  559s |      19 |   728111 |   486282 |    22295     52 |        5 |      368
561.72/562.06	c  561s |      19 |   730726 |   487682 |    22295     53 |        5 |      368
563.82/564.15	c  563s |      19 |   733255 |   489582 |    22295     53 |        5 |      368
565.92/566.22	c  565s |      19 |   735783 |   491682 |    22295     53 |        5 |      368
567.92/568.29	c  567s |      19 |   738312 |   493482 |    22295     53 |        5 |      368
570.02/570.30	c  569s |      19 |   740587 |   495182 |    22295     53 |        5 |      368
572.12/572.40	c  571s |      19 |   742810 |   496582 |    22295     53 |        5 |      368
574.12/574.49	c  574s |      19 |   745208 |   498082 |    22295     53 |        5 |      368
576.32/576.61	c  576s |      19 |   748095 |   499782 |    22295     54 |        5 |      368
578.33/578.70	c  578s |      19 |   751183 |   501982 |    22295     54 |        5 |      368
580.42/580.73	c  580s |      19 |   753788 |   503882 |    22295     54 |        5 |      368
582.42/582.76	c  582s |      19 |   756589 |   505882 |    22295     54 |        5 |      368
584.52/584.86	c  584s |      19 |   759282 |   507982 |    22295     54 |        5 |      368
586.52/586.86	c  586s |      19 |   761595 |   509582 |    22295     54 |        5 |      368
588.62/588.93	c  588s |      19 |   763954 |   511282 |    22295     55 |        5 |      368
590.62/590.93	c  590s |      19 |   766718 |   513382 |    22295     55 |        5 |      368
592.62/592.94	c  592s |      19 |   769270 |   515382 |    22295     55 |        5 |      368
594.62/594.98	c  594s |      19 |   771961 |   517282 |    22295     55 |        5 |      368
596.72/597.01	c  596s |      19 |   774369 |   519182 |    22295     55 |        5 |      368
598.82/599.11	c  598s |      19 |   776640 |   521082 |    22295     55 |        5 |      368
600.91/601.22	c  600s |      19 |   778686 |   522782 |    22295     56 |        5 |      368
602.91/603.22	c  602s |      19 |   781029 |   524582 |    22295     56 |        5 |      368
604.91/605.25	c  604s |      19 |   783391 |   526482 |    22295     56 |        5 |      368
607.01/607.34	c  606s |      19 |   785758 |   528382 |    22295     56 |        5 |      368
609.11/609.45	c  609s |      19 |   787984 |   530282 |    22295     56 |        5 |      368
611.31/611.65	c  611s |      19 |   789881 |   531882 |    22295     56 |        5 |      368
613.30/613.66	c  613s |      19 |   791551 |   533182 |    22295     56 |        5 |      368
615.40/615.72	c  615s |      19 |   793505 |   534682 |    22295     57 |        5 |      368
617.50/617.81	c  617s |      19 |   795014 |   535882 |    22295     57 |        5 |      368
619.60/619.95	c  619s |      19 |   797829 |   537782 |    22295     57 |        5 |      368
621.70/622.02	c  621s |      19 |   800049 |   539282 |    22295     57 |        5 |      368
623.80/624.18	c  623s |      19 |   802226 |   540882 |    22295     57 |        5 |      368
625.90/626.26	c  625s |      19 |   804267 |   542482 |    22295     57 |        5 |      368
628.00/628.36	c  627s |      19 |   806196 |   543882 |    22295     57 |        5 |      368
630.11/630.50	c  630s |      19 |   808385 |   545182 |    22295     57 |        5 |      368
632.20/632.58	c  632s |      19 |   809693 |   546082 |    22295     58 |        5 |      368
634.29/634.60	c  634s |      19 |   811922 |   547782 |    22295     58 |        5 |      368
636.29/636.61	c  636s |      19 |   814337 |   549482 |    22295     58 |        5 |      368
638.29/638.63	c  638s |      19 |   816536 |   551182 |    22295     58 |        5 |      368
640.29/640.68	c  640s |      19 |   818677 |   552882 |    22295     58 |        5 |      368
642.49/642.80	c  642s |      19 |   821111 |   554382 |    22295     58 |        5 |      368
644.59/644.92	c  644s |      19 |   823453 |   555882 |    22295     58 |        5 |      368
646.60/646.96	c  646s |      19 |   825252 |   557182 |    22295     59 |        5 |      368
648.70/649.03	c  648s |      19 |   828072 |   559082 |    22295     59 |        5 |      368
650.69/651.09	c  650s |      19 |   830945 |   561082 |    22295     59 |        5 |      368
652.79/653.14	c  652s |      19 |   833846 |   563182 |    22295     59 |        5 |      368
655.69/656.09	c  655s |      19 |   836313 |   564982 |    22295     59 |        5 |      368
657.89/658.21	c  657s |      19 |   837674 |   565682 |    22295     59 |        5 |      368
659.99/660.34	c  659s |      19 |   840961 |   567282 |    22295     59 |        5 |      368
662.08/662.45	c  662s |      19 |   842898 |   568582 |    22295     60 |        5 |      368
664.19/664.52	c  664s |      19 |   845617 |   570582 |    22295     60 |        5 |      368
666.19/666.53	c  666s |      19 |   847840 |   572282 |    22295     60 |        5 |      368
668.19/668.55	c  668s |      19 |   850359 |   573982 |    22295     60 |        5 |      368
670.29/670.67	c  670s |      19 |   852582 |   575582 |    22295     60 |        5 |      368
672.38/672.75	c  672s |      19 |   854759 |   577082 |    22295     60 |        5 |      368
674.48/674.83	c  674s |      19 |   857088 |   578582 |    22295     60 |        5 |      368
676.48/676.90	c  676s |      19 |   859709 |   579882 |    22295     61 |        5 |      368
678.58/678.93	c  678s |      19 |   862063 |   581482 |    22295     61 |        5 |      368
680.69/681.03	c  680s |      19 |   864727 |   583182 |    22295     61 |        5 |      368
682.79/683.13	c  682s |      19 |   867213 |   584682 |    22295     61 |        5 |      368
684.88/685.28	c  684s |      19 |   869795 |   586382 |    22295     61 |        5 |      368
686.98/687.30	c  686s |      19 |   872476 |   587982 |    22295     61 |        5 |      368
689.08/689.41	c  688s |      19 |   874681 |   589582 |    22295     61 |        5 |      368
691.08/691.49	c  691s |      19 |   877234 |   591082 |    22295     61 |        5 |      368
693.18/693.56	c  693s |      19 |   879619 |   592782 |    22295     62 |        5 |      368
695.18/695.59	c  695s |      19 |   883091 |   594782 |    22295     62 |        5 |      368
697.28/697.68	c  697s |      19 |   885978 |   596782 |    22295     62 |        5 |      368
699.38/699.78	c  699s |      19 |   888628 |   598782 |    22295     62 |        5 |      368
701.48/701.82	c  701s |      19 |   890523 |   600082 |    22295     62 |        5 |      368
703.47/703.82	c  703s |      19 |   892858 |   601482 |    22295     62 |        5 |      368
705.67/706.05	c  705s |      19 |   895458 |   602882 |    22295     63 |        5 |      368
707.77/708.10	c  707s |      19 |   897824 |   604682 |    22295     63 |        5 |      368
709.77/710.12	c  709s |      19 |   900134 |   606482 |    22295     63 |        5 |      368
711.87/712.22	c  711s |      19 |   902246 |   608182 |    22295     63 |        5 |      368
713.87/714.24	c  713s |      19 |   904270 |   609682 |    22295     63 |        5 |      368
715.97/716.34	c  715s |      19 |   906657 |   611282 |    22295     63 |        5 |      368
717.98/718.36	c  717s |      19 |   908889 |   612782 |    22295     63 |        5 |      368
720.18/720.59	c  720s |      19 |   910998 |   614382 |    22295     64 |        5 |      368
722.27/722.62	c  722s |      19 |   913502 |   615882 |    22295     64 |        5 |      368
724.27/724.69	c  724s |      19 |   916421 |   617982 |    22295     64 |        5 |      368
726.37/726.74	c  726s |      19 |   918774 |   619782 |    22295     64 |        5 |      368
728.37/728.79	c  728s |      19 |   921242 |   621582 |    22295     64 |        5 |      368
730.57/730.91	c  730s |      19 |   923421 |   623182 |    22295     64 |        5 |      368
732.57/732.99	c  732s |      19 |   925501 |   624782 |    22295     64 |        5 |      368
734.67/735.09	c  734s |      19 |   927368 |   626282 |    22295     65 |        5 |      368
736.77/737.18	c  736s |      19 |   929915 |   628282 |    22295     65 |        5 |      368
738.87/739.29	c  738s |      19 |   932253 |   629882 |    22295     65 |        5 |      368
741.07/741.45	c  741s |      19 |   934806 |   631482 |    22295     65 |        5 |      368
743.16/743.53	c  743s |      19 |   937281 |   633082 |    22295     65 |        5 |      368
745.26/745.66	c  745s |      19 |   939726 |   634782 |    22295     65 |        5 |      368
747.36/747.71	c  747s |      19 |   941798 |   636282 |    22295     65 |        5 |      368
749.46/749.83	c  749s |      19 |   943748 |   637882 |    22295     66 |        5 |      368
751.56/751.91	c  751s |      19 |   946022 |   639582 |    22295     66 |        5 |      368
753.56/753.94	c  753s |      19 |   948538 |   641482 |    22295     66 |        5 |      368
755.56/755.98	c  755s |      19 |   951083 |   643482 |    22295     66 |        5 |      368
757.67/758.07	c  757s |      19 |   953496 |   645282 |    22295     66 |        5 |      368
759.77/760.15	c  759s |      19 |   955808 |   646982 |    22295     66 |        5 |      368
761.76/762.19	c  761s |      19 |   958069 |   648582 |    22295     66 |        5 |      368
763.86/764.21	c  763s |      19 |   960333 |   650182 |    22295     67 |        5 |      368
765.86/766.24	c  765s |      19 |   962950 |   652182 |    22295     67 |        5 |      368
767.96/768.31	c  767s |      19 |   965531 |   654282 |    22295     67 |        5 |      368
769.96/770.35	c  769s |      19 |   967739 |   656082 |    22295     67 |        5 |      368
772.06/772.40	c  771s |      19 |   970118 |   657882 |    22295     67 |        5 |      368
774.17/774.51	c  774s |      19 |   972432 |   659782 |    22295     67 |        5 |      368
776.16/776.55	c  776s |      19 |   974426 |   661482 |    22295     68 |        5 |      368
778.26/778.60	c  778s |      19 |   977163 |   663882 |    24525     68 |        5 |      368
782.26/782.63	c  782s |      19 |   977610 |   664182 |    24525     68 |        5 |      368
784.36/784.73	c  784s |      19 |   980408 |   665982 |    24525     68 |        5 |      368
785.46/785.86	c  785s |      20 |   981926 |   666827 |    24525     68 |        5 |      368
787.56/787.92	c  787s |      20 |   984721 |   668427 |    24525     68 |        5 |      368
789.66/790.02	c  789s |      20 |   987652 |   670027 |    24525     68 |        5 |      368
791.67/792.05	c  791s |      20 |   990640 |   671727 |    24525     68 |        5 |      368
793.76/794.12	c  793s |      20 |   993383 |   673427 |    24525     68 |        5 |      368
795.96/796.33	c  795s |      20 |   995724 |   675027 |    24525     69 |        5 |      368
797.96/798.35	c  797s |      20 |   998502 |   676927 |    24525     69 |        5 |      368
799.96/800.38	c  799s |      20 |  1001350 |   679027 |    24525     69 |        5 |      368
803.05/803.42	c  802s |      20 |  1002583 |   679827 |    24525     69 |        5 |      368
805.15/805.53	c  805s |      20 |  1005599 |   681427 |    24525     69 |        5 |      368
807.25/807.65	c  807s |      20 |  1007828 |   682927 |    24525     69 |        5 |      368
809.26/809.65	c  809s |      20 |  1011010 |   684527 |    24525     69 |        5 |      368
811.35/811.72	c  811s |      20 |  1013658 |   686327 |    24525     69 |        5 |      368
813.35/813.72	c  813s |      20 |  1016784 |   687827 |    24525     70 |        5 |      368
815.35/815.73	c  815s |      20 |  1019822 |   689927 |    24525     70 |        5 |      368
817.45/817.84	c  817s |      20 |  1022778 |   692027 |    24525     70 |        5 |      368
819.45/819.84	c  819s |      20 |  1025337 |   693827 |    24525     70 |        5 |      368
821.55/821.94	c  821s |      20 |  1028089 |   695527 |    24525     70 |        5 |      368
823.65/824.02	c  823s |      20 |  1030525 |   697027 |    24525     70 |        5 |      368
825.65/826.04	c  825s |      20 |  1033557 |   698527 |    24525     70 |        5 |      368
827.76/828.17	c  827s |      20 |  1035470 |   699727 |    24525     71 |        5 |      368
829.86/830.23	c  829s |      20 |  1038027 |   701227 |    24525     71 |        5 |      368
831.86/832.28	c  831s |      20 |  1040082 |   702727 |    24525     71 |        5 |      368
833.96/834.31	c  833s |      20 |  1042228 |   704127 |    24525     71 |        5 |      368
835.95/836.33	c  835s |      20 |  1044214 |   705627 |    24525     71 |        5 |      368
837.96/838.34	c  837s |      20 |  1046386 |   707027 |    24525     71 |        5 |      368
840.06/840.43	c  840s |      20 |  1048395 |   708527 |    24525     71 |        5 |      368
842.15/842.52	c  842s |      20 |  1050178 |   709927 |    24525     71 |        5 |      368
844.25/844.60	c  844s |      20 |  1052325 |   711227 |    24525     71 |        5 |      368
846.66/847.03	c  846s |      20 |  1054378 |   712327 |    24525     72 |        5 |      368
848.75/849.15	c  848s |      20 |  1056655 |   713627 |    24525     72 |        5 |      368
850.85/851.22	c  850s |      20 |  1059612 |   715327 |    24525     72 |        5 |      368
852.85/853.24	c  852s |      20 |  1061823 |   716827 |    24525     72 |        5 |      368
854.95/855.34	c  854s |      20 |  1064211 |   718527 |    24525     72 |        5 |      368
856.95/857.36	c  856s |      20 |  1066563 |   720027 |    24525     72 |        5 |      368
858.95/859.39	c  858s |      20 |  1068948 |   721627 |    24525     72 |        5 |      368
861.06/861.48	c  861s |      20 |  1071217 |   723227 |    24525     72 |        5 |      368
863.16/863.54	c  863s |      20 |  1073272 |   724827 |    24525     72 |        5 |      368
865.25/865.69	c  865s |      20 |  1075478 |   726527 |    24525     73 |        5 |      368
867.35/867.70	c  867s |      20 |  1078058 |   727927 |    24525     73 |        5 |      368
869.35/869.74	c  869s |      20 |  1080520 |   729627 |    24525     73 |        5 |      368
871.35/871.77	c  871s |      20 |  1082964 |   731327 |    24525     73 |        5 |      368
873.45/873.80	c  873s |      20 |  1085021 |   733027 |    24525     73 |        5 |      368
875.55/875.91	c  875s |      20 |  1087226 |   734627 |    24525     73 |        5 |      368
877.55/877.97	c  877s |      20 |  1089238 |   736127 |    24525     73 |        5 |      368
879.65/880.09	c  879s |      20 |  1091426 |   737627 |    24525     73 |        5 |      368
881.75/882.10	c  881s |      20 |  1093527 |   739227 |    24525     74 |        5 |      368
883.74/884.16	c  883s |      20 |  1095939 |   741127 |    24525     74 |        5 |      368
885.74/886.17	c  885s |      20 |  1098389 |   742827 |    24525     74 |        5 |      368
887.84/888.27	c  887s |      20 |  1100356 |   744327 |    24525     74 |        5 |      368
889.84/890.27	c  889s |      20 |  1102312 |   745727 |    24525     74 |        5 |      368
892.04/892.41	c  891s |      20 |  1104337 |   747227 |    24525     74 |        5 |      368
894.05/894.47	c  894s |      20 |  1106042 |   748627 |    24525     74 |        5 |      368
896.15/896.55	c  896s |      20 |  1108128 |   750027 |    24525     74 |        5 |      368
898.24/898.62	c  898s |      20 |  1110212 |   751627 |    24525     75 |        5 |      368
900.24/900.68	c  900s |      20 |  1112426 |   753427 |    24525     75 |        5 |      368
902.34/902.73	c  902s |      20 |  1114871 |   755327 |    24525     75 |        5 |      368
904.44/904.84	c  904s |      20 |  1117128 |   757227 |    24525     75 |        5 |      368
906.54/906.93	c  906s |      20 |  1119274 |   758927 |    24525     75 |        5 |      368
908.54/908.93	c  908s |      20 |  1121479 |   760627 |    24525     75 |        5 |      368
910.64/911.00	c  910s |      20 |  1123695 |   762427 |    24525     75 |        5 |      368
912.65/913.04	c  912s |      20 |  1125646 |   764127 |    24525     76 |        5 |      368
914.74/915.10	c  914s |      20 |  1128104 |   766227 |    24525     76 |        5 |      368
919.84/920.23	c  919s |      20 |  1128985 |   766827 |    24525     76 |        5 |      368
921.94/922.33	c  921s |      20 |  1131019 |   768027 |    24525     76 |        5 |      368
923.94/924.37	c  923s |      20 |  1134113 |   769727 |    24525     76 |        5 |      368
926.04/926.46	c  926s |      20 |  1136877 |   771327 |    24525     76 |        5 |      368
928.04/928.48	c  928s |      20 |  1139198 |   773027 |    24525     76 |        5 |      368
930.24/930.61	c  930s |      20 |  1141859 |   774527 |    24525     76 |        5 |      368
932.23/932.65	c  932s |      20 |  1143832 |   775927 |    24525     76 |        5 |      368
934.33/934.74	c  934s |      20 |  1145840 |   777327 |    24525     77 |        5 |      368
936.43/936.83	c  936s |      20 |  1148263 |   779227 |    24525     77 |        5 |      368
938.53/938.95	c  938s |      20 |  1150396 |   780827 |    24525     77 |        5 |      368
940.53/940.97	c  940s |      20 |  1152786 |   782327 |    24525     77 |        5 |      368
942.63/943.08	c  942s |      20 |  1155031 |   783527 |    24525     77 |        5 |      368
944.83/945.22	c  944s |      20 |  1157248 |   785027 |    24525     77 |        5 |      368
946.84/947.27	c  946s |      20 |  1159107 |   786327 |    24525     77 |        5 |      368
949.04/949.40	c  948s |      20 |  1161806 |   787627 |    24525     77 |        5 |      368
951.03/951.45	c  951s |      20 |  1163693 |   788827 |    24525     78 |        5 |      368
953.03/953.49	c  953s |      20 |  1166037 |   790327 |    24525     78 |        5 |      368
955.13/955.57	c  955s |      20 |  1168473 |   792027 |    24525     78 |        5 |      368
957.23/957.63	c  957s |      20 |  1170743 |   793727 |    24525     78 |        5 |      368
959.23/959.63	c  959s |      20 |  1172725 |   795327 |    24525     78 |        5 |      368
961.23/961.67	c  961s |      20 |  1175062 |   796627 |    24525     78 |        5 |      368
963.34/963.73	c  963s |      20 |  1177110 |   797927 |    24525     78 |        5 |      368
965.44/965.87	c  965s |      20 |  1179188 |   799327 |    24525     78 |        5 |      368
967.53/967.92	c  967s |      20 |  1181002 |   800627 |    24525     78 |        5 |      368
969.53/969.97	c  969s |      20 |  1182668 |   801827 |    24525     79 |        5 |      368
971.63/972.07	c  971s |      20 |  1185260 |   803627 |    24525     79 |        5 |      368
973.73/974.15	c  973s |      20 |  1187483 |   805327 |    24525     79 |        5 |      368
975.83/976.24	c  975s |      20 |  1189632 |   806827 |    24525     79 |        5 |      368
977.93/978.32	c  977s |      20 |  1191787 |   808327 |    24525     79 |        5 |      368
979.93/980.34	c  979s |      20 |  1193617 |   809727 |    24525     79 |        5 |      368
981.93/982.36	c  981s |      20 |  1195372 |   811027 |    24525     79 |        5 |      368
984.03/984.42	c  983s |      20 |  1197046 |   812427 |    24525     79 |        5 |      368
986.03/986.46	c  986s |      20 |  1198889 |   813727 |    24525     79 |        5 |      368
988.12/988.53	c  988s |      20 |  1200735 |   815127 |    24525     80 |        5 |      368
990.22/990.61	c  990s |      20 |  1203051 |   816927 |    24525     80 |        5 |      368
992.22/992.67	c  992s |      20 |  1205079 |   818627 |    24525     80 |        5 |      368
994.32/994.74	c  994s |      20 |  1207029 |   820127 |    24525     80 |        5 |      368
996.42/996.83	c  996s |      20 |  1209096 |   821727 |    24525     80 |        5 |      368
998.53/998.93	c  998s |      20 |  1211003 |   823127 |    24525     80 |        5 |      368
1000.63/1001.03	c 1000s |      20 |  1213049 |   824627 |    24525     80 |        5 |      368
1002.72/1003.11	c 1002s |      20 |  1214785 |   826027 |    24525     80 |        5 |      368
1004.82/1005.22	c 1004s |      20 |  1216502 |   827327 |    24525     81 |        5 |      368
1006.82/1007.28	c 1006s |      20 |  1218780 |   829127 |    24525     81 |        5 |      368
1008.92/1009.32	c 1008s |      20 |  1220816 |   830827 |    24525     81 |        5 |      368
1011.02/1011.43	c 1011s |      20 |  1222882 |   832527 |    24525     81 |        5 |      368
1013.12/1013.50	c 1013s |      20 |  1224857 |   834227 |    24525     81 |        5 |      368
1015.12/1015.54	c 1015s |      20 |  1226599 |   835627 |    24525     81 |        5 |      368
1017.23/1017.65	c 1017s |      20 |  1228495 |   837127 |    24525     81 |        5 |      368
1019.22/1019.67	c 1019s |      20 |  1229580 |   837927 |    24525     81 |        5 |      368
1021.33/1021.73	c 1021s |      20 |  1231089 |   839027 |    24525     81 |        5 |      368
1023.43/1023.83	c 1023s |      20 |  1232382 |   840027 |    24525     82 |        5 |      368
1025.53/1025.93	c 1025s |      20 |  1234493 |   841327 |    24525     82 |        5 |      368
1027.62/1028.04	c 1027s |      20 |  1236558 |   842927 |    24525     82 |        5 |      368
1029.62/1030.08	c 1029s |      20 |  1238445 |   844527 |    24525     82 |        5 |      368
1031.72/1032.15	c 1031s |      20 |  1240435 |   846027 |    24525     82 |        5 |      368
1034.32/1034.73	c 1034s |      20 |  1241710 |   847027 |    24525     82 |        5 |      368
1036.42/1036.81	c 1036s |      20 |  1243627 |   847927 |    24525     82 |        5 |      368
1038.42/1038.83	c 1038s |      20 |  1245400 |   849127 |    24525     82 |        5 |      368
1040.42/1040.86	c 1040s |      20 |  1247543 |   850327 |    24525     82 |        5 |      368
1042.43/1042.90	c 1042s |      20 |  1249469 |   851627 |    24525     82 |        5 |      368
1044.52/1044.99	c 1044s |      20 |  1251480 |   852527 |    24525     83 |        5 |      368
1046.62/1047.01	c 1046s |      20 |  1254586 |   854227 |    24525     83 |        5 |      368
1048.62/1049.06	c 1048s |      20 |  1256949 |   855927 |    24525     83 |        5 |      368
1050.72/1051.11	c 1050s |      20 |  1259163 |   857627 |    24525     83 |        5 |      368
1052.72/1053.12	c 1052s |      20 |  1261270 |   859427 |    24525     83 |        5 |      368
1054.82/1055.26	c 1054s |      20 |  1263264 |   860927 |    24525     83 |        5 |      368
1056.83/1057.27	c 1056s |      20 |  1265188 |   862227 |    24525     83 |        5 |      368
1058.93/1059.33	c 1058s |      20 |  1267362 |   863527 |    24525     83 |        5 |      368
1061.72/1062.15	c 1061s |      20 |  1269568 |   864827 |    24525     84 |        5 |      368
1063.72/1064.18	c 1063s |      20 |  1272209 |   866427 |    24525     84 |        5 |      368
1065.82/1066.20	c 1065s |      20 |  1274753 |   868027 |    24525     84 |        5 |      368
1067.82/1068.23	c 1067s |      20 |  1277157 |   869627 |    24525     84 |        5 |      368
1069.82/1070.29	c 1069s |      20 |  1279845 |   871227 |    24525     84 |        5 |      368
1071.92/1072.38	c 1071s |      20 |  1282203 |   872727 |    24525     84 |        5 |      368
1074.02/1074.43	c 1074s |      20 |  1284328 |   874327 |    24525     84 |        5 |      368
1076.12/1076.52	c 1076s |      20 |  1286486 |   875927 |    24525     84 |        5 |      368
1078.11/1078.56	c 1078s |      20 |  1288519 |   877527 |    24525     84 |        5 |      368
1080.21/1080.62	c 1080s |      20 |  1290638 |   879227 |    24525     85 |        5 |      368
1082.21/1082.64	c 1082s |      20 |  1292457 |   880327 |    24525     85 |        5 |      368
1084.32/1084.70	c 1084s |      20 |  1295643 |   882127 |    24525     85 |        5 |      368
1086.31/1086.74	c 1086s |      20 |  1298083 |   883727 |    24525     85 |        5 |      368
1088.41/1088.82	c 1088s |      20 |  1300811 |   885327 |    24525     85 |        5 |      368
1090.41/1090.87	c 1090s |      20 |  1303718 |   887027 |    24525     85 |        5 |      368
1092.51/1092.99	c 1092s |      20 |  1306258 |   888627 |    24525     85 |        5 |      368
1094.61/1095.02	c 1094s |      20 |  1308592 |   890227 |    24525     85 |        5 |      368
1096.71/1097.12	c 1096s |      20 |  1311133 |   892127 |    24525     86 |        5 |      368
1098.71/1099.15	c 1098s |      20 |  1313745 |   894127 |    24525     86 |        5 |      368
1100.82/1101.21	c 1100s |      20 |  1316384 |   895527 |    24525     86 |        5 |      368
1102.92/1103.35	c 1102s |      20 |  1318784 |   897227 |    24525     86 |        5 |      368
1105.01/1105.43	c 1105s |      20 |  1321420 |   898927 |    24525     86 |        5 |      368
1107.01/1107.47	c 1107s |      20 |  1323654 |   900627 |    24525     86 |        5 |      368
1109.11/1109.60	c 1109s |      20 |  1325817 |   902327 |    24525     86 |        5 |      368
1111.21/1111.65	c 1111s |      20 |  1327753 |   903927 |    24525     87 |        5 |      368
1113.21/1113.66	c 1113s |      20 |  1330475 |   905727 |    24525     87 |        5 |      368
1115.31/1115.75	c 1115s |      20 |  1332744 |   907227 |    24525     87 |        5 |      368
1117.41/1117.84	c 1117s |      20 |  1335116 |   908927 |    24525     87 |        5 |      368
1119.41/1119.86	c 1119s |      20 |  1337138 |   910527 |    24525     87 |        5 |      368
1121.50/1121.95	c 1121s |      20 |  1339405 |   912127 |    24525     87 |        5 |      368
1123.50/1123.97	c 1123s |      20 |  1341653 |   913827 |    24525     87 |        5 |      368
1125.70/1126.10	c 1125s |      20 |  1343893 |   915427 |    24525     87 |        5 |      368
1127.70/1128.12	c 1127s |      20 |  1346022 |   916827 |    24525     88 |        5 |      368
1129.80/1130.21	c 1129s |      20 |  1348654 |   918627 |    24525     88 |        5 |      368
1131.90/1132.31	c 1131s |      20 |  1351583 |   920727 |    24525     88 |        5 |      368
1134.00/1134.41	c 1133s |      20 |  1354241 |   922727 |    24525     88 |        5 |      368
1136.01/1136.48	c 1136s |      20 |  1356551 |   924427 |    24525     88 |        5 |      368
1138.11/1138.52	c 1138s |      20 |  1358682 |   926227 |    24525     88 |        5 |      368
1140.10/1140.55	c 1140s |      20 |  1360647 |   927827 |    24525     88 |        5 |      368
1142.20/1142.63	c 1142s |      20 |  1362649 |   929327 |    24525     89 |        5 |      368
1144.20/1144.68	c 1144s |      20 |  1364977 |   931227 |    24525     89 |        5 |      368
1146.30/1146.73	c 1146s |      20 |  1367318 |   933127 |    24525     89 |        5 |      368
1148.30/1148.79	c 1148s |      20 |  1369423 |   934927 |    24525     89 |        5 |      368
1150.40/1150.83	c 1150s |      20 |  1371353 |   936627 |    24525     89 |        5 |      368
1152.41/1152.89	c 1152s |      20 |  1372977 |   938027 |    24525     89 |        5 |      368
1154.61/1155.01	c 1154s |      20 |  1374740 |   939527 |    24525     89 |        5 |      368
1156.60/1157.07	c 1156s |      20 |  1376370 |   940827 |    24525     89 |        5 |      368
1158.60/1159.08	c 1158s |      20 |  1377447 |   941627 |    24525     90 |        5 |      368
1160.70/1161.14	c 1160s |      20 |  1380048 |   943427 |    24525     90 |        5 |      368
1162.70/1163.17	c 1162s |      20 |  1382552 |   945327 |    24525     90 |        5 |      368
1166.40/1166.83	c 1166s |      20 |  1384464 |   946727 |    24525     90 |        5 |      368
1169.60/1170.09	c 1169s |      20 |  1385440 |   947227 |    24525     90 |        5 |      368
1171.60/1172.09	c 1171s |      20 |  1388075 |   948827 |    24525     90 |        5 |      368
1173.70/1174.11	c 1173s |      20 |  1390824 |   950327 |    24525     90 |        5 |      368
1175.70/1176.11	c 1175s |      20 |  1393190 |   951827 |    24525     90 |        5 |      368
1177.81/1178.22	c 1177s |      20 |  1395545 |   953527 |    24525     90 |        5 |      368
1179.80/1180.27	c 1179s |      20 |  1397257 |   954627 |    24525     91 |        5 |      368
1181.90/1182.34	c 1181s |      20 |  1399968 |   956727 |    24525     91 |        5 |      368
1183.90/1184.37	c 1183s |      20 |  1402784 |   958827 |    24525     91 |        5 |      368
1186.00/1186.40	c 1185s |      20 |  1405029 |   960427 |    24525     91 |        5 |      368
1188.10/1188.52	c 1188s |      20 |  1407674 |   962127 |    24525     91 |        5 |      368
1190.10/1190.56	c 1190s |      20 |  1410443 |   963827 |    24525     91 |        5 |      368
1192.10/1192.59	c 1192s |      20 |  1412748 |   965527 |    24525     91 |        5 |      368
1194.20/1194.68	c 1194s |      20 |  1414896 |   967127 |    24525     92 |        5 |      368
1196.29/1196.75	c 1196s |      20 |  1418041 |   969427 |    24525     92 |        5 |      368
1198.29/1198.75	c 1198s |      20 |  1420713 |   971527 |    24525     92 |        5 |      368
1200.39/1200.87	c 1200s |      20 |  1423073 |   973127 |    24525     92 |        5 |      368
1202.49/1202.90	c 1202s |      20 |  1425384 |   974727 |    24525     92 |        5 |      368
1204.49/1204.91	c 1204s |      20 |  1427544 |   976427 |    24525     92 |        5 |      368
1206.49/1206.94	c 1206s |      20 |  1429387 |   977727 |    24525     92 |        5 |      368
1208.50/1208.95	c 1208s |      20 |  1431266 |   979127 |    24525     92 |        5 |      368
1210.59/1211.04	c 1210s |      20 |  1433114 |   980527 |    24525     93 |        5 |      368
1212.69/1213.12	c 1212s |      20 |  1435651 |   982427 |    24525     93 |        5 |      368
1214.69/1215.17	c 1214s |      20 |  1438232 |   984327 |    24525     93 |        5 |      368
1216.69/1217.18	c 1216s |      20 |  1440329 |   985927 |    24525     93 |        5 |      368
1218.69/1219.19	c 1218s |      20 |  1442532 |   987627 |    24525     93 |        5 |      368
1220.79/1221.21	c 1220s |      20 |  1444492 |   989227 |    24525     93 |        5 |      368
1222.90/1223.33	c 1222s |      20 |  1446429 |   990727 |    24525     93 |        5 |      368
1224.89/1225.36	c 1224s |      20 |  1448034 |   992127 |    24525     94 |        5 |      368
1226.89/1227.39	c 1226s |      20 |  1450050 |   993827 |    26978     94 |        5 |      368
1228.99/1229.47	c 1229s |      20 |  1452094 |   995627 |    26978     94 |        5 |      368
1231.09/1231.60	c 1231s |      20 |  1454217 |   997227 |    26978     94 |        5 |      368
1233.19/1233.67	c 1233s |      20 |  1456324 |   998827 |    26978     94 |        5 |      368
1235.29/1235.74	c 1235s |      20 |  1457992 |   999927 |    26978     94 |        5 |      368
1236.00/1236.43	c 1236s |      21 |  1458591 |  1000345 |    26978     94 |        5 |      368
1240.79/1241.28	c 1240s |      21 |  1459676 |  1001145 |    26978     94 |        5 |      368
1242.89/1243.38	c 1242s |      21 |  1462490 |  1002545 |    26978     94 |        5 |      368
1244.99/1245.49	c 1245s |      21 |  1465202 |  1004145 |    26978     94 |        5 |      368
1247.10/1247.55	c 1247s |      21 |  1467940 |  1005545 |    26978     94 |        5 |      368
1249.09/1249.58	c 1249s |      21 |  1470515 |  1006945 |    26978     94 |        5 |      368
1251.40/1251.83	c 1251s |      21 |  1472128 |  1008045 |    26978     95 |        5 |      368
1253.39/1253.85	c 1253s |      21 |  1474520 |  1009645 |    26978     95 |        5 |      368
1255.49/1255.93	c 1255s |      21 |  1476963 |  1011345 |    26978     95 |        5 |      368
1257.49/1257.96	c 1257s |      21 |  1479699 |  1013045 |    26978     95 |        5 |      368
1259.59/1260.02	c 1259s |      21 |  1482226 |  1014745 |    26978     95 |        5 |      368
1261.69/1262.12	c 1261s |      21 |  1484518 |  1016445 |    26978     95 |        5 |      368
1263.69/1264.15	c 1263s |      21 |  1486667 |  1018145 |    26978     95 |        5 |      368
1265.79/1266.29	c 1265s |      21 |  1488622 |  1019445 |    26978     95 |        5 |      368
1267.89/1268.32	c 1267s |      21 |  1490577 |  1020745 |    26978     95 |        5 |      368
1269.89/1270.35	c 1269s |      21 |  1492468 |  1022045 |    26978     96 |        5 |      368
1271.98/1272.46	c 1272s |      21 |  1494798 |  1023645 |    26978     96 |        5 |      368
1274.08/1274.58	c 1274s |      21 |  1496715 |  1025245 |    26978     96 |        5 |      368
1276.08/1276.59	c 1276s |      21 |  1498801 |  1026945 |    26978     96 |        5 |      368
1278.18/1278.69	c 1278s |      21 |  1500578 |  1028245 |    26978     96 |        5 |      368
1280.38/1280.84	c 1280s |      21 |  1502536 |  1029645 |    26978     96 |        5 |      368
1282.48/1282.97	c 1282s |      21 |  1504567 |  1031045 |    26978     96 |        5 |      368
1284.58/1285.08	c 1284s |      21 |  1507048 |  1032445 |    26978     96 |        5 |      368
1286.69/1287.11	c 1286s |      21 |  1509233 |  1033745 |    26978     96 |        5 |      368
1288.89/1289.38	c 1288s |      21 |  1510994 |  1035045 |    26978     97 |        5 |      368
1290.88/1291.39	c 1290s |      21 |  1512988 |  1036445 |    26978     97 |        5 |      368
1292.98/1293.44	c 1293s |      21 |  1514962 |  1038045 |    26978     97 |        5 |      368
1295.08/1295.54	c 1295s |      21 |  1516742 |  1039345 |    26978     97 |        5 |      368
1297.08/1297.57	c 1297s |      21 |  1518664 |  1040645 |    26978     97 |        5 |      368
1299.18/1299.61	c 1299s |      21 |  1520454 |  1041845 |    26978     97 |        5 |      368
1301.28/1301.70	c 1301s |      21 |  1522320 |  1043145 |    26978     97 |        5 |      368
1303.38/1303.80	c 1303s |      21 |  1524150 |  1044545 |    26978     97 |        5 |      368
1305.48/1305.90	c 1305s |      21 |  1525835 |  1045845 |    26978     97 |        5 |      368
1307.59/1308.01	c 1307s |      21 |  1527473 |  1047245 |    26978     97 |        5 |      368
1309.58/1310.09	c 1309s |      21 |  1529032 |  1048545 |    26978     97 |        5 |      368
1311.68/1312.13	c 1311s |      21 |  1530582 |  1049745 |    26978     98 |        5 |      368
1313.78/1314.20	c 1313s |      21 |  1532442 |  1051245 |    26978     98 |        5 |      368
1315.78/1316.22	c 1315s |      21 |  1534128 |  1052745 |    26978     98 |        5 |      368
1317.88/1318.34	c 1317s |      21 |  1536077 |  1054345 |    26978     98 |        5 |      368
1319.98/1320.42	c 1320s |      21 |  1537899 |  1055845 |    26978     98 |        5 |      368
1321.98/1322.49	c 1322s |      21 |  1539732 |  1057345 |    26978     98 |        5 |      368
1324.08/1324.54	c 1324s |      21 |  1541574 |  1058845 |    26978     98 |        5 |      368
1326.08/1326.59	c 1326s |      21 |  1543288 |  1060345 |    26978     98 |        5 |      368
1328.28/1328.73	c 1328s |      21 |  1545136 |  1061745 |    26978     98 |        5 |      368
1330.58/1331.02	c 1330s |      21 |  1546693 |  1062845 |    26978     99 |        5 |      368
1332.57/1333.05	c 1332s |      21 |  1548281 |  1064145 |    26978     99 |        5 |      368
1334.67/1335.11	c 1334s |      21 |  1550183 |  1065645 |    26978     99 |        5 |      368
1336.77/1337.20	c 1336s |      21 |  1552185 |  1066945 |    26978     99 |        5 |      368
1338.87/1339.30	c 1338s |      21 |  1553962 |  1068245 |    26978     99 |        5 |      368
1340.87/1341.36	c 1340s |      21 |  1555436 |  1069445 |    26978     99 |        5 |      368
1342.97/1343.40	c 1342s |      21 |  1556834 |  1070645 |    26978     99 |        5 |      368
1344.98/1345.42	c 1344s |      21 |  1558244 |  1071745 |    26978     99 |        5 |      368
1347.18/1347.63	c 1347s |      21 |  1559332 |  1072545 |    26978     99 |        5 |      368
1349.28/1349.71	c 1349s |      21 |  1560401 |  1073245 |    26978     99 |        5 |      368
1351.37/1351.82	c 1351s |      21 |  1562407 |  1074645 |    26978     99 |        5 |      368
1353.37/1353.87	c 1353s |      21 |  1563991 |  1075645 |    26978     99 |        5 |      368
1356.57/1357.03	c 1356s |      21 |  1566074 |  1076945 |    26978    100 |        5 |      368
1358.57/1359.04	c 1358s |      21 |  1568483 |  1078445 |    26978    100 |        5 |      368
1360.67/1361.17	c 1360s |      21 |  1571325 |  1080345 |    26978    100 |        5 |      368
1362.67/1363.19	c 1362s |      21 |  1573740 |  1082045 |    26978    100 |        5 |      368
1364.67/1365.20	c 1364s |      21 |  1576027 |  1083845 |    26978    100 |        5 |      368
1368.57/1369.06	c 1368s |      21 |  1578495 |  1085745 |    26978    100 |        5 |      368
1370.67/1371.13	c 1370s |      21 |  1580537 |  1087145 |    26978    100 |        5 |      368
1372.67/1373.19	c 1372s |      21 |  1582790 |  1088345 |    26978    100 |        5 |      368
1374.87/1375.33	c 1374s |      21 |  1584606 |  1089545 |    26978    100 |        5 |      368
1377.17/1377.66	c 1377s |      21 |  1586938 |  1090945 |    26978    101 |        5 |      368
1379.17/1379.68	c 1379s |      21 |  1588998 |  1092245 |    26978    101 |        5 |      368
1381.28/1381.79	c 1381s |      21 |  1591512 |  1094045 |    26978    101 |        5 |      368
1383.38/1383.88	c 1383s |      21 |  1593547 |  1095645 |    26978    101 |        5 |      368
1385.58/1386.02	c 1385s |      21 |  1595574 |  1097245 |    26978    101 |        5 |      368
1387.57/1388.04	c 1387s |      21 |  1597624 |  1098645 |    26978    101 |        5 |      368
1389.67/1390.10	c 1389s |      21 |  1599330 |  1099745 |    26978    101 |        5 |      368
1391.77/1392.24	c 1391s |      21 |  1601871 |  1101045 |    26978    101 |        5 |      368
1393.87/1394.32	c 1393s |      21 |  1603983 |  1102445 |    26978    101 |        5 |      368
1395.97/1396.44	c 1396s |      21 |  1605721 |  1103745 |    26978    101 |        5 |      368
1397.97/1398.46	c 1398s |      21 |  1608246 |  1104945 |    26978    102 |        5 |      368
1399.97/1400.47	c 1400s |      21 |  1611037 |  1106345 |    26978    102 |        5 |      368
1402.07/1402.54	c 1402s |      21 |  1613524 |  1107945 |    26978    102 |        5 |      368
1404.06/1404.59	c 1404s |      21 |  1615659 |  1109545 |    26978    102 |        5 |      368
1406.16/1406.61	c 1406s |      21 |  1617520 |  1111045 |    26978    102 |        5 |      368
1408.16/1408.68	c 1408s |      21 |  1619385 |  1112545 |    26978    102 |        5 |      368
1410.16/1410.69	c 1410s |      21 |  1621167 |  1113945 |    26978    102 |        5 |      368
1412.26/1412.79	c 1412s |      21 |  1623189 |  1115345 |    26978    102 |        5 |      368
1414.46/1414.90	c 1414s |      21 |  1625112 |  1116545 |    26978    102 |        5 |      368
1416.47/1416.92	c 1416s |      21 |  1626981 |  1117945 |    26978    102 |        5 |      368
1418.57/1419.09	c 1418s |      21 |  1628971 |  1119145 |    26978    103 |        5 |      368
1420.77/1421.23	c 1420s |      21 |  1631644 |  1120845 |    26978    103 |        5 |      368
1422.86/1423.34	c 1422s |      21 |  1634243 |  1122645 |    26978    103 |        5 |      368
1424.86/1425.37	c 1424s |      21 |  1636453 |  1124345 |    26978    103 |        5 |      368
1426.96/1427.47	c 1427s |      21 |  1638670 |  1126145 |    26978    103 |        5 |      368
1429.16/1429.62	c 1429s |      21 |  1640974 |  1127545 |    26978    103 |        5 |      368
1431.16/1431.62	c 1431s |      21 |  1643282 |  1128945 |    26978    103 |        5 |      368
1433.26/1433.75	c 1433s |      21 |  1645376 |  1130445 |    26978    103 |        5 |      368
1435.36/1435.83	c 1435s |      21 |  1647530 |  1131945 |    26978    103 |        5 |      368
1437.37/1437.83	c 1437s |      21 |  1649675 |  1133645 |    26978    104 |        5 |      368
1439.36/1439.86	c 1439s |      21 |  1652430 |  1135845 |    26978    104 |        5 |      368
1441.36/1441.88	c 1441s |      21 |  1654422 |  1137245 |    26978    104 |        5 |      368
1443.46/1443.98	c 1443s |      21 |  1656904 |  1138945 |    26978    104 |        5 |      368
1445.56/1446.09	c 1445s |      21 |  1659209 |  1140645 |    26978    104 |        5 |      368
1447.66/1448.14	c 1447s |      21 |  1661498 |  1142445 |    26978    104 |        5 |      368
1449.76/1450.21	c 1449s |      21 |  1663646 |  1144045 |    26978    104 |        5 |      368
1451.76/1452.26	c 1451s |      21 |  1665738 |  1145545 |    26978    104 |        5 |      368
1453.76/1454.27	c 1453s |      21 |  1667755 |  1147245 |    26978    105 |        5 |      368
1455.86/1456.31	c 1455s |      21 |  1670176 |  1149145 |    26978    105 |        5 |      368
1457.86/1458.38	c 1457s |      21 |  1672544 |  1151045 |    26978    105 |        5 |      368
1459.96/1460.41	c 1459s |      21 |  1674586 |  1152645 |    26978    105 |        5 |      368
1461.96/1462.48	c 1462s |      21 |  1676888 |  1154445 |    26978    105 |        5 |      368
1464.06/1464.53	c 1464s |      21 |  1678913 |  1156145 |    26978    105 |        5 |      368
1466.16/1466.65	c 1466s |      21 |  1681022 |  1157845 |    26978    105 |        5 |      368
1468.25/1468.76	c 1468s |      21 |  1683101 |  1159545 |    26978    105 |        5 |      368
1470.26/1470.79	c 1470s |      21 |  1685036 |  1161245 |    26978    106 |        5 |      368
1472.35/1472.86	c 1472s |      21 |  1687327 |  1163245 |    26978    106 |        5 |      368
1476.86/1477.35	c 1476s |      21 |  1688046 |  1163845 |    26978    106 |        5 |      368
1479.45/1479.97	c 1479s |      21 |  1688689 |  1164245 |    26978    106 |        5 |      368
1481.55/1482.08	c 1481s |      21 |  1691344 |  1165945 |    26978    106 |        5 |      368
1483.65/1484.17	c 1483s |      21 |  1693881 |  1167645 |    26978    106 |        5 |      368
1485.76/1486.23	c 1485s |      21 |  1695943 |  1169345 |    26978    106 |        5 |      368
1487.85/1488.31	c 1487s |      21 |  1697849 |  1170845 |    26978    106 |        5 |      368
1489.95/1490.40	c 1489s |      21 |  1699950 |  1172345 |    26978    106 |        5 |      368
1491.95/1492.48	c 1492s |      21 |  1702121 |  1173745 |    26978    106 |        5 |      368
1494.15/1494.68	c 1494s |      21 |  1703904 |  1174845 |    26978    107 |        5 |      368
1496.35/1496.82	c 1496s |      21 |  1706683 |  1176345 |    26978    107 |        5 |      368
1498.45/1498.91	c 1498s |      21 |  1708842 |  1177845 |    26978    107 |        5 |      368
1500.45/1500.99	c 1500s |      21 |  1711228 |  1179345 |    26978    107 |        5 |      368
1502.65/1503.12	c 1502s |      21 |  1713355 |  1180845 |    26978    107 |        5 |      368
1504.75/1505.24	c 1504s |      21 |  1715474 |  1182345 |    26978    107 |        5 |      368
1506.85/1507.34	c 1506s |      21 |  1717330 |  1183745 |    26978    107 |        5 |      368
1508.86/1509.34	c 1508s |      21 |  1719070 |  1185145 |    26978    107 |        5 |      368
1510.85/1511.35	c 1510s |      21 |  1720641 |  1186445 |    26978    107 |        5 |      368
1513.35/1513.84	c 1513s |      21 |  1722573 |  1187745 |    26978    108 |        5 |      368
1515.36/1515.89	c 1515s |      21 |  1724817 |  1189245 |    26978    108 |        5 |      368
1517.45/1517.97	c 1517s |      21 |  1727192 |  1190845 |    26978    108 |        5 |      368
1519.55/1520.02	c 1519s |      21 |  1729132 |  1192345 |    26978    108 |        5 |      368
1521.55/1522.08	c 1521s |      21 |  1731014 |  1193845 |    26978    108 |        5 |      368
1523.55/1524.08	c 1523s |      21 |  1732912 |  1195245 |    26978    108 |        5 |      368
1525.65/1526.14	c 1525s |      21 |  1734763 |  1196645 |    26978    108 |        5 |      368
1527.65/1528.14	c 1527s |      21 |  1736560 |  1198045 |    26978    108 |        5 |      368
1529.76/1530.23	c 1529s |      21 |  1738473 |  1199445 |    26978    108 |        5 |      368
1531.86/1532.32	c 1531s |      21 |  1740276 |  1200845 |    26978    108 |        5 |      368
1534.05/1534.59	c 1534s |      21 |  1742095 |  1202245 |    26978    109 |        5 |      368
1536.15/1536.63	c 1536s |      21 |  1743920 |  1203645 |    26978    109 |        5 |      368
1538.15/1538.69	c 1538s |      21 |  1746078 |  1205345 |    26978    109 |        5 |      368
1540.35/1540.81	c 1540s |      21 |  1748183 |  1207045 |    26978    109 |        5 |      368
1542.35/1542.81	c 1542s |      21 |  1750084 |  1208545 |    26978    109 |        5 |      368
1544.35/1544.84	c 1544s |      21 |  1751856 |  1209845 |    26978    109 |        5 |      368
1546.45/1546.96	c 1546s |      21 |  1753671 |  1211345 |    26978    109 |        5 |      368
1548.55/1549.07	c 1548s |      21 |  1755271 |  1212645 |    26978    109 |        5 |      368
1550.65/1551.17	c 1550s |      21 |  1757101 |  1214045 |    26978    109 |        5 |      368
1552.85/1553.32	c 1552s |      21 |  1758937 |  1215545 |    26978    109 |        5 |      368
1554.84/1555.33	c 1554s |      21 |  1760429 |  1216745 |    26978    110 |        5 |      368
1556.84/1557.38	c 1556s |      21 |  1762485 |  1218445 |    26978    110 |        5 |      368
1558.94/1559.48	c 1559s |      21 |  1764536 |  1220045 |    26978    110 |        5 |      368
1561.14/1561.62	c 1561s |      21 |  1766507 |  1221645 |    26978    110 |        5 |      368
1563.24/1563.76	c 1563s |      21 |  1768588 |  1223345 |    26978    110 |        5 |      368
1565.34/1565.86	c 1565s |      21 |  1770258 |  1224845 |    26978    110 |        5 |      368
1567.44/1567.97	c 1567s |      21 |  1771537 |  1225845 |    26978    110 |        5 |      368
1569.44/1570.00	c 1569s |      21 |  1772999 |  1226945 |    26978    110 |        5 |      368
1571.64/1572.17	c 1571s |      21 |  1774548 |  1228245 |    26978    110 |        5 |      368
1574.44/1574.95	c 1574s |      21 |  1776062 |  1229345 |    26978    110 |        5 |      368
1577.05/1577.57	c 1577s |      21 |  1777306 |  1230245 |    26978    111 |        5 |      368
1579.54/1580.03	c 1579s |      21 |  1778744 |  1231345 |    26978    111 |        5 |      368
1581.54/1582.07	c 1581s |      21 |  1780799 |  1232745 |    26978    111 |        5 |      368
1583.64/1584.14	c 1583s |      21 |  1782069 |  1233645 |    26978    111 |        5 |      368
1585.74/1586.22	c 1585s |      21 |  1784106 |  1235045 |    26978    111 |        5 |      368
1587.74/1588.29	c 1587s |      21 |  1785941 |  1236445 |    26978    111 |        5 |      368
1589.94/1590.43	c 1590s |      21 |  1787747 |  1237845 |    26978    111 |        5 |      368
1592.04/1592.55	c 1592s |      21 |  1789562 |  1239245 |    26978    111 |        5 |      368
1594.13/1594.65	c 1594s |      21 |  1791217 |  1240645 |    26978    111 |        5 |      368
1596.33/1596.84	c 1596s |      21 |  1792869 |  1241845 |    26978    111 |        5 |      368
1598.33/1598.87	c 1598s |      21 |  1794292 |  1242945 |    26978    111 |        5 |      368
1600.43/1600.92	c 1600s |      21 |  1795642 |  1243945 |    26978    112 |        5 |      368
1602.53/1603.03	c 1602s |      21 |  1797720 |  1245545 |    26978    112 |        5 |      368
1604.63/1605.11	c 1604s |      21 |  1799702 |  1247245 |    26978    112 |        5 |      368
1606.74/1607.21	c 1606s |      21 |  1801627 |  1248845 |    26978    112 |        5 |      368
1608.84/1609.33	c 1608s |      21 |  1803522 |  1250445 |    26978    112 |        5 |      368
1610.93/1611.46	c 1611s |      21 |  1805380 |  1251945 |    26978    112 |        5 |      368
1613.13/1613.60	c 1613s |      21 |  1807078 |  1253345 |    26978    112 |        5 |      368
1615.23/1615.71	c 1615s |      21 |  1808863 |  1254745 |    26978    112 |        5 |      368
1617.33/1617.81	c 1617s |      21 |  1810472 |  1256045 |    26978    112 |        5 |      368
1619.43/1619.91	c 1619s |      21 |  1811925 |  1257245 |    26978    112 |        5 |      368
1621.73/1622.29	c 1621s |      21 |  1813590 |  1258545 |    26978    113 |        5 |      368
1623.93/1624.40	c 1623s |      21 |  1815776 |  1260145 |    26978    113 |        5 |      368
1625.93/1626.41	c 1625s |      21 |  1817824 |  1261645 |    26978    113 |        5 |      368
1628.03/1628.55	c 1628s |      21 |  1819891 |  1263245 |    26978    113 |        5 |      368
1630.03/1630.58	c 1630s |      21 |  1821680 |  1264545 |    26978    113 |        5 |      368
1632.13/1632.69	c 1632s |      21 |  1823207 |  1265745 |    26978    113 |        5 |      368
1634.33/1634.80	c 1634s |      21 |  1824733 |  1267045 |    26978    113 |        5 |      368
1636.43/1636.96	c 1636s |      21 |  1826009 |  1268045 |    26978    113 |        5 |      368
1638.63/1639.10	c 1638s |      21 |  1827546 |  1269145 |    26978    113 |        5 |      368
1640.62/1641.11	c 1640s |      21 |  1829321 |  1270345 |    26978    113 |        5 |      368
1642.72/1643.22	c 1642s |      21 |  1831164 |  1271645 |    26978    113 |        5 |      368
1644.92/1645.42	c 1644s |      21 |  1832681 |  1272745 |    26978    114 |        5 |      368
1647.02/1647.53	c 1647s |      21 |  1834727 |  1274345 |    26978    114 |        5 |      368
1649.03/1649.59	c 1649s |      21 |  1836127 |  1275445 |    26978    114 |        5 |      368
1651.23/1651.72	c 1651s |      21 |  1838211 |  1276845 |    26978    114 |        5 |      368
1653.43/1653.93	c 1653s |      21 |  1839938 |  1278145 |    26978    114 |        5 |      368
1655.43/1655.99	c 1655s |      21 |  1841649 |  1279345 |    26978    114 |        5 |      368
1657.53/1658.03	c 1657s |      21 |  1843166 |  1280445 |    26978    114 |        5 |      368
1659.63/1660.14	c 1659s |      21 |  1844785 |  1281745 |    26978    114 |        5 |      368
1661.64/1662.16	c 1661s |      21 |  1846427 |  1283045 |    26978    114 |        5 |      368
1663.73/1664.28	c 1663s |      21 |  1848305 |  1284445 |    26978    114 |        5 |      368
1665.83/1666.32	c 1665s |      21 |  1850092 |  1285845 |    26978    114 |        5 |      368
1667.93/1668.48	c 1668s |      21 |  1851597 |  1286845 |    26978    115 |        5 |      368
1670.13/1670.65	c 1670s |      21 |  1853206 |  1288145 |    26978    115 |        5 |      368
1672.23/1672.78	c 1672s |      21 |  1855208 |  1289645 |    26978    115 |        5 |      368
1674.43/1674.91	c 1674s |      21 |  1857129 |  1291245 |    26978    115 |        5 |      368
1676.43/1677.00	c 1676s |      21 |  1858968 |  1292645 |    26978    115 |        5 |      368
1678.53/1679.02	c 1678s |      21 |  1860687 |  1294045 |    26978    115 |        5 |      368
1680.63/1681.15	c 1680s |      21 |  1862546 |  1295545 |    26978    115 |        5 |      368
1682.73/1683.26	c 1682s |      21 |  1864385 |  1296945 |    26978    115 |        5 |      368
1684.73/1685.26	c 1684s |      21 |  1865813 |  1298145 |    26978    115 |        5 |      368
1686.82/1687.40	c 1686s |      21 |  1867427 |  1299545 |    26978    115 |        5 |      368
1689.02/1689.51	c 1689s |      21 |  1868938 |  1300845 |    26978    116 |        5 |      368
1691.22/1691.72	c 1691s |      21 |  1870203 |  1301845 |    26978    116 |        5 |      368
1693.22/1693.72	c 1693s |      21 |  1870851 |  1302345 |    26978    116 |        5 |      368
1695.32/1695.81	c 1695s |      21 |  1873019 |  1303745 |    26978    116 |        5 |      368
1697.42/1697.90	c 1697s |      21 |  1874842 |  1305145 |    26978    116 |        5 |      368
1699.52/1700.07	c 1699s |      21 |  1876874 |  1306545 |    26978    116 |        5 |      368
1701.52/1702.08	c 1701s |      21 |  1878256 |  1307645 |    26978    116 |        5 |      368
1703.62/1704.14	c 1703s |      21 |  1879764 |  1308845 |    26978    116 |        5 |      368
1705.72/1706.21	c 1705s |      21 |  1881536 |  1310245 |    26978    116 |        5 |      368
1707.72/1708.27	c 1707s |      21 |  1883324 |  1311645 |    26978    116 |        5 |      368
1709.92/1710.47	c 1710s |      21 |  1884931 |  1312745 |    26978    116 |        5 |      368
1712.12/1712.65	c 1712s |      21 |  1886990 |  1314145 |    26978    116 |        5 |      368
1714.12/1714.65	c 1714s |      21 |  1888472 |  1315345 |    26978    117 |        5 |      368
1716.12/1716.67	c 1716s |      21 |  1890573 |  1316845 |    26978    117 |        5 |      368
1718.22/1718.71	c 1718s |      21 |  1892450 |  1318245 |    26978    117 |        5 |      368
1720.31/1720.85	c 1720s |      21 |  1894134 |  1319645 |    26978    117 |        5 |      368
1722.41/1722.93	c 1722s |      21 |  1895931 |  1321045 |    26978    117 |        5 |      368
1724.51/1725.03	c 1724s |      21 |  1897574 |  1322445 |    26978    117 |        5 |      368
1726.52/1727.04	c 1726s |      21 |  1899229 |  1323845 |    26978    117 |        5 |      368
1728.61/1729.11	c 1728s |      21 |  1900699 |  1325145 |    26978    117 |        5 |      368
1730.81/1731.30	c 1730s |      21 |  1901713 |  1325945 |    26978    117 |        5 |      368
1732.91/1733.40	c 1732s |      21 |  1903097 |  1326945 |    26978    117 |        5 |      368
1735.21/1735.78	c 1735s |      21 |  1904575 |  1328045 |    26978    118 |        5 |      368
1737.31/1737.80	c 1737s |      21 |  1906136 |  1329245 |    26978    118 |        5 |      368
1739.31/1739.84	c 1739s |      21 |  1907881 |  1330645 |    26978    118 |        5 |      368
1741.41/1741.99	c 1741s |      21 |  1909508 |  1331945 |    26978    118 |        5 |      368
1743.61/1744.11	c 1743s |      21 |  1911360 |  1333445 |    26978    118 |        5 |      368
1745.71/1746.25	c 1745s |      21 |  1913001 |  1334745 |    26978    118 |        5 |      368
1747.71/1748.25	c 1747s |      21 |  1914178 |  1335745 |    26978    118 |        5 |      368
1749.81/1750.39	c 1749s |      21 |  1915352 |  1336745 |    26978    118 |        5 |      368
1752.01/1752.55	c 1752s |      21 |  1917012 |  1338045 |    26978    118 |        5 |      368
1754.11/1754.66	c 1754s |      21 |  1918402 |  1339145 |    26978    118 |        5 |      368
1756.21/1756.76	c 1756s |      21 |  1919762 |  1340245 |    26978    118 |        5 |      368
1758.41/1758.94	c 1758s |      21 |  1921205 |  1341445 |    26978    118 |        5 |      368
1760.51/1761.05	c 1760s |      21 |  1922461 |  1342445 |    26978    119 |        5 |      368
1762.61/1763.19	c 1762s |      21 |  1924395 |  1344045 |    26978    119 |        5 |      368
1764.81/1765.33	c 1764s |      21 |  1926146 |  1345445 |    26978    119 |        5 |      368
1766.91/1767.46	c 1767s |      21 |  1927772 |  1346845 |    26978    119 |        5 |      368
1769.01/1769.55	c 1769s |      21 |  1929388 |  1348245 |    26978    119 |        5 |      368
1771.01/1771.59	c 1771s |      21 |  1930999 |  1349645 |    26978    119 |        5 |      368
1773.21/1773.75	c 1773s |      21 |  1932434 |  1350845 |    26978    119 |        5 |      368
1775.21/1775.77	c 1775s |      21 |  1933779 |  1352045 |    26978    119 |        5 |      368
1777.31/1777.81	c 1777s |      21 |  1934944 |  1353045 |    26978    119 |        5 |      368
1779.32/1779.87	c 1779s |      21 |  1936175 |  1354045 |    26978    119 |        5 |      368
1781.41/1781.97	c 1781s |      21 |  1937546 |  1355045 |    26978    119 |        5 |      368
1783.51/1784.08	c 1783s |      21 |  1938586 |  1355945 |    26978    119 |        5 |      368
1785.61/1786.10	c 1785s |      21 |  1939326 |  1356545 |    26978    120 |        5 |      368
1787.71/1788.25	c 1787s |      21 |  1940897 |  1357845 |    26978    120 |        5 |      368
1789.81/1790.36	c 1789s |      21 |  1942341 |  1359045 |    26978    120 |        5 |      368
1791.91/1792.46	c 1792s |      21 |  1943411 |  1359945 |    26978    120 |        5 |      368
1794.01/1794.54	c 1794s |      21 |  1944605 |  1360945 |    26978    120 |        5 |      368
1796.01/1796.57	c 1796s |      21 |  1945572 |  1361745 |    26978    120 |        5 |      368
1798.21/1798.79	c 1798s |      21 |  1946772 |  1362745 |    26978    120 |        5 |      368

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

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

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


[startup+0 s]
/proc/loadavg: 1.34 1.65 1.97 4/178 27273
/proc/meminfo: memFree=30205944/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 2800 0 0 0 0 0 0 0 20 0 4 0 13913761 766963712 2650 33554432000 4194304 16246674 140736602286448 140736602285872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 188015 2659 441 2943 0 184909 0
[pid=27273/tid=27274] ppid=27264 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 785838080 2720 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 790032384 2737 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13913761 794226688 2754 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 1.34 1.65 1.97 4/178 27273
/proc/meminfo: memFree=30205944/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 26543 0 0 0 5 4 0 0 20 0 4 0 13913761 1333334016 26332 33554432000 4194304 16246674 140736602286448 140736602269440 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 325521 26345 800 2943 0 322415 0
[pid=27273/tid=27274] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 26355 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 26366 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 26377 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200483 s]
/proc/loadavg: 1.34 1.65 1.97 4/178 27273
/proc/meminfo: memFree=30205944/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 53699 0 0 0 11 8 0 0 20 0 4 0 13913761 1333334016 53487 33554432000 4194304 16246674 140736602286448 140736602269440 12457726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 325521 53497 834 2943 0 322415 0
[pid=27273/tid=27274] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 53504 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 53513 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 53520 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300442 s]
/proc/loadavg: 1.34 1.65 1.97 4/178 27273
/proc/meminfo: memFree=30205944/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 80420 0 0 0 18 11 0 0 20 0 4 0 13913761 1333334016 80208 33554432000 4194304 16246674 140736602286448 140736602269440 13930238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 325521 80216 834 2943 0 322415 0
[pid=27273/tid=27274] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 80224 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 80233 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 80239 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700417 s]
/proc/loadavg: 1.34 1.65 1.97 4/178 27273
/proc/meminfo: memFree=30205944/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 155680 0 0 0 47 22 0 0 20 0 4 0 13913761 1333334016 155468 33554432000 4194304 16246674 140736602286448 140736602269440 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 325521 155474 878 2943 0 322415 0
[pid=27273/tid=27274] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 155478 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 155482 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1333334016 155486 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50042 s]
/proc/loadavg: 1.40 1.66 1.97 4/183 27278
/proc/meminfo: memFree=28402492/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 269070 0 0 0 110 39 0 0 20 0 4 0 13913761 1343819776 268858 33554432000 4194304 16246674 140736602286448 140736602285760 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 328081 268858 884 2943 0 324975 0
[pid=27273/tid=27274] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 268858 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 268858 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 268858 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10037 s]
/proc/loadavg: 1.40 1.66 1.97 4/183 27278
/proc/meminfo: memFree=28058756/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 269071 0 0 0 270 39 0 0 20 0 4 0 13913761 1343819776 268859 33554432000 4194304 16246674 140736602286448 140736602268352 5823320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 328081 268859 884 2943 0 324975 0
[pid=27273/tid=27274] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 268859 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 268859 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 268859 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 1.44 1.66 1.97 4/183 27278
/proc/meminfo: memFree=28058136/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 269264 0 0 0 590 39 0 0 20 0 4 0 13913761 1343819776 269052 33554432000 4194304 16246674 140736602286448 140736602268352 6022834 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 328081 269052 885 2943 0 324975 0
[pid=27273/tid=27274] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 269052 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 269052 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 269052 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 1.49 1.67 1.97 3/183 27327
/proc/meminfo: memFree=28064080/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 269265 0 0 0 1230 39 0 0 20 0 4 0 13913761 1343819776 269053 33554432000 4194304 16246674 140736602286448 140736602268352 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 328081 269053 885 2943 0 324975 0
[pid=27273/tid=27274] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 269053 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 269053 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1343819776 269053 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 1.67 1.70 1.98 3/183 27327
/proc/meminfo: memFree=28051480/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 270589 0 0 0 2510 39 0 0 20 0 4 0 13913761 1350111232 270377 33554432000 4194304 16246674 140736602286448 140736602268352 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 329617 270377 885 2943 0 326511 0
[pid=27273/tid=27274] ppid=27264 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1350111232 270377 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1350111232 270377 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1350111232 270377 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 1.92 1.76 1.99 3/183 27327
/proc/meminfo: memFree=28043648/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 272352 0 0 0 5069 39 0 0 20 0 4 0 13913761 1356402688 272126 33554432000 4194304 16246674 140736602286448 140736602269448 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 331153 272126 886 2943 0 328047 0
[pid=27273/tid=27274] ppid=27264 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1356402688 272126 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1356402688 272126 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1356402688 272126 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.14 1.84 2.00 3/183 27474
/proc/meminfo: memFree=28013908/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1331780 CPUtime=102.26 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 274161 0 0 0 10187 39 0 0 20 0 4 0 13913761 1363742720 273918 33554432000 4194304 16246674 140736602286448 140736602268352 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 332945 273918 886 2943 0 329839 0
[pid=27273/tid=27274] ppid=27264 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1363742720 273918 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1363742720 273918 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1363742720 273918 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1331780


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

/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1381956

[startup+1362.3 s]
/proc/loadavg: 2.20 2.20 2.16 3/183 27505
/proc/meminfo: memFree=27894444/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1361.87 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 136136 51 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5823631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1381956

[startup+1422.3 s]
/proc/loadavg: 2.27 2.23 2.17 3/183 27506
/proc/meminfo: memFree=27894404/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1421.87 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 142135 52 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602269448 13191992 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1381956

[startup+1482.3 s]
/proc/loadavg: 2.39 2.26 2.18 4/183 27507
/proc/meminfo: memFree=27894480/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1481.85 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 148133 52 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 6011672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1381956

[startup+1542.31 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 27509
/proc/meminfo: memFree=27894592/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1541.85 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 154132 53 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1381956

[startup+1602.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 27510
/proc/meminfo: memFree=27894588/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1601.83 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 160130 53 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5823037 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1381956

[startup+1662.3 s]
/proc/loadavg: 2.27 2.24 2.18 3/183 27511
/proc/meminfo: memFree=27894784/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1661.83 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 166129 54 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5717668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1381956

[startup+1722.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/184 27515
/proc/meminfo: memFree=27884816/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1721.81 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 172127 54 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 12466705 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1381956

[startup+1782.3 s]
/proc/loadavg: 2.43 2.30 2.20 3/183 27516
/proc/meminfo: memFree=27884532/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1781.81 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 178126 55 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5523508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1381956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.41 2.30 2.20 3/183 27517
/proc/meminfo: memFree=27884532/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1800.01 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 179946 55 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1381956

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

[startup+1800.5 s]
/proc/loadavg: 2.41 2.30 2.20 3/183 27517
/proc/meminfo: memFree=27884532/32872528 swapFree=1499116/1695340
[pid=27273] ppid=27264 vsize=1381956 CPUtime=1800.01 cores=1,3,5,7
/proc/27273/stat : 27273 (toysat) R 27264 27273 24593 0 -1 4202496 287034 0 0 0 179946 55 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 140736602268352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27273/statm: 345489 286463 887 2943 0 342383 0
[pid=27273/tid=27274] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27274/stat : 27274 (toysat) S 27264 27273 24593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716029558000 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27273/tid=27275] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27275/stat : 27275 (toysat) S 27264 27273 24593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716019068144 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27273/tid=27276] ppid=27264 vsize=1381956 CPUtime=0 cores=1,3,5,7
/proc/27273/task/27276/stat : 27276 (toysat) S 27264 27273 24593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13913761 1415122944 286463 33554432000 4194304 16246674 140736602286448 139716008594608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1381956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.46
CPU system time (s): 0.553915
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1381956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.553915
maximum resident set size= 1145852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287034
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= 373
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40733 second user time and 7.11592 second system time

The end

Begin job on node137 at 2016-06-17 01:11:20
IDJOB=4097870
IDBENCH=107819
IDSOLVER=2542
FILE ID=node137/4097870-1466118680
RUNJOBID= node137-1466118679-27242
PBS_JOBID= 19904058
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097870-1466118680/watcher-4097870-1466118680 -o /tmp/evaluation-result-4097870-1466118680/solver-4097870-1466118680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466118679-27242 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097870-1466118680.opb

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

MD5SUM BENCH= 57a81814e686601f1c1e408a126c1564
RANDOM SEED=593428157

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        30209264 kB
Buffers:           70196 kB
Cached:           186472 kB
SwapCached:         2428 kB
Active:           152608 kB
Inactive:         107144 kB
Active(anon):       3796 kB
Inactive(anon):     1904 kB
Active(file):     148812 kB
Inactive(file):   105240 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099536 kB
Dirty:             33772 kB
Writeback:             0 kB
AnonPages:       1697268 kB
Mapped:             6872 kB
Shmem:                 0 kB
Slab:             572464 kB
SReclaimable:      16464 kB
SUnreclaim:       556000 kB
KernelStack:        1368 kB
PageTables:         7196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71668 MiB
End job on node137 at 2016-06-17 01:41:21