Trace number 4093629

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_21_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMa882a0978da6ad149ec004c2c9449010
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.27581
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables840
Total number of constraints82
Number of soft constraints82
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 4216
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4215
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T17:07:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093629-1466089643.wbo"]
0.00/0.01	c use --random-gen="128008757 3273822310 2365270045 268443352 1142554252 2992032131 3563976763 3220073981 2291166063 1774162235 1613480075 4032918178 2863298873 2471385374 4032173893 4205554135 702976552 2078934568 1609221326 2823364697 4299968 21336850 2636221235 2989343331 2941990369 2357566404 4158653810 4151455866 2465936271 3982351296 3167429773 3388310671 146960081 2728223317 2996314264 911015988 1898983769 2976102609 791653091 149692271 2702690843 3846793565 800890459 4267915554 3692479548 3201221591 2044836876 1026953977 2985532163 617181336 1550955381 1404575239 2229969117 1321829711 2086688707 3685123255 2067840524 574945470 3102711710 365210049 1728632764 622013091 2380720950 2865990038 3366187617 2651990388 1690310319 2155499031 2014219564 3176305864 154241612 1088646045 284528261 4056012323 3482925428 2982201026 2832935150 2998235507 3500812588 1236129970 2353860396 1361743466 2612601917 494578090 1604878385 3217492926 3367273733 1447924334 600826392 862949185 1383513121 220246802 2081105717 106864776 4095516270 3339738902 2071018109 2111423940 1186042727 3193453689 1504097961 542681669 1833162262 3681112237 4100235474 62560590 2838113860 784261988 4072059934 3629637017 1783289805 1246483726 4015678171 844393505 865853629 679544109 3950210507 3425198794 593888325 1979037777 351244490 4273580624 2445993380 3206823751 4130171021 363982703 975372317 3084865859 4164722940 3351365726 1133307452 1810466211 3300168758 3711734559 1814702938 3836478528 592700988 3502180559 4258019016 822568774 327887314 2865262633 2234341848 2507850885 2270551053 835294391 1669280799 58340505 2675263023 2908177787 4005141300 1250101240 2442017158 3930748983 860214534 3653277891 3885191173 1086319991 512762132 988880256 4013388629 2455110935 1471965911 3248535285 613382215 1901541894 201152639 4044148372 2580185994 2871117162 2782025780 3632003855 2162257735 2790119742 2207061511 2172379405 4097527162 178078003 454367416 1907859433 3343484876 1246519521 3103892961 3634549654 2128873827 4000220153 2081380429 3890274658 4208697701 986542113 1525140667 414460426 399890716 523188450 3396162820 2899230268 3162588679 2443359659 3646064695 965065429 3514357696 3006561596 1665586460 2223799572 1225315481 3574987273 1628608307 1192823006 2208120788 2948106009 609038903 1019245725 2836322961 512659156 3854841792 1571098130 2446741747 774691668 1258644779 4140027094 4007923239 1884522117 1909112702 1828762096 1658694379 2604780484 2843658290 1946309416 3968139398 1415175786 3025540150 3722505748 2775156133 2013570812 3956760588 972208184 396107778 3215792224 3464252737 1820833424 79455987 1552061301 3950572623 1927566949 1350033335 394931720 2382735329 2231105661 3359600628 804562632 3009315692 4133255974 3646966661 2226600403 258369562 348914654 255 362436" option to reproduce the execution
0.00/0.04	c #vars 840
0.00/0.04	c #constraints 82
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      334      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |      122 |        0 |      334      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.001s
0.00/0.05	c #wall_clock_time = 0.001s
0.00/0.05	c #decision = 122
0.00/0.05	c #random_decision = 1
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	o 2034
0.00/0.05	c BCD2: updating upper bound: 4215 -> 2033
0.00/0.05	c BCD2: 0 <= obj <= 2033
0.00/0.05	c BCD2: #cores=0, #unrelaxed=82, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      334      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      215 |      100 |      334      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      681 |      250 |      368      0 |        0 |        0
0.19/0.23	c  0.2s |       3 |     1376 |      475 |      405      0 |        0 |        0
0.29/0.39	c  0.3s |       4 |     2096 |      813 |      446      1 |        0 |        0
0.59/0.64	c  0.6s |       5 |     2969 |     1320 |      491      2 |        0 |        0
0.99/1.05	c  1.0s |       6 |     4159 |     2081 |      596      4 |        0 |        0
1.59/1.60	c  1.6s |       7 |     5928 |     3223 |      656      6 |        0 |        0
2.39/2.46	c  2.4s |       8 |     8621 |     4936 |      722      9 |        0 |        0
3.59/3.61	c  3.6s |       9 |    12167 |     7506 |      795     14 |        0 |        0
5.59/5.64	c  5.6s |       9 |    17046 |    11206 |      795     20 |        0 |        0
5.69/5.70	c  5.7s |      10 |    17228 |    11361 |      875     20 |        0 |        0
7.69/7.72	c  7.7s |      10 |    22977 |    15861 |      875     27 |        0 |        0
8.28/8.34	c  8.3s |      11 |    24448 |    17144 |      963     29 |        0 |        0
10.38/10.44	c 10.4s |      11 |    28709 |    20244 |      963     34 |        0 |        0
12.38/12.46	c 12.4s |      11 |    32086 |    23144 |      963     38 |        0 |        0
14.29/14.31	c 14.3s |      12 |    35123 |    25819 |     1060     41 |        0 |        0
16.28/16.34	c 16.3s |      12 |    39862 |    29319 |     1060     46 |        0 |        0
18.28/18.36	c 18.3s |      12 |    43562 |    32419 |     1060     50 |        0 |        0
20.28/20.36	c 20.3s |      12 |    47099 |    35319 |     1060     54 |        0 |        0
22.28/22.36	c 22.3s |      12 |    50615 |    38319 |     1060     58 |        0 |        0
22.68/22.71	c 22.7s |      13 |    51208 |    38832 |     1166     59 |        0 |        0
24.68/24.71	c 24.7s |      13 |    56041 |    42632 |     1166     63 |        0 |        0
26.68/26.72	c 26.7s |      13 |    59902 |    46032 |     1166     68 |        0 |        0
28.69/28.74	c 28.7s |      13 |    63953 |    49532 |     1166     72 |        0 |        0
30.68/30.74	c 30.7s |      13 |    68114 |    53232 |     1166     77 |        0 |        0
32.68/32.77	c 32.7s |      13 |    72502 |    57032 |     1166     81 |        0 |        0
33.38/33.45	c 33.4s |      14 |    73975 |    58352 |     1283     83 |        0 |        0
35.38/35.48	c 35.4s |      14 |    79310 |    62652 |     1283     88 |        0 |        0
37.49/37.51	c 37.5s |      14 |    83887 |    66652 |     1283     92 |        0 |        0
39.48/39.56	c 39.5s |      14 |    87783 |    70152 |     1283     97 |        0 |        0
41.48/41.59	c 41.5s |      14 |    91659 |    73652 |     1283    101 |        0 |        0
43.58/43.64	c 43.6s |      14 |    96112 |    77552 |     1283    105 |        0 |        0
45.69/45.70	c 45.7s |      14 |   100223 |    81252 |     1283    110 |        0 |        0
47.69/47.72	c 47.7s |      14 |   104233 |    84852 |     1283    114 |        0 |        0
49.29/49.35	c 49.3s |      15 |   107448 |    87632 |     1412    117 |        0 |        0
51.39/51.40	c 51.3s |      15 |   112600 |    91732 |     1412    121 |        0 |        0
53.39/53.44	c 53.4s |      15 |   116806 |    95432 |     1412    125 |        0 |        0
55.39/55.45	c 55.4s |      15 |   121164 |    99232 |     1412    129 |        0 |        0
57.39/57.47	c 57.4s |      15 |   124959 |   102632 |     1412    133 |        0 |        0
59.49/59.50	c 59.5s |      15 |   129433 |   106532 |     1412    137 |        0 |        0
61.48/61.51	c 61.5s |      15 |   133431 |   110132 |     1412    141 |        0 |        0
63.48/63.51	c 63.5s |      15 |   137405 |   113732 |     1412    145 |        0 |        0
65.48/65.53	c 65.5s |      15 |   141325 |   117232 |     1412    148 |        0 |        0
67.48/67.57	c 67.5s |      15 |   145688 |   121132 |     1412    153 |        0 |        0
69.48/69.58	c 69.5s |      15 |   149651 |   124632 |     1412    156 |        0 |        0
71.49/71.58	c 71.5s |      15 |   153749 |   128232 |     1412    160 |        0 |        0
73.28/73.37	c 73.3s |      16 |   157472 |   131552 |     1554    164 |        0 |        0
75.38/75.42	c 75.4s |      16 |   162273 |   135552 |     1554    167 |        0 |        0
77.38/77.44	c 77.4s |      16 |   166191 |   139052 |     1554    171 |        0 |        0
79.38/79.49	c 79.4s |      16 |   169957 |   142352 |     1554    174 |        0 |        0
81.39/81.50	c 81.4s |      16 |   173675 |   145652 |     1554    178 |        0 |        0
83.48/83.51	c 83.5s |      16 |   177605 |   149152 |     1554    181 |        0 |        0
85.48/85.55	c 85.5s |      16 |   181457 |   152552 |     1554    184 |        0 |        0
87.48/87.57	c 87.5s |      16 |   185170 |   155852 |     1554    188 |        0 |        0
89.48/89.58	c 89.5s |      16 |   188618 |   158952 |     1554    191 |        0 |        0
91.58/91.63	c 91.6s |      16 |   192122 |   162052 |     1554    194 |        0 |        0
93.59/93.66	c 93.6s |      16 |   195253 |   164852 |     1554    197 |        0 |        0
95.69/95.72	c 95.7s |      16 |   198626 |   167852 |     1554    200 |        0 |        0
97.68/97.77	c 97.7s |      16 |   201924 |   170652 |     1554    202 |        0 |        0
99.68/99.79	c 99.7s |      16 |   205059 |   173452 |     1554    205 |        0 |        0
101.78/101.80	c  101s |      16 |   208781 |   176752 |     1554    208 |        0 |        0
103.78/103.82	c  103s |      16 |   212468 |   180052 |     1554    212 |        0 |        0
105.78/105.86	c  105s |      16 |   216220 |   183252 |     1554    215 |        0 |        0
107.78/107.89	c  107s |      16 |   219704 |   186352 |     1554    218 |        0 |        0
109.88/109.91	c  109s |      16 |   223801 |   189952 |     1554    222 |        0 |        0
111.88/111.91	c  111s |      16 |   227775 |   193452 |     1554    225 |        0 |        0
113.87/113.93	c  113s |      16 |   231486 |   196752 |     1710    228 |        0 |        0
114.27/114.33	c  114s |      17 |   232309 |   197432 |     1710    229 |        0 |        0
116.27/116.33	c  116s |      17 |   237617 |   201632 |     1710    233 |        0 |        0
118.27/118.37	c  118s |      17 |   242426 |   205832 |     1710    236 |        0 |        0
120.37/120.40	c  120s |      17 |   246720 |   209732 |     1710    239 |        0 |        0
122.37/122.43	c  122s |      17 |   250853 |   213532 |     1710    242 |        0 |        0
124.38/124.47	c  124s |      17 |   255132 |   217332 |     1710    245 |        0 |        0
126.48/126.50	c  126s |      17 |   259547 |   221232 |     1710    248 |        0 |        0
128.47/128.54	c  128s |      17 |   263714 |   224932 |     1710    251 |        0 |        0
130.47/130.55	c  130s |      17 |   267825 |   228632 |     1710    254 |        0 |        0
132.47/132.57	c  132s |      17 |   272112 |   232432 |     1710    257 |        0 |        0
134.47/134.57	c  134s |      17 |   275968 |   235932 |     1710    260 |        0 |        0
136.57/136.62	c  136s |      17 |   279795 |   239432 |     1710    263 |        0 |        0
138.57/138.68	c  138s |      17 |   283641 |   242832 |     1710    266 |        0 |        0
140.57/140.68	c  140s |      17 |   287760 |   246532 |     1710    269 |        0 |        0
142.67/142.70	c  142s |      17 |   292052 |   250432 |     1710    272 |        0 |        0
144.67/144.71	c  144s |      17 |   296470 |   254432 |     1710    275 |        0 |        0
146.66/146.73	c  146s |      17 |   300147 |   257732 |     1710    278 |        0 |        0
148.66/148.78	c  148s |      17 |   304216 |   261332 |     1710    281 |        0 |        0
150.67/150.79	c  150s |      17 |   308245 |   264932 |     1710    283 |        0 |        0
152.76/152.80	c  152s |      17 |   312127 |   268432 |     1710    286 |        0 |        0
154.76/154.80	c  154s |      17 |   316230 |   272132 |     1710    289 |        0 |        0
156.76/156.85	c  156s |      17 |   320288 |   275832 |     1710    292 |        0 |        0
158.76/158.87	c  158s |      17 |   324149 |   279332 |     1710    295 |        0 |        0
160.86/160.90	c  160s |      17 |   328022 |   282832 |     1710    298 |        0 |        0
162.87/162.93	c  162s |      17 |   332330 |   286632 |     1710    301 |        0 |        0
164.86/164.96	c  164s |      17 |   336586 |   290432 |     1710    304 |        0 |        0
166.96/167.00	c  166s |      17 |   340766 |   294132 |     1710    307 |        0 |        0
168.27/168.31	c  168s |      18 |   343069 |   296252 |     1882    308 |        0 |        0
170.26/170.31	c  170s |      18 |   348336 |   300552 |     1882    312 |        0 |        0
172.26/172.34	c  172s |      18 |   352809 |   304552 |     1882    316 |        0 |        0
174.26/174.36	c  174s |      18 |   357112 |   308352 |     1882    319 |        0 |        0
176.26/176.39	c  176s |      18 |   361298 |   312052 |     1882    322 |        0 |        0
178.36/178.42	c  178s |      18 |   365624 |   315852 |     1882    325 |        0 |        0
180.37/180.49	c  180s |      18 |   369674 |   319552 |     1882    329 |        0 |        0
182.46/182.53	c  182s |      18 |   374252 |   323552 |     1882    332 |        0 |        0
184.46/184.53	c  184s |      18 |   378375 |   327252 |     1882    335 |        0 |        0
186.46/186.56	c  186s |      18 |   382475 |   330952 |     1882    338 |        0 |        0
188.46/188.59	c  188s |      18 |   386552 |   334652 |     1882    342 |        0 |        0
190.56/190.61	c  190s |      18 |   391008 |   338652 |     1882    345 |        0 |        0
192.56/192.65	c  192s |      18 |   395321 |   342552 |     1882    348 |        0 |        0
194.56/194.67	c  194s |      18 |   399449 |   346252 |     1882    352 |        0 |        0
196.56/196.68	c  196s |      18 |   403737 |   350052 |     1882    355 |        0 |        0
198.56/198.68	c  198s |      18 |   407915 |   353752 |     1882    358 |        0 |        0
200.55/200.69	c  200s |      18 |   412240 |   357352 |     1882    361 |        0 |        0
202.65/202.71	c  202s |      18 |   416082 |   360652 |     1882    364 |        0 |        0
204.66/204.75	c  204s |      18 |   420133 |   364152 |     1882    367 |        0 |        0
206.65/206.77	c  206s |      18 |   423846 |   367452 |     1882    370 |        0 |        0
208.65/208.77	c  208s |      18 |   427601 |   370752 |     1882    373 |        0 |        0
210.76/210.81	c  210s |      18 |   431056 |   373852 |     1882    375 |        0 |        0
212.76/212.86	c  212s |      18 |   434234 |   376752 |     1882    378 |        0 |        0
214.86/214.91	c  214s |      18 |   438862 |   380752 |     1882    381 |        0 |        0
216.86/216.92	c  216s |      18 |   442686 |   384152 |     1882    384 |        0 |        0
218.87/218.95	c  218s |      18 |   446426 |   387552 |     1882    387 |        0 |        0
220.96/221.00	c  220s |      18 |   450309 |   391052 |     1882    390 |        0 |        0
222.96/223.02	c  222s |      18 |   453738 |   394152 |     1882    393 |        0 |        0
224.96/225.07	c  225s |      18 |   457314 |   397352 |     1882    396 |        0 |        0
226.96/227.09	c  227s |      18 |   460766 |   400452 |     1882    399 |        0 |        0
229.06/229.11	c  229s |      18 |   464507 |   403852 |     1882    402 |        0 |        0
231.07/231.16	c  231s |      18 |   468261 |   407152 |     1882    404 |        0 |        0
233.06/233.20	c  233s |      18 |   471908 |   410452 |     1882    407 |        0 |        0
235.16/235.23	c  235s |      18 |   475479 |   413652 |     1882    410 |        0 |        0
237.16/237.29	c  237s |      18 |   479286 |   417052 |     1882    413 |        0 |        0
239.26/239.31	c  239s |      18 |   482866 |   420252 |     1882    416 |        0 |        0
241.26/241.34	c  241s |      18 |   486153 |   423252 |     1882    418 |        0 |        0
243.26/243.36	c  243s |      18 |   489943 |   426652 |     1882    421 |        0 |        0
245.26/245.37	c  245s |      18 |   494006 |   430252 |     1882    424 |        0 |        0
247.26/247.39	c  247s |      18 |   497782 |   433652 |     1882    427 |        0 |        0
249.36/249.44	c  249s |      18 |   501686 |   437152 |     1882    430 |        0 |        0
251.36/251.48	c  251s |      18 |   505340 |   440452 |     1882    433 |        0 |        0
253.36/253.49	c  253s |      18 |   509119 |   443852 |     2071    436 |        0 |        0
253.76/253.87	c  253s |      19 |   509803 |   444482 |     2071    436 |        0 |        0
255.76/255.89	c  255s |      19 |   514631 |   448482 |     2071    440 |        0 |        0
257.85/257.94	c  257s |      19 |   518561 |   452082 |     2071    442 |        0 |        0
259.85/259.98	c  259s |      19 |   522674 |   455682 |     2071    445 |        0 |        0
261.95/262.02	c  261s |      19 |   527080 |   459582 |     2071    448 |        0 |        0
263.96/264.07	c  264s |      19 |   531234 |   463282 |     2071    451 |        0 |        0
266.05/266.12	c  266s |      19 |   535244 |   466882 |     2071    454 |        0 |        0
268.05/268.17	c  268s |      19 |   539243 |   470482 |     2071    457 |        0 |        0
270.15/270.22	c  270s |      19 |   543249 |   474082 |     2071    460 |        0 |        0
272.15/272.23	c  272s |      19 |   546997 |   477482 |     2071    463 |        0 |        0
274.15/274.28	c  274s |      19 |   550895 |   480982 |     2071    465 |        0 |        0
276.16/276.29	c  276s |      19 |   554855 |   484482 |     2071    468 |        0 |        0
278.26/278.32	c  278s |      19 |   558833 |   487982 |     2071    471 |        0 |        0
280.25/280.37	c  280s |      19 |   562806 |   491482 |     2071    474 |        0 |        0
282.35/282.42	c  282s |      19 |   566696 |   494982 |     2071    476 |        0 |        0
284.35/284.48	c  284s |      19 |   570720 |   498582 |     2071    479 |        0 |        0
286.45/286.52	c  286s |      19 |   574370 |   501882 |     2071    482 |        0 |        0
288.45/288.54	c  288s |      19 |   578349 |   505382 |     2071    485 |        0 |        0
290.45/290.58	c  290s |      19 |   582463 |   508982 |     2071    488 |        0 |        0
292.45/292.59	c  292s |      19 |   586410 |   512482 |     2071    490 |        0 |        0
294.55/294.64	c  294s |      19 |   590229 |   515882 |     2071    493 |        0 |        0
296.55/296.64	c  296s |      19 |   594021 |   519282 |     2071    496 |        0 |        0
298.65/298.71	c  298s |      19 |   597729 |   522682 |     2071    498 |        0 |        0
300.65/300.74	c  300s |      19 |   601450 |   525982 |     2071    501 |        0 |        0
302.65/302.76	c  302s |      19 |   605209 |   529382 |     2071    504 |        0 |        0
304.65/304.77	c  304s |      19 |   608890 |   532682 |     2071    506 |        0 |        0
306.65/306.78	c  306s |      19 |   612483 |   535882 |     2071    509 |        0 |        0
308.75/308.81	c  308s |      19 |   616132 |   539182 |     2071    512 |        0 |        0
310.74/310.86	c  310s |      19 |   619986 |   542582 |     2071    514 |        0 |        0
312.74/312.86	c  312s |      19 |   623716 |   545882 |     2071    517 |        0 |        0
314.74/314.86	c  314s |      19 |   627277 |   549082 |     2071    520 |        0 |        0
316.85/316.92	c  316s |      19 |   631174 |   552482 |     2071    522 |        0 |        0
318.84/318.98	c  318s |      19 |   634788 |   555782 |     2071    525 |        0 |        0
320.94/321.00	c  320s |      19 |   638444 |   559082 |     2071    528 |        0 |        0
322.94/323.01	c  322s |      19 |   642256 |   562482 |     2071    530 |        0 |        0
324.94/325.03	c  324s |      19 |   645930 |   565782 |     2071    533 |        0 |        0
326.94/327.06	c  327s |      19 |   649566 |   569082 |     2071    536 |        0 |        0
328.95/329.07	c  329s |      19 |   652988 |   572182 |     2071    538 |        0 |        0
331.05/331.15	c  331s |      19 |   656297 |   575182 |     2071    541 |        0 |        0
333.04/333.16	c  333s |      19 |   660034 |   578482 |     2071    543 |        0 |        0
335.14/335.23	c  335s |      19 |   663686 |   581782 |     2071    546 |        0 |        0
337.24/337.30	c  337s |      19 |   667501 |   585182 |     2071    549 |        0 |        0
339.24/339.35	c  339s |      19 |   671335 |   588582 |     2071    551 |        0 |        0
341.24/341.37	c  341s |      19 |   675205 |   591982 |     2071    554 |        0 |        0
343.34/343.42	c  343s |      19 |   679203 |   595582 |     2071    557 |        0 |        0
345.35/345.43	c  345s |      19 |   683116 |   599082 |     2071    560 |        0 |        0
347.34/347.48	c  347s |      19 |   687181 |   602582 |     2071    563 |        0 |        0
349.44/349.54	c  349s |      19 |   690956 |   605982 |     2071    565 |        0 |        0
351.44/351.59	c  351s |      19 |   694635 |   609282 |     2071    568 |        0 |        0
353.54/353.63	c  353s |      19 |   698489 |   612682 |     2071    571 |        0 |        0
355.54/355.65	c  355s |      19 |   701420 |   615382 |     2071    573 |        0 |        0
357.64/357.72	c  357s |      19 |   705112 |   618582 |     2071    575 |        0 |        0
359.64/359.78	c  359s |      19 |   707860 |   621082 |     2071    577 |        0 |        0
361.74/361.83	c  361s |      19 |   711471 |   624282 |     2071    580 |        0 |        0
363.73/363.88	c  363s |      19 |   714766 |   627282 |     2071    582 |        0 |        0
365.83/365.90	c  365s |      19 |   718555 |   630582 |     2071    585 |        0 |        0
367.83/367.96	c  367s |      19 |   722220 |   633782 |     2071    588 |        0 |        0
369.83/370.00	c  369s |      19 |   725925 |   637082 |     2071    590 |        0 |        0
371.93/372.01	c  371s |      19 |   729236 |   640082 |     2071    593 |        0 |        0
373.94/374.01	c  373s |      19 |   732695 |   643182 |     2071    595 |        0 |        0
375.93/376.08	c  376s |      19 |   736006 |   646182 |     2071    598 |        0 |        0
378.03/378.11	c  378s |      19 |   739340 |   649182 |     2071    600 |        0 |        0
380.03/380.13	c  380s |      19 |   743032 |   652482 |     2071    603 |        0 |        0
382.13/382.20	c  382s |      19 |   746540 |   655682 |     2071    605 |        0 |        0
384.13/384.26	c  384s |      19 |   749526 |   658382 |     2071    607 |        0 |        0
386.13/386.29	c  386s |      19 |   753190 |   661582 |     2071    610 |        0 |        0
388.23/388.35	c  388s |      19 |   756386 |   664482 |     2279    612 |        0 |        0
389.73/389.82	c  389s |      20 |   759189 |   666827 |     2279    614 |        0 |        0
391.73/391.85	c  391s |      20 |   764270 |   670827 |     2279    616 |        0 |        0
393.73/393.89	c  393s |      20 |   768286 |   674327 |     2279    618 |        0 |        0
395.83/395.92	c  395s |      20 |   772001 |   677627 |     2279    621 |        0 |        0
397.83/397.98	c  397s |      20 |   775976 |   681127 |     2279    623 |        0 |        0
399.82/399.99	c  399s |      20 |   779080 |   683927 |     2279    625 |        0 |        0
401.92/402.02	c  401s |      20 |   783036 |   687427 |     2279    627 |        0 |        0
403.92/404.04	c  403s |      20 |   787119 |   691127 |     2279    629 |        0 |        0
405.93/406.04	c  405s |      20 |   791065 |   694627 |     2279    632 |        0 |        0
407.92/408.07	c  408s |      20 |   794810 |   698027 |     2279    634 |        0 |        0
410.02/410.11	c  410s |      20 |   798460 |   701327 |     2279    636 |        0 |        0
412.02/412.12	c  412s |      20 |   802146 |   704627 |     2279    638 |        0 |        0
414.02/414.18	c  414s |      20 |   805891 |   708027 |     2279    640 |        0 |        0
416.02/416.19	c  416s |      20 |   809417 |   711227 |     2279    642 |        0 |        0
418.03/418.19	c  418s |      20 |   812659 |   714127 |     2279    644 |        0 |        0
420.13/420.24	c  420s |      20 |   816580 |   717527 |     2279    647 |        0 |        0
422.22/422.33	c  422s |      20 |   819973 |   720627 |     2279    649 |        0 |        0
424.22/424.34	c  424s |      20 |   823518 |   723827 |     2279    651 |        0 |        0
426.22/426.37	c  426s |      20 |   826724 |   726727 |     2279    653 |        0 |        0
428.22/428.39	c  428s |      20 |   831196 |   730427 |     2279    655 |        0 |        0
430.31/430.41	c  430s |      20 |   834853 |   733727 |     2279    658 |        0 |        0
432.32/432.46	c  432s |      20 |   838379 |   736827 |     2279    660 |        0 |        0
434.31/434.50	c  434s |      20 |   842005 |   740027 |     2279    662 |        0 |        0
436.41/436.51	c  436s |      20 |   845432 |   743127 |     2279    664 |        0 |        0
438.41/438.53	c  438s |      20 |   848810 |   746127 |     2279    667 |        0 |        0
440.41/440.59	c  440s |      20 |   852333 |   749227 |     2279    669 |        0 |        0
442.51/442.63	c  442s |      20 |   855640 |   752227 |     2279    671 |        0 |        0
444.51/444.65	c  444s |      20 |   858949 |   755127 |     2279    673 |        0 |        0
446.51/446.67	c  446s |      20 |   862204 |   758027 |     2279    675 |        0 |        0
448.51/448.68	c  448s |      20 |   865416 |   760927 |     2279    677 |        0 |        0
450.50/450.68	c  450s |      20 |   868646 |   763827 |     2279    680 |        0 |        0
452.50/452.69	c  452s |      20 |   872024 |   766827 |     2279    682 |        0 |        0
454.60/454.73	c  454s |      20 |   875688 |   770027 |     2279    684 |        0 |        0
456.60/456.75	c  456s |      20 |   879012 |   773027 |     2279    686 |        0 |        0
458.61/458.78	c  458s |      20 |   882420 |   776027 |     2279    688 |        0 |        0
460.70/460.83	c  460s |      20 |   885503 |   778827 |     2279    691 |        0 |        0
462.69/462.88	c  462s |      20 |   889118 |   782027 |     2279    693 |        0 |        0
464.79/464.95	c  464s |      20 |   892434 |   785027 |     2279    695 |        0 |        0
466.89/467.01	c  466s |      20 |   896066 |   788227 |     2279    697 |        0 |        0
468.89/469.04	c  468s |      20 |   899640 |   791227 |     2279    700 |        0 |        0
470.89/471.07	c  471s |      20 |   902742 |   794027 |     2279    702 |        0 |        0
473.00/473.10	c  473s |      20 |   906086 |   797027 |     2279    704 |        0 |        0
474.99/475.14	c  475s |      20 |   909700 |   800227 |     2279    706 |        0 |        0
476.99/477.19	c  477s |      20 |   913288 |   803327 |     2279    709 |        0 |        0
479.09/479.25	c  479s |      20 |   916745 |   806427 |     2279    711 |        0 |        0
481.09/481.29	c  481s |      20 |   920401 |   809627 |     2279    713 |        0 |        0
483.19/483.34	c  483s |      20 |   923752 |   812627 |     2279    715 |        0 |        0
485.19/485.39	c  485s |      20 |   927494 |   815927 |     2279    718 |        0 |        0
487.29/487.43	c  487s |      20 |   930833 |   818827 |     2279    720 |        0 |        0
489.39/489.53	c  489s |      20 |   934807 |   822227 |     2279    723 |        0 |        0
491.38/491.57	c  491s |      20 |   938656 |   825327 |     2279    725 |        0 |        0
493.38/493.59	c  493s |      20 |   942225 |   828327 |     2279    727 |        0 |        0
495.48/495.62	c  495s |      20 |   945790 |   831427 |     2279    729 |        0 |        0
497.48/497.65	c  497s |      20 |   949122 |   834327 |     2279    731 |        0 |        0
499.48/499.68	c  499s |      20 |   952355 |   837127 |     2279    734 |        0 |        0
501.58/501.75	c  501s |      20 |   955901 |   840227 |     2279    736 |        0 |        0
503.57/503.75	c  503s |      20 |   958964 |   842927 |     2279    738 |        0 |        0
505.57/505.75	c  505s |      20 |   962261 |   845827 |     2279    740 |        0 |        0
507.57/507.75	c  507s |      20 |   965668 |   848627 |     2279    742 |        0 |        0
509.57/509.77	c  509s |      20 |   969106 |   851627 |     2279    744 |        0 |        0
511.67/511.85	c  511s |      20 |   972022 |   854227 |     2279    746 |        0 |        0
513.67/513.87	c  513s |      20 |   975097 |   856827 |     2279    748 |        0 |        0
515.77/515.94	c  515s |      20 |   978505 |   859727 |     2279    750 |        0 |        0
517.77/517.96	c  517s |      20 |   981497 |   862327 |     2279    752 |        0 |        0
519.86/520.01	c  519s |      20 |   984585 |   865027 |     2279    754 |        0 |        0
521.86/522.05	c  521s |      20 |   987637 |   867727 |     2279    756 |        0 |        0
523.86/524.07	c  524s |      20 |   990602 |   870327 |     2279    758 |        0 |        0
525.96/526.14	c  526s |      20 |   993759 |   873127 |     2279    760 |        0 |        0
527.97/528.17	c  528s |      20 |   996933 |   875827 |     2279    762 |        0 |        0
530.07/530.22	c  530s |      20 |   999782 |   878327 |     2279    764 |        0 |        0
532.06/532.24	c  532s |      20 |  1002466 |   880727 |     2279    766 |        0 |        0
534.16/534.31	c  534s |      20 |  1005532 |   883427 |     2279    768 |        0 |        0
536.16/536.33	c  536s |      20 |  1008446 |   886027 |     2279    770 |        0 |        0
538.16/538.38	c  538s |      20 |  1011556 |   888727 |     2279    772 |        0 |        0
540.25/540.42	c  540s |      20 |  1014317 |   891127 |     2279    773 |        0 |        0
542.26/542.47	c  542s |      20 |  1017152 |   893627 |     2279    775 |        0 |        0
544.25/544.49	c  544s |      20 |  1019947 |   896127 |     2279    777 |        0 |        0
546.35/546.56	c  546s |      20 |  1022401 |   898327 |     2279    779 |        0 |        0
548.35/548.59	c  548s |      20 |  1025486 |   901027 |     2279    781 |        0 |        0
550.45/550.64	c  550s |      20 |  1028595 |   903727 |     2279    783 |        0 |        0
552.45/552.67	c  552s |      20 |  1031554 |   906327 |     2279    785 |        0 |        0
554.54/554.75	c  554s |      20 |  1034518 |   908927 |     2279    787 |        0 |        0
556.64/556.80	c  556s |      20 |  1037336 |   911427 |     2279    788 |        0 |        0
558.65/558.88	c  558s |      20 |  1039899 |   913727 |     2279    790 |        0 |        0
560.74/560.95	c  560s |      20 |  1042509 |   916027 |     2279    792 |        0 |        0
562.74/562.97	c  562s |      20 |  1045321 |   918527 |     2279    794 |        0 |        0
564.84/565.05	c  564s |      20 |  1048102 |   921027 |     2279    795 |        0 |        0
566.84/567.07	c  567s |      20 |  1050885 |   923527 |     2279    797 |        0 |        0
568.84/569.08	c  569s |      20 |  1053685 |   926027 |     2279    799 |        0 |        0
570.94/571.15	c  571s |      20 |  1056314 |   928427 |     2279    801 |        0 |        0
572.94/573.17	c  573s |      20 |  1058762 |   930627 |     2279    803 |        0 |        0
575.03/575.21	c  575s |      20 |  1062173 |   933527 |     2279    805 |        0 |        0
577.03/577.24	c  577s |      20 |  1065373 |   936427 |     2279    807 |        0 |        0
579.03/579.27	c  579s |      20 |  1068742 |   939427 |     2279    809 |        0 |        0
581.03/581.28	c  581s |      20 |  1072164 |   942427 |     2279    811 |        0 |        0
583.13/583.31	c  583s |      20 |  1075445 |   945327 |     2279    813 |        0 |        0
585.14/585.37	c  585s |      20 |  1078695 |   948227 |     2279    816 |        0 |        0
587.13/587.38	c  587s |      20 |  1081844 |   951027 |     2279    818 |        0 |        0
589.22/589.46	c  589s |      20 |  1084854 |   953727 |     2279    820 |        0 |        0
591.32/591.51	c  591s |      20 |  1087701 |   956327 |     2279    822 |        0 |        0
593.32/593.57	c  593s |      20 |  1090706 |   959027 |     2279    824 |        0 |        0
595.42/595.62	c  595s |      20 |  1094216 |   962027 |     2279    826 |        0 |        0
597.42/597.66	c  597s |      20 |  1097457 |   964827 |     2279    828 |        0 |        0
599.51/599.70	c  599s |      20 |  1100336 |   967427 |     2279    830 |        0 |        0
601.52/601.71	c  601s |      20 |  1103210 |   970027 |     2279    832 |        0 |        0
603.51/603.72	c  603s |      20 |  1106156 |   972727 |     2279    834 |        0 |        0
605.51/605.76	c  605s |      20 |  1109657 |   975827 |     2279    836 |        0 |        0
607.61/607.80	c  607s |      20 |  1112737 |   978627 |     2279    838 |        0 |        0
609.61/609.83	c  609s |      20 |  1115844 |   981427 |     2279    840 |        0 |        0
611.61/611.87	c  611s |      20 |  1119083 |   984327 |     2279    842 |        0 |        0
613.61/613.87	c  613s |      20 |  1122351 |   987227 |     2279    844 |        0 |        0
615.71/615.94	c  615s |      20 |  1125452 |   990027 |     2279    846 |        0 |        0
617.81/618.02	c  617s |      20 |  1128745 |   992927 |     2279    849 |        0 |        0
619.80/620.09	c  620s |      20 |  1131650 |   995527 |     2507    850 |        0 |        0
621.90/622.11	c  622s |      20 |  1134489 |   998027 |     2507    852 |        0 |        0
623.61/623.84	c  623s |      21 |  1137163 |  1000345 |     2507    854 |        0 |        0
625.60/625.89	c  625s |      21 |  1141837 |  1004145 |     2507    856 |        0 |        0
627.70/627.90	c  627s |      21 |  1145109 |  1007145 |     2507    858 |        0 |        0
629.70/629.93	c  629s |      21 |  1148495 |  1010245 |     2507    860 |        0 |        0
631.70/631.98	c  631s |      21 |  1152074 |  1013445 |     2507    862 |        0 |        0
633.80/634.01	c  633s |      21 |  1155567 |  1016445 |     2507    864 |        0 |        0
635.80/636.04	c  635s |      21 |  1158766 |  1019345 |     2507    866 |        0 |        0
637.80/638.05	c  638s |      21 |  1161814 |  1022145 |     2507    868 |        0 |        0
639.79/640.08	c  640s |      21 |  1164952 |  1024945 |     2507    870 |        0 |        0
641.89/642.11	c  642s |      21 |  1168122 |  1027745 |     2507    872 |        0 |        0
643.89/644.12	c  644s |      21 |  1171266 |  1030545 |     2507    874 |        0 |        0
645.89/646.17	c  646s |      21 |  1174588 |  1033545 |     2507    876 |        0 |        0
647.99/648.21	c  648s |      21 |  1177886 |  1036545 |     2507    878 |        0 |        0
649.99/650.26	c  650s |      21 |  1181358 |  1039645 |     2507    880 |        0 |        0
652.09/652.33	c  652s |      21 |  1184696 |  1042645 |     2507    882 |        0 |        0
654.09/654.39	c  654s |      21 |  1188352 |  1045845 |     2507    884 |        0 |        0
656.19/656.46	c  656s |      21 |  1191542 |  1048745 |     2507    886 |        0 |        0
658.28/658.52	c  658s |      21 |  1195036 |  1051845 |     2507    888 |        0 |        0
660.28/660.56	c  660s |      21 |  1198249 |  1054745 |     2507    890 |        0 |        0
662.38/662.65	c  662s |      21 |  1201709 |  1057845 |     2507    893 |        0 |        0
664.38/664.67	c  664s |      21 |  1204831 |  1060645 |     2507    894 |        0 |        0
666.38/666.67	c  666s |      21 |  1208322 |  1063745 |     2507    897 |        0 |        0
668.48/668.76	c  668s |      21 |  1211899 |  1066845 |     2507    899 |        0 |        0
670.47/670.78	c  670s |      21 |  1214586 |  1069245 |     2507    900 |        0 |        0
672.57/672.82	c  672s |      21 |  1217512 |  1071845 |     2507    902 |        0 |        0
674.57/674.86	c  674s |      21 |  1220699 |  1074745 |     2507    904 |        0 |        0
676.67/676.90	c  676s |      21 |  1224389 |  1078045 |     2507    906 |        0 |        0
678.67/678.96	c  678s |      21 |  1228000 |  1081245 |     2507    908 |        0 |        0
680.77/681.02	c  680s |      21 |  1231315 |  1084045 |     2507    910 |        0 |        0
682.76/683.06	c  683s |      21 |  1234431 |  1086745 |     2507    912 |        0 |        0
684.86/685.10	c  685s |      21 |  1237454 |  1089445 |     2507    914 |        0 |        0
686.86/687.15	c  687s |      21 |  1240930 |  1092445 |     2507    916 |        0 |        0
688.87/689.16	c  689s |      21 |  1244163 |  1095345 |     2507    918 |        0 |        0
690.87/691.17	c  691s |      21 |  1247338 |  1098145 |     2507    920 |        0 |        0
692.97/693.22	c  693s |      21 |  1250446 |  1100945 |     2507    922 |        0 |        0
694.97/695.28	c  695s |      21 |  1253543 |  1103645 |     2507    924 |        0 |        0
697.07/697.30	c  697s |      21 |  1256692 |  1106445 |     2507    926 |        0 |        0
699.06/699.35	c  699s |      21 |  1259689 |  1109145 |     2507    927 |        0 |        0
701.16/701.41	c  701s |      21 |  1262743 |  1111845 |     2507    929 |        0 |        0
703.16/703.46	c  703s |      21 |  1265625 |  1114445 |     2507    931 |        0 |        0
705.16/705.46	c  705s |      21 |  1268628 |  1117145 |     2507    933 |        0 |        0
707.17/707.49	c  707s |      21 |  1271597 |  1119845 |     2507    935 |        0 |        0
709.26/709.51	c  709s |      21 |  1274565 |  1122545 |     2507    936 |        0 |        0
711.25/711.58	c  711s |      21 |  1277295 |  1124945 |     2507    938 |        0 |        0
713.35/713.62	c  713s |      21 |  1280682 |  1127945 |     2507    940 |        0 |        0
715.35/715.64	c  715s |      21 |  1283547 |  1130545 |     2507    942 |        0 |        0
717.45/717.70	c  717s |      21 |  1286589 |  1133245 |     2507    944 |        0 |        0
719.45/719.79	c  719s |      21 |  1289441 |  1135845 |     2507    946 |        0 |        0
721.55/721.84	c  721s |      21 |  1292368 |  1138445 |     2507    947 |        0 |        0
723.55/723.85	c  723s |      21 |  1295208 |  1141045 |     2507    949 |        0 |        0
725.65/725.90	c  725s |      21 |  1297917 |  1143545 |     2507    951 |        0 |        0
727.65/727.99	c  727s |      21 |  1300734 |  1146045 |     2507    952 |        0 |        0
729.74/730.04	c  729s |      21 |  1303384 |  1148445 |     2507    954 |        0 |        0
731.74/732.07	c  732s |      21 |  1306536 |  1151245 |     2507    956 |        0 |        0
733.84/734.11	c  734s |      21 |  1309572 |  1153945 |     2507    958 |        0 |        0
735.84/736.16	c  736s |      21 |  1312545 |  1156545 |     2507    960 |        0 |        0
737.95/738.22	c  738s |      21 |  1315424 |  1159145 |     2507    961 |        0 |        0
739.94/740.25	c  740s |      21 |  1317973 |  1161445 |     2507    963 |        0 |        0
741.94/742.29	c  742s |      21 |  1320773 |  1163945 |     2507    965 |        0 |        0
744.03/744.32	c  744s |      21 |  1323631 |  1166545 |     2507    966 |        0 |        0
746.03/746.35	c  746s |      21 |  1326220 |  1168945 |     2507    968 |        0 |        0
748.13/748.44	c  748s |      21 |  1328835 |  1171345 |     2507    970 |        0 |        0
750.23/750.52	c  750s |      21 |  1332015 |  1174145 |     2507    972 |        0 |        0
752.24/752.54	c  752s |      21 |  1334859 |  1176745 |     2507    973 |        0 |        0
754.34/754.62	c  754s |      21 |  1337587 |  1179245 |     2507    975 |        0 |        0
756.33/756.67	c  756s |      21 |  1340198 |  1181645 |     2507    977 |        0 |        0
758.43/758.75	c  758s |      21 |  1343266 |  1184345 |     2507    978 |        0 |        0
760.52/760.80	c  760s |      21 |  1346096 |  1186845 |     2507    980 |        0 |        0
762.52/762.86	c  762s |      21 |  1349264 |  1189645 |     2507    982 |        0 |        0
764.62/764.92	c  764s |      21 |  1351876 |  1191945 |     2507    984 |        0 |        0
766.62/766.95	c  766s |      21 |  1354291 |  1194045 |     2507    985 |        0 |        0
768.73/769.01	c  768s |      21 |  1356878 |  1196245 |     2507    987 |        0 |        0
770.72/771.02	c  770s |      21 |  1360239 |  1199145 |     2507    989 |        0 |        0
772.72/773.08	c  773s |      21 |  1363284 |  1201945 |     2507    990 |        0 |        0
774.82/775.17	c  775s |      21 |  1366486 |  1204845 |     2507    992 |        0 |        0
776.82/777.18	c  777s |      21 |  1369465 |  1207545 |     2507    994 |        0 |        0
778.91/779.25	c  779s |      21 |  1372578 |  1210345 |     2507    996 |        0 |        0
780.91/781.27	c  781s |      21 |  1375659 |  1213145 |     2507    998 |        0 |        0
782.92/783.28	c  783s |      21 |  1378636 |  1215845 |     2507   1000 |        0 |        0
784.91/785.28	c  785s |      21 |  1381456 |  1218445 |     2507   1002 |        0 |        0
787.01/787.30	c  787s |      21 |  1384427 |  1221145 |     2507   1003 |        0 |        0
789.01/789.36	c  789s |      21 |  1387456 |  1223845 |     2507   1005 |        0 |        0
791.01/791.38	c  791s |      21 |  1390256 |  1226345 |     2507   1007 |        0 |        0
793.11/793.40	c  793s |      21 |  1393682 |  1229345 |     2507   1009 |        0 |        0
795.12/795.47	c  795s |      21 |  1396592 |  1231945 |     2507   1011 |        0 |        0
797.11/797.48	c  797s |      21 |  1399435 |  1234545 |     2507   1013 |        0 |        0
799.21/799.52	c  799s |      21 |  1402420 |  1237245 |     2507   1014 |        0 |        0
801.21/801.54	c  801s |      21 |  1405411 |  1239945 |     2507   1016 |        0 |        0
803.20/803.57	c  803s |      21 |  1408513 |  1242745 |     2507   1018 |        0 |        0
805.30/805.60	c  805s |      21 |  1411282 |  1245245 |     2507   1020 |        0 |        0
807.30/807.62	c  807s |      21 |  1414015 |  1247745 |     2507   1022 |        0 |        0
809.31/809.62	c  809s |      21 |  1416865 |  1250245 |     2507   1023 |        0 |        0
811.30/811.68	c  811s |      21 |  1420361 |  1253345 |     2507   1025 |        0 |        0
813.40/813.70	c  813s |      21 |  1423484 |  1256145 |     2507   1027 |        0 |        0
815.40/815.71	c  815s |      21 |  1426461 |  1258845 |     2507   1029 |        0 |        0
817.40/817.77	c  817s |      21 |  1429359 |  1261445 |     2507   1031 |        0 |        0
819.49/819.80	c  819s |      21 |  1432265 |  1264045 |     2507   1033 |        0 |        0
821.50/821.83	c  821s |      21 |  1435256 |  1266745 |     2507   1034 |        0 |        0
823.49/823.86	c  823s |      21 |  1438153 |  1269345 |     2507   1036 |        0 |        0
825.59/825.90	c  825s |      21 |  1441058 |  1271945 |     2507   1038 |        0 |        0
827.59/827.91	c  827s |      21 |  1443787 |  1274445 |     2507   1040 |        0 |        0
829.59/829.97	c  829s |      21 |  1447360 |  1277545 |     2507   1042 |        0 |        0
831.69/832.05	c  831s |      21 |  1450422 |  1280345 |     2507   1044 |        0 |        0
833.79/834.11	c  834s |      21 |  1453412 |  1283045 |     2507   1046 |        0 |        0
835.79/836.14	c  836s |      21 |  1456150 |  1285545 |     2507   1047 |        0 |        0
837.78/838.18	c  838s |      21 |  1458855 |  1288045 |     2507   1049 |        0 |        0
839.89/840.21	c  840s |      21 |  1461479 |  1290445 |     2507   1051 |        0 |        0
841.89/842.24	c  842s |      21 |  1464211 |  1292945 |     2507   1052 |        0 |        0
843.89/844.29	c  844s |      21 |  1467391 |  1295745 |     2507   1054 |        0 |        0
845.99/846.34	c  846s |      21 |  1470461 |  1298445 |     2507   1056 |        0 |        0
847.99/848.37	c  848s |      21 |  1473068 |  1300845 |     2507   1058 |        0 |        0
850.09/850.42	c  850s |      21 |  1476067 |  1303545 |     2507   1059 |        0 |        0
852.08/852.44	c  852s |      21 |  1479324 |  1306445 |     2507   1061 |        0 |        0
854.08/854.48	c  854s |      21 |  1482183 |  1309045 |     2507   1063 |        0 |        0
856.18/856.56	c  856s |      21 |  1485299 |  1311845 |     2507   1065 |        0 |        0
858.18/858.58	c  858s |      21 |  1488302 |  1314545 |     2507   1067 |        0 |        0
860.28/860.62	c  860s |      21 |  1491181 |  1317145 |     2507   1069 |        0 |        0
862.38/862.70	c  862s |      21 |  1494171 |  1319845 |     2507   1071 |        0 |        0
864.38/864.73	c  864s |      21 |  1497451 |  1322645 |     2507   1072 |        0 |        0
866.48/866.81	c  866s |      21 |  1500492 |  1325345 |     2507   1074 |        0 |        0
868.48/868.82	c  868s |      21 |  1503411 |  1327945 |     2507   1076 |        0 |        0
870.47/870.85	c  870s |      21 |  1506430 |  1330645 |     2507   1078 |        0 |        0
872.57/872.93	c  872s |      21 |  1509371 |  1333245 |     2507   1080 |        0 |        0
874.57/874.94	c  874s |      21 |  1512479 |  1336045 |     2507   1082 |        0 |        0
876.67/877.00	c  876s |      21 |  1515458 |  1338745 |     2507   1083 |        0 |        0
878.68/879.01	c  878s |      21 |  1518266 |  1341245 |     2507   1085 |        0 |        0
880.67/881.03	c  880s |      21 |  1521022 |  1343745 |     2507   1087 |        0 |        0
882.77/883.10	c  883s |      21 |  1523762 |  1346245 |     2507   1088 |        0 |        0
884.77/885.16	c  885s |      21 |  1526490 |  1348745 |     2507   1090 |        0 |        0
886.77/887.17	c  887s |      21 |  1529303 |  1351245 |     2507   1092 |        0 |        0
888.86/889.20	c  889s |      21 |  1532332 |  1353845 |     2507   1094 |        0 |        0
890.86/891.22	c  891s |      21 |  1535028 |  1356245 |     2507   1095 |        0 |        0
892.87/893.27	c  893s |      21 |  1537820 |  1358745 |     2507   1097 |        0 |        0
894.96/895.35	c  895s |      21 |  1541196 |  1361745 |     2507   1099 |        0 |        0
896.96/897.39	c  897s |      21 |  1544256 |  1364445 |     2507   1101 |        0 |        0
899.06/899.45	c  899s |      21 |  1547188 |  1367045 |     2507   1103 |        0 |        0
901.16/901.51	c  901s |      21 |  1550097 |  1369645 |     2507   1104 |        0 |        0
903.16/903.52	c  903s |      21 |  1552869 |  1372145 |     2507   1106 |        0 |        0
905.16/905.53	c  905s |      21 |  1555799 |  1374745 |     2507   1108 |        0 |        0
907.16/907.55	c  907s |      21 |  1558582 |  1377245 |     2507   1109 |        0 |        0
909.25/909.63	c  909s |      21 |  1561785 |  1380045 |     2507   1111 |        0 |        0
911.35/911.70	c  911s |      21 |  1564861 |  1382745 |     2507   1113 |        0 |        0
913.35/913.71	c  913s |      21 |  1567767 |  1385345 |     2507   1115 |        0 |        0
915.35/915.73	c  915s |      21 |  1570784 |  1388045 |     2507   1117 |        0 |        0
917.35/917.73	c  917s |      21 |  1573688 |  1390645 |     2507   1119 |        0 |        0
919.35/919.75	c  919s |      21 |  1576572 |  1393245 |     2507   1120 |        0 |        0
921.45/921.82	c  921s |      21 |  1579702 |  1396045 |     2507   1122 |        0 |        0
923.44/923.86	c  923s |      21 |  1582771 |  1398745 |     2507   1124 |        0 |        0
925.54/925.91	c  925s |      21 |  1585479 |  1401145 |     2507   1126 |        0 |        0
927.54/927.92	c  927s |      21 |  1588192 |  1403545 |     2507   1127 |        0 |        0
929.54/929.92	c  929s |      21 |  1591226 |  1406045 |     2507   1129 |        0 |        0
931.54/931.95	c  931s |      21 |  1594027 |  1408545 |     2507   1131 |        0 |        0
933.54/933.97	c  933s |      21 |  1596695 |  1410945 |     2507   1132 |        0 |        0
935.54/935.97	c  935s |      21 |  1599603 |  1413545 |     2507   1134 |        0 |        0
937.54/937.98	c  937s |      21 |  1602291 |  1415945 |     2507   1136 |        0 |        0
939.53/939.99	c  939s |      21 |  1605146 |  1418445 |     2507   1137 |        0 |        0
941.63/942.04	c  941s |      21 |  1608132 |  1421045 |     2507   1139 |        0 |        0
943.73/944.10	c  944s |      21 |  1610756 |  1423445 |     2507   1141 |        0 |        0
945.74/946.12	c  946s |      21 |  1613465 |  1425845 |     2507   1143 |        0 |        0
947.73/948.12	c  948s |      21 |  1616628 |  1428645 |     2507   1144 |        0 |        0
949.73/950.19	c  950s |      21 |  1619692 |  1431345 |     2507   1146 |        0 |        0
951.83/952.26	c  952s |      21 |  1622495 |  1433845 |     2507   1148 |        0 |        0
953.93/954.30	c  954s |      21 |  1625278 |  1436345 |     2507   1150 |        0 |        0
955.92/956.34	c  956s |      21 |  1628081 |  1438845 |     2507   1151 |        0 |        0
958.02/958.42	c  958s |      21 |  1630929 |  1441445 |     2507   1153 |        0 |        0
960.03/960.44	c  960s |      21 |  1633382 |  1443645 |     2507   1155 |        0 |        0
962.02/962.46	c  962s |      21 |  1635869 |  1445945 |     2507   1156 |        0 |        0
964.02/964.46	c  964s |      21 |  1638319 |  1448145 |     2507   1158 |        0 |        0
966.02/966.48	c  966s |      21 |  1641072 |  1450545 |     2507   1159 |        0 |        0
968.12/968.55	c  968s |      21 |  1643949 |  1453045 |     2507   1161 |        0 |        0
970.12/970.59	c  970s |      21 |  1646904 |  1455645 |     2507   1163 |        0 |        0
972.22/972.64	c  972s |      21 |  1649657 |  1458145 |     2507   1164 |        0 |        0
974.22/974.65	c  974s |      21 |  1652081 |  1460345 |     2507   1166 |        0 |        0
976.21/976.66	c  976s |      21 |  1654649 |  1462645 |     2507   1168 |        0 |        0
978.31/978.71	c  978s |      21 |  1657890 |  1465445 |     2507   1169 |        0 |        0
980.31/980.71	c  980s |      21 |  1660488 |  1467745 |     2507   1171 |        0 |        0
982.31/982.73	c  982s |      21 |  1663398 |  1470345 |     2507   1173 |        0 |        0
984.41/984.81	c  984s |      21 |  1666086 |  1472845 |     2507   1174 |        0 |        0
986.42/986.87	c  986s |      21 |  1669000 |  1475445 |     2507   1176 |        0 |        0
988.41/988.88	c  988s |      21 |  1671750 |  1477945 |     2507   1178 |        0 |        0
990.50/990.90	c  990s |      21 |  1674504 |  1480445 |     2507   1180 |        0 |        0
992.50/992.93	c  992s |      21 |  1677166 |  1482845 |     2507   1181 |        0 |        0
994.50/994.96	c  994s |      21 |  1679731 |  1485145 |     2507   1183 |        0 |        0
996.60/997.03	c  996s |      21 |  1682633 |  1487745 |     2507   1185 |        0 |        0
998.60/999.06	c  999s |      21 |  1685321 |  1490145 |     2758   1186 |        0 |        0
1000.70/1001.11	c 1001s |      21 |  1687892 |  1492445 |     2758   1188 |        0 |        0
1002.70/1003.13	c 1003s |      21 |  1690554 |  1494745 |     2758   1189 |        0 |        0
1004.70/1005.15	c 1005s |      21 |  1693369 |  1497245 |     2758   1191 |        0 |        0
1006.70/1007.18	c 1007s |      21 |  1696306 |  1499845 |     2758   1192 |        0 |        0
1007.40/1007.84	c 1007s |      22 |  1697166 |  1500622 |     2758   1193 |        0 |        0
1009.50/1009.91	c 1009s |      22 |  1702167 |  1504522 |     2758   1195 |        0 |        0
1011.49/1011.93	c 1011s |      22 |  1705674 |  1507622 |     2758   1196 |        0 |        0
1013.49/1013.94	c 1013s |      22 |  1709012 |  1510622 |     2758   1198 |        0 |        0
1015.49/1015.97	c 1015s |      22 |  1712501 |  1513722 |     2758   1200 |        0 |        0
1017.49/1017.98	c 1017s |      22 |  1715658 |  1516522 |     2758   1202 |        0 |        0
1019.59/1020.02	c 1019s |      22 |  1719139 |  1519522 |     2758   1203 |        0 |        0
1021.59/1022.08	c 1022s |      22 |  1722424 |  1522522 |     2758   1205 |        0 |        0
1023.69/1024.16	c 1024s |      22 |  1725649 |  1525422 |     2758   1207 |        0 |        0
1025.79/1026.23	c 1026s |      22 |  1729142 |  1528522 |     2758   1208 |        0 |        0
1027.78/1028.23	c 1028s |      22 |  1732025 |  1531122 |     2758   1210 |        0 |        0
1029.78/1030.26	c 1030s |      22 |  1735667 |  1534222 |     2758   1212 |        0 |        0
1031.88/1032.33	c 1032s |      22 |  1738668 |  1536822 |     2758   1213 |        0 |        0
1033.88/1034.35	c 1034s |      22 |  1741353 |  1539222 |     2758   1214 |        0 |        0
1035.98/1036.40	c 1036s |      22 |  1743804 |  1541422 |     2758   1216 |        0 |        0
1037.98/1038.41	c 1038s |      22 |  1746975 |  1544022 |     2758   1217 |        0 |        0
1039.97/1040.46	c 1040s |      22 |  1750287 |  1546722 |     2758   1219 |        0 |        0
1042.07/1042.53	c 1042s |      22 |  1754011 |  1549722 |     2758   1220 |        0 |        0
1044.17/1044.60	c 1044s |      22 |  1757222 |  1552622 |     2758   1222 |        0 |        0
1046.27/1046.70	c 1046s |      22 |  1760381 |  1555422 |     2758   1224 |        0 |        0
1048.27/1048.71	c 1048s |      22 |  1763302 |  1558022 |     2758   1225 |        0 |        0
1050.27/1050.77	c 1050s |      22 |  1766365 |  1560722 |     2758   1227 |        0 |        0
1052.28/1052.77	c 1052s |      22 |  1770092 |  1563822 |     2758   1228 |        0 |        0
1054.37/1054.80	c 1054s |      22 |  1773623 |  1566822 |     2758   1230 |        0 |        0
1056.38/1056.82	c 1056s |      22 |  1776932 |  1569722 |     2758   1232 |        0 |        0
1058.48/1058.91	c 1058s |      22 |  1779817 |  1572322 |     2758   1233 |        0 |        0
1060.48/1060.93	c 1060s |      22 |  1783023 |  1575122 |     2758   1235 |        0 |        0
1062.58/1063.03	c 1062s |      22 |  1786719 |  1578422 |     2758   1237 |        0 |        0
1064.58/1065.05	c 1064s |      22 |  1789594 |  1580922 |     2758   1238 |        0 |        0
1066.58/1067.05	c 1067s |      22 |  1793028 |  1583922 |     2758   1240 |        0 |        0
1068.67/1069.10	c 1069s |      22 |  1796257 |  1586722 |     2758   1241 |        0 |        0
1070.67/1071.14	c 1071s |      22 |  1799602 |  1589622 |     2758   1243 |        0 |        0
1072.67/1073.19	c 1073s |      22 |  1802585 |  1592322 |     2758   1244 |        0 |        0
1074.67/1075.19	c 1075s |      22 |  1805451 |  1594922 |     2758   1246 |        0 |        0
1076.77/1077.24	c 1077s |      22 |  1808373 |  1597522 |     2758   1247 |        0 |        0
1078.78/1079.27	c 1079s |      22 |  1811054 |  1599922 |     2758   1249 |        0 |        0
1080.88/1081.31	c 1081s |      22 |  1814100 |  1602622 |     2758   1250 |        0 |        0
1082.87/1083.35	c 1083s |      22 |  1817713 |  1605722 |     2758   1252 |        0 |        0
1084.97/1085.45	c 1085s |      22 |  1820853 |  1608522 |     2758   1254 |        0 |        0
1086.97/1087.49	c 1087s |      22 |  1824225 |  1611422 |     2758   1255 |        0 |        0
1088.97/1089.49	c 1089s |      22 |  1827219 |  1614122 |     2758   1257 |        0 |        0
1091.07/1091.57	c 1091s |      22 |  1830235 |  1616822 |     2758   1258 |        0 |        0
1093.17/1093.64	c 1093s |      22 |  1833143 |  1619422 |     2758   1260 |        0 |        0
1095.18/1095.64	c 1095s |      22 |  1836134 |  1622022 |     2758   1261 |        0 |        0
1097.17/1097.65	c 1097s |      22 |  1839053 |  1624622 |     2758   1263 |        0 |        0
1099.27/1099.70	c 1099s |      22 |  1842189 |  1627422 |     2758   1264 |        0 |        0
1101.27/1101.75	c 1101s |      22 |  1845150 |  1630122 |     2758   1266 |        0 |        0
1103.37/1103.83	c 1103s |      22 |  1848435 |  1632922 |     2758   1267 |        0 |        0
1105.37/1105.86	c 1105s |      22 |  1851521 |  1635622 |     2758   1269 |        0 |        0
1107.47/1107.95	c 1107s |      22 |  1854715 |  1638322 |     2758   1270 |        0 |        0
1109.57/1110.02	c 1109s |      22 |  1857698 |  1640922 |     2758   1272 |        0 |        0
1111.57/1112.03	c 1111s |      22 |  1860929 |  1643722 |     2758   1273 |        0 |        0
1113.56/1114.09	c 1114s |      22 |  1863888 |  1646322 |     2758   1275 |        0 |        0
1115.66/1116.14	c 1116s |      22 |  1867105 |  1649122 |     2758   1277 |        0 |        0
1117.66/1118.17	c 1118s |      22 |  1870831 |  1652322 |     2758   1278 |        0 |        0
1119.76/1120.20	c 1120s |      22 |  1873986 |  1655022 |     2758   1280 |        0 |        0
1121.76/1122.22	c 1122s |      22 |  1876898 |  1657622 |     2758   1281 |        0 |        0
1123.77/1124.29	c 1124s |      22 |  1880256 |  1660522 |     2758   1283 |        0 |        0
1125.86/1126.37	c 1126s |      22 |  1883288 |  1663222 |     2758   1285 |        0 |        0
1127.96/1128.43	c 1128s |      22 |  1886226 |  1665822 |     2758   1286 |        0 |        0
1129.96/1130.45	c 1130s |      22 |  1888803 |  1668122 |     2758   1287 |        0 |        0
1131.96/1132.47	c 1132s |      22 |  1891899 |  1670822 |     2758   1289 |        0 |        0
1133.96/1134.48	c 1134s |      22 |  1894975 |  1673522 |     2758   1290 |        0 |        0
1135.97/1136.48	c 1136s |      22 |  1897799 |  1676022 |     2758   1292 |        0 |        0
1138.07/1138.51	c 1138s |      22 |  1901034 |  1678922 |     2758   1293 |        0 |        0
1140.06/1140.56	c 1140s |      22 |  1903964 |  1681522 |     2758   1295 |        0 |        0
1142.16/1142.61	c 1142s |      22 |  1907442 |  1684522 |     2758   1297 |        0 |        0
1144.16/1144.64	c 1144s |      22 |  1910642 |  1687322 |     2758   1298 |        0 |        0
1146.16/1146.68	c 1146s |      22 |  1914040 |  1690322 |     2758   1300 |        0 |        0
1148.26/1148.74	c 1148s |      22 |  1917195 |  1693122 |     2758   1301 |        0 |        0
1150.26/1150.80	c 1150s |      22 |  1919927 |  1695522 |     2758   1303 |        0 |        0
1152.36/1152.84	c 1152s |      22 |  1922551 |  1697822 |     2758   1304 |        0 |        0
1154.36/1154.89	c 1154s |      22 |  1925822 |  1700722 |     2758   1306 |        0 |        0
1156.36/1156.89	c 1156s |      22 |  1929005 |  1703522 |     2758   1307 |        0 |        0
1158.46/1158.96	c 1158s |      22 |  1931937 |  1706122 |     2758   1309 |        0 |        0
1160.46/1160.97	c 1160s |      22 |  1935061 |  1708922 |     2758   1310 |        0 |        0
1162.46/1162.98	c 1162s |      22 |  1938151 |  1711622 |     2758   1312 |        0 |        0
1164.56/1165.01	c 1164s |      22 |  1941198 |  1714322 |     2758   1313 |        0 |        0
1166.55/1167.04	c 1166s |      22 |  1944128 |  1716922 |     2758   1315 |        0 |        0
1168.55/1169.05	c 1168s |      22 |  1947205 |  1719722 |     2758   1316 |        0 |        0
1170.55/1171.05	c 1171s |      22 |  1949742 |  1722022 |     2758   1318 |        0 |        0
1172.65/1173.10	c 1173s |      22 |  1952567 |  1724522 |     2758   1319 |        0 |        0
1174.65/1175.15	c 1175s |      22 |  1955495 |  1727122 |     2758   1321 |        0 |        0
1176.75/1177.26	c 1177s |      22 |  1958143 |  1729522 |     2758   1322 |        0 |        0
1178.76/1179.29	c 1179s |      22 |  1961057 |  1732122 |     2758   1323 |        0 |        0
1180.85/1181.32	c 1181s |      22 |  1963701 |  1734522 |     2758   1325 |        0 |        0
1182.85/1183.39	c 1183s |      22 |  1966347 |  1736922 |     2758   1326 |        0 |        0
1184.95/1185.44	c 1185s |      22 |  1969024 |  1739322 |     2758   1327 |        0 |        0
1186.95/1187.45	c 1187s |      22 |  1971703 |  1741722 |     2758   1329 |        0 |        0
1188.95/1189.47	c 1189s |      22 |  1974337 |  1744022 |     2758   1330 |        0 |        0
1190.96/1191.50	c 1191s |      22 |  1977578 |  1746822 |     2758   1332 |        0 |        0
1193.06/1193.57	c 1193s |      22 |  1980862 |  1749722 |     2758   1333 |        0 |        0
1195.05/1195.59	c 1195s |      22 |  1983849 |  1752422 |     2758   1335 |        0 |        0
1197.15/1197.64	c 1197s |      22 |  1986961 |  1755222 |     2758   1336 |        0 |        0
1199.15/1199.69	c 1199s |      22 |  1990053 |  1757922 |     2758   1338 |        0 |        0
1201.25/1201.71	c 1201s |      22 |  1993478 |  1760822 |     2758   1340 |        0 |        0
1203.25/1203.75	c 1203s |      22 |  1996835 |  1763822 |     2758   1341 |        0 |        0
1205.35/1205.81	c 1205s |      22 |  2000033 |  1766622 |     2758   1343 |        0 |        0
1207.35/1207.87	c 1207s |      22 |  2003000 |  1769222 |     2758   1344 |        0 |        0
1209.35/1209.87	c 1209s |      22 |  2005499 |  1771422 |     2758   1346 |        0 |        0
1211.45/1211.90	c 1211s |      22 |  2008699 |  1774122 |     2758   1347 |        0 |        0
1213.45/1213.95	c 1213s |      22 |  2013011 |  1777622 |     2758   1349 |        0 |        0
1215.55/1216.01	c 1215s |      22 |  2016568 |  1780622 |     2758   1351 |        0 |        0
1217.54/1218.09	c 1218s |      22 |  2019988 |  1783522 |     2758   1353 |        0 |        0
1219.64/1220.14	c 1220s |      22 |  2023397 |  1786522 |     2758   1354 |        0 |        0
1221.65/1222.19	c 1222s |      22 |  2026094 |  1788922 |     2758   1356 |        0 |        0
1223.74/1224.22	c 1224s |      22 |  2029169 |  1791722 |     2758   1357 |        0 |        0
1225.74/1226.26	c 1226s |      22 |  2032306 |  1794422 |     2758   1359 |        0 |        0
1227.84/1228.33	c 1228s |      22 |  2035495 |  1797322 |     2758   1360 |        0 |        0
1229.84/1230.38	c 1230s |      22 |  2038628 |  1800122 |     2758   1362 |        0 |        0
1231.94/1232.40	c 1232s |      22 |  2041775 |  1802922 |     2758   1363 |        0 |        0
1233.94/1234.42	c 1234s |      22 |  2044507 |  1805322 |     2758   1365 |        0 |        0
1235.95/1236.49	c 1236s |      22 |  2046973 |  1807522 |     2758   1366 |        0 |        0
1238.04/1238.54	c 1238s |      22 |  2049719 |  1810022 |     2758   1367 |        0 |        0
1240.14/1240.61	c 1240s |      22 |  2052711 |  1812622 |     2758   1369 |        0 |        0
1242.24/1242.70	c 1242s |      22 |  2055892 |  1815422 |     2758   1371 |        0 |        0
1244.24/1244.74	c 1244s |      22 |  2058662 |  1817922 |     2758   1372 |        0 |        0
1246.34/1246.81	c 1246s |      22 |  2061578 |  1820522 |     2758   1373 |        0 |        0
1248.34/1248.83	c 1248s |      22 |  2064214 |  1822822 |     2758   1375 |        0 |        0
1250.34/1250.87	c 1250s |      22 |  2067394 |  1825622 |     2758   1376 |        0 |        0
1252.34/1252.89	c 1252s |      22 |  2069980 |  1827922 |     2758   1378 |        0 |        0
1254.44/1254.92	c 1254s |      22 |  2073256 |  1830722 |     2758   1379 |        0 |        0
1256.44/1256.97	c 1256s |      22 |  2076518 |  1833622 |     2758   1381 |        0 |        0
1258.54/1259.00	c 1258s |      22 |  2079713 |  1836422 |     2758   1382 |        0 |        0
1260.55/1261.01	c 1260s |      22 |  2082989 |  1839322 |     2758   1384 |        0 |        0
1262.55/1263.04	c 1262s |      22 |  2085938 |  1841922 |     2758   1385 |        0 |        0
1264.55/1265.07	c 1265s |      22 |  2089324 |  1844922 |     2758   1387 |        0 |        0
1266.64/1267.13	c 1267s |      22 |  2092286 |  1847622 |     2758   1389 |        0 |        0
1268.64/1269.16	c 1269s |      22 |  2095333 |  1850322 |     2758   1390 |        0 |        0
1270.64/1271.18	c 1271s |      22 |  2099080 |  1853522 |     2758   1392 |        0 |        0
1272.74/1273.22	c 1273s |      22 |  2102378 |  1856422 |     2758   1394 |        0 |        0
1274.74/1275.26	c 1275s |      22 |  2105933 |  1859522 |     2758   1395 |        0 |        0
1276.75/1277.29	c 1277s |      22 |  2108756 |  1862022 |     2758   1397 |        0 |        0
1278.74/1279.30	c 1279s |      22 |  2112079 |  1864922 |     2758   1398 |        0 |        0
1280.84/1281.31	c 1281s |      22 |  2114825 |  1867422 |     2758   1400 |        0 |        0
1282.84/1283.37	c 1283s |      22 |  2117749 |  1870022 |     2758   1401 |        0 |        0
1284.94/1285.40	c 1285s |      22 |  2120976 |  1872822 |     2758   1403 |        0 |        0
1286.94/1287.47	c 1287s |      22 |  2124081 |  1875622 |     2758   1404 |        0 |        0
1288.94/1289.47	c 1289s |      22 |  2127197 |  1878422 |     2758   1406 |        0 |        0
1290.95/1291.49	c 1291s |      22 |  2130105 |  1881022 |     2758   1408 |        0 |        0
1293.04/1293.51	c 1293s |      22 |  2132844 |  1883522 |     2758   1409 |        0 |        0
1295.04/1295.51	c 1295s |      22 |  2135831 |  1886222 |     2758   1410 |        0 |        0
1297.04/1297.58	c 1297s |      22 |  2138694 |  1888822 |     2758   1412 |        0 |        0
1299.14/1299.61	c 1299s |      22 |  2141524 |  1891422 |     2758   1413 |        0 |        0
1301.14/1301.61	c 1301s |      22 |  2144309 |  1893922 |     2758   1415 |        0 |        0
1303.14/1303.64	c 1303s |      22 |  2146891 |  1896222 |     2758   1416 |        0 |        0
1305.14/1305.68	c 1305s |      22 |  2150220 |  1899022 |     2758   1418 |        0 |        0
1307.14/1307.69	c 1307s |      22 |  2153108 |  1901522 |     2758   1419 |        0 |        0
1309.24/1309.75	c 1309s |      22 |  2155876 |  1903922 |     2758   1420 |        0 |        0
1311.24/1311.76	c 1311s |      22 |  2158768 |  1906422 |     2758   1422 |        0 |        0
1313.34/1313.83	c 1313s |      22 |  2161938 |  1909122 |     2758   1423 |        0 |        0
1315.34/1315.87	c 1315s |      22 |  2164682 |  1911522 |     2758   1425 |        0 |        0
1317.44/1317.92	c 1317s |      22 |  2167560 |  1914122 |     2758   1426 |        0 |        0
1319.44/1319.97	c 1319s |      22 |  2170474 |  1916722 |     2758   1428 |        0 |        0
1321.54/1322.04	c 1321s |      22 |  2173069 |  1919022 |     2758   1429 |        0 |        0
1323.53/1324.06	c 1324s |      22 |  2175520 |  1921222 |     2758   1430 |        0 |        0
1325.63/1326.13	c 1326s |      22 |  2178649 |  1923822 |     2758   1432 |        0 |        0
1327.63/1328.17	c 1328s |      22 |  2181521 |  1926322 |     2758   1433 |        0 |        0
1329.73/1330.21	c 1330s |      22 |  2184634 |  1928922 |     2758   1435 |        0 |        0
1331.74/1332.28	c 1332s |      22 |  2187575 |  1931522 |     2758   1436 |        0 |        0
1333.84/1334.36	c 1334s |      22 |  2190631 |  1934222 |     2758   1438 |        0 |        0
1335.83/1336.37	c 1336s |      22 |  2192970 |  1936322 |     2758   1439 |        0 |        0
1337.83/1338.39	c 1338s |      22 |  2195525 |  1938622 |     2758   1440 |        0 |        0
1339.93/1340.46	c 1340s |      22 |  2197985 |  1940822 |     2758   1441 |        0 |        0
1342.03/1342.53	c 1342s |      22 |  2200215 |  1942822 |     2758   1442 |        0 |        0
1344.03/1344.55	c 1344s |      22 |  2203368 |  1945622 |     2758   1444 |        0 |        0
1346.13/1346.68	c 1346s |      22 |  2206245 |  1948222 |     2758   1446 |        0 |        0
1348.14/1348.68	c 1348s |      22 |  2209304 |  1950922 |     2758   1447 |        0 |        0
1350.23/1350.71	c 1350s |      22 |  2211742 |  1953122 |     2758   1448 |        0 |        0
1352.23/1352.71	c 1352s |      22 |  2214435 |  1955522 |     2758   1450 |        0 |        0
1354.23/1354.77	c 1354s |      22 |  2217102 |  1957922 |     2758   1451 |        0 |        0
1356.33/1356.87	c 1356s |      22 |  2219553 |  1960122 |     2758   1452 |        0 |        0
1358.33/1358.88	c 1358s |      22 |  2221974 |  1962322 |     2758   1453 |        0 |        0
1360.43/1360.93	c 1360s |      22 |  2224166 |  1964322 |     2758   1455 |        0 |        0
1362.43/1362.93	c 1362s |      22 |  2228086 |  1967522 |     2758   1456 |        0 |        0
1364.43/1364.94	c 1364s |      22 |  2231358 |  1970322 |     2758   1458 |        0 |        0
1366.53/1367.01	c 1366s |      22 |  2234413 |  1973022 |     2758   1460 |        0 |        0
1368.53/1369.07	c 1369s |      22 |  2237458 |  1975722 |     2758   1461 |        0 |        0
1370.62/1371.18	c 1371s |      22 |  2240359 |  1978322 |     2758   1463 |        0 |        0
1372.62/1373.19	c 1373s |      22 |  2242981 |  1980722 |     2758   1464 |        0 |        0
1374.72/1375.25	c 1375s |      22 |  2246010 |  1983422 |     2758   1465 |        0 |        0
1376.73/1377.27	c 1377s |      22 |  2249048 |  1986122 |     2758   1467 |        0 |        0
1378.82/1379.32	c 1379s |      22 |  2252015 |  1988822 |     2758   1468 |        0 |        0
1380.82/1381.34	c 1381s |      22 |  2254965 |  1991522 |     2758   1470 |        0 |        0
1382.82/1383.38	c 1383s |      22 |  2257955 |  1994222 |     2758   1472 |        0 |        0
1384.82/1385.39	c 1385s |      22 |  2260816 |  1996822 |     2758   1473 |        0 |        0
1386.92/1387.40	c 1387s |      22 |  2264406 |  1999922 |     2758   1475 |        0 |        0
1388.93/1389.43	c 1389s |      22 |  2267446 |  2002622 |     2758   1476 |        0 |        0
1390.92/1391.48	c 1391s |      22 |  2270521 |  2005422 |     2758   1478 |        0 |        0
1393.02/1393.50	c 1393s |      22 |  2273603 |  2008222 |     2758   1479 |        0 |        0
1395.02/1395.51	c 1395s |      22 |  2276457 |  2010822 |     2758   1481 |        0 |        0
1397.12/1397.61	c 1397s |      22 |  2279721 |  2013722 |     2758   1483 |        0 |        0
1399.12/1399.64	c 1399s |      22 |  2282666 |  2016322 |     2758   1484 |        0 |        0
1401.22/1401.71	c 1401s |      22 |  2285619 |  2019022 |     2758   1486 |        0 |        0
1403.23/1403.71	c 1403s |      22 |  2288263 |  2021422 |     2758   1487 |        0 |        0
1405.22/1405.74	c 1405s |      22 |  2291432 |  2024222 |     2758   1488 |        0 |        0
1407.22/1407.79	c 1407s |      22 |  2294467 |  2026922 |     2758   1490 |        0 |        0
1409.32/1409.88	c 1409s |      22 |  2297442 |  2029622 |     2758   1492 |        0 |        0
1411.42/1411.92	c 1411s |      22 |  2300442 |  2032322 |     2758   1493 |        0 |        0
1413.42/1413.94	c 1413s |      22 |  2303085 |  2034722 |     2758   1494 |        0 |        0
1415.52/1416.02	c 1415s |      22 |  2305975 |  2037322 |     2758   1496 |        0 |        0
1417.52/1418.06	c 1418s |      22 |  2308726 |  2039722 |     2758   1497 |        0 |        0
1419.62/1420.13	c 1420s |      22 |  2311369 |  2042122 |     2758   1499 |        0 |        0
1421.61/1422.18	c 1422s |      22 |  2314151 |  2044522 |     2758   1500 |        0 |        0
1423.71/1424.20	c 1424s |      22 |  2317113 |  2047122 |     2758   1501 |        0 |        0
1425.71/1426.27	c 1426s |      22 |  2320310 |  2049922 |     2758   1503 |        0 |        0
1427.81/1428.33	c 1428s |      22 |  2323341 |  2052622 |     2758   1505 |        0 |        0
1429.81/1430.35	c 1430s |      22 |  2326075 |  2055122 |     2758   1506 |        0 |        0
1431.91/1432.41	c 1432s |      22 |  2328846 |  2057622 |     2758   1507 |        0 |        0
1433.92/1434.45	c 1434s |      22 |  2331806 |  2060122 |     2758   1509 |        0 |        0
1435.91/1436.50	c 1436s |      22 |  2334895 |  2062822 |     2758   1510 |        0 |        0
1438.01/1438.52	c 1438s |      22 |  2337913 |  2065522 |     2758   1512 |        0 |        0
1440.01/1440.52	c 1440s |      22 |  2340878 |  2068122 |     2758   1513 |        0 |        0
1442.01/1442.54	c 1442s |      22 |  2343777 |  2070722 |     2758   1515 |        0 |        0
1444.11/1444.62	c 1444s |      22 |  2346722 |  2073422 |     2758   1516 |        0 |        0
1446.12/1446.63	c 1446s |      22 |  2349695 |  2076122 |     2758   1518 |        0 |        0
1448.11/1448.68	c 1448s |      22 |  2352566 |  2078722 |     2758   1519 |        0 |        0
1450.11/1450.69	c 1450s |      22 |  2355264 |  2081122 |     2758   1521 |        0 |        0
1452.21/1452.71	c 1452s |      22 |  2358310 |  2083922 |     2758   1522 |        0 |        0
1454.21/1454.77	c 1454s |      22 |  2361278 |  2086622 |     2758   1524 |        0 |        0
1456.21/1456.77	c 1456s |      22 |  2363888 |  2089022 |     2758   1525 |        0 |        0
1458.31/1458.80	c 1458s |      22 |  2366518 |  2091422 |     2758   1527 |        0 |        0
1460.31/1460.80	c 1460s |      22 |  2369393 |  2094022 |     2758   1528 |        0 |        0
1462.31/1462.81	c 1462s |      22 |  2372190 |  2096522 |     2758   1529 |        0 |        0
1464.31/1464.88	c 1464s |      22 |  2374927 |  2099022 |     2758   1531 |        0 |        0
1466.41/1466.91	c 1466s |      22 |  2377286 |  2101122 |     2758   1532 |        0 |        0
1468.40/1468.93	c 1468s |      22 |  2380449 |  2103722 |     2758   1533 |        0 |        0
1470.40/1470.94	c 1470s |      22 |  2383214 |  2106122 |     2758   1535 |        0 |        0
1472.41/1472.98	c 1472s |      22 |  2386018 |  2108622 |     2758   1536 |        0 |        0
1474.50/1475.05	c 1475s |      22 |  2388855 |  2111122 |     2758   1538 |        0 |        0
1476.50/1477.09	c 1477s |      22 |  2391528 |  2113522 |     2758   1539 |        0 |        0
1478.60/1479.17	c 1479s |      22 |  2394336 |  2116022 |     2758   1540 |        0 |        0
1480.70/1481.21	c 1481s |      22 |  2397153 |  2118522 |     2758   1542 |        0 |        0
1482.70/1483.26	c 1483s |      22 |  2400040 |  2121022 |     2758   1543 |        0 |        0
1484.71/1485.28	c 1485s |      22 |  2402867 |  2123522 |     2758   1545 |        0 |        0
1486.72/1487.28	c 1487s |      22 |  2405572 |  2125922 |     2758   1546 |        0 |        0
1488.81/1489.31	c 1489s |      22 |  2408593 |  2128622 |     2758   1548 |        0 |        0
1490.81/1491.31	c 1491s |      22 |  2412129 |  2131522 |     2758   1549 |        0 |        0
1492.81/1493.31	c 1493s |      22 |  2415290 |  2134222 |     2758   1551 |        0 |        0
1494.81/1495.38	c 1495s |      22 |  2418421 |  2136922 |     2758   1552 |        0 |        0
1496.91/1497.44	c 1497s |      22 |  2421229 |  2139422 |     2758   1554 |        0 |        0
1498.92/1499.49	c 1499s |      22 |  2424083 |  2141922 |     2758   1555 |        0 |        0
1501.01/1501.54	c 1501s |      22 |  2427193 |  2144622 |     2758   1557 |        0 |        0
1503.01/1503.59	c 1503s |      22 |  2430012 |  2147122 |     2758   1558 |        0 |        0
1505.01/1505.59	c 1505s |      22 |  2432529 |  2149422 |     2758   1559 |        0 |        0
1507.01/1507.60	c 1507s |      22 |  2435053 |  2151622 |     2758   1561 |        0 |        0
1509.11/1509.64	c 1509s |      22 |  2438050 |  2154222 |     2758   1562 |        0 |        0
1511.11/1511.67	c 1511s |      22 |  2440913 |  2156622 |     2758   1563 |        0 |        0
1513.11/1513.70	c 1513s |      22 |  2443525 |  2158922 |     2758   1565 |        0 |        0
1515.21/1515.78	c 1515s |      22 |  2446108 |  2161222 |     2758   1566 |        0 |        0
1517.31/1517.83	c 1517s |      22 |  2448693 |  2163522 |     2758   1567 |        0 |        0
1519.31/1519.85	c 1519s |      22 |  2451716 |  2166122 |     2758   1569 |        0 |        0
1521.40/1521.93	c 1521s |      22 |  2454809 |  2168822 |     2758   1570 |        0 |        0
1523.40/1523.93	c 1523s |      22 |  2457810 |  2171422 |     2758   1572 |        0 |        0
1525.40/1525.94	c 1525s |      22 |  2460579 |  2173922 |     2758   1573 |        0 |        0
1527.41/1527.97	c 1527s |      22 |  2463262 |  2176322 |     2758   1575 |        0 |        0
1529.40/1529.99	c 1529s |      22 |  2466125 |  2178822 |     2758   1576 |        0 |        0
1531.50/1532.00	c 1531s |      22 |  2468928 |  2181322 |     2758   1577 |        0 |        0
1533.50/1534.05	c 1533s |      22 |  2471916 |  2183922 |     2758   1579 |        0 |        0
1535.60/1536.10	c 1536s |      22 |  2474712 |  2186422 |     2758   1580 |        0 |        0
1537.60/1538.12	c 1538s |      22 |  2477409 |  2188822 |     2758   1582 |        0 |        0
1539.61/1540.17	c 1540s |      22 |  2480186 |  2191322 |     2758   1583 |        0 |        0
1541.71/1542.21	c 1542s |      22 |  2483184 |  2194022 |     2758   1585 |        0 |        0
1543.70/1544.27	c 1544s |      22 |  2486200 |  2196722 |     2758   1586 |        0 |        0
1545.80/1546.31	c 1546s |      22 |  2488975 |  2199222 |     2758   1588 |        0 |        0
1547.80/1548.39	c 1548s |      22 |  2491874 |  2201822 |     2758   1589 |        0 |        0
1549.90/1550.43	c 1550s |      22 |  2494629 |  2204322 |     2758   1591 |        0 |        0
1551.90/1552.44	c 1552s |      22 |  2497602 |  2207022 |     2758   1592 |        0 |        0
1553.91/1554.45	c 1554s |      22 |  2500025 |  2209222 |     2758   1593 |        0 |        0
1555.90/1556.45	c 1556s |      22 |  2502339 |  2211322 |     2758   1595 |        0 |        0
1557.90/1558.49	c 1558s |      22 |  2504834 |  2213522 |     2758   1596 |        0 |        0
1560.00/1560.53	c 1560s |      22 |  2507603 |  2216022 |     2758   1597 |        0 |        0
1562.00/1562.54	c 1562s |      22 |  2509904 |  2218122 |     2758   1598 |        0 |        0
1564.00/1564.57	c 1564s |      22 |  2512257 |  2220222 |     2758   1600 |        0 |        0
1566.10/1566.64	c 1566s |      22 |  2514900 |  2222622 |     2758   1601 |        0 |        0
1568.10/1568.70	c 1568s |      22 |  2517240 |  2224722 |     2758   1602 |        0 |        0
1570.20/1570.70	c 1570s |      22 |  2520625 |  2227622 |     2758   1604 |        0 |        0
1572.20/1572.74	c 1572s |      22 |  2523714 |  2230322 |     2758   1605 |        0 |        0
1574.20/1574.78	c 1574s |      22 |  2526531 |  2232822 |     2758   1607 |        0 |        0
1576.29/1576.80	c 1576s |      22 |  2529485 |  2235422 |     3034   1608 |        0 |        0
1578.29/1578.81	c 1578s |      22 |  2532415 |  2238022 |     3034   1609 |        0 |        0
1580.30/1580.86	c 1580s |      22 |  2535080 |  2240422 |     3034   1611 |        0 |        0
1582.40/1582.91	c 1582s |      22 |  2538027 |  2243022 |     3034   1612 |        0 |        0
1584.39/1584.95	c 1584s |      22 |  2541033 |  2245722 |     3034   1613 |        0 |        0
1586.39/1586.97	c 1586s |      22 |  2543499 |  2247922 |     3034   1615 |        0 |        0
1588.49/1589.01	c 1588s |      22 |  2546150 |  2250322 |     3034   1616 |        0 |        0
1589.10/1589.69	c 1589s |      23 |  2546927 |  2251038 |     3034   1616 |        0 |        0
1591.20/1591.71	c 1591s |      23 |  2551179 |  2254438 |     3034   1618 |        0 |        0
1593.19/1593.74	c 1593s |      23 |  2554381 |  2257238 |     3034   1620 |        0 |        0
1595.19/1595.77	c 1595s |      23 |  2557360 |  2259938 |     3034   1621 |        0 |        0
1597.29/1597.81	c 1597s |      23 |  2560059 |  2262338 |     3034   1623 |        0 |        0
1599.39/1599.91	c 1599s |      23 |  2563296 |  2265138 |     3034   1624 |        0 |        0
1601.39/1601.94	c 1601s |      23 |  2566211 |  2267638 |     3034   1626 |        0 |        0
1603.39/1603.95	c 1603s |      23 |  2568998 |  2270138 |     3034   1627 |        0 |        0
1605.49/1606.01	c 1605s |      23 |  2571717 |  2272538 |     3034   1629 |        0 |        0
1607.49/1608.04	c 1607s |      23 |  2574482 |  2275038 |     3034   1630 |        0 |        0
1609.59/1610.11	c 1610s |      23 |  2577312 |  2277538 |     3034   1631 |        0 |        0
1611.59/1612.12	c 1612s |      23 |  2580001 |  2279938 |     3034   1633 |        0 |        0
1613.59/1614.14	c 1614s |      23 |  2582575 |  2282238 |     3034   1634 |        0 |        0
1615.69/1616.21	c 1616s |      23 |  2585190 |  2284538 |     3034   1635 |        0 |        0
1617.69/1618.23	c 1618s |      23 |  2587642 |  2286738 |     3034   1637 |        0 |        0
1619.68/1620.27	c 1620s |      23 |  2589945 |  2288838 |     3034   1638 |        0 |        0
1621.68/1622.28	c 1622s |      23 |  2592356 |  2291038 |     3034   1639 |        0 |        0
1623.68/1624.28	c 1624s |      23 |  2594780 |  2293238 |     3034   1640 |        0 |        0
1625.78/1626.32	c 1626s |      23 |  2597571 |  2295738 |     3034   1642 |        0 |        0
1627.78/1628.36	c 1628s |      23 |  2599876 |  2297838 |     3034   1643 |        0 |        0
1629.79/1630.39	c 1630s |      23 |  2602760 |  2300338 |     3034   1644 |        0 |        0
1631.89/1632.43	c 1632s |      23 |  2605408 |  2302738 |     3034   1646 |        0 |        0
1633.98/1634.50	c 1634s |      23 |  2608201 |  2305238 |     3034   1647 |        0 |        0
1635.98/1636.52	c 1636s |      23 |  2610677 |  2307438 |     3034   1649 |        0 |        0
1637.98/1638.52	c 1638s |      23 |  2613441 |  2309938 |     3034   1650 |        0 |        0
1639.98/1640.55	c 1640s |      23 |  2616118 |  2312338 |     3034   1651 |        0 |        0
1642.08/1642.61	c 1642s |      23 |  2618674 |  2314638 |     3034   1653 |        0 |        0
1644.09/1644.69	c 1644s |      23 |  2621589 |  2317238 |     3034   1654 |        0 |        0
1646.19/1646.76	c 1646s |      23 |  2624103 |  2319538 |     3034   1656 |        0 |        0
1648.18/1648.77	c 1648s |      23 |  2626318 |  2321538 |     3034   1657 |        0 |        0
1650.18/1650.79	c 1650s |      23 |  2629259 |  2323938 |     3034   1658 |        0 |        0
1652.28/1652.80	c 1652s |      23 |  2631526 |  2325938 |     3034   1659 |        0 |        0
1654.38/1654.90	c 1654s |      23 |  2633888 |  2328038 |     3034   1660 |        0 |        0
1656.38/1656.90	c 1656s |      23 |  2636860 |  2330638 |     3034   1662 |        0 |        0
1658.39/1658.96	c 1658s |      23 |  2639644 |  2333138 |     3034   1663 |        0 |        0
1660.59/1661.13	c 1661s |      23 |  2642300 |  2335538 |     3034   1665 |        0 |        0
1662.58/1663.14	c 1663s |      23 |  2645109 |  2338038 |     3034   1666 |        0 |        0
1664.68/1665.23	c 1665s |      23 |  2647559 |  2340238 |     3034   1667 |        0 |        0
1666.68/1667.29	c 1667s |      23 |  2650437 |  2342738 |     3034   1669 |        0 |        0
1668.78/1669.31	c 1669s |      23 |  2652756 |  2344838 |     3034   1670 |        0 |        0
1670.78/1671.36	c 1671s |      23 |  2656071 |  2347738 |     3034   1672 |        0 |        0
1672.88/1673.41	c 1673s |      23 |  2658628 |  2350038 |     3034   1673 |        0 |        0
1674.88/1675.48	c 1675s |      23 |  2661202 |  2352338 |     3034   1674 |        0 |        0
1676.98/1677.55	c 1677s |      23 |  2663766 |  2354638 |     3034   1676 |        0 |        0
1678.98/1679.58	c 1679s |      23 |  2666436 |  2357038 |     3034   1677 |        0 |        0
1680.98/1681.59	c 1681s |      23 |  2669181 |  2359438 |     3034   1679 |        0 |        0
1683.08/1683.64	c 1683s |      23 |  2671651 |  2361638 |     3034   1680 |        0 |        0
1685.17/1685.71	c 1685s |      23 |  2673981 |  2363738 |     3034   1681 |        0 |        0
1687.17/1687.72	c 1687s |      23 |  2676655 |  2366138 |     3034   1682 |        0 |        0
1689.18/1689.80	c 1689s |      23 |  2679281 |  2368438 |     3034   1684 |        0 |        0
1691.28/1691.88	c 1691s |      23 |  2681893 |  2370738 |     3034   1685 |        0 |        0
1693.37/1693.91	c 1693s |      23 |  2684750 |  2373238 |     3034   1686 |        0 |        0
1695.37/1695.92	c 1695s |      23 |  2687458 |  2375638 |     3034   1688 |        0 |        0
1697.47/1698.00	c 1697s |      23 |  2690148 |  2378038 |     3034   1689 |        0 |        0
1699.47/1700.03	c 1699s |      23 |  2692875 |  2380438 |     3034   1691 |        0 |        0
1701.47/1702.09	c 1702s |      23 |  2695780 |  2383038 |     3034   1692 |        0 |        0
1703.57/1704.12	c 1704s |      23 |  2697956 |  2385038 |     3034   1693 |        0 |        0
1705.58/1706.16	c 1706s |      23 |  2700479 |  2387238 |     3034   1695 |        0 |        0
1707.57/1708.19	c 1708s |      23 |  2702957 |  2389438 |     3034   1696 |        0 |        0
1709.67/1710.21	c 1710s |      23 |  2705431 |  2391638 |     3034   1697 |        0 |        0
1711.77/1712.30	c 1712s |      23 |  2708002 |  2393938 |     3034   1698 |        0 |        0
1713.77/1714.37	c 1714s |      23 |  2710300 |  2396038 |     3034   1700 |        0 |        0
1715.87/1716.44	c 1716s |      23 |  2712479 |  2398038 |     3034   1701 |        0 |        0
1717.87/1718.48	c 1718s |      23 |  2715112 |  2400338 |     3034   1702 |        0 |        0
1719.98/1720.56	c 1720s |      23 |  2717462 |  2402438 |     3034   1703 |        0 |        0
1721.97/1722.58	c 1722s |      23 |  2720077 |  2404738 |     3034   1705 |        0 |        0
1723.97/1724.58	c 1724s |      23 |  2722766 |  2407138 |     3034   1706 |        0 |        0
1725.97/1726.59	c 1726s |      23 |  2725335 |  2409438 |     3034   1707 |        0 |        0
1728.07/1728.60	c 1728s |      23 |  2728110 |  2411738 |     3034   1709 |        0 |        0
1730.07/1730.62	c 1730s |      23 |  2730768 |  2414138 |     3034   1710 |        0 |        0
1732.07/1732.65	c 1732s |      23 |  2733169 |  2416338 |     3034   1711 |        0 |        0
1734.07/1734.67	c 1734s |      23 |  2735621 |  2418538 |     3034   1713 |        0 |        0
1736.17/1736.70	c 1736s |      23 |  2738566 |  2421138 |     3034   1714 |        0 |        0
1738.17/1738.73	c 1738s |      23 |  2741118 |  2423438 |     3034   1715 |        0 |        0
1740.27/1740.80	c 1740s |      23 |  2743808 |  2425838 |     3034   1717 |        0 |        0
1742.27/1742.87	c 1742s |      23 |  2746605 |  2428338 |     3034   1718 |        0 |        0
1744.26/1744.89	c 1744s |      23 |  2749170 |  2430638 |     3034   1720 |        0 |        0
1746.37/1746.95	c 1746s |      23 |  2751682 |  2432938 |     3034   1721 |        0 |        0
1748.47/1749.06	c 1749s |      23 |  2754762 |  2435638 |     3034   1723 |        0 |        0
1750.56/1751.13	c 1751s |      23 |  2757352 |  2438038 |     3034   1724 |        0 |        0
1752.56/1753.19	c 1753s |      23 |  2760098 |  2440438 |     3034   1725 |        0 |        0
1754.56/1755.19	c 1755s |      23 |  2762488 |  2442638 |     3034   1727 |        0 |        0
1756.66/1757.23	c 1757s |      23 |  2765251 |  2445038 |     3034   1728 |        0 |        0
1758.66/1759.23	c 1759s |      23 |  2767587 |  2447138 |     3034   1729 |        0 |        0
1760.67/1761.25	c 1761s |      23 |  2769909 |  2449238 |     3034   1730 |        0 |        0
1762.77/1763.32	c 1763s |      23 |  2772431 |  2451538 |     3034   1732 |        0 |        0
1764.76/1765.38	c 1765s |      23 |  2775133 |  2453938 |     3034   1733 |        0 |        0
1766.86/1767.46	c 1767s |      23 |  2777670 |  2456238 |     3034   1734 |        0 |        0
1768.96/1769.51	c 1769s |      23 |  2780378 |  2458638 |     3034   1736 |        0 |        0
1770.96/1771.52	c 1771s |      23 |  2782690 |  2460738 |     3034   1737 |        0 |        0
1772.96/1773.58	c 1773s |      23 |  2785102 |  2462938 |     3034   1738 |        0 |        0
1775.06/1775.66	c 1775s |      23 |  2787650 |  2465238 |     3034   1740 |        0 |        0
1777.07/1777.68	c 1777s |      23 |  2790215 |  2467538 |     3034   1741 |        0 |        0
1779.16/1779.71	c 1779s |      23 |  2792825 |  2469838 |     3034   1742 |        0 |        0
1781.16/1781.78	c 1781s |      23 |  2795206 |  2471938 |     3034   1743 |        0 |        0
1783.26/1783.87	c 1783s |      23 |  2798103 |  2474438 |     3034   1745 |        0 |        0
1785.36/1785.94	c 1785s |      23 |  2800633 |  2476738 |     3034   1746 |        0 |        0
1787.46/1788.02	c 1787s |      23 |  2803189 |  2479038 |     3034   1748 |        0 |        0
1789.46/1790.08	c 1790s |      23 |  2805796 |  2481438 |     3034   1749 |        0 |        0
1791.56/1792.11	c 1792s |      23 |  2808092 |  2483538 |     3034   1750 |        0 |        0
1793.56/1794.20	c 1794s |      23 |  2810787 |  2485938 |     3034   1752 |        0 |        0
1795.66/1796.25	c 1796s |      23 |  2813212 |  2488138 |     3034   1753 |        0 |        0
1797.76/1798.31	c 1798s |      23 |  2815463 |  2490138 |     3034   1754 |        0 |        0
1799.76/1800.32	c 1800s |      23 |  2817657 |  2492138 |     3034   1755 |        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-4093629-1466089643/watcher-4093629-1466089643 -o /tmp/evaluation-result-4093629-1466089643/solver-4093629-1466089643 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093629-1466089643.wbo 

