Trace number 4101105

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.15 1800.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc205.opb
MD5SUM085f6c29f952ff5e0e711950d59893d5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables6090
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint30
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524370
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T05:31:18+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4101105-1466220678.opb"]
0.00/0.01	c use --random-gen="2540802858 4086222198 155758133 2686061817 3250232361 2292109064 557654564 684764591 2503080434 2176820280 938774631 2221806353 1600307323 312342816 3698033851 1842242962 1219535242 2226273212 461410874 2615225825 334693136 1470140296 253848045 2938982176 3598594044 1224348897 3086951864 564306518 1008779000 2587966374 1774872904 1128613580 1151650268 2289827153 2708590668 373317503 3987595572 1852730478 2064982936 849687796 2778761833 752366196 2162175177 3446441787 700447423 24977203 2557702380 1345573548 3983030712 1256633690 678177548 64080351 2845193651 1790229665 1736033041 87841280 503480679 2782081405 3545730731 4251445404 2879188502 689632697 2141466608 3722398581 2147461129 3837048447 1288662184 3623940485 1097389210 970887627 4257883314 2178155642 2863178394 104220888 3264849020 1430931063 1496567266 3123100590 2523914161 2846443603 1702532830 2867873763 3411314689 540317425 3897883227 2782657500 1856653919 3052347355 1896605226 383146628 1700815071 3499447867 2548119903 3550703108 1892930120 398016848 1762911933 4142493108 737751563 2461976604 1811293037 3369924454 3518904921 4175075679 3471607777 2459353962 28824410 2061313751 3296069468 3438729012 3322921762 1119556766 277774484 3131643601 4240907351 3897634399 4112673091 1260528353 3687943949 1511702843 3539711332 2337012913 394345056 3850611245 2391051657 2931577648 992614642 626522730 4159637200 1164279580 2698891268 2614552171 1540626551 3207658442 2647063665 1878855577 3113362230 2324327998 3270414341 1033967107 3086448645 923137062 2462139415 2376396546 3932581363 3157699800 1451173238 1689552457 3905619384 2532233967 601092073 2968201203 3909086003 3064607034 165354461 4081325695 799308565 2278232976 2612621926 1794369225 447304614 1138776852 1109663768 3427183367 1978931340 4292945478 2540263460 2701022299 1003129516 699752282 1312071807 1423822474 1714902735 3525722789 2865609694 2915869176 3260307479 930892013 3398116091 4164863480 4207905882 3126849586 3131800521 3962850082 3497024480 3109843719 168937553 2106370142 3453516374 3003803905 2935955525 1345004640 3155294895 122950559 805063679 1383798347 2573337253 319533057 1064840357 2459521610 1482539569 1235596198 818336977 3066287412 4053817185 1045167795 3058276127 1780426764 1404841863 2491026535 3169626463 4166781261 1783977600 1528223375 3945792093 1531873126 4129903664 50878957 1226297601 2875629630 3703848915 667730338 2502839413 223059129 3161002902 3126148112 4205341923 3261666943 3655483674 3732602684 492952735 233831593 2667296434 2077284376 353800921 1883580673 3755373539 3955190192 2886753448 886703574 1620378198 3448301421 188873346 2608794510 1889036530 3733266066 3833334143 2033914746 2942220697 3858012524 2848900612 2310832886 645342813 399868933 1860807239 3026692163 255 362436" option to reproduce the execution
0.00/0.05	c #vars 6090
0.00/0.05	c #constraints 204
1.10/1.14	c BCD2: Hardening is enabled.
1.10/1.14	c BCD2: BiasedSearch is enabled.
1.10/1.14	c Solving starts ...
1.10/1.14	c ============================[ Search Statistics ]============================
1.10/1.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.14	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.14	c =============================================================================
1.10/1.14	c  0.0s |       0 |        0 |        0 |     2128      0 |      493 |        0
1.10/1.18	c  0.0s |       1 |      516 |      100 |     2128      0 |      495 |        1
1.20/1.23	c  0.1s |       2 |     1085 |      250 |     2341      0 |      592 |        1
1.20/1.25	c  0.1s |       3 |     1320 |      475 |     2576      0 |      592 |        1
1.20/1.28	c  0.1s |       4 |     1763 |      813 |     2834      0 |      592 |        1
1.29/1.35	c  0.2s |       5 |     2315 |     1320 |     3118      0 |      592 |        1
1.39/1.44	c  0.3s |       6 |     3107 |     2081 |     3774      0 |      592 |        1
1.59/1.62	c  0.5s |       7 |     4398 |     3223 |     4152      0 |      592 |        1
1.89/1.94	c  0.8s |       8 |     6213 |     4936 |     4568      0 |      592 |        1
2.39/2.44	c  1.3s |       9 |     8858 |     7506 |     5025      1 |      592 |        1
3.40/3.46	c  2.3s |      10 |    13895 |    11361 |     5528      2 |      592 |        1
4.69/4.77	c  3.6s |      11 |    24415 |    17144 |     6081      4 |      649 |        1
6.70/6.78	c  5.6s |      11 |    31164 |    23544 |     6081      6 |      649 |        1
7.49/7.54	c  6.4s |      12 |    33466 |    25819 |     6690      6 |      649 |        1
9.48/9.56	c  8.4s |      12 |    44879 |    35019 |     6690      9 |      664 |        1
10.49/10.50	c  9.4s |      13 |    48997 |    38832 |     7360     10 |      664 |        1
12.49/12.51	c 11.4s |      13 |    56234 |    45232 |     7360     11 |      664 |        1
14.49/14.53	c 13.4s |      13 |    61593 |    49332 |     7360     12 |      665 |        1
16.50/16.57	c 15.4s |      13 |    64389 |    51032 |     7360     12 |      665 |        1
18.70/18.71	c 17.6s |      13 |    66630 |    52332 |     7360     13 |      665 |        1
20.69/20.74	c 19.6s |      13 |    67857 |    53332 |     7360     13 |      665 |        1
22.69/22.75	c 21.6s |      13 |    69283 |    54232 |     7360     13 |      665 |        1
24.69/24.76	c 23.6s |      13 |    70934 |    55232 |     7360     13 |      665 |        1
26.79/26.86	c 25.7s |      13 |    71745 |    56032 |     7360     13 |      665 |        1
28.99/29.06	c 27.9s |      13 |    73286 |    56932 |     7360     14 |      665 |        1
31.09/31.12	c 30.0s |      13 |    74761 |    57832 |     7360     14 |      665 |        1
32.59/32.68	c 31.5s |      14 |    75663 |    58352 |     8097     14 |      665 |        1
34.59/34.69	c 33.5s |      14 |    84947 |    66852 |     8097     16 |      665 |        1
36.58/36.69	c 35.5s |      14 |    92641 |    73552 |     8097     17 |      665 |        1
38.68/38.70	c 37.6s |      14 |    99464 |    79152 |     8097     18 |      665 |        1
40.69/40.72	c 39.6s |      14 |   108220 |    86452 |     8097     20 |      665 |        1
41.08/41.14	c 40.0s |      15 |   109507 |    87632 |     8907     20 |      665 |        1
43.08/43.14	c 42.0s |      15 |   113424 |    90832 |     8907     21 |      665 |        1
45.09/45.20	c 44.1s |      15 |   117077 |    94332 |     8907     21 |      665 |        1
47.18/47.23	c 46.1s |      15 |   120329 |    97332 |     8907     22 |      665 |        1
49.18/49.26	c 48.1s |      15 |   123408 |   100132 |     8907     23 |      665 |        1
51.18/51.29	c 50.2s |      15 |   126385 |   102832 |     8907     23 |      665 |        1
53.28/53.30	c 52.2s |      15 |   130051 |   106332 |     8907     24 |      665 |        1
55.28/55.32	c 54.2s |      15 |   133782 |   109732 |     8907     24 |      665 |        1
57.28/57.34	c 56.2s |      15 |   137176 |   112832 |     8907     25 |      665 |        1
59.28/59.38	c 58.2s |      15 |   140581 |   115832 |     8907     26 |      665 |        1
61.38/61.45	c 60.3s |      15 |   144163 |   119132 |     8907     26 |      665 |        1
63.38/63.46	c 62.3s |      15 |   146497 |   121232 |     8907     27 |      665 |        1
65.48/65.50	c 64.4s |      15 |   149606 |   124232 |     8907     27 |      665 |        1
67.47/67.54	c 66.4s |      15 |   153858 |   127732 |     8907     28 |      665 |        1
69.48/69.59	c 68.5s |      15 |   158590 |   131432 |     9798     28 |      665 |        1
69.57/69.68	c 68.5s |      16 |   158732 |   131552 |     9798     28 |      665 |        1
71.68/71.72	c 70.6s |      16 |   166110 |   138752 |     9798     30 |      665 |        1
73.68/73.73	c 72.6s |      16 |   172317 |   144452 |     9798     31 |      665 |        1
75.67/75.75	c 74.6s |      16 |   176540 |   148452 |     9798     31 |      665 |        1
77.67/77.79	c 76.7s |      16 |   180695 |   152352 |     9798     32 |      665 |        1
79.77/79.86	c 78.7s |      16 |   185265 |   156052 |     9798     33 |      665 |        1
81.77/81.86	c 80.7s |      16 |   190418 |   159952 |     9798     33 |      665 |        1
83.77/83.88	c 82.7s |      16 |   194565 |   162952 |     9798     34 |      665 |        1
85.88/85.93	c 84.8s |      16 |   199279 |   166752 |     9798     34 |      665 |        1
87.87/87.95	c 86.8s |      16 |   203979 |   170252 |     9798     35 |      665 |        1
89.98/90.01	c 88.9s |      16 |   207309 |   172952 |     9798     35 |      665 |        1
91.98/92.05	c 90.9s |      16 |   210933 |   175952 |     9798     36 |      665 |        1
93.98/94.07	c 92.9s |      16 |   216001 |   179952 |     9798     36 |      665 |        1
96.98/97.02	c 95.9s |      16 |   220250 |   183052 |     9798     37 |      665 |        1
98.98/99.10	c 98.0s |      16 |   225105 |   186852 |     9798     38 |      665 |        1
101.08/101.14	c  100s |      16 |   230147 |   190752 |     9798     38 |      665 |        1
103.48/103.50	c  102s |      16 |   233922 |   193952 |     9798     39 |      665 |        1
105.87/105.96	c  104s |      16 |   236505 |   196052 |     9798     39 |      665 |        1
106.68/106.73	c  105s |      17 |   238265 |   197432 |    10778     39 |      665 |        1
108.67/108.74	c  107s |      17 |   241581 |   200332 |    10778     40 |      665 |        1
110.67/110.79	c  109s |      17 |   247300 |   205632 |    10778     41 |      665 |        1
112.67/112.79	c  111s |      17 |   252002 |   209932 |    10778     41 |      665 |        1
114.77/114.83	c  113s |      17 |   256919 |   214332 |    10778     42 |      665 |        1
116.77/116.85	c  115s |      17 |   261753 |   218632 |    10778     43 |      665 |        1
118.77/118.87	c  117s |      17 |   265439 |   222032 |    10778     43 |      665 |        1
120.77/120.88	c  119s |      17 |   270055 |   226032 |    10778     44 |      665 |        1
122.77/122.88	c  121s |      17 |   274857 |   230132 |    10778     45 |      665 |        1
125.07/125.13	c  123s |      17 |   278755 |   233632 |    10778     45 |      665 |        1
127.07/127.14	c  126s |      17 |   284586 |   238532 |    10778     46 |      665 |        1
129.07/129.17	c  128s |      17 |   290400 |   243632 |    10778     47 |      665 |        1
131.07/131.19	c  130s |      17 |   295572 |   247932 |    10778     48 |      665 |        1
133.18/133.27	c  132s |      17 |   300757 |   252332 |    10778     49 |      665 |        1
135.17/135.28	c  134s |      17 |   304602 |   255432 |    10778     49 |      665 |        1
137.27/137.30	c  136s |      17 |   308873 |   259132 |    10778     50 |      665 |        1
139.27/139.31	c  138s |      17 |   315293 |   264632 |    10778     51 |      665 |        1
142.47/142.50	c  141s |      17 |   322059 |   270332 |    10778     52 |      665 |        1
144.77/144.80	c  143s |      17 |   328441 |   275832 |    10778     53 |      665 |        1
146.77/146.83	c  145s |      17 |   331911 |   278932 |    10778     53 |      665 |        1
148.77/148.84	c  147s |      17 |   337389 |   283632 |    10778     54 |      665 |        1
150.77/150.84	c  149s |      17 |   342058 |   287832 |    10778     55 |      665 |        1
152.76/152.87	c  151s |      17 |   347458 |   292532 |    10778     55 |      665 |        1
155.76/155.87	c  154s |      17 |   350853 |   295632 |    11856     56 |      665 |        1
155.96/156.08	c  154s |      18 |   351590 |   296252 |    11856     56 |      665 |        1
158.06/158.11	c  156s |      18 |   360890 |   302452 |    11856     57 |      665 |        1
160.06/160.13	c  158s |      18 |   367428 |   307952 |    11856     58 |      665 |        1
162.06/162.16	c  161s |      18 |   373135 |   313052 |    11856     58 |      665 |        1
164.07/164.18	c  163s |      18 |   379817 |   318552 |    11856     59 |      665 |        1
166.07/166.19	c  165s |      18 |   384221 |   322852 |    11856     60 |      665 |        1
168.17/168.22	c  167s |      18 |   389315 |   327252 |    11856     61 |      665 |        1
170.17/170.25	c  169s |      18 |   394035 |   331552 |    11856     61 |      665 |        1
172.16/172.27	c  171s |      18 |   397583 |   334852 |    11856     62 |      665 |        1
174.26/174.39	c  173s |      18 |   402909 |   339452 |    11856     63 |      665 |        1
176.26/176.39	c  175s |      18 |   408598 |   344252 |    11856     63 |      665 |        1
178.36/178.40	c  177s |      18 |   413786 |   348552 |    11856     64 |      665 |        1
180.56/180.65	c  179s |      18 |   419888 |   353652 |    11856     65 |      665 |        1
182.57/182.69	c  181s |      18 |   425366 |   358252 |    11856     65 |      665 |        1
184.56/184.69	c  183s |      18 |   430585 |   362652 |    11856     66 |      665 |        1
186.96/187.08	c  185s |      18 |   434881 |   366452 |    11856     67 |      665 |        1
189.06/189.10	c  187s |      18 |   440366 |   371052 |    11856     67 |      665 |        1
191.06/191.11	c  189s |      18 |   444665 |   374952 |    11856     68 |      665 |        1
193.06/193.15	c  192s |      18 |   448597 |   378252 |    11856     69 |      665 |        1
195.06/195.16	c  194s |      18 |   454125 |   383052 |    11856     69 |      665 |        1
197.06/197.19	c  196s |      18 |   458857 |   387052 |    11856     70 |      665 |        1
199.06/199.19	c  198s |      18 |   463654 |   391352 |    11856     71 |      665 |        1
201.15/201.23	c  200s |      18 |   469262 |   396152 |    11856     71 |      665 |        1
203.16/203.23	c  202s |      18 |   471903 |   398352 |    11856     72 |      665 |        1
205.26/205.32	c  204s |      18 |   480138 |   404952 |    11856     73 |      665 |        1
207.26/207.34	c  206s |      18 |   486994 |   410752 |    11856     74 |      665 |        1
209.26/209.38	c  208s |      18 |   491839 |   414952 |    11856     74 |      665 |        1
211.27/211.39	c  210s |      18 |   496453 |   419052 |    11856     75 |      665 |        1
213.26/213.40	c  212s |      18 |   501122 |   423352 |    11856     76 |      665 |        1
215.35/215.45	c  214s |      18 |   508729 |   429852 |    11856     77 |      665 |        1
217.45/217.50	c  216s |      18 |   513992 |   434352 |    11856     77 |      665 |        1
220.15/220.22	c  219s |      18 |   517929 |   437652 |    11856     78 |      665 |        1
222.05/222.18	c  221s |      19 |   526838 |   444482 |    13042     79 |      665 |        1
224.16/224.21	c  223s |      19 |   531858 |   447782 |    13042     79 |      665 |        1
226.16/226.23	c  225s |      19 |   536223 |   451982 |    13042     80 |      665 |        1
228.15/228.25	c  227s |      19 |   540107 |   455682 |    13042     80 |      665 |        1
230.36/230.40	c  229s |      19 |   543182 |   458482 |    13042     81 |      665 |        1
232.35/232.45	c  231s |      19 |   546398 |   461482 |    13042     81 |      665 |        1
234.36/234.46	c  233s |      19 |   549482 |   464382 |    13042     81 |      665 |        1
236.56/236.66	c  235s |      19 |   551819 |   466682 |    13042     82 |      665 |        1
238.55/238.68	c  237s |      19 |   554999 |   469782 |    13042     82 |      665 |        1
240.65/240.73	c  239s |      19 |   557463 |   471982 |    13042     82 |      665 |        1
242.75/242.89	c  241s |      19 |   559901 |   474382 |    13042     83 |      665 |        1
244.85/244.92	c  243s |      19 |   562563 |   476982 |    13042     83 |      665 |        1
246.85/246.93	c  245s |      19 |   565265 |   479582 |    13042     83 |      665 |        1
248.85/248.97	c  247s |      19 |   569198 |   483182 |    13042     84 |      665 |        1
250.86/250.98	c  249s |      19 |   572243 |   486182 |    13042     84 |      665 |        1
252.96/253.09	c  251s |      19 |   574644 |   488482 |    13042     85 |      665 |        1
255.05/255.12	c  253s |      19 |   577341 |   491082 |    13042     85 |      665 |        1
257.05/257.13	c  255s |      19 |   579058 |   492782 |    13042     85 |      665 |        1
260.25/260.33	c  259s |      19 |   581509 |   495082 |    13042     86 |      665 |        1
262.25/262.33	c  261s |      19 |   583781 |   497282 |    13042     86 |      665 |        1
264.25/264.37	c  263s |      19 |   586417 |   499882 |    13042     86 |      665 |        1
266.35/266.40	c  265s |      19 |   588448 |   501882 |    13042     87 |      665 |        1
268.35/268.46	c  267s |      19 |   591802 |   505182 |    13042     87 |      665 |        1
270.34/270.46	c  269s |      19 |   593835 |   507182 |    13042     87 |      665 |        1
272.76/272.87	c  271s |      19 |   596168 |   509482 |    13042     88 |      665 |        1
274.85/274.93	c  273s |      19 |   599391 |   512682 |    13042     88 |      665 |        1
276.85/276.93	c  275s |      19 |   602008 |   515282 |    13042     88 |      665 |        1
280.05/280.16	c  279s |      19 |   604486 |   517482 |    13042     89 |      665 |        1
282.15/282.22	c  281s |      19 |   607740 |   520482 |    13042     89 |      665 |        1
284.14/284.26	c  283s |      19 |   610000 |   522682 |    13042     89 |      665 |        1
286.24/286.31	c  285s |      19 |   613094 |   525682 |    13042     90 |      665 |        1
288.25/288.32	c  287s |      19 |   616107 |   528582 |    13042     90 |      665 |        1
290.24/290.32	c  289s |      19 |   618972 |   531382 |    13042     91 |      665 |        1
293.65/293.75	c  292s |      19 |   622455 |   534782 |    13042     91 |      665 |        1
295.74/295.80	c  294s |      19 |   626431 |   538282 |    13042     92 |      665 |        1
297.74/297.82	c  296s |      19 |   629371 |   541182 |    13042     92 |      665 |        1
299.74/299.88	c  298s |      19 |   632090 |   543882 |    13042     92 |      665 |        1
303.04/303.19	c  302s |      19 |   633713 |   545482 |    13042     93 |      665 |        1
305.14/305.23	c  304s |      19 |   639765 |   548982 |    13042     93 |      665 |        1
307.14/307.26	c  306s |      19 |   648422 |   553582 |    13042     94 |      665 |        1
309.15/309.29	c  308s |      19 |   652487 |   557382 |    13042     94 |      665 |        1
311.14/311.29	c  310s |      19 |   656047 |   560682 |    13042     95 |      665 |        1
313.24/313.32	c  312s |      19 |   661052 |   564882 |    13042     95 |      665 |        1
315.24/315.34	c  314s |      19 |   664688 |   568282 |    13042     96 |      665 |        1
317.24/317.36	c  316s |      19 |   668687 |   572082 |    13042     96 |      665 |        1
319.34/319.40	c  318s |      19 |   672252 |   575282 |    13042     97 |      665 |        1
321.34/321.42	c  320s |      19 |   675511 |   577782 |    13042     97 |      665 |        1
323.34/323.45	c  322s |      19 |   680580 |   582682 |    13042     98 |      665 |        1
325.34/325.49	c  324s |      19 |   684799 |   586882 |    13042     98 |      665 |        1
327.34/327.50	c  326s |      19 |   688279 |   589882 |    13042     99 |      665 |        1
329.44/329.54	c  328s |      19 |   691571 |   592782 |    13042     99 |      665 |        1
331.44/331.55	c  330s |      19 |   694132 |   595282 |    13042    100 |      665 |        1
333.44/333.57	c  332s |      19 |   695165 |   596282 |    13042    100 |      665 |        1
335.54/335.62	c  334s |      19 |   698172 |   599182 |    13042    100 |      665 |        1
337.53/337.68	c  336s |      19 |   701868 |   602382 |    13042    101 |      665 |        1
339.54/339.69	c  338s |      19 |   703606 |   603982 |    13042    101 |      665 |        1
341.64/341.75	c  340s |      19 |   707157 |   607382 |    13042    101 |      665 |        1
344.25/344.31	c  343s |      19 |   709710 |   609882 |    13042    102 |      665 |        1
346.24/346.36	c  345s |      19 |   713073 |   613182 |    13042    102 |      665 |        1
348.34/348.44	c  347s |      19 |   715602 |   615682 |    13042    102 |      665 |        1
350.34/350.47	c  349s |      19 |   718354 |   618382 |    13042    103 |      665 |        1
352.34/352.49	c  351s |      19 |   719575 |   619582 |    13042    103 |      665 |        1
354.44/354.52	c  353s |      19 |   722830 |   622782 |    13042    103 |      665 |        1
356.54/356.63	c  355s |      19 |   725483 |   625282 |    13042    104 |      665 |        1
358.54/358.65	c  357s |      19 |   728683 |   628182 |    13042    104 |      665 |        1
360.54/360.69	c  359s |      19 |   731232 |   630682 |    13042    104 |      665 |        1
362.63/362.76	c  361s |      19 |   732785 |   632182 |    13042    105 |      665 |        1
364.63/364.78	c  363s |      19 |   735644 |   634982 |    13042    105 |      665 |        1
366.83/366.93	c  365s |      19 |   738509 |   637782 |    13042    105 |      665 |        1
368.83/368.94	c  367s |      19 |   741161 |   640382 |    13042    106 |      665 |        1
371.03/371.12	c  369s |      19 |   743726 |   642882 |    13042    106 |      665 |        1
373.13/373.28	c  372s |      19 |   746647 |   645682 |    13042    107 |      665 |        1
375.23/375.31	c  374s |      19 |   749940 |   648882 |    13042    107 |      665 |        1
377.24/377.36	c  376s |      19 |   752591 |   651482 |    13042    107 |      665 |        1
379.33/379.46	c  378s |      19 |   753004 |   651882 |    13042    107 |      665 |        1
381.33/381.49	c  380s |      19 |   755495 |   654282 |    13042    108 |      665 |        1
383.43/383.55	c  382s |      19 |   758353 |   657082 |    13042    108 |      665 |        1
385.43/385.57	c  384s |      19 |   760983 |   659682 |    13042    108 |      665 |        1
387.43/387.59	c  386s |      19 |   763612 |   662282 |    14347    109 |      665 |        1
389.52/389.65	c  388s |      19 |   766704 |   665282 |    14347    109 |      665 |        1
390.83/390.92	c  389s |      20 |   768258 |   666827 |    14347    109 |      665 |        1
393.74/393.88	c  392s |      20 |   771964 |   667427 |    14347    109 |      684 |        1
395.73/395.88	c  394s |      20 |   782328 |   675827 |    14347    111 |      684 |        1
397.73/397.90	c  396s |      20 |   787751 |   680227 |    14347    111 |      684 |        1
399.83/399.93	c  398s |      20 |   792125 |   683727 |    14347    112 |      684 |        1
401.82/401.93	c  400s |      20 |   797208 |   688227 |    14347    112 |      684 |        1
403.82/403.95	c  402s |      20 |   801332 |   691927 |    14347    113 |      684 |        1
405.83/405.98	c  404s |      20 |   806114 |   696027 |    14347    113 |      684 |        1
407.82/407.99	c  406s |      20 |   812056 |   701127 |    14347    114 |      684 |        1
409.82/409.99	c  408s |      20 |   819041 |   707027 |    14347    115 |      684 |        1
411.92/412.00	c  410s |      20 |   826502 |   712727 |    14347    115 |      684 |        1
413.93/414.03	c  412s |      20 |   831822 |   717027 |    14347    116 |      684 |        1
415.93/416.05	c  414s |      20 |   837503 |   721627 |    14347    117 |      684 |        1
417.94/418.07	c  416s |      20 |   843253 |   726627 |    14347    117 |      684 |        1
420.73/420.85	c  419s |      20 |   848006 |   730727 |    14347    118 |      684 |        1
422.73/422.86	c  421s |      20 |   853112 |   734827 |    14347    118 |      684 |        1
425.03/425.14	c  423s |      20 |   856762 |   737927 |    14347    119 |      684 |        1
427.13/427.20	c  426s |      20 |   861394 |   741727 |    14347    119 |      684 |        1
429.12/429.23	c  428s |      20 |   865660 |   745327 |    14347    120 |      684 |        1
431.13/431.29	c  430s |      20 |   871018 |   749727 |    14347    120 |      684 |        1
433.33/433.45	c  432s |      20 |   872534 |   750927 |    14347    121 |      684 |        1
435.32/435.47	c  434s |      20 |   878550 |   755527 |    14347    121 |      684 |        1
437.32/437.49	c  436s |      20 |   882465 |   758827 |    14347    122 |      684 |        1
439.32/439.49	c  438s |      20 |   886965 |   762627 |    14347    122 |      684 |        1
441.42/441.50	c  440s |      20 |   890926 |   765927 |    14347    122 |      684 |        1
443.42/443.51	c  442s |      20 |   895678 |   769927 |    14347    123 |      684 |        1
445.43/445.53	c  444s |      20 |   899057 |   772827 |    14347    123 |      684 |        1
448.83/448.95	c  447s |      20 |   901687 |   775027 |    14347    124 |      684 |        1
451.32/451.43	c  450s |      20 |   901948 |   775227 |    14347    124 |      684 |        1
453.32/453.49	c  452s |      20 |   906706 |   779327 |    14347    124 |      684 |        1
455.32/455.49	c  454s |      20 |   911036 |   782927 |    14347    125 |      684 |        1
457.42/457.51	c  456s |      20 |   915569 |   786927 |    14347    125 |      684 |        1
459.42/459.51	c  458s |      20 |   920229 |   790727 |    14347    126 |      684 |        1
461.52/461.67	c  460s |      20 |   925338 |   795027 |    14347    126 |      684 |        1
463.62/463.70	c  462s |      20 |   929822 |   798827 |    14347    127 |      684 |        1
466.02/466.19	c  465s |      20 |   932070 |   800727 |    14347    127 |      684 |        1
468.12/468.22	c  467s |      20 |   936541 |   804427 |    14347    128 |      684 |        1
470.12/470.24	c  469s |      20 |   942032 |   809027 |    14347    128 |      684 |        1
472.12/472.27	c  471s |      20 |   945886 |   812627 |    14347    129 |      684 |        1
474.13/474.29	c  473s |      20 |   949761 |   816327 |    14347    129 |      684 |        1
476.23/476.37	c  475s |      20 |   952963 |   818927 |    14347    130 |      684 |        1
478.32/478.42	c  477s |      20 |   957413 |   822727 |    14347    130 |      684 |        1
480.42/480.54	c  479s |      20 |   961677 |   826427 |    14347    131 |      684 |        1
483.51/483.62	c  482s |      20 |   966609 |   830527 |    14347    131 |      684 |        1
485.51/485.62	c  484s |      20 |   969738 |   833527 |    14347    131 |      684 |        1
487.51/487.64	c  486s |      20 |   973717 |   837327 |    14347    132 |      684 |        1
489.52/489.69	c  488s |      20 |   977217 |   840627 |    14347    132 |      684 |        1
491.62/491.76	c  490s |      20 |   980218 |   843327 |    14347    133 |      684 |        1
493.71/493.81	c  492s |      20 |   985501 |   847527 |    14347    133 |      684 |        1
495.71/495.85	c  494s |      20 |   989184 |   850727 |    14347    134 |      684 |        1
497.71/497.86	c  496s |      20 |   994669 |   854927 |    14347    134 |      684 |        1
499.71/499.88	c  498s |      20 |   996770 |   856727 |    14347    135 |      684 |        1
501.81/501.90	c  500s |      20 |  1004158 |   862627 |    14347    135 |      684 |        1
503.82/503.91	c  502s |      20 |  1012218 |   868627 |    14347    136 |      684 |        1
505.81/505.92	c  504s |      20 |  1019108 |   874127 |    14347    137 |      684 |        1
507.81/507.93	c  506s |      20 |  1025422 |   879327 |    14347    137 |      684 |        1
509.81/509.95	c  508s |      20 |  1031113 |   883927 |    14347    138 |      684 |        1
511.91/512.04	c  510s |      20 |  1035239 |   887427 |    14347    139 |      684 |        1
513.91/514.05	c  512s |      20 |  1040700 |   892327 |    14347    139 |      684 |        1
515.91/516.07	c  514s |      20 |  1046512 |   896927 |    14347    140 |      684 |        1
517.91/518.09	c  516s |      20 |  1052313 |   901627 |    14347    140 |      684 |        1
520.01/520.11	c  518s |      20 |  1057450 |   906227 |    14347    141 |      684 |        1
522.11/522.29	c  521s |      20 |  1061212 |   909627 |    14347    142 |      684 |        1
524.21/524.30	c  523s |      20 |  1066090 |   913927 |    14347    142 |      684 |        1
526.21/526.31	c  525s |      20 |  1070749 |   917927 |    14347    143 |      684 |        1
528.21/528.32	c  527s |      20 |  1075478 |   922127 |    14347    143 |      684 |        1
530.22/530.33	c  529s |      20 |  1081216 |   926727 |    14347    144 |      684 |        1
532.21/532.34	c  531s |      20 |  1086699 |   931427 |    14347    144 |      684 |        1
534.21/534.35	c  533s |      20 |  1092483 |   936127 |    14347    145 |      684 |        1
536.21/536.36	c  535s |      20 |  1095347 |   938527 |    14347    145 |      684 |        1
538.21/538.39	c  537s |      20 |  1100705 |   943327 |    14347    146 |      684 |        1
540.21/540.39	c  539s |      20 |  1105605 |   947627 |    14347    147 |      684 |        1
542.32/542.41	c  541s |      20 |  1111853 |   952627 |    14347    147 |      684 |        1
544.31/544.43	c  543s |      20 |  1116994 |   956827 |    14347    148 |      684 |        1
546.31/546.48	c  545s |      20 |  1121905 |   961327 |    14347    148 |      684 |        1
548.41/548.50	c  547s |      20 |  1127183 |   965427 |    14347    149 |      684 |        1
550.41/550.58	c  549s |      20 |  1132760 |   970127 |    14347    150 |      684 |        1
552.51/552.63	c  551s |      20 |  1138912 |   974427 |    14347    150 |      684 |        1
554.61/554.71	c  553s |      20 |  1143876 |   978327 |    14347    151 |      684 |        1
556.61/556.75	c  555s |      20 |  1150548 |   983827 |    14347    151 |      684 |        1
558.60/558.76	c  557s |      20 |  1156048 |   988327 |    14347    152 |      684 |        1
560.60/560.77	c  559s |      20 |  1161272 |   992827 |    14347    153 |      684 |        1
562.80/562.99	c  561s |      20 |  1166348 |   997027 |    15782    153 |      684 |        1
564.90/565.00	c  563s |      20 |  1170023 |  1000027 |    15782    153 |      684 |        1
564.90/565.07	c  563s |      21 |  1170665 |  1000345 |    15782    153 |      684 |        1
567.00/567.11	c  565s |      21 |  1180212 |  1008045 |    15782    154 |      684 |        1
569.00/569.13	c  567s |      21 |  1185728 |  1012345 |    15782    155 |      684 |        1
571.00/571.17	c  570s |      21 |  1190991 |  1016745 |    15782    155 |      684 |        1
573.01/573.17	c  572s |      21 |  1194542 |  1019645 |    15782    156 |      684 |        1
575.00/575.18	c  574s |      21 |  1198570 |  1023545 |    15782    156 |      684 |        1
577.00/577.19	c  576s |      21 |  1202477 |  1026845 |    15782    157 |      684 |        1
579.10/579.20	c  578s |      21 |  1208826 |  1031945 |    15782    157 |      684 |        1
581.10/581.21	c  580s |      21 |  1213014 |  1035245 |    15782    158 |      684 |        1
583.10/583.22	c  582s |      21 |  1218841 |  1039645 |    15782    158 |      684 |        1
585.40/585.58	c  584s |      21 |  1224277 |  1043845 |    15782    159 |      684 |        1
587.40/587.59	c  586s |      21 |  1229106 |  1047745 |    15782    159 |      684 |        1
589.40/589.60	c  588s |      21 |  1235438 |  1052345 |    15782    160 |      684 |        1
591.50/591.66	c  590s |      21 |  1242064 |  1057445 |    15782    160 |      684 |        1
595.19/595.33	c  594s |      21 |  1245661 |  1060245 |    15782    161 |      684 |        1
597.20/597.35	c  596s |      21 |  1251675 |  1064745 |    15782    161 |      684 |        1
599.19/599.36	c  598s |      21 |  1258243 |  1070145 |    15782    162 |      684 |        1
601.19/601.38	c  600s |      21 |  1265292 |  1076045 |    15782    163 |      684 |        1
603.20/603.38	c  602s |      21 |  1272847 |  1081945 |    15782    163 |      684 |        1
605.30/605.41	c  604s |      21 |  1280284 |  1087845 |    15782    164 |      684 |        1
607.30/607.43	c  606s |      21 |  1285838 |  1091645 |    15782    164 |      684 |        1
609.31/609.43	c  608s |      21 |  1289776 |  1094845 |    15782    165 |      684 |        1
611.30/611.46	c  610s |      21 |  1295936 |  1100445 |    15782    165 |      684 |        1
613.30/613.49	c  612s |      21 |  1301534 |  1105945 |    15782    166 |      684 |        1
615.40/615.50	c  614s |      21 |  1310143 |  1113145 |    15782    167 |      684 |        1
617.40/617.51	c  616s |      21 |  1315856 |  1117745 |    15782    168 |      684 |        1
619.40/619.54	c  618s |      21 |  1321737 |  1122345 |    15782    168 |      684 |        1
621.79/621.90	c  620s |      21 |  1323819 |  1123945 |    15782    168 |      684 |        1
623.79/623.93	c  622s |      21 |  1329524 |  1128745 |    15782    169 |      684 |        1
625.80/625.97	c  624s |      21 |  1334162 |  1132845 |    15782    169 |      684 |        1
627.79/627.99	c  626s |      21 |  1338945 |  1136845 |    15782    170 |      684 |        1
629.89/630.00	c  628s |      21 |  1341954 |  1139345 |    15782    170 |      684 |        1
632.29/632.45	c  631s |      21 |  1345559 |  1142245 |    15782    171 |      684 |        1
634.29/634.47	c  633s |      21 |  1350599 |  1146545 |    15782    171 |      684 |        1
636.39/636.52	c  635s |      21 |  1355062 |  1150145 |    15782    171 |      684 |        1
638.39/638.52	c  637s |      21 |  1359979 |  1154245 |    15782    172 |      684 |        1
640.39/640.55	c  639s |      21 |  1364979 |  1158045 |    15782    172 |      684 |        1
642.69/642.80	c  641s |      21 |  1370013 |  1162245 |    15782    173 |      684 |        1
644.69/644.83	c  643s |      21 |  1374346 |  1165845 |    15782    173 |      684 |        1
646.70/646.83	c  645s |      21 |  1380070 |  1170345 |    15782    174 |      684 |        1
648.69/648.84	c  647s |      21 |  1384153 |  1174045 |    15782    174 |      684 |        1
650.69/650.85	c  649s |      21 |  1391410 |  1180545 |    15782    175 |      684 |        1
652.89/653.07	c  651s |      21 |  1395481 |  1184145 |    15782    176 |      684 |        1
654.99/655.12	c  653s |      21 |  1402691 |  1190145 |    15782    176 |      684 |        1
656.99/657.13	c  655s |      21 |  1407085 |  1193845 |    15782    177 |      684 |        1
658.99/659.15	c  658s |      21 |  1413566 |  1199145 |    15782    177 |      684 |        1
660.99/661.19	c  660s |      21 |  1420819 |  1204245 |    15782    178 |      684 |        1
663.09/663.21	c  662s |      21 |  1428283 |  1209745 |    15782    179 |      684 |        1
665.08/665.21	c  664s |      21 |  1435178 |  1215245 |    15782    179 |      684 |        1
667.08/667.23	c  666s |      21 |  1441021 |  1220045 |    15782    180 |      684 |        1
669.08/669.28	c  668s |      21 |  1446543 |  1224745 |    15782    181 |      684 |        1
671.08/671.29	c  670s |      21 |  1450534 |  1228045 |    15782    181 |      684 |        1
673.19/673.35	c  672s |      21 |  1456253 |  1232945 |    15782    182 |      684 |        1
675.18/675.36	c  674s |      21 |  1461844 |  1237445 |    15782    182 |      684 |        1
677.28/677.40	c  676s |      21 |  1466065 |  1240945 |    15782    182 |      684 |        1
679.28/679.40	c  678s |      21 |  1470903 |  1245045 |    15782    183 |      684 |        1
681.28/681.41	c  680s |      21 |  1476063 |  1249145 |    15782    183 |      684 |        1
683.58/683.71	c  682s |      21 |  1481926 |  1254145 |    15782    184 |      684 |        1
685.58/685.73	c  684s |      21 |  1487102 |  1258445 |    15782    185 |      684 |        1
688.09/688.25	c  687s |      21 |  1491724 |  1262245 |    15782    185 |      684 |        1
690.08/690.27	c  689s |      21 |  1496931 |  1266645 |    15782    186 |      684 |        1
692.08/692.28	c  691s |      21 |  1501813 |  1270745 |    15782    186 |      684 |        1
694.18/694.31	c  693s |      21 |  1507472 |  1275345 |    15782    187 |      684 |        1
696.19/696.32	c  695s |      21 |  1513103 |  1279745 |    15782    187 |      684 |        1
698.18/698.33	c  697s |      21 |  1517837 |  1283745 |    15782    188 |      684 |        1
700.18/700.36	c  699s |      21 |  1523242 |  1288445 |    15782    188 |      684 |        1
703.58/703.77	c  702s |      21 |  1527175 |  1291845 |    15782    189 |      684 |        1
705.68/705.81	c  704s |      21 |  1533382 |  1297045 |    15782    189 |      684 |        1
707.68/707.82	c  706s |      21 |  1538192 |  1301045 |    15782    190 |      684 |        1
709.68/709.88	c  708s |      21 |  1543600 |  1305645 |    15782    190 |      684 |        1
711.78/711.90	c  710s |      21 |  1548226 |  1309745 |    15782    191 |      684 |        1
713.78/713.93	c  712s |      21 |  1552923 |  1313745 |    15782    191 |      684 |        1
715.78/715.94	c  714s |      21 |  1557682 |  1317845 |    15782    192 |      684 |        1
717.97/718.11	c  716s |      21 |  1561836 |  1321545 |    15782    192 |      684 |        1
719.97/720.15	c  719s |      21 |  1565737 |  1324745 |    15782    193 |      684 |        1
722.07/722.20	c  721s |      21 |  1571004 |  1329345 |    15782    193 |      684 |        1
724.07/724.20	c  723s |      21 |  1574609 |  1332445 |    15782    194 |      684 |        1
726.07/726.21	c  725s |      21 |  1580220 |  1337145 |    15782    194 |      684 |        1
728.38/728.55	c  727s |      21 |  1582446 |  1339145 |    15782    194 |      684 |        1
730.39/730.56	c  729s |      21 |  1589127 |  1344145 |    15782    195 |      684 |        1
732.49/732.65	c  731s |      21 |  1594712 |  1348645 |    15782    196 |      684 |        1
734.48/734.68	c  733s |      21 |  1600751 |  1353945 |    15782    196 |      684 |        1
736.58/736.75	c  735s |      21 |  1605575 |  1358245 |    15782    197 |      684 |        1
738.77/738.93	c  737s |      21 |  1607549 |  1359945 |    15782    197 |      684 |        1
740.77/740.97	c  739s |      21 |  1611374 |  1363345 |    15782    197 |      684 |        1
742.77/742.98	c  741s |      21 |  1615659 |  1366745 |    15782    198 |      684 |        1
744.87/745.02	c  743s |      21 |  1620131 |  1370845 |    15782    198 |      684 |        1
746.88/747.05	c  745s |      21 |  1623942 |  1374445 |    15782    199 |      684 |        1
748.98/749.10	c  747s |      21 |  1625071 |  1375445 |    15782    199 |      684 |        1
750.97/751.12	c  749s |      21 |  1629111 |  1378945 |    15782    199 |      684 |        1
752.97/753.16	c  752s |      21 |  1633903 |  1383145 |    15782    200 |      684 |        1
754.97/755.16	c  754s |      21 |  1639044 |  1387645 |    15782    200 |      684 |        1
756.97/757.19	c  756s |      21 |  1642675 |  1390745 |    15782    201 |      684 |        1
759.07/759.23	c  758s |      21 |  1648495 |  1395745 |    15782    201 |      684 |        1
761.38/761.57	c  760s |      21 |  1653283 |  1399945 |    15782    202 |      684 |        1
763.57/763.72	c  762s |      21 |  1657956 |  1404045 |    15782    202 |      684 |        1
765.58/765.76	c  764s |      21 |  1661308 |  1406645 |    15782    203 |      684 |        1
767.57/767.76	c  766s |      21 |  1668521 |  1412445 |    15782    203 |      684 |        1
769.57/769.79	c  768s |      21 |  1674171 |  1417345 |    15782    204 |      684 |        1
771.67/771.80	c  770s |      21 |  1678275 |  1420745 |    15782    204 |      684 |        1
773.67/773.80	c  772s |      21 |  1682276 |  1423845 |    15782    205 |      684 |        1
775.67/775.82	c  774s |      21 |  1688157 |  1428745 |    15782    205 |      684 |        1
777.68/777.82	c  776s |      21 |  1694260 |  1433845 |    15782    206 |      684 |        1
779.67/779.82	c  778s |      21 |  1699268 |  1438245 |    15782    206 |      684 |        1
781.67/781.83	c  780s |      21 |  1703885 |  1442145 |    15782    207 |      684 |        1
783.67/783.85	c  782s |      21 |  1707512 |  1445045 |    15782    207 |      684 |        1
785.67/785.87	c  784s |      21 |  1713464 |  1449445 |    15782    208 |      684 |        1
787.77/787.91	c  786s |      21 |  1719092 |  1454045 |    15782    208 |      684 |        1
789.77/789.93	c  788s |      21 |  1723642 |  1457845 |    15782    209 |      684 |        1
791.76/791.93	c  790s |      21 |  1729195 |  1462545 |    15782    209 |      684 |        1
793.76/793.97	c  792s |      21 |  1732254 |  1465245 |    15782    210 |      684 |        1
796.06/796.29	c  795s |      21 |  1736079 |  1468745 |    15782    210 |      684 |        1
798.16/798.32	c  797s |      21 |  1740371 |  1472245 |    15782    210 |      684 |        1
800.36/800.52	c  799s |      21 |  1745772 |  1476845 |    15782    211 |      684 |        1
802.36/802.53	c  801s |      21 |  1750710 |  1481045 |    15782    212 |      684 |        1
804.36/804.53	c  803s |      21 |  1755754 |  1485345 |    15782    212 |      684 |        1
806.36/806.58	c  805s |      21 |  1759696 |  1488645 |    15782    212 |      684 |        1
808.47/808.62	c  807s |      21 |  1764493 |  1492645 |    17361    213 |      684 |        1
810.46/810.67	c  809s |      21 |  1769539 |  1496945 |    17361    213 |      684 |        1
812.36/812.57	c  811s |      22 |  1773867 |  1500622 |    17361    214 |      684 |        1
814.36/814.57	c  813s |      22 |  1782123 |  1508122 |    17361    215 |      684 |        1
816.46/816.62	c  815s |      22 |  1789377 |  1514522 |    17361    215 |      684 |        1
818.46/818.63	c  817s |      22 |  1793242 |  1518222 |    17361    216 |      684 |        1
820.46/820.70	c  819s |      22 |  1798508 |  1523122 |    17361    216 |      684 |        1
822.56/822.72	c  821s |      22 |  1802937 |  1527122 |    17361    217 |      684 |        1
824.56/824.72	c  823s |      22 |  1808775 |  1532422 |    17361    217 |      684 |        1
826.56/826.73	c  825s |      22 |  1813799 |  1536822 |    17361    218 |      684 |        1
828.56/828.75	c  827s |      22 |  1818673 |  1541022 |    17361    218 |      684 |        1
830.56/830.76	c  829s |      22 |  1822639 |  1544622 |    17361    219 |      684 |        1
833.06/833.27	c  832s |      22 |  1825870 |  1547722 |    17361    219 |      684 |        1
835.06/835.28	c  834s |      22 |  1832331 |  1553222 |    17361    220 |      684 |        1
837.26/837.41	c  836s |      22 |  1835116 |  1554322 |    17361    220 |      684 |        1
839.27/839.44	c  838s |      22 |  1846572 |  1561722 |    17361    220 |      684 |        1
841.26/841.44	c  840s |      22 |  1854502 |  1568022 |    17361    221 |      684 |        1
843.26/843.44	c  842s |      22 |  1860125 |  1572522 |    17361    221 |      684 |        1
845.25/845.47	c  844s |      22 |  1865917 |  1576422 |    17361    222 |      684 |        1
847.55/847.76	c  846s |      22 |  1871433 |  1580722 |    17361    222 |      684 |        1
849.75/849.93	c  848s |      22 |  1875978 |  1584122 |    17361    223 |      684 |        1
851.75/851.93	c  850s |      22 |  1882683 |  1589422 |    17361    223 |      684 |        1
853.75/853.97	c  852s |      22 |  1887011 |  1593122 |    17361    224 |      684 |        1
855.85/856.00	c  854s |      22 |  1890825 |  1596722 |    17361    224 |      684 |        1
857.86/858.02	c  856s |      22 |  1897370 |  1601022 |    17361    224 |      684 |        1
859.86/860.05	c  858s |      22 |  1903963 |  1605822 |    17361    225 |      684 |        1
861.96/862.11	c  860s |      22 |  1910558 |  1610422 |    17361    225 |      684 |        1
863.96/864.15	c  863s |      22 |  1915123 |  1614722 |    17361    226 |      684 |        1
865.96/866.17	c  865s |      22 |  1919731 |  1618922 |    17361    226 |      684 |        1
867.96/868.19	c  867s |      22 |  1924347 |  1623022 |    17361    227 |      684 |        1
870.06/870.24	c  869s |      22 |  1928744 |  1626822 |    17361    227 |      684 |        1
872.06/872.25	c  871s |      22 |  1932825 |  1630222 |    17361    227 |      684 |        1
874.06/874.29	c  873s |      22 |  1936390 |  1632922 |    17361    228 |      684 |        1
876.16/876.33	c  875s |      22 |  1940471 |  1636422 |    17361    228 |      684 |        1
878.16/878.35	c  877s |      22 |  1942596 |  1638022 |    17361    228 |      684 |        1
880.15/880.36	c  879s |      22 |  1946231 |  1641222 |    17361    229 |      684 |        1
882.25/882.42	c  881s |      22 |  1950684 |  1644922 |    17361    229 |      684 |        1
884.36/884.57	c  883s |      22 |  1954085 |  1647522 |    17361    229 |      684 |        1
886.46/886.61	c  885s |      22 |  1957903 |  1650522 |    17361    230 |      684 |        1
888.45/888.65	c  887s |      22 |  1961263 |  1653522 |    17361    230 |      684 |        1
890.45/890.67	c  889s |      22 |  1964719 |  1656722 |    17361    230 |      684 |        1
892.55/892.72	c  891s |      22 |  1967908 |  1659722 |    17361    230 |      684 |        1
894.75/894.90	c  893s |      22 |  1971327 |  1662322 |    17361    231 |      684 |        1
896.75/896.96	c  895s |      22 |  1976069 |  1666222 |    17361    231 |      684 |        1
898.75/898.96	c  897s |      22 |  1979455 |  1668922 |    17361    231 |      684 |        1
900.86/901.05	c  899s |      22 |  1980332 |  1669722 |    17361    231 |      684 |        1
902.84/903.08	c  901s |      22 |  1982012 |  1670822 |    17361    232 |      684 |        1
904.94/905.10	c  903s |      22 |  1992260 |  1677722 |    17361    232 |      684 |        1
906.94/907.13	c  905s |      22 |  2000462 |  1683722 |    17361    233 |      684 |        1
908.94/909.17	c  908s |      22 |  2007376 |  1689022 |    17361    234 |      684 |        1
911.04/911.20	c  910s |      22 |  2013323 |  1693822 |    17361    234 |      684 |        1
913.34/913.53	c  912s |      22 |  2019557 |  1698622 |    17361    235 |      684 |        1
915.34/915.55	c  914s |      22 |  2024525 |  1702822 |    17361    235 |      684 |        1
917.35/917.57	c  916s |      22 |  2030164 |  1706722 |    17361    235 |      684 |        1
919.46/919.62	c  918s |      22 |  2033678 |  1709322 |    17361    236 |      684 |        1
921.45/921.64	c  920s |      22 |  2039270 |  1713522 |    17361    236 |      684 |        1
923.45/923.68	c  922s |      22 |  2044089 |  1717122 |    17361    236 |      684 |        1
925.55/925.72	c  924s |      22 |  2048505 |  1720322 |    17361    237 |      684 |        1
927.55/927.79	c  926s |      22 |  2053619 |  1724322 |    17361    237 |      684 |        1
929.75/929.94	c  928s |      22 |  2058130 |  1728222 |    17361    238 |      684 |        1
931.85/932.00	c  930s |      22 |  2060310 |  1730122 |    17361    238 |      684 |        1
933.85/934.01	c  932s |      22 |  2065963 |  1735322 |    17361    238 |      684 |        1
935.85/936.07	c  934s |      22 |  2069964 |  1739222 |    17361    239 |      684 |        1
937.95/938.12	c  936s |      22 |  2073655 |  1742722 |    17361    239 |      684 |        1
940.05/940.20	c  939s |      22 |  2077708 |  1746622 |    17361    239 |      684 |        1
942.04/942.21	c  941s |      22 |  2079882 |  1748722 |    17361    240 |      684 |        1
944.15/944.35	c  943s |      22 |  2082644 |  1751422 |    17361    240 |      684 |        1
946.14/946.36	c  945s |      22 |  2085089 |  1753822 |    17361    240 |      684 |        1
948.24/948.48	c  947s |      22 |  2087743 |  1756222 |    17361    240 |      684 |        1
950.35/950.54	c  949s |      22 |  2089282 |  1757722 |    17361    241 |      684 |        1
953.14/953.33	c  952s |      22 |  2092242 |  1760622 |    17361    241 |      684 |        1
955.14/955.39	c  954s |      22 |  2094919 |  1763222 |    17361    241 |      684 |        1
957.24/957.43	c  956s |      22 |  2097622 |  1765822 |    17361    241 |      684 |        1
960.34/960.55	c  959s |      22 |  2098367 |  1766522 |    17361    242 |      684 |        1
962.45/962.62	c  961s |      22 |  2101563 |  1769522 |    17361    242 |      684 |        1
964.44/964.64	c  963s |      22 |  2104473 |  1772222 |    17361    242 |      684 |        1
966.54/966.76	c  965s |      22 |  2106943 |  1774622 |    17361    242 |      684 |        1
968.74/968.91	c  967s |      22 |  2108052 |  1775722 |    17361    243 |      684 |        1
971.94/972.18	c  971s |      22 |  2110090 |  1777622 |    17361    243 |      684 |        1
973.94/974.19	c  973s |      22 |  2113054 |  1780222 |    17361    243 |      684 |        1
976.04/976.26	c  975s |      22 |  2115791 |  1782922 |    17361    243 |      684 |        1
978.24/978.41	c  977s |      22 |  2118045 |  1785122 |    17361    244 |      684 |        1
980.24/980.44	c  979s |      22 |  2121115 |  1788122 |    17361    244 |      684 |        1
982.34/982.53	c  981s |      22 |  2123657 |  1790622 |    17361    244 |      684 |        1
984.34/984.56	c  983s |      22 |  2126209 |  1793122 |    17361    244 |      684 |        1
986.43/986.64	c  985s |      22 |  2128103 |  1794922 |    17361    245 |      684 |        1
988.93/989.10	c  987s |      22 |  2130170 |  1796922 |    17361    245 |      684 |        1
991.13/991.35	c  990s |      22 |  2130368 |  1797122 |    17361    245 |      684 |        1
993.24/993.41	c  992s |      22 |  2133521 |  1800222 |    17361    245 |      684 |        1
995.23/995.45	c  994s |      22 |  2136455 |  1803122 |    17361    245 |      684 |        1
997.84/998.00	c  996s |      22 |  2137885 |  1804322 |    17361    246 |      684 |        1
999.85/1000.03	c  998s |      22 |  2141730 |  1807022 |    17361    246 |      684 |        1
1001.84/1002.05	c 1000s |      22 |  2146535 |  1811222 |    17361    246 |      684 |        1
1004.64/1004.88	c 1003s |      22 |  2149792 |  1814322 |    17361    247 |      684 |        1
1009.13/1009.34	c 1008s |      22 |  2151814 |  1816022 |    17361    247 |      684 |        1
1011.23/1011.45	c 1010s |      22 |  2159164 |  1820122 |    17361    247 |      684 |        1
1013.23/1013.47	c 1012s |      22 |  2165365 |  1825022 |    17361    248 |      684 |        1
1015.24/1015.49	c 1014s |      22 |  2169660 |  1828822 |    17361    248 |      684 |        1
1017.34/1017.52	c 1016s |      22 |  2173141 |  1832022 |    17361    248 |      684 |        1
1019.43/1019.60	c 1018s |      22 |  2176302 |  1834822 |    17361    249 |      684 |        1
1021.43/1021.61	c 1020s |      22 |  2178363 |  1836822 |    17361    249 |      684 |        1
1023.43/1023.62	c 1022s |      22 |  2184376 |  1841822 |    17361    249 |      684 |        1
1025.43/1025.65	c 1024s |      22 |  2188796 |  1846022 |    17361    250 |      684 |        1
1027.53/1027.72	c 1026s |      22 |  2193091 |  1849622 |    17361    250 |      684 |        1
1029.63/1029.82	c 1028s |      22 |  2196302 |  1852122 |    17361    250 |      684 |        1
1031.74/1031.92	c 1030s |      22 |  2199038 |  1854622 |    17361    251 |      684 |        1
1033.73/1033.93	c 1032s |      22 |  2202172 |  1857522 |    17361    251 |      684 |        1
1035.73/1035.98	c 1034s |      22 |  2205021 |  1860122 |    17361    251 |      684 |        1
1037.83/1038.05	c 1036s |      22 |  2207803 |  1862622 |    17361    251 |      684 |        1
1039.93/1040.11	c 1038s |      22 |  2210414 |  1864822 |    17361    252 |      684 |        1
1041.93/1042.17	c 1041s |      22 |  2213700 |  1867822 |    17361    252 |      684 |        1
1044.03/1044.23	c 1043s |      22 |  2216724 |  1870622 |    17361    252 |      684 |        1
1046.03/1046.26	c 1045s |      22 |  2218864 |  1872422 |    17361    252 |      684 |        1
1048.02/1048.27	c 1047s |      22 |  2228321 |  1877522 |    17361    253 |      684 |        1
1050.02/1050.29	c 1049s |      22 |  2232887 |  1881822 |    17361    253 |      684 |        1
1052.12/1052.31	c 1051s |      22 |  2236340 |  1885222 |    17361    254 |      684 |        1
1054.12/1054.32	c 1053s |      22 |  2239321 |  1888122 |    17361    254 |      684 |        1
1056.12/1056.36	c 1055s |      22 |  2241997 |  1890722 |    17361    254 |      684 |        1
1058.52/1058.71	c 1057s |      22 |  2244646 |  1893322 |    17361    255 |      684 |        1
1060.52/1060.75	c 1059s |      22 |  2247549 |  1896122 |    17361    255 |      684 |        1
1062.62/1062.81	c 1061s |      22 |  2250041 |  1898422 |    17361    255 |      684 |        1
1064.63/1064.87	c 1063s |      22 |  2252381 |  1900622 |    17361    255 |      684 |        1
1067.12/1067.37	c 1066s |      22 |  2254941 |  1903122 |    17361    256 |      684 |        1
1069.42/1069.65	c 1068s |      22 |  2258632 |  1906322 |    17361    256 |      684 |        1
1071.52/1071.73	c 1070s |      22 |  2262215 |  1909422 |    17361    256 |      684 |        1
1073.53/1073.77	c 1072s |      22 |  2264877 |  1911822 |    17361    256 |      684 |        1
1075.63/1075.81	c 1074s |      22 |  2267320 |  1914022 |    17361    257 |      684 |        1
1077.63/1077.84	c 1076s |      22 |  2271144 |  1917522 |    17361    257 |      684 |        1
1079.62/1079.89	c 1078s |      22 |  2274420 |  1920622 |    17361    257 |      684 |        1
1083.62/1083.87	c 1082s |      22 |  2277635 |  1923422 |    17361    258 |      684 |        1
1085.63/1085.87	c 1084s |      22 |  2281989 |  1927222 |    17361    258 |      684 |        1
1087.73/1087.91	c 1086s |      22 |  2285977 |  1930822 |    17361    258 |      684 |        1
1089.82/1090.01	c 1088s |      22 |  2289053 |  1933422 |    17361    259 |      684 |        1
1091.82/1092.02	c 1090s |      22 |  2292525 |  1936722 |    17361    259 |      684 |        1
1093.82/1094.02	c 1092s |      22 |  2296096 |  1940022 |    17361    259 |      684 |        1
1096.12/1096.39	c 1095s |      22 |  2299029 |  1942622 |    17361    260 |      684 |        1
1100.42/1100.69	c 1099s |      22 |  2303521 |  1946922 |    17361    260 |      684 |        1
1102.52/1102.74	c 1101s |      22 |  2307563 |  1950222 |    17361    260 |      684 |        1
1104.52/1104.75	c 1103s |      22 |  2310262 |  1952622 |    17361    261 |      684 |        1
1106.52/1106.79	c 1105s |      22 |  2312988 |  1955122 |    17361    261 |      684 |        1
1108.62/1108.84	c 1107s |      22 |  2316585 |  1958522 |    17361    261 |      684 |        1
1111.11/1111.31	c 1110s |      22 |  2319324 |  1961122 |    17361    262 |      684 |        1
1113.31/1113.59	c 1112s |      22 |  2323112 |  1964722 |    17361    262 |      684 |        1
1115.41/1115.62	c 1114s |      22 |  2327145 |  1968522 |    17361    262 |      684 |        1
1117.82/1118.01	c 1116s |      22 |  2329703 |  1971022 |    17361    263 |      684 |        1
1122.41/1122.62	c 1121s |      22 |  2331912 |  1973022 |    17361    263 |      684 |        1
1124.41/1124.65	c 1123s |      22 |  2336217 |  1977122 |    17361    263 |      684 |        1
1126.81/1127.06	c 1125s |      22 |  2339466 |  1980222 |    17361    264 |      684 |        1
1132.21/1132.44	c 1131s |      22 |  2342870 |  1983322 |    17361    264 |      684 |        1
1134.21/1134.47	c 1133s |      22 |  2346238 |  1986422 |    17361    264 |      684 |        1
1136.22/1136.49	c 1135s |      22 |  2349518 |  1989522 |    17361    264 |      684 |        1
1138.42/1138.62	c 1137s |      22 |  2350951 |  1990822 |    17361    265 |      684 |        1
1140.41/1140.67	c 1139s |      22 |  2355301 |  1995022 |    17361    265 |      684 |        1
1142.41/1142.67	c 1141s |      22 |  2359070 |  1998522 |    17361    265 |      684 |        1
1144.41/1144.69	c 1143s |      22 |  2361859 |  2001222 |    17361    266 |      684 |        1
1146.51/1146.73	c 1145s |      22 |  2365787 |  2005022 |    17361    266 |      684 |        1
1148.61/1148.80	c 1147s |      22 |  2367943 |  2006822 |    17361    266 |      684 |        1
1150.81/1151.09	c 1149s |      22 |  2370679 |  2009422 |    17361    267 |      684 |        1
1152.81/1153.10	c 1151s |      22 |  2374429 |  2013022 |    17361    267 |      684 |        1
1154.92/1155.12	c 1153s |      22 |  2377312 |  2015822 |    17361    267 |      684 |        1
1159.01/1159.20	c 1158s |      22 |  2380090 |  2018422 |    17361    267 |      684 |        1
1165.21/1165.49	c 1164s |      22 |  2380652 |  2018922 |    17361    268 |      684 |        1
1167.31/1167.55	c 1166s |      22 |  2384794 |  2022922 |    17361    268 |      684 |        1
1169.31/1169.56	c 1168s |      22 |  2388485 |  2026522 |    17361    268 |      684 |        1
1171.71/1171.96	c 1170s |      22 |  2390760 |  2028722 |    17361    269 |      684 |        1
1173.71/1174.00	c 1172s |      22 |  2393655 |  2031522 |    17361    269 |      684 |        1
1179.01/1179.23	c 1178s |      22 |  2397293 |  2034822 |    17361    269 |      684 |        1
1182.10/1182.38	c 1181s |      22 |  2401259 |  2038222 |    17361    270 |      684 |        1
1186.20/1186.48	c 1185s |      22 |  2403486 |  2040222 |    17361    270 |      684 |        1
1188.20/1188.49	c 1187s |      22 |  2407214 |  2043622 |    17361    270 |      684 |        1
1190.30/1190.55	c 1189s |      22 |  2410789 |  2046722 |    17361    270 |      684 |        1
1192.31/1192.57	c 1191s |      22 |  2413604 |  2049322 |    17361    271 |      684 |        1
1194.30/1194.59	c 1193s |      22 |  2416947 |  2052222 |    17361    271 |      684 |        1
1197.90/1198.16	c 1197s |      22 |  2419003 |  2054122 |    17361    271 |      684 |        1
1199.91/1200.18	c 1199s |      22 |  2422049 |  2056822 |    17361    271 |      684 |        1
1202.00/1202.23	c 1201s |      22 |  2425433 |  2059722 |    17361    272 |      684 |        1
1204.60/1204.82	c 1203s |      22 |  2429618 |  2063422 |    17361    272 |      684 |        1
1206.60/1206.88	c 1205s |      22 |  2432972 |  2066322 |    17361    272 |      684 |        1
1208.70/1208.92	c 1207s |      22 |  2436177 |  2069322 |    17361    273 |      684 |        1
1210.70/1210.96	c 1209s |      22 |  2439534 |  2072322 |    17361    273 |      684 |        1
1212.79/1213.02	c 1211s |      22 |  2442477 |  2075122 |    17361    273 |      684 |        1
1215.19/1215.45	c 1214s |      22 |  2445581 |  2078022 |    17361    274 |      684 |        1
1217.19/1217.49	c 1216s |      22 |  2449097 |  2081322 |    17361    274 |      684 |        1
1220.00/1220.30	c 1219s |      22 |  2450446 |  2082622 |    17361    274 |      684 |        1
1222.10/1222.32	c 1221s |      22 |  2453635 |  2085622 |    17361    274 |      684 |        1
1224.11/1224.32	c 1223s |      22 |  2456086 |  2087822 |    17361    275 |      684 |        1
1226.10/1226.38	c 1225s |      22 |  2459596 |  2091022 |    17361    275 |      684 |        1
1228.20/1228.40	c 1227s |      22 |  2462875 |  2094022 |    17361    275 |      684 |        1
1230.20/1230.47	c 1229s |      22 |  2465170 |  2096222 |    17361    276 |      684 |        1
1232.20/1232.48	c 1231s |      22 |  2468247 |  2099122 |    17361    276 |      684 |        1
1234.20/1234.49	c 1233s |      22 |  2471381 |  2102122 |    17361    276 |      684 |        1
1236.30/1236.53	c 1235s |      22 |  2474089 |  2104722 |    17361    276 |      684 |        1
1238.79/1239.04	c 1237s |      22 |  2475313 |  2105822 |    17361    277 |      684 |        1
1240.79/1241.06	c 1239s |      22 |  2479265 |  2109522 |    17361    277 |      684 |        1
1242.80/1243.07	c 1241s |      22 |  2482491 |  2112522 |    17361    277 |      684 |        1
1245.29/1245.55	c 1244s |      22 |  2485718 |  2115522 |    17361    278 |      684 |        1
1247.89/1248.10	c 1246s |      22 |  2489368 |  2118922 |    17361    278 |      684 |        1
1249.89/1250.10	c 1248s |      22 |  2492868 |  2122222 |    17361    278 |      684 |        1
1251.89/1252.16	c 1251s |      22 |  2495545 |  2124722 |    17361    278 |      684 |        1
1254.39/1254.60	c 1253s |      22 |  2497760 |  2126822 |    17361    279 |      684 |        1
1256.39/1256.63	c 1255s |      22 |  2501245 |  2130022 |    17361    279 |      684 |        1
1258.39/1258.64	c 1257s |      22 |  2504129 |  2132722 |    17361    279 |      684 |        1
1260.79/1261.02	c 1259s |      22 |  2506325 |  2134822 |    17361    280 |      684 |        1
1264.19/1264.49	c 1263s |      22 |  2507888 |  2136322 |    17361    280 |      684 |        1
1266.29/1266.50	c 1265s |      22 |  2511982 |  2140022 |    17361    280 |      684 |        1
1268.29/1268.58	c 1267s |      22 |  2515623 |  2143422 |    17361    280 |      684 |        1
1270.69/1270.97	c 1269s |      22 |  2519015 |  2146622 |    17361    281 |      684 |        1
1272.69/1272.98	c 1271s |      22 |  2522229 |  2149522 |    17361    281 |      684 |        1
1274.80/1275.05	c 1273s |      22 |  2525238 |  2152222 |    17361    281 |      684 |        1
1276.79/1277.06	c 1275s |      22 |  2528244 |  2155022 |    17361    282 |      684 |        1
1278.89/1279.12	c 1277s |      22 |  2531573 |  2158022 |    17361    282 |      684 |        1
1280.89/1281.12	c 1279s |      22 |  2534747 |  2161022 |    17361    282 |      684 |        1
1282.99/1283.22	c 1282s |      22 |  2537704 |  2163822 |    17361    283 |      684 |        1
1286.38/1286.63	c 1285s |      22 |  2540150 |  2166122 |    17361    283 |      684 |        1
1288.38/1288.66	c 1287s |      22 |  2543737 |  2169522 |    17361    283 |      684 |        1
1290.38/1290.69	c 1289s |      22 |  2547155 |  2172822 |    17361    283 |      684 |        1
1292.69/1292.99	c 1291s |      22 |  2549713 |  2175322 |    17361    284 |      684 |        1
1294.69/1294.99	c 1293s |      22 |  2553183 |  2178422 |    17361    284 |      684 |        1
1296.80/1297.01	c 1295s |      22 |  2556198 |  2181122 |    17361    284 |      684 |        1
1300.49/1300.77	c 1299s |      22 |  2558884 |  2183722 |    17361    285 |      684 |        1
1302.59/1302.83	c 1301s |      22 |  2562299 |  2187022 |    17361    285 |      684 |        1
1304.69/1304.98	c 1303s |      22 |  2565725 |  2190222 |    17361    285 |      684 |        1
1306.79/1307.02	c 1305s |      22 |  2567110 |  2191422 |    17361    285 |      684 |        1
1308.79/1309.06	c 1307s |      22 |  2570230 |  2194222 |    17361    286 |      684 |        1
1310.79/1311.09	c 1309s |      22 |  2574684 |  2198422 |    17361    286 |      684 |        1
1312.89/1313.16	c 1312s |      22 |  2578437 |  2201922 |    17361    286 |      684 |        1
1315.39/1315.63	c 1314s |      22 |  2581534 |  2204922 |    17361    287 |      684 |        1
1317.38/1317.66	c 1316s |      22 |  2585354 |  2208422 |    17361    287 |      684 |        1
1319.38/1319.69	c 1318s |      22 |  2589222 |  2211822 |    17361    287 |      684 |        1
1322.10/1322.33	c 1321s |      22 |  2591472 |  2213922 |    17361    288 |      684 |        1
1324.09/1324.35	c 1323s |      22 |  2595935 |  2218122 |    17361    288 |      684 |        1
1326.09/1326.37	c 1325s |      22 |  2599505 |  2221422 |    17361    288 |      684 |        1
1328.18/1328.41	c 1327s |      22 |  2602118 |  2223922 |    17361    289 |      684 |        1
1330.18/1330.49	c 1329s |      22 |  2604051 |  2225822 |    17361    289 |      684 |        1
1333.59/1333.81	c 1332s |      22 |  2605107 |  2226622 |    17361    289 |      684 |        1
1335.59/1335.83	c 1334s |      22 |  2609138 |  2230122 |    17361    289 |      684 |        1
1337.78/1338.04	c 1336s |      22 |  2611383 |  2231922 |    17361    290 |      684 |        1
1339.78/1340.05	c 1338s |      22 |  2616122 |  2236122 |    19098    290 |      684 |        1
1341.89/1342.18	c 1341s |      22 |  2620010 |  2239722 |    19098    290 |      684 |        1
1343.99/1344.24	c 1343s |      22 |  2621527 |  2240922 |    19098    290 |      684 |        1
1346.19/1346.42	c 1345s |      22 |  2623725 |  2242922 |    19098    291 |      684 |        1
1348.18/1348.43	c 1347s |      22 |  2627127 |  2245822 |    19098    291 |      684 |        1
1350.18/1350.46	c 1349s |      22 |  2631248 |  2249522 |    19098    291 |      684 |        1
1351.28/1351.52	c 1350s |      23 |  2632950 |  2251038 |    19098    291 |      684 |        1
1353.28/1353.54	c 1352s |      23 |  2638998 |  2255038 |    19098    292 |      684 |        1
1355.28/1355.55	c 1354s |      23 |  2646079 |  2260638 |    19098    292 |      684 |        1
1357.28/1357.56	c 1356s |      23 |  2654475 |  2266938 |    19098    293 |      684 |        1
1359.28/1359.58	c 1358s |      23 |  2661402 |  2273038 |    19098    293 |      684 |        1
1361.38/1361.60	c 1360s |      23 |  2667476 |  2277838 |    19098    294 |      684 |        1
1363.37/1363.64	c 1362s |      23 |  2672409 |  2281838 |    19098    294 |      684 |        1
1365.37/1365.66	c 1364s |      23 |  2677941 |  2285838 |    19098    295 |      684 |        1
1367.37/1367.68	c 1366s |      23 |  2683034 |  2290138 |    19098    295 |      684 |        1
1369.47/1369.70	c 1368s |      23 |  2687030 |  2293838 |    19098    295 |      684 |        1
1371.48/1371.71	c 1370s |      23 |  2689717 |  2296338 |    19098    296 |      684 |        1
1373.47/1373.73	c 1372s |      23 |  2693101 |  2299438 |    19098    296 |      684 |        1
1375.47/1375.74	c 1374s |      23 |  2696811 |  2302638 |    19098    296 |      684 |        1
1377.47/1377.78	c 1376s |      23 |  2700282 |  2305738 |    19098    296 |      684 |        1
1379.57/1379.84	c 1378s |      23 |  2701203 |  2306538 |    19098    297 |      684 |        1
1381.67/1381.94	c 1380s |      23 |  2704614 |  2309438 |    19098    297 |      684 |        1
1383.68/1383.97	c 1382s |      23 |  2708506 |  2312838 |    19098    297 |      684 |        1
1385.78/1386.01	c 1384s |      23 |  2713537 |  2316838 |    19098    298 |      684 |        1
1387.77/1388.05	c 1386s |      23 |  2717565 |  2320438 |    19098    298 |      684 |        1
1389.77/1390.09	c 1388s |      23 |  2720968 |  2323538 |    19098    298 |      684 |        1
1391.87/1392.11	c 1390s |      23 |  2724030 |  2326338 |    19098    298 |      684 |        1
1393.87/1394.13	c 1392s |      23 |  2728097 |  2330038 |    19098    299 |      684 |        1
1395.87/1396.15	c 1395s |      23 |  2732171 |  2333638 |    19098    299 |      684 |        1
1397.87/1398.19	c 1397s |      23 |  2736396 |  2337238 |    19098    299 |      684 |        1
1399.87/1400.19	c 1399s |      23 |  2739572 |  2339738 |    19098    300 |      684 |        1
1401.97/1402.24	c 1401s |      23 |  2744172 |  2343538 |    19098    300 |      684 |        1
1403.97/1404.27	c 1403s |      23 |  2747790 |  2346638 |    19098    300 |      684 |        1
1405.97/1406.29	c 1405s |      23 |  2750771 |  2349138 |    19098    301 |      684 |        1
1407.97/1408.29	c 1407s |      23 |  2754630 |  2352438 |    19098    301 |      684 |        1
1410.07/1410.35	c 1409s |      23 |  2758237 |  2355538 |    19098    301 |      684 |        1
1412.06/1412.36	c 1411s |      23 |  2761812 |  2358538 |    19098    301 |      684 |        1
1414.17/1414.47	c 1413s |      23 |  2764726 |  2361138 |    19098    302 |      684 |        1
1416.27/1416.53	c 1415s |      23 |  2768402 |  2364238 |    19098    302 |      684 |        1
1418.88/1419.16	c 1418s |      23 |  2771067 |  2366438 |    19098    302 |      684 |        1
1420.98/1421.20	c 1420s |      23 |  2773792 |  2368838 |    19098    302 |      684 |        1
1422.97/1423.24	c 1422s |      23 |  2776593 |  2371238 |    19098    303 |      684 |        1
1424.97/1425.24	c 1424s |      23 |  2779955 |  2374138 |    19098    303 |      684 |        1
1426.97/1427.29	c 1426s |      23 |  2783092 |  2376938 |    19098    303 |      684 |        1
1429.07/1429.32	c 1428s |      23 |  2786534 |  2380038 |    19098    304 |      684 |        1
1431.07/1431.33	c 1430s |      23 |  2790454 |  2383438 |    19098    304 |      684 |        1
1433.07/1433.34	c 1432s |      23 |  2794012 |  2386538 |    19098    304 |      684 |        1
1435.06/1435.39	c 1434s |      23 |  2797501 |  2389538 |    19098    304 |      684 |        1
1437.16/1437.42	c 1436s |      23 |  2801042 |  2392538 |    19098    305 |      684 |        1
1439.16/1439.46	c 1438s |      23 |  2805380 |  2396038 |    19098    305 |      684 |        1
1441.26/1441.54	c 1440s |      23 |  2808539 |  2398938 |    19098    305 |      684 |        1
1443.56/1443.82	c 1442s |      23 |  2811895 |  2401638 |    19098    306 |      684 |        1
1445.57/1445.82	c 1444s |      23 |  2815562 |  2404738 |    19098    306 |      684 |        1
1447.57/1447.83	c 1446s |      23 |  2819588 |  2408138 |    19098    306 |      684 |        1
1449.57/1449.87	c 1448s |      23 |  2823406 |  2411438 |    19098    306 |      684 |        1
1451.67/1451.90	c 1450s |      23 |  2826850 |  2414338 |    19098    307 |      684 |        1
1453.67/1453.90	c 1452s |      23 |  2828748 |  2415938 |    19098    307 |      684 |        1
1455.66/1455.94	c 1454s |      23 |  2832757 |  2419438 |    19098    307 |      684 |        1
1457.66/1457.95	c 1456s |      23 |  2836548 |  2422538 |    19098    308 |      684 |        1
1459.66/1459.98	c 1458s |      23 |  2845436 |  2429138 |    19098    308 |      684 |        1
1461.77/1462.04	c 1460s |      23 |  2849399 |  2432338 |    19098    308 |      684 |        1
1463.76/1464.05	c 1462s |      23 |  2855172 |  2436938 |    19098    309 |      684 |        1
1465.76/1466.06	c 1464s |      23 |  2861043 |  2441938 |    19098    309 |      684 |        1
1467.86/1468.10	c 1466s |      23 |  2866589 |  2445938 |    19098    310 |      684 |        1
1469.86/1470.13	c 1468s |      23 |  2871388 |  2449838 |    19098    310 |      684 |        1
1471.86/1472.17	c 1471s |      23 |  2875868 |  2453438 |    19098    310 |      684 |        1
1473.87/1474.18	c 1473s |      23 |  2879389 |  2456338 |    19098    311 |      684 |        1
1475.96/1476.20	c 1475s |      23 |  2883685 |  2460038 |    19098    311 |      684 |        1
1477.96/1478.23	c 1477s |      23 |  2888182 |  2463638 |    19098    311 |      684 |        1
1479.96/1480.28	c 1479s |      23 |  2891254 |  2466138 |    19098    312 |      684 |        1
1482.06/1482.39	c 1481s |      23 |  2894057 |  2468638 |    19098    312 |      684 |        1
1484.26/1484.59	c 1483s |      23 |  2896895 |  2471138 |    19098    312 |      684 |        1
1486.36/1486.62	c 1485s |      23 |  2899721 |  2473638 |    19098    312 |      684 |        1
1488.55/1488.89	c 1487s |      23 |  2901492 |  2475038 |    19098    313 |      684 |        1
1490.75/1491.02	c 1489s |      23 |  2905592 |  2478438 |    19098    313 |      684 |        1
1492.75/1493.05	c 1491s |      23 |  2909665 |  2481738 |    19098    313 |      684 |        1
1494.76/1495.09	c 1493s |      23 |  2912491 |  2484138 |    19098    313 |      684 |        1
1497.26/1497.59	c 1496s |      23 |  2914872 |  2486138 |    19098    314 |      684 |        1
1499.36/1499.63	c 1498s |      23 |  2919311 |  2489838 |    19098    314 |      684 |        1
1501.36/1501.67	c 1500s |      23 |  2923360 |  2493138 |    19098    314 |      684 |        1
1503.46/1503.71	c 1502s |      23 |  2926719 |  2495838 |    19098    314 |      684 |        1
1505.46/1505.73	c 1504s |      23 |  2930298 |  2498738 |    19098    315 |      684 |        1
1507.46/1507.77	c 1506s |      23 |  2933523 |  2501638 |    19098    315 |      684 |        1
1509.46/1509.77	c 1508s |      23 |  2937396 |  2504838 |    19098    315 |      684 |        1
1511.46/1511.79	c 1510s |      23 |  2940460 |  2507238 |    19098    316 |      684 |        1
1513.56/1513.82	c 1512s |      23 |  2943057 |  2509238 |    19098    316 |      684 |        1
1515.56/1515.83	c 1514s |      23 |  2947454 |  2512538 |    19098    316 |      684 |        1
1517.56/1517.88	c 1516s |      23 |  2951956 |  2515838 |    19098    316 |      684 |        1
1519.96/1520.29	c 1519s |      23 |  2955328 |  2518638 |    19098    317 |      684 |        1
1522.05/1522.32	c 1521s |      23 |  2958852 |  2521638 |    19098    317 |      684 |        1
1524.15/1524.40	c 1523s |      23 |  2962385 |  2524538 |    19098    317 |      684 |        1
1526.15/1526.40	c 1525s |      23 |  2965601 |  2526938 |    19098    317 |      684 |        1
1528.15/1528.46	c 1527s |      23 |  2968041 |  2529038 |    19098    318 |      684 |        1
1530.15/1530.49	c 1529s |      23 |  2970401 |  2530938 |    19098    318 |      684 |        1
1532.25/1532.55	c 1531s |      23 |  2973844 |  2533838 |    19098    318 |      684 |        1
1534.36/1534.64	c 1533s |      23 |  2976716 |  2536238 |    19098    318 |      684 |        1
1536.56/1536.89	c 1535s |      23 |  2979223 |  2538338 |    19098    319 |      684 |        1
1538.66/1538.99	c 1537s |      23 |  2979483 |  2538538 |    19098    319 |      684 |        1
1540.75/1541.01	c 1539s |      23 |  2983308 |  2541638 |    19098    319 |      684 |        1
1542.75/1543.02	c 1541s |      23 |  2986651 |  2544338 |    19098    319 |      684 |        1
1544.85/1545.10	c 1543s |      23 |  2990072 |  2547238 |    19098    319 |      684 |        1
1547.45/1547.71	c 1546s |      23 |  2992707 |  2549638 |    19098    320 |      684 |        1
1549.44/1549.75	c 1548s |      23 |  2997057 |  2553438 |    19098    320 |      684 |        1
1551.44/1551.78	c 1550s |      23 |  3000226 |  2556238 |    19098    320 |      684 |        1
1553.84/1554.19	c 1553s |      23 |  3003972 |  2559038 |    19098    320 |      684 |        1
1555.94/1556.23	c 1555s |      23 |  3007278 |  2561838 |    19098    321 |      684 |        1
1557.94/1558.27	c 1557s |      23 |  3011757 |  2565338 |    19098    321 |      684 |        1
1559.94/1560.28	c 1559s |      23 |  3015572 |  2568338 |    19098    321 |      684 |        1
1562.05/1562.35	c 1561s |      23 |  3020297 |  2572038 |    19098    322 |      684 |        1
1564.06/1564.38	c 1563s |      23 |  3024395 |  2575638 |    19098    322 |      684 |        1
1566.16/1566.41	c 1565s |      23 |  3028291 |  2579038 |    19098    322 |      684 |        1
1568.15/1568.42	c 1567s |      23 |  3031993 |  2582038 |    19098    323 |      684 |        1
1570.15/1570.42	c 1569s |      23 |  3038409 |  2587738 |    19098    323 |      684 |        1
1572.15/1572.44	c 1571s |      23 |  3044950 |  2592638 |    19098    324 |      684 |        1
1574.65/1574.95	c 1573s |      23 |  3049673 |  2596338 |    19098    324 |      684 |        1
1576.65/1576.97	c 1575s |      23 |  3053567 |  2599638 |    19098    324 |      684 |        1
1578.75/1579.00	c 1577s |      23 |  3056926 |  2602338 |    19098    325 |      684 |        1
1580.74/1581.05	c 1579s |      23 |  3059151 |  2604138 |    19098    325 |      684 |        1
1582.84/1583.10	c 1581s |      23 |  3062653 |  2607138 |    19098    325 |      684 |        1
1584.85/1585.15	c 1584s |      23 |  3067193 |  2610038 |    19098    325 |      684 |        1
1586.84/1587.18	c 1586s |      23 |  3070498 |  2612338 |    19098    326 |      684 |        1
1588.84/1589.18	c 1588s |      23 |  3075519 |  2615838 |    19098    326 |      684 |        1
1590.94/1591.23	c 1590s |      23 |  3079663 |  2618838 |    19098    326 |      684 |        1
1593.04/1593.30	c 1592s |      23 |  3083821 |  2621638 |    19098    326 |      684 |        1
1595.04/1595.33	c 1594s |      23 |  3086926 |  2623938 |    19098    327 |      684 |        1
1597.05/1597.36	c 1596s |      23 |  3090638 |  2626738 |    19098    327 |      684 |        1
1599.14/1599.43	c 1598s |      23 |  3094151 |  2629738 |    19098    327 |      684 |        1
1601.14/1601.44	c 1600s |      23 |  3097178 |  2632038 |    19098    327 |      684 |        1
1603.64/1603.95	c 1602s |      23 |  3099683 |  2634138 |    19098    328 |      684 |        1
1605.64/1605.97	c 1604s |      23 |  3103507 |  2637338 |    19098    328 |      684 |        1
1607.73/1608.00	c 1606s |      23 |  3107201 |  2640538 |    19098    328 |      684 |        1
1609.73/1610.06	c 1608s |      23 |  3110595 |  2643338 |    19098    328 |      684 |        1
1611.73/1612.07	c 1610s |      23 |  3113696 |  2646238 |    19098    329 |      684 |        1
1613.73/1614.07	c 1612s |      23 |  3116704 |  2648938 |    19098    329 |      684 |        1
1615.74/1616.08	c 1614s |      23 |  3119840 |  2651338 |    19098    329 |      684 |        1
1618.33/1618.60	c 1617s |      23 |  3124534 |  2654838 |    19098    330 |      684 |        1
1620.33/1620.67	c 1619s |      23 |  3129245 |  2658238 |    19098    330 |      684 |        1
1622.34/1622.69	c 1621s |      23 |  3132769 |  2661438 |    19098    330 |      684 |        1
1624.44/1624.73	c 1623s |      23 |  3136217 |  2664338 |    19098    330 |      684 |        1
1626.44/1626.77	c 1625s |      23 |  3140083 |  2667438 |    19098    331 |      684 |        1
1629.14/1629.41	c 1628s |      23 |  3142049 |  2668838 |    19098    331 |      684 |        1
1631.14/1631.44	c 1630s |      23 |  3149929 |  2675738 |    19098    332 |      684 |        1
1633.13/1633.47	c 1632s |      23 |  3155286 |  2680638 |    19098    332 |      684 |        1
1635.13/1635.48	c 1634s |      23 |  3159773 |  2684638 |    19098    332 |      684 |        1
1637.13/1637.48	c 1636s |      23 |  3162563 |  2686838 |    19098    333 |      684 |        1
1639.13/1639.49	c 1638s |      23 |  3167205 |  2690438 |    19098    333 |      684 |        1
1641.23/1641.53	c 1640s |      23 |  3170834 |  2693538 |    19098    333 |      684 |        1
1643.33/1643.61	c 1642s |      23 |  3174011 |  2696338 |    19098    333 |      684 |        1
1645.34/1645.63	c 1644s |      23 |  3176825 |  2698738 |    19098    334 |      684 |        1
1647.33/1647.69	c 1646s |      23 |  3180732 |  2702138 |    19098    334 |      684 |        1
1649.43/1649.73	c 1648s |      23 |  3183860 |  2704838 |    19098    334 |      684 |        1
1651.63/1651.95	c 1650s |      23 |  3186334 |  2707038 |    19098    335 |      684 |        1
1653.63/1653.99	c 1652s |      23 |  3190296 |  2710438 |    19098    335 |      684 |        1
1655.73/1656.01	c 1654s |      23 |  3194319 |  2713838 |    19098    335 |      684 |        1
1657.73/1658.04	c 1656s |      23 |  3197240 |  2716538 |    19098    335 |      684 |        1
1659.74/1660.08	c 1658s |      23 |  3200100 |  2719138 |    19098    336 |      684 |        1
1665.52/1665.84	c 1664s |      23 |  3203431 |  2722138 |    19098    336 |      684 |        1
1667.52/1667.87	c 1666s |      23 |  3207020 |  2725238 |    19098    336 |      684 |        1
1669.63/1669.91	c 1668s |      23 |  3210183 |  2728038 |    19098    337 |      684 |        1
1671.63/1671.98	c 1670s |      23 |  3213172 |  2730738 |    19098    337 |      684 |        1
1673.63/1673.99	c 1672s |      23 |  3216391 |  2733738 |    19098    337 |      684 |        1
1675.73/1676.08	c 1674s |      23 |  3221680 |  2737938 |    19098    337 |      684 |        1
1677.83/1678.13	c 1676s |      23 |  3224299 |  2740138 |    19098    338 |      684 |        1
1679.83/1680.16	c 1679s |      23 |  3228427 |  2743738 |    19098    338 |      684 |        1
1681.93/1682.21	c 1681s |      23 |  3231920 |  2746838 |    19098    338 |      684 |        1
1684.23/1684.53	c 1683s |      23 |  3234936 |  2749438 |    19098    339 |      684 |        1
1687.73/1688.07	c 1686s |      23 |  3238674 |  2752838 |    19098    339 |      684 |        1
1689.83/1690.12	c 1688s |      23 |  3242899 |  2756138 |    19098    339 |      684 |        1
1691.83/1692.14	c 1690s |      23 |  3247118 |  2759238 |    19098    339 |      684 |        1
1693.83/1694.19	c 1693s |      23 |  3250641 |  2761738 |    19098    340 |      684 |        1
1695.93/1696.24	c 1695s |      23 |  3255552 |  2765538 |    19098    340 |      684 |        1
1697.92/1698.30	c 1697s |      23 |  3257573 |  2767338 |    19098    340 |      684 |        1
1700.02/1700.30	c 1699s |      23 |  3261290 |  2770638 |    19098    341 |      684 |        1
1702.02/1702.30	c 1701s |      23 |  3265661 |  2774238 |    19098    341 |      684 |        1
1704.22/1704.56	c 1703s |      23 |  3267783 |  2775938 |    19098    341 |      684 |        1
1706.22/1706.56	c 1705s |      23 |  3272118 |  2779138 |    19098    341 |      684 |        1
1708.22/1708.57	c 1707s |      23 |  3275836 |  2782338 |    19098    342 |      684 |        1
1710.32/1710.61	c 1709s |      23 |  3277955 |  2784338 |    19098    342 |      684 |        1
1712.32/1712.63	c 1711s |      23 |  3281739 |  2787338 |    19098    342 |      684 |        1
1714.32/1714.65	c 1713s |      23 |  3285266 |  2790338 |    19098    342 |      684 |        1
1716.32/1716.67	c 1715s |      23 |  3288262 |  2793138 |    19098    343 |      684 |        1
1718.41/1718.71	c 1717s |      23 |  3292095 |  2796438 |    19098    343 |      684 |        1
1720.41/1720.72	c 1719s |      23 |  3295696 |  2799538 |    19098    343 |      684 |        1
1722.51/1722.84	c 1721s |      23 |  3298687 |  2802138 |    19098    344 |      684 |        1
1724.52/1724.87	c 1723s |      23 |  3302259 |  2805338 |    19098    344 |      684 |        1
1726.62/1726.90	c 1725s |      23 |  3305739 |  2808438 |    19098    344 |      684 |        1
1728.62/1728.99	c 1727s |      23 |  3309140 |  2811538 |    19098    344 |      684 |        1
1732.22/1732.54	c 1731s |      23 |  3311018 |  2813338 |    19098    345 |      684 |        1
1734.21/1734.57	c 1733s |      23 |  3314213 |  2816038 |    19098    345 |      684 |        1
1736.21/1736.59	c 1735s |      23 |  3318242 |  2819538 |    19098    345 |      684 |        1
1738.31/1738.66	c 1737s |      23 |  3321885 |  2822838 |    19098    345 |      684 |        1
1740.31/1740.68	c 1739s |      23 |  3325769 |  2826238 |    19098    346 |      684 |        1
1742.41/1742.71	c 1741s |      23 |  3330261 |  2830438 |    19098    346 |      684 |        1
1745.71/1746.07	c 1744s |      23 |  3333950 |  2833438 |    19098    347 |      684 |        1
1747.80/1748.11	c 1746s |      23 |  3336517 |  2835738 |    19098    347 |      684 |        1
1749.81/1750.12	c 1748s |      23 |  3340284 |  2839138 |    19098    347 |      684 |        1
1751.80/1752.17	c 1751s |      23 |  3343536 |  2842038 |    19098    347 |      684 |        1
1753.90/1754.21	c 1753s |      23 |  3345887 |  2844238 |    19098    348 |      684 |        1
1756.30/1756.66	c 1755s |      23 |  3348472 |  2846738 |    19098    348 |      684 |        1
1759.10/1759.44	c 1758s |      23 |  3350736 |  2848938 |    19098    348 |      684 |        1
1761.10/1761.49	c 1760s |      23 |  3354753 |  2852638 |    19098    348 |      684 |        1
1763.11/1763.49	c 1762s |      23 |  3358728 |  2855938 |    19098    349 |      684 |        1
1766.40/1766.72	c 1765s |      23 |  3363681 |  2859438 |    19098    349 |      684 |        1
1768.39/1768.77	c 1767s |      23 |  3367675 |  2862138 |    19098    349 |      684 |        1
1770.49/1770.82	c 1769s |      23 |  3372032 |  2865038 |    19098    350 |      684 |        1
1772.49/1772.86	c 1771s |      23 |  3376737 |  2868538 |    19098    350 |      684 |        1
1774.49/1774.89	c 1773s |      23 |  3381162 |  2871738 |    19098    350 |      684 |        1
1776.59/1776.92	c 1775s |      23 |  3385473 |  2874938 |    19098    350 |      684 |        1
1778.59/1778.94	c 1777s |      23 |  3389757 |  2878238 |    19098    351 |      684 |        1
1782.19/1782.52	c 1781s |      23 |  3392845 |  2880638 |    19098    351 |      684 |        1
1784.18/1784.56	c 1783s |      23 |  3397054 |  2884038 |    19098    351 |      684 |        1
1786.39/1786.76	c 1785s |      23 |  3401384 |  2887738 |    19098    352 |      684 |        1
1788.40/1788.79	c 1787s |      23 |  3405885 |  2891738 |    19098    352 |      684 |        1
1790.49/1790.83	c 1789s |      23 |  3409746 |  2894938 |    19098    352 |      684 |        1
1792.49/1792.84	c 1791s |      23 |  3413606 |  2898138 |    19098    353 |      684 |        1
1794.49/1794.88	c 1793s |      23 |  3417688 |  2901538 |    19098    353 |      684 |        1
1796.59/1796.92	c 1795s |      23 |  3421680 |  2904938 |    19098    353 |      684 |        1
1798.88/1799.24	c 1798s |      23 |  3424621 |  2907438 |    19098    354 |      684 |        1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.28 2.21 4/179 15354
/proc/meminfo: memFree=29396944/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=744004 CPUtime=0 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 2785 0 0 0 0 0 0 0 20 0 4 0 24114609 761860096 2634 33554432000 4194304 16246674 140735820567808 140735820567232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 186769 2645 442 2943 0 183663 0
[pid=15354/tid=15355] ppid=15351 vsize=762436 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 780734464 2706 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=766532 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 784928768 2722 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=771652 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24114609 790171648 2738 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.34 2.28 2.21 4/179 15354
/proc/meminfo: memFree=29396944/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 25875 0 0 0 6 3 0 0 20 0 4 0 24114609 1249447936 25662 33554432000 4194304 16246674 140735820567808 140735820567120 12371445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 305041 25674 834 2943 0 301935 0
[pid=15354/tid=15355] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 25684 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 25695 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 25705 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1220164

