Trace number 4109146

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMe57b036b50f33fe5c7ba72826e4a4d5e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints54
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 2556
Min constraint cost 1
Max constraint cost 87
Sum of constraints costs 2555
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:10:06+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","--wbo","--search=bcd2","HOME/instance-4109146-1466341805.wbo"]
0.00/0.01	c use --random-gen="3202911582 2279429265 1115986428 2218674799 3275193846 2578623261 3575943662 2065490186 1459346758 1847605618 3799043477 4200986041 1600746799 3848984260 2836020286 3897340619 1211306552 2143155050 4228248366 3459258095 817749824 3139878041 3611517782 619796988 4282336290 2756777578 4189916391 1494684916 3482449831 2914713133 3998529668 2009762770 1497541237 693792328 961307053 2642885902 429320947 3327111196 1327761897 3631039430 3943562506 1768348995 4158552606 3473761160 744536145 3514845658 4028862043 3323908 2737176092 3703810606 243221454 2227010166 1931657627 1589976955 2877486346 1938264091 800041567 2638650297 3555449366 3259632016 1055359649 2068890193 408328153 1619082011 3490314597 260425466 4081716528 3249146712 2538765635 1126158481 619248300 2217196930 2746455023 875998939 3284800375 3117436460 1290252691 349124954 1845593796 909505254 158982402 2375925464 308595870 1439904023 1513552519 3433573466 1447697238 4065666273 1588001742 507457545 3883361835 3948507095 884766058 924532704 1544755506 473388872 656556915 2119657382 1898238214 2739810132 2910765146 3358356171 1290396087 612872660 481005714 1867305422 2375368540 2116607421 2431982687 621739954 1582058453 2672423329 1787077541 3944391372 141876947 1656099379 823171582 1300237695 322048783 410927944 1269521780 1506318391 720956765 3863692516 2858673642 3238535470 2525673366 3303839184 768713196 252598473 3890827664 3202261738 257128127 505375061 4136192403 4196663626 966466394 604162504 2163329622 1207041397 4006481559 396459111 4003058262 1096421377 23414512 2270581544 3088423446 1911045988 99613521 2087602950 1015532116 710330013 2145287403 1343275116 142353875 2959848920 3512018376 3408103937 2854442436 1519944935 4104288307 765869700 1405025187 3258883789 673163098 1150631625 3501762477 2845497332 1807170421 2440363466 1470707431 498577648 2302556896 449650998 95736284 243579356 1050884482 808467772 855600089 3994786709 3999564185 3748921643 2647231414 3570530473 1366356924 1144638145 3967177720 2648906945 4132291551 3564144613 1225218446 568232058 3820733886 3878659424 3702760748 3642130745 843028722 2454749801 3403337505 975466622 277763539 3124708408 203827811 2788964158 4204567212 86714611 144821941 1452282208 829704523 2522654864 1073417117 473559148 480593522 3030768229 320323656 1933208134 2293196522 3606104540 1199331875 3210429748 3743294304 3494714555 2980450455 2906383140 2084612065 2195542672 1279555745 4045691451 4119796189 6778136 3268361107 1318308446 2807388073 2408223446 1951206212 335941384 3331573240 2827457313 3843384772 196694398 2375339409 3934204380 2218678829 3221441414 2058971990 1237326043 1047760902 144227740 108447518 2513440490 2750457209 1698171144 1925716794 3852981841 2920696699 1893712882 255 362436" option to reproduce the execution
0.09/0.15	c #vars 3280
0.09/0.15	c #constraints 162
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     1165      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |      211 |      100 |     1165      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |     1713 |      102 |     1282      0 |        0 |        0
0.19/0.22	c #cpu_time = 0.048s
0.19/0.22	c #wall_clock_time = 0.048s
0.19/0.22	c #decision = 1713
0.19/0.22	c #random_decision = 3
0.19/0.22	c #conflict = 102
0.19/0.22	c #restart = 1
0.19/0.22	o 1254
0.19/0.22	c BCD2: updating upper bound: 2555 -> 1253
0.19/0.22	c BCD2: 0 <= obj <= 1253
0.19/0.22	c BCD2: #cores=0, #unrelaxed=54, #relaxed=0, #hardened=0
0.19/0.22	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.22	c Solving starts ...
0.19/0.22	c ============================[ Search Statistics ]============================
0.19/0.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.22	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.22	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1282      0 |        0 |        0
0.19/0.28	c  0.1s |       1 |      530 |      100 |     1282      0 |        0 |        0
0.29/0.40	c  0.2s |       2 |     1832 |      250 |     1411      0 |        0 |        0
0.59/0.60	c  0.4s |       3 |     3774 |      475 |     1553      0 |        0 |        0
0.78/0.81	c  0.6s |       4 |     6704 |      813 |     1709      0 |        0 |        0
1.29/1.32	c  1.1s |       5 |     8812 |     1320 |     1880      0 |        0 |        0
1.89/1.90	c  1.7s |       6 |    10710 |     2081 |     2068      0 |        0 |        0
2.99/3.00	c  2.8s |       7 |    12909 |     3223 |     2275      1 |        0 |        0
4.99/5.01	c  4.8s |       7 |    16330 |     4923 |     2503      1 |        0 |        0
5.19/5.24	c  4.8s |       8 |    16360 |     4936 |     2503      1 |        0 |        0
7.09/7.13	c  6.9s |       8 |    19888 |     7136 |     2503      2 |        0 |        0
7.49/7.59	c  7.4s |       9 |    20342 |     7506 |     2754      3 |        0 |        0
9.59/9.62	c  9.4s |       9 |    23779 |     9806 |     2754      4 |        0 |        0
11.39/11.48	c 11.3s |      10 |    25540 |    11361 |     3030      4 |        0 |        0
13.48/13.54	c 13.3s |      10 |    29235 |    13361 |     3030      5 |        0 |        0
15.58/15.63	c 15.4s |      10 |    31100 |    14961 |     3030      6 |        0 |        0
17.59/17.64	c 17.4s |      10 |    32555 |    16261 |     3030      6 |        0 |        0
19.08/19.10	c 18.9s |      11 |    33645 |    17144 |     3334      7 |        0 |        0
21.18/21.21	c 21.0s |      11 |    36686 |    18944 |     3334      7 |        0 |        0
23.19/23.22	c 23.0s |      11 |    38267 |    20344 |     3334      8 |        0 |        0
25.29/25.33	c 25.1s |      11 |    39746 |    21644 |     3334      9 |        0 |        0
27.38/27.42	c 27.2s |      11 |    41468 |    23144 |     3334      9 |        0 |        0
29.38/29.43	c 29.2s |      11 |    42913 |    24444 |     3334     10 |        0 |        0
31.38/31.46	c 31.2s |      11 |    44132 |    25544 |     3334     10 |        0 |        0
31.99/32.02	c 31.8s |      12 |    44438 |    25819 |     3668     10 |        0 |        0
33.98/34.04	c 33.8s |      12 |    47898 |    27819 |     3668     11 |        0 |        0
35.98/36.08	c 35.9s |      12 |    49823 |    29519 |     3668     12 |        0 |        0
38.08/38.14	c 37.9s |      12 |    51616 |    31119 |     3668     12 |        0 |        0
40.08/40.17	c 39.9s |      12 |    53523 |    32819 |     3668     13 |        0 |        0
42.18/42.20	c 42.0s |      12 |    55192 |    34319 |     3668     14 |        0 |        0
44.19/44.22	c 44.0s |      12 |    57088 |    36019 |     3668     14 |        0 |        0
46.19/46.26	c 46.0s |      12 |    60104 |    37619 |     3668     15 |        0 |        0
48.18/48.21	c 48.0s |      13 |    62216 |    38832 |     4035     15 |        0 |        0
50.18/50.26	c 50.0s |      13 |    67072 |    40732 |     4035     16 |        0 |        0
52.28/52.38	c 52.2s |      13 |    68858 |    42332 |     4035     17 |        0 |        0
54.28/54.39	c 54.2s |      13 |    70369 |    43732 |     4035     17 |        0 |        0
56.38/56.48	c 56.3s |      13 |    71756 |    45032 |     4035     17 |        0 |        0
58.58/58.61	c 58.4s |      13 |    73339 |    46432 |     4035     18 |        0 |        0
60.59/60.69	c 60.5s |      13 |    74598 |    47532 |     4035     18 |        0 |        0
62.69/62.73	c 62.5s |      13 |    75836 |    48632 |     4035     19 |        0 |        0
64.68/64.79	c 64.6s |      13 |    77288 |    49932 |     4035     19 |        0 |        0
66.78/66.83	c 66.6s |      13 |    78569 |    51132 |     4035     20 |        0 |        0
68.98/69.01	c 68.8s |      13 |    80102 |    52532 |     4035     20 |        0 |        0
71.18/71.20	c 71.0s |      13 |    81397 |    53732 |     4035     21 |        0 |        0
73.18/73.22	c 73.0s |      13 |    82813 |    55032 |     4035     21 |        0 |        0
75.38/75.43	c 75.2s |      13 |    84130 |    56232 |     4035     21 |        0 |        0
77.48/77.55	c 77.3s |      13 |    85457 |    57432 |     4035     22 |        0 |        0
78.98/79.01	c 78.8s |      14 |    86467 |    58352 |     4439     22 |        0 |        0
80.98/81.08	c 80.9s |      14 |    90058 |    60652 |     4439     23 |        0 |        0
83.08/83.10	c 82.9s |      14 |    92230 |    62552 |     4439     24 |        0 |        0
85.18/85.24	c 85.0s |      14 |    94128 |    64252 |     4439     24 |        0 |        0
87.28/87.31	c 87.1s |      14 |    95674 |    65652 |     4439     25 |        0 |        0
89.28/89.38	c 89.2s |      14 |    97441 |    67252 |     4439     25 |        0 |        0
91.38/91.49	c 91.3s |      14 |    99116 |    68752 |     4439     25 |        0 |        0
93.37/93.49	c 93.3s |      14 |   100960 |    70352 |     4439     26 |        0 |        0
95.57/95.66	c 95.4s |      14 |   102368 |    71652 |     4439     26 |        0 |        0
97.57/97.68	c 97.5s |      14 |   103439 |    72652 |     4439     27 |        0 |        0
99.67/99.73	c 99.5s |      14 |   105087 |    74152 |     4439     27 |        0 |        0
101.67/101.78	c  101s |      14 |   106752 |    75652 |     4439     28 |        0 |        0
103.77/103.80	c  103s |      14 |   108284 |    77052 |     4439     28 |        0 |        0
105.87/105.90	c  105s |      14 |   109797 |    78452 |     4439     28 |        0 |        0
107.88/107.93	c  107s |      14 |   111573 |    80052 |     4439     29 |        0 |        0
109.98/110.01	c  109s |      14 |   113208 |    81552 |     4439     29 |        0 |        0
111.97/112.02	c  111s |      14 |   114776 |    82952 |     4439     30 |        0 |        0
113.97/114.07	c  113s |      14 |   116406 |    84452 |     4439     30 |        0 |        0
116.07/116.14	c  115s |      14 |   117841 |    85752 |     4439     31 |        0 |        0
118.17/118.22	c  118s |      14 |   119641 |    87352 |     4883     31 |        0 |        0
118.57/118.60	c  118s |      15 |   119941 |    87632 |     4883     31 |        0 |        0
120.67/120.75	c  120s |      15 |   123352 |    89232 |     4883     32 |        0 |        0
122.77/122.83	c  122s |      15 |   124549 |    90332 |     4883     32 |        0 |        0
124.87/124.95	c  124s |      15 |   125730 |    91432 |     4883     32 |        0 |        0
126.97/127.10	c  126s |      15 |   126905 |    92532 |     4883     32 |        0 |        0
129.17/129.21	c  128s |      15 |   127871 |    93432 |     4883     33 |        0 |        0
131.27/131.35	c  131s |      15 |   128840 |    94332 |     4883     33 |        0 |        0
133.27/133.38	c  133s |      15 |   129968 |    95332 |     4883     33 |        0 |        0
135.47/135.57	c  135s |      15 |   131083 |    96332 |     4883     33 |        0 |        0
137.67/137.72	c  137s |      15 |   132110 |    97232 |     4883     34 |        0 |        0
139.77/139.86	c  139s |      15 |   133173 |    98232 |     4883     34 |        0 |        0
141.97/142.07	c  141s |      15 |   134290 |    99232 |     4883     34 |        0 |        0
144.07/144.12	c  143s |      15 |   135301 |   100132 |     4883     34 |        0 |        0
146.17/146.20	c  145s |      15 |   136182 |   100932 |     4883     35 |        0 |        0
148.26/148.35	c  148s |      15 |   137316 |   101932 |     4883     35 |        0 |        0
150.36/150.49	c  150s |      15 |   138411 |   102932 |     4883     35 |        0 |        0
152.56/152.66	c  152s |      15 |   139402 |   103832 |     4883     35 |        0 |        0
154.86/154.98	c  154s |      15 |   140280 |   104632 |     4883     36 |        0 |        0
157.07/157.15	c  156s |      15 |   141402 |   105632 |     4883     36 |        0 |        0
159.16/159.25	c  159s |      15 |   142397 |   106532 |     4883     36 |        0 |        0
161.36/161.41	c  161s |      15 |   143503 |   107532 |     4883     36 |        0 |        0
163.47/163.56	c  163s |      15 |   144499 |   108432 |     4883     36 |        0 |        0
165.46/165.58	c  165s |      15 |   145252 |   109132 |     4883     37 |        0 |        0
167.76/167.85	c  167s |      15 |   146270 |   110032 |     4883     37 |        0 |        0
169.76/169.86	c  169s |      15 |   147150 |   110832 |     4883     37 |        0 |        0
171.86/171.95	c  171s |      15 |   148034 |   111632 |     4883     37 |        0 |        0
173.96/174.06	c  173s |      15 |   148886 |   112432 |     4883     37 |        0 |        0
175.97/176.07	c  175s |      15 |   149561 |   113032 |     4883     38 |        0 |        0
178.06/178.12	c  177s |      15 |   150570 |   113932 |     4883     38 |        0 |        0
180.26/180.39	c  180s |      15 |   151572 |   114832 |     4883     38 |        0 |        0
182.46/182.57	c  182s |      15 |   152439 |   115632 |     4883     38 |        0 |        0
184.65/184.72	c  184s |      15 |   153323 |   116432 |     4883     38 |        0 |        0
186.66/186.78	c  186s |      15 |   154310 |   117332 |     4883     39 |        0 |        0
188.86/188.92	c  188s |      15 |   155547 |   118432 |     4883     39 |        0 |        0
190.86/190.95	c  190s |      15 |   156571 |   119332 |     4883     39 |        0 |        0
192.96/193.03	c  192s |      15 |   157583 |   120232 |     4883     39 |        0 |        0
194.95/195.08	c  194s |      15 |   158644 |   121132 |     4883     40 |        0 |        0
196.97/197.09	c  196s |      15 |   159841 |   122232 |     4883     40 |        0 |        0
199.26/199.30	c  199s |      15 |   161050 |   123332 |     4883     40 |        0 |        0
201.36/201.48	c  201s |      15 |   162045 |   124232 |     4883     40 |        0 |        0
203.46/203.51	c  203s |      15 |   162815 |   124932 |     4883     41 |        0 |        0
205.67/205.72	c  205s |      15 |   163705 |   125732 |     4883     41 |        0 |        0
207.76/207.86	c  207s |      15 |   164553 |   126532 |     4883     41 |        0 |        0
209.96/210.05	c  209s |      15 |   165455 |   127332 |     4883     41 |        0 |        0
212.15/212.29	c  212s |      15 |   166244 |   128032 |     4883     41 |        0 |        0
214.35/214.49	c  214s |      15 |   166929 |   128632 |     4883     42 |        0 |        0
216.35/216.49	c  216s |      15 |   168375 |   129732 |     4883     42 |        0 |        0
218.46/218.57	c  218s |      15 |   169503 |   130732 |     5372     42 |        0 |        0
220.35/220.48	c  220s |      16 |   170422 |   131552 |     5372     42 |        0 |        0
222.45/222.50	c  222s |      16 |   173621 |   132752 |     5372     43 |        0 |        0
224.46/224.53	c  224s |      16 |   175052 |   134052 |     5372     43 |        0 |        0
226.56/226.63	c  226s |      16 |   176380 |   135252 |     5372     43 |        0 |        0
228.65/228.72	c  228s |      16 |   177508 |   136252 |     5372     44 |        0 |        0
230.85/230.93	c  230s |      16 |   178662 |   137252 |     5372     44 |        0 |        0
232.85/232.98	c  232s |      16 |   179693 |   138152 |     5372     44 |        0 |        0
234.95/235.04	c  234s |      16 |   180723 |   139052 |     5372     44 |        0 |        0
237.35/237.41	c  237s |      16 |   181703 |   139952 |     5372     45 |        0 |        0
239.35/239.45	c  239s |      16 |   182834 |   140952 |     5372     45 |        0 |        0
241.55/241.61	c  241s |      16 |   183954 |   141952 |     5372     45 |        0 |        0
243.65/243.72	c  243s |      16 |   184960 |   142852 |     5372     45 |        0 |        0
245.65/245.75	c  245s |      16 |   185841 |   143652 |     5372     45 |        0 |        0
247.75/247.87	c  247s |      16 |   186754 |   144452 |     5372     46 |        0 |        0
249.76/249.88	c  249s |      16 |   187869 |   145452 |     5372     46 |        0 |        0
251.86/251.97	c  251s |      16 |   188982 |   146452 |     5372     46 |        0 |        0
254.06/254.17	c  253s |      16 |   189979 |   147352 |     5372     46 |        0 |        0
256.15/256.20	c  255s |      16 |   190886 |   148152 |     5372     47 |        0 |        0
258.25/258.39	c  258s |      16 |   191995 |   149152 |     5372     47 |        0 |        0
260.35/260.42	c  260s |      16 |   193154 |   150152 |     5372     47 |        0 |        0
262.55/262.60	c  262s |      16 |   194404 |   151252 |     5372     47 |        0 |        0
264.55/264.66	c  264s |      16 |   195467 |   152152 |     5372     48 |        0 |        0
266.65/266.74	c  266s |      16 |   196580 |   153152 |     5372     48 |        0 |        0
268.75/268.81	c  268s |      16 |   197479 |   153952 |     5372     48 |        0 |        0
270.84/270.93	c  270s |      16 |   198350 |   154752 |     5372     48 |        0 |        0
273.04/273.16	c  272s |      16 |   199324 |   155652 |     5372     48 |        0 |        0
275.24/275.34	c  275s |      16 |   200211 |   156452 |     5372     49 |        0 |        0
277.26/277.39	c  277s |      16 |   201078 |   157252 |     5372     49 |        0 |        0
279.36/279.42	c  279s |      16 |   201972 |   158052 |     5372     49 |        0 |        0
281.35/281.45	c  281s |      16 |   203113 |   159052 |     5372     49 |        0 |        0
283.45/283.54	c  283s |      16 |   204003 |   159852 |     5372     50 |        0 |        0
285.55/285.65	c  285s |      16 |   205082 |   160852 |     5372     50 |        0 |        0
287.65/287.74	c  287s |      16 |   206342 |   161952 |     5372     50 |        0 |        0
289.85/289.92	c  289s |      16 |   207454 |   162952 |     5372     50 |        0 |        0
291.85/291.96	c  291s |      16 |   208307 |   163752 |     5372     51 |        0 |        0
294.05/294.17	c  293s |      16 |   209398 |   164752 |     5372     51 |        0 |        0
296.15/296.27	c  296s |      16 |   210494 |   165752 |     5372     51 |        0 |        0
298.34/298.48	c  298s |      16 |   211465 |   166652 |     5372     51 |        0 |        0
300.44/300.50	c  300s |      16 |   212319 |   167452 |     5372     51 |        0 |        0
302.55/302.66	c  302s |      16 |   213478 |   168452 |     5372     52 |        0 |        0
304.75/304.82	c  304s |      16 |   214732 |   169552 |     5372     52 |        0 |        0
306.85/306.98	c  306s |      16 |   215824 |   170552 |     5372     52 |        0 |        0
308.94/309.09	c  308s |      16 |   216796 |   171452 |     5372     52 |        0 |        0
311.04/311.14	c  310s |      16 |   217569 |   172152 |     5372     53 |        0 |        0
313.04/313.15	c  312s |      16 |   218681 |   173152 |     5372     53 |        0 |        0
315.14/315.20	c  314s |      16 |   219704 |   174052 |     5372     53 |        0 |        0
317.24/317.38	c  317s |      16 |   220944 |   175152 |     5372     53 |        0 |        0
319.34/319.45	c  319s |      16 |   221956 |   176052 |     5372     54 |        0 |        0
321.34/321.47	c  321s |      16 |   222949 |   176952 |     5372     54 |        0 |        0
323.54/323.68	c  323s |      16 |   223916 |   177852 |     5372     54 |        0 |        0
325.65/325.72	c  325s |      16 |   224916 |   178752 |     5372     54 |        0 |        0
327.84/327.91	c  327s |      16 |   225932 |   179652 |     5372     55 |        0 |        0
329.94/330.03	c  329s |      16 |   227035 |   180652 |     5372     55 |        0 |        0
332.04/332.11	c  331s |      16 |   228002 |   181552 |     5372     55 |        0 |        0
334.14/334.22	c  333s |      16 |   228958 |   182452 |     5372     55 |        0 |        0
336.33/336.42	c  336s |      16 |   229935 |   183352 |     5372     56 |        0 |        0
338.43/338.55	c  338s |      16 |   230794 |   184152 |     5372     56 |        0 |        0
340.53/340.65	c  340s |      16 |   231642 |   184952 |     5372     56 |        0 |        0
342.63/342.79	c  342s |      16 |   232515 |   185752 |     5372     56 |        0 |        0
344.83/344.92	c  344s |      16 |   233510 |   186552 |     5372     56 |        0 |        0
346.83/346.96	c  346s |      16 |   234471 |   187352 |     5372     57 |        0 |        0
348.93/349.09	c  348s |      16 |   235660 |   188352 |     5372     57 |        0 |        0
351.13/351.21	c  350s |      16 |   236835 |   189352 |     5372     57 |        0 |        0
353.33/353.40	c  353s |      16 |   237983 |   190352 |     5372     57 |        0 |        0
355.43/355.56	c  355s |      16 |   238989 |   191252 |     5372     58 |        0 |        0
357.44/357.57	c  357s |      16 |   239896 |   192052 |     5372     58 |        0 |        0
359.53/359.61	c  359s |      16 |   240816 |   192852 |     5372     58 |        0 |        0
361.63/361.71	c  361s |      16 |   241687 |   193652 |     5372     58 |        0 |        0
363.73/363.80	c  363s |      16 |   242563 |   194452 |     5372     58 |        0 |        0
365.84/365.97	c  365s |      16 |   243334 |   195152 |     5372     59 |        0 |        0
367.94/368.07	c  367s |      16 |   244329 |   196052 |     5910     59 |        0 |        0
370.23/370.32	c  370s |      16 |   245354 |   196952 |     5910     59 |        0 |        0
371.43/371.56	c  371s |      17 |   245904 |   197432 |     5910     59 |        0 |        0
373.53/373.67	c  373s |      17 |   249049 |   199232 |     5910     60 |        0 |        0
375.63/375.76	c  375s |      17 |   250857 |   200832 |     5910     60 |        0 |        0
377.73/377.83	c  377s |      17 |   252340 |   202132 |     5910     61 |        0 |        0
379.73/379.86	c  379s |      17 |   253775 |   203432 |     5910     61 |        0 |        0
381.83/381.91	c  381s |      17 |   255104 |   204632 |     5910     61 |        0 |        0
384.03/384.11	c  383s |      17 |   256493 |   205832 |     5910     61 |        0 |        0
386.23/386.30	c  386s |      17 |   257721 |   206932 |     5910     62 |        0 |        0
388.24/388.31	c  388s |      17 |   258705 |   207832 |     5910     62 |        0 |        0
390.44/390.51	c  390s |      17 |   259684 |   208732 |     5910     62 |        0 |        0
392.83/392.91	c  392s |      17 |   260905 |   209832 |     5910     63 |        0 |        0
394.84/394.92	c  394s |      17 |   262287 |   211032 |     5910     63 |        0 |        0
396.83/396.93	c  396s |      17 |   263643 |   212232 |     5910     63 |        0 |        0
399.03/399.10	c  398s |      17 |   265050 |   213532 |     5910     63 |        0 |        0
401.03/401.14	c  400s |      17 |   266156 |   214532 |     5910     64 |        0 |        0
403.23/403.38	c  403s |      17 |   267474 |   215732 |     5910     64 |        0 |        0
405.33/405.47	c  405s |      17 |   268596 |   216732 |     5910     64 |        0 |        0
407.43/407.59	c  407s |      17 |   269801 |   217832 |     5910     65 |        0 |        0
409.53/409.64	c  409s |      17 |   271245 |   219132 |     5910     65 |        0 |        0
411.63/411.78	c  411s |      17 |   272437 |   220232 |     5910     65 |        0 |        0
413.93/414.07	c  413s |      17 |   273647 |   221332 |     5910     66 |        0 |        0
416.03/416.12	c  415s |      17 |   275064 |   222632 |     5910     66 |        0 |        0
418.03/418.15	c  417s |      17 |   276278 |   223732 |     5910     66 |        0 |        0
420.23/420.34	c  420s |      17 |   277454 |   224832 |     5910     66 |        0 |        0
422.52/422.65	c  422s |      17 |   278640 |   225932 |     5910     67 |        0 |        0
424.63/424.71	c  424s |      17 |   279833 |   227032 |     5910     67 |        0 |        0
426.73/426.81	c  426s |      17 |   281361 |   228332 |     5910     67 |        0 |        0
428.82/428.95	c  428s |      17 |   282716 |   229532 |     5910     68 |        0 |        0
430.92/431.00	c  430s |      17 |   283994 |   230632 |     5910     68 |        0 |        0
433.02/433.13	c  432s |      17 |   285128 |   231632 |     5910     68 |        0 |        0
435.02/435.17	c  434s |      17 |   286135 |   232532 |     5910     68 |        0 |        0
437.12/437.27	c  437s |      17 |   287106 |   233432 |     5910     69 |        0 |        0
439.22/439.37	c  439s |      17 |   288087 |   234332 |     5910     69 |        0 |        0
441.32/441.49	c  441s |      17 |   289377 |   235432 |     5910     69 |        0 |        0
443.52/443.60	c  443s |      17 |   290462 |   236432 |     5910     69 |        0 |        0
445.62/445.71	c  445s |      17 |   291588 |   237432 |     5910     70 |        0 |        0
447.82/447.94	c  447s |      17 |   292691 |   238432 |     5910     70 |        0 |        0
450.02/450.14	c  449s |      17 |   293963 |   239532 |     5910     70 |        0 |        0
452.12/452.29	c  452s |      17 |   294955 |   240432 |     5910     70 |        0 |        0
454.32/454.45	c  454s |      17 |   296038 |   241432 |     5910     71 |        0 |        0
456.42/456.54	c  456s |      17 |   297035 |   242332 |     5910     71 |        0 |        0
458.52/458.69	c  458s |      17 |   298009 |   243232 |     5910     71 |        0 |        0
460.82/460.91	c  460s |      17 |   299013 |   244132 |     5910     71 |        0 |        0
462.91/463.02	c  462s |      17 |   299891 |   244932 |     5910     72 |        0 |        0
464.91/465.05	c  464s |      17 |   301517 |   246332 |     5910     72 |        0 |        0
467.01/467.15	c  466s |      17 |   302824 |   247532 |     5910     72 |        0 |        0
469.21/469.32	c  469s |      17 |   304051 |   248632 |     5910     73 |        0 |        0
471.21/471.38	c  471s |      17 |   305149 |   249632 |     5910     73 |        0 |        0
473.31/473.48	c  473s |      17 |   306222 |   250632 |     5910     73 |        0 |        0
475.41/475.56	c  475s |      17 |   307308 |   251632 |     5910     73 |        0 |        0
477.42/477.59	c  477s |      17 |   308165 |   252432 |     5910     74 |        0 |        0
479.62/479.71	c  479s |      17 |   309518 |   253632 |     5910     74 |        0 |        0
481.72/481.83	c  481s |      17 |   310743 |   254732 |     5910     74 |        0 |        0
483.71/483.86	c  483s |      17 |   311831 |   255732 |     5910     74 |        0 |        0
485.71/485.89	c  485s |      17 |   313199 |   256932 |     5910     75 |        0 |        0
487.81/487.94	c  487s |      17 |   314619 |   258232 |     5910     75 |        0 |        0
489.91/490.05	c  489s |      17 |   315675 |   259232 |     5910     75 |        0 |        0
492.01/492.13	c  491s |      17 |   316705 |   260132 |     5910     76 |        0 |        0
494.01/494.13	c  493s |      17 |   318069 |   261332 |     5910     76 |        0 |        0
496.12/496.21	c  495s |      17 |   319415 |   262532 |     5910     76 |        0 |        0
498.11/498.28	c  498s |      17 |   320483 |   263532 |     5910     77 |        0 |        0
500.21/500.40	c  500s |      17 |   321684 |   264632 |     5910     77 |        0 |        0
502.31/502.47	c  502s |      17 |   322891 |   265732 |     5910     77 |        0 |        0
504.41/504.54	c  504s |      17 |   324253 |   266932 |     5910     77 |        0 |        0
506.51/506.61	c  506s |      17 |   325360 |   267932 |     5910     78 |        0 |        0
508.51/508.66	c  508s |      17 |   326468 |   268932 |     5910     78 |        0 |        0
510.51/510.69	c  510s |      17 |   327461 |   269832 |     5910     78 |        0 |        0
512.71/512.82	c  512s |      17 |   328418 |   270732 |     5910     78 |        0 |        0
514.81/514.91	c  514s |      17 |   329620 |   271732 |     5910     79 |        0 |        0
516.91/517.02	c  516s |      17 |   331184 |   273132 |     5910     79 |        0 |        0
518.91/519.05	c  518s |      17 |   332479 |   274332 |     5910     79 |        0 |        0
521.10/521.21	c  520s |      17 |   333694 |   275432 |     5910     80 |        0 |        0
523.20/523.31	c  523s |      17 |   334883 |   276532 |     5910     80 |        0 |        0
525.20/525.37	c  525s |      17 |   335969 |   277532 |     5910     80 |        0 |        0
527.30/527.41	c  527s |      17 |   337049 |   278532 |     5910     80 |        0 |        0
529.30/529.49	c  529s |      17 |   338020 |   279432 |     5910     81 |        0 |        0
531.40/531.53	c  531s |      17 |   339190 |   280532 |     5910     81 |        0 |        0
533.51/533.68	c  533s |      17 |   340276 |   281532 |     5910     81 |        0 |        0
535.61/535.76	c  535s |      17 |   341331 |   282532 |     5910     81 |        0 |        0
538.00/538.14	c  537s |      17 |   342418 |   283532 |     5910     82 |        0 |        0
540.11/540.24	c  540s |      17 |   343481 |   284532 |     5910     82 |        0 |        0
542.21/542.30	c  542s |      17 |   344554 |   285532 |     5910     82 |        0 |        0
544.41/544.55	c  544s |      17 |   345640 |   286532 |     5910     82 |        0 |        0
546.40/546.57	c  546s |      17 |   346737 |   287532 |     5910     83 |        0 |        0
548.50/548.67	c  548s |      17 |   348115 |   288732 |     5910     83 |        0 |        0
550.61/550.77	c  550s |      17 |   349203 |   289732 |     5910     83 |        0 |        0
552.81/552.91	c  552s |      17 |   350232 |   290632 |     5910     84 |        0 |        0
554.81/554.99	c  554s |      17 |   351432 |   291732 |     5910     84 |        0 |        0
557.01/557.12	c  556s |      17 |   352667 |   292832 |     5910     84 |        0 |        0
559.11/559.23	c  559s |      17 |   354050 |   294032 |     5910     84 |        0 |        0
561.20/561.36	c  561s |      17 |   355073 |   294932 |     6502     85 |        0 |        0
563.40/563.56	c  563s |      17 |   356262 |   296032 |     6502     85 |        0 |        0
563.90/564.06	c  563s |      18 |   356509 |   296252 |     6502     85 |        0 |        0
565.90/566.10	c  565s |      18 |   360079 |   298452 |     6502     85 |        0 |        0
568.10/568.22	c  567s |      18 |   362177 |   300252 |     6502     86 |        0 |        0
570.10/570.29	c  570s |      18 |   363665 |   301552 |     6502     86 |        0 |        0
572.20/572.31	c  572s |      18 |   365381 |   303052 |     6502     86 |        0 |        0
574.21/574.32	c  574s |      18 |   366853 |   304352 |     6502     87 |        0 |        0
576.31/576.47	c  576s |      18 |   368666 |   305952 |     6502     87 |        0 |        0
578.40/578.58	c  578s |      18 |   370152 |   307252 |     6502     87 |        0 |        0
580.50/580.61	c  580s |      18 |   371354 |   308352 |     6502     88 |        0 |        0
582.60/582.73	c  582s |      18 |   372698 |   309552 |     6502     88 |        0 |        0
584.60/584.76	c  584s |      18 |   374155 |   310852 |     6502     88 |        0 |        0
586.70/586.81	c  586s |      18 |   375304 |   311852 |     6502     89 |        0 |        0
588.80/588.93	c  588s |      18 |   376985 |   313252 |     6502     89 |        0 |        0
590.90/591.04	c  590s |      18 |   378644 |   314552 |     6502     89 |        0 |        0
593.00/593.13	c  592s |      18 |   379931 |   315652 |     6502     89 |        0 |        0
595.11/595.24	c  595s |      18 |   381169 |   316652 |     6502     90 |        0 |        0
597.31/597.41	c  597s |      18 |   382820 |   317952 |     6502     90 |        0 |        0
599.30/599.47	c  599s |      18 |   384210 |   319152 |     6502     90 |        0 |        0
601.40/601.57	c  601s |      18 |   385385 |   320252 |     6502     91 |        0 |        0
603.50/603.64	c  603s |      18 |   386908 |   321652 |     6502     91 |        0 |        0
605.50/605.67	c  605s |      18 |   388890 |   323152 |     6502     91 |        0 |        0
607.60/607.78	c  607s |      18 |   390628 |   324552 |     6502     92 |        0 |        0
609.69/609.86	c  609s |      18 |   392210 |   325852 |     6502     92 |        0 |        0
611.79/611.93	c  611s |      18 |   394043 |   327152 |     6502     92 |        0 |        0
613.99/614.11	c  613s |      18 |   395607 |   328452 |     6502     92 |        0 |        0
616.00/616.14	c  615s |      18 |   396863 |   329452 |     6502     93 |        0 |        0
617.99/618.18	c  617s |      18 |   398439 |   330652 |     6502     93 |        0 |        0
620.19/620.33	c  620s |      18 |   399998 |   331952 |     6502     93 |        0 |        0
622.19/622.39	c  622s |      18 |   401334 |   332952 |     6502     94 |        0 |        0
624.19/624.40	c  624s |      18 |   402766 |   334152 |     6502     94 |        0 |        0
626.39/626.52	c  626s |      18 |   404458 |   335452 |     6502     94 |        0 |        0
628.49/628.66	c  628s |      18 |   405916 |   336652 |     6502     94 |        0 |        0
630.59/630.76	c  630s |      18 |   407465 |   337852 |     6502     95 |        0 |        0
632.79/632.92	c  632s |      18 |   409053 |   339152 |     6502     95 |        0 |        0
634.89/635.05	c  634s |      18 |   410627 |   340452 |     6502     95 |        0 |        0
636.99/637.18	c  636s |      18 |   411845 |   341452 |     6502     96 |        0 |        0
639.10/639.21	c  638s |      18 |   413582 |   342852 |     6502     96 |        0 |        0
641.09/641.28	c  641s |      18 |   415266 |   344252 |     6502     96 |        0 |        0
643.19/643.30	c  643s |      18 |   416613 |   345352 |     6502     97 |        0 |        0
645.29/645.44	c  645s |      18 |   418461 |   346852 |     6502     97 |        0 |        0
647.39/647.53	c  647s |      18 |   419912 |   348052 |     6502     97 |        0 |        0
649.49/649.62	c  649s |      18 |   421397 |   349252 |     6502     97 |        0 |        0
651.49/651.69	c  651s |      18 |   422754 |   350352 |     6502     98 |        0 |        0
653.69/653.81	c  653s |      18 |   424325 |   351652 |     6502     98 |        0 |        0
655.79/655.90	c  655s |      18 |   425704 |   352852 |     6502     98 |        0 |        0
657.99/658.12	c  657s |      18 |   426846 |   353852 |     6502     99 |        0 |        0
660.00/660.18	c  659s |      18 |   428633 |   355252 |     6502     99 |        0 |        0
662.20/662.32	c  662s |      18 |   430039 |   356352 |     6502     99 |        0 |        0
664.19/664.39	c  664s |      18 |   431388 |   357452 |     6502     99 |        0 |        0
666.39/666.54	c  666s |      18 |   432983 |   358652 |     6502    100 |        0 |        0
668.49/668.61	c  668s |      18 |   434392 |   359752 |     6502    100 |        0 |        0
670.69/670.84	c  670s |      18 |   435842 |   360852 |     6502    100 |        0 |        0
672.69/672.86	c  672s |      18 |   436844 |   361652 |     6502    100 |        0 |        0
674.79/674.94	c  674s |      18 |   437920 |   362552 |     6502    101 |        0 |        0
676.89/677.05	c  676s |      18 |   439189 |   363652 |     6502    101 |        0 |        0
679.09/679.28	c  679s |      18 |   440296 |   364552 |     6502    101 |        0 |        0
681.19/681.34	c  681s |      18 |   441365 |   365352 |     6502    101 |        0 |        0
683.29/683.48	c  683s |      18 |   442655 |   366452 |     6502    102 |        0 |        0
685.49/685.61	c  685s |      18 |   444332 |   367852 |     6502    102 |        0 |        0
687.59/687.70	c  687s |      18 |   445705 |   369052 |     6502    102 |        0 |        0
689.69/689.86	c  689s |      18 |   447041 |   370252 |     6502    102 |        0 |        0
691.79/691.96	c  691s |      18 |   448186 |   371152 |     6502    103 |        0 |        0
693.99/694.12	c  693s |      18 |   449971 |   372652 |     6502    103 |        0 |        0
696.09/696.27	c  696s |      18 |   451243 |   373752 |     6502    103 |        0 |        0
698.08/698.28	c  698s |      18 |   452235 |   374652 |     6502    104 |        0 |        0
700.18/700.39	c  700s |      18 |   453701 |   375952 |     6502    104 |        0 |        0
702.38/702.55	c  702s |      18 |   455011 |   377152 |     6502    104 |        0 |        0
704.38/704.58	c  704s |      18 |   456239 |   378252 |     6502    104 |        0 |        0
706.48/706.68	c  706s |      18 |   457463 |   379352 |     6502    105 |        0 |        0
708.68/708.80	c  708s |      18 |   458710 |   380452 |     6502    105 |        0 |        0
710.68/710.81	c  710s |      18 |   459884 |   381452 |     6502    105 |        0 |        0
712.69/712.89	c  712s |      18 |   461082 |   382452 |     6502    105 |        0 |        0
714.89/715.06	c  714s |      18 |   462072 |   383352 |     6502    106 |        0 |        0
716.98/717.14	c  716s |      18 |   463426 |   384552 |     6502    106 |        0 |        0
719.08/719.20	c  718s |      18 |   464803 |   385752 |     6502    106 |        0 |        0
721.08/721.28	c  721s |      18 |   466034 |   386852 |     6502    106 |        0 |        0
723.18/723.37	c  723s |      18 |   467229 |   387952 |     6502    107 |        0 |        0
725.38/725.52	c  725s |      18 |   468578 |   389152 |     6502    107 |        0 |        0
727.48/727.68	c  727s |      18 |   470016 |   390452 |     6502    107 |        0 |        0
729.68/729.83	c  729s |      18 |   471364 |   391652 |     6502    108 |        0 |        0
731.68/731.89	c  731s |      18 |   472761 |   392952 |     6502    108 |        0 |        0
733.88/734.00	c  733s |      18 |   473873 |   393952 |     6502    108 |        0 |        0
735.98/736.11	c  735s |      18 |   475234 |   395152 |     6502    108 |        0 |        0
737.98/738.12	c  737s |      18 |   476550 |   396352 |     6502    109 |        0 |        0
740.18/740.35	c  740s |      18 |   477758 |   397452 |     6502    109 |        0 |        0
742.27/742.49	c  742s |      18 |   478971 |   398552 |     6502    109 |        0 |        0
744.37/744.59	c  744s |      18 |   480014 |   399452 |     6502    109 |        0 |        0
746.57/746.71	c  746s |      18 |   481361 |   400652 |     6502    110 |        0 |        0
748.67/748.87	c  748s |      18 |   482708 |   401852 |     6502    110 |        0 |        0
750.77/750.93	c  750s |      18 |   483747 |   402752 |     6502    110 |        0 |        0
752.77/752.96	c  752s |      18 |   484990 |   403852 |     6502    110 |        0 |        0
754.87/755.06	c  754s |      18 |   486299 |   405052 |     6502    111 |        0 |        0
757.07/757.28	c  757s |      18 |   487540 |   406152 |     6502    111 |        0 |        0
759.37/759.51	c  759s |      18 |   488714 |   407052 |     6502    111 |        0 |        0
761.57/761.73	c  761s |      18 |   489641 |   407852 |     6502    111 |        0 |        0
763.67/763.88	c  763s |      18 |   490752 |   408852 |     6502    112 |        0 |        0
765.77/765.94	c  765s |      18 |   492039 |   409952 |     6502    112 |        0 |        0
767.87/768.02	c  767s |      18 |   493547 |   411252 |     6502    112 |        0 |        0
769.98/770.13	c  769s |      18 |   494651 |   412252 |     6502    113 |        0 |        0
771.97/772.16	c  771s |      18 |   495984 |   413452 |     6502    113 |        0 |        0
774.07/774.26	c  774s |      18 |   497211 |   414552 |     6502    113 |        0 |        0
776.17/776.31	c  776s |      18 |   498326 |   415552 |     6502    113 |        0 |        0
778.27/778.45	c  778s |      18 |   499486 |   416552 |     6502    114 |        0 |        0
780.37/780.59	c  780s |      18 |   500701 |   417652 |     6502    114 |        0 |        0
782.57/782.72	c  782s |      18 |   501979 |   418752 |     6502    114 |        0 |        0
784.76/784.94	c  784s |      18 |   503183 |   419852 |     6502    114 |        0 |        0
786.76/786.97	c  786s |      18 |   504213 |   420752 |     6502    115 |        0 |        0
788.97/789.16	c  788s |      18 |   505519 |   421952 |     6502    115 |        0 |        0
791.07/791.28	c  791s |      18 |   506619 |   422952 |     6502    115 |        0 |        0
793.17/793.33	c  793s |      18 |   507758 |   423952 |     6502    115 |        0 |        0
795.18/795.37	c  795s |      18 |   509163 |   425152 |     6502    116 |        0 |        0
797.27/797.44	c  797s |      18 |   510965 |   426652 |     6502    116 |        0 |        0
799.47/799.62	c  799s |      18 |   512624 |   428052 |     6502    116 |        0 |        0
801.78/801.93	c  801s |      18 |   513800 |   429052 |     6502    117 |        0 |        0
803.77/803.96	c  803s |      18 |   515141 |   430252 |     6502    117 |        0 |        0
805.97/806.13	c  805s |      18 |   516252 |   431252 |     6502    117 |        0 |        0
808.07/808.21	c  807s |      18 |   517527 |   432252 |     6502    117 |        0 |        0
810.17/810.31	c  810s |      18 |   519013 |   433352 |     6502    118 |        0 |        0
812.17/812.39	c  812s |      18 |   520559 |   434652 |     6502    118 |        0 |        0
814.37/814.53	c  814s |      18 |   522185 |   436052 |     6502    118 |        0 |        0
816.77/816.95	c  816s |      18 |   523614 |   437252 |     6502    119 |        0 |        0
818.77/818.98	c  818s |      18 |   525432 |   438652 |     6502    119 |        0 |        0
820.86/821.05	c  820s |      18 |   526831 |   439852 |     6502    119 |        0 |        0
823.06/823.20	c  822s |      18 |   528058 |   440852 |     6502    119 |        0 |        0
825.06/825.21	c  824s |      18 |   529278 |   441852 |     7153    119 |        0 |        0
827.17/827.37	c  827s |      18 |   530425 |   442752 |     7153    120 |        0 |        0
829.37/829.53	c  829s |      18 |   531897 |   443952 |     7153    120 |        0 |        0
830.37/830.57	c  830s |      19 |   532529 |   444482 |     7153    120 |        0 |        0
832.46/832.60	c  832s |      19 |   536671 |   446482 |     7153    120 |        0 |        0
834.46/834.65	c  834s |      19 |   538631 |   448182 |     7153    121 |        0 |        0
836.56/836.77	c  836s |      19 |   540710 |   449982 |     7153    121 |        0 |        0
838.76/838.90	c  838s |      19 |   542260 |   451382 |     7153    121 |        0 |        0
840.76/840.96	c  840s |      19 |   543563 |   452582 |     7153    121 |        0 |        0
842.76/842.97	c  842s |      19 |   544806 |   453682 |     7153    122 |        0 |        0
844.86/845.06	c  844s |      19 |   546526 |   455182 |     7153    122 |        0 |        0
846.97/847.16	c  846s |      19 |   548106 |   456582 |     7153    122 |        0 |        0
849.06/849.22	c  848s |      19 |   549575 |   457882 |     7153    122 |        0 |        0
851.16/851.31	c  851s |      19 |   550809 |   458982 |     7153    123 |        0 |        0
853.16/853.39	c  853s |      19 |   552400 |   460382 |     7153    123 |        0 |        0
855.26/855.45	c  855s |      19 |   553740 |   461582 |     7153    123 |        0 |        0
857.25/857.49	c  857s |      19 |   554966 |   462682 |     7153    123 |        0 |        0
859.35/859.55	c  859s |      19 |   556189 |   463782 |     7153    124 |        0 |        0
861.45/861.66	c  861s |      19 |   557873 |   465282 |     7153    124 |        0 |        0
863.55/863.70	c  863s |      19 |   559339 |   466582 |     7153    124 |        0 |        0
865.56/865.74	c  865s |      19 |   560771 |   467782 |     7153    124 |        0 |        0
867.65/867.87	c  867s |      19 |   562159 |   468982 |     7153    125 |        0 |        0
869.65/869.89	c  869s |      19 |   563358 |   470082 |     7153    125 |        0 |        0
871.75/871.97	c  871s |      19 |   564704 |   471282 |     7153    125 |        0 |        0
873.85/874.04	c  873s |      19 |   566051 |   472482 |     7153    125 |        0 |        0
875.85/876.05	c  875s |      19 |   567064 |   473382 |     7153    126 |        0 |        0
877.96/878.12	c  877s |      19 |   568487 |   474682 |     7153    126 |        0 |        0
879.97/880.16	c  879s |      19 |   569930 |   475982 |     7153    126 |        0 |        0
881.96/882.17	c  881s |      19 |   571135 |   477082 |     7153    126 |        0 |        0
884.06/884.27	c  884s |      19 |   572136 |   477982 |     7153    126 |        0 |        0
886.26/886.42	c  886s |      19 |   573118 |   478882 |     7153    127 |        0 |        0
888.46/888.61	c  888s |      19 |   574178 |   479882 |     7153    127 |        0 |        0
890.45/890.64	c  890s |      19 |   575663 |   481182 |     7153    127 |        0 |        0
892.55/892.77	c  892s |      19 |   577012 |   482382 |     7153    127 |        0 |        0
894.85/895.01	c  894s |      19 |   578140 |   483382 |     7153    128 |        0 |        0
896.95/897.10	c  896s |      19 |   579623 |   484682 |     7153    128 |        0 |        0
899.05/899.28	c  899s |      19 |   581019 |   485982 |     7153    128 |        0 |        0
901.15/901.38	c  901s |      19 |   582313 |   487082 |     7153    128 |        0 |        0
903.25/903.41	c  903s |      19 |   583460 |   488082 |     7153    128 |        0 |        0
905.26/905.48	c  905s |      19 |   584585 |   489082 |     7153    129 |        0 |        0
907.36/907.52	c  907s |      19 |   586022 |   490382 |     7153    129 |        0 |        0
909.35/909.57	c  909s |      19 |   587533 |   491682 |     7153    129 |        0 |        0
911.45/911.64	c  911s |      19 |   588881 |   492882 |     7153    129 |        0 |        0
913.55/913.79	c  913s |      19 |   590097 |   493982 |     7153    130 |        0 |        0
915.74/915.93	c  915s |      19 |   591506 |   495282 |     7153    130 |        0 |        0
917.74/917.97	c  917s |      19 |   592734 |   496382 |     7153    130 |        0 |        0
919.94/920.12	c  919s |      19 |   593930 |   497482 |     7153    130 |        0 |        0
922.15/922.30	c  922s |      19 |   595021 |   498482 |     7153    130 |        0 |        0
924.25/924.43	c  924s |      19 |   596132 |   499482 |     7153    131 |        0 |        0
926.45/926.60	c  926s |      19 |   597478 |   500682 |     7153    131 |        0 |        0
928.45/928.62	c  928s |      19 |   598601 |   501682 |     7153    131 |        0 |        0
930.46/930.67	c  930s |      19 |   599858 |   502782 |     7153    131 |        0 |        0
932.45/932.68	c  932s |      19 |   601188 |   503982 |     7153    132 |        0 |        0
934.55/934.71	c  934s |      19 |   602951 |   505582 |     7153    132 |        0 |        0
936.55/936.79	c  936s |      19 |   604399 |   506882 |     7153    132 |        0 |        0
938.65/938.82	c  938s |      19 |   605852 |   508182 |     7153    132 |        0 |        0
940.75/940.92	c  940s |      19 |   607167 |   509382 |     7153    133 |        0 |        0
942.75/942.92	c  942s |      19 |   608642 |   510682 |     7153    133 |        0 |        0
944.75/944.94	c  944s |      19 |   609968 |   511882 |     7153    133 |        0 |        0
946.74/946.97	c  946s |      19 |   611310 |   513082 |     7153    133 |        0 |        0
948.84/949.05	c  948s |      19 |   612490 |   514182 |     7153    134 |        0 |        0
950.84/951.08	c  950s |      19 |   614037 |   515582 |     7153    134 |        0 |        0
953.04/953.24	c  953s |      19 |   615465 |   516882 |     7153    134 |        0 |        0
955.04/955.25	c  955s |      19 |   616699 |   517982 |     7153    134 |        0 |        0
957.24/957.44	c  957s |      19 |   617694 |   518882 |     7153    135 |        0 |        0
959.34/959.55	c  959s |      19 |   619283 |   520282 |     7153    135 |        0 |        0
961.35/961.57	c  961s |      19 |   620685 |   521582 |     7153    135 |        0 |        0
963.45/963.70	c  963s |      19 |   622010 |   522782 |     7153    135 |        0 |        0
965.75/965.92	c  965s |      19 |   623318 |   523982 |     7153    136 |        0 |        0
967.84/968.03	c  967s |      19 |   624999 |   525482 |     7153    136 |        0 |        0
969.94/970.17	c  969s |      19 |   626295 |   526682 |     7153    136 |        0 |        0
972.04/972.23	c  972s |      19 |   627468 |   527782 |     7153    136 |        0 |        0
974.04/974.29	c  974s |      19 |   628679 |   528882 |     7153    136 |        0 |        0
976.13/976.34	c  976s |      19 |   629879 |   529982 |     7153    137 |        0 |        0
978.14/978.36	c  978s |      19 |   631170 |   531182 |     7153    137 |        0 |        0
980.24/980.44	c  980s |      19 |   632515 |   532382 |     7153    137 |        0 |        0
982.44/982.62	c  982s |      19 |   633856 |   533582 |     7153    137 |        0 |        0
984.45/984.68	c  984s |      19 |   635252 |   534782 |     7153    138 |        0 |        0
986.65/986.85	c  986s |      19 |   636832 |   536182 |     7153    138 |        0 |        0
988.64/988.87	c  988s |      19 |   638178 |   537382 |     7153    138 |        0 |        0
990.64/990.87	c  990s |      19 |   639436 |   538482 |     7153    138 |        0 |        0
992.74/992.97	c  992s |      19 |   640566 |   539482 |     7153    139 |        0 |        0
994.84/995.05	c  994s |      19 |   641963 |   540782 |     7153    139 |        0 |        0
996.94/997.18	c  996s |      19 |   643180 |   541882 |     7153    139 |        0 |        0
999.14/999.34	c  999s |      19 |   644507 |   543082 |     7153    139 |        0 |        0
1001.14/1001.37	c 1001s |      19 |   645610 |   544082 |     7153    139 |        0 |        0
1003.15/1003.38	c 1003s |      19 |   646547 |   544882 |     7153    140 |        0 |        0
1005.25/1005.49	c 1005s |      19 |   648451 |   546582 |     7153    140 |        0 |        0
1007.44/1007.61	c 1007s |      19 |   650071 |   547982 |     7153    140 |        0 |        0
1009.44/1009.66	c 1009s |      19 |   651440 |   549182 |     7153    140 |        0 |        0
1011.64/1011.80	c 1011s |      19 |   652855 |   550482 |     7153    141 |        0 |        0
1013.63/1013.88	c 1013s |      19 |   654289 |   551782 |     7153    141 |        0 |        0
1015.73/1015.99	c 1015s |      19 |   655601 |   552982 |     7153    141 |        0 |        0
1017.93/1018.16	c 1017s |      19 |   656921 |   554182 |     7153    141 |        0 |        0
1020.03/1020.28	c 1020s |      19 |   658161 |   555282 |     7153    142 |        0 |        0
1022.23/1022.44	c 1022s |      19 |   659492 |   556482 |     7153    142 |        0 |        0
1024.33/1024.51	c 1024s |      19 |   660720 |   557582 |     7153    142 |        0 |        0
1026.43/1026.67	c 1026s |      19 |   662061 |   558782 |     7153    142 |        0 |        0
1028.53/1028.79	c 1028s |      19 |   663245 |   559882 |     7153    143 |        0 |        0
1030.73/1030.91	c 1030s |      19 |   664585 |   561082 |     7153    143 |        0 |        0
1032.84/1033.05	c 1032s |      19 |   666012 |   562382 |     7153    143 |        0 |        0
1034.94/1035.19	c 1034s |      19 |   667305 |   563582 |     7153    143 |        0 |        0
1037.24/1037.46	c 1037s |      19 |   668527 |   564682 |     7153    144 |        0 |        0
1039.34/1039.58	c 1039s |      19 |   669891 |   565882 |     7153    144 |        0 |        0
1041.53/1041.74	c 1041s |      19 |   671631 |   567382 |     7153    144 |        0 |        0
1043.63/1043.89	c 1043s |      19 |   673237 |   568782 |     7153    144 |        0 |        0
1045.63/1045.90	c 1045s |      19 |   674518 |   569882 |     7153    145 |        0 |        0
1047.72/1047.95	c 1047s |      19 |   676056 |   571182 |     7153    145 |        0 |        0
1049.82/1050.01	c 1049s |      19 |   677524 |   572482 |     7153    145 |        0 |        0
1051.92/1052.19	c 1051s |      19 |   678853 |   573682 |     7153    145 |        0 |        0
1054.32/1054.56	c 1054s |      19 |   680085 |   574782 |     7153    146 |        0 |        0
1056.43/1056.69	c 1056s |      19 |   681416 |   575982 |     7153    146 |        0 |        0
1058.53/1058.74	c 1058s |      19 |   683035 |   577382 |     7153    146 |        0 |        0
1060.63/1060.89	c 1060s |      19 |   684494 |   578682 |     7153    146 |        0 |        0
1062.93/1063.12	c 1062s |      19 |   685821 |   579882 |     7153    147 |        0 |        0
1064.93/1065.15	c 1064s |      19 |   687292 |   581182 |     7153    147 |        0 |        0
1067.03/1067.24	c 1067s |      19 |   688954 |   582582 |     7153    147 |        0 |        0
1069.04/1069.30	c 1069s |      19 |   690313 |   583782 |     7153    147 |        0 |        0
1071.53/1071.76	c 1071s |      19 |   691535 |   584882 |     7153    148 |        0 |        0
1073.53/1073.77	c 1073s |      19 |   692909 |   586082 |     7153    148 |        0 |        0
1075.73/1075.91	c 1075s |      19 |   694492 |   587482 |     7153    148 |        0 |        0
1077.72/1077.93	c 1077s |      19 |   695678 |   588582 |     7153    148 |        0 |        0
1079.82/1080.05	c 1079s |      19 |   696933 |   589682 |     7153    148 |        0 |        0
1081.92/1082.16	c 1081s |      19 |   698058 |   590682 |     7153    149 |        0 |        0
1084.02/1084.23	c 1084s |      19 |   699565 |   591982 |     7153    149 |        0 |        0
1086.02/1086.28	c 1086s |      19 |   701169 |   593382 |     7153    149 |        0 |        0
1088.12/1088.38	c 1088s |      19 |   702544 |   594582 |     7153    149 |        0 |        0
1090.32/1090.51	c 1090s |      19 |   703787 |   595682 |     7153    150 |        0 |        0
1092.33/1092.56	c 1092s |      19 |   705170 |   596882 |     7153    150 |        0 |        0
1094.52/1094.75	c 1094s |      19 |   706560 |   598082 |     7153    150 |        0 |        0
1096.63/1096.83	c 1096s |      19 |   707799 |   599182 |     7153    150 |        0 |        0
1098.73/1098.91	c 1098s |      19 |   708807 |   600082 |     7153    151 |        0 |        0
1100.82/1101.02	c 1100s |      19 |   710242 |   601382 |     7153    151 |        0 |        0
1102.92/1103.17	c 1102s |      19 |   711581 |   602582 |     7153    151 |        0 |        0
1105.02/1105.26	c 1105s |      19 |   712569 |   603482 |     7153    151 |        0 |        0
1107.12/1107.37	c 1107s |      19 |   713869 |   604582 |     7153    151 |        0 |        0
1109.22/1109.49	c 1109s |      19 |   715045 |   605582 |     7153    152 |        0 |        0
1111.32/1111.59	c 1111s |      19 |   716492 |   606882 |     7153    152 |        0 |        0
1113.52/1113.77	c 1113s |      19 |   717755 |   607982 |     7153    152 |        0 |        0
1115.62/1115.80	c 1115s |      19 |   718898 |   608982 |     7153    152 |        0 |        0
1117.62/1117.83	c 1117s |      19 |   719943 |   609882 |     7153    152 |        0 |        0
1119.72/1119.96	c 1119s |      19 |   720706 |   610582 |     7153    153 |        0 |        0
1121.82/1122.03	c 1121s |      19 |   721961 |   611682 |     7153    153 |        0 |        0
1123.81/1124.04	c 1123s |      19 |   723497 |   612982 |     7153    153 |        0 |        0
1126.01/1126.21	c 1125s |      19 |   724847 |   614182 |     7153    153 |        0 |        0
1128.42/1128.67	c 1128s |      19 |   726048 |   615282 |     7153    154 |        0 |        0
1130.63/1130.82	c 1130s |      19 |   727348 |   616482 |     7153    154 |        0 |        0
1132.72/1132.94	c 1132s |      19 |   728754 |   617682 |     7153    154 |        0 |        0
1134.82/1135.01	c 1134s |      19 |   730355 |   619082 |     7153    154 |        0 |        0
1136.92/1137.14	c 1136s |      19 |   731699 |   620282 |     7153    154 |        0 |        0
1138.92/1139.18	c 1138s |      19 |   733039 |   621382 |     7153    155 |        0 |        0
1140.91/1141.19	c 1140s |      19 |   734507 |   622682 |     7153    155 |        0 |        0
1143.11/1143.32	c 1143s |      19 |   736130 |   623982 |     7153    155 |        0 |        0
1145.21/1145.46	c 1145s |      19 |   737410 |   625082 |     7153    155 |        0 |        0
1147.31/1147.59	c 1147s |      19 |   738498 |   626082 |     7153    156 |        0 |        0
1149.42/1149.65	c 1149s |      19 |   740041 |   627382 |     7153    156 |        0 |        0
1151.52/1151.78	c 1151s |      19 |   741338 |   628482 |     7153    156 |        0 |        0
1153.62/1153.81	c 1153s |      19 |   742913 |   629782 |     7153    156 |        0 |        0
1155.72/1155.90	c 1155s |      19 |   743960 |   630682 |     7153    157 |        0 |        0
1157.81/1158.09	c 1157s |      19 |   745411 |   631982 |     7153    157 |        0 |        0
1159.91/1160.15	c 1159s |      19 |   746654 |   633082 |     7153    157 |        0 |        0
1162.11/1162.31	c 1162s |      19 |   747914 |   634182 |     7153    157 |        0 |        0
1164.31/1164.53	c 1164s |      19 |   749024 |   635182 |     7153    157 |        0 |        0
1166.51/1166.72	c 1166s |      19 |   750002 |   636082 |     7153    158 |        0 |        0
1168.51/1168.75	c 1168s |      19 |   750959 |   636982 |     7153    158 |        0 |        0
1170.51/1170.76	c 1170s |      19 |   751886 |   637782 |     7153    158 |        0 |        0
1172.61/1172.81	c 1172s |      19 |   752935 |   638682 |     7153    158 |        0 |        0
1174.81/1175.09	c 1174s |      19 |   753902 |   639482 |     7153    158 |        0 |        0
1177.01/1177.20	c 1176s |      19 |   755113 |   640482 |     7153    158 |        0 |        0
1179.12/1179.31	c 1179s |      19 |   756502 |   641682 |     7153    159 |        0 |        0
1181.11/1181.40	c 1181s |      19 |   757877 |   642882 |     7153    159 |        0 |        0
1183.21/1183.47	c 1183s |      19 |   759074 |   643982 |     7153    159 |        0 |        0
1185.40/1185.65	c 1185s |      19 |   760321 |   645082 |     7153    159 |        0 |        0
1187.50/1187.70	c 1187s |      19 |   761360 |   645982 |     7153    160 |        0 |        0
1189.60/1189.88	c 1189s |      19 |   762721 |   647182 |     7153    160 |        0 |        0
1191.81/1192.00	c 1191s |      19 |   763846 |   648182 |     7153    160 |        0 |        0
1193.91/1194.12	c 1193s |      19 |   765260 |   649382 |     7153    160 |        0 |        0
1195.91/1196.15	c 1195s |      19 |   766531 |   650482 |     7153    160 |        0 |        0
1198.01/1198.26	c 1198s |      19 |   767666 |   651482 |     7153    161 |        0 |        0
1200.01/1200.27	c 1200s |      19 |   768758 |   652482 |     7153    161 |        0 |        0
1202.11/1202.31	c 1202s |      19 |   769907 |   653482 |     7153    161 |        0 |        0
1204.31/1204.51	c 1204s |      19 |   770800 |   654282 |     7153    161 |        0 |        0
1206.40/1206.65	c 1206s |      19 |   772151 |   655482 |     7153    161 |        0 |        0
1208.60/1208.81	c 1208s |      19 |   773262 |   656482 |     7153    162 |        0 |        0
1210.60/1210.89	c 1210s |      19 |   774620 |   657682 |     7153    162 |        0 |        0
1212.80/1213.08	c 1212s |      19 |   775727 |   658682 |     7153    162 |        0 |        0
1215.10/1215.31	c 1215s |      19 |   776746 |   659582 |     7153    162 |        0 |        0
1217.29/1217.54	c 1217s |      19 |   778196 |   660882 |     7153    163 |        0 |        0
1219.29/1219.59	c 1219s |      19 |   779654 |   662182 |     7869    163 |        0 |        0
1221.50/1221.72	c 1221s |      19 |   781189 |   663382 |     7869    163 |        0 |        0
1223.50/1223.78	c 1223s |      19 |   782606 |   664582 |     7869    163 |        0 |        0
1225.60/1225.87	c 1225s |      19 |   783861 |   665682 |     7869    163 |        0 |        0
1227.79/1228.07	c 1227s |      19 |   785010 |   666682 |     7869    164 |        0 |        0
1228.09/1228.32	c 1228s |      20 |   785190 |   666827 |     7869    164 |        0 |        0
1230.19/1230.40	c 1230s |      20 |   788664 |   668727 |     7869    164 |        0 |        0
1232.19/1232.44	c 1232s |      20 |   790198 |   670127 |     7869    164 |        0 |        0
1234.29/1234.58	c 1234s |      20 |   791645 |   671427 |     7869    164 |        0 |        0
1236.49/1236.70	c 1236s |      20 |   792879 |   672527 |     7869    165 |        0 |        0
1238.68/1238.90	c 1238s |      20 |   794138 |   673627 |     7869    165 |        0 |        0
1240.78/1241.06	c 1240s |      20 |   795435 |   674727 |     7869    165 |        0 |        0
1242.89/1243.15	c 1242s |      20 |   796707 |   675827 |     7869    165 |        0 |        0
1244.88/1245.17	c 1244s |      20 |   797720 |   676727 |     7869    165 |        0 |        0
1246.88/1247.19	c 1246s |      20 |   798627 |   677527 |     7869    166 |        0 |        0
1249.08/1249.34	c 1249s |      20 |   800016 |   678727 |     7869    166 |        0 |        0
1251.18/1251.42	c 1251s |      20 |   801136 |   679727 |     7869    166 |        0 |        0
1253.28/1253.58	c 1253s |      20 |   802274 |   680727 |     7869    166 |        0 |        0
1255.38/1255.66	c 1255s |      20 |   803269 |   681627 |     7869    166 |        0 |        0
1257.57/1257.85	c 1257s |      20 |   804026 |   682327 |     7869    167 |        0 |        0
1259.77/1260.00	c 1259s |      20 |   805138 |   683327 |     7869    167 |        0 |        0
1261.77/1262.06	c 1261s |      20 |   806243 |   684327 |     7869    167 |        0 |        0
1263.97/1264.27	c 1264s |      20 |   807269 |   685227 |     7869    167 |        0 |        0
1265.98/1266.28	c 1266s |      20 |   808256 |   686127 |     7869    167 |        0 |        0
1268.07/1268.39	c 1268s |      20 |   809280 |   687027 |     7869    167 |        0 |        0
1270.27/1270.51	c 1270s |      20 |   810049 |   687727 |     7869    168 |        0 |        0
1272.26/1272.58	c 1272s |      20 |   811174 |   688727 |     7869    168 |        0 |        0
1274.36/1274.67	c 1274s |      20 |   812175 |   689627 |     7869    168 |        0 |        0
1276.46/1276.73	c 1276s |      20 |   813131 |   690527 |     7869    168 |        0 |        0
1278.45/1278.76	c 1278s |      20 |   814013 |   691327 |     7869    168 |        0 |        0
1280.75/1281.00	c 1280s |      20 |   814904 |   692127 |     7869    168 |        0 |        0
1282.75/1283.03	c 1282s |      20 |   815651 |   692827 |     7869    169 |        0 |        0
1284.75/1285.09	c 1284s |      20 |   816569 |   693627 |     7869    169 |        0 |        0
1286.95/1287.21	c 1286s |      20 |   817679 |   694627 |     7869    169 |        0 |        0
1288.95/1289.23	c 1289s |      20 |   818556 |   695427 |     7869    169 |        0 |        0
1290.95/1291.24	c 1291s |      20 |   819440 |   696227 |     7869    169 |        0 |        0
1293.15/1293.45	c 1293s |      20 |   820346 |   697027 |     7869    169 |        0 |        0
1295.45/1295.71	c 1295s |      20 |   821233 |   697827 |     7869    169 |        0 |        0
1297.64/1297.90	c 1297s |      20 |   822358 |   698827 |     7869    170 |        0 |        0
1299.64/1299.95	c 1299s |      20 |   823032 |   699427 |     7869    170 |        0 |        0
1301.84/1302.18	c 1301s |      20 |   824017 |   700327 |     7869    170 |        0 |        0
1304.04/1304.36	c 1304s |      20 |   824975 |   701227 |     7869    170 |        0 |        0
1306.14/1306.44	c 1306s |      20 |   825847 |   702027 |     7869    170 |        0 |        0
1308.33/1308.62	c 1308s |      20 |   826716 |   702827 |     7869    170 |        0 |        0
1310.34/1310.69	c 1310s |      20 |   827269 |   703327 |     7869    171 |        0 |        0
1312.44/1312.71	c 1312s |      20 |   828142 |   704127 |     7869    171 |        0 |        0
1314.54/1314.85	c 1314s |      20 |   829121 |   705027 |     7869    171 |        0 |        0
1316.74/1317.09	c 1316s |      20 |   830105 |   705927 |     7869    171 |        0 |        0
1318.83/1319.13	c 1318s |      20 |   830965 |   706727 |     7869    171 |        0 |        0
1320.94/1321.24	c 1321s |      20 |   831841 |   707527 |     7869    171 |        0 |        0
1322.93/1323.24	c 1323s |      20 |   832749 |   708327 |     7869    171 |        0 |        0
1325.03/1325.37	c 1325s |      20 |   833615 |   709127 |     7869    172 |        0 |        0
1327.03/1327.40	c 1327s |      20 |   834698 |   710127 |     7869    172 |        0 |        0
1329.23/1329.59	c 1329s |      20 |   835897 |   711227 |     7869    172 |        0 |        0
1331.33/1331.66	c 1331s |      20 |   836868 |   712127 |     7869    172 |        0 |        0
1333.53/1333.81	c 1333s |      20 |   838094 |   713227 |     7869    172 |        0 |        0
1335.63/1335.99	c 1335s |      20 |   839071 |   714127 |     7869    173 |        0 |        0
1337.92/1338.21	c 1337s |      20 |   839841 |   714827 |     7869    173 |        0 |        0
1340.02/1340.37	c 1340s |      20 |   840703 |   715627 |     7869    173 |        0 |        0
1342.22/1342.51	c 1342s |      20 |   841567 |   716427 |     7869    173 |        0 |        0
1344.22/1344.52	c 1344s |      20 |   842304 |   717127 |     7869    173 |        0 |        0
1346.32/1346.68	c 1346s |      20 |   843058 |   717827 |     7869    173 |        0 |        0
1348.61/1348.96	c 1348s |      20 |   843908 |   718627 |     7869    173 |        0 |        0
1350.81/1351.10	c 1350s |      20 |   844442 |   719127 |     7869    174 |        0 |        0
1352.91/1353.26	c 1353s |      20 |   845436 |   720027 |     7869    174 |        0 |        0
1355.01/1355.39	c 1355s |      20 |   846408 |   720927 |     7869    174 |        0 |        0
1357.21/1357.53	c 1357s |      20 |   847377 |   721827 |     7869    174 |        0 |        0
1359.31/1359.68	c 1359s |      20 |   848394 |   722727 |     7869    174 |        0 |        0
1361.40/1361.80	c 1361s |      20 |   849518 |   723727 |     7869    174 |        0 |        0
1363.60/1363.96	c 1363s |      20 |   850524 |   724627 |     7869    175 |        0 |        0
1365.70/1366.01	c 1365s |      20 |   851364 |   725427 |     7869    175 |        0 |        0
1367.90/1368.25	c 1368s |      20 |   852123 |   726127 |     7869    175 |        0 |        0
1370.20/1370.51	c 1370s |      20 |   852997 |   726927 |     7869    175 |        0 |        0
1372.30/1372.61	c 1372s |      20 |   853909 |   727727 |     7869    175 |        0 |        0
1374.30/1374.69	c 1374s |      20 |   854912 |   728627 |     7869    175 |        0 |        0
1376.50/1376.86	c 1376s |      20 |   855807 |   729427 |     7869    176 |        0 |        0
1378.59/1378.92	c 1378s |      20 |   856912 |   730427 |     7869    176 |        0 |        0
1380.59/1381.00	c 1380s |      20 |   857888 |   731327 |     7869    176 |        0 |        0
1382.69/1383.09	c 1382s |      20 |   858764 |   732127 |     7869    176 |        0 |        0
1384.89/1385.22	c 1385s |      20 |   859534 |   732827 |     7869    176 |        0 |        0
1386.89/1387.29	c 1387s |      20 |   860393 |   733627 |     7869    176 |        0 |        0
1389.09/1389.42	c 1389s |      20 |   861263 |   734427 |     7869    176 |        0 |        0
1391.08/1391.44	c 1391s |      20 |   862003 |   735127 |     7869    177 |        0 |        0
1393.28/1393.66	c 1393s |      20 |   862961 |   736027 |     7869    177 |        0 |        0
1395.48/1395.82	c 1395s |      20 |   863823 |   736827 |     7869    177 |        0 |        0
1397.58/1397.95	c 1397s |      20 |   864581 |   737527 |     7869    177 |        0 |        0
1399.68/1400.01	c 1399s |      20 |   865234 |   738127 |     7869    177 |        0 |        0
1401.77/1402.11	c 1401s |      20 |   865865 |   738727 |     7869    177 |        0 |        0
1403.87/1404.29	c 1404s |      20 |   866869 |   739627 |     7869    177 |        0 |        0
1406.07/1406.41	c 1406s |      20 |   867940 |   740527 |     7869    178 |        0 |        0
1408.17/1408.51	c 1408s |      20 |   869041 |   741527 |     7869    178 |        0 |        0
1410.17/1410.53	c 1410s |      20 |   870024 |   742427 |     7869    178 |        0 |        0
1412.27/1412.68	c 1412s |      20 |   871146 |   743427 |     7869    178 |        0 |        0
1414.47/1414.85	c 1414s |      20 |   872226 |   744427 |     7869    178 |        0 |        0
1416.66/1417.07	c 1416s |      20 |   872970 |   745127 |     7869    179 |        0 |        0
1418.86/1419.24	c 1419s |      20 |   873940 |   746027 |     7869    179 |        0 |        0
1420.97/1421.33	c 1421s |      20 |   874821 |   746827 |     7869    179 |        0 |        0
1422.96/1423.39	c 1423s |      20 |   875712 |   747627 |     7869    179 |        0 |        0
1425.16/1425.50	c 1425s |      20 |   876822 |   748627 |     7869    179 |        0 |        0
1427.25/1427.64	c 1427s |      20 |   877801 |   749527 |     7869    179 |        0 |        0
1429.55/1429.95	c 1429s |      20 |   878695 |   750327 |     7869    180 |        0 |        0
1431.65/1432.09	c 1431s |      20 |   879779 |   751327 |     7869    180 |        0 |        0
1433.75/1434.11	c 1433s |      20 |   880744 |   752227 |     7869    180 |        0 |        0
1435.95/1436.31	c 1436s |      20 |   881600 |   753027 |     7869    180 |        0 |        0
1438.05/1438.40	c 1438s |      20 |   882264 |   753627 |     7869    180 |        0 |        0
1440.25/1440.64	c 1440s |      20 |   883150 |   754427 |     7869    180 |        0 |        0
1442.25/1442.64	c 1442s |      20 |   883948 |   755127 |     7869    180 |        0 |        0
1444.45/1444.84	c 1444s |      20 |   884699 |   755827 |     7869    181 |        0 |        0
1446.45/1446.84	c 1446s |      20 |   885682 |   756727 |     7869    181 |        0 |        0
1448.64/1449.07	c 1448s |      20 |   886758 |   757727 |     7869    181 |        0 |        0
1450.94/1451.30	c 1451s |      20 |   887754 |   758627 |     7869    181 |        0 |        0
1452.94/1453.30	c 1453s |      20 |   888428 |   759227 |     7869    181 |        0 |        0
1455.14/1455.55	c 1455s |      20 |   889283 |   760027 |     7869    181 |        0 |        0
1457.14/1457.56	c 1457s |      20 |   890054 |   760727 |     7869    182 |        0 |        0
1459.73/1460.14	c 1459s |      20 |   891061 |   761627 |     7869    182 |        0 |        0
1461.83/1462.23	c 1462s |      20 |   891979 |   762427 |     7869    182 |        0 |        0
1463.93/1464.35	c 1464s |      20 |   892934 |   763327 |     7869    182 |        0 |        0
1466.13/1466.59	c 1466s |      20 |   893898 |   764227 |     7869    182 |        0 |        0
1468.42/1468.87	c 1468s |      20 |   894776 |   765027 |     7869    182 |        0 |        0
1470.72/1471.15	c 1470s |      20 |   895507 |   765727 |     7869    182 |        0 |        0
1472.82/1473.22	c 1473s |      20 |   896275 |   766427 |     7869    183 |        0 |        0
1474.83/1475.26	c 1475s |      20 |   897341 |   767427 |     7869    183 |        0 |        0
1476.82/1477.29	c 1477s |      20 |   898197 |   768227 |     7869    183 |        0 |        0
1478.92/1479.33	c 1479s |      20 |   898855 |   768827 |     7869    183 |        0 |        0
1480.92/1481.33	c 1481s |      20 |   899718 |   769627 |     7869    183 |        0 |        0
1482.92/1483.37	c 1483s |      20 |   900581 |   770427 |     7869    183 |        0 |        0
1485.22/1485.66	c 1485s |      20 |   901326 |   771127 |     7869    184 |        0 |        0
1487.31/1487.77	c 1487s |      20 |   902204 |   771927 |     7869    184 |        0 |        0
1489.31/1489.79	c 1489s |      20 |   903070 |   772727 |     7869    184 |        0 |        0
1491.51/1491.94	c 1491s |      20 |   903939 |   773527 |     7869    184 |        0 |        0
1493.81/1494.20	c 1493s |      20 |   904911 |   774427 |     7869    184 |        0 |        0
1496.01/1496.47	c 1496s |      20 |   905760 |   775227 |     7869    184 |        0 |        0
1498.30/1498.75	c 1498s |      20 |   906299 |   775727 |     7869    184 |        0 |        0
1500.71/1501.10	c 1500s |      20 |   906963 |   776327 |     7869    185 |        0 |        0
1502.81/1503.27	c 1503s |      20 |   907861 |   777127 |     7869    185 |        0 |        0
1505.01/1505.44	c 1505s |      20 |   908745 |   777927 |     7869    185 |        0 |        0
1507.11/1507.55	c 1507s |      20 |   909531 |   778627 |     7869    185 |        0 |        0
1509.31/1509.70	c 1509s |      20 |   910315 |   779327 |     7869    185 |        0 |        0
1511.41/1511.81	c 1511s |      20 |   910990 |   779927 |     7869    185 |        0 |        0
1513.70/1514.11	c 1513s |      20 |   911860 |   780727 |     7869    185 |        0 |        0
1516.00/1516.42	c 1516s |      20 |   912620 |   781427 |     7869    185 |        0 |        0
1518.20/1518.62	c 1518s |      20 |   913378 |   782127 |     7869    186 |        0 |        0
1520.20/1520.69	c 1520s |      20 |   914037 |   782727 |     7869    186 |        0 |        0
1522.30/1522.75	c 1522s |      20 |   914799 |   783427 |     7869    186 |        0 |        0
1524.50/1524.95	c 1524s |      20 |   915790 |   784327 |     7869    186 |        0 |        0
1526.60/1527.03	c 1526s |      20 |   916670 |   785127 |     7869    186 |        0 |        0
1528.70/1529.16	c 1528s |      20 |   917666 |   786027 |     7869    186 |        0 |        0
1530.80/1531.26	c 1531s |      20 |   918537 |   786827 |     7869    187 |        0 |        0
1532.89/1533.39	c 1533s |      20 |   919541 |   787727 |     7869    187 |        0 |        0
1535.20/1535.64	c 1535s |      20 |   920510 |   788627 |     7869    187 |        0 |        0
1537.39/1537.90	c 1537s |      20 |   921384 |   789427 |     7869    187 |        0 |        0
1539.69/1540.16	c 1539s |      20 |   922236 |   790227 |     7869    187 |        0 |        0
1541.79/1542.25	c 1542s |      20 |   922689 |   790627 |     7869    187 |        0 |        0
1543.78/1544.29	c 1544s |      20 |   923236 |   791127 |     7869    187 |        0 |        0
1545.98/1546.42	c 1546s |      20 |   923905 |   791727 |     7869    187 |        0 |        0
1548.07/1548.52	c 1548s |      20 |   924588 |   792327 |     7869    188 |        0 |        0
1550.37/1550.81	c 1550s |      20 |   925575 |   793227 |     7869    188 |        0 |        0
1552.37/1552.82	c 1552s |      20 |   926481 |   794027 |     7869    188 |        0 |        0
1554.37/1554.83	c 1554s |      20 |   927510 |   794927 |     7869    188 |        0 |        0
1556.57/1557.04	c 1556s |      20 |   928505 |   795827 |     7869    188 |        0 |        0
1558.67/1559.19	c 1558s |      20 |   929296 |   796527 |     7869    188 |        0 |        0
1560.97/1561.42	c 1561s |      20 |   930069 |   797227 |     7869    189 |        0 |        0
1562.97/1563.49	c 1563s |      20 |   931081 |   798127 |     7869    189 |        0 |        0
1565.07/1565.58	c 1565s |      20 |   931943 |   798927 |     7869    189 |        0 |        0
1567.17/1567.65	c 1567s |      20 |   932722 |   799627 |     7869    189 |        0 |        0
1569.16/1569.68	c 1569s |      20 |   933480 |   800327 |     7869    189 |        0 |        0
1571.47/1571.91	c 1571s |      20 |   934353 |   801127 |     7869    189 |        0 |        0
1573.56/1574.08	c 1573s |      20 |   935020 |   801727 |     7869    189 |        0 |        0
1575.97/1576.46	c 1576s |      20 |   935819 |   802427 |     7869    190 |        0 |        0
1578.17/1578.61	c 1578s |      20 |   936820 |   803327 |     7869    190 |        0 |        0
1580.26/1580.78	c 1580s |      20 |   937916 |   804327 |     7869    190 |        0 |        0
1582.36/1582.87	c 1582s |      20 |   938834 |   805127 |     7869    190 |        0 |        0
1584.56/1585.07	c 1584s |      20 |   939853 |   806027 |     7869    190 |        0 |        0
1586.66/1587.14	c 1586s |      20 |   940717 |   806827 |     7869    190 |        0 |        0
1588.85/1589.37	c 1589s |      20 |   941506 |   807527 |     7869    190 |        0 |        0
1591.05/1591.56	c 1591s |      20 |   942275 |   808227 |     7869    191 |        0 |        0
1593.25/1593.79	c 1593s |      20 |   943419 |   809227 |     7869    191 |        0 |        0
1595.45/1595.98	c 1595s |      20 |   944328 |   810027 |     7869    191 |        0 |        0
1597.65/1598.18	c 1597s |      20 |   945105 |   810727 |     7869    191 |        0 |        0
1599.85/1600.39	c 1600s |      20 |   945988 |   811527 |     7869    191 |        0 |        0
1601.95/1602.41	c 1602s |      20 |   946749 |   812227 |     7869    191 |        0 |        0
1604.05/1604.56	c 1604s |      20 |   947405 |   812827 |     7869    191 |        0 |        0
1606.05/1606.58	c 1606s |      20 |   948052 |   813427 |     7869    192 |        0 |        0
1608.14/1608.67	c 1608s |      20 |   948848 |   814127 |     7869    192 |        0 |        0
1610.34/1610.85	c 1610s |      20 |   949606 |   814827 |     7869    192 |        0 |        0
1612.64/1613.11	c 1612s |      20 |   950361 |   815527 |     7869    192 |        0 |        0
1614.64/1615.17	c 1614s |      20 |   951448 |   816527 |     7869    192 |        0 |        0
1616.84/1617.38	c 1617s |      20 |   952650 |   817627 |     7869    192 |        0 |        0
1618.85/1619.38	c 1619s |      20 |   953627 |   818527 |     7869    193 |        0 |        0
1621.14/1621.66	c 1621s |      20 |   954732 |   819527 |     7869    193 |        0 |        0
1623.24/1623.77	c 1623s |      20 |   955817 |   820527 |     7869    193 |        0 |        0
1625.44/1625.98	c 1625s |      20 |   956789 |   821427 |     7869    193 |        0 |        0
1627.64/1628.14	c 1627s |      20 |   957860 |   822427 |     7869    193 |        0 |        0
1629.74/1630.22	c 1629s |      20 |   958738 |   823227 |     7869    193 |        0 |        0
1631.73/1632.28	c 1632s |      20 |   959489 |   823927 |     7869    194 |        0 |        0
1633.93/1634.45	c 1634s |      20 |   960567 |   824927 |     7869    194 |        0 |        0
1636.03/1636.55	c 1636s |      20 |   961526 |   825827 |     7869    194 |        0 |        0
1638.02/1638.56	c 1638s |      20 |   962387 |   826627 |     7869    194 |        0 |        0
1640.02/1640.58	c 1640s |      20 |   963267 |   827427 |     7869    194 |        0 |        0
1642.33/1642.80	c 1642s |      20 |   964251 |   828327 |     7869    194 |        0 |        0
1644.53/1645.02	c 1644s |      20 |   965223 |   829227 |     7869    195 |        0 |        0
1646.73/1647.20	c 1646s |      20 |   966287 |   830227 |     7869    195 |        0 |        0
1648.83/1649.35	c 1649s |      20 |   967037 |   830927 |     7869    195 |        0 |        0
1650.93/1651.42	c 1651s |      20 |   967896 |   831727 |     7869    195 |        0 |        0
1653.03/1653.52	c 1653s |      20 |   968763 |   832527 |     7869    195 |        0 |        0
1655.14/1655.65	c 1655s |      20 |   969517 |   833227 |     7869    195 |        0 |        0
1657.23/1657.72	c 1657s |      20 |   970179 |   833827 |     7869    196 |        0 |        0
1659.32/1659.84	c 1659s |      20 |   971159 |   834727 |     7869    196 |        0 |        0
1661.42/1661.99	c 1661s |      20 |   971934 |   835427 |     7869    196 |        0 |        0
1663.52/1664.06	c 1663s |      20 |   972900 |   836327 |     7869    196 |        0 |        0
1665.72/1666.23	c 1666s |      20 |   973758 |   837127 |     7869    196 |        0 |        0
1667.71/1668.29	c 1668s |      20 |   974498 |   837827 |     7869    196 |        0 |        0
1669.91/1670.46	c 1670s |      20 |   975394 |   838627 |     7869    196 |        0 |        0
1672.11/1672.63	c 1672s |      20 |   976293 |   839427 |     7869    197 |        0 |        0
1674.11/1674.69	c 1674s |      20 |   977182 |   840227 |     7869    197 |        0 |        0
1676.31/1676.81	c 1676s |      20 |   978227 |   841127 |     7869    197 |        0 |        0
1678.31/1678.85	c 1678s |      20 |   979120 |   841927 |     7869    197 |        0 |        0
1680.42/1680.91	c 1680s |      20 |   980108 |   842827 |     7869    197 |        0 |        0
1682.41/1682.92	c 1682s |      20 |   980967 |   843627 |     7869    197 |        0 |        0
1684.61/1685.17	c 1684s |      20 |   981725 |   844327 |     7869    198 |        0 |        0
1686.71/1687.20	c 1686s |      20 |   982692 |   845227 |     7869    198 |        0 |        0
1688.70/1689.25	c 1689s |      20 |   983567 |   846027 |     7869    198 |        0 |        0
1690.80/1691.38	c 1691s |      20 |   984438 |   846827 |     7869    198 |        0 |        0
1693.00/1693.59	c 1693s |      20 |   985300 |   847627 |     7869    198 |        0 |        0
1695.30/1695.86	c 1695s |      20 |   986131 |   848427 |     7869    198 |        0 |        0
1697.30/1697.87	c 1697s |      20 |   986911 |   849127 |     7869    198 |        0 |        0
1699.50/1700.04	c 1699s |      20 |   987808 |   849927 |     7869    199 |        0 |        0
1701.60/1702.12	c 1701s |      20 |   988792 |   850827 |     7869    199 |        0 |        0
1703.60/1704.13	c 1703s |      20 |   989584 |   851527 |     7869    199 |        0 |        0
1705.70/1706.23	c 1706s |      20 |   990568 |   852427 |     7869    199 |        0 |        0
1707.69/1708.30	c 1708s |      20 |   991433 |   853227 |     7869    199 |        0 |        0
1709.89/1710.44	c 1710s |      20 |   992287 |   854027 |     7869    199 |        0 |        0
1711.99/1712.56	c 1712s |      20 |   993050 |   854727 |     7869    200 |        0 |        0
1714.19/1714.78	c 1714s |      20 |   994026 |   855627 |     7869    200 |        0 |        0
1716.29/1716.80	c 1716s |      20 |   995101 |   856627 |     7869    200 |        0 |        0
1718.48/1719.02	c 1718s |      20 |   996078 |   857527 |     7869    200 |        0 |        0
1720.58/1721.14	c 1720s |      20 |   996931 |   858327 |     7869    200 |        0 |        0
1722.68/1723.23	c 1723s |      20 |   997783 |   859127 |     7869    200 |        0 |        0
1724.78/1725.38	c 1725s |      20 |   998601 |   859827 |     7869    200 |        0 |        0
1727.08/1727.60	c 1727s |      20 |   999488 |   860627 |     7869    201 |        0 |        0
1729.18/1729.73	c 1729s |      20 |  1000579 |   861627 |     7869    201 |        0 |        0
1731.18/1731.79	c 1731s |      20 |  1001554 |   862527 |     7869    201 |        0 |        0
1733.38/1733.96	c 1733s |      20 |  1002637 |   863527 |     7869    201 |        0 |        0
1735.58/1736.11	c 1735s |      20 |  1003494 |   864327 |     7869    201 |        0 |        0
1737.67/1738.27	c 1738s |      20 |  1004254 |   865027 |     7869    201 |        0 |        0
1739.88/1740.43	c 1740s |      20 |  1004945 |   865627 |     7869    202 |        0 |        0
1742.08/1742.63	c 1742s |      20 |  1006033 |   866627 |     7869    202 |        0 |        0
1744.28/1744.87	c 1744s |      20 |  1007121 |   867627 |     7869    202 |        0 |        0
1746.48/1747.00	c 1746s |      20 |  1008119 |   868527 |     7869    202 |        0 |        0
1748.68/1749.21	c 1748s |      20 |  1009113 |   869427 |     7869    202 |        0 |        0
1750.68/1751.26	c 1751s |      20 |  1010190 |   870327 |     7869    203 |        0 |        0
1752.88/1753.44	c 1753s |      20 |  1011539 |   871527 |     7869    203 |        0 |        0
1754.87/1755.49	c 1755s |      20 |  1012860 |   872727 |     7869    203 |        0 |        0
1756.97/1757.59	c 1757s |      20 |  1014001 |   873727 |     7869    203 |        0 |        0
1759.27/1759.90	c 1759s |      20 |  1015061 |   874627 |     7869    203 |        0 |        0
1761.37/1761.95	c 1761s |      20 |  1015863 |   875327 |     7869    203 |        0 |        0
1763.47/1764.08	c 1763s |      20 |  1016799 |   876127 |     7869    204 |        0 |        0
1765.67/1766.21	c 1765s |      20 |  1017819 |   877027 |     7869    204 |        0 |        0
1767.77/1768.34	c 1768s |      20 |  1018841 |   877927 |     7869    204 |        0 |        0
1769.77/1770.38	c 1770s |      20 |  1019862 |   878827 |     7869    204 |        0 |        0
1771.87/1772.44	c 1772s |      20 |  1020864 |   879727 |     7869    204 |        0 |        0
1773.97/1774.59	c 1774s |      20 |  1021885 |   880627 |     7869    204 |        0 |        0
1776.17/1776.72	c 1776s |      20 |  1022890 |   881527 |     7869    205 |        0 |        0
1778.46/1779.04	c 1778s |      20 |  1024016 |   882527 |     7869    205 |        0 |        0
1780.66/1781.21	c 1780s |      20 |  1025041 |   883427 |     7869    205 |        0 |        0
1782.86/1783.41	c 1783s |      20 |  1026165 |   884427 |     7869    205 |        0 |        0
1785.06/1785.68	c 1785s |      20 |  1027048 |   885227 |     7869    205 |        0 |        0
1787.55/1788.19	c 1787s |      20 |  1027913 |   886027 |     7869    206 |        0 |        0
1789.85/1790.46	c 1790s |      20 |  1029027 |   887027 |     7869    206 |        0 |        0
1792.05/1792.67	c 1792s |      20 |  1030123 |   888027 |     7869    206 |        0 |        0
1794.35/1794.90	c 1794s |      20 |  1031137 |   888927 |     7869    206 |        0 |        0
1796.35/1796.93	c 1796s |      20 |  1032017 |   889727 |     7869    206 |        0 |        0
1798.45/1799.03	c 1798s |      20 |  1033032 |   890627 |     7869    206 |        0 |        0

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

