Trace number 4080093

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.09 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_3.opb
MD5SUM29cda419af6adbdf14450bbe70fbdfc2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.92
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6180
Sum of products size (including duplicates)12360
Number of different products3090
Sum of products size6180

Solver Data 

0.00/0.00	c 2016-06-07T03:23:57+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-4080093-1465262637.opb"]
0.00/0.01	c use --random-gen="4079500352 1399269568 1123836704 3369598999 670809420 3460163255 4053130771 3493186972 4224268319 1484841491 1480001186 1193225088 2416284155 4154264932 971883289 1908047036 3752313830 949721529 1289273279 1432721596 2981396389 2520426500 1636213846 1070582085 1448244554 1694098937 540690382 3355175395 1291698529 3648979425 2859615832 1939361039 3101578525 3499544385 3136853961 1715072976 4056719906 3458295837 1246275253 3564594569 2011851175 962755031 3052684756 4207061811 4264452014 287409396 3577853399 1254534344 4245230976 3465551011 3908992134 528485666 639666642 1931667663 2239441638 3444941621 3430875116 1380905200 318270767 49881083 13991075 3930009527 2585167463 638425530 533795824 3955938897 1470245865 2338666444 3229017796 270440824 740520929 1071162426 2997520815 569449069 2261550775 427102326 1792724241 2115818358 1647692723 3392299016 2685592628 3569820789 3955184951 461050706 2458938143 1238793533 1483585783 1726199328 4257983336 934135740 3935494259 247565869 210581259 1488551214 2138537085 850091447 2649845207 3203994769 1409017356 929411711 1299927687 498822970 2924520938 2729948405 2331237398 433071943 1012622557 681098001 2824353420 463975396 1656576150 2080562986 3367839082 2166164723 2023357458 567240996 2333831182 938646510 1896916009 3097722628 3662881889 792315535 56315410 1126952039 2801186074 1553154285 3636228473 3544004042 3099816275 1445460473 4282611009 4180715515 1714927195 2339854076 2564546526 500597224 2834534493 621584478 3843215973 887803122 1589108590 1464498232 4185625010 3804283538 3337264604 1720264200 954454285 3254215938 2168670593 2695468879 1780648295 18741648 1781191712 381396295 1070178451 2745651836 7321573 2028976152 1090510531 3168994642 2710897202 2418969919 1241815557 3675429333 4255683304 581925767 1493019085 3459560358 247844736 2162864403 2370958276 1885321971 4023178451 890002416 2259793177 1093405713 3462354728 2777151331 2030180607 2343048029 4103225766 3473438482 318475650 3473556413 3721908233 679137202 3825177231 925650565 3737771169 2819890013 528995584 801404052 1595515129 3385889648 477878808 3345207567 3872613806 3259894568 122290796 3040355614 2883137235 1309010413 248314415 760475292 1369030755 827327046 2664486444 1363363381 2237801671 1475295636 156322691 1870692225 923125509 769637011 2454118372 557384337 2000814516 3609568941 1609440043 1234282072 957326302 2585820389 1090095482 2444510522 350352175 427398578 597238611 199136494 2360673743 2497502626 2930648222 2337957525 329942684 2284130682 434534553 2555346128 1296914762 1214950633 475829909 165519846 1602425158 476425243 444332839 1083450961 1288334442 1296469121 106902082 1897193140 2141264693 2718974715 2903684687 1197817899 3240115574 3302975309 2768930351 388243632 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 301
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     2227      0 |        0 |        0
0.09/0.11	c  0.0s |       0 |      109 |        0 |     2227      0 |        0 |        0
0.09/0.11	c #cpu_time = 0.005s
0.09/0.11	c #wall_clock_time = 0.005s
0.09/0.11	c #decision = 109
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 0
0.09/0.11	c #restart = 0
0.09/0.11	o -8
0.09/0.11	c BCD2: updating upper bound: 100 -> 91
0.09/0.11	c BCD2: 0 <= obj <= 91
0.09/0.11	c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2227      0 |        0 |        0
0.09/0.11	c  0.0s |       0 |       54 |        2 |     2227      0 |        0 |        0
0.09/0.11	c #cpu_time = 0.004s
0.09/0.11	c #wall_clock_time = 0.004s
0.09/0.11	c #decision = 54
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 2
0.09/0.11	c #restart = 0
0.09/0.11	c BCD2: found a new core of size 50: cost of the new core is >=1
0.09/0.11	c lower bound updated to -99
0.09/0.11	c BCD2: 1 <= obj <= 91
0.09/0.11	c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0
0.09/0.11	c BCD2: #sat=1 #unsat=2 bias=2/3
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2227      0 |        0 |        0
0.09/0.11	c  0.0s |       0 |       51 |        1 |     2227      0 |        0 |        0
0.09/0.11	c #cpu_time = 0.004s
0.09/0.11	c #wall_clock_time = 0.004s
0.09/0.11	c #decision = 51
0.09/0.11	c #random_decision = 0
0.09/0.11	c #conflict = 1
0.09/0.11	c #restart = 0
0.09/0.11	c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2
0.09/0.11	c lower bound updated to -98
0.09/0.12	c BCD2: 2 <= obj <= 91
0.09/0.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
0.09/0.12	c BCD2: #sat=1 #unsat=3 bias=3/4
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |     2227      0 |        1 |        0
0.09/0.16	c  0.0s |       1 |     2365 |      100 |     2450      0 |        1 |        1
0.19/0.26	c  0.1s |       2 |     4127 |      250 |     2695      0 |        1 |        1
0.29/0.39	c  0.3s |       3 |     9058 |      475 |     2965      0 |        1 |        1
0.59/0.60	c  0.5s |       4 |    12094 |      813 |     3262      0 |        1 |        1
0.89/0.92	c  0.8s |       5 |    13001 |     1320 |     3589      0 |        1 |        1
1.20/1.28	c  1.2s |       6 |    19991 |     2081 |     3948      0 |        1 |        1
1.89/1.91	c  1.8s |       7 |    28066 |     3223 |     4343      0 |        1 |        1
2.89/2.90	c  2.8s |       8 |    44074 |     4936 |     4778      1 |        1 |        1
4.29/4.35	c  4.2s |       9 |    49696 |     7506 |     5256      2 |        1 |        1
6.29/6.38	c  6.3s |       9 |    73032 |    11306 |     5782      3 |        1 |        1
6.39/6.41	c  6.3s |      10 |    73137 |    11361 |     5782      3 |        1 |        1
8.39/8.46	c  8.3s |      10 |    85091 |    14661 |     5782      4 |        1 |        1
9.79/9.86	c  9.7s |      11 |    95640 |    17144 |     6361      5 |        1 |        1
11.79/11.88	c 11.8s |      11 |   104449 |    20444 |     6361      6 |        1 |        1
13.89/13.90	c 13.8s |      11 |   112580 |    23544 |     6361      7 |        1 |        1
15.29/15.32	c 15.2s |      12 |   127016 |    25819 |     6998      7 |        1 |        1
17.39/17.40	c 17.3s |      12 |   146694 |    29119 |     6998      8 |        1 |        1
19.39/19.41	c 19.3s |      12 |   154280 |    32219 |     6998      9 |        1 |        1
21.39/21.43	c 21.3s |      12 |   175620 |    35619 |     6998     10 |        1 |        1
23.29/23.34	c 23.2s |      13 |   192394 |    38832 |     7698     11 |        1 |        1
25.29/25.38	c 25.3s |      13 |   211652 |    41832 |     7698     11 |        1 |        1
27.39/27.42	c 27.3s |      13 |   228452 |    44932 |     7698     12 |        1 |        1
29.38/29.47	c 29.4s |      13 |   240765 |    48032 |     7698     13 |        1 |        1
31.38/31.49	c 31.4s |      13 |   254090 |    50932 |     7698     14 |        1 |        1
33.48/33.50	c 33.4s |      13 |   262179 |    53732 |     7698     14 |        1 |        1
35.48/35.53	c 35.4s |      13 |   266936 |    56132 |     7698     15 |        1 |        1
36.98/37.09	c 37.0s |      14 |   275401 |    58352 |     8468     16 |        1 |        1
39.08/39.12	c 39.0s |      14 |   284614 |    61052 |     8468     16 |        1 |        1
41.08/41.12	c 41.0s |      14 |   294576 |    63952 |     8468     17 |        1 |        1
43.08/43.15	c 43.0s |      14 |   299502 |    66652 |     8468     17 |        1 |        1
45.28/45.31	c 45.2s |      14 |   305187 |    69152 |     8468     18 |        1 |        1
47.29/47.36	c 47.2s |      14 |   314485 |    72352 |     8468     19 |        1 |        1
49.38/49.46	c 49.3s |      14 |   331299 |    75352 |     8468     20 |        1 |        1
51.38/51.49	c 51.4s |      14 |   345621 |    78552 |     8468     20 |        1 |        1
53.48/53.56	c 53.4s |      14 |   351393 |    81252 |     8468     21 |        1 |        1
55.68/55.70	c 55.6s |      14 |   354860 |    83652 |     8468     21 |        1 |        1
57.68/57.71	c 57.6s |      14 |   360520 |    86152 |     8468     22 |        1 |        1
58.78/58.83	c 58.7s |      15 |   363259 |    87632 |     9315     22 |        1 |        1
60.78/60.86	c 60.7s |      15 |   367318 |    89932 |     9315     23 |        1 |        1
62.79/62.87	c 62.8s |      15 |   373526 |    92932 |     9315     23 |        1 |        1
64.78/64.89	c 64.8s |      15 |   377052 |    96132 |     9315     24 |        1 |        1
66.88/66.96	c 66.8s |      15 |   381320 |    99232 |     9315     25 |        1 |        1
68.88/68.97	c 68.9s |      15 |   386375 |   102532 |     9315     25 |        1 |        1
70.88/70.99	c 70.9s |      15 |   390968 |   106232 |     9315     26 |        1 |        1
72.88/72.99	c 72.9s |      15 |   398130 |   109532 |     9315     27 |        1 |        1
74.89/74.99	c 74.9s |      15 |   404957 |   113032 |     9315     27 |        1 |        1
76.99/77.01	c 76.9s |      15 |   413345 |   116332 |     9315     28 |        1 |        1
78.98/79.05	c 78.9s |      15 |   419234 |   119232 |     9315     29 |        1 |        1
81.08/81.15	c 81.0s |      15 |   431375 |   122732 |     9315     30 |        1 |        1
83.07/83.18	c 83.1s |      15 |   438806 |   126132 |     9315     30 |        1 |        1
85.08/85.18	c 85.1s |      15 |   444019 |   129232 |     9315     31 |        1 |        1
86.48/86.55	c 86.4s |      16 |   449659 |   131552 |    10247     31 |        1 |        1
88.47/88.58	c 88.5s |      16 |   460484 |   134052 |    10247     32 |        1 |        1
90.47/90.59	c 90.5s |      16 |   473857 |   136852 |    10247     32 |        1 |        1
92.57/92.62	c 92.5s |      16 |   479556 |   139352 |    10247     33 |        1 |        1
94.58/94.62	c 94.5s |      16 |   495722 |   142252 |    10247     33 |        1 |        1
96.57/96.69	c 96.6s |      16 |   504405 |   144752 |    10247     34 |        1 |        1
98.67/98.77	c 98.7s |      16 |   514823 |   147252 |    10247     34 |        1 |        1
100.77/100.84	c  100s |      16 |   519039 |   149552 |    10247     35 |        1 |        1
102.78/102.90	c  102s |      16 |   525209 |   152652 |    10247     35 |        1 |        1
104.88/104.92	c  104s |      16 |   532699 |   155852 |    10247     36 |        1 |        1
106.88/106.96	c  106s |      16 |   540771 |   158552 |    10247     36 |        1 |        1
108.98/109.00	c  108s |      16 |   555356 |   161052 |    10247     37 |        1 |        1
110.97/111.02	c  110s |      16 |   564534 |   163552 |    10247     37 |        1 |        1
112.97/113.03	c  112s |      16 |   570434 |   166152 |    10247     38 |        1 |        1
114.98/115.03	c  114s |      16 |   579570 |   168852 |    10247     38 |        1 |        1
116.97/117.07	c  116s |      16 |   586906 |   170852 |    10247     39 |        1 |        1
119.07/119.11	c  118s |      16 |   596391 |   173652 |    10247     39 |        1 |        1
121.08/121.17	c  121s |      16 |   605067 |   176452 |    10247     40 |        1 |        1
123.18/123.24	c  123s |      16 |   609664 |   179052 |    10247     40 |        1 |        1
125.27/125.30	c  125s |      16 |   614594 |   181652 |    10247     41 |        1 |        1
127.27/127.37	c  127s |      16 |   621981 |   184152 |    10247     41 |        1 |        1
129.37/129.45	c  129s |      16 |   624887 |   186452 |    10247     42 |        1 |        1
131.37/131.47	c  131s |      16 |   627747 |   188752 |    10247     42 |        1 |        1
133.47/133.53	c  133s |      16 |   631082 |   191152 |    10247     43 |        1 |        1
135.47/135.54	c  135s |      16 |   633825 |   193052 |    10247     43 |        1 |        1
137.47/137.59	c  137s |      16 |   645250 |   196052 |    11272     44 |        1 |        1
138.47/138.55	c  138s |      17 |   647563 |   197432 |    11272     44 |        1 |        1
140.47/140.56	c  140s |      17 |   657645 |   200032 |    11272     44 |        1 |        1
142.57/142.62	c  142s |      17 |   665910 |   202332 |    11272     45 |        1 |        1
144.66/144.71	c  144s |      17 |   672224 |   204832 |    11272     45 |        1 |        1
146.67/146.75	c  146s |      17 |   688605 |   207732 |    11272     45 |        1 |        1
148.67/148.77	c  148s |      17 |   693370 |   210632 |    11272     46 |        1 |        1
150.78/150.86	c  150s |      17 |   697110 |   213432 |    11272     46 |        1 |        1
152.77/152.89	c  152s |      17 |   701620 |   215932 |    11272     47 |        1 |        1
154.87/154.94	c  154s |      17 |   708682 |   218532 |    11272     47 |        1 |        1
156.97/157.01	c  156s |      17 |   714944 |   220832 |    11272     48 |        1 |        1
158.97/159.06	c  158s |      17 |   719760 |   223632 |    11272     48 |        1 |        1
160.97/161.07	c  160s |      17 |   729149 |   226132 |    11272     49 |        1 |        1
162.97/163.08	c  162s |      17 |   736023 |   228632 |    11272     49 |        1 |        1
165.07/165.11	c  164s |      17 |   739715 |   230732 |    11272     50 |        1 |        1
167.06/167.17	c  167s |      17 |   744934 |   232532 |    11272     50 |        1 |        1
169.16/169.24	c  169s |      17 |   751829 |   235332 |    11272     50 |        1 |        1
171.16/171.30	c  171s |      17 |   755688 |   237732 |    11272     51 |        1 |        1
173.26/173.31	c  173s |      17 |   759281 |   240232 |    11272     51 |        1 |        1
175.26/175.36	c  175s |      17 |   764298 |   242832 |    11272     52 |        1 |        1
177.26/177.37	c  177s |      17 |   767984 |   245632 |    11272     52 |        1 |        1
179.37/179.43	c  179s |      17 |   775430 |   248332 |    11272     53 |        1 |        1
181.36/181.46	c  181s |      17 |   782987 |   251232 |    11272     53 |        1 |        1
183.46/183.53	c  183s |      17 |   786478 |   253632 |    11272     53 |        1 |        1
185.46/185.57	c  185s |      17 |   790602 |   256132 |    11272     54 |        1 |        1
187.57/187.60	c  187s |      17 |   795858 |   258532 |    11272     54 |        1 |        1
189.57/189.63	c  189s |      17 |   801069 |   260932 |    11272     55 |        1 |        1
191.56/191.63	c  191s |      17 |   804068 |   263332 |    11272     55 |        1 |        1
193.57/193.66	c  193s |      17 |   806950 |   265532 |    11272     56 |        1 |        1
195.56/195.67	c  195s |      17 |   810562 |   268032 |    11272     56 |        1 |        1
197.66/197.71	c  197s |      17 |   819635 |   270432 |    11272     56 |        1 |        1
199.66/199.78	c  199s |      17 |   826740 |   273132 |    11272     57 |        1 |        1
201.76/201.81	c  201s |      17 |   837757 |   275832 |    11272     57 |        1 |        1
203.76/203.88	c  203s |      17 |   844731 |   278232 |    11272     58 |        1 |        1
205.86/205.96	c  205s |      17 |   850817 |   280532 |    11272     58 |        1 |        1
207.87/207.97	c  207s |      17 |   859690 |   282932 |    11272     59 |        1 |        1
209.96/210.00	c  209s |      17 |   869403 |   285632 |    11272     59 |        1 |        1
211.96/212.03	c  211s |      17 |   875756 |   288032 |    11272     59 |        1 |        1
214.16/214.22	c  214s |      17 |   879286 |   290232 |    11272     60 |        1 |        1
216.16/216.29	c  216s |      17 |   883126 |   292732 |    11272     60 |        1 |        1
218.25/218.36	c  218s |      17 |   889190 |   294432 |    12400     61 |        1 |        1
219.75/219.82	c  219s |      18 |   894142 |   296252 |    12400     61 |        1 |        1
221.75/221.83	c  221s |      18 |   902757 |   299052 |    12400     61 |        1 |        1
223.76/223.89	c  223s |      18 |   919180 |   302052 |    12400     62 |        1 |        1
225.86/225.93	c  225s |      18 |   938791 |   305252 |    12400     62 |        1 |        1
227.86/227.98	c  227s |      18 |   947465 |   308252 |    12400     63 |        1 |        1
229.96/230.02	c  229s |      18 |   958837 |   310952 |    12400     63 |        1 |        1
231.95/232.08	c  231s |      18 |   966552 |   313352 |    12400     64 |        1 |        1
234.05/234.15	c  234s |      18 |   974549 |   316352 |    12400     64 |        1 |        1
236.16/236.21	c  236s |      18 |   983826 |   318452 |    12400     64 |        1 |        1
238.15/238.24	c  238s |      18 |   992907 |   320852 |    12400     65 |        1 |        1
240.15/240.25	c  240s |      18 |  1001999 |   323452 |    12400     65 |        1 |        1
242.25/242.30	c  242s |      18 |  1009154 |   326152 |    12400     66 |        1 |        1
244.26/244.32	c  244s |      18 |  1018852 |   328752 |    12400     66 |        1 |        1
246.25/246.36	c  246s |      18 |  1026023 |   331352 |    12400     66 |        1 |        1
248.35/248.40	c  248s |      18 |  1035576 |   333852 |    12400     67 |        1 |        1
250.35/250.47	c  250s |      18 |  1045301 |   336452 |    12400     67 |        1 |        1
252.46/252.55	c  252s |      18 |  1049821 |   338552 |    12400     68 |        1 |        1
254.56/254.60	c  254s |      18 |  1060683 |   341452 |    12400     68 |        1 |        1
256.56/256.64	c  256s |      18 |  1065075 |   344252 |    12400     68 |        1 |        1
258.56/258.65	c  258s |      18 |  1070305 |   346852 |    12400     69 |        1 |        1
260.55/260.69	c  260s |      18 |  1075011 |   349452 |    12400     69 |        1 |        1
262.55/262.69	c  262s |      18 |  1081272 |   352052 |    12400     70 |        1 |        1
264.65/264.76	c  264s |      18 |  1086883 |   354752 |    12400     70 |        1 |        1
266.85/266.90	c  266s |      18 |  1089797 |   357452 |    12400     71 |        1 |        1
268.85/268.96	c  268s |      18 |  1094011 |   359952 |    12400     71 |        1 |        1
270.85/271.00	c  270s |      18 |  1098911 |   362052 |    12400     71 |        1 |        1
272.95/273.07	c  272s |      18 |  1101318 |   364352 |    12400     72 |        1 |        1
275.05/275.14	c  275s |      18 |  1104801 |   366552 |    12400     72 |        1 |        1
277.04/277.16	c  277s |      18 |  1108546 |   369152 |    12400     72 |        1 |        1
279.04/279.18	c  279s |      18 |  1111516 |   371652 |    12400     73 |        1 |        1
281.15/281.22	c  281s |      18 |  1114794 |   374052 |    12400     73 |        1 |        1
283.15/283.24	c  283s |      18 |  1118197 |   376452 |    12400     74 |        1 |        1
285.15/285.29	c  285s |      18 |  1123605 |   379152 |    12400     74 |        1 |        1
287.25/287.35	c  287s |      18 |  1128033 |   381552 |    12400     74 |        1 |        1
289.26/289.40	c  289s |      18 |  1132117 |   383952 |    12400     75 |        1 |        1
291.35/291.49	c  291s |      18 |  1137082 |   386452 |    12400     75 |        1 |        1
293.45/293.54	c  293s |      18 |  1142581 |   388852 |    12400     75 |        1 |        1
295.45/295.59	c  295s |      18 |  1151838 |   391452 |    12400     76 |        1 |        1
297.55/297.65	c  297s |      18 |  1155326 |   393952 |    12400     76 |        1 |        1
299.54/299.69	c  299s |      18 |  1159435 |   396152 |    12400     77 |        1 |        1
301.64/301.73	c  301s |      18 |  1162391 |   398752 |    12400     77 |        1 |        1
303.65/303.74	c  303s |      18 |  1167361 |   401052 |    12400     77 |        1 |        1
305.75/305.82	c  305s |      18 |  1171648 |   403352 |    12400     78 |        1 |        1
307.74/307.87	c  307s |      18 |  1179845 |   405952 |    12400     78 |        1 |        1
309.74/309.88	c  309s |      18 |  1185468 |   408552 |    12400     79 |        1 |        1
311.84/311.91	c  311s |      18 |  1190218 |   411052 |    12400     79 |        1 |        1
313.94/314.02	c  313s |      18 |  1193178 |   413452 |    12400     79 |        1 |        1
315.95/316.05	c  315s |      18 |  1200218 |   415952 |    12400     80 |        1 |        1
317.95/318.09	c  317s |      18 |  1206557 |   418552 |    12400     80 |        1 |        1
320.05/320.10	c  319s |      18 |  1214173 |   421152 |    12400     81 |        1 |        1
322.05/322.16	c  322s |      18 |  1220729 |   424052 |    12400     81 |        1 |        1
324.04/324.18	c  324s |      18 |  1228150 |   426652 |    12400     81 |        1 |        1
326.04/326.18	c  326s |      18 |  1231275 |   429052 |    12400     82 |        1 |        1
328.14/328.23	c  328s |      18 |  1234964 |   431652 |    12400     82 |        1 |        1
330.14/330.27	c  330s |      18 |  1240145 |   433852 |    12400     83 |        1 |        1
332.25/332.37	c  332s |      18 |  1249118 |   436452 |    12400     83 |        1 |        1
334.34/334.42	c  334s |      18 |  1254998 |   438952 |    12400     83 |        1 |        1
336.34/336.46	c  336s |      18 |  1257978 |   441452 |    13641     84 |        1 |        1
338.43/338.50	c  338s |      18 |  1260803 |   444052 |    13641     84 |        1 |        1
338.74/338.84	c  338s |      19 |  1261243 |   444482 |    13641     84 |        1 |        1
340.84/340.93	c  340s |      19 |  1264117 |   446682 |    13641     84 |        1 |        1
342.84/342.97	c  342s |      19 |  1266401 |   448882 |    13641     85 |        1 |        1
344.84/344.97	c  344s |      19 |  1268813 |   451182 |    13641     85 |        1 |        1
346.94/347.02	c  346s |      19 |  1271979 |   453382 |    13641     85 |        1 |        1
348.94/349.03	c  348s |      19 |  1274340 |   455682 |    13641     86 |        1 |        1
350.94/351.08	c  350s |      19 |  1277237 |   457982 |    13641     86 |        1 |        1
352.94/353.10	c  352s |      19 |  1284693 |   459782 |    13641     86 |        1 |        1
355.04/355.17	c  355s |      19 |  1289577 |   462182 |    13641     87 |        1 |        1
357.14/357.20	c  357s |      19 |  1292228 |   464482 |    13641     87 |        1 |        1
359.14/359.25	c  359s |      19 |  1299925 |   466982 |    13641     87 |        1 |        1
361.14/361.28	c  361s |      19 |  1304112 |   469282 |    13641     88 |        1 |        1
363.23/363.32	c  363s |      19 |  1307973 |   471682 |    13641     88 |        1 |        1
365.24/365.34	c  365s |      19 |  1310894 |   474182 |    13641     88 |        1 |        1
367.24/367.40	c  367s |      19 |  1315619 |   476382 |    13641     89 |        1 |        1
369.34/369.42	c  369s |      19 |  1319508 |   479082 |    13641     89 |        1 |        1
371.34/371.45	c  371s |      19 |  1322594 |   481582 |    13641     90 |        1 |        1
373.33/373.49	c  373s |      19 |  1326328 |   484182 |    13641     90 |        1 |        1
375.43/375.51	c  375s |      19 |  1329691 |   486582 |    13641     90 |        1 |        1
377.44/377.54	c  377s |      19 |  1332896 |   488982 |    13641     91 |        1 |        1
379.44/379.59	c  379s |      19 |  1335661 |   491582 |    13641     91 |        1 |        1
381.53/381.64	c  381s |      19 |  1338515 |   494082 |    13641     91 |        1 |        1
383.53/383.65	c  383s |      19 |  1343037 |   497382 |    13641     92 |        1 |        1
385.53/385.65	c  385s |      19 |  1347213 |   501082 |    13641     92 |        1 |        1
387.64/387.73	c  387s |      19 |  1349200 |   503082 |    13641     93 |        1 |        1
389.63/389.77	c  389s |      19 |  1354742 |   506282 |    13641     93 |        1 |        1
391.64/391.79	c  391s |      19 |  1360792 |   509382 |    13641     94 |        1 |        1
393.63/393.80	c  393s |      19 |  1365467 |   512482 |    13641     94 |        1 |        1
395.73/395.84	c  395s |      19 |  1370022 |   515482 |    13641     94 |        1 |        1
397.73/397.88	c  397s |      19 |  1374183 |   518182 |    13641     95 |        1 |        1
399.73/399.88	c  399s |      19 |  1378131 |   520682 |    13641     95 |        1 |        1
401.92/402.06	c  401s |      19 |  1381338 |   522882 |    13641     96 |        1 |        1
403.93/404.08	c  403s |      19 |  1386826 |   525982 |    13641     96 |        1 |        1
405.94/406.09	c  405s |      19 |  1390736 |   528582 |    13641     96 |        1 |        1
408.03/408.12	c  407s |      19 |  1394690 |   531082 |    13641     97 |        1 |        1
410.02/410.14	c  410s |      19 |  1399524 |   533982 |    13641     97 |        1 |        1
412.02/412.16	c  412s |      19 |  1403471 |   536482 |    13641     97 |        1 |        1
414.13/414.21	c  414s |      19 |  1407750 |   539082 |    13641     98 |        1 |        1
416.13/416.22	c  416s |      19 |  1411902 |   541582 |    13641     98 |        1 |        1
418.13/418.27	c  418s |      19 |  1415528 |   544182 |    13641     99 |        1 |        1
420.23/420.31	c  420s |      19 |  1420370 |   546982 |    13641     99 |        1 |        1
422.22/422.36	c  422s |      19 |  1425030 |   549382 |    13641     99 |        1 |        1
424.22/424.37	c  424s |      19 |  1429651 |   551982 |    13641    100 |        1 |        1
426.22/426.38	c  426s |      19 |  1433916 |   554582 |    13641    100 |        1 |        1
428.32/428.40	c  428s |      19 |  1437874 |   556782 |    13641    100 |        1 |        1
430.32/430.41	c  430s |      19 |  1443774 |   559082 |    13641    101 |        1 |        1
432.34/432.46	c  432s |      19 |  1449117 |   562382 |    13641    101 |        1 |        1
434.33/434.50	c  434s |      19 |  1454399 |   565682 |    13641    102 |        1 |        1
436.43/436.52	c  436s |      19 |  1459976 |   568982 |    13641    102 |        1 |        1
438.43/438.53	c  438s |      19 |  1464237 |   571882 |    13641    103 |        1 |        1
440.43/440.59	c  440s |      19 |  1469639 |   575282 |    13641    103 |        1 |        1
442.53/442.61	c  442s |      19 |  1473876 |   578082 |    13641    104 |        1 |        1
444.53/444.62	c  444s |      19 |  1479637 |   581582 |    13641    104 |        1 |        1
446.53/446.64	c  446s |      19 |  1484409 |   584482 |    13641    104 |        1 |        1
448.53/448.64	c  448s |      19 |  1491157 |   588382 |    13641    105 |        1 |        1
450.63/450.71	c  450s |      19 |  1496502 |   591782 |    13641    106 |        1 |        1
452.62/452.72	c  452s |      19 |  1502823 |   595482 |    13641    106 |        1 |        1
454.62/454.73	c  454s |      19 |  1508290 |   598682 |    13641    107 |        1 |        1
456.62/456.77	c  456s |      19 |  1515754 |   602682 |    13641    107 |        1 |        1
458.63/458.78	c  458s |      19 |  1520896 |   605982 |    13641    108 |        1 |        1
460.72/460.83	c  460s |      19 |  1527151 |   609482 |    13641    108 |        1 |        1
462.72/462.85	c  462s |      19 |  1532334 |   612882 |    13641    109 |        1 |        1
464.72/464.88	c  464s |      19 |  1537689 |   616482 |    13641    109 |        1 |        1
466.82/466.93	c  466s |      19 |  1542759 |   619382 |    13641    110 |        1 |        1
468.82/468.93	c  468s |      19 |  1549431 |   623282 |    13641    110 |        1 |        1
470.82/470.94	c  470s |      19 |  1555055 |   626682 |    13641    111 |        1 |        1
472.82/472.97	c  472s |      19 |  1561911 |   630582 |    13641    111 |        1 |        1
474.92/475.01	c  474s |      19 |  1566665 |   633382 |    13641    112 |        1 |        1
476.92/477.07	c  476s |      19 |  1573022 |   637482 |    13641    112 |        1 |        1
479.01/479.10	c  478s |      19 |  1577466 |   640582 |    13641    113 |        1 |        1
481.01/481.13	c  481s |      19 |  1583353 |   644282 |    13641    113 |        1 |        1
483.01/483.14	c  483s |      19 |  1586958 |   646782 |    13641    114 |        1 |        1
485.02/485.15	c  485s |      19 |  1592446 |   650282 |    13641    114 |        1 |        1
487.01/487.17	c  487s |      19 |  1597136 |   653482 |    13641    114 |        1 |        1
489.11/489.22	c  489s |      19 |  1604151 |   657182 |    13641    115 |        1 |        1
491.11/491.27	c  491s |      19 |  1609193 |   660382 |    13641    115 |        1 |        1
493.21/493.32	c  493s |      19 |  1615369 |   663882 |    15006    116 |        1 |        1
494.92/495.09	c  494s |      20 |  1620629 |   666827 |    15006    116 |        1 |        1
497.01/497.11	c  496s |      20 |  1627116 |   668927 |    15006    117 |        1 |        1
499.02/499.13	c  499s |      20 |  1633203 |   672427 |    15006    117 |        1 |        1
501.02/501.18	c  501s |      20 |  1640117 |   675427 |    15006    117 |        1 |        1
503.02/503.19	c  503s |      20 |  1645589 |   678227 |    15006    118 |        1 |        1
505.12/505.25	c  505s |      20 |  1649747 |   681127 |    15006    118 |        1 |        1
507.22/507.37	c  507s |      20 |  1654716 |   683827 |    15006    119 |        1 |        1
509.22/509.37	c  509s |      20 |  1660236 |   686527 |    15006    119 |        1 |        1
511.22/511.38	c  511s |      20 |  1664582 |   689527 |    15006    119 |        1 |        1
513.32/513.40	c  513s |      20 |  1671307 |   692427 |    15006    120 |        1 |        1
515.32/515.44	c  515s |      20 |  1677039 |   695827 |    15006    120 |        1 |        1
517.31/517.46	c  517s |      20 |  1681163 |   698227 |    15006    120 |        1 |        1
519.31/519.49	c  519s |      20 |  1686400 |   701127 |    15006    121 |        1 |        1
521.42/521.56	c  521s |      20 |  1690999 |   704127 |    15006    121 |        1 |        1
523.41/523.60	c  523s |      20 |  1696332 |   707027 |    15006    122 |        1 |        1
525.51/525.62	c  525s |      20 |  1701005 |   710127 |    15006    122 |        1 |        1
527.51/527.68	c  527s |      20 |  1706341 |   713427 |    15006    122 |        1 |        1
529.61/529.73	c  529s |      20 |  1711014 |   716527 |    15006    123 |        1 |        1
531.61/531.79	c  531s |      20 |  1715593 |   719727 |    15006    123 |        1 |        1
533.71/533.82	c  533s |      20 |  1718307 |   721827 |    15006    124 |        1 |        1
535.72/535.83	c  535s |      20 |  1724115 |   725227 |    15006    124 |        1 |        1
537.71/537.85	c  537s |      20 |  1733855 |   728727 |    15006    124 |        1 |        1
539.71/539.89	c  539s |      20 |  1738339 |   731927 |    15006    125 |        1 |        1
541.80/541.94	c  541s |      20 |  1742465 |   734927 |    15006    125 |        1 |        1
543.80/543.96	c  543s |      20 |  1746538 |   737627 |    15006    126 |        1 |        1
545.90/546.04	c  545s |      20 |  1750057 |   740527 |    15006    126 |        1 |        1
547.90/548.09	c  547s |      20 |  1756493 |   743527 |    15006    126 |        1 |        1
549.92/550.09	c  549s |      20 |  1760303 |   746227 |    15006    127 |        1 |        1
552.01/552.19	c  552s |      20 |  1764097 |   749227 |    15006    127 |        1 |        1
554.10/554.24	c  554s |      20 |  1768043 |   751927 |    15006    127 |        1 |        1
556.10/556.25	c  556s |      20 |  1771504 |   754427 |    15006    128 |        1 |        1
558.11/558.26	c  558s |      20 |  1776131 |   757527 |    15006    128 |        1 |        1
560.20/560.32	c  560s |      20 |  1779635 |   759927 |    15006    129 |        1 |        1
562.21/562.34	c  562s |      20 |  1785866 |   763027 |    15006    129 |        1 |        1
564.21/564.39	c  564s |      20 |  1790743 |   765527 |    15006    129 |        1 |        1
566.30/566.46	c  566s |      20 |  1795026 |   768327 |    15006    130 |        1 |        1
568.31/568.47	c  568s |      20 |  1801346 |   771927 |    15006    130 |        1 |        1
570.41/570.53	c  570s |      20 |  1808596 |   774927 |    15006    131 |        1 |        1
572.60/572.77	c  572s |      20 |  1812746 |   777927 |    15006    131 |        1 |        1
574.71/574.81	c  574s |      20 |  1818259 |   781427 |    15006    131 |        1 |        1
576.70/576.86	c  576s |      20 |  1822326 |   784327 |    15006    132 |        1 |        1
578.70/578.89	c  578s |      20 |  1827039 |   787627 |    15006    132 |        1 |        1
581.01/581.17	c  581s |      20 |  1830533 |   790127 |    15006    133 |        1 |        1
583.01/583.19	c  583s |      20 |  1835933 |   793927 |    15006    133 |        1 |        1
585.11/585.26	c  585s |      20 |  1840478 |   797327 |    15006    133 |        1 |        1
587.10/587.26	c  587s |      20 |  1844527 |   800327 |    15006    134 |        1 |        1
589.10/589.27	c  589s |      20 |  1849247 |   802927 |    15006    134 |        1 |        1
591.10/591.29	c  591s |      20 |  1852700 |   805327 |    15006    135 |        1 |        1
593.20/593.31	c  593s |      20 |  1857361 |   808327 |    15006    135 |        1 |        1
595.20/595.37	c  595s |      20 |  1862648 |   811527 |    15006    135 |        1 |        1
597.20/597.39	c  597s |      20 |  1866577 |   814527 |    15006    136 |        1 |        1
599.30/599.46	c  599s |      20 |  1871058 |   817627 |    15006    136 |        1 |        1
601.30/601.49	c  601s |      20 |  1875301 |   820327 |    15006    137 |        1 |        1
603.40/603.50	c  603s |      20 |  1880373 |   823127 |    15006    137 |        1 |        1
605.40/605.51	c  605s |      20 |  1884221 |   825827 |    15006    137 |        1 |        1
607.50/607.60	c  607s |      20 |  1887390 |   828227 |    15006    138 |        1 |        1
609.50/609.62	c  609s |      20 |  1891345 |   831327 |    15006    138 |        1 |        1
611.51/611.63	c  611s |      20 |  1895612 |   834527 |    15006    138 |        1 |        1
613.60/613.72	c  613s |      20 |  1899872 |   837527 |    15006    139 |        1 |        1
615.60/615.73	c  615s |      20 |  1902979 |   839827 |    15006    139 |        1 |        1
617.60/617.73	c  617s |      20 |  1907763 |   842827 |    15006    139 |        1 |        1
619.79/619.99	c  619s |      20 |  1911888 |   845327 |    15006    140 |        1 |        1
621.89/622.03	c  621s |      20 |  1919532 |   848827 |    15006    140 |        1 |        1
623.89/624.07	c  623s |      20 |  1923896 |   851827 |    15006    141 |        1 |        1
625.90/626.08	c  625s |      20 |  1927867 |   854827 |    15006    141 |        1 |        1
627.89/628.09	c  627s |      20 |  1931730 |   857627 |    15006    141 |        1 |        1
629.99/630.19	c  630s |      20 |  1936367 |   860627 |    15006    142 |        1 |        1
632.10/632.26	c  632s |      20 |  1940244 |   863427 |    15006    142 |        1 |        1
634.20/634.30	c  634s |      20 |  1944667 |   865927 |    15006    143 |        1 |        1
636.20/636.34	c  636s |      20 |  1950626 |   869627 |    15006    143 |        1 |        1
638.20/638.38	c  638s |      20 |  1955743 |   873327 |    15006    143 |        1 |        1
640.30/640.41	c  640s |      20 |  1962535 |   877027 |    15006    144 |        1 |        1
642.30/642.42	c  642s |      20 |  1968195 |   880327 |    15006    144 |        1 |        1
644.29/644.48	c  644s |      20 |  1973932 |   882527 |    15006    145 |        1 |        1
646.39/646.50	c  646s |      20 |  1978819 |   885727 |    15006    145 |        1 |        1
648.39/648.58	c  648s |      20 |  1984063 |   888727 |    15006    146 |        1 |        1
650.49/650.60	c  650s |      20 |  1988627 |   891727 |    15006    146 |        1 |        1
652.49/652.66	c  652s |      20 |  1993388 |   894727 |    15006    146 |        1 |        1
654.50/654.67	c  654s |      20 |  1996816 |   897127 |    15006    147 |        1 |        1
656.49/656.68	c  656s |      20 |  2001615 |   899827 |    15006    147 |        1 |        1
658.49/658.69	c  658s |      20 |  2005642 |   902627 |    15006    147 |        1 |        1
660.59/660.72	c  660s |      20 |  2009572 |   904627 |    15006    148 |        1 |        1
662.59/662.74	c  662s |      20 |  2017093 |   908327 |    15006    148 |        1 |        1
664.59/664.77	c  664s |      20 |  2021941 |   911527 |    15006    149 |        1 |        1
666.69/666.82	c  666s |      20 |  2026540 |   915027 |    15006    149 |        1 |        1
668.70/668.86	c  668s |      20 |  2031154 |   918327 |    15006    149 |        1 |        1
670.69/670.89	c  670s |      20 |  2036942 |   920827 |    15006    150 |        1 |        1
672.79/672.90	c  672s |      20 |  2040710 |   923827 |    15006    150 |        1 |        1
674.79/674.93	c  674s |      20 |  2044818 |   926527 |    15006    151 |        1 |        1
676.79/676.96	c  676s |      20 |  2049418 |   929427 |    15006    151 |        1 |        1
678.89/679.01	c  678s |      20 |  2053531 |   932127 |    15006    151 |        1 |        1
680.90/681.04	c  680s |      20 |  2056722 |   934627 |    15006    152 |        1 |        1
683.00/683.11	c  682s |      20 |  2060430 |   937427 |    15006    152 |        1 |        1
684.99/685.18	c  685s |      20 |  2065248 |   940327 |    15006    152 |        1 |        1
687.09/687.23	c  687s |      20 |  2069385 |   942827 |    15006    153 |        1 |        1
689.09/689.29	c  689s |      20 |  2073417 |   945827 |    15006    153 |        1 |        1
691.19/691.32	c  691s |      20 |  2077532 |   948527 |    15006    153 |        1 |        1
693.19/693.36	c  693s |      20 |  2080663 |   950927 |    15006    154 |        1 |        1
695.19/695.37	c  695s |      20 |  2084327 |   953227 |    15006    154 |        1 |        1
697.18/697.39	c  697s |      20 |  2089676 |   956327 |    15006    154 |        1 |        1
699.28/699.41	c  699s |      20 |  2094536 |   959327 |    15006    155 |        1 |        1
701.28/701.41	c  701s |      20 |  2099531 |   961327 |    15006    155 |        1 |        1
703.38/703.54	c  703s |      20 |  2104512 |   964227 |    15006    156 |        1 |        1
705.39/705.57	c  705s |      20 |  2110484 |   967427 |    15006    156 |        1 |        1
707.49/707.64	c  707s |      20 |  2114735 |   970327 |    15006    156 |        1 |        1
709.49/709.69	c  709s |      20 |  2118708 |   973127 |    15006    157 |        1 |        1
711.49/711.69	c  711s |      20 |  2121575 |   975527 |    15006    157 |        1 |        1
713.49/713.70	c  713s |      20 |  2125101 |   978227 |    15006    157 |        1 |        1
715.59/715.71	c  715s |      20 |  2128242 |   980427 |    15006    158 |        1 |        1
717.59/717.74	c  717s |      20 |  2132649 |   983727 |    15006    158 |        1 |        1
719.68/719.80	c  719s |      20 |  2136584 |   986627 |    15006    158 |        1 |        1
721.68/721.87	c  721s |      20 |  2139961 |   988827 |    15006    159 |        1 |        1
723.69/723.89	c  723s |      20 |  2144375 |   991627 |    15006    159 |        1 |        1
725.78/725.96	c  725s |      20 |  2148761 |   994527 |    16507    159 |        1 |        1
728.58/728.75	c  728s |      20 |  2151476 |   996427 |    16507    160 |        1 |        1
730.68/730.82	c  730s |      20 |  2159085 |   999927 |    16507    160 |        1 |        1
730.88/731.09	c  730s |      21 |  2159596 |  1000345 |    16507    160 |        1 |        1
732.97/733.12	c  733s |      21 |  2165742 |  1003545 |    16507    160 |        1 |        1
734.97/735.16	c  735s |      21 |  2172104 |  1006745 |    16507    161 |        1 |        1
736.98/737.20	c  737s |      21 |  2178825 |  1009645 |    16507    161 |        1 |        1
739.08/739.26	c  739s |      21 |  2184491 |  1012345 |    16507    161 |        1 |        1
741.17/741.32	c  741s |      21 |  2189963 |  1014945 |    16507    162 |        1 |        1
743.17/743.36	c  743s |      21 |  2193838 |  1017745 |    16507    162 |        1 |        1
745.27/745.40	c  745s |      21 |  2197796 |  1020445 |    16507    162 |        1 |        1
747.27/747.45	c  747s |      21 |  2202159 |  1022945 |    16507    163 |        1 |        1
749.57/749.73	c  749s |      21 |  2207912 |  1025945 |    16507    163 |        1 |        1
751.57/751.76	c  751s |      21 |  2215001 |  1027945 |    16507    163 |        1 |        1
753.57/753.79	c  753s |      21 |  2218625 |  1029845 |    16507    164 |        1 |        1
755.67/755.85	c  755s |      21 |  2225012 |  1032845 |    16507    164 |        1 |        1
757.67/757.88	c  757s |      21 |  2230020 |  1035845 |    16507    164 |        1 |        1
759.77/759.91	c  759s |      21 |  2236115 |  1038245 |    16507    165 |        1 |        1
761.77/761.94	c  761s |      21 |  2240075 |  1040845 |    16507    165 |        1 |        1
763.76/763.99	c  763s |      21 |  2242721 |  1042545 |    16507    165 |        1 |        1
765.86/766.06	c  765s |      21 |  2246346 |  1045045 |    16507    165 |        1 |        1
767.86/768.09	c  767s |      21 |  2249491 |  1047345 |    16507    166 |        1 |        1
769.96/770.11	c  769s |      21 |  2253015 |  1049845 |    16507    166 |        1 |        1
771.95/772.13	c  772s |      21 |  2257394 |  1052045 |    16507    166 |        1 |        1
773.95/774.16	c  774s |      21 |  2260835 |  1054745 |    16507    167 |        1 |        1
776.05/776.22	c  776s |      21 |  2264484 |  1057345 |    16507    167 |        1 |        1
778.05/778.29	c  778s |      21 |  2268991 |  1060345 |    16507    167 |        1 |        1
780.15/780.39	c  780s |      21 |  2271983 |  1062845 |    16507    168 |        1 |        1
782.25/782.41	c  782s |      21 |  2275297 |  1065345 |    16507    168 |        1 |        1
784.25/784.46	c  784s |      21 |  2280521 |  1068545 |    16507    168 |        1 |        1
786.24/786.50	c  786s |      21 |  2284631 |  1071145 |    16507    169 |        1 |        1
788.34/788.56	c  788s |      21 |  2288312 |  1073945 |    16507    169 |        1 |        1
790.34/790.56	c  790s |      21 |  2291609 |  1076545 |    16507    169 |        1 |        1
792.44/792.62	c  792s |      21 |  2295217 |  1079045 |    16507    169 |        1 |        1
794.44/794.67	c  794s |      21 |  2298170 |  1081545 |    16507    170 |        1 |        1
796.44/796.70	c  796s |      21 |  2301734 |  1084545 |    16507    170 |        1 |        1
798.54/798.76	c  798s |      21 |  2304645 |  1087045 |    16507    170 |        1 |        1
800.53/800.80	c  800s |      21 |  2307630 |  1089545 |    16507    171 |        1 |        1
802.64/802.82	c  802s |      21 |  2311001 |  1092245 |    16507    171 |        1 |        1
804.64/804.89	c  804s |      21 |  2315007 |  1095145 |    16507    171 |        1 |        1
806.74/806.95	c  806s |      21 |  2319077 |  1097845 |    16507    172 |        1 |        1
808.84/809.00	c  808s |      21 |  2322896 |  1100845 |    16507    172 |        1 |        1
810.83/811.02	c  810s |      21 |  2326161 |  1103545 |    16507    172 |        1 |        1
813.13/813.33	c  813s |      21 |  2328686 |  1105645 |    16507    173 |        1 |        1
815.13/815.36	c  815s |      21 |  2333429 |  1108845 |    16507    173 |        1 |        1
817.13/817.39	c  817s |      21 |  2337152 |  1111545 |    16507    173 |        1 |        1
819.22/819.44	c  819s |      21 |  2340429 |  1114145 |    16507    174 |        1 |        1
821.22/821.46	c  821s |      21 |  2343775 |  1117045 |    16507    174 |        1 |        1
823.32/823.51	c  823s |      21 |  2347167 |  1119645 |    16507    174 |        1 |        1
825.32/825.58	c  825s |      21 |  2350514 |  1121745 |    16507    175 |        1 |        1
827.32/827.59	c  827s |      21 |  2353876 |  1124345 |    16507    175 |        1 |        1
829.42/829.68	c  829s |      21 |  2357377 |  1127045 |    16507    175 |        1 |        1
831.53/831.78	c  831s |      21 |  2361056 |  1129845 |    16507    176 |        1 |        1
833.63/833.84	c  833s |      21 |  2365323 |  1132845 |    16507    176 |        1 |        1
835.62/835.86	c  835s |      21 |  2369103 |  1135645 |    16507    176 |        1 |        1
837.62/837.87	c  837s |      21 |  2372749 |  1138445 |    16507    177 |        1 |        1
839.62/839.89	c  839s |      21 |  2376940 |  1141545 |    16507    177 |        1 |        1
841.72/841.92	c  841s |      21 |  2381511 |  1144645 |    16507    177 |        1 |        1
843.72/843.94	c  843s |      21 |  2384800 |  1147045 |    16507    178 |        1 |        1
845.72/845.98	c  845s |      21 |  2390075 |  1150145 |    16507    178 |        1 |        1
847.82/848.05	c  847s |      21 |  2393930 |  1152945 |    16507    178 |        1 |        1
849.81/850.09	c  849s |      21 |  2397790 |  1155645 |    16507    179 |        1 |        1
851.91/852.15	c  852s |      21 |  2401935 |  1158545 |    16507    179 |        1 |        1
853.91/854.16	c  854s |      21 |  2405708 |  1161245 |    16507    179 |        1 |        1
855.91/856.18	c  856s |      21 |  2408643 |  1163345 |    16507    180 |        1 |        1
858.01/858.24	c  858s |      21 |  2413565 |  1166545 |    16507    180 |        1 |        1
860.01/860.27	c  860s |      21 |  2417518 |  1169145 |    16507    180 |        1 |        1
862.01/862.27	c  862s |      21 |  2422143 |  1171745 |    16507    181 |        1 |        1
864.01/864.29	c  864s |      21 |  2426700 |  1174345 |    16507    181 |        1 |        1
866.10/866.32	c  866s |      21 |  2431682 |  1177045 |    16507    181 |        1 |        1
868.10/868.34	c  868s |      21 |  2436090 |  1179745 |    16507    181 |        1 |        1
870.10/870.36	c  870s |      21 |  2439134 |  1182145 |    16507    182 |        1 |        1
872.21/872.41	c  872s |      21 |  2442597 |  1184745 |    16507    182 |        1 |        1
874.20/874.48	c  874s |      21 |  2446783 |  1187645 |    16507    182 |        1 |        1
876.20/876.49	c  876s |      21 |  2449518 |  1189545 |    16507    183 |        1 |        1
878.30/878.58	c  878s |      21 |  2453247 |  1192245 |    16507    183 |        1 |        1
880.40/880.62	c  880s |      21 |  2457556 |  1194845 |    16507    183 |        1 |        1
882.39/882.64	c  882s |      21 |  2460100 |  1197045 |    16507    184 |        1 |        1
884.39/884.69	c  884s |      21 |  2463296 |  1199545 |    16507    184 |        1 |        1
886.39/886.69	c  886s |      21 |  2466340 |  1201645 |    16507    184 |        1 |        1
888.49/888.74	c  888s |      21 |  2470962 |  1204545 |    16507    184 |        1 |        1
890.49/890.75	c  890s |      21 |  2474015 |  1207145 |    16507    185 |        1 |        1
892.59/892.81	c  892s |      21 |  2477936 |  1209945 |    16507    185 |        1 |        1
894.59/894.86	c  894s |      21 |  2481544 |  1212645 |    16507    185 |        1 |        1
896.68/896.92	c  896s |      21 |  2484308 |  1214845 |    16507    186 |        1 |        1
898.68/898.95	c  898s |      21 |  2487879 |  1217445 |    16507    186 |        1 |        1
900.79/901.03	c  900s |      21 |  2492195 |  1220345 |    16507    186 |        1 |        1
902.78/903.06	c  902s |      21 |  2495883 |  1222745 |    16507    187 |        1 |        1
904.88/905.13	c  905s |      21 |  2499932 |  1225645 |    16507    187 |        1 |        1
906.87/907.13	c  907s |      21 |  2503874 |  1228345 |    16507    187 |        1 |        1
908.87/909.15	c  909s |      21 |  2506719 |  1230345 |    16507    188 |        1 |        1
910.87/911.18	c  911s |      21 |  2510270 |  1232945 |    16507    188 |        1 |        1
912.97/913.27	c  913s |      21 |  2513034 |  1235145 |    16507    188 |        1 |        1
915.08/915.31	c  915s |      21 |  2516120 |  1237245 |    16507    188 |        1 |        1
917.07/917.38	c  917s |      21 |  2520137 |  1239645 |    16507    189 |        1 |        1
919.17/919.45	c  919s |      21 |  2523893 |  1242345 |    16507    189 |        1 |        1
921.17/921.49	c  921s |      21 |  2528378 |  1245045 |    16507    189 |        1 |        1
923.17/923.49	c  923s |      21 |  2532054 |  1247745 |    16507    190 |        1 |        1
925.26/925.55	c  925s |      21 |  2537483 |  1250845 |    16507    190 |        1 |        1
927.26/927.55	c  927s |      21 |  2540958 |  1253745 |    16507    190 |        1 |        1
929.37/929.60	c  929s |      21 |  2544097 |  1256045 |    16507    191 |        1 |        1
931.36/931.62	c  931s |      21 |  2548129 |  1258845 |    16507    191 |        1 |        1
933.36/933.66	c  933s |      21 |  2552247 |  1261745 |    16507    191 |        1 |        1
935.46/935.72	c  935s |      21 |  2554724 |  1263445 |    16507    192 |        1 |        1
937.46/937.74	c  937s |      21 |  2563671 |  1266545 |    16507    192 |        1 |        1
939.46/939.74	c  939s |      21 |  2571229 |  1269445 |    16507    192 |        1 |        1
941.47/941.76	c  941s |      21 |  2574531 |  1271845 |    16507    193 |        1 |        1
943.46/943.76	c  943s |      21 |  2578048 |  1274445 |    16507    193 |        1 |        1
945.56/945.82	c  945s |      21 |  2581772 |  1277045 |    16507    193 |        1 |        1
947.56/947.86	c  947s |      21 |  2585519 |  1279645 |    16507    193 |        1 |        1
949.65/949.93	c  949s |      21 |  2588908 |  1282345 |    16507    194 |        1 |        1
951.65/951.96	c  951s |      21 |  2593333 |  1285445 |    16507    194 |        1 |        1
953.75/954.03	c  953s |      21 |  2596982 |  1288345 |    16507    194 |        1 |        1
955.76/956.04	c  955s |      21 |  2600980 |  1291345 |    16507    195 |        1 |        1
957.86/958.11	c  957s |      21 |  2604682 |  1294145 |    16507    195 |        1 |        1
959.85/960.17	c  960s |      21 |  2607079 |  1295845 |    16507    195 |        1 |        1
961.96/962.20	c  962s |      21 |  2610085 |  1298045 |    16507    196 |        1 |        1
963.96/964.25	c  964s |      21 |  2614064 |  1300945 |    16507    196 |        1 |        1
965.95/966.28	c  966s |      21 |  2618577 |  1304045 |    16507    196 |        1 |        1
967.95/968.29	c  968s |      21 |  2622839 |  1306945 |    16507    197 |        1 |        1
970.06/970.31	c  970s |      21 |  2627125 |  1310145 |    16507    197 |        1 |        1
972.05/972.36	c  972s |      21 |  2630928 |  1312945 |    16507    197 |        1 |        1
974.05/974.38	c  974s |      21 |  2634377 |  1315245 |    16507    198 |        1 |        1
976.14/976.42	c  976s |      21 |  2638699 |  1318445 |    16507    198 |        1 |        1
978.14/978.47	c  978s |      21 |  2643044 |  1321245 |    16507    198 |        1 |        1
980.14/980.50	c  980s |      21 |  2647671 |  1324145 |    16507    199 |        1 |        1
982.24/982.51	c  982s |      21 |  2651502 |  1326945 |    16507    199 |        1 |        1
984.25/984.58	c  984s |      21 |  2654585 |  1329345 |    16507    199 |        1 |        1
986.34/986.61	c  986s |      21 |  2657810 |  1331345 |    16507    200 |        1 |        1
988.34/988.67	c  988s |      21 |  2664452 |  1334245 |    16507    200 |        1 |        1
990.44/990.73	c  990s |      21 |  2667935 |  1336545 |    16507    200 |        1 |        1
992.54/992.86	c  992s |      21 |  2670630 |  1338645 |    16507    201 |        1 |        1
994.64/994.91	c  994s |      21 |  2673936 |  1341145 |    16507    201 |        1 |        1
996.63/996.94	c  996s |      21 |  2677328 |  1343745 |    16507    201 |        1 |        1
998.64/998.98	c  998s |      21 |  2680626 |  1346245 |    16507    201 |        1 |        1
1000.74/1001.02	c 1000s |      21 |  2683554 |  1348445 |    16507    202 |        1 |        1
1002.73/1003.08	c 1002s |      21 |  2687096 |  1351145 |    16507    202 |        1 |        1
1004.82/1005.16	c 1005s |      21 |  2690781 |  1353745 |    16507    202 |        1 |        1
1006.82/1007.16	c 1007s |      21 |  2693388 |  1355845 |    16507    203 |        1 |        1
1008.82/1009.17	c 1009s |      21 |  2696024 |  1357645 |    16507    203 |        1 |        1
1010.82/1011.19	c 1011s |      21 |  2699811 |  1360345 |    16507    203 |        1 |        1
1012.93/1013.24	c 1013s |      21 |  2703569 |  1362945 |    16507    203 |        1 |        1
1014.92/1015.25	c 1015s |      21 |  2707254 |  1365345 |    16507    204 |        1 |        1
1017.02/1017.34	c 1017s |      21 |  2710935 |  1367945 |    16507    204 |        1 |        1
1019.01/1019.34	c 1019s |      21 |  2713877 |  1370245 |    16507    204 |        1 |        1
1021.12/1021.41	c 1021s |      21 |  2716551 |  1372445 |    16507    205 |        1 |        1
1023.12/1023.48	c 1023s |      21 |  2720173 |  1375145 |    16507    205 |        1 |        1
1025.22/1025.52	c 1025s |      21 |  2723162 |  1377545 |    16507    205 |        1 |        1
1027.22/1027.55	c 1027s |      21 |  2726332 |  1380445 |    16507    205 |        1 |        1
1029.32/1029.60	c 1029s |      21 |  2729325 |  1382745 |    16507    206 |        1 |        1
1031.31/1031.67	c 1031s |      21 |  2732607 |  1385345 |    16507    206 |        1 |        1
1033.41/1033.73	c 1033s |      21 |  2736594 |  1388045 |    16507    206 |        1 |        1
1035.41/1035.78	c 1035s |      21 |  2740821 |  1390845 |    16507    207 |        1 |        1
1037.51/1037.80	c 1037s |      21 |  2744879 |  1393645 |    16507    207 |        1 |        1
1039.51/1039.84	c 1039s |      21 |  2749964 |  1397145 |    16507    207 |        1 |        1
1041.51/1041.89	c 1041s |      21 |  2754608 |  1399845 |    16507    208 |        1 |        1
1043.61/1043.95	c 1043s |      21 |  2758791 |  1402745 |    16507    208 |        1 |        1
1045.70/1046.03	c 1045s |      21 |  2762913 |  1405545 |    16507    208 |        1 |        1
1047.80/1048.11	c 1047s |      21 |  2766394 |  1408345 |    16507    209 |        1 |        1
1049.80/1050.11	c 1049s |      21 |  2770081 |  1411245 |    16507    209 |        1 |        1
1051.80/1052.13	c 1052s |      21 |  2773557 |  1413845 |    16507    209 |        1 |        1
1053.80/1054.15	c 1054s |      21 |  2776806 |  1416145 |    16507    210 |        1 |        1
1055.90/1056.24	c 1056s |      21 |  2780123 |  1418545 |    16507    210 |        1 |        1
1058.01/1058.32	c 1058s |      21 |  2783378 |  1421045 |    16507    210 |        1 |        1
1060.11/1060.42	c 1060s |      21 |  2786583 |  1423445 |    16507    211 |        1 |        1
1062.10/1062.46	c 1062s |      21 |  2790247 |  1426545 |    16507    211 |        1 |        1
1064.20/1064.53	c 1064s |      21 |  2794415 |  1429745 |    16507    211 |        1 |        1
1066.19/1066.59	c 1066s |      21 |  2797805 |  1432245 |    16507    212 |        1 |        1
1068.29/1068.61	c 1068s |      21 |  2801601 |  1434945 |    16507    212 |        1 |        1
1070.29/1070.66	c 1070s |      21 |  2805422 |  1437645 |    16507    212 |        1 |        1
1072.59/1072.94	c 1072s |      21 |  2808978 |  1440145 |    16507    213 |        1 |        1
1074.58/1074.99	c 1074s |      21 |  2813148 |  1442945 |    16507    213 |        1 |        1
1076.58/1077.00	c 1076s |      21 |  2816569 |  1445545 |    16507    213 |        1 |        1
1078.68/1079.05	c 1078s |      21 |  2819566 |  1447745 |    16507    214 |        1 |        1
1080.68/1081.07	c 1080s |      21 |  2823375 |  1450545 |    16507    214 |        1 |        1
1082.78/1083.14	c 1083s |      21 |  2826960 |  1453145 |    16507    214 |        1 |        1
1084.88/1085.24	c 1085s |      21 |  2830205 |  1455445 |    16507    214 |        1 |        1
1086.97/1087.38	c 1087s |      21 |  2832459 |  1456945 |    16507    215 |        1 |        1
1089.07/1089.43	c 1089s |      21 |  2836898 |  1459745 |    16507    215 |        1 |        1
1091.07/1091.47	c 1091s |      21 |  2840681 |  1462745 |    16507    215 |        1 |        1
1093.18/1093.51	c 1093s |      21 |  2844157 |  1465245 |    16507    216 |        1 |        1
1095.17/1095.55	c 1095s |      21 |  2848453 |  1467945 |    16507    216 |        1 |        1
1097.27/1097.61	c 1097s |      21 |  2853008 |  1470545 |    16507    216 |        1 |        1
1099.47/1099.86	c 1099s |      21 |  2855660 |  1472745 |    16507    217 |        1 |        1
1101.58/1101.92	c 1101s |      21 |  2858652 |  1474945 |    16507    217 |        1 |        1
1103.58/1103.98	c 1103s |      21 |  2862128 |  1477345 |    16507    217 |        1 |        1
1105.67/1106.06	c 1105s |      21 |  2864605 |  1479545 |    16507    217 |        1 |        1
1107.67/1108.08	c 1107s |      21 |  2867961 |  1481445 |    16507    218 |        1 |        1
1109.68/1110.08	c 1109s |      21 |  2870848 |  1483845 |    16507    218 |        1 |        1
1111.77/1112.14	c 1112s |      21 |  2873768 |  1486145 |    16507    218 |        1 |        1
1113.86/1114.20	c 1114s |      21 |  2876557 |  1488245 |    16507    218 |        1 |        1
1115.86/1116.21	c 1116s |      21 |  2878985 |  1490245 |    18158    219 |        1 |        1
1117.86/1118.23	c 1118s |      21 |  2881229 |  1492145 |    18158    219 |        1 |        1
1119.96/1120.32	c 1120s |      21 |  2883907 |  1494345 |    18158    219 |        1 |        1
1121.96/1122.37	c 1122s |      21 |  2886558 |  1496545 |    18158    219 |        1 |        1
1124.06/1124.45	c 1124s |      21 |  2889059 |  1498645 |    18158    219 |        1 |        1
1125.95/1126.40	c 1126s |      22 |  2891507 |  1500622 |    18158    220 |        1 |        1
1128.05/1128.45	c 1128s |      22 |  2900238 |  1502722 |    18158    220 |        1 |        1
1130.15/1130.55	c 1130s |      22 |  2907196 |  1505422 |    18158    220 |        1 |        1
1132.15/1132.57	c 1132s |      22 |  2912878 |  1507822 |    18158    220 |        1 |        1
1134.25/1134.61	c 1134s |      22 |  2919895 |  1510122 |    18158    221 |        1 |        1
1136.25/1136.69	c 1136s |      22 |  2926198 |  1512822 |    18158    221 |        1 |        1
1138.35/1138.77	c 1138s |      22 |  2931801 |  1515422 |    18158    221 |        1 |        1
1140.36/1140.77	c 1140s |      22 |  2935517 |  1517722 |    18158    221 |        1 |        1
1142.45/1142.83	c 1142s |      22 |  2944449 |  1520022 |    18158    222 |        1 |        1
1144.85/1145.29	c 1145s |      22 |  2948156 |  1522222 |    18158    222 |        1 |        1
1146.85/1147.30	c 1147s |      22 |  2952286 |  1524822 |    18158    222 |        1 |        1
1149.05/1149.47	c 1149s |      22 |  2955066 |  1527022 |    18158    223 |        1 |        1
1151.05/1151.49	c 1151s |      22 |  2959628 |  1529422 |    18158    223 |        1 |        1
1153.14/1153.51	c 1153s |      22 |  2961947 |  1530922 |    18158    223 |        1 |        1
1155.14/1155.58	c 1155s |      22 |  2965147 |  1533322 |    18158    223 |        1 |        1
1157.14/1157.58	c 1157s |      22 |  2968609 |  1535822 |    18158    223 |        1 |        1
1159.24/1159.66	c 1159s |      22 |  2978492 |  1538322 |    18158    224 |        1 |        1
1161.25/1161.70	c 1161s |      22 |  2982980 |  1540922 |    18158    224 |        1 |        1
1163.34/1163.74	c 1163s |      22 |  2986908 |  1543322 |    18158    224 |        1 |        1
1165.53/1166.00	c 1165s |      22 |  2990880 |  1545322 |    18158    225 |        1 |        1
1167.64/1168.08	c 1167s |      22 |  2994843 |  1547922 |    18158    225 |        1 |        1
1169.74/1170.12	c 1170s |      22 |  2998573 |  1550322 |    18158    225 |        1 |        1
1171.84/1172.22	c 1172s |      22 |  3003953 |  1552822 |    18158    225 |        1 |        1
1174.73/1175.10	c 1174s |      22 |  3007164 |  1555022 |    18158    226 |        1 |        1
1176.74/1177.17	c 1177s |      22 |  3010110 |  1557222 |    18158    226 |        1 |        1
1178.84/1179.21	c 1179s |      22 |  3013500 |  1559622 |    18158    226 |        1 |        1
1180.83/1181.26	c 1181s |      22 |  3017232 |  1562022 |    18158    226 |        1 |        1
1182.83/1183.27	c 1183s |      22 |  3019682 |  1564122 |    18158    227 |        1 |        1
1184.94/1185.33	c 1185s |      22 |  3022687 |  1566522 |    18158    227 |        1 |        1
1186.93/1187.38	c 1187s |      22 |  3029163 |  1569322 |    18158    227 |        1 |        1
1188.93/1189.39	c 1189s |      22 |  3031928 |  1571322 |    18158    227 |        1 |        1
1191.04/1191.42	c 1191s |      22 |  3035698 |  1573522 |    18158    228 |        1 |        1
1193.03/1193.43	c 1193s |      22 |  3039373 |  1576122 |    18158    228 |        1 |        1
1195.03/1195.48	c 1195s |      22 |  3043569 |  1578622 |    18158    228 |        1 |        1
1197.13/1197.56	c 1197s |      22 |  3046425 |  1580922 |    18158    228 |        1 |        1
1199.12/1199.56	c 1199s |      22 |  3050133 |  1583122 |    18158    229 |        1 |        1
1201.22/1201.61	c 1201s |      22 |  3053952 |  1585022 |    18158    229 |        1 |        1
1203.22/1203.66	c 1203s |      22 |  3057629 |  1587522 |    18158    229 |        1 |        1
1205.22/1205.67	c 1205s |      22 |  3060116 |  1589722 |    18158    229 |        1 |        1
1207.32/1207.73	c 1207s |      22 |  3063048 |  1591922 |    18158    230 |        1 |        1
1209.32/1209.74	c 1209s |      22 |  3066160 |  1594122 |    18158    230 |        1 |        1
1211.42/1211.83	c 1211s |      22 |  3070380 |  1596422 |    18158    230 |        1 |        1
1213.42/1213.85	c 1213s |      22 |  3074038 |  1598422 |    18158    230 |        1 |        1
1215.51/1215.91	c 1215s |      22 |  3077549 |  1600222 |    18158    230 |        1 |        1
1217.51/1217.93	c 1217s |      22 |  3080616 |  1602422 |    18158    231 |        1 |        1
1219.51/1219.98	c 1219s |      22 |  3084966 |  1604922 |    18158    231 |        1 |        1
1221.61/1222.00	c 1221s |      22 |  3088290 |  1607422 |    18158    231 |        1 |        1
1223.61/1224.09	c 1223s |      22 |  3091586 |  1609722 |    18158    232 |        1 |        1
1225.70/1226.14	c 1226s |      22 |  3097472 |  1612722 |    18158    232 |        1 |        1
1227.70/1228.15	c 1228s |      22 |  3099562 |  1614322 |    18158    232 |        1 |        1
1229.80/1230.21	c 1230s |      22 |  3103733 |  1616822 |    18158    232 |        1 |        1
1231.80/1232.26	c 1232s |      22 |  3107520 |  1618922 |    18158    233 |        1 |        1
1233.81/1234.27	c 1234s |      22 |  3110835 |  1621322 |    18158    233 |        1 |        1
1235.90/1236.36	c 1236s |      22 |  3114173 |  1623722 |    18158    233 |        1 |        1
1238.00/1238.41	c 1238s |      22 |  3117413 |  1626122 |    18158    233 |        1 |        1
1240.21/1240.62	c 1240s |      22 |  3121069 |  1628022 |    18158    234 |        1 |        1
1242.20/1242.66	c 1242s |      22 |  3124786 |  1630722 |    18158    234 |        1 |        1
1244.20/1244.69	c 1244s |      22 |  3128666 |  1633322 |    18158    234 |        1 |        1
1246.30/1246.73	c 1246s |      22 |  3131821 |  1635822 |    18158    234 |        1 |        1
1248.30/1248.77	c 1248s |      22 |  3134743 |  1638222 |    18158    235 |        1 |        1
1250.41/1250.84	c 1250s |      22 |  3139199 |  1641022 |    18158    235 |        1 |        1
1252.40/1252.85	c 1252s |      22 |  3142083 |  1643222 |    18158    235 |        1 |        1
1254.40/1254.89	c 1254s |      22 |  3144787 |  1645422 |    18158    235 |        1 |        1
1256.49/1256.91	c 1256s |      22 |  3147732 |  1647422 |    18158    236 |        1 |        1
1258.59/1259.01	c 1258s |      22 |  3150883 |  1649922 |    18158    236 |        1 |        1
1260.59/1261.02	c 1260s |      22 |  3153751 |  1652122 |    18158    236 |        1 |        1
1262.59/1263.04	c 1262s |      22 |  3155816 |  1653622 |    18158    236 |        1 |        1
1264.69/1265.12	c 1264s |      22 |  3158722 |  1655522 |    18158    236 |        1 |        1
1267.09/1267.50	c 1267s |      22 |  3161421 |  1657522 |    18158    237 |        1 |        1
1269.09/1269.58	c 1269s |      22 |  3165381 |  1660322 |    18158    237 |        1 |        1
1271.19/1271.61	c 1271s |      22 |  3169268 |  1663022 |    18158    237 |        1 |        1
1273.18/1273.66	c 1273s |      22 |  3173258 |  1665722 |    18158    238 |        1 |        1
1275.19/1275.69	c 1275s |      22 |  3177165 |  1668422 |    18158    238 |        1 |        1
1277.29/1277.73	c 1277s |      22 |  3181540 |  1671122 |    18158    238 |        1 |        1
1279.28/1279.80	c 1279s |      22 |  3184840 |  1673522 |    18158    238 |        1 |        1
1281.38/1281.83	c 1281s |      22 |  3188572 |  1675922 |    18158    239 |        1 |        1
1283.39/1283.84	c 1283s |      22 |  3193889 |  1678622 |    18158    239 |        1 |        1
1285.49/1285.91	c 1285s |      22 |  3198311 |  1681022 |    18158    239 |        1 |        1
1287.58/1288.02	c 1287s |      22 |  3201422 |  1683322 |    18158    240 |        1 |        1
1289.68/1290.14	c 1290s |      22 |  3204912 |  1685422 |    18158    240 |        1 |        1
1291.68/1292.19	c 1292s |      22 |  3208250 |  1687822 |    18158    240 |        1 |        1
1293.78/1294.24	c 1294s |      22 |  3210952 |  1690022 |    18158    240 |        1 |        1
1295.77/1296.28	c 1296s |      22 |  3213626 |  1692022 |    18158    240 |        1 |        1
1297.87/1298.32	c 1298s |      22 |  3216727 |  1694022 |    18158    241 |        1 |        1
1299.88/1300.35	c 1300s |      22 |  3226573 |  1696722 |    18158    241 |        1 |        1
1301.98/1302.41	c 1302s |      22 |  3231507 |  1699322 |    18158    241 |        1 |        1
1303.97/1304.43	c 1304s |      22 |  3235131 |  1701722 |    18158    242 |        1 |        1
1305.96/1306.47	c 1306s |      22 |  3240709 |  1704422 |    18158    242 |        1 |        1
1307.96/1308.49	c 1308s |      22 |  3243726 |  1706922 |    18158    242 |        1 |        1
1309.96/1310.49	c 1310s |      22 |  3246941 |  1709222 |    18158    242 |        1 |        1
1311.97/1312.49	c 1312s |      22 |  3249070 |  1711022 |    18158    243 |        1 |        1
1313.96/1314.49	c 1314s |      22 |  3251672 |  1713322 |    18158    243 |        1 |        1
1316.06/1316.56	c 1316s |      22 |  3254765 |  1715622 |    18158    243 |        1 |        1
1318.16/1318.60	c 1318s |      22 |  3257305 |  1717722 |    18158    243 |        1 |        1
1320.36/1320.81	c 1320s |      22 |  3261742 |  1719922 |    18158    244 |        1 |        1
1322.36/1322.85	c 1322s |      22 |  3264245 |  1722122 |    18158    244 |        1 |        1
1324.46/1324.91	c 1324s |      22 |  3267028 |  1724522 |    18158    244 |        1 |        1
1326.46/1326.91	c 1326s |      22 |  3270341 |  1726822 |    18158    244 |        1 |        1
1328.46/1328.92	c 1328s |      22 |  3272717 |  1728922 |    18158    244 |        1 |        1
1330.45/1330.98	c 1330s |      22 |  3274960 |  1730922 |    18158    245 |        1 |        1
1332.55/1333.02	c 1332s |      22 |  3277784 |  1733122 |    18158    245 |        1 |        1
1334.65/1335.10	c 1334s |      22 |  3279885 |  1734722 |    18158    245 |        1 |        1
1336.65/1337.12	c 1337s |      22 |  3282764 |  1737022 |    18158    245 |        1 |        1
1338.65/1339.13	c 1339s |      22 |  3285184 |  1739022 |    18158    246 |        1 |        1
1340.65/1341.16	c 1341s |      22 |  3288287 |  1741322 |    18158    246 |        1 |        1
1343.05/1343.51	c 1343s |      22 |  3290740 |  1743422 |    18158    246 |        1 |        1
1345.05/1345.53	c 1345s |      22 |  3294970 |  1746222 |    18158    246 |        1 |        1
1347.05/1347.57	c 1347s |      22 |  3298122 |  1748422 |    18158    247 |        1 |        1
1349.15/1349.60	c 1349s |      22 |  3301663 |  1751022 |    18158    247 |        1 |        1
1351.15/1351.67	c 1351s |      22 |  3306298 |  1753422 |    18158    247 |        1 |        1
1353.25/1353.70	c 1353s |      22 |  3309394 |  1755722 |    18158    247 |        1 |        1
1355.25/1355.75	c 1355s |      22 |  3313119 |  1758022 |    18158    248 |        1 |        1
1357.25/1357.76	c 1357s |      22 |  3316985 |  1760422 |    18158    248 |        1 |        1
1359.34/1359.81	c 1359s |      22 |  3320829 |  1762722 |    18158    248 |        1 |        1
1361.35/1361.87	c 1361s |      22 |  3323910 |  1765022 |    18158    248 |        1 |        1
1363.34/1363.89	c 1363s |      22 |  3326369 |  1767022 |    18158    249 |        1 |        1
1365.44/1365.95	c 1365s |      22 |  3331417 |  1769122 |    18158    249 |        1 |        1
1367.45/1367.97	c 1367s |      22 |  3334347 |  1771422 |    18158    249 |        1 |        1
1369.55/1370.03	c 1369s |      22 |  3337652 |  1773622 |    18158    249 |        1 |        1
1371.64/1372.12	c 1372s |      22 |  3340077 |  1775522 |    18158    250 |        1 |        1
1373.74/1374.21	c 1374s |      22 |  3343410 |  1778022 |    18158    250 |        1 |        1
1375.75/1376.27	c 1376s |      22 |  3347978 |  1779622 |    18158    250 |        1 |        1
1377.74/1378.30	c 1378s |      22 |  3351702 |  1782422 |    18158    250 |        1 |        1
1379.84/1380.32	c 1380s |      22 |  3355109 |  1784822 |    18158    251 |        1 |        1
1381.84/1382.38	c 1382s |      22 |  3359127 |  1787522 |    18158    251 |        1 |        1
1383.94/1384.46	c 1384s |      22 |  3362246 |  1790222 |    18158    251 |        1 |        1
1386.04/1386.51	c 1386s |      22 |  3365488 |  1792622 |    18158    251 |        1 |        1
1388.04/1388.54	c 1388s |      22 |  3368875 |  1794522 |    18158    252 |        1 |        1
1390.05/1390.58	c 1390s |      22 |  3372808 |  1796922 |    18158    252 |        1 |        1
1392.04/1392.59	c 1392s |      22 |  3376032 |  1799222 |    18158    252 |        1 |        1
1394.14/1394.60	c 1394s |      22 |  3378934 |  1801422 |    18158    252 |        1 |        1
1396.54/1397.07	c 1396s |      22 |  3381550 |  1803322 |    18158    253 |        1 |        1
1398.63/1399.11	c 1398s |      22 |  3384646 |  1805622 |    18158    253 |        1 |        1
1400.63/1401.14	c 1401s |      22 |  3388008 |  1808122 |    18158    253 |        1 |        1
1402.73/1403.22	c 1403s |      22 |  3390675 |  1810122 |    18158    253 |        1 |        1
1404.73/1405.24	c 1405s |      22 |  3392946 |  1812022 |    18158    254 |        1 |        1
1406.73/1407.27	c 1407s |      22 |  3395631 |  1814322 |    18158    254 |        1 |        1
1408.84/1409.36	c 1409s |      22 |  3398105 |  1816422 |    18158    254 |        1 |        1
1410.94/1411.45	c 1411s |      22 |  3400802 |  1818622 |    18158    254 |        1 |        1
1413.03/1413.53	c 1413s |      22 |  3402543 |  1819922 |    18158    254 |        1 |        1
1415.03/1415.59	c 1415s |      22 |  3405435 |  1821922 |    18158    255 |        1 |        1
1417.13/1417.68	c 1417s |      22 |  3407945 |  1823722 |    18158    255 |        1 |        1
1419.23/1419.72	c 1419s |      22 |  3410975 |  1826022 |    18158    255 |        1 |        1
1421.33/1421.80	c 1421s |      22 |  3413779 |  1828222 |    18158    255 |        1 |        1
1423.33/1423.81	c 1423s |      22 |  3416773 |  1830222 |    18158    256 |        1 |        1
1425.33/1425.86	c 1425s |      22 |  3419542 |  1832322 |    18158    256 |        1 |        1
1428.03/1428.59	c 1428s |      22 |  3421228 |  1833722 |    18158    256 |        1 |        1
1430.13/1430.65	c 1430s |      22 |  3424202 |  1836122 |    18158    256 |        1 |        1
1432.23/1432.72	c 1432s |      22 |  3427387 |  1838622 |    18158    256 |        1 |        1
1434.23/1434.79	c 1434s |      22 |  3431019 |  1841022 |    18158    257 |        1 |        1
1436.24/1436.79	c 1436s |      22 |  3434986 |  1843422 |    18158    257 |        1 |        1
1438.33/1438.86	c 1438s |      22 |  3438273 |  1845922 |    18158    257 |        1 |        1
1440.33/1440.88	c 1440s |      22 |  3441445 |  1848022 |    18158    257 |        1 |        1
1442.42/1442.92	c 1442s |      22 |  3444903 |  1850722 |    18158    258 |        1 |        1
1444.42/1444.98	c 1444s |      22 |  3452888 |  1854322 |    18158    258 |        1 |        1
1446.52/1447.05	c 1446s |      22 |  3457760 |  1857222 |    18158    258 |        1 |        1
1448.52/1449.09	c 1448s |      22 |  3462149 |  1859822 |    18158    259 |        1 |        1
1450.62/1451.11	c 1450s |      22 |  3465803 |  1862522 |    18158    259 |        1 |        1
1452.64/1453.12	c 1453s |      22 |  3469835 |  1864922 |    18158    259 |        1 |        1
1454.63/1455.13	c 1455s |      22 |  3472854 |  1867122 |    18158    260 |        1 |        1
1456.63/1457.14	c 1457s |      22 |  3475874 |  1869522 |    18158    260 |        1 |        1
1458.73/1459.22	c 1459s |      22 |  3479134 |  1871722 |    18158    260 |        1 |        1
1460.73/1461.27	c 1461s |      22 |  3482634 |  1874022 |    18158    260 |        1 |        1
1462.82/1463.30	c 1463s |      22 |  3486196 |  1876122 |    18158    261 |        1 |        1
1464.92/1465.41	c 1465s |      22 |  3491577 |  1879022 |    18158    261 |        1 |        1
1466.93/1467.43	c 1467s |      22 |  3495172 |  1881522 |    18158    261 |        1 |        1
1468.92/1469.49	c 1469s |      22 |  3498527 |  1883722 |    18158    261 |        1 |        1
1471.22/1471.70	c 1471s |      22 |  3502048 |  1885422 |    18158    262 |        1 |        1
1473.22/1473.71	c 1473s |      22 |  3506112 |  1888022 |    18158    262 |        1 |        1
1475.22/1475.77	c 1475s |      22 |  3511133 |  1890822 |    18158    262 |        1 |        1
1477.32/1477.85	c 1477s |      22 |  3515413 |  1893422 |    18158    262 |        1 |        1
1479.32/1479.85	c 1479s |      22 |  3519898 |  1895222 |    18158    263 |        1 |        1
1481.33/1481.87	c 1481s |      22 |  3525592 |  1898022 |    18158    263 |        1 |        1
1483.32/1483.87	c 1483s |      22 |  3529357 |  1900622 |    18158    263 |        1 |        1
1485.42/1485.93	c 1485s |      22 |  3532827 |  1902922 |    18158    263 |        1 |        1
1487.42/1487.97	c 1487s |      22 |  3536388 |  1905322 |    18158    264 |        1 |        1
1489.42/1489.99	c 1489s |      22 |  3540682 |  1908022 |    18158    264 |        1 |        1
1491.52/1492.01	c 1491s |      22 |  3544089 |  1910422 |    18158    264 |        1 |        1
1493.52/1494.02	c 1493s |      22 |  3552098 |  1913022 |    18158    265 |        1 |        1
1496.12/1496.60	c 1496s |      22 |  3557140 |  1915422 |    18158    265 |        1 |        1
1498.12/1498.62	c 1498s |      22 |  3565038 |  1918522 |    18158    265 |        1 |        1
1500.12/1500.62	c 1500s |      22 |  3569392 |  1921122 |    18158    265 |        1 |        1
1502.12/1502.64	c 1502s |      22 |  3572996 |  1923022 |    18158    266 |        1 |        1
1504.21/1504.71	c 1504s |      22 |  3577896 |  1925822 |    18158    266 |        1 |        1
1506.32/1506.80	c 1506s |      22 |  3583321 |  1928522 |    18158    266 |        1 |        1
1508.52/1509.05	c 1508s |      22 |  3586991 |  1930922 |    18158    267 |        1 |        1
1510.52/1511.06	c 1510s |      22 |  3590543 |  1933422 |    18158    267 |        1 |        1
1512.62/1513.14	c 1513s |      22 |  3594626 |  1935822 |    18158    267 |        1 |        1
1514.71/1515.21	c 1515s |      22 |  3597326 |  1937422 |    18158    267 |        1 |        1
1516.71/1517.29	c 1517s |      22 |  3601385 |  1939522 |    18158    267 |        1 |        1
1518.81/1519.32	c 1519s |      22 |  3603938 |  1941322 |    18158    268 |        1 |        1
1520.82/1521.40	c 1521s |      22 |  3606830 |  1943422 |    18158    268 |        1 |        1
1522.91/1523.41	c 1523s |      22 |  3609691 |  1945522 |    18158    268 |        1 |        1
1525.01/1525.50	c 1525s |      22 |  3612785 |  1947722 |    18158    268 |        1 |        1
1527.01/1527.58	c 1527s |      22 |  3614650 |  1949322 |    18158    269 |        1 |        1
1529.01/1529.58	c 1529s |      22 |  3617192 |  1951322 |    18158    269 |        1 |        1
1531.11/1531.62	c 1531s |      22 |  3620458 |  1953822 |    18158    269 |        1 |        1
1533.11/1533.67	c 1533s |      22 |  3623082 |  1955922 |    18158    269 |        1 |        1
1535.21/1535.71	c 1535s |      22 |  3625367 |  1957522 |    18158    269 |        1 |        1
1537.21/1537.71	c 1537s |      22 |  3627710 |  1959422 |    18158    270 |        1 |        1
1539.21/1539.79	c 1539s |      22 |  3630232 |  1961422 |    18158    270 |        1 |        1
1541.31/1541.86	c 1541s |      22 |  3634548 |  1963822 |    18158    270 |        1 |        1
1543.31/1543.87	c 1543s |      22 |  3637743 |  1966122 |    18158    270 |        1 |        1
1545.31/1545.89	c 1545s |      22 |  3640407 |  1968022 |    18158    271 |        1 |        1
1547.41/1547.90	c 1547s |      22 |  3643283 |  1970422 |    18158    271 |        1 |        1
1549.42/1549.93	c 1549s |      22 |  3645727 |  1972422 |    18158    271 |        1 |        1
1551.51/1552.04	c 1551s |      22 |  3648479 |  1974522 |    18158    271 |        1 |        1
1553.51/1554.09	c 1553s |      22 |  3651231 |  1975822 |    18158    271 |        1 |        1
1555.51/1556.09	c 1555s |      22 |  3654116 |  1977822 |    18158    272 |        1 |        1
1557.61/1558.16	c 1558s |      22 |  3657251 |  1980222 |    18158    272 |        1 |        1
1559.71/1560.21	c 1560s |      22 |  3660070 |  1982722 |    18158    272 |        1 |        1
1561.71/1562.27	c 1562s |      22 |  3662818 |  1985122 |    18158    272 |        1 |        1
1563.81/1564.32	c 1564s |      22 |  3665454 |  1987122 |    18158    273 |        1 |        1
1565.81/1566.39	c 1566s |      22 |  3668589 |  1989522 |    18158    273 |        1 |        1
1568.01/1568.51	c 1568s |      22 |  3671137 |  1991522 |    18158    273 |        1 |        1
1570.11/1570.60	c 1570s |      22 |  3673578 |  1993422 |    18158    273 |        1 |        1
1572.11/1572.63	c 1572s |      22 |  3675706 |  1995122 |    18158    274 |        1 |        1
1574.50/1575.01	c 1574s |      22 |  3677749 |  1996622 |    18158    274 |        1 |        1
1576.50/1577.02	c 1576s |      22 |  3683187 |  2000022 |    18158    274 |        1 |        1
1578.50/1579.09	c 1578s |      22 |  3688773 |  2003122 |    18158    274 |        1 |        1
1580.60/1581.12	c 1581s |      22 |  3692456 |  2005522 |    18158    275 |        1 |        1
1582.60/1583.13	c 1583s |      22 |  3696193 |  2008122 |    18158    275 |        1 |        1
1584.61/1585.20	c 1585s |      22 |  3701310 |  2011022 |    18158    275 |        1 |        1
1586.70/1587.21	c 1587s |      22 |  3704769 |  2013222 |    18158    276 |        1 |        1
1589.11/1589.68	c 1589s |      22 |  3708288 |  2015922 |    18158    276 |        1 |        1
1591.21/1591.73	c 1591s |      22 |  3712359 |  2018822 |    18158    276 |        1 |        1
1593.20/1593.75	c 1593s |      22 |  3715790 |  2021222 |    18158    276 |        1 |        1
1595.20/1595.79	c 1595s |      22 |  3719216 |  2023322 |    18158    277 |        1 |        1
1597.30/1597.82	c 1597s |      22 |  3723935 |  2026222 |    18158    277 |        1 |        1
1599.30/1599.85	c 1599s |      22 |  3729183 |  2028922 |    18158    277 |        1 |        1
1601.30/1601.88	c 1601s |      22 |  3733794 |  2031522 |    18158    277 |        1 |        1
1603.90/1604.48	c 1604s |      22 |  3736744 |  2033222 |    18158    278 |        1 |        1
1606.00/1606.53	c 1606s |      22 |  3742477 |  2036322 |    18158    278 |        1 |        1
1608.00/1608.57	c 1608s |      22 |  3745759 |  2038522 |    18158    278 |        1 |        1
1610.30/1610.84	c 1610s |      22 |  3750121 |  2040922 |    18158    279 |        1 |        1
1612.40/1612.90	c 1612s |      22 |  3755242 |  2043722 |    18158    279 |        1 |        1
1614.31/1614.90	c 1614s |      22 |  3763020 |  2046222 |    18158    279 |        1 |        1
1616.40/1616.92	c 1616s |      22 |  3769996 |  2048722 |    18158    279 |        1 |        1
1618.40/1618.94	c 1618s |      22 |  3773385 |  2050422 |    18158    280 |        1 |        1
1620.50/1621.01	c 1620s |      22 |  3777904 |  2052922 |    18158    280 |        1 |        1
1622.50/1623.01	c 1622s |      22 |  3783393 |  2055922 |    18158    280 |        1 |        1
1624.50/1625.06	c 1624s |      22 |  3788772 |  2058722 |    18158    280 |        1 |        1
1626.50/1627.07	c 1626s |      22 |  3792496 |  2061222 |    18158    281 |        1 |        1
1628.60/1629.13	c 1629s |      22 |  3794837 |  2062922 |    18158    281 |        1 |        1
1630.60/1631.14	c 1631s |      22 |  3798499 |  2065422 |    18158    281 |        1 |        1
1632.70/1633.23	c 1633s |      22 |  3804978 |  2067922 |    18158    281 |        1 |        1
1634.99/1635.56	c 1635s |      22 |  3808519 |  2070022 |    18158    282 |        1 |        1
1637.09/1637.60	c 1637s |      22 |  3817160 |  2072922 |    18158    282 |        1 |        1
1639.09/1639.67	c 1639s |      22 |  3821432 |  2075722 |    18158    282 |        1 |        1
1641.19/1641.70	c 1641s |      22 |  3824859 |  2078222 |    18158    283 |        1 |        1
1643.19/1643.74	c 1643s |      22 |  3828975 |  2080922 |    18158    283 |        1 |        1
1645.29/1645.80	c 1645s |      22 |  3832789 |  2083522 |    18158    283 |        1 |        1
1647.30/1647.88	c 1647s |      22 |  3837569 |  2085222 |    18158    283 |        1 |        1
1649.40/1649.90	c 1649s |      22 |  3841392 |  2087522 |    18158    284 |        1 |        1
1651.40/1651.91	c 1651s |      22 |  3844868 |  2089922 |    18158    284 |        1 |        1
1653.39/1653.97	c 1653s |      22 |  3848881 |  2092722 |    18158    284 |        1 |        1
1655.39/1655.99	c 1655s |      22 |  3851797 |  2094922 |    18158    284 |        1 |        1
1657.59/1658.10	c 1657s |      22 |  3854325 |  2096022 |    18158    285 |        1 |        1
1659.59/1660.16	c 1660s |      22 |  3858491 |  2098522 |    18158    285 |        1 |        1
1661.60/1662.17	c 1662s |      22 |  3864113 |  2101122 |    18158    285 |        1 |        1
1663.69/1664.22	c 1664s |      22 |  3868335 |  2103622 |    18158    285 |        1 |        1
1666.49/1667.02	c 1666s |      22 |  3873500 |  2106322 |    18158    286 |        1 |        1
1668.49/1669.04	c 1668s |      22 |  3878750 |  2109022 |    18158    286 |        1 |        1
1670.59/1671.12	c 1671s |      22 |  3882417 |  2111522 |    18158    286 |        1 |        1
1672.60/1673.13	c 1673s |      22 |  3887851 |  2114122 |    18158    286 |        1 |        1
1674.59/1675.18	c 1675s |      22 |  3892007 |  2116622 |    18158    287 |        1 |        1
1676.69/1677.22	c 1677s |      22 |  3895721 |  2119122 |    18158    287 |        1 |        1
1678.89/1679.48	c 1679s |      22 |  3900138 |  2121422 |    18158    287 |        1 |        1
1680.99/1681.53	c 1681s |      22 |  3906132 |  2123722 |    18158    288 |        1 |        1
1682.99/1683.55	c 1683s |      22 |  3910707 |  2126222 |    18158    288 |        1 |        1
1685.09/1685.61	c 1685s |      22 |  3914300 |  2128822 |    18158    288 |        1 |        1
1687.09/1687.64	c 1687s |      22 |  3919511 |  2131322 |    18158    288 |        1 |        1
1689.09/1689.65	c 1689s |      22 |  3923326 |  2133522 |    18158    289 |        1 |        1
1691.09/1691.65	c 1691s |      22 |  3926989 |  2135622 |    18158    289 |        1 |        1
1693.09/1693.69	c 1693s |      22 |  3929308 |  2136922 |    18158    289 |        1 |        1
1695.19/1695.73	c 1695s |      22 |  3934091 |  2139622 |    18158    289 |        1 |        1
1697.19/1697.79	c 1697s |      22 |  3939318 |  2142122 |    18158    290 |        1 |        1
1699.19/1699.79	c 1699s |      22 |  3942850 |  2144622 |    18158    290 |        1 |        1
1701.29/1701.81	c 1701s |      22 |  3949275 |  2147422 |    18158    290 |        1 |        1
1703.29/1703.86	c 1703s |      22 |  3953322 |  2149922 |    18158    290 |        1 |        1
1705.28/1705.89	c 1705s |      22 |  3956051 |  2151322 |    18158    291 |        1 |        1
1707.38/1707.98	c 1707s |      22 |  3957660 |  2152322 |    18158    291 |        1 |        1
1709.48/1710.02	c 1709s |      22 |  3962120 |  2154922 |    18158    291 |        1 |        1
1711.48/1712.07	c 1711s |      22 |  3968090 |  2157822 |    18158    291 |        1 |        1
1713.68/1714.25	c 1714s |      22 |  3973349 |  2160022 |    18158    292 |        1 |        1
1715.79/1716.32	c 1716s |      22 |  3975957 |  2161222 |    18158    292 |        1 |        1
1717.80/1718.39	c 1718s |      22 |  3982122 |  2164022 |    18158    292 |        1 |        1
1719.89/1720.40	c 1720s |      22 |  3986197 |  2166422 |    18158    292 |        1 |        1
1721.89/1722.47	c 1722s |      22 |  3988530 |  2168322 |    18158    292 |        1 |        1
1723.89/1724.49	c 1724s |      22 |  3991416 |  2170222 |    18158    293 |        1 |        1
1726.49/1727.01	c 1726s |      22 |  3996071 |  2172422 |    18158    293 |        1 |        1
1728.48/1729.07	c 1728s |      22 |  4006306 |  2175122 |    18158    293 |        1 |        1
1730.58/1731.13	c 1731s |      22 |  4010955 |  2177622 |    18158    293 |        1 |        1
1732.58/1733.17	c 1733s |      22 |  4014502 |  2179922 |    18158    294 |        1 |        1
1734.68/1735.22	c 1735s |      22 |  4018389 |  2182422 |    18158    294 |        1 |        1
1737.78/1738.31	c 1738s |      22 |  4022280 |  2184922 |    18158    294 |        1 |        1
1739.78/1740.32	c 1740s |      22 |  4025918 |  2187022 |    18158    294 |        1 |        1
1741.78/1742.35	c 1742s |      22 |  4036611 |  2188722 |    18158    295 |        1 |        1
1743.88/1744.42	c 1744s |      22 |  4044375 |  2191222 |    18158    295 |        1 |        1
1745.88/1746.48	c 1746s |      22 |  4051239 |  2193722 |    18158    295 |        1 |        1
1747.88/1748.49	c 1748s |      22 |  4056111 |  2196322 |    18158    295 |        1 |        1
1749.98/1750.56	c 1750s |      22 |  4059331 |  2198622 |    18158    296 |        1 |        1
1752.08/1752.63	c 1752s |      22 |  4068664 |  2201322 |    18158    296 |        1 |        1
1754.18/1754.70	c 1754s |      22 |  4072160 |  2203722 |    18158    296 |        1 |        1
1756.19/1756.77	c 1756s |      22 |  4074774 |  2205222 |    18158    296 |        1 |        1
1758.18/1758.78	c 1758s |      22 |  4077135 |  2207222 |    18158    297 |        1 |        1
1760.28/1760.83	c 1760s |      22 |  4080988 |  2209922 |    18158    297 |        1 |        1
1762.38/1762.91	c 1762s |      22 |  4083769 |  2212022 |    18158    297 |        1 |        1
1764.38/1764.92	c 1764s |      22 |  4086573 |  2214222 |    18158    297 |        1 |        1
1766.48/1767.03	c 1766s |      22 |  4089041 |  2216022 |    18158    298 |        1 |        1
1768.48/1769.05	c 1768s |      22 |  4094034 |  2218322 |    18158    298 |        1 |        1
1770.48/1771.08	c 1770s |      22 |  4098111 |  2220522 |    18158    298 |        1 |        1
1772.48/1773.08	c 1772s |      22 |  4102913 |  2223222 |    18158    298 |        1 |        1
1774.57/1775.10	c 1774s |      22 |  4105895 |  2225622 |    18158    299 |        1 |        1
1776.57/1777.14	c 1777s |      22 |  4109162 |  2227922 |    18158    299 |        1 |        1
1778.57/1779.16	c 1779s |      22 |  4112449 |  2230522 |    18158    299 |        1 |        1
1780.57/1781.19	c 1781s |      22 |  4116189 |  2233222 |    18158    299 |        1 |        1
1782.58/1783.19	c 1783s |      22 |  4119647 |  2235822 |    19974    300 |        1 |        1
1784.67/1785.27	c 1785s |      22 |  4122628 |  2238322 |    19974    300 |        1 |        1
1786.77/1787.35	c 1787s |      22 |  4125250 |  2240422 |    19974    300 |        1 |        1
1788.77/1789.37	c 1789s |      22 |  4127774 |  2242422 |    19974    300 |        1 |        1
1790.87/1791.41	c 1791s |      22 |  4130167 |  2244422 |    19974    300 |        1 |        1
1792.87/1793.48	c 1793s |      22 |  4132818 |  2246422 |    19974    301 |        1 |        1
1794.97/1795.51	c 1795s |      22 |  4135379 |  2248522 |    19974    301 |        1 |        1
1796.98/1797.59	c 1797s |      22 |  4138456 |  2250422 |    19974    301 |        1 |        1
1797.58/1798.17	c 1798s |      23 |  4139284 |  2251038 |    19974    301 |        1 |        1
1799.58/1800.18	c 1800s |      23 |  4141760 |  2252938 |    19974    301 |        1 |        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-4080093-1465262637/watcher-4080093-1465262637 -o /tmp/evaluation-result-4080093-1465262637/solver-4080093-1465262637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080093-1465262637.opb 