[startup+0.200473 s]
/proc/loadavg: 2.34 2.28 2.21 4/179 15354
/proc/meminfo: memFree=29396944/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 56626 0 0 0 12 7 0 0 20 0 4 0 24114609 1249447936 56413 33554432000 4194304 16246674 140735820567808 140735820567120 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 305041 56422 834 2943 0 301935 0
[pid=15354/tid=15355] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 56427 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 56436 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 56443 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1220164

[startup+0.300452 s]
/proc/loadavg: 2.34 2.28 2.21 4/179 15354
/proc/meminfo: memFree=29396944/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 85507 0 0 0 19 10 0 0 20 0 4 0 24114609 1249447936 85295 33554432000 4194304 16246674 140735820567808 140735820567120 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 305041 85313 834 2943 0 301935 0
[pid=15354/tid=15355] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 85322 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 85331 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 85341 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1220164

[startup+0.700374 s]
/proc/loadavg: 2.34 2.28 2.21 4/179 15354
/proc/meminfo: memFree=29396944/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 187241 0 0 0 46 23 0 0 20 0 4 0 24114609 1249447936 187029 33554432000 4194304 16246674 140735820567808 140735820549696 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 305041 187043 834 2943 0 301935 0
[pid=15354/tid=15355] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 187052 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 187063 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24114609 1249447936 187073 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1220164