pid=2043
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: 0.28 0.13 0.14 4/176 2049
/proc/meminfo: memFree=30178568/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=613956 CPUtime=0 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 2275 0 0 0 0 0 0 0 20 0 4 0 36226287 628690944 2635 33554432000 4194304 16246674 140735916332336 140735916331760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 154257 2646 442 2943 0 151151 0
[pid=2048/tid=2053] ppid=2043 vsize=637508 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 652808192 2727 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=642628 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 658051072 2745 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=646724 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36226287 662245376 2762 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 0.28 0.13 0.14 4/176 2049
/proc/meminfo: memFree=30178568/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 25573 0 0 0 5 4 0 0 20 0 4 0 36226287 1247350784 25927 33554432000 4194304 16246674 140735916332336 140735916331760 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 304529 25935 606 2943 0 301423 0
[pid=2048/tid=2053] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 25942 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 25948 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 25955 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20054 s]
/proc/loadavg: 0.28 0.13 0.14 4/176 2049
/proc/meminfo: memFree=30178568/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 48671 0 0 0 11 8 0 0 20 0 4 0 36226287 1247350784 49019 33554432000 4194304 16246674 140735916332336 140735916331760 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 304529 49031 776 2943 0 301423 0
[pid=2048/tid=2053] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 49037 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 49039 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 49042 33554432000 4194304 16246674 140735916332336 140612886056112 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) 1218116

