Trace number 4109178

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.04 1800.52

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMe9a64a9fd994118a8a7cda3ac40963c5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.1
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 constraints98
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 4996
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4995
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-19T15:10:19+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-4109178-1466341819.wbo"]
0.00/0.01	c use --random-gen="3871962552 4051028186 2949606238 1656960635 1699818282 675254100 3546331456 1882054312 633060555 2539647090 468182445 2476290299 3431735823 956460385 1470578022 1042565335 68144835 2580037023 493570400 2091444019 2153502290 1175563628 700219233 182301904 3821629715 4148501929 2088981943 190443842 2757719525 3383559192 3827388096 2809127171 3697007912 3513223790 2739866125 950852613 3222841097 805219632 154586652 3995080809 3394832687 2434414214 3305932953 313427156 1871120537 1318360737 205665263 4019692903 2339477192 3638456108 1378984388 938479120 3779888748 2451955251 3995873067 1255923768 2712916138 2913902408 1016102081 337313919 3301424359 2073322752 543069848 490862513 2065484402 2770681151 803079078 3128138611 1234335838 2767160883 751137996 1878587487 2353946598 2383056479 1721020376 1017488723 751042540 1498227999 1039412779 1781518261 1290119213 2834667206 2166092186 2722404709 3837238642 1293685901 799714529 1411453305 3538400163 3232127889 378469890 3919278607 3655685997 1569913169 3920503210 3321760956 2272766457 1557143521 1423026222 722637168 2992258814 1866671920 982330564 487545072 1688705530 3592378481 3583626583 2463234006 341465606 1575262540 699164893 212172147 961275499 2031664819 1040126460 1047576872 2279815593 2810687579 3832305040 1320790120 4059988941 2461126643 24387900 739885261 1005471609 2070213501 3837172053 1966124062 489076104 3167468865 1200541869 693059532 1442336110 3013637745 793144237 3088936851 153940962 983586964 1056635802 944615228 3235276547 3358680131 298831045 548431438 2795539145 1227837646 230724363 2981042436 1303134491 3424925197 2572495780 2734339983 2903047274 2446058489 1561321959 3224140128 1844009859 3077780229 3394886955 4253686195 1776190786 3938168785 3122066622 3506308724 3532477213 3117888857 3479494211 971405372 3588016546 52118115 1381748342 703880304 644039664 1427619166 406047934 3203428741 2550569221 2664197093 3808004916 945267054 3439961064 375525504 1934430049 2800349952 541043727 2533316214 4027288852 1661828723 2566460349 2739514508 2107021790 2515266002 3652294680 3896422976 3668966328 1371269122 584010122 3550638816 4006966861 1080654074 3402403732 3063001998 2454232790 1973722484 3466621554 1435175297 2673949278 3974753105 1851468456 2466008170 295001616 20082024 3737813213 3777759588 1367421907 259805317 1735431995 822545649 719747974 485093771 3655267318 1958342349 1664271802 1151430109 1752787343 2538242276 3236172546 1405908458 1930341269 299870953 702900247 545218026 3675211243 1020722353 612330428 3968868367 179136095 2052718983 3450433626 2355108169 153134170 992323280 590566649 2714356275 3028073529 2681464601 913002674 1871104578 2897497505 3197058231 1284856673 1857715944 4121179724 3511110649 3184008891 1509864774 255 362436" option to reproduce the execution
0.09/0.12	c #vars 2520
0.09/0.12	c #constraints 142
0.09/0.13	c BCD2: Hardening is enabled.
0.09/0.13	c BCD2: BiasedSearch is enabled.
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |      920      0 |        0 |        0
0.09/0.17	c  0.0s |       1 |      250 |      100 |      920      0 |        0 |        0
0.09/0.18	c  0.0s |       1 |     2025 |      101 |     1013      0 |        0 |        0
0.09/0.18	c #cpu_time = 0.043s
0.09/0.18	c #wall_clock_time = 0.043s
0.09/0.18	c #decision = 2025
0.09/0.18	c #random_decision = 5
0.09/0.18	c #conflict = 101
0.09/0.18	c #restart = 1
0.09/0.18	o 2373
0.09/0.18	c BCD2: updating upper bound: 4995 -> 2372
0.09/0.18	c BCD2: 0 <= obj <= 2372
0.09/0.18	c BCD2: #cores=0, #unrelaxed=98, #relaxed=0, #hardened=0
0.09/0.18	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.18	c  0.0s |       0 |        0 |        0 |     1013      0 |        0 |        0
0.19/0.23	c  0.1s |       1 |      526 |      100 |     1013      0 |        0 |        0
0.29/0.37	c  0.2s |       2 |     1545 |      250 |     1115      0 |        0 |        0
0.59/0.67	c  0.5s |       3 |     3200 |      475 |     1227      0 |        0 |        0
0.88/0.96	c  0.8s |       4 |     4655 |      813 |     1350      0 |        0 |        0
1.28/1.30	c  1.1s |       5 |     5966 |     1320 |     1486      0 |        0 |        0
1.89/1.90	c  1.7s |       6 |     7548 |     2081 |     1635      0 |        0 |        0
2.89/2.94	c  2.8s |       7 |     9664 |     3223 |     1799      1 |        0 |        0
4.50/4.53	c  4.4s |       8 |    12350 |     4936 |     1979      2 |        0 |        0
6.49/6.54	c  6.4s |       8 |    15534 |     7136 |     1979      4 |        0 |        0
6.89/6.96	c  6.8s |       9 |    15956 |     7506 |     2177      4 |        0 |        0
8.90/8.99	c  8.8s |       9 |    19000 |     9506 |     2177      5 |        0 |        0
10.99/11.06	c 10.9s |       9 |    20687 |    11006 |     2177      6 |        0 |        0
11.49/11.58	c 11.4s |      10 |    21083 |    11361 |     2395      6 |        0 |        0
13.59/13.64	c 13.5s |      10 |    24123 |    13361 |     2395      7 |        0 |        0
15.59/15.66	c 15.5s |      10 |    26160 |    15161 |     2395      8 |        0 |        0
17.69/17.71	c 17.5s |      10 |    27953 |    16761 |     2395      9 |        0 |        0
18.19/18.20	c 18.0s |      11 |    28377 |    17144 |     2635      9 |        0 |        0
20.18/20.21	c 20.0s |      11 |    31733 |    19444 |     2635     11 |        0 |        0
22.18/22.22	c 22.0s |      11 |    33920 |    21344 |     2635     12 |        0 |        0
24.19/24.26	c 24.1s |      11 |    35994 |    23244 |     2635     13 |        0 |        0
26.28/26.36	c 26.2s |      11 |    38143 |    25144 |     2635     13 |        0 |        0
27.08/27.16	c 27.0s |      12 |    38896 |    25819 |     2899     14 |        0 |        0
29.18/29.23	c 29.1s |      12 |    42198 |    28019 |     2899     15 |        0 |        0
31.28/31.31	c 31.1s |      12 |    44141 |    29719 |     2899     16 |        0 |        0
33.28/33.31	c 33.1s |      12 |    45815 |    31219 |     2899     16 |        0 |        0
35.38/35.43	c 35.3s |      12 |    47558 |    32819 |     2899     17 |        0 |        0
37.49/37.51	c 37.3s |      12 |    49296 |    34419 |     2899     18 |        0 |        0
39.48/39.53	c 39.3s |      12 |    51140 |    36019 |     2899     19 |        0 |        0
41.58/41.60	c 41.4s |      12 |    52799 |    37419 |     2899     19 |        0 |        0
43.58/43.62	c 43.4s |      12 |    54307 |    38719 |     3189     20 |        0 |        0
43.68/43.77	c 43.6s |      13 |    54429 |    38832 |     3189     20 |        0 |        0
45.78/45.80	c 45.6s |      13 |    57874 |    41132 |     3189     21 |        0 |        0
47.78/47.83	c 47.7s |      13 |    59801 |    42832 |     3189     22 |        0 |        0
49.88/49.90	c 49.7s |      13 |    61704 |    44532 |     3189     22 |        0 |        0
51.88/51.93	c 51.8s |      13 |    63653 |    46232 |     3189     23 |        0 |        0
53.99/54.04	c 53.9s |      13 |    65577 |    47932 |     3189     24 |        0 |        0
55.98/56.07	c 55.9s |      13 |    67134 |    49332 |     3189     24 |        0 |        0
57.98/58.09	c 57.9s |      13 |    68809 |    50832 |     3189     25 |        0 |        0
60.08/60.10	c 59.9s |      13 |    70481 |    52332 |     3189     26 |        0 |        0
62.18/62.22	c 62.0s |      13 |    72000 |    53732 |     3189     26 |        0 |        0
64.28/64.32	c 64.1s |      13 |    73700 |    55232 |     3189     27 |        0 |        0
66.28/66.37	c 66.2s |      13 |    75532 |    56832 |     3189     28 |        0 |        0
68.38/68.40	c 68.2s |      13 |    77227 |    58332 |     3508     28 |        0 |        0
68.38/68.43	c 68.3s |      14 |    77253 |    58352 |     3508     28 |        0 |        0
70.48/70.52	c 70.3s |      14 |    80667 |    60252 |     3508     29 |        0 |        0
72.58/72.65	c 72.5s |      14 |    82579 |    61952 |     3508     29 |        0 |        0
74.68/74.75	c 74.6s |      14 |    84016 |    63252 |     3508     30 |        0 |        0
76.78/76.82	c 76.6s |      14 |    85344 |    64452 |     3508     30 |        0 |        0
78.88/78.90	c 78.7s |      14 |    86658 |    65652 |     3508     31 |        0 |        0
80.87/80.93	c 80.7s |      14 |    87867 |    66752 |     3508     31 |        0 |        0
83.17/83.21	c 83.0s |      14 |    89329 |    68052 |     3508     32 |        0 |        0
85.27/85.30	c 85.1s |      14 |    90663 |    69252 |     3508     32 |        0 |        0
87.28/87.33	c 87.2s |      14 |    91901 |    70352 |     3508     32 |        0 |        0
89.38/89.43	c 89.3s |      14 |    93064 |    71352 |     3508     33 |        0 |        0
91.39/91.48	c 91.3s |      14 |    94663 |    72752 |     3508     33 |        0 |        0
93.48/93.53	c 93.3s |      14 |    95893 |    73852 |     3508     34 |        0 |        0
95.48/95.58	c 95.4s |      14 |    97494 |    75252 |     3508     34 |        0 |        0
97.58/97.67	c 97.5s |      14 |    98929 |    76552 |     3508     34 |        0 |        0
99.68/99.73	c 99.5s |      14 |   100133 |    77652 |     3508     35 |        0 |        0
101.68/101.75	c  101s |      14 |   101358 |    78752 |     3508     35 |        0 |        0
103.78/103.83	c  103s |      14 |   102691 |    79952 |     3508     36 |        0 |        0
105.77/105.89	c  105s |      14 |   104237 |    81352 |     3508     36 |        0 |        0
108.07/108.19	c  108s |      14 |   105652 |    82652 |     3508     37 |        0 |        0
110.17/110.22	c  110s |      14 |   106966 |    83852 |     3508     37 |        0 |        0
112.18/112.22	c  112s |      14 |   108185 |    84952 |     3508     37 |        0 |        0
114.17/114.27	c  114s |      14 |   109647 |    86152 |     3508     38 |        0 |        0
116.37/116.40	c  116s |      14 |   111286 |    87552 |     3859     38 |        0 |        0
116.47/116.53	c  116s |      15 |   111366 |    87632 |     3859     38 |        0 |        0
118.47/118.55	c  118s |      15 |   114374 |    89232 |     3859     39 |        0 |        0
120.57/120.67	c  120s |      15 |   116027 |    90732 |     3859     39 |        0 |        0
122.57/122.68	c  122s |      15 |   117471 |    92032 |     3859     40 |        0 |        0
124.67/124.74	c  124s |      15 |   118817 |    93232 |     3859     40 |        0 |        0
126.67/126.79	c  126s |      15 |   120058 |    94332 |     3859     41 |        0 |        0
128.78/128.83	c  128s |      15 |   121275 |    95432 |     3859     41 |        0 |        0
130.88/131.00	c  130s |      15 |   122643 |    96632 |     3859     42 |        0 |        0
133.08/133.16	c  132s |      15 |   123974 |    97832 |     3859     42 |        0 |        0
135.17/135.27	c  135s |      15 |   125308 |    99032 |     3859     42 |        0 |        0
137.27/137.34	c  137s |      15 |   126543 |   100132 |     3859     43 |        0 |        0
139.27/139.39	c  139s |      15 |   127863 |   101332 |     3859     43 |        0 |        0
141.37/141.45	c  141s |      15 |   129072 |   102432 |     3859     44 |        0 |        0
143.47/143.54	c  143s |      15 |   130402 |   103632 |     3859     44 |        0 |        0
145.67/145.71	c  145s |      15 |   131578 |   104732 |     3859     44 |        0 |        0
147.67/147.74	c  147s |      15 |   132919 |   105932 |     3859     45 |        0 |        0
149.77/149.81	c  149s |      15 |   134233 |   107132 |     3859     45 |        0 |        0
151.87/151.98	c  151s |      15 |   135557 |   108332 |     3859     46 |        0 |        0
153.97/154.04	c  153s |      15 |   136906 |   109532 |     3859     46 |        0 |        0
156.07/156.19	c  156s |      15 |   138227 |   110732 |     3859     46 |        0 |        0
158.17/158.29	c  158s |      15 |   139577 |   111932 |     3859     47 |        0 |        0
160.37/160.48	c  160s |      15 |   140939 |   113132 |     3859     47 |        0 |        0
162.47/162.54	c  162s |      15 |   142162 |   114232 |     3859     48 |        0 |        0
164.57/164.69	c  164s |      15 |   143608 |   115532 |     3859     48 |        0 |        0
166.66/166.77	c  166s |      15 |   144848 |   116632 |     3859     49 |        0 |        0
168.76/168.81	c  168s |      15 |   145974 |   117632 |     3859     49 |        0 |        0
170.96/171.05	c  170s |      15 |   147683 |   119132 |     3859     49 |        0 |        0
172.96/173.06	c  172s |      15 |   148926 |   120232 |     3859     50 |        0 |        0
175.16/175.24	c  175s |      15 |   150242 |   121432 |     3859     50 |        0 |        0
177.36/177.46	c  177s |      15 |   151450 |   122532 |     3859     51 |        0 |        0
179.46/179.51	c  179s |      15 |   152641 |   123632 |     3859     51 |        0 |        0
181.57/181.63	c  181s |      15 |   153992 |   124832 |     3859     51 |        0 |        0
183.56/183.69	c  183s |      15 |   155325 |   126032 |     3859     52 |        0 |        0
185.76/185.87	c  185s |      15 |   156630 |   127232 |     3859     52 |        0 |        0
187.86/187.98	c  187s |      15 |   157979 |   128432 |     3859     53 |        0 |        0
189.96/190.00	c  189s |      15 |   159427 |   129732 |     3859     53 |        0 |        0
192.06/192.16	c  191s |      15 |   160647 |   130832 |     4245     53 |        0 |        0
193.36/193.47	c  193s |      16 |   161446 |   131552 |     4245     54 |        0 |        0
195.46/195.51	c  195s |      16 |   164756 |   133752 |     4245     55 |        0 |        0
197.46/197.58	c  197s |      16 |   166758 |   135552 |     4245     55 |        0 |        0
199.56/199.64	c  199s |      16 |   168313 |   136952 |     4245     56 |        0 |        0
201.56/201.65	c  201s |      16 |   169834 |   138352 |     4245     56 |        0 |        0
203.56/203.69	c  203s |      16 |   171461 |   139752 |     4245     57 |        0 |        0
205.66/205.71	c  205s |      16 |   172884 |   141052 |     4245     57 |        0 |        0
207.76/207.80	c  207s |      16 |   174203 |   142252 |     4245     57 |        0 |        0
209.76/209.88	c  209s |      16 |   175642 |   143552 |     4245     58 |        0 |        0
211.96/212.00	c  211s |      16 |   177147 |   144952 |     4245     58 |        0 |        0
213.96/214.06	c  213s |      16 |   178833 |   146452 |     4245     59 |        0 |        0
216.06/216.13	c  215s |      16 |   180383 |   147852 |     4245     59 |        0 |        0
218.15/218.25	c  218s |      16 |   181874 |   149252 |     4245     60 |        0 |        0
220.25/220.37	c  220s |      16 |   183391 |   150652 |     4245     60 |        0 |        0
222.35/222.42	c  222s |      16 |   184855 |   151952 |     4245     61 |        0 |        0
224.36/224.46	c  224s |      16 |   186518 |   153452 |     4245     61 |        0 |        0
226.45/226.59	c  226s |      16 |   188050 |   154852 |     4245     62 |        0 |        0
228.55/228.63	c  228s |      16 |   189372 |   156052 |     4245     62 |        0 |        0
230.55/230.67	c  230s |      16 |   190859 |   157352 |     4245     63 |        0 |        0
232.65/232.78	c  232s |      16 |   192583 |   158952 |     4245     63 |        0 |        0
234.75/234.89	c  234s |      16 |   193919 |   160152 |     4245     64 |        0 |        0
236.85/236.91	c  236s |      16 |   195562 |   161652 |     4245     64 |        0 |        0
238.85/238.97	c  238s |      16 |   196888 |   162852 |     4245     65 |        0 |        0
240.96/241.05	c  240s |      16 |   198577 |   164352 |     4245     65 |        0 |        0
243.06/243.15	c  242s |      16 |   200008 |   165652 |     4245     66 |        0 |        0
245.15/245.28	c  245s |      16 |   201987 |   167252 |     4245     66 |        0 |        0
247.25/247.32	c  247s |      16 |   203449 |   168552 |     4245     67 |        0 |        0
249.25/249.37	c  249s |      16 |   205140 |   170052 |     4245     67 |        0 |        0
251.35/251.40	c  251s |      16 |   206560 |   171352 |     4245     68 |        0 |        0
253.35/253.46	c  253s |      16 |   208120 |   172752 |     4245     68 |        0 |        0
255.45/255.55	c  255s |      16 |   209553 |   174052 |     4245     69 |        0 |        0
257.46/257.59	c  257s |      16 |   211241 |   175552 |     4245     69 |        0 |        0
259.45/259.60	c  259s |      16 |   212826 |   176952 |     4245     70 |        0 |        0
261.55/261.64	c  261s |      16 |   214607 |   178552 |     4245     70 |        0 |        0
263.65/263.76	c  263s |      16 |   216065 |   179852 |     4245     71 |        0 |        0
265.75/265.81	c  265s |      16 |   217943 |   181452 |     4245     71 |        0 |        0
267.75/267.84	c  267s |      16 |   219323 |   182652 |     4245     72 |        0 |        0
269.75/269.89	c  269s |      16 |   221047 |   184152 |     4245     72 |        0 |        0
271.84/271.92	c  271s |      16 |   222485 |   185452 |     4245     73 |        0 |        0
273.85/273.99	c  273s |      16 |   224096 |   186852 |     4245     73 |        0 |        0
276.05/276.19	c  276s |      16 |   225629 |   188252 |     4245     74 |        0 |        0
278.04/278.19	c  278s |      16 |   227286 |   189752 |     4245     74 |        0 |        0
280.24/280.34	c  280s |      16 |   228939 |   191152 |     4245     75 |        0 |        0
282.34/282.49	c  282s |      16 |   230347 |   192452 |     4245     75 |        0 |        0
284.54/284.63	c  284s |      16 |   231927 |   193852 |     4245     75 |        0 |        0
286.54/286.67	c  286s |      16 |   233478 |   195252 |     4245     76 |        0 |        0
288.74/288.81	c  288s |      16 |   234796 |   196452 |     4670     76 |        0 |        0
290.24/290.39	c  290s |      17 |   235915 |   197432 |     4670     77 |        0 |        0
292.34/292.41	c  292s |      17 |   239739 |   199732 |     4670     77 |        0 |        0
294.34/294.47	c  294s |      17 |   241811 |   201532 |     4670     78 |        0 |        0
296.44/296.55	c  296s |      17 |   243810 |   203232 |     4670     78 |        0 |        0
298.54/298.62	c  298s |      17 |   245406 |   204632 |     4670     78 |        0 |        0
300.64/300.77	c  300s |      17 |   246768 |   205832 |     4670     79 |        0 |        0
302.74/302.81	c  302s |      17 |   248310 |   207232 |     4670     79 |        0 |        0
304.84/304.90	c  304s |      17 |   249773 |   208532 |     4670     80 |        0 |        0
306.84/306.91	c  306s |      17 |   251480 |   210032 |     4670     80 |        0 |        0
308.84/308.96	c  308s |      17 |   252999 |   211432 |     4670     80 |        0 |        0
310.94/311.07	c  310s |      17 |   254786 |   213032 |     4670     81 |        0 |        0
313.14/313.20	c  313s |      17 |   256462 |   214532 |     4670     81 |        0 |        0
315.24/315.31	c  315s |      17 |   258103 |   216032 |     4670     82 |        0 |        0
317.24/317.37	c  317s |      17 |   259811 |   217532 |     4670     82 |        0 |        0
319.24/319.38	c  319s |      17 |   261214 |   218832 |     4670     83 |        0 |        0
321.34/321.43	c  321s |      17 |   263091 |   220532 |     4670     83 |        0 |        0
323.34/323.46	c  323s |      17 |   264755 |   222032 |     4670     83 |        0 |        0
325.34/325.49	c  325s |      17 |   266402 |   223532 |     4670     84 |        0 |        0
327.44/327.55	c  327s |      17 |   267930 |   224932 |     4670     84 |        0 |        0
329.53/329.64	c  329s |      17 |   269122 |   226032 |     4670     85 |        0 |        0
331.63/331.77	c  331s |      17 |   270961 |   227732 |     4670     85 |        0 |        0
333.73/333.87	c  333s |      17 |   272577 |   229232 |     4670     85 |        0 |        0
335.83/335.92	c  335s |      17 |   273964 |   230532 |     4670     86 |        0 |        0
337.83/337.94	c  337s |      17 |   275361 |   231832 |     4670     86 |        0 |        0
339.94/340.01	c  339s |      17 |   276797 |   233132 |     4670     87 |        0 |        0
341.93/342.01	c  341s |      17 |   278586 |   234732 |     4670     87 |        0 |        0
343.93/344.04	c  343s |      17 |   280071 |   236132 |     4670     87 |        0 |        0
345.93/346.09	c  345s |      17 |   281704 |   237532 |     4670     88 |        0 |        0
348.13/348.20	c  348s |      17 |   283507 |   239132 |     4670     88 |        0 |        0
350.13/350.25	c  350s |      17 |   285226 |   240632 |     4670     89 |        0 |        0
352.23/352.33	c  352s |      17 |   286997 |   242232 |     4670     89 |        0 |        0
354.24/354.38	c  354s |      17 |   288389 |   243532 |     4670     90 |        0 |        0
356.34/356.46	c  356s |      17 |   289919 |   244932 |     4670     90 |        0 |        0
358.33/358.49	c  358s |      17 |   291387 |   246232 |     4670     90 |        0 |        0
360.33/360.49	c  360s |      17 |   293111 |   247732 |     4670     91 |        0 |        0
362.43/362.54	c  362s |      17 |   294918 |   249332 |     4670     91 |        0 |        0
364.43/364.58	c  364s |      17 |   296389 |   250632 |     4670     92 |        0 |        0
366.53/366.66	c  366s |      17 |   298161 |   252232 |     4670     92 |        0 |        0
368.54/368.68	c  368s |      17 |   299728 |   253632 |     4670     92 |        0 |        0
370.64/370.78	c  370s |      17 |   301170 |   254932 |     4670     93 |        0 |        0
372.74/372.86	c  372s |      17 |   302799 |   256432 |     4670     93 |        0 |        0
374.84/374.91	c  374s |      17 |   304205 |   257732 |     4670     94 |        0 |        0
376.84/376.94	c  376s |      17 |   305668 |   259032 |     4670     94 |        0 |        0
378.94/379.08	c  378s |      17 |   307076 |   260332 |     4670     94 |        0 |        0
381.04/381.14	c  380s |      17 |   308491 |   261532 |     4670     95 |        0 |        0
383.14/383.23	c  383s |      17 |   310199 |   263032 |     4670     95 |        0 |        0
385.14/385.26	c  385s |      17 |   311871 |   264532 |     4670     95 |        0 |        0
387.14/387.30	c  387s |      17 |   313452 |   265932 |     4670     96 |        0 |        0
389.23/389.32	c  389s |      17 |   315031 |   267332 |     4670     96 |        0 |        0
391.23/391.35	c  391s |      17 |   316578 |   268732 |     4670     97 |        0 |        0
393.33/393.40	c  393s |      17 |   318200 |   270232 |     4670     97 |        0 |        0
395.33/395.43	c  395s |      17 |   319544 |   271432 |     4670     97 |        0 |        0
397.43/397.53	c  397s |      17 |   321022 |   272732 |     4670     98 |        0 |        0
399.53/399.67	c  399s |      17 |   322810 |   274332 |     4670     98 |        0 |        0
401.63/401.72	c  401s |      17 |   324244 |   275632 |     4670     99 |        0 |        0
403.64/403.76	c  403s |      17 |   325715 |   276932 |     4670     99 |        0 |        0
405.73/405.88	c  405s |      17 |   327160 |   278232 |     4670     99 |        0 |        0
407.83/407.93	c  407s |      17 |   328910 |   279732 |     4670    100 |        0 |        0
409.83/409.98	c  409s |      17 |   330695 |   281332 |     4670    100 |        0 |        0
411.83/411.99	c  411s |      17 |   332244 |   282732 |     4670    101 |        0 |        0
413.93/414.08	c  413s |      17 |   334105 |   284332 |     4670    101 |        0 |        0
416.13/416.23	c  416s |      17 |   335581 |   285632 |     4670    101 |        0 |        0
418.13/418.26	c  418s |      17 |   337034 |   286932 |     4670    102 |        0 |        0
420.24/420.32	c  420s |      17 |   338478 |   288232 |     4670    102 |        0 |        0
422.33/422.45	c  422s |      17 |   339818 |   289432 |     4670    103 |        0 |        0
424.33/424.48	c  424s |      17 |   341392 |   290832 |     4670    103 |        0 |        0
426.43/426.59	c  426s |      17 |   342844 |   292132 |     4670    103 |        0 |        0
428.53/428.69	c  428s |      17 |   344554 |   293632 |     4670    104 |        0 |        0
430.73/430.80	c  430s |      17 |   346507 |   295332 |     5137    104 |        0 |        0
432.13/432.22	c  432s |      18 |   347547 |   296252 |     5137    104 |        0 |        0
434.23/434.33	c  434s |      18 |   350391 |   297752 |     5137    105 |        0 |        0
436.23/436.36	c  436s |      18 |   351845 |   299052 |     5137    105 |        0 |        0
438.23/438.36	c  438s |      18 |   353064 |   300152 |     5137    106 |        0 |        0
440.23/440.37	c  440s |      18 |   354291 |   301252 |     5137    106 |        0 |        0
442.32/442.49	c  442s |      18 |   355835 |   302652 |     5137    106 |        0 |        0
444.43/444.57	c  444s |      18 |   357179 |   303852 |     5137    107 |        0 |        0
446.42/446.58	c  446s |      18 |   358751 |   305252 |     5137    107 |        0 |        0
448.52/448.64	c  448s |      18 |   360230 |   306552 |     5137    107 |        0 |        0
450.62/450.73	c  450s |      18 |   361754 |   307852 |     5137    108 |        0 |        0
452.72/452.83	c  452s |      18 |   363486 |   309352 |     5137    108 |        0 |        0
454.72/454.87	c  454s |      18 |   364948 |   310652 |     5137    108 |        0 |        0
456.92/457.00	c  456s |      18 |   366307 |   311852 |     5137    109 |        0 |        0
458.92/459.00	c  458s |      18 |   367665 |   313052 |     5137    109 |        0 |        0
461.02/461.12	c  460s |      18 |   369012 |   314252 |     5137    109 |        0 |        0
463.03/463.15	c  462s |      18 |   370478 |   315552 |     5137    110 |        0 |        0
465.12/465.28	c  465s |      18 |   371922 |   316852 |     5137    110 |        0 |        0
467.12/467.29	c  467s |      18 |   373179 |   317952 |     5137    110 |        0 |        0
469.32/469.40	c  469s |      18 |   374518 |   319152 |     5137    111 |        0 |        0
471.42/471.50	c  471s |      18 |   376154 |   320552 |     5137    111 |        0 |        0
473.42/473.52	c  473s |      18 |   377515 |   321752 |     5137    112 |        0 |        0
475.52/475.68	c  475s |      18 |   379375 |   323352 |     5137    112 |        0 |        0
477.72/477.81	c  477s |      18 |   380679 |   324552 |     5137    112 |        0 |        0
479.72/479.86	c  479s |      18 |   381901 |   325652 |     5137    113 |        0 |        0
481.82/481.91	c  481s |      18 |   383273 |   326852 |     5137    113 |        0 |        0
483.92/484.07	c  483s |      18 |   384600 |   328052 |     5137    113 |        0 |        0
486.02/486.20	c  486s |      18 |   385704 |   329052 |     5137    114 |        0 |        0
488.22/488.34	c  488s |      18 |   387146 |   330352 |     5137    114 |        0 |        0
490.32/490.45	c  490s |      18 |   388479 |   331552 |     5137    114 |        0 |        0
492.51/492.64	c  492s |      18 |   389663 |   332652 |     5137    115 |        0 |        0
494.51/494.67	c  494s |      18 |   391009 |   333852 |     5137    115 |        0 |        0
496.71/496.81	c  496s |      18 |   392622 |   335252 |     5137    115 |        0 |        0
498.71/498.88	c  498s |      18 |   393819 |   336352 |     5137    116 |        0 |        0
500.91/501.02	c  500s |      18 |   395268 |   337652 |     5137    116 |        0 |        0
503.01/503.15	c  502s |      18 |   396718 |   338952 |     5137    116 |        0 |        0
505.21/505.34	c  505s |      18 |   398060 |   340152 |     5137    117 |        0 |        0
507.31/507.47	c  507s |      18 |   399605 |   341552 |     5137    117 |        0 |        0
509.51/509.65	c  509s |      18 |   401054 |   342852 |     5137    117 |        0 |        0
511.61/511.73	c  511s |      18 |   402383 |   344052 |     5137    118 |        0 |        0
513.72/513.83	c  513s |      18 |   403722 |   345252 |     5137    118 |        0 |        0
515.81/516.00	c  515s |      18 |   405042 |   346452 |     5137    118 |        0 |        0
518.01/518.20	c  518s |      18 |   406256 |   347552 |     5137    119 |        0 |        0
520.11/520.24	c  520s |      18 |   407552 |   348752 |     5137    119 |        0 |        0
522.21/522.31	c  522s |      18 |   408867 |   349952 |     5137    119 |        0 |        0
524.31/524.43	c  524s |      18 |   410122 |   351052 |     5137    120 |        0 |        0
526.41/526.51	c  526s |      18 |   411535 |   352352 |     5137    120 |        0 |        0
528.41/528.56	c  528s |      18 |   412863 |   353552 |     5137    120 |        0 |        0
530.51/530.64	c  530s |      18 |   414128 |   354652 |     5137    121 |        0 |        0
532.61/532.72	c  532s |      18 |   415474 |   355852 |     5137    121 |        0 |        0
534.71/534.85	c  534s |      18 |   416818 |   357052 |     5137    121 |        0 |        0
536.71/536.87	c  536s |      18 |   418032 |   358152 |     5137    122 |        0 |        0
538.81/538.90	c  538s |      18 |   419229 |   359252 |     5137    122 |        0 |        0
540.91/541.05	c  540s |      18 |   420456 |   360352 |     5137    122 |        0 |        0
543.01/543.16	c  542s |      18 |   421445 |   361252 |     5137    123 |        0 |        0
545.21/545.33	c  545s |      18 |   422771 |   362452 |     5137    123 |        0 |        0
547.30/547.41	c  547s |      18 |   424012 |   363552 |     5137    123 |        0 |        0
549.50/549.62	c  549s |      18 |   425219 |   364652 |     5137    123 |        0 |        0
551.60/551.74	c  551s |      18 |   426349 |   365652 |     5137    124 |        0 |        0
553.70/553.81	c  553s |      18 |   427740 |   366852 |     5137    124 |        0 |        0
555.70/555.81	c  555s |      18 |   429026 |   367952 |     5137    124 |        0 |        0
557.80/557.91	c  557s |      18 |   430426 |   369152 |     5137    125 |        0 |        0
559.91/560.04	c  559s |      18 |   431965 |   370552 |     5137    125 |        0 |        0
562.11/562.20	c  562s |      18 |   433271 |   371752 |     5137    125 |        0 |        0
564.10/564.27	c  564s |      18 |   434746 |   373052 |     5137    126 |        0 |        0
566.10/566.29	c  566s |      18 |   435958 |   374152 |     5137    126 |        0 |        0
568.20/568.30	c  568s |      18 |   437186 |   375252 |     5137    126 |        0 |        0
570.21/570.34	c  570s |      18 |   438408 |   376352 |     5137    127 |        0 |        0
572.31/572.49	c  572s |      18 |   439736 |   377552 |     5137    127 |        0 |        0
574.61/574.71	c  574s |      18 |   441089 |   378752 |     5137    127 |        0 |        0
576.61/576.77	c  576s |      18 |   442362 |   379852 |     5137    128 |        0 |        0
578.71/578.80	c  578s |      18 |   443728 |   381052 |     5137    128 |        0 |        0
580.81/580.98	c  580s |      18 |   445137 |   382252 |     5137    128 |        0 |        0
582.81/582.99	c  582s |      18 |   446404 |   383352 |     5137    129 |        0 |        0
584.91/585.02	c  584s |      18 |   447667 |   384452 |     5137    129 |        0 |        0
586.90/587.03	c  586s |      18 |   448781 |   385452 |     5137    129 |        0 |        0
588.90/589.08	c  588s |      18 |   449968 |   386452 |     5137    130 |        0 |        0
591.00/591.12	c  590s |      18 |   451065 |   387452 |     5137    130 |        0 |        0
593.10/593.23	c  593s |      18 |   452292 |   388552 |     5137    130 |        0 |        0
595.11/595.24	c  595s |      18 |   453381 |   389552 |     5137    130 |        0 |        0
597.31/597.41	c  597s |      18 |   454609 |   390652 |     5137    131 |        0 |        0
599.30/599.49	c  599s |      18 |   455863 |   391752 |     5137    131 |        0 |        0
601.40/601.50	c  601s |      18 |   457130 |   392852 |     5137    131 |        0 |        0
603.40/603.58	c  603s |      18 |   458224 |   393852 |     5137    132 |        0 |        0
605.60/605.76	c  605s |      18 |   459425 |   394952 |     5137    132 |        0 |        0
607.60/607.76	c  607s |      18 |   460529 |   395952 |     5137    132 |        0 |        0
609.80/609.96	c  609s |      18 |   461611 |   396952 |     5137    132 |        0 |        0
611.90/612.00	c  611s |      18 |   462491 |   397752 |     5137    133 |        0 |        0
613.90/614.05	c  613s |      18 |   463817 |   398952 |     5137    133 |        0 |        0
615.90/616.10	c  615s |      18 |   465027 |   400052 |     5137    133 |        0 |        0
618.00/618.11	c  617s |      18 |   466122 |   401052 |     5137    134 |        0 |        0
620.10/620.26	c  620s |      18 |   467435 |   402252 |     5137    134 |        0 |        0
622.30/622.40	c  622s |      18 |   468761 |   403452 |     5137    134 |        0 |        0
624.30/624.48	c  624s |      18 |   469854 |   404452 |     5137    135 |        0 |        0
626.50/626.67	c  626s |      18 |   471137 |   405652 |     5137    135 |        0 |        0
628.70/628.80	c  628s |      18 |   472212 |   406652 |     5137    135 |        0 |        0
630.80/630.95	c  630s |      18 |   473321 |   407652 |     5137    135 |        0 |        0
632.99/633.17	c  632s |      18 |   474516 |   408752 |     5137    136 |        0 |        0
635.09/635.28	c  635s |      18 |   475694 |   409752 |     5137    136 |        0 |        0
637.29/637.41	c  637s |      18 |   476820 |   410752 |     5137    136 |        0 |        0
639.39/639.58	c  639s |      18 |   478070 |   411852 |     5137    137 |        0 |        0
641.49/641.64	c  641s |      18 |   479548 |   413152 |     5137    137 |        0 |        0
643.50/643.67	c  643s |      18 |   480810 |   414252 |     5137    137 |        0 |        0
645.70/645.89	c  645s |      18 |   481904 |   415252 |     5137    138 |        0 |        0
647.80/648.00	c  647s |      18 |   483141 |   416352 |     5137    138 |        0 |        0
649.89/650.08	c  649s |      18 |   484247 |   417352 |     5137    138 |        0 |        0
651.99/652.19	c  652s |      18 |   485448 |   418452 |     5137    138 |        0 |        0
654.19/654.30	c  654s |      18 |   486575 |   419452 |     5137    139 |        0 |        0
656.29/656.42	c  656s |      18 |   487904 |   420652 |     5137    139 |        0 |        0
658.39/658.56	c  658s |      18 |   489023 |   421652 |     5137    139 |        0 |        0
660.59/660.72	c  660s |      18 |   490031 |   422552 |     5137    140 |        0 |        0
662.79/662.96	c  662s |      18 |   491340 |   423752 |     5137    140 |        0 |        0
664.89/665.09	c  664s |      18 |   492440 |   424752 |     5137    140 |        0 |        0
667.29/667.45	c  667s |      18 |   493757 |   425952 |     5137    141 |        0 |        0
669.39/669.54	c  669s |      18 |   495271 |   427252 |     5137    141 |        0 |        0
671.49/671.64	c  671s |      18 |   496498 |   428352 |     5137    141 |        0 |        0
673.69/673.81	c  673s |      18 |   497636 |   429352 |     5137    142 |        0 |        0
675.69/675.86	c  675s |      18 |   498732 |   430352 |     5137    142 |        0 |        0
677.79/677.99	c  677s |      18 |   499946 |   431452 |     5137    142 |        0 |        0
679.89/680.00	c  679s |      18 |   501027 |   432452 |     5137    142 |        0 |        0
681.89/682.07	c  681s |      18 |   502240 |   433552 |     5137    143 |        0 |        0
684.09/684.24	c  684s |      18 |   503412 |   434652 |     5137    143 |        0 |        0
686.29/686.45	c  686s |      18 |   504495 |   435652 |     5137    143 |        0 |        0
688.39/688.51	c  688s |      18 |   505449 |   436552 |     5137    144 |        0 |        0
690.49/690.62	c  690s |      18 |   506535 |   437552 |     5137    144 |        0 |        0
692.59/692.78	c  692s |      18 |   507682 |   438552 |     5137    144 |        0 |        0
694.59/694.79	c  694s |      18 |   508764 |   439552 |     5137    144 |        0 |        0
696.69/696.88	c  696s |      18 |   509741 |   440452 |     5137    145 |        0 |        0
698.78/698.94	c  698s |      18 |   511045 |   441652 |     5651    145 |        0 |        0
700.88/701.03	c  700s |      18 |   512271 |   442752 |     5651    145 |        0 |        0
702.98/703.10	c  702s |      18 |   513496 |   443852 |     5651    145 |        0 |        0
704.28/704.43	c  704s |      19 |   514170 |   444482 |     5651    146 |        0 |        0
706.28/706.46	c  706s |      19 |   517793 |   446682 |     5651    146 |        0 |        0
708.39/708.57	c  708s |      19 |   519879 |   448482 |     5651    147 |        0 |        0
710.49/710.63	c  710s |      19 |   521528 |   449982 |     5651    147 |        0 |        0
712.58/712.79	c  712s |      19 |   523046 |   451382 |     5651    147 |        0 |        0
714.68/714.89	c  714s |      19 |   524343 |   452582 |     5651    148 |        0 |        0
716.78/716.96	c  716s |      19 |   525884 |   453982 |     5651    148 |        0 |        0
718.88/719.07	c  718s |      19 |   527309 |   455282 |     5651    148 |        0 |        0
721.08/721.20	c  721s |      19 |   528608 |   456482 |     5651    149 |        0 |        0
723.08/723.24	c  723s |      19 |   530288 |   457982 |     5651    149 |        0 |        0
725.18/725.34	c  725s |      19 |   531964 |   459482 |     5651    149 |        0 |        0
727.18/727.37	c  727s |      19 |   533322 |   460682 |     5651    150 |        0 |        0
729.38/729.50	c  729s |      19 |   534941 |   462082 |     5651    150 |        0 |        0
731.49/731.61	c  731s |      19 |   536615 |   463582 |     5651    150 |        0 |        0
733.58/733.73	c  733s |      19 |   538262 |   465082 |     5651    151 |        0 |        0
735.68/735.84	c  735s |      19 |   540023 |   466682 |     5651    151 |        0 |        0
737.68/737.86	c  737s |      19 |   541431 |   467982 |     5651    151 |        0 |        0
739.78/739.97	c  739s |      19 |   542859 |   469282 |     5651    152 |        0 |        0
741.78/741.99	c  741s |      19 |   544307 |   470582 |     5651    152 |        0 |        0
743.98/744.15	c  743s |      19 |   545764 |   471882 |     5651    152 |        0 |        0
746.08/746.26	c  746s |      19 |   547548 |   473482 |     5651    153 |        0 |        0
748.08/748.26	c  748s |      19 |   549196 |   474982 |     5651    153 |        0 |        0
750.18/750.38	c  750s |      19 |   550634 |   476282 |     5651    153 |        0 |        0
752.28/752.45	c  752s |      19 |   552032 |   477582 |     5651    154 |        0 |        0
754.38/754.56	c  754s |      19 |   553782 |   479082 |     5651    154 |        0 |        0
756.48/756.65	c  756s |      19 |   555329 |   480482 |     5651    154 |        0 |        0
758.68/758.82	c  758s |      19 |   556919 |   481882 |     5651    155 |        0 |        0
760.78/760.95	c  760s |      19 |   558439 |   483282 |     5651    155 |        0 |        0
762.78/762.98	c  762s |      19 |   559776 |   484482 |     5651    155 |        0 |        0
764.87/765.05	c  764s |      19 |   561128 |   485682 |     5651    156 |        0 |        0
766.87/767.06	c  766s |      19 |   562563 |   486982 |     5651    156 |        0 |        0
769.07/769.20	c  769s |      19 |   563873 |   488182 |     5651    156 |        0 |        0
771.08/771.27	c  771s |      19 |   565080 |   489282 |     5651    157 |        0 |        0
773.18/773.36	c  773s |      19 |   566500 |   490582 |     5651    157 |        0 |        0
775.38/775.51	c  775s |      19 |   567954 |   491882 |     5651    157 |        0 |        0
777.37/777.53	c  777s |      19 |   569310 |   493082 |     5651    158 |        0 |        0
779.47/779.60	c  779s |      19 |   571087 |   494582 |     5651    158 |        0 |        0
781.47/781.63	c  781s |      19 |   572524 |   495882 |     5651    158 |        0 |        0
783.47/783.68	c  783s |      19 |   574176 |   497282 |     5651    159 |        0 |        0
785.57/785.75	c  785s |      19 |   575860 |   498782 |     5651    159 |        0 |        0
787.77/787.90	c  787s |      19 |   577471 |   500282 |     5651    159 |        0 |        0
789.78/789.91	c  789s |      19 |   578680 |   501382 |     5651    160 |        0 |        0
791.87/792.04	c  791s |      19 |   580366 |   502882 |     5651    160 |        0 |        0
793.97/794.12	c  793s |      19 |   582030 |   504382 |     5651    160 |        0 |        0
796.07/796.22	c  796s |      19 |   583584 |   505782 |     5651    161 |        0 |        0
798.07/798.25	c  798s |      19 |   585218 |   507282 |     5651    161 |        0 |        0
800.17/800.36	c  800s |      19 |   586730 |   508682 |     5651    161 |        0 |        0
802.27/802.43	c  802s |      19 |   588050 |   509882 |     5651    162 |        0 |        0
804.26/804.45	c  804s |      19 |   589700 |   511382 |     5651    162 |        0 |        0
806.27/806.49	c  806s |      19 |   591142 |   512682 |     5651    162 |        0 |        0
808.37/808.55	c  808s |      19 |   592620 |   513982 |     5651    163 |        0 |        0
810.46/810.69	c  810s |      19 |   594394 |   515582 |     5651    163 |        0 |        0
812.66/812.88	c  812s |      19 |   595837 |   516882 |     5651    164 |        0 |        0
814.76/814.90	c  814s |      19 |   597268 |   518182 |     5651    164 |        0 |        0
816.76/816.95	c  816s |      19 |   598727 |   519482 |     5651    164 |        0 |        0
818.86/819.02	c  818s |      19 |   600220 |   520782 |     5651    165 |        0 |        0
820.86/821.08	c  820s |      19 |   602022 |   522382 |     5651    165 |        0 |        0
823.06/823.20	c  823s |      19 |   603619 |   523782 |     5651    165 |        0 |        0
825.16/825.32	c  825s |      19 |   604954 |   524982 |     5651    166 |        0 |        0
827.26/827.41	c  827s |      19 |   606494 |   526382 |     5651    166 |        0 |        0
829.37/829.50	c  829s |      19 |   607909 |   527682 |     5651    166 |        0 |        0
831.47/831.64	c  831s |      19 |   609362 |   528982 |     5651    167 |        0 |        0
833.46/833.69	c  833s |      19 |   610895 |   530382 |     5651    167 |        0 |        0
835.56/835.75	c  835s |      19 |   612104 |   531482 |     5651    167 |        0 |        0
837.76/837.90	c  837s |      19 |   613689 |   532882 |     5651    168 |        0 |        0
839.76/839.94	c  839s |      19 |   615189 |   534182 |     5651    168 |        0 |        0
841.86/842.01	c  841s |      19 |   616651 |   535482 |     5651    168 |        0 |        0
843.86/844.04	c  843s |      19 |   617862 |   536582 |     5651    168 |        0 |        0
845.96/846.17	c  845s |      19 |   619167 |   537782 |     5651    169 |        0 |        0
848.07/848.26	c  848s |      19 |   620842 |   539282 |     5651    169 |        0 |        0
850.16/850.40	c  850s |      19 |   622153 |   540482 |     5651    169 |        0 |        0
852.26/852.46	c  852s |      19 |   623746 |   541882 |     5651    170 |        0 |        0
854.26/854.49	c  854s |      19 |   625186 |   543182 |     5651    170 |        0 |        0
856.46/856.67	c  856s |      19 |   626496 |   544382 |     5651    170 |        0 |        0
858.56/858.78	c  858s |      19 |   628117 |   545782 |     5651    171 |        0 |        0
860.66/860.89	c  860s |      19 |   629698 |   547182 |     5651    171 |        0 |        0
862.76/862.91	c  862s |      19 |   631141 |   548482 |     5651    171 |        0 |        0
864.76/864.95	c  864s |      19 |   632621 |   549782 |     5651    172 |        0 |        0
866.76/866.98	c  866s |      19 |   634313 |   551282 |     5651    172 |        0 |        0
868.86/869.04	c  868s |      19 |   635726 |   552582 |     5651    172 |        0 |        0
870.85/871.07	c  870s |      19 |   636932 |   553682 |     5651    173 |        0 |        0
872.95/873.12	c  872s |      19 |   638366 |   554982 |     5651    173 |        0 |        0
874.95/875.15	c  874s |      19 |   639644 |   556182 |     5651    173 |        0 |        0
877.05/877.26	c  877s |      19 |   641087 |   557482 |     5651    174 |        0 |        0
879.45/879.61	c  879s |      19 |   642581 |   558882 |     5651    174 |        0 |        0
881.55/881.73	c  881s |      19 |   644026 |   560182 |     5651    174 |        0 |        0
883.65/883.85	c  883s |      19 |   645305 |   561382 |     5651    175 |        0 |        0
885.65/885.88	c  885s |      19 |   646711 |   562682 |     5651    175 |        0 |        0
887.75/887.91	c  887s |      19 |   647823 |   563682 |     5651    175 |        0 |        0
889.86/890.02	c  889s |      19 |   649156 |   564882 |     5651    175 |        0 |        0
891.96/892.11	c  891s |      19 |   650557 |   566182 |     5651    176 |        0 |        0
894.05/894.20	c  894s |      19 |   652079 |   567582 |     5651    176 |        0 |        0
896.05/896.25	c  896s |      19 |   653387 |   568782 |     5651    176 |        0 |        0
898.15/898.37	c  898s |      19 |   654820 |   570082 |     5651    177 |        0 |        0
900.25/900.49	c  900s |      19 |   656245 |   571382 |     5651    177 |        0 |        0
902.35/902.52	c  902s |      19 |   657444 |   572482 |     5651    177 |        0 |        0
904.45/904.63	c  904s |      19 |   658532 |   573482 |     5651    178 |        0 |        0
906.55/906.79	c  906s |      19 |   659823 |   574682 |     5651    178 |        0 |        0
908.65/908.88	c  908s |      19 |   660960 |   575682 |     5651    178 |        0 |        0
910.75/910.94	c  910s |      19 |   662405 |   576982 |     5651    178 |        0 |        0
912.75/912.96	c  912s |      19 |   663747 |   578182 |     5651    179 |        0 |        0
914.95/915.11	c  914s |      19 |   665326 |   579582 |     5651    179 |        0 |        0
917.05/917.24	c  917s |      19 |   666865 |   580882 |     5651    179 |        0 |        0
919.05/919.26	c  919s |      19 |   668307 |   582182 |     5651    180 |        0 |        0
921.15/921.38	c  921s |      19 |   669886 |   583582 |     5651    180 |        0 |        0
923.25/923.48	c  923s |      19 |   671244 |   584782 |     5651    180 |        0 |        0
925.45/925.63	c  925s |      19 |   672626 |   585982 |     5651    181 |        0 |        0
927.55/927.78	c  927s |      19 |   674152 |   587282 |     5651    181 |        0 |        0
929.74/929.96	c  929s |      19 |   675474 |   588482 |     5651    181 |        0 |        0
931.84/932.04	c  931s |      19 |   676704 |   589582 |     5651    182 |        0 |        0
933.94/934.11	c  933s |      19 |   678489 |   591182 |     5651    182 |        0 |        0
935.95/936.16	c  935s |      19 |   679929 |   592482 |     5651    182 |        0 |        0
938.04/938.26	c  938s |      19 |   681293 |   593682 |     5651    183 |        0 |        0
940.14/940.36	c  940s |      19 |   682909 |   595082 |     5651    183 |        0 |        0
942.24/942.46	c  942s |      19 |   684362 |   596382 |     5651    183 |        0 |        0
944.34/944.55	c  944s |      19 |   685558 |   597482 |     5651    184 |        0 |        0
946.34/946.55	c  946s |      19 |   687038 |   598782 |     5651    184 |        0 |        0
948.44/948.64	c  948s |      19 |   688614 |   600182 |     5651    184 |        0 |        0
950.44/950.66	c  950s |      19 |   689897 |   601382 |     5651    185 |        0 |        0
952.55/952.78	c  952s |      19 |   691423 |   602782 |     5651    185 |        0 |        0
954.65/954.85	c  954s |      19 |   692697 |   603982 |     5651    185 |        0 |        0
956.74/956.94	c  956s |      19 |   694046 |   605082 |     5651    185 |        0 |        0
958.84/959.01	c  958s |      19 |   695660 |   606482 |     5651    186 |        0 |        0
960.94/961.12	c  960s |      19 |   697249 |   607882 |     5651    186 |        0 |        0
963.04/963.23	c  963s |      19 |   698568 |   609082 |     5651    186 |        0 |        0
965.04/965.29	c  965s |      19 |   699911 |   610282 |     5651    187 |        0 |        0
967.14/967.32	c  967s |      19 |   701405 |   611582 |     5651    187 |        0 |        0
969.24/969.43	c  969s |      19 |   702725 |   612782 |     5651    187 |        0 |        0
971.34/971.51	c  971s |      19 |   704309 |   614182 |     5651    188 |        0 |        0
973.45/973.66	c  973s |      19 |   705833 |   615582 |     5651    188 |        0 |        0
975.44/975.70	c  975s |      19 |   706926 |   616582 |     5651    188 |        0 |        0
977.64/977.81	c  977s |      19 |   708160 |   617682 |     5651    189 |        0 |        0
979.74/979.95	c  979s |      19 |   709572 |   618982 |     5651    189 |        0 |        0
981.84/982.08	c  981s |      19 |   710900 |   620182 |     5651    189 |        0 |        0
984.14/984.34	c  984s |      19 |   712094 |   621282 |     5651    190 |        0 |        0
986.14/986.35	c  986s |      19 |   713442 |   622482 |     5651    190 |        0 |        0
988.34/988.52	c  988s |      19 |   714627 |   623582 |     5651    190 |        0 |        0
990.44/990.69	c  990s |      19 |   716014 |   624782 |     5651    190 |        0 |        0
992.54/992.74	c  992s |      19 |   717126 |   625782 |     5651    191 |        0 |        0
994.63/994.84	c  994s |      19 |   718322 |   626882 |     5651    191 |        0 |        0
996.63/996.87	c  996s |      19 |   719438 |   627882 |     5651    191 |        0 |        0
998.74/998.93	c  998s |      19 |   720683 |   628982 |     5651    191 |        0 |        0
1000.73/1000.95	c 1000s |      19 |   722212 |   630382 |     5651    192 |        0 |        0
1002.83/1003.05	c 1002s |      19 |   724148 |   632082 |     5651    192 |        0 |        0
1004.93/1005.14	c 1004s |      19 |   725967 |   633682 |     5651    193 |        0 |        0
1006.93/1007.17	c 1006s |      19 |   727681 |   635182 |     5651    193 |        0 |        0
1009.03/1009.24	c 1009s |      19 |   729231 |   636582 |     5651    193 |        0 |        0
1011.03/1011.26	c 1011s |      19 |   730570 |   637782 |     5651    194 |        0 |        0
1013.13/1013.31	c 1013s |      19 |   732069 |   639082 |     5651    194 |        0 |        0
1015.14/1015.39	c 1015s |      19 |   733910 |   640582 |     5651    194 |        0 |        0
1017.23/1017.47	c 1017s |      19 |   735515 |   641982 |     5651    195 |        0 |        0
1019.33/1019.57	c 1019s |      19 |   737183 |   643482 |     5651    195 |        0 |        0
1021.53/1021.71	c 1021s |      19 |   738601 |   644782 |     5651    195 |        0 |        0
1023.63/1023.87	c 1023s |      19 |   739822 |   645882 |     5651    196 |        0 |        0
1025.73/1025.99	c 1025s |      19 |   741251 |   647182 |     5651    196 |        0 |        0
1027.93/1028.13	c 1027s |      19 |   742457 |   648282 |     5651    196 |        0 |        0
1030.23/1030.49	c 1030s |      19 |   743707 |   649382 |     5651    197 |        0 |        0
1032.34/1032.58	c 1032s |      19 |   744937 |   650482 |     5651    197 |        0 |        0
1034.54/1034.72	c 1034s |      19 |   746605 |   651982 |     5651    197 |        0 |        0
1036.54/1036.75	c 1036s |      19 |   747934 |   653182 |     5651    197 |        0 |        0
1038.64/1038.85	c 1038s |      19 |   749394 |   654482 |     5651    198 |        0 |        0
1040.74/1040.90	c 1040s |      19 |   751308 |   656182 |     5651    198 |        0 |        0
1042.74/1042.96	c 1042s |      19 |   752875 |   657582 |     5651    199 |        0 |        0
1044.74/1044.99	c 1044s |      19 |   754624 |   659182 |     5651    199 |        0 |        0
1046.83/1047.06	c 1046s |      19 |   756122 |   660582 |     5651    199 |        0 |        0
1048.83/1049.08	c 1048s |      19 |   757422 |   661782 |     5651    200 |        0 |        0
1050.93/1051.12	c 1050s |      19 |   758920 |   663182 |     6217    200 |        0 |        0
1053.03/1053.24	c 1053s |      19 |   760342 |   664482 |     6217    200 |        0 |        0
1055.13/1055.36	c 1055s |      19 |   761917 |   665882 |     6217    200 |        0 |        0
1056.63/1056.83	c 1056s |      20 |   762965 |   666827 |     6217    201 |        0 |        0
1058.63/1058.87	c 1058s |      20 |   765929 |   668627 |     6217    201 |        0 |        0
1060.73/1060.90	c 1060s |      20 |   767582 |   670127 |     6217    202 |        0 |        0
1062.73/1062.93	c 1062s |      20 |   769270 |   671527 |     6217    202 |        0 |        0
1064.74/1064.95	c 1064s |      20 |   770581 |   672727 |     6217    202 |        0 |        0
1066.73/1066.98	c 1066s |      20 |   771864 |   673927 |     6217    202 |        0 |        0
1068.93/1069.12	c 1068s |      20 |   773055 |   675027 |     6217    203 |        0 |        0
1071.03/1071.27	c 1071s |      20 |   774338 |   676227 |     6217    203 |        0 |        0
1073.03/1073.29	c 1073s |      20 |   775398 |   677227 |     6217    203 |        0 |        0
1075.23/1075.45	c 1075s |      20 |   776615 |   678327 |     6217    203 |        0 |        0
1077.33/1077.51	c 1077s |      20 |   777831 |   679427 |     6217    204 |        0 |        0
1079.43/1079.63	c 1079s |      20 |   779229 |   680727 |     6217    204 |        0 |        0
1081.43/1081.69	c 1081s |      20 |   780431 |   681827 |     6217    204 |        0 |        0
1083.53/1083.76	c 1083s |      20 |   781407 |   682727 |     6217    205 |        0 |        0
1085.64/1085.81	c 1085s |      20 |   782688 |   683927 |     6217    205 |        0 |        0
1087.63/1087.88	c 1087s |      20 |   784165 |   685227 |     6217    205 |        0 |        0
1089.73/1089.95	c 1089s |      20 |   785494 |   686427 |     6217    205 |        0 |        0
1091.73/1091.98	c 1091s |      20 |   786701 |   687527 |     6217    206 |        0 |        0
1093.73/1093.99	c 1093s |      20 |   788014 |   688727 |     6217    206 |        0 |        0
1095.83/1096.00	c 1095s |      20 |   789248 |   689827 |     6217    206 |        0 |        0
1097.93/1098.19	c 1098s |      20 |   790340 |   690827 |     6217    207 |        0 |        0
1100.13/1100.30	c 1100s |      20 |   791546 |   691927 |     6217    207 |        0 |        0
1102.13/1102.38	c 1102s |      20 |   792884 |   693127 |     6217    207 |        0 |        0
1104.43/1104.61	c 1104s |      20 |   794213 |   694327 |     6217    207 |        0 |        0
1106.43/1106.70	c 1106s |      20 |   795296 |   695327 |     6217    208 |        0 |        0
1108.52/1108.77	c 1108s |      20 |   796651 |   696527 |     6217    208 |        0 |        0
1110.72/1110.92	c 1110s |      20 |   798076 |   697827 |     6217    208 |        0 |        0
1112.72/1112.97	c 1112s |      20 |   799274 |   698927 |     6217    208 |        0 |        0
1114.72/1114.98	c 1114s |      20 |   800248 |   699827 |     6217    209 |        0 |        0
1116.82/1117.08	c 1116s |      20 |   801710 |   701127 |     6217    209 |        0 |        0
1119.02/1119.24	c 1119s |      20 |   803159 |   702427 |     6217    209 |        0 |        0
1121.12/1121.33	c 1121s |      20 |   804268 |   703427 |     6217    210 |        0 |        0
1123.12/1123.38	c 1123s |      20 |   805367 |   704427 |     6217    210 |        0 |        0
1125.23/1125.45	c 1125s |      20 |   806596 |   705527 |     6217    210 |        0 |        0
1127.32/1127.52	c 1127s |      20 |   807848 |   706627 |     6217    210 |        0 |        0
1129.42/1129.60	c 1129s |      20 |   808945 |   707627 |     6217    211 |        0 |        0
1131.42/1131.66	c 1131s |      20 |   810252 |   708827 |     6217    211 |        0 |        0
1133.62/1133.82	c 1133s |      20 |   811444 |   709927 |     6217    211 |        0 |        0
1135.72/1135.97	c 1135s |      20 |   812613 |   711027 |     6217    211 |        0 |        0
1137.82/1138.00	c 1137s |      20 |   813579 |   711927 |     6217    212 |        0 |        0
1139.82/1140.03	c 1139s |      20 |   814884 |   713127 |     6217    212 |        0 |        0
1141.92/1142.17	c 1141s |      20 |   816200 |   714327 |     6217    212 |        0 |        0
1144.12/1144.30	c 1144s |      20 |   817416 |   715427 |     6217    212 |        0 |        0
1146.12/1146.31	c 1146s |      20 |   818621 |   716527 |     6217    213 |        0 |        0
1148.22/1148.48	c 1148s |      20 |   819681 |   717527 |     6217    213 |        0 |        0
1150.42/1150.65	c 1150s |      20 |   820645 |   718427 |     6217    213 |        0 |        0
1152.51/1152.73	c 1152s |      20 |   821730 |   719427 |     6217    213 |        0 |        0
1154.61/1154.86	c 1154s |      20 |   823294 |   720827 |     6217    214 |        0 |        0
1156.81/1157.05	c 1156s |      20 |   824695 |   722027 |     6217    214 |        0 |        0
1158.91/1159.11	c 1158s |      20 |   825795 |   723027 |     6217    214 |        0 |        0
1160.91/1161.19	c 1161s |      20 |   826866 |   724027 |     6217    215 |        0 |        0
1163.01/1163.24	c 1163s |      20 |   828151 |   725227 |     6217    215 |        0 |        0
1165.11/1165.37	c 1165s |      20 |   829331 |   726327 |     6217    215 |        0 |        0
1167.31/1167.56	c 1167s |      20 |   830527 |   727427 |     6217    215 |        0 |        0
1169.41/1169.62	c 1169s |      20 |   831381 |   728227 |     6217    216 |        0 |        0
1171.51/1171.73	c 1171s |      20 |   832669 |   729427 |     6217    216 |        0 |        0
1173.62/1173.89	c 1173s |      20 |   833954 |   730627 |     6217    216 |        0 |        0
1175.82/1176.08	c 1175s |      20 |   835226 |   731827 |     6217    216 |        0 |        0
1178.21/1178.44	c 1178s |      20 |   836508 |   733027 |     6217    217 |        0 |        0
1180.22/1180.49	c 1180s |      20 |   837745 |   734127 |     6217    217 |        0 |        0
1182.42/1182.67	c 1182s |      20 |   839615 |   735727 |     6217    217 |        0 |        0
1184.41/1184.69	c 1184s |      20 |   841273 |   737127 |     6217    218 |        0 |        0
1186.51/1186.74	c 1186s |      20 |   842685 |   738327 |     6217    218 |        0 |        0
1188.51/1188.77	c 1188s |      20 |   844224 |   739627 |     6217    218 |        0 |        0
1190.61/1190.85	c 1190s |      20 |   845522 |   740727 |     6217    219 |        0 |        0
1192.81/1193.04	c 1192s |      20 |   846741 |   741727 |     6217    219 |        0 |        0
1194.91/1195.18	c 1195s |      20 |   848038 |   742827 |     6217    219 |        0 |        0
1197.11/1197.32	c 1197s |      20 |   849046 |   743727 |     6217    219 |        0 |        0
1199.31/1199.52	c 1199s |      20 |   850035 |   744627 |     6217    220 |        0 |        0
1201.31/1201.53	c 1201s |      20 |   851217 |   745627 |     6217    220 |        0 |        0
1203.31/1203.56	c 1203s |      20 |   852113 |   746427 |     6217    220 |        0 |        0
1205.51/1205.75	c 1205s |      20 |   853104 |   747327 |     6217    220 |        0 |        0
1207.81/1208.00	c 1207s |      20 |   853951 |   748127 |     6217    220 |        0 |        0
1209.81/1210.05	c 1209s |      20 |   855087 |   749127 |     6217    221 |        0 |        0
1211.90/1212.16	c 1211s |      20 |   856461 |   750327 |     6217    221 |        0 |        0
1213.90/1214.18	c 1213s |      20 |   857672 |   751427 |     6217    221 |        0 |        0
1216.20/1216.40	c 1216s |      20 |   858661 |   752327 |     6217    221 |        0 |        0
1218.20/1218.45	c 1218s |      20 |   859665 |   753227 |     6217    222 |        0 |        0
1220.40/1220.64	c 1220s |      20 |   860859 |   754327 |     6217    222 |        0 |        0
1222.40/1222.66	c 1222s |      20 |   861841 |   755227 |     6217    222 |        0 |        0
1224.60/1224.82	c 1224s |      20 |   862991 |   756227 |     6217    222 |        0 |        0
1226.60/1226.82	c 1226s |      20 |   864243 |   757327 |     6217    223 |        0 |        0
1228.61/1228.83	c 1228s |      20 |   865598 |   758527 |     6217    223 |        0 |        0
1230.70/1230.96	c 1230s |      20 |   866843 |   759627 |     6217    223 |        0 |        0
1232.80/1233.05	c 1232s |      20 |   867916 |   760627 |     6217    223 |        0 |        0
1234.90/1235.13	c 1234s |      20 |   868875 |   761527 |     6217    224 |        0 |        0
1237.00/1237.20	c 1237s |      20 |   869954 |   762527 |     6217    224 |        0 |        0
1239.00/1239.23	c 1239s |      20 |   871322 |   763727 |     6217    224 |        0 |        0
1241.09/1241.33	c 1241s |      20 |   872780 |   765027 |     6217    224 |        0 |        0
1243.09/1243.35	c 1243s |      20 |   874205 |   766327 |     6217    225 |        0 |        0
1245.19/1245.47	c 1245s |      20 |   875638 |   767627 |     6217    225 |        0 |        0
1247.30/1247.55	c 1247s |      20 |   876979 |   768827 |     6217    225 |        0 |        0
1249.49/1249.72	c 1249s |      20 |   878215 |   769927 |     6217    226 |        0 |        0
1251.59/1251.82	c 1251s |      20 |   879503 |   771027 |     6217    226 |        0 |        0
1253.79/1254.01	c 1253s |      20 |   880689 |   772127 |     6217    226 |        0 |        0
1255.99/1256.22	c 1256s |      20 |   881762 |   773127 |     6217    226 |        0 |        0
1258.19/1258.45	c 1258s |      20 |   882613 |   773927 |     6217    227 |        0 |        0
1260.28/1260.53	c 1260s |      20 |   883856 |   775027 |     6217    227 |        0 |        0
1262.38/1262.62	c 1262s |      20 |   885037 |   776127 |     6217    227 |        0 |        0
1264.58/1264.83	c 1264s |      20 |   886267 |   777227 |     6217    227 |        0 |        0
1266.58/1266.85	c 1266s |      20 |   887116 |   778027 |     6217    228 |        0 |        0
1268.68/1268.99	c 1268s |      20 |   888435 |   779227 |     6217    228 |        0 |        0
1270.78/1271.10	c 1270s |      20 |   889785 |   780427 |     6217    228 |        0 |        0
1272.98/1273.27	c 1273s |      20 |   890994 |   781527 |     6217    228 |        0 |        0
1274.98/1275.28	c 1275s |      20 |   892100 |   782527 |     6217    229 |        0 |        0
1277.08/1277.30	c 1277s |      20 |   893107 |   783427 |     6217    229 |        0 |        0
1279.19/1279.42	c 1279s |      20 |   894330 |   784527 |     6217    229 |        0 |        0
1281.29/1281.51	c 1281s |      20 |   895193 |   785327 |     6217    229 |        0 |        0
1283.28/1283.58	c 1283s |      20 |   896391 |   786327 |     6217    230 |        0 |        0
1285.38/1285.64	c 1285s |      20 |   897809 |   787627 |     6217    230 |        0 |        0
1287.48/1287.75	c 1287s |      20 |   899142 |   788827 |     6217    230 |        0 |        0
1289.68/1289.98	c 1289s |      20 |   900309 |   789827 |     6217    230 |        0 |        0
1291.78/1292.06	c 1291s |      20 |   901424 |   790827 |     6217    231 |        0 |        0
1293.88/1294.11	c 1293s |      20 |   902485 |   791827 |     6217    231 |        0 |        0
1295.88/1296.19	c 1296s |      20 |   903597 |   792827 |     6217    231 |        0 |        0
1298.07/1298.33	c 1298s |      20 |   904567 |   793727 |     6217    231 |        0 |        0
1300.17/1300.43	c 1300s |      20 |   905673 |   794727 |     6217    232 |        0 |        0
1302.28/1302.51	c 1302s |      20 |   906651 |   795627 |     6217    232 |        0 |        0
1304.27/1304.53	c 1304s |      20 |   907835 |   796727 |     6217    232 |        0 |        0
1306.37/1306.66	c 1306s |      20 |   908813 |   797627 |     6217    232 |        0 |        0
1308.67/1308.93	c 1308s |      20 |   909782 |   798527 |     6217    233 |        0 |        0
1310.66/1310.94	c 1310s |      20 |   910652 |   799327 |     6217    233 |        0 |        0
1312.86/1313.15	c 1312s |      20 |   911734 |   800327 |     6217    233 |        0 |        0
1314.96/1315.21	c 1315s |      20 |   912707 |   801227 |     6217    233 |        0 |        0
1317.06/1317.38	c 1317s |      20 |   913709 |   802127 |     6217    233 |        0 |        0
1319.16/1319.45	c 1319s |      20 |   914568 |   802927 |     6217    234 |        0 |        0
1321.26/1321.58	c 1321s |      20 |   916206 |   804427 |     6217    234 |        0 |        0
1323.26/1323.59	c 1323s |      20 |   917524 |   805627 |     6217    234 |        0 |        0
1325.36/1325.63	c 1325s |      20 |   918632 |   806627 |     6217    234 |        0 |        0
1327.36/1327.65	c 1327s |      20 |   919755 |   807627 |     6217    235 |        0 |        0
1329.35/1329.67	c 1329s |      20 |   920909 |   808727 |     6217    235 |        0 |        0
1331.45/1331.70	c 1331s |      20 |   922001 |   809727 |     6217    235 |        0 |        0
1333.55/1333.83	c 1333s |      20 |   922958 |   810627 |     6217    235 |        0 |        0
1335.65/1335.92	c 1335s |      20 |   923823 |   811427 |     6217    236 |        0 |        0
1337.75/1338.08	c 1337s |      20 |   925134 |   812627 |     6217    236 |        0 |        0
1339.95/1340.21	c 1340s |      20 |   926287 |   813727 |     6217    236 |        0 |        0
1342.05/1342.32	c 1342s |      20 |   927298 |   814627 |     6217    236 |        0 |        0
1344.25/1344.52	c 1344s |      20 |   928460 |   815727 |     6217    237 |        0 |        0
1346.45/1346.74	c 1346s |      20 |   929427 |   816627 |     6217    237 |        0 |        0
1348.55/1348.86	c 1348s |      20 |   931097 |   818027 |     6217    237 |        0 |        0
1350.65/1350.99	c 1350s |      20 |   932518 |   819227 |     6217    238 |        0 |        0
1352.74/1353.10	c 1352s |      20 |   933911 |   820427 |     6217    238 |        0 |        0
1354.84/1355.11	c 1354s |      20 |   935340 |   821627 |     6217    238 |        0 |        0
1356.94/1357.25	c 1357s |      20 |   936812 |   822927 |     6217    238 |        0 |        0
1358.94/1359.28	c 1359s |      20 |   938030 |   824027 |     6217    239 |        0 |        0
1360.93/1361.28	c 1361s |      20 |   939248 |   825127 |     6217    239 |        0 |        0
1363.13/1363.42	c 1363s |      20 |   940479 |   826227 |     6217    239 |        0 |        0
1365.13/1365.42	c 1365s |      20 |   941569 |   827227 |     6217    239 |        0 |        0
1367.23/1367.59	c 1367s |      20 |   942765 |   828327 |     6217    240 |        0 |        0
1369.43/1369.73	c 1369s |      20 |   944101 |   829527 |     6217    240 |        0 |        0
1371.44/1371.77	c 1371s |      20 |   945354 |   830627 |     6217    240 |        0 |        0
1373.74/1374.05	c 1373s |      20 |   946463 |   831627 |     6217    241 |        0 |        0
1375.73/1376.08	c 1375s |      20 |   947790 |   832827 |     6217    241 |        0 |        0
1377.83/1378.15	c 1377s |      20 |   949184 |   834127 |     6217    241 |        0 |        0
1379.93/1380.25	c 1380s |      20 |   950400 |   835227 |     6217    241 |        0 |        0
1382.13/1382.40	c 1382s |      20 |   951378 |   836127 |     6217    242 |        0 |        0
1384.13/1384.47	c 1384s |      20 |   952783 |   837427 |     6217    242 |        0 |        0
1386.33/1386.61	c 1386s |      20 |   954064 |   838627 |     6217    242 |        0 |        0
1388.42/1388.78	c 1388s |      20 |   955422 |   839827 |     6217    242 |        0 |        0
1390.52/1390.85	c 1390s |      20 |   956744 |   841027 |     6217    243 |        0 |        0
1392.62/1392.97	c 1392s |      20 |   958039 |   842227 |     6217    243 |        0 |        0
1394.72/1395.07	c 1394s |      20 |   959098 |   843227 |     6217    243 |        0 |        0
1396.83/1397.15	c 1396s |      20 |   960182 |   844227 |     6217    244 |        0 |        0
1398.82/1399.15	c 1398s |      20 |   961357 |   845327 |     6217    244 |        0 |        0
1400.92/1401.23	c 1401s |      20 |   962341 |   846227 |     6217    244 |        0 |        0
1403.12/1403.40	c 1403s |      20 |   963520 |   847327 |     6217    244 |        0 |        0
1405.32/1405.62	c 1405s |      20 |   964491 |   848227 |     6217    245 |        0 |        0
1407.42/1407.78	c 1407s |      20 |   965890 |   849527 |     6217    245 |        0 |        0
1409.51/1409.83	c 1409s |      20 |   967092 |   850627 |     6217    245 |        0 |        0
1411.61/1411.93	c 1411s |      20 |   968678 |   852027 |     6217    245 |        0 |        0
1413.61/1413.93	c 1413s |      20 |   969888 |   853027 |     6217    246 |        0 |        0
1415.81/1416.10	c 1415s |      20 |   971418 |   854327 |     6217    246 |        0 |        0
1417.91/1418.23	c 1418s |      20 |   972730 |   855527 |     6217    246 |        0 |        0
1420.00/1420.34	c 1420s |      20 |   974066 |   856727 |     6217    247 |        0 |        0
1422.11/1422.43	c 1422s |      20 |   975395 |   857927 |     6217    247 |        0 |        0
1424.10/1424.44	c 1424s |      20 |   976465 |   858927 |     6217    247 |        0 |        0
1426.10/1426.49	c 1426s |      20 |   977562 |   859927 |     6217    247 |        0 |        0
1428.40/1428.70	c 1428s |      20 |   978739 |   861027 |     6217    248 |        0 |        0
1430.49/1430.81	c 1430s |      20 |   980143 |   862327 |     6217    248 |        0 |        0
1432.59/1432.92	c 1432s |      20 |   981450 |   863527 |     6217    248 |        0 |        0
1434.69/1435.05	c 1434s |      20 |   982671 |   864627 |     6217    248 |        0 |        0
1436.79/1437.14	c 1436s |      20 |   983916 |   865727 |     6217    249 |        0 |        0
1438.99/1439.32	c 1439s |      20 |   985220 |   866927 |     6217    249 |        0 |        0
1441.09/1441.48	c 1441s |      20 |   986427 |   868027 |     6217    249 |        0 |        0
1443.19/1443.59	c 1443s |      20 |   987619 |   869127 |     6217    250 |        0 |        0
1445.29/1445.61	c 1445s |      20 |   989072 |   870427 |     6217    250 |        0 |        0
1447.29/1447.67	c 1447s |      20 |   990472 |   871727 |     6217    250 |        0 |        0
1449.39/1449.77	c 1449s |      20 |   991775 |   872927 |     6217    250 |        0 |        0
1451.48/1451.83	c 1451s |      20 |   992963 |   874027 |     6217    251 |        0 |        0
1453.68/1454.01	c 1453s |      20 |   994373 |   875327 |     6217    251 |        0 |        0
1456.09/1456.48	c 1456s |      20 |   995570 |   876427 |     6217    251 |        0 |        0
1458.18/1458.60	c 1458s |      20 |   996784 |   877427 |     6217    252 |        0 |        0
1460.28/1460.63	c 1460s |      20 |   998208 |   878627 |     6217    252 |        0 |        0
1462.38/1462.75	c 1462s |      20 |   999309 |   879627 |     6217    252 |        0 |        0
1464.48/1464.88	c 1464s |      20 |  1000416 |   880627 |     6217    252 |        0 |        0
1466.48/1466.89	c 1466s |      20 |  1001766 |   881827 |     6217    253 |        0 |        0
1468.58/1468.98	c 1468s |      20 |  1003081 |   883027 |     6217    253 |        0 |        0
1470.77/1471.10	c 1470s |      20 |  1004592 |   884327 |     6217    253 |        0 |        0
1472.77/1473.13	c 1472s |      20 |  1005802 |   885427 |     6217    253 |        0 |        0
1474.78/1475.20	c 1475s |      20 |  1007260 |   886727 |     6217    254 |        0 |        0
1476.98/1477.35	c 1477s |      20 |  1008695 |   888027 |     6217    254 |        0 |        0
1479.07/1479.46	c 1479s |      20 |  1010015 |   889227 |     6217    254 |        0 |        0
1481.16/1481.57	c 1481s |      20 |  1011066 |   890127 |     6217    255 |        0 |        0
1483.26/1483.64	c 1483s |      20 |  1012351 |   891327 |     6217    255 |        0 |        0
1485.36/1485.74	c 1485s |      20 |  1013520 |   892427 |     6217    255 |        0 |        0
1487.46/1487.89	c 1487s |      20 |  1014578 |   893427 |     6217    255 |        0 |        0
1489.57/1489.92	c 1489s |      20 |  1015740 |   894427 |     6217    256 |        0 |        0
1491.57/1491.96	c 1491s |      20 |  1017055 |   895627 |     6217    256 |        0 |        0
1493.77/1494.10	c 1493s |      20 |  1018237 |   896727 |     6217    256 |        0 |        0
1495.77/1496.11	c 1495s |      20 |  1019346 |   897727 |     6217    256 |        0 |        0
1497.77/1498.16	c 1497s |      20 |  1020480 |   898727 |     6217    257 |        0 |        0
1499.86/1500.24	c 1500s |      20 |  1021901 |   900027 |     6217    257 |        0 |        0
1502.06/1502.40	c 1502s |      20 |  1023074 |   901127 |     6217    257 |        0 |        0
1504.06/1504.45	c 1504s |      20 |  1024165 |   902127 |     6217    258 |        0 |        0
1506.06/1506.47	c 1506s |      20 |  1025336 |   903227 |     6217    258 |        0 |        0
1508.06/1508.49	c 1508s |      20 |  1026409 |   904227 |     6217    258 |        0 |        0
1510.16/1510.56	c 1510s |      20 |  1027625 |   905327 |     6217    258 |        0 |        0
1512.26/1512.68	c 1512s |      20 |  1028716 |   906327 |     6217    259 |        0 |        0
1514.36/1514.78	c 1514s |      20 |  1030249 |   907727 |     6217    259 |        0 |        0
1516.45/1516.83	c 1516s |      20 |  1031552 |   908927 |     6217    259 |        0 |        0
1518.55/1518.98	c 1518s |      20 |  1032864 |   910127 |     6217    259 |        0 |        0
1520.65/1521.02	c 1520s |      20 |  1033952 |   911127 |     6217    260 |        0 |        0
1522.65/1523.06	c 1522s |      20 |  1034948 |   912027 |     6217    260 |        0 |        0
1524.75/1525.15	c 1524s |      20 |  1036271 |   913227 |     6217    260 |        0 |        0
1526.75/1527.18	c 1526s |      20 |  1037460 |   914327 |     6217    260 |        0 |        0
1528.85/1529.29	c 1529s |      20 |  1038974 |   915627 |     6217    261 |        0 |        0
1530.95/1531.30	c 1531s |      20 |  1040417 |   916927 |     6217    261 |        0 |        0
1533.05/1533.43	c 1533s |      20 |  1041849 |   918227 |     6217    261 |        0 |        0
1535.05/1535.48	c 1535s |      20 |  1043050 |   919327 |     6217    262 |        0 |        0
1537.15/1537.56	c 1537s |      20 |  1044390 |   920527 |     6217    262 |        0 |        0
1539.25/1539.64	c 1539s |      20 |  1045458 |   921527 |     6217    262 |        0 |        0
1541.54/1541.91	c 1541s |      20 |  1046955 |   922827 |     6217    263 |        0 |        0
1543.64/1544.01	c 1543s |      20 |  1048385 |   924127 |     6217    263 |        0 |        0
1545.74/1546.12	c 1545s |      20 |  1049808 |   925427 |     6217    263 |        0 |        0
1547.74/1548.14	c 1547s |      20 |  1051133 |   926627 |     6217    263 |        0 |        0
1549.84/1550.25	c 1550s |      20 |  1052154 |   927527 |     6217    264 |        0 |        0
1551.94/1552.34	c 1552s |      20 |  1053703 |   928927 |     6217    264 |        0 |        0
1553.94/1554.37	c 1554s |      20 |  1054993 |   930127 |     6217    264 |        0 |        0
1555.93/1556.38	c 1556s |      20 |  1056221 |   931227 |     6217    265 |        0 |        0
1558.13/1558.50	c 1558s |      20 |  1057498 |   932327 |     6217    265 |        0 |        0
1560.23/1560.62	c 1560s |      20 |  1059067 |   933727 |     6217    265 |        0 |        0
1562.23/1562.65	c 1562s |      20 |  1060231 |   934827 |     6217    265 |        0 |        0
1564.23/1564.68	c 1564s |      20 |  1061312 |   935827 |     6217    266 |        0 |        0
1566.33/1566.71	c 1566s |      20 |  1062656 |   937027 |     6217    266 |        0 |        0
1568.43/1568.83	c 1568s |      20 |  1063941 |   938227 |     6217    266 |        0 |        0
1570.43/1570.85	c 1570s |      20 |  1065051 |   939227 |     6217    266 |        0 |        0
1572.63/1573.03	c 1572s |      20 |  1066056 |   940127 |     6217    267 |        0 |        0
1574.63/1575.06	c 1574s |      20 |  1067282 |   941227 |     6217    267 |        0 |        0
1576.63/1577.09	c 1576s |      20 |  1068343 |   942227 |     6217    267 |        0 |        0
1578.73/1579.18	c 1579s |      20 |  1069306 |   943127 |     6217    267 |        0 |        0
1580.82/1581.26	c 1581s |      20 |  1070398 |   944127 |     6217    268 |        0 |        0
1582.82/1583.29	c 1583s |      20 |  1071357 |   945027 |     6217    268 |        0 |        0
1585.02/1585.45	c 1585s |      20 |  1072434 |   946027 |     6217    268 |        0 |        0
1587.22/1587.64	c 1587s |      20 |  1073519 |   947027 |     6217    268 |        0 |        0
1589.23/1589.68	c 1589s |      20 |  1074495 |   947927 |     6217    269 |        0 |        0
1591.22/1591.69	c 1591s |      20 |  1075793 |   949127 |     6217    269 |        0 |        0
1593.42/1593.83	c 1593s |      20 |  1076859 |   950127 |     6217    269 |        0 |        0
1595.42/1595.87	c 1595s |      20 |  1077833 |   951027 |     6217    269 |        0 |        0
1597.62/1598.08	c 1597s |      20 |  1079065 |   952127 |     6217    270 |        0 |        0
1599.81/1600.24	c 1600s |      20 |  1080022 |   953027 |     6217    270 |        0 |        0
1601.81/1602.26	c 1602s |      20 |  1081011 |   953927 |     6217    270 |        0 |        0
1603.91/1604.34	c 1604s |      20 |  1081955 |   954827 |     6217    270 |        0 |        0
1605.91/1606.35	c 1606s |      20 |  1082929 |   955727 |     6217    270 |        0 |        0
1608.01/1608.45	c 1608s |      20 |  1083992 |   956727 |     6217    271 |        0 |        0
1610.12/1610.55	c 1610s |      20 |  1085208 |   957727 |     6217    271 |        0 |        0
1612.21/1612.70	c 1612s |      20 |  1086359 |   958727 |     6217    271 |        0 |        0
1614.41/1614.87	c 1614s |      20 |  1087719 |   959927 |     6217    271 |        0 |        0
1616.51/1616.97	c 1616s |      20 |  1088928 |   961027 |     6217    272 |        0 |        0
1618.71/1619.12	c 1618s |      20 |  1090135 |   962127 |     6217    272 |        0 |        0
1620.70/1621.14	c 1620s |      20 |  1091193 |   963127 |     6217    272 |        0 |        0
1622.80/1623.25	c 1623s |      20 |  1092269 |   964127 |     6217    272 |        0 |        0
1625.00/1625.40	c 1625s |      20 |  1093486 |   965227 |     6217    273 |        0 |        0
1627.10/1627.57	c 1627s |      20 |  1094813 |   966427 |     6217    273 |        0 |        0
1629.30/1629.74	c 1629s |      20 |  1095891 |   967427 |     6217    273 |        0 |        0
1631.40/1631.82	c 1631s |      20 |  1096873 |   968327 |     6217    274 |        0 |        0
1633.50/1633.98	c 1633s |      20 |  1098137 |   969527 |     6217    274 |        0 |        0
1635.60/1636.00	c 1635s |      20 |  1099229 |   970527 |     6217    274 |        0 |        0
1637.70/1638.19	c 1638s |      20 |  1100301 |   971527 |     6217    274 |        0 |        0
1639.99/1640.43	c 1640s |      20 |  1101414 |   972527 |     6217    275 |        0 |        0
1642.09/1642.51	c 1642s |      20 |  1102625 |   973627 |     6217    275 |        0 |        0
1644.20/1644.65	c 1644s |      20 |  1103797 |   974727 |     6217    275 |        0 |        0
1646.30/1646.71	c 1646s |      20 |  1104985 |   975827 |     6217    275 |        0 |        0
1648.39/1648.88	c 1648s |      20 |  1106055 |   976827 |     6217    276 |        0 |        0
1650.49/1650.94	c 1650s |      20 |  1107264 |   977927 |     6217    276 |        0 |        0
1652.49/1652.96	c 1652s |      20 |  1108355 |   978927 |     6217    276 |        0 |        0
1654.69/1655.14	c 1654s |      20 |  1109422 |   979927 |     6217    276 |        0 |        0
1656.79/1657.24	c 1657s |      20 |  1110381 |   980827 |     6217    277 |        0 |        0
1658.79/1659.25	c 1659s |      20 |  1111552 |   981927 |     6217    277 |        0 |        0
1660.98/1661.40	c 1661s |      20 |  1112776 |   983027 |     6217    277 |        0 |        0
1662.98/1663.44	c 1663s |      20 |  1113854 |   984027 |     6217    277 |        0 |        0
1665.48/1665.97	c 1665s |      20 |  1114841 |   984927 |     6217    278 |        0 |        0
1667.68/1668.15	c 1667s |      20 |  1116508 |   986327 |     6217    278 |        0 |        0
1669.78/1670.22	c 1670s |      20 |  1117740 |   987427 |     6217    278 |        0 |        0
1671.97/1672.40	c 1672s |      20 |  1119053 |   988627 |     6217    278 |        0 |        0
1674.07/1674.51	c 1674s |      20 |  1120298 |   989727 |     6217    279 |        0 |        0
1676.08/1676.55	c 1676s |      20 |  1121626 |   990927 |     6217    279 |        0 |        0
1678.18/1678.66	c 1678s |      20 |  1122818 |   992027 |     6217    279 |        0 |        0
1680.37/1680.83	c 1680s |      20 |  1123906 |   993027 |     6217    279 |        0 |        0
1682.47/1682.98	c 1682s |      20 |  1124901 |   993927 |     6839    280 |        0 |        0
1684.57/1685.08	c 1684s |      20 |  1126222 |   995127 |     6839    280 |        0 |        0
1686.77/1687.26	c 1687s |      20 |  1127427 |   996227 |     6839    280 |        0 |        0
1688.87/1689.35	c 1689s |      20 |  1128518 |   997227 |     6839    280 |        0 |        0
1691.37/1691.83	c 1691s |      20 |  1129719 |   998327 |     6839    281 |        0 |        0
1693.46/1693.97	c 1693s |      20 |  1131043 |   999527 |     6839    281 |        0 |        0
1694.96/1695.49	c 1695s |      21 |  1131939 |  1000345 |     6839    281 |        0 |        0
1697.06/1697.55	c 1697s |      21 |  1135984 |  1003045 |     6839    281 |        0 |        0
1699.17/1699.61	c 1699s |      21 |  1138299 |  1004945 |     6839    282 |        0 |        0
1701.16/1701.69	c 1701s |      21 |  1140458 |  1006745 |     6839    282 |        0 |        0
1703.36/1703.80	c 1703s |      21 |  1142389 |  1008245 |     6839    283 |        0 |        0
1705.36/1705.81	c 1705s |      21 |  1144233 |  1009845 |     6839    283 |        0 |        0
1707.36/1707.84	c 1707s |      21 |  1145950 |  1011245 |     6839    283 |        0 |        0
1709.45/1709.90	c 1709s |      21 |  1147402 |  1012545 |     6839    284 |        0 |        0
1711.45/1711.97	c 1711s |      21 |  1149098 |  1014045 |     6839    284 |        0 |        0
1713.55/1714.09	c 1713s |      21 |  1151076 |  1015745 |     6839    284 |        0 |        0
1715.66/1716.13	c 1715s |      21 |  1152590 |  1017045 |     6839    285 |        0 |        0
1717.75/1718.26	c 1718s |      21 |  1154398 |  1018645 |     6839    285 |        0 |        0
1719.84/1720.38	c 1720s |      21 |  1155988 |  1020045 |     6839    285 |        0 |        0
1721.94/1722.44	c 1722s |      21 |  1157449 |  1021345 |     6839    285 |        0 |        0
1724.05/1724.52	c 1724s |      21 |  1158888 |  1022645 |     6839    286 |        0 |        0
1726.15/1726.62	c 1726s |      21 |  1160788 |  1024145 |     6839    286 |        0 |        0
1728.15/1728.68	c 1728s |      21 |  1162205 |  1025345 |     6839    286 |        0 |        0
1730.25/1730.77	c 1730s |      21 |  1163819 |  1026745 |     6839    287 |        0 |        0
1732.35/1732.83	c 1732s |      21 |  1165407 |  1028145 |     6839    287 |        0 |        0
1734.45/1734.95	c 1734s |      21 |  1166960 |  1029545 |     6839    287 |        0 |        0
1736.75/1737.20	c 1737s |      21 |  1168420 |  1030845 |     6839    288 |        0 |        0
1738.85/1739.30	c 1739s |      21 |  1169932 |  1032245 |     6839    288 |        0 |        0
1740.85/1741.36	c 1741s |      21 |  1171346 |  1033545 |     6839    288 |        0 |        0
1742.84/1743.37	c 1743s |      21 |  1172934 |  1034945 |     6839    288 |        0 |        0
1744.94/1745.48	c 1745s |      21 |  1174417 |  1036245 |     6839    289 |        0 |        0
1747.04/1747.54	c 1747s |      21 |  1175963 |  1037645 |     6839    289 |        0 |        0
1749.04/1749.55	c 1749s |      21 |  1178285 |  1039345 |     6839    289 |        0 |        0
1751.24/1751.70	c 1751s |      21 |  1180110 |  1040945 |     6839    290 |        0 |        0
1753.34/1753.87	c 1753s |      21 |  1181559 |  1042245 |     6839    290 |        0 |        0
1755.44/1755.90	c 1755s |      21 |  1182893 |  1043445 |     6839    290 |        0 |        0
1757.54/1758.02	c 1757s |      21 |  1184314 |  1044745 |     6839    291 |        0 |        0
1759.64/1760.12	c 1759s |      21 |  1185689 |  1045945 |     6839    291 |        0 |        0
1761.74/1762.26	c 1762s |      21 |  1187177 |  1047245 |     6839    291 |        0 |        0
1763.83/1764.34	c 1764s |      21 |  1188296 |  1048245 |     6839    291 |        0 |        0
1765.93/1766.45	c 1766s |      21 |  1189290 |  1049145 |     6839    292 |        0 |        0
1768.03/1768.58	c 1768s |      21 |  1190703 |  1050345 |     6839    292 |        0 |        0
1770.23/1770.76	c 1770s |      21 |  1192046 |  1051445 |     6839    292 |        0 |        0
1772.33/1772.86	c 1772s |      21 |  1193184 |  1052445 |     6839    292 |        0 |        0
1774.53/1775.04	c 1774s |      21 |  1194401 |  1053545 |     6839    293 |        0 |        0
1776.63/1777.10	c 1776s |      21 |  1195607 |  1054645 |     6839    293 |        0 |        0
1778.72/1779.22	c 1779s |      21 |  1196671 |  1055645 |     6839    293 |        0 |        0
1780.82/1781.38	c 1781s |      21 |  1197668 |  1056545 |     6839    293 |        0 |        0
1783.02/1783.54	c 1783s |      21 |  1198915 |  1057645 |     6839    294 |        0 |        0
1785.22/1785.72	c 1785s |      21 |  1200383 |  1058945 |     6839    294 |        0 |        0
1787.32/1787.88	c 1787s |      21 |  1201715 |  1060145 |     6839    294 |        0 |        0
1789.42/1789.99	c 1789s |      21 |  1202947 |  1061245 |     6839    294 |        0 |        0
1791.52/1792.09	c 1791s |      21 |  1204152 |  1062345 |     6839    295 |        0 |        0
1793.62/1794.17	c 1793s |      21 |  1205486 |  1063545 |     6839    295 |        0 |        0
1795.62/1796.18	c 1796s |      21 |  1206748 |  1064645 |     6839    295 |        0 |        0
1797.82/1798.33	c 1798s |      21 |  1208111 |  1065845 |     6839    295 |        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-4109178-1466341819/watcher-4109178-1466341819 -o /tmp/evaluation-result-4109178-1466341819/solver-4109178-1466341819 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1235 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109178-1466341819.wbo 