pid=21021
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.02 2.07 2.08 3/177 21024
/proc/meminfo: memFree=28632868/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=802372 CPUtime=0 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 3010 0 0 0 0 0 0 0 20 0 4 0 11014396 821628928 2861 33554432000 4194304 16246674 140736000721808 140736000721232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 201361 2870 442 2943 0 198255 0
[pid=21024/tid=21025] ppid=21021 vsize=819780 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 839454720 2930 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=824900 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 844697600 2948 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=828996 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11014396 848891904 2964 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.02 2.07 2.08 3/177 21024
/proc/meminfo: memFree=28632868/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 26815 0 0 0 5 4 0 0 20 0 4 0 11014396 1247350784 26652 33554432000 4194304 16246674 140736000721808 140736000721232 12478461 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 26666 807 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 26676 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 26688 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 26698 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200479 s]
/proc/loadavg: 2.02 2.07 2.08 3/177 21024
/proc/meminfo: memFree=28632868/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 55681 0 0 0 11 8 0 0 20 0 4 0 11014396 1247350784 55517 33554432000 4194304 16246674 140736000721808 140736000721232 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 55539 807 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 55548 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 55560 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 55576 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300434 s]
/proc/loadavg: 2.02 2.07 2.08 3/177 21024
/proc/meminfo: memFree=28632868/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 85529 0 0 0 17 12 0 0 20 0 4 0 11014396 1247350784 85365 33554432000 4194304 16246674 140736000721808 140736000721232 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 85382 813 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 85393 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 85402 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 85411 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700357 s]
/proc/loadavg: 2.02 2.07 2.08 3/177 21024
/proc/meminfo: memFree=28632868/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 206008 0 0 0 40 29 0 0 20 0 4 0 11014396 1247350784 205845 33554432000 4194304 16246674 140736000721808 140736000721232 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 205864 813 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 205875 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 205886 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11014396 1247350784 205897 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.02 2.07 2.08 3/181 21028
/proc/meminfo: memFree=27650424/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 266728 0 0 0 112 37 0 0 20 0 4 0 11014396 1334382592 266542 33554432000 4194304 16246674 140736000721808 140736000721120 13923843 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 325777 266542 873 2943 0 322671 0
[pid=21024/tid=21025] ppid=21021 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1334382592 266542 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1334382592 266542 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1334382592 266542 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10037 s]
/proc/loadavg: 2.02 2.07 2.08 4/181 21028
/proc/meminfo: memFree=27563996/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 267847 0 0 0 272 37 0 0 20 0 4 0 11014396 1338576896 267661 33554432000 4194304 16246674 140736000721808 140736000704808 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326801 267661 873 2943 0 323695 0
[pid=21024/tid=21025] ppid=21021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1338576896 267661 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1338576896 267661 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1338576896 267661 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 21028
/proc/meminfo: memFree=27558920/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 268006 0 0 0 592 37 0 0 20 0 4 0 11014396 1339625472 267820 33554432000 4194304 16246674 140736000721808 140736000703680 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267820 873 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267820 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267820 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267820 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.02 2.06 2.08 3/181 21028
/proc/meminfo: memFree=27554432/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 268180 0 0 0 1231 37 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140736000703680 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267994 873 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.01 2.06 2.07 3/181 21028
/proc/meminfo: memFree=27548472/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 268180 0 0 0 2511 37 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140736000703680 12478272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267994 873 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1339625472 267994 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.07 2.07 2.08 3/181 21028
/proc/meminfo: memFree=27521640/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1310276 CPUtime=51.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 268694 0 0 0 5071 38 0 0 20 0 4 0 11014396 1341722624 268508 33554432000 4194304 16246674 140736000721808 140736000703680 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327569 268508 875 2943 0 324463 0
[pid=21024/tid=21025] ppid=21021 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1341722624 268508 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1341722624 268508 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1341722624 268508 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.10 2.07 2.08 3/181 21029
/proc/meminfo: memFree=27470924/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1311300 CPUtime=102.28 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 268950 0 0 0 10190 38 0 0 20 0 4 0 11014396 1342771200 268764 33554432000 4194304 16246674 140736000721808 140736000703680 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327825 268764 875 2943 0 324719 0
[pid=21024/tid=21025] ppid=21021 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1342771200 268764 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1342771200 268764 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1342771200 268764 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1349062656 270557 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/181 21108
/proc/meminfo: memFree=29347940/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1301.84 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 130140 44 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.04 4/182 21112
/proc/meminfo: memFree=29347584/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1361.83 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 136139 44 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/181 21113
/proc/meminfo: memFree=29348224/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1421.82 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 142138 44 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000704808 5823520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.04 3/181 21114
/proc/meminfo: memFree=29348064/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1481.8 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 148136 44 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.15 2.06 2.04 4/181 21116
/proc/meminfo: memFree=29347968/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1541.81 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 154136 45 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/181 21117
/proc/meminfo: memFree=29347872/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1601.79 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 160134 45 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 5711836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/181 21118
/proc/meminfo: memFree=29347416/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1661.78 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 166133 45 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.03 4/181 21119
/proc/meminfo: memFree=29347316/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1721.77 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 172132 45 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.03 3/181 21120
/proc/meminfo: memFree=29347396/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1781.76 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 178131 45 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000703680 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.04 2.03 3/181 21120
/proc/meminfo: memFree=29347408/32872528 swapFree=446836/479540
[pid=21024] ppid=21021 vsize=1318468 CPUtime=1800.06 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 15681 0 -1 4202496 271185 0 0 0 179961 45 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140736000720984 5722668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 329617 270813 876 2943 0 326511 0
[pid=21024/tid=21025] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 15681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724537371888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724526882032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11014396 1350111232 270813 33554432000 4194304 16246674 140736000721808 140724516408496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1318468

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 21024 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.62
CPU system time (s): 0.45893
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.45893
maximum resident set size= 1083252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271185
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= 453
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2942 second user time and 8.29374 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 17:07:23
IDJOB=4093629
IDBENCH=79148
IDSOLVER=2553
FILE ID=node104/4093629-1466089643
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_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-4093629-1466089643/watcher-4093629-1466089643 -o /tmp/evaluation-result-4093629-1466089643/solver-4093629-1466089643 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093629-1466089643.wbo

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

MD5SUM BENCH= a882a0978da6ad149ec004c2c9449010
RANDOM SEED=1318746440

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28633512 kB
Buffers:           42816 kB
Cached:           114088 kB
SwapCached:          516 kB
Active:          2972988 kB
Inactive:          77808 kB
Active(anon):    2894984 kB
Inactive(anon):     1168 kB
Active(file):      78004 kB
Inactive(file):    76640 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16428 kB
Writeback:             0 kB
AnonPages:       3376972 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             568820 kB
SReclaimable:      12540 kB
SUnreclaim:       556280 kB
KernelStack:        1440 kB
PageTables:        10564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3511860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node104 at 2016-06-16 17:37:23