Trace number 4093635

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM02fb8a7818433044fe5d5a9a278599da
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark3.17252
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2520
Total number of constraints142
Number of soft constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
Top cost 7086
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7085
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
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-16T17:43:34+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-4093635-1466091814.wbo"]
0.00/0.01	c use --random-gen="332752165 1884239895 3671662178 631798734 2331864943 3165312165 2277927592 410504331 3761548121 725833609 641781729 1096495750 1916322730 4063960690 3975697538 4078195920 188036237 3666266555 1113504567 1120777356 725350914 2243231573 108799581 2700512642 949788085 2353345685 1033511990 3335996969 4088544161 557123608 4059507630 995890395 198714855 333315966 1525558284 3938366033 3764483342 1650404803 1386928702 81319469 1286724062 815470586 2250472568 1781335047 3394655728 335361127 3467724238 655434600 1353026085 2913215313 3953870147 3592117946 1815993295 2073328519 163142142 1880687976 3418122152 664211268 1493893929 394372871 4255352948 2678001878 3407578404 1676978800 4224679012 253609953 4188685699 1046960877 995465623 1199941028 1612136012 3496805861 1048872885 3432673278 3527038651 3154279030 1325289629 288175983 604591666 3407554739 3405091148 864145319 2031229868 1175538759 1295818550 548231601 3260040903 361553368 464704784 696601290 804902597 2936144340 3647498170 2719899698 2348460275 602088015 1568940174 2108207605 2180966025 4001060665 4200956007 900716919 1307864421 2251358313 4232083553 2200430556 4129697879 4044816644 1995063356 2441718196 1510551132 4181309863 2416191415 4165899170 4083915147 939968531 1311900425 366884653 3718277663 2367395372 1366503784 1045505177 3537385331 3282228391 2057711401 441750365 4223687044 2238561760 3983517693 2743335220 10933627 3952932585 2068845098 2150664611 2059508170 4216999031 1163808799 3012836968 95071926 1899973115 663855273 478229395 3885530035 1257176141 3198986301 772516994 1196666367 2054240198 2828846553 2649893222 2820953288 2758561920 2775605467 1029890091 2629098253 3375112313 3106556739 3563215072 690577715 871138010 4293830672 1650809570 2448803717 221002605 3574507943 4071944385 1073318299 2492872973 3167356423 1945273131 449565521 820907139 3056517163 4107610302 1435499967 783376445 859160772 2224962164 1391814645 3739992928 4247178079 2404567682 2183182316 3549105078 1994040345 1372266463 1566543732 858369959 655902662 3872144415 3070636980 3472821586 465668619 3798346704 3212726599 1529354931 1268677772 132952378 2666721853 736664270 1023601765 265819844 992227974 1605076435 3497725225 180090463 1847145997 2382394012 2920712891 2923803419 2644617619 3496770993 3157330033 4144405111 2631872625 2848387433 1406880855 1940438547 1838979789 4158124980 1381910151 1874761605 3495332751 2699578526 2223789367 527495961 45424745 4086747474 1238592400 2106571039 1170404813 1399974120 3171314807 3679195957 963889548 1586089552 883747737 406322489 4249633717 246052146 487486429 693525070 1056062078 416988603 3240055042 2761529204 1384964082 2864568558 1556956974 216028630 2947595840 1474149066 630895086 990317081 924344756 2114973417 255 362436" option to reproduce the execution
0.09/0.13	c #vars 2520
0.09/0.13	c #constraints 142
0.09/0.14	c BCD2: Hardening is enabled.
0.09/0.14	c BCD2: BiasedSearch is enabled.
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |      934      0 |        0 |        0
0.09/0.15	c  0.0s |       0 |      212 |        0 |      934      0 |        0 |        0
0.09/0.15	c #cpu_time = 0.004s
0.09/0.15	c #wall_clock_time = 0.004s
0.09/0.15	c #decision = 212
0.09/0.15	c #random_decision = 0
0.09/0.15	c #conflict = 0
0.09/0.15	c #restart = 0
0.09/0.15	o 3254
0.09/0.15	c BCD2: updating upper bound: 7085 -> 3253
0.09/0.15	c BCD2: 0 <= obj <= 3253
0.09/0.15	c BCD2: #cores=0, #unrelaxed=142, #relaxed=0, #hardened=0
0.09/0.15	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |      934      0 |        0 |        0
0.09/0.19	c  0.0s |       1 |      293 |      100 |      934      0 |        0 |        0
0.19/0.26	c  0.1s |       2 |     1046 |      250 |     1028      0 |        0 |        0
0.39/0.42	c  0.3s |       3 |     2448 |      475 |     1131      0 |        0 |        0
0.69/0.74	c  0.6s |       4 |     3857 |      813 |     1245      0 |        0 |        0
1.10/1.16	c  1.0s |       5 |     5169 |     1320 |     1370      0 |        0 |        0
1.79/1.86	c  1.7s |       6 |     6945 |     2081 |     1659      0 |        0 |        0
2.59/2.69	c  2.5s |       7 |     9137 |     3223 |     1825      1 |        0 |        0
4.29/4.31	c  4.2s |       8 |    11962 |     4936 |     2008      2 |        0 |        0
6.29/6.37	c  6.2s |       8 |    15385 |     6636 |     2008      3 |        0 |        0
7.99/8.01	c  7.9s |       9 |    16611 |     7506 |     2209      4 |        0 |        0
9.99/10.07	c  9.9s |       9 |    19876 |     9706 |     2209      5 |        0 |        0
12.09/12.12	c 12.0s |       9 |    21705 |    11306 |     2430      6 |        0 |        0
12.09/12.19	c 12.0s |      10 |    21767 |    11361 |     2430      6 |        0 |        0
14.18/14.21	c 14.1s |      10 |    24507 |    13061 |     2430      7 |        0 |        0
16.18/16.25	c 16.1s |      10 |    26113 |    14461 |     2430      8 |        0 |        0
18.18/18.28	c 18.1s |      10 |    27566 |    15761 |     2430      9 |        0 |        0
20.28/20.38	c 20.2s |      10 |    29004 |    17061 |     2673      9 |        0 |        0
20.48/20.51	c 20.4s |      11 |    29095 |    17144 |     2673      9 |        0 |        0
22.48/22.53	c 22.4s |      11 |    32170 |    19144 |     2673     10 |        0 |        0
24.58/24.65	c 24.5s |      11 |    33956 |    20744 |     2673     11 |        0 |        0
26.68/26.76	c 26.6s |      11 |    35539 |    22144 |     2673     12 |        0 |        0
28.78/28.81	c 28.7s |      11 |    37083 |    23544 |     2673     13 |        0 |        0
30.79/30.84	c 30.7s |      11 |    38631 |    24944 |     2673     13 |        0 |        0
32.08/32.12	c 32.0s |      12 |    39682 |    25819 |     2941     14 |        0 |        0
34.19/34.23	c 34.1s |      12 |    43103 |    27119 |     2941     14 |        0 |        0
36.18/36.29	c 36.1s |      12 |    45054 |    28219 |     2941     15 |        0 |        0
38.49/38.53	c 38.4s |      12 |    46060 |    29119 |     2941     15 |        0 |        0
40.69/40.77	c 40.6s |      12 |    47013 |    29919 |     2941     16 |        0 |        0
42.78/42.84	c 42.7s |      12 |    48350 |    30819 |     2941     16 |        0 |        0
45.09/45.11	c 45.0s |      12 |    49677 |    31919 |     2941     17 |        0 |        0
47.18/47.26	c 47.1s |      12 |    50890 |    32919 |     2941     17 |        0 |        0
49.38/49.50	c 49.4s |      12 |    51906 |    33819 |     2941     17 |        0 |        0
51.69/51.74	c 51.6s |      12 |    52824 |    34619 |     2941     18 |        0 |        0
53.88/53.93	c 53.8s |      12 |    53958 |    35619 |     2941     18 |        0 |        0
56.08/56.11	c 56.0s |      12 |    54863 |    36419 |     2941     19 |        0 |        0
58.08/58.15	c 58.0s |      12 |    55930 |    37219 |     2941     19 |        0 |        0
60.18/60.28	c 60.1s |      12 |    56858 |    38019 |     2941     19 |        0 |        0
62.38/62.42	c 62.3s |      12 |    57930 |    38819 |     3236     20 |        0 |        0
62.38/62.47	c 62.3s |      13 |    57943 |    38832 |     3236     20 |        0 |        0
64.38/64.48	c 64.3s |      13 |    60841 |    40532 |     3236     20 |        0 |        0
66.48/66.55	c 66.4s |      13 |    62859 |    42232 |     3236     21 |        0 |        0
68.48/68.60	c 68.4s |      13 |    64409 |    43632 |     3236     22 |        0 |        0
70.58/70.69	c 70.5s |      13 |    65805 |    44932 |     3236     22 |        0 |        0
72.69/72.71	c 72.6s |      13 |    67391 |    46232 |     3236     23 |        0 |        0
74.79/74.85	c 74.7s |      13 |    68832 |    47532 |     3236     23 |        0 |        0
76.78/76.87	c 76.7s |      13 |    70135 |    48732 |     3236     24 |        0 |        0
78.98/79.01	c 78.9s |      13 |    71444 |    49932 |     3236     24 |        0 |        0
80.98/81.07	c 80.9s |      13 |    72789 |    51132 |     3236     25 |        0 |        0
83.08/83.11	c 83.0s |      13 |    73986 |    52232 |     3236     25 |        0 |        0
85.18/85.29	c 85.1s |      13 |    75336 |    53432 |     3236     26 |        0 |        0
87.28/87.30	c 87.1s |      13 |    76438 |    54432 |     3236     26 |        0 |        0
89.28/89.37	c 89.2s |      13 |    77986 |    55732 |     3236     27 |        0 |        0
91.48/91.51	c 91.4s |      13 |    79233 |    56832 |     3236     28 |        0 |        0
93.48/93.55	c 93.4s |      13 |    80303 |    57832 |     3236     28 |        0 |        0
94.38/94.50	c 94.3s |      14 |    80908 |    58352 |     3560     28 |        0 |        0
96.48/96.53	c 96.4s |      14 |    85834 |    59852 |     3560     29 |        0 |        0
98.68/98.76	c 98.6s |      14 |    89103 |    61552 |     3560     30 |        0 |        0
100.88/100.97	c  100s |      14 |    91390 |    62752 |     3560     30 |        0 |        0
102.98/103.05	c  102s |      14 |    92606 |    63852 |     3560     30 |        0 |        0
104.98/105.06	c  104s |      14 |    93631 |    64752 |     3560     31 |        0 |        0
107.18/107.25	c  107s |      14 |    94872 |    65752 |     3560     31 |        0 |        0
109.48/109.50	c  109s |      14 |    95915 |    66652 |     3560     32 |        0 |        0
111.48/111.50	c  111s |      14 |    97546 |    67752 |     3560     32 |        0 |        0
113.57/113.68	c  113s |      14 |    98824 |    68852 |     3560     32 |        0 |        0
115.87/115.91	c  115s |      14 |    99727 |    69652 |     3560     33 |        0 |        0
118.07/118.13	c  117s |      14 |   100885 |    70652 |     3560     33 |        0 |        0
120.17/120.20	c  120s |      14 |   101973 |    71552 |     3560     33 |        0 |        0
122.27/122.32	c  122s |      14 |   103126 |    72552 |     3560     34 |        0 |        0
124.38/124.44	c  124s |      14 |   104348 |    73452 |     3560     34 |        0 |        0
126.48/126.55	c  126s |      14 |   105247 |    74252 |     3560     35 |        0 |        0
128.57/128.68	c  128s |      14 |   106331 |    75152 |     3560     35 |        0 |        0
130.88/130.91	c  130s |      14 |   107494 |    76052 |     3560     35 |        0 |        0
132.87/132.93	c  132s |      14 |   108736 |    76952 |     3560     36 |        0 |        0
135.07/135.13	c  134s |      14 |   109898 |    77952 |     3560     36 |        0 |        0
137.07/137.18	c  137s |      14 |   110921 |    78852 |     3560     36 |        0 |        0
139.27/139.32	c  139s |      14 |   112048 |    79752 |     3560     37 |        0 |        0
141.37/141.48	c  141s |      14 |   113112 |    80652 |     3560     37 |        0 |        0
143.57/143.63	c  143s |      14 |   114188 |    81552 |     3560     37 |        0 |        0
145.57/145.63	c  145s |      14 |   115198 |    82252 |     3560     38 |        0 |        0
147.67/147.78	c  147s |      14 |   116154 |    83052 |     3560     38 |        0 |        0
149.77/149.81	c  149s |      14 |   116952 |    83752 |     3560     38 |        0 |        0
151.87/151.97	c  151s |      14 |   118121 |    84552 |     3560     39 |        0 |        0
154.07/154.15	c  153s |      14 |   119322 |    85452 |     3560     39 |        0 |        0
156.07/156.19	c  156s |      14 |   120899 |    86552 |     3560     39 |        0 |        0
157.97/158.04	c  157s |      15 |   122424 |    87632 |     3917     40 |        0 |        0
159.97/160.09	c  159s |      15 |   125473 |    89232 |     3917     40 |        0 |        0
162.07/162.19	c  162s |      15 |   126786 |    90432 |     3917     40 |        0 |        0
164.16/164.21	c  164s |      15 |   127830 |    91332 |     3917     41 |        0 |        0
166.36/166.40	c  166s |      15 |   128821 |    92232 |     3917     41 |        0 |        0
168.57/168.65	c  168s |      15 |   129997 |    93232 |     3917     41 |        0 |        0
170.57/170.68	c  170s |      15 |   130811 |    93932 |     3917     42 |        0 |        0
172.67/172.73	c  172s |      15 |   131952 |    94932 |     3917     42 |        0 |        0
174.76/174.85	c  174s |      15 |   132853 |    95732 |     3917     42 |        0 |        0
176.96/177.08	c  176s |      15 |   133803 |    96532 |     3917     42 |        0 |        0
178.97/179.09	c  178s |      15 |   134604 |    97232 |     3917     43 |        0 |        0
181.07/181.15	c  181s |      15 |   135718 |    98232 |     3917     43 |        0 |        0
183.17/183.25	c  183s |      15 |   136605 |    99032 |     3917     43 |        0 |        0
185.46/185.52	c  185s |      15 |   137457 |    99832 |     3917     43 |        0 |        0
187.56/187.67	c  187s |      15 |   138331 |   100632 |     3917     44 |        0 |        0
189.66/189.76	c  189s |      15 |   139317 |   101532 |     3917     44 |        0 |        0
191.76/191.80	c  191s |      15 |   140205 |   102332 |     3917     44 |        0 |        0
194.06/194.14	c  193s |      15 |   140970 |   103032 |     3917     45 |        0 |        0
196.26/196.37	c  196s |      15 |   141842 |   103832 |     3917     45 |        0 |        0
198.36/198.48	c  198s |      15 |   142713 |   104632 |     3917     45 |        0 |        0
200.46/200.58	c  200s |      15 |   143599 |   105432 |     3917     45 |        0 |        0
202.56/202.67	c  202s |      15 |   144603 |   106332 |     3917     46 |        0 |        0
204.66/204.72	c  204s |      15 |   145598 |   107232 |     3917     46 |        0 |        0
206.76/206.81	c  206s |      15 |   146719 |   108232 |     3917     46 |        0 |        0
208.75/208.82	c  208s |      15 |   147640 |   109032 |     3917     46 |        0 |        0
210.96/211.06	c  210s |      15 |   148658 |   109932 |     3917     47 |        0 |        0
213.06/213.17	c  213s |      15 |   149778 |   110932 |     3917     47 |        0 |        0
215.16/215.26	c  215s |      15 |   150885 |   111932 |     3917     47 |        0 |        0
217.26/217.31	c  217s |      15 |   151766 |   112732 |     3917     48 |        0 |        0
219.36/219.41	c  219s |      15 |   152912 |   113732 |     3917     48 |        0 |        0
221.45/221.53	c  221s |      15 |   154219 |   114832 |     3917     48 |        0 |        0
223.45/223.57	c  223s |      15 |   155363 |   115832 |     3917     49 |        0 |        0
225.56/225.61	c  225s |      15 |   156518 |   116832 |     3917     49 |        0 |        0
227.56/227.69	c  227s |      15 |   157539 |   117732 |     3917     49 |        0 |        0
230.06/230.12	c  229s |      15 |   158405 |   118532 |     3917     50 |        0 |        0
232.06/232.13	c  231s |      15 |   159677 |   119632 |     3917     50 |        0 |        0
234.05/234.18	c  234s |      15 |   160826 |   120632 |     3917     50 |        0 |        0
236.25/236.37	c  236s |      15 |   161953 |   121632 |     3917     51 |        0 |        0
238.25/238.38	c  238s |      15 |   162980 |   122532 |     3917     51 |        0 |        0
240.35/240.46	c  240s |      15 |   164002 |   123432 |     3917     51 |        0 |        0
242.46/242.51	c  242s |      15 |   165015 |   124332 |     3917     51 |        0 |        0
244.76/244.83	c  244s |      15 |   165788 |   125032 |     3917     52 |        0 |        0
246.95/247.03	c  246s |      15 |   166660 |   125832 |     3917     52 |        0 |        0
249.05/249.15	c  249s |      15 |   167774 |   126832 |     3917     52 |        0 |        0
251.05/251.19	c  251s |      15 |   168560 |   127532 |     3917     52 |        0 |        0
253.25/253.32	c  253s |      15 |   169328 |   128232 |     3917     53 |        0 |        0
255.35/255.45	c  255s |      15 |   170473 |   129232 |     3917     53 |        0 |        0
257.55/257.66	c  257s |      15 |   171668 |   130232 |     3917     53 |        0 |        0
259.66/259.71	c  259s |      15 |   172693 |   131132 |     4309     53 |        0 |        0
260.76/260.82	c  260s |      16 |   173166 |   131552 |     4309     54 |        0 |        0
262.86/262.91	c  262s |      16 |   176359 |   133352 |     4309     54 |        0 |        0
264.85/264.91	c  264s |      16 |   177701 |   134552 |     4309     55 |        0 |        0
266.95/267.00	c  266s |      16 |   179037 |   135752 |     4309     55 |        0 |        0
269.05/269.13	c  268s |      16 |   180120 |   136752 |     4309     56 |        0 |        0
271.15/271.28	c  271s |      16 |   181310 |   137852 |     4309     56 |        0 |        0
273.25/273.30	c  273s |      16 |   182450 |   138852 |     4309     56 |        0 |        0
275.35/275.41	c  275s |      16 |   183446 |   139752 |     4309     57 |        0 |        0
277.45/277.51	c  277s |      16 |   184779 |   140952 |     4309     57 |        0 |        0
279.65/279.76	c  279s |      16 |   186144 |   142152 |     4309     58 |        0 |        0
281.75/281.87	c  281s |      16 |   187455 |   143352 |     4309     58 |        0 |        0
283.95/284.07	c  283s |      16 |   188671 |   144452 |     4309     58 |        0 |        0
286.06/286.17	c  286s |      16 |   189910 |   145552 |     4309     59 |        0 |        0
288.05/288.19	c  288s |      16 |   190999 |   146552 |     4309     59 |        0 |        0
290.15/290.20	c  290s |      16 |   191969 |   147452 |     4309     59 |        0 |        0
292.15/292.24	c  292s |      16 |   193192 |   148552 |     4309     60 |        0 |        0
294.25/294.32	c  294s |      16 |   194278 |   149552 |     4309     60 |        0 |        0
296.45/296.59	c  296s |      16 |   195373 |   150552 |     4309     61 |        0 |        0
298.65/298.79	c  298s |      16 |   196596 |   151652 |     4309     61 |        0 |        0
300.75/300.88	c  300s |      16 |   197854 |   152752 |     4309     61 |        0 |        0
302.95/303.02	c  302s |      16 |   198921 |   153752 |     4309     62 |        0 |        0
304.95/305.02	c  304s |      16 |   200211 |   154852 |     4309     62 |        0 |        0
307.15/307.22	c  307s |      16 |   201292 |   155852 |     4309     62 |        0 |        0
309.15/309.24	c  309s |      16 |   202559 |   156952 |     4309     63 |        0 |        0
311.25/311.38	c  311s |      16 |   203632 |   157952 |     4309     63 |        0 |        0
313.45/313.52	c  313s |      16 |   204742 |   158952 |     4309     64 |        0 |        0
315.54/315.66	c  315s |      16 |   206317 |   160252 |     4309     64 |        0 |        0
317.54/317.67	c  317s |      16 |   207691 |   161352 |     4309     64 |        0 |        0
319.74/319.81	c  319s |      16 |   208942 |   162452 |     4309     65 |        0 |        0
321.74/321.83	c  321s |      16 |   209943 |   163352 |     4309     65 |        0 |        0
323.74/323.85	c  323s |      16 |   210966 |   164252 |     4309     65 |        0 |        0
325.94/326.05	c  325s |      16 |   212090 |   165252 |     4309     66 |        0 |        0
328.04/328.15	c  328s |      16 |   213232 |   166252 |     4309     66 |        0 |        0
330.14/330.20	c  330s |      16 |   214231 |   167152 |     4309     66 |        0 |        0
332.14/332.28	c  332s |      16 |   215276 |   168052 |     4309     67 |        0 |        0
334.34/334.42	c  334s |      16 |   216853 |   169352 |     4309     67 |        0 |        0
336.44/336.58	c  336s |      16 |   217975 |   170352 |     4309     68 |        0 |        0
338.54/338.67	c  338s |      16 |   219105 |   171352 |     4309     68 |        0 |        0
340.74/340.85	c  340s |      16 |   220235 |   172352 |     4309     68 |        0 |        0
342.84/342.98	c  342s |      16 |   221283 |   173252 |     4309     69 |        0 |        0
344.94/345.06	c  344s |      16 |   222575 |   174352 |     4309     69 |        0 |        0
347.04/347.16	c  347s |      16 |   223828 |   175452 |     4309     69 |        0 |        0
349.13/349.22	c  349s |      16 |   224947 |   176452 |     4309     70 |        0 |        0
351.13/351.24	c  351s |      16 |   225955 |   177352 |     4309     70 |        0 |        0
353.14/353.29	c  353s |      16 |   227130 |   178352 |     4309     70 |        0 |        0
355.34/355.48	c  355s |      16 |   228343 |   179452 |     4309     71 |        0 |        0
357.44/357.56	c  357s |      16 |   229507 |   180452 |     4309     71 |        0 |        0
359.53/359.60	c  359s |      16 |   230554 |   181352 |     4309     71 |        0 |        0
361.53/361.69	c  361s |      16 |   231684 |   182352 |     4309     72 |        0 |        0
363.73/363.84	c  363s |      16 |   232930 |   183452 |     4309     72 |        0 |        0
365.73/365.87	c  365s |      16 |   233971 |   184352 |     4309     73 |        0 |        0
367.93/368.05	c  367s |      16 |   235314 |   185552 |     4309     73 |        0 |        0
370.13/370.24	c  370s |      16 |   236566 |   186652 |     4309     73 |        0 |        0
372.13/372.26	c  372s |      16 |   237887 |   187752 |     4309     74 |        0 |        0
374.23/374.34	c  374s |      16 |   239399 |   189052 |     4309     74 |        0 |        0
376.33/376.40	c  376s |      16 |   240817 |   190252 |     4309     75 |        0 |        0
378.44/378.56	c  378s |      16 |   242281 |   191552 |     4309     75 |        0 |        0
380.64/380.74	c  380s |      16 |   243513 |   192652 |     4309     75 |        0 |        0
382.63/382.76	c  382s |      16 |   244632 |   193652 |     4309     76 |        0 |        0
384.83/384.91	c  384s |      16 |   246072 |   194852 |     4309     76 |        0 |        0
386.93/387.01	c  386s |      16 |   247325 |   195952 |     4309     77 |        0 |        0
389.03/389.20	c  389s |      16 |   248655 |   197152 |     4740     77 |        0 |        0
389.63/389.79	c  389s |      17 |   248975 |   197432 |     4740     77 |        0 |        0
391.73/391.80	c  391s |      17 |   252383 |   199232 |     4740     78 |        0 |        0
393.73/393.83	c  393s |      17 |   254208 |   200832 |     4740     78 |        0 |        0
395.83/395.93	c  395s |      17 |   255627 |   202132 |     4740     79 |        0 |        0
397.83/397.99	c  397s |      17 |   256928 |   203332 |     4740     79 |        0 |        0
399.93/400.09	c  399s |      17 |   258259 |   204532 |     4740     79 |        0 |        0
402.03/402.13	c  401s |      17 |   259694 |   205832 |     4740     80 |        0 |        0
404.03/404.18	c  404s |      17 |   261195 |   207032 |     4740     80 |        0 |        0
406.23/406.34	c  406s |      17 |   262432 |   208032 |     4740     81 |        0 |        0
408.23/408.35	c  408s |      17 |   263575 |   209032 |     4740     81 |        0 |        0
410.42/410.50	c  410s |      17 |   264951 |   210232 |     4740     81 |        0 |        0
412.53/412.66	c  412s |      17 |   266204 |   211332 |     4740     82 |        0 |        0
414.63/414.76	c  414s |      17 |   267633 |   212632 |     4740     82 |        0 |        0
416.72/416.89	c  416s |      17 |   268753 |   213632 |     4740     82 |        0 |        0
418.92/419.04	c  418s |      17 |   269739 |   214532 |     4740     83 |        0 |        0
421.02/421.19	c  421s |      17 |   271138 |   215732 |     4740     83 |        0 |        0
423.12/423.22	c  423s |      17 |   272124 |   216632 |     4740     83 |        0 |        0
425.12/425.25	c  425s |      17 |   273135 |   217532 |     4740     84 |        0 |        0
427.22/427.38	c  427s |      17 |   274321 |   218632 |     4740     84 |        0 |        0
429.42/429.56	c  429s |      17 |   275501 |   219632 |     4740     84 |        0 |        0
431.62/431.74	c  431s |      17 |   276747 |   220732 |     4740     85 |        0 |        0
433.72/433.80	c  433s |      17 |   277878 |   221732 |     4740     85 |        0 |        0
435.92/436.01	c  435s |      17 |   278986 |   222732 |     4740     85 |        0 |        0
437.92/438.01	c  437s |      17 |   279953 |   223632 |     4740     86 |        0 |        0
439.93/440.02	c  439s |      17 |   280924 |   224532 |     4740     86 |        0 |        0
442.02/442.15	c  441s |      17 |   282424 |   225832 |     4740     86 |        0 |        0
444.02/444.19	c  444s |      17 |   283895 |   227132 |     4740     87 |        0 |        0
446.12/446.22	c  446s |      17 |   285306 |   228332 |     4740     87 |        0 |        0
448.12/448.28	c  448s |      17 |   286559 |   229432 |     4740     87 |        0 |        0
450.22/450.39	c  450s |      17 |   287884 |   230632 |     4740     88 |        0 |        0
452.42/452.52	c  452s |      17 |   289190 |   231832 |     4740     88 |        0 |        0
454.42/454.56	c  454s |      17 |   290217 |   232732 |     4740     89 |        0 |        0
456.53/456.62	c  456s |      17 |   291674 |   234032 |     4740     89 |        0 |        0
458.63/458.73	c  458s |      17 |   293150 |   235332 |     4740     89 |        0 |        0
460.62/460.76	c  460s |      17 |   294482 |   236532 |     4740     90 |        0 |        0
462.62/462.78	c  462s |      17 |   295828 |   237732 |     4740     90 |        0 |        0
464.72/464.84	c  464s |      17 |   296935 |   238732 |     4740     90 |        0 |        0
466.72/466.86	c  466s |      17 |   298504 |   240032 |     4740     91 |        0 |        0
468.82/468.95	c  468s |      17 |   300034 |   241332 |     4740     91 |        0 |        0
470.92/471.00	c  470s |      17 |   301240 |   242432 |     4740     92 |        0 |        0
473.03/473.16	c  473s |      17 |   302733 |   243732 |     4740     92 |        0 |        0
475.13/475.25	c  475s |      17 |   303920 |   244832 |     4740     92 |        0 |        0
477.22/477.35	c  477s |      17 |   305653 |   246332 |     4740     93 |        0 |        0
479.22/479.36	c  479s |      17 |   306995 |   247432 |     4740     93 |        0 |        0
481.22/481.36	c  481s |      17 |   308240 |   248532 |     4740     94 |        0 |        0
483.22/483.39	c  483s |      17 |   309487 |   249632 |     4740     94 |        0 |        0
485.42/485.55	c  485s |      17 |   310679 |   250732 |     4740     94 |        0 |        0
487.52/487.64	c  487s |      17 |   311768 |   251732 |     4740     95 |        0 |        0
489.62/489.73	c  489s |      17 |   313172 |   252732 |     4740     95 |        0 |        0
491.63/491.78	c  491s |      17 |   314093 |   253532 |     4740     95 |        0 |        0
494.02/494.10	c  493s |      17 |   315128 |   254432 |     4740     96 |        0 |        0
496.22/496.32	c  496s |      17 |   316140 |   255332 |     4740     96 |        0 |        0
498.42/498.54	c  498s |      17 |   317423 |   256432 |     4740     96 |        0 |        0
500.52/500.62	c  500s |      17 |   318424 |   257332 |     4740     96 |        0 |        0
502.62/502.79	c  502s |      17 |   319571 |   258332 |     4740     97 |        0 |        0
504.82/504.96	c  504s |      17 |   320565 |   259232 |     4740     97 |        0 |        0
507.02/507.20	c  507s |      17 |   321541 |   260132 |     4740     97 |        0 |        0
509.12/509.26	c  509s |      17 |   322447 |   260932 |     4740     98 |        0 |        0
511.22/511.30	c  511s |      17 |   324303 |   262532 |     4740     98 |        0 |        0
513.32/513.46	c  513s |      17 |   325808 |   263832 |     4740     99 |        0 |        0
515.52/515.61	c  515s |      17 |   327171 |   265032 |     4740     99 |        0 |        0
517.62/517.79	c  517s |      17 |   328547 |   266232 |     4740     99 |        0 |        0
519.72/519.83	c  519s |      17 |   329564 |   267132 |     4740    100 |        0 |        0
521.71/521.88	c  521s |      17 |   330764 |   268232 |     4740    100 |        0 |        0
523.91/524.00	c  523s |      17 |   332261 |   269132 |     4740    100 |        0 |        0
525.91/526.01	c  525s |      17 |   333372 |   270132 |     4740    101 |        0 |        0
527.92/528.04	c  527s |      17 |   334673 |   271332 |     4740    101 |        0 |        0
530.12/530.21	c  530s |      17 |   335974 |   272532 |     4740    101 |        0 |        0
532.21/532.30	c  532s |      17 |   337064 |   273532 |     4740    102 |        0 |        0
534.21/534.35	c  534s |      17 |   338598 |   274832 |     4740    102 |        0 |        0
536.31/536.49	c  536s |      17 |   339931 |   276032 |     4740    102 |        0 |        0
538.41/538.52	c  538s |      17 |   341143 |   277132 |     4740    103 |        0 |        0
540.51/540.67	c  540s |      17 |   342361 |   278132 |     4740    103 |        0 |        0
542.61/542.75	c  542s |      17 |   343368 |   279032 |     4740    103 |        0 |        0
544.71/544.84	c  544s |      17 |   344696 |   280232 |     4740    104 |        0 |        0
546.91/547.00	c  546s |      17 |   345928 |   281232 |     4740    104 |        0 |        0
549.01/549.12	c  548s |      17 |   347014 |   282132 |     4740    104 |        0 |        0
551.12/551.23	c  551s |      17 |   348135 |   283132 |     4740    105 |        0 |        0
553.22/553.38	c  553s |      17 |   349606 |   284432 |     4740    105 |        0 |        0
555.31/555.42	c  555s |      17 |   350632 |   285232 |     4740    105 |        0 |        0
557.31/557.48	c  557s |      17 |   351652 |   286032 |     4740    106 |        0 |        0
559.51/559.62	c  559s |      17 |   353018 |   287232 |     4740    106 |        0 |        0
561.61/561.70	c  561s |      17 |   354284 |   288332 |     4740    106 |        0 |        0
563.61/563.75	c  563s |      17 |   355593 |   289232 |     4740    107 |        0 |        0
565.71/565.87	c  565s |      17 |   356842 |   290332 |     4740    107 |        0 |        0
567.81/567.91	c  567s |      17 |   358308 |   291632 |     4740    107 |        0 |        0
570.01/570.10	c  569s |      17 |   359692 |   292832 |     4740    108 |        0 |        0
572.01/572.11	c  571s |      17 |   360946 |   293932 |     4740    108 |        0 |        0
574.01/574.20	c  574s |      17 |   362218 |   295032 |     5214    108 |        0 |        0
576.11/576.29	c  576s |      17 |   363469 |   296132 |     5214    109 |        0 |        0
576.31/576.49	c  576s |      18 |   363599 |   296252 |     5214    109 |        0 |        0
578.41/578.52	c  578s |      18 |   367228 |   298352 |     5214    109 |        0 |        0
580.50/580.62	c  580s |      18 |   369154 |   300052 |     5214    110 |        0 |        0
582.60/582.70	c  582s |      18 |   370994 |   301652 |     5214    110 |        0 |        0
584.60/584.76	c  584s |      18 |   372429 |   302952 |     5214    110 |        0 |        0
586.70/586.82	c  586s |      18 |   373777 |   304152 |     5214    111 |        0 |        0
588.80/588.94	c  588s |      18 |   375103 |   305352 |     5214    111 |        0 |        0
590.90/591.07	c  590s |      18 |   376429 |   306552 |     5214    111 |        0 |        0
593.00/593.10	c  592s |      18 |   377655 |   307652 |     5214    112 |        0 |        0
595.11/595.25	c  595s |      18 |   378962 |   308852 |     5214    112 |        0 |        0
597.21/597.37	c  597s |      18 |   380528 |   310252 |     5214    112 |        0 |        0
599.30/599.48	c  599s |      18 |   382020 |   311552 |     5214    113 |        0 |        0
601.50/601.65	c  601s |      18 |   383457 |   312852 |     5214    113 |        0 |        0
603.60/603.78	c  603s |      18 |   384861 |   314152 |     5214    113 |        0 |        0
605.60/605.79	c  605s |      18 |   386062 |   315252 |     5214    114 |        0 |        0
607.70/607.82	c  607s |      18 |   387598 |   316652 |     5214    114 |        0 |        0
609.80/609.92	c  609s |      18 |   389051 |   317952 |     5214    114 |        0 |        0
611.90/612.03	c  611s |      18 |   390267 |   319052 |     5214    115 |        0 |        0
614.00/614.11	c  613s |      18 |   391686 |   320352 |     5214    115 |        0 |        0
616.10/616.24	c  616s |      18 |   393157 |   321652 |     5214    115 |        0 |        0
618.40/618.52	c  618s |      18 |   394404 |   322752 |     5214    116 |        0 |        0
620.60/620.70	c  620s |      18 |   395856 |   324052 |     5214    116 |        0 |        0
622.70/622.83	c  622s |      18 |   397134 |   325252 |     5214    116 |        0 |        0
624.90/625.07	c  624s |      18 |   398391 |   326352 |     5214    117 |        0 |        0
627.00/627.16	c  627s |      18 |   399958 |   327752 |     5214    117 |        0 |        0
629.00/629.18	c  629s |      18 |   401185 |   328852 |     5214    117 |        0 |        0
631.10/631.27	c  631s |      18 |   402381 |   329952 |     5214    117 |        0 |        0
633.19/633.33	c  633s |      18 |   403636 |   331052 |     5214    118 |        0 |        0
635.29/635.45	c  635s |      18 |   404961 |   332252 |     5214    118 |        0 |        0
637.49/637.62	c  637s |      18 |   406186 |   333352 |     5214    118 |        0 |        0
639.49/639.62	c  639s |      18 |   407254 |   334352 |     5214    119 |        0 |        0
641.59/641.78	c  641s |      18 |   408782 |   335752 |     5214    119 |        0 |        0
643.59/643.79	c  643s |      18 |   409953 |   336852 |     5214    119 |        0 |        0
645.70/645.86	c  645s |      18 |   411082 |   337852 |     5214    120 |        0 |        0
647.80/647.95	c  647s |      18 |   412503 |   339152 |     5214    120 |        0 |        0
650.00/650.14	c  649s |      18 |   413812 |   340352 |     5214    120 |        0 |        0
652.09/652.26	c  652s |      18 |   415052 |   341452 |     5214    120 |        0 |        0
654.19/654.38	c  654s |      18 |   416368 |   342652 |     5214    121 |        0 |        0
656.39/656.53	c  656s |      18 |   417673 |   343852 |     5214    121 |        0 |        0
658.59/658.70	c  658s |      18 |   418875 |   344952 |     5214    121 |        0 |        0
660.59/660.72	c  660s |      18 |   419860 |   345852 |     5214    122 |        0 |        0
662.59/662.77	c  662s |      18 |   421410 |   347252 |     5214    122 |        0 |        0
664.79/664.96	c  664s |      18 |   422710 |   348452 |     5214    122 |        0 |        0
666.79/666.99	c  666s |      18 |   423796 |   349452 |     5214    123 |        0 |        0
668.99/669.16	c  669s |      18 |   425006 |   350552 |     5214    123 |        0 |        0
671.00/671.18	c  671s |      18 |   425960 |   351452 |     5214    123 |        0 |        0
673.20/673.34	c  673s |      18 |   427086 |   352452 |     5214    123 |        0 |        0
675.30/675.46	c  675s |      18 |   428304 |   353552 |     5214    124 |        0 |        0
677.39/677.60	c  677s |      18 |   429725 |   354852 |     5214    124 |        0 |        0
679.59/679.70	c  679s |      18 |   430900 |   355952 |     5214    124 |        0 |        0
681.59/681.76	c  681s |      18 |   431944 |   356852 |     5214    125 |        0 |        0
683.59/683.77	c  683s |      18 |   433536 |   358252 |     5214    125 |        0 |        0
685.79/685.94	c  685s |      18 |   434971 |   359552 |     5214    125 |        0 |        0
687.79/687.98	c  687s |      18 |   436169 |   360652 |     5214    125 |        0 |        0
689.89/690.03	c  689s |      18 |   437153 |   361552 |     5214    126 |        0 |        0
691.98/692.14	c  691s |      18 |   438459 |   362752 |     5214    126 |        0 |        0
694.09/694.29	c  694s |      18 |   439805 |   363952 |     5214    126 |        0 |        0
696.19/696.34	c  696s |      18 |   440997 |   364952 |     5214    127 |        0 |        0
698.28/698.47	c  698s |      18 |   442344 |   366152 |     5214    127 |        0 |        0
700.38/700.51	c  700s |      18 |   443572 |   367252 |     5214    127 |        0 |        0
702.38/702.57	c  702s |      18 |   444707 |   368252 |     5214    127 |        0 |        0
704.48/704.68	c  704s |      18 |   445938 |   369352 |     5214    128 |        0 |        0
706.58/706.76	c  706s |      18 |   447134 |   370452 |     5214    128 |        0 |        0
708.68/708.85	c  708s |      18 |   448219 |   371452 |     5214    128 |        0 |        0
710.88/711.04	c  710s |      18 |   449235 |   372352 |     5214    129 |        0 |        0
712.98/713.17	c  713s |      18 |   450716 |   373652 |     5214    129 |        0 |        0
715.08/715.25	c  715s |      18 |   452014 |   374752 |     5214    129 |        0 |        0
717.28/717.48	c  717s |      18 |   453102 |   375752 |     5214    129 |        0 |        0
719.48/719.60	c  719s |      18 |   454252 |   376752 |     5214    130 |        0 |        0
721.59/721.75	c  721s |      18 |   455514 |   377852 |     5214    130 |        0 |        0
723.69/723.86	c  723s |      18 |   456760 |   378952 |     5214    130 |        0 |        0
725.78/725.99	c  725s |      18 |   457875 |   379952 |     5214    131 |        0 |        0
727.88/728.05	c  727s |      18 |   459012 |   380952 |     5214    131 |        0 |        0
730.08/730.21	c  730s |      18 |   460541 |   382352 |     5214    131 |        0 |        0
732.08/732.25	c  732s |      18 |   461846 |   383552 |     5214    131 |        0 |        0
734.18/734.30	c  734s |      18 |   463168 |   384752 |     5214    132 |        0 |        0
736.28/736.43	c  736s |      18 |   464590 |   386052 |     5214    132 |        0 |        0
738.37/738.53	c  738s |      18 |   465927 |   387252 |     5214    132 |        0 |        0
740.47/740.61	c  740s |      18 |   466976 |   388252 |     5214    133 |        0 |        0
742.57/742.75	c  742s |      18 |   468351 |   389452 |     5214    133 |        0 |        0
744.68/744.81	c  744s |      18 |   469440 |   390452 |     5214    133 |        0 |        0
746.78/746.99	c  746s |      18 |   470547 |   391452 |     5214    134 |        0 |        0
748.87/749.09	c  748s |      18 |   471619 |   392452 |     5214    134 |        0 |        0
751.07/751.26	c  751s |      18 |   473251 |   393852 |     5214    134 |        0 |        0
753.17/753.39	c  753s |      18 |   474597 |   395052 |     5214    134 |        0 |        0
755.27/755.48	c  755s |      18 |   475689 |   396052 |     5214    135 |        0 |        0
757.46/757.61	c  757s |      18 |   476778 |   397052 |     5214    135 |        0 |        0
759.46/759.68	c  759s |      18 |   477808 |   397952 |     5214    135 |        0 |        0
761.56/761.70	c  761s |      18 |   478837 |   398852 |     5214    136 |        0 |        0
763.66/763.83	c  763s |      18 |   480164 |   400052 |     5214    136 |        0 |        0
765.76/765.98	c  765s |      18 |   481305 |   401052 |     5214    136 |        0 |        0
767.86/768.05	c  767s |      18 |   482382 |   402052 |     5214    136 |        0 |        0
769.96/770.14	c  769s |      18 |   483247 |   402852 |     5214    137 |        0 |        0
771.95/772.18	c  772s |      18 |   484217 |   403752 |     5214    137 |        0 |        0
774.15/774.32	c  774s |      18 |   485416 |   404852 |     5214    137 |        0 |        0
776.25/776.40	c  776s |      18 |   486375 |   405752 |     5214    137 |        0 |        0
778.25/778.42	c  778s |      18 |   487520 |   406752 |     5214    138 |        0 |        0
780.25/780.46	c  780s |      18 |   488960 |   408052 |     5214    138 |        0 |        0
782.45/782.64	c  782s |      18 |   490138 |   409152 |     5214    138 |        0 |        0
784.65/784.83	c  784s |      18 |   491308 |   410152 |     5214    138 |        0 |        0
786.65/786.88	c  786s |      18 |   492262 |   411052 |     5214    139 |        0 |        0
788.84/789.08	c  788s |      18 |   493538 |   412152 |     5214    139 |        0 |        0
790.94/791.19	c  791s |      18 |   494761 |   413252 |     5214    139 |        0 |        0
793.05/793.27	c  793s |      18 |   495750 |   414152 |     5214    140 |        0 |        0
795.25/795.41	c  795s |      18 |   496949 |   415252 |     5214    140 |        0 |        0
797.35/797.56	c  797s |      18 |   498141 |   416352 |     5214    140 |        0 |        0
799.44/799.65	c  799s |      18 |   499122 |   417252 |     5214    140 |        0 |        0
801.54/801.78	c  801s |      18 |   499854 |   417952 |     5214    141 |        0 |        0
803.63/803.84	c  803s |      18 |   501213 |   419152 |     5214    141 |        0 |        0
805.63/805.85	c  805s |      18 |   502444 |   420252 |     5214    141 |        0 |        0
807.83/808.00	c  807s |      18 |   503690 |   421352 |     5214    141 |        0 |        0
809.83/810.04	c  809s |      18 |   504847 |   422352 |     5214    142 |        0 |        0
811.93/812.18	c  812s |      18 |   506538 |   423752 |     5214    142 |        0 |        0
814.13/814.30	c  814s |      18 |   507791 |   424852 |     5214    142 |        0 |        0
816.23/816.46	c  816s |      18 |   508801 |   425752 |     5214    143 |        0 |        0
818.43/818.60	c  818s |      18 |   509991 |   426852 |     5214    143 |        0 |        0
820.43/820.68	c  820s |      18 |   511035 |   427852 |     5214    143 |        0 |        0
822.43/822.69	c  822s |      18 |   512019 |   428752 |     5214    143 |        0 |        0
824.53/824.75	c  824s |      18 |   512770 |   429452 |     5214    144 |        0 |        0
826.53/826.79	c  826s |      18 |   514052 |   430552 |     5214    144 |        0 |        0
828.72/828.95	c  828s |      18 |   515673 |   431952 |     5214    144 |        0 |        0
830.92/831.12	c  830s |      18 |   517077 |   433152 |     5214    144 |        0 |        0
832.92/833.12	c  832s |      18 |   518225 |   434152 |     5214    145 |        0 |        0
834.92/835.19	c  835s |      18 |   519352 |   435152 |     5214    145 |        0 |        0
837.03/837.23	c  837s |      18 |   520366 |   436052 |     5214    145 |        0 |        0
839.43/839.64	c  839s |      18 |   521503 |   437052 |     5214    146 |        0 |        0
841.63/841.82	c  841s |      18 |   522687 |   438152 |     5214    146 |        0 |        0
843.63/843.82	c  843s |      18 |   523625 |   438952 |     5214    146 |        0 |        0
845.73/845.91	c  845s |      18 |   525033 |   440152 |     5214    146 |        0 |        0
847.82/848.00	c  847s |      18 |   526051 |   441052 |     5214    147 |        0 |        0
849.92/850.12	c  849s |      18 |   527400 |   442252 |     5736    147 |        0 |        0
851.92/852.18	c  852s |      18 |   528616 |   443352 |     5736    147 |        0 |        0
854.02/854.23	c  854s |      18 |   529869 |   444452 |     5736    147 |        0 |        0
854.02/854.29	c  854s |      19 |   529896 |   444482 |     5736    147 |        0 |        0
856.12/856.36	c  856s |      19 |   532754 |   446082 |     5736    148 |        0 |        0
858.12/858.37	c  858s |      19 |   534573 |   447682 |     5736    148 |        0 |        0
860.32/860.51	c  860s |      19 |   536159 |   449082 |     5736    149 |        0 |        0
862.42/862.63	c  862s |      19 |   537844 |   450582 |     5736    149 |        0 |        0
864.52/864.77	c  864s |      19 |   539199 |   451782 |     5736    149 |        0 |        0
866.62/866.85	c  866s |      19 |   540387 |   452882 |     5736    150 |        0 |        0
868.71/868.95	c  868s |      19 |   541838 |   454182 |     5736    150 |        0 |        0
870.81/871.05	c  870s |      19 |   543156 |   455382 |     5736    150 |        0 |        0
872.91/873.11	c  872s |      19 |   544154 |   456282 |     5736    151 |        0 |        0
875.01/875.26	c  875s |      19 |   545845 |   457682 |     5736    151 |        0 |        0
877.11/877.34	c  877s |      19 |   547434 |   458982 |     5736    151 |        0 |        0
879.51/879.76	c  879s |      19 |   548763 |   460082 |     5736    152 |        0 |        0
881.51/881.78	c  881s |      19 |   550100 |   461282 |     5736    152 |        0 |        0
883.61/883.81	c  883s |      19 |   551304 |   462382 |     5736    152 |        0 |        0
885.61/885.89	c  885s |      19 |   552570 |   463482 |     5736    152 |        0 |        0
887.71/887.98	c  887s |      19 |   554013 |   464782 |     5736    153 |        0 |        0
889.90/890.17	c  890s |      19 |   555441 |   466082 |     5736    153 |        0 |        0
891.91/892.17	c  892s |      19 |   556629 |   467182 |     5736    153 |        0 |        0
894.00/894.22	c  894s |      19 |   557830 |   468282 |     5736    154 |        0 |        0
896.00/896.25	c  896s |      19 |   558916 |   469282 |     5736    154 |        0 |        0
898.10/898.32	c  898s |      19 |   559998 |   470282 |     5736    154 |        0 |        0
900.19/900.41	c  900s |      19 |   560989 |   471182 |     5736    155 |        0 |        0
902.29/902.54	c  902s |      19 |   562422 |   472482 |     5736    155 |        0 |        0
904.29/904.57	c  904s |      19 |   563625 |   473582 |     5736    155 |        0 |        0
906.39/906.61	c  906s |      19 |   564838 |   474682 |     5736    155 |        0 |        0
908.50/908.79	c  908s |      19 |   566151 |   475882 |     5736    156 |        0 |        0
910.60/910.80	c  910s |      19 |   567437 |   477082 |     5736    156 |        0 |        0
912.69/912.98	c  912s |      19 |   568680 |   478182 |     5736    156 |        0 |        0
914.79/915.05	c  914s |      19 |   569895 |   479282 |     5736    157 |        0 |        0
916.79/917.07	c  916s |      19 |   571206 |   480482 |     5736    157 |        0 |        0
918.89/919.13	c  918s |      19 |   572383 |   481582 |     5736    157 |        0 |        0
920.99/921.30	c  921s |      19 |   573515 |   482582 |     5736    158 |        0 |        0
923.19/923.46	c  923s |      19 |   575037 |   483982 |     5736    158 |        0 |        0
925.19/925.49	c  925s |      19 |   576320 |   485182 |     5736    158 |        0 |        0
927.29/927.53	c  927s |      19 |   577393 |   486182 |     5736    158 |        0 |        0
929.29/929.56	c  929s |      19 |   578401 |   487082 |     5736    159 |        0 |        0
931.38/931.60	c  931s |      19 |   579830 |   488382 |     5736    159 |        0 |        0
933.38/933.69	c  933s |      19 |   581139 |   489582 |     5736    159 |        0 |        0
935.68/935.92	c  935s |      19 |   582334 |   490682 |     5736    160 |        0 |        0
937.68/937.97	c  937s |      19 |   583677 |   491882 |     5736    160 |        0 |        0
939.88/940.13	c  939s |      19 |   585084 |   493182 |     5736    160 |        0 |        0
941.97/942.26	c  942s |      19 |   586394 |   494382 |     5736    161 |        0 |        0
944.07/944.34	c  944s |      19 |   587713 |   495582 |     5736    161 |        0 |        0
946.17/946.44	c  946s |      19 |   588905 |   496682 |     5736    161 |        0 |        0
948.37/948.63	c  948s |      19 |   589973 |   497682 |     5736    162 |        0 |        0
950.37/950.65	c  950s |      19 |   591401 |   498982 |     5736    162 |        0 |        0
952.48/952.79	c  952s |      19 |   592694 |   500182 |     5736    162 |        0 |        0
954.58/954.89	c  954s |      19 |   594002 |   501382 |     5736    162 |        0 |        0
956.67/956.97	c  956s |      19 |   595193 |   502482 |     5736    163 |        0 |        0
958.77/959.05	c  958s |      19 |   596363 |   503582 |     5736    163 |        0 |        0
960.97/961.21	c  961s |      19 |   597414 |   504582 |     5736    163 |        0 |        0
963.07/963.36	c  963s |      19 |   598198 |   505282 |     5736    164 |        0 |        0
965.17/965.43	c  965s |      19 |   599272 |   506282 |     5736    164 |        0 |        0
967.27/967.52	c  967s |      19 |   600339 |   507282 |     5736    164 |        0 |        0
969.36/969.67	c  969s |      19 |   601406 |   508282 |     5736    164 |        0 |        0
971.46/971.78	c  971s |      19 |   602303 |   509082 |     5736    165 |        0 |        0
973.66/973.90	c  973s |      19 |   603822 |   510382 |     5736    165 |        0 |        0
975.76/976.01	c  975s |      19 |   605253 |   511682 |     5736    165 |        0 |        0
977.96/978.26	c  978s |      19 |   606552 |   512882 |     5736    166 |        0 |        0
980.06/980.38	c  980s |      19 |   607843 |   514082 |     5736    166 |        0 |        0
982.06/982.39	c  982s |      19 |   609009 |   515182 |     5736    166 |        0 |        0
984.15/984.42	c  984s |      19 |   610114 |   516182 |     5736    166 |        0 |        0
986.16/986.46	c  986s |      19 |   610981 |   516982 |     5736    167 |        0 |        0
988.26/988.50	c  988s |      19 |   612452 |   518282 |     5736    167 |        0 |        0
990.26/990.58	c  990s |      19 |   613869 |   519582 |     5736    167 |        0 |        0
992.36/992.67	c  992s |      19 |   614990 |   520582 |     5736    168 |        0 |        0
994.46/994.74	c  994s |      19 |   616185 |   521682 |     5736    168 |        0 |        0
996.46/996.77	c  996s |      19 |   617369 |   522782 |     5736    168 |        0 |        0
998.46/998.80	c  998s |      19 |   618466 |   523782 |     5736    168 |        0 |        0
1000.55/1000.81	c 1000s |      19 |   619346 |   524582 |     5736    169 |        0 |        0
1002.65/1002.94	c 1002s |      19 |   620599 |   525682 |     5736    169 |        0 |        0
1004.75/1005.07	c 1004s |      19 |   621967 |   526882 |     5736    169 |        0 |        0
1006.95/1007.25	c 1007s |      19 |   623191 |   527982 |     5736    170 |        0 |        0
1008.95/1009.25	c 1009s |      19 |   624389 |   529082 |     5736    170 |        0 |        0
1011.05/1011.38	c 1011s |      19 |   625586 |   530182 |     5736    170 |        0 |        0
1013.25/1013.59	c 1013s |      19 |   626761 |   531282 |     5736    170 |        0 |        0
1015.45/1015.74	c 1015s |      19 |   627756 |   532182 |     5736    171 |        0 |        0
1017.55/1017.86	c 1017s |      19 |   628936 |   533282 |     5736    171 |        0 |        0
1019.64/1019.91	c 1019s |      19 |   630074 |   534282 |     5736    171 |        0 |        0
1021.75/1022.06	c 1021s |      19 |   631541 |   535582 |     5736    172 |        0 |        0
1023.74/1024.08	c 1023s |      19 |   632844 |   536782 |     5736    172 |        0 |        0
1025.94/1026.22	c 1026s |      19 |   634114 |   537982 |     5736    172 |        0 |        0
1028.14/1028.41	c 1028s |      19 |   635330 |   539082 |     5736    172 |        0 |        0
1030.24/1030.53	c 1030s |      19 |   636399 |   540082 |     5736    173 |        0 |        0
1032.34/1032.66	c 1032s |      19 |   637616 |   541182 |     5736    173 |        0 |        0
1034.44/1034.71	c 1034s |      19 |   638807 |   542182 |     5736    173 |        0 |        0
1036.44/1036.75	c 1036s |      19 |   640130 |   543282 |     5736    174 |        0 |        0
1038.54/1038.83	c 1038s |      19 |   641514 |   544482 |     5736    174 |        0 |        0
1040.53/1040.86	c 1040s |      19 |   642761 |   545582 |     5736    174 |        0 |        0
1042.64/1042.99	c 1042s |      19 |   643994 |   546682 |     5736    174 |        0 |        0
1044.63/1044.99	c 1044s |      19 |   645221 |   547782 |     5736    175 |        0 |        0
1046.83/1047.13	c 1046s |      19 |   646429 |   548882 |     5736    175 |        0 |        0
1048.83/1049.17	c 1049s |      19 |   647669 |   549982 |     5736    175 |        0 |        0
1050.93/1051.21	c 1051s |      19 |   648795 |   550982 |     5736    176 |        0 |        0
1053.03/1053.38	c 1053s |      19 |   650179 |   552182 |     5736    176 |        0 |        0
1055.23/1055.56	c 1055s |      19 |   651386 |   553282 |     5736    176 |        0 |        0
1057.23/1057.59	c 1057s |      19 |   652496 |   554282 |     5736    176 |        0 |        0
1059.32/1059.60	c 1059s |      19 |   653722 |   555382 |     5736    177 |        0 |        0
1061.33/1061.63	c 1061s |      19 |   654950 |   556482 |     5736    177 |        0 |        0
1063.43/1063.76	c 1063s |      19 |   656153 |   557582 |     5736    177 |        0 |        0
1065.52/1065.84	c 1065s |      19 |   657118 |   558482 |     5736    178 |        0 |        0
1067.52/1067.88	c 1067s |      19 |   658333 |   559582 |     5736    178 |        0 |        0
1069.62/1069.94	c 1069s |      19 |   659683 |   560782 |     5736    178 |        0 |        0
1071.72/1072.01	c 1071s |      19 |   660868 |   561882 |     5736    178 |        0 |        0
1073.72/1074.04	c 1073s |      19 |   662061 |   562982 |     5736    179 |        0 |        0
1075.92/1076.20	c 1076s |      19 |   663403 |   564182 |     5736    179 |        0 |        0
1077.92/1078.28	c 1078s |      19 |   664710 |   565382 |     5736    179 |        0 |        0
1080.11/1080.41	c 1080s |      19 |   665904 |   566482 |     5736    180 |        0 |        0
1082.12/1082.45	c 1082s |      19 |   667146 |   567582 |     5736    180 |        0 |        0
1084.11/1084.49	c 1084s |      19 |   668368 |   568682 |     5736    180 |        0 |        0
1086.21/1086.53	c 1086s |      19 |   669472 |   569682 |     5736    181 |        0 |        0
1088.31/1088.67	c 1088s |      19 |   670794 |   570882 |     5736    181 |        0 |        0
1090.40/1090.72	c 1090s |      19 |   672136 |   572082 |     5736    181 |        0 |        0
1092.50/1092.82	c 1092s |      19 |   673314 |   573182 |     5736    181 |        0 |        0
1094.60/1094.91	c 1094s |      19 |   674388 |   574182 |     5736    182 |        0 |        0
1096.70/1097.04	c 1096s |      19 |   675473 |   575182 |     5736    182 |        0 |        0
1098.71/1099.07	c 1098s |      19 |   676886 |   576382 |     5736    182 |        0 |        0
1100.70/1101.09	c 1100s |      19 |   678090 |   577482 |     5736    183 |        0 |        0
1102.90/1103.21	c 1103s |      19 |   679397 |   578682 |     5736    183 |        0 |        0
1104.90/1105.28	c 1105s |      19 |   680454 |   579682 |     5736    183 |        0 |        0
1107.10/1107.45	c 1107s |      19 |   681821 |   580882 |     5736    183 |        0 |        0
1109.19/1109.53	c 1109s |      19 |   683171 |   582082 |     5736    184 |        0 |        0
1111.19/1111.58	c 1111s |      19 |   684504 |   583282 |     5736    184 |        0 |        0
1113.29/1113.67	c 1113s |      19 |   685732 |   584382 |     5736    184 |        0 |        0
1115.39/1115.71	c 1115s |      19 |   686942 |   585482 |     5736    185 |        0 |        0
1117.49/1117.85	c 1117s |      19 |   688250 |   586682 |     5736    185 |        0 |        0
1119.59/1119.91	c 1119s |      19 |   689445 |   587782 |     5736    185 |        0 |        0
1121.98/1122.31	c 1122s |      19 |   690451 |   588682 |     5736    186 |        0 |        0
1123.99/1124.35	c 1124s |      19 |   691972 |   589982 |     5736    186 |        0 |        0
1125.98/1126.39	c 1126s |      19 |   693291 |   591182 |     5736    186 |        0 |        0
1127.98/1128.39	c 1128s |      19 |   694483 |   592282 |     5736    186 |        0 |        0
1130.18/1130.53	c 1130s |      19 |   695673 |   593382 |     5736    187 |        0 |        0
1132.28/1132.64	c 1132s |      19 |   696899 |   594482 |     5736    187 |        0 |        0
1134.28/1134.68	c 1134s |      19 |   698164 |   595582 |     5736    187 |        0 |        0
1136.38/1136.76	c 1136s |      19 |   699365 |   596682 |     5736    188 |        0 |        0
1138.48/1138.82	c 1138s |      19 |   700697 |   597882 |     5736    188 |        0 |        0
1140.48/1140.86	c 1140s |      19 |   701890 |   598982 |     5736    188 |        0 |        0
1142.58/1142.92	c 1142s |      19 |   702862 |   599882 |     5736    189 |        0 |        0
1144.68/1145.10	c 1144s |      19 |   703958 |   600882 |     5736    189 |        0 |        0
1146.87/1147.28	c 1147s |      19 |   705061 |   601882 |     5736    189 |        0 |        0
1148.87/1149.29	c 1149s |      19 |   706506 |   603082 |     5736    189 |        0 |        0
1151.07/1151.41	c 1151s |      19 |   707851 |   604282 |     5736    190 |        0 |        0
1153.07/1153.43	c 1153s |      19 |   709186 |   605482 |     5736    190 |        0 |        0
1155.07/1155.48	c 1155s |      19 |   710384 |   606582 |     5736    190 |        0 |        0
1157.17/1157.53	c 1157s |      19 |   711346 |   607482 |     5736    191 |        0 |        0
1159.28/1159.62	c 1159s |      19 |   712755 |   608582 |     5736    191 |        0 |        0
1161.28/1161.68	c 1161s |      19 |   714355 |   609982 |     5736    191 |        0 |        0
1163.48/1163.82	c 1163s |      19 |   715698 |   611182 |     5736    191 |        0 |        0
1165.57/1165.98	c 1165s |      19 |   717050 |   612382 |     5736    192 |        0 |        0
1167.67/1168.05	c 1167s |      19 |   718394 |   613582 |     5736    192 |        0 |        0
1169.77/1170.13	c 1169s |      19 |   719595 |   614682 |     5736    192 |        0 |        0
1171.97/1172.39	c 1172s |      19 |   720765 |   615782 |     5736    193 |        0 |        0
1174.17/1174.55	c 1174s |      19 |   721992 |   616882 |     5736    193 |        0 |        0
1176.17/1176.58	c 1176s |      19 |   723312 |   618082 |     5736    193 |        0 |        0
1178.37/1178.72	c 1178s |      19 |   724522 |   619182 |     5736    194 |        0 |        0
1180.46/1180.89	c 1180s |      19 |   725840 |   620382 |     5736    194 |        0 |        0
1182.66/1183.03	c 1182s |      19 |   727052 |   621482 |     5736    194 |        0 |        0
1184.96/1185.30	c 1185s |      19 |   728248 |   622582 |     5736    195 |        0 |        0
1187.06/1187.46	c 1187s |      19 |   729422 |   623682 |     5736    195 |        0 |        0
1189.16/1189.53	c 1189s |      19 |   730521 |   624682 |     5736    195 |        0 |        0
1191.16/1191.57	c 1191s |      19 |   731722 |   625782 |     5736    195 |        0 |        0
1193.26/1193.66	c 1193s |      19 |   732897 |   626882 |     5736    196 |        0 |        0
1195.46/1195.82	c 1195s |      19 |   733973 |   627882 |     5736    196 |        0 |        0
1197.66/1198.02	c 1197s |      19 |   735038 |   628882 |     5736    196 |        0 |        0
1199.76/1200.12	c 1199s |      19 |   736338 |   630082 |     5736    196 |        0 |        0
1201.85/1202.20	c 1202s |      19 |   737654 |   631282 |     5736    197 |        0 |        0
1203.85/1204.26	c 1204s |      19 |   738852 |   632382 |     5736    197 |        0 |        0
1206.05/1206.45	c 1206s |      19 |   739761 |   633182 |     5736    197 |        0 |        0
1208.25/1208.61	c 1208s |      19 |   740643 |   633982 |     5736    198 |        0 |        0
1210.24/1210.65	c 1210s |      19 |   741747 |   634982 |     5736    198 |        0 |        0
1212.24/1212.66	c 1212s |      19 |   743050 |   636082 |     5736    198 |        0 |        0
1214.34/1214.74	c 1214s |      19 |   744109 |   636982 |     5736    198 |        0 |        0
1216.44/1216.89	c 1216s |      19 |   745199 |   637882 |     5736    199 |        0 |        0
1218.64/1219.02	c 1218s |      19 |   746647 |   639082 |     5736    199 |        0 |        0
1220.65/1221.05	c 1220s |      19 |   747813 |   640082 |     5736    199 |        0 |        0
1222.74/1223.16	c 1223s |      19 |   748967 |   641082 |     5736    199 |        0 |        0
1224.84/1225.27	c 1225s |      19 |   750173 |   642082 |     5736    200 |        0 |        0
1227.04/1227.41	c 1227s |      19 |   751358 |   643082 |     5736    200 |        0 |        0
1229.03/1229.44	c 1229s |      19 |   752411 |   643982 |     5736    200 |        0 |        0
1231.03/1231.47	c 1231s |      19 |   753442 |   644882 |     5736    200 |        0 |        0
1233.13/1233.50	c 1233s |      19 |   754589 |   645882 |     5736    201 |        0 |        0
1235.23/1235.63	c 1235s |      19 |   755970 |   647082 |     5736    201 |        0 |        0
1237.24/1237.67	c 1237s |      19 |   756946 |   647982 |     5736    201 |        0 |        0
1239.43/1239.81	c 1239s |      19 |   757938 |   648882 |     5736    201 |        0 |        0
1241.53/1241.91	c 1241s |      19 |   758966 |   649782 |     5736    202 |        0 |        0
1243.73/1244.13	c 1243s |      19 |   760204 |   650882 |     5736    202 |        0 |        0
1245.83/1246.20	c 1246s |      19 |   761274 |   651782 |     5736    202 |        0 |        0
1248.03/1248.40	c 1248s |      19 |   762196 |   652582 |     5736    202 |        0 |        0
1250.22/1250.65	c 1250s |      19 |   762968 |   653282 |     5736    203 |        0 |        0
1252.32/1252.71	c 1252s |      19 |   763905 |   654082 |     5736    203 |        0 |        0
1254.52/1254.91	c 1254s |      19 |   764811 |   654882 |     5736    203 |        0 |        0
1256.52/1256.92	c 1256s |      19 |   765733 |   655682 |     5736    203 |        0 |        0
1258.52/1258.99	c 1258s |      19 |   766648 |   656482 |     5736    203 |        0 |        0
1260.72/1261.19	c 1261s |      19 |   767411 |   657182 |     5736    204 |        0 |        0
1262.92/1263.33	c 1263s |      19 |   768287 |   657982 |     5736    204 |        0 |        0
1265.11/1265.54	c 1265s |      19 |   769178 |   658782 |     5736    204 |        0 |        0
1267.31/1267.75	c 1267s |      19 |   770071 |   659582 |     5736    204 |        0 |        0
1269.51/1269.93	c 1269s |      19 |   770955 |   660382 |     5736    204 |        0 |        0
1271.61/1272.00	c 1271s |      19 |   771625 |   660982 |     5736    205 |        0 |        0
1273.61/1274.10	c 1273s |      19 |   773220 |   662282 |     6310    205 |        0 |        0
1275.91/1276.31	c 1276s |      19 |   774491 |   663382 |     6310    205 |        0 |        0
1277.92/1278.32	c 1278s |      19 |   775569 |   664282 |     6310    205 |        0 |        0
1280.01/1280.41	c 1280s |      19 |   776718 |   665282 |     6310    206 |        0 |        0
1282.00/1282.49	c 1282s |      19 |   777914 |   666382 |     6310    206 |        0 |        0
1283.00/1283.43	c 1283s |      20 |   778384 |   666827 |     6310    206 |        0 |        0
1285.00/1285.48	c 1285s |      20 |   782656 |   668727 |     6310    206 |        0 |        0
1287.10/1287.51	c 1287s |      20 |   784105 |   669927 |     6310    207 |        0 |        0
1289.20/1289.66	c 1289s |      20 |   785564 |   671127 |     6310    207 |        0 |        0
1291.30/1291.74	c 1291s |      20 |   786781 |   672227 |     6310    207 |        0 |        0
1293.50/1293.91	c 1293s |      20 |   788044 |   673327 |     6310    208 |        0 |        0
1295.50/1295.97	c 1295s |      20 |   789282 |   674427 |     6310    208 |        0 |        0
1297.49/1297.99	c 1297s |      20 |   790383 |   675427 |     6310    208 |        0 |        0
1299.69/1300.10	c 1299s |      20 |   791385 |   676327 |     6310    208 |        0 |        0
1301.89/1302.30	c 1302s |      20 |   792387 |   677127 |     6310    209 |        0 |        0
1303.99/1304.44	c 1304s |      20 |   793587 |   678127 |     6310    209 |        0 |        0
1305.99/1306.49	c 1306s |      20 |   794935 |   679227 |     6310    209 |        0 |        0
1308.19/1308.68	c 1308s |      20 |   796036 |   680227 |     6310    209 |        0 |        0
1310.28/1310.79	c 1310s |      20 |   797031 |   681127 |     6310    210 |        0 |        0
1312.58/1313.02	c 1312s |      20 |   798051 |   682027 |     6310    210 |        0 |        0
1314.58/1315.02	c 1314s |      20 |   798954 |   682827 |     6310    210 |        0 |        0
1316.68/1317.13	c 1316s |      20 |   799848 |   683627 |     6310    210 |        0 |        0
1318.68/1319.16	c 1319s |      20 |   800970 |   684527 |     6310    210 |        0 |        0
1320.79/1321.21	c 1321s |      20 |   802104 |   685427 |     6310    211 |        0 |        0
1322.88/1323.34	c 1323s |      20 |   803270 |   686427 |     6310    211 |        0 |        0
1324.98/1325.49	c 1325s |      20 |   804638 |   687527 |     6310    211 |        0 |        0
1327.18/1327.65	c 1327s |      20 |   805837 |   688527 |     6310    211 |        0 |        0
1329.38/1329.83	c 1329s |      20 |   806873 |   689427 |     6310    212 |        0 |        0
1331.38/1331.89	c 1331s |      20 |   807908 |   690327 |     6310    212 |        0 |        0
1333.68/1334.15	c 1333s |      20 |   808960 |   691227 |     6310    212 |        0 |        0
1335.87/1336.37	c 1336s |      20 |   809892 |   692027 |     6310    212 |        0 |        0
1337.87/1338.39	c 1338s |      20 |   810687 |   692727 |     6310    213 |        0 |        0
1340.08/1340.50	c 1340s |      20 |   811767 |   693527 |     6310    213 |        0 |        0
1342.28/1342.71	c 1342s |      20 |   812903 |   694427 |     6310    213 |        0 |        0
1344.48/1344.94	c 1344s |      20 |   814011 |   695327 |     6310    213 |        0 |        0
1346.58/1347.05	c 1346s |      20 |   814907 |   696127 |     6310    213 |        0 |        0
1348.58/1349.09	c 1348s |      20 |   815855 |   696927 |     6310    214 |        0 |        0
1350.68/1351.17	c 1351s |      20 |   816950 |   697827 |     6310    214 |        0 |        0
1352.98/1353.41	c 1353s |      20 |   817976 |   698727 |     6310    214 |        0 |        0
1355.08/1355.55	c 1355s |      20 |   818894 |   699527 |     6310    214 |        0 |        0
1357.08/1357.56	c 1357s |      20 |   819674 |   700227 |     6310    214 |        0 |        0
1359.07/1359.58	c 1359s |      20 |   820479 |   700927 |     6310    215 |        0 |        0
1361.17/1361.66	c 1361s |      20 |   821713 |   701927 |     6310    215 |        0 |        0
1363.27/1363.79	c 1363s |      20 |   822906 |   702827 |     6310    215 |        0 |        0
1365.37/1365.87	c 1365s |      20 |   824028 |   703727 |     6310    215 |        0 |        0
1367.57/1368.07	c 1367s |      20 |   825279 |   704627 |     6310    216 |        0 |        0
1369.57/1370.07	c 1369s |      20 |   826775 |   705727 |     6310    216 |        0 |        0
1371.67/1372.17	c 1372s |      20 |   828020 |   706627 |     6310    216 |        0 |        0
1373.77/1374.23	c 1374s |      20 |   829447 |   707727 |     6310    216 |        0 |        0
1375.77/1376.28	c 1376s |      20 |   830578 |   708727 |     6310    217 |        0 |        0
1377.97/1378.45	c 1378s |      20 |   831805 |   709827 |     6310    217 |        0 |        0
1380.07/1380.50	c 1380s |      20 |   832783 |   710727 |     6310    217 |        0 |        0
1382.27/1382.79	c 1382s |      20 |   833669 |   711427 |     6310    217 |        0 |        0
1384.47/1384.94	c 1384s |      20 |   834491 |   712127 |     6310    217 |        0 |        0
1386.77/1387.21	c 1387s |      20 |   835403 |   712927 |     6310    218 |        0 |        0
1388.87/1389.35	c 1389s |      20 |   836473 |   713827 |     6310    218 |        0 |        0
1391.07/1391.55	c 1391s |      20 |   837383 |   714627 |     6310    218 |        0 |        0
1393.27/1393.76	c 1393s |      20 |   838337 |   715427 |     6310    218 |        0 |        0
1395.47/1395.98	c 1395s |      20 |   839240 |   716227 |     6310    218 |        0 |        0
1397.46/1397.99	c 1397s |      20 |   840017 |   716927 |     6310    219 |        0 |        0
1399.56/1400.06	c 1399s |      20 |   840818 |   717627 |     6310    219 |        0 |        0
1401.66/1402.14	c 1401s |      20 |   841735 |   718427 |     6310    219 |        0 |        0
1403.66/1404.19	c 1404s |      20 |   842602 |   719227 |     6310    219 |        0 |        0
1406.06/1406.50	c 1406s |      20 |   843376 |   719927 |     6310    219 |        0 |        0
1408.16/1408.69	c 1408s |      20 |   844457 |   720727 |     6310    220 |        0 |        0
1410.36/1410.86	c 1410s |      20 |   845703 |   721727 |     6310    220 |        0 |        0
1412.46/1412.93	c 1412s |      20 |   846613 |   722527 |     6310    220 |        0 |        0
1414.46/1414.95	c 1414s |      20 |   847612 |   723427 |     6310    220 |        0 |        0
1416.56/1417.00	c 1416s |      20 |   848613 |   724327 |     6310    220 |        0 |        0
1418.67/1419.19	c 1419s |      20 |   849787 |   725327 |     6310    221 |        0 |        0
1420.66/1421.19	c 1421s |      20 |   850805 |   726227 |     6310    221 |        0 |        0
1422.86/1423.38	c 1423s |      20 |   851959 |   727127 |     6310    221 |        0 |        0
1424.96/1425.49	c 1425s |      20 |   852874 |   727927 |     6310    221 |        0 |        0
1427.26/1427.73	c 1427s |      20 |   853791 |   728727 |     6310    222 |        0 |        0
1429.46/1429.91	c 1429s |      20 |   854843 |   729627 |     6310    222 |        0 |        0
1431.46/1431.99	c 1431s |      20 |   855756 |   730427 |     6310    222 |        0 |        0
1433.66/1434.11	c 1433s |      20 |   856647 |   731227 |     6310    222 |        0 |        0
1435.76/1436.29	c 1436s |      20 |   857503 |   732027 |     6310    222 |        0 |        0
1437.86/1438.30	c 1438s |      20 |   858153 |   732627 |     6310    223 |        0 |        0
1439.96/1440.45	c 1440s |      20 |   859148 |   733527 |     6310    223 |        0 |        0
1442.15/1442.67	c 1442s |      20 |   860039 |   734327 |     6310    223 |        0 |        0
1444.35/1444.86	c 1444s |      20 |   860940 |   735127 |     6310    223 |        0 |        0
1446.55/1447.02	c 1446s |      20 |   861796 |   735927 |     6310    223 |        0 |        0
1448.65/1449.11	c 1448s |      20 |   862668 |   736727 |     6310    224 |        0 |        0
1450.65/1451.18	c 1451s |      20 |   863904 |   737727 |     6310    224 |        0 |        0
1452.76/1453.24	c 1453s |      20 |   865300 |   738827 |     6310    224 |        0 |        0
1454.86/1455.37	c 1455s |      20 |   866528 |   739827 |     6310    224 |        0 |        0
1456.85/1457.38	c 1457s |      20 |   867519 |   740627 |     6310    225 |        0 |        0
1458.95/1459.46	c 1459s |      20 |   868667 |   741627 |     6310    225 |        0 |        0
1461.15/1461.64	c 1461s |      20 |   869755 |   742627 |     6310    225 |        0 |        0
1463.35/1463.87	c 1463s |      20 |   870749 |   743527 |     6310    225 |        0 |        0
1465.45/1465.90	c 1465s |      20 |   871522 |   744227 |     6310    226 |        0 |        0
1467.65/1468.11	c 1467s |      20 |   872504 |   745127 |     6310    226 |        0 |        0
1469.75/1470.22	c 1470s |      20 |   873375 |   745927 |     6310    226 |        0 |        0
1471.95/1472.41	c 1472s |      20 |   874237 |   746727 |     6310    226 |        0 |        0
1473.95/1474.46	c 1474s |      20 |   875520 |   747727 |     6310    226 |        0 |        0
1476.05/1476.59	c 1476s |      20 |   876657 |   748627 |     6310    227 |        0 |        0
1478.25/1478.72	c 1478s |      20 |   877954 |   749627 |     6310    227 |        0 |        0
1480.35/1480.81	c 1480s |      20 |   879189 |   750627 |     6310    227 |        0 |        0
1482.45/1482.98	c 1482s |      20 |   880417 |   751627 |     6310    227 |        0 |        0
1484.65/1485.18	c 1485s |      20 |   881305 |   752427 |     6310    228 |        0 |        0
1486.75/1487.26	c 1487s |      20 |   882516 |   753327 |     6310    228 |        0 |        0
1488.85/1489.32	c 1489s |      20 |   883553 |   754227 |     6310    228 |        0 |        0
1490.95/1491.47	c 1491s |      20 |   884303 |   754927 |     6310    228 |        0 |        0
1493.05/1493.54	c 1493s |      20 |   885752 |   755627 |     6310    228 |        0 |        0
1495.04/1495.54	c 1495s |      20 |   886881 |   756527 |     6310    229 |        0 |        0
1497.14/1497.63	c 1497s |      20 |   887945 |   757427 |     6310    229 |        0 |        0
1499.24/1499.71	c 1499s |      20 |   888910 |   758227 |     6310    229 |        0 |        0
1501.24/1501.74	c 1501s |      20 |   890232 |   758927 |     6310    229 |        0 |        0
1503.35/1503.86	c 1503s |      20 |   891803 |   759727 |     6310    229 |        0 |        0
1505.55/1506.03	c 1505s |      20 |   893116 |   760827 |     6310    230 |        0 |        0
1507.54/1508.03	c 1507s |      20 |   894304 |   761727 |     6310    230 |        0 |        0
1509.64/1510.16	c 1510s |      20 |   895614 |   762727 |     6310    230 |        0 |        0
1511.84/1512.32	c 1512s |      20 |   896784 |   763727 |     6310    230 |        0 |        0
1513.94/1514.45	c 1514s |      20 |   897934 |   764627 |     6310    231 |        0 |        0
1516.14/1516.61	c 1516s |      20 |   899153 |   765527 |     6310    231 |        0 |        0
1518.34/1518.82	c 1518s |      20 |   900250 |   766427 |     6310    231 |        0 |        0
1520.44/1520.97	c 1520s |      20 |   901154 |   767227 |     6310    231 |        0 |        0
1522.64/1523.18	c 1523s |      20 |   901924 |   767927 |     6310    232 |        0 |        0
1524.74/1525.22	c 1525s |      20 |   902857 |   768727 |     6310    232 |        0 |        0
1526.94/1527.45	c 1527s |      20 |   904053 |   769627 |     6310    232 |        0 |        0
1528.94/1529.48	c 1529s |      20 |   904924 |   770327 |     6310    232 |        0 |        0
1531.14/1531.68	c 1531s |      20 |   906155 |   771227 |     6310    232 |        0 |        0
1533.24/1533.73	c 1533s |      20 |   907049 |   771927 |     6310    233 |        0 |        0
1535.34/1535.82	c 1535s |      20 |   908205 |   772727 |     6310    233 |        0 |        0
1537.54/1538.00	c 1537s |      20 |   909359 |   773627 |     6310    233 |        0 |        0
1539.54/1540.07	c 1539s |      20 |   910191 |   774327 |     6310    233 |        0 |        0
1541.63/1542.18	c 1542s |      20 |   911194 |   775127 |     6310    233 |        0 |        0
1543.83/1544.37	c 1544s |      20 |   912118 |   775927 |     6310    234 |        0 |        0
1546.03/1546.52	c 1546s |      20 |   913196 |   776827 |     6310    234 |        0 |        0
1548.13/1548.69	c 1548s |      20 |   914775 |   777927 |     6310    234 |        0 |        0
1550.23/1550.75	c 1550s |      20 |   916033 |   778927 |     6310    234 |        0 |        0
1552.43/1552.93	c 1552s |      20 |   917250 |   779927 |     6310    235 |        0 |        0
1554.53/1555.08	c 1554s |      20 |   918513 |   781027 |     6310    235 |        0 |        0
1556.63/1557.12	c 1556s |      20 |   919627 |   782027 |     6310    235 |        0 |        0
1558.63/1559.17	c 1559s |      20 |   920701 |   782927 |     6310    235 |        0 |        0
1560.83/1561.32	c 1561s |      20 |   921697 |   783827 |     6310    236 |        0 |        0
1562.93/1563.49	c 1563s |      20 |   922828 |   784827 |     6310    236 |        0 |        0
1565.03/1565.52	c 1565s |      20 |   923838 |   785727 |     6310    236 |        0 |        0
1567.14/1567.69	c 1567s |      20 |   924991 |   786627 |     6310    236 |        0 |        0
1569.63/1570.11	c 1569s |      20 |   926121 |   787527 |     6310    237 |        0 |        0
1571.73/1572.29	c 1572s |      20 |   927223 |   788427 |     6310    237 |        0 |        0
1573.74/1574.30	c 1574s |      20 |   928321 |   789327 |     6310    237 |        0 |        0
1575.84/1576.33	c 1576s |      20 |   929406 |   790227 |     6310    237 |        0 |        0
1577.83/1578.33	c 1578s |      20 |   930322 |   791027 |     6310    237 |        0 |        0
1579.93/1580.46	c 1580s |      20 |   931517 |   791927 |     6310    238 |        0 |        0
1582.13/1582.62	c 1582s |      20 |   933024 |   793127 |     6310    238 |        0 |        0
1584.33/1584.83	c 1584s |      20 |   934380 |   794127 |     6310    238 |        0 |        0
1586.33/1586.87	c 1586s |      20 |   935680 |   795027 |     6310    238 |        0 |        0
1588.43/1588.97	c 1588s |      20 |   936688 |   795927 |     6310    239 |        0 |        0
1590.53/1591.06	c 1590s |      20 |   937811 |   796927 |     6310    239 |        0 |        0
1592.73/1593.29	c 1593s |      20 |   939067 |   797927 |     6310    239 |        0 |        0
1594.93/1595.46	c 1595s |      20 |   939976 |   798727 |     6310    239 |        0 |        0
1597.13/1597.64	c 1597s |      20 |   941175 |   799627 |     6310    240 |        0 |        0
1599.32/1599.87	c 1599s |      20 |   942210 |   800527 |     6310    240 |        0 |        0
1601.62/1602.14	c 1601s |      20 |   943390 |   801427 |     6310    240 |        0 |        0
1603.72/1604.25	c 1604s |      20 |   944320 |   802227 |     6310    240 |        0 |        0
1605.72/1606.29	c 1606s |      20 |   945131 |   802927 |     6310    240 |        0 |        0
1607.83/1608.37	c 1608s |      20 |   945866 |   803527 |     6310    241 |        0 |        0
1610.03/1610.52	c 1610s |      20 |   946829 |   804327 |     6310    241 |        0 |        0
1612.13/1612.64	c 1612s |      20 |   947679 |   805027 |     6310    241 |        0 |        0
1614.22/1614.78	c 1614s |      20 |   949345 |   806227 |     6310    241 |        0 |        0
1616.42/1616.95	c 1616s |      20 |   950777 |   807227 |     6310    242 |        0 |        0
1618.62/1619.13	c 1618s |      20 |   952503 |   808427 |     6310    242 |        0 |        0
1620.72/1621.25	c 1621s |      20 |   953921 |   809527 |     6310    242 |        0 |        0
1622.82/1623.38	c 1623s |      20 |   955110 |   810427 |     6310    242 |        0 |        0
1624.92/1625.45	c 1625s |      20 |   956258 |   811427 |     6310    243 |        0 |        0
1627.12/1627.67	c 1627s |      20 |   957802 |   812527 |     6310    243 |        0 |        0
1629.22/1629.78	c 1629s |      20 |   958975 |   813427 |     6310    243 |        0 |        0
1631.32/1631.87	c 1631s |      20 |   960039 |   814227 |     6310    243 |        0 |        0
1633.52/1634.02	c 1633s |      20 |   961301 |   815127 |     6310    244 |        0 |        0
1635.52/1636.07	c 1635s |      20 |   962511 |   816027 |     6310    244 |        0 |        0
1637.72/1638.28	c 1638s |      20 |   963630 |   816927 |     6310    244 |        0 |        0
1639.82/1640.31	c 1640s |      20 |   964903 |   817727 |     6310    244 |        0 |        0
1641.82/1642.36	c 1642s |      20 |   966484 |   818527 |     6310    244 |        0 |        0
1644.02/1644.55	c 1644s |      20 |   967592 |   819327 |     6310    245 |        0 |        0
1646.12/1646.64	c 1646s |      20 |   969146 |   820227 |     6310    245 |        0 |        0
1648.32/1648.84	c 1648s |      20 |   971042 |   821227 |     6310    245 |        0 |        0
1650.72/1651.22	c 1651s |      20 |   972420 |   822027 |     6310    245 |        0 |        0
1652.82/1653.32	c 1653s |      20 |   973330 |   822627 |     6310    246 |        0 |        0
1654.81/1655.36	c 1655s |      20 |   974075 |   823227 |     6310    246 |        0 |        0
1656.81/1657.38	c 1657s |      20 |   974852 |   823827 |     6310    246 |        0 |        0
1659.21/1659.73	c 1659s |      20 |   975526 |   824427 |     6310    246 |        0 |        0
1661.21/1661.75	c 1661s |      20 |   976570 |   825127 |     6310    246 |        0 |        0
1663.32/1663.84	c 1663s |      20 |   977801 |   825927 |     6310    246 |        0 |        0
1665.52/1666.05	c 1665s |      20 |   978728 |   826627 |     6310    247 |        0 |        0
1667.52/1668.05	c 1667s |      20 |   980076 |   827327 |     6310    247 |        0 |        0
1669.72/1670.26	c 1670s |      20 |   980968 |   828027 |     6310    247 |        0 |        0
1672.02/1672.56	c 1672s |      20 |   982135 |   828727 |     6310    247 |        0 |        0
1674.12/1674.68	c 1674s |      20 |   982958 |   829327 |     6310    247 |        0 |        0
1676.32/1676.85	c 1676s |      20 |   983710 |   829927 |     6310    247 |        0 |        0
1678.52/1679.02	c 1678s |      20 |   984806 |   830627 |     6310    248 |        0 |        0
1680.52/1681.03	c 1680s |      20 |   985681 |   831327 |     6310    248 |        0 |        0
1682.72/1683.23	c 1683s |      20 |   986498 |   832027 |     6310    248 |        0 |        0
1684.92/1685.41	c 1685s |      20 |   987066 |   832527 |     6310    248 |        0 |        0
1687.12/1687.65	c 1687s |      20 |   988235 |   833227 |     6310    248 |        0 |        0
1689.22/1689.71	c 1689s |      20 |   989188 |   833927 |     6310    248 |        0 |        0
1691.32/1691.90	c 1691s |      20 |   990147 |   834627 |     6310    249 |        0 |        0
1693.72/1694.25	c 1694s |      20 |   990980 |   835327 |     6310    249 |        0 |        0
1695.92/1696.48	c 1696s |      20 |   992397 |   836027 |     6310    249 |        0 |        0
1698.02/1698.51	c 1698s |      20 |   993245 |   836727 |     6310    249 |        0 |        0
1700.22/1700.74	c 1700s |      20 |   994343 |   837427 |     6310    249 |        0 |        0
1702.32/1702.83	c 1702s |      20 |   995486 |   838027 |     6310    249 |        0 |        0
1704.31/1704.84	c 1704s |      20 |   996921 |   838827 |     6310    250 |        0 |        0
1706.61/1707.10	c 1706s |      20 |   998083 |   839727 |     6310    250 |        0 |        0
1708.81/1709.35	c 1709s |      20 |   999347 |   840627 |     6310    250 |        0 |        0
1710.91/1711.45	c 1711s |      20 |  1000695 |   841527 |     6310    250 |        0 |        0
1712.91/1713.49	c 1713s |      20 |  1001923 |   842427 |     6310    251 |        0 |        0
1715.11/1715.65	c 1715s |      20 |  1003361 |   843427 |     6310    251 |        0 |        0
1717.31/1717.88	c 1717s |      20 |  1004896 |   844327 |     6310    251 |        0 |        0
1719.41/1719.97	c 1719s |      20 |  1005809 |   845027 |     6310    251 |        0 |        0
1721.61/1722.12	c 1721s |      20 |  1007039 |   845727 |     6310    251 |        0 |        0
1723.61/1724.14	c 1723s |      20 |  1008091 |   846427 |     6310    252 |        0 |        0
1725.81/1726.37	c 1726s |      20 |  1009426 |   847327 |     6310    252 |        0 |        0
1728.01/1728.52	c 1728s |      20 |  1010502 |   848127 |     6310    252 |        0 |        0
1730.21/1730.74	c 1730s |      20 |  1011862 |   848927 |     6310    252 |        0 |        0
1732.31/1732.86	c 1732s |      20 |  1012791 |   849627 |     6310    252 |        0 |        0
1734.32/1734.89	c 1734s |      20 |  1013813 |   850327 |     6310    253 |        0 |        0
1736.52/1737.05	c 1736s |      20 |  1014786 |   851127 |     6310    253 |        0 |        0
1738.81/1739.34	c 1739s |      20 |  1015792 |   851927 |     6310    253 |        0 |        0
1740.91/1741.41	c 1741s |      20 |  1016895 |   852627 |     6310    253 |        0 |        0
1743.01/1743.58	c 1743s |      20 |  1017767 |   853327 |     6310    253 |        0 |        0
1745.11/1745.66	c 1745s |      20 |  1018556 |   853927 |     6310    254 |        0 |        0
1747.11/1747.67	c 1747s |      20 |  1020265 |   855027 |     6310    254 |        0 |        0
1749.41/1749.93	c 1749s |      20 |  1021505 |   856027 |     6310    254 |        0 |        0
1751.61/1752.14	c 1751s |      20 |  1022444 |   856827 |     6310    254 |        0 |        0
1753.71/1754.25	c 1754s |      20 |  1023655 |   857627 |     6310    255 |        0 |        0
1755.91/1756.46	c 1756s |      20 |  1024812 |   858527 |     6310    255 |        0 |        0
1758.10/1758.64	c 1758s |      20 |  1026131 |   859427 |     6310    255 |        0 |        0
1760.20/1760.72	c 1760s |      20 |  1027244 |   860227 |     6310    255 |        0 |        0
1762.30/1762.85	c 1762s |      20 |  1028277 |   861027 |     6310    255 |        0 |        0
1764.30/1764.87	c 1764s |      20 |  1029193 |   861727 |     6310    256 |        0 |        0
1766.40/1766.94	c 1766s |      20 |  1030225 |   862527 |     6310    256 |        0 |        0
1768.60/1769.10	c 1768s |      20 |  1031362 |   863327 |     6310    256 |        0 |        0
1770.70/1771.29	c 1771s |      20 |  1032386 |   864127 |     6310    256 |        0 |        0
1772.81/1773.40	c 1773s |      20 |  1033659 |   865027 |     6310    256 |        0 |        0
1774.91/1775.46	c 1775s |      20 |  1034771 |   865827 |     6310    257 |        0 |        0
1777.00/1777.53	c 1777s |      20 |  1035985 |   866727 |     6310    257 |        0 |        0
1779.20/1779.70	c 1779s |      20 |  1037123 |   867627 |     6310    257 |        0 |        0
1781.20/1781.79	c 1781s |      20 |  1038127 |   868427 |     6310    257 |        0 |        0
1783.30/1783.89	c 1783s |      20 |  1039532 |   869327 |     6310    258 |        0 |        0
1785.40/1785.91	c 1785s |      20 |  1040853 |   870227 |     6310    258 |        0 |        0
1787.60/1788.12	c 1787s |      20 |  1042108 |   871127 |     6310    258 |        0 |        0
1789.80/1790.38	c 1790s |      20 |  1043225 |   872027 |     6310    258 |        0 |        0
1792.00/1792.51	c 1792s |      20 |  1044502 |   872927 |     6310    258 |        0 |        0
1794.10/1794.67	c 1794s |      20 |  1045650 |   873827 |     6310    259 |        0 |        0
1796.30/1796.85	c 1796s |      20 |  1046828 |   874727 |     6310    259 |        0 |        0
1798.39/1798.95	c 1798s |      20 |  1047900 |   875627 |     6310    259 |        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-4093635-1466091814/watcher-4093635-1466091814 -o /tmp/evaluation-result-4093635-1466091814/solver-4093635-1466091814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093635-1466091814.wbo 