pid=13760
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.04 2.08 2.02 3/180 13763
/proc/meminfo: memFree=30524860/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 2853 0 0 0 0 0 0 0 20 0 4 0 108197189 780595200 2703 33554432000 4194304 16246674 140733814964944 140733814964368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 191343 2716 441 2943 0 188237 0
[pid=13763/tid=13764] ppid=13760 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 799469568 2776 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 804712448 2793 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108197189 808906752 2811 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100186 s]
/proc/loadavg: 2.04 2.08 2.02 3/180 13763
/proc/meminfo: memFree=30524860/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 21853 0 0 0 6 3 0 0 20 0 4 0 108197189 1251545088 21649 33554432000 4194304 16246674 140733814964944 140733814964256 12481267 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 305553 21649 839 2943 0 302447 0
[pid=13763/tid=13764] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 21649 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 21649 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 21649 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1222212

[startup+0.200548 s]
/proc/loadavg: 2.04 2.08 2.02 3/180 13763
/proc/meminfo: memFree=30524860/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 39296 0 0 0 14 5 0 0 20 0 4 0 108197189 1251545088 39092 33554432000 4194304 16246674 140733814964944 140733814964256 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 305553 39104 910 2943 0 302447 0
[pid=13763/tid=13764] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 39111 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 39118 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 39123 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1222212