[startup+1.50036 s]
/proc/loadavg: 2.34 2.28 2.21 4/183 15358
/proc/meminfo: memFree=28351104/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1283652 CPUtime=1.49 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 262063 0 0 0 116 33 0 0 20 0 4 0 24114609 1314459648 261850 33554432000 4194304 16246674 140735820567808 140735820567120 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 320913 261850 888 2943 0 317807 0
[pid=15354/tid=15355] ppid=15351 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1314459648 261850 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1314459648 261850 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1283652 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1314459648 261850 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1283652

[startup+3.10036 s]
/proc/loadavg: 2.31 2.27 2.21 4/183 15358
/proc/meminfo: memFree=28338208/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1295940 CPUtime=3.09 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 265177 0 0 0 276 33 0 0 20 0 4 0 24114609 1327042560 264964 33554432000 4194304 16246674 140735820567808 140735820549696 13760140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 323985 264964 898 2943 0 320879 0
[pid=15354/tid=15355] ppid=15351 vsize=1295940 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1327042560 264964 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1295940 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1327042560 264964 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1295940 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1327042560 264964 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1295940

[startup+6.30037 s]
/proc/loadavg: 2.31 2.27 2.21 4/183 15358
/proc/meminfo: memFree=28321236/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 269533 0 0 0 595 34 0 0 20 0 4 0 24114609 1344868352 269320 33554432000 4194304 16246674 140735820567808 140735820550808 5823371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 328337 269320 898 2943 0 325231 0
[pid=15354/tid=15355] ppid=15351 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1344868352 269320 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1344868352 269320 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1344868352 269320 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.29 2.27 2.21 4/183 15358
/proc/meminfo: memFree=28303448/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1330756 CPUtime=12.69 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 273885 0 0 0 1234 35 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140735820566904 6011101 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 332689 273672 898 2943 0 329583 0
[pid=15354/tid=15355] ppid=15351 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1330756

