Trace number 4093311

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/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMd97c5722fe377ef62d4d83eb3fe2e1eb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables840
Total number of constraints82
Number of soft constraints35
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 1734
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 1733
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
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-16T13:52:01+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-4093311-1466077921.wbo"]
0.00/0.01	c use --random-gen="3286293996 1035251796 717306946 3407341946 1462327375 2727213518 807313108 3532200007 1750288251 2987495429 2812313673 3728290828 2448324845 599421028 4122859359 2362271908 2588612266 2929632583 3027709680 2752859804 2738689435 1468913001 3099735462 3514052693 1067831333 1056421453 2058064011 3361747281 1915076875 1289064159 1513502797 2162123719 2257520587 2315403731 765031862 3093817041 810113773 3044248399 1853371952 2981975120 643261880 1698218879 3802638463 2207654475 4274158294 971469191 1223933207 452859834 1189680758 3282490823 3471348026 2797593472 1979983782 2242927229 3206556178 2682163092 2542713104 4006042705 2917712704 1325284220 2362971183 632929955 4276249545 2993225084 947414334 2209795670 1735160517 3859122302 976697654 2969307711 3676751384 2693886803 2101693186 3659187150 933525672 3133064556 1671520295 2133180460 1314712047 3839204817 1783148531 1444030253 901124296 1046485301 254806956 1085811615 997785860 156052874 472059327 776026139 3928496072 1709799309 451773903 905401771 2502887598 2832282110 3617269274 3407296673 1015396009 2460904801 2996451796 2506870821 3564208182 1834973193 3260430399 4186191215 4198522386 3289317568 3536560384 2903126859 2368832913 1388586908 4148172653 2605771897 1023133895 3140918622 4151111235 913528600 1201127931 2003134075 1548727456 2666687692 24141940 1513507789 1879291120 4275808723 2721018387 2456328495 1263541401 212084764 3668506580 2940479364 1463395771 758638735 632490162 3419593214 3371710410 1851513051 1841430474 4242291269 887518366 1079138917 1201774134 2121335137 4084097876 3457546041 3825867439 3152582649 2645576861 780215688 455372930 1979881656 3100960432 3226111740 2371514033 218822658 1050840519 1089162495 279954532 1874974612 1204126070 2447366539 2509144814 349500749 2875784873 3510755484 1878695764 3743567345 3797368295 3041740117 679681398 208336795 2267767993 4091676995 861615386 929079644 86753675 809069925 2122415672 157986652 1900557222 2163799023 1557716149 994232352 311919688 3489859202 3512103254 3845009627 3392272028 554986453 1960723911 681349256 2660004581 3152371700 773031387 3671019868 3610445282 3639263934 2327817245 2059888939 1575150638 1650459617 3294666920 765425618 1663063890 3049961861 1079895179 189459076 1478963400 3209813901 1873187873 1782308314 2650300717 4153289559 2651417420 3553583545 2223541784 983502833 1535808084 3477036928 4075451094 802422202 1521265216 372564447 841245304 3614943662 1404113565 87013248 3870539153 4156089208 2764477570 1757439556 3399643831 2463414219 884324170 763584692 2179713039 2258998223 929884645 2676689640 4184492815 1626936210 3977550734 2395377148 3502064237 1449475133 246770480 497992502 2240718320 3506038850 1521681510 1894528684 1863899631 2805730228 2636191275 1656975311 255 362436" option to reproduce the execution
0.00/0.04	c #vars 840
0.00/0.04	c #constraints 82
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      319      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      166 |      100 |      319      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      663 |      101 |      351      0 |        0 |        0
0.00/0.07	c #cpu_time = 0.023s
0.00/0.07	c #wall_clock_time = 0.023s
0.00/0.07	c #decision = 663
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 101
0.00/0.07	c #restart = 1
0.00/0.07	o 611
0.00/0.07	c BCD2: updating upper bound: 1733 -> 610
0.00/0.07	c BCD2: 0 <= obj <= 610
0.00/0.07	c BCD2: #cores=0, #unrelaxed=35, #relaxed=0, #hardened=0
0.00/0.07	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      351      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      284 |      100 |      351      0 |        0 |        0
0.09/0.14	c  0.1s |       2 |      823 |      250 |      387      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1480 |      475 |      426      0 |        0 |        0
0.39/0.45	c  0.4s |       4 |     2227 |      813 |      469      1 |        0 |        0
0.69/0.74	c  0.7s |       5 |     3335 |     1320 |      516      2 |        0 |        0
1.09/1.16	c  1.1s |       6 |     5780 |     2081 |      568      4 |        0 |        0
1.89/1.98	c  1.9s |       7 |    11817 |     3223 |      625      7 |        0 |        0
3.30/3.35	c  3.3s |       8 |    22340 |     4936 |      688     11 |        0 |        0
5.19/5.20	c  5.1s |       9 |    30763 |     7506 |      757     17 |        0 |        0
7.19/7.25	c  7.2s |       9 |    34910 |    10906 |      757     23 |        0 |        0
7.49/7.52	c  7.5s |      10 |    35450 |    11361 |      833     24 |        0 |        0
9.49/9.54	c  9.5s |      10 |    41074 |    14561 |      833     30 |        0 |        0
11.10/11.19	c 11.1s |      11 |    43977 |    17144 |      917     34 |        0 |        0
13.09/13.20	c 13.1s |      11 |    51117 |    20444 |      917     40 |        0 |        0
15.19/15.22	c 15.1s |      11 |    54859 |    23744 |      917     46 |        0 |        0
16.69/16.78	c 16.7s |      12 |    57180 |    25819 |     1009     49 |        0 |        0
18.69/18.80	c 18.7s |      12 |    63572 |    29219 |     1009     55 |        0 |        0
20.79/20.84	c 20.8s |      12 |    67311 |    32519 |     1009     60 |        0 |        0
22.79/22.86	c 22.8s |      12 |    73637 |    36019 |     1009     65 |        0 |        0
24.19/24.26	c 24.2s |      13 |    78619 |    38832 |     1110     69 |        0 |        0
26.19/26.29	c 26.2s |      13 |    85933 |    42732 |     1110     75 |        0 |        0
28.29/28.32	c 28.3s |      13 |    90793 |    46332 |     1110     80 |        0 |        0
30.29/30.33	c 30.3s |      13 |    96551 |    49932 |     1110     85 |        0 |        0
32.29/32.37	c 32.3s |      13 |   101865 |    53332 |     1110     90 |        0 |        0
34.38/34.42	c 34.4s |      13 |   107673 |    56632 |     1110     95 |        0 |        0
35.38/35.45	c 35.4s |      14 |   110132 |    58352 |     1221     97 |        0 |        0
37.39/37.47	c 37.4s |      14 |   116703 |    63052 |     1221    103 |        0 |        0
39.38/39.49	c 39.4s |      14 |   121543 |    67252 |     1221    108 |        0 |        0
41.48/41.50	c 41.4s |      14 |   126385 |    71152 |     1221    113 |        0 |        0
43.48/43.51	c 43.4s |      14 |   131584 |    75352 |     1221    119 |        0 |        0
45.48/45.56	c 45.5s |      14 |   136902 |    79552 |     1221    125 |        0 |        0
47.58/47.60	c 47.5s |      14 |   140927 |    82652 |     1221    129 |        0 |        0
49.59/49.65	c 49.6s |      14 |   145897 |    86252 |     1221    133 |        0 |        0
50.38/50.44	c 50.4s |      15 |   147483 |    87632 |     1344    135 |        0 |        0
52.38/52.47	c 52.4s |      15 |   153585 |    92032 |     1344    140 |        0 |        0
54.38/54.47	c 54.4s |      15 |   157678 |    95632 |     1344    144 |        0 |        0
56.38/56.50	c 56.4s |      15 |   161840 |    99332 |     1344    148 |        0 |        0
58.48/58.52	c 58.4s |      15 |   166310 |   103232 |     1344    153 |        0 |        0
60.49/60.53	c 60.5s |      15 |   170379 |   106732 |     1344    157 |        0 |        0
62.48/62.54	c 62.5s |      15 |   174566 |   110432 |     1344    162 |        0 |        0
64.48/64.59	c 64.5s |      15 |   179024 |   114332 |     1344    166 |        0 |        0
66.58/66.62	c 66.5s |      15 |   183820 |   118432 |     1344    171 |        0 |        0
68.58/68.64	c 68.6s |      15 |   188640 |   122632 |     1344    176 |        0 |        0
70.58/70.69	c 70.6s |      15 |   193199 |   126632 |     1344    181 |        0 |        0
72.58/72.70	c 72.6s |      15 |   197407 |   130332 |     1344    185 |        0 |        0
73.28/73.31	c 73.2s |      16 |   198957 |   131552 |     1479    186 |        0 |        0
75.28/75.33	c 75.3s |      16 |   204187 |   135552 |     1479    190 |        0 |        0
77.28/77.36	c 77.3s |      16 |   207755 |   138752 |     1479    193 |        0 |        0
79.28/79.39	c 79.3s |      16 |   211387 |   141952 |     1479    196 |        0 |        0
81.38/81.42	c 81.3s |      16 |   215352 |   145452 |     1479    199 |        0 |        0
83.37/83.48	c 83.4s |      16 |   218844 |   148552 |     1479    202 |        0 |        0
85.47/85.52	c 85.5s |      16 |   223059 |   152152 |     1479    205 |        0 |        0
87.47/87.55	c 87.5s |      16 |   226819 |   155452 |     1479    208 |        0 |        0
89.47/89.57	c 89.5s |      16 |   230901 |   158952 |     1479    211 |        0 |        0
91.57/91.61	c 91.5s |      16 |   234628 |   162152 |     1479    214 |        0 |        0
93.58/93.67	c 93.6s |      16 |   238044 |   165152 |     1479    216 |        0 |        0
95.57/95.68	c 95.6s |      16 |   241597 |   168252 |     1479    219 |        0 |        0
97.67/97.70	c 97.6s |      16 |   244885 |   171152 |     1479    222 |        0 |        0
99.67/99.76	c 99.7s |      16 |   248150 |   174052 |     1479    225 |        0 |        0
101.67/101.78	c  101s |      16 |   251674 |   177152 |     1479    227 |        0 |        0
103.67/103.78	c  103s |      16 |   254509 |   179752 |     1479    230 |        0 |        0
105.77/105.80	c  105s |      16 |   257645 |   182552 |     1479    232 |        0 |        0
107.78/107.85	c  107s |      16 |   260560 |   185152 |     1479    235 |        0 |        0
109.77/109.87	c  109s |      16 |   263110 |   187452 |     1479    237 |        0 |        0
111.87/111.92	c  111s |      16 |   266908 |   190752 |     1479    240 |        0 |        0
113.87/113.96	c  113s |      16 |   270534 |   193952 |     1479    243 |        0 |        0
115.97/116.01	c  115s |      16 |   273824 |   196852 |     1627    245 |        0 |        0
116.37/116.41	c  116s |      17 |   274449 |   197432 |     1627    245 |        0 |        0
118.37/118.44	c  118s |      17 |   279975 |   201832 |     1627    250 |        0 |        0
120.37/120.47	c  120s |      17 |   284386 |   205732 |     1627    254 |        0 |        0
122.47/122.51	c  122s |      17 |   288764 |   209632 |     1627    258 |        0 |        0
124.47/124.53	c  124s |      17 |   292991 |   213332 |     1627    261 |        0 |        0
126.47/126.55	c  126s |      17 |   297043 |   216932 |     1627    265 |        0 |        0
128.47/128.58	c  128s |      17 |   300898 |   220432 |     1627    268 |        0 |        0
130.57/130.61	c  130s |      17 |   305260 |   224232 |     1627    272 |        0 |        0
132.57/132.65	c  132s |      17 |   309681 |   228232 |     1627    276 |        0 |        0
134.57/134.66	c  134s |      17 |   314221 |   232232 |     1627    280 |        0 |        0
136.57/136.67	c  136s |      17 |   318562 |   236032 |     1627    284 |        0 |        0
138.57/138.67	c  138s |      17 |   322766 |   239732 |     1627    288 |        0 |        0
140.66/140.72	c  140s |      17 |   326934 |   243532 |     1627    291 |        0 |        0
142.66/142.76	c  142s |      17 |   331302 |   247432 |     1627    295 |        0 |        0
144.66/144.78	c  144s |      17 |   335644 |   251232 |     1627    299 |        0 |        0
146.66/146.79	c  146s |      17 |   339743 |   254932 |     1627    303 |        0 |        0
148.76/148.81	c  148s |      17 |   343872 |   258632 |     1627    306 |        0 |        0
150.77/150.84	c  150s |      17 |   348179 |   262432 |     1627    310 |        0 |        0
152.76/152.89	c  152s |      17 |   352664 |   266332 |     1627    314 |        0 |        0
154.86/154.95	c  154s |      17 |   356748 |   270032 |     1627    318 |        0 |        0
156.96/157.00	c  156s |      17 |   361107 |   273832 |     1627    321 |        0 |        0
158.96/159.05	c  158s |      17 |   365030 |   277332 |     1627    325 |        0 |        0
160.96/161.09	c  161s |      17 |   369099 |   280932 |     1627    329 |        0 |        0
163.06/163.10	c  163s |      17 |   373488 |   284632 |     1627    332 |        0 |        0
165.07/165.15	c  165s |      17 |   377454 |   288132 |     1627    336 |        0 |        0
167.06/167.18	c  167s |      17 |   381450 |   291632 |     1627    339 |        0 |        0
169.16/169.22	c  169s |      17 |   385074 |   294832 |     1790    342 |        0 |        0
170.06/170.14	c  170s |      18 |   386680 |   296252 |     1790    344 |        0 |        0
172.06/172.18	c  172s |      18 |   392537 |   300952 |     1790    348 |        0 |        0
174.06/174.18	c  174s |      18 |   397108 |   305052 |     1790    352 |        0 |        0
176.16/176.22	c  176s |      18 |   401496 |   308952 |     1790    355 |        0 |        0
178.16/178.23	c  178s |      18 |   405863 |   312852 |     1790    359 |        0 |        0
180.16/180.26	c  180s |      18 |   410203 |   316752 |     1790    362 |        0 |        0
182.16/182.27	c  182s |      18 |   414902 |   320952 |     1790    366 |        0 |        0
184.26/184.32	c  184s |      18 |   418999 |   324652 |     1790    370 |        0 |        0
186.26/186.35	c  186s |      18 |   423747 |   328852 |     1790    373 |        0 |        0
188.36/188.40	c  188s |      18 |   428151 |   332852 |     1790    377 |        0 |        0
190.36/190.42	c  190s |      18 |   432531 |   336752 |     1790    381 |        0 |        0
192.35/192.44	c  192s |      18 |   436818 |   340652 |     1790    384 |        0 |        0
194.35/194.45	c  194s |      18 |   441208 |   344552 |     1790    388 |        0 |        0
196.35/196.49	c  196s |      18 |   445526 |   348352 |     1790    391 |        0 |        0
198.45/198.51	c  198s |      18 |   449585 |   352052 |     1790    395 |        0 |        0
200.45/200.54	c  200s |      18 |   453803 |   355652 |     1790    398 |        0 |        0
202.46/202.54	c  202s |      18 |   457562 |   358952 |     1790    401 |        0 |        0
204.45/204.54	c  204s |      18 |   461605 |   362552 |     1790    404 |        0 |        0
206.45/206.59	c  206s |      18 |   465590 |   366052 |     1790    408 |        0 |        0
208.55/208.62	c  208s |      18 |   469725 |   369752 |     1790    411 |        0 |        0
210.55/210.63	c  210s |      18 |   473164 |   372852 |     1790    414 |        0 |        0
212.55/212.64	c  212s |      18 |   477195 |   376352 |     1790    417 |        0 |        0
214.57/214.68	c  214s |      18 |   480924 |   379752 |     1790    420 |        0 |        0
216.56/216.70	c  216s |      18 |   484558 |   383052 |     1790    423 |        0 |        0
218.66/218.74	c  218s |      18 |   488565 |   386652 |     1790    427 |        0 |        0
220.66/220.78	c  220s |      18 |   493222 |   390752 |     1790    430 |        0 |        0
222.66/222.79	c  222s |      18 |   497529 |   394652 |     1790    434 |        0 |        0
224.66/224.79	c  224s |      18 |   501704 |   398352 |     1790    437 |        0 |        0
226.76/226.83	c  226s |      18 |   506225 |   402252 |     1790    441 |        0 |        0
228.76/228.88	c  228s |      18 |   510389 |   405952 |     1790    444 |        0 |        0
230.76/230.89	c  230s |      18 |   514773 |   409752 |     1790    448 |        0 |        0
232.86/232.90	c  232s |      18 |   518953 |   413352 |     1790    451 |        0 |        0
234.86/234.95	c  234s |      18 |   523318 |   417152 |     1790    455 |        0 |        0
236.96/237.00	c  236s |      18 |   527581 |   420752 |     1790    458 |        0 |        0
238.96/239.04	c  238s |      18 |   531431 |   424152 |     1790    461 |        0 |        0
240.96/241.05	c  240s |      18 |   535320 |   427552 |     1790    464 |        0 |        0
242.96/243.09	c  243s |      18 |   539228 |   430952 |     1790    467 |        0 |        0
245.05/245.12	c  245s |      18 |   543305 |   434552 |     1790    470 |        0 |        0
247.05/247.12	c  247s |      18 |   547607 |   438252 |     1790    474 |        0 |        0
249.05/249.15	c  249s |      18 |   551823 |   441852 |     1970    477 |        0 |        0
250.55/250.65	c  250s |      19 |   554801 |   444482 |     1970    479 |        0 |        0
252.55/252.66	c  252s |      19 |   560981 |   449182 |     1970    483 |        0 |        0
254.65/254.72	c  254s |      19 |   565120 |   452882 |     1970    486 |        0 |        0
256.65/256.75	c  256s |      19 |   569154 |   456482 |     1970    489 |        0 |        0
258.65/258.76	c  258s |      19 |   572966 |   459882 |     1970    492 |        0 |        0
260.66/260.79	c  260s |      19 |   576735 |   463282 |     1970    495 |        0 |        0
262.75/262.80	c  262s |      19 |   580267 |   466482 |     1970    498 |        0 |        0
264.75/264.86	c  264s |      19 |   583891 |   469782 |     1970    500 |        0 |        0
266.75/266.86	c  266s |      19 |   587697 |   473182 |     1970    503 |        0 |        0
268.75/268.87	c  268s |      19 |   591486 |   476582 |     1970    506 |        0 |        0
270.85/270.93	c  270s |      19 |   595315 |   480082 |     1970    509 |        0 |        0
272.85/272.94	c  272s |      19 |   598963 |   483382 |     1970    512 |        0 |        0
274.85/274.97	c  274s |      19 |   603196 |   487082 |     1970    515 |        0 |        0
276.95/277.02	c  276s |      19 |   607191 |   490682 |     1970    518 |        0 |        0
278.95/279.03	c  278s |      19 |   611124 |   494282 |     1970    521 |        0 |        0
280.95/281.04	c  280s |      19 |   614990 |   497782 |     1970    524 |        0 |        0
282.95/283.08	c  283s |      19 |   619081 |   501382 |     1970    527 |        0 |        0
284.95/285.09	c  285s |      19 |   622888 |   504882 |     1970    530 |        0 |        0
286.95/287.10	c  287s |      19 |   626833 |   508382 |     1970    533 |        0 |        0
289.05/289.16	c  289s |      19 |   630655 |   511882 |     1970    536 |        0 |        0
291.04/291.19	c  291s |      19 |   634812 |   515582 |     1970    539 |        0 |        0
293.14/293.23	c  293s |      19 |   638588 |   518982 |     1970    542 |        0 |        0
295.14/295.27	c  295s |      19 |   642872 |   522582 |     1970    545 |        0 |        0
297.14/297.28	c  297s |      19 |   646748 |   525982 |     1970    548 |        0 |        0
299.25/299.31	c  299s |      19 |   650755 |   529582 |     1970    551 |        0 |        0
301.24/301.34	c  301s |      19 |   654650 |   533082 |     1970    554 |        0 |        0
303.24/303.38	c  303s |      19 |   658714 |   536682 |     1970    557 |        0 |        0
305.24/305.39	c  305s |      19 |   662718 |   540282 |     1970    560 |        0 |        0
307.34/307.44	c  307s |      19 |   666407 |   543682 |     1970    563 |        0 |        0
309.34/309.44	c  309s |      19 |   670250 |   547082 |     1970    566 |        0 |        0
311.35/311.44	c  311s |      19 |   674161 |   550382 |     1970    569 |        0 |        0
313.34/313.45	c  313s |      19 |   677755 |   553482 |     1970    571 |        0 |        0
315.34/315.49	c  315s |      19 |   681779 |   556982 |     1970    574 |        0 |        0
317.44/317.52	c  317s |      19 |   685162 |   559982 |     1970    577 |        0 |        0
319.44/319.54	c  319s |      19 |   688788 |   563182 |     1970    579 |        0 |        0
321.44/321.55	c  321s |      19 |   692395 |   566382 |     1970    582 |        0 |        0
323.54/323.61	c  323s |      19 |   696233 |   569782 |     1970    585 |        0 |        0
325.54/325.68	c  325s |      19 |   700090 |   573182 |     1970    588 |        0 |        0
327.64/327.73	c  327s |      19 |   703945 |   576582 |     1970    591 |        0 |        0
329.64/329.76	c  329s |      19 |   707415 |   579682 |     1970    593 |        0 |        0
331.64/331.79	c  331s |      19 |   710951 |   582882 |     1970    596 |        0 |        0
333.74/333.84	c  333s |      19 |   714861 |   586282 |     1970    599 |        0 |        0
335.74/335.86	c  335s |      19 |   718251 |   589382 |     1970    602 |        0 |        0
337.84/337.93	c  337s |      19 |   721563 |   592382 |     1970    604 |        0 |        0
339.84/339.97	c  339s |      19 |   724521 |   594982 |     1970    606 |        0 |        0
341.84/341.98	c  341s |      19 |   727264 |   597482 |     1970    609 |        0 |        0
343.93/344.00	c  343s |      19 |   730420 |   600182 |     1970    611 |        0 |        0
345.93/346.07	c  345s |      19 |   733106 |   602582 |     1970    613 |        0 |        0
348.03/348.11	c  348s |      19 |   735690 |   604882 |     1970    615 |        0 |        0
350.03/350.12	c  350s |      19 |   738045 |   606982 |     1970    617 |        0 |        0
352.04/352.15	c  352s |      19 |   742161 |   610582 |     1970    620 |        0 |        0
354.03/354.16	c  354s |      19 |   745908 |   613882 |     1970    623 |        0 |        0
356.13/356.23	c  356s |      19 |   749506 |   617082 |     1970    625 |        0 |        0
358.13/358.24	c  358s |      19 |   753322 |   620382 |     1970    628 |        0 |        0
360.13/360.26	c  360s |      19 |   756998 |   623682 |     1970    631 |        0 |        0
362.13/362.29	c  362s |      19 |   760675 |   626882 |     1970    634 |        0 |        0
364.23/364.30	c  364s |      19 |   764416 |   630182 |     1970    636 |        0 |        0
366.23/366.35	c  366s |      19 |   768005 |   633382 |     1970    639 |        0 |        0
368.33/368.41	c  368s |      19 |   771746 |   636682 |     1970    642 |        0 |        0
370.33/370.46	c  370s |      19 |   775230 |   639682 |     1970    644 |        0 |        0
372.43/372.52	c  372s |      19 |   778439 |   642482 |     1970    647 |        0 |        0
374.43/374.55	c  374s |      19 |   781847 |   645382 |     1970    649 |        0 |        0
376.43/376.55	c  376s |      19 |   784891 |   647982 |     1970    652 |        0 |        0
378.53/378.62	c  378s |      19 |   788203 |   650882 |     1970    654 |        0 |        0
380.53/380.67	c  380s |      19 |   791184 |   653482 |     1970    656 |        0 |        0
382.63/382.70	c  382s |      19 |   794448 |   656282 |     1970    659 |        0 |        0
384.63/384.74	c  384s |      19 |   797524 |   658982 |     1970    661 |        0 |        0
386.63/386.78	c  386s |      19 |   800645 |   661782 |     1970    663 |        0 |        0
388.62/388.78	c  388s |      19 |   803565 |   664382 |     2167    665 |        0 |        0
390.53/390.66	c  390s |      20 |   806332 |   666827 |     2167    667 |        0 |        0
392.52/392.70	c  392s |      20 |   811883 |   671427 |     2167    670 |        0 |        0
394.62/394.71	c  394s |      20 |   816236 |   675327 |     2167    673 |        0 |        0
396.62/396.71	c  396s |      20 |   822167 |   679827 |     2167    677 |        0 |        0
398.62/398.75	c  398s |      20 |   826645 |   683727 |     2167    680 |        0 |        0
400.62/400.76	c  400s |      20 |   830648 |   687327 |     2167    682 |        0 |        0
402.63/402.78	c  402s |      20 |   834286 |   690627 |     2167    685 |        0 |        0
404.62/404.79	c  404s |      20 |   838206 |   694127 |     2167    688 |        0 |        0
406.72/406.80	c  406s |      20 |   842047 |   697627 |     2167    690 |        0 |        0
408.72/408.81	c  408s |      20 |   845913 |   701127 |     2167    693 |        0 |        0
410.72/410.85	c  410s |      20 |   849913 |   704727 |     2167    696 |        0 |        0
412.72/412.87	c  412s |      20 |   853886 |   708327 |     2167    699 |        0 |        0
414.82/414.90	c  414s |      20 |   857962 |   711927 |     2167    701 |        0 |        0
416.83/416.94	c  416s |      20 |   861960 |   715527 |     2167    704 |        0 |        0
418.82/418.97	c  418s |      20 |   865789 |   718927 |     2167    707 |        0 |        0
420.92/421.01	c  420s |      20 |   869855 |   722627 |     2167    710 |        0 |        0
422.92/423.03	c  422s |      20 |   874079 |   726427 |     2167    713 |        0 |        0
424.93/425.05	c  424s |      20 |   878232 |   730127 |     2167    716 |        0 |        0
427.03/427.11	c  427s |      20 |   882317 |   733827 |     2167    718 |        0 |        0
429.03/429.16	c  429s |      20 |   886436 |   737527 |     2167    721 |        0 |        0
431.03/431.16	c  431s |      20 |   890305 |   741027 |     2167    724 |        0 |        0
433.03/433.19	c  433s |      20 |   894385 |   744627 |     2167    727 |        0 |        0
435.13/435.21	c  435s |      20 |   898671 |   748427 |     2167    730 |        0 |        0
437.12/437.23	c  437s |      20 |   902713 |   751827 |     2167    733 |        0 |        0
439.12/439.24	c  439s |      20 |   907979 |   755027 |     2167    735 |        0 |        0
441.13/441.27	c  441s |      20 |   912300 |   758527 |     2167    738 |        0 |        0
443.23/443.33	c  443s |      20 |   915746 |   761627 |     2167    740 |        0 |        0
445.22/445.39	c  445s |      20 |   919017 |   764527 |     2167    743 |        0 |        0
447.32/447.44	c  447s |      20 |   922419 |   767527 |     2167    745 |        0 |        0
449.42/449.51	c  449s |      20 |   925604 |   770327 |     2167    747 |        0 |        0
451.42/451.52	c  451s |      20 |   928899 |   773227 |     2167    749 |        0 |        0
453.42/453.56	c  453s |      20 |   931684 |   775727 |     2167    751 |        0 |        0
455.43/455.58	c  455s |      20 |   934978 |   778627 |     2167    754 |        0 |        0
457.42/457.60	c  457s |      20 |   937955 |   781327 |     2167    756 |        0 |        0
459.52/459.62	c  459s |      20 |   941296 |   784227 |     2167    758 |        0 |        0
461.52/461.68	c  461s |      20 |   944488 |   787027 |     2167    760 |        0 |        0
463.62/463.76	c  463s |      20 |   947774 |   789927 |     2167    762 |        0 |        0
465.62/465.79	c  465s |      20 |   950917 |   792627 |     2167    765 |        0 |        0
467.72/467.84	c  467s |      20 |   953819 |   795227 |     2167    767 |        0 |        0
469.72/469.89	c  469s |      20 |   956919 |   798027 |     2167    769 |        0 |        0
471.82/471.96	c  471s |      20 |   959790 |   800627 |     2167    771 |        0 |        0
473.92/474.01	c  473s |      20 |   962833 |   803227 |     2167    773 |        0 |        0
476.01/476.11	c  476s |      20 |   965457 |   805527 |     2167    775 |        0 |        0
478.01/478.19	c  478s |      20 |   967823 |   807627 |     2167    776 |        0 |        0
480.11/480.26	c  480s |      20 |   970217 |   809827 |     2167    778 |        0 |        0
482.11/482.27	c  482s |      20 |   972431 |   811827 |     2167    780 |        0 |        0
484.11/484.28	c  484s |      20 |   974843 |   813927 |     2167    781 |        0 |        0
486.21/486.37	c  486s |      20 |   977253 |   816127 |     2167    783 |        0 |        0
488.20/488.38	c  488s |      20 |   979437 |   818127 |     2167    785 |        0 |        0
490.20/490.39	c  490s |      20 |   981918 |   820327 |     2167    786 |        0 |        0
492.30/492.49	c  492s |      20 |   984447 |   822527 |     2167    788 |        0 |        0
494.30/494.49	c  494s |      20 |   986840 |   824627 |     2167    790 |        0 |        0
496.40/496.56	c  496s |      20 |   989383 |   826927 |     2167    791 |        0 |        0
498.50/498.63	c  498s |      20 |   991882 |   829127 |     2167    793 |        0 |        0
500.60/500.73	c  500s |      20 |   994068 |   831127 |     2167    795 |        0 |        0
502.61/502.76	c  502s |      20 |   996591 |   833327 |     2167    796 |        0 |        0
504.60/504.78	c  504s |      20 |   998818 |   835327 |     2167    798 |        0 |        0
506.70/506.82	c  506s |      20 |  1000970 |   837227 |     2167    800 |        0 |        0
508.69/508.82	c  508s |      20 |  1002949 |   839027 |     2167    801 |        0 |        0
510.69/510.84	c  510s |      20 |  1005513 |   841327 |     2167    803 |        0 |        0
512.69/512.88	c  512s |      20 |  1007724 |   843327 |     2167    804 |        0 |        0
514.70/514.90	c  514s |      20 |  1009782 |   845227 |     2167    806 |        0 |        0
516.79/516.98	c  516s |      20 |  1011857 |   847127 |     2167    807 |        0 |        0
518.89/519.09	c  519s |      20 |  1013608 |   848727 |     2167    809 |        0 |        0
520.99/521.12	c  521s |      20 |  1015352 |   850327 |     2167    810 |        0 |        0
522.99/523.13	c  523s |      20 |  1019178 |   853427 |     2167    812 |        0 |        0
524.99/525.16	c  525s |      20 |  1022712 |   856527 |     2167    815 |        0 |        0
526.99/527.18	c  527s |      20 |  1026146 |   859527 |     2167    817 |        0 |        0
529.09/529.21	c  529s |      20 |  1029958 |   862927 |     2167    820 |        0 |        0
531.09/531.23	c  531s |      20 |  1033250 |   865827 |     2167    822 |        0 |        0
533.09/533.29	c  533s |      20 |  1036566 |   868827 |     2167    824 |        0 |        0
535.18/535.35	c  535s |      20 |  1039600 |   871527 |     2167    826 |        0 |        0
537.28/537.42	c  537s |      20 |  1042629 |   874227 |     2167    829 |        0 |        0
539.28/539.45	c  539s |      20 |  1046105 |   877327 |     2167    831 |        0 |        0
541.38/541.51	c  541s |      20 |  1048954 |   879927 |     2167    833 |        0 |        0
543.39/543.57	c  543s |      20 |  1052056 |   882727 |     2167    835 |        0 |        0
545.38/545.60	c  545s |      20 |  1055127 |   885527 |     2167    837 |        0 |        0
547.48/547.61	c  547s |      20 |  1058635 |   888627 |     2167    840 |        0 |        0
549.48/549.65	c  549s |      20 |  1061463 |   891227 |     2167    842 |        0 |        0
551.58/551.71	c  551s |      20 |  1064927 |   894227 |     2167    844 |        0 |        0
553.58/553.73	c  553s |      20 |  1067967 |   897027 |     2167    846 |        0 |        0
555.57/555.76	c  555s |      20 |  1070922 |   899727 |     2167    848 |        0 |        0
557.58/557.80	c  557s |      20 |  1075106 |   903527 |     2167    851 |        0 |        0
559.67/559.86	c  559s |      20 |  1080356 |   906827 |     2167    854 |        0 |        0
561.67/561.89	c  561s |      20 |  1083963 |   909927 |     2167    857 |        0 |        0
563.77/563.93	c  563s |      20 |  1087721 |   913227 |     2167    859 |        0 |        0
565.77/565.97	c  565s |      20 |  1091092 |   916227 |     2167    862 |        0 |        0
567.87/568.05	c  567s |      20 |  1094804 |   919427 |     2167    864 |        0 |        0
569.87/570.07	c  570s |      20 |  1098752 |   922927 |     2167    867 |        0 |        0
571.87/572.08	c  572s |      20 |  1102707 |   926427 |     2167    870 |        0 |        0
573.97/574.10	c  574s |      20 |  1106241 |   929627 |     2167    873 |        0 |        0
575.96/576.17	c  576s |      20 |  1109759 |   932727 |     2167    875 |        0 |        0
578.06/578.27	c  578s |      20 |  1112716 |   935327 |     2167    877 |        0 |        0
580.16/580.30	c  580s |      20 |  1115716 |   938027 |     2167    879 |        0 |        0
582.16/582.31	c  582s |      20 |  1118926 |   940927 |     2167    882 |        0 |        0
584.16/584.34	c  584s |      20 |  1122826 |   944227 |     2167    885 |        0 |        0
586.16/586.39	c  586s |      20 |  1126352 |   947127 |     2167    887 |        0 |        0
588.26/588.46	c  588s |      20 |  1129647 |   950027 |     2167    889 |        0 |        0
590.36/590.54	c  590s |      20 |  1132803 |   952827 |     2167    892 |        0 |        0
592.46/592.62	c  592s |      20 |  1136007 |   955727 |     2167    894 |        0 |        0
594.45/594.67	c  594s |      20 |  1139066 |   958427 |     2167    896 |        0 |        0
596.55/596.71	c  596s |      20 |  1141978 |   961027 |     2167    898 |        0 |        0
598.55/598.74	c  598s |      20 |  1144906 |   963627 |     2167    900 |        0 |        0
600.56/600.78	c  600s |      20 |  1148045 |   966427 |     2167    903 |        0 |        0
602.66/602.83	c  602s |      20 |  1151661 |   969627 |     2167    905 |        0 |        0
604.75/604.92	c  604s |      20 |  1154749 |   972427 |     2167    908 |        0 |        0
606.75/606.97	c  606s |      20 |  1157718 |   975027 |     2167    910 |        0 |        0
608.75/608.98	c  608s |      20 |  1160494 |   977527 |     2167    912 |        0 |        0
610.85/611.01	c  610s |      20 |  1163445 |   980127 |     2167    914 |        0 |        0
612.85/613.08	c  613s |      20 |  1166215 |   982627 |     2167    916 |        0 |        0
614.94/615.11	c  615s |      20 |  1168998 |   985127 |     2167    918 |        0 |        0
617.05/617.20	c  617s |      20 |  1171948 |   987727 |     2167    920 |        0 |        0
619.04/619.27	c  619s |      20 |  1174889 |   990327 |     2167    922 |        0 |        0
621.14/621.36	c  621s |      20 |  1177670 |   992827 |     2167    924 |        0 |        0
623.24/623.43	c  623s |      20 |  1181219 |   995027 |     2384    926 |        0 |        0
625.24/625.49	c  625s |      20 |  1183854 |   997227 |     2384    928 |        0 |        0
627.34/627.58	c  627s |      20 |  1186638 |   999527 |     2384    929 |        0 |        0
628.14/628.34	c  628s |      21 |  1187636 |  1000345 |     2384    930 |        0 |        0
630.15/630.39	c  630s |      21 |  1194892 |  1003845 |     2384    932 |        0 |        0
632.24/632.44	c  632s |      21 |  1200272 |  1006645 |     2384    935 |        0 |        0
634.33/634.54	c  634s |      21 |  1204525 |  1009145 |     2384    937 |        0 |        0
636.43/636.61	c  636s |      21 |  1207975 |  1011445 |     2384    938 |        0 |        0
638.43/638.61	c  638s |      21 |  1211349 |  1013845 |     2384    940 |        0 |        0
640.43/640.67	c  640s |      21 |  1214454 |  1016145 |     2384    942 |        0 |        0
642.53/642.74	c  642s |      21 |  1220264 |  1019445 |     2384    944 |        0 |        0
644.54/644.79	c  644s |      21 |  1225741 |  1021945 |     2384    946 |        0 |        0
646.63/646.81	c  646s |      21 |  1229390 |  1024345 |     2384    948 |        0 |        0
648.63/648.82	c  648s |      21 |  1232543 |  1026145 |     2384    949 |        0 |        0
650.63/650.86	c  650s |      21 |  1236862 |  1028345 |     2384    951 |        0 |        0
652.73/652.95	c  652s |      21 |  1240348 |  1030445 |     2384    953 |        0 |        0
654.73/654.95	c  654s |      21 |  1243575 |  1032445 |     2384    954 |        0 |        0
656.83/657.06	c  656s |      21 |  1246115 |  1034245 |     2384    955 |        0 |        0
658.83/659.09	c  659s |      21 |  1248445 |  1035945 |     2384    957 |        0 |        0
660.93/661.15	c  661s |      21 |  1252041 |  1038145 |     2384    958 |        0 |        0
662.92/663.17	c  663s |      21 |  1255105 |  1040045 |     2384    960 |        0 |        0
665.02/665.21	c  665s |      21 |  1259241 |  1042045 |     2384    961 |        0 |        0
667.12/667.32	c  667s |      21 |  1262593 |  1043845 |     2384    963 |        0 |        0
669.12/669.38	c  669s |      21 |  1267472 |  1046345 |     2384    964 |        0 |        0
671.22/671.43	c  671s |      21 |  1271847 |  1048845 |     2384    966 |        0 |        0
673.22/673.44	c  673s |      21 |  1277110 |  1051445 |     2384    968 |        0 |        0
675.32/675.50	c  675s |      21 |  1281769 |  1053945 |     2384    970 |        0 |        0
677.32/677.52	c  677s |      21 |  1285790 |  1056145 |     2384    972 |        0 |        0
679.31/679.57	c  679s |      21 |  1290744 |  1058345 |     2384    973 |        0 |        0
681.41/681.66	c  681s |      21 |  1294087 |  1060345 |     2384    975 |        0 |        0
683.41/683.69	c  683s |      21 |  1298053 |  1062545 |     2384    977 |        0 |        0
685.51/685.72	c  685s |      21 |  1301734 |  1064645 |     2384    978 |        0 |        0
687.51/687.73	c  687s |      21 |  1304638 |  1066545 |     2384    980 |        0 |        0
689.62/689.84	c  689s |      21 |  1308356 |  1068645 |     2384    981 |        0 |        0
691.61/691.89	c  691s |      21 |  1311736 |  1070845 |     2384    983 |        0 |        0
693.71/693.94	c  693s |      21 |  1314901 |  1073045 |     2384    984 |        0 |        0
695.71/695.97	c  695s |      21 |  1318359 |  1075745 |     2384    986 |        0 |        0
697.81/698.04	c  697s |      21 |  1321648 |  1077845 |     2384    988 |        0 |        0
699.91/700.13	c  700s |      21 |  1324712 |  1080045 |     2384    990 |        0 |        0
701.91/702.17	c  702s |      21 |  1328097 |  1082145 |     2384    991 |        0 |        0
704.01/704.22	c  704s |      21 |  1331963 |  1084145 |     2384    993 |        0 |        0
706.01/706.30	c  706s |      21 |  1335774 |  1086245 |     2384    994 |        0 |        0
708.10/708.30	c  708s |      21 |  1340323 |  1088845 |     2384    996 |        0 |        0
710.10/710.30	c  710s |      21 |  1344207 |  1091345 |     2384    998 |        0 |        0
712.10/712.35	c  712s |      21 |  1348921 |  1093645 |     2384   1000 |        0 |        0
714.20/714.45	c  714s |      21 |  1353469 |  1096145 |     2384   1002 |        0 |        0
716.31/716.54	c  716s |      21 |  1358493 |  1098845 |     2384   1004 |        0 |        0
718.30/718.58	c  718s |      21 |  1361958 |  1100945 |     2384   1005 |        0 |        0
720.41/720.61	c  720s |      21 |  1365911 |  1103045 |     2384   1007 |        0 |        0
722.40/722.62	c  722s |      21 |  1369983 |  1105245 |     2384   1008 |        0 |        0
724.40/724.66	c  724s |      21 |  1373233 |  1107245 |     2384   1010 |        0 |        0
726.50/726.73	c  726s |      21 |  1377396 |  1109345 |     2384   1011 |        0 |        0
728.50/728.78	c  728s |      21 |  1381789 |  1111745 |     2384   1013 |        0 |        0
730.60/730.81	c  730s |      21 |  1385538 |  1114045 |     2384   1015 |        0 |        0
732.70/732.90	c  732s |      21 |  1389658 |  1116145 |     2384   1017 |        0 |        0
734.70/734.92	c  734s |      21 |  1395715 |  1119545 |     2384   1019 |        0 |        0
736.69/736.97	c  736s |      21 |  1399619 |  1122145 |     2384   1021 |        0 |        0
738.79/739.00	c  738s |      21 |  1403861 |  1124745 |     2384   1023 |        0 |        0
740.79/741.02	c  740s |      21 |  1407552 |  1127645 |     2384   1025 |        0 |        0
742.79/743.08	c  743s |      21 |  1410885 |  1130245 |     2384   1027 |        0 |        0
744.89/745.14	c  745s |      21 |  1415405 |  1132945 |     2384   1029 |        0 |        0
746.99/747.21	c  747s |      21 |  1419783 |  1135745 |     2384   1031 |        0 |        0
749.00/749.26	c  749s |      21 |  1424153 |  1138445 |     2384   1033 |        0 |        0
750.99/751.29	c  751s |      21 |  1429564 |  1141645 |     2384   1035 |        0 |        0
753.09/753.34	c  753s |      21 |  1433313 |  1144245 |     2384   1037 |        0 |        0
755.19/755.41	c  755s |      21 |  1436827 |  1146545 |     2384   1039 |        0 |        0
757.18/757.48	c  757s |      21 |  1439970 |  1148845 |     2384   1041 |        0 |        0
759.28/759.53	c  759s |      21 |  1444270 |  1151745 |     2384   1043 |        0 |        0
761.28/761.59	c  761s |      21 |  1447405 |  1153945 |     2384   1044 |        0 |        0
763.38/763.63	c  763s |      21 |  1451266 |  1156545 |     2384   1046 |        0 |        0
765.49/765.71	c  765s |      21 |  1454607 |  1158745 |     2384   1048 |        0 |        0
767.48/767.71	c  767s |      21 |  1459895 |  1161545 |     2384   1050 |        0 |        0
769.58/769.81	c  769s |      21 |  1463749 |  1164145 |     2384   1052 |        0 |        0
771.58/771.82	c  771s |      21 |  1466656 |  1166045 |     2384   1053 |        0 |        0
773.58/773.89	c  773s |      21 |  1470275 |  1168345 |     2384   1055 |        0 |        0
775.68/775.92	c  775s |      21 |  1474789 |  1170745 |     2384   1057 |        0 |        0
777.67/777.94	c  777s |      21 |  1478288 |  1172945 |     2384   1059 |        0 |        0
779.68/780.00	c  779s |      21 |  1482789 |  1175845 |     2384   1061 |        0 |        0
781.77/782.06	c  781s |      21 |  1485527 |  1177945 |     2384   1062 |        0 |        0
783.87/784.13	c  784s |      21 |  1487953 |  1179745 |     2384   1064 |        0 |        0
785.97/786.20	c  786s |      21 |  1491768 |  1182145 |     2384   1065 |        0 |        0
787.97/788.24	c  788s |      21 |  1495878 |  1184545 |     2384   1067 |        0 |        0
790.07/790.33	c  790s |      21 |  1499872 |  1186845 |     2384   1069 |        0 |        0
792.07/792.37	c  792s |      21 |  1502693 |  1188845 |     2384   1070 |        0 |        0
794.16/794.43	c  794s |      21 |  1505969 |  1191045 |     2384   1072 |        0 |        0
796.17/796.49	c  796s |      21 |  1509076 |  1193145 |     2384   1073 |        0 |        0
798.26/798.52	c  798s |      21 |  1511964 |  1195045 |     2384   1075 |        0 |        0
800.36/800.62	c  800s |      21 |  1515408 |  1197345 |     2384   1077 |        0 |        0
802.36/802.65	c  802s |      21 |  1517817 |  1199145 |     2384   1078 |        0 |        0
804.46/804.74	c  804s |      21 |  1520334 |  1200845 |     2384   1079 |        0 |        0
806.46/806.79	c  806s |      21 |  1523589 |  1202645 |     2384   1080 |        0 |        0
808.56/808.83	c  808s |      21 |  1526815 |  1204645 |     2384   1082 |        0 |        0
810.66/810.90	c  810s |      21 |  1529456 |  1206545 |     2384   1083 |        0 |        0
812.66/812.99	c  812s |      21 |  1532656 |  1208845 |     2384   1085 |        0 |        0
814.75/815.02	c  814s |      21 |  1535751 |  1210645 |     2384   1086 |        0 |        0
816.75/817.06	c  816s |      21 |  1538187 |  1212345 |     2384   1088 |        0 |        0
818.85/819.13	c  819s |      21 |  1539943 |  1213745 |     2384   1089 |        0 |        0
820.95/821.23	c  821s |      21 |  1543838 |  1216245 |     2384   1091 |        0 |        0
822.95/823.26	c  823s |      21 |  1546995 |  1218545 |     2384   1092 |        0 |        0
825.05/825.32	c  825s |      21 |  1549589 |  1220345 |     2384   1094 |        0 |        0
827.15/827.45	c  827s |      21 |  1551689 |  1221945 |     2384   1095 |        0 |        0
829.25/829.57	c  829s |      21 |  1553433 |  1223445 |     2384   1096 |        0 |        0
831.35/831.65	c  831s |      21 |  1556973 |  1225345 |     2384   1097 |        0 |        0
833.45/833.70	c  833s |      21 |  1560862 |  1227745 |     2384   1099 |        0 |        0
835.54/835.81	c  835s |      21 |  1563746 |  1230045 |     2384   1101 |        0 |        0
837.54/837.84	c  837s |      21 |  1566121 |  1231945 |     2384   1102 |        0 |        0
839.64/839.95	c  839s |      21 |  1568580 |  1233945 |     2384   1104 |        0 |        0
841.64/841.95	c  841s |      21 |  1571493 |  1235945 |     2384   1105 |        0 |        0
843.74/844.04	c  843s |      21 |  1574000 |  1237745 |     2384   1106 |        0 |        0
845.74/846.06	c  845s |      21 |  1576705 |  1239745 |     2384   1108 |        0 |        0
847.74/848.10	c  848s |      21 |  1579841 |  1241445 |     2384   1109 |        0 |        0
849.84/850.16	c  850s |      21 |  1582198 |  1243245 |     2384   1111 |        0 |        0
851.94/852.28	c  852s |      21 |  1585113 |  1245145 |     2384   1112 |        0 |        0
854.04/854.34	c  854s |      21 |  1587613 |  1246745 |     2384   1113 |        0 |        0
856.13/856.44	c  856s |      21 |  1590619 |  1248845 |     2384   1115 |        0 |        0
858.13/858.49	c  858s |      21 |  1593625 |  1250845 |     2384   1116 |        0 |        0
860.23/860.53	c  860s |      21 |  1596648 |  1252845 |     2384   1118 |        0 |        0
862.24/862.57	c  862s |      21 |  1599957 |  1255045 |     2384   1119 |        0 |        0
864.33/864.61	c  864s |      21 |  1602727 |  1257145 |     2384   1121 |        0 |        0
866.43/866.77	c  866s |      21 |  1605778 |  1259345 |     2384   1123 |        0 |        0
868.53/868.83	c  868s |      21 |  1611849 |  1262245 |     2384   1125 |        0 |        0
870.53/870.85	c  870s |      21 |  1614968 |  1264545 |     2384   1126 |        0 |        0
872.63/872.94	c  872s |      21 |  1619536 |  1267445 |     2384   1129 |        0 |        0
874.62/874.96	c  874s |      21 |  1623303 |  1270145 |     2384   1131 |        0 |        0
876.62/877.00	c  876s |      21 |  1627856 |  1272745 |     2384   1133 |        0 |        0
878.73/879.06	c  878s |      21 |  1631618 |  1275345 |     2384   1134 |        0 |        0
880.72/881.08	c  881s |      21 |  1636194 |  1278545 |     2384   1137 |        0 |        0
882.82/883.11	c  883s |      21 |  1640442 |  1281045 |     2384   1139 |        0 |        0
884.82/885.14	c  885s |      21 |  1643797 |  1283545 |     2384   1141 |        0 |        0
886.82/887.19	c  887s |      21 |  1647679 |  1286045 |     2384   1142 |        0 |        0
888.91/889.25	c  889s |      21 |  1651346 |  1288445 |     2384   1144 |        0 |        0
890.91/891.27	c  891s |      21 |  1654657 |  1291045 |     2384   1146 |        0 |        0
893.02/893.31	c  893s |      21 |  1657018 |  1293045 |     2384   1148 |        0 |        0
895.01/895.35	c  895s |      21 |  1660528 |  1295545 |     2384   1150 |        0 |        0
897.11/897.40	c  897s |      21 |  1664149 |  1297945 |     2384   1151 |        0 |        0
899.11/899.42	c  899s |      21 |  1667991 |  1300345 |     2384   1153 |        0 |        0
901.11/901.47	c  901s |      21 |  1671848 |  1302745 |     2384   1155 |        0 |        0
903.11/903.49	c  903s |      21 |  1676490 |  1305745 |     2384   1157 |        0 |        0
905.21/905.55	c  905s |      21 |  1681594 |  1308245 |     2384   1159 |        0 |        0
907.21/907.56	c  907s |      21 |  1685022 |  1310645 |     2384   1161 |        0 |        0
909.21/909.58	c  909s |      21 |  1688393 |  1313045 |     2384   1163 |        0 |        0
911.31/911.64	c  911s |      21 |  1691570 |  1315345 |     2384   1164 |        0 |        0
913.31/913.67	c  913s |      21 |  1695450 |  1317845 |     2384   1166 |        0 |        0
915.40/915.71	c  915s |      21 |  1698654 |  1320245 |     2384   1168 |        0 |        0
917.40/917.79	c  917s |      21 |  1701677 |  1322445 |     2384   1170 |        0 |        0
919.50/919.83	c  919s |      21 |  1704789 |  1324445 |     2384   1171 |        0 |        0
921.51/921.87	c  921s |      21 |  1707718 |  1326445 |     2384   1173 |        0 |        0
923.60/923.90	c  923s |      21 |  1710946 |  1328445 |     2384   1174 |        0 |        0
925.60/925.95	c  925s |      21 |  1715861 |  1331445 |     2384   1176 |        0 |        0
927.60/927.99	c  927s |      21 |  1719634 |  1334245 |     2384   1179 |        0 |        0
929.69/930.00	c  929s |      21 |  1722577 |  1336745 |     2384   1180 |        0 |        0
931.69/932.02	c  931s |      21 |  1725988 |  1339245 |     2384   1182 |        0 |        0
933.70/934.08	c  934s |      21 |  1729927 |  1342145 |     2384   1184 |        0 |        0
935.79/936.12	c  936s |      21 |  1733455 |  1344845 |     2384   1186 |        0 |        0
937.79/938.15	c  938s |      21 |  1736465 |  1347245 |     2384   1188 |        0 |        0
939.89/940.24	c  940s |      21 |  1739719 |  1349545 |     2384   1190 |        0 |        0
941.89/942.29	c  942s |      21 |  1742524 |  1351745 |     2384   1192 |        0 |        0
943.99/944.37	c  944s |      21 |  1745346 |  1354045 |     2384   1193 |        0 |        0
946.08/946.42	c  946s |      21 |  1750144 |  1356845 |     2384   1195 |        0 |        0
948.08/948.46	c  948s |      21 |  1754016 |  1359645 |     2384   1198 |        0 |        0
950.09/950.48	c  950s |      21 |  1757759 |  1362445 |     2384   1200 |        0 |        0
952.18/952.52	c  952s |      21 |  1761593 |  1365145 |     2384   1202 |        0 |        0
954.17/954.58	c  954s |      21 |  1765163 |  1367845 |     2384   1204 |        0 |        0
956.27/956.63	c  956s |      21 |  1769471 |  1370745 |     2384   1206 |        0 |        0
958.27/958.68	c  958s |      21 |  1773305 |  1373445 |     2384   1208 |        0 |        0
960.37/960.73	c  960s |      21 |  1776915 |  1376045 |     2384   1210 |        0 |        0
962.37/962.73	c  962s |      21 |  1780298 |  1378445 |     2384   1212 |        0 |        0
964.37/964.74	c  964s |      21 |  1784062 |  1381045 |     2384   1214 |        0 |        0
966.37/966.79	c  966s |      21 |  1787520 |  1383545 |     2384   1215 |        0 |        0
968.46/968.86	c  968s |      21 |  1791082 |  1386145 |     2384   1217 |        0 |        0
970.46/970.89	c  970s |      21 |  1794089 |  1388445 |     2384   1219 |        0 |        0
972.56/972.96	c  972s |      21 |  1797454 |  1390745 |     2384   1221 |        0 |        0
974.66/975.02	c  974s |      21 |  1800670 |  1392945 |     2384   1222 |        0 |        0
976.66/977.05	c  976s |      21 |  1805388 |  1395945 |     2384   1225 |        0 |        0
978.77/979.11	c  979s |      21 |  1809740 |  1398645 |     2384   1227 |        0 |        0
980.76/981.12	c  981s |      21 |  1813225 |  1401145 |     2384   1229 |        0 |        0
982.76/983.13	c  983s |      21 |  1816528 |  1403545 |     2384   1230 |        0 |        0
984.76/985.16	c  985s |      21 |  1821135 |  1406745 |     2384   1233 |        0 |        0
986.86/987.22	c  987s |      21 |  1824739 |  1409645 |     2384   1235 |        0 |        0
988.85/989.26	c  989s |      21 |  1828112 |  1412145 |     2384   1237 |        0 |        0
990.86/991.26	c  991s |      21 |  1832318 |  1414845 |     2384   1239 |        0 |        0
992.96/993.34	c  993s |      21 |  1836777 |  1417745 |     2384   1241 |        0 |        0
994.95/995.36	c  995s |      21 |  1840622 |  1420445 |     2384   1243 |        0 |        0
997.05/997.42	c  997s |      21 |  1844763 |  1423245 |     2384   1245 |        0 |        0
999.15/999.52	c  999s |      21 |  1849061 |  1426445 |     2384   1248 |        0 |        0
1001.15/1001.54	c 1001s |      21 |  1852917 |  1429145 |     2384   1250 |        0 |        0
1003.15/1003.58	c 1003s |      21 |  1856743 |  1431745 |     2384   1252 |        0 |        0
1005.24/1005.62	c 1005s |      21 |  1860328 |  1434445 |     2384   1254 |        0 |        0
1007.25/1007.69	c 1007s |      21 |  1863715 |  1436745 |     2384   1255 |        0 |        0
1009.24/1009.69	c 1009s |      21 |  1867291 |  1439245 |     2384   1257 |        0 |        0
1011.34/1011.73	c 1011s |      21 |  1870685 |  1441745 |     2384   1259 |        0 |        0
1013.34/1013.75	c 1013s |      21 |  1873486 |  1443845 |     2384   1261 |        0 |        0
1015.44/1015.82	c 1015s |      21 |  1876731 |  1446145 |     2384   1262 |        0 |        0
1017.54/1017.93	c 1017s |      21 |  1879714 |  1448145 |     2384   1264 |        0 |        0
1019.64/1020.00	c 1019s |      21 |  1884330 |  1451245 |     2384   1266 |        0 |        0
1021.54/1022.00	c 1021s |      21 |  1888638 |  1454045 |     2384   1268 |        0 |        0
1023.64/1024.07	c 1023s |      21 |  1892709 |  1456845 |     2384   1270 |        0 |        0
1025.73/1026.12	c 1026s |      21 |  1896133 |  1459245 |     2384   1272 |        0 |        0
1027.73/1028.19	c 1028s |      21 |  1900919 |  1462345 |     2384   1274 |        0 |        0
1029.83/1030.20	c 1030s |      21 |  1904576 |  1464845 |     2384   1276 |        0 |        0
1031.83/1032.26	c 1032s |      21 |  1908134 |  1467345 |     2384   1278 |        0 |        0
1033.93/1034.32	c 1034s |      21 |  1912092 |  1469845 |     2384   1280 |        0 |        0
1035.93/1036.34	c 1036s |      21 |  1916559 |  1473145 |     2384   1282 |        0 |        0
1038.03/1038.41	c 1038s |      21 |  1920619 |  1475945 |     2384   1285 |        0 |        0
1040.03/1040.43	c 1040s |      21 |  1925490 |  1478945 |     2384   1287 |        0 |        0
1042.03/1042.44	c 1042s |      21 |  1929019 |  1481645 |     2384   1289 |        0 |        0
1044.03/1044.49	c 1044s |      21 |  1932944 |  1484345 |     2384   1291 |        0 |        0
1046.12/1046.52	c 1046s |      21 |  1937548 |  1487245 |     2384   1293 |        0 |        0
1048.12/1048.53	c 1048s |      21 |  1941205 |  1489745 |     2384   1295 |        0 |        0
1050.13/1050.54	c 1050s |      21 |  1944570 |  1492145 |     2623   1296 |        0 |        0
1052.12/1052.59	c 1052s |      21 |  1949561 |  1495045 |     2623   1298 |        0 |        0
1054.22/1054.65	c 1054s |      21 |  1953608 |  1497945 |     2623   1300 |        0 |        0
1056.22/1056.61	c 1056s |      22 |  1957266 |  1500622 |     2623   1302 |        0 |        0
1058.22/1058.64	c 1058s |      22 |  1963258 |  1503722 |     2623   1304 |        0 |        0
1060.22/1060.67	c 1060s |      22 |  1966575 |  1506122 |     2623   1306 |        0 |        0
1062.33/1062.76	c 1062s |      22 |  1969075 |  1508322 |     2623   1308 |        0 |        0
1064.42/1064.82	c 1064s |      22 |  1971301 |  1510222 |     2623   1309 |        0 |        0
1066.42/1066.87	c 1066s |      22 |  1974372 |  1512722 |     2623   1311 |        0 |        0
1068.42/1068.87	c 1068s |      22 |  1978350 |  1515222 |     2623   1312 |        0 |        0
1070.52/1070.92	c 1070s |      22 |  1981439 |  1517522 |     2623   1314 |        0 |        0
1072.52/1072.95	c 1072s |      22 |  1985223 |  1519722 |     2623   1316 |        0 |        0
1074.61/1075.00	c 1074s |      22 |  1988131 |  1522022 |     2623   1317 |        0 |        0
1076.62/1077.04	c 1076s |      22 |  1991068 |  1524222 |     2623   1319 |        0 |        0
1078.72/1079.11	c 1079s |      22 |  1994177 |  1526522 |     2623   1320 |        0 |        0
1080.71/1081.18	c 1081s |      22 |  1997662 |  1529122 |     2623   1322 |        0 |        0
1082.81/1083.25	c 1083s |      22 |  2000500 |  1531322 |     2623   1324 |        0 |        0
1084.81/1085.27	c 1085s |      22 |  2003382 |  1533522 |     2623   1325 |        0 |        0
1087.01/1087.42	c 1087s |      22 |  2006104 |  1535622 |     2623   1327 |        0 |        0
1089.01/1089.43	c 1089s |      22 |  2009439 |  1538022 |     2623   1328 |        0 |        0
1091.11/1091.51	c 1091s |      22 |  2012596 |  1540322 |     2623   1330 |        0 |        0
1093.11/1093.52	c 1093s |      22 |  2015392 |  1542422 |     2623   1331 |        0 |        0
1095.21/1095.65	c 1095s |      22 |  2017866 |  1544422 |     2623   1333 |        0 |        0
1097.30/1097.73	c 1097s |      22 |  2020548 |  1546522 |     2623   1334 |        0 |        0
1099.30/1099.79	c 1099s |      22 |  2023788 |  1548522 |     2623   1335 |        0 |        0
1101.40/1101.80	c 1101s |      22 |  2026240 |  1550522 |     2623   1337 |        0 |        0
1103.40/1103.86	c 1103s |      22 |  2029538 |  1552822 |     2623   1338 |        0 |        0
1105.50/1105.90	c 1105s |      22 |  2033973 |  1555722 |     2623   1340 |        0 |        0
1107.50/1107.97	c 1107s |      22 |  2038238 |  1558422 |     2623   1342 |        0 |        0
1109.60/1110.03	c 1109s |      22 |  2041514 |  1560922 |     2623   1344 |        0 |        0
1111.60/1112.08	c 1112s |      22 |  2045093 |  1563422 |     2623   1345 |        0 |        0
1113.70/1114.16	c 1114s |      22 |  2048721 |  1566022 |     2623   1347 |        0 |        0
1115.69/1116.17	c 1116s |      22 |  2052415 |  1568322 |     2623   1349 |        0 |        0
1117.79/1118.24	c 1118s |      22 |  2055348 |  1570622 |     2623   1350 |        0 |        0
1119.89/1120.31	c 1120s |      22 |  2059204 |  1573022 |     2623   1352 |        0 |        0
1121.89/1122.32	c 1122s |      22 |  2063766 |  1575422 |     2623   1354 |        0 |        0
1123.90/1124.37	c 1124s |      22 |  2067053 |  1577822 |     2623   1355 |        0 |        0
1125.89/1126.38	c 1126s |      22 |  2070049 |  1580022 |     2623   1357 |        0 |        0
1128.09/1128.50	c 1128s |      22 |  2073525 |  1582522 |     2623   1358 |        0 |        0
1130.09/1130.53	c 1130s |      22 |  2076391 |  1584422 |     2623   1360 |        0 |        0
1132.09/1132.57	c 1132s |      22 |  2080599 |  1587022 |     2623   1361 |        0 |        0
1134.19/1134.62	c 1134s |      22 |  2084974 |  1589522 |     2623   1363 |        0 |        0
1136.19/1136.68	c 1136s |      22 |  2089011 |  1592022 |     2623   1365 |        0 |        0
1138.29/1138.74	c 1138s |      22 |  2093360 |  1594422 |     2623   1366 |        0 |        0
1140.29/1140.76	c 1140s |      22 |  2097438 |  1596822 |     2623   1368 |        0 |        0
1142.39/1142.81	c 1142s |      22 |  2100876 |  1598922 |     2623   1370 |        0 |        0
1144.39/1144.85	c 1144s |      22 |  2104761 |  1601322 |     2623   1371 |        0 |        0
1146.38/1146.89	c 1146s |      22 |  2108832 |  1603522 |     2623   1373 |        0 |        0
1148.48/1148.93	c 1148s |      22 |  2112352 |  1605922 |     2623   1374 |        0 |        0
1150.48/1150.98	c 1150s |      22 |  2116239 |  1608322 |     2623   1376 |        0 |        0
1152.58/1153.00	c 1152s |      22 |  2119457 |  1610522 |     2623   1377 |        0 |        0
1154.59/1155.06	c 1154s |      22 |  2123890 |  1613022 |     2623   1379 |        0 |        0
1156.58/1157.08	c 1157s |      22 |  2127556 |  1615222 |     2623   1381 |        0 |        0
1158.68/1159.10	c 1159s |      22 |  2130767 |  1617122 |     2623   1382 |        0 |        0
1160.68/1161.16	c 1161s |      22 |  2134917 |  1619722 |     2623   1384 |        0 |        0
1162.68/1163.17	c 1163s |      22 |  2138972 |  1622122 |     2623   1385 |        0 |        0
1164.78/1165.24	c 1165s |      22 |  2142182 |  1624322 |     2623   1387 |        0 |        0
1166.88/1167.31	c 1167s |      22 |  2145520 |  1626822 |     2623   1389 |        0 |        0
1168.89/1169.32	c 1169s |      22 |  2148429 |  1629022 |     2623   1390 |        0 |        0
1170.88/1171.36	c 1171s |      22 |  2151914 |  1631522 |     2623   1392 |        0 |        0
1172.88/1173.36	c 1173s |      22 |  2154858 |  1633722 |     2623   1393 |        0 |        0
1174.98/1175.41	c 1175s |      22 |  2157984 |  1636122 |     2623   1395 |        0 |        0
1176.98/1177.43	c 1177s |      22 |  2161494 |  1638622 |     2623   1396 |        0 |        0
1179.08/1179.53	c 1179s |      22 |  2164455 |  1640722 |     2623   1398 |        0 |        0
1181.09/1181.59	c 1181s |      22 |  2167675 |  1642822 |     2623   1399 |        0 |        0
1183.19/1183.62	c 1183s |      22 |  2171279 |  1645122 |     2623   1401 |        0 |        0
1185.18/1185.67	c 1185s |      22 |  2174922 |  1647222 |     2623   1402 |        0 |        0
1187.28/1187.74	c 1187s |      22 |  2177265 |  1649022 |     2623   1404 |        0 |        0
1189.28/1189.76	c 1189s |      22 |  2180184 |  1650822 |     2623   1405 |        0 |        0
1191.28/1191.77	c 1191s |      22 |  2182993 |  1652822 |     2623   1406 |        0 |        0
1193.38/1193.84	c 1193s |      22 |  2185462 |  1654622 |     2623   1407 |        0 |        0
1195.38/1195.84	c 1195s |      22 |  2189242 |  1656922 |     2623   1409 |        0 |        0
1197.48/1197.91	c 1197s |      22 |  2191808 |  1658922 |     2623   1410 |        0 |        0
1199.48/1199.98	c 1199s |      22 |  2194558 |  1660922 |     2623   1412 |        0 |        0
1201.58/1202.01	c 1201s |      22 |  2197488 |  1662922 |     2623   1413 |        0 |        0
1203.58/1204.04	c 1203s |      22 |  2200068 |  1664822 |     2623   1414 |        0 |        0
1205.58/1206.04	c 1205s |      22 |  2203861 |  1667322 |     2623   1416 |        0 |        0
1207.58/1208.07	c 1207s |      22 |  2207665 |  1669922 |     2623   1418 |        0 |        0
1209.68/1210.14	c 1210s |      22 |  2211561 |  1672522 |     2623   1419 |        0 |        0
1211.78/1212.22	c 1212s |      22 |  2215248 |  1675122 |     2623   1421 |        0 |        0
1213.77/1214.26	c 1214s |      22 |  2218644 |  1677622 |     2623   1423 |        0 |        0
1215.87/1216.32	c 1216s |      22 |  2222719 |  1680122 |     2623   1425 |        0 |        0
1217.87/1218.35	c 1218s |      22 |  2226027 |  1682422 |     2623   1426 |        0 |        0
1219.87/1220.39	c 1220s |      22 |  2229334 |  1684722 |     2623   1428 |        0 |        0
1221.97/1222.45	c 1222s |      22 |  2232581 |  1687222 |     2623   1429 |        0 |        0
1223.98/1224.47	c 1224s |      22 |  2236101 |  1689622 |     2623   1431 |        0 |        0
1225.97/1226.48	c 1226s |      22 |  2239606 |  1691922 |     2623   1432 |        0 |        0
1227.97/1228.49	c 1228s |      22 |  2242729 |  1694022 |     2623   1434 |        0 |        0
1230.08/1230.53	c 1230s |      22 |  2246018 |  1696122 |     2623   1435 |        0 |        0
1232.08/1232.59	c 1232s |      22 |  2249240 |  1698322 |     2623   1437 |        0 |        0
1234.18/1234.68	c 1234s |      22 |  2252566 |  1700722 |     2623   1438 |        0 |        0
1236.18/1236.69	c 1236s |      22 |  2254981 |  1702622 |     2623   1440 |        0 |        0
1238.28/1238.77	c 1238s |      22 |  2258301 |  1704822 |     2623   1441 |        0 |        0
1240.38/1240.80	c 1240s |      22 |  2261735 |  1707022 |     2623   1443 |        0 |        0
1242.38/1242.88	c 1242s |      22 |  2266287 |  1709322 |     2623   1444 |        0 |        0
1244.38/1244.89	c 1244s |      22 |  2269246 |  1711322 |     2623   1446 |        0 |        0
1246.48/1246.95	c 1246s |      22 |  2273232 |  1713422 |     2623   1447 |        0 |        0
1248.48/1248.96	c 1248s |      22 |  2275821 |  1715122 |     2623   1448 |        0 |        0
1250.47/1250.99	c 1250s |      22 |  2279457 |  1717422 |     2623   1450 |        0 |        0
1252.58/1253.03	c 1252s |      22 |  2282604 |  1719622 |     2623   1451 |        0 |        0
1254.57/1255.04	c 1254s |      22 |  2285635 |  1721822 |     2623   1453 |        0 |        0
1256.57/1257.08	c 1257s |      22 |  2288797 |  1724022 |     2623   1454 |        0 |        0
1258.67/1259.14	c 1259s |      22 |  2292058 |  1726122 |     2623   1456 |        0 |        0
1260.77/1261.22	c 1261s |      22 |  2295310 |  1728322 |     2623   1457 |        0 |        0
1262.77/1263.23	c 1263s |      22 |  2297820 |  1730222 |     2623   1458 |        0 |        0
1264.77/1265.29	c 1265s |      22 |  2300768 |  1732222 |     2623   1460 |        0 |        0
1266.88/1267.34	c 1267s |      22 |  2303359 |  1734122 |     2623   1461 |        0 |        0
1268.87/1269.34	c 1269s |      22 |  2306480 |  1736222 |     2623   1462 |        0 |        0
1270.97/1271.42	c 1271s |      22 |  2309180 |  1738122 |     2623   1464 |        0 |        0
1273.07/1273.53	c 1273s |      22 |  2312986 |  1740522 |     2623   1465 |        0 |        0
1275.07/1275.56	c 1275s |      22 |  2316227 |  1742622 |     2623   1467 |        0 |        0
1277.17/1277.62	c 1277s |      22 |  2319278 |  1744722 |     2623   1468 |        0 |        0
1279.17/1279.67	c 1279s |      22 |  2321803 |  1746622 |     2623   1469 |        0 |        0
1281.27/1281.74	c 1281s |      22 |  2324737 |  1748622 |     2623   1471 |        0 |        0
1283.28/1283.78	c 1283s |      22 |  2328304 |  1751022 |     2623   1472 |        0 |        0
1285.37/1285.83	c 1285s |      22 |  2331217 |  1753222 |     2623   1474 |        0 |        0
1287.37/1287.88	c 1287s |      22 |  2334042 |  1755322 |     2623   1475 |        0 |        0
1289.47/1289.90	c 1289s |      22 |  2337019 |  1757122 |     2623   1477 |        0 |        0
1291.47/1291.97	c 1291s |      22 |  2340122 |  1759422 |     2623   1478 |        0 |        0
1293.57/1294.00	c 1293s |      22 |  2343201 |  1761322 |     2623   1479 |        0 |        0
1295.57/1296.02	c 1295s |      22 |  2345308 |  1762922 |     2623   1481 |        0 |        0
1297.57/1298.02	c 1297s |      22 |  2347810 |  1764922 |     2623   1482 |        0 |        0
1299.67/1300.17	c 1300s |      22 |  2350138 |  1766722 |     2623   1483 |        0 |        0
1301.77/1302.28	c 1302s |      22 |  2352415 |  1768522 |     2623   1484 |        0 |        0
1303.87/1304.38	c 1304s |      22 |  2355210 |  1770322 |     2623   1486 |        0 |        0
1305.87/1306.39	c 1306s |      22 |  2359446 |  1772322 |     2623   1487 |        0 |        0
1308.07/1308.51	c 1308s |      22 |  2362851 |  1774122 |     2623   1488 |        0 |        0
1310.06/1310.59	c 1310s |      22 |  2364754 |  1775722 |     2623   1489 |        0 |        0
1312.16/1312.62	c 1312s |      22 |  2367995 |  1778022 |     2623   1491 |        0 |        0
1314.17/1314.65	c 1314s |      22 |  2372263 |  1780722 |     2623   1493 |        0 |        0
1316.27/1316.73	c 1316s |      22 |  2375881 |  1783422 |     2623   1494 |        0 |        0
1318.26/1318.74	c 1318s |      22 |  2380087 |  1786222 |     2623   1496 |        0 |        0
1320.36/1320.80	c 1320s |      22 |  2383678 |  1788822 |     2623   1498 |        0 |        0
1322.36/1322.86	c 1322s |      22 |  2387152 |  1791122 |     2623   1500 |        0 |        0
1324.46/1324.93	c 1324s |      22 |  2392132 |  1793622 |     2623   1501 |        0 |        0
1326.46/1326.97	c 1326s |      22 |  2397287 |  1796322 |     2623   1503 |        0 |        0
1328.56/1329.00	c 1328s |      22 |  2403043 |  1798922 |     2623   1505 |        0 |        0
1330.57/1331.06	c 1330s |      22 |  2407295 |  1801422 |     2623   1507 |        0 |        0
1332.56/1333.08	c 1333s |      22 |  2410516 |  1803722 |     2623   1508 |        0 |        0
1334.66/1335.16	c 1335s |      22 |  2414649 |  1806622 |     2623   1510 |        0 |        0
1336.66/1337.16	c 1337s |      22 |  2418024 |  1808922 |     2623   1512 |        0 |        0
1338.76/1339.26	c 1339s |      22 |  2421810 |  1811322 |     2623   1513 |        0 |        0
1340.76/1341.27	c 1341s |      22 |  2424620 |  1813322 |     2623   1515 |        0 |        0
1342.86/1343.34	c 1343s |      22 |  2427858 |  1815622 |     2623   1516 |        0 |        0
1344.87/1345.39	c 1345s |      22 |  2430613 |  1818022 |     2623   1518 |        0 |        0
1346.96/1347.49	c 1347s |      22 |  2433742 |  1820022 |     2623   1519 |        0 |        0
1349.06/1349.56	c 1349s |      22 |  2435655 |  1821722 |     2623   1521 |        0 |        0
1351.06/1351.58	c 1351s |      22 |  2439351 |  1824022 |     2623   1522 |        0 |        0
1353.16/1353.64	c 1353s |      22 |  2443375 |  1826522 |     2623   1524 |        0 |        0
1355.16/1355.68	c 1355s |      22 |  2446762 |  1829222 |     2623   1526 |        0 |        0
1357.26/1357.73	c 1357s |      22 |  2450040 |  1831922 |     2623   1528 |        0 |        0
1359.26/1359.74	c 1359s |      22 |  2453704 |  1834622 |     2623   1529 |        0 |        0
1361.36/1361.81	c 1361s |      22 |  2456890 |  1837322 |     2623   1531 |        0 |        0
1363.36/1363.86	c 1363s |      22 |  2460174 |  1839922 |     2623   1533 |        0 |        0
1365.46/1365.91	c 1365s |      22 |  2463383 |  1842422 |     2623   1535 |        0 |        0
1367.46/1367.96	c 1367s |      22 |  2466862 |  1845122 |     2623   1537 |        0 |        0
1369.55/1370.00	c 1369s |      22 |  2469835 |  1847522 |     2623   1538 |        0 |        0
1371.55/1372.04	c 1371s |      22 |  2473626 |  1850422 |     2623   1540 |        0 |        0
1373.65/1374.14	c 1374s |      22 |  2476704 |  1852922 |     2623   1542 |        0 |        0
1375.66/1376.20	c 1376s |      22 |  2479329 |  1855022 |     2623   1543 |        0 |        0
1377.75/1378.23	c 1378s |      22 |  2481650 |  1856922 |     2623   1545 |        0 |        0
1379.75/1380.28	c 1380s |      22 |  2485463 |  1859622 |     2623   1546 |        0 |        0
1381.75/1382.29	c 1382s |      22 |  2488309 |  1861922 |     2623   1548 |        0 |        0
1383.85/1384.31	c 1384s |      22 |  2491599 |  1864522 |     2623   1550 |        0 |        0
1385.85/1386.35	c 1386s |      22 |  2495333 |  1867422 |     2623   1552 |        0 |        0
1387.95/1388.46	c 1388s |      22 |  2498603 |  1870022 |     2623   1554 |        0 |        0
1390.06/1390.50	c 1390s |      22 |  2501726 |  1872622 |     2623   1555 |        0 |        0
1392.05/1392.51	c 1392s |      22 |  2504363 |  1874822 |     2623   1557 |        0 |        0
1394.05/1394.55	c 1394s |      22 |  2507571 |  1877322 |     2623   1559 |        0 |        0
1396.05/1396.58	c 1396s |      22 |  2510494 |  1879822 |     2623   1560 |        0 |        0
1398.15/1398.61	c 1398s |      22 |  2514091 |  1882522 |     2623   1562 |        0 |        0
1400.15/1400.65	c 1400s |      22 |  2517724 |  1885122 |     2623   1564 |        0 |        0
1402.25/1402.72	c 1402s |      22 |  2521101 |  1887622 |     2623   1566 |        0 |        0
1404.26/1404.74	c 1404s |      22 |  2523994 |  1889922 |     2623   1567 |        0 |        0
1406.25/1406.75	c 1406s |      22 |  2526819 |  1892222 |     2623   1569 |        0 |        0
1408.25/1408.75	c 1408s |      22 |  2529520 |  1894422 |     2623   1570 |        0 |        0
1410.35/1410.84	c 1410s |      22 |  2532269 |  1896622 |     2623   1572 |        0 |        0
1412.35/1412.85	c 1412s |      22 |  2534820 |  1898722 |     2623   1573 |        0 |        0
1414.45/1414.92	c 1414s |      22 |  2538534 |  1901422 |     2623   1575 |        0 |        0
1416.45/1416.96	c 1416s |      22 |  2541212 |  1903622 |     2623   1576 |        0 |        0
1418.45/1419.00	c 1418s |      22 |  2544547 |  1906122 |     2623   1578 |        0 |        0
1420.55/1421.00	c 1420s |      22 |  2547367 |  1908322 |     2623   1580 |        0 |        0
1422.55/1423.01	c 1422s |      22 |  2550898 |  1911222 |     2623   1582 |        0 |        0
1424.55/1425.04	c 1424s |      22 |  2554003 |  1913822 |     2623   1583 |        0 |        0
1426.65/1427.10	c 1427s |      22 |  2557472 |  1916622 |     2623   1585 |        0 |        0
1428.64/1429.14	c 1429s |      22 |  2560634 |  1919122 |     2623   1587 |        0 |        0
1430.65/1431.15	c 1431s |      22 |  2563572 |  1921422 |     2623   1589 |        0 |        0
1432.64/1433.19	c 1433s |      22 |  2567264 |  1924222 |     2623   1590 |        0 |        0
1434.74/1435.23	c 1435s |      22 |  2570376 |  1926522 |     2623   1592 |        0 |        0
1436.74/1437.26	c 1437s |      22 |  2573646 |  1928922 |     2623   1594 |        0 |        0
1438.74/1439.27	c 1439s |      22 |  2576976 |  1931622 |     2623   1596 |        0 |        0
1440.84/1441.33	c 1441s |      22 |  2579922 |  1933922 |     2623   1597 |        0 |        0
1442.85/1443.35	c 1443s |      22 |  2583084 |  1936422 |     2623   1599 |        0 |        0
1444.84/1445.35	c 1445s |      22 |  2586144 |  1938722 |     2623   1600 |        0 |        0
1446.94/1447.40	c 1447s |      22 |  2589473 |  1941222 |     2623   1602 |        0 |        0
1448.94/1449.42	c 1449s |      22 |  2592573 |  1943622 |     2623   1604 |        0 |        0
1450.94/1451.43	c 1451s |      22 |  2595645 |  1945922 |     2623   1605 |        0 |        0
1452.94/1453.46	c 1453s |      22 |  2598040 |  1947922 |     2623   1607 |        0 |        0
1455.04/1455.53	c 1455s |      22 |  2601325 |  1950422 |     2623   1608 |        0 |        0
1457.04/1457.60	c 1457s |      22 |  2604928 |  1953022 |     2623   1610 |        0 |        0
1459.14/1459.60	c 1459s |      22 |  2607898 |  1955222 |     2623   1612 |        0 |        0
1461.14/1461.63	c 1461s |      22 |  2611381 |  1957522 |     2623   1613 |        0 |        0
1463.14/1463.67	c 1463s |      22 |  2615019 |  1959822 |     2623   1615 |        0 |        0
1465.24/1465.73	c 1465s |      22 |  2618667 |  1962622 |     2623   1617 |        0 |        0
1467.24/1467.76	c 1467s |      22 |  2621685 |  1965122 |     2623   1618 |        0 |        0
1469.24/1469.78	c 1469s |      22 |  2624394 |  1967222 |     2623   1620 |        0 |        0
1471.34/1471.84	c 1471s |      22 |  2627652 |  1969522 |     2623   1621 |        0 |        0
1473.34/1473.86	c 1473s |      22 |  2631176 |  1971922 |     2623   1623 |        0 |        0
1475.33/1475.89	c 1475s |      22 |  2634595 |  1974222 |     2623   1625 |        0 |        0
1477.43/1477.90	c 1477s |      22 |  2637237 |  1976222 |     2623   1626 |        0 |        0
1479.43/1479.94	c 1479s |      22 |  2640856 |  1978622 |     2623   1628 |        0 |        0
1481.53/1482.02	c 1481s |      22 |  2643794 |  1981022 |     2623   1629 |        0 |        0
1483.54/1484.06	c 1483s |      22 |  2646313 |  1983122 |     2623   1631 |        0 |        0
1485.64/1486.15	c 1486s |      22 |  2649606 |  1985722 |     2623   1633 |        0 |        0
1487.73/1488.20	c 1488s |      22 |  2653784 |  1988322 |     2623   1634 |        0 |        0
1489.73/1490.23	c 1490s |      22 |  2656978 |  1990622 |     2623   1636 |        0 |        0
1491.73/1492.27	c 1492s |      22 |  2660815 |  1993222 |     2623   1638 |        0 |        0
1493.83/1494.33	c 1494s |      22 |  2664594 |  1995722 |     2623   1639 |        0 |        0
1495.83/1496.36	c 1496s |      22 |  2667591 |  1998122 |     2623   1641 |        0 |        0
1497.93/1498.42	c 1498s |      22 |  2670936 |  2000522 |     2623   1643 |        0 |        0
1500.04/1500.52	c 1500s |      22 |  2674593 |  2003222 |     2623   1645 |        0 |        0
1502.03/1502.55	c 1502s |      22 |  2677811 |  2005722 |     2623   1646 |        0 |        0
1504.03/1504.59	c 1504s |      22 |  2681104 |  2007922 |     2623   1648 |        0 |        0
1506.13/1506.67	c 1506s |      22 |  2685373 |  2010322 |     2623   1649 |        0 |        0
1508.23/1508.71	c 1508s |      22 |  2688263 |  2012522 |     2623   1651 |        0 |        0
1510.23/1510.79	c 1510s |      22 |  2691674 |  2014922 |     2623   1653 |        0 |        0
1512.33/1512.81	c 1512s |      22 |  2695089 |  2017522 |     2623   1654 |        0 |        0
1514.33/1514.83	c 1514s |      22 |  2699306 |  2020422 |     2623   1656 |        0 |        0
1516.33/1516.88	c 1516s |      22 |  2702780 |  2023122 |     2623   1658 |        0 |        0
1518.33/1518.88	c 1518s |      22 |  2705432 |  2025322 |     2623   1660 |        0 |        0
1520.43/1520.91	c 1520s |      22 |  2708851 |  2027722 |     2623   1661 |        0 |        0
1522.43/1522.94	c 1522s |      22 |  2711729 |  2030022 |     2623   1663 |        0 |        0
1524.43/1524.96	c 1524s |      22 |  2714532 |  2032122 |     2623   1664 |        0 |        0
1526.43/1526.98	c 1526s |      22 |  2718117 |  2034722 |     2623   1666 |        0 |        0
1528.53/1529.03	c 1528s |      22 |  2721161 |  2037022 |     2623   1668 |        0 |        0
1530.53/1531.08	c 1531s |      22 |  2724590 |  2039422 |     2623   1669 |        0 |        0
1532.53/1533.08	c 1533s |      22 |  2727738 |  2041822 |     2623   1671 |        0 |        0
1534.62/1535.13	c 1535s |      22 |  2730563 |  2044122 |     2623   1673 |        0 |        0
1536.72/1537.22	c 1537s |      22 |  2733546 |  2046422 |     2623   1674 |        0 |        0
1538.72/1539.29	c 1539s |      22 |  2735841 |  2048422 |     2623   1676 |        0 |        0
1540.82/1541.34	c 1541s |      22 |  2738319 |  2050522 |     2623   1677 |        0 |        0
1542.83/1543.38	c 1543s |      22 |  2741639 |  2052822 |     2623   1679 |        0 |        0
1544.82/1545.38	c 1545s |      22 |  2744871 |  2055222 |     2623   1680 |        0 |        0
1546.92/1547.40	c 1547s |      22 |  2747934 |  2057422 |     2623   1682 |        0 |        0
1548.92/1549.46	c 1549s |      22 |  2751710 |  2060222 |     2623   1684 |        0 |        0
1551.02/1551.53	c 1551s |      22 |  2754939 |  2062722 |     2623   1685 |        0 |        0
1553.02/1553.56	c 1553s |      22 |  2757941 |  2065122 |     2623   1687 |        0 |        0
1555.03/1555.57	c 1555s |      22 |  2761012 |  2067422 |     2623   1689 |        0 |        0
1557.13/1557.63	c 1557s |      22 |  2764116 |  2069622 |     2623   1690 |        0 |        0
1559.12/1559.64	c 1559s |      22 |  2766611 |  2071722 |     2623   1692 |        0 |        0
1561.12/1561.68	c 1561s |      22 |  2769459 |  2073822 |     2623   1693 |        0 |        0
1563.22/1563.76	c 1563s |      22 |  2772485 |  2076022 |     2623   1695 |        0 |        0
1565.32/1565.81	c 1565s |      22 |  2775802 |  2078322 |     2623   1696 |        0 |        0
1567.42/1567.91	c 1567s |      22 |  2778436 |  2080422 |     2623   1698 |        0 |        0
1569.42/1569.97	c 1569s |      22 |  2781540 |  2082722 |     2623   1699 |        0 |        0
1571.53/1572.03	c 1571s |      22 |  2784327 |  2084922 |     2623   1701 |        0 |        0
1573.62/1574.13	c 1574s |      22 |  2786784 |  2086822 |     2623   1702 |        0 |        0
1575.62/1576.17	c 1576s |      22 |  2789254 |  2088722 |     2623   1703 |        0 |        0
1577.72/1578.23	c 1578s |      22 |  2792606 |  2091022 |     2623   1705 |        0 |        0
1579.82/1580.30	c 1580s |      22 |  2795382 |  2093122 |     2623   1707 |        0 |        0
1581.82/1582.39	c 1582s |      22 |  2798433 |  2095522 |     2623   1708 |        0 |        0
1583.92/1584.49	c 1584s |      22 |  2801110 |  2097522 |     2623   1710 |        0 |        0
1586.02/1586.57	c 1586s |      22 |  2803741 |  2099722 |     2623   1711 |        0 |        0
1588.12/1588.61	c 1588s |      22 |  2805999 |  2101522 |     2623   1712 |        0 |        0
1590.12/1590.64	c 1590s |      22 |  2807972 |  2103122 |     2623   1713 |        0 |        0
1592.12/1592.67	c 1592s |      22 |  2810489 |  2105022 |     2623   1715 |        0 |        0
1594.21/1594.70	c 1594s |      22 |  2813190 |  2107122 |     2623   1716 |        0 |        0
1596.21/1596.71	c 1596s |      22 |  2815854 |  2109122 |     2623   1717 |        0 |        0
1598.21/1598.77	c 1598s |      22 |  2818921 |  2111222 |     2623   1719 |        0 |        0
1600.31/1600.82	c 1600s |      22 |  2822042 |  2113722 |     2623   1721 |        0 |        0
1602.32/1602.84	c 1602s |      22 |  2824628 |  2115922 |     2623   1722 |        0 |        0
1604.42/1604.97	c 1604s |      22 |  2827104 |  2118022 |     2623   1724 |        0 |        0
1606.51/1607.03	c 1606s |      22 |  2830592 |  2120622 |     2623   1725 |        0 |        0
1608.51/1609.07	c 1608s |      22 |  2834657 |  2123122 |     2623   1727 |        0 |        0
1610.61/1611.13	c 1611s |      22 |  2837731 |  2125522 |     2623   1729 |        0 |        0
1612.61/1613.17	c 1613s |      22 |  2840544 |  2127722 |     2623   1730 |        0 |        0
1614.71/1615.22	c 1615s |      22 |  2844125 |  2129922 |     2623   1732 |        0 |        0
1616.72/1617.25	c 1617s |      22 |  2847485 |  2132222 |     2623   1733 |        0 |        0
1618.73/1619.27	c 1619s |      22 |  2850939 |  2134722 |     2623   1735 |        0 |        0
1620.72/1621.27	c 1621s |      22 |  2854687 |  2137522 |     2623   1737 |        0 |        0
1622.82/1623.34	c 1623s |      22 |  2857678 |  2140022 |     2623   1739 |        0 |        0
1624.82/1625.39	c 1625s |      22 |  2860872 |  2142422 |     2623   1740 |        0 |        0
1626.92/1627.41	c 1627s |      22 |  2863807 |  2144622 |     2623   1742 |        0 |        0
1628.92/1629.42	c 1629s |      22 |  2867814 |  2147422 |     2623   1744 |        0 |        0
1630.92/1631.49	c 1631s |      22 |  2871379 |  2150122 |     2623   1746 |        0 |        0
1633.02/1633.55	c 1633s |      22 |  2874861 |  2152622 |     2623   1747 |        0 |        0
1635.12/1635.63	c 1635s |      22 |  2878470 |  2155222 |     2623   1749 |        0 |        0
1637.12/1637.66	c 1637s |      22 |  2881581 |  2157522 |     2623   1751 |        0 |        0
1639.22/1639.75	c 1639s |      22 |  2884904 |  2160022 |     2623   1752 |        0 |        0
1641.22/1641.75	c 1641s |      22 |  2887775 |  2162122 |     2623   1754 |        0 |        0
1643.22/1643.77	c 1643s |      22 |  2890614 |  2164322 |     2623   1755 |        0 |        0
1645.32/1645.86	c 1645s |      22 |  2893784 |  2166722 |     2623   1757 |        0 |        0
1647.32/1647.90	c 1647s |      22 |  2896924 |  2169022 |     2623   1759 |        0 |        0
1649.41/1649.90	c 1649s |      22 |  2901109 |  2171322 |     2623   1760 |        0 |        0
1651.41/1651.93	c 1651s |      22 |  2904194 |  2173822 |     2623   1762 |        0 |        0
1653.41/1653.96	c 1653s |      22 |  2906781 |  2176022 |     2623   1763 |        0 |        0
1655.51/1656.00	c 1655s |      22 |  2909206 |  2178022 |     2623   1765 |        0 |        0
1657.51/1658.04	c 1657s |      22 |  2912557 |  2180222 |     2623   1766 |        0 |        0
1659.52/1660.07	c 1659s |      22 |  2915622 |  2182522 |     2623   1768 |        0 |        0
1661.62/1662.12	c 1662s |      22 |  2919375 |  2185222 |     2623   1770 |        0 |        0
1663.71/1664.20	c 1664s |      22 |  2923179 |  2187822 |     2623   1772 |        0 |        0
1665.71/1666.20	c 1666s |      22 |  2926232 |  2190222 |     2623   1773 |        0 |        0
1667.71/1668.21	c 1668s |      22 |  2929105 |  2192422 |     2623   1775 |        0 |        0
1669.71/1670.26	c 1670s |      22 |  2932428 |  2194622 |     2623   1776 |        0 |        0
1671.71/1672.29	c 1672s |      22 |  2935923 |  2197022 |     2623   1778 |        0 |        0
1673.82/1674.34	c 1674s |      22 |  2939105 |  2199322 |     2623   1779 |        0 |        0
1675.81/1676.40	c 1676s |      22 |  2942539 |  2201722 |     2623   1781 |        0 |        0
1677.91/1678.43	c 1678s |      22 |  2945632 |  2204022 |     2623   1783 |        0 |        0
1680.01/1680.50	c 1680s |      22 |  2949405 |  2206522 |     2623   1784 |        0 |        0
1682.01/1682.58	c 1682s |      22 |  2952618 |  2208922 |     2623   1786 |        0 |        0
1684.11/1684.63	c 1684s |      22 |  2955513 |  2211222 |     2623   1788 |        0 |        0
1686.11/1686.67	c 1686s |      22 |  2958736 |  2213422 |     2623   1789 |        0 |        0
1688.21/1688.75	c 1688s |      22 |  2961371 |  2215622 |     2623   1791 |        0 |        0
1690.31/1690.82	c 1690s |      22 |  2964075 |  2217622 |     2623   1792 |        0 |        0
1692.31/1692.88	c 1692s |      22 |  2966631 |  2219522 |     2623   1793 |        0 |        0
1694.41/1694.97	c 1694s |      22 |  2969349 |  2221422 |     2623   1795 |        0 |        0
1696.41/1696.99	c 1696s |      22 |  2973086 |  2223922 |     2623   1796 |        0 |        0
1698.40/1698.99	c 1698s |      22 |  2976563 |  2226222 |     2623   1798 |        0 |        0
1700.50/1701.02	c 1700s |      22 |  2979840 |  2228422 |     2623   1799 |        0 |        0
1702.50/1703.02	c 1702s |      22 |  2982704 |  2230822 |     2623   1801 |        0 |        0
1704.51/1705.03	c 1704s |      22 |  2985119 |  2232822 |     2623   1802 |        0 |        0
1706.60/1707.12	c 1707s |      22 |  2988821 |  2235322 |     2886   1804 |        0 |        0
1708.60/1709.15	c 1709s |      22 |  2991834 |  2237722 |     2886   1806 |        0 |        0
1710.60/1711.15	c 1711s |      22 |  2994910 |  2240222 |     2886   1807 |        0 |        0
1712.70/1713.26	c 1713s |      22 |  2997527 |  2242422 |     2886   1808 |        0 |        0
1714.80/1715.30	c 1715s |      22 |  3000364 |  2244622 |     2886   1810 |        0 |        0
1716.80/1717.32	c 1717s |      22 |  3003773 |  2247322 |     2886   1812 |        0 |        0
1718.81/1719.36	c 1719s |      22 |  3007289 |  2249922 |     2886   1813 |        0 |        0
1719.80/1720.35	c 1720s |      23 |  3008743 |  2251038 |     2886   1814 |        0 |        0
1721.90/1722.41	c 1722s |      23 |  3013421 |  2254338 |     2886   1816 |        0 |        0
1723.90/1724.48	c 1724s |      23 |  3018107 |  2257338 |     2886   1818 |        0 |        0
1726.00/1726.53	c 1726s |      23 |  3021866 |  2259838 |     2886   1819 |        0 |        0
1728.00/1728.55	c 1728s |      23 |  3024791 |  2262238 |     2886   1821 |        0 |        0
1730.00/1730.58	c 1730s |      23 |  3027960 |  2264938 |     2886   1823 |        0 |        0
1732.00/1732.60	c 1732s |      23 |  3031311 |  2267638 |     2886   1824 |        0 |        0
1734.10/1734.63	c 1734s |      23 |  3034389 |  2270238 |     2886   1826 |        0 |        0
1736.10/1736.65	c 1736s |      23 |  3037102 |  2272438 |     2886   1827 |        0 |        0
1738.20/1738.71	c 1738s |      23 |  3039517 |  2274538 |     2886   1829 |        0 |        0
1740.20/1740.72	c 1740s |      23 |  3042655 |  2276838 |     2886   1830 |        0 |        0
1742.20/1742.74	c 1742s |      23 |  3045488 |  2278938 |     2886   1832 |        0 |        0
1744.20/1744.79	c 1744s |      23 |  3048104 |  2281238 |     2886   1833 |        0 |        0
1746.40/1746.91	c 1746s |      23 |  3050829 |  2283538 |     2886   1835 |        0 |        0
1748.40/1748.93	c 1748s |      23 |  3053211 |  2285438 |     2886   1836 |        0 |        0
1750.40/1750.96	c 1750s |      23 |  3055410 |  2287338 |     2886   1837 |        0 |        0
1752.50/1753.03	c 1752s |      23 |  3058443 |  2289438 |     2886   1838 |        0 |        0
1754.60/1755.13	c 1755s |      23 |  3060826 |  2291438 |     2886   1840 |        0 |        0
1756.70/1757.20	c 1757s |      23 |  3062876 |  2293238 |     2886   1841 |        0 |        0
1758.69/1759.25	c 1759s |      23 |  3065303 |  2295138 |     2886   1842 |        0 |        0
1760.70/1761.25	c 1761s |      23 |  3068449 |  2297238 |     2886   1843 |        0 |        0
1762.69/1763.29	c 1763s |      23 |  3071087 |  2299438 |     2886   1845 |        0 |        0
1764.79/1765.36	c 1765s |      23 |  3074098 |  2301838 |     2886   1846 |        0 |        0
1766.89/1767.42	c 1767s |      23 |  3076569 |  2303938 |     2886   1847 |        0 |        0
1768.99/1769.51	c 1769s |      23 |  3078648 |  2305738 |     2886   1849 |        0 |        0
1770.99/1771.55	c 1771s |      23 |  3081591 |  2307838 |     2886   1850 |        0 |        0
1772.99/1773.59	c 1773s |      23 |  3084421 |  2310138 |     2886   1851 |        0 |        0
1775.09/1775.60	c 1775s |      23 |  3086899 |  2312238 |     2886   1853 |        0 |        0
1777.10/1777.61	c 1777s |      23 |  3089809 |  2314738 |     2886   1854 |        0 |        0
1779.09/1779.64	c 1779s |      23 |  3092091 |  2316738 |     2886   1856 |        0 |        0
1781.09/1781.69	c 1781s |      23 |  3095170 |  2319138 |     2886   1857 |        0 |        0
1783.19/1783.74	c 1783s |      23 |  3097757 |  2321338 |     2886   1858 |        0 |        0
1785.19/1785.76	c 1785s |      23 |  3100520 |  2323538 |     2886   1860 |        0 |        0
1787.29/1787.83	c 1787s |      23 |  3103554 |  2325738 |     2886   1861 |        0 |        0
1789.39/1789.90	c 1789s |      23 |  3106144 |  2327738 |     2886   1862 |        0 |        0
1791.39/1791.91	c 1791s |      23 |  3108613 |  2329638 |     2886   1864 |        0 |        0
1793.39/1793.93	c 1793s |      23 |  3111151 |  2331638 |     2886   1865 |        0 |        0
1795.39/1795.99	c 1795s |      23 |  3113113 |  2333338 |     2886   1866 |        0 |        0
1797.49/1798.02	c 1797s |      23 |  3115338 |  2335138 |     2886   1867 |        0 |        0
1799.59/1800.11	c 1800s |      23 |  3117912 |  2337238 |     2886   1868 |        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-4093311-1466077921/watcher-4093311-1466077921 -o /tmp/evaluation-result-4093311-1466077921/solver-4093311-1466077921 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093311-1466077921.wbo 

