Trace number 4093631

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMccc8229e0445e5a3e6fad9172f1ab48d
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1.41378
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1200
Total number of constraints100
Number of soft constraints100
Number of constraints which are clauses60
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 constraint30
Top cost 4887
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4886
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
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-16T17:34:37+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-4093631-1466091277.wbo"]
0.00/0.01	c use --random-gen="3323200744 3609275732 1457604429 414853360 210882080 2678217131 2996048158 3219795337 2499225464 3134998309 3083167530 1255021792 4183377667 3328882306 767588289 69367949 1193013772 2132381642 2618516922 2430230439 3504375975 1839903232 2781765290 938753949 1499663018 951727745 2581744043 824454847 4133675211 850554078 3615864541 2997419052 88973907 1727457143 836893682 4247445553 298140732 795094944 3178575589 205895254 1810379934 208462975 1276125751 923191686 2893485764 646875466 4192316171 37366056 2134727761 1795448082 4091080878 737973356 2048172814 1247098170 1217283312 2885945939 3575419424 2356680035 3363987828 1076056909 1678799236 2751541707 2643105999 132691833 1279603168 3477503224 1687580727 436753035 3266383426 1352309521 3130370115 2837589873 1278527228 3858027088 2250886159 3317653507 3763919058 2054634373 3125131027 1361386591 4237098680 1844077247 408638970 783507744 903786818 1944606025 3961297584 814228444 1939808259 2471413447 2971441112 1880957224 627454781 1921753997 1681878303 3227234142 4102484721 955724352 3474906539 3247795938 3959256189 2534092588 994691526 214580475 3754779923 2841436395 3884690108 2646900271 1639195835 4163973559 3061977730 1314079948 4063615032 1979434206 4014179531 163714605 691936739 615521659 1047001175 1438879148 837090903 1521854427 4124987460 553663219 1423936004 2291654648 1098682255 4143450225 1072947847 3006875842 3477796631 493372271 3487336684 7934663 3691326760 3906920597 3155424986 3635334817 491234016 3629819884 612912985 1561373504 1453223903 132026966 1988190161 2938732682 498418655 2591637087 1333507419 3806538338 3529077587 3336772430 2336709317 3700591888 338355431 1892086831 489876150 2502518581 1283901221 1888614967 2502606821 1398648540 1772140605 1072597270 2381104842 2220847759 3136752702 425107857 3359475188 3299335619 3470160158 3314546024 3637220786 2167404539 3978487900 1244720727 3007617095 3889185153 2146567410 3174522087 2406439408 3931595476 3724099516 708863909 2362382272 3980662106 3111651969 1213959218 4090008013 1438894058 4177752090 3395824007 3409727601 202200396 1777142814 2559436679 2717605839 1041754819 4055018970 1792778587 3301808797 4253989518 3947372756 1845976006 3536427671 2956983474 3250911169 1152730646 3153139236 2750279468 762291750 3800324045 2574487549 34185480 2471590969 181278001 1714260783 2729516849 730178125 140683667 4116703151 3673413593 4150600701 1499537867 1585570057 631092942 3941140496 2960572533 214251002 3999325398 749140965 621376753 3883247231 3500884153 1529778138 1974706528 3279622634 2164213666 77529726 3847093861 983049808 3793705206 928551443 2880261650 1132185144 3628330610 2323327531 2195769798 2405204384 1974351135 1223389663 4250307766 3827755038 3062300939 2349791739 3844979381 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1200
0.00/0.06	c #constraints 100
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
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 |      466      0 |        0 |        0
0.00/0.07	c  0.0s |       0 |      140 |        0 |      466      0 |        0 |        0
0.00/0.07	c #cpu_time = 0.002s
0.00/0.07	c #wall_clock_time = 0.002s
0.00/0.07	c #decision = 140
0.00/0.07	c #random_decision = 0
0.00/0.07	c #conflict = 0
0.00/0.07	c #restart = 0
0.00/0.07	o 2839
0.00/0.07	c BCD2: updating upper bound: 4886 -> 2838
0.00/0.07	c BCD2: 0 <= obj <= 2838
0.00/0.07	c BCD2: #cores=0, #unrelaxed=100, #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 |      466      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      234 |      100 |      466      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      733 |      250 |      513      0 |        0 |        0
0.19/0.22	c  0.1s |       3 |     1409 |      475 |      565      0 |        0 |        0
0.39/0.40	c  0.3s |       4 |     2068 |      813 |      622      0 |        0 |        0
0.59/0.67	c  0.6s |       5 |     2950 |     1320 |      685      1 |        0 |        0
0.99/1.03	c  1.0s |       6 |     4147 |     2081 |      830      2 |        0 |        0
1.59/1.66	c  1.6s |       7 |     6085 |     3223 |      914      4 |        0 |        0
2.30/2.31	c  2.2s |       8 |     8484 |     4936 |     1006      7 |        0 |        0
3.59/3.63	c  3.6s |       9 |    11664 |     7506 |     1107     10 |        0 |        0
5.60/5.65	c  5.6s |       9 |    16488 |    11206 |     1107     14 |        0 |        0
5.69/5.75	c  5.7s |      10 |    16652 |    11361 |     1218     14 |        0 |        0
7.70/7.77	c  7.7s |      10 |    21380 |    14861 |     1218     18 |        0 |        0
9.19/9.21	c  9.1s |      11 |    24083 |    17144 |     1340     21 |        0 |        0
11.19/11.25	c 11.2s |      11 |    28161 |    20444 |     1340     24 |        0 |        0
13.29/13.31	c 13.2s |      11 |    31562 |    23444 |     1340     27 |        0 |        0
14.89/14.97	c 14.9s |      12 |    34282 |    25819 |     1475     30 |        0 |        0
16.89/16.99	c 16.9s |      12 |    38727 |    29219 |     1475     33 |        0 |        0
18.99/19.00	c 18.9s |      12 |    42867 |    32719 |     1475     36 |        0 |        0
20.99/21.04	c 21.0s |      12 |    46566 |    36019 |     1475     40 |        0 |        0
22.88/22.91	c 22.8s |      13 |    49650 |    38832 |     1623     42 |        0 |        0
24.88/24.94	c 24.9s |      13 |    54590 |    42932 |     1623     46 |        0 |        0
26.88/26.97	c 26.9s |      13 |    58597 |    46532 |     1623     49 |        0 |        0
28.98/29.01	c 28.9s |      13 |    62653 |    50132 |     1623     53 |        0 |        0
30.98/31.08	c 31.0s |      13 |    66860 |    53832 |     1623     56 |        0 |        0
32.99/33.08	c 33.0s |      13 |    70828 |    57332 |     1623     59 |        0 |        0
33.58/33.69	c 33.6s |      14 |    71986 |    58352 |     1786     60 |        0 |        0
35.68/35.73	c 35.7s |      14 |    75804 |    61352 |     1786     63 |        0 |        0
37.68/37.77	c 37.7s |      14 |    78708 |    63952 |     1786     65 |        0 |        0
39.78/39.81	c 39.7s |      14 |    81229 |    66252 |     1786     67 |        0 |        0
41.79/41.85	c 41.8s |      14 |    83852 |    68652 |     1786     69 |        0 |        0
43.78/43.89	c 43.8s |      14 |    86528 |    71052 |     1786     71 |        0 |        0
45.88/45.96	c 45.9s |      14 |    89197 |    73452 |     1786     73 |        0 |        0
47.98/48.01	c 47.9s |      14 |    92065 |    76052 |     1786     75 |        0 |        0
49.98/50.03	c 50.0s |      14 |    94599 |    78352 |     1786     77 |        0 |        0
52.08/52.11	c 52.0s |      14 |    97499 |    80952 |     1786     79 |        0 |        0
54.08/54.19	c 54.1s |      14 |    99644 |    82952 |     1786     81 |        0 |        0
56.18/56.24	c 56.2s |      14 |   102506 |    85352 |     1786     83 |        0 |        0
58.28/58.33	c 58.3s |      14 |   105032 |    87552 |     1965     85 |        0 |        0
58.38/58.41	c 58.3s |      15 |   105167 |    87632 |     1965     85 |        0 |        0
60.38/60.42	c 60.4s |      15 |   109823 |    90732 |     1965     87 |        0 |        0
62.38/62.46	c 62.4s |      15 |   113038 |    93532 |     1965     89 |        0 |        0
64.48/64.55	c 64.5s |      15 |   116207 |    96332 |     1965     91 |        0 |        0
66.57/66.64	c 66.6s |      15 |   119047 |    98832 |     1965     93 |        0 |        0
68.57/68.67	c 68.6s |      15 |   121700 |   101232 |     1965     95 |        0 |        0
70.67/70.72	c 70.7s |      15 |   124588 |   103832 |     1965     97 |        0 |        0
72.69/72.76	c 72.7s |      15 |   127259 |   106232 |     1965     99 |        0 |        0
74.68/74.77	c 74.7s |      15 |   129950 |   108632 |     1965    101 |        0 |        0
76.68/76.77	c 76.7s |      15 |   133158 |   111432 |     1965    103 |        0 |        0
78.68/78.78	c 78.7s |      15 |   135938 |   113932 |     1965    105 |        0 |        0
80.78/80.85	c 80.8s |      15 |   138998 |   116632 |     1965    107 |        0 |        0
82.78/82.87	c 82.8s |      15 |   141668 |   119032 |     1965    109 |        0 |        0
84.88/84.91	c 84.8s |      15 |   144488 |   121532 |     1965    111 |        0 |        0
86.89/86.92	c 86.8s |      15 |   147520 |   124232 |     1965    113 |        0 |        0
88.88/88.94	c 88.9s |      15 |   150746 |   127132 |     1965    116 |        0 |        0
90.88/90.96	c 90.9s |      15 |   154147 |   130032 |     1965    118 |        0 |        0
91.98/92.06	c 92.0s |      16 |   155826 |   131552 |     2162    119 |        0 |        0
93.98/94.08	c 94.0s |      16 |   160452 |   135052 |     2162    121 |        0 |        0
96.08/96.13	c 96.1s |      16 |   163545 |   137852 |     2162    123 |        0 |        0
98.08/98.14	c 98.1s |      16 |   166387 |   140352 |     2162    124 |        0 |        0
100.08/100.16	c  100s |      16 |   169464 |   142952 |     2162    126 |        0 |        0
102.18/102.21	c  102s |      16 |   172097 |   145252 |     2162    127 |        0 |        0
104.18/104.28	c  104s |      16 |   174500 |   147352 |     2162    128 |        0 |        0
106.28/106.33	c  106s |      16 |   176628 |   149252 |     2162    130 |        0 |        0
108.28/108.34	c  108s |      16 |   179291 |   151552 |     2162    131 |        0 |        0
110.28/110.35	c  110s |      16 |   181905 |   153752 |     2162    132 |        0 |        0
112.37/112.45	c  112s |      16 |   184518 |   156052 |     2162    134 |        0 |        0
114.38/114.48	c  114s |      16 |   186653 |   157952 |     2162    135 |        0 |        0
116.47/116.56	c  116s |      16 |   188788 |   159752 |     2162    136 |        0 |        0
118.47/118.57	c  118s |      16 |   191014 |   161652 |     2162    137 |        0 |        0
120.57/120.60	c  120s |      16 |   193143 |   163452 |     2162    138 |        0 |        0
122.67/122.75	c  122s |      16 |   195162 |   165252 |     2162    140 |        0 |        0
124.67/124.80	c  124s |      16 |   198026 |   167752 |     2162    141 |        0 |        0
126.77/126.81	c  126s |      16 |   200813 |   170152 |     2162    143 |        0 |        0
128.78/128.85	c  128s |      16 |   203670 |   172652 |     2162    144 |        0 |        0
130.77/130.88	c  130s |      16 |   206094 |   174752 |     2162    145 |        0 |        0
132.87/132.93	c  132s |      16 |   208519 |   176852 |     2162    147 |        0 |        0
134.87/134.94	c  134s |      16 |   210949 |   178952 |     2162    148 |        0 |        0
136.87/136.95	c  136s |      16 |   213002 |   180652 |     2162    149 |        0 |        0
138.87/138.99	c  138s |      16 |   215323 |   182452 |     2162    150 |        0 |        0
140.97/141.06	c  140s |      16 |   217882 |   184652 |     2162    152 |        0 |        0
142.98/143.06	c  142s |      16 |   219865 |   186452 |     2162    153 |        0 |        0
145.07/145.14	c  145s |      16 |   222361 |   188652 |     2162    154 |        0 |        0
147.17/147.21	c  147s |      16 |   224580 |   190652 |     2162    155 |        0 |        0
149.27/149.33	c  149s |      16 |   226751 |   192552 |     2162    157 |        0 |        0
151.27/151.34	c  151s |      16 |   229165 |   194652 |     2162    158 |        0 |        0
153.37/153.41	c  153s |      16 |   231880 |   197052 |     2379    159 |        0 |        0
153.57/153.69	c  153s |      17 |   232337 |   197432 |     2379    159 |        0 |        0
155.67/155.74	c  155s |      17 |   236567 |   200132 |     2379    161 |        0 |        0
157.67/157.79	c  157s |      17 |   239166 |   202432 |     2379    163 |        0 |        0
159.66/159.79	c  159s |      17 |   241353 |   204432 |     2379    164 |        0 |        0
161.77/161.83	c  161s |      17 |   243903 |   206732 |     2379    166 |        0 |        0
163.76/163.90	c  163s |      17 |   246430 |   209032 |     2379    167 |        0 |        0
165.86/165.94	c  165s |      17 |   248851 |   211232 |     2379    169 |        0 |        0
167.86/167.99	c  167s |      17 |   251256 |   213432 |     2379    170 |        0 |        0
169.96/170.03	c  169s |      17 |   254795 |   215632 |     2379    172 |        0 |        0
171.96/172.04	c  171s |      17 |   257339 |   217732 |     2379    173 |        0 |        0
173.96/174.06	c  173s |      17 |   259711 |   219832 |     2379    175 |        0 |        0
175.97/176.06	c  175s |      17 |   262168 |   221932 |     2379    176 |        0 |        0
178.06/178.15	c  178s |      17 |   265020 |   224432 |     2379    178 |        0 |        0
180.16/180.21	c  180s |      17 |   267379 |   226532 |     2379    180 |        0 |        0
182.16/182.22	c  182s |      17 |   269927 |   228632 |     2379    181 |        0 |        0
184.26/184.33	c  184s |      17 |   272177 |   230632 |     2379    182 |        0 |        0
186.26/186.35	c  186s |      17 |   274544 |   232632 |     2379    184 |        0 |        0
188.26/188.36	c  188s |      17 |   276794 |   234632 |     2379    185 |        0 |        0
190.37/190.44	c  190s |      17 |   278689 |   236332 |     2379    187 |        0 |        0
192.46/192.52	c  192s |      17 |   281048 |   238232 |     2379    188 |        0 |        0
194.46/194.59	c  194s |      17 |   283256 |   240032 |     2379    189 |        0 |        0
196.56/196.61	c  196s |      17 |   286626 |   242932 |     2379    191 |        0 |        0
198.56/198.67	c  198s |      17 |   289183 |   245132 |     2379    193 |        0 |        0
200.66/200.70	c  200s |      17 |   291683 |   247332 |     2379    194 |        0 |        0
202.66/202.74	c  202s |      17 |   294715 |   249832 |     2379    196 |        0 |        0
204.75/204.85	c  204s |      17 |   297506 |   252032 |     2379    197 |        0 |        0
206.76/206.86	c  206s |      17 |   300108 |   254232 |     2379    199 |        0 |        0
208.75/208.87	c  208s |      17 |   302810 |   256532 |     2379    201 |        0 |        0
210.75/210.89	c  210s |      17 |   305452 |   258832 |     2379    202 |        0 |        0
212.85/212.98	c  212s |      17 |   308498 |   261332 |     2379    204 |        0 |        0
214.95/215.01	c  214s |      17 |   311379 |   263832 |     2379    206 |        0 |        0
216.95/217.04	c  216s |      17 |   314172 |   266232 |     2379    207 |        0 |        0
219.05/219.10	c  219s |      17 |   316829 |   268532 |     2379    209 |        0 |        0
221.06/221.14	c  221s |      17 |   319477 |   270832 |     2379    211 |        0 |        0
223.05/223.19	c  223s |      17 |   322682 |   273532 |     2379    212 |        0 |        0
225.15/225.29	c  225s |      17 |   325498 |   275932 |     2379    214 |        0 |        0
227.15/227.29	c  227s |      17 |   327884 |   278032 |     2379    216 |        0 |        0
229.25/229.30	c  229s |      17 |   330738 |   280432 |     2379    217 |        0 |        0
231.25/231.36	c  231s |      17 |   333500 |   282732 |     2379    219 |        0 |        0
233.35/233.44	c  233s |      17 |   336005 |   284932 |     2379    220 |        0 |        0
235.36/235.44	c  235s |      17 |   338788 |   287032 |     2379    222 |        0 |        0
237.35/237.48	c  237s |      17 |   341069 |   288932 |     2379    223 |        0 |        0
239.45/239.53	c  239s |      17 |   344008 |   291332 |     2379    225 |        0 |        0
241.45/241.55	c  241s |      17 |   346517 |   293532 |     2379    226 |        0 |        0
243.45/243.55	c  243s |      17 |   348699 |   295532 |     2617    228 |        0 |        0
244.16/244.27	c  244s |      18 |   349511 |   296252 |     2617    228 |        0 |        0
246.15/246.28	c  246s |      18 |   353110 |   298752 |     2617    230 |        0 |        0
248.25/248.30	c  248s |      18 |   355520 |   300952 |     2617    231 |        0 |        0
250.25/250.32	c  250s |      18 |   358345 |   303452 |     2617    233 |        0 |        0
252.25/252.36	c  252s |      18 |   361005 |   305852 |     2617    234 |        0 |        0
254.25/254.39	c  254s |      18 |   363817 |   308352 |     2617    236 |        0 |        0
256.35/256.48	c  256s |      18 |   366526 |   310852 |     2617    237 |        0 |        0
258.35/258.49	c  258s |      18 |   369148 |   313252 |     2617    239 |        0 |        0
260.45/260.50	c  260s |      18 |   371809 |   315652 |     2617    240 |        0 |        0
262.45/262.52	c  262s |      18 |   374331 |   317952 |     2617    242 |        0 |        0
264.45/264.57	c  264s |      18 |   376616 |   320052 |     2617    243 |        0 |        0
266.45/266.59	c  266s |      18 |   380007 |   323052 |     2617    245 |        0 |        0
268.55/268.65	c  268s |      18 |   382955 |   325752 |     2617    247 |        0 |        0
270.55/270.70	c  270s |      18 |   385950 |   328452 |     2617    248 |        0 |        0
272.64/272.73	c  272s |      18 |   388694 |   330952 |     2617    250 |        0 |        0
274.64/274.78	c  274s |      18 |   391659 |   333552 |     2617    252 |        0 |        0
276.74/276.80	c  276s |      18 |   394588 |   336152 |     2617    253 |        0 |        0
278.74/278.80	c  278s |      18 |   397497 |   338752 |     2617    255 |        0 |        0
280.74/280.84	c  280s |      18 |   400809 |   341652 |     2617    257 |        0 |        0
282.75/282.89	c  282s |      18 |   403915 |   344452 |     2617    259 |        0 |        0
284.86/284.91	c  284s |      18 |   406893 |   347152 |     2617    260 |        0 |        0
286.85/286.95	c  286s |      18 |   409904 |   349852 |     2617    262 |        0 |        0
288.85/288.98	c  288s |      18 |   413128 |   352652 |     2617    264 |        0 |        0
290.85/290.99	c  290s |      18 |   416531 |   355652 |     2617    266 |        0 |        0
292.95/293.04	c  292s |      18 |   419313 |   358152 |     2617    267 |        0 |        0
294.95/295.05	c  294s |      18 |   422396 |   360952 |     2617    269 |        0 |        0
296.95/297.07	c  297s |      18 |   425535 |   363752 |     2617    271 |        0 |        0
299.05/299.16	c  299s |      18 |   428274 |   366252 |     2617    272 |        0 |        0
301.15/301.22	c  301s |      18 |   431358 |   368952 |     2617    274 |        0 |        0
303.15/303.27	c  303s |      18 |   433807 |   371152 |     2617    275 |        0 |        0
305.25/305.35	c  305s |      18 |   436713 |   373752 |     2617    277 |        0 |        0
307.25/307.38	c  307s |      18 |   439609 |   376352 |     2617    279 |        0 |        0
309.35/309.41	c  309s |      18 |   442405 |   378952 |     2617    280 |        0 |        0
311.35/311.44	c  311s |      18 |   445443 |   381652 |     2617    282 |        0 |        0
313.34/313.48	c  313s |      18 |   448206 |   384152 |     2617    284 |        0 |        0
315.44/315.51	c  315s |      18 |   451212 |   386852 |     2617    285 |        0 |        0
317.44/317.58	c  317s |      18 |   454119 |   389452 |     2617    287 |        0 |        0
319.54/319.61	c  319s |      18 |   456916 |   391952 |     2617    289 |        0 |        0
321.54/321.63	c  321s |      18 |   459990 |   394752 |     2617    290 |        0 |        0
323.54/323.64	c  323s |      18 |   462900 |   397352 |     2617    292 |        0 |        0
325.55/325.66	c  325s |      18 |   465651 |   399852 |     2617    294 |        0 |        0
327.64/327.75	c  327s |      18 |   468414 |   402352 |     2617    295 |        0 |        0
329.74/329.80	c  329s |      18 |   470931 |   404652 |     2617    297 |        0 |        0
331.74/331.84	c  331s |      18 |   473361 |   406852 |     2617    298 |        0 |        0
333.84/333.90	c  333s |      18 |   476037 |   409252 |     2617    300 |        0 |        0
335.84/335.93	c  335s |      18 |   478984 |   411852 |     2617    301 |        0 |        0
337.84/337.99	c  337s |      18 |   481790 |   414352 |     2617    303 |        0 |        0
339.95/340.01	c  339s |      18 |   484314 |   416652 |     2617    304 |        0 |        0
341.94/342.06	c  341s |      18 |   486855 |   418952 |     2617    306 |        0 |        0
343.94/344.08	c  344s |      18 |   489484 |   421252 |     2617    307 |        0 |        0
346.04/346.15	c  346s |      18 |   491991 |   423552 |     2617    309 |        0 |        0
348.04/348.16	c  348s |      18 |   494930 |   426152 |     2617    310 |        0 |        0
350.14/350.27	c  350s |      18 |   497235 |   428252 |     2617    312 |        0 |        0
352.24/352.32	c  352s |      18 |   499915 |   430552 |     2617    313 |        0 |        0
354.24/354.35	c  354s |      18 |   502507 |   432852 |     2617    315 |        0 |        0
356.23/356.39	c  356s |      18 |   504957 |   435052 |     2617    316 |        0 |        0
358.33/358.42	c  358s |      18 |   507523 |   437352 |     2617    317 |        0 |        0
360.33/360.44	c  360s |      18 |   510315 |   439852 |     2617    319 |        0 |        0
362.43/362.51	c  362s |      18 |   513147 |   442452 |     2879    320 |        0 |        0
364.04/364.20	c  364s |      19 |   515389 |   444482 |     2879    322 |        0 |        0
366.13/366.21	c  366s |      19 |   519422 |   447282 |     2879    323 |        0 |        0
368.13/368.25	c  368s |      19 |   522019 |   449482 |     2879    324 |        0 |        0
370.23/370.31	c  370s |      19 |   524721 |   451782 |     2879    325 |        0 |        0
372.23/372.32	c  372s |      19 |   527213 |   453982 |     2879    326 |        0 |        0
374.23/374.33	c  374s |      19 |   529486 |   455982 |     2879    327 |        0 |        0
376.33/376.43	c  376s |      19 |   532374 |   457882 |     2879    328 |        0 |        0
378.34/378.45	c  378s |      19 |   537259 |   459782 |     2879    329 |        0 |        0
380.43/380.54	c  380s |      19 |   542411 |   461782 |     2879    330 |        0 |        0
382.43/382.59	c  382s |      19 |   544884 |   463982 |     2879    331 |        0 |        0
384.53/384.68	c  384s |      19 |   547113 |   465982 |     2879    332 |        0 |        0
386.63/386.72	c  386s |      19 |   549934 |   467982 |     2879    333 |        0 |        0
388.63/388.79	c  388s |      19 |   552184 |   469982 |     2879    334 |        0 |        0
390.73/390.89	c  390s |      19 |   554195 |   471682 |     2879    335 |        0 |        0
392.83/392.97	c  392s |      19 |   555975 |   473282 |     2879    336 |        0 |        0
395.03/395.14	c  395s |      19 |   557453 |   474582 |     2879    337 |        0 |        0
397.13/397.21	c  397s |      19 |   560960 |   476482 |     2879    338 |        0 |        0
399.13/399.26	c  399s |      19 |   565174 |   478582 |     2879    339 |        0 |        0
401.23/401.33	c  401s |      19 |   569211 |   480282 |     2879    340 |        0 |        0
403.33/403.44	c  403s |      19 |   573255 |   482082 |     2879    341 |        0 |        0
405.33/405.45	c  405s |      19 |   576561 |   483982 |     2879    341 |        0 |        0
407.33/407.48	c  407s |      19 |   578894 |   486082 |     2879    343 |        0 |        0
409.53/409.60	c  409s |      19 |   581608 |   488082 |     2879    344 |        0 |        0
411.53/411.63	c  411s |      19 |   584631 |   490182 |     2879    345 |        0 |        0
413.53/413.66	c  413s |      19 |   586958 |   491782 |     2879    345 |        0 |        0
415.62/415.76	c  415s |      19 |   588733 |   493182 |     2879    346 |        0 |        0
417.72/417.80	c  417s |      19 |   590475 |   494682 |     2879    347 |        0 |        0
419.72/419.89	c  419s |      19 |   592287 |   496282 |     2879    348 |        0 |        0
421.82/421.97	c  421s |      19 |   593887 |   497682 |     2879    349 |        0 |        0
423.92/424.07	c  424s |      19 |   595474 |   499082 |     2879    349 |        0 |        0
426.02/426.15	c  426s |      19 |   597558 |   500582 |     2879    350 |        0 |        0
428.12/428.23	c  428s |      19 |   600117 |   502682 |     2879    351 |        0 |        0
430.22/430.31	c  430s |      19 |   602842 |   504482 |     2879    352 |        0 |        0
432.33/432.44	c  432s |      19 |   604649 |   505982 |     2879    353 |        0 |        0
434.32/434.46	c  434s |      19 |   606343 |   507282 |     2879    353 |        0 |        0
436.42/436.51	c  436s |      19 |   608600 |   508882 |     2879    354 |        0 |        0
438.52/438.61	c  438s |      19 |   610934 |   510682 |     2879    355 |        0 |        0
440.52/440.68	c  440s |      19 |   614145 |   512582 |     2879    356 |        0 |        0
442.62/442.75	c  442s |      19 |   618148 |   515182 |     2879    357 |        0 |        0
444.72/444.85	c  444s |      19 |   620640 |   517382 |     2879    359 |        0 |        0
446.82/446.91	c  446s |      19 |   622836 |   519282 |     2879    360 |        0 |        0
448.83/448.99	c  448s |      19 |   624895 |   521082 |     2879    360 |        0 |        0
450.93/451.06	c  450s |      19 |   626709 |   522682 |     2879    361 |        0 |        0
452.92/453.09	c  453s |      19 |   628415 |   524182 |     2879    362 |        0 |        0
455.02/455.14	c  455s |      19 |   631328 |   526082 |     2879    363 |        0 |        0
457.12/457.24	c  457s |      19 |   633845 |   527782 |     2879    364 |        0 |        0
459.12/459.27	c  459s |      19 |   636079 |   529482 |     2879    365 |        0 |        0
461.22/461.31	c  461s |      19 |   638593 |   531482 |     2879    366 |        0 |        0
463.22/463.33	c  463s |      19 |   640916 |   533182 |     2879    367 |        0 |        0
465.32/465.42	c  465s |      19 |   643510 |   534882 |     2879    368 |        0 |        0
467.32/467.50	c  467s |      19 |   646581 |   536482 |     2879    368 |        0 |        0
469.41/469.54	c  469s |      19 |   648450 |   538082 |     2879    369 |        0 |        0
471.41/471.59	c  471s |      19 |   650430 |   539782 |     2879    370 |        0 |        0
473.51/473.65	c  473s |      19 |   652588 |   541382 |     2879    371 |        0 |        0
475.61/475.76	c  475s |      19 |   656084 |   542982 |     2879    372 |        0 |        0
477.71/477.88	c  477s |      19 |   658261 |   544582 |     2879    372 |        0 |        0
479.81/479.91	c  479s |      19 |   660759 |   546182 |     2879    373 |        0 |        0
481.82/481.92	c  481s |      19 |   663060 |   548082 |     2879    374 |        0 |        0
483.81/483.99	c  483s |      19 |   665372 |   549782 |     2879    375 |        0 |        0
485.91/486.04	c  485s |      19 |   667643 |   551382 |     2879    376 |        0 |        0
488.01/488.16	c  488s |      19 |   669904 |   553182 |     2879    377 |        0 |        0
490.01/490.19	c  490s |      19 |   671568 |   554582 |     2879    378 |        0 |        0
492.11/492.29	c  492s |      19 |   673353 |   555782 |     2879    378 |        0 |        0
494.21/494.36	c  494s |      19 |   674734 |   556882 |     2879    379 |        0 |        0
496.21/496.36	c  496s |      19 |   675619 |   557682 |     2879    379 |        0 |        0
498.22/498.38	c  498s |      19 |   677557 |   559082 |     2879    380 |        0 |        0
500.21/500.39	c  500s |      19 |   679858 |   560982 |     2879    381 |        0 |        0
502.31/502.48	c  502s |      19 |   682374 |   562882 |     2879    382 |        0 |        0
504.41/504.56	c  504s |      19 |   684235 |   564482 |     2879    383 |        0 |        0
506.51/506.62	c  506s |      19 |   685997 |   565982 |     2879    383 |        0 |        0
508.61/508.72	c  508s |      19 |   688669 |   567882 |     2879    384 |        0 |        0
510.61/510.73	c  510s |      19 |   691496 |   569882 |     2879    385 |        0 |        0
512.71/512.82	c  512s |      19 |   693832 |   571682 |     2879    386 |        0 |        0
514.71/514.84	c  514s |      19 |   696228 |   573582 |     2879    387 |        0 |        0
516.71/516.87	c  516s |      19 |   697806 |   574982 |     2879    388 |        0 |        0
518.81/518.95	c  518s |      19 |   700059 |   576782 |     2879    389 |        0 |        0
520.81/520.96	c  520s |      19 |   702162 |   578582 |     2879    390 |        0 |        0
522.91/523.03	c  522s |      19 |   704643 |   580482 |     2879    391 |        0 |        0
524.91/525.07	c  525s |      19 |   706707 |   582182 |     2879    392 |        0 |        0
527.00/527.17	c  527s |      19 |   708784 |   583882 |     2879    393 |        0 |        0
529.01/529.18	c  529s |      19 |   711613 |   585882 |     2879    394 |        0 |        0
531.10/531.27	c  531s |      19 |   714393 |   587982 |     2879    395 |        0 |        0
533.20/533.36	c  533s |      19 |   716757 |   589982 |     2879    396 |        0 |        0
535.21/535.40	c  535s |      19 |   718657 |   591582 |     2879    397 |        0 |        0
537.41/537.50	c  537s |      19 |   720728 |   593282 |     2879    397 |        0 |        0
539.41/539.55	c  539s |      19 |   723098 |   595182 |     2879    398 |        0 |        0
541.51/541.61	c  541s |      19 |   725736 |   597282 |     2879    399 |        0 |        0
543.51/543.69	c  543s |      19 |   728415 |   599182 |     2879    400 |        0 |        0
545.62/545.73	c  545s |      19 |   731274 |   601182 |     2879    401 |        0 |        0
547.72/547.80	c  547s |      19 |   734260 |   603182 |     2879    402 |        0 |        0
549.71/549.81	c  549s |      19 |   736508 |   604882 |     2879    403 |        0 |        0
551.71/551.87	c  551s |      19 |   738827 |   606682 |     2879    404 |        0 |        0
553.81/553.97	c  553s |      19 |   741141 |   608382 |     2879    405 |        0 |        0
555.91/556.08	c  556s |      19 |   743815 |   610282 |     2879    406 |        0 |        0
558.01/558.16	c  558s |      19 |   746640 |   612282 |     2879    407 |        0 |        0
560.11/560.22	c  560s |      19 |   748949 |   613982 |     2879    408 |        0 |        0
562.11/562.27	c  562s |      19 |   751668 |   615782 |     2879    409 |        0 |        0
564.11/564.30	c  564s |      19 |   753936 |   617582 |     2879    410 |        0 |        0
566.21/566.30	c  566s |      19 |   755893 |   619182 |     2879    411 |        0 |        0
568.31/568.40	c  568s |      19 |   757610 |   620682 |     2879    411 |        0 |        0
570.31/570.46	c  570s |      19 |   760004 |   622482 |     2879    412 |        0 |        0
572.31/572.49	c  572s |      19 |   761898 |   623982 |     2879    413 |        0 |        0
574.41/574.58	c  574s |      19 |   764411 |   625782 |     2879    414 |        0 |        0
576.51/576.64	c  576s |      19 |   766418 |   627382 |     2879    415 |        0 |        0
578.51/578.66	c  578s |      19 |   768501 |   628782 |     2879    416 |        0 |        0
580.71/580.81	c  580s |      19 |   770232 |   630182 |     2879    416 |        0 |        0
582.70/582.84	c  582s |      19 |   772240 |   631782 |     2879    417 |        0 |        0
584.70/584.89	c  584s |      19 |   773963 |   633182 |     2879    418 |        0 |        0
586.80/586.97	c  586s |      19 |   776065 |   634782 |     2879    419 |        0 |        0
588.90/589.02	c  588s |      19 |   778225 |   636482 |     2879    419 |        0 |        0
591.00/591.16	c  591s |      19 |   780077 |   637982 |     2879    420 |        0 |        0
593.10/593.28	c  593s |      19 |   781797 |   639382 |     2879    421 |        0 |        0
595.20/595.32	c  595s |      19 |   783481 |   640782 |     2879    422 |        0 |        0
597.21/597.34	c  597s |      19 |   785229 |   642182 |     2879    422 |        0 |        0
599.30/599.44	c  599s |      19 |   786933 |   643582 |     2879    423 |        0 |        0
601.30/601.49	c  601s |      19 |   788847 |   645182 |     2879    424 |        0 |        0
603.50/603.63	c  603s |      19 |   790661 |   646682 |     2879    425 |        0 |        0
605.60/605.72	c  605s |      19 |   792250 |   647982 |     2879    425 |        0 |        0
607.70/607.86	c  607s |      19 |   794117 |   649382 |     2879    426 |        0 |        0
609.80/609.93	c  609s |      19 |   795967 |   650782 |     2879    427 |        0 |        0
611.80/611.95	c  611s |      19 |   797618 |   652082 |     2879    427 |        0 |        0
613.90/614.03	c  613s |      19 |   799860 |   653782 |     2879    428 |        0 |        0
615.90/616.03	c  615s |      19 |   802470 |   655382 |     2879    429 |        0 |        0
618.00/618.12	c  618s |      19 |   805564 |   657082 |     2879    430 |        0 |        0
620.00/620.18	c  620s |      19 |   808656 |   658782 |     2879    431 |        0 |        0
622.10/622.29	c  622s |      19 |   810952 |   660482 |     2879    432 |        0 |        0
624.30/624.43	c  624s |      19 |   812944 |   661982 |     2879    432 |        0 |        0
626.39/626.51	c  626s |      19 |   814607 |   663382 |     3167    433 |        0 |        0
628.39/628.54	c  628s |      19 |   816765 |   664882 |     3167    434 |        0 |        0
630.39/630.56	c  630s |      19 |   819271 |   666782 |     3167    435 |        0 |        0
630.49/630.62	c  630s |      20 |   819338 |   666827 |     3167    435 |        0 |        0
632.50/632.65	c  632s |      20 |   825792 |   669227 |     3167    436 |        0 |        0
634.49/634.67	c  634s |      20 |   832337 |   671527 |     3167    437 |        0 |        0
636.59/636.74	c  636s |      20 |   835699 |   673927 |     3167    439 |        0 |        0
638.59/638.79	c  638s |      20 |   838274 |   676127 |     3167    440 |        0 |        0
640.69/640.85	c  640s |      20 |   841065 |   678527 |     3167    441 |        0 |        0
642.69/642.89	c  642s |      20 |   843248 |   680427 |     3167    442 |        0 |        0
644.79/644.90	c  644s |      20 |   845629 |   682527 |     3167    444 |        0 |        0
646.80/646.97	c  646s |      20 |   847878 |   684527 |     3167    445 |        0 |        0
648.79/649.00	c  648s |      20 |   850119 |   686527 |     3167    446 |        0 |        0
650.89/651.01	c  650s |      20 |   852472 |   688627 |     3167    447 |        0 |        0
652.89/653.01	c  652s |      20 |   854921 |   690627 |     3167    448 |        0 |        0
654.89/655.06	c  654s |      20 |   857480 |   692727 |     3167    449 |        0 |        0
656.89/657.09	c  657s |      20 |   859855 |   694827 |     3167    450 |        0 |        0
658.89/659.09	c  659s |      20 |   862035 |   696727 |     3167    452 |        0 |        0
660.99/661.18	c  661s |      20 |   864422 |   698827 |     3167    453 |        0 |        0
663.09/663.25	c  663s |      20 |   866683 |   700827 |     3167    454 |        0 |        0
665.09/665.28	c  665s |      20 |   868717 |   702627 |     3167    455 |        0 |        0
667.19/667.36	c  667s |      20 |   870633 |   704327 |     3167    456 |        0 |        0
669.19/669.38	c  669s |      20 |   874092 |   706727 |     3167    457 |        0 |        0
671.29/671.47	c  671s |      20 |   876844 |   709127 |     3167    458 |        0 |        0
673.39/673.53	c  673s |      20 |   879464 |   711427 |     3167    460 |        0 |        0
675.49/675.61	c  675s |      20 |   882150 |   713827 |     3167    461 |        0 |        0
677.59/677.71	c  677s |      20 |   884662 |   716027 |     3167    462 |        0 |        0
679.58/679.74	c  679s |      20 |   887198 |   718227 |     3167    463 |        0 |        0
681.68/681.83	c  681s |      20 |   890033 |   720527 |     3167    465 |        0 |        0
683.68/683.83	c  683s |      20 |   892251 |   722527 |     3167    466 |        0 |        0
685.68/685.88	c  685s |      20 |   894684 |   724527 |     3167    467 |        0 |        0
687.78/687.95	c  687s |      20 |   897539 |   726427 |     3167    468 |        0 |        0
689.88/690.00	c  689s |      20 |   900377 |   728727 |     3167    469 |        0 |        0
691.89/692.02	c  691s |      20 |   902814 |   730927 |     3167    471 |        0 |        0
693.88/694.03	c  693s |      20 |   905124 |   732927 |     3167    472 |        0 |        0
695.88/696.07	c  696s |      20 |   907379 |   734927 |     3167    473 |        0 |        0
697.98/698.17	c  698s |      20 |   910023 |   736927 |     3167    474 |        0 |        0
700.08/700.24	c  700s |      20 |   912047 |   738727 |     3167    475 |        0 |        0
702.18/702.30	c  702s |      20 |   914051 |   740527 |     3167    476 |        0 |        0
704.18/704.38	c  704s |      20 |   916852 |   742727 |     3167    477 |        0 |        0
706.28/706.47	c  706s |      20 |   921383 |   745427 |     3167    479 |        0 |        0
708.39/708.54	c  708s |      20 |   928299 |   748027 |     3167    480 |        0 |        0
710.49/710.63	c  710s |      20 |   931477 |   750027 |     3167    481 |        0 |        0
712.58/712.70	c  712s |      20 |   934594 |   752227 |     3167    482 |        0 |        0
714.58/714.74	c  714s |      20 |   937142 |   754127 |     3167    483 |        0 |        0
716.58/716.76	c  716s |      20 |   939598 |   755827 |     3167    484 |        0 |        0
718.68/718.85	c  718s |      20 |   942188 |   757727 |     3167    485 |        0 |        0
720.67/720.88	c  720s |      20 |   945310 |   759427 |     3167    486 |        0 |        0
722.68/722.89	c  722s |      20 |   947993 |   761227 |     3167    487 |        0 |        0
724.67/724.90	c  724s |      20 |   950808 |   763127 |     3167    488 |        0 |        0
726.87/727.00	c  726s |      20 |   953674 |   764927 |     3167    489 |        0 |        0
728.87/729.09	c  729s |      20 |   955992 |   766627 |     3167    490 |        0 |        0
730.97/731.13	c  731s |      20 |   958419 |   768227 |     3167    491 |        0 |        0
733.07/733.25	c  733s |      20 |   961102 |   770227 |     3167    492 |        0 |        0
735.07/735.26	c  735s |      20 |   963740 |   772027 |     3167    493 |        0 |        0
737.17/737.34	c  737s |      20 |   966788 |   774127 |     3167    495 |        0 |        0
739.27/739.42	c  739s |      20 |   969517 |   775827 |     3167    496 |        0 |        0
741.27/741.47	c  741s |      20 |   972653 |   778027 |     3167    497 |        0 |        0
743.36/743.53	c  743s |      20 |   976089 |   780227 |     3167    498 |        0 |        0
745.36/745.54	c  745s |      20 |   978925 |   782027 |     3167    499 |        0 |        0
747.36/747.54	c  747s |      20 |   981791 |   784127 |     3167    500 |        0 |        0
749.36/749.56	c  749s |      20 |   984472 |   786127 |     3167    501 |        0 |        0
751.45/751.62	c  751s |      20 |   987472 |   788027 |     3167    502 |        0 |        0
753.46/753.66	c  753s |      20 |   990687 |   789927 |     3167    504 |        0 |        0
755.45/755.68	c  755s |      20 |   993436 |   791827 |     3167    505 |        0 |        0
757.45/757.69	c  757s |      20 |   996623 |   794027 |     3167    506 |        0 |        0
759.55/759.75	c  759s |      20 |   999887 |   796127 |     3167    507 |        0 |        0
761.55/761.79	c  761s |      20 |  1002986 |   798227 |     3167    508 |        0 |        0
763.65/763.88	c  763s |      20 |  1006108 |   800327 |     3167    509 |        0 |        0
765.75/765.96	c  765s |      20 |  1008437 |   802027 |     3167    510 |        0 |        0
767.85/768.06	c  767s |      20 |  1010760 |   803727 |     3167    511 |        0 |        0
769.85/770.07	c  769s |      20 |  1013641 |   805627 |     3167    512 |        0 |        0
771.94/772.18	c  772s |      20 |  1016438 |   807327 |     3167    513 |        0 |        0
773.94/774.18	c  774s |      20 |  1019457 |   809327 |     3167    514 |        0 |        0
776.04/776.27	c  776s |      20 |  1022277 |   811227 |     3167    516 |        0 |        0
778.14/778.37	c  778s |      20 |  1024577 |   813027 |     3167    517 |        0 |        0
780.24/780.47	c  780s |      20 |  1027259 |   814927 |     3167    518 |        0 |        0
782.24/782.49	c  782s |      20 |  1029572 |   816627 |     3167    519 |        0 |        0
784.34/784.54	c  784s |      20 |  1031883 |   818427 |     3167    520 |        0 |        0
786.34/786.60	c  786s |      20 |  1034628 |   820627 |     3167    521 |        0 |        0
788.44/788.65	c  788s |      20 |  1036533 |   822227 |     3167    522 |        0 |        0
790.63/790.80	c  790s |      20 |  1038472 |   823827 |     3167    523 |        0 |        0
792.73/792.96	c  792s |      20 |  1040793 |   825627 |     3167    524 |        0 |        0
794.83/795.06	c  794s |      20 |  1043089 |   827327 |     3167    525 |        0 |        0
796.83/797.08	c  797s |      20 |  1045505 |   829327 |     3167    526 |        0 |        0
798.93/799.18	c  799s |      20 |  1048498 |   831327 |     3167    527 |        0 |        0
800.93/801.20	c  801s |      20 |  1050849 |   833127 |     3167    528 |        0 |        0
803.03/803.23	c  803s |      20 |  1052824 |   834827 |     3167    529 |        0 |        0
805.03/805.27	c  805s |      20 |  1054544 |   836327 |     3167    530 |        0 |        0
807.14/807.31	c  807s |      20 |  1056552 |   837727 |     3167    530 |        0 |        0
809.14/809.37	c  809s |      20 |  1060975 |   839927 |     3167    532 |        0 |        0
811.23/811.43	c  811s |      20 |  1063845 |   841927 |     3167    533 |        0 |        0
813.23/813.49	c  813s |      20 |  1067002 |   843927 |     3167    534 |        0 |        0
815.33/815.57	c  815s |      20 |  1069444 |   845827 |     3167    535 |        0 |        0
817.53/817.70	c  817s |      20 |  1071421 |   847427 |     3167    536 |        0 |        0
819.53/819.73	c  819s |      20 |  1073279 |   848927 |     3167    537 |        0 |        0
821.53/821.77	c  821s |      20 |  1075852 |   850427 |     3167    537 |        0 |        0
823.62/823.81	c  823s |      20 |  1079372 |   852427 |     3167    539 |        0 |        0
825.62/825.85	c  825s |      20 |  1081979 |   854427 |     3167    540 |        0 |        0
827.72/827.97	c  827s |      20 |  1084208 |   856327 |     3167    541 |        0 |        0
829.82/830.07	c  829s |      20 |  1086157 |   857927 |     3167    542 |        0 |        0
831.82/832.10	c  832s |      20 |  1088257 |   859527 |     3167    543 |        0 |        0
834.02/834.26	c  834s |      20 |  1090685 |   861227 |     3167    544 |        0 |        0
836.12/836.33	c  836s |      20 |  1093317 |   863027 |     3167    545 |        0 |        0
838.13/838.34	c  838s |      20 |  1096707 |   865027 |     3167    546 |        0 |        0
840.22/840.42	c  840s |      20 |  1099534 |   867227 |     3167    547 |        0 |        0
842.21/842.47	c  842s |      20 |  1103396 |   869527 |     3167    548 |        0 |        0
844.31/844.51	c  844s |      20 |  1106745 |   872027 |     3167    550 |        0 |        0
846.31/846.56	c  846s |      20 |  1109905 |   874427 |     3167    551 |        0 |        0
848.31/848.56	c  848s |      20 |  1112272 |   876327 |     3167    552 |        0 |        0
850.41/850.63	c  850s |      20 |  1114583 |   878127 |     3167    553 |        0 |        0
852.50/852.76	c  852s |      20 |  1116853 |   880027 |     3167    554 |        0 |        0
854.51/854.80	c  854s |      20 |  1119099 |   881927 |     3167    555 |        0 |        0
856.60/856.85	c  856s |      20 |  1121834 |   883827 |     3167    556 |        0 |        0
858.70/858.98	c  858s |      20 |  1124028 |   885627 |     3167    557 |        0 |        0
860.90/861.10	c  861s |      20 |  1126291 |   887427 |     3167    558 |        0 |        0
862.90/863.18	c  863s |      20 |  1129216 |   889127 |     3167    559 |        0 |        0
865.00/865.23	c  865s |      20 |  1131989 |   891227 |     3167    560 |        0 |        0
867.00/867.28	c  867s |      20 |  1134340 |   893327 |     3167    562 |        0 |        0
869.10/869.30	c  869s |      20 |  1137014 |   895627 |     3167    563 |        0 |        0
871.10/871.31	c  871s |      20 |  1139619 |   897827 |     3167    564 |        0 |        0
873.10/873.36	c  873s |      20 |  1142287 |   900127 |     3167    565 |        0 |        0
875.10/875.38	c  875s |      20 |  1144683 |   902227 |     3167    567 |        0 |        0
877.20/877.40	c  877s |      20 |  1147283 |   904427 |     3167    568 |        0 |        0
879.29/879.52	c  879s |      20 |  1149898 |   906627 |     3167    569 |        0 |        0
881.29/881.57	c  881s |      20 |  1152433 |   908827 |     3167    570 |        0 |        0
883.39/883.64	c  883s |      20 |  1154871 |   910927 |     3167    571 |        0 |        0
885.40/885.67	c  885s |      20 |  1157483 |   913127 |     3167    573 |        0 |        0
887.50/887.72	c  887s |      20 |  1159794 |   915127 |     3167    574 |        0 |        0
889.49/889.72	c  889s |      20 |  1162142 |   917227 |     3167    575 |        0 |        0
891.59/891.83	c  891s |      20 |  1164901 |   919227 |     3167    576 |        0 |        0
893.59/893.86	c  893s |      20 |  1166798 |   920827 |     3167    577 |        0 |        0
895.58/895.88	c  895s |      20 |  1169597 |   922827 |     3167    578 |        0 |        0
897.68/897.92	c  897s |      20 |  1172150 |   925127 |     3167    579 |        0 |        0
899.69/899.94	c  899s |      20 |  1174627 |   927327 |     3167    581 |        0 |        0
901.68/901.97	c  901s |      20 |  1177394 |   929527 |     3167    582 |        0 |        0
903.68/903.97	c  903s |      20 |  1180897 |   931827 |     3167    583 |        0 |        0
905.78/906.03	c  905s |      20 |  1184591 |   934327 |     3167    584 |        0 |        0
907.78/908.07	c  907s |      20 |  1188169 |   936327 |     3167    586 |        0 |        0
909.78/910.07	c  910s |      20 |  1191397 |   938327 |     3167    587 |        0 |        0
911.87/912.10	c  912s |      20 |  1195049 |   940727 |     3167    588 |        0 |        0
913.88/914.15	c  914s |      20 |  1198209 |   942727 |     3167    589 |        0 |        0
915.87/916.17	c  916s |      20 |  1201160 |   944827 |     3167    590 |        0 |        0
917.97/918.25	c  918s |      20 |  1204847 |   947227 |     3167    592 |        0 |        0
920.07/920.32	c  920s |      20 |  1208371 |   949627 |     3167    593 |        0 |        0
922.17/922.40	c  922s |      20 |  1211607 |   951627 |     3167    594 |        0 |        0
924.17/924.41	c  924s |      20 |  1215273 |   953927 |     3167    595 |        0 |        0
926.17/926.46	c  926s |      20 |  1218847 |   956327 |     3167    597 |        0 |        0
928.17/928.49	c  928s |      20 |  1222195 |   958727 |     3167    598 |        0 |        0
930.27/930.52	c  930s |      20 |  1225520 |   960827 |     3167    599 |        0 |        0
932.26/932.54	c  932s |      20 |  1229792 |   963427 |     3167    601 |        0 |        0
934.26/934.56	c  934s |      20 |  1232917 |   965727 |     3167    602 |        0 |        0
936.36/936.62	c  936s |      20 |  1235679 |   967827 |     3167    603 |        0 |        0
938.36/938.65	c  938s |      20 |  1238765 |   970027 |     3167    604 |        0 |        0
940.46/940.74	c  940s |      20 |  1241940 |   972427 |     3167    606 |        0 |        0
942.46/942.75	c  942s |      20 |  1244549 |   974427 |     3167    607 |        0 |        0
944.46/944.78	c  944s |      20 |  1247894 |   976427 |     3167    608 |        0 |        0
946.56/946.80	c  946s |      20 |  1251693 |   978627 |     3167    609 |        0 |        0
948.66/948.92	c  948s |      20 |  1255320 |   980427 |     3167    610 |        0 |        0
950.65/950.92	c  950s |      20 |  1257912 |   982027 |     3167    611 |        0 |        0
952.65/952.99	c  952s |      20 |  1261070 |   983827 |     3167    612 |        0 |        0
954.75/955.08	c  955s |      20 |  1264094 |   985327 |     3167    613 |        0 |        0
956.86/957.14	c  957s |      20 |  1267007 |   987327 |     3167    614 |        0 |        0
958.96/959.28	c  959s |      20 |  1269259 |   989127 |     3167    615 |        0 |        0
961.05/961.34	c  961s |      20 |  1271412 |   990627 |     3167    616 |        0 |        0
963.15/963.42	c  963s |      20 |  1273886 |   992427 |     3167    617 |        0 |        0
965.25/965.50	c  965s |      20 |  1276193 |   994127 |     3484    618 |        0 |        0
967.34/967.64	c  967s |      20 |  1278417 |   995927 |     3484    618 |        0 |        0
969.44/969.77	c  969s |      20 |  1280416 |   997527 |     3484    619 |        0 |        0
971.54/971.80	c  971s |      20 |  1282526 |   999027 |     3484    620 |        0 |        0
973.14/973.49	c  973s |      21 |  1284376 |  1000345 |     3484    621 |        0 |        0
975.24/975.52	c  975s |      21 |  1287621 |  1002445 |     3484    622 |        0 |        0
977.24/977.54	c  977s |      21 |  1293987 |  1004145 |     3484    623 |        0 |        0
979.24/979.55	c  979s |      21 |  1297130 |  1006345 |     3484    624 |        0 |        0
981.33/981.63	c  981s |      21 |  1301416 |  1008545 |     3484    625 |        0 |        0
983.33/983.68	c  983s |      21 |  1303987 |  1010745 |     3484    626 |        0 |        0
985.34/985.70	c  985s |      21 |  1306467 |  1012845 |     3484    627 |        0 |        0
987.43/987.77	c  987s |      21 |  1309140 |  1015145 |     3484    628 |        0 |        0
989.53/989.86	c  989s |      21 |  1312097 |  1017645 |     3484    630 |        0 |        0
991.53/991.86	c  991s |      21 |  1314370 |  1019645 |     3484    631 |        0 |        0
993.63/993.90	c  993s |      21 |  1316969 |  1021545 |     3484    632 |        0 |        0
995.63/995.92	c  995s |      21 |  1319504 |  1023645 |     3484    633 |        0 |        0
997.73/998.02	c  997s |      21 |  1321983 |  1025645 |     3484    634 |        0 |        0
999.74/1000.03	c  999s |      21 |  1324442 |  1027645 |     3484    635 |        0 |        0
1001.72/1002.03	c 1001s |      21 |  1326881 |  1029645 |     3484    636 |        0 |        0
1003.72/1004.07	c 1003s |      21 |  1330100 |  1032045 |     3484    637 |        0 |        0
1005.82/1006.10	c 1006s |      21 |  1332640 |  1034345 |     3484    638 |        0 |        0
1007.82/1008.12	c 1008s |      21 |  1335041 |  1036545 |     3484    639 |        0 |        0
1009.82/1010.19	c 1010s |      21 |  1337538 |  1038745 |     3484    640 |        0 |        0
1011.92/1012.23	c 1012s |      21 |  1339897 |  1040845 |     3484    641 |        0 |        0
1013.92/1014.26	c 1014s |      21 |  1344354 |  1043245 |     3484    643 |        0 |        0
1016.02/1016.31	c 1016s |      21 |  1347545 |  1046045 |     3484    644 |        0 |        0
1018.02/1018.31	c 1018s |      21 |  1350289 |  1048445 |     3484    645 |        0 |        0
1020.02/1020.35	c 1020s |      21 |  1352900 |  1050745 |     3484    646 |        0 |        0
1022.02/1022.36	c 1022s |      21 |  1355232 |  1052845 |     3484    647 |        0 |        0
1024.02/1024.36	c 1024s |      21 |  1357704 |  1055045 |     3484    648 |        0 |        0
1026.13/1026.43	c 1026s |      21 |  1360246 |  1057345 |     3484    650 |        0 |        0
1028.12/1028.45	c 1028s |      21 |  1362582 |  1059445 |     3484    651 |        0 |        0
1030.12/1030.45	c 1030s |      21 |  1364723 |  1061345 |     3484    652 |        0 |        0
1032.21/1032.50	c 1032s |      21 |  1368252 |  1064545 |     3484    653 |        0 |        0
1034.21/1034.56	c 1034s |      21 |  1371242 |  1067245 |     3484    654 |        0 |        0
1036.31/1036.61	c 1036s |      21 |  1373851 |  1069645 |     3484    656 |        0 |        0
1038.31/1038.64	c 1038s |      21 |  1376863 |  1072345 |     3484    657 |        0 |        0
1040.42/1040.72	c 1040s |      21 |  1379824 |  1075045 |     3484    658 |        0 |        0
1042.41/1042.79	c 1042s |      21 |  1382904 |  1077745 |     3484    660 |        0 |        0
1044.51/1044.88	c 1044s |      21 |  1386061 |  1080545 |     3484    661 |        0 |        0
1046.61/1046.92	c 1046s |      21 |  1388934 |  1083045 |     3484    662 |        0 |        0
1048.61/1048.97	c 1048s |      21 |  1391806 |  1085545 |     3484    663 |        0 |        0
1050.70/1051.04	c 1050s |      21 |  1394628 |  1088045 |     3484    665 |        0 |        0
1052.70/1053.06	c 1052s |      21 |  1397361 |  1090445 |     3484    666 |        0 |        0
1054.80/1055.11	c 1055s |      21 |  1399864 |  1092645 |     3484    667 |        0 |        0
1056.81/1057.11	c 1057s |      21 |  1402588 |  1095045 |     3484    668 |        0 |        0
1058.80/1059.19	c 1059s |      21 |  1404926 |  1097145 |     3484    669 |        0 |        0
1060.89/1061.27	c 1061s |      21 |  1407745 |  1099645 |     3484    670 |        0 |        0
1062.99/1063.33	c 1063s |      21 |  1409945 |  1101645 |     3484    671 |        0 |        0
1064.99/1065.33	c 1065s |      21 |  1412070 |  1103545 |     3484    672 |        0 |        0
1066.99/1067.37	c 1067s |      21 |  1414675 |  1105845 |     3484    673 |        0 |        0
1069.09/1069.48	c 1069s |      21 |  1417081 |  1108045 |     3484    675 |        0 |        0
1071.19/1071.55	c 1071s |      21 |  1419034 |  1109845 |     3484    675 |        0 |        0
1073.19/1073.58	c 1073s |      21 |  1424594 |  1112045 |     3484    677 |        0 |        0
1075.29/1075.64	c 1075s |      21 |  1428038 |  1114445 |     3484    678 |        0 |        0
1077.39/1077.70	c 1077s |      21 |  1430533 |  1116545 |     3484    679 |        0 |        0
1079.38/1079.78	c 1079s |      21 |  1432981 |  1118545 |     3484    680 |        0 |        0
1081.48/1081.85	c 1081s |      21 |  1435323 |  1120445 |     3484    681 |        0 |        0
1083.48/1083.87	c 1083s |      21 |  1438344 |  1122545 |     3484    682 |        0 |        0
1085.58/1085.90	c 1085s |      21 |  1441289 |  1124945 |     3484    683 |        0 |        0
1087.58/1087.92	c 1087s |      21 |  1444273 |  1127345 |     3484    685 |        0 |        0
1089.68/1090.02	c 1089s |      21 |  1446766 |  1129445 |     3484    686 |        0 |        0
1091.67/1092.07	c 1092s |      21 |  1448910 |  1131245 |     3484    687 |        0 |        0
1093.77/1094.11	c 1094s |      21 |  1451871 |  1133445 |     3484    688 |        0 |        0
1095.77/1096.17	c 1096s |      21 |  1454172 |  1135345 |     3484    689 |        0 |        0
1097.87/1098.25	c 1098s |      21 |  1456417 |  1137245 |     3484    690 |        0 |        0
1099.97/1100.32	c 1100s |      21 |  1458791 |  1139145 |     3484    691 |        0 |        0
1101.97/1102.34	c 1102s |      21 |  1462042 |  1141245 |     3484    692 |        0 |        0
1104.07/1104.40	c 1104s |      21 |  1464929 |  1143545 |     3484    693 |        0 |        0
1106.07/1106.47	c 1106s |      21 |  1467129 |  1145445 |     3484    694 |        0 |        0
1108.16/1108.54	c 1108s |      21 |  1469794 |  1147345 |     3484    695 |        0 |        0
1110.16/1110.57	c 1110s |      21 |  1471695 |  1148945 |     3484    696 |        0 |        0
1112.26/1112.62	c 1112s |      21 |  1474807 |  1150945 |     3484    697 |        0 |        0
1114.26/1114.68	c 1114s |      21 |  1478398 |  1153445 |     3484    698 |        0 |        0
1116.36/1116.71	c 1116s |      21 |  1482140 |  1155845 |     3484    699 |        0 |        0
1118.47/1118.84	c 1118s |      21 |  1486263 |  1158145 |     3484    701 |        0 |        0
1120.46/1120.86	c 1120s |      21 |  1489217 |  1160145 |     3484    702 |        0 |        0
1122.55/1122.90	c 1122s |      21 |  1492803 |  1162445 |     3484    703 |        0 |        0
1124.55/1124.95	c 1124s |      21 |  1496327 |  1164945 |     3484    704 |        0 |        0
1126.55/1126.99	c 1126s |      21 |  1500217 |  1167645 |     3484    705 |        0 |        0
1128.55/1128.99	c 1128s |      21 |  1504355 |  1170145 |     3484    707 |        0 |        0
1130.65/1131.01	c 1130s |      21 |  1507921 |  1172245 |     3484    708 |        0 |        0
1132.65/1133.07	c 1132s |      21 |  1510808 |  1174545 |     3484    709 |        0 |        0
1134.75/1135.13	c 1135s |      21 |  1513835 |  1176945 |     3484    710 |        0 |        0
1136.75/1137.17	c 1137s |      21 |  1516820 |  1179145 |     3484    712 |        0 |        0
1138.85/1139.21	c 1139s |      21 |  1519454 |  1181245 |     3484    713 |        0 |        0
1140.84/1141.24	c 1141s |      21 |  1522143 |  1183345 |     3484    714 |        0 |        0
1142.84/1143.28	c 1143s |      21 |  1524841 |  1185445 |     3484    715 |        0 |        0
1144.94/1145.36	c 1145s |      21 |  1527921 |  1187645 |     3484    716 |        0 |        0
1146.95/1147.36	c 1147s |      21 |  1530871 |  1189845 |     3484    717 |        0 |        0
1148.94/1149.38	c 1149s |      21 |  1533530 |  1191945 |     3484    718 |        0 |        0
1151.04/1151.46	c 1151s |      21 |  1536854 |  1194445 |     3484    719 |        0 |        0
1153.14/1153.52	c 1153s |      21 |  1538892 |  1196245 |     3484    720 |        0 |        0
1155.14/1155.54	c 1155s |      21 |  1541718 |  1198245 |     3484    721 |        0 |        0
1157.14/1157.56	c 1157s |      21 |  1543934 |  1200045 |     3484    722 |        0 |        0
1159.24/1159.61	c 1159s |      21 |  1546189 |  1201745 |     3484    723 |        0 |        0
1161.24/1161.69	c 1161s |      21 |  1548940 |  1203945 |     3484    724 |        0 |        0
1163.33/1163.75	c 1163s |      21 |  1552388 |  1206445 |     3484    726 |        0 |        0
1165.33/1165.79	c 1165s |      21 |  1555188 |  1208745 |     3484    727 |        0 |        0
1167.43/1167.82	c 1167s |      21 |  1557779 |  1210945 |     3484    728 |        0 |        0
1169.43/1169.84	c 1169s |      21 |  1560397 |  1213145 |     3484    729 |        0 |        0
1171.43/1171.88	c 1171s |      21 |  1563490 |  1215645 |     3484    730 |        0 |        0
1173.43/1173.89	c 1173s |      21 |  1566554 |  1218245 |     3484    732 |        0 |        0
1175.53/1175.91	c 1175s |      21 |  1568810 |  1220245 |     3484    733 |        0 |        0
1177.53/1177.92	c 1177s |      21 |  1571045 |  1222245 |     3484    734 |        0 |        0
1179.62/1180.00	c 1179s |      21 |  1573851 |  1224645 |     3484    735 |        0 |        0
1181.62/1182.09	c 1182s |      21 |  1576377 |  1226845 |     3484    736 |        0 |        0
1183.72/1184.13	c 1184s |      21 |  1578881 |  1229045 |     3484    737 |        0 |        0
1185.72/1186.17	c 1186s |      21 |  1581434 |  1231245 |     3484    738 |        0 |        0
1187.82/1188.22	c 1188s |      21 |  1583651 |  1233245 |     3484    739 |        0 |        0
1189.83/1190.24	c 1190s |      21 |  1585680 |  1235045 |     3484    740 |        0 |        0
1191.81/1192.25	c 1192s |      21 |  1588032 |  1237045 |     3484    741 |        0 |        0
1193.91/1194.32	c 1194s |      21 |  1590399 |  1239145 |     3484    743 |        0 |        0
1196.01/1196.46	c 1196s |      21 |  1592628 |  1241145 |     3484    744 |        0 |        0
1198.11/1198.55	c 1198s |      21 |  1595192 |  1243345 |     3484    745 |        0 |        0
1200.22/1200.65	c 1200s |      21 |  1597351 |  1245245 |     3484    746 |        0 |        0
1202.22/1202.68	c 1202s |      21 |  1599409 |  1247045 |     3484    747 |        0 |        0
1204.22/1204.68	c 1204s |      21 |  1601783 |  1249145 |     3484    748 |        0 |        0
1206.32/1206.75	c 1206s |      21 |  1603772 |  1250945 |     3484    749 |        0 |        0
1208.41/1208.82	c 1208s |      21 |  1606174 |  1252845 |     3484    750 |        0 |        0
1210.41/1210.84	c 1210s |      21 |  1608517 |  1254845 |     3484    751 |        0 |        0
1212.51/1212.96	c 1212s |      21 |  1610676 |  1256745 |     3484    752 |        0 |        0
1214.50/1214.96	c 1214s |      21 |  1613197 |  1258845 |     3484    753 |        0 |        0
1216.50/1216.98	c 1216s |      21 |  1615108 |  1260545 |     3484    753 |        0 |        0
1218.60/1219.09	c 1219s |      21 |  1617061 |  1262245 |     3484    754 |        0 |        0
1220.71/1221.14	c 1221s |      21 |  1619033 |  1263945 |     3484    755 |        0 |        0
1222.80/1223.23	c 1223s |      21 |  1621504 |  1266045 |     3484    756 |        0 |        0
1224.90/1225.34	c 1225s |      21 |  1623461 |  1267745 |     3484    757 |        0 |        0
1227.00/1227.43	c 1227s |      21 |  1625373 |  1269345 |     3484    758 |        0 |        0
1229.00/1229.43	c 1229s |      21 |  1627697 |  1271245 |     3484    759 |        0 |        0
1231.09/1231.51	c 1231s |      21 |  1630579 |  1273545 |     3484    760 |        0 |        0
1233.09/1233.59	c 1233s |      21 |  1633147 |  1275645 |     3484    761 |        0 |        0
1235.19/1235.60	c 1235s |      21 |  1635524 |  1277645 |     3484    762 |        0 |        0
1237.20/1237.65	c 1237s |      21 |  1638158 |  1279845 |     3484    763 |        0 |        0
1239.30/1239.75	c 1239s |      21 |  1640521 |  1281845 |     3484    764 |        0 |        0
1241.29/1241.77	c 1241s |      21 |  1642802 |  1283845 |     3484    765 |        0 |        0
1243.39/1243.83	c 1243s |      21 |  1645127 |  1285745 |     3484    766 |        0 |        0
1245.49/1245.93	c 1245s |      21 |  1647104 |  1287445 |     3484    767 |        0 |        0
1247.59/1248.01	c 1247s |      21 |  1649629 |  1289545 |     3484    768 |        0 |        0
1249.59/1250.02	c 1249s |      21 |  1651991 |  1291545 |     3484    769 |        0 |        0
1251.58/1252.05	c 1251s |      21 |  1654332 |  1293445 |     3484    770 |        0 |        0
1253.69/1254.12	c 1254s |      21 |  1656781 |  1295545 |     3484    771 |        0 |        0
1255.79/1256.20	c 1256s |      21 |  1659427 |  1297645 |     3484    773 |        0 |        0
1257.88/1258.34	c 1258s |      21 |  1661863 |  1299645 |     3484    774 |        0 |        0
1259.98/1260.41	c 1260s |      21 |  1664280 |  1301645 |     3484    775 |        0 |        0
1261.98/1262.43	c 1262s |      21 |  1666763 |  1303645 |     3484    776 |        0 |        0
1263.98/1264.47	c 1264s |      21 |  1668637 |  1305245 |     3484    776 |        0 |        0
1266.08/1266.57	c 1266s |      21 |  1670590 |  1306945 |     3484    777 |        0 |        0
1268.18/1268.68	c 1268s |      21 |  1672544 |  1308645 |     3484    778 |        0 |        0
1270.28/1270.73	c 1270s |      21 |  1674777 |  1310345 |     3484    779 |        0 |        0
1272.47/1272.94	c 1272s |      21 |  1676761 |  1312045 |     3484    780 |        0 |        0
1274.48/1274.97	c 1274s |      21 |  1678469 |  1313545 |     3484    781 |        0 |        0
1276.57/1277.09	c 1277s |      21 |  1680363 |  1315145 |     3484    781 |        0 |        0
1278.77/1279.20	c 1279s |      21 |  1682111 |  1316645 |     3484    782 |        0 |        0
1280.77/1281.27	c 1281s |      21 |  1683695 |  1318045 |     3484    783 |        0 |        0
1282.87/1283.30	c 1283s |      21 |  1686284 |  1320245 |     3484    784 |        0 |        0
1284.97/1285.42	c 1285s |      21 |  1688461 |  1322145 |     3484    785 |        0 |        0
1287.07/1287.50	c 1287s |      21 |  1690565 |  1323945 |     3484    786 |        0 |        0
1289.07/1289.52	c 1289s |      21 |  1692359 |  1325545 |     3484    787 |        0 |        0
1291.16/1291.60	c 1291s |      21 |  1694157 |  1327145 |     3484    788 |        0 |        0
1293.27/1293.71	c 1293s |      21 |  1696067 |  1328845 |     3484    789 |        0 |        0
1295.26/1295.73	c 1295s |      21 |  1698034 |  1330545 |     3484    789 |        0 |        0
1297.26/1297.74	c 1297s |      21 |  1700149 |  1332345 |     3484    790 |        0 |        0
1299.36/1299.80	c 1299s |      21 |  1702117 |  1334045 |     3484    791 |        0 |        0
1301.46/1301.93	c 1301s |      21 |  1704033 |  1335745 |     3484    792 |        0 |        0
1303.46/1303.98	c 1303s |      21 |  1705581 |  1337145 |     3484    793 |        0 |        0
1305.56/1306.03	c 1305s |      21 |  1707284 |  1338645 |     3484    794 |        0 |        0
1307.66/1308.14	c 1308s |      21 |  1709225 |  1340345 |     3484    794 |        0 |        0
1309.67/1310.17	c 1310s |      21 |  1710937 |  1341845 |     3484    795 |        0 |        0
1311.76/1312.25	c 1312s |      21 |  1712857 |  1343545 |     3484    796 |        0 |        0
1313.86/1314.38	c 1314s |      21 |  1714776 |  1345245 |     3484    797 |        0 |        0
1315.96/1316.49	c 1316s |      21 |  1716590 |  1346845 |     3484    798 |        0 |        0
1318.05/1318.57	c 1318s |      21 |  1718933 |  1348845 |     3484    799 |        0 |        0
1320.05/1320.59	c 1320s |      21 |  1721181 |  1350745 |     3484    800 |        0 |        0
1322.05/1322.59	c 1322s |      21 |  1723314 |  1352545 |     3484    801 |        0 |        0
1324.15/1324.62	c 1324s |      21 |  1725253 |  1354245 |     3484    802 |        0 |        0
1326.15/1326.68	c 1326s |      21 |  1727322 |  1356045 |     3484    802 |        0 |        0
1328.25/1328.73	c 1328s |      21 |  1729287 |  1357745 |     3484    803 |        0 |        0
1330.34/1330.83	c 1330s |      21 |  1731531 |  1359645 |     3484    804 |        0 |        0
1332.44/1332.92	c 1332s |      21 |  1733447 |  1361345 |     3484    805 |        0 |        0
1334.44/1334.97	c 1334s |      21 |  1737839 |  1363945 |     3484    807 |        0 |        0
1336.54/1337.06	c 1336s |      21 |  1741032 |  1366245 |     3484    808 |        0 |        0
1338.54/1339.08	c 1339s |      21 |  1744098 |  1368445 |     3484    809 |        0 |        0
1340.63/1341.11	c 1341s |      21 |  1747814 |  1370545 |     3484    810 |        0 |        0
1342.64/1343.19	c 1343s |      21 |  1750954 |  1372645 |     3484    811 |        0 |        0
1344.73/1345.28	c 1345s |      21 |  1753355 |  1374545 |     3484    812 |        0 |        0
1346.83/1347.35	c 1347s |      21 |  1756234 |  1376645 |     3484    813 |        0 |        0
1348.93/1349.46	c 1349s |      21 |  1758462 |  1378445 |     3484    814 |        0 |        0
1350.93/1351.46	c 1351s |      21 |  1761124 |  1380545 |     3484    815 |        0 |        0
1353.03/1353.50	c 1353s |      21 |  1763544 |  1382545 |     3484    816 |        0 |        0
1355.03/1355.58	c 1355s |      21 |  1766366 |  1384845 |     3484    817 |        0 |        0
1357.13/1357.61	c 1357s |      21 |  1768759 |  1386845 |     3484    818 |        0 |        0
1359.13/1359.67	c 1359s |      21 |  1771171 |  1388845 |     3484    819 |        0 |        0
1361.23/1361.76	c 1361s |      21 |  1773394 |  1390745 |     3484    820 |        0 |        0
1363.33/1363.83	c 1363s |      21 |  1775600 |  1392545 |     3484    821 |        0 |        0
1365.33/1365.84	c 1365s |      21 |  1778173 |  1394445 |     3484    822 |        0 |        0
1367.43/1367.91	c 1367s |      21 |  1780621 |  1396445 |     3484    823 |        0 |        0
1369.43/1369.97	c 1369s |      21 |  1783187 |  1398445 |     3484    824 |        0 |        0
1371.52/1372.08	c 1372s |      21 |  1785525 |  1400345 |     3484    825 |        0 |        0
1373.62/1374.12	c 1374s |      21 |  1787660 |  1402045 |     3484    826 |        0 |        0
1375.63/1376.15	c 1376s |      21 |  1790463 |  1404245 |     3484    827 |        0 |        0
1377.72/1378.24	c 1378s |      21 |  1793032 |  1406245 |     3484    828 |        0 |        0
1379.82/1380.32	c 1380s |      21 |  1795574 |  1408345 |     3484    829 |        0 |        0
1381.82/1382.37	c 1382s |      21 |  1798250 |  1410445 |     3484    831 |        0 |        0
1383.92/1384.45	c 1384s |      21 |  1800371 |  1412245 |     3484    832 |        0 |        0
1386.02/1386.55	c 1386s |      21 |  1802845 |  1414245 |     3484    833 |        0 |        0
1388.22/1388.71	c 1388s |      21 |  1804904 |  1415945 |     3484    833 |        0 |        0
1390.32/1390.81	c 1390s |      21 |  1807587 |  1418145 |     3484    835 |        0 |        0
1392.32/1392.88	c 1392s |      21 |  1810352 |  1420445 |     3484    836 |        0 |        0
1394.33/1394.89	c 1394s |      21 |  1812874 |  1422545 |     3484    837 |        0 |        0
1396.42/1396.93	c 1396s |      21 |  1814930 |  1424345 |     3484    838 |        0 |        0
1398.42/1398.96	c 1398s |      21 |  1816988 |  1425945 |     3484    839 |        0 |        0
1400.52/1401.05	c 1400s |      21 |  1819013 |  1427645 |     3484    839 |        0 |        0
1402.52/1403.06	c 1402s |      21 |  1821298 |  1429545 |     3484    840 |        0 |        0
1404.52/1405.07	c 1405s |      21 |  1823080 |  1431145 |     3484    841 |        0 |        0
1406.53/1407.09	c 1407s |      21 |  1825410 |  1433045 |     3484    842 |        0 |        0
1408.52/1409.10	c 1409s |      21 |  1828103 |  1435345 |     3484    843 |        0 |        0
1410.62/1411.13	c 1411s |      21 |  1830541 |  1437345 |     3484    844 |        0 |        0
1412.72/1413.21	c 1413s |      21 |  1833528 |  1439745 |     3484    846 |        0 |        0
1414.72/1415.28	c 1415s |      21 |  1835686 |  1441645 |     3484    847 |        0 |        0
1416.82/1417.33	c 1417s |      21 |  1838366 |  1443745 |     3484    848 |        0 |        0
1418.82/1419.34	c 1419s |      21 |  1840572 |  1445645 |     3484    849 |        0 |        0
1420.82/1421.35	c 1421s |      21 |  1842684 |  1447545 |     3484    850 |        0 |        0
1422.92/1423.45	c 1423s |      21 |  1844957 |  1449545 |     3484    851 |        0 |        0
1425.02/1425.52	c 1425s |      21 |  1846736 |  1451145 |     3484    852 |        0 |        0
1427.12/1427.63	c 1427s |      21 |  1849205 |  1453245 |     3484    853 |        0 |        0
1429.12/1429.65	c 1429s |      21 |  1851196 |  1455045 |     3484    854 |        0 |        0
1431.22/1431.72	c 1431s |      21 |  1853215 |  1456845 |     3484    854 |        0 |        0
1433.22/1433.73	c 1433s |      21 |  1855584 |  1458745 |     3484    855 |        0 |        0
1435.22/1435.79	c 1435s |      21 |  1857637 |  1460545 |     3484    856 |        0 |        0
1437.33/1437.89	c 1437s |      21 |  1859560 |  1462245 |     3484    857 |        0 |        0
1439.53/1440.01	c 1439s |      21 |  1861465 |  1463945 |     3484    858 |        0 |        0
1441.52/1442.10	c 1442s |      21 |  1863340 |  1465545 |     3484    859 |        0 |        0
1443.62/1444.19	c 1444s |      21 |  1864886 |  1466945 |     3484    860 |        0 |        0
1445.72/1446.22	c 1446s |      21 |  1867613 |  1469145 |     3484    861 |        0 |        0
1447.72/1448.25	c 1448s |      21 |  1869462 |  1470845 |     3484    862 |        0 |        0
1449.82/1450.32	c 1450s |      21 |  1871659 |  1472745 |     3484    863 |        0 |        0
1451.82/1452.34	c 1452s |      21 |  1873644 |  1474545 |     3484    864 |        0 |        0
1453.83/1454.38	c 1454s |      21 |  1875793 |  1476445 |     3484    865 |        0 |        0
1456.03/1456.52	c 1456s |      21 |  1877860 |  1478245 |     3484    865 |        0 |        0
1458.02/1458.60	c 1458s |      21 |  1879635 |  1479845 |     3484    866 |        0 |        0
1460.22/1460.73	c 1460s |      21 |  1881340 |  1481345 |     3484    867 |        0 |        0
1462.32/1462.81	c 1462s |      21 |  1883609 |  1483245 |     3484    868 |        0 |        0
1464.32/1464.83	c 1464s |      21 |  1885566 |  1484945 |     3484    869 |        0 |        0
1466.32/1466.88	c 1466s |      21 |  1887336 |  1486545 |     3484    870 |        0 |        0
1468.42/1468.93	c 1468s |      21 |  1889434 |  1488345 |     3484    871 |        0 |        0
1470.52/1471.01	c 1470s |      21 |  1891458 |  1490045 |     3833    871 |        0 |        0
1472.52/1473.10	c 1473s |      21 |  1893512 |  1491845 |     3833    872 |        0 |        0
1474.62/1475.17	c 1475s |      21 |  1895491 |  1493545 |     3833    873 |        0 |        0
1476.72/1477.26	c 1477s |      21 |  1897177 |  1495045 |     3833    874 |        0 |        0
1478.82/1479.30	c 1479s |      21 |  1899128 |  1496745 |     3833    874 |        0 |        0
1480.81/1481.38	c 1481s |      21 |  1901015 |  1498445 |     3833    875 |        0 |        0
1482.91/1483.45	c 1483s |      21 |  1902705 |  1499945 |     3833    876 |        0 |        0
1483.91/1484.45	c 1484s |      22 |  1903525 |  1500622 |     3833    876 |        0 |        0
1485.91/1486.46	c 1486s |      22 |  1906654 |  1502822 |     3833    877 |        0 |        0
1487.92/1488.48	c 1488s |      22 |  1908703 |  1504622 |     3833    878 |        0 |        0
1490.02/1490.57	c 1490s |      22 |  1910791 |  1506422 |     3833    879 |        0 |        0
1492.11/1492.60	c 1492s |      22 |  1912737 |  1508122 |     3833    880 |        0 |        0
1494.31/1494.80	c 1494s |      22 |  1914674 |  1509822 |     3833    881 |        0 |        0
1496.31/1496.88	c 1496s |      22 |  1916633 |  1511522 |     3833    881 |        0 |        0
1498.41/1498.92	c 1498s |      22 |  1918335 |  1513022 |     3833    882 |        0 |        0
1500.51/1501.01	c 1500s |      22 |  1919998 |  1514522 |     3833    883 |        0 |        0
1502.51/1503.05	c 1502s |      22 |  1921660 |  1516022 |     3833    883 |        0 |        0
1504.61/1505.14	c 1505s |      22 |  1923323 |  1517522 |     3833    884 |        0 |        0
1506.62/1507.18	c 1507s |      22 |  1924874 |  1518922 |     3833    885 |        0 |        0
1508.61/1509.18	c 1509s |      22 |  1926384 |  1520322 |     3833    885 |        0 |        0
1510.61/1511.20	c 1511s |      22 |  1929042 |  1522022 |     3833    886 |        0 |        0
1512.71/1513.22	c 1513s |      22 |  1932293 |  1524822 |     3833    887 |        0 |        0
1514.71/1515.23	c 1515s |      22 |  1934803 |  1527022 |     3833    888 |        0 |        0
1516.71/1517.28	c 1517s |      22 |  1937225 |  1529122 |     3833    889 |        0 |        0
1518.81/1519.34	c 1519s |      22 |  1939640 |  1531222 |     3833    890 |        0 |        0
1520.81/1521.34	c 1521s |      22 |  1941783 |  1533122 |     3833    891 |        0 |        0
1522.80/1523.34	c 1523s |      22 |  1943925 |  1535022 |     3833    892 |        0 |        0
1524.80/1525.34	c 1525s |      22 |  1945917 |  1536822 |     3833    893 |        0 |        0
1526.90/1527.40	c 1527s |      22 |  1948167 |  1538822 |     3833    894 |        0 |        0
1528.90/1529.47	c 1529s |      22 |  1950663 |  1541022 |     3833    895 |        0 |        0
1531.00/1531.53	c 1531s |      22 |  1952958 |  1543022 |     3833    896 |        0 |        0
1533.10/1533.64	c 1533s |      22 |  1955110 |  1544822 |     3833    896 |        0 |        0
1535.11/1535.68	c 1535s |      22 |  1957233 |  1546622 |     3833    897 |        0 |        0
1537.20/1537.70	c 1537s |      22 |  1959173 |  1548322 |     3833    898 |        0 |        0
1539.20/1539.71	c 1539s |      22 |  1961597 |  1550422 |     3833    899 |        0 |        0
1541.20/1541.73	c 1541s |      22 |  1964310 |  1552822 |     3833    900 |        0 |        0
1543.20/1543.73	c 1543s |      22 |  1966595 |  1554822 |     3833    901 |        0 |        0
1545.20/1545.74	c 1545s |      22 |  1968813 |  1556822 |     3833    902 |        0 |        0
1547.20/1547.79	c 1547s |      22 |  1971318 |  1559022 |     3833    903 |        0 |        0
1549.30/1549.88	c 1549s |      22 |  1973610 |  1561022 |     3833    904 |        0 |        0
1551.40/1551.97	c 1551s |      22 |  1975739 |  1562922 |     3833    905 |        0 |        0
1553.40/1553.98	c 1553s |      22 |  1978013 |  1564922 |     3833    906 |        0 |        0
1555.50/1556.01	c 1555s |      22 |  1980355 |  1566922 |     3833    906 |        0 |        0
1557.50/1558.05	c 1557s |      22 |  1983064 |  1569222 |     3833    908 |        0 |        0
1559.60/1560.16	c 1560s |      22 |  1985483 |  1571322 |     3833    908 |        0 |        0
1561.70/1562.24	c 1562s |      22 |  1987938 |  1573522 |     3833    909 |        0 |        0
1563.70/1564.29	c 1564s |      22 |  1993176 |  1575722 |     3833    911 |        0 |        0
1565.90/1566.45	c 1566s |      22 |  1995561 |  1577822 |     3833    912 |        0 |        0
1567.99/1568.50	c 1568s |      22 |  1998286 |  1580022 |     3833    913 |        0 |        0
1570.09/1570.60	c 1570s |      22 |  2000757 |  1581922 |     3833    913 |        0 |        0
1572.19/1572.75	c 1572s |      22 |  2003549 |  1583522 |     3833    914 |        0 |        0
1574.29/1574.83	c 1574s |      22 |  2006642 |  1585822 |     3833    915 |        0 |        0
1576.29/1576.87	c 1576s |      22 |  2009412 |  1588022 |     3833    916 |        0 |        0
1578.30/1578.89	c 1578s |      22 |  2012233 |  1590222 |     3833    917 |        0 |        0
1580.40/1580.91	c 1580s |      22 |  2014971 |  1592522 |     3833    918 |        0 |        0
1582.51/1583.03	c 1582s |      22 |  2017299 |  1594622 |     3833    919 |        0 |        0
1584.50/1585.03	c 1584s |      22 |  2019624 |  1596622 |     3833    920 |        0 |        0
1586.50/1587.06	c 1586s |      22 |  2021951 |  1598622 |     3833    921 |        0 |        0
1588.60/1589.12	c 1589s |      22 |  2024399 |  1600722 |     3833    922 |        0 |        0
1590.60/1591.16	c 1591s |      22 |  2027019 |  1602922 |     3833    923 |        0 |        0
1592.60/1593.19	c 1593s |      22 |  2028977 |  1604622 |     3833    924 |        0 |        0
1594.70/1595.26	c 1595s |      22 |  2030951 |  1606322 |     3833    925 |        0 |        0
1596.80/1597.36	c 1597s |      22 |  2032820 |  1607922 |     3833    926 |        0 |        0
1598.80/1599.37	c 1599s |      22 |  2036933 |  1609722 |     3833    927 |        0 |        0
1600.90/1601.46	c 1601s |      22 |  2039573 |  1611922 |     3833    928 |        0 |        0
1603.00/1603.52	c 1603s |      22 |  2041726 |  1613722 |     3833    928 |        0 |        0
1605.10/1605.61	c 1605s |      22 |  2044079 |  1615722 |     3833    929 |        0 |        0
1607.19/1607.71	c 1607s |      22 |  2047706 |  1617822 |     3833    930 |        0 |        0
1609.19/1609.80	c 1609s |      22 |  2050005 |  1619822 |     3833    931 |        0 |        0
1611.29/1611.89	c 1611s |      22 |  2052181 |  1621722 |     3833    932 |        0 |        0
1613.39/1613.91	c 1613s |      22 |  2054062 |  1623422 |     3833    933 |        0 |        0
1615.40/1615.95	c 1615s |      22 |  2057526 |  1625422 |     3833    934 |        0 |        0
1617.39/1617.99	c 1617s |      22 |  2059812 |  1627322 |     3833    935 |        0 |        0
1619.49/1620.03	c 1619s |      22 |  2062737 |  1629522 |     3833    936 |        0 |        0
1621.59/1622.11	c 1622s |      22 |  2065224 |  1631522 |     3833    937 |        0 |        0
1623.59/1624.14	c 1624s |      22 |  2067810 |  1633522 |     3833    938 |        0 |        0
1625.69/1626.20	c 1626s |      22 |  2069869 |  1635322 |     3833    939 |        0 |        0
1627.69/1628.24	c 1628s |      22 |  2071789 |  1636822 |     3833    939 |        0 |        0
1629.70/1630.30	c 1630s |      22 |  2074367 |  1638922 |     3833    940 |        0 |        0
1631.79/1632.36	c 1632s |      22 |  2077086 |  1641022 |     3833    941 |        0 |        0
1633.89/1634.43	c 1634s |      22 |  2079234 |  1642922 |     3833    942 |        0 |        0
1635.89/1636.47	c 1636s |      22 |  2081604 |  1644822 |     3833    943 |        0 |        0
1637.99/1638.51	c 1638s |      22 |  2083737 |  1646522 |     3833    944 |        0 |        0
1639.99/1640.58	c 1640s |      22 |  2086271 |  1648622 |     3833    945 |        0 |        0
1642.09/1642.63	c 1642s |      22 |  2088605 |  1650622 |     3833    946 |        0 |        0
1644.09/1644.68	c 1644s |      22 |  2090830 |  1652422 |     3833    947 |        0 |        0
1646.19/1646.76	c 1646s |      22 |  2092905 |  1654122 |     3833    948 |        0 |        0
1648.19/1648.79	c 1648s |      22 |  2095346 |  1656222 |     3833    949 |        0 |        0
1650.29/1650.82	c 1650s |      22 |  2097904 |  1658322 |     3833    950 |        0 |        0
1652.28/1652.89	c 1652s |      22 |  2100203 |  1660222 |     3833    951 |        0 |        0
1654.38/1654.93	c 1654s |      22 |  2102886 |  1662422 |     3833    952 |        0 |        0
1656.48/1657.01	c 1656s |      22 |  2105433 |  1664522 |     3833    953 |        0 |        0
1658.48/1659.02	c 1658s |      22 |  2107910 |  1666422 |     3833    954 |        0 |        0
1660.49/1661.07	c 1661s |      22 |  2110106 |  1668222 |     3833    954 |        0 |        0
1662.58/1663.16	c 1663s |      22 |  2112481 |  1670322 |     3833    955 |        0 |        0
1664.58/1665.19	c 1665s |      22 |  2114688 |  1672222 |     3833    956 |        0 |        0
1666.68/1667.27	c 1667s |      22 |  2116780 |  1674022 |     3833    957 |        0 |        0
1668.78/1669.32	c 1669s |      22 |  2118931 |  1675822 |     3833    958 |        0 |        0
1670.78/1671.38	c 1671s |      22 |  2121437 |  1678022 |     3833    959 |        0 |        0
1672.88/1673.46	c 1673s |      22 |  2123839 |  1680122 |     3833    960 |        0 |        0
1674.89/1675.49	c 1675s |      22 |  2126287 |  1682222 |     3833    961 |        0 |        0
1677.09/1677.61	c 1677s |      22 |  2128405 |  1684122 |     3833    962 |        0 |        0
1679.08/1679.66	c 1679s |      22 |  2130359 |  1685822 |     3833    963 |        0 |        0
1681.18/1681.71	c 1681s |      22 |  2132194 |  1687422 |     3833    964 |        0 |        0
1683.18/1683.73	c 1683s |      22 |  2134305 |  1689322 |     3833    964 |        0 |        0
1685.18/1685.77	c 1685s |      22 |  2136728 |  1691422 |     3833    965 |        0 |        0
1687.28/1687.81	c 1687s |      22 |  2138936 |  1693222 |     3833    966 |        0 |        0
1689.28/1689.88	c 1689s |      22 |  2141282 |  1695222 |     3833    967 |        0 |        0
1691.38/1691.96	c 1691s |      22 |  2143605 |  1697222 |     3833    968 |        0 |        0
1693.48/1694.02	c 1693s |      22 |  2145835 |  1699122 |     3833    969 |        0 |        0
1695.48/1696.03	c 1695s |      22 |  2148033 |  1701022 |     3833    970 |        0 |        0
1697.57/1698.12	c 1698s |      22 |  2150092 |  1702822 |     3833    971 |        0 |        0
1699.57/1700.17	c 1700s |      22 |  2152035 |  1704522 |     3833    972 |        0 |        0
1701.67/1702.28	c 1702s |      22 |  2154095 |  1706322 |     3833    973 |        0 |        0
1703.67/1704.29	c 1704s |      22 |  2156051 |  1708022 |     3833    973 |        0 |        0
1705.87/1706.40	c 1706s |      22 |  2157979 |  1709722 |     3833    974 |        0 |        0
1707.88/1708.42	c 1708s |      22 |  2160005 |  1711422 |     3833    975 |        0 |        0
1709.87/1710.45	c 1710s |      22 |  2162165 |  1713322 |     3833    976 |        0 |        0
1711.97/1712.52	c 1712s |      22 |  2164153 |  1715122 |     3833    977 |        0 |        0
1713.97/1714.57	c 1714s |      22 |  2166487 |  1717222 |     3833    978 |        0 |        0
1716.07/1716.60	c 1716s |      22 |  2169009 |  1719122 |     3833    979 |        0 |        0
1718.07/1718.65	c 1718s |      22 |  2172082 |  1721522 |     3833    980 |        0 |        0
1720.07/1720.65	c 1720s |      22 |  2174362 |  1723422 |     3833    981 |        0 |        0
1722.08/1722.70	c 1722s |      22 |  2176837 |  1725522 |     3833    982 |        0 |        0
1724.17/1724.73	c 1724s |      22 |  2179464 |  1727722 |     3833    983 |        0 |        0
1726.17/1726.76	c 1726s |      22 |  2181889 |  1729722 |     3833    984 |        0 |        0
1728.27/1728.83	c 1728s |      22 |  2184221 |  1731722 |     3833    985 |        0 |        0
1730.27/1730.86	c 1730s |      22 |  2186391 |  1733622 |     3833    986 |        0 |        0
1732.27/1732.88	c 1732s |      22 |  2188867 |  1735622 |     3833    986 |        0 |        0
1734.28/1734.88	c 1734s |      22 |  2191187 |  1737622 |     3833    987 |        0 |        0
1736.37/1736.98	c 1736s |      22 |  2196517 |  1739922 |     3833    989 |        0 |        0
1738.47/1739.04	c 1738s |      22 |  2198604 |  1741722 |     3833    989 |        0 |        0
1740.57/1741.14	c 1741s |      22 |  2201593 |  1743422 |     3833    990 |        0 |        0
1742.57/1743.19	c 1743s |      22 |  2204867 |  1745722 |     3833    991 |        0 |        0
1744.67/1745.26	c 1745s |      22 |  2207471 |  1747722 |     3833    992 |        0 |        0
1746.77/1747.35	c 1747s |      22 |  2209631 |  1749522 |     3833    993 |        0 |        0
1748.87/1749.43	c 1749s |      22 |  2211940 |  1751422 |     3833    994 |        0 |        0
1750.87/1751.47	c 1751s |      22 |  2214619 |  1753422 |     3833    995 |        0 |        0
1752.97/1753.53	c 1753s |      22 |  2216840 |  1755322 |     3833    996 |        0 |        0
1754.97/1755.59	c 1755s |      22 |  2218572 |  1756822 |     3833    997 |        0 |        0
1757.06/1757.61	c 1757s |      22 |  2220258 |  1758322 |     3833    997 |        0 |        0
1759.06/1759.64	c 1759s |      22 |  2222299 |  1760122 |     3833    998 |        0 |        0
1761.16/1761.73	c 1761s |      22 |  2224491 |  1761922 |     3833    999 |        0 |        0
1763.16/1763.75	c 1763s |      22 |  2226318 |  1763522 |     3833   1000 |        0 |        0
1765.16/1765.78	c 1765s |      22 |  2228543 |  1765222 |     3833   1001 |        0 |        0
1767.27/1767.85	c 1767s |      22 |  2230781 |  1767022 |     3833   1001 |        0 |        0
1769.26/1769.87	c 1769s |      22 |  2232833 |  1768622 |     3833   1002 |        0 |        0
1771.26/1771.89	c 1771s |      22 |  2235260 |  1770522 |     3833   1003 |        0 |        0
1773.46/1774.02	c 1773s |      22 |  2237044 |  1772022 |     3833   1004 |        0 |        0
1775.56/1776.12	c 1776s |      22 |  2240606 |  1774022 |     3833   1005 |        0 |        0
1777.56/1778.17	c 1778s |      22 |  2243116 |  1775922 |     3833   1006 |        0 |        0
1779.67/1780.28	c 1780s |      22 |  2245234 |  1777722 |     3833   1006 |        0 |        0
1781.77/1782.33	c 1782s |      22 |  2247437 |  1779322 |     3833   1007 |        0 |        0
1783.87/1784.42	c 1784s |      22 |  2249833 |  1781022 |     3833   1008 |        0 |        0
1785.98/1786.55	c 1786s |      22 |  2251905 |  1782622 |     3833   1009 |        0 |        0
1788.08/1788.61	c 1788s |      22 |  2254200 |  1784222 |     3833   1009 |        0 |        0
1790.07/1790.63	c 1790s |      22 |  2256723 |  1785822 |     3833   1010 |        0 |        0
1792.17/1792.74	c 1792s |      22 |  2258819 |  1787522 |     3833   1011 |        0 |        0
1794.27/1794.83	c 1794s |      22 |  2260735 |  1789022 |     3833   1012 |        0 |        0
1796.37/1796.92	c 1796s |      22 |  2262727 |  1790622 |     3833   1012 |        0 |        0
1798.37/1798.96	c 1798s |      22 |  2264490 |  1792122 |     3833   1013 |        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-4093631-1466091277/watcher-4093631-1466091277 -o /tmp/evaluation-result-4093631-1466091277/solver-4093631-1466091277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466074715-9713 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093631-1466091277.wbo 