pid=1257
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: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=465340 CPUtime=0 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 1687 0 0 0 0 0 0 0 20 0 4 0 36228861 476508160 2560 33554432000 4194304 16246674 140733374084080 140733374083504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 116847 2570 441 2943 0 113741 0
[pid=1264/tid=1266] ppid=1257 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 742846464 3580 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 748089344 3599 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 753332224 3616 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 25420 0 0 0 6 3 0 0 20 0 4 0 36228861 1247350784 26286 33554432000 4194304 16246674 140733374084080 140733374065984 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 304529 26293 606 2943 0 301423 0
[pid=1264/tid=1266] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 26299 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 26305 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 26312 33554432000 4194304 16246674 140733374084080 140051367324848 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.200505 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 48322 0 0 0 13 6 0 0 20 0 4 0 36228861 1247350784 49181 33554432000 4194304 16246674 140733374084080 140733374065984 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 304529 49196 808 2943 0 301423 0
[pid=1264/tid=1266] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 49203 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 49212 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 49220 33554432000 4194304 16246674 140733374084080 140051367324848 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.30044 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 73464 0 0 0 20 9 0 0 20 0 4 0 36228861 1247350784 74322 33554432000 4194304 16246674 140733374084080 140733374065984 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 304529 74333 808 2943 0 301423 0
[pid=1264/tid=1266] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 74337 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 74342 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 74347 33554432000 4194304 16246674 140733374084080 140051367324848 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.700356 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 199065 0 0 0 43 26 0 0 20 0 4 0 36228861 1247350784 199924 33554432000 4194304 16246674 140733374084080 140733374065984 5721660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 304529 199940 808 2943 0 301423 0
[pid=1264/tid=1266] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 199948 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 199956 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 199965 33554432000 4194304 16246674 140733374084080 140051367324848 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.50038 s]
/proc/loadavg: 0.21 0.20 0.18 5/182 1272
/proc/meminfo: memFree=27986372/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 266252 0 0 0 114 35 0 0 20 0 4 0 36228861 1332285440 267088 33554432000 4194304 16246674 140733374084080 140733374067080 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 325265 267088 868 2943 0 322159 0
[pid=1264/tid=1266] ppid=1257 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1332285440 267088 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1332285440 267088 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1332285440 267088 33554432000 4194304 16246674 140733374084080 140051367324848 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) 1301060

