Trace number 4093630

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.61

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMcad14126bbe64a82703c3144c4e347cd
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1000
Total number of constraints90
Number of soft constraints90
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 4573
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4572
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T17:37:36+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093630-1466091456.wbo"]
0.00/0.01	c use --random-gen="2718769759 1457151678 4130687836 670321496 3551271357 2389255786 4248940263 1676113958 1623416177 1583430526 463421453 3246863857 3618131903 4000345637 1096854674 3134194624 694855461 972074486 942796434 3429711396 768638412 1100551467 169390064 611909692 2845548001 2760359156 3805889059 3318255006 3464989221 3956980066 1690859001 2326380873 3724661987 2498933552 329587931 1589416727 1181663905 1674954924 1486698834 3151492615 2530375122 669800248 574146433 3802386531 3742511256 1427880404 2324960637 3490396197 463080171 1087438553 3905705118 471265540 1624462661 4276009164 1988016282 1728585567 534217989 3130666533 2544106458 3607224319 4005983570 3825415866 1466990519 3189533672 1750333118 2564330053 3178170302 3504393772 3196965694 2232047165 944214414 2114927973 1617099889 2463254459 1159569380 1502569684 2166063912 2990820741 3956913502 180940530 2659998519 281283561 1974601126 1714809419 1717420951 3069915828 2131846239 1978650249 2307390496 1085518020 146455302 1562318208 2260817692 2785878575 1664628476 1851709518 1765658093 3133999576 3998313417 909705918 3674231169 3172628249 176007255 2844118237 4034845394 2667275705 3889239736 896403599 2892527838 2755177077 2933941868 1499305996 2427158049 3293654760 3396691162 4087064230 43535092 1014537345 3411077665 298995195 3628016417 2634865644 857264381 4066483796 586661507 1054196205 4279161854 3154835634 3297385112 4063636513 1841308693 1770839164 2884590551 1230731834 1591020118 2981889270 2696778249 1319994385 2330510940 2308001894 4159748888 1342652532 1591483563 1094922803 3207459038 3187790402 3218377412 1733721340 4020073338 88292687 201516642 587610952 2980549579 1535798594 2875049023 1303310817 2411375731 3412930936 3287485272 3582863996 3869521205 4059878049 22990406 3872687771 4152330133 3627865389 2447428431 737675126 3648792961 1052257851 879474715 1449388085 2040557476 1567462571 1766961657 2004847039 834833976 1866304344 2283994207 3702219874 2027534802 4151547322 3903654810 3598837574 1762106059 1072635907 2782561257 4111978067 2148553912 795882771 3251291536 2833132135 3333242650 3003041548 1481254511 35512497 2155375399 4034713101 744279855 2256788505 2916947681 1605958165 3603220759 1807655842 1830006554 1414313033 247927099 2688241832 116077386 3281383058 442180057 2421814764 268636359 3774702565 3122822747 3527197282 711321265 3875009015 3585537354 740864855 4168434494 2773497522 3680053953 238842998 703205985 2489365073 1121848773 2462095531 3001218487 2153595683 185171611 270876095 1877964755 4162474211 2550126330 553277757 2604158326 1065301916 2687503072 3621025984 2031185445 3311389330 1574282634 2401676699 4075851404 1540988305 774165172 3053220780 3803179244 4150741157 3686216991 444495352 867979485 491107083 3836474703 3887488349 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1000
0.00/0.05	c #constraints 90
0.00/0.06	c BCD2: Hardening is enabled.
0.00/0.06	c BCD2: BiasedSearch is enabled.
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      393      0 |        0 |        0
0.00/0.06	c  0.0s |       0 |      130 |        0 |      393      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.001s
0.00/0.06	c #wall_clock_time = 0.001s
0.00/0.06	c #decision = 130
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 0
0.00/0.06	c #restart = 0
0.00/0.06	o 2471
0.00/0.06	c BCD2: updating upper bound: 4572 -> 2470
0.00/0.06	c BCD2: 0 <= obj <= 2470
0.00/0.06	c BCD2: #cores=0, #unrelaxed=90, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      393      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      223 |      100 |      393      0 |        0 |        0
0.09/0.12	c  0.1s |       2 |      688 |      250 |      433      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1430 |      475 |      477      0 |        0 |        0
0.39/0.43	c  0.4s |       4 |     2452 |      813 |      525      0 |        0 |        0
0.69/0.78	c  0.7s |       5 |     3334 |     1320 |      578      1 |        0 |        0
1.09/1.13	c  1.1s |       6 |     4469 |     2081 |      700      3 |        0 |        0
1.59/1.68	c  1.6s |       7 |     6184 |     3223 |      771      4 |        0 |        0
2.38/2.49	c  2.4s |       8 |     8887 |     4936 |      849      7 |        0 |        0
4.09/4.13	c  4.1s |       9 |    12823 |     7506 |      934     11 |        0 |        0
6.09/6.16	c  6.1s |       9 |    17470 |    11206 |      934     16 |        0 |        0
6.19/6.22	c  6.2s |      10 |    17650 |    11361 |     1028     16 |        0 |        0
8.19/8.23	c  8.2s |      10 |    22787 |    15561 |     1028     22 |        0 |        0
8.90/8.95	c  8.9s |      11 |    24575 |    17144 |     1131     24 |        0 |        0
10.89/10.99	c 10.9s |      11 |    29647 |    20144 |     1131     27 |        0 |        0
12.99/13.00	c 12.9s |      11 |    33189 |    22844 |     1131     31 |        0 |        0
14.99/15.06	c 15.0s |      11 |    36236 |    25144 |     1131     34 |        0 |        0
15.59/15.67	c 15.6s |      12 |    36990 |    25819 |     1245     34 |        0 |        0
17.60/17.69	c 17.6s |      12 |    42054 |    29819 |     1245     39 |        0 |        0
19.69/19.71	c 19.7s |      12 |    45771 |    33119 |     1245     43 |        0 |        0
21.69/21.72	c 21.7s |      12 |    49408 |    36319 |     1245     46 |        0 |        0
23.39/23.45	c 23.4s |      13 |    52188 |    38832 |     1370     49 |        0 |        0
25.49/25.52	c 25.5s |      13 |    57294 |    42832 |     1370     54 |        0 |        0
27.50/27.53	c 27.5s |      13 |    61016 |    46132 |     1370     57 |        0 |        0
29.49/29.56	c 29.5s |      13 |    64891 |    49532 |     1370     61 |        0 |        0
31.59/31.61	c 31.5s |      13 |    68881 |    53032 |     1370     64 |        0 |        0
33.59/33.63	c 33.6s |      13 |    72830 |    56532 |     1370     68 |        0 |        0
34.69/34.74	c 34.7s |      14 |    74825 |    58352 |     1508     70 |        0 |        0
36.69/36.78	c 36.7s |      14 |    79414 |    61852 |     1508     73 |        0 |        0
38.79/38.80	c 38.7s |      14 |    82593 |    64752 |     1508     75 |        0 |        0
40.79/40.82	c 40.8s |      14 |    85820 |    67552 |     1508     78 |        0 |        0
42.79/42.86	c 42.8s |      14 |    88570 |    69952 |     1508     80 |        0 |        0
44.79/44.87	c 44.8s |      14 |    92093 |    72952 |     1508     82 |        0 |        0
46.89/46.93	c 46.9s |      14 |    95431 |    75852 |     1508     85 |        0 |        0
48.89/48.93	c 48.9s |      14 |    98437 |    78552 |     1508     87 |        0 |        0
50.89/50.95	c 50.9s |      14 |   101291 |    81152 |     1508     89 |        0 |        0
52.89/52.99	c 52.9s |      14 |   104579 |    84052 |     1508     91 |        0 |        0
54.99/55.06	c 55.0s |      14 |   107593 |    86752 |     1508     94 |        0 |        0
55.78/55.80	c 55.7s |      15 |   108611 |    87632 |     1659     94 |        0 |        0
57.78/57.84	c 57.8s |      15 |   113147 |    91332 |     1659     98 |        0 |        0
59.88/59.90	c 59.8s |      15 |   116848 |    94732 |     1659    101 |        0 |        0
61.88/61.92	c 61.9s |      15 |   121029 |    98332 |     1659    104 |        0 |        0
63.89/63.97	c 63.9s |      15 |   124939 |   101732 |     1659    107 |        0 |        0
65.99/66.04	c 66.0s |      15 |   128280 |   104732 |     1659    110 |        0 |        0
67.98/68.09	c 68.0s |      15 |   131800 |   107832 |     1659    113 |        0 |        0
70.08/70.13	c 70.1s |      15 |   135344 |   110932 |     1659    116 |        0 |        0
72.08/72.18	c 72.1s |      15 |   138926 |   114132 |     1659    119 |        0 |        0
74.18/74.20	c 74.1s |      15 |   142563 |   117332 |     1659    122 |        0 |        0
76.18/76.20	c 76.1s |      15 |   146078 |   120432 |     1659    125 |        0 |        0
78.19/78.25	c 78.2s |      15 |   149703 |   123632 |     1659    128 |        0 |        0
80.29/80.31	c 80.2s |      15 |   153051 |   126632 |     1659    130 |        0 |        0
82.28/82.36	c 82.3s |      15 |   156585 |   129732 |     1659    133 |        0 |        0
83.58/83.62	c 83.6s |      16 |   158551 |   131552 |     1825    135 |        0 |        0
85.58/85.66	c 85.6s |      16 |   163290 |   135252 |     1825    138 |        0 |        0
87.58/87.70	c 87.6s |      16 |   166978 |   138452 |     1825    141 |        0 |        0
89.68/89.70	c 89.6s |      16 |   170933 |   141852 |     1825    144 |        0 |        0
91.67/91.72	c 91.7s |      16 |   174675 |   145152 |     1825    146 |        0 |        0
93.67/93.76	c 93.7s |      16 |   178653 |   148652 |     1825    149 |        0 |        0
95.68/95.77	c 95.7s |      16 |   182501 |   151952 |     1825    152 |        0 |        0
97.77/97.84	c 97.8s |      16 |   185795 |   154752 |     1825    155 |        0 |        0
99.77/99.88	c 99.8s |      16 |   188482 |   157152 |     1825    157 |        0 |        0
101.87/101.92	c  101s |      16 |   192351 |   160552 |     1825    160 |        0 |        0
103.87/103.99	c  103s |      16 |   196079 |   163852 |     1825    163 |        0 |        0
105.87/105.99	c  105s |      16 |   199452 |   166852 |     1825    165 |        0 |        0
107.97/108.04	c  107s |      16 |   203010 |   170052 |     1825    168 |        0 |        0
109.98/110.04	c  109s |      16 |   205971 |   172552 |     1825    170 |        0 |        0
111.97/112.09	c  112s |      16 |   208504 |   174752 |     1825    172 |        0 |        0
114.07/114.15	c  114s |      16 |   211024 |   176952 |     1825    174 |        0 |        0
116.17/116.21	c  116s |      16 |   213537 |   179252 |     1825    176 |        0 |        0
118.17/118.23	c  118s |      16 |   216111 |   181552 |     1825    178 |        0 |        0
120.17/120.27	c  120s |      16 |   218547 |   183752 |     1825    180 |        0 |        0
122.27/122.37	c  122s |      16 |   221152 |   186052 |     1825    182 |        0 |        0
124.37/124.42	c  124s |      16 |   223697 |   188352 |     1825    184 |        0 |        0
126.47/126.50	c  126s |      16 |   227721 |   191852 |     1825    187 |        0 |        0
128.47/128.56	c  128s |      16 |   231229 |   195052 |     1825    189 |        0 |        0
130.07/130.12	c  130s |      17 |   233883 |   197432 |     2008    191 |        0 |        0
132.07/132.15	c  132s |      17 |   237839 |   200632 |     2008    194 |        0 |        0
134.06/134.19	c  134s |      17 |   240848 |   203332 |     2008    196 |        0 |        0
136.16/136.20	c  136s |      17 |   243684 |   205932 |     2008    198 |        0 |        0
138.16/138.23	c  138s |      17 |   247068 |   208932 |     2008    200 |        0 |        0
140.16/140.24	c  140s |      17 |   250410 |   211932 |     2008    203 |        0 |        0
142.16/142.25	c  142s |      17 |   253865 |   215032 |     2008    205 |        0 |        0
144.17/144.27	c  144s |      17 |   257419 |   218132 |     2008    208 |        0 |        0
146.27/146.32	c  146s |      17 |   260783 |   221132 |     2008    210 |        0 |        0
148.26/148.36	c  148s |      17 |   264320 |   224232 |     2008    212 |        0 |        0
150.36/150.41	c  150s |      17 |   267519 |   227132 |     2008    215 |        0 |        0
152.36/152.44	c  152s |      17 |   270640 |   229932 |     2008    217 |        0 |        0
154.36/154.44	c  154s |      17 |   273902 |   232832 |     2008    219 |        0 |        0
156.37/156.49	c  156s |      17 |   277055 |   235732 |     2008    222 |        0 |        0
158.48/158.56	c  158s |      17 |   280566 |   238832 |     2008    224 |        0 |        0
160.58/160.61	c  160s |      17 |   283558 |   241532 |     2008    226 |        0 |        0
162.57/162.62	c  162s |      17 |   286550 |   244232 |     2008    228 |        0 |        0
164.57/164.65	c  164s |      17 |   289319 |   246732 |     2008    230 |        0 |        0
166.57/166.68	c  166s |      17 |   292562 |   249632 |     2008    233 |        0 |        0
168.67/168.75	c  168s |      17 |   295825 |   252532 |     2008    235 |        0 |        0
170.67/170.77	c  170s |      17 |   298582 |   255032 |     2008    237 |        0 |        0
172.67/172.80	c  172s |      17 |   301709 |   257832 |     2008    239 |        0 |        0
174.76/174.85	c  174s |      17 |   304312 |   260232 |     2008    241 |        0 |        0
176.76/176.89	c  176s |      17 |   307219 |   262832 |     2008    243 |        0 |        0
178.86/178.92	c  178s |      17 |   310107 |   265432 |     2008    245 |        0 |        0
180.86/180.92	c  180s |      17 |   313139 |   268132 |     2008    247 |        0 |        0
182.86/183.00	c  182s |      17 |   316116 |   270832 |     2008    250 |        0 |        0
184.96/185.03	c  184s |      17 |   319235 |   273632 |     2008    252 |        0 |        0
186.97/187.06	c  186s |      17 |   322168 |   276232 |     2008    254 |        0 |        0
189.06/189.12	c  189s |      17 |   324905 |   278732 |     2008    256 |        0 |        0
191.06/191.12	c  191s |      17 |   327817 |   281332 |     2008    258 |        0 |        0
193.06/193.18	c  193s |      17 |   330700 |   283932 |     2008    260 |        0 |        0
195.06/195.19	c  195s |      17 |   333560 |   286532 |     2008    262 |        0 |        0
197.16/197.21	c  197s |      17 |   336310 |   289032 |     2008    264 |        0 |        0
199.17/199.25	c  199s |      17 |   339467 |   291832 |     2008    266 |        0 |        0
201.16/201.28	c  201s |      17 |   342420 |   294532 |     2209    268 |        0 |        0
202.47/202.59	c  202s |      18 |   344311 |   296252 |     2209    269 |        0 |        0
204.46/204.60	c  204s |      18 |   348755 |   299752 |     2209    272 |        0 |        0
206.56/206.65	c  206s |      18 |   352164 |   302852 |     2209    274 |        0 |        0
208.56/208.68	c  208s |      18 |   355769 |   306052 |     2209    277 |        0 |        0
210.56/210.70	c  210s |      18 |   358932 |   308952 |     2209    279 |        0 |        0
212.66/212.74	c  212s |      18 |   362668 |   312252 |     2209    281 |        0 |        0
214.66/214.75	c  214s |      18 |   365779 |   315052 |     2209    283 |        0 |        0
216.66/216.79	c  216s |      18 |   369072 |   317952 |     2209    285 |        0 |        0
218.75/218.81	c  218s |      18 |   372241 |   320752 |     2209    288 |        0 |        0
220.75/220.82	c  220s |      18 |   375689 |   323752 |     2209    290 |        0 |        0
222.75/222.89	c  222s |      18 |   378844 |   326552 |     2209    292 |        0 |        0
224.75/224.89	c  224s |      18 |   382257 |   329552 |     2209    294 |        0 |        0
226.85/226.95	c  226s |      18 |   385600 |   332552 |     2209    296 |        0 |        0
228.95/229.00	c  228s |      18 |   388897 |   335452 |     2209    298 |        0 |        0
230.96/231.00	c  230s |      18 |   392195 |   338352 |     2209    301 |        0 |        0
232.95/233.03	c  232s |      18 |   395401 |   341252 |     2209    303 |        0 |        0
234.95/235.08	c  235s |      18 |   398187 |   343752 |     2209    305 |        0 |        0
237.05/237.14	c  237s |      18 |   401036 |   346252 |     2209    306 |        0 |        0
239.05/239.15	c  239s |      18 |   404540 |   349352 |     2209    309 |        0 |        0
241.05/241.18	c  241s |      18 |   407858 |   352252 |     2209    311 |        0 |        0
243.06/243.18	c  243s |      18 |   411013 |   355052 |     2209    313 |        0 |        0
245.15/245.21	c  245s |      18 |   414367 |   358052 |     2209    315 |        0 |        0
247.15/247.24	c  247s |      18 |   417240 |   360652 |     2209    317 |        0 |        0
249.25/249.31	c  249s |      18 |   420572 |   363452 |     2209    319 |        0 |        0
251.25/251.36	c  251s |      18 |   423889 |   366152 |     2209    321 |        0 |        0
253.25/253.39	c  253s |      18 |   427188 |   368952 |     2209    323 |        0 |        0
255.35/255.45	c  255s |      18 |   429838 |   371252 |     2209    325 |        0 |        0
257.35/257.47	c  257s |      18 |   432701 |   373752 |     2209    327 |        0 |        0
259.35/259.49	c  259s |      18 |   435774 |   376552 |     2209    329 |        0 |        0
261.45/261.56	c  261s |      18 |   439053 |   379452 |     2209    331 |        0 |        0
263.55/263.61	c  263s |      18 |   442153 |   382252 |     2209    333 |        0 |        0
265.55/265.65	c  265s |      18 |   445294 |   385052 |     2209    335 |        0 |        0
267.55/267.67	c  267s |      18 |   448358 |   387752 |     2209    337 |        0 |        0
269.65/269.73	c  269s |      18 |   451122 |   390252 |     2209    339 |        0 |        0
271.75/271.80	c  271s |      18 |   454202 |   393052 |     2209    341 |        0 |        0
273.74/273.88	c  273s |      18 |   457745 |   396052 |     2209    343 |        0 |        0
275.84/275.94	c  275s |      18 |   460937 |   398852 |     2209    345 |        0 |        0
277.94/278.00	c  277s |      18 |   464052 |   401652 |     2209    347 |        0 |        0
279.94/280.05	c  279s |      18 |   467140 |   404452 |     2209    349 |        0 |        0
282.04/282.14	c  282s |      18 |   470130 |   407152 |     2209    351 |        0 |        0
284.04/284.15	c  284s |      18 |   473477 |   410052 |     2209    353 |        0 |        0
286.05/286.18	c  286s |      18 |   476727 |   412952 |     2209    356 |        0 |        0
288.04/288.19	c  288s |      18 |   479879 |   415752 |     2209    358 |        0 |        0
290.14/290.23	c  290s |      18 |   483024 |   418552 |     2209    360 |        0 |        0
292.14/292.24	c  292s |      18 |   486006 |   421252 |     2209    362 |        0 |        0
294.14/294.26	c  294s |      18 |   488982 |   423952 |     2209    364 |        0 |        0
296.24/296.32	c  296s |      18 |   492148 |   426752 |     2209    366 |        0 |        0
298.24/298.38	c  298s |      18 |   495551 |   429752 |     2209    368 |        0 |        0
300.25/300.39	c  300s |      18 |   498394 |   432252 |     2209    370 |        0 |        0
302.34/302.44	c  302s |      18 |   501305 |   434852 |     2209    372 |        0 |        0
304.34/304.47	c  304s |      18 |   504179 |   437452 |     2209    374 |        0 |        0
306.44/306.52	c  306s |      18 |   507394 |   440352 |     2209    376 |        0 |        0
308.44/308.54	c  308s |      18 |   510259 |   442952 |     2430    378 |        0 |        0
309.64/309.71	c  309s |      19 |   511958 |   444482 |     2430    379 |        0 |        0
311.64/311.74	c  311s |      19 |   515904 |   447582 |     2430    381 |        0 |        0
313.64/313.76	c  313s |      19 |   518798 |   450182 |     2430    382 |        0 |        0
315.64/315.80	c  315s |      19 |   521791 |   452882 |     2430    384 |        0 |        0
317.74/317.83	c  317s |      19 |   524937 |   455682 |     2430    386 |        0 |        0
319.74/319.83	c  319s |      19 |   528237 |   458582 |     2430    388 |        0 |        0
321.74/321.84	c  321s |      19 |   531017 |   461082 |     2430    390 |        0 |        0
323.74/323.88	c  323s |      19 |   534146 |   463882 |     2430    392 |        0 |        0
325.84/325.90	c  325s |      19 |   537488 |   466782 |     2430    394 |        0 |        0
327.84/327.91	c  327s |      19 |   540482 |   469482 |     2430    396 |        0 |        0
329.83/329.99	c  329s |      19 |   543636 |   472282 |     2430    398 |        0 |        0
331.93/332.01	c  331s |      19 |   546749 |   475082 |     2430    399 |        0 |        0
333.93/334.05	c  333s |      19 |   549722 |   477782 |     2430    401 |        0 |        0
336.04/336.10	c  336s |      19 |   552511 |   480282 |     2430    403 |        0 |        0
338.04/338.11	c  338s |      19 |   555528 |   482882 |     2430    405 |        0 |        0
340.04/340.17	c  340s |      19 |   558306 |   485382 |     2430    406 |        0 |        0
342.15/342.23	c  342s |      19 |   561508 |   488282 |     2430    408 |        0 |        0
344.25/344.30	c  344s |      19 |   564500 |   490982 |     2430    410 |        0 |        0
346.24/346.32	c  346s |      19 |   567475 |   493682 |     2430    412 |        0 |        0
348.24/348.35	c  348s |      19 |   570350 |   496282 |     2430    414 |        0 |        0
350.34/350.40	c  350s |      19 |   573355 |   498982 |     2430    416 |        0 |        0
352.34/352.42	c  352s |      19 |   575983 |   501382 |     2430    417 |        0 |        0
354.34/354.49	c  354s |      19 |   579072 |   504182 |     2430    419 |        0 |        0
356.45/356.55	c  356s |      19 |   581698 |   506582 |     2430    421 |        0 |        0
358.44/358.60	c  358s |      19 |   584445 |   509082 |     2430    423 |        0 |        0
360.54/360.60	c  360s |      19 |   586708 |   511182 |     2430    424 |        0 |        0
362.54/362.62	c  362s |      19 |   589544 |   513682 |     2430    426 |        0 |        0
364.54/364.64	c  364s |      19 |   592457 |   516282 |     2430    428 |        0 |        0
366.54/366.67	c  366s |      19 |   595094 |   518682 |     2430    429 |        0 |        0
368.64/368.70	c  368s |      19 |   597561 |   520882 |     2430    431 |        0 |        0
370.64/370.76	c  370s |      19 |   600337 |   523382 |     2430    432 |        0 |        0
372.64/372.78	c  372s |      19 |   603006 |   525782 |     2430    434 |        0 |        0
374.74/374.84	c  374s |      19 |   605872 |   528382 |     2430    436 |        0 |        0
376.73/376.87	c  376s |      19 |   608392 |   530682 |     2430    438 |        0 |        0
378.73/378.89	c  378s |      19 |   611090 |   533082 |     2430    439 |        0 |        0
380.83/380.93	c  380s |      19 |   613959 |   535682 |     2430    441 |        0 |        0
382.84/382.97	c  382s |      19 |   616612 |   538082 |     2430    443 |        0 |        0
384.83/384.98	c  384s |      19 |   619211 |   540482 |     2430    444 |        0 |        0
386.83/386.98	c  386s |      19 |   621846 |   542882 |     2430    446 |        0 |        0
388.93/389.01	c  388s |      19 |   624854 |   545582 |     2430    448 |        0 |        0
390.93/391.09	c  391s |      19 |   627814 |   548282 |     2430    450 |        0 |        0
393.03/393.15	c  393s |      19 |   630929 |   551082 |     2430    451 |        0 |        0
395.03/395.19	c  395s |      19 |   633533 |   553382 |     2430    453 |        0 |        0
397.14/397.26	c  397s |      19 |   635995 |   555582 |     2430    455 |        0 |        0
399.24/399.32	c  399s |      19 |   638581 |   557882 |     2430    456 |        0 |        0
401.23/401.33	c  401s |      19 |   640957 |   559982 |     2430    458 |        0 |        0
403.33/403.44	c  403s |      19 |   643378 |   562082 |     2430    459 |        0 |        0
405.43/405.54	c  405s |      19 |   645440 |   563982 |     2430    460 |        0 |        0
407.43/407.58	c  407s |      19 |   647702 |   565982 |     2430    462 |        0 |        0
409.53/409.63	c  409s |      19 |   650379 |   568382 |     2430    463 |        0 |        0
411.53/411.67	c  411s |      19 |   653214 |   570882 |     2430    465 |        0 |        0
413.54/413.67	c  413s |      19 |   655863 |   573282 |     2430    467 |        0 |        0
415.63/415.72	c  415s |      19 |   658131 |   575382 |     2430    468 |        0 |        0
417.63/417.77	c  417s |      19 |   660934 |   577882 |     2430    470 |        0 |        0
419.73/419.84	c  419s |      19 |   664112 |   580682 |     2430    472 |        0 |        0
421.73/421.87	c  421s |      19 |   667135 |   583382 |     2430    474 |        0 |        0
423.83/423.91	c  423s |      19 |   670046 |   585982 |     2430    475 |        0 |        0
425.83/425.93	c  425s |      19 |   672925 |   588582 |     2430    477 |        0 |        0
427.83/427.98	c  427s |      19 |   675940 |   591282 |     2430    479 |        0 |        0
429.93/430.02	c  429s |      19 |   678769 |   593782 |     2430    481 |        0 |        0
431.93/432.05	c  431s |      19 |   682331 |   596982 |     2430    483 |        0 |        0
433.93/434.06	c  434s |      19 |   685270 |   599682 |     2430    485 |        0 |        0
436.02/436.13	c  436s |      19 |   688923 |   602782 |     2430    487 |        0 |        0
438.02/438.17	c  438s |      19 |   692284 |   605682 |     2430    489 |        0 |        0
440.12/440.23	c  440s |      19 |   695470 |   608482 |     2430    491 |        0 |        0
442.13/442.26	c  442s |      19 |   698589 |   611282 |     2430    493 |        0 |        0
444.12/444.28	c  444s |      19 |   701914 |   614182 |     2430    495 |        0 |        0
446.22/446.36	c  446s |      19 |   704631 |   616682 |     2430    496 |        0 |        0
448.32/448.41	c  448s |      19 |   707557 |   619282 |     2430    498 |        0 |        0
450.32/450.44	c  450s |      19 |   710374 |   621782 |     2430    500 |        0 |        0
452.32/452.45	c  452s |      19 |   713147 |   624282 |     2430    502 |        0 |        0
454.33/454.48	c  454s |      19 |   716204 |   626982 |     2430    503 |        0 |        0
456.42/456.51	c  456s |      19 |   718571 |   629082 |     2430    505 |        0 |        0
458.42/458.54	c  458s |      19 |   720925 |   631182 |     2430    506 |        0 |        0
460.42/460.54	c  460s |      19 |   723365 |   633282 |     2430    508 |        0 |        0
462.42/462.56	c  462s |      19 |   726018 |   635682 |     2430    509 |        0 |        0
464.52/464.63	c  464s |      19 |   729110 |   638482 |     2430    511 |        0 |        0
466.52/466.69	c  466s |      19 |   732461 |   641482 |     2430    513 |        0 |        0
468.62/468.71	c  468s |      19 |   735594 |   644282 |     2430    515 |        0 |        0
470.62/470.72	c  470s |      19 |   738360 |   646782 |     2430    517 |        0 |        0
472.72/472.80	c  472s |      19 |   741092 |   649282 |     2430    519 |        0 |        0
474.71/474.81	c  474s |      19 |   744444 |   652182 |     2430    521 |        0 |        0
476.71/476.84	c  476s |      19 |   747898 |   655282 |     2430    523 |        0 |        0
478.71/478.89	c  478s |      19 |   751314 |   658282 |     2430    525 |        0 |        0
480.81/480.90	c  480s |      19 |   754307 |   660982 |     2430    527 |        0 |        0
482.82/482.93	c  482s |      19 |   757560 |   663882 |     2673    529 |        0 |        0
484.81/484.96	c  484s |      19 |   760813 |   666782 |     2673    530 |        0 |        0
484.81/484.99	c  484s |      20 |   760868 |   666827 |     2673    530 |        0 |        0
486.91/487.00	c  486s |      20 |   764911 |   670127 |     2673    533 |        0 |        0
488.91/489.00	c  488s |      20 |   767797 |   672727 |     2673    534 |        0 |        0
490.91/491.04	c  490s |      20 |   770568 |   675227 |     2673    536 |        0 |        0
492.91/493.06	c  492s |      20 |   773120 |   677527 |     2673    537 |        0 |        0
494.92/495.10	c  495s |      20 |   775632 |   679827 |     2673    539 |        0 |        0
497.01/497.11	c  497s |      20 |   778444 |   682327 |     2673    540 |        0 |        0
499.01/499.12	c  499s |      20 |   781444 |   684927 |     2673    542 |        0 |        0
501.01/501.16	c  501s |      20 |   784003 |   687227 |     2673    543 |        0 |        0
503.11/503.22	c  503s |      20 |   786795 |   689727 |     2673    545 |        0 |        0
505.11/505.29	c  505s |      20 |   789464 |   692127 |     2673    546 |        0 |        0
507.21/507.32	c  507s |      20 |   791772 |   694227 |     2673    548 |        0 |        0
509.21/509.35	c  509s |      20 |   794703 |   696827 |     2673    549 |        0 |        0
511.31/511.40	c  511s |      20 |   797484 |   699327 |     2673    551 |        0 |        0
513.31/513.44	c  513s |      20 |   800191 |   701727 |     2673    552 |        0 |        0
515.31/515.49	c  515s |      20 |   803409 |   704627 |     2673    554 |        0 |        0
517.41/517.52	c  517s |      20 |   806417 |   707327 |     2673    556 |        0 |        0
519.41/519.59	c  519s |      20 |   809288 |   709927 |     2673    558 |        0 |        0
521.51/521.63	c  521s |      20 |   812315 |   712627 |     2673    559 |        0 |        0
523.52/523.67	c  523s |      20 |   814988 |   715027 |     2673    561 |        0 |        0
525.61/525.75	c  525s |      20 |   817704 |   717527 |     2673    562 |        0 |        0
527.61/527.77	c  527s |      20 |   820479 |   720027 |     2673    564 |        0 |        0
529.71/529.87	c  529s |      20 |   823214 |   722527 |     2673    566 |        0 |        0
531.81/531.93	c  531s |      20 |   826193 |   725227 |     2673    567 |        0 |        0
533.91/534.05	c  533s |      20 |   828930 |   727727 |     2673    569 |        0 |        0
535.91/536.10	c  536s |      20 |   831928 |   730427 |     2673    570 |        0 |        0
538.01/538.14	c  538s |      20 |   834568 |   732827 |     2673    572 |        0 |        0
540.02/540.15	c  540s |      20 |   837249 |   735227 |     2673    574 |        0 |        0
542.01/542.16	c  542s |      20 |   840420 |   738027 |     2673    575 |        0 |        0
544.01/544.17	c  544s |      20 |   843259 |   740627 |     2673    577 |        0 |        0
546.11/546.21	c  546s |      20 |   846209 |   743227 |     2673    579 |        0 |        0
548.11/548.22	c  548s |      20 |   849159 |   745927 |     2673    580 |        0 |        0
550.11/550.27	c  550s |      20 |   851780 |   748327 |     2673    582 |        0 |        0
552.22/552.35	c  552s |      20 |   854208 |   750527 |     2673    583 |        0 |        0
554.21/554.37	c  554s |      20 |   857143 |   753127 |     2673    585 |        0 |        0
556.31/556.43	c  556s |      20 |   859963 |   755627 |     2673    586 |        0 |        0
558.31/558.48	c  558s |      20 |   863114 |   758427 |     2673    588 |        0 |        0
560.31/560.48	c  560s |      20 |   865424 |   760527 |     2673    589 |        0 |        0
562.41/562.51	c  562s |      20 |   869030 |   763427 |     2673    591 |        0 |        0
564.41/564.54	c  564s |      20 |   872011 |   765927 |     2673    593 |        0 |        0
566.41/566.55	c  566s |      20 |   874561 |   768127 |     2673    594 |        0 |        0
568.51/568.65	c  568s |      20 |   877026 |   770227 |     2673    596 |        0 |        0
570.61/570.73	c  570s |      20 |   879435 |   772327 |     2673    597 |        0 |        0
572.61/572.78	c  572s |      20 |   881942 |   774527 |     2673    598 |        0 |        0
574.70/574.82	c  574s |      20 |   885380 |   777527 |     2673    600 |        0 |        0
576.70/576.83	c  576s |      20 |   888529 |   780327 |     2673    602 |        0 |        0
578.70/578.90	c  578s |      20 |   891330 |   782827 |     2673    604 |        0 |        0
580.81/580.95	c  580s |      20 |   894002 |   785227 |     2673    605 |        0 |        0
582.91/583.01	c  582s |      20 |   897397 |   788227 |     2673    607 |        0 |        0
584.90/585.04	c  584s |      20 |   900331 |   790927 |     2673    609 |        0 |        0
586.90/587.05	c  586s |      20 |   903341 |   793627 |     2673    610 |        0 |        0
588.90/589.08	c  589s |      20 |   906434 |   796327 |     2673    612 |        0 |        0
591.00/591.12	c  591s |      20 |   909716 |   799227 |     2673    614 |        0 |        0
593.00/593.16	c  593s |      20 |   913018 |   802127 |     2673    616 |        0 |        0
595.01/595.18	c  595s |      20 |   916237 |   805027 |     2673    618 |        0 |        0
597.10/597.22	c  597s |      20 |   919292 |   807727 |     2673    619 |        0 |        0
599.10/599.27	c  599s |      20 |   922526 |   810627 |     2673    621 |        0 |        0
601.10/601.28	c  601s |      20 |   925603 |   813427 |     2673    623 |        0 |        0
603.20/603.35	c  603s |      20 |   928583 |   816127 |     2673    625 |        0 |        0
605.30/605.42	c  605s |      20 |   932035 |   819127 |     2673    627 |        0 |        0
607.30/607.49	c  607s |      20 |   935038 |   821827 |     2673    628 |        0 |        0
609.40/609.54	c  609s |      20 |   937881 |   824327 |     2673    630 |        0 |        0
611.40/611.57	c  611s |      20 |   940652 |   826827 |     2673    631 |        0 |        0
613.50/613.63	c  613s |      20 |   943524 |   829327 |     2673    633 |        0 |        0
615.50/615.65	c  615s |      20 |   946700 |   832127 |     2673    635 |        0 |        0
617.50/617.69	c  617s |      20 |   949729 |   834827 |     2673    636 |        0 |        0
619.60/619.75	c  619s |      20 |   952838 |   837627 |     2673    638 |        0 |        0
621.70/621.83	c  621s |      20 |   955649 |   840127 |     2673    640 |        0 |        0
623.70/623.84	c  623s |      20 |   958165 |   842327 |     2673    641 |        0 |        0
625.69/625.84	c  625s |      20 |   960973 |   844827 |     2673    643 |        0 |        0
627.69/627.89	c  627s |      20 |   963387 |   847027 |     2673    644 |        0 |        0
629.79/629.95	c  629s |      20 |   966252 |   849527 |     2673    646 |        0 |        0
631.79/631.98	c  631s |      20 |   968883 |   851927 |     2673    647 |        0 |        0
633.79/633.99	c  633s |      20 |   971509 |   854327 |     2673    649 |        0 |        0
635.89/636.05	c  635s |      20 |   974287 |   856827 |     2673    650 |        0 |        0
638.00/638.13	c  638s |      20 |   976812 |   859127 |     2673    652 |        0 |        0
639.99/640.19	c  640s |      20 |   979631 |   861627 |     2673    653 |        0 |        0
642.09/642.22	c  642s |      20 |   982579 |   864327 |     2673    655 |        0 |        0
644.09/644.24	c  644s |      20 |   985443 |   866927 |     2673    657 |        0 |        0
646.19/646.30	c  646s |      20 |   988242 |   869427 |     2673    658 |        0 |        0
648.19/648.30	c  648s |      20 |   991003 |   871927 |     2673    660 |        0 |        0
650.19/650.30	c  650s |      20 |   993679 |   874327 |     2673    661 |        0 |        0
652.20/652.30	c  652s |      20 |   996126 |   876527 |     2673    663 |        0 |        0
654.19/654.32	c  654s |      20 |   999004 |   879027 |     2673    664 |        0 |        0
656.19/656.35	c  656s |      20 |  1002124 |   881827 |     2673    666 |        0 |        0
658.19/658.37	c  658s |      20 |  1005339 |   884627 |     2673    668 |        0 |        0
660.19/660.38	c  660s |      20 |  1008161 |   887227 |     2673    670 |        0 |        0
662.29/662.44	c  662s |      20 |  1011218 |   890027 |     2673    671 |        0 |        0
664.29/664.45	c  664s |      20 |  1014200 |   892627 |     2673    673 |        0 |        0
666.39/666.51	c  666s |      20 |  1017269 |   895327 |     2673    675 |        0 |        0
668.39/668.51	c  668s |      20 |  1019723 |   897527 |     2673    676 |        0 |        0
670.39/670.51	c  670s |      20 |  1022287 |   899827 |     2673    677 |        0 |        0
672.39/672.56	c  672s |      20 |  1025169 |   902427 |     2673    679 |        0 |        0
674.49/674.67	c  674s |      20 |  1027598 |   904627 |     2673    681 |        0 |        0
676.49/676.68	c  676s |      20 |  1030159 |   906927 |     2673    682 |        0 |        0
678.59/678.75	c  678s |      20 |  1033283 |   909627 |     2673    684 |        0 |        0
680.68/680.80	c  680s |      20 |  1036035 |   912127 |     2673    685 |        0 |        0
682.68/682.84	c  682s |      20 |  1038777 |   914627 |     2673    687 |        0 |        0
684.78/684.93	c  684s |      20 |  1041580 |   917127 |     2673    688 |        0 |        0
686.88/687.00	c  686s |      20 |  1044199 |   919527 |     2673    690 |        0 |        0
688.88/689.07	c  689s |      20 |  1046651 |   921727 |     2673    691 |        0 |        0
690.88/691.09	c  691s |      20 |  1049725 |   924427 |     2673    693 |        0 |        0
692.99/693.13	c  693s |      20 |  1052749 |   927127 |     2673    695 |        0 |        0
694.99/695.17	c  695s |      20 |  1055560 |   929627 |     2673    696 |        0 |        0
697.09/697.20	c  697s |      20 |  1058064 |   931927 |     2673    698 |        0 |        0
699.09/699.23	c  699s |      20 |  1060777 |   934327 |     2673    699 |        0 |        0
701.09/701.25	c  701s |      20 |  1063967 |   937127 |     2673    701 |        0 |        0
703.09/703.26	c  703s |      20 |  1067151 |   939927 |     2673    703 |        0 |        0
705.19/705.30	c  705s |      20 |  1070527 |   942927 |     2673    705 |        0 |        0
707.19/707.32	c  707s |      20 |  1073394 |   945527 |     2673    706 |        0 |        0
709.19/709.33	c  709s |      20 |  1076532 |   948327 |     2673    708 |        0 |        0
711.18/711.36	c  711s |      20 |  1079421 |   950927 |     2673    710 |        0 |        0
713.28/713.43	c  713s |      20 |  1082166 |   953427 |     2673    711 |        0 |        0
715.38/715.51	c  715s |      20 |  1084790 |   955727 |     2673    713 |        0 |        0
717.38/717.53	c  717s |      20 |  1087272 |   957927 |     2673    714 |        0 |        0
719.48/719.63	c  719s |      20 |  1089719 |   960127 |     2673    716 |        0 |        0
721.49/721.69	c  721s |      20 |  1092192 |   962327 |     2673    717 |        0 |        0
723.58/723.73	c  723s |      20 |  1094622 |   964527 |     2673    718 |        0 |        0
725.58/725.75	c  725s |      20 |  1097582 |   967127 |     2673    720 |        0 |        0
727.68/727.80	c  727s |      20 |  1100789 |   970027 |     2673    722 |        0 |        0
729.78/729.92	c  729s |      20 |  1103805 |   972727 |     2673    724 |        0 |        0
731.77/731.95	c  731s |      20 |  1106666 |   975327 |     2673    725 |        0 |        0
733.87/734.00	c  733s |      20 |  1109544 |   977927 |     2673    727 |        0 |        0
735.88/736.02	c  735s |      20 |  1113165 |   981127 |     2673    729 |        0 |        0
737.87/738.10	c  738s |      20 |  1116226 |   983927 |     2673    731 |        0 |        0
739.97/740.15	c  740s |      20 |  1119466 |   986727 |     2673    732 |        0 |        0
742.07/742.23	c  742s |      20 |  1122363 |   989327 |     2673    734 |        0 |        0
744.07/744.26	c  744s |      20 |  1125212 |   991827 |     2673    736 |        0 |        0
746.17/746.32	c  746s |      20 |  1128070 |   994427 |     2941    737 |        0 |        0
748.17/748.38	c  748s |      20 |  1130787 |   996927 |     2941    738 |        0 |        0
750.27/750.44	c  750s |      20 |  1133317 |   999227 |     2941    740 |        0 |        0
750.96/751.15	c  751s |      21 |  1134598 |  1000345 |     2941    740 |        0 |        0
752.96/753.18	c  753s |      21 |  1138589 |  1003545 |     2941    742 |        0 |        0
754.96/755.19	c  755s |      21 |  1141130 |  1005845 |     2941    744 |        0 |        0
757.06/757.20	c  757s |      21 |  1143658 |  1008145 |     2941    745 |        0 |        0
759.06/759.25	c  759s |      21 |  1146265 |  1010545 |     2941    746 |        0 |        0
761.07/761.27	c  761s |      21 |  1148887 |  1012945 |     2941    748 |        0 |        0
763.16/763.34	c  763s |      21 |  1151513 |  1015345 |     2941    749 |        0 |        0
765.26/765.42	c  765s |      21 |  1154143 |  1017745 |     2941    751 |        0 |        0
767.26/767.49	c  767s |      21 |  1157470 |  1020645 |     2941    752 |        0 |        0
769.36/769.55	c  769s |      21 |  1160319 |  1023145 |     2941    754 |        0 |        0
771.35/771.56	c  771s |      21 |  1162878 |  1025445 |     2941    755 |        0 |        0
773.45/773.61	c  773s |      21 |  1165469 |  1027745 |     2941    756 |        0 |        0
775.46/775.62	c  775s |      21 |  1167678 |  1029745 |     2941    757 |        0 |        0
777.45/777.68	c  777s |      21 |  1170366 |  1032145 |     2941    759 |        0 |        0
779.55/779.73	c  779s |      21 |  1173110 |  1034545 |     2941    760 |        0 |        0
781.54/781.77	c  781s |      21 |  1175903 |  1037045 |     2941    762 |        0 |        0
783.54/783.79	c  783s |      21 |  1178405 |  1039245 |     2941    763 |        0 |        0
785.64/785.82	c  785s |      21 |  1181311 |  1041845 |     2941    764 |        0 |        0
787.64/787.83	c  787s |      21 |  1183856 |  1044145 |     2941    766 |        0 |        0
789.65/789.87	c  789s |      21 |  1186437 |  1046445 |     2941    767 |        0 |        0
791.74/791.94	c  791s |      21 |  1189141 |  1048845 |     2941    769 |        0 |        0
793.74/793.98	c  793s |      21 |  1192394 |  1051745 |     2941    770 |        0 |        0
795.84/796.08	c  796s |      21 |  1195411 |  1054445 |     2941    772 |        0 |        0
797.94/798.15	c  798s |      21 |  1198082 |  1056845 |     2941    773 |        0 |        0
800.04/800.26	c  800s |      21 |  1200662 |  1059145 |     2941    775 |        0 |        0
802.04/802.27	c  802s |      21 |  1203117 |  1061345 |     2941    776 |        0 |        0
804.14/804.35	c  804s |      21 |  1205701 |  1063645 |     2941    777 |        0 |        0
806.14/806.39	c  806s |      21 |  1208049 |  1065745 |     2941    778 |        0 |        0
808.24/808.40	c  808s |      21 |  1210320 |  1067745 |     2941    780 |        0 |        0
810.23/810.42	c  810s |      21 |  1212757 |  1069945 |     2941    781 |        0 |        0
812.33/812.52	c  812s |      21 |  1214875 |  1071845 |     2941    782 |        0 |        0
814.43/814.60	c  814s |      21 |  1217894 |  1074545 |     2941    783 |        0 |        0
816.43/816.67	c  816s |      21 |  1220818 |  1077145 |     2941    785 |        0 |        0
818.53/818.73	c  818s |      21 |  1223540 |  1079645 |     2941    786 |        0 |        0
820.63/820.80	c  820s |      21 |  1226285 |  1081945 |     2941    788 |        0 |        0
822.63/822.82	c  822s |      21 |  1228893 |  1084245 |     2941    789 |        0 |        0
824.73/824.92	c  824s |      21 |  1231472 |  1086545 |     2941    790 |        0 |        0
826.83/827.00	c  826s |      21 |  1233959 |  1088745 |     2941    792 |        0 |        0
828.83/829.06	c  829s |      21 |  1236412 |  1090945 |     2941    793 |        0 |        0
830.92/831.13	c  831s |      21 |  1238786 |  1093045 |     2941    794 |        0 |        0
832.92/833.13	c  833s |      21 |  1241290 |  1095245 |     2941    795 |        0 |        0
834.92/835.18	c  835s |      21 |  1243767 |  1097445 |     2941    797 |        0 |        0
837.02/837.21	c  837s |      21 |  1246129 |  1099545 |     2941    798 |        0 |        0
839.02/839.27	c  839s |      21 |  1249825 |  1102845 |     2941    800 |        0 |        0
841.11/841.38	c  841s |      21 |  1252927 |  1105645 |     2941    802 |        0 |        0
843.21/843.42	c  843s |      21 |  1256035 |  1108445 |     2941    803 |        0 |        0
845.21/845.49	c  845s |      21 |  1258639 |  1110745 |     2941    804 |        0 |        0
847.31/847.56	c  847s |      21 |  1261278 |  1113145 |     2941    806 |        0 |        0
849.41/849.60	c  849s |      21 |  1263820 |  1115445 |     2941    807 |        0 |        0
851.41/851.68	c  851s |      21 |  1266462 |  1117845 |     2941    809 |        0 |        0
853.41/853.70	c  853s |      21 |  1269000 |  1120145 |     2941    810 |        0 |        0
855.51/855.78	c  855s |      21 |  1271555 |  1122445 |     2941    811 |        0 |        0
857.60/857.81	c  857s |      21 |  1274675 |  1125145 |     2941    813 |        0 |        0
859.60/859.88	c  859s |      21 |  1277978 |  1128045 |     2941    815 |        0 |        0
861.70/861.91	c  861s |      21 |  1281268 |  1131045 |     2941    816 |        0 |        0
863.70/863.96	c  863s |      21 |  1284456 |  1133945 |     2941    818 |        0 |        0
865.71/865.98	c  865s |      21 |  1287738 |  1136845 |     2941    820 |        0 |        0
867.71/867.99	c  867s |      21 |  1290905 |  1139645 |     2941    821 |        0 |        0
869.81/870.05	c  869s |      21 |  1293737 |  1142245 |     2941    823 |        0 |        0
871.80/872.05	c  871s |      21 |  1296888 |  1145045 |     2941    824 |        0 |        0
873.80/874.05	c  873s |      21 |  1299173 |  1147145 |     2941    826 |        0 |        0
875.90/876.11	c  876s |      21 |  1301652 |  1149345 |     2941    827 |        0 |        0
877.90/878.15	c  878s |      21 |  1304833 |  1152145 |     2941    829 |        0 |        0
879.91/880.18	c  880s |      21 |  1307871 |  1154845 |     2941    830 |        0 |        0
881.89/882.19	c  882s |      21 |  1311030 |  1157545 |     2941    832 |        0 |        0
883.99/884.26	c  884s |      21 |  1314210 |  1160345 |     2941    833 |        0 |        0
886.09/886.30	c  886s |      21 |  1317708 |  1163445 |     2941    835 |        0 |        0
888.09/888.31	c  888s |      21 |  1320718 |  1166145 |     2941    837 |        0 |        0
890.09/890.36	c  890s |      21 |  1323566 |  1168745 |     2941    838 |        0 |        0
892.09/892.38	c  892s |      21 |  1326196 |  1171145 |     2941    840 |        0 |        0
894.20/894.45	c  894s |      21 |  1328704 |  1173445 |     2941    841 |        0 |        0
896.19/896.49	c  896s |      21 |  1331875 |  1176145 |     2941    842 |        0 |        0
898.29/898.54	c  898s |      21 |  1334632 |  1178645 |     2941    844 |        0 |        0
900.28/900.55	c  900s |      21 |  1337558 |  1181245 |     2941    845 |        0 |        0
902.38/902.60	c  902s |      21 |  1340847 |  1184145 |     2941    847 |        0 |        0
904.38/904.64	c  904s |      21 |  1343834 |  1186845 |     2941    849 |        0 |        0
906.38/906.65	c  906s |      21 |  1346813 |  1189545 |     2941    850 |        0 |        0
908.39/908.68	c  908s |      21 |  1349903 |  1192245 |     2941    852 |        0 |        0
910.47/910.73	c  910s |      21 |  1352846 |  1194845 |     2941    853 |        0 |        0
912.47/912.75	c  912s |      21 |  1355996 |  1197645 |     2941    855 |        0 |        0
914.57/914.81	c  914s |      21 |  1359161 |  1200445 |     2941    857 |        0 |        0
916.57/916.81	c  916s |      21 |  1362388 |  1203245 |     2941    858 |        0 |        0
918.57/918.83	c  918s |      21 |  1365644 |  1206145 |     2941    860 |        0 |        0
920.57/920.86	c  920s |      21 |  1368630 |  1208845 |     2941    861 |        0 |        0
922.67/922.91	c  922s |      21 |  1371820 |  1211645 |     2941    863 |        0 |        0
924.67/924.93	c  924s |      21 |  1374844 |  1214345 |     2941    865 |        0 |        0
926.67/926.96	c  926s |      21 |  1377862 |  1217045 |     2941    866 |        0 |        0
928.66/928.97	c  928s |      21 |  1380869 |  1219745 |     2941    868 |        0 |        0
930.76/931.01	c  930s |      21 |  1384135 |  1222545 |     2941    869 |        0 |        0
932.76/933.05	c  932s |      21 |  1387073 |  1225145 |     2941    871 |        0 |        0
934.87/935.11	c  935s |      21 |  1390303 |  1228045 |     2941    873 |        0 |        0
936.86/937.16	c  937s |      21 |  1393397 |  1230845 |     2941    874 |        0 |        0
938.96/939.21	c  939s |      21 |  1396198 |  1233345 |     2941    876 |        0 |        0
940.95/941.26	c  941s |      21 |  1399311 |  1236145 |     2941    877 |        0 |        0
942.95/943.27	c  943s |      21 |  1402187 |  1238645 |     2941    879 |        0 |        0
945.05/945.34	c  945s |      21 |  1405484 |  1241545 |     2941    880 |        0 |        0
947.05/947.34	c  947s |      21 |  1408488 |  1244245 |     2941    882 |        0 |        0
949.16/949.43	c  949s |      21 |  1411258 |  1246745 |     2941    883 |        0 |        0
951.14/951.46	c  951s |      21 |  1413869 |  1249045 |     2941    885 |        0 |        0
953.14/953.50	c  953s |      21 |  1417211 |  1252045 |     2941    887 |        0 |        0
955.24/955.57	c  955s |      21 |  1420205 |  1254745 |     2941    888 |        0 |        0
957.34/957.66	c  957s |      21 |  1422885 |  1257145 |     2941    890 |        0 |        0
959.34/959.68	c  959s |      21 |  1426077 |  1259845 |     2941    891 |        0 |        0
961.43/961.73	c  961s |      21 |  1429593 |  1262945 |     2941    893 |        0 |        0
963.44/963.74	c  963s |      21 |  1432794 |  1265745 |     2941    895 |        0 |        0
965.43/965.77	c  965s |      21 |  1435987 |  1268645 |     2941    896 |        0 |        0
967.53/967.82	c  967s |      21 |  1439372 |  1271645 |     2941    898 |        0 |        0
969.53/969.82	c  969s |      21 |  1442545 |  1274545 |     2941    900 |        0 |        0
971.53/971.88	c  971s |      21 |  1445712 |  1277445 |     2941    901 |        0 |        0
973.54/973.89	c  973s |      21 |  1448967 |  1280345 |     2941    903 |        0 |        0
975.64/975.91	c  975s |      21 |  1452162 |  1283145 |     2941    905 |        0 |        0
977.65/977.92	c  977s |      21 |  1455527 |  1286145 |     2941    906 |        0 |        0
979.64/979.96	c  979s |      21 |  1459066 |  1289345 |     2941    908 |        0 |        0
981.73/982.01	c  981s |      21 |  1462393 |  1292345 |     2941    910 |        0 |        0
983.73/984.07	c  984s |      21 |  1465457 |  1295145 |     2941    912 |        0 |        0
985.73/986.08	c  986s |      21 |  1468841 |  1298145 |     2941    913 |        0 |        0
987.83/988.14	c  988s |      21 |  1471991 |  1300945 |     2941    915 |        0 |        0
989.84/990.15	c  990s |      21 |  1474932 |  1303645 |     2941    917 |        0 |        0
991.83/992.20	c  992s |      21 |  1478436 |  1306745 |     2941    918 |        0 |        0
993.93/994.20	c  994s |      21 |  1481495 |  1309545 |     2941    920 |        0 |        0
995.93/996.26	c  996s |      21 |  1484635 |  1312445 |     2941    922 |        0 |        0
997.93/998.28	c  998s |      21 |  1487766 |  1315245 |     2941    923 |        0 |        0
999.93/1000.29	c 1000s |      21 |  1490753 |  1317945 |     2941    925 |        0 |        0
1002.02/1002.30	c 1002s |      21 |  1493589 |  1320545 |     2941    926 |        0 |        0
1004.03/1004.33	c 1004s |      21 |  1496700 |  1323345 |     2941    928 |        0 |        0
1006.02/1006.34	c 1006s |      21 |  1499559 |  1325945 |     2941    929 |        0 |        0
1008.02/1008.37	c 1008s |      21 |  1502620 |  1328645 |     2941    931 |        0 |        0
1010.12/1010.43	c 1010s |      21 |  1505380 |  1331145 |     2941    932 |        0 |        0
1012.11/1012.49	c 1012s |      21 |  1509042 |  1334345 |     2941    934 |        0 |        0
1014.11/1014.49	c 1014s |      21 |  1512442 |  1337345 |     2941    936 |        0 |        0
1016.22/1016.53	c 1016s |      21 |  1515580 |  1340145 |     2941    938 |        0 |        0
1018.21/1018.57	c 1018s |      21 |  1518718 |  1342945 |     2941    939 |        0 |        0
1020.21/1020.59	c 1020s |      21 |  1521961 |  1345845 |     2941    941 |        0 |        0
1022.30/1022.65	c 1022s |      21 |  1524820 |  1348345 |     2941    942 |        0 |        0
1024.30/1024.67	c 1024s |      21 |  1527610 |  1350845 |     2941    944 |        0 |        0
1026.40/1026.73	c 1026s |      21 |  1529787 |  1352845 |     2941    945 |        0 |        0
1028.40/1028.77	c 1028s |      21 |  1532634 |  1355345 |     2941    947 |        0 |        0
1030.50/1030.82	c 1030s |      21 |  1535481 |  1357945 |     2941    948 |        0 |        0
1032.50/1032.83	c 1032s |      21 |  1538096 |  1360345 |     2941    949 |        0 |        0
1034.50/1034.83	c 1034s |      21 |  1541086 |  1362945 |     2941    951 |        0 |        0
1036.50/1036.87	c 1036s |      21 |  1543665 |  1365345 |     2941    952 |        0 |        0
1038.50/1038.88	c 1038s |      21 |  1546602 |  1367945 |     2941    954 |        0 |        0
1040.59/1040.93	c 1040s |      21 |  1549153 |  1370245 |     2941    955 |        0 |        0
1042.69/1043.02	c 1042s |      21 |  1551562 |  1372445 |     2941    956 |        0 |        0
1044.70/1045.06	c 1044s |      21 |  1554375 |  1374945 |     2941    958 |        0 |        0
1046.79/1047.12	c 1047s |      21 |  1557018 |  1377345 |     2941    959 |        0 |        0
1048.89/1049.21	c 1049s |      21 |  1559356 |  1379445 |     2941    961 |        0 |        0
1050.89/1051.23	c 1051s |      21 |  1562853 |  1382445 |     2941    962 |        0 |        0
1052.89/1053.24	c 1053s |      21 |  1565873 |  1385145 |     2941    964 |        0 |        0
1054.98/1055.33	c 1055s |      21 |  1569109 |  1387945 |     2941    965 |        0 |        0
1056.98/1057.37	c 1057s |      21 |  1571889 |  1390445 |     2941    967 |        0 |        0
1059.09/1059.44	c 1059s |      21 |  1574907 |  1393145 |     2941    968 |        0 |        0
1061.19/1061.53	c 1061s |      21 |  1577894 |  1395845 |     2941    970 |        0 |        0
1063.18/1063.57	c 1063s |      21 |  1580645 |  1398345 |     2941    971 |        0 |        0
1065.28/1065.60	c 1065s |      21 |  1583661 |  1401045 |     2941    973 |        0 |        0
1067.28/1067.67	c 1067s |      21 |  1586676 |  1403745 |     2941    975 |        0 |        0
1069.38/1069.73	c 1069s |      21 |  1589283 |  1406145 |     2941    976 |        0 |        0
1071.38/1071.78	c 1071s |      21 |  1592628 |  1409145 |     2941    978 |        0 |        0
1073.48/1073.82	c 1073s |      21 |  1595930 |  1412145 |     2941    980 |        0 |        0
1075.49/1075.88	c 1075s |      21 |  1599178 |  1415045 |     2941    981 |        0 |        0
1077.58/1077.91	c 1077s |      21 |  1601958 |  1417545 |     2941    983 |        0 |        0
1079.58/1079.97	c 1079s |      21 |  1604945 |  1420245 |     2941    984 |        0 |        0
1081.68/1082.03	c 1081s |      21 |  1607959 |  1422945 |     2941    986 |        0 |        0
1083.68/1084.09	c 1084s |      21 |  1610820 |  1425545 |     2941    987 |        0 |        0
1085.78/1086.17	c 1086s |      21 |  1613845 |  1428245 |     2941    989 |        0 |        0
1087.87/1088.22	c 1088s |      21 |  1616320 |  1430445 |     2941    990 |        0 |        0
1089.88/1090.22	c 1090s |      21 |  1618880 |  1432745 |     2941    991 |        0 |        0
1091.87/1092.29	c 1092s |      21 |  1621592 |  1435145 |     2941    993 |        0 |        0
1093.97/1094.31	c 1094s |      21 |  1623684 |  1437045 |     2941    994 |        0 |        0
1095.97/1096.34	c 1096s |      21 |  1626751 |  1439745 |     2941    996 |        0 |        0
1097.97/1098.39	c 1098s |      21 |  1629579 |  1442345 |     2941    997 |        0 |        0
1100.07/1100.40	c 1100s |      21 |  1632324 |  1444845 |     2941    998 |        0 |        0
1102.07/1102.41	c 1102s |      21 |  1634748 |  1447045 |     2941   1000 |        0 |        0
1104.07/1104.42	c 1104s |      21 |  1637815 |  1449745 |     2941   1001 |        0 |        0
1106.07/1106.47	c 1106s |      21 |  1640510 |  1452145 |     2941   1003 |        0 |        0
1108.17/1108.57	c 1108s |      21 |  1643102 |  1454445 |     2941   1004 |        0 |        0
1110.27/1110.64	c 1110s |      21 |  1646018 |  1457045 |     2941   1006 |        0 |        0
1112.26/1112.70	c 1112s |      21 |  1648820 |  1459545 |     2941   1007 |        0 |        0
1114.36/1114.79	c 1114s |      21 |  1651598 |  1462045 |     2941   1008 |        0 |        0
1116.46/1116.85	c 1116s |      21 |  1654529 |  1464645 |     2941   1010 |        0 |        0
1118.47/1118.86	c 1118s |      21 |  1657051 |  1466945 |     2941   1011 |        0 |        0
1120.45/1120.86	c 1120s |      21 |  1659433 |  1469145 |     2941   1013 |        0 |        0
1122.55/1122.95	c 1122s |      21 |  1661709 |  1471245 |     2941   1014 |        0 |        0
1124.55/1124.98	c 1124s |      21 |  1664335 |  1473645 |     2941   1015 |        0 |        0
1126.55/1126.99	c 1126s |      21 |  1666840 |  1475945 |     2941   1017 |        0 |        0
1128.65/1129.00	c 1128s |      21 |  1670088 |  1478845 |     2941   1018 |        0 |        0
1130.65/1131.07	c 1131s |      21 |  1672884 |  1481345 |     2941   1020 |        0 |        0
1132.76/1133.15	c 1133s |      21 |  1675410 |  1483645 |     2941   1021 |        0 |        0
1134.75/1135.20	c 1135s |      21 |  1677729 |  1485745 |     2941   1022 |        0 |        0
1136.85/1137.22	c 1137s |      21 |  1680069 |  1487845 |     2941   1023 |        0 |        0
1138.85/1139.23	c 1139s |      21 |  1683206 |  1490645 |     3236   1025 |        0 |        0
1140.94/1141.31	c 1141s |      21 |  1685898 |  1493045 |     3236   1026 |        0 |        0
1142.94/1143.31	c 1143s |      21 |  1688113 |  1495045 |     3236   1027 |        0 |        0
1144.94/1145.36	c 1145s |      21 |  1691298 |  1497745 |     3236   1029 |        0 |        0
1147.05/1147.41	c 1147s |      21 |  1694429 |  1500545 |     3236   1030 |        0 |        0
1147.05/1147.46	c 1147s |      22 |  1694512 |  1500622 |     3236   1030 |        0 |        0
1149.04/1149.46	c 1149s |      22 |  1697794 |  1503122 |     3236   1032 |        0 |        0
1151.04/1151.48	c 1151s |      22 |  1700335 |  1505322 |     3236   1033 |        0 |        0
1153.14/1153.55	c 1153s |      22 |  1702572 |  1507322 |     3236   1034 |        0 |        0
1155.24/1155.63	c 1155s |      22 |  1704556 |  1509122 |     3236   1035 |        0 |        0
1157.24/1157.68	c 1157s |      22 |  1706526 |  1510922 |     3236   1036 |        0 |        0
1159.34/1159.72	c 1159s |      22 |  1708374 |  1512622 |     3236   1037 |        0 |        0
1161.43/1161.83	c 1161s |      22 |  1710245 |  1514322 |     3236   1038 |        0 |        0
1163.44/1163.83	c 1163s |      22 |  1712119 |  1516022 |     3236   1039 |        0 |        0
1165.53/1165.96	c 1165s |      22 |  1713981 |  1517722 |     3236   1040 |        0 |        0
1167.53/1167.97	c 1167s |      22 |  1716093 |  1519522 |     3236   1040 |        0 |        0
1169.53/1169.97	c 1169s |      22 |  1718114 |  1521222 |     3236   1041 |        0 |        0
1171.53/1171.98	c 1171s |      22 |  1719807 |  1522722 |     3236   1042 |        0 |        0
1173.63/1174.04	c 1173s |      22 |  1721488 |  1524222 |     3236   1043 |        0 |        0
1175.73/1176.18	c 1176s |      22 |  1723138 |  1525722 |     3236   1044 |        0 |        0
1177.83/1178.21	c 1178s |      22 |  1724729 |  1527122 |     3236   1045 |        0 |        0
1179.82/1180.30	c 1180s |      22 |  1726149 |  1528422 |     3236   1045 |        0 |        0
1182.02/1182.43	c 1182s |      22 |  1727581 |  1529722 |     3236   1046 |        0 |        0
1184.12/1184.54	c 1184s |      22 |  1729755 |  1531622 |     3236   1047 |        0 |        0
1186.12/1186.58	c 1186s |      22 |  1731418 |  1533122 |     3236   1048 |        0 |        0
1188.32/1188.71	c 1188s |      22 |  1732966 |  1534522 |     3236   1049 |        0 |        0
1190.31/1190.72	c 1190s |      22 |  1734808 |  1536122 |     3236   1049 |        0 |        0
1192.31/1192.76	c 1192s |      22 |  1736477 |  1537622 |     3236   1050 |        0 |        0
1194.32/1194.78	c 1194s |      22 |  1738396 |  1539322 |     3236   1051 |        0 |        0
1196.31/1196.78	c 1196s |      22 |  1739852 |  1540622 |     3236   1052 |        0 |        0
1198.41/1198.81	c 1198s |      22 |  1741627 |  1542222 |     3236   1053 |        0 |        0
1200.51/1200.92	c 1200s |      22 |  1743600 |  1544022 |     3236   1054 |        0 |        0
1202.51/1202.98	c 1202s |      22 |  1745379 |  1545622 |     3236   1054 |        0 |        0
1204.60/1205.04	c 1204s |      22 |  1747006 |  1547122 |     3236   1055 |        0 |        0
1206.60/1207.05	c 1206s |      22 |  1748547 |  1548522 |     3236   1056 |        0 |        0
1208.61/1209.08	c 1209s |      22 |  1750140 |  1549922 |     3236   1057 |        0 |        0
1210.71/1211.19	c 1211s |      22 |  1752322 |  1551822 |     3236   1058 |        0 |        0
1212.80/1213.28	c 1213s |      22 |  1754249 |  1553522 |     3236   1059 |        0 |        0
1215.00/1215.44	c 1215s |      22 |  1756005 |  1555122 |     3236   1060 |        0 |        0
1217.10/1217.52	c 1217s |      22 |  1757694 |  1556622 |     3236   1060 |        0 |        0
1219.10/1219.54	c 1219s |      22 |  1759190 |  1558022 |     3236   1061 |        0 |        0
1221.20/1221.60	c 1221s |      22 |  1760912 |  1559522 |     3236   1062 |        0 |        0
1223.20/1223.60	c 1223s |      22 |  1762437 |  1560922 |     3236   1063 |        0 |        0
1225.20/1225.66	c 1225s |      22 |  1764359 |  1562622 |     3236   1064 |        0 |        0
1227.30/1227.72	c 1227s |      22 |  1766098 |  1564222 |     3236   1064 |        0 |        0
1229.40/1229.85	c 1229s |      22 |  1767987 |  1565922 |     3236   1065 |        0 |        0
1231.39/1231.85	c 1231s |      22 |  1769630 |  1567422 |     3236   1066 |        0 |        0
1233.49/1233.93	c 1233s |      22 |  1771366 |  1569022 |     3236   1067 |        0 |        0
1235.49/1235.94	c 1235s |      22 |  1773003 |  1570522 |     3236   1068 |        0 |        0
1237.49/1237.94	c 1237s |      22 |  1774508 |  1571922 |     3236   1068 |        0 |        0
1239.49/1239.94	c 1239s |      22 |  1776599 |  1573722 |     3236   1069 |        0 |        0
1241.59/1242.01	c 1241s |      22 |  1778463 |  1575422 |     3236   1070 |        0 |        0
1243.59/1244.04	c 1243s |      22 |  1780214 |  1577022 |     3236   1071 |        0 |        0
1245.69/1246.12	c 1246s |      22 |  1781883 |  1578522 |     3236   1072 |        0 |        0
1247.79/1248.21	c 1248s |      22 |  1783619 |  1580122 |     3236   1073 |        0 |        0
1249.79/1250.28	c 1250s |      22 |  1785655 |  1581922 |     3236   1074 |        0 |        0
1251.88/1252.34	c 1252s |      22 |  1787428 |  1583522 |     3236   1075 |        0 |        0
1253.98/1254.42	c 1254s |      22 |  1789194 |  1585122 |     3236   1076 |        0 |        0
1256.08/1256.57	c 1256s |      22 |  1791089 |  1586822 |     3236   1076 |        0 |        0
1258.18/1258.65	c 1258s |      22 |  1792748 |  1588322 |     3236   1077 |        0 |        0
1260.29/1260.78	c 1260s |      22 |  1794198 |  1589622 |     3236   1078 |        0 |        0
1262.39/1262.86	c 1262s |      22 |  1795768 |  1591022 |     3236   1079 |        0 |        0
1264.59/1265.05	c 1264s |      22 |  1797456 |  1592522 |     3236   1080 |        0 |        0
1266.68/1267.16	c 1267s |      22 |  1799747 |  1594522 |     3236   1081 |        0 |        0
1268.78/1269.29	c 1269s |      22 |  1801639 |  1596222 |     3236   1082 |        0 |        0
1270.88/1271.30	c 1271s |      22 |  1803386 |  1597822 |     3236   1082 |        0 |        0
1272.88/1273.37	c 1273s |      22 |  1805202 |  1599422 |     3236   1083 |        0 |        0
1274.88/1275.37	c 1275s |      22 |  1807255 |  1601222 |     3236   1084 |        0 |        0
1276.97/1277.46	c 1277s |      22 |  1809008 |  1602822 |     3236   1085 |        0 |        0
1278.98/1279.46	c 1279s |      22 |  1810664 |  1604322 |     3236   1086 |        0 |        0
1281.08/1281.59	c 1281s |      22 |  1812430 |  1605922 |     3236   1087 |        0 |        0
1283.17/1283.69	c 1283s |      22 |  1814587 |  1607822 |     3236   1088 |        0 |        0
1285.37/1285.81	c 1285s |      22 |  1816313 |  1609422 |     3236   1089 |        0 |        0
1287.47/1287.93	c 1287s |      22 |  1818179 |  1611122 |     3236   1089 |        0 |        0
1289.47/1289.93	c 1289s |      22 |  1819973 |  1612722 |     3236   1090 |        0 |        0
1291.47/1291.94	c 1291s |      22 |  1821592 |  1614222 |     3236   1091 |        0 |        0
1293.46/1293.99	c 1293s |      22 |  1823734 |  1616122 |     3236   1092 |        0 |        0
1295.56/1296.02	c 1295s |      22 |  1825751 |  1617922 |     3236   1093 |        0 |        0
1297.67/1298.14	c 1298s |      22 |  1827625 |  1619622 |     3236   1094 |        0 |        0
1299.77/1300.23	c 1300s |      22 |  1829612 |  1621422 |     3236   1095 |        0 |        0
1301.76/1302.26	c 1302s |      22 |  1831619 |  1623222 |     3236   1096 |        0 |        0
1303.86/1304.33	c 1304s |      22 |  1833635 |  1625022 |     3236   1097 |        0 |        0
1305.96/1306.41	c 1306s |      22 |  1835439 |  1626622 |     3236   1098 |        0 |        0
1307.96/1308.45	c 1308s |      22 |  1837371 |  1628322 |     3236   1099 |        0 |        0
1309.96/1310.47	c 1310s |      22 |  1838970 |  1629722 |     3236   1099 |        0 |        0
1312.05/1312.50	c 1312s |      22 |  1840421 |  1631022 |     3236   1100 |        0 |        0
1314.06/1314.58	c 1314s |      22 |  1842202 |  1632622 |     3236   1101 |        0 |        0
1316.15/1316.64	c 1316s |      22 |  1843952 |  1634222 |     3236   1102 |        0 |        0
1318.25/1318.72	c 1318s |      22 |  1846319 |  1636322 |     3236   1103 |        0 |        0
1320.35/1320.80	c 1320s |      22 |  1848476 |  1638222 |     3236   1104 |        0 |        0
1322.35/1322.86	c 1322s |      22 |  1850478 |  1640022 |     3236   1105 |        0 |        0
1324.45/1324.94	c 1324s |      22 |  1852595 |  1641922 |     3236   1106 |        0 |        0
1326.45/1326.99	c 1326s |      22 |  1854710 |  1643822 |     3236   1107 |        0 |        0
1328.55/1329.08	c 1329s |      22 |  1856749 |  1645622 |     3236   1108 |        0 |        0
1330.65/1331.12	c 1331s |      22 |  1858488 |  1647122 |     3236   1109 |        0 |        0
1332.75/1333.22	c 1333s |      22 |  1860548 |  1648922 |     3236   1110 |        0 |        0
1334.74/1335.23	c 1335s |      22 |  1862365 |  1650522 |     3236   1111 |        0 |        0
1336.74/1337.27	c 1337s |      22 |  1864313 |  1652222 |     3236   1111 |        0 |        0
1338.84/1339.34	c 1339s |      22 |  1866261 |  1653922 |     3236   1112 |        0 |        0
1340.94/1341.41	c 1341s |      22 |  1868055 |  1655522 |     3236   1113 |        0 |        0
1342.94/1343.41	c 1343s |      22 |  1869979 |  1657222 |     3236   1114 |        0 |        0
1344.94/1345.45	c 1345s |      22 |  1871918 |  1658922 |     3236   1115 |        0 |        0
1346.93/1347.50	c 1347s |      22 |  1873708 |  1660522 |     3236   1116 |        0 |        0
1349.03/1349.52	c 1349s |      22 |  1875588 |  1662222 |     3236   1117 |        0 |        0
1351.13/1351.65	c 1351s |      22 |  1877447 |  1663922 |     3236   1118 |        0 |        0
1353.13/1353.67	c 1353s |      22 |  1879375 |  1665622 |     3236   1119 |        0 |        0
1355.23/1355.73	c 1355s |      22 |  1881036 |  1667122 |     3236   1119 |        0 |        0
1357.33/1357.80	c 1357s |      22 |  1882993 |  1668922 |     3236   1120 |        0 |        0
1359.33/1359.80	c 1359s |      22 |  1884776 |  1670522 |     3236   1121 |        0 |        0
1361.33/1361.90	c 1361s |      22 |  1886534 |  1672122 |     3236   1122 |        0 |        0
1363.53/1364.03	c 1363s |      22 |  1888534 |  1673922 |     3236   1123 |        0 |        0
1365.52/1366.06	c 1365s |      22 |  1890333 |  1675522 |     3236   1124 |        0 |        0
1367.52/1368.08	c 1368s |      22 |  1891951 |  1677022 |     3236   1125 |        0 |        0
1369.62/1370.17	c 1370s |      22 |  1893606 |  1678522 |     3236   1126 |        0 |        0
1371.72/1372.22	c 1372s |      22 |  1895463 |  1680222 |     3236   1126 |        0 |        0
1373.72/1374.26	c 1374s |      22 |  1897024 |  1681622 |     3236   1127 |        0 |        0
1375.82/1376.33	c 1376s |      22 |  1898715 |  1683122 |     3236   1128 |        0 |        0
1377.93/1378.47	c 1378s |      22 |  1900581 |  1684822 |     3236   1129 |        0 |        0
1380.03/1380.55	c 1380s |      22 |  1902363 |  1686422 |     3236   1130 |        0 |        0
1382.12/1382.61	c 1382s |      22 |  1904036 |  1687922 |     3236   1131 |        0 |        0
1384.12/1384.67	c 1384s |      22 |  1905774 |  1689522 |     3236   1131 |        0 |        0
1386.22/1386.75	c 1386s |      22 |  1907906 |  1691422 |     3236   1132 |        0 |        0
1388.32/1388.82	c 1388s |      22 |  1909768 |  1693122 |     3236   1133 |        0 |        0
1390.32/1390.83	c 1390s |      22 |  1911755 |  1694922 |     3236   1134 |        0 |        0
1392.42/1392.91	c 1392s |      22 |  1913762 |  1696722 |     3236   1135 |        0 |        0
1394.42/1394.99	c 1394s |      22 |  1915646 |  1698422 |     3236   1136 |        0 |        0
1396.62/1397.12	c 1397s |      22 |  1917622 |  1700222 |     3236   1137 |        0 |        0
1398.62/1399.15	c 1399s |      22 |  1919499 |  1701922 |     3236   1138 |        0 |        0
1400.72/1401.24	c 1401s |      22 |  1921486 |  1703722 |     3236   1139 |        0 |        0
1402.71/1403.28	c 1403s |      22 |  1923245 |  1705322 |     3236   1140 |        0 |        0
1404.81/1405.31	c 1405s |      22 |  1925009 |  1706922 |     3236   1141 |        0 |        0
1406.81/1407.38	c 1407s |      22 |  1926795 |  1708522 |     3236   1142 |        0 |        0
1408.91/1409.47	c 1409s |      22 |  1928831 |  1710322 |     3236   1143 |        0 |        0
1411.01/1411.58	c 1411s |      22 |  1930730 |  1712022 |     3236   1144 |        0 |        0
1413.12/1413.66	c 1413s |      22 |  1932781 |  1713822 |     3236   1145 |        0 |        0
1415.22/1415.74	c 1415s |      22 |  1934799 |  1715622 |     3236   1145 |        0 |        0
1417.31/1417.85	c 1417s |      22 |  1936564 |  1717222 |     3236   1146 |        0 |        0
1419.41/1419.94	c 1419s |      22 |  1938117 |  1718622 |     3236   1147 |        0 |        0
1421.51/1422.04	c 1421s |      22 |  1939994 |  1720322 |     3236   1148 |        0 |        0
1423.51/1424.06	c 1423s |      22 |  1941605 |  1721822 |     3236   1149 |        0 |        0
1425.51/1426.07	c 1426s |      22 |  1943246 |  1723322 |     3236   1150 |        0 |        0
1427.51/1428.09	c 1428s |      22 |  1944880 |  1724822 |     3236   1150 |        0 |        0
1429.71/1430.22	c 1430s |      22 |  1946797 |  1726522 |     3236   1151 |        0 |        0
1431.72/1432.24	c 1432s |      22 |  1948445 |  1728022 |     3236   1152 |        0 |        0
1433.71/1434.26	c 1434s |      22 |  1950005 |  1729422 |     3236   1153 |        0 |        0
1435.81/1436.37	c 1436s |      22 |  1951936 |  1731122 |     3236   1154 |        0 |        0
1437.91/1438.47	c 1438s |      22 |  1953533 |  1732622 |     3236   1155 |        0 |        0
1440.11/1440.61	c 1440s |      22 |  1955101 |  1734022 |     3236   1155 |        0 |        0
1442.21/1442.73	c 1442s |      22 |  1956631 |  1735422 |     3236   1156 |        0 |        0
1444.21/1444.76	c 1444s |      22 |  1958238 |  1736822 |     3236   1157 |        0 |        0
1446.41/1446.94	c 1446s |      22 |  1959647 |  1738122 |     3236   1158 |        0 |        0
1448.41/1448.99	c 1448s |      22 |  1961420 |  1739722 |     3236   1158 |        0 |        0
1450.51/1451.03	c 1450s |      22 |  1963551 |  1741622 |     3236   1159 |        0 |        0
1452.51/1453.03	c 1452s |      22 |  1965504 |  1743422 |     3236   1160 |        0 |        0
1454.60/1455.16	c 1455s |      22 |  1967370 |  1745122 |     3236   1161 |        0 |        0
1456.70/1457.28	c 1457s |      22 |  1969163 |  1746722 |     3236   1162 |        0 |        0
1458.70/1459.29	c 1459s |      22 |  1970811 |  1748222 |     3236   1163 |        0 |        0
1460.80/1461.34	c 1461s |      22 |  1972347 |  1749622 |     3236   1164 |        0 |        0
1462.90/1463.46	c 1463s |      22 |  1974063 |  1751122 |     3236   1165 |        0 |        0
1465.10/1465.61	c 1465s |      22 |  1975749 |  1752622 |     3236   1165 |        0 |        0
1467.10/1467.68	c 1467s |      22 |  1977332 |  1754022 |     3236   1166 |        0 |        0
1469.30/1469.81	c 1469s |      22 |  1978799 |  1755322 |     3236   1167 |        0 |        0
1471.41/1471.97	c 1471s |      22 |  1980251 |  1756622 |     3236   1167 |        0 |        0
1473.51/1474.02	c 1473s |      22 |  1981569 |  1757822 |     3236   1168 |        0 |        0
1475.50/1476.03	c 1475s |      22 |  1982802 |  1758922 |     3236   1169 |        0 |        0
1477.60/1478.10	c 1478s |      22 |  1984112 |  1760122 |     3236   1169 |        0 |        0
1479.60/1480.14	c 1480s |      22 |  1985720 |  1761522 |     3236   1170 |        0 |        0
1481.60/1482.17	c 1482s |      22 |  1987069 |  1762722 |     3236   1171 |        0 |        0
1483.60/1484.18	c 1484s |      22 |  1988403 |  1763922 |     3236   1171 |        0 |        0
1485.80/1486.32	c 1486s |      22 |  1989724 |  1765122 |     3236   1172 |        0 |        0
1487.90/1488.42	c 1488s |      22 |  1991033 |  1766322 |     3236   1173 |        0 |        0
1490.00/1490.60	c 1490s |      22 |  1992366 |  1767522 |     3236   1173 |        0 |        0
1492.10/1492.67	c 1492s |      22 |  1993717 |  1768722 |     3236   1174 |        0 |        0
1494.20/1494.72	c 1494s |      22 |  1995075 |  1769922 |     3236   1175 |        0 |        0
1496.20/1496.76	c 1496s |      22 |  1996423 |  1771122 |     3236   1175 |        0 |        0
1498.20/1498.77	c 1498s |      22 |  1997897 |  1772422 |     3236   1176 |        0 |        0
1500.40/1500.90	c 1500s |      22 |  1999904 |  1774222 |     3236   1177 |        0 |        0
1502.40/1502.94	c 1502s |      22 |  2001809 |  1775922 |     3236   1178 |        0 |        0
1504.50/1505.05	c 1504s |      22 |  2003570 |  1777522 |     3236   1179 |        0 |        0
1506.50/1507.09	c 1507s |      22 |  2005205 |  1779022 |     3236   1180 |        0 |        0
1508.59/1509.17	c 1509s |      22 |  2006850 |  1780522 |     3236   1180 |        0 |        0
1510.69/1511.27	c 1511s |      22 |  2008565 |  1782122 |     3236   1181 |        0 |        0
1512.69/1513.28	c 1513s |      22 |  2010334 |  1783722 |     3236   1182 |        0 |        0
1514.69/1515.30	c 1515s |      22 |  2011887 |  1785122 |     3236   1183 |        0 |        0
1516.80/1517.37	c 1517s |      22 |  2013641 |  1786722 |     3236   1184 |        0 |        0
1518.80/1519.38	c 1519s |      22 |  2015327 |  1788222 |     3236   1184 |        0 |        0
1520.91/1521.42	c 1521s |      22 |  2016940 |  1789722 |     3236   1185 |        0 |        0
1523.01/1523.53	c 1523s |      22 |  2018464 |  1791122 |     3236   1186 |        0 |        0
1525.10/1525.64	c 1525s |      22 |  2020104 |  1792622 |     3236   1187 |        0 |        0
1527.20/1527.71	c 1527s |      22 |  2021521 |  1793922 |     3236   1188 |        0 |        0
1529.20/1529.75	c 1529s |      22 |  2022933 |  1795222 |     3236   1188 |        0 |        0
1531.30/1531.86	c 1531s |      22 |  2024508 |  1796622 |     3236   1189 |        0 |        0
1533.40/1533.97	c 1533s |      22 |  2025946 |  1797922 |     3236   1190 |        0 |        0
1535.40/1535.98	c 1535s |      22 |  2027370 |  1799222 |     3236   1190 |        0 |        0
1537.41/1537.99	c 1537s |      22 |  2029120 |  1800822 |     3236   1191 |        0 |        0
1539.51/1540.02	c 1539s |      22 |  2031134 |  1802622 |     3236   1192 |        0 |        0
1541.60/1542.14	c 1542s |      22 |  2032996 |  1804322 |     3236   1193 |        0 |        0
1543.60/1544.18	c 1544s |      22 |  2034734 |  1805922 |     3236   1194 |        0 |        0
1545.70/1546.26	c 1546s |      22 |  2036473 |  1807522 |     3236   1195 |        0 |        0
1547.70/1548.29	c 1548s |      22 |  2038181 |  1809122 |     3236   1196 |        0 |        0
1549.80/1550.33	c 1550s |      22 |  2039793 |  1810622 |     3236   1196 |        0 |        0
1551.80/1552.39	c 1552s |      22 |  2041555 |  1812222 |     3236   1197 |        0 |        0
1554.00/1554.50	c 1554s |      22 |  2043320 |  1813822 |     3236   1198 |        0 |        0
1556.00/1556.58	c 1556s |      22 |  2045154 |  1815522 |     3236   1199 |        0 |        0
1558.10/1558.60	c 1558s |      22 |  2046764 |  1817022 |     3236   1200 |        0 |        0
1560.19/1560.71	c 1560s |      22 |  2048618 |  1818722 |     3236   1201 |        0 |        0
1562.19/1562.72	c 1562s |      22 |  2050241 |  1820222 |     3236   1202 |        0 |        0
1564.19/1564.78	c 1564s |      22 |  2052021 |  1821822 |     3236   1202 |        0 |        0
1566.29/1566.81	c 1566s |      22 |  2053886 |  1823522 |     3236   1203 |        0 |        0
1568.39/1568.90	c 1568s |      22 |  2055755 |  1825222 |     3236   1204 |        0 |        0
1570.40/1570.98	c 1570s |      22 |  2057526 |  1826822 |     3236   1205 |        0 |        0
1572.39/1573.00	c 1572s |      22 |  2059067 |  1828222 |     3236   1206 |        0 |        0
1574.49/1575.04	c 1574s |      22 |  2060946 |  1829922 |     3236   1207 |        0 |        0
1576.59/1577.14	c 1577s |      22 |  2062960 |  1831722 |     3236   1208 |        0 |        0
1578.59/1579.17	c 1579s |      22 |  2064592 |  1833222 |     3236   1209 |        0 |        0
1580.69/1581.28	c 1581s |      22 |  2066605 |  1835022 |     3236   1210 |        0 |        0
1582.79/1583.40	c 1583s |      22 |  2068448 |  1836722 |     3236   1210 |        0 |        0
1584.89/1585.45	c 1585s |      22 |  2070487 |  1838522 |     3236   1211 |        0 |        0
1586.99/1587.53	c 1587s |      22 |  2072360 |  1840222 |     3236   1212 |        0 |        0
1589.10/1589.65	c 1589s |      22 |  2074304 |  1841922 |     3236   1213 |        0 |        0
1591.09/1591.67	c 1591s |      22 |  2076163 |  1843622 |     3236   1214 |        0 |        0
1593.19/1593.71	c 1593s |      22 |  2078041 |  1845322 |     3236   1215 |        0 |        0
1595.29/1595.80	c 1595s |      22 |  2079829 |  1846922 |     3236   1216 |        0 |        0
1597.39/1597.92	c 1597s |      22 |  2081714 |  1848622 |     3236   1217 |        0 |        0
1599.49/1600.01	c 1599s |      22 |  2083268 |  1850022 |     3236   1218 |        0 |        0
1601.59/1602.12	c 1602s |      22 |  2085243 |  1851822 |     3236   1219 |        0 |        0
1603.59/1604.17	c 1604s |      22 |  2086992 |  1853422 |     3236   1219 |        0 |        0
1605.79/1606.30	c 1606s |      22 |  2088626 |  1854922 |     3236   1220 |        0 |        0
1607.89/1608.41	c 1608s |      22 |  2090442 |  1856522 |     3236   1221 |        0 |        0
1609.89/1610.42	c 1610s |      22 |  2092332 |  1858222 |     3236   1222 |        0 |        0
1611.89/1612.46	c 1612s |      22 |  2094050 |  1859822 |     3236   1223 |        0 |        0
1613.98/1614.50	c 1614s |      22 |  2095694 |  1861322 |     3236   1224 |        0 |        0
1615.98/1616.51	c 1616s |      22 |  2097298 |  1862822 |     3236   1224 |        0 |        0
1618.08/1618.60	c 1618s |      22 |  2098911 |  1864322 |     3236   1225 |        0 |        0
1620.08/1620.62	c 1620s |      22 |  2100430 |  1865722 |     3236   1226 |        0 |        0
1622.18/1622.73	c 1622s |      22 |  2102062 |  1867222 |     3236   1227 |        0 |        0
1624.29/1624.82	c 1624s |      22 |  2103706 |  1868722 |     3236   1228 |        0 |        0
1626.28/1626.84	c 1626s |      22 |  2105540 |  1870422 |     3236   1228 |        0 |        0
1628.38/1628.92	c 1628s |      22 |  2107373 |  1872122 |     3236   1229 |        0 |        0
1630.38/1630.94	c 1630s |      22 |  2109124 |  1873722 |     3236   1230 |        0 |        0
1632.38/1632.96	c 1632s |      22 |  2110993 |  1875422 |     3236   1231 |        0 |        0
1634.38/1634.98	c 1634s |      22 |  2112573 |  1876922 |     3236   1232 |        0 |        0
1636.48/1637.08	c 1637s |      22 |  2114437 |  1878622 |     3236   1233 |        0 |        0
1638.59/1639.19	c 1639s |      22 |  2116277 |  1880322 |     3236   1234 |        0 |        0
1640.69/1641.21	c 1641s |      22 |  2117797 |  1881722 |     3236   1235 |        0 |        0
1642.78/1643.31	c 1643s |      22 |  2119662 |  1883422 |     3236   1235 |        0 |        0
1644.78/1645.35	c 1645s |      22 |  2121510 |  1885122 |     3236   1236 |        0 |        0
1646.88/1647.45	c 1647s |      22 |  2123384 |  1886822 |     3236   1237 |        0 |        0
1648.98/1649.57	c 1649s |      22 |  2125230 |  1888522 |     3236   1238 |        0 |        0
1651.08/1651.66	c 1651s |      22 |  2127011 |  1890122 |     3236   1239 |        0 |        0
1653.18/1653.70	c 1653s |      22 |  2128626 |  1891622 |     3236   1240 |        0 |        0
1655.18/1655.72	c 1655s |      22 |  2130258 |  1893122 |     3236   1241 |        0 |        0
1657.18/1657.76	c 1657s |      22 |  2131868 |  1894622 |     3236   1241 |        0 |        0
1659.18/1659.77	c 1659s |      22 |  2134090 |  1896422 |     3236   1242 |        0 |        0
1661.28/1661.87	c 1661s |      22 |  2136125 |  1898222 |     3236   1243 |        0 |        0
1663.38/1663.99	c 1663s |      22 |  2138034 |  1899922 |     3236   1244 |        0 |        0
1665.48/1666.06	c 1666s |      22 |  2139796 |  1901522 |     3236   1245 |        0 |        0
1667.58/1668.14	c 1668s |      22 |  2141788 |  1903322 |     3236   1246 |        0 |        0
1669.58/1670.18	c 1670s |      22 |  2143648 |  1905022 |     3236   1247 |        0 |        0
1671.58/1672.19	c 1672s |      22 |  2145410 |  1906622 |     3236   1248 |        0 |        0
1673.68/1674.23	c 1674s |      22 |  2147279 |  1908322 |     3236   1249 |        0 |        0
1675.67/1676.26	c 1676s |      22 |  2149215 |  1910022 |     3236   1250 |        0 |        0
1677.67/1678.27	c 1678s |      22 |  2151306 |  1911922 |     3236   1251 |        0 |        0
1679.77/1680.37	c 1680s |      22 |  2153314 |  1913722 |     3236   1252 |        0 |        0
1681.87/1682.41	c 1682s |      22 |  2155263 |  1915522 |     3236   1253 |        0 |        0
1683.97/1684.50	c 1684s |      22 |  2157111 |  1917222 |     3236   1254 |        0 |        0
1685.97/1686.57	c 1686s |      22 |  2158981 |  1918922 |     3236   1254 |        0 |        0
1687.98/1688.58	c 1688s |      22 |  2160829 |  1920622 |     3236   1255 |        0 |        0
1690.07/1690.67	c 1690s |      22 |  2162554 |  1922222 |     3236   1256 |        0 |        0
1692.07/1692.69	c 1692s |      22 |  2164285 |  1923822 |     3236   1257 |        0 |        0
1694.07/1694.69	c 1694s |      22 |  2166433 |  1925722 |     3236   1258 |        0 |        0
1696.27/1696.81	c 1696s |      22 |  2168649 |  1927722 |     3236   1259 |        0 |        0
1698.37/1698.90	c 1698s |      22 |  2170892 |  1929622 |     3236   1260 |        0 |        0
1700.37/1700.98	c 1700s |      22 |  2172983 |  1931522 |     3236   1261 |        0 |        0
1702.47/1703.03	c 1702s |      22 |  2174979 |  1933322 |     3236   1262 |        0 |        0
1704.58/1705.12	c 1705s |      22 |  2176855 |  1935022 |     3236   1263 |        0 |        0
1706.57/1707.16	c 1707s |      22 |  2178707 |  1936722 |     3236   1264 |        0 |        0
1708.57/1709.17	c 1709s |      22 |  2180423 |  1938322 |     3236   1265 |        0 |        0
1710.57/1711.17	c 1711s |      22 |  2182152 |  1939922 |     3236   1266 |        0 |        0
1712.67/1713.27	c 1713s |      22 |  2184087 |  1941622 |     3236   1267 |        0 |        0
1714.77/1715.32	c 1715s |      22 |  2186090 |  1943422 |     3236   1268 |        0 |        0
1716.77/1717.39	c 1717s |      22 |  2187950 |  1945122 |     3236   1269 |        0 |        0
1718.87/1719.48	c 1719s |      22 |  2190008 |  1946822 |     3236   1269 |        0 |        0
1720.97/1721.55	c 1721s |      22 |  2191951 |  1948522 |     3236   1270 |        0 |        0
1723.07/1723.68	c 1723s |      22 |  2193720 |  1950122 |     3236   1271 |        0 |        0
1725.27/1725.84	c 1725s |      22 |  2195241 |  1951522 |     3236   1272 |        0 |        0
1727.27/1727.84	c 1727s |      22 |  2197020 |  1953122 |     3236   1273 |        0 |        0
1729.27/1729.88	c 1729s |      22 |  2198955 |  1954822 |     3236   1274 |        0 |        0
1731.36/1731.93	c 1731s |      22 |  2200728 |  1956422 |     3236   1275 |        0 |        0
1733.36/1733.95	c 1733s |      22 |  2202640 |  1958122 |     3236   1275 |        0 |        0
1735.37/1735.96	c 1735s |      22 |  2204517 |  1959822 |     3236   1276 |        0 |        0
1737.36/1737.96	c 1737s |      22 |  2206401 |  1961522 |     3236   1277 |        0 |        0
1739.46/1740.04	c 1739s |      22 |  2208406 |  1963322 |     3236   1278 |        0 |        0
1741.46/1742.08	c 1742s |      22 |  2210401 |  1965122 |     3236   1279 |        0 |        0
1743.56/1744.11	c 1744s |      22 |  2212321 |  1966822 |     3236   1280 |        0 |        0
1745.66/1746.25	c 1746s |      22 |  2213950 |  1968322 |     3236   1281 |        0 |        0
1747.76/1748.34	c 1748s |      22 |  2215851 |  1970022 |     3236   1282 |        0 |        0
1749.76/1750.39	c 1750s |      22 |  2217540 |  1971522 |     3236   1283 |        0 |        0
1751.87/1752.48	c 1752s |      22 |  2219290 |  1973122 |     3236   1284 |        0 |        0
1753.97/1754.58	c 1754s |      22 |  2221168 |  1974822 |     3236   1284 |        0 |        0
1755.96/1756.58	c 1756s |      22 |  2222845 |  1976322 |     3236   1285 |        0 |        0
1758.06/1758.65	c 1758s |      22 |  2224511 |  1977822 |     3236   1286 |        0 |        0
1760.16/1760.72	c 1760s |      22 |  2226809 |  1979822 |     3236   1287 |        0 |        0
1762.26/1762.82	c 1762s |      22 |  2228604 |  1981422 |     3236   1288 |        0 |        0
1764.26/1764.88	c 1764s |      22 |  2230445 |  1983122 |     3236   1289 |        0 |        0
1766.36/1766.95	c 1766s |      22 |  2232347 |  1984822 |     3236   1290 |        0 |        0
1768.37/1768.98	c 1768s |      22 |  2234104 |  1986422 |     3236   1291 |        0 |        0
1770.46/1771.08	c 1771s |      22 |  2236069 |  1988222 |     3236   1292 |        0 |        0
1772.56/1773.18	c 1773s |      22 |  2237954 |  1989922 |     3236   1293 |        0 |        0
1774.66/1775.20	c 1775s |      22 |  2239695 |  1991522 |     3236   1293 |        0 |        0
1776.66/1777.29	c 1777s |      22 |  2241573 |  1993222 |     3236   1294 |        0 |        0
1778.76/1779.32	c 1779s |      22 |  2243447 |  1994922 |     3236   1295 |        0 |        0
1780.86/1781.45	c 1781s |      22 |  2245261 |  1996622 |     3236   1296 |        0 |        0
1782.96/1783.59	c 1783s |      22 |  2247525 |  1998622 |     3236   1297 |        0 |        0
1785.05/1785.69	c 1785s |      22 |  2249527 |  2000422 |     3236   1298 |        0 |        0
1787.06/1787.69	c 1787s |      22 |  2251280 |  2002022 |     3236   1299 |        0 |        0
1789.16/1789.80	c 1789s |      22 |  2253144 |  2003722 |     3236   1300 |        0 |        0
1791.25/1791.90	c 1791s |      22 |  2254891 |  2005322 |     3236   1301 |        0 |        0
1793.35/1793.91	c 1793s |      22 |  2256937 |  2007122 |     3236   1302 |        0 |        0
1795.45/1796.01	c 1795s |      22 |  2258831 |  2008822 |     3236   1303 |        0 |        0
1797.45/1798.02	c 1797s |      22 |  2260564 |  2010422 |     3236   1304 |        0 |        0
1799.45/1800.05	c 1799s |      22 |  2262325 |  2012022 |     3236   1304 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093630-1466091456/watcher-4093630-1466091456 -o /tmp/evaluation-result-4093630-1466091456/solver-4093630-1466091456 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093630-1466091456.wbo 

