Trace number 4080092

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_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
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.02
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)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Solver Data 

0.00/0.00	c 2016-06-07T03:04:50+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-4080092-1465261490.opb"]
0.00/0.01	c use --random-gen="4046919474 3466092104 3867745888 1738081264 2392143448 468882578 1181796409 1364463050 3751048533 2549001595 1476627684 98163044 1890892908 2194232680 420371440 118513899 2464285994 2446818301 1725593334 2863261262 2467124114 443378058 4294680729 1443207872 3444339549 3200988643 567977584 3800709363 373623106 317884392 1232927594 23457799 2768009271 3262337593 2435804176 2484003647 1295808441 3772118702 1895610339 1722289644 3492485413 1500712475 200232294 2470171591 2760554518 3951470206 2439514674 2043837713 1636018046 253666582 1636120397 2101353341 927172752 1099328750 641837255 1860800621 314103546 3889001473 2663814351 585435454 997959466 4211958682 2621970389 3875511774 38708925 3208194255 3908101995 681926634 2085204909 3572106613 3182527096 4250117128 2913215218 1404089499 3526571868 4272592312 337315986 2738748838 3667145049 4145998497 3344784021 2092952630 415705231 2488373370 3020382288 1472999187 1783908402 3005516362 2250106246 4091648304 3077012966 3440393699 251850999 457302225 3939642251 3030476534 381043960 2551213349 1085390307 3397729210 1666029593 274901487 3014166112 3097762066 697807678 1164026078 4094532428 4226495121 3868917423 588111582 306148707 1781510746 573603961 500340497 376710695 303424128 854359505 649074381 2886642216 2168816600 2926095300 1452958644 3526836115 1497335265 1230199938 4025614975 53903000 3752285988 2426998091 1089111517 2251599329 804642727 1572691355 3156397943 859836254 1913991445 2893437086 3520867458 3126233907 1447793599 467080049 2312829959 3846231686 2277905674 3277344219 1812199800 1017411942 2693747903 2482143964 1895884077 2427387525 3939486087 2383728349 2803128446 3080188607 1807123324 1970756426 3800297116 2982445702 2398053025 575257042 4134966008 3803190039 1013566626 3878044492 3462916284 566717462 1229534496 2549053555 4283250861 36206108 582980998 3901094649 2083638281 4185952220 1404933249 911877611 1564425616 1005969912 2597017895 3409918515 2112977410 1365860867 112604466 2730337138 1905020992 1669980942 3187854720 581281377 3593191726 2703251100 1929451759 425168515 695574454 1939971854 2315170225 1822125900 635075981 2787674788 1500276828 1431264164 1644434352 237658420 2080299051 3396492284 3807692341 2830742642 3763684152 3369659877 1655493812 3569279438 1122064078 3078195763 1058475723 3199001115 2120942489 1316515437 3138049091 2814498891 3266023152 2909210943 1252855540 1991977887 46033648 1358757576 4185769003 3815092617 3791747908 3475688742 894837378 2283665825 1975481718 1772077429 1313853964 2702272200 1470813277 3084305699 1461829544 3629894745 2950721691 3025695865 3279266573 2279456577 423388948 3457071625 1858413356 1098430255 1456762328 3252023422 3279060986 2888462047 1798366853 1429133701 2257037521 777760154 225645539 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 301
0.08/0.10	c BCD2: Hardening is enabled.
0.08/0.10	c BCD2: BiasedSearch is enabled.
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |     2192      0 |        0 |        0
0.08/0.11	c  0.0s |       0 |      110 |        1 |     2192      0 |        0 |        0
0.08/0.11	c #cpu_time = 0.005s
0.08/0.11	c #wall_clock_time = 0.005s
0.08/0.11	c #decision = 110
0.08/0.11	c #random_decision = 0
0.08/0.11	c #conflict = 1
0.08/0.11	c #restart = 0
0.08/0.11	o -8
0.08/0.11	c BCD2: updating upper bound: 100 -> 91
0.08/0.11	c BCD2: 0 <= obj <= 91
0.08/0.11	c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.08/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     2192      0 |        0 |        0
0.08/0.11	c  0.0s |       0 |       57 |        2 |     2192      0 |        0 |        0
0.08/0.11	c #cpu_time = 0.004s
0.08/0.11	c #wall_clock_time = 0.004s
0.08/0.11	c #decision = 57
0.08/0.11	c #random_decision = 0
0.08/0.11	c #conflict = 2
0.08/0.11	c #restart = 0
0.08/0.11	c BCD2: found a new core of size 50: cost of the new core is >=1
0.08/0.11	c lower bound updated to -99
0.08/0.11	c BCD2: 1 <= obj <= 91
0.08/0.11	c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0
0.08/0.11	c BCD2: #sat=1 #unsat=2 bias=2/3
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     2192      0 |        0 |        0
0.08/0.12	c  0.0s |       0 |       51 |        1 |     2192      0 |        0 |        0
0.08/0.12	c #cpu_time = 0.004s
0.08/0.12	c #wall_clock_time = 0.004s
0.08/0.12	c #decision = 51
0.08/0.12	c #random_decision = 0
0.08/0.12	c #conflict = 1
0.08/0.12	c #restart = 0
0.08/0.12	c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2
0.08/0.12	c lower bound updated to -98
0.08/0.12	c BCD2: 2 <= obj <= 91
0.08/0.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
0.08/0.12	c BCD2: #sat=1 #unsat=3 bias=3/4
0.08/0.12	c Solving starts ...
0.08/0.12	c ============================[ Search Statistics ]============================
0.08/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.12	c =============================================================================
0.08/0.12	c  0.0s |       0 |        0 |        0 |     2192      0 |        1 |        0
0.08/0.16	c  0.0s |       1 |     2419 |      100 |     2412      0 |        1 |        1
0.19/0.24	c  0.1s |       2 |     5385 |      250 |     2654      0 |        1 |        1
0.29/0.38	c  0.3s |       3 |     9617 |      475 |     2920      0 |        1 |        1
0.48/0.59	c  0.5s |       4 |    13101 |      813 |     3213      0 |        1 |        1
0.88/0.94	c  0.8s |       5 |    14094 |     1320 |     3535      0 |        1 |        1
1.29/1.37	c  1.3s |       6 |    15038 |     2081 |     3889      0 |        1 |        1
1.89/1.94	c  1.8s |       7 |    16514 |     3223 |     4278      0 |        1 |        1
2.79/2.86	c  2.7s |       8 |    19329 |     4936 |     4706      1 |        1 |        1
4.28/4.30	c  4.2s |       9 |    22760 |     7506 |     5177      2 |        1 |        1
6.28/6.32	c  6.2s |       9 |    27666 |    10906 |     5177      3 |        1 |        1
6.48/6.57	c  6.5s |      10 |    28385 |    11361 |     5695      3 |        1 |        1
8.48/8.59	c  8.5s |      10 |    34320 |    15661 |     5695      4 |        1 |        1
9.18/9.26	c  9.1s |      11 |    35950 |    17144 |     6265      5 |        1 |        1
11.18/11.27	c 11.1s |      11 |    46629 |    20844 |     6265      6 |        1 |        1
13.19/13.29	c 13.2s |      11 |    59365 |    25144 |     6265      7 |        1 |        1
13.58/13.62	c 13.5s |      12 |    61241 |    25819 |     6892      7 |        1 |        1
15.58/15.64	c 15.5s |      12 |    82381 |    29919 |     6892      8 |        1 |        1
17.59/17.65	c 17.5s |      12 |    92219 |    33919 |     6892     10 |        1 |        1
19.68/19.70	c 19.6s |      12 |   100311 |    37719 |     6892     11 |        1 |        1
20.08/20.17	c 20.1s |      13 |   102643 |    38832 |     7582     11 |        1 |        1
22.19/22.21	c 22.1s |      13 |   118976 |    42732 |     7582     12 |        1 |        1
24.19/24.25	c 24.1s |      13 |   135687 |    46932 |     7582     13 |        1 |        1
26.18/26.28	c 26.2s |      13 |   153203 |    50632 |     7582     14 |        1 |        1
28.28/28.33	c 28.2s |      13 |   164671 |    54332 |     7582     15 |        1 |        1
30.28/30.38	c 30.3s |      13 |   174854 |    58332 |     8341     16 |        1 |        1
30.28/30.39	c 30.3s |      14 |   174873 |    58352 |     8341     16 |        1 |        1
32.38/32.44	c 32.3s |      14 |   192037 |    62152 |     8341     17 |        1 |        1
34.38/34.49	c 34.4s |      14 |   199292 |    65752 |     8341     17 |        1 |        1
36.48/36.51	c 36.4s |      14 |   203704 |    69852 |     8341     18 |        1 |        1
38.48/38.51	c 38.4s |      14 |   213139 |    73552 |     8341     19 |        1 |        1
40.48/40.52	c 40.4s |      14 |   222484 |    77052 |     8341     20 |        1 |        1
42.48/42.52	c 42.4s |      14 |   230075 |    80752 |     8341     21 |        1 |        1
44.47/44.56	c 44.4s |      14 |   244610 |    84452 |     8341     22 |        1 |        1
46.47/46.57	c 46.4s |      15 |   252106 |    87632 |     9176     22 |        1 |        1
48.48/48.59	c 48.5s |      15 |   261259 |    90832 |     9176     23 |        1 |        1
50.47/50.60	c 50.5s |      15 |   266061 |    93932 |     9176     24 |        1 |        1
52.57/52.61	c 52.5s |      15 |   275059 |    97132 |     9176     24 |        1 |        1
54.56/54.67	c 54.6s |      15 |   289253 |   100232 |     9176     25 |        1 |        1
56.66/56.76	c 56.6s |      15 |   294454 |   103532 |     9176     26 |        1 |        1
58.76/58.82	c 58.7s |      15 |   305470 |   107332 |     9176     27 |        1 |        1
60.76/60.85	c 60.7s |      15 |   316646 |   110432 |     9176     27 |        1 |        1
62.77/62.88	c 62.8s |      15 |   324220 |   113932 |     9176     28 |        1 |        1
64.86/64.93	c 64.8s |      15 |   334580 |   117632 |     9176     29 |        1 |        1
66.87/66.95	c 66.8s |      15 |   341842 |   121032 |     9176     29 |        1 |        1
68.97/69.01	c 68.9s |      15 |   348211 |   124532 |     9176     30 |        1 |        1
70.97/71.02	c 70.9s |      15 |   354662 |   128232 |     9176     31 |        1 |        1
72.96/73.02	c 72.9s |      15 |   359313 |   131432 |    10094     31 |        1 |        1
72.96/73.08	c 73.0s |      16 |   359482 |   131552 |    10094     31 |        1 |        1
74.96/75.09	c 75.0s |      16 |   365125 |   134352 |    10094     32 |        1 |        1
77.07/77.14	c 77.0s |      16 |   369654 |   137552 |    10094     33 |        1 |        1
79.06/79.17	c 79.0s |      16 |   374948 |   140852 |    10094     33 |        1 |        1
81.16/81.21	c 81.1s |      16 |   378349 |   143852 |    10094     34 |        1 |        1
83.16/83.22	c 83.1s |      16 |   381712 |   146752 |    10094     34 |        1 |        1
85.16/85.24	c 85.1s |      16 |   387499 |   149452 |    10094     35 |        1 |        1
87.16/87.27	c 87.1s |      16 |   390544 |   152252 |    10094     35 |        1 |        1
89.46/89.53	c 89.4s |      16 |   394076 |   155152 |    10094     36 |        1 |        1
91.46/91.53	c 91.4s |      16 |   401055 |   158252 |    10094     37 |        1 |        1
93.46/93.55	c 93.4s |      16 |   410251 |   161552 |    10094     37 |        1 |        1
95.45/95.60	c 95.5s |      16 |   421886 |   164952 |    10094     38 |        1 |        1
97.55/97.62	c 97.5s |      16 |   431809 |   168252 |    10094     39 |        1 |        1
99.55/99.65	c 99.5s |      16 |   438514 |   171552 |    10094     39 |        1 |        1
101.55/101.68	c  101s |      16 |   444990 |   174852 |    10094     40 |        1 |        1
103.55/103.69	c  103s |      16 |   451271 |   178052 |    10094     41 |        1 |        1
105.55/105.70	c  105s |      16 |   461237 |   181152 |    10094     41 |        1 |        1
107.64/107.70	c  107s |      16 |   467668 |   184352 |    10094     42 |        1 |        1
109.64/109.73	c  109s |      16 |   476509 |   188052 |    10094     42 |        1 |        1
111.64/111.77	c  111s |      16 |   483199 |   191352 |    10094     43 |        1 |        1
113.64/113.79	c  113s |      16 |   488388 |   194452 |    10094     44 |        1 |        1
115.74/115.84	c  115s |      17 |   496725 |   197432 |    11104     44 |        1 |        1
117.84/117.99	c  117s |      17 |   502085 |   200332 |    11104     45 |        1 |        1
119.94/120.05	c  119s |      17 |   511114 |   203332 |    11104     45 |        1 |        1
121.93/122.06	c  121s |      17 |   517183 |   206132 |    11104     46 |        1 |        1
123.93/124.06	c  123s |      17 |   522829 |   209132 |    11104     46 |        1 |        1
126.34/126.43	c  126s |      17 |   527107 |   211932 |    11104     47 |        1 |        1
128.34/128.46	c  128s |      17 |   537319 |   215432 |    11104     47 |        1 |        1
130.44/130.52	c  130s |      17 |   542217 |   218632 |    11104     48 |        1 |        1
132.44/132.53	c  132s |      17 |   545845 |   221432 |    11104     48 |        1 |        1
134.43/134.57	c  134s |      17 |   550417 |   223932 |    11104     49 |        1 |        1
136.44/136.58	c  136s |      17 |   554415 |   226332 |    11104     49 |        1 |        1
138.54/138.60	c  138s |      17 |   561269 |   229632 |    11104     50 |        1 |        1
140.53/140.62	c  140s |      17 |   566334 |   232332 |    11104     50 |        1 |        1
142.53/142.64	c  142s |      17 |   570887 |   235332 |    11104     51 |        1 |        1
144.52/144.66	c  144s |      17 |   578311 |   238632 |    11104     51 |        1 |        1
146.62/146.70	c  146s |      17 |   585347 |   241832 |    11104     52 |        1 |        1
148.62/148.70	c  148s |      17 |   589370 |   244632 |    11104     52 |        1 |        1
150.63/150.74	c  150s |      17 |   595112 |   247832 |    11104     53 |        1 |        1
152.62/152.76	c  152s |      17 |   599883 |   250832 |    11104     54 |        1 |        1
154.72/154.80	c  154s |      17 |   605735 |   254132 |    11104     54 |        1 |        1
156.72/156.83	c  156s |      17 |   610763 |   257732 |    11104     55 |        1 |        1
158.72/158.85	c  158s |      17 |   615325 |   261232 |    11104     55 |        1 |        1
160.72/160.89	c  160s |      17 |   620080 |   264332 |    11104     56 |        1 |        1
162.82/162.92	c  162s |      17 |   625836 |   267832 |    11104     57 |        1 |        1
164.92/165.03	c  164s |      17 |   631048 |   271432 |    11104     57 |        1 |        1
166.91/167.04	c  166s |      17 |   638984 |   274732 |    11104     58 |        1 |        1
168.91/169.08	c  168s |      17 |   644403 |   278132 |    11104     58 |        1 |        1
171.02/171.10	c  170s |      17 |   651045 |   280832 |    11104     59 |        1 |        1
173.02/173.15	c  173s |      17 |   658562 |   284032 |    11104     59 |        1 |        1
175.02/175.18	c  175s |      17 |   663899 |   287032 |    11104     60 |        1 |        1
177.12/177.21	c  177s |      17 |   668534 |   290132 |    11104     61 |        1 |        1
179.12/179.23	c  179s |      17 |   672412 |   292832 |    11104     61 |        1 |        1
181.12/181.28	c  181s |      17 |   676580 |   295832 |    12215     61 |        1 |        1
181.42/181.52	c  181s |      18 |   677354 |   296252 |    12215     61 |        1 |        1
183.41/183.52	c  183s |      18 |   685195 |   298952 |    12215     62 |        1 |        1
185.41/185.58	c  185s |      18 |   691429 |   301952 |    12215     62 |        1 |        1
187.41/187.59	c  187s |      18 |   703616 |   304552 |    12215     63 |        1 |        1
189.51/189.64	c  189s |      18 |   712827 |   307652 |    12215     63 |        1 |        1
191.61/191.71	c  191s |      18 |   727159 |   310552 |    12215     64 |        1 |        1
193.61/193.77	c  193s |      18 |   732377 |   313552 |    12215     64 |        1 |        1
196.11/196.25	c  196s |      18 |   739314 |   316352 |    12215     65 |        1 |        1
198.11/198.26	c  198s |      18 |   748805 |   319852 |    12215     65 |        1 |        1
200.21/200.31	c  200s |      18 |   754688 |   322852 |    12215     66 |        1 |        1
202.20/202.34	c  202s |      18 |   761369 |   325652 |    12215     66 |        1 |        1
204.30/204.48	c  204s |      18 |   767984 |   327952 |    12215     67 |        1 |        1
206.30/206.49	c  206s |      18 |   773786 |   330852 |    12215     67 |        1 |        1
208.50/208.61	c  208s |      18 |   779010 |   333852 |    12215     68 |        1 |        1
210.50/210.63	c  210s |      18 |   789804 |   337352 |    12215     68 |        1 |        1
212.50/212.64	c  212s |      18 |   794917 |   340452 |    12215     69 |        1 |        1
214.50/214.66	c  214s |      18 |   799054 |   343652 |    12215     69 |        1 |        1
216.60/216.71	c  216s |      18 |   803812 |   346552 |    12215     70 |        1 |        1
218.59/218.72	c  218s |      18 |   809314 |   349752 |    12215     70 |        1 |        1
220.59/220.77	c  220s |      18 |   816670 |   352452 |    12215     71 |        1 |        1
222.69/222.81	c  222s |      18 |   822017 |   355552 |    12215     71 |        1 |        1
224.68/224.81	c  224s |      18 |   826835 |   358352 |    12215     71 |        1 |        1
226.69/226.81	c  226s |      18 |   836012 |   361052 |    12215     72 |        1 |        1
228.70/228.83	c  228s |      18 |   842287 |   363652 |    12215     72 |        1 |        1
230.69/230.87	c  230s |      18 |   848236 |   366252 |    12215     73 |        1 |        1
232.79/232.92	c  232s |      18 |   853152 |   368652 |    12215     73 |        1 |        1
234.79/234.93	c  234s |      18 |   858812 |   371352 |    12215     74 |        1 |        1
236.79/236.95	c  236s |      18 |   863684 |   374452 |    12215     74 |        1 |        1
238.78/238.99	c  238s |      18 |   870801 |   377352 |    12215     75 |        1 |        1
240.89/241.03	c  240s |      18 |   874587 |   380152 |    12215     75 |        1 |        1
242.88/243.06	c  242s |      18 |   878580 |   382752 |    12215     75 |        1 |        1
244.88/245.09	c  244s |      18 |   884315 |   385852 |    12215     76 |        1 |        1
246.98/247.10	c  246s |      18 |   889002 |   388952 |    12215     76 |        1 |        1
248.98/249.13	c  249s |      18 |   893377 |   392152 |    12215     77 |        1 |        1
250.98/251.19	c  251s |      18 |   898394 |   395352 |    12215     77 |        1 |        1
253.08/253.20	c  253s |      18 |   902748 |   398452 |    12215     78 |        1 |        1
255.08/255.21	c  255s |      18 |   910360 |   400952 |    12215     78 |        1 |        1
257.07/257.25	c  257s |      18 |   916657 |   403952 |    12215     79 |        1 |        1
259.07/259.25	c  259s |      18 |   923972 |   406952 |    12215     79 |        1 |        1
261.07/261.27	c  261s |      18 |   927558 |   409752 |    12215     80 |        1 |        1
263.17/263.32	c  263s |      18 |   933132 |   412952 |    12215     80 |        1 |        1
265.17/265.34	c  265s |      18 |   936693 |   415652 |    12215     81 |        1 |        1
267.17/267.36	c  267s |      18 |   943699 |   418352 |    12215     81 |        1 |        1
269.27/269.41	c  269s |      18 |   949939 |   421252 |    12215     82 |        1 |        1
271.27/271.47	c  271s |      18 |   953799 |   424252 |    12215     82 |        1 |        1
273.27/273.47	c  273s |      18 |   962788 |   427252 |    12215     83 |        1 |        1
275.36/275.52	c  275s |      18 |   967298 |   430252 |    12215     83 |        1 |        1
277.36/277.57	c  277s |      18 |   970579 |   432952 |    12215     84 |        1 |        1
279.46/279.61	c  279s |      18 |   978192 |   436452 |    12215     84 |        1 |        1
281.47/281.64	c  281s |      18 |   983598 |   439452 |    12215     85 |        1 |        1
283.45/283.66	c  283s |      18 |   988106 |   442652 |    13437     85 |        1 |        1
284.76/284.91	c  284s |      19 |   995800 |   444482 |    13437     85 |        1 |        1
286.75/286.98	c  286s |      19 |  1001973 |   446782 |    13437     86 |        1 |        1
288.76/288.98	c  288s |      19 |  1012176 |   449482 |    13437     86 |        1 |        1
290.86/291.03	c  290s |      19 |  1044869 |   452282 |    13437     86 |        1 |        1
292.86/293.09	c  292s |      19 |  1055158 |   454982 |    13437     87 |        1 |        1
294.96/295.11	c  294s |      19 |  1064826 |   457882 |    13437     87 |        1 |        1
296.96/297.15	c  297s |      19 |  1075082 |   460182 |    13437     88 |        1 |        1
299.06/299.22	c  299s |      19 |  1084077 |   462382 |    13437     88 |        1 |        1
301.05/301.26	c  301s |      19 |  1093516 |   465082 |    13437     88 |        1 |        1
303.05/303.27	c  303s |      19 |  1097964 |   467382 |    13437     89 |        1 |        1
305.15/305.32	c  305s |      19 |  1102947 |   469582 |    13437     89 |        1 |        1
307.15/307.37	c  307s |      19 |  1110234 |   472282 |    13437     89 |        1 |        1
309.15/309.38	c  309s |      19 |  1118170 |   474982 |    13437     90 |        1 |        1
311.26/311.44	c  311s |      19 |  1129269 |   477782 |    13437     90 |        1 |        1
313.25/313.47	c  313s |      19 |  1141812 |   480682 |    13437     91 |        1 |        1
315.25/315.47	c  315s |      19 |  1148793 |   483582 |    13437     91 |        1 |        1
317.34/317.52	c  317s |      19 |  1153439 |   486082 |    13437     91 |        1 |        1
319.34/319.58	c  319s |      19 |  1157613 |   488482 |    13437     92 |        1 |        1
321.44/321.62	c  321s |      19 |  1161335 |   491182 |    13437     92 |        1 |        1
323.44/323.66	c  323s |      19 |  1166748 |   493082 |    13437     92 |        1 |        1
325.54/325.72	c  325s |      19 |  1176345 |   495482 |    13437     93 |        1 |        1
327.64/327.81	c  327s |      19 |  1181110 |   497182 |    13437     93 |        1 |        1
329.63/329.84	c  329s |      19 |  1204209 |   500282 |    13437     93 |        1 |        1
331.63/331.86	c  331s |      19 |  1221302 |   502882 |    13437     94 |        1 |        1
333.73/333.92	c  333s |      19 |  1236328 |   505682 |    13437     94 |        1 |        1
335.73/335.96	c  335s |      19 |  1263762 |   508682 |    13437     95 |        1 |        1
337.83/338.03	c  337s |      19 |  1283651 |   511482 |    13437     95 |        1 |        1
339.83/340.05	c  339s |      19 |  1299466 |   513882 |    13437     95 |        1 |        1
341.93/342.14	c  342s |      19 |  1306423 |   516382 |    13437     96 |        1 |        1
343.93/344.18	c  344s |      19 |  1312498 |   518582 |    13437     96 |        1 |        1
346.03/346.20	c  346s |      19 |  1321713 |   521382 |    13437     96 |        1 |        1
348.03/348.25	c  348s |      19 |  1327260 |   524282 |    13437     97 |        1 |        1
350.13/350.32	c  350s |      19 |  1330448 |   526482 |    13437     97 |        1 |        1
352.13/352.38	c  352s |      19 |  1333182 |   528482 |    13437     98 |        1 |        1
354.22/354.43	c  354s |      19 |  1334808 |   529682 |    13437     98 |        1 |        1
356.22/356.48	c  356s |      19 |  1341619 |   532282 |    13437     98 |        1 |        1
358.32/358.52	c  358s |      19 |  1345698 |   534482 |    13437     98 |        1 |        1
360.32/360.57	c  360s |      19 |  1352701 |   536682 |    13437     99 |        1 |        1
362.32/362.58	c  362s |      19 |  1358926 |   539082 |    13437     99 |        1 |        1
364.41/364.60	c  364s |      19 |  1363859 |   541382 |    13437     99 |        1 |        1
366.41/366.63	c  366s |      19 |  1368958 |   543682 |    13437    100 |        1 |        1
368.51/368.77	c  368s |      19 |  1372211 |   545282 |    13437    100 |        1 |        1
370.62/370.81	c  370s |      19 |  1381742 |   547982 |    13437    100 |        1 |        1
372.61/372.87	c  372s |      19 |  1387889 |   550482 |    13437    101 |        1 |        1
374.61/374.89	c  374s |      19 |  1398835 |   553082 |    13437    101 |        1 |        1
376.71/376.90	c  376s |      19 |  1406240 |   555482 |    13437    102 |        1 |        1
378.71/378.95	c  378s |      19 |  1417690 |   558382 |    13437    102 |        1 |        1
380.71/380.95	c  380s |      19 |  1422115 |   560682 |    13437    102 |        1 |        1
382.81/383.03	c  382s |      19 |  1434788 |   563082 |    13437    103 |        1 |        1
384.81/385.04	c  384s |      19 |  1438125 |   565482 |    13437    103 |        1 |        1
386.80/387.08	c  386s |      19 |  1445928 |   567382 |    13437    103 |        1 |        1
388.90/389.14	c  389s |      19 |  1449831 |   569782 |    13437    104 |        1 |        1
390.90/391.16	c  391s |      19 |  1459091 |   572382 |    13437    104 |        1 |        1
393.00/393.23	c  393s |      19 |  1464363 |   574682 |    13437    104 |        1 |        1
394.99/395.29	c  395s |      19 |  1468870 |   576882 |    13437    105 |        1 |        1
397.09/397.35	c  397s |      19 |  1474785 |   579482 |    13437    105 |        1 |        1
399.10/399.37	c  399s |      19 |  1483828 |   581882 |    13437    105 |        1 |        1
401.19/401.42	c  401s |      19 |  1490443 |   584182 |    13437    106 |        1 |        1
403.19/403.45	c  403s |      19 |  1504591 |   586782 |    13437    106 |        1 |        1
405.19/405.46	c  405s |      19 |  1519086 |   589282 |    13437    106 |        1 |        1
407.20/407.47	c  407s |      19 |  1525508 |   591582 |    13437    107 |        1 |        1
409.29/409.57	c  409s |      19 |  1530743 |   594082 |    13437    107 |        1 |        1
411.39/411.67	c  411s |      19 |  1534278 |   596282 |    13437    108 |        1 |        1
413.40/413.69	c  413s |      19 |  1539821 |   598882 |    13437    108 |        1 |        1
415.49/415.78	c  415s |      19 |  1542132 |   600982 |    13437    108 |        1 |        1
417.59/417.89	c  417s |      19 |  1544423 |   603182 |    13437    109 |        1 |        1
419.69/419.94	c  419s |      19 |  1547961 |   605582 |    13437    109 |        1 |        1
421.69/421.96	c  421s |      19 |  1557737 |   607982 |    13437    109 |        1 |        1
423.68/423.97	c  423s |      19 |  1561429 |   609982 |    13437    110 |        1 |        1
425.78/426.03	c  425s |      19 |  1564854 |   612182 |    13437    110 |        1 |        1
427.88/428.10	c  427s |      19 |  1567554 |   614382 |    13437    110 |        1 |        1
429.89/430.12	c  430s |      19 |  1570438 |   616382 |    13437    110 |        1 |        1
431.88/432.14	c  432s |      19 |  1573152 |   618482 |    13437    111 |        1 |        1
433.88/434.18	c  434s |      19 |  1574871 |   620082 |    13437    111 |        1 |        1
435.98/436.21	c  436s |      19 |  1578146 |   622182 |    13437    111 |        1 |        1
437.98/438.29	c  438s |      19 |  1581448 |   624282 |    13437    112 |        1 |        1
440.28/440.51	c  440s |      19 |  1584765 |   625782 |    13437    112 |        1 |        1
442.27/442.53	c  442s |      19 |  1599201 |   628782 |    13437    112 |        1 |        1
444.28/444.57	c  444s |      19 |  1605411 |   631182 |    13437    113 |        1 |        1
446.67/446.93	c  446s |      19 |  1610037 |   633682 |    13437    113 |        1 |        1
448.67/448.95	c  448s |      19 |  1614594 |   636382 |    13437    113 |        1 |        1
450.66/450.96	c  450s |      19 |  1621801 |   638982 |    13437    114 |        1 |        1
452.76/453.02	c  452s |      19 |  1634262 |   642182 |    13437    114 |        1 |        1
454.76/455.03	c  454s |      19 |  1642891 |   644982 |    13437    115 |        1 |        1
456.76/457.08	c  456s |      19 |  1652568 |   647882 |    13437    115 |        1 |        1
458.76/459.09	c  458s |      19 |  1660468 |   650282 |    13437    115 |        1 |        1
460.86/461.15	c  461s |      19 |  1665533 |   652582 |    13437    116 |        1 |        1
462.96/463.27	c  463s |      19 |  1668747 |   654882 |    13437    116 |        1 |        1
465.16/465.41	c  465s |      19 |  1678181 |   657682 |    13437    117 |        1 |        1
467.15/467.43	c  467s |      19 |  1684063 |   660182 |    13437    117 |        1 |        1
469.25/469.50	c  469s |      19 |  1693222 |   662882 |    14781    117 |        1 |        1
471.25/471.50	c  471s |      19 |  1696244 |   665182 |    14781    117 |        1 |        1
472.86/473.12	c  473s |      20 |  1699738 |   666827 |    14781    118 |        1 |        1
474.85/475.17	c  475s |      20 |  1706484 |   668627 |    14781    118 |        1 |        1
476.85/477.17	c  477s |      20 |  1716014 |   671427 |    14781    118 |        1 |        1
478.95/479.23	c  479s |      20 |  1727016 |   674027 |    14781    119 |        1 |        1
480.95/481.24	c  481s |      20 |  1739780 |   676827 |    14781    119 |        1 |        1
482.95/483.27	c  483s |      20 |  1759007 |   679527 |    14781    119 |        1 |        1
485.05/485.31	c  485s |      20 |  1774748 |   682227 |    14781    120 |        1 |        1
487.25/487.51	c  487s |      20 |  1798509 |   685027 |    14781    120 |        1 |        1
489.25/489.53	c  489s |      20 |  1812464 |   687927 |    14781    120 |        1 |        1
491.25/491.55	c  491s |      20 |  1832811 |   690427 |    14781    121 |        1 |        1
493.25/493.57	c  493s |      20 |  1855406 |   693327 |    14781    121 |        1 |        1
495.34/495.63	c  495s |      20 |  1870690 |   696027 |    14781    122 |        1 |        1
497.34/497.67	c  497s |      20 |  1878256 |   698727 |    14781    122 |        1 |        1
499.44/499.70	c  499s |      20 |  1886938 |   701427 |    14781    122 |        1 |        1
501.45/501.71	c  501s |      20 |  1893033 |   703427 |    14781    123 |        1 |        1
503.44/503.73	c  503s |      20 |  1899012 |   705427 |    14781    123 |        1 |        1
505.43/505.73	c  505s |      20 |  1905519 |   707027 |    14781    123 |        1 |        1
507.53/507.83	c  507s |      20 |  1916334 |   709527 |    14781    123 |        1 |        1
509.53/509.84	c  509s |      20 |  1928762 |   711827 |    14781    124 |        1 |        1
511.53/511.86	c  511s |      20 |  1938119 |   714527 |    14781    124 |        1 |        1
513.63/513.93	c  513s |      20 |  1944760 |   716827 |    14781    124 |        1 |        1
515.64/515.95	c  515s |      20 |  1950209 |   719027 |    14781    125 |        1 |        1
518.64/518.95	c  518s |      20 |  1953145 |   720727 |    14781    125 |        1 |        1
520.64/520.98	c  520s |      20 |  1957963 |   723827 |    14781    125 |        1 |        1
522.64/522.99	c  522s |      20 |  1961808 |   726227 |    14781    126 |        1 |        1
524.73/525.03	c  524s |      20 |  1966019 |   729227 |    14781    126 |        1 |        1
526.74/527.08	c  526s |      20 |  1970885 |   732127 |    14781    126 |        1 |        1
528.84/529.11	c  528s |      20 |  1977118 |   734827 |    14781    127 |        1 |        1
530.83/531.14	c  531s |      20 |  1981287 |   737727 |    14781    127 |        1 |        1
532.83/533.19	c  533s |      20 |  1984447 |   740127 |    14781    127 |        1 |        1
534.92/535.23	c  535s |      20 |  1988345 |   741827 |    14781    128 |        1 |        1
536.92/537.25	c  537s |      20 |  1992918 |   744427 |    14781    128 |        1 |        1
538.92/539.28	c  539s |      20 |  1997684 |   746927 |    14781    128 |        1 |        1
541.03/541.31	c  541s |      20 |  2001320 |   749327 |    14781    129 |        1 |        1
543.02/543.34	c  543s |      20 |  2004371 |   751927 |    14781    129 |        1 |        1
545.12/545.43	c  545s |      20 |  2007356 |   754227 |    14781    129 |        1 |        1
547.11/547.48	c  547s |      20 |  2010831 |   756427 |    14781    130 |        1 |        1
549.21/549.53	c  549s |      20 |  2013885 |   758827 |    14781    130 |        1 |        1
551.21/551.58	c  551s |      20 |  2017394 |   761427 |    14781    130 |        1 |        1
553.31/553.64	c  553s |      20 |  2020364 |   763627 |    14781    131 |        1 |        1
555.31/555.66	c  555s |      20 |  2023427 |   766327 |    14781    131 |        1 |        1
557.41/557.71	c  557s |      20 |  2026846 |   769027 |    14781    131 |        1 |        1
559.61/559.94	c  559s |      20 |  2029212 |   771027 |    14781    132 |        1 |        1
561.61/561.97	c  561s |      20 |  2033635 |   773727 |    14781    132 |        1 |        1
563.60/563.99	c  563s |      20 |  2036884 |   776427 |    14781    132 |        1 |        1
565.70/566.05	c  565s |      20 |  2039457 |   778627 |    14781    133 |        1 |        1
567.80/568.11	c  567s |      20 |  2042977 |   781227 |    14781    133 |        1 |        1
569.80/570.18	c  570s |      20 |  2046471 |   784227 |    14781    133 |        1 |        1
571.90/572.28	c  572s |      20 |  2049710 |   786727 |    14781    134 |        1 |        1
574.00/574.35	c  574s |      20 |  2053860 |   789627 |    14781    134 |        1 |        1
575.99/576.40	c  576s |      20 |  2057270 |   792227 |    14781    134 |        1 |        1
578.19/578.58	c  578s |      20 |  2060192 |   794627 |    14781    135 |        1 |        1
580.29/580.64	c  580s |      20 |  2063612 |   797227 |    14781    135 |        1 |        1
582.39/582.72	c  582s |      20 |  2066405 |   799627 |    14781    135 |        1 |        1
584.59/584.96	c  584s |      20 |  2068978 |   801627 |    14781    136 |        1 |        1
586.59/586.98	c  586s |      20 |  2072692 |   804527 |    14781    136 |        1 |        1
588.59/588.98	c  588s |      20 |  2076376 |   807327 |    14781    136 |        1 |        1
590.69/591.00	c  590s |      20 |  2079438 |   809727 |    14781    137 |        1 |        1
592.69/593.05	c  592s |      20 |  2083020 |   812727 |    14781    137 |        1 |        1
594.68/595.10	c  594s |      20 |  2086465 |   815427 |    14781    137 |        1 |        1
596.78/597.11	c  596s |      20 |  2089374 |   817927 |    14781    138 |        1 |        1
598.78/599.18	c  599s |      20 |  2092983 |   820627 |    14781    138 |        1 |        1
601.08/601.41	c  601s |      20 |  2096620 |   823227 |    14781    139 |        1 |        1
603.09/603.42	c  603s |      20 |  2100534 |   825827 |    14781    139 |        1 |        1
605.08/605.47	c  605s |      20 |  2103472 |   828227 |    14781    139 |        1 |        1
607.38/607.73	c  607s |      20 |  2106722 |   830727 |    14781    140 |        1 |        1
609.48/609.80	c  609s |      20 |  2110403 |   833627 |    14781    140 |        1 |        1
611.48/611.81	c  611s |      20 |  2113492 |   836127 |    14781    140 |        1 |        1
613.58/613.98	c  613s |      20 |  2116255 |   838227 |    14781    141 |        1 |        1
615.58/615.98	c  615s |      20 |  2119331 |   840627 |    14781    141 |        1 |        1
617.68/618.01	c  617s |      20 |  2122503 |   843227 |    14781    141 |        1 |        1
619.68/620.05	c  619s |      20 |  2125423 |   845627 |    14781    141 |        1 |        1
621.78/622.12	c  622s |      20 |  2129235 |   848127 |    14781    142 |        1 |        1
623.77/624.18	c  624s |      20 |  2132698 |   851027 |    14781    142 |        1 |        1
625.87/626.28	c  626s |      20 |  2135550 |   853327 |    14781    143 |        1 |        1
627.97/628.30	c  628s |      20 |  2138715 |   855927 |    14781    143 |        1 |        1
629.98/630.34	c  630s |      20 |  2142878 |   859027 |    14781    143 |        1 |        1
632.07/632.45	c  632s |      20 |  2149381 |   861627 |    14781    144 |        1 |        1
634.16/634.50	c  634s |      20 |  2152097 |   864027 |    14781    144 |        1 |        1
636.16/636.53	c  636s |      20 |  2155212 |   866527 |    14781    144 |        1 |        1
638.16/638.58	c  638s |      20 |  2158351 |   869027 |    14781    145 |        1 |        1
640.26/640.63	c  640s |      20 |  2161782 |   871827 |    14781    145 |        1 |        1
642.36/642.70	c  642s |      20 |  2165348 |   874627 |    14781    145 |        1 |        1
644.36/644.74	c  644s |      20 |  2168607 |   877127 |    14781    146 |        1 |        1
646.36/646.78	c  646s |      20 |  2172417 |   879927 |    14781    146 |        1 |        1
648.46/648.81	c  648s |      20 |  2175525 |   882427 |    14781    146 |        1 |        1
650.46/650.83	c  650s |      20 |  2177968 |   884427 |    14781    147 |        1 |        1
652.45/652.84	c  652s |      20 |  2181509 |   887127 |    14781    147 |        1 |        1
654.45/654.85	c  654s |      20 |  2184642 |   889327 |    14781    147 |        1 |        1
656.55/656.92	c  656s |      20 |  2187164 |   891427 |    14781    148 |        1 |        1
658.56/658.95	c  658s |      20 |  2190006 |   893627 |    14781    148 |        1 |        1
660.55/660.96	c  660s |      20 |  2193044 |   896127 |    14781    148 |        1 |        1
662.55/662.98	c  662s |      20 |  2196078 |   898627 |    14781    149 |        1 |        1
664.65/665.06	c  664s |      20 |  2199614 |   901327 |    14781    149 |        1 |        1
666.75/667.13	c  667s |      20 |  2203207 |   903927 |    14781    149 |        1 |        1
668.75/669.17	c  669s |      20 |  2206776 |   906527 |    14781    150 |        1 |        1
670.85/671.24	c  671s |      20 |  2211046 |   909527 |    14781    150 |        1 |        1
672.86/673.28	c  673s |      20 |  2214689 |   912427 |    14781    150 |        1 |        1
674.95/675.33	c  675s |      20 |  2218656 |   914927 |    14781    151 |        1 |        1
676.95/677.34	c  677s |      20 |  2221990 |   917527 |    14781    151 |        1 |        1
679.04/679.41	c  679s |      20 |  2225402 |   920027 |    14781    151 |        1 |        1
681.04/681.44	c  681s |      20 |  2228188 |   922327 |    14781    152 |        1 |        1
683.14/683.50	c  683s |      20 |  2231310 |   924727 |    14781    152 |        1 |        1
685.14/685.56	c  685s |      20 |  2234386 |   927127 |    14781    152 |        1 |        1
687.25/687.68	c  687s |      20 |  2236901 |   929027 |    14781    153 |        1 |        1
689.35/689.71	c  689s |      20 |  2240319 |   931827 |    14781    153 |        1 |        1
691.34/691.74	c  691s |      20 |  2243819 |   934427 |    14781    153 |        1 |        1
693.34/693.75	c  693s |      20 |  2247019 |   936727 |    14781    154 |        1 |        1
695.44/695.81	c  695s |      20 |  2250264 |   939327 |    14781    154 |        1 |        1
697.44/697.88	c  697s |      20 |  2253944 |   941927 |    14781    154 |        1 |        1
699.54/699.92	c  699s |      20 |  2257409 |   944427 |    14781    155 |        1 |        1
701.55/701.96	c  701s |      20 |  2260768 |   947127 |    14781    155 |        1 |        1
703.54/703.98	c  703s |      20 |  2263555 |   949427 |    14781    155 |        1 |        1
705.64/706.07	c  705s |      20 |  2266545 |   951727 |    14781    156 |        1 |        1
707.74/708.10	c  707s |      20 |  2269169 |   953927 |    14781    156 |        1 |        1
709.75/710.17	c  710s |      20 |  2272563 |   956527 |    14781    156 |        1 |        1
711.75/712.19	c  712s |      20 |  2275325 |   958727 |    14781    157 |        1 |        1
713.85/714.20	c  714s |      20 |  2278701 |   961327 |    14781    157 |        1 |        1
715.75/716.20	c  716s |      20 |  2282072 |   963827 |    14781    157 |        1 |        1
717.85/718.28	c  718s |      20 |  2284313 |   965627 |    14781    157 |        1 |        1
719.95/720.35	c  720s |      20 |  2287712 |   967727 |    14781    158 |        1 |        1
721.95/722.39	c  722s |      20 |  2292476 |   970527 |    14781    158 |        1 |        1
724.04/724.47	c  724s |      20 |  2295747 |   973027 |    14781    158 |        1 |        1
726.04/726.49	c  726s |      20 |  2299327 |   975627 |    14781    159 |        1 |        1
728.14/728.53	c  728s |      20 |  2303176 |   978527 |    14781    159 |        1 |        1
730.24/730.64	c  730s |      20 |  2306189 |   980827 |    14781    160 |        1 |        1
732.25/732.69	c  732s |      20 |  2310470 |   983627 |    14781    160 |        1 |        1
734.34/734.73	c  734s |      20 |  2314305 |   986327 |    14781    160 |        1 |        1
736.34/736.73	c  736s |      20 |  2317318 |   988627 |    14781    161 |        1 |        1
738.34/738.78	c  738s |      20 |  2321020 |   991427 |    14781    161 |        1 |        1
740.44/740.86	c  740s |      20 |  2324454 |   994127 |    16260    161 |        1 |        1
742.54/742.92	c  742s |      20 |  2327446 |   996427 |    16260    161 |        1 |        1
744.54/744.98	c  744s |      20 |  2330075 |   998527 |    16260    162 |        1 |        1
746.04/746.50	c  746s |      21 |  2332769 |  1000345 |    16260    162 |        1 |        1
748.14/748.56	c  748s |      21 |  2344902 |  1003045 |    16260    162 |        1 |        1
750.44/750.81	c  750s |      21 |  2358867 |  1005445 |    16260    163 |        1 |        1
752.44/752.81	c  752s |      21 |  2367404 |  1007645 |    16260    163 |        1 |        1
754.44/754.87	c  754s |      21 |  2373002 |  1009945 |    16260    163 |        1 |        1
756.55/756.91	c  756s |      21 |  2381968 |  1012245 |    16260    163 |        1 |        1
758.54/758.92	c  758s |      21 |  2389436 |  1014245 |    16260    164 |        1 |        1
760.64/761.00	c  760s |      21 |  2396502 |  1016845 |    16260    164 |        1 |        1
762.64/763.02	c  762s |      21 |  2400068 |  1018945 |    16260    164 |        1 |        1
764.64/765.04	c  764s |      21 |  2411338 |  1021445 |    16260    164 |        1 |        1
766.74/767.10	c  766s |      21 |  2418272 |  1023545 |    16260    165 |        1 |        1
768.74/769.15	c  769s |      21 |  2423709 |  1026245 |    16260    165 |        1 |        1
770.84/771.22	c  771s |      21 |  2427840 |  1028645 |    16260    165 |        1 |        1
772.83/773.24	c  773s |      21 |  2432385 |  1030745 |    16260    166 |        1 |        1
774.83/775.29	c  775s |      21 |  2436250 |  1033245 |    16260    166 |        1 |        1
776.93/777.30	c  777s |      21 |  2446962 |  1035445 |    16260    166 |        1 |        1
778.93/779.33	c  779s |      21 |  2454328 |  1037645 |    16260    166 |        1 |        1
781.03/781.49	c  781s |      21 |  2457733 |  1039745 |    16260    167 |        1 |        1
783.13/783.51	c  783s |      21 |  2468805 |  1042145 |    16260    167 |        1 |        1
785.14/785.56	c  785s |      21 |  2479148 |  1044645 |    16260    167 |        1 |        1
787.24/787.66	c  787s |      21 |  2487928 |  1046645 |    16260    168 |        1 |        1
789.33/789.71	c  789s |      21 |  2490931 |  1048745 |    16260    168 |        1 |        1
791.64/792.02	c  791s |      21 |  2494421 |  1051045 |    16260    168 |        1 |        1
793.63/794.09	c  793s |      21 |  2501752 |  1053245 |    16260    168 |        1 |        1
795.73/796.17	c  796s |      21 |  2504745 |  1055145 |    16260    169 |        1 |        1
797.73/798.18	c  798s |      21 |  2508792 |  1057145 |    16260    169 |        1 |        1
799.83/800.22	c  800s |      21 |  2513606 |  1059345 |    16260    169 |        1 |        1
801.83/802.24	c  802s |      21 |  2517349 |  1061445 |    16260    169 |        1 |        1
803.83/804.28	c  804s |      21 |  2519853 |  1063245 |    16260    170 |        1 |        1
805.93/806.32	c  806s |      21 |  2522745 |  1065645 |    16260    170 |        1 |        1
807.93/808.33	c  808s |      21 |  2533767 |  1067745 |    16260    170 |        1 |        1
809.93/810.34	c  810s |      21 |  2539746 |  1069945 |    16260    170 |        1 |        1
812.03/812.48	c  812s |      21 |  2542910 |  1071945 |    16260    171 |        1 |        1
814.13/814.52	c  814s |      21 |  2546056 |  1074045 |    16260    171 |        1 |        1
816.22/816.60	c  816s |      21 |  2549492 |  1076345 |    16260    171 |        1 |        1
818.22/818.61	c  818s |      21 |  2551032 |  1077345 |    16260    171 |        1 |        1
820.23/820.66	c  820s |      21 |  2554973 |  1079645 |    16260    172 |        1 |        1
822.22/822.69	c  822s |      21 |  2559590 |  1082445 |    16260    172 |        1 |        1
824.32/824.77	c  824s |      21 |  2563452 |  1085145 |    16260    172 |        1 |        1
826.42/826.84	c  826s |      21 |  2568308 |  1087645 |    16260    173 |        1 |        1
828.42/828.88	c  828s |      21 |  2573904 |  1090445 |    16260    173 |        1 |        1
830.52/830.91	c  830s |      21 |  2577481 |  1092945 |    16260    173 |        1 |        1
832.52/832.94	c  832s |      21 |  2581955 |  1095445 |    16260    173 |        1 |        1
834.53/834.98	c  834s |      21 |  2584202 |  1097345 |    16260    174 |        1 |        1
836.52/836.99	c  836s |      21 |  2587867 |  1100245 |    16260    174 |        1 |        1
838.62/839.05	c  838s |      21 |  2591670 |  1102645 |    16260    174 |        1 |        1
840.62/841.09	c  840s |      21 |  2595202 |  1104145 |    16260    175 |        1 |        1
842.72/843.13	c  843s |      21 |  2599475 |  1106545 |    16260    175 |        1 |        1
844.72/845.18	c  845s |      21 |  2606069 |  1109145 |    16260    175 |        1 |        1
846.82/847.22	c  847s |      21 |  2610607 |  1111445 |    16260    175 |        1 |        1
848.83/849.28	c  849s |      21 |  2613626 |  1113645 |    16260    176 |        1 |        1
850.92/851.38	c  851s |      21 |  2618550 |  1115645 |    16260    176 |        1 |        1
852.92/853.39	c  853s |      21 |  2624540 |  1118045 |    16260    176 |        1 |        1
855.02/855.47	c  855s |      21 |  2632398 |  1120645 |    16260    177 |        1 |        1
857.02/857.48	c  857s |      21 |  2638639 |  1123145 |    16260    177 |        1 |        1
859.12/859.53	c  859s |      21 |  2644427 |  1125845 |    16260    177 |        1 |        1
861.12/861.55	c  861s |      21 |  2648312 |  1127845 |    16260    177 |        1 |        1
863.23/863.62	c  863s |      21 |  2654893 |  1129445 |    16260    178 |        1 |        1
865.33/865.72	c  865s |      21 |  2659799 |  1131645 |    16260    178 |        1 |        1
867.32/867.77	c  867s |      21 |  2665219 |  1133745 |    16260    178 |        1 |        1
869.32/869.78	c  869s |      21 |  2676540 |  1136045 |    16260    178 |        1 |        1
871.32/871.79	c  871s |      21 |  2680426 |  1137745 |    16260    179 |        1 |        1
873.42/873.81	c  873s |      21 |  2685513 |  1139645 |    16260    179 |        1 |        1
875.42/875.83	c  875s |      21 |  2690821 |  1141845 |    16260    179 |        1 |        1
877.43/877.88	c  877s |      21 |  2694201 |  1143845 |    16260    179 |        1 |        1
879.52/879.94	c  879s |      21 |  2697559 |  1145645 |    16260    180 |        1 |        1
881.52/881.95	c  881s |      21 |  2701314 |  1147745 |    16260    180 |        1 |        1
883.62/884.01	c  883s |      21 |  2703963 |  1149845 |    16260    180 |        1 |        1
885.62/886.04	c  885s |      21 |  2709577 |  1151745 |    16260    180 |        1 |        1
887.62/888.06	c  887s |      21 |  2713979 |  1154145 |    16260    181 |        1 |        1
889.63/890.06	c  889s |      21 |  2717675 |  1156645 |    16260    181 |        1 |        1
891.62/892.08	c  891s |      21 |  2720690 |  1158945 |    16260    181 |        1 |        1
893.62/894.09	c  893s |      21 |  2726135 |  1161345 |    16260    181 |        1 |        1
895.72/896.15	c  896s |      21 |  2729861 |  1163745 |    16260    182 |        1 |        1
897.72/898.17	c  898s |      21 |  2734305 |  1166145 |    16260    182 |        1 |        1
899.82/900.22	c  900s |      21 |  2741141 |  1168745 |    16260    182 |        1 |        1
901.82/902.23	c  902s |      21 |  2744555 |  1170945 |    16260    183 |        1 |        1
903.82/904.27	c  904s |      21 |  2754402 |  1173145 |    16260    183 |        1 |        1
905.92/906.31	c  906s |      21 |  2760047 |  1175345 |    16260    183 |        1 |        1
907.92/908.37	c  908s |      21 |  2764034 |  1177345 |    16260    183 |        1 |        1
910.02/910.41	c  910s |      21 |  2766818 |  1178945 |    16260    184 |        1 |        1
912.02/912.42	c  912s |      21 |  2769324 |  1180845 |    16260    184 |        1 |        1
914.02/914.45	c  914s |      21 |  2772059 |  1182845 |    16260    184 |        1 |        1
916.02/916.48	c  916s |      21 |  2775280 |  1184745 |    16260    184 |        1 |        1
918.12/918.51	c  918s |      21 |  2777848 |  1186545 |    16260    185 |        1 |        1
920.11/920.56	c  920s |      21 |  2782146 |  1189545 |    16260    185 |        1 |        1
922.11/922.57	c  922s |      21 |  2786417 |  1192245 |    16260    185 |        1 |        1
924.11/924.58	c  924s |      21 |  2790113 |  1194345 |    16260    185 |        1 |        1
926.21/926.65	c  926s |      21 |  2792772 |  1196345 |    16260    186 |        1 |        1
928.21/928.66	c  928s |      21 |  2795741 |  1198445 |    16260    186 |        1 |        1
930.32/930.72	c  930s |      21 |  2799024 |  1200445 |    16260    186 |        1 |        1
932.31/932.79	c  932s |      21 |  2801560 |  1202445 |    16260    186 |        1 |        1
934.41/934.83	c  934s |      21 |  2804537 |  1204245 |    16260    187 |        1 |        1
936.41/936.89	c  936s |      21 |  2808886 |  1206645 |    16260    187 |        1 |        1
938.51/938.91	c  938s |      21 |  2811847 |  1208645 |    16260    187 |        1 |        1
940.61/941.00	c  940s |      21 |  2816665 |  1210545 |    16260    187 |        1 |        1
942.61/943.04	c  942s |      21 |  2819165 |  1212345 |    16260    188 |        1 |        1
944.71/945.10	c  944s |      21 |  2822030 |  1214845 |    16260    188 |        1 |        1
946.71/947.12	c  947s |      21 |  2825521 |  1217145 |    16260    188 |        1 |        1
948.81/949.20	c  949s |      21 |  2828585 |  1218845 |    16260    188 |        1 |        1
950.81/951.26	c  951s |      21 |  2834330 |  1220945 |    16260    189 |        1 |        1
952.81/953.28	c  953s |      21 |  2839060 |  1223245 |    16260    189 |        1 |        1
954.90/955.31	c  955s |      21 |  2842161 |  1225345 |    16260    189 |        1 |        1
957.00/957.41	c  957s |      21 |  2845414 |  1227245 |    16260    190 |        1 |        1
959.00/959.45	c  959s |      21 |  2848026 |  1229245 |    16260    190 |        1 |        1
961.01/961.50	c  961s |      21 |  2851053 |  1231345 |    16260    190 |        1 |        1
963.10/963.50	c  963s |      21 |  2853526 |  1233345 |    16260    190 |        1 |        1
965.30/965.76	c  965s |      21 |  2856105 |  1235445 |    16260    191 |        1 |        1
967.40/967.81	c  967s |      21 |  2860175 |  1237845 |    16260    191 |        1 |        1
969.50/969.91	c  969s |      21 |  2863249 |  1239845 |    16260    191 |        1 |        1
971.50/971.93	c  971s |      21 |  2865615 |  1241645 |    16260    191 |        1 |        1
973.50/973.94	c  973s |      21 |  2867795 |  1243545 |    16260    191 |        1 |        1
975.50/975.99	c  975s |      21 |  2869326 |  1244945 |    16260    192 |        1 |        1
977.61/978.03	c  977s |      21 |  2872041 |  1247045 |    16260    192 |        1 |        1
979.60/980.10	c  979s |      21 |  2874754 |  1249145 |    16260    192 |        1 |        1
981.70/982.16	c  982s |      21 |  2876837 |  1250945 |    16260    192 |        1 |        1
983.80/984.23	c  984s |      21 |  2881677 |  1253045 |    16260    193 |        1 |        1
985.80/986.26	c  986s |      21 |  2885131 |  1255245 |    16260    193 |        1 |        1
987.90/988.34	c  988s |      21 |  2887916 |  1257345 |    16260    193 |        1 |        1
990.00/990.43	c  990s |      21 |  2890657 |  1259345 |    16260    193 |        1 |        1
992.00/992.47	c  992s |      21 |  2892822 |  1261145 |    16260    194 |        1 |        1
994.10/994.54	c  994s |      21 |  2895679 |  1262745 |    16260    194 |        1 |        1
996.10/996.58	c  996s |      21 |  2900059 |  1265045 |    16260    194 |        1 |        1
998.20/998.63	c  998s |      21 |  2904248 |  1267145 |    16260    194 |        1 |        1
1000.20/1000.64	c 1000s |      21 |  2906903 |  1268845 |    16260    195 |        1 |        1
1002.20/1002.69	c 1002s |      21 |  2910851 |  1270845 |    16260    195 |        1 |        1
1004.30/1004.76	c 1004s |      21 |  2914290 |  1272845 |    16260    195 |        1 |        1
1006.30/1006.80	c 1006s |      21 |  2917358 |  1274845 |    16260    195 |        1 |        1
1008.59/1009.01	c 1008s |      21 |  2919794 |  1276745 |    16260    196 |        1 |        1
1010.61/1011.05	c 1010s |      21 |  2921706 |  1278145 |    16260    196 |        1 |        1
1012.60/1013.05	c 1012s |      21 |  2926118 |  1280345 |    16260    196 |        1 |        1
1014.70/1015.12	c 1014s |      21 |  2929428 |  1282545 |    16260    196 |        1 |        1
1016.80/1017.20	c 1017s |      21 |  2932578 |  1284545 |    16260    196 |        1 |        1
1018.80/1019.29	c 1019s |      21 |  2935420 |  1286345 |    16260    197 |        1 |        1
1020.80/1021.29	c 1021s |      21 |  2939105 |  1288345 |    16260    197 |        1 |        1
1022.90/1023.40	c 1023s |      21 |  2942190 |  1290345 |    16260    197 |        1 |        1
1025.00/1025.43	c 1025s |      21 |  2944434 |  1292045 |    16260    197 |        1 |        1
1027.20/1027.64	c 1027s |      21 |  2951176 |  1293145 |    16260    198 |        1 |        1
1029.20/1029.68	c 1029s |      21 |  2962708 |  1295645 |    16260    198 |        1 |        1
1031.30/1031.75	c 1031s |      21 |  2975055 |  1298345 |    16260    198 |        1 |        1
1033.29/1033.77	c 1033s |      21 |  2978709 |  1300645 |    16260    198 |        1 |        1
1035.39/1035.80	c 1035s |      21 |  2982873 |  1302845 |    16260    199 |        1 |        1
1037.39/1037.88	c 1037s |      21 |  2987307 |  1305145 |    16260    199 |        1 |        1
1039.49/1039.97	c 1039s |      21 |  2990979 |  1307445 |    16260    199 |        1 |        1
1041.59/1042.09	c 1041s |      21 |  2993704 |  1309545 |    16260    200 |        1 |        1
1043.69/1044.13	c 1044s |      21 |  3000943 |  1311745 |    16260    200 |        1 |        1
1045.80/1046.26	c 1046s |      21 |  3004072 |  1313945 |    16260    200 |        1 |        1
1047.79/1048.26	c 1048s |      21 |  3007175 |  1316045 |    16260    200 |        1 |        1
1049.89/1050.31	c 1050s |      21 |  3010920 |  1318045 |    16260    201 |        1 |        1
1051.89/1052.32	c 1052s |      21 |  3013558 |  1320245 |    16260    201 |        1 |        1
1053.89/1054.35	c 1054s |      21 |  3016004 |  1322345 |    16260    201 |        1 |        1
1055.99/1056.43	c 1056s |      21 |  3018431 |  1324145 |    16260    201 |        1 |        1
1058.09/1058.53	c 1058s |      21 |  3021974 |  1326045 |    16260    202 |        1 |        1
1060.09/1060.56	c 1060s |      21 |  3025699 |  1328545 |    16260    202 |        1 |        1
1062.19/1062.64	c 1062s |      21 |  3030429 |  1331045 |    16260    202 |        1 |        1
1064.19/1064.67	c 1064s |      21 |  3033288 |  1333145 |    16260    202 |        1 |        1
1066.39/1066.81	c 1066s |      21 |  3035259 |  1334745 |    16260    203 |        1 |        1
1068.39/1068.84	c 1068s |      21 |  3040680 |  1337545 |    16260    203 |        1 |        1
1070.49/1070.91	c 1070s |      21 |  3043789 |  1340245 |    16260    203 |        1 |        1
1072.49/1072.95	c 1072s |      21 |  3048342 |  1342545 |    16260    204 |        1 |        1
1074.48/1074.96	c 1074s |      21 |  3053246 |  1345245 |    16260    204 |        1 |        1
1076.49/1077.00	c 1076s |      21 |  3058889 |  1347845 |    16260    204 |        1 |        1
1078.59/1079.00	c 1078s |      21 |  3063159 |  1349645 |    16260    204 |        1 |        1
1080.59/1081.05	c 1080s |      21 |  3067606 |  1351445 |    16260    205 |        1 |        1
1082.69/1083.12	c 1082s |      21 |  3073690 |  1353445 |    16260    205 |        1 |        1
1084.69/1085.18	c 1085s |      21 |  3078981 |  1355645 |    16260    205 |        1 |        1
1086.79/1087.23	c 1087s |      21 |  3087897 |  1357945 |    16260    205 |        1 |        1
1088.79/1089.26	c 1089s |      21 |  3092065 |  1359845 |    16260    206 |        1 |        1
1090.90/1091.35	c 1091s |      21 |  3096079 |  1362045 |    16260    206 |        1 |        1
1092.99/1093.41	c 1093s |      21 |  3103543 |  1363945 |    16260    206 |        1 |        1
1094.99/1095.46	c 1095s |      21 |  3111507 |  1366145 |    16260    206 |        1 |        1
1096.99/1097.49	c 1097s |      21 |  3114493 |  1367845 |    16260    207 |        1 |        1
1099.09/1099.53	c 1099s |      21 |  3118945 |  1370145 |    16260    207 |        1 |        1
1101.09/1101.57	c 1101s |      21 |  3122549 |  1372345 |    16260    207 |        1 |        1
1103.19/1103.66	c 1103s |      21 |  3126586 |  1374345 |    16260    207 |        1 |        1
1105.29/1105.72	c 1105s |      21 |  3130595 |  1376345 |    16260    208 |        1 |        1
1107.29/1107.77	c 1107s |      21 |  3134044 |  1378445 |    16260    208 |        1 |        1
1109.38/1109.80	c 1109s |      21 |  3136590 |  1380345 |    16260    208 |        1 |        1
1111.38/1111.83	c 1111s |      21 |  3140085 |  1382245 |    16260    208 |        1 |        1
1113.38/1113.85	c 1113s |      21 |  3146098 |  1383845 |    16260    209 |        1 |        1
1115.48/1115.93	c 1115s |      21 |  3150183 |  1385945 |    16260    209 |        1 |        1
1117.58/1118.00	c 1117s |      21 |  3153002 |  1387945 |    16260    209 |        1 |        1
1119.58/1120.09	c 1119s |      21 |  3155396 |  1389845 |    16260    209 |        1 |        1
1121.78/1122.27	c 1122s |      21 |  3158263 |  1391645 |    16260    210 |        1 |        1
1123.89/1124.38	c 1124s |      21 |  3161062 |  1393245 |    16260    210 |        1 |        1
1125.99/1126.41	c 1126s |      21 |  3164223 |  1395245 |    16260    210 |        1 |        1
1127.98/1128.49	c 1128s |      21 |  3166899 |  1397245 |    16260    210 |        1 |        1
1130.08/1130.54	c 1130s |      21 |  3169440 |  1399145 |    16260    210 |        1 |        1
1132.08/1132.58	c 1132s |      21 |  3171464 |  1400945 |    16260    211 |        1 |        1
1134.18/1134.61	c 1134s |      21 |  3174979 |  1402745 |    16260    211 |        1 |        1
1136.28/1136.72	c 1136s |      21 |  3177686 |  1404645 |    16260    211 |        1 |        1
1138.28/1138.78	c 1138s |      21 |  3180064 |  1406445 |    16260    211 |        1 |        1
1140.38/1140.86	c 1140s |      21 |  3182444 |  1408345 |    16260    212 |        1 |        1
1142.48/1142.94	c 1142s |      21 |  3186101 |  1410545 |    16260    212 |        1 |        1
1144.58/1145.02	c 1144s |      21 |  3188487 |  1412345 |    16260    212 |        1 |        1
1146.58/1147.02	c 1146s |      21 |  3192189 |  1414245 |    16260    212 |        1 |        1
1148.58/1149.04	c 1148s |      21 |  3194543 |  1416145 |    16260    212 |        1 |        1
1150.68/1151.12	c 1150s |      21 |  3197101 |  1418045 |    16260    213 |        1 |        1
1152.67/1153.14	c 1153s |      21 |  3199386 |  1420045 |    16260    213 |        1 |        1
1154.77/1155.23	c 1155s |      21 |  3201798 |  1421445 |    16260    213 |        1 |        1
1156.78/1157.23	c 1157s |      21 |  3204282 |  1423545 |    16260    213 |        1 |        1
1158.77/1159.24	c 1159s |      21 |  3207005 |  1425445 |    16260    214 |        1 |        1
1160.77/1161.25	c 1161s |      21 |  3209914 |  1427645 |    16260    214 |        1 |        1
1162.77/1163.27	c 1163s |      21 |  3213314 |  1429845 |    16260    214 |        1 |        1
1164.77/1165.29	c 1165s |      21 |  3216553 |  1431845 |    16260    214 |        1 |        1
1166.87/1167.37	c 1167s |      21 |  3220519 |  1433545 |    16260    215 |        1 |        1
1168.98/1169.44	c 1169s |      21 |  3223755 |  1435645 |    16260    215 |        1 |        1
1171.08/1171.50	c 1171s |      21 |  3226416 |  1437645 |    16260    215 |        1 |        1
1173.07/1173.52	c 1173s |      21 |  3228967 |  1439645 |    16260    215 |        1 |        1
1175.07/1175.54	c 1175s |      21 |  3231545 |  1441345 |    16260    216 |        1 |        1
1177.17/1177.60	c 1177s |      21 |  3234399 |  1443345 |    16260    216 |        1 |        1
1179.17/1179.68	c 1179s |      21 |  3237639 |  1445345 |    16260    216 |        1 |        1
1181.27/1181.73	c 1181s |      21 |  3240467 |  1447245 |    16260    216 |        1 |        1
1183.47/1183.91	c 1183s |      21 |  3245306 |  1449345 |    16260    217 |        1 |        1
1185.48/1185.95	c 1185s |      21 |  3248432 |  1451245 |    16260    217 |        1 |        1
1187.47/1188.00	c 1187s |      21 |  3250852 |  1453345 |    16260    217 |        1 |        1
1189.57/1190.02	c 1189s |      21 |  3253133 |  1455245 |    16260    217 |        1 |        1
1191.67/1192.12	c 1192s |      21 |  3256413 |  1457245 |    16260    217 |        1 |        1
1193.77/1194.22	c 1194s |      21 |  3258328 |  1458945 |    16260    218 |        1 |        1
1195.77/1196.26	c 1196s |      21 |  3261138 |  1461045 |    16260    218 |        1 |        1
1197.87/1198.36	c 1198s |      21 |  3263489 |  1462945 |    16260    218 |        1 |        1
1199.97/1200.46	c 1200s |      21 |  3266045 |  1464945 |    16260    218 |        1 |        1
1202.37/1202.89	c 1202s |      21 |  3267424 |  1466145 |    16260    219 |        1 |        1
1204.46/1204.94	c 1204s |      21 |  3271456 |  1468345 |    16260    219 |        1 |        1
1206.56/1207.02	c 1206s |      21 |  3274763 |  1470445 |    16260    219 |        1 |        1
1208.57/1209.09	c 1208s |      21 |  3277040 |  1472345 |    16260    219 |        1 |        1
1210.77/1211.27	c 1211s |      21 |  3278979 |  1473945 |    16260    219 |        1 |        1
1212.87/1213.38	c 1213s |      21 |  3283275 |  1476045 |    16260    220 |        1 |        1
1214.86/1215.38	c 1215s |      21 |  3286357 |  1478445 |    16260    220 |        1 |        1
1216.96/1217.46	c 1217s |      21 |  3289413 |  1480745 |    16260    220 |        1 |        1
1218.96/1219.49	c 1219s |      21 |  3292577 |  1482745 |    16260    221 |        1 |        1
1221.06/1221.54	c 1221s |      21 |  3295593 |  1485045 |    16260    221 |        1 |        1
1223.06/1223.58	c 1223s |      21 |  3298137 |  1487045 |    16260    221 |        1 |        1
1225.16/1225.65	c 1225s |      21 |  3300800 |  1489045 |    16260    221 |        1 |        1
1227.17/1227.67	c 1227s |      21 |  3303229 |  1490745 |    17886    221 |        1 |        1
1229.26/1229.71	c 1229s |      21 |  3305457 |  1492445 |    17886    222 |        1 |        1
1231.26/1231.78	c 1231s |      21 |  3308183 |  1494345 |    17886    222 |        1 |        1
1233.36/1233.85	c 1233s |      21 |  3311279 |  1496645 |    17886    222 |        1 |        1
1235.46/1235.91	c 1235s |      21 |  3313933 |  1498745 |    17886    222 |        1 |        1
1237.36/1237.83	c 1237s |      22 |  3316445 |  1500622 |    17886    222 |        1 |        1
1239.37/1239.86	c 1239s |      22 |  3325287 |  1502322 |    17886    223 |        1 |        1
1241.47/1241.92	c 1241s |      22 |  3333623 |  1505022 |    17886    223 |        1 |        1
1243.56/1244.01	c 1243s |      22 |  3343190 |  1507622 |    17886    223 |        1 |        1
1245.56/1246.01	c 1245s |      22 |  3346036 |  1509722 |    17886    223 |        1 |        1
1247.56/1248.07	c 1247s |      22 |  3349478 |  1511822 |    17886    224 |        1 |        1
1249.56/1250.09	c 1249s |      22 |  3355831 |  1514422 |    17886    224 |        1 |        1
1251.67/1252.19	c 1252s |      22 |  3359216 |  1516422 |    17886    224 |        1 |        1
1253.67/1254.19	c 1254s |      22 |  3365373 |  1518522 |    17886    224 |        1 |        1
1255.77/1256.26	c 1256s |      22 |  3373128 |  1520722 |    17886    225 |        1 |        1
1257.86/1258.31	c 1258s |      22 |  3380369 |  1523222 |    17886    225 |        1 |        1
1259.86/1260.33	c 1260s |      22 |  3385045 |  1525322 |    17886    225 |        1 |        1
1261.86/1262.35	c 1262s |      22 |  3393638 |  1527822 |    17886    225 |        1 |        1
1263.96/1264.47	c 1264s |      22 |  3398420 |  1529722 |    17886    226 |        1 |        1
1266.06/1266.52	c 1266s |      22 |  3402635 |  1531722 |    17886    226 |        1 |        1
1268.06/1268.54	c 1268s |      22 |  3412647 |  1534222 |    17886    226 |        1 |        1
1270.07/1270.57	c 1270s |      22 |  3419228 |  1536222 |    17886    226 |        1 |        1
1272.16/1272.60	c 1272s |      22 |  3426387 |  1538122 |    17886    227 |        1 |        1
1274.16/1274.65	c 1274s |      22 |  3428812 |  1540022 |    17886    227 |        1 |        1
1276.16/1276.69	c 1276s |      22 |  3440471 |  1542022 |    17886    227 |        1 |        1
1278.26/1278.78	c 1278s |      22 |  3444400 |  1544122 |    17886    227 |        1 |        1
1280.36/1280.82	c 1280s |      22 |  3448702 |  1546122 |    17886    227 |        1 |        1
1282.36/1282.86	c 1282s |      22 |  3454751 |  1547322 |    17886    228 |        1 |        1
1284.36/1284.87	c 1284s |      22 |  3460464 |  1549422 |    17886    228 |        1 |        1
1286.36/1286.88	c 1286s |      22 |  3463854 |  1551522 |    17886    228 |        1 |        1
1288.36/1288.88	c 1288s |      22 |  3468793 |  1553522 |    17886    228 |        1 |        1
1290.46/1290.90	c 1290s |      22 |  3471265 |  1555222 |    17886    229 |        1 |        1
1293.65/1294.14	c 1294s |      22 |  3473652 |  1557122 |    17886    229 |        1 |        1
1296.05/1296.56	c 1296s |      22 |  3475933 |  1558822 |    17886    229 |        1 |        1
1298.05/1298.59	c 1298s |      22 |  3481487 |  1561122 |    17886    229 |        1 |        1
1300.15/1300.63	c 1300s |      22 |  3484612 |  1563122 |    17886    229 |        1 |        1
1302.15/1302.63	c 1302s |      22 |  3487826 |  1565122 |    17886    230 |        1 |        1
1304.16/1304.67	c 1304s |      22 |  3492263 |  1567422 |    17886    230 |        1 |        1
1306.15/1306.69	c 1306s |      22 |  3495266 |  1569522 |    17886    230 |        1 |        1
1308.25/1308.75	c 1308s |      22 |  3499709 |  1571722 |    17886    230 |        1 |        1
1310.25/1310.78	c 1310s |      22 |  3501983 |  1573422 |    17886    231 |        1 |        1
1313.55/1314.06	c 1313s |      22 |  3504734 |  1574822 |    17886    231 |        1 |        1
1315.65/1316.14	c 1316s |      22 |  3515489 |  1577722 |    17886    231 |        1 |        1
1317.75/1318.20	c 1318s |      22 |  3520990 |  1580122 |    17886    231 |        1 |        1
1319.75/1320.22	c 1320s |      22 |  3527845 |  1582322 |    17886    232 |        1 |        1
1321.76/1322.26	c 1322s |      22 |  3536664 |  1584822 |    17886    232 |        1 |        1
1323.75/1324.27	c 1324s |      22 |  3540845 |  1587322 |    17886    232 |        1 |        1
1325.85/1326.35	c 1326s |      22 |  3544573 |  1589522 |    17886    232 |        1 |        1
1327.95/1328.40	c 1328s |      22 |  3547367 |  1591622 |    17886    233 |        1 |        1
1329.94/1330.41	c 1330s |      22 |  3551882 |  1593322 |    17886    233 |        1 |        1
1331.94/1332.47	c 1332s |      22 |  3555277 |  1595622 |    17886    233 |        1 |        1
1334.04/1334.51	c 1334s |      22 |  3558528 |  1597922 |    17886    233 |        1 |        1
1336.05/1336.58	c 1336s |      22 |  3563170 |  1600122 |    17886    233 |        1 |        1
1338.14/1338.64	c 1338s |      22 |  3570864 |  1601622 |    17886    234 |        1 |        1
1340.14/1340.67	c 1340s |      22 |  3574150 |  1604022 |    17886    234 |        1 |        1
1342.24/1342.73	c 1342s |      22 |  3577791 |  1606422 |    17886    234 |        1 |        1
1344.24/1344.77	c 1344s |      22 |  3581004 |  1608622 |    17886    234 |        1 |        1
1346.34/1346.84	c 1346s |      22 |  3584475 |  1610722 |    17886    235 |        1 |        1
1348.35/1348.84	c 1348s |      22 |  3587276 |  1612922 |    17886    235 |        1 |        1
1350.35/1350.86	c 1350s |      22 |  3590336 |  1614922 |    17886    235 |        1 |        1
1352.35/1352.88	c 1352s |      22 |  3595864 |  1617622 |    17886    235 |        1 |        1
1354.45/1354.92	c 1354s |      22 |  3598603 |  1619822 |    17886    236 |        1 |        1
1356.45/1356.97	c 1356s |      22 |  3608987 |  1622022 |    17886    236 |        1 |        1
1358.45/1358.99	c 1358s |      22 |  3614161 |  1624422 |    17886    236 |        1 |        1
1360.55/1361.00	c 1360s |      22 |  3621627 |  1626922 |    17886    236 |        1 |        1
1362.55/1363.06	c 1362s |      22 |  3624132 |  1628722 |    17886    237 |        1 |        1
1364.54/1365.09	c 1364s |      22 |  3628448 |  1631022 |    17886    237 |        1 |        1
1366.64/1367.12	c 1367s |      22 |  3632789 |  1633022 |    17886    237 |        1 |        1
1368.64/1369.16	c 1369s |      22 |  3636499 |  1635122 |    17886    237 |        1 |        1
1370.94/1371.40	c 1371s |      22 |  3638814 |  1636522 |    17886    238 |        1 |        1
1372.94/1373.44	c 1373s |      22 |  3641560 |  1638522 |    17886    238 |        1 |        1
1375.04/1375.51	c 1375s |      22 |  3644698 |  1640722 |    17886    238 |        1 |        1
1377.04/1377.60	c 1377s |      22 |  3650803 |  1642622 |    17886    238 |        1 |        1
1379.14/1379.60	c 1379s |      22 |  3657242 |  1644722 |    17886    238 |        1 |        1
1381.14/1381.64	c 1381s |      22 |  3665637 |  1646422 |    17886    239 |        1 |        1
1383.14/1383.66	c 1383s |      22 |  3672604 |  1648622 |    17886    239 |        1 |        1
1385.14/1385.67	c 1385s |      22 |  3677602 |  1650622 |    17886    239 |        1 |        1
1387.24/1387.75	c 1387s |      22 |  3682232 |  1652622 |    17886    239 |        1 |        1
1389.34/1389.83	c 1389s |      22 |  3686402 |  1654622 |    17886    240 |        1 |        1
1391.74/1392.26	c 1392s |      22 |  3703298 |  1656922 |    17886    240 |        1 |        1
1393.84/1394.32	c 1394s |      22 |  3711401 |  1659122 |    17886    240 |        1 |        1
1395.94/1396.41	c 1396s |      22 |  3721182 |  1661222 |    17886    240 |        1 |        1
1397.94/1398.49	c 1398s |      22 |  3727866 |  1663122 |    17886    240 |        1 |        1
1400.04/1400.52	c 1400s |      22 |  3731461 |  1664822 |    17886    241 |        1 |        1
1402.05/1402.59	c 1402s |      22 |  3734898 |  1666822 |    17886    241 |        1 |        1
1404.14/1404.62	c 1404s |      22 |  3739832 |  1667822 |    17886    241 |        1 |        1
1406.14/1406.67	c 1406s |      22 |  3742602 |  1669722 |    17886    241 |        1 |        1
1408.24/1408.71	c 1408s |      22 |  3746603 |  1671522 |    17886    241 |        1 |        1
1410.24/1410.76	c 1410s |      22 |  3748937 |  1673222 |    17886    242 |        1 |        1
1412.24/1412.77	c 1412s |      22 |  3751050 |  1675022 |    17886    242 |        1 |        1
1414.34/1414.83	c 1414s |      22 |  3752697 |  1675922 |    17886    242 |        1 |        1
1416.35/1416.90	c 1416s |      22 |  3756704 |  1677922 |    17886    242 |        1 |        1
1418.44/1418.95	c 1418s |      22 |  3761249 |  1680122 |    17886    242 |        1 |        1
1420.54/1421.04	c 1420s |      22 |  3768364 |  1682122 |    17886    243 |        1 |        1
1422.64/1423.14	c 1423s |      22 |  3771398 |  1684122 |    17886    243 |        1 |        1
1424.64/1425.14	c 1425s |      22 |  3781596 |  1686222 |    17886    243 |        1 |        1
1426.64/1427.14	c 1427s |      22 |  3784307 |  1688122 |    17886    243 |        1 |        1
1428.64/1429.18	c 1429s |      22 |  3786768 |  1689922 |    17886    243 |        1 |        1
1430.64/1431.19	c 1431s |      22 |  3787979 |  1691022 |    17886    244 |        1 |        1
1432.74/1433.24	c 1433s |      22 |  3790330 |  1692822 |    17886    244 |        1 |        1
1434.73/1435.25	c 1435s |      22 |  3794990 |  1694922 |    17886    244 |        1 |        1
1436.73/1437.26	c 1437s |      22 |  3796949 |  1696622 |    17886    244 |        1 |        1
1439.23/1439.73	c 1439s |      22 |  3798272 |  1697722 |    17886    244 |        1 |        1
1441.43/1441.91	c 1441s |      22 |  3802626 |  1699622 |    17886    245 |        1 |        1
1443.53/1444.00	c 1443s |      22 |  3805075 |  1701722 |    17886    245 |        1 |        1
1445.53/1446.09	c 1445s |      22 |  3808578 |  1703822 |    17886    245 |        1 |        1
1447.63/1448.10	c 1447s |      22 |  3811399 |  1705722 |    17886    245 |        1 |        1
1449.63/1450.12	c 1449s |      22 |  3814312 |  1707622 |    17886    245 |        1 |        1
1452.74/1453.28	c 1453s |      22 |  3816069 |  1709122 |    17886    246 |        1 |        1
1454.73/1455.28	c 1455s |      22 |  3820041 |  1711422 |    17886    246 |        1 |        1
1456.83/1457.33	c 1457s |      22 |  3822547 |  1713522 |    17886    246 |        1 |        1
1458.83/1459.35	c 1459s |      22 |  3826318 |  1715622 |    17886    246 |        1 |        1
1460.93/1461.49	c 1461s |      22 |  3829238 |  1717622 |    17886    247 |        1 |        1
1463.03/1463.51	c 1463s |      22 |  3832905 |  1719822 |    17886    247 |        1 |        1
1465.03/1465.57	c 1465s |      22 |  3835990 |  1721922 |    17886    247 |        1 |        1
1467.13/1467.67	c 1467s |      22 |  3838139 |  1723822 |    17886    247 |        1 |        1
1469.33/1469.83	c 1469s |      22 |  3839084 |  1724522 |    17886    247 |        1 |        1
1471.43/1471.97	c 1471s |      22 |  3842944 |  1726622 |    17886    248 |        1 |        1
1473.43/1473.98	c 1473s |      22 |  3845549 |  1728622 |    17886    248 |        1 |        1
1475.52/1476.03	c 1475s |      22 |  3849077 |  1730922 |    17886    248 |        1 |        1
1477.62/1478.10	c 1477s |      22 |  3852061 |  1733022 |    17886    248 |        1 |        1
1479.62/1480.14	c 1480s |      22 |  3856252 |  1734822 |    17886    248 |        1 |        1
1481.82/1482.31	c 1482s |      22 |  3859090 |  1736722 |    17886    249 |        1 |        1
1483.82/1484.34	c 1484s |      22 |  3861961 |  1738922 |    17886    249 |        1 |        1
1485.82/1486.40	c 1486s |      22 |  3865557 |  1741022 |    17886    249 |        1 |        1
1487.94/1488.41	c 1488s |      22 |  3867948 |  1743022 |    17886    249 |        1 |        1
1489.93/1490.49	c 1490s |      22 |  3870176 |  1744922 |    17886    250 |        1 |        1
1492.03/1492.55	c 1492s |      22 |  3880464 |  1746722 |    17886    250 |        1 |        1
1494.03/1494.57	c 1494s |      22 |  3901806 |  1749222 |    17886    250 |        1 |        1
1496.13/1496.61	c 1496s |      22 |  3913425 |  1751622 |    17886    250 |        1 |        1
1498.23/1498.74	c 1498s |      22 |  3919142 |  1753722 |    17886    251 |        1 |        1
1500.33/1500.80	c 1500s |      22 |  3936026 |  1756022 |    17886    251 |        1 |        1
1502.33/1502.85	c 1502s |      22 |  3939607 |  1758022 |    17886    251 |        1 |        1
1504.33/1504.87	c 1504s |      22 |  3946051 |  1760022 |    17886    251 |        1 |        1
1506.33/1506.89	c 1506s |      22 |  3950130 |  1762022 |    17886    251 |        1 |        1
1508.42/1508.99	c 1508s |      22 |  3954551 |  1763822 |    17886    252 |        1 |        1
1510.52/1511.00	c 1510s |      22 |  3956661 |  1764822 |    17886    252 |        1 |        1
1512.52/1513.06	c 1512s |      22 |  3960751 |  1767022 |    17886    252 |        1 |        1
1514.62/1515.13	c 1515s |      22 |  3966820 |  1769322 |    17886    252 |        1 |        1
1516.62/1517.13	c 1517s |      22 |  3972465 |  1771422 |    17886    252 |        1 |        1
1518.63/1519.15	c 1519s |      22 |  3979428 |  1773522 |    17886    253 |        1 |        1
1520.62/1521.18	c 1521s |      22 |  3985986 |  1776022 |    17886    253 |        1 |        1
1522.72/1523.23	c 1523s |      22 |  3989505 |  1778222 |    17886    253 |        1 |        1
1524.72/1525.27	c 1525s |      22 |  3993227 |  1780322 |    17886    253 |        1 |        1
1526.82/1527.36	c 1527s |      22 |  3996670 |  1782422 |    17886    254 |        1 |        1
1528.92/1529.43	c 1529s |      22 |  3999889 |  1784722 |    17886    254 |        1 |        1
1530.92/1531.46	c 1531s |      22 |  4004598 |  1786522 |    17886    254 |        1 |        1
1532.92/1533.48	c 1533s |      22 |  4008093 |  1788522 |    17886    254 |        1 |        1
1535.02/1535.55	c 1535s |      22 |  4011620 |  1790422 |    17886    255 |        1 |        1
1537.12/1537.61	c 1537s |      22 |  4022585 |  1792622 |    17886    255 |        1 |        1
1539.12/1539.67	c 1539s |      22 |  4027366 |  1795122 |    17886    255 |        1 |        1
1541.21/1541.72	c 1541s |      22 |  4035851 |  1797522 |    17886    255 |        1 |        1
1543.31/1543.81	c 1543s |      22 |  4046884 |  1799422 |    17886    256 |        1 |        1
1545.31/1545.82	c 1545s |      22 |  4051796 |  1800322 |    17886    256 |        1 |        1
1547.33/1547.83	c 1547s |      22 |  4056807 |  1802122 |    17886    256 |        1 |        1
1549.32/1549.89	c 1549s |      22 |  4069380 |  1804422 |    17886    256 |        1 |        1
1551.42/1551.90	c 1551s |      22 |  4078623 |  1806422 |    17886    256 |        1 |        1
1553.42/1553.94	c 1553s |      22 |  4084855 |  1808122 |    17886    257 |        1 |        1
1555.52/1556.00	c 1555s |      22 |  4092035 |  1810222 |    17886    257 |        1 |        1
1557.52/1558.06	c 1557s |      22 |  4099800 |  1812222 |    17886    257 |        1 |        1
1559.62/1560.14	c 1560s |      22 |  4104521 |  1814122 |    17886    257 |        1 |        1
1561.63/1562.15	c 1562s |      22 |  4109332 |  1815722 |    17886    257 |        1 |        1
1563.62/1564.16	c 1564s |      22 |  4111197 |  1817322 |    17886    258 |        1 |        1
1566.52/1567.06	c 1566s |      22 |  4113741 |  1818922 |    17886    258 |        1 |        1
1568.62/1569.14	c 1569s |      22 |  4118820 |  1821422 |    17886    258 |        1 |        1
1570.72/1571.22	c 1571s |      22 |  4121265 |  1823522 |    17886    258 |        1 |        1
1572.71/1573.29	c 1573s |      22 |  4126138 |  1825522 |    17886    258 |        1 |        1
1574.82/1575.33	c 1575s |      22 |  4128855 |  1827322 |    17886    259 |        1 |        1
1576.81/1577.38	c 1577s |      22 |  4130979 |  1828222 |    17886    259 |        1 |        1
1578.91/1579.47	c 1579s |      22 |  4135834 |  1830222 |    17886    259 |        1 |        1
1581.01/1581.53	c 1581s |      22 |  4139643 |  1832122 |    17886    259 |        1 |        1
1583.01/1583.58	c 1583s |      22 |  4144087 |  1834022 |    17886    259 |        1 |        1
1585.11/1585.63	c 1585s |      22 |  4147253 |  1835822 |    17886    260 |        1 |        1
1587.11/1587.64	c 1587s |      22 |  4154703 |  1837722 |    17886    260 |        1 |        1
1589.12/1589.67	c 1589s |      22 |  4157349 |  1839522 |    17886    260 |        1 |        1
1591.22/1591.73	c 1591s |      22 |  4159419 |  1841222 |    17886    260 |        1 |        1
1593.31/1593.81	c 1593s |      22 |  4161202 |  1842822 |    17886    260 |        1 |        1
1596.71/1597.23	c 1597s |      22 |  4163160 |  1844422 |    17886    261 |        1 |        1
1598.81/1599.39	c 1599s |      22 |  4168021 |  1846122 |    17886    261 |        1 |        1
1600.91/1601.42	c 1601s |      22 |  4172858 |  1848322 |    17886    261 |        1 |        1
1602.91/1603.48	c 1603s |      22 |  4175730 |  1850322 |    17886    261 |        1 |        1
1605.01/1605.52	c 1605s |      22 |  4179177 |  1852322 |    17886    261 |        1 |        1
1607.00/1607.56	c 1607s |      22 |  4182256 |  1854122 |    17886    262 |        1 |        1
1609.10/1609.63	c 1609s |      22 |  4184271 |  1856022 |    17886    262 |        1 |        1
1611.11/1611.68	c 1611s |      22 |  4190014 |  1857522 |    17886    262 |        1 |        1
1613.10/1613.69	c 1613s |      22 |  4200510 |  1859722 |    17886    262 |        1 |        1
1615.21/1615.72	c 1615s |      22 |  4209051 |  1861722 |    17886    262 |        1 |        1
1617.21/1617.75	c 1617s |      22 |  4212635 |  1863322 |    17886    263 |        1 |        1
1619.21/1619.78	c 1619s |      22 |  4216429 |  1865022 |    17886    263 |        1 |        1
1621.31/1621.88	c 1621s |      22 |  4219574 |  1867122 |    17886    263 |        1 |        1
1623.41/1623.95	c 1623s |      22 |  4223094 |  1868922 |    17886    263 |        1 |        1
1625.51/1626.05	c 1625s |      22 |  4226254 |  1870822 |    17886    263 |        1 |        1
1627.61/1628.15	c 1628s |      22 |  4230072 |  1872622 |    17886    264 |        1 |        1
1629.71/1630.23	c 1630s |      22 |  4233186 |  1874622 |    17886    264 |        1 |        1
1631.91/1632.44	c 1632s |      22 |  4235692 |  1876022 |    17886    264 |        1 |        1
1634.01/1634.53	c 1634s |      22 |  4238104 |  1878022 |    17886    264 |        1 |        1
1636.01/1636.59	c 1636s |      22 |  4241662 |  1880022 |    17886    264 |        1 |        1
1638.11/1638.68	c 1638s |      22 |  4244476 |  1881822 |    17886    265 |        1 |        1
1640.20/1640.71	c 1640s |      22 |  4246366 |  1882822 |    17886    265 |        1 |        1
1642.20/1642.77	c 1642s |      22 |  4251803 |  1885322 |    17886    265 |        1 |        1
1644.30/1644.84	c 1644s |      22 |  4255293 |  1887522 |    17886    265 |        1 |        1
1646.50/1647.00	c 1646s |      22 |  4259166 |  1889522 |    17886    266 |        1 |        1
1648.51/1649.03	c 1648s |      22 |  4261636 |  1891422 |    17886    266 |        1 |        1
1650.50/1651.08	c 1650s |      22 |  4264905 |  1893822 |    17886    266 |        1 |        1
1652.50/1653.09	c 1652s |      22 |  4274325 |  1896222 |    17886    266 |        1 |        1
1654.60/1655.17	c 1655s |      22 |  4278134 |  1898422 |    17886    266 |        1 |        1
1656.70/1657.25	c 1657s |      22 |  4281694 |  1900522 |    17886    267 |        1 |        1
1658.70/1659.26	c 1659s |      22 |  4284191 |  1902522 |    17886    267 |        1 |        1
1661.00/1661.51	c 1661s |      22 |  4286242 |  1904222 |    17886    267 |        1 |        1
1663.00/1663.56	c 1663s |      22 |  4289815 |  1906322 |    17886    267 |        1 |        1
1665.00/1665.59	c 1665s |      22 |  4294337 |  1908222 |    17886    268 |        1 |        1
1667.10/1667.65	c 1667s |      22 |  4298739 |  1910522 |    17886    268 |        1 |        1
1669.09/1669.65	c 1669s |      22 |  4302737 |  1912422 |    17886    268 |        1 |        1
1671.19/1671.72	c 1671s |      22 |  4308036 |  1914722 |    17886    268 |        1 |        1
1673.39/1673.99	c 1673s |      22 |  4313314 |  1916722 |    17886    269 |        1 |        1
1675.49/1676.07	c 1675s |      22 |  4317676 |  1918822 |    17886    269 |        1 |        1
1677.49/1678.09	c 1677s |      22 |  4320615 |  1920822 |    17886    269 |        1 |        1
1679.59/1680.17	c 1680s |      22 |  4323187 |  1922822 |    17886    269 |        1 |        1
1681.69/1682.24	c 1682s |      22 |  4325504 |  1924822 |    17886    269 |        1 |        1
1683.79/1684.31	c 1684s |      22 |  4328096 |  1926722 |    17886    270 |        1 |        1
1685.80/1686.33	c 1686s |      22 |  4332241 |  1929122 |    17886    270 |        1 |        1
1687.79/1688.33	c 1688s |      22 |  4335005 |  1931122 |    17886    270 |        1 |        1
1689.89/1690.41	c 1690s |      22 |  4337561 |  1933022 |    17886    270 |        1 |        1
1691.99/1692.50	c 1692s |      22 |  4341117 |  1934522 |    17886    270 |        1 |        1
1693.99/1694.57	c 1694s |      22 |  4344697 |  1936522 |    17886    271 |        1 |        1
1695.99/1696.57	c 1696s |      22 |  4349045 |  1938822 |    17886    271 |        1 |        1
1698.09/1698.66	c 1698s |      22 |  4352407 |  1940922 |    17886    271 |        1 |        1
1700.20/1700.75	c 1700s |      22 |  4354891 |  1943022 |    17886    271 |        1 |        1
1702.30/1702.81	c 1702s |      22 |  4360471 |  1945222 |    17886    272 |        1 |        1
1704.30/1704.85	c 1704s |      22 |  4364309 |  1947522 |    17886    272 |        1 |        1
1706.40/1706.94	c 1706s |      22 |  4366761 |  1949622 |    17886    272 |        1 |        1
1708.50/1709.03	c 1708s |      22 |  4369947 |  1951722 |    17886    272 |        1 |        1
1710.50/1711.06	c 1710s |      22 |  4372150 |  1953522 |    17886    273 |        1 |        1
1712.59/1713.14	c 1713s |      22 |  4375131 |  1955622 |    17886    273 |        1 |        1
1714.69/1715.25	c 1715s |      22 |  4377388 |  1957622 |    17886    273 |        1 |        1
1716.70/1717.27	c 1717s |      22 |  4380533 |  1959622 |    17886    273 |        1 |        1
1718.80/1719.30	c 1719s |      22 |  4384747 |  1961922 |    17886    273 |        1 |        1
1720.79/1721.38	c 1721s |      22 |  4387671 |  1963922 |    17886    274 |        1 |        1
1722.79/1723.39	c 1723s |      22 |  4390049 |  1965922 |    17886    274 |        1 |        1
1724.89/1725.43	c 1725s |      22 |  4392053 |  1967622 |    17886    274 |        1 |        1
1726.99/1727.52	c 1727s |      22 |  4394565 |  1969622 |    17886    274 |        1 |        1
1728.99/1729.57	c 1729s |      22 |  4397175 |  1971322 |    17886    275 |        1 |        1
1731.09/1731.63	c 1731s |      22 |  4399673 |  1973222 |    17886    275 |        1 |        1
1733.10/1733.63	c 1733s |      22 |  4411838 |  1975622 |    17886    275 |        1 |        1
1735.09/1735.65	c 1735s |      22 |  4421378 |  1978022 |    17886    275 |        1 |        1
1737.09/1737.65	c 1737s |      22 |  4430762 |  1980022 |    17886    276 |        1 |        1
1739.09/1739.65	c 1739s |      22 |  4437253 |  1982122 |    17886    276 |        1 |        1
1741.19/1741.70	c 1741s |      22 |  4440919 |  1984322 |    17886    276 |        1 |        1
1743.29/1743.80	c 1743s |      22 |  4449124 |  1986522 |    17886    276 |        1 |        1
1745.29/1745.82	c 1745s |      22 |  4453505 |  1988422 |    17886    276 |        1 |        1
1747.29/1747.83	c 1747s |      22 |  4455722 |  1990222 |    17886    277 |        1 |        1
1749.39/1749.92	c 1749s |      22 |  4460675 |  1992322 |    17886    277 |        1 |        1
1751.39/1751.96	c 1751s |      22 |  4463089 |  1994222 |    17886    277 |        1 |        1
1753.39/1753.99	c 1753s |      22 |  4467717 |  1996222 |    17886    277 |        1 |        1
1755.49/1756.06	c 1755s |      22 |  4469610 |  1998022 |    17886    277 |        1 |        1
1757.59/1758.15	c 1758s |      22 |  4472302 |  2000022 |    17886    278 |        1 |        1
1759.59/1760.19	c 1760s |      22 |  4473667 |  2001322 |    17886    278 |        1 |        1
1761.69/1762.27	c 1762s |      22 |  4477806 |  2003722 |    17886    278 |        1 |        1
1763.78/1764.30	c 1764s |      22 |  4483044 |  2005922 |    17886    278 |        1 |        1
1765.78/1766.36	c 1766s |      22 |  4485184 |  2007422 |    17886    279 |        1 |        1
1767.88/1768.40	c 1768s |      22 |  4488979 |  2009522 |    17886    279 |        1 |        1
1769.88/1770.44	c 1770s |      22 |  4491267 |  2011422 |    17886    279 |        1 |        1
1771.98/1772.50	c 1772s |      22 |  4493325 |  2013322 |    17886    279 |        1 |        1
1773.98/1774.57	c 1774s |      22 |  4495363 |  2015122 |    17886    279 |        1 |        1
1776.09/1776.64	c 1776s |      22 |  4497669 |  2016922 |    17886    280 |        1 |        1
1778.08/1778.64	c 1778s |      22 |  4500607 |  2019022 |    17886    280 |        1 |        1
1780.08/1780.66	c 1780s |      22 |  4503126 |  2021122 |    17886    280 |        1 |        1
1782.18/1782.75	c 1782s |      22 |  4505612 |  2023422 |    17886    280 |        1 |        1
1784.18/1784.78	c 1784s |      22 |  4508026 |  2025222 |    17886    280 |        1 |        1
1786.28/1786.86	c 1786s |      22 |  4510605 |  2026722 |    17886    281 |        1 |        1
1788.28/1788.86	c 1788s |      22 |  4514158 |  2028922 |    17886    281 |        1 |        1
1790.28/1790.89	c 1790s |      22 |  4517136 |  2030822 |    17886    281 |        1 |        1
1792.38/1792.90	c 1792s |      22 |  4519600 |  2032622 |    17886    281 |        1 |        1
1794.48/1795.01	c 1794s |      22 |  4521805 |  2034322 |    17886    282 |        1 |        1
1796.48/1797.07	c 1796s |      22 |  4523756 |  2036222 |    17886    282 |        1 |        1
1799.28/1799.80	c 1799s |      22 |  4526071 |  2038322 |    17886    282 |        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-4080092-1465261490/watcher-4080092-1465261490 -o /tmp/evaluation-result-4080092-1465261490/solver-4080092-1465261490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080092-1465261490.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.22 2.18 2/174 5951
/proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=244156 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 4 0 108082025 250015744 676 33554432000 4194304 16246674 140735588282080 140735588281504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 61551 686 441 2943 0 58445 0
[pid=5951/tid=5952] ppid=5948 vsize=258492 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 264695808 734 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=262588 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 268890112 750 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=267708 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108082025 274132992 768 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.22 2.22 2.18 2/174 5951
/proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1222212 CPUtime=0.08 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 21694 0 0 0 6 2 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140735588281392 13956009 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 305553 21491 837 2943 0 302447 0
[pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 21491 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.200487 s]
/proc/loadavg: 2.22 2.22 2.18 2/174 5951
/proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 38087 0 0 0 15 4 0 0 20 0 4 0 108082025 1251545088 37885 33554432000 4194304 16246674 140735588282080 140735588281392 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 305553 37893 909 2943 0 302447 0
[pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 37898 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 37903 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 37907 33554432000 4194304 16246674 140735588282080 140124533804208 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.300478 s]
/proc/loadavg: 2.22 2.22 2.18 2/174 5951
/proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 63278 0 0 0 22 7 0 0 20 0 4 0 108082025 1251545088 63075 33554432000 4194304 16246674 140735588282080 140735588281392 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 305553 63091 909 2943 0 302447 0
[pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 63099 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 63108 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 63116 33554432000 4194304 16246674 140735588282080 140124533804208 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.700407 s]
/proc/loadavg: 2.22 2.22 2.18 2/174 5951
/proc/meminfo: memFree=30254456/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 163652 0 0 0 48 21 0 0 20 0 4 0 108082025 1251545088 163449 33554432000 4194304 16246674 140735588282080 140735588264000 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 305553 163461 909 2943 0 302447 0
[pid=5951/tid=5952] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 163466 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 163471 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1251545088 163475 33554432000 4194304 16246674 140735588282080 140124533804208 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.50041 s]
/proc/loadavg: 2.20 2.22 2.18 3/184 5990
/proc/meminfo: memFree=28426960/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 266352 0 0 0 115 34 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140735588264000 12483218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 325265 266149 912 2943 0 322159 0
[pid=5951/tid=5952] ppid=5948 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1332285440 266149 33554432000 4194304 16246674 140735588282080 140124533804208 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.10037 s]
/proc/loadavg: 2.20 2.22 2.18 3/184 5990
/proc/meminfo: memFree=28115596/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 268001 0 0 0 275 34 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140735588264000 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 326801 267798 919 2943 0 323695 0
[pid=5951/tid=5952] ppid=5948 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1338576896 267798 33554432000 4194304 16246674 140735588282080 140124533804208 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.3004 s]
/proc/loadavg: 2.20 2.22 2.18 3/184 5990
/proc/meminfo: memFree=28105088/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1311300 CPUtime=6.28 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 269026 0 0 0 594 34 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140735588264000 6011723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 327825 268823 920 2943 0 324719 0
[pid=5951/tid=5952] ppid=5948 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1342771200 268823 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 2.25 2.23 2.18 4/184 5990
/proc/meminfo: memFree=28095348/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 269833 0 0 0 1234 34 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140735588264000 5603171 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 328849 269630 920 2943 0 325743 0
[pid=5951/tid=5952] ppid=5948 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1346965504 269630 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.18 3/184 5990
/proc/meminfo: memFree=28091308/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1320516 CPUtime=25.48 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 271159 0 0 0 2513 35 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140735588264000 5827686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 330129 270955 920 2943 0 327023 0
[pid=5951/tid=5952] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 270955 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.21 2.22 2.18 3/184 5990
/proc/meminfo: memFree=28087688/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1320516 CPUtime=51.07 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 271342 0 0 0 5072 35 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140735588264000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 330129 271127 920 2943 0 327023 0
[pid=5951/tid=5952] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1352208384 271127 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1320516

