Trace number 4108132

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.07 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6013_2-unsat.opb
MD5SUMc3eb9faf1d58b30f1971366448425ca3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12322
Total number of constraints38967
Number of constraints which are clauses38567
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints400
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 394
Number of bits of the biggest sum of numbers9
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-19T00:59:02+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","--pb","--search=bcd2","HOME/instance-4108132-1466290742.opb"]
0.00/0.01	c use --random-gen="3175623708 2792884695 2952965580 2454575630 1387312324 2847632909 3965125646 2129889182 3399329667 514573841 3337775038 2264940757 318172689 147134653 575073609 3549893640 2088040900 974512840 458025893 1472024171 2681001467 1458989904 2350559970 1469478722 3046852131 3331667158 2024399904 3600958159 44923950 3018651559 4158428236 3099240202 1204889003 1885019506 2950144470 939318581 2830144776 1583380366 4276665581 3513206828 1245584081 1098237232 3981911905 711988470 2121620346 404649180 2055868207 3996009353 1493653215 1787135337 3689411585 777419518 411301656 3669359571 3734848629 3571652346 392960736 4178763212 770925052 2546975422 974233240 2180236741 1849779685 1570470167 1397543537 1483823335 2758266928 1390814420 1376445761 1553396662 2100096277 98480146 530791788 3960938362 1654715440 2372756844 993793699 2276629271 3405456549 3691002691 1820563958 1785256396 1880615350 1565932843 2134116962 2439055849 3280574284 4244743569 3307581428 3483553051 1392544764 3625400159 1534710265 57526421 602906855 2887136379 1774740828 1834704627 1141542974 1339598939 1095292463 4015375099 2095679889 186709526 3110276357 958268341 1140010143 1659608609 2999459403 1421716226 1798061592 1670561252 2059357737 1339733632 2727983484 3464802217 1599899171 486356348 1590652849 426039298 3172234292 4094219583 3602817171 3324896159 3039342765 968175541 2400538174 1280271794 3525632398 3463910398 2801551942 856414656 1287382825 64755826 1830024069 2066616961 1971540041 4175634471 3855751444 4090585849 3878109075 3356261172 1324348242 1634839498 3646971181 1931580749 2847632763 3247077020 12943153 3929553342 2742569267 3174826985 940713275 1932992364 2450272958 1733776561 3505300051 1697577709 816752325 2832251671 3979192470 3226890687 3893857365 1034222025 2955669026 2616118243 162270985 2261094601 2603436535 1822822567 987343821 1634589728 3106979167 2359580995 1155154360 606198773 2279728567 1122010998 3498522754 4142624214 3464077293 3983769274 1036008072 3209679257 202955172 1821614203 2267550976 263534022 1869402957 3972089936 55084493 3152229003 1432147682 1334013357 2082884694 255828610 2031547273 74491324 2065153893 3015072835 2083051820 290373468 2511813772 1214355753 1357775937 882848085 237188750 3728276749 3313634724 983734937 920392175 2838106386 4095699224 2415661735 4069561571 3618653746 1894033828 3392052036 2690147885 4278330224 302570677 4193988487 1479350246 1783565735 2524390640 1941665758 3200228148 956487496 2747883963 4266498346 2251716242 1689765999 398160369 1550504551 3010702095 2281350792 2937819797 3027212994 1755927911 1841956576 3426012175 126093106 3878558882 1442971519 3989020744 3498334421 2446819951 2643824069 1908799242 769798367 834688620 4245427376 3408792195 187104431 399485291 3900933546 255 362436" option to reproduce the execution
0.19/0.28	c #vars 12322
0.19/0.28	c #constraints 38967
0.59/0.62	c Solving starts ...
0.59/0.62	c ============================[ Search Statistics ]============================
0.59/0.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.62	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.62	c =============================================================================
0.59/0.67	c  0.0s |       0 |        0 |        0 |    12293      0 |     5727 |        0
0.69/0.79	c  0.1s |       1 |      167 |      100 |    12293      0 |     5727 |     6621
0.99/1.00	c  0.3s |       2 |      425 |      250 |    13523      0 |     5727 |     6621
1.29/1.30	c  0.6s |       3 |      798 |      475 |    14876      0 |     5727 |     6621
1.89/1.92	c  1.2s |       4 |     1300 |      813 |    16364      0 |     5727 |     6621
2.69/2.71	c  2.0s |       5 |     2053 |     1320 |    18001      0 |     5727 |     6621
3.69/3.75	c  3.1s |       6 |     3122 |     2081 |    21783      0 |     5727 |     6621
5.19/5.24	c  4.6s |       7 |     4825 |     3223 |    23962      0 |     5727 |     6621
7.29/7.33	c  6.7s |       7 |     6877 |     4723 |    23962      0 |     5727 |     6621
7.59/7.60	c  6.9s |       8 |     7154 |     4936 |    26359      0 |     5727 |     6621
9.59/9.65	c  9.0s |       8 |     9429 |     6536 |    26359      0 |     5727 |     6621
11.00/11.01	c 10.3s |       9 |    10654 |     7506 |    28995      0 |     5727 |     6621
12.99/13.09	c 12.4s |       9 |    12412 |     8906 |    28995      0 |     5727 |     6621
15.09/15.19	c 14.5s |       9 |    14224 |    10406 |    28995      0 |     5727 |     6621
16.59/16.60	c 15.9s |      10 |    15303 |    11361 |    31895      0 |     5727 |     6621
18.69/18.71	c 18.0s |      10 |    16920 |    12561 |    31895      0 |     5727 |     6621
20.69/20.75	c 20.1s |      10 |    18645 |    13861 |    31895      0 |     5727 |     6621
22.79/22.85	c 22.2s |      10 |    20161 |    15061 |    31895      0 |     5727 |     6621
24.89/24.99	c 24.3s |      10 |    21592 |    16261 |    31895      0 |     5727 |     6621
26.49/26.55	c 25.9s |      11 |    22734 |    17144 |    35085      0 |     5727 |     6621
28.59/28.64	c 28.0s |      11 |    24285 |    18344 |    35085      0 |     5727 |     6621
30.68/30.74	c 30.1s |      11 |    25895 |    19544 |    35085      0 |     5727 |     6621
32.68/32.78	c 32.1s |      11 |    27273 |    20644 |    35085      0 |     5727 |     6621
34.78/34.88	c 34.2s |      11 |    28809 |    21844 |    35085      0 |     5727 |     6621
36.98/37.03	c 36.4s |      11 |    30161 |    22944 |    35085      0 |     5727 |     6621
39.08/39.12	c 38.4s |      11 |    31370 |    23944 |    35085      0 |     5727 |     6621
41.18/41.20	c 40.5s |      11 |    32806 |    25044 |    35085      0 |     5727 |     6621
42.58/42.69	c 42.0s |      12 |    33800 |    25819 |    38594      0 |     5727 |     6621
44.78/44.83	c 44.2s |      12 |    35105 |    26819 |    38594      0 |     5727 |     6621
46.88/46.91	c 46.2s |      12 |    36513 |    27919 |    38594      0 |     5727 |     6621
48.98/49.03	c 48.4s |      12 |    37804 |    28919 |    38594      0 |     5727 |     6621
51.08/51.11	c 50.4s |      12 |    39117 |    29919 |    38594      0 |     5727 |     6621
53.18/53.28	c 52.6s |      12 |    40458 |    31019 |    38594      0 |     5727 |     6621
55.28/55.32	c 54.6s |      12 |    41712 |    32019 |    38594      0 |     5727 |     6621
57.29/57.32	c 56.6s |      12 |    43103 |    33119 |    38594      0 |     5727 |     6621
59.28/59.38	c 58.7s |      12 |    44467 |    34219 |    38594      0 |     5727 |     6621
61.48/61.51	c 60.8s |      12 |    45788 |    35319 |    38594      0 |     5727 |     6621
63.58/63.63	c 63.0s |      12 |    47163 |    36419 |    38594      0 |     5727 |     6621
65.58/65.68	c 65.0s |      12 |    48273 |    37319 |    38594      0 |     5727 |     6621
67.68/67.79	c 67.1s |      12 |    49556 |    38319 |    38594      0 |     5727 |     6621
68.88/68.98	c 68.3s |      13 |    50182 |    38832 |    42454      0 |     5727 |     6621
71.08/71.16	c 70.5s |      13 |    51401 |    39732 |    42454      0 |     5727 |     6621
73.08/73.17	c 72.5s |      13 |    52607 |    40632 |    42454      0 |     5727 |     6621
75.28/75.39	c 74.7s |      13 |    53885 |    41632 |    42454      0 |     5727 |     6621
77.38/77.41	c 76.7s |      13 |    55037 |    42532 |    42454      0 |     5727 |     6621
79.48/79.59	c 78.9s |      13 |    56264 |    43432 |    42454      0 |     5727 |     6621
81.58/81.61	c 80.9s |      13 |    57485 |    44332 |    42454      0 |     5727 |     6621
83.68/83.72	c 83.0s |      13 |    58679 |    45232 |    42454      0 |     5727 |     6621
85.78/85.85	c 85.2s |      13 |    59796 |    46132 |    42454      0 |     5727 |     6621
87.87/87.90	c 87.2s |      13 |    60685 |    46832 |    42454      0 |     5727 |     6621
89.97/90.03	c 89.4s |      13 |    61536 |    47532 |    42454      0 |     5727 |     6621
91.97/92.07	c 91.4s |      13 |    62401 |    48232 |    42454      0 |     5727 |     6621
94.27/94.30	c 93.6s |      13 |    63375 |    49032 |    42454      0 |     5727 |     6621
96.27/96.35	c 95.7s |      13 |    64840 |    50132 |    42454      0 |     5727 |     6621
98.27/98.36	c 97.7s |      13 |    65896 |    50932 |    42454      1 |     5727 |     6621
100.27/100.40	c 99.7s |      13 |    67017 |    51832 |    42454      1 |     5727 |     6621
102.38/102.46	c  101s |      13 |    68335 |    52832 |    42454      1 |     5727 |     6621
104.58/104.62	c  103s |      13 |    69807 |    53932 |    42454      1 |     5727 |     6621
106.57/106.69	c  106s |      13 |    70904 |    54832 |    42454      1 |     5727 |     6621
108.77/108.89	c  108s |      13 |    72195 |    55832 |    42454      1 |     5727 |     6621
110.77/110.89	c  110s |      13 |    73334 |    56732 |    42454      1 |     5727 |     6621
113.07/113.12	c  112s |      13 |    74594 |    57732 |    42454      1 |     5727 |     6621
114.57/114.66	c  113s |      14 |    75326 |    58352 |    46700      1 |     5727 |     6621
116.58/116.70	c  116s |      14 |    76395 |    59152 |    46700      1 |     5727 |     6621
118.67/118.78	c  118s |      14 |    77623 |    60152 |    46700      1 |     5727 |     6621
120.87/120.90	c  120s |      14 |    78691 |    61052 |    46700      1 |     5727 |     6621
122.87/122.97	c  122s |      14 |    79709 |    61852 |    46700      1 |     5727 |     6621
124.97/125.07	c  124s |      14 |    80736 |    62652 |    46700      1 |     5727 |     6621
127.27/127.30	c  126s |      14 |    81959 |    63552 |    46700      1 |     5727 |     6621
129.37/129.49	c  128s |      14 |    83096 |    64452 |    46700      1 |     5727 |     6621
131.57/131.64	c  130s |      14 |    84231 |    65352 |    46700      1 |     5727 |     6621
133.77/133.86	c  133s |      14 |    85250 |    66152 |    46700      1 |     5727 |     6621
136.07/136.10	c  135s |      14 |    86377 |    67052 |    46700      1 |     5727 |     6621
138.07/138.10	c  137s |      14 |    87367 |    67852 |    46700      1 |     5727 |     6621
140.16/140.28	c  139s |      14 |    88456 |    68752 |    46700      1 |     5727 |     6621
142.16/142.28	c  141s |      14 |    89402 |    69552 |    46700      1 |     5727 |     6621
144.36/144.48	c  143s |      14 |    90337 |    70352 |    46700      1 |     5727 |     6621
146.56/146.69	c  146s |      14 |    91300 |    71152 |    46700      1 |     5727 |     6621
148.86/148.92	c  148s |      14 |    92262 |    71952 |    46700      1 |     5727 |     6621
150.86/150.99	c  150s |      14 |    93198 |    72752 |    46700      1 |     5727 |     6621
153.06/153.11	c  152s |      14 |    94064 |    73452 |    46700      1 |     5727 |     6621
155.17/155.28	c  154s |      14 |    94962 |    74152 |    46700      1 |     5727 |     6621
157.27/157.34	c  156s |      14 |    95761 |    74852 |    46700      1 |     5727 |     6621
159.56/159.61	c  158s |      14 |    96774 |    75652 |    46700      1 |     5727 |     6621
161.56/161.65	c  160s |      14 |    97647 |    76352 |    46700      1 |     5727 |     6621
163.86/163.95	c  163s |      14 |    98478 |    77052 |    46700      1 |     5727 |     6621
166.06/166.17	c  165s |      14 |    99298 |    77752 |    46700      1 |     5727 |     6621
168.15/168.26	c  167s |      14 |   100170 |    78452 |    46700      1 |     5727 |     6621
170.25/170.36	c  169s |      14 |   100994 |    79152 |    46700      1 |     5727 |     6621
172.35/172.44	c  171s |      14 |   101814 |    79852 |    46700      1 |     5727 |     6621
174.75/174.90	c  174s |      14 |   102661 |    80552 |    46700      2 |     5727 |     6621
176.96/177.02	c  176s |      14 |   103668 |    81352 |    46700      2 |     5727 |     6621
179.15/179.27	c  178s |      14 |   104631 |    82152 |    46700      2 |     5727 |     6621
181.56/181.63	c  180s |      14 |   105601 |    82952 |    46700      2 |     5727 |     6621
183.55/183.65	c  182s |      14 |   106416 |    83652 |    46700      2 |     5727 |     6621
185.55/185.68	c  185s |      14 |   107304 |    84352 |    46700      2 |     5727 |     6621
187.85/187.90	c  187s |      14 |   108262 |    85152 |    46700      2 |     5727 |     6621
190.05/190.19	c  189s |      14 |   109378 |    86052 |    46700      2 |     5727 |     6621
192.35/192.40	c  191s |      14 |   110354 |    86852 |    46700      2 |     5727 |     6621
194.15/194.25	c  193s |      15 |   111280 |    87632 |    51371      2 |     5727 |     6621
196.25/196.37	c  195s |      15 |   112311 |    88332 |    51371      2 |     5727 |     6621
198.35/198.47	c  197s |      15 |   113372 |    89132 |    51371      2 |     5727 |     6621
200.35/200.48	c  199s |      15 |   114467 |    89932 |    51371      2 |     5727 |     6621
202.55/202.63	c  201s |      15 |   115470 |    90732 |    51371      2 |     5727 |     6621
204.84/204.93	c  204s |      15 |   116575 |    91632 |    51371      2 |     5727 |     6621
206.85/206.97	c  206s |      15 |   117329 |    92232 |    51371      2 |     5727 |     6621
209.14/209.22	c  208s |      15 |   118332 |    93032 |    51371      2 |     5727 |     6621
211.25/211.32	c  210s |      15 |   119249 |    93732 |    51371      2 |     5727 |     6621
213.34/213.44	c  212s |      15 |   120118 |    94432 |    51371      2 |     5727 |     6621
215.44/215.56	c  214s |      15 |   121113 |    95232 |    51371      2 |     5727 |     6621
217.54/217.69	c  217s |      15 |   122333 |    96132 |    51371      2 |     5727 |     6621
219.64/219.71	c  219s |      15 |   123400 |    96932 |    51371      2 |     5727 |     6621
221.84/221.96	c  221s |      15 |   124265 |    97632 |    51371      2 |     5727 |     6621
224.13/224.23	c  223s |      15 |   125086 |    98332 |    51371      2 |     5727 |     6621
226.33/226.47	c  225s |      15 |   126027 |    99132 |    51371      2 |     5727 |     6621
228.53/228.62	c  227s |      15 |   126894 |    99832 |    51371      2 |     5727 |     6621
230.53/230.62	c  229s |      15 |   127638 |   100432 |    51371      2 |     5727 |     6621
232.53/232.63	c  231s |      15 |   128375 |   101032 |    51371      2 |     5727 |     6621
234.63/234.77	c  234s |      15 |   129142 |   101632 |    51371      2 |     5727 |     6621
236.63/236.78	c  236s |      15 |   129906 |   102232 |    51371      2 |     5727 |     6621
238.73/238.85	c  238s |      15 |   130769 |   102932 |    51371      2 |     5727 |     6621
240.93/241.01	c  240s |      15 |   131626 |   103632 |    51371      2 |     5727 |     6621
243.03/243.18	c  242s |      15 |   132346 |   104232 |    51371      2 |     5727 |     6621
245.42/245.57	c  244s |      15 |   133237 |   104932 |    51371      2 |     5727 |     6621
247.62/247.79	c  247s |      15 |   134095 |   105632 |    51371      2 |     5727 |     6621
250.02/250.13	c  249s |      15 |   134952 |   106332 |    51371      2 |     5727 |     6621
252.02/252.18	c  251s |      15 |   135690 |   106932 |    51371      2 |     5727 |     6621
254.42/254.50	c  253s |      15 |   136746 |   107732 |    51371      2 |     5727 |     6621
256.62/256.71	c  256s |      15 |   137823 |   108532 |    51371      2 |     5727 |     6621
258.72/258.87	c  258s |      15 |   138827 |   109332 |    51371      2 |     5727 |     6621
261.02/261.19	c  260s |      15 |   139825 |   110132 |    51371      2 |     5727 |     6621
263.12/263.22	c  262s |      15 |   140601 |   110732 |    51371      2 |     5727 |     6621
265.41/265.59	c  264s |      15 |   141360 |   111332 |    51371      2 |     5727 |     6621
267.61/267.75	c  267s |      15 |   142123 |   111932 |    51371      2 |     5727 |     6621
269.91/270.04	c  269s |      15 |   142614 |   112332 |    51371      3 |     5727 |     6621
272.01/272.16	c  271s |      15 |   143512 |   113032 |    51371      3 |     5727 |     6621
274.11/274.25	c  273s |      15 |   144354 |   113732 |    51371      3 |     5727 |     6621
276.12/276.25	c  275s |      15 |   145188 |   114432 |    51371      3 |     5727 |     6621
278.22/278.39	c  277s |      15 |   146265 |   115332 |    51371      3 |     5727 |     6621
280.31/280.44	c  279s |      15 |   147421 |   116232 |    51371      3 |     5727 |     6621
282.51/282.61	c  281s |      15 |   148402 |   117032 |    51371      3 |     5727 |     6621
284.51/284.63	c  283s |      15 |   149208 |   117732 |    51371      3 |     5727 |     6621
286.81/286.97	c  286s |      15 |   150201 |   118532 |    51371      3 |     5727 |     6621
289.11/289.28	c  288s |      15 |   151092 |   119232 |    51371      3 |     5727 |     6621
291.20/291.32	c  290s |      15 |   151948 |   119932 |    51371      3 |     5727 |     6621
293.40/293.50	c  292s |      15 |   152771 |   120632 |    51371      3 |     5727 |     6621
295.50/295.68	c  295s |      15 |   153624 |   121332 |    51371      3 |     5727 |     6621
297.80/297.91	c  297s |      15 |   154474 |   122032 |    51371      3 |     5727 |     6621
299.80/299.95	c  299s |      15 |   155209 |   122632 |    51371      3 |     5727 |     6621
302.00/302.12	c  301s |      15 |   156345 |   123532 |    51371      3 |     5727 |     6621
304.20/304.33	c  303s |      15 |   157362 |   124332 |    51371      3 |     5727 |     6621
306.40/306.58	c  305s |      15 |   158599 |   125332 |    51371      3 |     5727 |     6621
308.50/308.69	c  308s |      15 |   159599 |   126132 |    51371      3 |     5727 |     6621
310.60/310.72	c  310s |      15 |   160460 |   126832 |    51371      3 |     5727 |     6621
312.60/312.77	c  312s |      15 |   161242 |   127432 |    51371      3 |     5727 |     6621
314.80/314.95	c  314s |      15 |   161998 |   128032 |    51371      3 |     5727 |     6621
316.80/316.96	c  316s |      15 |   162727 |   128632 |    51371      3 |     5727 |     6621
318.90/319.01	c  318s |      15 |   163467 |   129232 |    51371      3 |     5727 |     6621
320.99/321.16	c  320s |      15 |   164226 |   129832 |    51371      3 |     5727 |     6621
323.30/323.47	c  322s |      15 |   165106 |   130532 |    51371      3 |     5727 |     6621
325.60/325.78	c  325s |      15 |   166082 |   131332 |    56509      3 |     5727 |     6621
326.29/326.47	c  325s |      16 |   166347 |   131552 |    56509      3 |     5727 |     6621
328.39/328.51	c  327s |      16 |   167135 |   132152 |    56509      3 |     5727 |     6621
330.39/330.57	c  329s |      16 |   167973 |   132852 |    56509      3 |     5727 |     6621
332.59/332.79	c  332s |      16 |   168800 |   133552 |    56509      3 |     5727 |     6621
334.69/334.86	c  334s |      16 |   169915 |   134352 |    56509      3 |     5727 |     6621
336.79/336.95	c  336s |      16 |   170844 |   135052 |    56509      3 |     5727 |     6621
338.99/339.15	c  338s |      16 |   171707 |   135752 |    56509      3 |     5727 |     6621
341.09/341.26	c  340s |      16 |   172443 |   136352 |    56509      3 |     5727 |     6621
343.49/343.61	c  342s |      16 |   173274 |   137052 |    56509      3 |     5727 |     6621
345.79/345.98	c  345s |      16 |   174103 |   137752 |    56509      3 |     5727 |     6621
348.09/348.25	c  347s |      16 |   174772 |   138352 |    56509      3 |     5727 |     6621
350.40/350.51	c  349s |      16 |   175502 |   138952 |    56509      3 |     5727 |     6621
352.40/352.58	c  351s |      16 |   176274 |   139552 |    56509      3 |     5727 |     6621
354.60/354.74	c  354s |      16 |   177012 |   140152 |    56509      3 |     5727 |     6621
356.90/357.06	c  356s |      16 |   177863 |   140852 |    56509      3 |     5727 |     6621
359.20/359.34	c  358s |      16 |   178637 |   141452 |    56509      3 |     5727 |     6621
361.40/361.50	c  360s |      16 |   179562 |   142152 |    56509      3 |     5727 |     6621
363.50/363.67	c  362s |      16 |   180513 |   142852 |    56509      3 |     5727 |     6621
365.60/365.73	c  365s |      16 |   181272 |   143452 |    56509      3 |     5727 |     6621
367.70/367.89	c  367s |      16 |   182101 |   144052 |    56509      3 |     5727 |     6621
369.99/370.13	c  369s |      16 |   182981 |   144752 |    56509      3 |     5727 |     6621
372.29/372.45	c  371s |      16 |   183722 |   145352 |    56509      3 |     5727 |     6621
374.59/374.72	c  374s |      16 |   184461 |   145952 |    56509      3 |     5727 |     6621
376.59/376.76	c  376s |      16 |   185058 |   146452 |    56509      3 |     5727 |     6621
378.89/379.04	c  378s |      16 |   185812 |   147052 |    56509      3 |     5727 |     6621
380.89/381.09	c  380s |      16 |   186289 |   147452 |    56509      4 |     5727 |     6621
383.19/383.35	c  382s |      16 |   187114 |   148152 |    56509      4 |     5727 |     6621
385.19/385.38	c  384s |      16 |   187833 |   148752 |    56509      4 |     5727 |     6621
387.49/387.63	c  386s |      16 |   188786 |   149552 |    56509      4 |     5727 |     6621
389.59/389.77	c  389s |      16 |   189620 |   150252 |    56509      4 |     5727 |     6621
391.98/392.10	c  391s |      16 |   190764 |   151152 |    56509      4 |     5727 |     6621
394.08/394.28	c  393s |      16 |   191615 |   151852 |    56509      4 |     5727 |     6621
396.18/396.30	c  395s |      16 |   192287 |   152452 |    56509      4 |     5727 |     6621
398.19/398.39	c  397s |      16 |   193220 |   153152 |    56509      4 |     5727 |     6621
400.29/400.45	c  399s |      16 |   193934 |   153752 |    56509      4 |     5727 |     6621
402.59/402.79	c  402s |      16 |   194798 |   154452 |    56509      4 |     5727 |     6621
404.78/404.90	c  404s |      16 |   195497 |   155052 |    56509      4 |     5727 |     6621
406.78/406.96	c  406s |      16 |   196474 |   155752 |    56509      4 |     5727 |     6621
408.88/409.00	c  408s |      16 |   197504 |   156552 |    56509      4 |     5727 |     6621
410.88/411.08	c  410s |      16 |   198604 |   157352 |    56509      4 |     5727 |     6621
413.17/413.34	c  412s |      16 |   199648 |   158152 |    56509      4 |     5727 |     6621
415.47/415.69	c  415s |      16 |   200695 |   158952 |    56509      4 |     5727 |     6621
417.57/417.76	c  417s |      16 |   201546 |   159652 |    56509      4 |     5727 |     6621
419.67/419.89	c  419s |      16 |   202531 |   160452 |    56509      4 |     5727 |     6621
421.97/422.10	c  421s |      16 |   203559 |   161252 |    56509      4 |     5727 |     6621
424.17/424.37	c  423s |      16 |   204540 |   162052 |    56509      4 |     5727 |     6621
426.47/426.61	c  425s |      16 |   205526 |   162852 |    56509      4 |     5727 |     6621
428.47/428.62	c  427s |      16 |   206377 |   163552 |    56509      4 |     5727 |     6621
430.57/430.80	c  430s |      16 |   207371 |   164352 |    56509      4 |     5727 |     6621
432.97/433.11	c  432s |      16 |   208423 |   165152 |    56509      4 |     5727 |     6621
435.17/435.30	c  434s |      16 |   209137 |   165752 |    56509      4 |     5727 |     6621
437.27/437.41	c  436s |      16 |   209861 |   166352 |    56509      4 |     5727 |     6621
439.47/439.69	c  439s |      16 |   210680 |   167052 |    56509      4 |     5727 |     6621
441.77/441.92	c  441s |      16 |   211501 |   167752 |    56509      4 |     5727 |     6621
444.06/444.28	c  443s |      16 |   212294 |   168452 |    56509      4 |     5727 |     6621
446.26/446.49	c  445s |      16 |   212963 |   169052 |    56509      4 |     5727 |     6621
448.46/448.64	c  447s |      16 |   213666 |   169652 |    56509      4 |     5727 |     6621
450.87/451.01	c  450s |      16 |   214511 |   170352 |    56509      4 |     5727 |     6621
452.96/453.12	c  452s |      16 |   215190 |   170952 |    56509      4 |     5727 |     6621
454.96/455.16	c  454s |      16 |   215977 |   171552 |    56509      4 |     5727 |     6621
457.06/457.29	c  456s |      16 |   216710 |   172152 |    56509      4 |     5727 |     6621
459.16/459.35	c  458s |      16 |   217407 |   172752 |    56509      4 |     5727 |     6621
461.46/461.65	c  460s |      16 |   218093 |   173352 |    56509      4 |     5727 |     6621
463.65/463.81	c  463s |      16 |   218833 |   173952 |    56509      4 |     5727 |     6621
465.65/465.87	c  465s |      16 |   219637 |   174552 |    56509      4 |     5727 |     6621
467.85/468.00	c  467s |      16 |   220363 |   175152 |    56509      4 |     5727 |     6621
470.05/470.27	c  469s |      16 |   221251 |   175852 |    56509      4 |     5727 |     6621
472.35/472.59	c  471s |      16 |   222030 |   176452 |    56509      4 |     5727 |     6621
474.75/474.99	c  474s |      16 |   222783 |   177052 |    56509      4 |     5727 |     6621
476.95/477.20	c  476s |      16 |   223373 |   177552 |    56509      4 |     5727 |     6621
479.25/479.49	c  478s |      16 |   224161 |   178152 |    56509      4 |     5727 |     6621
481.45/481.69	c  481s |      16 |   224891 |   178752 |    56509      4 |     5727 |     6621
483.85/484.02	c  483s |      16 |   225628 |   179352 |    56509      4 |     5727 |     6621
486.05/486.22	c  485s |      16 |   226392 |   179952 |    56509      5 |     5727 |     6621
488.14/488.34	c  487s |      16 |   227206 |   180652 |    56509      5 |     5727 |     6621
490.34/490.53	c  489s |      16 |   227909 |   181252 |    56509      5 |     5727 |     6621
492.44/492.67	c  491s |      16 |   228606 |   181852 |    56509      5 |     5727 |     6621
494.64/494.81	c  494s |      16 |   229341 |   182452 |    56509      5 |     5727 |     6621
496.64/496.87	c  496s |      16 |   230097 |   183052 |    56509      5 |     5727 |     6621
498.74/498.98	c  498s |      16 |   230916 |   183752 |    56509      5 |     5727 |     6621
501.04/501.29	c  500s |      16 |   231803 |   184452 |    56509      5 |     5727 |     6621
503.23/503.45	c  502s |      16 |   232645 |   185152 |    56509      5 |     5727 |     6621
505.43/505.68	c  505s |      16 |   233844 |   186052 |    56509      5 |     5727 |     6621
507.63/507.83	c  507s |      16 |   234833 |   186852 |    56509      5 |     5727 |     6621
509.63/509.84	c  509s |      16 |   235666 |   187552 |    56509      5 |     5727 |     6621
511.63/511.87	c  511s |      16 |   236366 |   188152 |    56509      5 |     5727 |     6621
513.73/513.95	c  513s |      16 |   237108 |   188752 |    56509      5 |     5727 |     6621
515.93/516.10	c  515s |      16 |   237863 |   189352 |    56509      5 |     5727 |     6621
518.03/518.27	c  517s |      16 |   238727 |   190052 |    56509      5 |     5727 |     6621
520.23/520.45	c  519s |      16 |   239599 |   190752 |    56509      5 |     5727 |     6621
522.52/522.70	c  522s |      16 |   240480 |   191452 |    56509      5 |     5727 |     6621
524.92/525.14	c  524s |      16 |   241170 |   192052 |    56509      5 |     5727 |     6621
527.12/527.34	c  526s |      16 |   241946 |   192652 |    56509      5 |     5727 |     6621
529.22/529.43	c  528s |      16 |   242817 |   193252 |    56509      5 |     5727 |     6621
531.23/531.48	c  530s |      16 |   243856 |   194052 |    56509      5 |     5727 |     6621
533.52/533.70	c  533s |      16 |   244929 |   194952 |    56509      5 |     5727 |     6621
535.63/535.88	c  535s |      16 |   245888 |   195752 |    56509      5 |     5727 |     6621
537.83/538.08	c  537s |      16 |   247039 |   196652 |    62160      5 |     5727 |     6621
539.82/540.09	c  539s |      16 |   247909 |   197352 |    62160      5 |     5727 |     6621
540.12/540.40	c  539s |      17 |   248005 |   197432 |    62160      5 |     5727 |     6621
542.42/542.66	c  541s |      17 |   248413 |   197732 |    62160      5 |     5727 |     6621
544.52/544.71	c  544s |      17 |   249147 |   198332 |    62160      5 |     5727 |     6621
546.72/546.92	c  546s |      17 |   250049 |   199032 |    62160      5 |     5727 |     6621
548.82/549.05	c  548s |      17 |   250984 |   199732 |    62160      5 |     5727 |     6621
551.02/551.29	c  550s |      17 |   251911 |   200432 |    62160      5 |     5727 |     6621
553.12/553.32	c  552s |      17 |   252678 |   201032 |    62160      5 |     5727 |     6621
555.11/555.36	c  554s |      17 |   253241 |   201532 |    62160      5 |     5727 |     6621
557.21/557.42	c  556s |      17 |   253975 |   202132 |    62160      5 |     5727 |     6621
559.61/559.81	c  559s |      17 |   254701 |   202732 |    62160      5 |     5727 |     6621
561.61/561.84	c  561s |      17 |   255331 |   203232 |    62160      5 |     5727 |     6621
564.01/564.25	c  563s |      17 |   256073 |   203832 |    62160      5 |     5727 |     6621
566.42/566.68	c  566s |      17 |   256774 |   204432 |    62160      5 |     5727 |     6621
568.41/568.68	c  568s |      17 |   257386 |   204932 |    62160      5 |     5727 |     6621
570.61/570.87	c  570s |      17 |   258150 |   205532 |    62160      5 |     5727 |     6621
572.71/572.99	c  572s |      17 |   258873 |   206132 |    62160      5 |     5727 |     6621
575.12/575.37	c  574s |      17 |   259773 |   206832 |    62160      5 |     5727 |     6621
577.11/577.38	c  576s |      17 |   260621 |   207432 |    62160      5 |     5727 |     6621
579.21/579.48	c  578s |      17 |   261447 |   208032 |    62160      5 |     5727 |     6621
581.31/581.50	c  580s |      17 |   262077 |   208532 |    62160      5 |     5727 |     6621
583.41/583.66	c  582s |      17 |   262676 |   209032 |    62160      5 |     5727 |     6621
585.51/585.77	c  585s |      17 |   263279 |   209532 |    62160      5 |     5727 |     6621
587.91/588.14	c  587s |      17 |   264028 |   210132 |    62160      5 |     5727 |     6621
590.01/590.29	c  589s |      17 |   264612 |   210632 |    62160      5 |     5727 |     6621
592.31/592.50	c  591s |      17 |   265350 |   211232 |    62160      5 |     5727 |     6621
594.50/594.70	c  594s |      17 |   265940 |   211732 |    62160      5 |     5727 |     6621
596.60/596.87	c  596s |      17 |   266551 |   212232 |    62160      5 |     5727 |     6621
598.80/599.06	c  598s |      17 |   267270 |   212832 |    62160      5 |     5727 |     6621
601.00/601.20	c  600s |      17 |   267846 |   213332 |    62160      5 |     5727 |     6621
603.09/603.34	c  602s |      17 |   268629 |   213932 |    62160      5 |     5727 |     6621
605.19/605.48	c  604s |      17 |   269513 |   214632 |    62160      5 |     5727 |     6621
607.59/607.84	c  607s |      17 |   270255 |   215232 |    62160      5 |     5727 |     6621
609.59/609.86	c  609s |      17 |   271022 |   215832 |    62160      5 |     5727 |     6621
611.69/611.90	c  611s |      17 |   271621 |   216332 |    62160      5 |     5727 |     6621
613.69/613.91	c  613s |      17 |   272220 |   216832 |    62160      5 |     5727 |     6621
616.19/616.45	c  615s |      17 |   272713 |   217232 |    62160      6 |     5727 |     6621
618.18/618.49	c  617s |      17 |   273411 |   217832 |    62160      6 |     5727 |     6621
620.29/620.51	c  619s |      17 |   274470 |   218632 |    62160      6 |     5727 |     6621
622.28/622.60	c  621s |      17 |   275523 |   219532 |    62160      6 |     5727 |     6621
624.38/624.67	c  623s |      17 |   276537 |   220332 |    62160      6 |     5727 |     6621
626.48/626.74	c  626s |      17 |   277535 |   221132 |    62160      6 |     5727 |     6621
628.58/628.80	c  628s |      17 |   278414 |   221832 |    62160      6 |     5727 |     6621
630.88/631.11	c  630s |      17 |   279254 |   222532 |    62160      6 |     5727 |     6621
633.18/633.43	c  632s |      17 |   280066 |   223232 |    62160      6 |     5727 |     6621
635.28/635.56	c  634s |      17 |   280977 |   223932 |    62160      6 |     5727 |     6621
637.68/637.95	c  637s |      17 |   281822 |   224632 |    62160      6 |     5727 |     6621
639.98/640.22	c  639s |      17 |   282657 |   225332 |    62160      6 |     5727 |     6621
642.08/642.32	c  641s |      17 |   283520 |   226032 |    62160      6 |     5727 |     6621
644.18/644.49	c  643s |      17 |   284357 |   226732 |    62160      6 |     5727 |     6621
646.58/646.83	c  646s |      17 |   285185 |   227432 |    62160      6 |     5727 |     6621
648.78/649.00	c  648s |      17 |   286072 |   228132 |    62160      6 |     5727 |     6621
650.98/651.23	c  650s |      17 |   286911 |   228832 |    62160      6 |     5727 |     6621
653.28/653.58	c  652s |      17 |   287617 |   229432 |    62160      6 |     5727 |     6621
655.67/655.92	c  655s |      17 |   288348 |   230032 |    62160      6 |     5727 |     6621
657.77/658.01	c  657s |      17 |   289086 |   230632 |    62160      6 |     5727 |     6621
659.88/660.17	c  659s |      17 |   289782 |   231232 |    62160      6 |     5727 |     6621
662.17/662.46	c  661s |      17 |   290593 |   231932 |    62160      6 |     5727 |     6621
664.37/664.62	c  663s |      17 |   291312 |   232532 |    62160      6 |     5727 |     6621
666.57/666.84	c  666s |      17 |   292007 |   233132 |    62160      6 |     5727 |     6621
668.58/668.86	c  668s |      17 |   292634 |   233632 |    62160      6 |     5727 |     6621
670.89/671.13	c  670s |      17 |   293238 |   234132 |    62160      6 |     5731 |     6633
672.87/673.19	c  672s |      17 |   294121 |   234832 |    62160      6 |     5731 |     6633
675.07/675.34	c  674s |      17 |   295416 |   235732 |    62160      6 |     5731 |     6633
677.17/677.40	c  676s |      17 |   296394 |   236532 |    62160      6 |     5731 |     6633
679.37/679.61	c  678s |      17 |   297505 |   237432 |    62160      6 |     5731 |     6633
681.47/681.72	c  681s |      17 |   298407 |   238132 |    62160      6 |     5731 |     6633
683.57/683.86	c  683s |      17 |   299128 |   238732 |    62160      6 |     5731 |     6633
685.67/685.93	c  685s |      17 |   299852 |   239332 |    62160      6 |     5731 |     6633
687.97/688.23	c  687s |      17 |   300750 |   240032 |    62160      6 |     5731 |     6633
690.27/690.50	c  689s |      17 |   301520 |   240632 |    62160      6 |     5731 |     6633
692.47/692.78	c  692s |      17 |   302258 |   241232 |    62160      6 |     5731 |     6633
694.76/695.05	c  694s |      17 |   303520 |   242132 |    62160      6 |     5731 |     6633
696.86/697.14	c  696s |      17 |   304352 |   242732 |    62160      6 |     5731 |     6633
699.26/699.53	c  698s |      17 |   305282 |   243432 |    62160      6 |     5731 |     6633
701.46/701.75	c  701s |      17 |   306040 |   244032 |    62160      6 |     5731 |     6633
703.56/703.84	c  703s |      17 |   306852 |   244632 |    62160      6 |     5731 |     6633
705.76/706.09	c  705s |      17 |   307766 |   245332 |    62160      6 |     5731 |     6633
708.06/708.34	c  707s |      17 |   308647 |   246032 |    62160      6 |     5731 |     6633
710.26/710.57	c  709s |      17 |   309692 |   246832 |    62160      6 |     5731 |     6633
712.46/712.74	c  712s |      17 |   310688 |   247632 |    62160      6 |     5731 |     6633
714.65/714.92	c  714s |      17 |   311703 |   248432 |    62160      6 |     5731 |     6633
716.65/716.98	c  716s |      17 |   312571 |   249132 |    62160      6 |     5731 |     6633
718.85/719.16	c  718s |      17 |   313414 |   249832 |    62160      6 |     5731 |     6633
720.95/721.24	c  720s |      17 |   314324 |   250532 |    62160      6 |     5731 |     6633
723.15/723.49	c  722s |      17 |   315232 |   251232 |    62160      6 |     5731 |     6633
725.15/725.49	c  724s |      17 |   316018 |   251832 |    62160      6 |     5731 |     6633
727.45/727.72	c  727s |      17 |   317063 |   252632 |    62160      6 |     5731 |     6633
729.45/729.77	c  729s |      17 |   317991 |   253332 |    62160      7 |     5731 |     6633
731.75/732.04	c  731s |      17 |   318999 |   254132 |    62160      7 |     5731 |     6633
733.75/734.09	c  733s |      17 |   319870 |   254832 |    62160      7 |     5731 |     6633
736.14/736.42	c  735s |      17 |   320941 |   255632 |    62160      7 |     5731 |     6633
738.14/738.44	c  737s |      17 |   321790 |   256232 |    62160      7 |     5731 |     6633
740.24/740.57	c  739s |      17 |   322836 |   257032 |    62160      7 |     5731 |     6633
742.35/742.66	c  741s |      17 |   324142 |   257932 |    62160      7 |     5731 |     6633
744.45/744.80	c  744s |      17 |   325461 |   258932 |    62160      7 |     5731 |     6633
746.54/746.84	c  746s |      17 |   326753 |   259932 |    62160      7 |     5731 |     6633
748.54/748.89	c  748s |      17 |   327753 |   260732 |    62160      7 |     5731 |     6633
750.64/750.97	c  750s |      17 |   328908 |   261632 |    62160      7 |     5731 |     6633
752.83/753.11	c  752s |      17 |   330028 |   262532 |    62160      7 |     5731 |     6633
755.03/755.31	c  754s |      17 |   331192 |   263432 |    62160      7 |     5731 |     6633
757.03/757.32	c  756s |      17 |   332236 |   264232 |    62160      7 |     5731 |     6633
759.13/759.49	c  758s |      17 |   333335 |   265132 |    62160      7 |     5731 |     6633
761.43/761.72	c  761s |      17 |   334507 |   266032 |    62160      7 |     5731 |     6633
763.53/763.87	c  763s |      17 |   335536 |   266832 |    62160      7 |     5731 |     6633
765.73/766.05	c  765s |      17 |   336530 |   267632 |    62160      7 |     5731 |     6633
767.83/768.11	c  767s |      17 |   337574 |   268432 |    62160      7 |     5731 |     6633
769.93/770.23	c  769s |      17 |   338567 |   269232 |    62160      7 |     5731 |     6633
772.23/772.58	c  771s |      17 |   339656 |   270032 |    62160      7 |     5731 |     6633
774.33/774.69	c  774s |      17 |   340528 |   270732 |    62160      7 |     5731 |     6633
776.62/776.91	c  776s |      17 |   341442 |   271532 |    62160      7 |     5731 |     6633
778.82/779.13	c  778s |      17 |   342353 |   272332 |    62160      7 |     5731 |     6633
781.02/781.30	c  780s |      17 |   343245 |   273032 |    62160      7 |     5731 |     6633
783.12/783.43	c  782s |      17 |   344149 |   273732 |    62160      7 |     5731 |     6633
785.23/785.52	c  784s |      17 |   344852 |   274332 |    62160      7 |     5731 |     6633
787.43/787.78	c  787s |      17 |   345731 |   275032 |    62160      7 |     5731 |     6633
789.72/790.05	c  789s |      17 |   346735 |   275832 |    62160      7 |     5731 |     6633
791.73/792.08	c  791s |      17 |   347466 |   276432 |    62160      7 |     5731 |     6633
793.82/794.16	c  793s |      17 |   348271 |   277132 |    62160      7 |     5731 |     6633
795.92/796.29	c  795s |      17 |   349153 |   277832 |    62160      7 |     5731 |     6633
798.22/798.58	c  797s |      17 |   350010 |   278532 |    62160      7 |     5731 |     6633
800.32/800.64	c  799s |      17 |   350814 |   279132 |    62160      7 |     5731 |     6633
802.62/802.98	c  802s |      17 |   351646 |   279832 |    62160      7 |     5731 |     6633
804.82/805.16	c  804s |      17 |   352380 |   280432 |    62160      7 |     5731 |     6633
807.02/807.35	c  806s |      17 |   353099 |   281032 |    62160      7 |     5731 |     6633
809.22/809.52	c  808s |      17 |   353868 |   281632 |    62160      7 |     5731 |     6633
811.41/811.72	c  811s |      17 |   354732 |   282332 |    62160      7 |     5731 |     6633
813.61/813.95	c  813s |      17 |   355463 |   282932 |    62160      7 |     5731 |     6633
815.71/816.07	c  815s |      17 |   356204 |   283532 |    62160      7 |     5731 |     6633
817.91/818.24	c  817s |      17 |   357154 |   284232 |    62160      7 |     5731 |     6633
820.01/820.30	c  819s |      17 |   357879 |   284832 |    62160      7 |     5731 |     6633
822.01/822.38	c  821s |      17 |   358644 |   285432 |    62160      7 |     5731 |     6633
824.31/824.66	c  823s |      17 |   359470 |   286132 |    62160      7 |     5731 |     6633
826.41/826.78	c  826s |      17 |   360227 |   286732 |    62160      7 |     5731 |     6633
828.71/829.03	c  828s |      17 |   360956 |   287332 |    62160      7 |     5731 |     6633
830.81/831.17	c  830s |      17 |   361843 |   288032 |    62160      8 |     5731 |     6633
833.00/833.34	c  832s |      17 |   362923 |   288832 |    62160      8 |     5731 |     6633
835.10/835.43	c  834s |      17 |   363836 |   289532 |    62160      8 |     5731 |     6633
837.30/837.64	c  836s |      17 |   364896 |   290332 |    62160      8 |     5731 |     6633
839.30/839.69	c  839s |      17 |   365855 |   291132 |    62160      8 |     5731 |     6633
841.50/841.86	c  841s |      17 |   366846 |   291932 |    62160      8 |     5731 |     6633
843.51/843.87	c  843s |      17 |   367696 |   292632 |    62160      8 |     5731 |     6633
845.50/845.88	c  845s |      17 |   368698 |   293432 |    62160      8 |     5731 |     6633
847.60/847.97	c  847s |      17 |   369528 |   294132 |    62160      8 |     5731 |     6633
849.70/850.00	c  849s |      17 |   370342 |   294832 |    68376      8 |     5731 |     6633
851.90/852.24	c  851s |      17 |   371282 |   295632 |    68376      8 |     5731 |     6633
853.70/854.09	c  853s |      18 |   372064 |   296252 |    68376      8 |     5731 |     6633
856.00/856.32	c  855s |      18 |   372959 |   296952 |    68376      8 |     5731 |     6633
858.10/858.43	c  857s |      18 |   373898 |   297652 |    68376      8 |     5731 |     6633
860.20/860.58	c  859s |      18 |   374710 |   298352 |    68376      8 |     5731 |     6633
862.20/862.59	c  861s |      18 |   375588 |   299052 |    68376      8 |     5731 |     6633
864.40/864.79	c  864s |      18 |   376602 |   299852 |    68376      8 |     5731 |     6633
866.50/866.85	c  866s |      18 |   377455 |   300552 |    68376      8 |     5731 |     6633
868.60/868.95	c  868s |      18 |   378464 |   301352 |    68376      8 |     5731 |     6633
870.80/871.13	c  870s |      18 |   379424 |   302152 |    68376      8 |     5731 |     6633
872.90/873.26	c  872s |      18 |   380220 |   302852 |    68376      8 |     5731 |     6633
875.00/875.34	c  874s |      18 |   381043 |   303552 |    68376      8 |     5731 |     6633
877.20/877.52	c  876s |      18 |   381771 |   304152 |    68376      8 |     5731 |     6633
879.39/879.76	c  879s |      18 |   382632 |   304852 |    68376      8 |     5731 |     6633
881.69/882.01	c  881s |      18 |   383541 |   305552 |    68376      8 |     5731 |     6633
883.69/884.06	c  883s |      18 |   384399 |   306252 |    68376      8 |     5731 |     6633
885.79/886.17	c  885s |      18 |   385239 |   306952 |    68376      8 |     5731 |     6633
888.09/888.40	c  887s |      18 |   386156 |   307652 |    68376      8 |     5731 |     6633
890.29/890.61	c  889s |      18 |   387122 |   308452 |    68376      8 |     5731 |     6633
892.49/892.81	c  892s |      18 |   387949 |   309152 |    68376      8 |     5731 |     6633
894.59/895.00	c  894s |      18 |   388750 |   309852 |    68376      8 |     5731 |     6633
896.99/897.34	c  896s |      18 |   389562 |   310552 |    68376      8 |     5731 |     6633
899.09/899.42	c  898s |      18 |   390415 |   311252 |    68376      8 |     5731 |     6633
901.39/901.76	c  901s |      18 |   391214 |   311952 |    68376      8 |     5731 |     6633
903.59/903.94	c  903s |      18 |   391897 |   312552 |    68376      8 |     5731 |     6633
905.79/906.10	c  905s |      18 |   392655 |   313152 |    68376      8 |     5731 |     6633
908.09/908.43	c  907s |      18 |   393623 |   313952 |    68376      8 |     5731 |     6633
910.29/910.60	c  909s |      18 |   394414 |   314652 |    68376      8 |     5731 |     6633
912.29/912.67	c  911s |      18 |   395230 |   315352 |    68376      8 |     5731 |     6633
914.49/914.89	c  914s |      18 |   396165 |   316152 |    68376      8 |     5731 |     6633
916.89/917.21	c  916s |      18 |   396993 |   316852 |    68376      8 |     5731 |     6633
918.89/919.23	c  918s |      18 |   397734 |   317452 |    68376      8 |     5731 |     6633
921.19/921.54	c  920s |      18 |   398578 |   318152 |    68376      8 |     5731 |     6633
923.49/923.86	c  923s |      18 |   399456 |   318852 |    68376      8 |     5731 |     6633
925.79/926.10	c  925s |      18 |   400340 |   319552 |    68376      8 |     5731 |     6633
927.89/928.20	c  927s |      18 |   401094 |   320152 |    68376      8 |     5731 |     6633
929.99/930.34	c  929s |      18 |   401924 |   320852 |    68376      8 |     5731 |     6633
932.09/932.43	c  931s |      18 |   402644 |   321452 |    68376      8 |     5731 |     6633
934.19/934.55	c  933s |      18 |   403326 |   322052 |    68376      8 |     5731 |     6633
936.49/936.87	c  936s |      18 |   404151 |   322752 |    68376      8 |     5731 |     6633
938.79/939.10	c  938s |      18 |   404879 |   323352 |    68376      8 |     5731 |     6633
940.89/941.29	c  940s |      18 |   405605 |   323952 |    68376      8 |     5731 |     6633
942.89/943.29	c  942s |      18 |   406310 |   324552 |    68376      8 |     5731 |     6633
945.09/945.44	c  944s |      18 |   407004 |   325152 |    68376      8 |     5731 |     6633
947.19/947.54	c  946s |      18 |   407709 |   325752 |    68376      8 |     5731 |     6633
949.19/949.58	c  948s |      18 |   408272 |   326252 |    68376      8 |     5731 |     6633
951.49/951.84	c  951s |      18 |   408974 |   326852 |    68376      8 |     5731 |     6633
953.59/953.98	c  953s |      18 |   409718 |   327452 |    68376      8 |     5731 |     6633
955.89/956.28	c  955s |      18 |   410298 |   327952 |    68376      8 |     5731 |     6633
958.39/958.73	c  958s |      18 |   410649 |   328252 |    68376      9 |     5731 |     6633
960.59/960.92	c  960s |      18 |   411623 |   329052 |    68376      9 |     5731 |     6633
962.59/962.99	c  962s |      18 |   412461 |   329752 |    68376      9 |     5731 |     6633
964.79/965.14	c  964s |      18 |   413597 |   330652 |    68376      9 |     5731 |     6633
966.79/967.18	c  966s |      18 |   414783 |   331552 |    68376      9 |     5731 |     6633
969.09/969.41	c  968s |      18 |   415892 |   332452 |    68376      9 |     5731 |     6633
971.09/971.43	c  970s |      18 |   416871 |   333252 |    68376      9 |     5731 |     6633
973.29/973.60	c  972s |      18 |   417829 |   334052 |    68376      9 |     5731 |     6633
975.39/975.71	c  975s |      18 |   418791 |   334852 |    68376      9 |     5731 |     6633
977.39/977.80	c  977s |      18 |   419769 |   335652 |    68376      9 |     5731 |     6633
979.49/979.83	c  979s |      18 |   420689 |   336452 |    68376      9 |     5731 |     6633
981.49/981.88	c  981s |      18 |   421527 |   337152 |    68376      9 |     5731 |     6633
983.59/984.00	c  983s |      18 |   422370 |   337852 |    68376      9 |     5731 |     6633
985.89/986.23	c  985s |      18 |   423376 |   338652 |    68376      9 |     5731 |     6633
988.18/988.53	c  987s |      18 |   424451 |   339452 |    68376      9 |     5731 |     6633
990.48/990.87	c  990s |      18 |   425433 |   340252 |    68376      9 |     5731 |     6633
992.68/993.01	c  992s |      18 |   426319 |   340952 |    68376      9 |     5731 |     6633
994.88/995.27	c  994s |      18 |   427139 |   341652 |    68376      9 |     5731 |     6633
997.39/997.71	c  997s |      18 |   427819 |   342252 |    68376      9 |     5731 |     6633
999.48/999.90	c  999s |      18 |   428834 |   343052 |    68376      9 |     5731 |     6633
1001.68/1002.01	c 1001s |      18 |   429763 |   343852 |    68376      9 |     5731 |     6633
1003.68/1004.04	c 1003s |      18 |   430742 |   344652 |    68376      9 |     5731 |     6633
1005.88/1006.24	c 1005s |      18 |   431655 |   345452 |    68376      9 |     5731 |     6633
1007.98/1008.35	c 1007s |      18 |   432378 |   346052 |    68376      9 |     5731 |     6633
1010.38/1010.70	c 1010s |      18 |   433315 |   346852 |    68376      9 |     5731 |     6633
1012.58/1012.95	c 1012s |      18 |   434197 |   347552 |    68376      9 |     5731 |     6633
1014.68/1015.07	c 1014s |      18 |   435021 |   348252 |    68376      9 |     5731 |     6633
1016.88/1017.27	c 1016s |      18 |   435882 |   348952 |    68376      9 |     5731 |     6633
1019.08/1019.46	c 1018s |      18 |   436740 |   349652 |    68376      9 |     5731 |     6633
1021.38/1021.71	c 1021s |      18 |   437608 |   350352 |    68376      9 |     5731 |     6633
1023.58/1023.90	c 1023s |      18 |   438336 |   350952 |    68376      9 |     5731 |     6633
1025.58/1025.92	c 1025s |      18 |   439027 |   351552 |    68376      9 |     5731 |     6633
1027.68/1028.02	c 1027s |      18 |   439735 |   352152 |    68376      9 |     5731 |     6633
1029.68/1030.05	c 1029s |      18 |   440417 |   352752 |    68376      9 |     5731 |     6633
1032.08/1032.41	c 1031s |      18 |   441097 |   353352 |    68376      9 |     5731 |     6633
1034.18/1034.53	c 1033s |      18 |   441695 |   353852 |    68376      9 |     5731 |     6633
1036.48/1036.83	c 1036s |      18 |   442586 |   354552 |    68376      9 |     5731 |     6633
1038.58/1038.90	c 1038s |      18 |   443275 |   355152 |    68376      9 |     5731 |     6633
1040.58/1040.96	c 1040s |      18 |   444020 |   355752 |    68376      9 |     5731 |     6633
1042.78/1043.13	c 1042s |      18 |   444705 |   356352 |    68376      9 |     5731 |     6633
1044.98/1045.32	c 1044s |      18 |   445465 |   356952 |    68376      9 |     5731 |     6633
1047.28/1047.69	c 1047s |      18 |   446176 |   357552 |    68376      9 |     5731 |     6633
1049.78/1050.12	c 1049s |      18 |   447017 |   358252 |    68376      9 |     5731 |     6633
1051.98/1052.39	c 1051s |      18 |   447898 |   358952 |    68376      9 |     5731 |     6633
1054.27/1054.66	c 1053s |      18 |   448600 |   359552 |    68376      9 |     5731 |     6633
1056.57/1056.90	c 1056s |      18 |   449499 |   360252 |    68376      9 |     5731 |     6633
1058.67/1059.01	c 1058s |      18 |   450246 |   360852 |    68376      9 |     5731 |     6633
1060.67/1061.02	c 1060s |      18 |   450999 |   361452 |    68376      9 |     5731 |     6633
1062.97/1063.30	c 1062s |      18 |   451831 |   362152 |    68376      9 |     5731 |     6633
1065.27/1065.61	c 1064s |      18 |   452711 |   362852 |    68376      9 |     5731 |     6633
1067.27/1067.66	c 1066s |      18 |   453427 |   363452 |    68376      9 |     5731 |     6633
1069.57/1069.95	c 1069s |      18 |   454143 |   364052 |    68376      9 |     5731 |     6633
1071.77/1072.13	c 1071s |      18 |   454860 |   364652 |    68376      9 |     5731 |     6633
1073.97/1074.34	c 1073s |      18 |   455706 |   365252 |    68376      9 |     5731 |     6633
1075.97/1076.39	c 1075s |      18 |   456509 |   365852 |    68376      9 |     5731 |     6633
1078.37/1078.70	c 1078s |      18 |   457212 |   366452 |    68376      9 |     5731 |     6633
1080.47/1080.84	c 1080s |      18 |   457789 |   366952 |    68376     10 |     5731 |     6633
1082.67/1083.03	c 1082s |      18 |   458657 |   367652 |    68376     10 |     5731 |     6633
1084.87/1085.23	c 1084s |      18 |   459603 |   368452 |    68376     10 |     5731 |     6633
1087.07/1087.41	c 1086s |      18 |   460301 |   369052 |    68376     10 |     5731 |     6633
1089.07/1089.44	c 1088s |      18 |   461210 |   369852 |    68376     10 |     5731 |     6633
1096.87/1097.21	c 1096s |      18 |   461345 |   369952 |    68376     10 |     5731 |     6633
1099.07/1099.43	c 1098s |      18 |   462147 |   370652 |    68376     10 |     5731 |     6633
1101.07/1101.48	c 1100s |      18 |   462852 |   371252 |    68376     10 |     5731 |     6633
1103.17/1103.55	c 1102s |      18 |   463661 |   371952 |    68376     10 |     5731 |     6633
1105.28/1105.64	c 1104s |      18 |   464574 |   372752 |    68376     10 |     5731 |     6633
1107.37/1107.78	c 1107s |      18 |   465393 |   373452 |    68376     10 |     5731 |     6633
1109.67/1110.05	c 1109s |      18 |   466239 |   374152 |    68376     10 |     5731 |     6633
1111.87/1112.24	c 1111s |      18 |   467099 |   374852 |    68376     10 |     5731 |     6633
1114.07/1114.41	c 1113s |      18 |   468018 |   375652 |    68376     10 |     5731 |     6633
1116.07/1116.46	c 1115s |      18 |   468842 |   376352 |    68376     10 |     5731 |     6633
1118.27/1118.62	c 1117s |      18 |   469813 |   377152 |    68376     10 |     5731 |     6633
1120.36/1120.75	c 1120s |      18 |   470548 |   377752 |    68376     10 |     5731 |     6633
1122.36/1122.77	c 1122s |      18 |   471251 |   378352 |    68376     10 |     5731 |     6633
1124.46/1124.87	c 1124s |      18 |   471980 |   378952 |    68376     10 |     5731 |     6633
1126.56/1126.90	c 1126s |      18 |   472840 |   379652 |    68376     10 |     5731 |     6633
1128.76/1129.12	c 1128s |      18 |   473823 |   380452 |    68376     10 |     5731 |     6633
1130.76/1131.18	c 1130s |      18 |   474511 |   381052 |    68376     10 |     5731 |     6633
1133.06/1133.47	c 1132s |      18 |   475422 |   381852 |    68376     10 |     5731 |     6633
1135.16/1135.54	c 1134s |      18 |   476350 |   382652 |    68376     10 |     5731 |     6633
1137.36/1137.71	c 1137s |      18 |   477138 |   383352 |    68376     10 |     5731 |     6633
1139.56/1139.94	c 1139s |      18 |   477967 |   384052 |    68376     10 |     5731 |     6633
1141.76/1142.13	c 1141s |      18 |   478787 |   384752 |    68376     10 |     5731 |     6633
1144.06/1144.40	c 1143s |      18 |   479624 |   385452 |    68376     10 |     5731 |     6633
1146.26/1146.61	c 1145s |      18 |   480476 |   386152 |    68376     10 |     5731 |     6633
1148.46/1148.87	c 1148s |      18 |   481314 |   386852 |    68376     10 |     5731 |     6633
1150.56/1150.97	c 1150s |      18 |   482135 |   387552 |    68376     10 |     5731 |     6633
1152.76/1153.12	c 1152s |      18 |   482991 |   388252 |    68376     10 |     5731 |     6633
1154.86/1155.23	c 1154s |      18 |   483664 |   388852 |    68376     10 |     5731 |     6633
1157.06/1157.42	c 1156s |      18 |   484354 |   389452 |    68376     10 |     5731 |     6633
1159.26/1159.69	c 1159s |      18 |   485040 |   390052 |    68376     10 |     5731 |     6633
1161.36/1161.77	c 1161s |      18 |   485720 |   390652 |    68376     10 |     5731 |     6633
1163.66/1164.08	c 1163s |      18 |   486440 |   391252 |    68376     10 |     5731 |     6633
1165.96/1166.36	c 1165s |      18 |   487156 |   391852 |    68376     10 |     5731 |     6633
1168.16/1168.58	c 1167s |      18 |   487728 |   392352 |    68376     10 |     5731 |     6633
1170.36/1170.70	c 1170s |      18 |   488361 |   392852 |    68376     10 |     5731 |     6633
1172.45/1172.87	c 1172s |      18 |   489220 |   393552 |    68376     10 |     5731 |     6633
1174.56/1174.97	c 1174s |      18 |   490055 |   394252 |    68376     10 |     5731 |     6633
1176.76/1177.17	c 1176s |      18 |   490878 |   394952 |    68376     10 |     5731 |     6633
1179.05/1179.41	c 1178s |      18 |   491693 |   395652 |    68376     10 |     5731 |     6633
1181.16/1181.54	c 1180s |      18 |   492476 |   396352 |    68376     10 |     5731 |     6633
1183.26/1183.62	c 1182s |      18 |   493225 |   396952 |    68376     10 |     5731 |     6633
1185.56/1185.93	c 1185s |      18 |   494139 |   397752 |    68376     10 |     5731 |     6633
1187.66/1188.03	c 1187s |      18 |   494824 |   398352 |    68376     10 |     5731 |     6633
1189.86/1190.29	c 1189s |      18 |   495610 |   399052 |    68376     10 |     5731 |     6633
1192.25/1192.66	c 1191s |      18 |   496302 |   399652 |    68376     10 |     5731 |     6633
1194.36/1194.72	c 1194s |      18 |   496871 |   400152 |    68376     10 |     5731 |     6633
1196.46/1196.90	c 1196s |      18 |   497423 |   400652 |    68376     10 |     5731 |     6633
1198.76/1199.14	c 1198s |      18 |   498071 |   401152 |    68376     10 |     5731 |     6633
1201.15/1201.55	c 1200s |      18 |   498945 |   401752 |    68376     10 |     5731 |     6633
1203.25/1203.62	c 1202s |      18 |   499581 |   402252 |    68376     10 |     5731 |     6633
1205.65/1206.03	c 1205s |      18 |   500182 |   402752 |    68376     10 |     5731 |     6633
1207.85/1208.22	c 1207s |      18 |   500842 |   403252 |    68376     10 |     5731 |     6633
1210.15/1210.55	c 1209s |      18 |   501638 |   403852 |    68376     10 |     5731 |     6633
1212.35/1212.77	c 1212s |      18 |   502371 |   404452 |    68376     10 |     5731 |     6633
1215.45/1215.88	c 1215s |      18 |   502875 |   404852 |    68376     11 |     5731 |     6633
1217.55/1217.96	c 1217s |      18 |   503704 |   405552 |    68376     11 |     5731 |     6633
1219.85/1220.24	c 1219s |      18 |   504583 |   406252 |    68376     11 |     5731 |     6633
1221.95/1222.35	c 1221s |      18 |   505427 |   406952 |    68376     11 |     5731 |     6633
1224.15/1224.57	c 1223s |      18 |   506412 |   407752 |    68376     11 |     5731 |     6633
1226.25/1226.62	c 1225s |      18 |   507485 |   408552 |    68376     11 |     5731 |     6633
1228.35/1228.71	c 1228s |      18 |   508315 |   409252 |    68376     11 |     5731 |     6633
1230.35/1230.74	c 1230s |      18 |   509143 |   409952 |    68376     11 |     5731 |     6633
1232.45/1232.89	c 1232s |      18 |   509996 |   410652 |    68376     11 |     5731 |     6633
1234.55/1234.91	c 1234s |      18 |   510887 |   411352 |    68376     11 |     5731 |     6633
1236.55/1236.93	c 1236s |      18 |   511752 |   412052 |    68376     11 |     5731 |     6633
1238.84/1239.23	c 1238s |      18 |   512737 |   412852 |    68376     11 |     5731 |     6633
1241.14/1241.54	c 1240s |      18 |   513732 |   413652 |    68376     11 |     5731 |     6633
1243.24/1243.64	c 1242s |      18 |   514608 |   414352 |    68376     11 |     5731 |     6633
1245.34/1245.76	c 1245s |      18 |   515503 |   415052 |    68376     11 |     5731 |     6633
1247.44/1247.88	c 1247s |      18 |   516315 |   415752 |    68376     11 |     5731 |     6633
1249.64/1250.08	c 1249s |      18 |   517284 |   416552 |    68376     11 |     5731 |     6633
1251.84/1252.26	c 1251s |      18 |   518225 |   417352 |    68376     11 |     5731 |     6633
1254.04/1254.40	c 1253s |      18 |   519043 |   418052 |    68376     11 |     5731 |     6633
1256.24/1256.62	c 1255s |      18 |   519794 |   418652 |    68376     11 |     5731 |     6633
1258.34/1258.77	c 1258s |      18 |   520602 |   419352 |    68376     11 |     5731 |     6633
1260.54/1260.97	c 1260s |      18 |   521415 |   420052 |    68376     11 |     5731 |     6633
1262.84/1263.24	c 1262s |      18 |   522235 |   420752 |    68376     11 |     5731 |     6633
1264.94/1265.32	c 1264s |      18 |   523057 |   421452 |    68376     11 |     5731 |     6633
1267.04/1267.42	c 1266s |      18 |   523885 |   422152 |    68376     11 |     5731 |     6633
1269.15/1269.57	c 1268s |      18 |   524687 |   422852 |    68376     11 |     5731 |     6633
1271.35/1271.77	c 1271s |      18 |   525467 |   423552 |    68376     11 |     5731 |     6633
1273.45/1273.90	c 1273s |      18 |   526174 |   424152 |    68376     11 |     5731 |     6633
1275.65/1276.04	c 1275s |      18 |   527010 |   424852 |    68376     11 |     5731 |     6633
1277.64/1278.08	c 1277s |      18 |   527672 |   425452 |    68376     11 |     5731 |     6633
1279.74/1280.12	c 1279s |      18 |   528384 |   426052 |    68376     11 |     5731 |     6633
1281.84/1282.20	c 1281s |      18 |   529138 |   426652 |    68376     11 |     5731 |     6633
1284.14/1284.52	c 1283s |      18 |   529860 |   427252 |    68376     11 |     5731 |     6633
1286.14/1286.60	c 1285s |      18 |   530579 |   427852 |    68376     11 |     5731 |     6633
1288.54/1288.91	c 1288s |      18 |   531293 |   428452 |    68376     11 |     5731 |     6633
1290.74/1291.11	c 1290s |      18 |   532105 |   429152 |    68376     11 |     5731 |     6633
1292.84/1293.21	c 1292s |      18 |   532795 |   429752 |    68376     11 |     5731 |     6633
1295.14/1295.51	c 1294s |      18 |   533463 |   430352 |    68376     11 |     5731 |     6633
1297.43/1297.86	c 1297s |      18 |   534142 |   430952 |    68376     11 |     5731 |     6633
1299.63/1300.00	c 1299s |      18 |   534697 |   431452 |    68376     11 |     5731 |     6633
1301.73/1302.11	c 1301s |      18 |   535256 |   431952 |    68376     11 |     5731 |     6633
1303.73/1304.16	c 1303s |      18 |   535825 |   432452 |    68376     11 |     5731 |     6633
1306.03/1306.44	c 1305s |      18 |   536524 |   433052 |    68376     11 |     5731 |     6633
1308.23/1308.68	c 1308s |      18 |   537067 |   433552 |    68376     11 |     5731 |     6633
1310.53/1310.94	c 1310s |      18 |   537806 |   434152 |    68376     11 |     5731 |     6633
1312.63/1313.00	c 1312s |      18 |   538391 |   434652 |    68376     11 |     5731 |     6633
1314.73/1315.18	c 1314s |      18 |   539121 |   435252 |    68376     11 |     5731 |     6633
1316.83/1317.20	c 1316s |      18 |   539713 |   435752 |    68376     11 |     5731 |     6633
1319.03/1319.40	c 1318s |      18 |   540400 |   436352 |    68376     11 |     5731 |     6633
1321.43/1321.80	c 1321s |      18 |   541089 |   436952 |    68376     11 |     5731 |     6633
1323.53/1323.97	c 1323s |      18 |   541812 |   437552 |    68376     11 |     5731 |     6633
1325.63/1326.08	c 1325s |      18 |   542441 |   438052 |    68376     11 |     5731 |     6633
1327.73/1328.12	c 1327s |      18 |   543010 |   438552 |    68376     11 |     5731 |     6633
1329.73/1330.17	c 1329s |      18 |   543590 |   439052 |    68376     11 |     5731 |     6633
1331.74/1332.17	c 1331s |      18 |   544178 |   439552 |    68376     11 |     5731 |     6633
1333.83/1334.24	c 1333s |      18 |   544757 |   440052 |    68376     11 |     5731 |     6633
1336.14/1336.53	c 1335s |      18 |   545440 |   440652 |    68376     11 |     5731 |     6633
1338.23/1338.68	c 1338s |      18 |   546159 |   441252 |    68376     11 |     5731 |     6633
1340.54/1340.99	c 1340s |      18 |   546873 |   441852 |    75214     11 |     5731 |     6633
1342.63/1343.03	c 1342s |      18 |   547433 |   442352 |    75214     11 |     5731 |     6633
1344.73/1345.16	c 1344s |      18 |   548027 |   442852 |    75214     11 |     5731 |     6633
1346.73/1347.17	c 1346s |      18 |   548607 |   443352 |    75214     11 |     5731 |     6633
1348.73/1349.17	c 1348s |      18 |   549213 |   443852 |    75214     11 |     5731 |     6633
1350.83/1351.22	c 1350s |      18 |   549815 |   444352 |    75214     11 |     5731 |     6633
1351.33/1351.77	c 1351s |      19 |   549978 |   444482 |    75214     11 |     5731 |     6633
1354.83/1355.29	c 1354s |      19 |   550245 |   444682 |    75214     11 |     5731 |     6633
1357.03/1357.50	c 1356s |      19 |   550839 |   445182 |    75214     11 |     5735 |     6645
1359.42/1359.80	c 1359s |      19 |   551782 |   445882 |    75214     11 |     5735 |     6645
1361.53/1361.96	c 1361s |      19 |   552507 |   446482 |    75214     11 |     5735 |     6645
1363.82/1364.23	c 1363s |      19 |   553195 |   447082 |    75214     11 |     5735 |     6645
1365.93/1366.38	c 1365s |      19 |   553803 |   447582 |    75214     11 |     5735 |     6645
1368.32/1368.71	c 1368s |      19 |   554486 |   448182 |    75214     11 |     5735 |     6645
1370.62/1371.08	c 1370s |      19 |   555237 |   448782 |    75214     11 |     5735 |     6645
1372.72/1373.12	c 1372s |      19 |   555869 |   449282 |    75214     11 |     5735 |     6645
1376.12/1376.56	c 1375s |      19 |   556517 |   449782 |    75214     12 |     5735 |     6645
1378.32/1378.73	c 1378s |      19 |   557414 |   450482 |    75214     12 |     5735 |     6645
1380.32/1380.77	c 1380s |      19 |   558306 |   451182 |    75214     12 |     5735 |     6645
1382.43/1382.82	c 1382s |      19 |   559312 |   451982 |    75214     12 |     5735 |     6645
1384.42/1384.84	c 1384s |      19 |   560292 |   452782 |    75214     12 |     5735 |     6645
1386.62/1387.04	c 1386s |      19 |   561299 |   453582 |    75214     12 |     5735 |     6645
1388.82/1389.25	c 1388s |      19 |   562298 |   454382 |    75214     12 |     5735 |     6645
1390.92/1391.38	c 1390s |      19 |   563114 |   455082 |    75214     12 |     5735 |     6645
1393.02/1393.46	c 1392s |      19 |   563973 |   455782 |    75214     12 |     5735 |     6645
1395.12/1395.58	c 1394s |      19 |   564799 |   456482 |    75214     12 |     5735 |     6645
1397.32/1397.78	c 1397s |      19 |   565780 |   457282 |    75214     12 |     5735 |     6645
1399.32/1399.79	c 1399s |      19 |   566815 |   458082 |    75214     12 |     5735 |     6645
1401.42/1401.86	c 1401s |      19 |   567750 |   458882 |    75214     12 |     5735 |     6645
1403.52/1403.93	c 1403s |      19 |   568678 |   459682 |    75214     12 |     5735 |     6645
1405.62/1406.09	c 1405s |      19 |   569526 |   460382 |    75214     12 |     5735 |     6645
1407.92/1408.35	c 1407s |      19 |   570395 |   461082 |    75214     12 |     5735 |     6645
1410.21/1410.61	c 1409s |      19 |   571256 |   461782 |    75214     12 |     5735 |     6645
1412.21/1412.69	c 1412s |      19 |   572128 |   462482 |    75214     12 |     5735 |     6645
1414.32/1414.75	c 1414s |      19 |   572818 |   463082 |    75214     12 |     5735 |     6645
1416.52/1416.97	c 1416s |      19 |   573653 |   463782 |    75214     12 |     5735 |     6645
1418.62/1419.03	c 1418s |      19 |   574443 |   464382 |    75214     12 |     5735 |     6645
1420.71/1421.13	c 1420s |      19 |   575148 |   464982 |    75214     12 |     5735 |     6645
1422.91/1423.37	c 1422s |      19 |   575988 |   465682 |    75214     12 |     5735 |     6645
1425.11/1425.55	c 1424s |      19 |   576946 |   466482 |    75214     12 |     5735 |     6645
1427.42/1427.83	c 1427s |      19 |   577789 |   467182 |    75214     12 |     5735 |     6645
1429.62/1430.01	c 1429s |      19 |   578602 |   467882 |    75214     12 |     5735 |     6645
1431.82/1432.22	c 1431s |      19 |   579586 |   468682 |    75214     12 |     5735 |     6645
1434.02/1434.48	c 1433s |      19 |   580471 |   469382 |    75214     12 |     5735 |     6645
1436.32/1436.76	c 1436s |      19 |   581331 |   470082 |    75214     12 |     5735 |     6645
1438.52/1438.96	c 1438s |      19 |   582002 |   470682 |    75214     12 |     5735 |     6645
1440.72/1441.13	c 1440s |      19 |   582866 |   471382 |    75214     12 |     5735 |     6645
1443.11/1443.50	c 1442s |      19 |   583903 |   472182 |    75214     12 |     5735 |     6645
1445.12/1445.55	c 1444s |      19 |   584628 |   472782 |    75214     12 |     5735 |     6645
1447.32/1447.75	c 1447s |      19 |   585587 |   473482 |    75214     12 |     5737 |     6651
1449.61/1450.06	c 1449s |      19 |   586455 |   474182 |    75214     12 |     5737 |     6651
1452.01/1452.42	c 1451s |      19 |   587525 |   474982 |    75214     12 |     5737 |     6651
1454.11/1454.52	c 1453s |      19 |   588466 |   475682 |    75214     12 |     5737 |     6651
1456.31/1456.73	c 1456s |      19 |   589378 |   476382 |    75214     12 |     5737 |     6651
1458.31/1458.79	c 1458s |      19 |   590140 |   476982 |    75214     12 |     5737 |     6651
1460.71/1461.15	c 1460s |      19 |   590995 |   477682 |    75214     12 |     5737 |     6651
1462.81/1463.22	c 1462s |      19 |   591723 |   478282 |    75214     12 |     5737 |     6651
1464.91/1465.33	c 1464s |      19 |   592458 |   478882 |    75214     12 |     5737 |     6651
1467.11/1467.52	c 1466s |      19 |   593213 |   479482 |    75214     12 |     5737 |     6651
1469.21/1469.65	c 1468s |      19 |   594165 |   480182 |    75214     12 |     5737 |     6651
1471.30/1471.73	c 1471s |      19 |   594979 |   480782 |    75214     12 |     5737 |     6651
1473.40/1473.80	c 1473s |      19 |   595894 |   481482 |    75214     12 |     5737 |     6651
1475.40/1475.89	c 1475s |      19 |   596698 |   482082 |    75214     12 |     5737 |     6651
1477.50/1477.93	c 1477s |      19 |   597388 |   482682 |    75214     12 |     5737 |     6651
1479.50/1479.99	c 1479s |      19 |   598115 |   483282 |    75214     12 |     5737 |     6651
1481.60/1482.05	c 1481s |      19 |   598819 |   483882 |    75214     12 |     5737 |     6651
1483.90/1484.34	c 1483s |      19 |   599558 |   484482 |    75214     12 |     5737 |     6651
1486.20/1486.64	c 1485s |      19 |   600291 |   485082 |    75214     12 |     5737 |     6651
1488.30/1488.75	c 1488s |      19 |   601047 |   485682 |    75214     12 |     5737 |     6651
1490.51/1490.94	c 1490s |      19 |   601750 |   486282 |    75214     12 |     5737 |     6651
1492.61/1493.07	c 1492s |      19 |   602606 |   486982 |    75214     12 |     5737 |     6651
1494.62/1495.09	c 1494s |      19 |   603182 |   487482 |    75214     12 |     5737 |     6651
1496.82/1497.22	c 1496s |      19 |   603942 |   488082 |    75214     12 |     5737 |     6651
1498.92/1499.39	c 1498s |      19 |   604889 |   488782 |    75214     12 |     5737 |     6651
1501.01/1501.40	c 1500s |      19 |   605591 |   489382 |    75214     12 |     5737 |     6651
1503.32/1503.72	c 1503s |      19 |   606275 |   489982 |    75214     12 |     5737 |     6651
1505.52/1505.93	c 1505s |      19 |   606997 |   490582 |    75214     12 |     5737 |     6651
1507.51/1507.95	c 1507s |      19 |   607597 |   491082 |    75214     12 |     5737 |     6651
1510.21/1510.64	c 1509s |      19 |   608236 |   491582 |    75214     13 |     5737 |     6651
1512.31/1512.70	c 1512s |      19 |   609062 |   492282 |    75214     13 |     5737 |     6651
1514.51/1514.94	c 1514s |      19 |   610019 |   493082 |    75214     13 |     5737 |     6651
1516.61/1517.03	c 1516s |      19 |   610880 |   493782 |    75214     13 |     5737 |     6651
1518.81/1519.30	c 1518s |      19 |   611719 |   494482 |    75214     13 |     5737 |     6651
1520.91/1521.34	c 1520s |      19 |   612556 |   495182 |    75214     13 |     5737 |     6651
1523.00/1523.45	c 1522s |      19 |   613373 |   495882 |    75214     13 |     5737 |     6651
1525.20/1525.65	c 1524s |      19 |   614206 |   496582 |    75214     13 |     5737 |     6651
1527.30/1527.73	c 1527s |      19 |   615003 |   497282 |    75214     13 |     5737 |     6651
1529.40/1529.82	c 1529s |      19 |   615822 |   497982 |    75214     13 |     5737 |     6651
1531.50/1531.90	c 1531s |      19 |   616595 |   498582 |    75214     13 |     5737 |     6651
1533.60/1534.02	c 1533s |      19 |   617110 |   498982 |    75214     13 |     5737 |     6651
1535.80/1536.21	c 1535s |      19 |   617972 |   499682 |    75214     13 |     5737 |     6651
1537.90/1538.32	c 1537s |      19 |   618666 |   500282 |    75214     13 |     5737 |     6651
1540.00/1540.42	c 1539s |      19 |   619373 |   500882 |    75214     13 |     5737 |     6651
1542.20/1542.66	c 1541s |      19 |   620193 |   501582 |    75214     13 |     5737 |     6651
1544.20/1544.67	c 1543s |      19 |   620918 |   502182 |    75214     13 |     5737 |     6651
1546.50/1546.97	c 1546s |      19 |   621757 |   502882 |    75214     13 |     5737 |     6651
1548.60/1549.00	c 1548s |      19 |   622361 |   503382 |    75214     13 |     5737 |     6651
1550.80/1551.24	c 1550s |      19 |   623186 |   504082 |    75214     13 |     5737 |     6651
1552.81/1553.27	c 1552s |      19 |   623922 |   504682 |    75214     13 |     5737 |     6651
1554.80/1555.29	c 1554s |      19 |   624593 |   505282 |    75214     13 |     5737 |     6651
1556.90/1557.40	c 1556s |      19 |   625133 |   505782 |    75214     13 |     5737 |     6651
1559.00/1559.45	c 1558s |      19 |   625777 |   506282 |    75214     13 |     5737 |     6651
1561.10/1561.57	c 1560s |      19 |   627095 |   507282 |    75214     13 |     5737 |     6651
1563.40/1563.80	c 1563s |      19 |   628045 |   508082 |    75214     13 |     5737 |     6651
1565.60/1566.04	c 1565s |      19 |   629554 |   509082 |    75214     13 |     5737 |     6651
1567.70/1568.10	c 1567s |      19 |   630612 |   509882 |    75214     13 |     5737 |     6651
1569.70/1570.13	c 1569s |      19 |   631649 |   510682 |    75214     13 |     5737 |     6651
1571.80/1572.25	c 1571s |      19 |   632783 |   511482 |    75214     13 |     5737 |     6651
1574.10/1574.51	c 1573s |      19 |   633829 |   512282 |    75214     13 |     5737 |     6651
1576.20/1576.69	c 1576s |      19 |   634759 |   512982 |    75214     13 |     5737 |     6651
1578.30/1578.74	c 1578s |      19 |   635760 |   513682 |    75214     13 |     5737 |     6651
1580.40/1580.89	c 1580s |      19 |   636897 |   514482 |    75214     13 |     5737 |     6651
1582.50/1582.98	c 1582s |      19 |   638039 |   515382 |    75214     13 |     5737 |     6651
1584.59/1585.07	c 1584s |      19 |   639269 |   516282 |    75214     13 |     5737 |     6651
1586.59/1587.09	c 1586s |      19 |   640533 |   517182 |    75214     13 |     5737 |     6651
1588.69/1589.10	c 1588s |      19 |   641997 |   518182 |    75214     13 |     5737 |     6651
1590.89/1591.37	c 1590s |      19 |   642895 |   518882 |    75214     13 |     5737 |     6651
1593.09/1593.52	c 1592s |      19 |   643781 |   519582 |    75214     13 |     5737 |     6651
1595.19/1595.67	c 1594s |      19 |   644666 |   520282 |    75214     13 |     5737 |     6651
1597.19/1597.68	c 1597s |      19 |   645373 |   520882 |    75214     13 |     5737 |     6651
1599.29/1599.75	c 1599s |      19 |   646103 |   521482 |    75214     13 |     5737 |     6651
1601.59/1602.04	c 1601s |      19 |   646816 |   522082 |    75214     13 |     5737 |     6651
1603.89/1604.37	c 1603s |      19 |   647537 |   522682 |    75214     13 |     5737 |     6651
1606.09/1606.53	c 1605s |      19 |   648296 |   523282 |    75214     13 |     5737 |     6651
1608.29/1608.74	c 1608s |      19 |   649168 |   523982 |    75214     13 |     5737 |     6651
1610.59/1611.09	c 1610s |      19 |   650081 |   524682 |    75214     13 |     5737 |     6651
1612.89/1613.37	c 1612s |      19 |   651010 |   525382 |    75214     13 |     5737 |     6651
1615.19/1615.64	c 1614s |      19 |   651911 |   526082 |    75214     13 |     5737 |     6651
1617.39/1617.81	c 1617s |      19 |   652723 |   526682 |    75214     13 |     5737 |     6651
1619.49/1619.92	c 1619s |      19 |   653343 |   527182 |    75214     13 |     5737 |     6651
1621.59/1622.06	c 1621s |      19 |   653944 |   527682 |    75214     13 |     5737 |     6651
1623.79/1624.21	c 1623s |      19 |   654685 |   528282 |    75214     13 |     5737 |     6651
1625.79/1626.25	c 1625s |      19 |   655583 |   528882 |    75214     13 |     5737 |     6651
1627.89/1628.35	c 1627s |      19 |   656380 |   529482 |    75214     13 |     5737 |     6651
1629.89/1630.39	c 1629s |      19 |   657154 |   530082 |    75214     13 |     5737 |     6651
1632.09/1632.51	c 1631s |      19 |   658094 |   530782 |    75214     13 |     5737 |     6651
1634.29/1634.73	c 1634s |      19 |   658944 |   531482 |    75214     13 |     5737 |     6651
1636.39/1636.86	c 1636s |      19 |   659768 |   532082 |    75214     13 |     5737 |     6651
1638.48/1638.99	c 1638s |      19 |   660425 |   532582 |    75214     14 |     5737 |     6651
1640.68/1641.16	c 1640s |      19 |   661161 |   533182 |    75214     14 |     5737 |     6651
1645.08/1645.54	c 1644s |      19 |   662137 |   533982 |    75214     14 |     5737 |     6651
1647.28/1647.74	c 1647s |      19 |   663347 |   534882 |    75214     14 |     5737 |     6651
1649.48/1649.95	c 1649s |      19 |   664786 |   535882 |    75214     14 |     5737 |     6651
1651.58/1652.01	c 1651s |      19 |   665974 |   536782 |    75214     14 |     5737 |     6651
1653.69/1654.14	c 1653s |      19 |   667101 |   537682 |    75214     14 |     5737 |     6651
1655.79/1656.23	c 1655s |      19 |   668154 |   538482 |    75214     14 |     5737 |     6651
1657.99/1658.42	c 1657s |      19 |   669469 |   539482 |    75214     14 |     5737 |     6651
1660.18/1660.68	c 1660s |      19 |   670770 |   540382 |    75214     14 |     5737 |     6651
1662.28/1662.76	c 1662s |      19 |   671823 |   541182 |    75214     14 |     5737 |     6651
1664.58/1665.01	c 1664s |      19 |   672839 |   541982 |    75214     14 |     5737 |     6651
1666.58/1667.09	c 1666s |      19 |   674037 |   542882 |    75214     14 |     5737 |     6651
1668.78/1669.23	c 1668s |      19 |   675300 |   543782 |    75214     14 |     5737 |     6651
1670.98/1671.42	c 1670s |      19 |   676360 |   544582 |    75214     14 |     5737 |     6651
1673.18/1673.60	c 1672s |      19 |   677573 |   545382 |    75214     14 |     5737 |     6651
1675.18/1675.63	c 1674s |      19 |   678663 |   546182 |    75214     14 |     5737 |     6651
1677.28/1677.73	c 1677s |      19 |   679533 |   546882 |    75214     14 |     5737 |     6651
1679.39/1679.86	c 1679s |      19 |   680428 |   547582 |    75214     14 |     5737 |     6651
1681.49/1682.00	c 1681s |      19 |   681306 |   548282 |    75214     14 |     5737 |     6651
1683.69/1684.12	c 1683s |      19 |   682168 |   548982 |    75214     14 |     5737 |     6651
1685.68/1686.13	c 1685s |      19 |   682923 |   549582 |    75214     14 |     5737 |     6651
1687.78/1688.23	c 1687s |      19 |   683749 |   550182 |    75214     14 |     5737 |     6651
1689.98/1690.45	c 1689s |      19 |   684712 |   550882 |    75214     14 |     5737 |     6651
1692.08/1692.52	c 1691s |      19 |   685608 |   551582 |    75214     14 |     5737 |     6651
1694.08/1694.53	c 1693s |      19 |   686406 |   552182 |    75214     14 |     5737 |     6651
1696.48/1696.93	c 1696s |      19 |   687305 |   552882 |    75214     14 |     5737 |     6651
1698.78/1699.25	c 1698s |      19 |   688181 |   553582 |    75214     14 |     5737 |     6651
1701.08/1701.54	c 1700s |      19 |   689030 |   554282 |    75214     14 |     5737 |     6651
1703.28/1703.79	c 1703s |      19 |   689905 |   554982 |    75214     14 |     5737 |     6651
1705.38/1705.88	c 1705s |      19 |   690634 |   555582 |    75214     14 |     5737 |     6651
1707.58/1708.01	c 1707s |      19 |   691370 |   556182 |    75214     14 |     5737 |     6651
1709.68/1710.11	c 1709s |      19 |   692231 |   556882 |    75214     14 |     5737 |     6651
1711.67/1712.20	c 1711s |      19 |   692924 |   557482 |    75214     14 |     5737 |     6651
1713.97/1714.46	c 1713s |      19 |   693633 |   558082 |    75214     14 |     5737 |     6651
1716.17/1716.65	c 1715s |      19 |   694308 |   558682 |    75214     14 |     5737 |     6651
1718.27/1718.76	c 1718s |      19 |   695064 |   559282 |    75214     14 |     5737 |     6651
1720.47/1720.94	c 1720s |      19 |   695743 |   559882 |    75214     14 |     5737 |     6651
1722.47/1722.96	c 1722s |      19 |   696496 |   560482 |    75214     14 |     5737 |     6651
1724.77/1725.25	c 1724s |      19 |   697182 |   561082 |    75214     14 |     5737 |     6651
1726.97/1727.41	c 1726s |      19 |   697749 |   561582 |    75214     14 |     5737 |     6651
1729.17/1729.64	c 1728s |      19 |   698485 |   562182 |    75214     14 |     5737 |     6651
1731.47/1731.98	c 1731s |      19 |   699374 |   562882 |    75214     14 |     5737 |     6651
1733.77/1734.27	c 1733s |      19 |   700259 |   563582 |    75214     14 |     5737 |     6651
1735.87/1736.32	c 1735s |      19 |   701034 |   564182 |    75214     14 |     5737 |     6651
1738.07/1738.50	c 1737s |      19 |   701933 |   564882 |    75214     14 |     5737 |     6651
1740.07/1740.57	c 1739s |      19 |   702680 |   565482 |    75214     14 |     5737 |     6651
1742.17/1742.67	c 1742s |      19 |   703419 |   566082 |    75214     14 |     5737 |     6651
1744.37/1744.88	c 1744s |      19 |   704165 |   566682 |    75214     14 |     5737 |     6651
1746.48/1746.98	c 1746s |      19 |   705042 |   567282 |    75214     14 |     5737 |     6651
1748.68/1749.11	c 1748s |      19 |   705708 |   567782 |    75214     14 |     5737 |     6651
1750.67/1751.15	c 1750s |      19 |   706484 |   568382 |    75214     14 |     5737 |     6651
1752.77/1753.28	c 1752s |      19 |   707229 |   568982 |    75214     14 |     5737 |     6651
1755.18/1755.64	c 1754s |      19 |   707943 |   569582 |    75214     14 |     5737 |     6651
1757.37/1757.87	c 1757s |      19 |   708716 |   570182 |    75214     14 |     5737 |     6651
1759.47/1759.97	c 1759s |      19 |   709567 |   570782 |    75214     14 |     5737 |     6651
1761.57/1762.07	c 1761s |      19 |   710321 |   571382 |    75214     14 |     5737 |     6651
1763.97/1764.43	c 1763s |      19 |   711032 |   571982 |    75214     14 |     5737 |     6651
1766.17/1766.61	c 1765s |      19 |   711749 |   572582 |    75214     14 |     5737 |     6651
1768.27/1768.75	c 1768s |      19 |   712569 |   573182 |    75214     14 |     5737 |     6651
1770.57/1771.05	c 1770s |      19 |   713170 |   573682 |    75214     14 |     5737 |     6651
1772.57/1773.08	c 1772s |      19 |   713798 |   574182 |    75214     14 |     5737 |     6651
1774.87/1775.34	c 1774s |      19 |   714413 |   574682 |    75214     15 |     5737 |     6651
1777.06/1777.54	c 1776s |      19 |   715277 |   575382 |    75214     15 |     5737 |     6651
1779.26/1779.73	c 1779s |      19 |   716334 |   576182 |    75214     15 |     5737 |     6651
1781.36/1781.81	c 1781s |      19 |   717836 |   577282 |    75214     15 |     5737 |     6651
1783.56/1784.04	c 1783s |      19 |   719081 |   578182 |    75214     15 |     5737 |     6651
1785.66/1786.11	c 1785s |      19 |   720077 |   578982 |    75214     15 |     5737 |     6651
1787.76/1788.27	c 1787s |      19 |   721150 |   579782 |    75214     15 |     5737 |     6651
1789.86/1790.37	c 1789s |      19 |   722453 |   580782 |    75214     15 |     5737 |     6651
1791.86/1792.39	c 1791s |      19 |   723662 |   581682 |    75214     15 |     5737 |     6651
1794.16/1794.63	c 1793s |      19 |   724787 |   582482 |    75214     15 |     5737 |     6651
1796.16/1796.69	c 1796s |      19 |   725769 |   583282 |    75214     15 |     5737 |     6651
1798.26/1798.79	c 1798s |      19 |   726628 |   583982 |    75214     15 |     5737 |     6651

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-4108132-1466290742/watcher-4108132-1466290742 -o /tmp/evaluation-result-4108132-1466290742/solver-4108132-1466290742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108132-1466290742.opb 