[startup+3.1004 s]
/proc/loadavg: 0.21 0.20 0.18 5/182 1272
/proc/meminfo: memFree=27815344/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 267917 0 0 0 274 35 0 0 20 0 4 0 36228861 1338576896 268753 33554432000 4194304 16246674 140733374084080 140733374065984 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 326801 268753 872 2943 0 323695 0
[pid=1264/tid=1266] ppid=1257 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1338576896 268753 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1338576896 268753 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1338576896 268753 33554432000 4194304 16246674 140733374084080 140051367324848 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) 1307204

[startup+6.30037 s]
/proc/loadavg: 0.35 0.23 0.19 4/182 1272
/proc/meminfo: memFree=27812512/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 267927 0 0 0 594 35 0 0 20 0 4 0 36228861 1339625472 268763 33554432000 4194304 16246674 140733374084080 140733374067080 5675825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 327057 268763 872 2943 0 323951 0
[pid=1264/tid=1266] ppid=1257 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1339625472 268763 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1339625472 268763 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1339625472 268763 33554432000 4194304 16246674 140733374084080 140051367324848 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: 0.48 0.26 0.20 4/182 1272
/proc/meminfo: memFree=27807492/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 268740 0 0 0 1234 35 0 0 20 0 4 0 36228861 1342771200 269576 33554432000 4194304 16246674 140733374084080 140733374065984 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 327825 269576 873 2943 0 324719 0
[pid=1264/tid=1266] ppid=1257 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269576 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269576 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269576 33554432000 4194304 16246674 140733374084080 140051367324848 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) 1311300