pid=12319
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.05 2.10 2.06 3/179 12322
/proc/meminfo: memFree=30658620/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=724412 CPUtime=0 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 2703 0 0 0 0 0 0 0 20 0 4 0 11177749 741797888 3063 33554432000 4194304 16246674 140734763069072 140734763068496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 181871 3071 441 2943 0 178765 0
[pid=12322/tid=12323] ppid=12319 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 760672256 3134 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 765915136 3154 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11177749 770109440 3171 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.05 2.10 2.06 3/179 12322
/proc/meminfo: memFree=30658620/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 25738 0 0 0 6 3 0 0 20 0 4 0 11177749 1247350784 26084 33554432000 4194304 16246674 140734763069072 140734763068496 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 304529 26092 807 2943 0 301423 0
[pid=12322/tid=12323] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 26098 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 26105 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 26109 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200493 s]
/proc/loadavg: 2.05 2.10 2.06 3/179 12322
/proc/meminfo: memFree=30658620/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 50950 0 0 0 12 7 0 0 20 0 4 0 11177749 1247350784 51297 33554432000 4194304 16246674 140734763069072 140734763068496 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 304529 51310 807 2943 0 301423 0
[pid=12322/tid=12323] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 51317 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 51328 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 51335 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300511 s]
/proc/loadavg: 2.05 2.10 2.06 3/179 12322
/proc/meminfo: memFree=30658620/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 79318 0 0 0 19 10 0 0 20 0 4 0 11177749 1247350784 79665 33554432000 4194304 16246674 140734763069072 140734763050944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 304529 79682 807 2943 0 301423 0
[pid=12322/tid=12323] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 79694 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 79704 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 79714 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.05 2.10 2.06 3/179 12322
/proc/meminfo: memFree=30658620/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 200011 0 0 0 43 26 0 0 20 0 4 0 11177749 1247350784 200358 33554432000 4194304 16246674 140734763069072 140734763050944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 304529 200373 813 2943 0 301423 0
[pid=12322/tid=12323] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 200382 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 200393 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11177749 1247350784 200400 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 2.05 2.10 2.06 3/183 12326
/proc/meminfo: memFree=29673716/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 266662 0 0 0 114 35 0 0 20 0 4 0 11177749 1334382592 266986 33554432000 4194304 16246674 140734763069072 140734763052072 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 325777 266986 872 2943 0 322671 0
[pid=12322/tid=12323] ppid=12319 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1334382592 266986 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1334382592 266986 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1334382592 266986 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10042 s]
/proc/loadavg: 2.05 2.10 2.06 3/183 12326
/proc/meminfo: memFree=29587784/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 267742 0 0 0 274 35 0 0 20 0 4 0 11177749 1338576896 268066 33554432000 4194304 16246674 140734763069072 140734763050944 5545930 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 326801 268066 873 2943 0 323695 0
[pid=12322/tid=12323] ppid=12319 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1338576896 268066 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1338576896 268066 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1338576896 268066 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.05 2.10 2.06 3/183 12326
/proc/meminfo: memFree=29586320/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 267921 0 0 0 594 35 0 0 20 0 4 0 11177749 1338576896 268245 33554432000 4194304 16246674 140734763069072 140734763050944 12474881 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 326801 268245 873 2943 0 323695 0
[pid=12322/tid=12323] ppid=12319 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1338576896 268245 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1338576896 268245 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1338576896 268245 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.05 2.10 2.06 3/183 12326
/proc/meminfo: memFree=29586032/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 268094 0 0 0 1234 35 0 0 20 0 4 0 11177749 1339625472 268418 33554432000 4194304 16246674 140734763069072 140734763050944 6020678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 327057 268418 873 2943 0 323951 0
[pid=12322/tid=12323] ppid=12319 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1339625472 268418 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1339625472 268418 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1339625472 268418 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.04 2.09 2.06 3/183 12326
/proc/meminfo: memFree=29585912/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 268177 0 0 0 2513 35 0 0 20 0 4 0 11177749 1339625472 268501 33554432000 4194304 16246674 140734763069072 140734763050944 12477712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 327057 268501 873 2943 0 323951 0
[pid=12322/tid=12323] ppid=12319 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1339625472 268501 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1339625472 268501 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1339625472 268501 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.09 2.10 2.06 3/183 12326
/proc/meminfo: memFree=29581812/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 268689 0 0 0 5073 35 0 0 20 0 4 0 11177749 1341722624 269013 33554432000 4194304 16246674 140734763069072 140734763050944 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 327569 269013 873 2943 0 324463 0
[pid=12322/tid=12323] ppid=12319 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1341722624 269013 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1341722624 269013 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1341722624 269013 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.10 2.10 2.06 3/183 12328
/proc/meminfo: memFree=29577876/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 269460 0 0 0 10192 36 0 0 20 0 4 0 11177749 1344868352 269784 33554432000 4194304 16246674 140734763069072 140734763050944 13191314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12322/statm: 328337 269784 876 2943 0 325231 0
[pid=12322/tid=12323] ppid=12319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1344868352 269784 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1344868352 269784 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1344868352 269784 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1351159808 271577 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 12357
/proc/meminfo: memFree=29539448/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1319492 CPUtime=1301.86 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 271401 0 0 0 130145 41 0 0 20 0 4 0 11177749 1351159808 271577 33554432000 4194304 16246674 140734763069072 140734763050944 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 329873 271577 877 2943 0 326767 0
[pid=12322/tid=12323] ppid=12319 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1351159808 271577 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1351159808 271577 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1351159808 271577 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 12359
/proc/meminfo: memFree=29532652/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1361.83 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272465 0 0 0 136142 41 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 12360
/proc/meminfo: memFree=29525876/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1421.82 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 142141 41 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 6013193 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 12361
/proc/meminfo: memFree=29525008/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1481.81 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 148139 42 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 5545752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.12 2.11 2.09 3/184 12365
/proc/meminfo: memFree=29525568/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1541.81 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 154139 42 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 6021569 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/184 12389
/proc/meminfo: memFree=29524464/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1601.8 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 160137 43 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.27 2.16 2.10 3/183 12391
/proc/meminfo: memFree=29524732/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1661.78 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 166135 43 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 5546177 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.21 2.15 2.10 3/183 12392
/proc/meminfo: memFree=29524928/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1721.77 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 172134 43 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/183 12442
/proc/meminfo: memFree=29571140/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1781.77 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 178133 44 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763068248 5822224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.16 2.10 3/183 12442
/proc/meminfo: memFree=29571360/32872528 swapFree=240572/273276
[pid=12322] ppid=12319 vsize=1323588 CPUtime=1800.07 cores=0,2,4,6
/proc/12322/stat : 12322 (toysat) R 12319 12322 7549 0 -1 4202496 272468 0 0 0 179963 44 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140734763050944 5823961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12322/statm: 330897 272601 877 2943 0 327791 0
[pid=12322/tid=12323] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12323/stat : 12323 (toysat) S 12319 12322 7549 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204319943920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12322/tid=12324] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12324/stat : 12324 (toysat) S 12319 12322 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204241300720 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12322/tid=12325] ppid=12319 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/12322/task/12325/stat : 12325 (toysat) S 12319 12322 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11177749 1355354112 272601 33554432000 4194304 16246674 140734763069072 140204230827184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1323588

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 12322 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.08
CPU user time (s): 1799.64
CPU system time (s): 0.439933
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.439933
maximum resident set size= 1090404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272468
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= 461
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6882 second user time and 16.5295 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 17:34:37
IDJOB=4093631
IDBENCH=79157
IDSOLVER=2553
FILE ID=node107/4093631-1466091277
RUNJOBID= node107-1466074715-9713
PBS_JOBID= 19904025
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= ccc8229e0445e5a3e6fad9172f1ab48d
RANDOM SEED=1146141457

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30659512 kB
Buffers:           43560 kB
Cached:           116964 kB
SwapCached:         2508 kB
Active:          1157776 kB
Inactive:          82168 kB
Active(anon):    1079540 kB
Inactive(anon):     2156 kB
Active(file):      78236 kB
Inactive(file):    80012 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099244 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1361580 kB
Mapped:            10820 kB
Shmem:                 0 kB
Slab:             567592 kB
SReclaimable:      11376 kB
SUnreclaim:       556216 kB
KernelStack:        1520 kB
PageTables:         6664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1495776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71680 MiB
End job on node107 at 2016-06-16 18:04:38