pid=20717
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.45 2.30 2.21 4/179 20720
/proc/meminfo: memFree=29337596/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=654780 CPUtime=0 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 2429 0 0 0 0 0 0 0 20 0 4 0 11191344 670494720 3302 33554432000 4194304 16246674 140736749049056 140736749048480 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 164463 3311 441 2943 0 161357 0
[pid=20720/tid=20721] ppid=20717 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 690417664 3376 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 694611968 3391 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 698806272 3411 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.45 2.30 2.21 4/179 20720
/proc/meminfo: memFree=29337596/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 25163 0 0 0 6 3 0 0 20 0 4 0 11191344 1247350784 26022 33554432000 4194304 16246674 140736749049056 140736749048480 6076251 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 304529 26030 806 2943 0 301423 0
[pid=20720/tid=20721] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 26042 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 26050 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1247350784 26055 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200557 s]
/proc/loadavg: 2.45 2.30 2.21 4/179 20720
/proc/meminfo: memFree=29337596/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 51749 0 0 0 13 6 0 0 20 0 4 0 11191344 1247350784 52608 33554432000 4194304 16246674 140736749049056 140736749048480 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 304529 52619 806 2943 0 301423 0
[pid=20720/tid=20721] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 52623 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 52628 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1247350784 52633 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300526 s]
/proc/loadavg: 2.45 2.30 2.21 4/179 20720
/proc/meminfo: memFree=29337596/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 81958 0 0 0 18 11 0 0 20 0 4 0 11191344 1247350784 82817 33554432000 4194304 16246674 140736749049056 140736749030976 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 304529 82833 806 2943 0 301423 0
[pid=20720/tid=20721] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 82839 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 82843 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1247350784 82849 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700422 s]
/proc/loadavg: 2.45 2.30 2.21 4/179 20720
/proc/meminfo: memFree=29337596/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 203182 0 0 0 41 28 0 0 20 0 4 0 11191344 1247350784 204041 33554432000 4194304 16246674 140736749049056 140736749030976 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 304529 204061 812 2943 0 301423 0
[pid=20720/tid=20721] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 204073 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1247350784 204084 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1247350784 204097 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.45 2.30 2.21 3/183 20724
/proc/meminfo: memFree=28350668/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 266616 0 0 0 114 35 0 0 20 0 4 0 11191344 1333334016 267452 33554432000 4194304 16246674 140736749049056 140736749032056 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 325521 267452 872 2943 0 322415 0
[pid=20720/tid=20721] ppid=20717 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1333334016 267452 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1333334016 267452 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1333334016 267452 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.45 2.30 2.21 3/183 20724
/proc/meminfo: memFree=28264700/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 267763 0 0 0 273 35 0 0 20 0 4 0 11191344 1338576896 268599 33554432000 4194304 16246674 140736749049056 140736749030976 5712555 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 326801 268599 872 2943 0 323695 0
[pid=20720/tid=20721] ppid=20717 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1338576896 268599 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1338576896 268599 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1338576896 268599 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.42 2.30 2.21 3/183 20724
/proc/meminfo: memFree=28263468/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 267763 0 0 0 593 36 0 0 20 0 4 0 11191344 1338576896 268599 33554432000 4194304 16246674 140736749049056 140736749030976 5724032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 326801 268599 872 2943 0 323695 0
[pid=20720/tid=20721] ppid=20717 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1338576896 268599 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1338576896 268599 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1338576896 268599 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.38 2.29 2.21 3/183 20724
/proc/meminfo: memFree=28261628/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 268174 0 0 0 1233 36 0 0 20 0 4 0 11191344 1339625472 269010 33554432000 4194304 16246674 140736749049056 140736749030976 5824066 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 327057 269010 872 2943 0 323951 0
[pid=20720/tid=20721] ppid=20717 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1339625472 269010 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1339625472 269010 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1339625472 269010 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.37 2.29 2.21 3/182 20724
/proc/meminfo: memFree=28261736/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 268430 0 0 0 2513 36 0 0 20 0 4 0 11191344 1340674048 269266 33554432000 4194304 16246674 140736749049056 140736749030976 6836056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 327313 269266 872 2943 0 324207 0
[pid=20720/tid=20721] ppid=20717 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1340674048 269266 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1340674048 269266 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1340674048 269266 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.31 2.29 2.21 3/183 20725
/proc/meminfo: memFree=28260572/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1310276 CPUtime=51.09 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 268539 0 0 0 5073 36 0 0 20 0 4 0 11191344 1341722624 269375 33554432000 4194304 16246674 140736749049056 140736749030976 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 327569 269375 872 2943 0 324463 0
[pid=20720/tid=20721] ppid=20717 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1341722624 269375 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1341722624 269375 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1341722624 269375 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.24 2.27 2.21 4/183 20726
/proc/meminfo: memFree=28257540/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 269287 0 0 0 10192 36 0 0 20 0 4 0 11191344 1344868352 270123 33554432000 4194304 16246674 140736749049056 140736749030976 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 328337 270123 874 2943 0 325231 0
[pid=20720/tid=20721] ppid=20717 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1344868352 270123 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1344868352 270123 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1344868352 270123 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.24 2.24 2.19 4/183 20756
/proc/meminfo: memFree=28240156/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1301.86 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271649 0 0 0 130142 44 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.23 2.23 2.19 4/184 20760
/proc/meminfo: memFree=28239380/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1361.82 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271691 0 0 0 136138 44 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5823877 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/184 20784
/proc/meminfo: memFree=28239572/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1421.82 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 142138 44 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.31 2.24 2.19 4/183 20785
/proc/meminfo: memFree=28240060/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1481.8 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 148136 44 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 20786
/proc/meminfo: memFree=28240416/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1541.8 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 154135 45 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 20788
/proc/meminfo: memFree=28240160/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1601.79 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 160134 45 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 6010521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.34 2.26 2.19 4/183 20838
/proc/meminfo: memFree=28267748/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1661.78 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 166133 45 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.55 2.33 2.22 3/183 20839
/proc/meminfo: memFree=28267248/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1721.77 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 172132 45 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5546243 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.41 2.33 2.22 3/183 20840
/proc/meminfo: memFree=28266884/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1781.76 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 178131 45 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5861860 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.44 2.34 2.23 4/183 20840
/proc/meminfo: memFree=28266764/32872528 swapFree=1402008/1579836
[pid=20720] ppid=20717 vsize=1320516 CPUtime=1800.05 cores=1,3,5,7
/proc/20720/stat : 20720 (toysat) R 20717 20720 13870 0 -1 4202496 271692 0 0 0 179960 45 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 140736749030976 5722857 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20720/statm: 330129 272089 876 2943 0 327023 0
[pid=20720/tid=20721] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20721/stat : 20721 (toysat) S 20717 20720 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735349570800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20720/tid=20722] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20722/stat : 20722 (toysat) S 20717 20720 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11191344 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735339080944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20720/tid=20723] ppid=20717 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/20720/task/20723/stat : 20723 (toysat) S 20717 20720 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11191345 1352208384 272089 33554432000 4194304 16246674 140736749049056 139735217466544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1320516

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20720 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.61
CPU system time (s): 0.45793
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.45793
maximum resident set size= 1088356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271692
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= 457
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67429 second user time and 7.06893 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 17:37:36
IDJOB=4093630
IDBENCH=79162
IDSOLVER=2553
FILE ID=node139/4093630-1466091456
RUNJOBID= node139-1466075487-16984
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= cad14126bbe64a82703c3144c4e347cd
RANDOM SEED=537833067

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29337776 kB
Buffers:           45708 kB
Cached:           115100 kB
SwapCached:          960 kB
Active:          1169948 kB
Inactive:          80840 kB
Active(anon):    1091116 kB
Inactive(anon):     1240 kB
Active(file):      78832 kB
Inactive(file):    79600 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2708220 kB
Mapped:            10568 kB
Shmem:                 0 kB
Slab:             568416 kB
SReclaimable:      12792 kB
SUnreclaim:       555624 kB
KernelStack:        1520 kB
PageTables:         9372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2814488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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= 71596 MiB
End job on node139 at 2016-06-16 18:07:37