[startup+102.301 s]
/proc/loadavg: 2.20 2.21 2.18 3/184 5991
/proc/meminfo: memFree=28082172/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1325636 CPUtime=102.26 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 272656 0 0 0 10190 36 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140735588264000 12483332 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 331409 272408 921 2943 0 328303 0
[pid=5951/tid=5952] ppid=5948 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1357451264 272408 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1325636


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

/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1355332

[startup+1302.3 s]
/proc/loadavg: 2.26 2.21 2.19 3/184 7735
/proc/meminfo: memFree=27827108/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1355332 CPUtime=1301.85 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 130135 50 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 338833 279833 922 2943 0 335727 0
[pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.30 2.23 2.20 3/184 7736
/proc/meminfo: memFree=27827212/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1355332 CPUtime=1361.85 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 136134 51 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 12483215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 338833 279833 922 2943 0 335727 0
[pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/184 7737
/proc/meminfo: memFree=27827036/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1355332 CPUtime=1421.84 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 142132 52 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 338833 279833 922 2943 0 335727 0
[pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1355332

[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/184 7738
/proc/meminfo: memFree=27827008/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1355332 CPUtime=1481.82 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 148130 52 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588281256 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 338833 279833 922 2943 0 335727 0
[pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 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) 1355332

[startup+1542.31 s]
/proc/loadavg: 2.17 2.18 2.18 3/185 7743
/proc/meminfo: memFree=27827288/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1355332 CPUtime=1541.82 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 154129 53 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 5717928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 338833 279833 922 2943 0 335727 0
[pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1355332

[startup+1602.3 s]
/proc/loadavg: 2.31 2.22 2.19 3/184 7744
/proc/meminfo: memFree=27827544/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1355332 CPUtime=1601.81 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280441 0 0 0 160127 54 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140735588264000 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 338833 279833 922 2943 0 335727 0
[pid=5951/tid=5952] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1387859968 279833 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1355332

[startup+1662.3 s]
/proc/loadavg: 2.26 2.22 2.19 3/184 7745
/proc/meminfo: memFree=27826312/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1356356 CPUtime=1661.8 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 166125 55 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588281256 12477798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 339089 280089 922 2943 0 335983 0
[pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1356356

[startup+1722.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/184 7758
/proc/meminfo: memFree=27826016/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1356356 CPUtime=1721.79 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 172123 56 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588264000 5722912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 339089 280089 922 2943 0 335983 0
[pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 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) 1356356

[startup+1782.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/183 7759
/proc/meminfo: memFree=27825656/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1356356 CPUtime=1781.78 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 178122 56 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588264000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 339089 280089 922 2943 0 335983 0
[pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1356356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.19 2.18 3/183 7759
/proc/meminfo: memFree=27825788/32872528 swapFree=16384/1696552
[pid=5951] ppid=5948 vsize=1356356 CPUtime=1800.08 cores=1,3,5,7
/proc/5951/stat : 5951 (toysat) R 5948 5951 5723 0 -1 4202496 280697 0 0 0 179952 56 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140735588264000 12875067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5951/statm: 339089 280089 922 2943 0 335983 0
[pid=5951/tid=5952] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5952/stat : 5952 (toysat) S 5948 5951 5723 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124554767600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5951/tid=5953] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5953/stat : 5953 (toysat) S 5948 5951 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124544277744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5951/tid=5954] ppid=5948 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/5951/task/5954/stat : 5954 (toysat) S 5948 5951 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108082025 1388908544 280089 33554432000 4194304 16246674 140735588282080 140124533804208 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) 1356356

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 5951 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): 1799.53
CPU system time (s): 0.567913
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1356356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.567913
maximum resident set size= 1120356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280697
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= 418
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5663 second user time and 6.96694 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 03:04:50
IDJOB=4080092
IDBENCH=48243
IDSOLVER=2542
FILE ID=node125/4080092-1465261490
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=814939521

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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:        30254356 kB
Buffers:           73648 kB
Cached:           138496 kB
SwapCached:         2016 kB
Active:           106244 kB
Inactive:         110240 kB
Active(anon):       5196 kB
Inactive(anon):     1380 kB
Active(file):     101048 kB
Inactive(file):   108860 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1759640 kB
Mapped:             7336 kB
Shmem:                 0 kB
Slab:             569776 kB
SReclaimable:      13900 kB
SUnreclaim:       555876 kB
KernelStack:        1488 kB
PageTables:         7844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1805720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1742848 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= 71712 MiB
End job on node125 at 2016-06-07 03:34:50