[startup+25.5005 s]
/proc/loadavg: 0.89 0.36 0.23 4/182 1272
/proc/meminfo: memFree=27804484/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 269712 0 0 0 2513 35 0 0 20 0 4 0 36228861 1345916928 270548 33554432000 4194304 16246674 140733374084080 140733374065984 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 328593 270548 875 2943 0 325487 0
[pid=1264/tid=1266] ppid=1257 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1345916928 270548 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1345916928 270548 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1345916928 270548 33554432000 4194304 16246674 140733374084080 140051367324848 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) 1314372

[startup+51.1005 s]
/proc/loadavg: 1.27 0.49 0.28 4/181 1272
/proc/meminfo: memFree=27802440/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 270224 0 0 0 5073 35 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140733374065984 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 329105 271060 875 2943 0 325999 0
[pid=1264/tid=1266] ppid=1257 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140051367324848 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) 1316420

[startup+102.3 s]
/proc/loadavg: 1.78 0.75 0.38 4/181 1273
/proc/meminfo: memFree=27797076/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 270224 0 0 0 10192 36 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140733374065984 13927349 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 329105 271060 875 2943 0 325999 0
[pid=1264/tid=1266] ppid=1257 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 271060 33554432000 4194304 16246674 140733374084080 140051367324848 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) 1316420


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