[startup+0.300498 s]
/proc/loadavg: 2.04 2.08 2.02 3/180 13763
/proc/meminfo: memFree=30524860/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 63839 0 0 0 20 9 0 0 20 0 4 0 108197189 1251545088 63635 33554432000 4194304 16246674 140733814964944 140733814964256 5664948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 305553 63646 910 2943 0 302447 0
[pid=13763/tid=13764] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 63653 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 63659 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 63666 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1222212

[startup+0.700414 s]
/proc/loadavg: 2.04 2.08 2.02 3/180 13763
/proc/meminfo: memFree=30524860/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 164039 0 0 0 48 21 0 0 20 0 4 0 108197189 1251545088 163836 33554432000 4194304 16246674 140733814964944 140733814964256 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 305553 163855 910 2943 0 302447 0
[pid=13763/tid=13764] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 163865 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 163875 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1251545088 163884 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1222212

[startup+1.50042 s]
/proc/loadavg: 2.04 2.08 2.02 3/184 13767
/proc/meminfo: memFree=29461396/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 266288 0 0 0 113 36 0 0 20 0 4 0 108197189 1332285440 266084 33554432000 4194304 16246674 140733814964944 140733814946816 5707807 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 325265 266084 913 2943 0 322159 0
[pid=13763/tid=13764] ppid=13760 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1332285440 266084 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1332285440 266084 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1332285440 266084 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.04 2.08 2.02 3/184 13767
/proc/meminfo: memFree=29454568/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 268006 0 0 0 273 36 0 0 20 0 4 0 108197189 1338576896 267802 33554432000 4194304 16246674 140733814964944 140733814946816 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 326801 267802 920 2943 0 323695 0
[pid=13763/tid=13764] ppid=13760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1338576896 267802 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1338576896 267802 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1338576896 267802 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.11 2.10 2.02 3/184 13767
/proc/meminfo: memFree=29450908/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 268775 0 0 0 593 36 0 0 20 0 4 0 108197189 1341722624 268571 33554432000 4194304 16246674 140733814964944 140733814946816 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 327569 268571 921 2943 0 324463 0
[pid=13763/tid=13764] ppid=13760 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1341722624 268571 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1341722624 268571 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1341722624 268571 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.10 2.09 2.02 3/184 13767
/proc/meminfo: memFree=29442856/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 269799 0 0 0 1232 37 0 0 20 0 4 0 108197189 1345916928 269595 33554432000 4194304 16246674 140733814964944 140733814946816 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 328593 269595 921 2943 0 325487 0
[pid=13763/tid=13764] ppid=13760 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1345916928 269595 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1345916928 269595 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1345916928 269595 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.08 2.09 2.02 3/184 13767
/proc/meminfo: memFree=29439312/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1318468 CPUtime=25.49 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 270823 0 0 0 2512 37 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140733814946816 5589208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 329617 270619 921 2943 0 326511 0
[pid=13763/tid=13764] ppid=13760 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.05 2.08 2.02 3/184 13767
/proc/meminfo: memFree=29430104/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 270823 0 0 0 5071 37 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140733814946816 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 329617 270619 921 2943 0 326511 0
[pid=13763/tid=13764] ppid=13760 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1350111232 270619 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1318468