pid=11895
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: 1.97 2.00 2.00 3/179 11898
/proc/meminfo: memFree=29980556/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=789060 CPUtime=0 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 2957 0 0 0 0 0 0 0 20 0 4 0 31119628 807997440 2807 33554432000 4194304 16246674 140736899632160 140736899631584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 197777 2814 442 2943 0 194671 0
[pid=11898/tid=11899] ppid=11895 vsize=807492 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 826871808 2878 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=811588 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 831066112 2896 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=815684 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31119628 835260416 2911 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 11898
/proc/meminfo: memFree=29980556/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 28207 0 0 0 5 4 0 0 20 0 4 0 31119628 1333334016 27995 33554432000 4194304 16246674 140736899632160 140736899631472 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 325521 28009 802 2943 0 322415 0
[pid=11898/tid=11899] ppid=11895 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1333334016 28020 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1333334016 28032 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1333334016 28042 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200524 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 11898
/proc/meminfo: memFree=29980556/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 48613 0 0 0 12 7 0 0 20 0 4 0 31119628 1344868352 48911 33554432000 4194304 16246674 140736899632160 140736899631472 7361755 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 48911 802 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 48911 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 48911 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 48911 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.3005 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 11898
/proc/meminfo: memFree=29980556/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 55435 0 0 0 21 8 0 0 20 0 4 0 31119628 1344868352 55733 33554432000 4194304 16246674 140736899632160 140736899631472 13923787 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 55733 832 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 55733 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 55733 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 55733 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700404 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 11898
/proc/meminfo: memFree=29980556/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 94686 0 0 0 55 14 0 0 20 0 4 0 31119628 1344868352 94984 33554432000 4194304 16246674 140736899632160 140736899631472 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 94984 872 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 94984 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 94984 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 94984 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11902
/proc/meminfo: memFree=29602392/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 144053 0 0 0 128 21 0 0 20 0 4 0 31119628 1344868352 144351 33554432000 4194304 16246674 140736899632160 140736899614080 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 144357 884 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 144361 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 144364 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 144370 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11902
/proc/meminfo: memFree=29030780/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 269009 0 0 0 270 39 0 0 20 0 4 0 31119628 1344868352 269307 33554432000 4194304 16246674 140736899632160 140736899614080 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 269307 887 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269307 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269307 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269307 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11902
/proc/meminfo: memFree=28904612/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 269013 0 0 0 590 39 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 140736899614080 5829844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 269311 889 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.00 3/183 11902
/proc/meminfo: memFree=28904960/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 269013 0 0 0 1230 39 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 140736899614080 12477844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 269311 889 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 11902
/proc/meminfo: memFree=28905576/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 269013 0 0 0 2510 39 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 140736899614080 6026640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 269311 889 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269311 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 11902
/proc/meminfo: memFree=28905796/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 269014 0 0 0 5069 39 0 0 20 0 4 0 31119628 1344868352 269312 33554432000 4194304 16246674 140736899632160 140736899614080 6021961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 269312 890 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269312 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269312 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269312 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/184 11906
/proc/meminfo: memFree=28905360/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 269019 0 0 0 10189 39 0 0 20 0 4 0 31119628 1344868352 269317 33554432000 4194304 16246674 140736899632160 140736899614080 6862302 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 328337 269317 892 2943 0 325231 0
[pid=11898/tid=11899] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269317 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269317 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1344868352 269317 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 12009
/proc/meminfo: memFree=28870484/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1361.92 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 136147 45 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1393220