[startup+25.5005 s]
/proc/loadavg: 2.30 2.27 2.21 3/183 15358
/proc/meminfo: memFree=28303456/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1330756 CPUtime=25.49 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 273885 0 0 0 2514 35 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140735820549696 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 332689 273672 898 2943 0 329583 0
[pid=15354/tid=15355] ppid=15351 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1362694144 273672 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1330756

[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.20 3/183 15358
/proc/meminfo: memFree=28295668/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1336900 CPUtime=51.08 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 275372 0 0 0 5073 35 0 0 20 0 4 0 24114609 1368985600 275159 33554432000 4194304 16246674 140735820567808 140735820549696 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 334225 275159 899 2943 0 331119 0
[pid=15354/tid=15355] ppid=15351 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1368985600 275159 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1368985600 275159 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1368985600 275159 33554432000 4194304 16246674 140735820567808 140071519898800 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) 1336900

[startup+102.3 s]
/proc/loadavg: 2.15 2.23 2.19 3/183 15360
/proc/meminfo: memFree=28285748/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1336900 CPUtime=102.28 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 275422 0 0 0 10192 36 0 0 20 0 4 0 24114609 1368985600 275209 33554432000 4194304 16246674 140735820567808 140735820549696 5677656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 334225 275209 899 2943 0 331119 0
[pid=15354/tid=15355] ppid=15351 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1368985600 275209 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1368985600 275209 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1368985600 275209 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1336900


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