[startup+102.301 s]
/proc/loadavg: 2.02 2.07 2.02 3/184 13768
/proc/meminfo: memFree=29421468/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1326660 CPUtime=102.28 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 272871 0 0 0 10189 39 0 0 20 0 4 0 108197189 1358499840 272667 33554432000 4194304 16246674 140733814964944 140733814946816 13927412 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 331665 272667 921 2943 0 328559 0
[pid=13763/tid=13764] ppid=13760 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1358499840 272667 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1358499840 272667 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1358499840 272667 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1326660


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

/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1353284

[startup+1302.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/184 14003
/proc/meminfo: memFree=29288660/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1353284 CPUtime=1301.87 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 279913 0 0 0 130064 123 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140733814946816 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 338321 279579 921 2943 0 335215 0
[pid=13763/tid=13764] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.15 2.09 2.08 3/184 14004
/proc/meminfo: memFree=29288700/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1353284 CPUtime=1361.84 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 279946 0 0 0 136060 124 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140733814946816 6021616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 338321 279579 921 2943 0 335215 0
[pid=13763/tid=13764] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.05 2.07 2.07 3/184 14018
/proc/meminfo: memFree=29289744/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1353284 CPUtime=1421.83 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 279955 0 0 0 142050 133 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140733814946816 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 338321 279579 921 2943 0 335215 0
[pid=13763/tid=13764] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.07 3/183 14019
/proc/meminfo: memFree=29289800/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1353284 CPUtime=1481.82 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 279955 0 0 0 148047 135 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140733814946816 5707625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 338321 279579 921 2943 0 335215 0
[pid=13763/tid=13764] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1385762816 279579 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.12 2.09 2.08 3/183 14020
/proc/meminfo: memFree=29275420/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1367620 CPUtime=1541.81 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 283539 0 0 0 154044 137 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140733814946816 5722540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 341905 283163 921 2943 0 338799 0
[pid=13763/tid=13764] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1367620

[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/184 14024
/proc/meminfo: memFree=29274940/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1367620 CPUtime=1601.8 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 283539 0 0 0 160040 140 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140733814964120 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 341905 283163 921 2943 0 338799 0
[pid=13763/tid=13764] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1367620

[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 2.08 3/183 14025
/proc/meminfo: memFree=29273768/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1367620 CPUtime=1661.79 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 283539 0 0 0 166034 145 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140733814946816 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 341905 283163 921 2943 0 338799 0
[pid=13763/tid=13764] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1367620

[startup+1722.3 s]
/proc/loadavg: 2.16 2.10 2.08 3/183 14027
/proc/meminfo: memFree=29270544/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1367620 CPUtime=1721.79 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 283539 0 0 0 172029 150 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140733814946816 12477688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 341905 283163 921 2943 0 338799 0
[pid=13763/tid=13764] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1367620

[startup+1782.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 14028
/proc/meminfo: memFree=29270416/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1367620 CPUtime=1781.77 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 283539 0 0 0 178026 151 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140733814946816 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 341905 283163 921 2943 0 338799 0
[pid=13763/tid=13764] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337128393904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1367620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.12 2.09 3/183 14077
/proc/meminfo: memFree=29310048/32872528 swapFree=11196/354588
[pid=13763] ppid=13760 vsize=1367620 CPUtime=1800.08 cores=1,3,5,7
/proc/13763/stat : 13763 (toysat) R 13760 13763 12837 0 -1 4202496 283539 0 0 0 179856 152 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140733814946816 6076234 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13763/statm: 341905 283163 921 2943 0 338799 0
[pid=13763/tid=13764] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13764/stat : 13764 (toysat) S 13760 13763 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337149357296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13763/tid=13765] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13765/stat : 13765 (toysat) S 13760 13763 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337138867440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13763/tid=13766] ppid=13760 vsize=1367620 CPUtime=0 cores=1,3,5,7
/proc/13763/task/13766/stat : 13766 (toysat) S 13760 13763 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108197189 1400442880 283163 33554432000 4194304 16246674 140733814964944 140337128393904 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) 1367620

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1798.57
CPU system time (s): 1.52077
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 1367620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.52077
maximum resident set size= 1132652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283539
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= 441
involuntary context switches= 1944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6033 second user time and 6.94494 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 03:23:57
IDJOB=4080093
IDBENCH=48267
IDSOLVER=2542
FILE ID=node126/4080093-1465262637
RUNJOBID= node126-1465253620-12854
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080093-1465262637/watcher-4080093-1465262637 -o /tmp/evaluation-result-4080093-1465262637/solver-4080093-1465262637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080093-1465262637.opb

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

MD5SUM BENCH= 29cda419af6adbdf14450bbe70fbdfc2
RANDOM SEED=680153600

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30525504 kB
Buffers:           72720 kB
Cached:           142600 kB
SwapCached:         2244 kB
Active:          1159504 kB
Inactive:         130272 kB
Active(anon):    1074348 kB
Inactive(anon):     2392 kB
Active(file):      85156 kB
Inactive(file):   127880 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098560 kB
Dirty:             32960 kB
Writeback:             0 kB
AnonPages:       1428088 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             569628 kB
SReclaimable:      13280 kB
SUnreclaim:       556348 kB
KernelStack:        1456 kB
PageTables:         7236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1575504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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= 71708 MiB
End job on node126 at 2016-06-07 03:53:58