[startup+1422.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 12010
/proc/meminfo: memFree=28870500/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1421.92 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 142147 45 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5661013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1393220

[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 12012
/proc/meminfo: memFree=28870100/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1481.9 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 148145 45 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5822548 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1393220

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 12013
/proc/meminfo: memFree=28870364/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1541.91 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 154145 46 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5662879 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1393220

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12014
/proc/meminfo: memFree=28870548/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1601.89 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 160143 46 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5601488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1393220

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12015
/proc/meminfo: memFree=28870548/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1661.88 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 166141 47 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5523300 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1393220

[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 12016
/proc/meminfo: memFree=28870052/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1721.87 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 172140 47 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 13820945 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1393220

[startup+1782.3 s]
/proc/loadavg: 2.26 2.09 2.02 3/182 12017
/proc/meminfo: memFree=28870068/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1781.86 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 178139 47 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1393220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.20 2.09 2.02 4/183 12018
/proc/meminfo: memFree=28870060/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1800.06 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 179959 47 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 6022670 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1393220

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

[startup+1800.5 s]
/proc/loadavg: 2.20 2.09 2.02 4/183 12018
/proc/meminfo: memFree=28870060/32872528 swapFree=496868/529572
[pid=11898] ppid=11895 vsize=1393220 CPUtime=1800.06 cores=0,2,4,6
/proc/11898/stat : 11898 (toysat) R 11895 11898 7739 0 -1 4202496 289265 0 0 0 179959 47 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 140736899614080 6022670 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11898/statm: 348305 289286 893 2943 0 345199 0
[pid=11898/tid=11899] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11899/stat : 11899 (toysat) S 11895 11898 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775259421936 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11898/tid=11900] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11900/stat : 11900 (toysat) S 11895 11898 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775248932080 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11898/tid=11901] ppid=11895 vsize=1393220 CPUtime=0 cores=0,2,4,6
/proc/11898/task/11901/stat : 11901 (toysat) S 11895 11898 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31119628 1426657280 289286 33554432000 4194304 16246674 140736899632160 139775238458544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1393220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.472928
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.472928
maximum resident set size= 1157144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289265
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= 291
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26135 second user time and 7.2489 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-19 00:59:02
IDJOB=4108132
IDBENCH=75736
IDSOLVER=2542
FILE ID=node141/4108132-1466290742
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108132-1466290742/watcher-4108132-1466290742 -o /tmp/evaluation-result-4108132-1466290742/solver-4108132-1466290742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108132-1466290742.opb

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

MD5SUM BENCH= c3eb9faf1d58b30f1971366448425ca3
RANDOM SEED=1190402506

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29980836 kB
Buffers:          169696 kB
Cached:           281216 kB
SwapCached:         2528 kB
Active:          1320072 kB
Inactive:         294820 kB
Active(anon):    1164564 kB
Inactive(anon):     2028 kB
Active(file):     155508 kB
Inactive(file):   292792 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             17700 kB
Writeback:             0 kB
AnonPages:       1696052 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             612248 kB
SReclaimable:      55152 kB
SUnreclaim:       557096 kB
KernelStack:        1520 kB
PageTables:         7352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1834836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1009664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node141 at 2016-06-19 01:29:03