[startup+0.300507 s]
/proc/loadavg: 0.28 0.13 0.14 4/176 2049
/proc/meminfo: memFree=30178568/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 72289 0 0 0 18 11 0 0 20 0 4 0 36226287 1247350784 72636 33554432000 4194304 16246674 140735916332336 140735916331760 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 304529 72653 809 2943 0 301423 0
[pid=2048/tid=2053] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 72665 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 72668 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36226287 1247350784 72676 33554432000 4194304 16246674 140735916332336 140612886056112 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) 1218116

[startup+0.70045 s]
/proc/loadavg: 0.28 0.13 0.14 4/176 2049
/proc/meminfo: memFree=30178568/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1306180 CPUtime=0.68 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 112117 0 0 0 51 17 0 0 20 0 4 0 36226287 1337528320 112441 33554432000 4194304 16246674 140735916332336 140735916331648 13191794 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 326545 112441 869 2943 0 323439 0
[pid=2048/tid=2053] ppid=2043 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1337528320 112441 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1337528320 112441 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1337528320 112441 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1306180

[startup+1.50044 s]
/proc/loadavg: 0.28 0.13 0.14 4/184 2057
/proc/meminfo: memFree=28352464/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 267901 0 0 0 112 37 0 0 20 0 4 0 36226287 1338576896 268225 33554432000 4194304 16246674 140735916332336 140735916315328 5724467 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 326801 268225 869 2943 0 323695 0
[pid=2048/tid=2053] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268225 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268225 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268225 33554432000 4194304 16246674 140735916332336 140612886056112 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) 1307204

