Trace number 4093632

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM67b20cf3e4322ffbf404f0fb862124f3
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2.39463
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints122
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 5869
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T17:37:23+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-4093632-1466091442.wbo"]
0.00/0.01	c use --random-gen="1314467529 405782996 1644270960 3141644256 1226989332 663188267 3363741088 1440042917 2999163581 880212502 2566117911 624012390 2558844421 51647048 3168562445 1337467953 1220936850 4041958627 3476851148 521862598 4209990751 3887955778 3159842733 2894020974 3423089429 3479015128 3702183238 2711760399 3187287276 1110353023 2925258815 161388656 887551216 3449635920 4260095717 254099625 2240794812 2777140011 4118191378 2156271288 2470448807 1694851834 1774430937 980849208 468075672 4231110564 2853208840 3953932522 3054569419 916869212 403129195 1206098354 2994349176 2905073046 1912671044 2131567449 1580314840 1219589392 3737613735 2085592172 270989680 4052108324 233569063 3735502820 166765801 2732077317 524172959 3431916247 3915495382 4145245497 2690161826 1524842346 3019759959 2190844050 2597396760 3408520204 124626990 3700653089 3799826493 2323008372 206438388 2617324761 3133294224 627312848 1717222155 4168394818 1204492174 2669143849 1274452698 1360280605 2985737691 2752327426 143347849 1154846230 3350287921 1089193316 1342358064 2385303328 3235217916 3822901857 571971250 2569633470 4184969835 4185503319 518476276 752471614 2457791621 3389411426 2618366121 2363548978 748558855 3905582753 1917570517 1018908471 412820619 2778987069 126501044 407876837 2742280688 1645891872 55099226 1959919296 2612942990 1804972070 2965378764 449109141 3110256347 2436335288 3717158462 4088655985 1193008410 601736622 3274554023 2923228253 4152030314 1151881594 430513149 1871848089 3525711597 4209487229 3891403502 1786295322 318123767 3465304226 3316868085 156770533 1903117481 2797902617 1701068607 2001119179 3018113917 3881074857 3177120098 1378013176 3053802452 3229288289 1696856612 1893027617 1656742238 1333512176 3892748389 1617220909 1608751229 1191563518 2255856143 3294320088 2698916940 1441985619 3888927525 4163831033 2562591877 3618234683 1961426319 1478521117 4193112765 3944229023 4250516565 2161229676 3210799343 1570329726 207021530 100563344 1013005717 1229228287 1629928205 2902701375 2269060910 3710114308 578731816 226333804 3081408727 3457800054 3320363060 2666874877 1949743992 773960094 216246724 3489045849 3009891385 3339153578 3410967967 1751037900 2437451433 811210716 787237264 3083880624 1061483262 3568150561 3590489581 42461331 3023030019 1504485647 492471059 2999650202 306312170 2404695488 1383438393 19489414 2579194498 1787180775 1898707733 2298117972 2261253588 311593060 1000682976 1180871918 3831917020 3813864622 2227449881 2929508272 914562160 3247514397 2279040423 3610971271 3604783444 3524956205 1173205734 2278156495 2710032818 417302672 4255728869 28513792 4151532912 3254390513 3822676166 1331177195 3910204800 2706705784 3490944773 139770220 391503793 2635434103 3005866620 424820740 2526308928 2735388954 255 362436" option to reproduce the execution
0.08/0.10	c #vars 1860
0.08/0.10	c #constraints 122
0.08/0.11	c BCD2: Hardening is enabled.
0.08/0.11	c BCD2: BiasedSearch is enabled.
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |      701      0 |        0 |        0
0.08/0.11	c  0.0s |       0 |      182 |        0 |      701      0 |        0 |        0
0.08/0.11	c #cpu_time = 0.003s
0.08/0.11	c #wall_clock_time = 0.003s
0.08/0.11	c #decision = 182
0.08/0.11	c #random_decision = 1
0.08/0.11	c #conflict = 0
0.08/0.11	c #restart = 0
0.08/0.11	o 2855
0.08/0.11	c BCD2: updating upper bound: 5868 -> 2854
0.08/0.11	c BCD2: 0 <= obj <= 2854
0.08/0.11	c BCD2: #cores=0, #unrelaxed=122, #relaxed=0, #hardened=0
0.08/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |      701      0 |        0 |        0
0.08/0.15	c  0.0s |       1 |      267 |      100 |      701      0 |        0 |        0
0.18/0.21	c  0.1s |       2 |      919 |      250 |      772      0 |        0 |        0
0.29/0.39	c  0.3s |       3 |     1887 |      475 |      850      0 |        0 |        0
0.48/0.59	c  0.5s |       4 |     3756 |      813 |      936      0 |        0 |        0
0.88/0.94	c  0.8s |       5 |     4931 |     1320 |     1030      0 |        0 |        0
1.59/1.63	c  1.5s |       6 |     6417 |     2081 |     1247      1 |        0 |        0
2.49/2.52	c  2.4s |       7 |     8311 |     3223 |     1372      2 |        0 |        0
3.99/4.08	c  4.0s |       8 |    10957 |     4936 |     1510      4 |        0 |        0
6.09/6.15	c  6.0s |       8 |    13781 |     6836 |     1510      5 |        0 |        0
6.89/6.97	c  6.9s |       9 |    14562 |     7506 |     1662      6 |        0 |        0
8.89/8.98	c  8.9s |       9 |    17612 |     9606 |     1662      7 |        0 |        0
10.99/11.03	c 10.9s |      10 |    19552 |    11361 |     1829      9 |        0 |        0
12.99/13.04	c 12.9s |      10 |    22221 |    13161 |     1829     10 |        0 |        0
14.98/15.09	c 15.0s |      10 |    24291 |    14961 |     1829     11 |        0 |        0
17.08/17.10	c 17.0s |      10 |    25952 |    16461 |     1829     12 |        0 |        0
18.08/18.11	c 18.0s |      11 |    26735 |    17144 |     2012     13 |        0 |        0
20.18/20.21	c 20.1s |      11 |    30184 |    18944 |     2012     14 |        0 |        0
22.28/22.34	c 22.2s |      11 |    32019 |    20444 |     2012     15 |        0 |        0
24.38/24.43	c 24.3s |      11 |    33468 |    21744 |     2012     16 |        0 |        0
26.49/26.52	c 26.4s |      11 |    35068 |    23044 |     2012     16 |        0 |        0
28.58/28.69	c 28.6s |      11 |    36891 |    24644 |     2012     18 |        0 |        0
30.18/30.25	c 30.1s |      12 |    38245 |    25819 |     2214     18 |        0 |        0
32.28/32.30	c 32.2s |      12 |    42210 |    27919 |     2214     20 |        0 |        0
34.28/34.39	c 34.3s |      12 |    45482 |    30319 |     2214     21 |        0 |        0
36.38/36.45	c 36.3s |      12 |    47445 |    32019 |     2214     23 |        0 |        0
38.48/38.59	c 38.5s |      12 |    49289 |    33619 |     2214     24 |        0 |        0
40.57/40.61	c 40.5s |      12 |    50960 |    35119 |     2214     24 |        0 |        0
42.58/42.65	c 42.5s |      12 |    52649 |    36619 |     2214     25 |        0 |        0
44.68/44.77	c 44.7s |      12 |    54694 |    38419 |     2214     27 |        0 |        0
45.19/45.23	c 45.1s |      13 |    55136 |    38832 |     2436     27 |        0 |        0
47.18/47.26	c 47.1s |      13 |    58988 |    41432 |     2436     28 |        0 |        0
49.28/49.32	c 49.2s |      13 |    61379 |    43532 |     2436     29 |        0 |        0
51.38/51.42	c 51.3s |      13 |    63442 |    45332 |     2436     31 |        0 |        0
53.38/53.48	c 53.4s |      13 |    65799 |    47332 |     2436     32 |        0 |        0
55.48/55.50	c 55.4s |      13 |    67948 |    49132 |     2436     33 |        0 |        0
57.47/57.57	c 57.5s |      13 |    69798 |    50732 |     2436     34 |        0 |        0
59.67/59.71	c 59.6s |      13 |    71493 |    52232 |     2436     35 |        0 |        0
61.68/61.77	c 61.7s |      13 |    73987 |    54232 |     2436     36 |        0 |        0
63.67/63.80	c 63.7s |      13 |    75937 |    55932 |     2436     37 |        0 |        0
65.77/65.88	c 65.8s |      13 |    78058 |    57832 |     2436     38 |        0 |        0
66.37/66.42	c 66.3s |      14 |    78636 |    58352 |     2680     38 |        0 |        0
68.36/68.49	c 68.4s |      14 |    82022 |    60352 |     2680     39 |        0 |        0
70.47/70.54	c 70.4s |      14 |    83891 |    61952 |     2680     40 |        0 |        0
72.67/72.73	c 72.6s |      14 |    85465 |    63352 |     2680     40 |        0 |        0
74.77/74.87	c 74.8s |      14 |    87000 |    64652 |     2680     41 |        0 |        0
77.15/77.20	c 77.1s |      14 |    88455 |    65952 |     2680     42 |        0 |        0
79.26/79.36	c 79.2s |      14 |    89918 |    67252 |     2680     42 |        0 |        0
81.36/81.43	c 81.3s |      14 |    91519 |    68652 |     2680     43 |        0 |        0
83.35/83.47	c 83.4s |      14 |    93120 |    70052 |     2680     43 |        0 |        0
85.46/85.53	c 85.4s |      14 |    94590 |    71352 |     2680     44 |        0 |        0
87.55/87.60	c 87.5s |      14 |    96077 |    72652 |     2680     45 |        0 |        0
89.55/89.67	c 89.6s |      14 |    97587 |    73952 |     2680     45 |        0 |        0
91.65/91.78	c 91.7s |      14 |    98947 |    75152 |     2680     46 |        0 |        0
93.85/93.93	c 93.8s |      14 |   100658 |    76652 |     2680     46 |        0 |        0
95.85/96.00	c 95.9s |      14 |   102124 |    77952 |     2680     47 |        0 |        0
97.95/98.01	c 97.9s |      14 |   103515 |    79152 |     2680     48 |        0 |        0
100.05/100.12	c  100s |      14 |   105141 |    80552 |     2680     48 |        0 |        0
102.05/102.14	c  102s |      14 |   106430 |    81652 |     2680     49 |        0 |        0
104.04/104.16	c  104s |      14 |   107710 |    82752 |     2680     49 |        0 |        0
106.14/106.27	c  106s |      14 |   109088 |    83952 |     2680     50 |        0 |        0
108.24/108.31	c  108s |      14 |   110252 |    84952 |     2680     50 |        0 |        0
110.24/110.31	c  110s |      14 |   111891 |    86352 |     2680     51 |        0 |        0
112.15/112.28	c  112s |      15 |   113363 |    87632 |     2949     51 |        0 |        0
114.24/114.30	c  114s |      15 |   117163 |    89732 |     2949     53 |        0 |        0
116.34/116.41	c  116s |      15 |   119344 |    91632 |     2949     54 |        0 |        0
118.44/118.51	c  118s |      15 |   121335 |    93432 |     2949     54 |        0 |        0
120.44/120.54	c  120s |      15 |   123233 |    95132 |     2949     55 |        0 |        0
122.44/122.56	c  122s |      15 |   125315 |    96932 |     2949     56 |        0 |        0
124.54/124.65	c  124s |      15 |   127036 |    98432 |     2949     57 |        0 |        0
126.54/126.68	c  126s |      15 |   128666 |    99932 |     2949     58 |        0 |        0
128.64/128.78	c  128s |      15 |   130292 |   101432 |     2949     59 |        0 |        0
130.74/130.84	c  130s |      15 |   132040 |   103032 |     2949     59 |        0 |        0
132.83/132.97	c  132s |      15 |   133934 |   104732 |     2949     60 |        0 |        0
134.93/135.03	c  134s |      15 |   135853 |   106432 |     2949     61 |        0 |        0
136.93/137.04	c  136s |      15 |   137729 |   108132 |     2949     62 |        0 |        0
139.03/139.15	c  139s |      15 |   139459 |   109732 |     2949     63 |        0 |        0
141.03/141.19	c  141s |      15 |   141327 |   111432 |     2949     64 |        0 |        0
143.23/143.30	c  143s |      15 |   143191 |   113132 |     2949     64 |        0 |        0
145.24/145.33	c  145s |      15 |   145202 |   114932 |     2949     65 |        0 |        0
147.23/147.38	c  147s |      15 |   146998 |   116532 |     2949     66 |        0 |        0
149.32/149.47	c  149s |      15 |   148759 |   118132 |     2949     67 |        0 |        0
151.42/151.55	c  151s |      15 |   150739 |   119932 |     2949     68 |        0 |        0
153.52/153.64	c  153s |      15 |   152632 |   121632 |     2949     69 |        0 |        0
155.52/155.67	c  155s |      15 |   154392 |   123232 |     2949     70 |        0 |        0
157.62/157.79	c  157s |      15 |   156173 |   124832 |     2949     70 |        0 |        0
159.82/159.92	c  159s |      15 |   158105 |   126532 |     2949     71 |        0 |        0
161.92/162.06	c  161s |      15 |   160002 |   128232 |     2949     72 |        0 |        0
164.02/164.12	c  164s |      15 |   162059 |   130032 |     2949     73 |        0 |        0
166.02/166.14	c  166s |      16 |   163737 |   131552 |     3244     74 |        0 |        0
168.11/168.22	c  168s |      16 |   167401 |   134152 |     3244     75 |        0 |        0
170.11/170.29	c  170s |      16 |   169382 |   135952 |     3244     76 |        0 |        0
172.31/172.41	c  172s |      16 |   171364 |   137752 |     3244     77 |        0 |        0
174.41/174.54	c  174s |      16 |   173604 |   139752 |     3244     77 |        0 |        0
176.51/176.60	c  176s |      16 |   175736 |   141652 |     3244     78 |        0 |        0
178.50/178.63	c  178s |      16 |   177635 |   143352 |     3244     79 |        0 |        0
180.50/180.68	c  180s |      16 |   179590 |   145152 |     3244     80 |        0 |        0
182.61/182.73	c  182s |      16 |   181561 |   146952 |     3244     81 |        0 |        0
184.71/184.82	c  184s |      16 |   183500 |   148752 |     3244     82 |        0 |        0
186.70/186.88	c  186s |      16 |   185472 |   150552 |     3244     82 |        0 |        0
188.70/188.89	c  188s |      16 |   187347 |   152252 |     3244     83 |        0 |        0
190.80/190.94	c  190s |      16 |   188981 |   153752 |     3244     84 |        0 |        0
192.80/192.95	c  192s |      16 |   191123 |   155552 |     3244     85 |        0 |        0
194.90/195.06	c  194s |      16 |   193153 |   157352 |     3244     86 |        0 |        0
196.90/197.08	c  196s |      16 |   195147 |   159152 |     3244     86 |        0 |        0
199.00/199.15	c  199s |      16 |   197190 |   160952 |     3244     87 |        0 |        0
200.99/201.17	c  201s |      16 |   199223 |   162752 |     3244     88 |        0 |        0
203.19/203.33	c  203s |      16 |   200964 |   164352 |     3244     89 |        0 |        0
205.29/205.45	c  205s |      16 |   203225 |   166352 |     3244     90 |        0 |        0
207.39/207.53	c  207s |      16 |   205092 |   168052 |     3244     90 |        0 |        0
209.39/209.55	c  209s |      16 |   206923 |   169652 |     3244     91 |        0 |        0
211.49/211.61	c  211s |      16 |   208846 |   171352 |     3244     92 |        0 |        0
213.49/213.69	c  213s |      16 |   210587 |   172952 |     3244     93 |        0 |        0
215.49/215.70	c  215s |      16 |   212372 |   174552 |     3244     93 |        0 |        0
217.58/217.71	c  217s |      16 |   213748 |   175852 |     3244     94 |        0 |        0
219.58/219.75	c  219s |      16 |   215943 |   177752 |     3244     95 |        0 |        0
221.58/221.77	c  221s |      16 |   217613 |   179252 |     3244     96 |        0 |        0
223.68/223.87	c  223s |      16 |   219375 |   180852 |     3244     96 |        0 |        0
225.88/226.00	c  225s |      16 |   221123 |   182452 |     3244     97 |        0 |        0
227.88/228.05	c  227s |      16 |   222512 |   183752 |     3244     98 |        0 |        0
229.89/230.09	c  229s |      16 |   224555 |   185552 |     3244     99 |        0 |        0
231.98/232.18	c  232s |      16 |   226714 |   187452 |     3244     99 |        0 |        0
234.18/234.34	c  234s |      16 |   228453 |   189052 |     3244    100 |        0 |        0
236.17/236.39	c  236s |      16 |   230359 |   190752 |     3244    101 |        0 |        0
238.27/238.44	c  238s |      16 |   232248 |   192452 |     3244    102 |        0 |        0
240.37/240.57	c  240s |      16 |   234080 |   194152 |     3244    103 |        0 |        0
242.47/242.62	c  242s |      16 |   235823 |   195752 |     3244    103 |        0 |        0
244.47/244.69	c  244s |      16 |   237476 |   197252 |     3569    104 |        0 |        0
244.77/244.91	c  244s |      17 |   237663 |   197432 |     3569    104 |        0 |        0
246.77/246.93	c  246s |      17 |   241262 |   199732 |     3569    105 |        0 |        0
248.87/249.05	c  248s |      17 |   243227 |   201532 |     3569    106 |        0 |        0
250.87/251.09	c  250s |      17 |   245239 |   203332 |     3569    106 |        0 |        0
253.07/253.20	c  253s |      17 |   247273 |   205132 |     3569    107 |        0 |        0
255.07/255.27	c  255s |      17 |   248951 |   206632 |     3569    108 |        0 |        0
257.17/257.39	c  257s |      17 |   250880 |   208332 |     3569    108 |        0 |        0
259.26/259.49	c  259s |      17 |   252657 |   209932 |     3569    109 |        0 |        0
261.36/261.52	c  261s |      17 |   254321 |   211432 |     3569    110 |        0 |        0
263.36/263.55	c  263s |      17 |   256261 |   213132 |     3569    110 |        0 |        0
265.46/265.64	c  265s |      17 |   258154 |   214832 |     3569    111 |        0 |        0
267.46/267.68	c  267s |      17 |   259779 |   216332 |     3569    112 |        0 |        0
269.56/269.75	c  269s |      17 |   261304 |   217732 |     3569    112 |        0 |        0
271.67/271.82	c  271s |      17 |   263198 |   219432 |     3569    113 |        0 |        0
273.66/273.87	c  273s |      17 |   264844 |   220932 |     3569    114 |        0 |        0
275.76/275.94	c  275s |      17 |   266597 |   222532 |     3569    114 |        0 |        0
277.85/278.05	c  277s |      17 |   268550 |   224132 |     3569    115 |        0 |        0
279.95/280.11	c  279s |      17 |   270469 |   225732 |     3569    116 |        0 |        0
282.05/282.20	c  282s |      17 |   272284 |   227332 |     3569    116 |        0 |        0
284.15/284.31	c  284s |      17 |   274151 |   228932 |     3569    117 |        0 |        0
286.15/286.33	c  286s |      17 |   275760 |   230332 |     3569    118 |        0 |        0
288.15/288.33	c  288s |      17 |   277608 |   231932 |     3569    118 |        0 |        0
290.15/290.34	c  290s |      17 |   279452 |   233532 |     3569    119 |        0 |        0
292.15/292.34	c  292s |      17 |   281249 |   235132 |     3569    120 |        0 |        0
294.25/294.45	c  294s |      17 |   282984 |   236732 |     3569    120 |        0 |        0
296.34/296.50	c  296s |      17 |   284553 |   238132 |     3569    121 |        0 |        0
298.34/298.53	c  298s |      17 |   286260 |   239632 |     3569    121 |        0 |        0
300.44/300.64	c  300s |      17 |   288239 |   241332 |     3569    122 |        0 |        0
302.54/302.74	c  302s |      17 |   289940 |   242832 |     3569    123 |        0 |        0
304.64/304.85	c  304s |      17 |   291985 |   244632 |     3569    124 |        0 |        0
306.63/306.86	c  306s |      17 |   293654 |   246132 |     3569    124 |        0 |        0
308.73/308.92	c  308s |      17 |   295205 |   247532 |     3569    125 |        0 |        0
310.83/311.02	c  310s |      17 |   297154 |   249232 |     3569    126 |        0 |        0
312.93/313.11	c  312s |      17 |   298984 |   250832 |     3569    126 |        0 |        0
315.03/315.24	c  315s |      17 |   300791 |   252432 |     3569    127 |        0 |        0
317.13/317.36	c  317s |      17 |   302460 |   253932 |     3569    128 |        0 |        0
319.13/319.38	c  319s |      17 |   304404 |   255632 |     3569    128 |        0 |        0
321.23/321.41	c  321s |      17 |   306085 |   257132 |     3569    129 |        0 |        0
323.33/323.53	c  323s |      17 |   307750 |   258632 |     3569    129 |        0 |        0
325.43/325.63	c  325s |      17 |   309503 |   260232 |     3569    130 |        0 |        0
327.42/327.69	c  327s |      17 |   311593 |   262032 |     3569    131 |        0 |        0
329.62/329.84	c  329s |      17 |   313131 |   263432 |     3569    132 |        0 |        0
331.72/331.94	c  331s |      17 |   315150 |   265132 |     3569    132 |        0 |        0
333.82/334.00	c  333s |      17 |   317065 |   266832 |     3569    133 |        0 |        0
335.82/336.04	c  335s |      17 |   318627 |   268232 |     3569    134 |        0 |        0
337.92/338.15	c  338s |      17 |   320272 |   269732 |     3569    134 |        0 |        0
339.92/340.16	c  340s |      17 |   321804 |   271132 |     3569    135 |        0 |        0
342.02/342.29	c  342s |      17 |   323707 |   272832 |     3569    135 |        0 |        0
344.12/344.32	c  344s |      17 |   325757 |   274632 |     3569    136 |        0 |        0
346.11/346.36	c  346s |      17 |   327756 |   276432 |     3569    137 |        0 |        0
348.21/348.42	c  348s |      17 |   329514 |   278032 |     3569    138 |        0 |        0
350.31/350.53	c  350s |      17 |   331289 |   279632 |     3569    138 |        0 |        0
352.31/352.58	c  352s |      17 |   333181 |   281332 |     3569    139 |        0 |        0
354.41/354.62	c  354s |      17 |   335214 |   283132 |     3569    140 |        0 |        0
356.41/356.64	c  356s |      17 |   336768 |   284532 |     3569    140 |        0 |        0
358.52/358.79	c  358s |      17 |   338538 |   286132 |     3569    141 |        0 |        0
360.62/360.83	c  360s |      17 |   340172 |   287632 |     3569    142 |        0 |        0
362.61/362.90	c  362s |      17 |   341805 |   289132 |     3569    142 |        0 |        0
364.71/364.94	c  364s |      17 |   343771 |   290832 |     3569    143 |        0 |        0
366.71/366.99	c  366s |      17 |   345544 |   292432 |     3569    144 |        0 |        0
368.71/369.00	c  368s |      17 |   347169 |   293932 |     3569    144 |        0 |        0
370.80/371.10	c  370s |      17 |   348820 |   295432 |     3926    145 |        0 |        0
372.10/372.32	c  372s |      18 |   349727 |   296252 |     3926    145 |        0 |        0
374.10/374.35	c  374s |      18 |   353128 |   298652 |     3926    146 |        0 |        0
376.11/376.36	c  376s |      18 |   355222 |   300552 |     3926    147 |        0 |        0
378.10/378.37	c  378s |      18 |   357339 |   302452 |     3926    148 |        0 |        0
380.20/380.43	c  380s |      18 |   359424 |   304352 |     3926    148 |        0 |        0
382.20/382.44	c  382s |      18 |   361405 |   306152 |     3926    149 |        0 |        0
384.30/384.53	c  384s |      18 |   363419 |   307952 |     3926    150 |        0 |        0
386.39/386.62	c  386s |      18 |   365473 |   309752 |     3926    151 |        0 |        0
388.39/388.68	c  388s |      18 |   367444 |   311452 |     3926    151 |        0 |        0
390.40/390.68	c  390s |      18 |   369264 |   313052 |     3926    152 |        0 |        0
392.50/392.80	c  392s |      18 |   371018 |   314652 |     3926    153 |        0 |        0
394.59/394.88	c  394s |      18 |   372880 |   316352 |     3926    153 |        0 |        0
396.69/396.91	c  396s |      18 |   374543 |   317852 |     3926    154 |        0 |        0
398.69/398.98	c  398s |      18 |   376558 |   319652 |     3926    155 |        0 |        0
400.79/401.07	c  400s |      18 |   378330 |   321252 |     3926    155 |        0 |        0
402.79/403.08	c  402s |      18 |   380246 |   322952 |     3926    156 |        0 |        0
404.89/405.16	c  405s |      18 |   382039 |   324552 |     3926    156 |        0 |        0
406.89/407.18	c  407s |      18 |   383944 |   326252 |     3926    157 |        0 |        0
408.88/409.19	c  409s |      18 |   385860 |   327952 |     3926    158 |        0 |        0
410.98/411.28	c  411s |      18 |   387826 |   329652 |     3926    158 |        0 |        0
413.08/413.34	c  413s |      18 |   389708 |   331352 |     3926    159 |        0 |        0
415.08/415.40	c  415s |      18 |   391447 |   332952 |     3926    160 |        0 |        0
417.18/417.40	c  417s |      18 |   393193 |   334552 |     3926    160 |        0 |        0
419.18/419.47	c  419s |      18 |   395212 |   336352 |     3926    161 |        0 |        0
421.28/421.50	c  421s |      18 |   396976 |   337952 |     3926    162 |        0 |        0
423.28/423.52	c  423s |      18 |   398703 |   339552 |     3926    162 |        0 |        0
425.38/425.62	c  425s |      18 |   400780 |   341352 |     3926    163 |        0 |        0
427.47/427.71	c  427s |      18 |   402659 |   343052 |     3926    164 |        0 |        0
429.57/429.83	c  429s |      18 |   404532 |   344752 |     3926    164 |        0 |        0
431.67/431.94	c  431s |      18 |   406380 |   346452 |     3926    165 |        0 |        0
433.77/434.02	c  433s |      18 |   408035 |   347952 |     3926    166 |        0 |        0
435.77/436.06	c  435s |      18 |   410179 |   349852 |     3926    166 |        0 |        0
437.87/438.18	c  438s |      18 |   412022 |   351552 |     3926    167 |        0 |        0
439.97/440.25	c  440s |      18 |   413749 |   353152 |     3926    168 |        0 |        0
441.97/442.27	c  442s |      18 |   415702 |   354752 |     3926    168 |        0 |        0
444.07/444.33	c  444s |      18 |   417481 |   356252 |     3926    169 |        0 |        0
446.18/446.45	c  446s |      18 |   418952 |   357552 |     3926    170 |        0 |        0
448.27/448.56	c  448s |      18 |   420930 |   359252 |     3926    170 |        0 |        0
450.37/450.62	c  450s |      18 |   422231 |   360452 |     3926    171 |        0 |        0
452.57/452.81	c  452s |      18 |   424167 |   362152 |     3926    171 |        0 |        0
454.67/454.90	c  454s |      18 |   425554 |   363452 |     3926    172 |        0 |        0
456.67/456.94	c  456s |      18 |   427129 |   364852 |     3926    173 |        0 |        0
458.77/459.05	c  458s |      18 |   428584 |   366152 |     3926    173 |        0 |        0
460.87/461.19	c  461s |      18 |   430127 |   367552 |     3926    174 |        0 |        0
462.97/463.24	c  463s |      18 |   431852 |   369052 |     3926    174 |        0 |        0
464.97/465.25	c  465s |      18 |   433730 |   370752 |     3926    175 |        0 |        0
467.07/467.30	c  467s |      18 |   435617 |   372452 |     3926    176 |        0 |        0
469.07/469.33	c  469s |      18 |   437507 |   374152 |     3926    176 |        0 |        0
471.17/471.42	c  471s |      18 |   439116 |   375652 |     3926    177 |        0 |        0
473.17/473.47	c  473s |      18 |   440631 |   377052 |     3926    177 |        0 |        0
475.26/475.54	c  475s |      18 |   442688 |   378852 |     3926    178 |        0 |        0
477.36/477.60	c  477s |      18 |   444592 |   380552 |     3926    179 |        0 |        0
479.37/479.68	c  479s |      18 |   446254 |   382052 |     3926    179 |        0 |        0
481.46/481.76	c  481s |      18 |   447892 |   383552 |     3926    180 |        0 |        0
483.56/483.84	c  483s |      18 |   449629 |   385052 |     3926    181 |        0 |        0
485.66/485.96	c  485s |      18 |   451271 |   386552 |     3926    181 |        0 |        0
487.76/488.04	c  487s |      18 |   452970 |   388052 |     3926    182 |        0 |        0
489.86/490.13	c  490s |      18 |   454937 |   389752 |     3926    183 |        0 |        0
491.96/492.24	c  492s |      18 |   456971 |   391552 |     3926    183 |        0 |        0
494.05/494.34	c  494s |      18 |   458850 |   393252 |     3926    184 |        0 |        0
496.15/496.45	c  496s |      18 |   460482 |   394752 |     3926    185 |        0 |        0
498.16/498.47	c  498s |      18 |   462210 |   396352 |     3926    185 |        0 |        0
500.26/500.58	c  500s |      18 |   464099 |   398052 |     3926    186 |        0 |        0
502.25/502.58	c  502s |      18 |   465767 |   399552 |     3926    186 |        0 |        0
504.35/504.67	c  504s |      18 |   467776 |   401352 |     3926    187 |        0 |        0
506.45/506.72	c  506s |      18 |   469695 |   403052 |     3926    188 |        0 |        0
508.45/508.74	c  508s |      18 |   471459 |   404652 |     3926    189 |        0 |        0
510.55/510.81	c  510s |      18 |   473266 |   406252 |     3926    189 |        0 |        0
512.65/512.91	c  512s |      18 |   474955 |   407752 |     3926    190 |        0 |        0
514.65/514.97	c  514s |      18 |   476804 |   409352 |     3926    190 |        0 |        0
516.64/517.00	c  516s |      18 |   478741 |   411052 |     3926    191 |        0 |        0
518.74/519.06	c  518s |      18 |   480453 |   412552 |     3926    192 |        0 |        0
520.74/521.08	c  520s |      18 |   482352 |   414252 |     3926    192 |        0 |        0
522.84/523.15	c  523s |      18 |   484121 |   415852 |     3926    193 |        0 |        0
524.94/525.25	c  525s |      18 |   485766 |   417352 |     3926    194 |        0 |        0
527.04/527.37	c  527s |      18 |   487511 |   418952 |     3926    194 |        0 |        0
529.14/529.41	c  529s |      18 |   489013 |   420352 |     3926    195 |        0 |        0
531.24/531.52	c  531s |      18 |   490849 |   421952 |     3926    195 |        0 |        0
533.34/533.62	c  533s |      18 |   492526 |   423452 |     3926    196 |        0 |        0
535.33/535.66	c  535s |      18 |   494171 |   424952 |     3926    197 |        0 |        0
537.33/537.67	c  537s |      18 |   495950 |   426552 |     3926    197 |        0 |        0
539.33/539.69	c  539s |      18 |   497569 |   428052 |     3926    198 |        0 |        0
541.53/541.86	c  541s |      18 |   499238 |   429552 |     3926    199 |        0 |        0
543.53/543.89	c  543s |      18 |   500904 |   431052 |     3926    199 |        0 |        0
545.63/546.00	c  545s |      18 |   502586 |   432552 |     3926    200 |        0 |        0
547.73/548.05	c  547s |      18 |   504378 |   434152 |     3926    200 |        0 |        0
549.73/550.09	c  549s |      18 |   506061 |   435652 |     3926    201 |        0 |        0
551.93/552.26	c  552s |      18 |   507586 |   437052 |     3926    202 |        0 |        0
554.03/554.32	c  554s |      18 |   509602 |   438852 |     3926    202 |        0 |        0
556.03/556.33	c  556s |      18 |   511263 |   440352 |     3926    203 |        0 |        0
558.02/558.38	c  558s |      18 |   512581 |   441552 |     4319    203 |        0 |        0
560.12/560.47	c  560s |      18 |   514104 |   442952 |     4319    204 |        0 |        0
562.12/562.47	c  562s |      18 |   515793 |   444452 |     4319    204 |        0 |        0
562.12/562.49	c  562s |      19 |   515825 |   444482 |     4319    204 |        0 |        0
564.22/564.52	c  564s |      19 |   519547 |   447182 |     4319    205 |        0 |        0
566.22/566.58	c  566s |      19 |   521748 |   449182 |     4319    206 |        0 |        0
568.31/568.67	c  568s |      19 |   524047 |   451182 |     4319    207 |        0 |        0
570.41/570.78	c  570s |      19 |   526151 |   453082 |     4319    208 |        0 |        0
572.51/572.85	c  572s |      19 |   528489 |   455182 |     4319    208 |        0 |        0
574.51/574.87	c  574s |      19 |   530344 |   456882 |     4319    209 |        0 |        0
576.61/576.96	c  576s |      19 |   532208 |   458582 |     4319    210 |        0 |        0
578.71/579.02	c  578s |      19 |   534660 |   460682 |     4319    210 |        0 |        0
580.80/581.14	c  581s |      19 |   536725 |   462482 |     4319    211 |        0 |        0
582.90/583.24	c  583s |      19 |   538921 |   464382 |     4319    212 |        0 |        0
585.01/585.33	c  585s |      19 |   541091 |   466282 |     4319    212 |        0 |        0
587.00/587.36	c  587s |      19 |   543054 |   467982 |     4319    213 |        0 |        0
589.10/589.43	c  589s |      19 |   545206 |   469782 |     4319    214 |        0 |        0
591.20/591.52	c  591s |      19 |   547399 |   471782 |     4319    214 |        0 |        0
593.30/593.62	c  593s |      19 |   549465 |   473682 |     4319    215 |        0 |        0
595.30/595.68	c  595s |      19 |   551241 |   475282 |     4319    216 |        0 |        0
597.49/597.81	c  597s |      19 |   553490 |   477282 |     4319    216 |        0 |        0
599.49/599.86	c  599s |      19 |   555615 |   479182 |     4319    217 |        0 |        0
601.50/601.89	c  601s |      19 |   557559 |   480882 |     4319    218 |        0 |        0
603.70/604.03	c  603s |      19 |   559387 |   482582 |     4319    218 |        0 |        0
605.69/606.08	c  605s |      19 |   561831 |   484682 |     4319    219 |        0 |        0
607.79/608.12	c  608s |      19 |   563854 |   486482 |     4319    220 |        0 |        0
609.79/610.16	c  610s |      19 |   565822 |   488282 |     4319    220 |        0 |        0
611.89/612.22	c  612s |      19 |   567835 |   490082 |     4319    221 |        0 |        0
613.88/614.29	c  614s |      19 |   569550 |   491682 |     4319    222 |        0 |        0
615.98/616.36	c  616s |      19 |   571958 |   493782 |     4319    222 |        0 |        0
618.08/618.44	c  618s |      19 |   574154 |   495782 |     4319    223 |        0 |        0
620.19/620.53	c  620s |      19 |   575863 |   497382 |     4319    224 |        0 |        0
622.28/622.62	c  622s |      19 |   577992 |   499282 |     4319    224 |        0 |        0
624.28/624.65	c  624s |      19 |   579899 |   500982 |     4319    225 |        0 |        0
626.28/626.68	c  626s |      19 |   581630 |   502582 |     4319    226 |        0 |        0
628.48/628.81	c  628s |      19 |   584144 |   504782 |     4319    226 |        0 |        0
630.48/630.88	c  630s |      19 |   586130 |   506582 |     4319    227 |        0 |        0
632.57/632.96	c  632s |      19 |   588424 |   508582 |     4319    228 |        0 |        0
634.67/635.01	c  634s |      19 |   590066 |   510082 |     4319    228 |        0 |        0
636.68/637.02	c  636s |      19 |   591967 |   511782 |     4319    229 |        0 |        0
638.67/639.07	c  638s |      19 |   593603 |   513282 |     4319    230 |        0 |        0
640.78/641.18	c  641s |      19 |   595999 |   515382 |     4319    230 |        0 |        0
642.88/643.26	c  643s |      19 |   597877 |   517082 |     4319    231 |        0 |        0
644.98/645.33	c  645s |      19 |   599492 |   518582 |     4319    231 |        0 |        0
646.97/647.34	c  647s |      19 |   601133 |   520082 |     4319    232 |        0 |        0
648.97/649.35	c  649s |      19 |   602805 |   521582 |     4319    233 |        0 |        0
651.07/651.42	c  651s |      19 |   605311 |   523782 |     4319    233 |        0 |        0
653.08/653.42	c  653s |      19 |   607116 |   525382 |     4319    234 |        0 |        0
655.07/655.45	c  655s |      19 |   608749 |   526882 |     4319    235 |        0 |        0
657.17/657.52	c  657s |      19 |   610534 |   528482 |     4319    235 |        0 |        0
659.17/659.55	c  659s |      19 |   612809 |   530482 |     4319    236 |        0 |        0
661.27/661.61	c  661s |      19 |   614802 |   532282 |     4319    236 |        0 |        0
663.37/663.73	c  663s |      19 |   616654 |   533982 |     4319    237 |        0 |        0
665.36/665.78	c  665s |      19 |   618636 |   535782 |     4319    238 |        0 |        0
667.47/667.82	c  667s |      19 |   620411 |   537382 |     4319    238 |        0 |        0
669.46/669.89	c  669s |      19 |   622273 |   539082 |     4319    239 |        0 |        0
671.56/671.99	c  671s |      19 |   623998 |   540682 |     4319    240 |        0 |        0
673.66/674.04	c  673s |      19 |   625826 |   542382 |     4319    240 |        0 |        0
675.76/676.10	c  675s |      19 |   627808 |   543982 |     4319    241 |        0 |        0
677.76/678.17	c  678s |      19 |   630179 |   545982 |     4319    242 |        0 |        0
679.76/680.19	c  680s |      19 |   632272 |   547782 |     4319    242 |        0 |        0
681.86/682.30	c  682s |      19 |   634164 |   549482 |     4319    243 |        0 |        0
683.96/684.33	c  684s |      19 |   636076 |   551182 |     4319    243 |        0 |        0
685.96/686.38	c  686s |      19 |   637717 |   552682 |     4319    244 |        0 |        0
688.05/688.46	c  688s |      19 |   639582 |   554382 |     4319    245 |        0 |        0
690.05/690.48	c  690s |      19 |   641348 |   555982 |     4319    245 |        0 |        0
692.15/692.55	c  692s |      19 |   642919 |   557382 |     4319    246 |        0 |        0
694.25/694.60	c  694s |      19 |   645168 |   559282 |     4319    246 |        0 |        0
696.25/696.67	c  696s |      19 |   646894 |   560782 |     4319    247 |        0 |        0
698.35/698.75	c  698s |      19 |   648571 |   562282 |     4319    247 |        0 |        0
700.36/700.79	c  700s |      19 |   650034 |   563582 |     4319    248 |        0 |        0
702.45/702.82	c  702s |      19 |   651717 |   565082 |     4319    249 |        0 |        0
704.45/704.85	c  704s |      19 |   653431 |   566482 |     4319    249 |        0 |        0
706.55/706.91	c  706s |      19 |   655109 |   567882 |     4319    250 |        0 |        0
708.55/708.96	c  708s |      19 |   656792 |   569382 |     4319    250 |        0 |        0
710.65/711.06	c  710s |      19 |   658575 |   570782 |     4319    251 |        0 |        0
712.75/713.17	c  713s |      19 |   660500 |   572382 |     4319    251 |        0 |        0
714.85/715.29	c  715s |      19 |   661989 |   573682 |     4319    252 |        0 |        0
717.05/717.43	c  717s |      19 |   663608 |   575082 |     4319    252 |        0 |        0
719.05/719.44	c  719s |      19 |   665221 |   576382 |     4319    253 |        0 |        0
721.15/721.51	c  721s |      19 |   666924 |   577782 |     4319    253 |        0 |        0
723.25/723.64	c  723s |      19 |   668578 |   579182 |     4319    254 |        0 |        0
725.35/725.76	c  725s |      19 |   670297 |   580682 |     4319    254 |        0 |        0
727.45/727.81	c  727s |      19 |   671951 |   582082 |     4319    255 |        0 |        0
729.55/729.93	c  729s |      19 |   673582 |   583482 |     4319    255 |        0 |        0
731.54/731.95	c  731s |      19 |   674983 |   584682 |     4319    256 |        0 |        0
733.64/734.08	c  733s |      19 |   676743 |   586182 |     4319    256 |        0 |        0
735.74/736.14	c  736s |      19 |   678064 |   587382 |     4319    257 |        0 |        0
737.85/738.28	c  738s |      19 |   679494 |   588582 |     4319    257 |        0 |        0
739.95/740.35	c  740s |      19 |   680675 |   589582 |     4319    258 |        0 |        0
741.94/742.37	c  742s |      19 |   682386 |   590982 |     4319    258 |        0 |        0
743.94/744.40	c  744s |      19 |   684087 |   592482 |     4319    259 |        0 |        0
746.14/746.52	c  746s |      19 |   686001 |   594182 |     4319    259 |        0 |        0
748.24/748.60	c  748s |      19 |   687889 |   595782 |     4319    260 |        0 |        0
750.24/750.67	c  750s |      19 |   689715 |   597382 |     4319    260 |        0 |        0
752.24/752.69	c  752s |      19 |   691378 |   598882 |     4319    261 |        0 |        0
754.44/754.88	c  754s |      19 |   693239 |   600482 |     4319    262 |        0 |        0
756.55/756.97	c  756s |      19 |   695052 |   602082 |     4319    262 |        0 |        0
758.64/759.04	c  758s |      19 |   696631 |   603482 |     4319    263 |        0 |        0
760.64/761.08	c  760s |      19 |   698618 |   605182 |     4319    263 |        0 |        0
762.84/763.20	c  763s |      19 |   700774 |   607082 |     4319    264 |        0 |        0
764.94/765.32	c  765s |      19 |   702936 |   608882 |     4319    265 |        0 |        0
766.94/767.33	c  767s |      19 |   704778 |   610482 |     4319    265 |        0 |        0
769.04/769.43	c  769s |      19 |   706589 |   612082 |     4319    266 |        0 |        0
771.14/771.50	c  771s |      19 |   708685 |   613882 |     4319    266 |        0 |        0
773.24/773.62	c  773s |      19 |   710582 |   615582 |     4319    267 |        0 |        0
775.24/775.63	c  775s |      19 |   712364 |   617182 |     4319    268 |        0 |        0
777.23/777.66	c  777s |      19 |   714026 |   618682 |     4319    268 |        0 |        0
779.23/779.68	c  779s |      19 |   715784 |   620282 |     4319    269 |        0 |        0
781.33/781.70	c  781s |      19 |   717470 |   621782 |     4319    269 |        0 |        0
783.43/783.81	c  783s |      19 |   719006 |   623182 |     4319    270 |        0 |        0
785.43/785.82	c  785s |      19 |   720736 |   624682 |     4319    270 |        0 |        0
787.43/787.89	c  787s |      19 |   722383 |   626182 |     4319    271 |        0 |        0
789.63/790.01	c  789s |      19 |   724144 |   627782 |     4319    272 |        0 |        0
791.74/792.15	c  792s |      19 |   726003 |   629482 |     4319    272 |        0 |        0
793.84/794.24	c  794s |      19 |   727628 |   630982 |     4319    273 |        0 |        0
795.93/796.37	c  796s |      19 |   729269 |   632482 |     4319    273 |        0 |        0
797.93/798.37	c  798s |      19 |   730585 |   633682 |     4319    274 |        0 |        0
800.03/800.42	c  800s |      19 |   732672 |   635482 |     4319    274 |        0 |        0
802.03/802.46	c  802s |      19 |   734651 |   637282 |     4319    275 |        0 |        0
804.13/804.55	c  804s |      19 |   736322 |   638782 |     4319    276 |        0 |        0
806.13/806.59	c  806s |      19 |   738244 |   640482 |     4319    276 |        0 |        0
808.24/808.69	c  808s |      19 |   739972 |   642082 |     4319    277 |        0 |        0
810.23/810.70	c  810s |      19 |   741647 |   643582 |     4319    277 |        0 |        0
812.33/812.79	c  812s |      19 |   743319 |   645082 |     4319    278 |        0 |        0
814.43/814.86	c  814s |      19 |   745088 |   646682 |     4319    278 |        0 |        0
816.43/816.86	c  816s |      19 |   746642 |   648082 |     4319    279 |        0 |        0
818.53/818.96	c  818s |      19 |   748223 |   649482 |     4319    279 |        0 |        0
820.63/821.05	c  820s |      19 |   749875 |   650982 |     4319    280 |        0 |        0
822.73/823.15	c  823s |      19 |   751578 |   652482 |     4319    281 |        0 |        0
824.83/825.29	c  825s |      19 |   753122 |   653882 |     4319    281 |        0 |        0
826.94/827.39	c  827s |      19 |   754618 |   655182 |     4319    282 |        0 |        0
829.04/829.43	c  829s |      19 |   756722 |   656982 |     4319    282 |        0 |        0
831.03/831.45	c  831s |      19 |   758661 |   658582 |     4319    283 |        0 |        0
833.13/833.59	c  833s |      19 |   760501 |   660182 |     4319    283 |        0 |        0
835.23/835.65	c  835s |      19 |   762372 |   661782 |     4319    284 |        0 |        0
837.23/837.69	c  837s |      19 |   764194 |   663382 |     4751    284 |        0 |        0
839.33/839.77	c  839s |      19 |   765949 |   664882 |     4751    285 |        0 |        0
841.43/841.89	c  841s |      19 |   767726 |   666482 |     4751    285 |        0 |        0
841.93/842.36	c  842s |      20 |   768123 |   666827 |     4751    286 |        0 |        0
844.03/844.42	c  844s |      20 |   771753 |   669227 |     4751    286 |        0 |        0
846.03/846.46	c  846s |      20 |   773762 |   671027 |     4751    287 |        0 |        0
848.13/848.52	c  848s |      20 |   775526 |   672527 |     4751    287 |        0 |        0
850.23/850.66	c  850s |      20 |   777286 |   674127 |     4751    288 |        0 |        0
852.24/852.68	c  852s |      20 |   778806 |   675527 |     4751    288 |        0 |        0
854.34/854.77	c  854s |      20 |   780557 |   677127 |     4751    289 |        0 |        0
856.43/856.81	c  856s |      20 |   782066 |   678527 |     4751    290 |        0 |        0
858.53/858.93	c  858s |      20 |   783807 |   680127 |     4751    290 |        0 |        0
860.63/861.01	c  860s |      20 |   785562 |   681727 |     4751    291 |        0 |        0
862.73/863.14	c  863s |      20 |   787172 |   683227 |     4751    291 |        0 |        0
864.83/865.23	c  865s |      20 |   789206 |   684927 |     4751    292 |        0 |        0
866.83/867.26	c  867s |      20 |   791057 |   686527 |     4751    292 |        0 |        0
869.03/869.40	c  869s |      20 |   792633 |   687927 |     4751    293 |        0 |        0
871.03/871.48	c  871s |      20 |   794025 |   689227 |     4751    293 |        0 |        0
873.13/873.58	c  873s |      20 |   795859 |   690827 |     4751    294 |        0 |        0
875.23/875.68	c  875s |      20 |   797650 |   692427 |     4751    294 |        0 |        0
877.32/877.74	c  877s |      20 |   799435 |   694027 |     4751    295 |        0 |        0
879.32/879.75	c  879s |      20 |   801525 |   695827 |     4751    295 |        0 |        0
881.42/881.87	c  881s |      20 |   803167 |   697327 |     4751    296 |        0 |        0
883.62/884.00	c  883s |      20 |   804795 |   698827 |     4751    296 |        0 |        0
885.62/886.01	c  885s |      20 |   806542 |   700427 |     4751    297 |        0 |        0
887.72/888.10	c  887s |      20 |   808195 |   701927 |     4751    297 |        0 |        0
889.82/890.20	c  890s |      20 |   810210 |   703727 |     4751    298 |        0 |        0
891.92/892.32	c  892s |      20 |   812095 |   705427 |     4751    299 |        0 |        0
893.93/894.38	c  894s |      20 |   814123 |   707227 |     4751    299 |        0 |        0
896.02/896.48	c  896s |      20 |   816286 |   709127 |     4751    300 |        0 |        0
898.12/898.56	c  898s |      20 |   817932 |   710627 |     4751    300 |        0 |        0
900.12/900.56	c  900s |      20 |   819475 |   712027 |     4751    301 |        0 |        0
902.22/902.66	c  902s |      20 |   821238 |   713627 |     4751    301 |        0 |        0
904.22/904.68	c  904s |      20 |   822927 |   715127 |     4751    302 |        0 |        0
906.32/906.70	c  906s |      20 |   825129 |   717027 |     4751    303 |        0 |        0
908.33/908.73	c  908s |      20 |   827020 |   718727 |     4751    303 |        0 |        0
910.42/910.82	c  910s |      20 |   828621 |   720227 |     4751    304 |        0 |        0
912.42/912.89	c  912s |      20 |   830210 |   721727 |     4751    304 |        0 |        0
914.62/915.08	c  914s |      20 |   831607 |   723027 |     4751    305 |        0 |        0
916.72/917.16	c  917s |      20 |   833811 |   724927 |     4751    305 |        0 |        0
918.72/919.18	c  919s |      20 |   835492 |   726427 |     4751    306 |        0 |        0
920.82/921.29	c  921s |      20 |   836996 |   727827 |     4751    306 |        0 |        0
922.92/923.34	c  923s |      20 |   838668 |   729327 |     4751    307 |        0 |        0
924.92/925.38	c  925s |      20 |   840696 |   731127 |     4751    307 |        0 |        0
927.02/927.45	c  927s |      20 |   842444 |   732727 |     4751    308 |        0 |        0
929.01/929.49	c  929s |      20 |   843951 |   734127 |     4751    308 |        0 |        0
931.21/931.62	c  931s |      20 |   845483 |   735527 |     4751    309 |        0 |        0
933.31/933.73	c  933s |      20 |   847441 |   737227 |     4751    309 |        0 |        0
935.41/935.80	c  935s |      20 |   849185 |   738827 |     4751    310 |        0 |        0
937.41/937.88	c  937s |      20 |   851088 |   740527 |     4751    310 |        0 |        0
939.51/939.96	c  939s |      20 |   852741 |   742027 |     4751    311 |        0 |        0
941.51/941.96	c  941s |      20 |   854171 |   743327 |     4751    311 |        0 |        0
943.61/944.05	c  943s |      20 |   856002 |   744927 |     4751    312 |        0 |        0
945.62/946.06	c  945s |      20 |   857664 |   746427 |     4751    312 |        0 |        0
947.71/948.17	c  948s |      20 |   859592 |   748127 |     4751    313 |        0 |        0
949.81/950.25	c  950s |      20 |   861614 |   749927 |     4751    314 |        0 |        0
951.91/952.36	c  952s |      20 |   863391 |   751527 |     4751    314 |        0 |        0
954.11/954.51	c  954s |      20 |   864737 |   752727 |     4751    315 |        0 |        0
956.21/956.65	c  956s |      20 |   866373 |   754227 |     4751    315 |        0 |        0
958.31/958.78	c  958s |      20 |   867763 |   755527 |     4751    315 |        0 |        0
960.41/960.82	c  960s |      20 |   869433 |   757027 |     4751    316 |        0 |        0
962.41/962.88	c  962s |      20 |   871212 |   758627 |     4751    317 |        0 |        0
964.51/964.95	c  964s |      20 |   872986 |   760227 |     4751    317 |        0 |        0
966.61/967.00	c  966s |      20 |   874721 |   761827 |     4751    318 |        0 |        0
968.61/969.02	c  968s |      20 |   876359 |   763327 |     4751    318 |        0 |        0
970.71/971.11	c  970s |      20 |   877898 |   764727 |     4751    319 |        0 |        0
972.71/973.15	c  973s |      20 |   879955 |   766527 |     4751    319 |        0 |        0
974.81/975.23	c  975s |      20 |   881570 |   768027 |     4751    320 |        0 |        0
976.81/977.28	c  977s |      20 |   883323 |   769627 |     4751    320 |        0 |        0
978.91/979.35	c  979s |      20 |   885132 |   771227 |     4751    321 |        0 |        0
980.91/981.35	c  981s |      20 |   886770 |   772727 |     4751    321 |        0 |        0
983.01/983.48	c  983s |      20 |   888274 |   774127 |     4751    322 |        0 |        0
985.21/985.62	c  985s |      20 |   890119 |   775727 |     4751    322 |        0 |        0
987.30/987.72	c  987s |      20 |   891820 |   777227 |     4751    323 |        0 |        0
989.30/989.79	c  989s |      20 |   893600 |   778827 |     4751    323 |        0 |        0
991.40/991.81	c  991s |      20 |   895247 |   780327 |     4751    324 |        0 |        0
993.40/993.86	c  993s |      20 |   896885 |   781827 |     4751    324 |        0 |        0
995.50/995.90	c  995s |      20 |   898433 |   783227 |     4751    325 |        0 |        0
997.50/997.98	c  997s |      20 |   900413 |   784927 |     4751    325 |        0 |        0
999.61/1000.02	c  999s |      20 |   901969 |   786327 |     4751    326 |        0 |        0
1001.60/1002.04	c 1001s |      20 |   903633 |   787827 |     4751    326 |        0 |        0
1003.70/1004.11	c 1003s |      20 |   905402 |   789427 |     4751    327 |        0 |        0
1005.70/1006.17	c 1006s |      20 |   906890 |   790827 |     4751    327 |        0 |        0
1007.80/1008.24	c 1008s |      20 |   908774 |   792427 |     4751    328 |        0 |        0
1009.80/1010.28	c 1010s |      20 |   910773 |   794127 |     4751    329 |        0 |        0
1011.80/1012.28	c 1012s |      20 |   912623 |   795727 |     4751    329 |        0 |        0
1013.91/1014.37	c 1014s |      20 |   914132 |   797127 |     4751    330 |        0 |        0
1016.01/1016.43	c 1016s |      20 |   915906 |   798727 |     4751    330 |        0 |        0
1018.10/1018.51	c 1018s |      20 |   917347 |   800027 |     4751    331 |        0 |        0
1020.10/1020.52	c 1020s |      20 |   919002 |   801527 |     4751    331 |        0 |        0
1022.10/1022.52	c 1022s |      20 |   920960 |   803227 |     4751    332 |        0 |        0
1024.10/1024.57	c 1024s |      20 |   922860 |   804927 |     4751    332 |        0 |        0
1026.20/1026.67	c 1026s |      20 |   924567 |   806527 |     4751    333 |        0 |        0
1028.30/1028.76	c 1028s |      20 |   926606 |   808327 |     4751    333 |        0 |        0
1030.30/1030.79	c 1030s |      20 |   928193 |   809727 |     4751    334 |        0 |        0
1032.50/1032.91	c 1032s |      20 |   929838 |   811227 |     4751    334 |        0 |        0
1034.59/1035.01	c 1034s |      20 |   931477 |   812727 |     4751    335 |        0 |        0
1036.59/1037.02	c 1036s |      20 |   932913 |   814027 |     4751    335 |        0 |        0
1038.69/1039.15	c 1039s |      20 |   934722 |   815627 |     4751    336 |        0 |        0
1040.69/1041.15	c 1041s |      20 |   936380 |   817127 |     4751    336 |        0 |        0
1042.79/1043.20	c 1043s |      20 |   938007 |   818627 |     4751    337 |        0 |        0
1044.89/1045.35	c 1045s |      20 |   939639 |   820127 |     4751    337 |        0 |        0
1046.90/1047.37	c 1047s |      20 |   941323 |   821627 |     4751    338 |        0 |        0
1048.89/1049.38	c 1049s |      20 |   943322 |   823327 |     4751    338 |        0 |        0
1051.09/1051.52	c 1051s |      20 |   945184 |   824927 |     4751    339 |        0 |        0
1053.09/1053.58	c 1053s |      20 |   946776 |   826327 |     4751    340 |        0 |        0
1055.30/1055.70	c 1055s |      20 |   948471 |   827827 |     4751    340 |        0 |        0
1057.30/1057.77	c 1057s |      20 |   949983 |   829127 |     4751    340 |        0 |        0
1059.40/1059.82	c 1059s |      20 |   951622 |   830527 |     4751    341 |        0 |        0
1061.50/1061.98	c 1061s |      20 |   953182 |   831927 |     4751    341 |        0 |        0
1063.70/1064.11	c 1063s |      20 |   954992 |   833527 |     4751    342 |        0 |        0
1065.70/1066.19	c 1066s |      20 |   956709 |   835027 |     4751    343 |        0 |        0
1067.80/1068.21	c 1068s |      20 |   958377 |   836527 |     4751    343 |        0 |        0
1069.80/1070.28	c 1070s |      20 |   959921 |   837927 |     4751    344 |        0 |        0
1071.90/1072.35	c 1072s |      20 |   961576 |   839427 |     4751    344 |        0 |        0
1074.00/1074.43	c 1074s |      20 |   963018 |   840727 |     4751    344 |        0 |        0
1076.00/1076.47	c 1076s |      20 |   964573 |   842127 |     4751    345 |        0 |        0
1078.00/1078.49	c 1078s |      20 |   966466 |   843727 |     4751    346 |        0 |        0
1080.09/1080.53	c 1080s |      20 |   968371 |   845427 |     4751    346 |        0 |        0
1082.19/1082.61	c 1082s |      20 |   970052 |   846927 |     4751    347 |        0 |        0
1084.20/1084.62	c 1084s |      20 |   971677 |   848427 |     4751    347 |        0 |        0
1086.19/1086.64	c 1086s |      20 |   973298 |   849827 |     4751    348 |        0 |        0
1088.29/1088.76	c 1088s |      20 |   975223 |   851527 |     4751    348 |        0 |        0
1090.39/1090.83	c 1090s |      20 |   976901 |   853027 |     4751    349 |        0 |        0
1092.39/1092.88	c 1092s |      20 |   978527 |   854527 |     4751    349 |        0 |        0
1094.39/1094.89	c 1094s |      20 |   980196 |   856027 |     4751    350 |        0 |        0
1096.49/1096.95	c 1096s |      20 |   981868 |   857527 |     4751    350 |        0 |        0
1098.60/1099.06	c 1098s |      20 |   983891 |   859327 |     4751    351 |        0 |        0
1100.70/1101.13	c 1101s |      20 |   985642 |   860927 |     4751    351 |        0 |        0
1102.79/1103.21	c 1103s |      20 |   987292 |   862427 |     4751    352 |        0 |        0
1104.79/1105.25	c 1105s |      20 |   988811 |   863827 |     4751    352 |        0 |        0
1106.79/1107.27	c 1107s |      20 |   990517 |   865327 |     4751    353 |        0 |        0
1108.89/1109.35	c 1109s |      20 |   992346 |   866927 |     4751    353 |        0 |        0
1110.89/1111.36	c 1111s |      20 |   993867 |   868327 |     4751    354 |        0 |        0
1112.99/1113.44	c 1113s |      20 |   995682 |   869927 |     4751    355 |        0 |        0
1115.00/1115.45	c 1115s |      20 |   997459 |   871527 |     4751    355 |        0 |        0
1116.99/1117.45	c 1117s |      20 |   999404 |   873227 |     4751    356 |        0 |        0
1119.09/1119.57	c 1119s |      20 |  1001229 |   874827 |     4751    356 |        0 |        0
1121.19/1121.61	c 1121s |      20 |  1002729 |   876127 |     4751    357 |        0 |        0
1123.19/1123.64	c 1123s |      20 |  1004673 |   877827 |     4751    357 |        0 |        0
1125.19/1125.64	c 1125s |      20 |  1006360 |   879327 |     4751    358 |        0 |        0
1127.19/1127.65	c 1127s |      20 |  1008250 |   881027 |     4751    358 |        0 |        0
1129.19/1129.70	c 1129s |      20 |  1009933 |   882527 |     4751    359 |        0 |        0
1131.29/1131.78	c 1131s |      20 |  1011710 |   884127 |     4751    359 |        0 |        0
1133.38/1133.84	c 1133s |      20 |  1013448 |   885727 |     4751    360 |        0 |        0
1135.48/1135.95	c 1135s |      20 |  1015226 |   887327 |     4751    360 |        0 |        0
1137.58/1138.00	c 1137s |      20 |  1016989 |   888927 |     4751    361 |        0 |        0
1139.58/1140.06	c 1139s |      20 |  1018702 |   890427 |     4751    362 |        0 |        0
1141.68/1142.11	c 1141s |      20 |  1020597 |   892127 |     4751    362 |        0 |        0
1143.69/1144.12	c 1144s |      20 |  1022152 |   893527 |     4751    363 |        0 |        0
1145.68/1146.18	c 1146s |      20 |  1023819 |   895027 |     4751    363 |        0 |        0
1147.78/1148.22	c 1148s |      20 |  1025492 |   896527 |     4751    364 |        0 |        0
1149.78/1150.29	c 1150s |      20 |  1027149 |   898027 |     4751    364 |        0 |        0
1151.88/1152.31	c 1152s |      20 |  1028694 |   899427 |     4751    365 |        0 |        0
1153.98/1154.41	c 1154s |      20 |  1030630 |   901127 |     4751    365 |        0 |        0
1155.98/1156.43	c 1156s |      20 |  1032214 |   902527 |     4751    366 |        0 |        0
1157.99/1158.47	c 1158s |      20 |  1033985 |   904127 |     4751    366 |        0 |        0
1160.09/1160.57	c 1160s |      20 |  1035826 |   905727 |     4751    367 |        0 |        0
1162.18/1162.61	c 1162s |      20 |  1037818 |   907427 |     4751    367 |        0 |        0
1164.18/1164.66	c 1164s |      20 |  1039520 |   908927 |     4751    368 |        0 |        0
1166.28/1166.76	c 1166s |      20 |  1041136 |   910327 |     4751    368 |        0 |        0
1168.28/1168.77	c 1168s |      20 |  1042598 |   911627 |     4751    369 |        0 |        0
1170.38/1170.83	c 1170s |      20 |  1044287 |   913127 |     4751    369 |        0 |        0
1172.38/1172.84	c 1172s |      20 |  1045575 |   914327 |     4751    370 |        0 |        0
1174.48/1174.97	c 1174s |      20 |  1047097 |   915727 |     4751    370 |        0 |        0
1176.48/1177.00	c 1176s |      20 |  1048843 |   917327 |     4751    371 |        0 |        0
1178.68/1179.13	c 1179s |      20 |  1050612 |   918927 |     4751    371 |        0 |        0
1180.78/1181.25	c 1181s |      20 |  1052051 |   920227 |     4751    372 |        0 |        0
1182.78/1183.29	c 1183s |      20 |  1053588 |   921627 |     4751    372 |        0 |        0
1184.88/1185.33	c 1185s |      20 |  1055320 |   923127 |     4751    373 |        0 |        0
1186.98/1187.40	c 1187s |      20 |  1056652 |   924327 |     4751    373 |        0 |        0
1189.08/1189.51	c 1189s |      20 |  1057850 |   925427 |     4751    374 |        0 |        0
1191.17/1191.61	c 1191s |      20 |  1059027 |   926527 |     4751    374 |        0 |        0
1193.18/1193.62	c 1193s |      20 |  1060604 |   927927 |     4751    374 |        0 |        0
1195.17/1195.70	c 1195s |      20 |  1062800 |   929827 |     4751    375 |        0 |        0
1197.27/1197.73	c 1197s |      20 |  1064471 |   931327 |     4751    376 |        0 |        0
1199.37/1199.82	c 1199s |      20 |  1066341 |   933027 |     4751    376 |        0 |        0
1201.37/1201.85	c 1201s |      20 |  1067888 |   934427 |     4751    377 |        0 |        0
1203.47/1203.92	c 1203s |      20 |  1069450 |   935827 |     4751    377 |        0 |        0
1205.47/1205.98	c 1205s |      20 |  1071114 |   937327 |     4751    378 |        0 |        0
1207.67/1208.14	c 1208s |      20 |  1072743 |   938827 |     4751    378 |        0 |        0
1209.68/1210.16	c 1210s |      20 |  1074078 |   940027 |     4751    379 |        0 |        0
1211.67/1212.18	c 1212s |      20 |  1075969 |   941627 |     4751    379 |        0 |        0
1213.87/1214.32	c 1214s |      20 |  1078304 |   943527 |     4751    380 |        0 |        0
1215.87/1216.32	c 1216s |      20 |  1079891 |   944927 |     4751    380 |        0 |        0
1217.97/1218.42	c 1218s |      20 |  1081479 |   946327 |     4751    381 |        0 |        0
1220.07/1220.55	c 1220s |      20 |  1083055 |   947727 |     4751    381 |        0 |        0
1222.17/1222.61	c 1222s |      20 |  1084395 |   948927 |     4751    382 |        0 |        0
1224.27/1224.75	c 1224s |      20 |  1085965 |   950327 |     4751    382 |        0 |        0
1226.37/1226.83	c 1226s |      20 |  1087055 |   951327 |     4751    383 |        0 |        0
1228.47/1228.93	c 1228s |      20 |  1088595 |   952727 |     4751    383 |        0 |        0
1230.67/1231.13	c 1231s |      20 |  1089981 |   954027 |     4751    383 |        0 |        0
1232.67/1233.18	c 1233s |      20 |  1092149 |   955727 |     4751    384 |        0 |        0
1234.77/1235.23	c 1235s |      20 |  1093890 |   957227 |     4751    385 |        0 |        0
1236.87/1237.31	c 1237s |      20 |  1095561 |   958727 |     4751    385 |        0 |        0
1238.86/1239.34	c 1239s |      20 |  1097011 |   960027 |     4751    386 |        0 |        0
1240.86/1241.38	c 1241s |      20 |  1098663 |   961527 |     4751    386 |        0 |        0
1242.96/1243.48	c 1243s |      20 |  1100087 |   962827 |     4751    386 |        0 |        0
1245.06/1245.58	c 1245s |      20 |  1101696 |   964227 |     4751    387 |        0 |        0
1247.07/1247.58	c 1247s |      20 |  1102985 |   965427 |     4751    387 |        0 |        0
1249.17/1249.69	c 1249s |      20 |  1104328 |   966627 |     4751    388 |        0 |        0
1251.26/1251.76	c 1251s |      20 |  1106672 |   968627 |     4751    388 |        0 |        0
1253.26/1253.78	c 1253s |      20 |  1108482 |   970227 |     4751    389 |        0 |        0
1255.36/1255.88	c 1255s |      20 |  1109979 |   971527 |     4751    389 |        0 |        0
1257.46/1257.91	c 1257s |      20 |  1111571 |   972927 |     4751    390 |        0 |        0
1259.46/1259.98	c 1259s |      20 |  1113034 |   974227 |     4751    390 |        0 |        0
1261.56/1262.05	c 1261s |      20 |  1114615 |   975627 |     4751    391 |        0 |        0
1263.66/1264.15	c 1264s |      20 |  1116222 |   977027 |     4751    391 |        0 |        0
1265.77/1266.29	c 1266s |      20 |  1117885 |   978527 |     4751    392 |        0 |        0
1267.87/1268.36	c 1268s |      20 |  1119286 |   979827 |     4751    392 |        0 |        0
1269.96/1270.49	c 1270s |      20 |  1120603 |   981027 |     4751    393 |        0 |        0
1272.06/1272.55	c 1272s |      20 |  1122027 |   982327 |     4751    393 |        0 |        0
1274.16/1274.62	c 1274s |      20 |  1123467 |   983627 |     4751    394 |        0 |        0
1276.26/1276.79	c 1276s |      20 |  1125120 |   985127 |     4751    394 |        0 |        0
1278.36/1278.85	c 1278s |      20 |  1126555 |   986427 |     4751    395 |        0 |        0
1280.46/1280.98	c 1280s |      20 |  1128096 |   987827 |     4751    395 |        0 |        0
1282.66/1283.16	c 1283s |      20 |  1129448 |   989027 |     4751    396 |        0 |        0
1284.76/1285.24	c 1285s |      20 |  1131117 |   990527 |     4751    396 |        0 |        0
1286.96/1287.44	c 1287s |      20 |  1132722 |   991927 |     4751    397 |        0 |        0
1288.96/1289.44	c 1289s |      20 |  1134426 |   993427 |     5227    397 |        0 |        0
1291.06/1291.54	c 1291s |      20 |  1136219 |   995027 |     5227    397 |        0 |        0
1293.06/1293.56	c 1293s |      20 |  1137784 |   996427 |     5227    398 |        0 |        0
1295.06/1295.59	c 1295s |      20 |  1139210 |   997727 |     5227    398 |        0 |        0
1297.35/1297.83	c 1297s |      20 |  1140643 |   999027 |     5227    399 |        0 |        0
1299.25/1299.74	c 1299s |      21 |  1142088 |  1000345 |     5227    399 |        0 |        0
1301.25/1301.78	c 1301s |      21 |  1145231 |  1002445 |     5227    400 |        0 |        0
1303.35/1303.82	c 1303s |      21 |  1147236 |  1004245 |     5227    400 |        0 |        0
1305.45/1305.96	c 1305s |      21 |  1149003 |  1005845 |     5227    401 |        0 |        0
1307.46/1308.00	c 1307s |      21 |  1151016 |  1007545 |     5227    401 |        0 |        0
1309.55/1310.04	c 1309s |      21 |  1152490 |  1008845 |     5227    402 |        0 |        0
1311.55/1312.05	c 1311s |      21 |  1154290 |  1010445 |     5227    402 |        0 |        0
1313.66/1314.17	c 1314s |      21 |  1156129 |  1012045 |     5227    403 |        0 |        0
1315.76/1316.29	c 1316s |      21 |  1157881 |  1013645 |     5227    403 |        0 |        0
1317.86/1318.32	c 1318s |      21 |  1159425 |  1015045 |     5227    404 |        0 |        0
1319.96/1320.46	c 1320s |      21 |  1161096 |  1016545 |     5227    404 |        0 |        0
1322.06/1322.51	c 1322s |      21 |  1162512 |  1017845 |     5227    405 |        0 |        0
1324.06/1324.52	c 1324s |      21 |  1164240 |  1019345 |     5227    405 |        0 |        0
1326.06/1326.53	c 1326s |      21 |  1165921 |  1020745 |     5227    406 |        0 |        0
1328.16/1328.64	c 1328s |      21 |  1167760 |  1022345 |     5227    406 |        0 |        0
1330.26/1330.73	c 1330s |      21 |  1169236 |  1023645 |     5227    407 |        0 |        0
1332.36/1332.80	c 1332s |      21 |  1171153 |  1025345 |     5227    407 |        0 |        0
1334.46/1334.96	c 1334s |      21 |  1172850 |  1026845 |     5227    408 |        0 |        0
1336.46/1336.96	c 1336s |      21 |  1174515 |  1028345 |     5227    408 |        0 |        0
1338.56/1339.07	c 1338s |      21 |  1176061 |  1029745 |     5227    408 |        0 |        0
1340.65/1341.18	c 1341s |      21 |  1177729 |  1031245 |     5227    409 |        0 |        0
1342.66/1343.20	c 1343s |      21 |  1179318 |  1032645 |     5227    409 |        0 |        0
1344.75/1345.21	c 1345s |      21 |  1180739 |  1033945 |     5227    410 |        0 |        0
1346.75/1347.22	c 1347s |      21 |  1182454 |  1035445 |     5227    410 |        0 |        0
1348.85/1349.40	c 1349s |      21 |  1183978 |  1036845 |     5227    411 |        0 |        0
1350.95/1351.44	c 1351s |      21 |  1185787 |  1038445 |     5227    411 |        0 |        0
1353.05/1353.54	c 1353s |      21 |  1187329 |  1039745 |     5227    412 |        0 |        0
1355.05/1355.56	c 1355s |      21 |  1189265 |  1041345 |     5227    412 |        0 |        0
1357.15/1357.65	c 1357s |      21 |  1190863 |  1042745 |     5227    413 |        0 |        0
1359.16/1359.66	c 1359s |      21 |  1192454 |  1044145 |     5227    413 |        0 |        0
1361.25/1361.77	c 1361s |      21 |  1194038 |  1045545 |     5227    413 |        0 |        0
1363.35/1363.87	c 1363s |      21 |  1195759 |  1047045 |     5227    414 |        0 |        0
1365.45/1365.92	c 1365s |      21 |  1197392 |  1048545 |     5227    414 |        0 |        0
1367.55/1368.00	c 1367s |      21 |  1198929 |  1049945 |     5227    415 |        0 |        0
1369.55/1370.09	c 1369s |      21 |  1200459 |  1051345 |     5227    415 |        0 |        0
1371.75/1372.22	c 1372s |      21 |  1201800 |  1052545 |     5227    416 |        0 |        0
1373.75/1374.26	c 1374s |      21 |  1203354 |  1053945 |     5227    416 |        0 |        0
1375.85/1376.35	c 1376s |      21 |  1205069 |  1055445 |     5227    417 |        0 |        0
1377.95/1378.45	c 1378s |      21 |  1206699 |  1056945 |     5227    417 |        0 |        0
1379.95/1380.49	c 1380s |      21 |  1208108 |  1058245 |     5227    418 |        0 |        0
1382.15/1382.61	c 1382s |      21 |  1209780 |  1059745 |     5227    418 |        0 |        0
1384.15/1384.64	c 1384s |      21 |  1211209 |  1061045 |     5227    418 |        0 |        0
1386.15/1386.68	c 1386s |      21 |  1213144 |  1062645 |     5227    419 |        0 |        0
1388.25/1388.71	c 1388s |      21 |  1215140 |  1064345 |     5227    419 |        0 |        0
1390.24/1390.79	c 1390s |      21 |  1216812 |  1065845 |     5227    420 |        0 |        0
1392.34/1392.89	c 1392s |      21 |  1218480 |  1067345 |     5227    420 |        0 |        0
1394.35/1394.89	c 1394s |      21 |  1219885 |  1068645 |     5227    421 |        0 |        0
1396.44/1396.91	c 1396s |      21 |  1221279 |  1069945 |     5227    421 |        0 |        0
1398.44/1398.97	c 1398s |      21 |  1222960 |  1071345 |     5227    422 |        0 |        0
1400.54/1401.05	c 1400s |      21 |  1224640 |  1072845 |     5227    422 |        0 |        0
1402.64/1403.14	c 1403s |      21 |  1226106 |  1074145 |     5227    423 |        0 |        0
1404.64/1405.18	c 1405s |      21 |  1227840 |  1075645 |     5227    423 |        0 |        0
1406.74/1407.25	c 1407s |      21 |  1229488 |  1077145 |     5227    424 |        0 |        0
1408.84/1409.30	c 1409s |      21 |  1231256 |  1078745 |     5227    424 |        0 |        0
1410.85/1411.38	c 1411s |      21 |  1232674 |  1080045 |     5227    424 |        0 |        0
1412.94/1413.45	c 1413s |      21 |  1234077 |  1081345 |     5227    425 |        0 |        0
1414.94/1415.47	c 1415s |      21 |  1235360 |  1082545 |     5227    425 |        0 |        0
1417.04/1417.52	c 1417s |      21 |  1236806 |  1083845 |     5227    426 |        0 |        0
1419.14/1419.60	c 1419s |      21 |  1238299 |  1085245 |     5227    426 |        0 |        0
1421.14/1421.66	c 1421s |      21 |  1239841 |  1086545 |     5227    427 |        0 |        0
1423.14/1423.69	c 1423s |      21 |  1241576 |  1088045 |     5227    427 |        0 |        0
1425.24/1425.76	c 1425s |      21 |  1243237 |  1089545 |     5227    428 |        0 |        0
1427.34/1427.87	c 1427s |      21 |  1244912 |  1091045 |     5227    428 |        0 |        0
1429.34/1429.87	c 1429s |      21 |  1246333 |  1092345 |     5227    428 |        0 |        0
1431.44/1431.95	c 1431s |      21 |  1247754 |  1093645 |     5227    429 |        0 |        0
1433.44/1433.98	c 1433s |      21 |  1249156 |  1094945 |     5227    429 |        0 |        0
1435.54/1436.06	c 1435s |      21 |  1250769 |  1096345 |     5227    430 |        0 |        0
1437.54/1438.09	c 1437s |      21 |  1252333 |  1097745 |     5227    430 |        0 |        0
1439.64/1440.19	c 1440s |      21 |  1254008 |  1099245 |     5227    431 |        0 |        0
1441.74/1442.29	c 1442s |      21 |  1255647 |  1100745 |     5227    431 |        0 |        0
1443.94/1444.46	c 1444s |      21 |  1257176 |  1102145 |     5227    432 |        0 |        0
1446.04/1446.56	c 1446s |      21 |  1258825 |  1103645 |     5227    432 |        0 |        0
1448.13/1448.63	c 1448s |      21 |  1260242 |  1104945 |     5227    432 |        0 |        0
1450.13/1450.68	c 1450s |      21 |  1261764 |  1106245 |     5227    433 |        0 |        0
1452.23/1452.79	c 1452s |      21 |  1263551 |  1107745 |     5227    433 |        0 |        0
1454.33/1454.89	c 1454s |      21 |  1265002 |  1109045 |     5227    434 |        0 |        0
1456.33/1456.89	c 1456s |      21 |  1266615 |  1110445 |     5227    434 |        0 |        0
1458.53/1459.02	c 1458s |      21 |  1268192 |  1111845 |     5227    435 |        0 |        0
1460.63/1461.16	c 1461s |      21 |  1269854 |  1113345 |     5227    435 |        0 |        0
1462.83/1463.30	c 1463s |      21 |  1271288 |  1114645 |     5227    436 |        0 |        0
1464.84/1465.33	c 1465s |      21 |  1272871 |  1116045 |     5227    436 |        0 |        0
1466.94/1467.47	c 1467s |      21 |  1274398 |  1117445 |     5227    436 |        0 |        0
1469.03/1469.59	c 1469s |      21 |  1276036 |  1118845 |     5227    437 |        0 |        0
1471.13/1471.65	c 1471s |      21 |  1277648 |  1120245 |     5227    437 |        0 |        0
1473.23/1473.72	c 1473s |      21 |  1279083 |  1121545 |     5227    438 |        0 |        0
1475.33/1475.89	c 1475s |      21 |  1280758 |  1123045 |     5227    438 |        0 |        0
1477.43/1477.91	c 1477s |      21 |  1282078 |  1124245 |     5227    439 |        0 |        0
1479.53/1480.06	c 1479s |      21 |  1283873 |  1125845 |     5227    439 |        0 |        0
1481.53/1482.06	c 1481s |      21 |  1285316 |  1127145 |     5227    439 |        0 |        0
1483.53/1484.08	c 1483s |      21 |  1286738 |  1128445 |     5227    440 |        0 |        0
1485.63/1486.18	c 1486s |      21 |  1288423 |  1129945 |     5227    440 |        0 |        0
1487.72/1488.26	c 1488s |      21 |  1289795 |  1131145 |     5227    441 |        0 |        0
1489.92/1490.41	c 1490s |      21 |  1291452 |  1132645 |     5227    441 |        0 |        0
1491.92/1492.46	c 1492s |      21 |  1293153 |  1134145 |     5227    442 |        0 |        0
1494.02/1494.52	c 1494s |      21 |  1294835 |  1135645 |     5227    442 |        0 |        0
1496.12/1496.64	c 1496s |      21 |  1296288 |  1136945 |     5227    443 |        0 |        0
1498.12/1498.66	c 1498s |      21 |  1297763 |  1138245 |     5227    443 |        0 |        0
1500.12/1500.70	c 1500s |      21 |  1299323 |  1139645 |     5227    443 |        0 |        0
1502.23/1502.79	c 1502s |      21 |  1301230 |  1141345 |     5227    444 |        0 |        0
1504.33/1504.90	c 1504s |      21 |  1302906 |  1142845 |     5227    444 |        0 |        0
1506.42/1506.91	c 1506s |      21 |  1304374 |  1144145 |     5227    445 |        0 |        0
1508.42/1508.94	c 1508s |      21 |  1305781 |  1145445 |     5227    445 |        0 |        0
1510.42/1510.95	c 1510s |      21 |  1307115 |  1146645 |     5227    446 |        0 |        0
1512.52/1513.08	c 1512s |      21 |  1308748 |  1148145 |     5227    446 |        0 |        0
1514.62/1515.17	c 1515s |      21 |  1310159 |  1149445 |     5227    447 |        0 |        0
1516.72/1517.29	c 1517s |      21 |  1311649 |  1150845 |     5227    447 |        0 |        0
1518.92/1519.41	c 1519s |      21 |  1312960 |  1152045 |     5227    447 |        0 |        0
1520.93/1521.44	c 1521s |      21 |  1314756 |  1153545 |     5227    448 |        0 |        0
1523.03/1523.53	c 1523s |      21 |  1316583 |  1155145 |     5227    448 |        0 |        0
1525.12/1525.70	c 1525s |      21 |  1318115 |  1156545 |     5227    449 |        0 |        0
1527.32/1527.85	c 1527s |      21 |  1319504 |  1157845 |     5227    449 |        0 |        0
1529.42/1529.93	c 1529s |      21 |  1320811 |  1159045 |     5227    450 |        0 |        0
1531.52/1532.04	c 1531s |      21 |  1322382 |  1160445 |     5227    450 |        0 |        0
1533.73/1534.22	c 1534s |      21 |  1323797 |  1161745 |     5227    451 |        0 |        0
1535.73/1536.29	c 1536s |      21 |  1325204 |  1163045 |     5227    451 |        0 |        0
1537.83/1538.37	c 1538s |      21 |  1326700 |  1164345 |     5227    451 |        0 |        0
1539.93/1540.49	c 1540s |      21 |  1328141 |  1165645 |     5227    452 |        0 |        0
1542.13/1542.61	c 1542s |      21 |  1329601 |  1166945 |     5227    452 |        0 |        0
1544.23/1544.75	c 1544s |      21 |  1330815 |  1168045 |     5227    453 |        0 |        0
1546.32/1546.86	c 1546s |      21 |  1332114 |  1169245 |     5227    453 |        0 |        0
1548.52/1549.03	c 1548s |      21 |  1333312 |  1170345 |     5227    453 |        0 |        0
1550.63/1551.17	c 1551s |      21 |  1334497 |  1171445 |     5227    454 |        0 |        0
1552.83/1553.34	c 1553s |      21 |  1336152 |  1172845 |     5227    454 |        0 |        0
1554.82/1555.38	c 1555s |      21 |  1337554 |  1174045 |     5227    454 |        0 |        0
1556.92/1557.43	c 1557s |      21 |  1338671 |  1175045 |     5227    455 |        0 |        0
1559.02/1559.54	c 1559s |      21 |  1340040 |  1176245 |     5227    455 |        0 |        0
1561.02/1561.55	c 1561s |      21 |  1341151 |  1177245 |     5227    455 |        0 |        0
1563.02/1563.58	c 1563s |      21 |  1342376 |  1178345 |     5227    456 |        0 |        0
1565.22/1565.74	c 1565s |      21 |  1343833 |  1179645 |     5227    456 |        0 |        0
1567.32/1567.88	c 1567s |      21 |  1345166 |  1180845 |     5227    457 |        0 |        0
1569.52/1570.04	c 1569s |      21 |  1346455 |  1182045 |     5227    457 |        0 |        0
1571.72/1572.27	c 1572s |      21 |  1347582 |  1183045 |     5227    457 |        0 |        0
1573.92/1574.43	c 1574s |      21 |  1348677 |  1184045 |     5227    458 |        0 |        0
1576.02/1576.55	c 1576s |      21 |  1349873 |  1185145 |     5227    458 |        0 |        0
1578.02/1578.60	c 1578s |      21 |  1351360 |  1186445 |     5227    458 |        0 |        0
1580.12/1580.62	c 1580s |      21 |  1352734 |  1187645 |     5227    459 |        0 |        0
1582.22/1582.76	c 1582s |      21 |  1354127 |  1188845 |     5227    459 |        0 |        0
1584.22/1584.76	c 1584s |      21 |  1355212 |  1189845 |     5227    459 |        0 |        0
1586.32/1586.85	c 1586s |      21 |  1356413 |  1190945 |     5227    460 |        0 |        0
1588.52/1589.01	c 1588s |      21 |  1357740 |  1192145 |     5227    460 |        0 |        0
1590.82/1591.34	c 1591s |      21 |  1358838 |  1193145 |     5227    461 |        0 |        0
1592.92/1593.42	c 1593s |      21 |  1360192 |  1194345 |     5227    461 |        0 |        0
1594.92/1595.47	c 1595s |      21 |  1361601 |  1195545 |     5227    461 |        0 |        0
1597.02/1597.51	c 1597s |      21 |  1362804 |  1196645 |     5227    462 |        0 |        0
1599.02/1599.60	c 1599s |      21 |  1364102 |  1197845 |     5227    462 |        0 |        0
1601.22/1601.72	c 1601s |      21 |  1365298 |  1198945 |     5227    462 |        0 |        0
1603.21/1603.78	c 1603s |      21 |  1366393 |  1199945 |     5227    463 |        0 |        0
1605.41/1605.97	c 1605s |      21 |  1367629 |  1201045 |     5227    463 |        0 |        0
1607.51/1608.05	c 1607s |      21 |  1369000 |  1202245 |     5227    463 |        0 |        0
1609.61/1610.11	c 1609s |      21 |  1370187 |  1203345 |     5227    464 |        0 |        0
1611.71/1612.21	c 1612s |      21 |  1371560 |  1204545 |     5227    464 |        0 |        0
1613.71/1614.28	c 1614s |      21 |  1372652 |  1205545 |     5227    464 |        0 |        0
1615.91/1616.40	c 1616s |      21 |  1374057 |  1206745 |     5227    465 |        0 |        0
1617.91/1618.41	c 1618s |      21 |  1375411 |  1207945 |     5227    465 |        0 |        0
1619.92/1620.43	c 1620s |      21 |  1376505 |  1208945 |     5227    466 |        0 |        0
1621.91/1622.49	c 1622s |      21 |  1377708 |  1210045 |     5227    466 |        0 |        0
1624.11/1624.61	c 1624s |      21 |  1378928 |  1211145 |     5227    466 |        0 |        0
1626.11/1626.69	c 1626s |      21 |  1379900 |  1212045 |     5227    467 |        0 |        0
1628.31/1628.88	c 1628s |      21 |  1381092 |  1213145 |     5227    467 |        0 |        0
1630.41/1630.96	c 1630s |      21 |  1382507 |  1214345 |     5227    467 |        0 |        0
1632.51/1633.03	c 1632s |      21 |  1383813 |  1215445 |     5227    468 |        0 |        0
1634.51/1635.06	c 1634s |      21 |  1385175 |  1216645 |     5227    468 |        0 |        0
1636.71/1637.21	c 1637s |      21 |  1386381 |  1217745 |     5227    468 |        0 |        0
1638.81/1639.38	c 1639s |      21 |  1387594 |  1218845 |     5227    469 |        0 |        0
1641.01/1641.51	c 1641s |      21 |  1388812 |  1219945 |     5227    469 |        0 |        0
1643.01/1643.52	c 1643s |      21 |  1389894 |  1220945 |     5227    469 |        0 |        0
1645.11/1645.68	c 1645s |      21 |  1390906 |  1221845 |     5227    470 |        0 |        0
1647.20/1647.76	c 1647s |      21 |  1392038 |  1222845 |     5227    470 |        0 |        0
1649.40/1649.90	c 1649s |      21 |  1393015 |  1223745 |     5227    470 |        0 |        0
1651.50/1652.06	c 1651s |      21 |  1393985 |  1224645 |     5227    471 |        0 |        0
1653.60/1654.14	c 1654s |      21 |  1395073 |  1225645 |     5227    471 |        0 |        0
1655.70/1656.28	c 1656s |      21 |  1396565 |  1226945 |     5227    471 |        0 |        0
1657.80/1658.39	c 1658s |      21 |  1397965 |  1228145 |     5227    472 |        0 |        0
1659.90/1660.47	c 1660s |      21 |  1399293 |  1229345 |     5227    472 |        0 |        0
1662.10/1662.61	c 1662s |      21 |  1400516 |  1230445 |     5227    472 |        0 |        0
1664.20/1664.79	c 1664s |      21 |  1401748 |  1231545 |     5227    473 |        0 |        0
1666.40/1666.92	c 1666s |      21 |  1402952 |  1232645 |     5227    473 |        0 |        0
1668.40/1668.92	c 1668s |      21 |  1403920 |  1233545 |     5227    473 |        0 |        0
1670.41/1670.99	c 1670s |      21 |  1404919 |  1234445 |     5227    474 |        0 |        0
1672.60/1673.13	c 1673s |      21 |  1405911 |  1235345 |     5227    474 |        0 |        0
1674.70/1675.26	c 1675s |      21 |  1406882 |  1236245 |     5227    474 |        0 |        0
1676.70/1677.28	c 1677s |      21 |  1408505 |  1237645 |     5227    475 |        0 |        0
1678.90/1679.41	c 1679s |      21 |  1410541 |  1239445 |     5227    475 |        0 |        0
1680.90/1681.42	c 1681s |      21 |  1412083 |  1240845 |     5227    476 |        0 |        0
1682.90/1683.42	c 1683s |      21 |  1413608 |  1242245 |     5227    476 |        0 |        0
1685.00/1685.50	c 1685s |      21 |  1415108 |  1243545 |     5227    477 |        0 |        0
1687.00/1687.60	c 1687s |      21 |  1416769 |  1245045 |     5227    477 |        0 |        0
1689.30/1689.82	c 1689s |      21 |  1418328 |  1246445 |     5227    478 |        0 |        0
1691.30/1691.82	c 1691s |      21 |  1420126 |  1248045 |     5227    478 |        0 |        0
1693.40/1693.91	c 1693s |      21 |  1421784 |  1249545 |     5227    478 |        0 |        0
1695.39/1695.93	c 1695s |      21 |  1423470 |  1251045 |     5227    479 |        0 |        0
1697.49/1698.03	c 1697s |      21 |  1425105 |  1252545 |     5227    479 |        0 |        0
1699.49/1700.06	c 1699s |      21 |  1426787 |  1254045 |     5227    480 |        0 |        0
1701.59/1702.13	c 1702s |      21 |  1428234 |  1255345 |     5227    480 |        0 |        0
1703.69/1704.25	c 1704s |      21 |  1429685 |  1256645 |     5227    481 |        0 |        0
1705.70/1706.29	c 1706s |      21 |  1431346 |  1258145 |     5227    481 |        0 |        0
1707.90/1708.41	c 1708s |      21 |  1432963 |  1259645 |     5227    482 |        0 |        0
1709.89/1710.50	c 1710s |      21 |  1434565 |  1261045 |     5227    482 |        0 |        0
1711.99/1712.53	c 1712s |      21 |  1435975 |  1262345 |     5227    483 |        0 |        0
1713.99/1714.57	c 1714s |      21 |  1437608 |  1263845 |     5227    483 |        0 |        0
1716.09/1716.62	c 1716s |      21 |  1439163 |  1265245 |     5227    483 |        0 |        0
1718.09/1718.66	c 1718s |      21 |  1440681 |  1266645 |     5227    484 |        0 |        0
1720.20/1720.73	c 1720s |      21 |  1442099 |  1267945 |     5227    484 |        0 |        0
1722.21/1722.74	c 1722s |      21 |  1443798 |  1269445 |     5227    485 |        0 |        0
1724.30/1724.82	c 1724s |      21 |  1445327 |  1270845 |     5227    485 |        0 |        0
1726.30/1726.85	c 1726s |      21 |  1446886 |  1272245 |     5227    486 |        0 |        0
1728.29/1728.88	c 1728s |      21 |  1448193 |  1273445 |     5227    486 |        0 |        0
1730.29/1730.88	c 1730s |      21 |  1449546 |  1274645 |     5227    486 |        0 |        0
1732.39/1732.91	c 1732s |      21 |  1451265 |  1276145 |     5227    487 |        0 |        0
1734.49/1735.04	c 1734s |      21 |  1452908 |  1277645 |     5227    487 |        0 |        0
1736.59/1737.16	c 1737s |      21 |  1454080 |  1278745 |     5227    488 |        0 |        0
1738.70/1739.26	c 1739s |      21 |  1455765 |  1280245 |     5227    488 |        0 |        0
1740.80/1741.34	c 1741s |      21 |  1457477 |  1281745 |     5227    489 |        0 |        0
1742.89/1743.43	c 1743s |      21 |  1459280 |  1283345 |     5227    489 |        0 |        0
1744.99/1745.57	c 1745s |      21 |  1460848 |  1284745 |     5227    490 |        0 |        0
1747.09/1747.67	c 1747s |      21 |  1462397 |  1286145 |     5227    490 |        0 |        0
1749.19/1749.71	c 1749s |      21 |  1463698 |  1287345 |     5227    491 |        0 |        0
1751.19/1751.73	c 1751s |      21 |  1465240 |  1288745 |     5227    491 |        0 |        0
1753.19/1753.77	c 1753s |      21 |  1466669 |  1290045 |     5227    491 |        0 |        0
1755.20/1755.77	c 1755s |      21 |  1468065 |  1291345 |     5227    492 |        0 |        0
1757.40/1757.91	c 1757s |      21 |  1469718 |  1292845 |     5227    492 |        0 |        0
1759.39/1759.92	c 1759s |      21 |  1471285 |  1294245 |     5227    493 |        0 |        0
1761.39/1761.97	c 1761s |      21 |  1472813 |  1295645 |     5227    493 |        0 |        0
1763.49/1764.04	c 1763s |      21 |  1474377 |  1297045 |     5227    494 |        0 |        0
1765.59/1766.12	c 1766s |      21 |  1475991 |  1298545 |     5227    494 |        0 |        0
1767.59/1768.18	c 1768s |      21 |  1477484 |  1299945 |     5227    495 |        0 |        0
1769.69/1770.27	c 1770s |      21 |  1479311 |  1301545 |     5227    495 |        0 |        0
1771.79/1772.34	c 1772s |      21 |  1480783 |  1302945 |     5227    495 |        0 |        0
1773.79/1774.38	c 1774s |      21 |  1482235 |  1304245 |     5227    496 |        0 |        0
1775.79/1776.39	c 1776s |      21 |  1483940 |  1305745 |     5227    496 |        0 |        0
1777.89/1778.47	c 1778s |      21 |  1485489 |  1307145 |     5227    497 |        0 |        0
1780.09/1780.62	c 1780s |      21 |  1486952 |  1308445 |     5227    497 |        0 |        0
1782.19/1782.70	c 1782s |      21 |  1488506 |  1309845 |     5227    498 |        0 |        0
1784.18/1784.71	c 1784s |      21 |  1490163 |  1311345 |     5227    498 |        0 |        0
1786.28/1786.80	c 1786s |      21 |  1491621 |  1312645 |     5227    499 |        0 |        0
1788.28/1788.85	c 1788s |      21 |  1493265 |  1314145 |     5227    499 |        0 |        0
1790.39/1790.99	c 1790s |      21 |  1494792 |  1315545 |     5227    499 |        0 |        0
1792.49/1793.06	c 1792s |      21 |  1496495 |  1317045 |     5227    500 |        0 |        0
1794.48/1795.07	c 1794s |      21 |  1497920 |  1318345 |     5227    500 |        0 |        0
1796.48/1797.07	c 1796s |      21 |  1499493 |  1319745 |     5227    501 |        0 |        0
1798.58/1799.18	c 1799s |      21 |  1501057 |  1321145 |     5227    501 |        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-4093632-1466091442/watcher-4093632-1466091442 -o /tmp/evaluation-result-4093632-1466091442/solver-4093632-1466091442 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093632-1466091442.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.08 2.04 3/179 16481
/proc/meminfo: memFree=30350872/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=387516 CPUtime=0 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 1384 0 0 0 0 0 0 0 20 0 4 0 11189886 396816384 1235 33554432000 4194304 16246674 140736427376320 140736427375744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 97391 1245 441 2943 0 94285 0
[pid=16481/tid=16482] ppid=16478 vsize=402876 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 412545024 1298 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=406972 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 416739328 1314 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=411068 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189887 420933632 1330 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.09 2.08 2.04 3/179 16481
/proc/meminfo: memFree=30350872/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 23534 0 0 0 6 2 0 0 20 0 4 0 11189886 1247350784 23377 33554432000 4194304 16246674 140736427376320 140736427375744 12459048 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 304529 23381 611 2943 0 301423 0
[pid=16481/tid=16482] ppid=16478 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1247350784 23387 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1247350784 23398 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189887 1247350784 23412 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200481 s]
/proc/loadavg: 2.09 2.08 2.04 3/179 16481
/proc/meminfo: memFree=30350872/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 46046 0 0 0 13 5 0 0 20 0 4 0 11189886 1247350784 45883 33554432000 4194304 16246674 140736427376320 140736427375744 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 304529 45898 805 2943 0 301423 0
[pid=16481/tid=16482] ppid=16478 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1247350784 45907 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1247350784 45918 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11189887 1247350784 45927 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300431 s]
/proc/loadavg: 2.09 2.08 2.04 3/179 16481
/proc/meminfo: memFree=30350872/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1304132 CPUtime=0.29 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 66199 0 0 0 20 9 0 0 20 0 4 0 11189886 1335431168 66014 33554432000 4194304 16246674 140736427376320 140736427375632 12478189 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 326033 66031 865 2943 0 322927 0
[pid=16481/tid=16482] ppid=16478 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1335431168 66046 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1335431168 66055 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1335431168 66061 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1304132