pid=21222
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.11 2.09 2.04 4/177 21225
/proc/meminfo: memFree=30442012/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=709188 CPUtime=0 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 2644 0 0 0 0 0 0 0 20 0 4 0 11231551 726208512 3004 33554432000 4194304 16246674 140734201113392 140734201112816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 177297 3004 442 2943 0 174191 0
[pid=21225/tid=21226] ppid=21222 vsize=729668 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 747180032 3084 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=733764 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 751374336 3101 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=737860 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11231551 755568640 3117 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.11 2.09 2.04 4/177 21225
/proc/meminfo: memFree=30442012/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 24408 0 0 0 5 4 0 0 20 0 4 0 11231551 1247350784 24761 33554432000 4194304 16246674 140734201113392 140734201112816 6197248 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 304529 24769 604 2943 0 301423 0
[pid=21225/tid=21226] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 24776 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 24783 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 24789 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200452 s]
/proc/loadavg: 2.11 2.09 2.04 4/177 21225
/proc/meminfo: memFree=30442012/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 46322 0 0 0 12 7 0 0 20 0 4 0 11231551 1247350784 46668 33554432000 4194304 16246674 140734201113392 140734201096384 6021007 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 304529 46677 806 2943 0 301423 0
[pid=21225/tid=21226] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 46684 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 46687 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 46687 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300431 s]
/proc/loadavg: 2.11 2.09 2.04 4/177 21225
/proc/meminfo: memFree=30442012/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 69262 0 0 0 19 10 0 0 20 0 4 0 11231551 1247350784 69609 33554432000 4194304 16246674 140734201113392 140734201096384 5545885 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 304529 69627 806 2943 0 301423 0
[pid=21225/tid=21226] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 69634 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 69642 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 69648 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700348 s]
/proc/loadavg: 2.11 2.09 2.04 4/177 21225
/proc/meminfo: memFree=30442012/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 172684 0 0 0 44 25 0 0 20 0 4 0 11231551 1247350784 173030 33554432000 4194304 16246674 140734201113392 140734201096384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 304529 173044 806 2943 0 301423 0
[pid=21225/tid=21226] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 173052 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 173060 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11231551 1247350784 173067 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.11 2.09 2.04 4/181 21229
/proc/meminfo: memFree=29455332/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1222212 CPUtime=1.49 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 246631 0 0 0 113 36 0 0 20 0 4 0 11231551 1251545088 246955 33554432000 4194304 16246674 140734201113392 140734201095296 13943664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 305553 246955 867 2943 0 302447 0
[pid=21225/tid=21226] ppid=21222 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1251545088 246955 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1251545088 246955 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1251545088 246955 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10036 s]
/proc/loadavg: 2.10 2.09 2.04 3/181 21229
/proc/meminfo: memFree=29377096/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 268175 0 0 0 271 38 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140734201095296 5711968 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 327057 268499 872 2943 0 323951 0
[pid=21225/tid=21226] ppid=21222 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30035 s]
/proc/loadavg: 2.10 2.09 2.04 3/181 21229
/proc/meminfo: memFree=29368024/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 268175 0 0 0 590 39 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140734201095296 6012004 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 327057 268499 872 2943 0 323951 0
[pid=21225/tid=21226] ppid=21222 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1339625472 268499 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.08 2.08 2.04 3/181 21229
/proc/meminfo: memFree=29366680/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 268689 0 0 0 1230 39 0 0 20 0 4 0 11231551 1341722624 269013 33554432000 4194304 16246674 140734201113392 140734201095296 5822179 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 327569 269013 874 2943 0 324463 0
[pid=21225/tid=21226] ppid=21222 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1341722624 269013 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1341722624 269013 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1341722624 269013 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5004 s]
/proc/loadavg: 2.07 2.08 2.04 3/181 21229
/proc/meminfo: memFree=29365380/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 268945 0 0 0 2509 39 0 0 20 0 4 0 11231551 1342771200 269269 33554432000 4194304 16246674 140734201113392 140734201095296 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 327825 269269 874 2943 0 324719 0
[pid=21225/tid=21226] ppid=21222 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1342771200 269269 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1342771200 269269 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1342771200 269269 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.05 2.07 2.04 3/181 21229
/proc/meminfo: memFree=29363672/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 269201 0 0 0 5069 39 0 0 20 0 4 0 11231551 1343819776 269525 33554432000 4194304 16246674 140734201113392 140734201095296 5572296 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 328081 269525 874 2943 0 324975 0
[pid=21225/tid=21226] ppid=21222 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1343819776 269525 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1343819776 269525 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1343819776 269525 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/181 21230
/proc/meminfo: memFree=29354532/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 271249 0 0 0 10188 40 0 0 20 0 4 0 11231551 1352208384 271573 33554432000 4194304 16246674 140734201113392 140734201095296 5545704 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 330129 271573 874 2943 0 327023 0
[pid=21225/tid=21226] ppid=21222 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1352208384 271573 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1352208384 271573 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1352208384 271573 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1356402688 272600 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.12 2.08 2.05 3/181 21283
/proc/meminfo: memFree=29343164/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1325636 CPUtime=1301.89 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 272910 0 0 0 130137 52 0 0 20 0 4 0 11231551 1357451264 272856 33554432000 4194304 16246674 140734201113392 140734201095296 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 331409 272856 874 2943 0 328303 0
[pid=21225/tid=21226] ppid=21222 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1357451264 272856 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1357451264 272856 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1357451264 272856 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.15 2.10 2.05 3/181 21284
/proc/meminfo: memFree=29336744/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1361.87 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274479 0 0 0 136134 53 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5711439 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.17 2.12 2.06 3/181 21285
/proc/meminfo: memFree=29337088/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1421.86 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274488 0 0 0 142133 53 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5822592 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.13 2.11 2.06 3/181 21334
/proc/meminfo: memFree=29347472/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1481.85 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274488 0 0 0 148132 53 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.15 2.12 2.07 3/181 21336
/proc/meminfo: memFree=29347524/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1541.84 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274488 0 0 0 154131 53 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5522977 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.19 2.14 2.08 3/182 21340
/proc/meminfo: memFree=29347332/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1601.82 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274488 0 0 0 160129 53 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5522977 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.07 2.11 2.07 3/181 21341
/proc/meminfo: memFree=29346712/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1661.81 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274488 0 0 0 166128 53 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5712555 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.08 2.10 2.07 3/181 21342
/proc/meminfo: memFree=29346708/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1331780 CPUtime=1721.81 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 274488 0 0 0 172127 54 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140734201095296 5545784 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 332945 274393 874 2943 0 329839 0
[pid=21225/tid=21226] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1363742720 274393 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.18 2.13 2.08 3/181 21343
/proc/meminfo: memFree=29346344/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1336900 CPUtime=1781.8 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 275589 0 0 0 178126 54 0 0 20 0 4 0 11231551 1368985600 275494 33554432000 4194304 16246674 140734201113392 140734201096392 13927401 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 334225 275494 874 2943 0 331119 0
[pid=21225/tid=21226] ppid=21222 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1368985600 275494 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1368985600 275494 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1368985600 275494 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.13 2.12 2.08 3/180 21345
/proc/meminfo: memFree=29340280/32872528 swapFree=446836/479540
[pid=21225] ppid=21222 vsize=1337924 CPUtime=1800.09 cores=0,2,4,6
/proc/21225/stat : 21225 (toysat) R 21222 21225 15681 0 -1 4202496 275953 0 0 0 179955 54 0 0 20 0 4 0 11231551 1370034176 275858 33554432000 4194304 16246674 140734201113392 140734201112488 6861676 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21225/statm: 334481 275858 874 2943 0 331375 0
[pid=21225/tid=21226] ppid=21222 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21226/stat : 21226 (toysat) S 21222 21225 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11231551 1370034176 275858 33554432000 4194304 16246674 140734201113392 140548109217008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21225/tid=21227] ppid=21222 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21227/stat : 21227 (toysat) S 21222 21225 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11231551 1370034176 275858 33554432000 4194304 16246674 140734201113392 140548098727152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21225/tid=21228] ppid=21222 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/21225/task/21228/stat : 21228 (toysat) S 21222 21225 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11231551 1370034176 275858 33554432000 4194304 16246674 140734201113392 140548088253616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1337924

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.56
CPU system time (s): 0.547916
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.547916
maximum resident set size= 1103432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275953
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= 439
involuntary context switches= 1976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80827 second user time and 6.71798 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 17:43:34
IDJOB=4093635
IDBENCH=79165
IDSOLVER=2553
FILE ID=node104/4093635-1466091814
RUNJOBID= node104-1466074317-17183
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr--soft-0-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-4093635-1466091814/watcher-4093635-1466091814 -o /tmp/evaluation-result-4093635-1466091814/solver-4093635-1466091814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093635-1466091814.wbo

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

MD5SUM BENCH= 02fb8a7818433044fe5d5a9a278599da
RANDOM SEED=1326893694

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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:        30442756 kB
Buffers:           46288 kB
Cached:           112448 kB
SwapCached:          516 kB
Active:          1169676 kB
Inactive:          81672 kB
Active(anon):    1093672 kB
Inactive(anon):     1168 kB
Active(file):      76004 kB
Inactive(file):    80504 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1675360 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             568304 kB
SReclaimable:      12584 kB
SUnreclaim:       555720 kB
KernelStack:        1504 kB
PageTables:         6756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1704812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node104 at 2016-06-16 18:13:35