[startup+3.10044 s]
/proc/loadavg: 0.28 0.13 0.14 5/184 2057
/proc/meminfo: memFree=28032172/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 267924 0 0 0 272 37 0 0 20 0 4 0 36226287 1338576896 268248 33554432000 4194304 16246674 140735916332336 140735916314240 13191878 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 326801 268248 874 2943 0 323695 0
[pid=2048/tid=2053] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268248 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268248 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268248 33554432000 4194304 16246674 140735916332336 140612886056112 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.30044 s]
/proc/loadavg: 0.42 0.16 0.15 5/184 2057
/proc/meminfo: memFree=28031372/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 267926 0 0 0 592 37 0 0 20 0 4 0 36226287 1338576896 268250 33554432000 4194304 16246674 140735916332336 140735916331432 5523076 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 326801 268250 876 2943 0 323695 0
[pid=2048/tid=2053] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268250 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268250 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1338576896 268250 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.54 0.19 0.16 4/184 2057
/proc/meminfo: memFree=28024016/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1310276 CPUtime=12.68 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 268488 0 0 0 1231 37 0 0 20 0 4 0 36226287 1341722624 268812 33554432000 4194304 16246674 140735916332336 140735916314240 5523371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 327569 268812 876 2943 0 324463 0
[pid=2048/tid=2053] ppid=2043 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1341722624 268812 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1341722624 268812 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1341722624 268812 33554432000 4194304 16246674 140735916332336 140612886056112 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 0.93 0.29 0.19 4/184 2057
/proc/meminfo: memFree=28021512/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 269462 0 0 0 2511 37 0 0 20 0 4 0 36226287 1344868352 269786 33554432000 4194304 16246674 140735916332336 140735916314240 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 328337 269786 876 2943 0 325231 0
[pid=2048/tid=2053] ppid=2043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1344868352 269786 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1344868352 269786 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1344868352 269786 33554432000 4194304 16246674 140735916332336 140612886056112 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) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.36 0.45 0.25 4/184 2057
/proc/meminfo: memFree=28016308/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 270742 0 0 0 5070 38 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140735916314240 12483403 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 329617 271066 876 2943 0 326511 0
[pid=2048/tid=2053] ppid=2043 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.301 s]
/proc/loadavg: 1.96 0.75 0.36 4/183 2058
/proc/meminfo: memFree=28010788/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 270742 0 0 0 10190 38 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140735916314240 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 329617 271066 876 2943 0 326511 0
[pid=2048/tid=2053] ppid=2043 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1350111232 271066 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1362694144 274142 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1330756