/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.46 2.33 1.79 4/181 1304
/proc/meminfo: memFree=27760260/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1362.03 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276210 0 0 0 136162 41 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 6012316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.50 2.36 1.83 4/181 1305
/proc/meminfo: memFree=27760048/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1422.01 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276250 0 0 0 142160 41 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.42 2.35 1.86 4/181 1307
/proc/meminfo: memFree=27760212/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1481.96 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276296 0 0 0 148155 41 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.25 2.32 1.87 4/181 1308
/proc/meminfo: memFree=27759872/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1541.95 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276338 0 0 0 154153 42 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 13809255 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.43 2.35 1.91 4/181 1309
/proc/meminfo: memFree=27759908/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1601.91 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276381 0 0 0 160149 42 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.31 2.33 1.93 4/181 1310
/proc/meminfo: memFree=27760064/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1661.88 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276417 0 0 0 166146 42 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 6020961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.26 2.31 1.95 4/181 1311
/proc/meminfo: memFree=27760592/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1721.84 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276462 0 0 0 172142 42 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.27 2.30 1.96 4/182 1316
/proc/meminfo: memFree=27759612/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1781.82 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276495 0 0 0 178139 43 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.30 1.97 4/182 1316
/proc/meminfo: memFree=27760036/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1800.01 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276508 0 0 0 179958 43 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5823218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1339972

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.30 1.97 4/182 1316
/proc/meminfo: memFree=27760036/32872528 swapFree=1316768/1463936
[pid=1264] ppid=1257 vsize=1339972 CPUtime=1800.01 cores=0,2,4,6
/proc/1264/stat : 1264 (toysat) R 1257 1264 1219 0 -1 4202496 276508 0 0 0 179958 43 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140733374065984 5823218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1264/statm: 334993 276951 875 2943 0 331887 0
[pid=1264/tid=1266] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1266/stat : 1266 (toysat) S 1257 1264 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051491040496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=1264/tid=1268] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1268/stat : 1268 (toysat) S 1257 1264 1219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051480550640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1264/tid=1270] ppid=1257 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/1264/task/1270/stat : 1270 (toysat) S 1257 1264 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1372131328 276951 33554432000 4194304 16246674 140733374084080 140051367324848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1339972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1799.59
CPU system time (s): 0.446932
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.446932
maximum resident set size= 1107804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276508
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= 411
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43933 second user time and 7.07792 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 15:10:19
IDJOB=4109178
IDBENCH=78689
IDSOLVER=2553
FILE ID=node121/4109178-1466341819
RUNJOBID= node121-1466341819-1235
PBS_JOBID= 19922032
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= e9a64a9fd994118a8a7cda3ac40963c5
RANDOM SEED=273849869

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

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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:        29961308 kB
Buffers:          200140 kB
Cached:           480332 kB
SwapCached:         1944 kB
Active:           202944 kB
Inactive:         481916 kB
Active(anon):       4236 kB
Inactive(anon):     2892 kB
Active(file):     198708 kB
Inactive(file):   479024 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             32620 kB
Writeback:             0 kB
AnonPages:       1467272 kB
Mapped:             8052 kB
Shmem:                 0 kB
Slab:             628276 kB
SReclaimable:      72708 kB
SUnreclaim:       555568 kB
KernelStack:        1328 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1548532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71688 MiB
End job on node121 at 2016-06-19 15:40:20