pid=17520
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.06 2.00 3/177 17523
/proc/meminfo: memFree=29171948/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=533948 CPUtime=0 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 1956 0 0 0 0 0 0 0 20 0 4 0 9842233 546762752 2829 33554432000 4194304 16246674 140735944936768 140735944936192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 134255 2838 441 2943 0 131149 0
[pid=17523/tid=17524] ppid=17520 vsize=551356 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 564588544 2898 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=555452 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 568782848 2914 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=560572 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 574025728 2931 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100151 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 17523
/proc/meminfo: memFree=29171948/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 25682 0 0 0 6 3 0 0 20 0 4 0 9842233 1247350784 26541 33554432000 4194304 16246674 140735944936768 140735944936192 5991539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 304529 26555 800 2943 0 301423 0
[pid=17523/tid=17524] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 26565 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 26574 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1247350784 26580 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200483 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 17523
/proc/meminfo: memFree=29171948/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 55974 0 0 0 13 6 0 0 20 0 4 0 9842233 1247350784 56832 33554432000 4194304 16246674 140735944936768 140735944936192 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 304529 56846 800 2943 0 301423 0
[pid=17523/tid=17524] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 56854 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 56862 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1247350784 56866 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300461 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 17523
/proc/meminfo: memFree=29171948/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 87370 0 0 0 18 11 0 0 20 0 4 0 9842233 1247350784 88229 33554432000 4194304 16246674 140735944936768 140735944936192 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 304529 88250 806 2943 0 301423 0
[pid=17523/tid=17524] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 88261 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 88268 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1247350784 88275 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700355 s]
/proc/loadavg: 2.09 2.06 2.00 3/177 17523
/proc/meminfo: memFree=29171948/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 209067 0 0 0 41 28 0 0 20 0 4 0 9842233 1247350784 209925 33554432000 4194304 16246674 140735944936768 140735944918656 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 304529 209943 806 2943 0 301423 0
[pid=17523/tid=17524] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 209951 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1247350784 209962 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1247350784 209970 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.09 2.06 2.00 3/181 17527
/proc/meminfo: memFree=28185832/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 266858 0 0 0 114 35 0 0 20 0 4 0 9842233 1334382592 267694 33554432000 4194304 16246674 140735944936768 140735944918656 12483230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 325777 267694 864 2943 0 322671 0
[pid=17523/tid=17524] ppid=17520 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1334382592 267694 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1334382592 267694 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1334382592 267694 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10037 s]
/proc/loadavg: 2.09 2.06 2.00 3/181 17527
/proc/meminfo: memFree=28098412/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 267761 0 0 0 274 35 0 0 20 0 4 0 9842233 1338576896 268597 33554432000 4194304 16246674 140735944936768 140735944918656 12483303 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 326801 268597 866 2943 0 323695 0
[pid=17523/tid=17524] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268597 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268597 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1338576896 268597 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30037 s]
/proc/loadavg: 2.08 2.06 2.00 3/181 17527
/proc/meminfo: memFree=28083208/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 267761 0 0 0 594 35 0 0 20 0 4 0 9842233 1338576896 268597 33554432000 4194304 16246674 140735944936768 140735944918656 6020961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 326801 268597 866 2943 0 323695 0
[pid=17523/tid=17524] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268597 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268597 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1338576896 268597 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.08 2.06 2.00 3/181 17527
/proc/meminfo: memFree=28082644/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 267911 0 0 0 1234 35 0 0 20 0 4 0 9842233 1338576896 268747 33554432000 4194304 16246674 140735944936768 140735944918656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 326801 268747 866 2943 0 323695 0
[pid=17523/tid=17524] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268747 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268747 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1338576896 268747 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.06 2.06 2.00 3/181 17527
/proc/meminfo: memFree=28066004/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 267913 0 0 0 2514 35 0 0 20 0 4 0 9842233 1338576896 268749 33554432000 4194304 16246674 140735944936768 140735944918656 12875520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 326801 268749 868 2943 0 323695 0
[pid=17523/tid=17524] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268749 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1338576896 268749 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1338576896 268749 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.10 2.07 2.01 3/181 17527
/proc/meminfo: memFree=28045452/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 268101 0 0 0 5073 35 0 0 20 0 4 0 9842233 1339625472 268937 33554432000 4194304 16246674 140735944936768 140735944918656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 327057 268937 869 2943 0 323951 0
[pid=17523/tid=17524] ppid=17520 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1339625472 268937 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1339625472 268937 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1339625472 268937 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/181 17529
/proc/meminfo: memFree=27967348/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 268682 0 0 0 10193 35 0 0 20 0 4 0 9842233 1341722624 269518 33554432000 4194304 16246674 140735944936768 140735944918656 13191794 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 327569 269518 869 2943 0 324463 0
[pid=17523/tid=17524] ppid=17520 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1341722624 269518 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1341722624 269518 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1341722624 269518 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 2.03 3/180 17630
/proc/meminfo: memFree=29405932/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1301.87 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 130148 39 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5523307 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 2.03 3/181 17632
/proc/meminfo: memFree=29406328/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1361.86 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 136147 39 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5664743 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.03 3/181 17633
/proc/meminfo: memFree=29405980/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1421.85 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 142146 39 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/181 17634
/proc/meminfo: memFree=29406140/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1481.83 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 148144 39 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5522925 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.02 3/181 17635
/proc/meminfo: memFree=29406044/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1541.83 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 154144 39 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.02 3/181 17636
/proc/meminfo: memFree=29405896/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1601.81 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 160142 39 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5546248 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.01 4/181 17638
/proc/meminfo: memFree=29405804/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1661.81 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 166141 40 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5676015 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/182 17642
/proc/meminfo: memFree=29405192/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1721.8 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 172140 40 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5822286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/181 17643
/proc/meminfo: memFree=29405028/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1781.79 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 178139 40 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 12483332 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.13 2.05 2.01 3/181 17643
/proc/meminfo: memFree=29405000/32872528 swapFree=446836/479540
[pid=17523] ppid=17520 vsize=1320516 CPUtime=1800.09 cores=0,2,4,6
/proc/17523/stat : 17523 (toysat) R 17520 17523 15681 0 -1 4202496 271676 0 0 0 179969 40 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140735944918656 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17523/statm: 330129 272082 870 2943 0 327023 0
[pid=17523/tid=17524] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17524/stat : 17524 (toysat) S 17520 17523 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378514631920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=17523/tid=17525] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17525/stat : 17525 (toysat) S 17520 17523 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9842233 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378504142064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=17523/tid=17526] ppid=17520 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17526/stat : 17526 (toysat) S 17520 17523 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9842234 1352208384 272082 33554432000 4194304 16246674 140735944936768 140378388819120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1320516

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 17523 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.7
CPU system time (s): 0.406938
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.406938
maximum resident set size= 1088328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271676
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= 445
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72113 second user time and 7.35588 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 13:52:01
IDJOB=4093311
IDBENCH=78666
IDSOLVER=2553
FILE ID=node104/4093311-1466077921
RUNJOBID= node104-1466074317-17183
PBS_JOBID= 19904028
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= d97c5722fe377ef62d4d83eb3fe2e1eb
RANDOM SEED=1816479465

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29172328 kB
Buffers:           20988 kB
Cached:           108500 kB
SwapCached:          516 kB
Active:          2470692 kB
Inactive:          49392 kB
Active(anon):    2391880 kB
Inactive(anon):     1168 kB
Active(file):      78812 kB
Inactive(file):    48224 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2887748 kB
Mapped:            11000 kB
Shmem:                 0 kB
Slab:             566796 kB
SReclaimable:      11184 kB
SUnreclaim:       555612 kB
KernelStack:        1504 kB
PageTables:         9264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3002480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node104 at 2016-06-16 14:22:02