[startup+1302.3 s]
/proc/loadavg: 2.35 2.26 1.74 5/183 2088
/proc/meminfo: memFree=27976912/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1332804 CPUtime=1302.04 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 274399 0 0 0 130140 64 0 0 20 0 4 0 36226287 1364791296 274654 33554432000 4194304 16246674 140735916332336 140735916314240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 333201 274654 877 2943 0 330095 0
[pid=2048/tid=2053] ppid=2043 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1364791296 274654 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1364791296 274654 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1364791296 274654 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.35 2.27 1.77 4/183 2089
/proc/meminfo: memFree=27966584/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1343044 CPUtime=1362 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 277003 0 0 0 136135 65 0 0 20 0 4 0 36226287 1375277056 277214 33554432000 4194304 16246674 140735916332336 140735916314240 13965472 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 335761 277214 877 2943 0 332655 0
[pid=2048/tid=2053] ppid=2043 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1375277056 277214 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1375277056 277214 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1375277056 277214 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1343044

[startup+1422.3 s]
/proc/loadavg: 2.38 2.30 1.81 5/183 2090
/proc/meminfo: memFree=27962632/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1347140 CPUtime=1421.97 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 278074 0 0 0 142131 66 0 0 20 0 4 0 36226287 1379471360 278238 33554432000 4194304 16246674 140735916332336 140735916314240 13191925 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 336785 278238 877 2943 0 333679 0
[pid=2048/tid=2053] ppid=2043 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1379471360 278238 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1379471360 278238 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1379471360 278238 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1347140