[startup+0.700373 s]
/proc/loadavg: 2.09 2.08 2.04 3/179 16481
/proc/meminfo: memFree=30350872/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 111517 0 0 0 53 16 0 0 20 0 4 0 11189886 1337528320 111331 33554432000 4194304 16246674 140736427376320 140736427358208 5545885 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 326545 111340 865 2943 0 323439 0
[pid=16481/tid=16482] ppid=16478 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1337528320 111347 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1337528320 111356 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1337528320 111366 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50037 s]
/proc/loadavg: 2.09 2.08 2.04 3/183 16485
/proc/meminfo: memFree=29484576/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 267946 0 0 0 112 37 0 0 20 0 4 0 11189886 1339625472 267760 33554432000 4194304 16246674 140736427376320 140736427358208 13820907 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 327057 267760 869 2943 0 323951 0
[pid=16481/tid=16482] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1339625472 267760 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1339625472 267760 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1339625472 267760 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228

[startup+3.10037 s]
/proc/loadavg: 2.09 2.08 2.04 4/183 16485
/proc/meminfo: memFree=29280100/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 267946 0 0 0 272 37 0 0 20 0 4 0 11189886 1339625472 267760 33554432000 4194304 16246674 140736427376320 140736427358208 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 327057 267760 869 2943 0 323951 0
[pid=16481/tid=16482] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1339625472 267760 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1339625472 267760 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1339625472 267760 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30038 s]
/proc/loadavg: 2.08 2.08 2.04 3/183 16485
/proc/meminfo: memFree=29279108/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 268175 0 0 0 592 37 0 0 20 0 4 0 11189886 1339625472 267989 33554432000 4194304 16246674 140736427376320 140736427358208 5545993 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 327057 267989 871 2943 0 323951 0
[pid=16481/tid=16482] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1339625472 267989 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1339625472 267989 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1339625472 267989 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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: 1.99 2.06 2.03 3/183 16534
/proc/meminfo: memFree=29295804/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 268450 0 0 0 1232 37 0 0 20 0 4 0 11189886 1341722624 268264 33554432000 4194304 16246674 140736427376320 140736427358208 13950218 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 327569 268264 871 2943 0 324463 0
[pid=16481/tid=16482] ppid=16478 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1341722624 268264 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1341722624 268264 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1341722624 268264 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.06 2.08 2.04 3/183 16534
/proc/meminfo: memFree=29284648/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 270223 0 0 0 2511 37 0 0 20 0 4 0 11189886 1348014080 270037 33554432000 4194304 16246674 140736427376320 140736427358208 6020736 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 329105 270037 871 2943 0 325999 0
[pid=16481/tid=16482] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1348014080 270037 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1348014080 270037 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1348014080 270037 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.04 2.07 2.03 3/184 16535
/proc/meminfo: memFree=29277868/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 270231 0 0 0 5070 38 0 0 20 0 4 0 11189886 1348014080 270037 33554432000 4194304 16246674 140736427376320 140736427358208 5523360 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 329105 270037 871 2943 0 325999 0
[pid=16481/tid=16482] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1348014080 270037 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1348014080 270037 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1348014080 270037 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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: 2.06 2.07 2.03 3/183 16536
/proc/meminfo: memFree=29277012/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1316420 CPUtime=102.26 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 270266 0 0 0 10186 40 0 0 20 0 4 0 11189886 1348014080 270039 33554432000 4194304 16246674 140736427376320 140736427375496 5546023 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16481/statm: 329105 270039 873 2943 0 325999 0
[pid=16481/tid=16482] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1348014080 270039 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1348014080 270039 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1348014080 270039 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1316420


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