/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1380932

[startup+1302.3 s]
/proc/loadavg: 2.30 2.28 2.22 3/183 15390
/proc/meminfo: memFree=25659968/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1302.09 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 130143 66 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 5823975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.37 2.29 2.23 4/183 15391
/proc/meminfo: memFree=25659868/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1362.08 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 136140 68 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 5727040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.26 2.28 2.23 4/183 15392
/proc/meminfo: memFree=25660344/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1422.08 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 142139 69 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.32 2.28 2.23 3/183 15393
/proc/meminfo: memFree=25617708/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1482.06 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 148136 70 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1380932

[startup+1542.31 s]
/proc/loadavg: 2.25 2.26 2.22 3/183 15394
/proc/meminfo: memFree=25502036/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1542.06 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 154135 71 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.14 2.23 2.21 3/183 15396
/proc/meminfo: memFree=25384084/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1602.04 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 160132 72 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.10 2.20 2.20 3/183 15397
/proc/meminfo: memFree=25288868/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1662.03 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286432 0 0 0 166130 73 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140735820549696 4220507 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286219 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286219 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.17 2.19 2.19 3/183 15446
/proc/meminfo: memFree=28230156/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1722.01 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286441 0 0 0 172127 74 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140735820549696 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286475 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.23 2.20 2.19 4/184 15450
/proc/meminfo: memFree=28226520/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1781.99 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286472 0 0 0 178123 76 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140735820566984 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286475 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.20 2.19 3/184 15473
/proc/meminfo: memFree=28227276/32872528 swapFree=1286400/1433568
[pid=15354] ppid=15351 vsize=1380932 CPUtime=1800.08 cores=1,3,5,7
/proc/15354/stat : 15354 (toysat) R 15351 15354 12983 0 -1 4202496 286479 0 0 0 179931 77 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140735820549696 4221140 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15354/statm: 345233 286475 899 2943 0 342127 0
[pid=15354/tid=15355] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15355/stat : 15355 (toysat) S 15351 15354 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071540862192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15354/tid=15356] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15356/stat : 15356 (toysat) S 15351 15354 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071530372336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15354/tid=15357] ppid=15351 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/15354/task/15357/stat : 15357 (toysat) S 15351 15354 12983 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 24114609 1414074368 286475 33554432000 4194304 16246674 140735820567808 140071519898800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1380932

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15354 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.46
CPU time (s): 1800.15
CPU user time (s): 1799.32
CPU system time (s): 0.823874
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.823874
maximum resident set size= 1145900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286479
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= 62
involuntary context switches= 1908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0022 second user time and 17.3324 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 05:31:18
IDJOB=4101105
IDBENCH=1701
IDSOLVER=2542
FILE ID=node130/4101105-1466220678
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 085f6c29f952ff5e0e711950d59893d5
RANDOM SEED=1674192409

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29397364 kB
Buffers:           97768 kB
Cached:           121220 kB
SwapCached:         1804 kB
Active:          1179976 kB
Inactive:         124412 kB
Active(anon):    1085812 kB
Inactive(anon):     1604 kB
Active(file):      94164 kB
Inactive(file):   122808 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2491048 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             602056 kB
SReclaimable:      45692 kB
SUnreclaim:       556364 kB
KernelStack:        1520 kB
PageTables:         9104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2661600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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