[startup+1482.3 s]
/proc/loadavg: 2.25 2.27 1.83 5/183 2092
/proc/meminfo: memFree=27961016/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1349188 CPUtime=1481.92 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 278628 0 0 0 148126 66 0 0 20 0 4 0 36226287 1381568512 278750 33554432000 4194304 16246674 140735916332336 140735916314240 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 337297 278750 877 2943 0 334191 0
[pid=2048/tid=2053] ppid=2043 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1381568512 278750 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1381568512 278750 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1381568512 278750 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 2.23 2.26 1.85 4/183 2093
/proc/meminfo: memFree=27957680/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1352260 CPUtime=1541.89 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 279441 0 0 0 154122 67 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140735916314240 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 338065 279518 877 2943 0 334959 0
[pid=2048/tid=2053] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.14 2.23 1.86 4/183 2094
/proc/meminfo: memFree=27957708/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1352260 CPUtime=1601.85 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 279485 0 0 0 160118 67 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140735916314240 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 338065 279518 877 2943 0 334959 0
[pid=2048/tid=2053] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1352260

[startup+1662.3 s]
/proc/loadavg: 2.40 2.27 1.90 4/183 2095
/proc/meminfo: memFree=27957824/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1352260 CPUtime=1661.82 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 279529 0 0 0 166114 68 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140735916314240 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 338065 279518 877 2943 0 334959 0
[pid=2048/tid=2053] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.46 2.31 1.93 4/183 2096
/proc/meminfo: memFree=27954504/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1352260 CPUtime=1721.78 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 279573 0 0 0 172110 68 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140735916314240 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 338065 279518 877 2943 0 334959 0
[pid=2048/tid=2053] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.34 2.30 1.95 4/183 2098
/proc/meminfo: memFree=27953564/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1352260 CPUtime=1781.76 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 279610 0 0 0 178107 69 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140735916314240 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 338065 279518 877 2943 0 334959 0
[pid=2048/tid=2053] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.28 1.95 5/184 2101
/proc/meminfo: memFree=27953368/32872528 swapFree=1499884/1696108
[pid=2048] ppid=2043 vsize=1352260 CPUtime=1800.05 cores=1,3,5,7
/proc/2048/stat : 2048 (toysat) R 2043 2048 2004 0 -1 4202496 279626 0 0 0 179936 69 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140735916314240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 338065 279518 877 2943 0 334959 0
[pid=2048/tid=2053] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2053/stat : 2053 (toysat) S 2043 2048 2004 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612907019504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2048/tid=2054] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2054/stat : 2054 (toysat) S 2043 2048 2004 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612896529648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2048/tid=2055] ppid=2043 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/2048/task/2055/stat : 2055 (toysat) S 2043 2048 2004 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36226287 1384714240 279518 33554432000 4194304 16246674 140735916332336 140612886056112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1352260

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 2048 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.62
CPU time (s): 1800.07
CPU user time (s): 1799.37
CPU system time (s): 0.706892
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.706892
maximum resident set size= 1118072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279626
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= 449
involuntary context switches= 1900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03623 second user time and 8.90165 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 15:10:05
IDJOB=4109146
IDBENCH=78674
IDSOLVER=2553
FILE ID=node137/4109146-1466341805
RUNJOBID= node137-1466341805-2021
PBS_JOBID= 19922016
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109146-1466341805/watcher-4109146-1466341805 -o /tmp/evaluation-result-4109146-1466341805/solver-4109146-1466341805 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466341805-2021 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109146-1466341805.wbo

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

MD5SUM BENCH= e57b036b50f33fe5c7ba72826e4a4d5e
RANDOM SEED=1308387086

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30179740 kB
Buffers:           65920 kB
Cached:           187772 kB
SwapCached:         1260 kB
Active:           122732 kB
Inactive:         133756 kB
Active(anon):       3380 kB
Inactive(anon):     2080 kB
Active(file):     119352 kB
Inactive(file):   131676 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100128 kB
Dirty:             32944 kB
Writeback:             0 kB
AnonPages:       1698728 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             606024 kB
SReclaimable:      49832 kB
SUnreclaim:       556192 kB
KernelStack:        1408 kB
PageTables:         7316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node137 at 2016-06-19 15:40:06