/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1326660

[startup+1302.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/183 16566
/proc/meminfo: memFree=29254152/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1301.85 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 130139 46 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 13191915 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1326660

[startup+1362.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/183 16570
/proc/meminfo: memFree=29253676/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1361.85 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 136138 47 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 5675619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1326660

[startup+1422.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/184 16595
/proc/meminfo: memFree=29253168/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1421.84 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 142137 47 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1326660

[startup+1482.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/183 16596
/proc/meminfo: memFree=29254484/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1481.83 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 148136 47 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1326660

[startup+1542.31 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 16597
/proc/meminfo: memFree=29254612/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1541.83 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 154135 48 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1326660

[startup+1602.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 16598
/proc/meminfo: memFree=29254484/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1601.81 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 160133 48 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 12415743 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1326660

[startup+1662.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 16599
/proc/meminfo: memFree=29254604/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1326660 CPUtime=1661.8 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273204 0 0 0 166132 48 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140736427358208 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 331665 272601 875 2943 0 328559 0
[pid=16481/tid=16482] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1358499840 272601 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1326660

[startup+1722.3 s]
/proc/loadavg: 2.23 2.14 2.10 3/183 16601
/proc/meminfo: memFree=29252372/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1328708 CPUtime=1721.8 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273716 0 0 0 172131 49 0 0 20 0 4 0 11189886 1360596992 273113 33554432000 4194304 16246674 140736427376320 140736427358208 5823435 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 332177 273113 875 2943 0 329071 0
[pid=16481/tid=16482] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1360596992 273113 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1360596992 273113 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1360596992 273113 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 16602
/proc/meminfo: memFree=29250940/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1328708 CPUtime=1781.79 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273717 0 0 0 178130 49 0 0 20 0 4 0 11189886 1360596992 273369 33554432000 4194304 16246674 140736427376320 140736427358208 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 332177 273369 875 2943 0 329071 0
[pid=16481/tid=16482] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1360596992 273369 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1360596992 273369 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1360596992 273369 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.24 2.15 2.10 3/183 16602
/proc/meminfo: memFree=29251312/32872528 swapFree=532956/565660
[pid=16481] ppid=16478 vsize=1328708 CPUtime=1800.08 cores=0,2,4,6
/proc/16481/stat : 16481 (toysat) R 16478 16481 11130 0 -1 4202496 273717 0 0 0 179959 49 0 0 20 0 4 0 11189886 1360596992 273369 33554432000 4194304 16246674 140736427376320 140736427358208 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16481/statm: 332177 273369 875 2943 0 329071 0
[pid=16481/tid=16482] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16482/stat : 16482 (toysat) S 16478 16481 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11189886 1360596992 273369 33554432000 4194304 16246674 140736427376320 140551193079024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16481/tid=16483] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16483/stat : 16483 (toysat) S 16478 16481 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11189886 1360596992 273369 33554432000 4194304 16246674 140736427376320 140551182589168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16481/tid=16484] ppid=16478 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/16481/task/16484/stat : 16484 (toysat) S 16478 16481 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11189887 1360596992 273369 33554432000 4194304 16246674 140736427376320 140551172115632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1328708

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.6
CPU system time (s): 0.495924
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.495924
maximum resident set size= 1093476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273717
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= 430
involuntary context switches= 2017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70328 second user time and 7.06093 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 17:37:23
IDJOB=4093632
IDBENCH=79160
IDSOLVER=2553
FILE ID=node138/4093632-1466091442
RUNJOBID= node138-1466074865-13651
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 67b20cf3e4322ffbf404f0fb862124f3
RANDOM SEED=1597391358

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30351252 kB
Buffers:           44252 kB
Cached:           117140 kB
SwapCached:         1380 kB
Active:          1170676 kB
Inactive:          84524 kB
Active(anon):    1094464 kB
Inactive(anon):     1664 kB
Active(file):      76212 kB
Inactive(file):    82860 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1658548 kB
Mapped:            10612 kB
Shmem:                 0 kB
Slab:             568028 kB
SReclaimable:      11692 kB
SUnreclaim:       556336 kB
KernelStack:        1496 kB
PageTables:         7032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1801784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1118208 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= 71716 MiB
End job on node138 at 2016-06-16 18:07:23