Trace number 4109174

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM0cdd726c0cfdfebdf6729039b1e2fb5f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1468
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints28
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 1426
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 1425
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:10:17+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-4109174-1466341817.wbo"]
0.00/0.01	c use --random-gen="3460592734 924418102 1954982714 3336667900 3074385256 2303653781 2160357428 1073629080 1503319766 810733211 979178896 2903823194 1966575172 1044796371 1714282513 2810902853 75549979 1971559304 3377292640 1214592950 2075407362 3935139823 2916551458 3578189048 3335824749 386200011 443321210 466793120 1742248072 1230492402 3014543507 2932547190 2292590499 2499231454 476512103 2683079418 4249504975 66348503 3753887970 1222667681 4182094367 844111352 3396654921 3665081247 835324271 515468643 2708034655 476713993 2756226498 3524209617 726174711 2942831040 172557025 3913057918 2444533588 3815235513 3523626757 3275490560 974509681 2443052491 3840057576 3101799402 2326806880 3966479911 4186515240 1329777679 173327437 90537643 2966162003 343718251 957186886 3398263591 3133028189 1539417397 2547367853 3001476869 2228995805 180133654 978524454 2547985081 2999412591 944449813 2368402060 2026475050 2748721230 644662549 4291618982 3604512101 4148498038 913009750 3774973909 1857819653 581391225 4193235215 1987952661 1660584817 4106337530 3065374894 357736387 2256160778 1108043758 2919410450 2706982874 994602833 1505167558 770271873 3721951977 3524618196 402628184 1242352374 2976657054 2309857631 2846767610 3951988410 3220858021 2583327482 2002360126 497946524 3542703675 1701364976 3113467441 526971961 2418852948 2212427887 2174122694 69663461 3412373247 2855075343 3491104414 3748187478 830997281 1441963630 340369638 3995509987 2887707347 3665409004 108315699 4202216826 3669226351 1038592341 984488024 3942427816 1751753924 1063155661 1483669580 2564257874 3293045738 500225179 1062761539 3348066387 227675825 2638011905 1954875136 3613120145 2215686844 2684642911 922297534 682324000 3669203910 1978460487 3164049078 1754696302 1944385725 2528369521 2522601335 2902276365 3175716636 1640956795 4284523043 567616074 110387931 779325851 4146517067 4161804059 405142926 442997930 1168413847 1740387426 183545136 3250165104 1864182101 2821924256 339252982 658546993 2021818892 1484807778 1079641196 2992026191 3635557840 265496422 3351783622 4132088412 372265794 3959232151 295410331 2308628975 3109677978 3248491123 3088525634 493865970 1834265053 3920739949 2672670074 2623627242 3821580648 4081410936 4172585786 1949141813 1871553198 3050347797 3511067163 2495393912 1656939866 163799474 1887342667 1211761572 2614223382 3311861014 1287915076 2652723830 621734468 526127259 3380525913 355974493 2846080990 3854750857 3314352005 541870693 2886541171 3099055267 3717708256 1388445540 1394178180 2170335722 4055724975 939962995 4244368005 2188340544 1138469573 232207983 1690010084 2023973358 1919526239 1266414524 2190944233 3515011729 2689232674 4110747029 594831009 4057663072 3708880972 1432566669 1124505954 933974193 390981691 2470995328 255 362436" option to reproduce the execution
0.00/0.04	c #vars 750
0.00/0.04	c #constraints 80
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      286      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      155 |      100 |      286      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      487 |      103 |      315      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.019s
0.00/0.06	c #wall_clock_time = 0.019s
0.00/0.06	c #decision = 487
0.00/0.06	c #random_decision = 1
0.00/0.06	c #conflict = 103
0.00/0.06	c #restart = 1
0.00/0.06	o 640
0.00/0.06	c BCD2: updating upper bound: 1425 -> 639
0.00/0.06	c BCD2: 0 <= obj <= 639
0.00/0.06	c BCD2: #cores=0, #unrelaxed=28, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      315      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      239 |      100 |      315      0 |        0 |        0
0.09/0.13	c  0.1s |       2 |      625 |      250 |      347      0 |        0 |        0
0.09/0.19	c  0.1s |       3 |     1182 |      475 |      382      1 |        0 |        0
0.29/0.34	c  0.3s |       4 |     1752 |      813 |      421      2 |        0 |        0
0.49/0.57	c  0.5s |       5 |     2464 |     1320 |      464      3 |        0 |        0
0.79/0.88	c  0.8s |       6 |     3654 |     2081 |      511      5 |        0 |        0
1.20/1.26	c  1.2s |       7 |     5772 |     3223 |      563      8 |        0 |        0
2.09/2.10	c  2.0s |       8 |     8588 |     4936 |      620     12 |        0 |        0
3.30/3.37	c  3.3s |       9 |    11697 |     7506 |      682     18 |        0 |        0
4.99/5.01	c  4.9s |      10 |    18138 |    11361 |      751     27 |        0 |        0
6.79/6.82	c  6.8s |      11 |    27200 |    17144 |      827     39 |        0 |        0
8.79/8.84	c  8.8s |      11 |    35541 |    22744 |      827     51 |        0 |        0
9.89/9.93	c  9.9s |      12 |    39085 |    25819 |      910     56 |        0 |        0
11.89/11.94	c 11.9s |      12 |    47427 |    30919 |      910     66 |        0 |        0
13.89/13.97	c 13.9s |      12 |    53449 |    36019 |      910     75 |        0 |        0
15.09/15.12	c 15.1s |      13 |    56756 |    38832 |     1002     80 |        0 |        0
17.08/17.14	c 17.1s |      13 |    65288 |    44032 |     1002     89 |        0 |        0
19.08/19.17	c 19.1s |      13 |    71605 |    49532 |     1002     98 |        0 |        0
21.18/21.21	c 21.1s |      13 |    78216 |    55332 |     1002    108 |        0 |        0
22.28/22.30	c 22.2s |      14 |    81584 |    58352 |     1103    113 |        0 |        0
24.29/24.32	c 24.3s |      14 |    88967 |    63952 |     1103    122 |        0 |        0
26.28/26.35	c 26.3s |      14 |    95287 |    69352 |     1103    130 |        0 |        0
28.28/28.35	c 28.3s |      14 |   102069 |    74652 |     1103    139 |        0 |        0
30.28/30.37	c 30.3s |      14 |   108309 |    79852 |     1103    147 |        0 |        0
32.28/32.38	c 32.3s |      14 |   115029 |    85152 |     1103    155 |        0 |        0
33.28/33.36	c 33.3s |      15 |   117956 |    87632 |     1214    159 |        0 |        0
35.29/35.39	c 35.3s |      15 |   125310 |    93432 |     1214    167 |        0 |        0
37.39/37.43	c 37.4s |      15 |   131433 |    98632 |     1214    175 |        0 |        0
39.38/39.45	c 39.4s |      15 |   138017 |   103532 |     1214    182 |        0 |        0
41.38/41.48	c 41.4s |      15 |   143925 |   107832 |     1214    188 |        0 |        0
43.48/43.51	c 43.4s |      15 |   148698 |   111932 |     1214    194 |        0 |        0
45.48/45.55	c 45.5s |      15 |   154240 |   116532 |     1214    201 |        0 |        0
47.48/47.55	c 47.5s |      15 |   159887 |   121132 |     1214    207 |        0 |        0
49.48/49.58	c 49.5s |      15 |   165815 |   126032 |     1214    215 |        0 |        0
51.57/51.60	c 51.5s |      15 |   173733 |   131232 |     1336    222 |        0 |        0
51.68/51.73	c 51.7s |      16 |   174101 |   131552 |     1336    222 |        0 |        0
53.67/53.73	c 53.7s |      16 |   180807 |   136552 |     1336    229 |        0 |        0
55.67/55.74	c 55.7s |      16 |   186667 |   141752 |     1336    236 |        0 |        0
57.68/57.75	c 57.7s |      16 |   193326 |   146852 |     1336    243 |        0 |        0
59.68/59.77	c 59.7s |      16 |   199388 |   151952 |     1336    250 |        0 |        0
61.69/61.77	c 61.7s |      16 |   205027 |   156752 |     1336    256 |        0 |        0
63.68/63.80	c 63.7s |      16 |   210870 |   161752 |     1336    263 |        0 |        0
65.78/65.84	c 65.8s |      16 |   217124 |   167052 |     1336    270 |        0 |        0
67.78/67.85	c 67.8s |      16 |   222854 |   171952 |     1336    277 |        0 |        0
69.78/69.87	c 69.8s |      16 |   228143 |   176552 |     1336    283 |        0 |        0
71.78/71.87	c 71.8s |      16 |   233571 |   180852 |     1336    289 |        0 |        0
73.79/73.88	c 73.8s |      16 |   238498 |   184752 |     1336    294 |        0 |        0
75.89/75.93	c 75.9s |      16 |   243895 |   188852 |     1336    299 |        0 |        0
77.88/77.96	c 77.9s |      16 |   249338 |   192952 |     1336    304 |        0 |        0
79.88/79.98	c 79.9s |      16 |   253348 |   196452 |     1470    309 |        0 |        0
80.48/80.55	c 80.5s |      17 |   254590 |   197432 |     1470    310 |        0 |        0
82.48/82.58	c 82.5s |      17 |   262036 |   202032 |     1470    316 |        0 |        0
84.58/84.60	c 84.5s |      17 |   267165 |   206432 |     1470    321 |        0 |        0
86.57/86.60	c 86.5s |      17 |   273690 |   210832 |     1470    326 |        0 |        0
88.57/88.61	c 88.5s |      17 |   279056 |   215332 |     1470    332 |        0 |        0
90.57/90.62	c 90.6s |      17 |   285074 |   220232 |     1470    338 |        0 |        0
92.57/92.63	c 92.6s |      17 |   289752 |   224232 |     1470    343 |        0 |        0
94.58/94.67	c 94.6s |      17 |   294984 |   228332 |     1470    348 |        0 |        0
96.57/96.69	c 96.6s |      17 |   300162 |   232432 |     1470    353 |        0 |        0
98.67/98.74	c 98.7s |      17 |   304637 |   236232 |     1470    358 |        0 |        0
100.67/100.75	c  100s |      17 |   309424 |   240132 |     1470    363 |        0 |        0
102.67/102.76	c  102s |      17 |   314574 |   244332 |     1470    368 |        0 |        0
104.67/104.78	c  104s |      17 |   319100 |   248032 |     1470    372 |        0 |        0
106.68/106.79	c  106s |      17 |   324774 |   252232 |     1470    377 |        0 |        0
108.77/108.81	c  108s |      17 |   330255 |   256432 |     1470    382 |        0 |        0
110.77/110.83	c  110s |      17 |   334916 |   260332 |     1470    387 |        0 |        0
112.77/112.87	c  112s |      17 |   339868 |   264432 |     1470    392 |        0 |        0
114.87/114.94	c  114s |      17 |   344790 |   268532 |     1470    397 |        0 |        0
116.87/116.96	c  116s |      17 |   349909 |   272032 |     1470    401 |        0 |        0
118.87/118.98	c  118s |      17 |   355466 |   276432 |     1470    406 |        0 |        0
120.87/120.98	c  120s |      17 |   360408 |   280232 |     1470    410 |        0 |        0
122.97/123.00	c  122s |      17 |   364557 |   283732 |     1470    415 |        0 |        0
124.97/125.05	c  124s |      17 |   369304 |   287332 |     1470    419 |        0 |        0
126.96/127.06	c  126s |      17 |   373620 |   290732 |     1470    423 |        0 |        0
129.06/129.12	c  129s |      17 |   377821 |   294332 |     1618    427 |        0 |        0
130.16/130.28	c  130s |      18 |   379979 |   296252 |     1618    429 |        0 |        0
132.16/132.29	c  132s |      18 |   385002 |   300352 |     1618    433 |        0 |        0
134.17/134.29	c  134s |      18 |   389733 |   304352 |     1618    438 |        0 |        0
136.26/136.30	c  136s |      18 |   397533 |   308852 |     1618    443 |        0 |        0
138.26/138.31	c  138s |      18 |   403463 |   313852 |     1618    449 |        0 |        0
140.26/140.35	c  140s |      18 |   409346 |   318852 |     1618    454 |        0 |        0
142.26/142.37	c  142s |      18 |   414975 |   323852 |     1618    460 |        0 |        0
144.26/144.39	c  144s |      18 |   420769 |   329052 |     1618    466 |        0 |        0
146.37/146.41	c  146s |      18 |   426645 |   334052 |     1618    471 |        0 |        0
148.36/148.45	c  148s |      18 |   432352 |   338452 |     1618    476 |        0 |        0
150.36/150.46	c  150s |      18 |   437134 |   342552 |     1618    481 |        0 |        0
152.46/152.51	c  152s |      18 |   442527 |   347052 |     1618    486 |        0 |        0
154.46/154.51	c  154s |      18 |   448196 |   351252 |     1618    491 |        0 |        0
156.46/156.53	c  156s |      18 |   453631 |   355752 |     1618    496 |        0 |        0
158.46/158.55	c  158s |      18 |   459309 |   360352 |     1618    501 |        0 |        0
160.46/160.55	c  160s |      18 |   464909 |   365052 |     1618    506 |        0 |        0
162.46/162.59	c  162s |      18 |   470619 |   369652 |     1618    511 |        0 |        0
164.55/164.63	c  164s |      18 |   476937 |   374152 |     1618    516 |        0 |        0
166.55/166.64	c  166s |      18 |   482432 |   378752 |     1618    522 |        0 |        0
168.55/168.68	c  168s |      18 |   487667 |   383452 |     1618    527 |        0 |        0
170.65/170.70	c  170s |      18 |   493467 |   387952 |     1618    532 |        0 |        0
172.66/172.72	c  172s |      18 |   499100 |   392552 |     1618    538 |        0 |        0
174.65/174.73	c  174s |      18 |   504368 |   397252 |     1618    543 |        0 |        0
176.65/176.76	c  176s |      18 |   509393 |   401752 |     1618    548 |        0 |        0
178.65/178.79	c  178s |      18 |   514860 |   406552 |     1618    554 |        0 |        0
180.75/180.80	c  180s |      18 |   519659 |   410852 |     1618    559 |        0 |        0
182.75/182.81	c  182s |      18 |   524560 |   415052 |     1618    564 |        0 |        0
184.76/184.83	c  184s |      18 |   529791 |   419452 |     1618    569 |        0 |        0
186.75/186.85	c  186s |      18 |   534596 |   423752 |     1618    574 |        0 |        0
188.75/188.88	c  188s |      18 |   539507 |   427952 |     1618    579 |        0 |        0
190.85/190.90	c  190s |      18 |   545262 |   432752 |     1618    584 |        0 |        0
192.85/192.93	c  192s |      18 |   550321 |   437252 |     1618    589 |        0 |        0
194.85/194.99	c  194s |      18 |   555572 |   441852 |     1780    594 |        0 |        0
196.05/196.20	c  196s |      19 |   558586 |   444482 |     1780    597 |        0 |        0
198.15/198.22	c  198s |      19 |   564309 |   449282 |     1780    602 |        0 |        0
200.16/200.25	c  200s |      19 |   569907 |   454082 |     1780    607 |        0 |        0
202.15/202.27	c  202s |      19 |   574704 |   458282 |     1780    612 |        0 |        0
204.25/204.30	c  204s |      19 |   582043 |   462682 |     1780    616 |        0 |        0
206.24/206.32	c  206s |      19 |   587318 |   466882 |     1780    620 |        0 |        0
208.24/208.37	c  208s |      19 |   592101 |   470882 |     1780    624 |        0 |        0
210.24/210.38	c  210s |      19 |   597201 |   474482 |     1780    628 |        0 |        0
212.35/212.41	c  212s |      19 |   602022 |   478182 |     1780    632 |        0 |        0
214.34/214.45	c  214s |      19 |   607326 |   482782 |     1780    636 |        0 |        0
216.34/216.45	c  216s |      19 |   612243 |   487082 |     1780    641 |        0 |        0
218.34/218.46	c  218s |      19 |   617241 |   491382 |     1780    645 |        0 |        0
220.35/220.47	c  220s |      19 |   622110 |   495482 |     1780    649 |        0 |        0
222.45/222.51	c  222s |      19 |   626723 |   499582 |     1780    654 |        0 |        0
224.46/224.53	c  224s |      19 |   631097 |   503482 |     1780    658 |        0 |        0
226.45/226.56	c  226s |      19 |   635614 |   507482 |     1780    662 |        0 |        0
228.45/228.58	c  228s |      19 |   640565 |   511882 |     1780    666 |        0 |        0
230.55/230.60	c  230s |      19 |   645443 |   516182 |     1780    670 |        0 |        0
232.55/232.60	c  232s |      19 |   650929 |   521082 |     1780    675 |        0 |        0
234.55/234.65	c  234s |      19 |   656501 |   526182 |     1780    681 |        0 |        0
236.55/236.67	c  236s |      19 |   662381 |   531382 |     1780    686 |        0 |        0
238.54/238.70	c  238s |      19 |   667555 |   536082 |     1780    691 |        0 |        0
240.64/240.74	c  240s |      19 |   672441 |   540382 |     1780    695 |        0 |        0
242.64/242.77	c  242s |      19 |   676507 |   543982 |     1780    699 |        0 |        0
244.64/244.79	c  244s |      19 |   681288 |   548282 |     1780    703 |        0 |        0
246.64/246.79	c  246s |      19 |   685419 |   551982 |     1780    707 |        0 |        0
248.74/248.87	c  248s |      19 |   689492 |   555682 |     1780    711 |        0 |        0
250.75/250.87	c  250s |      19 |   694283 |   559882 |     1780    715 |        0 |        0
252.74/252.89	c  252s |      19 |   699837 |   564482 |     1780    720 |        0 |        0
254.84/254.91	c  254s |      19 |   705063 |   569082 |     1780    724 |        0 |        0
256.84/256.96	c  256s |      19 |   710203 |   573582 |     1780    729 |        0 |        0
258.94/259.01	c  258s |      19 |   715426 |   578182 |     1780    734 |        0 |        0
260.94/261.02	c  260s |      19 |   720047 |   582282 |     1780    738 |        0 |        0
262.95/263.09	c  263s |      19 |   724444 |   586082 |     1780    742 |        0 |        0
265.04/265.14	c  265s |      19 |   729319 |   589982 |     1780    746 |        0 |        0
267.04/267.16	c  267s |      19 |   734668 |   594282 |     1780    750 |        0 |        0
269.04/269.18	c  269s |      19 |   739288 |   598382 |     1780    754 |        0 |        0
271.14/271.20	c  271s |      19 |   743793 |   602382 |     1780    758 |        0 |        0
273.14/273.23	c  273s |      19 |   748594 |   606682 |     1780    763 |        0 |        0
275.14/275.24	c  275s |      19 |   753335 |   610882 |     1780    767 |        0 |        0
277.14/277.25	c  277s |      19 |   758758 |   615382 |     1780    771 |        0 |        0
279.13/279.26	c  279s |      19 |   765430 |   620582 |     1780    776 |        0 |        0
281.13/281.28	c  281s |      19 |   771448 |   625782 |     1780    781 |        0 |        0
283.23/283.30	c  283s |      19 |   776709 |   630082 |     1780    785 |        0 |        0
285.23/285.32	c  285s |      19 |   781615 |   634482 |     1780    789 |        0 |        0
287.23/287.34	c  287s |      19 |   787730 |   639982 |     1780    795 |        0 |        0
289.24/289.35	c  289s |      19 |   793169 |   644482 |     1780    799 |        0 |        0
291.23/291.38	c  291s |      19 |   797056 |   647882 |     1780    802 |        0 |        0
293.33/293.42	c  293s |      19 |   800567 |   651082 |     1780    805 |        0 |        0
295.33/295.46	c  295s |      19 |   804131 |   654282 |     1780    808 |        0 |        0
297.43/297.52	c  297s |      19 |   807347 |   657182 |     1780    811 |        0 |        0
299.43/299.55	c  299s |      19 |   810249 |   659782 |     1780    813 |        0 |        0
301.44/301.55	c  301s |      19 |   812974 |   662282 |     1959    816 |        0 |        0
303.54/303.61	c  303s |      19 |   815676 |   664782 |     1959    818 |        0 |        0
305.33/305.48	c  305s |      20 |   817908 |   666827 |     1959    820 |        0 |        0
307.43/307.53	c  307s |      20 |   828963 |   670627 |     1959    823 |        0 |        0
309.43/309.56	c  309s |      20 |   833299 |   673927 |     1959    826 |        0 |        0
311.53/311.62	c  311s |      20 |   837720 |   676827 |     1959    829 |        0 |        0
313.54/313.67	c  313s |      20 |   843269 |   680127 |     1959    832 |        0 |        0
315.53/315.68	c  315s |      20 |   847882 |   683427 |     1959    835 |        0 |        0
317.53/317.69	c  317s |      20 |   853449 |   687327 |     1959    839 |        0 |        0
319.62/319.70	c  319s |      20 |   858116 |   691027 |     1959    842 |        0 |        0
321.62/321.71	c  321s |      20 |   862636 |   694527 |     1959    845 |        0 |        0
323.62/323.73	c  323s |      20 |   868023 |   698227 |     1959    849 |        0 |        0
325.63/325.77	c  325s |      20 |   873081 |   702127 |     1959    852 |        0 |        0
327.62/327.78	c  327s |      20 |   878030 |   705927 |     1959    856 |        0 |        0
329.72/329.82	c  329s |      20 |   884455 |   710227 |     1959    860 |        0 |        0
331.72/331.84	c  331s |      20 |   890290 |   713927 |     1959    863 |        0 |        0
333.72/333.89	c  333s |      20 |   894263 |   717427 |     1959    866 |        0 |        0
335.82/335.91	c  335s |      20 |   899456 |   721827 |     1959    870 |        0 |        0
337.82/337.92	c  337s |      20 |   904029 |   725427 |     1959    874 |        0 |        0
339.83/339.93	c  339s |      20 |   908822 |   728727 |     1959    877 |        0 |        0
341.82/341.95	c  341s |      20 |   912900 |   732027 |     1959    880 |        0 |        0
343.82/343.95	c  343s |      20 |   916188 |   734927 |     1959    882 |        0 |        0
345.81/345.98	c  345s |      20 |   919456 |   737627 |     1959    885 |        0 |        0
347.81/347.99	c  347s |      20 |   924455 |   741427 |     1959    888 |        0 |        0
349.91/350.03	c  349s |      20 |   929485 |   745727 |     1959    892 |        0 |        0
351.92/352.06	c  352s |      20 |   934205 |   749227 |     1959    895 |        0 |        0
354.01/354.12	c  354s |      20 |   938629 |   753027 |     1959    899 |        0 |        0
356.01/356.15	c  356s |      20 |   942813 |   756827 |     1959    902 |        0 |        0
358.11/358.21	c  358s |      20 |   947073 |   760627 |     1959    906 |        0 |        0
360.11/360.22	c  360s |      20 |   951708 |   764627 |     1959    909 |        0 |        0
362.11/362.28	c  362s |      20 |   955832 |   768227 |     1959    912 |        0 |        0
364.20/364.31	c  364s |      20 |   961089 |   771827 |     1959    916 |        0 |        0
366.21/366.32	c  366s |      20 |   965090 |   775327 |     1959    919 |        0 |        0
368.20/368.33	c  368s |      20 |   968649 |   778527 |     1959    922 |        0 |        0
370.20/370.35	c  370s |      20 |   972796 |   781927 |     1959    925 |        0 |        0
372.20/372.35	c  372s |      20 |   976767 |   785327 |     1959    928 |        0 |        0
374.29/374.41	c  374s |      20 |   980597 |   788727 |     1959    931 |        0 |        0
376.29/376.45	c  376s |      20 |   984762 |   792327 |     1959    934 |        0 |        0
378.30/378.46	c  378s |      20 |   988681 |   795827 |     1959    938 |        0 |        0
380.39/380.52	c  380s |      20 |   993067 |   799427 |     1959    941 |        0 |        0
382.39/382.54	c  382s |      20 |   997884 |   803127 |     1959    944 |        0 |        0
384.39/384.54	c  384s |      20 |  1002402 |   807027 |     1959    948 |        0 |        0
386.39/386.58	c  386s |      20 |  1006610 |   810527 |     1959    951 |        0 |        0
388.49/388.63	c  388s |      20 |  1010871 |   814227 |     1959    954 |        0 |        0
390.49/390.64	c  390s |      20 |  1014860 |   817627 |     1959    957 |        0 |        0
392.49/392.68	c  392s |      20 |  1019234 |   820827 |     1959    960 |        0 |        0
394.58/394.76	c  394s |      20 |  1023455 |   823927 |     1959    963 |        0 |        0
396.58/396.78	c  396s |      20 |  1027872 |   827527 |     1959    966 |        0 |        0
398.68/398.82	c  398s |      20 |  1032245 |   831127 |     1959    970 |        0 |        0
400.68/400.86	c  400s |      20 |  1036830 |   835127 |     1959    973 |        0 |        0
402.68/402.89	c  402s |      20 |  1041444 |   838827 |     1959    977 |        0 |        0
404.78/404.95	c  404s |      20 |  1045158 |   842127 |     1959    980 |        0 |        0
406.78/406.96	c  406s |      20 |  1050148 |   845927 |     1959    983 |        0 |        0
408.77/408.98	c  408s |      20 |  1053966 |   849227 |     1959    986 |        0 |        0
410.87/411.03	c  410s |      20 |  1057939 |   852627 |     1959    989 |        0 |        0
412.87/413.06	c  412s |      20 |  1061924 |   855927 |     1959    992 |        0 |        0
414.98/415.10	c  415s |      20 |  1065850 |   859127 |     1959    995 |        0 |        0
416.98/417.15	c  417s |      20 |  1069898 |   862327 |     1959    998 |        0 |        0
419.09/419.22	c  419s |      20 |  1073541 |   865127 |     1959   1000 |        0 |        0
421.08/421.27	c  421s |      20 |  1078515 |   869327 |     1959   1004 |        0 |        0
423.08/423.29	c  423s |      20 |  1082913 |   873227 |     1959   1008 |        0 |        0
425.17/425.32	c  425s |      20 |  1088161 |   877527 |     1959   1012 |        0 |        0
427.17/427.34	c  427s |      20 |  1093043 |   881527 |     1959   1015 |        0 |        0
429.17/429.37	c  429s |      20 |  1097751 |   885527 |     1959   1019 |        0 |        0
431.18/431.38	c  431s |      20 |  1102351 |   889427 |     1959   1022 |        0 |        0
433.17/433.39	c  433s |      20 |  1106599 |   893127 |     1959   1026 |        0 |        0
435.17/435.39	c  435s |      20 |  1111282 |   897127 |     1959   1029 |        0 |        0
437.27/437.42	c  437s |      20 |  1115528 |   900827 |     1959   1033 |        0 |        0
439.27/439.43	c  439s |      20 |  1119921 |   904727 |     1959   1036 |        0 |        0
441.27/441.47	c  441s |      20 |  1124190 |   908527 |     1959   1039 |        0 |        0
443.37/443.51	c  443s |      20 |  1128986 |   912827 |     1959   1043 |        0 |        0
445.37/445.51	c  445s |      20 |  1133758 |   917027 |     1959   1047 |        0 |        0
447.36/447.54	c  447s |      20 |  1138278 |   921127 |     1959   1051 |        0 |        0
449.36/449.59	c  449s |      20 |  1143021 |   925327 |     1959   1055 |        0 |        0
451.46/451.60	c  451s |      20 |  1147882 |   929627 |     1959   1058 |        0 |        0
453.46/453.61	c  453s |      20 |  1152539 |   933727 |     1959   1062 |        0 |        0
455.45/455.63	c  455s |      20 |  1158445 |   938327 |     1959   1066 |        0 |        0
457.46/457.66	c  457s |      20 |  1164367 |   942727 |     1959   1070 |        0 |        0
459.45/459.66	c  459s |      20 |  1170781 |   947227 |     1959   1074 |        0 |        0
461.45/461.67	c  461s |      20 |  1177908 |   951927 |     1959   1079 |        0 |        0
463.55/463.70	c  463s |      20 |  1183105 |   956127 |     1959   1083 |        0 |        0
465.55/465.70	c  465s |      20 |  1190158 |   960627 |     1959   1087 |        0 |        0
467.54/467.70	c  467s |      20 |  1195779 |   964727 |     1959   1090 |        0 |        0
469.55/469.74	c  469s |      20 |  1201782 |   968927 |     1959   1094 |        0 |        0
471.55/471.75	c  471s |      20 |  1207386 |   973227 |     1959   1098 |        0 |        0
473.55/473.78	c  473s |      20 |  1212884 |   977227 |     1959   1102 |        0 |        0
475.55/475.78	c  475s |      20 |  1217655 |   980927 |     1959   1105 |        0 |        0
477.55/477.80	c  477s |      20 |  1223865 |   985727 |     1959   1109 |        0 |        0
479.65/479.83	c  479s |      20 |  1230447 |   990627 |     1959   1114 |        0 |        0
481.66/481.85	c  481s |      20 |  1236300 |   995427 |     2155   1118 |        0 |        0
483.65/483.90	c  483s |      20 |  1241508 |   999727 |     2155   1122 |        0 |        0
484.05/484.22	c  484s |      21 |  1242374 |  1000345 |     2155   1122 |        0 |        0
486.05/486.25	c  486s |      21 |  1249455 |  1004545 |     2155   1126 |        0 |        0
488.04/488.28	c  488s |      21 |  1258538 |  1008345 |     2155   1129 |        0 |        0
490.04/490.29	c  490s |      21 |  1266685 |  1012345 |     2155   1132 |        0 |        0
492.14/492.31	c  492s |      21 |  1274110 |  1016045 |     2155   1135 |        0 |        0
494.14/494.34	c  494s |      21 |  1278922 |  1019645 |     2155   1138 |        0 |        0
496.14/496.35	c  496s |      21 |  1284069 |  1023245 |     2155   1141 |        0 |        0
498.15/498.37	c  498s |      21 |  1288550 |  1026845 |     2155   1144 |        0 |        0
500.24/500.42	c  500s |      21 |  1292586 |  1030145 |     2155   1147 |        0 |        0
502.24/502.46	c  502s |      21 |  1300426 |  1033845 |     2155   1150 |        0 |        0
504.23/504.49	c  504s |      21 |  1306909 |  1038245 |     2155   1154 |        0 |        0
506.33/506.52	c  506s |      21 |  1313051 |  1043045 |     2155   1158 |        0 |        0
508.33/508.53	c  508s |      21 |  1318577 |  1047345 |     2155   1162 |        0 |        0
510.34/510.58	c  510s |      21 |  1324798 |  1051845 |     2155   1165 |        0 |        0
512.33/512.58	c  512s |      21 |  1330440 |  1056345 |     2155   1169 |        0 |        0
514.43/514.62	c  514s |      21 |  1334928 |  1060245 |     2155   1173 |        0 |        0
516.43/516.63	c  516s |      21 |  1340479 |  1064545 |     2155   1176 |        0 |        0
518.43/518.65	c  518s |      21 |  1346333 |  1068745 |     2155   1180 |        0 |        0
520.43/520.68	c  520s |      21 |  1350900 |  1072645 |     2155   1183 |        0 |        0
522.53/522.74	c  522s |      21 |  1356591 |  1077045 |     2155   1187 |        0 |        0
524.53/524.74	c  524s |      21 |  1361481 |  1080945 |     2155   1190 |        0 |        0
526.52/526.74	c  526s |      21 |  1367154 |  1085045 |     2155   1194 |        0 |        0
528.52/528.75	c  528s |      21 |  1371729 |  1088845 |     2155   1197 |        0 |        0
530.52/530.79	c  530s |      21 |  1376583 |  1092645 |     2155   1200 |        0 |        0
532.62/532.80	c  532s |      21 |  1382938 |  1097045 |     2155   1204 |        0 |        0
534.61/534.84	c  534s |      21 |  1389557 |  1101645 |     2155   1208 |        0 |        0
536.62/536.86	c  536s |      21 |  1395607 |  1106045 |     2155   1211 |        0 |        0
538.71/538.90	c  538s |      21 |  1401121 |  1110145 |     2155   1215 |        0 |        0
540.71/540.91	c  540s |      21 |  1405673 |  1113745 |     2155   1218 |        0 |        0
542.71/542.93	c  542s |      21 |  1410191 |  1117345 |     2155   1221 |        0 |        0
544.81/545.01	c  544s |      21 |  1413944 |  1120645 |     2155   1223 |        0 |        0
546.81/547.08	c  547s |      21 |  1417508 |  1123645 |     2155   1226 |        0 |        0
548.82/549.09	c  549s |      21 |  1421443 |  1126545 |     2155   1228 |        0 |        0
550.92/551.14	c  551s |      21 |  1426671 |  1130045 |     2155   1231 |        0 |        0
553.01/553.20	c  553s |      21 |  1430717 |  1133345 |     2155   1234 |        0 |        0
555.00/555.24	c  555s |      21 |  1435429 |  1137045 |     2155   1237 |        0 |        0
557.00/557.27	c  557s |      21 |  1440408 |  1140645 |     2155   1240 |        0 |        0
559.10/559.30	c  559s |      21 |  1445294 |  1144445 |     2155   1243 |        0 |        0
561.10/561.33	c  561s |      21 |  1451685 |  1149045 |     2155   1247 |        0 |        0
563.11/563.33	c  563s |      21 |  1457402 |  1153245 |     2155   1251 |        0 |        0
565.09/565.36	c  565s |      21 |  1463473 |  1157445 |     2155   1254 |        0 |        0
567.09/567.37	c  567s |      21 |  1468562 |  1161045 |     2155   1257 |        0 |        0
569.09/569.39	c  569s |      21 |  1473108 |  1164745 |     2155   1260 |        0 |        0
571.19/571.40	c  571s |      21 |  1478569 |  1168445 |     2155   1263 |        0 |        0
573.19/573.47	c  573s |      21 |  1483055 |  1172145 |     2155   1266 |        0 |        0
575.29/575.50	c  575s |      21 |  1488210 |  1175845 |     2155   1269 |        0 |        0
577.29/577.51	c  577s |      21 |  1493043 |  1179245 |     2155   1272 |        0 |        0
579.28/579.53	c  579s |      21 |  1497707 |  1182845 |     2155   1275 |        0 |        0
581.28/581.58	c  581s |      21 |  1502780 |  1185745 |     2155   1278 |        0 |        0
583.38/583.60	c  583s |      21 |  1507206 |  1189445 |     2155   1281 |        0 |        0
585.38/585.64	c  585s |      21 |  1511549 |  1192845 |     2155   1284 |        0 |        0
587.38/587.69	c  587s |      21 |  1515386 |  1195945 |     2155   1286 |        0 |        0
589.38/589.70	c  589s |      21 |  1519969 |  1199545 |     2155   1289 |        0 |        0
591.48/591.70	c  591s |      21 |  1524121 |  1202845 |     2155   1292 |        0 |        0
593.48/593.71	c  593s |      21 |  1528117 |  1206245 |     2155   1295 |        0 |        0
595.47/595.74	c  595s |      21 |  1534902 |  1210545 |     2155   1299 |        0 |        0
597.48/597.77	c  597s |      21 |  1539409 |  1214545 |     2155   1302 |        0 |        0
599.48/599.79	c  599s |      21 |  1544572 |  1218045 |     2155   1305 |        0 |        0
601.59/601.80	c  601s |      21 |  1548858 |  1221845 |     2155   1308 |        0 |        0
603.58/603.82	c  603s |      21 |  1553625 |  1225845 |     2155   1311 |        0 |        0
605.58/605.84	c  605s |      21 |  1557969 |  1229545 |     2155   1314 |        0 |        0
607.58/607.87	c  607s |      21 |  1562853 |  1233745 |     2155   1318 |        0 |        0
609.68/609.90	c  609s |      21 |  1567721 |  1237845 |     2155   1321 |        0 |        0
611.68/611.93	c  611s |      21 |  1572257 |  1241545 |     2155   1325 |        0 |        0
613.68/613.97	c  613s |      21 |  1576669 |  1245345 |     2155   1328 |        0 |        0
615.78/616.02	c  615s |      21 |  1580978 |  1249045 |     2155   1331 |        0 |        0
617.77/618.05	c  617s |      21 |  1584714 |  1252245 |     2155   1334 |        0 |        0
619.77/620.06	c  619s |      21 |  1589502 |  1255845 |     2155   1337 |        0 |        0
621.87/622.14	c  622s |      21 |  1592816 |  1258745 |     2155   1339 |        0 |        0
623.87/624.16	c  624s |      21 |  1596454 |  1262045 |     2155   1342 |        0 |        0
625.86/626.19	c  626s |      21 |  1600911 |  1265345 |     2155   1345 |        0 |        0
627.97/628.21	c  628s |      21 |  1604977 |  1268645 |     2155   1348 |        0 |        0
629.96/630.23	c  630s |      21 |  1608913 |  1272145 |     2155   1351 |        0 |        0
631.96/632.24	c  632s |      21 |  1612448 |  1275345 |     2155   1353 |        0 |        0
634.05/634.31	c  634s |      21 |  1615863 |  1278445 |     2155   1356 |        0 |        0
636.05/636.36	c  636s |      21 |  1619410 |  1281545 |     2155   1358 |        0 |        0
638.15/638.40	c  638s |      21 |  1622429 |  1284245 |     2155   1361 |        0 |        0
640.15/640.46	c  640s |      21 |  1625591 |  1287045 |     2155   1363 |        0 |        0
642.16/642.47	c  642s |      21 |  1628741 |  1289845 |     2155   1365 |        0 |        0
644.15/644.49	c  644s |      21 |  1631873 |  1292645 |     2155   1367 |        0 |        0
646.24/646.54	c  646s |      21 |  1635128 |  1295545 |     2155   1370 |        0 |        0
648.24/648.58	c  648s |      21 |  1638100 |  1298245 |     2155   1372 |        0 |        0
650.24/650.59	c  650s |      21 |  1641073 |  1300945 |     2155   1374 |        0 |        0
652.34/652.66	c  652s |      21 |  1644057 |  1303645 |     2155   1376 |        0 |        0
654.35/654.68	c  654s |      21 |  1646836 |  1306145 |     2155   1379 |        0 |        0
656.45/656.77	c  656s |      21 |  1649635 |  1308645 |     2155   1381 |        0 |        0
658.55/658.82	c  658s |      21 |  1652340 |  1311045 |     2155   1383 |        0 |        0
660.55/660.86	c  660s |      21 |  1655068 |  1313445 |     2155   1384 |        0 |        0
662.65/662.90	c  662s |      21 |  1657530 |  1315645 |     2155   1386 |        0 |        0
664.64/664.99	c  664s |      21 |  1660142 |  1317945 |     2155   1388 |        0 |        0
666.74/667.04	c  666s |      21 |  1665125 |  1321045 |     2155   1391 |        0 |        0
668.74/669.05	c  668s |      21 |  1668651 |  1324045 |     2155   1393 |        0 |        0
670.75/671.08	c  671s |      21 |  1672256 |  1327145 |     2155   1396 |        0 |        0
672.84/673.16	c  673s |      21 |  1675991 |  1330445 |     2155   1399 |        0 |        0
674.94/675.21	c  675s |      21 |  1680019 |  1333645 |     2155   1401 |        0 |        0
676.94/677.24	c  677s |      21 |  1683838 |  1337045 |     2155   1404 |        0 |        0
678.94/679.30	c  679s |      21 |  1687491 |  1340245 |     2155   1407 |        0 |        0
681.04/681.30	c  681s |      21 |  1691352 |  1343345 |     2155   1409 |        0 |        0
683.04/683.37	c  683s |      21 |  1695059 |  1346545 |     2155   1412 |        0 |        0
685.04/685.37	c  685s |      21 |  1698984 |  1349945 |     2155   1415 |        0 |        0
687.13/687.41	c  687s |      21 |  1703026 |  1353545 |     2155   1418 |        0 |        0
689.13/689.46	c  689s |      21 |  1707263 |  1357245 |     2155   1421 |        0 |        0
691.13/691.48	c  691s |      21 |  1711277 |  1360745 |     2155   1424 |        0 |        0
693.23/693.50	c  693s |      21 |  1715662 |  1364345 |     2155   1427 |        0 |        0
695.22/695.53	c  695s |      21 |  1719863 |  1367945 |     2155   1430 |        0 |        0
697.23/697.56	c  697s |      21 |  1723795 |  1371145 |     2155   1433 |        0 |        0
699.33/699.62	c  699s |      21 |  1727119 |  1374045 |     2155   1435 |        0 |        0
701.32/701.67	c  701s |      21 |  1730303 |  1376745 |     2155   1437 |        0 |        0
703.42/703.71	c  703s |      21 |  1734754 |  1380145 |     2155   1440 |        0 |        0
705.42/705.71	c  705s |      21 |  1738926 |  1383345 |     2155   1443 |        0 |        0
707.42/707.71	c  707s |      21 |  1742343 |  1386345 |     2155   1446 |        0 |        0
709.42/709.72	c  709s |      21 |  1745807 |  1389345 |     2155   1448 |        0 |        0
711.42/711.77	c  711s |      21 |  1749148 |  1392345 |     2155   1451 |        0 |        0
713.41/713.78	c  713s |      21 |  1752779 |  1395245 |     2155   1453 |        0 |        0
715.51/715.80	c  715s |      21 |  1756717 |  1398545 |     2155   1456 |        0 |        0
717.51/717.81	c  717s |      21 |  1760628 |  1401945 |     2155   1459 |        0 |        0
719.51/719.81	c  719s |      21 |  1764706 |  1405445 |     2155   1462 |        0 |        0
721.51/721.86	c  721s |      21 |  1768952 |  1409145 |     2155   1465 |        0 |        0
723.52/723.89	c  723s |      21 |  1772826 |  1412345 |     2155   1468 |        0 |        0
725.60/725.94	c  725s |      21 |  1776917 |  1415945 |     2155   1471 |        0 |        0
727.60/727.98	c  727s |      21 |  1780812 |  1419345 |     2155   1474 |        0 |        0
729.70/730.00	c  729s |      21 |  1784145 |  1422345 |     2155   1476 |        0 |        0
731.70/732.03	c  731s |      21 |  1789188 |  1425945 |     2155   1479 |        0 |        0
733.70/734.07	c  734s |      21 |  1793251 |  1429545 |     2155   1482 |        0 |        0
735.70/736.08	c  736s |      21 |  1797381 |  1433145 |     2155   1485 |        0 |        0
737.80/738.12	c  738s |      21 |  1801434 |  1436745 |     2155   1488 |        0 |        0
739.79/740.19	c  740s |      21 |  1806002 |  1440445 |     2155   1492 |        0 |        0
741.89/742.23	c  742s |      21 |  1810234 |  1443845 |     2155   1494 |        0 |        0
743.89/744.25	c  744s |      21 |  1814449 |  1447145 |     2155   1497 |        0 |        0
745.89/746.27	c  746s |      21 |  1819205 |  1450145 |     2155   1500 |        0 |        0
747.99/748.31	c  748s |      21 |  1822376 |  1452845 |     2155   1502 |        0 |        0
750.00/750.34	c  750s |      21 |  1827175 |  1455745 |     2155   1504 |        0 |        0
751.99/752.36	c  752s |      21 |  1831353 |  1459045 |     2155   1507 |        0 |        0
754.08/754.41	c  754s |      21 |  1836828 |  1462745 |     2155   1510 |        0 |        0
756.08/756.45	c  756s |      21 |  1842048 |  1466345 |     2155   1513 |        0 |        0
758.08/758.47	c  758s |      21 |  1846674 |  1470045 |     2155   1516 |        0 |        0
760.18/760.50	c  760s |      21 |  1850893 |  1473645 |     2155   1520 |        0 |        0
762.18/762.55	c  762s |      21 |  1854842 |  1477045 |     2155   1522 |        0 |        0
764.19/764.57	c  764s |      21 |  1859137 |  1480645 |     2155   1526 |        0 |        0
766.28/766.62	c  766s |      21 |  1863484 |  1484345 |     2155   1529 |        0 |        0
768.28/768.64	c  768s |      21 |  1867849 |  1487945 |     2155   1532 |        0 |        0
770.28/770.66	c  770s |      21 |  1872252 |  1491445 |     2371   1534 |        0 |        0
772.38/772.71	c  772s |      21 |  1876416 |  1494945 |     2371   1537 |        0 |        0
774.37/774.73	c  774s |      21 |  1880495 |  1498345 |     2371   1540 |        0 |        0
775.77/776.11	c  776s |      22 |  1883247 |  1500622 |     2371   1542 |        0 |        0
777.77/778.11	c  778s |      22 |  1891144 |  1505822 |     2371   1546 |        0 |        0
779.77/780.12	c  780s |      22 |  1896835 |  1510322 |     2371   1549 |        0 |        0
781.78/782.12	c  782s |      22 |  1902653 |  1515122 |     2371   1553 |        0 |        0
783.77/784.17	c  784s |      22 |  1908456 |  1519822 |     2371   1557 |        0 |        0
785.76/786.18	c  786s |      22 |  1914090 |  1524522 |     2371   1561 |        0 |        0
787.76/788.19	c  788s |      22 |  1920395 |  1529622 |     2371   1564 |        0 |        0
789.86/790.25	c  790s |      22 |  1925920 |  1534122 |     2371   1568 |        0 |        0
791.86/792.27	c  792s |      22 |  1931241 |  1538122 |     2371   1571 |        0 |        0
793.88/794.28	c  794s |      22 |  1936387 |  1542022 |     2371   1574 |        0 |        0
795.97/796.30	c  796s |      22 |  1942425 |  1545722 |     2371   1576 |        0 |        0
797.97/798.34	c  798s |      22 |  1947965 |  1549622 |     2371   1579 |        0 |        0
799.97/800.38	c  800s |      22 |  1954470 |  1554022 |     2371   1583 |        0 |        0
802.07/802.43	c  802s |      22 |  1959644 |  1557922 |     2371   1586 |        0 |        0
804.06/804.49	c  804s |      22 |  1964985 |  1561922 |     2371   1589 |        0 |        0
806.16/806.51	c  806s |      22 |  1969997 |  1566122 |     2371   1592 |        0 |        0
808.17/808.56	c  808s |      22 |  1974675 |  1569922 |     2371   1595 |        0 |        0
810.16/810.59	c  810s |      22 |  1978845 |  1573422 |     2371   1597 |        0 |        0
812.26/812.62	c  812s |      22 |  1983094 |  1576822 |     2371   1600 |        0 |        0
814.26/814.68	c  814s |      22 |  1987629 |  1580422 |     2371   1602 |        0 |        0
816.36/816.72	c  816s |      22 |  1992933 |  1584022 |     2371   1605 |        0 |        0
818.36/818.74	c  818s |      22 |  1997383 |  1587622 |     2371   1608 |        0 |        0
820.36/820.78	c  820s |      22 |  2002019 |  1591522 |     2371   1611 |        0 |        0
822.35/822.78	c  822s |      22 |  2006562 |  1595322 |     2371   1614 |        0 |        0
824.35/824.79	c  824s |      22 |  2010495 |  1598722 |     2371   1616 |        0 |        0
826.45/826.81	c  826s |      22 |  2014377 |  1601622 |     2371   1618 |        0 |        0
828.55/828.90	c  828s |      22 |  2018368 |  1604522 |     2371   1620 |        0 |        0
830.55/830.93	c  830s |      22 |  2023884 |  1608622 |     2371   1623 |        0 |        0
832.55/832.98	c  832s |      22 |  2028513 |  1612422 |     2371   1626 |        0 |        0
834.65/835.03	c  834s |      22 |  2033462 |  1615922 |     2371   1629 |        0 |        0
836.64/837.04	c  836s |      22 |  2037944 |  1619222 |     2371   1631 |        0 |        0
838.74/839.11	c  839s |      22 |  2042135 |  1622622 |     2371   1634 |        0 |        0
840.74/841.13	c  841s |      22 |  2047031 |  1626222 |     2371   1637 |        0 |        0
842.74/843.16	c  843s |      22 |  2051501 |  1629622 |     2371   1639 |        0 |        0
844.84/845.20	c  845s |      22 |  2055814 |  1632822 |     2371   1642 |        0 |        0
846.84/847.27	c  847s |      22 |  2060120 |  1636322 |     2371   1644 |        0 |        0
848.85/849.29	c  849s |      22 |  2065083 |  1639522 |     2371   1647 |        0 |        0
850.94/851.34	c  851s |      22 |  2070674 |  1643322 |     2371   1649 |        0 |        0
852.94/853.35	c  853s |      22 |  2075927 |  1647122 |     2371   1652 |        0 |        0
854.93/855.36	c  855s |      22 |  2080306 |  1650922 |     2371   1655 |        0 |        0
856.93/857.38	c  857s |      22 |  2085997 |  1654822 |     2371   1658 |        0 |        0
859.03/859.45	c  859s |      22 |  2090774 |  1658522 |     2371   1661 |        0 |        0
861.04/861.45	c  861s |      22 |  2096159 |  1662122 |     2371   1664 |        0 |        0
863.03/863.46	c  863s |      22 |  2101232 |  1666022 |     2371   1666 |        0 |        0
865.03/865.47	c  865s |      22 |  2106789 |  1669922 |     2371   1669 |        0 |        0
867.13/867.52	c  867s |      22 |  2111907 |  1673822 |     2371   1672 |        0 |        0
869.13/869.56	c  869s |      22 |  2117727 |  1677522 |     2371   1675 |        0 |        0
871.23/871.60	c  871s |      22 |  2122662 |  1681522 |     2371   1678 |        0 |        0
873.23/873.62	c  873s |      22 |  2128137 |  1685322 |     2371   1681 |        0 |        0
875.23/875.66	c  875s |      22 |  2132226 |  1688822 |     2371   1684 |        0 |        0
877.32/877.72	c  877s |      22 |  2138731 |  1692522 |     2371   1686 |        0 |        0
879.32/879.76	c  879s |      22 |  2144241 |  1696522 |     2371   1689 |        0 |        0
881.32/881.78	c  881s |      22 |  2149150 |  1700622 |     2371   1692 |        0 |        0
883.42/883.82	c  883s |      22 |  2153963 |  1704422 |     2371   1695 |        0 |        0
885.42/885.83	c  885s |      22 |  2158268 |  1707922 |     2371   1698 |        0 |        0
887.43/887.89	c  887s |      22 |  2162556 |  1711422 |     2371   1701 |        0 |        0
889.42/889.90	c  889s |      22 |  2167403 |  1715222 |     2371   1703 |        0 |        0
891.52/891.91	c  891s |      22 |  2171870 |  1718722 |     2371   1706 |        0 |        0
893.52/893.92	c  893s |      22 |  2177273 |  1722422 |     2371   1709 |        0 |        0
895.52/895.97	c  895s |      22 |  2182263 |  1726122 |     2371   1712 |        0 |        0
897.51/897.99	c  897s |      22 |  2187414 |  1730322 |     2371   1715 |        0 |        0
899.61/900.01	c  899s |      22 |  2192252 |  1734222 |     2371   1718 |        0 |        0
901.62/902.05	c  901s |      22 |  2197080 |  1737522 |     2371   1720 |        0 |        0
903.61/904.05	c  903s |      22 |  2200914 |  1740522 |     2371   1722 |        0 |        0
905.61/906.09	c  906s |      22 |  2204790 |  1743522 |     2371   1725 |        0 |        0
907.71/908.11	c  908s |      22 |  2209516 |  1746622 |     2371   1727 |        0 |        0
909.71/910.11	c  910s |      22 |  2213095 |  1749422 |     2371   1729 |        0 |        0
911.71/912.14	c  912s |      22 |  2218310 |  1752722 |     2371   1731 |        0 |        0
913.71/914.15	c  914s |      22 |  2222965 |  1756322 |     2371   1734 |        0 |        0
915.70/916.17	c  916s |      22 |  2226844 |  1759522 |     2371   1737 |        0 |        0
917.80/918.21	c  918s |      22 |  2230270 |  1762322 |     2371   1739 |        0 |        0
919.80/920.24	c  920s |      22 |  2235081 |  1766022 |     2371   1741 |        0 |        0
921.80/922.24	c  922s |      22 |  2239833 |  1769522 |     2371   1744 |        0 |        0
923.90/924.30	c  924s |      22 |  2244556 |  1772622 |     2371   1746 |        0 |        0
925.91/926.31	c  926s |      22 |  2249115 |  1775922 |     2371   1749 |        0 |        0
927.90/928.34	c  928s |      22 |  2254622 |  1780422 |     2371   1752 |        0 |        0
929.90/930.39	c  930s |      22 |  2259194 |  1783922 |     2371   1755 |        0 |        0
932.00/932.41	c  932s |      22 |  2264151 |  1787922 |     2371   1758 |        0 |        0
934.00/934.43	c  934s |      22 |  2268961 |  1791622 |     2371   1761 |        0 |        0
935.99/936.44	c  936s |      22 |  2272807 |  1794922 |     2371   1763 |        0 |        0
938.00/938.48	c  938s |      22 |  2277426 |  1797922 |     2371   1765 |        0 |        0
939.99/940.48	c  940s |      22 |  2281009 |  1801022 |     2371   1768 |        0 |        0
942.09/942.51	c  942s |      22 |  2284499 |  1803822 |     2371   1770 |        0 |        0
944.09/944.55	c  944s |      22 |  2289287 |  1806522 |     2371   1772 |        0 |        0
946.09/946.58	c  946s |      22 |  2293297 |  1809322 |     2371   1774 |        0 |        0
948.19/948.65	c  948s |      22 |  2297056 |  1812022 |     2371   1776 |        0 |        0
950.29/950.71	c  950s |      22 |  2301877 |  1815222 |     2371   1778 |        0 |        0
952.30/952.74	c  952s |      22 |  2306705 |  1818622 |     2371   1781 |        0 |        0
954.29/954.74	c  954s |      22 |  2311716 |  1822322 |     2371   1784 |        0 |        0
956.29/956.78	c  956s |      22 |  2316478 |  1825722 |     2371   1786 |        0 |        0
958.39/958.84	c  958s |      22 |  2321178 |  1828922 |     2371   1789 |        0 |        0
960.39/960.87	c  960s |      22 |  2326754 |  1833222 |     2371   1792 |        0 |        0
962.39/962.87	c  962s |      22 |  2331935 |  1836822 |     2371   1795 |        0 |        0
964.49/964.90	c  964s |      22 |  2336777 |  1840222 |     2371   1797 |        0 |        0
966.50/966.97	c  966s |      22 |  2342080 |  1843222 |     2371   1799 |        0 |        0
968.49/968.99	c  968s |      22 |  2346485 |  1846722 |     2371   1802 |        0 |        0
970.59/971.00	c  970s |      22 |  2350312 |  1849922 |     2371   1804 |        0 |        0
972.59/973.03	c  972s |      22 |  2354390 |  1852822 |     2371   1806 |        0 |        0
974.59/975.04	c  974s |      22 |  2358433 |  1856322 |     2371   1809 |        0 |        0
976.59/977.06	c  976s |      22 |  2363668 |  1859522 |     2371   1812 |        0 |        0
978.60/979.09	c  979s |      22 |  2368389 |  1862822 |     2371   1814 |        0 |        0
980.69/981.11	c  981s |      22 |  2371933 |  1865622 |     2371   1816 |        0 |        0
982.69/983.12	c  983s |      22 |  2376669 |  1869222 |     2371   1819 |        0 |        0
984.69/985.17	c  985s |      22 |  2381162 |  1873122 |     2371   1822 |        0 |        0
986.79/987.20	c  987s |      22 |  2386728 |  1876522 |     2371   1824 |        0 |        0
988.79/989.24	c  989s |      22 |  2391861 |  1880122 |     2371   1827 |        0 |        0
990.79/991.28	c  991s |      22 |  2396662 |  1884022 |     2371   1830 |        0 |        0
992.89/993.34	c  993s |      22 |  2402575 |  1887622 |     2371   1833 |        0 |        0
994.88/995.40	c  995s |      22 |  2408827 |  1891522 |     2371   1836 |        0 |        0
996.98/997.46	c  997s |      22 |  2414329 |  1895422 |     2371   1838 |        0 |        0
998.98/999.49	c  999s |      22 |  2420600 |  1899222 |     2371   1841 |        0 |        0
1000.98/1001.49	c 1001s |      22 |  2426632 |  1903122 |     2371   1844 |        0 |        0
1002.98/1003.50	c 1003s |      22 |  2432162 |  1907322 |     2371   1847 |        0 |        0
1005.09/1005.54	c 1005s |      22 |  2437599 |  1911622 |     2371   1851 |        0 |        0
1007.08/1007.56	c 1007s |      22 |  2443129 |  1915422 |     2371   1853 |        0 |        0
1009.08/1009.57	c 1009s |      22 |  2448712 |  1919322 |     2371   1856 |        0 |        0
1011.18/1011.61	c 1011s |      22 |  2453235 |  1923222 |     2371   1859 |        0 |        0
1013.18/1013.64	c 1013s |      22 |  2458741 |  1927022 |     2371   1862 |        0 |        0
1015.18/1015.67	c 1015s |      22 |  2464260 |  1930522 |     2371   1865 |        0 |        0
1017.28/1017.70	c 1017s |      22 |  2468788 |  1934522 |     2371   1868 |        0 |        0
1019.29/1019.72	c 1019s |      22 |  2473569 |  1938622 |     2371   1871 |        0 |        0
1021.28/1021.76	c 1021s |      22 |  2478079 |  1942622 |     2371   1874 |        0 |        0
1023.28/1023.79	c 1023s |      22 |  2483176 |  1946922 |     2371   1877 |        0 |        0
1025.38/1025.83	c 1025s |      22 |  2487478 |  1950322 |     2371   1880 |        0 |        0
1027.38/1027.84	c 1027s |      22 |  2492367 |  1954322 |     2371   1883 |        0 |        0
1029.38/1029.86	c 1029s |      22 |  2497465 |  1957722 |     2371   1885 |        0 |        0
1031.38/1031.89	c 1031s |      22 |  2502686 |  1961522 |     2371   1888 |        0 |        0
1033.48/1033.92	c 1033s |      22 |  2507834 |  1966222 |     2371   1892 |        0 |        0
1035.47/1035.94	c 1035s |      22 |  2513236 |  1970522 |     2371   1895 |        0 |        0
1037.47/1037.94	c 1037s |      22 |  2518368 |  1974622 |     2371   1898 |        0 |        0
1039.47/1039.98	c 1039s |      22 |  2524109 |  1979122 |     2371   1901 |        0 |        0
1041.57/1042.04	c 1041s |      22 |  2529582 |  1983322 |     2371   1905 |        0 |        0
1043.58/1044.06	c 1043s |      22 |  2534785 |  1987622 |     2371   1908 |        0 |        0
1045.57/1046.08	c 1046s |      22 |  2539596 |  1991522 |     2371   1911 |        0 |        0
1047.67/1048.14	c 1048s |      22 |  2544226 |  1995122 |     2371   1913 |        0 |        0
1049.67/1050.18	c 1050s |      22 |  2549005 |  1998822 |     2371   1916 |        0 |        0
1051.78/1052.20	c 1052s |      22 |  2553390 |  2002022 |     2371   1918 |        0 |        0
1053.78/1054.20	c 1054s |      22 |  2558250 |  2005422 |     2371   1921 |        0 |        0
1055.78/1056.27	c 1056s |      22 |  2562312 |  2008922 |     2371   1924 |        0 |        0
1057.78/1058.29	c 1058s |      22 |  2565689 |  2011522 |     2371   1925 |        0 |        0
1059.88/1060.31	c 1060s |      22 |  2569210 |  2014622 |     2371   1928 |        0 |        0
1061.88/1062.33	c 1062s |      22 |  2572563 |  2017222 |     2371   1930 |        0 |        0
1063.88/1064.35	c 1064s |      22 |  2575948 |  2020222 |     2371   1932 |        0 |        0
1065.88/1066.39	c 1066s |      22 |  2579713 |  2023022 |     2371   1934 |        0 |        0
1067.97/1068.41	c 1068s |      22 |  2584255 |  2026822 |     2371   1937 |        0 |        0
1069.98/1070.43	c 1070s |      22 |  2588534 |  2030422 |     2371   1940 |        0 |        0
1071.97/1072.47	c 1072s |      22 |  2592862 |  2033922 |     2371   1942 |        0 |        0
1074.07/1074.53	c 1074s |      22 |  2597286 |  2037622 |     2371   1945 |        0 |        0
1076.07/1076.57	c 1076s |      22 |  2601720 |  2041122 |     2371   1948 |        0 |        0
1078.07/1078.58	c 1078s |      22 |  2605721 |  2044522 |     2371   1950 |        0 |        0
1080.17/1080.62	c 1080s |      22 |  2610127 |  2048222 |     2371   1953 |        0 |        0
1082.17/1082.62	c 1082s |      22 |  2614951 |  2052022 |     2371   1956 |        0 |        0
1084.18/1084.63	c 1084s |      22 |  2619678 |  2056022 |     2371   1959 |        0 |        0
1086.17/1086.65	c 1086s |      22 |  2623893 |  2059522 |     2371   1961 |        0 |        0
1088.17/1088.67	c 1088s |      22 |  2627766 |  2062822 |     2371   1964 |        0 |        0
1090.17/1090.68	c 1090s |      22 |  2631242 |  2065822 |     2371   1966 |        0 |        0
1092.27/1092.71	c 1092s |      22 |  2635443 |  2069222 |     2371   1969 |        0 |        0
1094.27/1094.72	c 1094s |      22 |  2638601 |  2072022 |     2371   1971 |        0 |        0
1096.28/1096.77	c 1096s |      22 |  2642903 |  2075522 |     2371   1974 |        0 |        0
1098.37/1098.81	c 1098s |      22 |  2646660 |  2078922 |     2371   1976 |        0 |        0
1100.37/1100.82	c 1100s |      22 |  2652051 |  2082822 |     2371   1979 |        0 |        0
1102.37/1102.86	c 1102s |      22 |  2656985 |  2086822 |     2371   1982 |        0 |        0
1104.37/1104.87	c 1104s |      22 |  2661871 |  2090722 |     2371   1985 |        0 |        0
1106.46/1106.90	c 1106s |      22 |  2666557 |  2094622 |     2371   1988 |        0 |        0
1108.47/1108.93	c 1108s |      22 |  2670960 |  2098422 |     2371   1991 |        0 |        0
1110.46/1110.97	c 1110s |      22 |  2674848 |  2101722 |     2371   1993 |        0 |        0
1112.56/1113.00	c 1112s |      22 |  2679562 |  2104722 |     2371   1995 |        0 |        0
1114.56/1115.04	c 1114s |      22 |  2682724 |  2107622 |     2371   1998 |        0 |        0
1116.56/1117.06	c 1116s |      22 |  2687144 |  2111122 |     2371   2000 |        0 |        0
1118.56/1119.07	c 1119s |      22 |  2692125 |  2114522 |     2371   2003 |        0 |        0
1120.57/1121.08	c 1121s |      22 |  2697255 |  2118422 |     2371   2006 |        0 |        0
1122.56/1123.08	c 1123s |      22 |  2702156 |  2122322 |     2371   2009 |        0 |        0
1124.56/1125.10	c 1125s |      22 |  2706964 |  2126022 |     2371   2011 |        0 |        0
1126.66/1127.13	c 1127s |      22 |  2711138 |  2129722 |     2371   2014 |        0 |        0
1128.66/1129.17	c 1129s |      22 |  2715957 |  2133622 |     2371   2017 |        0 |        0
1130.66/1131.20	c 1131s |      22 |  2720477 |  2137622 |     2371   2020 |        0 |        0
1132.76/1133.21	c 1133s |      22 |  2725385 |  2141622 |     2371   2023 |        0 |        0
1134.77/1135.22	c 1135s |      22 |  2729911 |  2145222 |     2371   2026 |        0 |        0
1136.76/1137.24	c 1137s |      22 |  2734812 |  2149222 |     2371   2029 |        0 |        0
1138.76/1139.27	c 1139s |      22 |  2739600 |  2152422 |     2371   2031 |        0 |        0
1140.76/1141.29	c 1141s |      22 |  2744195 |  2155422 |     2371   2033 |        0 |        0
1142.76/1143.29	c 1143s |      22 |  2748748 |  2158622 |     2371   2036 |        0 |        0
1144.86/1145.32	c 1145s |      22 |  2755017 |  2163522 |     2371   2039 |        0 |        0
1146.86/1147.38	c 1147s |      22 |  2759905 |  2167722 |     2371   2043 |        0 |        0
1148.86/1149.38	c 1149s |      22 |  2764013 |  2171422 |     2371   2045 |        0 |        0
1150.96/1151.44	c 1151s |      22 |  2768165 |  2175222 |     2371   2048 |        0 |        0
1152.96/1153.44	c 1153s |      22 |  2773170 |  2179122 |     2371   2051 |        0 |        0
1154.96/1155.47	c 1155s |      22 |  2777557 |  2182722 |     2371   2054 |        0 |        0
1156.96/1157.49	c 1157s |      22 |  2781768 |  2185922 |     2371   2056 |        0 |        0
1159.06/1159.52	c 1159s |      22 |  2785489 |  2189022 |     2371   2059 |        0 |        0
1161.05/1161.53	c 1161s |      22 |  2789201 |  2192122 |     2371   2061 |        0 |        0
1163.05/1163.56	c 1163s |      22 |  2793312 |  2195122 |     2371   2063 |        0 |        0
1165.15/1165.61	c 1165s |      22 |  2797469 |  2198322 |     2371   2066 |        0 |        0
1167.15/1167.67	c 1167s |      22 |  2801535 |  2201222 |     2371   2068 |        0 |        0
1169.15/1169.70	c 1169s |      22 |  2805457 |  2204122 |     2371   2070 |        0 |        0
1171.25/1171.72	c 1171s |      22 |  2809966 |  2207422 |     2371   2072 |        0 |        0
1173.26/1173.75	c 1173s |      22 |  2814959 |  2210822 |     2371   2075 |        0 |        0
1175.25/1175.78	c 1175s |      22 |  2820001 |  2215222 |     2371   2078 |        0 |        0
1177.25/1177.79	c 1177s |      22 |  2824313 |  2219022 |     2371   2081 |        0 |        0
1179.35/1179.82	c 1179s |      22 |  2829236 |  2223322 |     2371   2084 |        0 |        0
1181.35/1181.85	c 1181s |      22 |  2834084 |  2227522 |     2371   2088 |        0 |        0
1183.45/1183.90	c 1183s |      22 |  2839165 |  2231422 |     2371   2091 |        0 |        0
1185.46/1185.92	c 1185s |      22 |  2842890 |  2234522 |     2371   2093 |        0 |        0
1187.45/1187.92	c 1187s |      22 |  2846311 |  2237422 |     2609   2095 |        0 |        0
1189.45/1189.93	c 1189s |      22 |  2849862 |  2240422 |     2609   2097 |        0 |        0
1191.45/1191.94	c 1191s |      22 |  2853141 |  2243222 |     2609   2099 |        0 |        0
1193.45/1193.99	c 1193s |      22 |  2856746 |  2246422 |     2609   2101 |        0 |        0
1195.55/1196.01	c 1195s |      22 |  2859835 |  2249222 |     2609   2103 |        0 |        0
1196.85/1197.34	c 1197s |      23 |  2861825 |  2251038 |     2609   2104 |        0 |        0
1198.86/1199.35	c 1199s |      23 |  2867153 |  2255338 |     2609   2107 |        0 |        0
1200.86/1201.39	c 1201s |      23 |  2872942 |  2258538 |     2609   2109 |        0 |        0
1202.96/1203.42	c 1203s |      23 |  2877658 |  2261638 |     2609   2112 |        0 |        0
1204.95/1205.45	c 1205s |      23 |  2885133 |  2265438 |     2609   2114 |        0 |        0
1206.95/1207.48	c 1207s |      23 |  2894544 |  2269338 |     2609   2117 |        0 |        0
1209.05/1209.55	c 1209s |      23 |  2900666 |  2272838 |     2609   2120 |        0 |        0
1211.05/1211.59	c 1211s |      23 |  2908549 |  2275638 |     2609   2122 |        0 |        0
1213.15/1213.61	c 1213s |      23 |  2913530 |  2279138 |     2609   2124 |        0 |        0
1215.16/1215.61	c 1215s |      23 |  2917316 |  2282238 |     2609   2126 |        0 |        0
1217.15/1217.64	c 1217s |      23 |  2922993 |  2285438 |     2609   2129 |        0 |        0
1219.15/1219.65	c 1219s |      23 |  2928155 |  2289138 |     2609   2131 |        0 |        0
1221.15/1221.69	c 1221s |      23 |  2934649 |  2292338 |     2609   2133 |        0 |        0
1223.25/1223.75	c 1223s |      23 |  2943602 |  2295238 |     2609   2135 |        0 |        0
1225.25/1225.77	c 1225s |      23 |  2949235 |  2298238 |     2609   2138 |        0 |        0
1227.35/1227.81	c 1227s |      23 |  2956761 |  2302038 |     2609   2140 |        0 |        0
1229.36/1229.86	c 1229s |      23 |  2961952 |  2305838 |     2609   2143 |        0 |        0
1231.45/1231.91	c 1231s |      23 |  2966032 |  2308938 |     2609   2145 |        0 |        0
1233.45/1233.94	c 1233s |      23 |  2972249 |  2312938 |     2609   2148 |        0 |        0
1235.45/1235.97	c 1235s |      23 |  2977022 |  2316838 |     2609   2151 |        0 |        0
1237.55/1238.02	c 1237s |      23 |  2981236 |  2320438 |     2609   2153 |        0 |        0
1239.55/1240.04	c 1239s |      23 |  2985177 |  2323438 |     2609   2155 |        0 |        0
1241.56/1242.07	c 1242s |      23 |  2990077 |  2326438 |     2609   2158 |        0 |        0
1243.55/1244.10	c 1244s |      23 |  2997339 |  2330238 |     2609   2160 |        0 |        0
1245.65/1246.10	c 1246s |      23 |  3003086 |  2334138 |     2609   2163 |        0 |        0
1247.65/1248.16	c 1248s |      23 |  3009436 |  2337638 |     2609   2165 |        0 |        0
1249.75/1250.21	c 1250s |      23 |  3015762 |  2341738 |     2609   2168 |        0 |        0
1251.74/1252.24	c 1252s |      23 |  3019916 |  2345038 |     2609   2171 |        0 |        0
1253.74/1254.29	c 1254s |      23 |  3027446 |  2348738 |     2609   2173 |        0 |        0
1255.85/1256.39	c 1256s |      23 |  3032239 |  2351938 |     2609   2176 |        0 |        0
1257.95/1258.46	c 1258s |      23 |  3035659 |  2354838 |     2609   2178 |        0 |        0
1259.94/1260.46	c 1260s |      23 |  3039476 |  2357538 |     2609   2179 |        0 |        0
1262.04/1262.51	c 1262s |      23 |  3044494 |  2360638 |     2609   2182 |        0 |        0
1264.04/1264.53	c 1264s |      23 |  3052414 |  2364338 |     2609   2184 |        0 |        0
1266.04/1266.54	c 1266s |      23 |  3057954 |  2368938 |     2609   2188 |        0 |        0
1268.04/1268.56	c 1268s |      23 |  3063442 |  2373038 |     2609   2190 |        0 |        0
1270.05/1270.57	c 1270s |      23 |  3069580 |  2377138 |     2609   2193 |        0 |        0
1272.14/1272.62	c 1272s |      23 |  3075974 |  2380838 |     2609   2196 |        0 |        0
1274.14/1274.64	c 1274s |      23 |  3080211 |  2384438 |     2609   2198 |        0 |        0
1276.24/1276.72	c 1276s |      23 |  3083747 |  2387438 |     2609   2201 |        0 |        0
1278.24/1278.76	c 1278s |      23 |  3087966 |  2390338 |     2609   2203 |        0 |        0
1280.34/1280.80	c 1280s |      23 |  3093163 |  2394238 |     2609   2205 |        0 |        0
1282.34/1282.82	c 1282s |      23 |  3097234 |  2397838 |     2609   2208 |        0 |        0
1284.35/1284.88	c 1284s |      23 |  3101415 |  2401538 |     2609   2211 |        0 |        0
1286.44/1286.93	c 1286s |      23 |  3106499 |  2405338 |     2609   2213 |        0 |        0
1288.44/1288.95	c 1288s |      23 |  3111352 |  2409338 |     2609   2216 |        0 |        0
1290.44/1290.97	c 1290s |      23 |  3116009 |  2413238 |     2609   2219 |        0 |        0
1292.54/1293.01	c 1292s |      23 |  3120695 |  2416938 |     2609   2221 |        0 |        0
1294.54/1295.04	c 1294s |      23 |  3126580 |  2421338 |     2609   2225 |        0 |        0
1296.54/1297.09	c 1297s |      23 |  3131161 |  2425238 |     2609   2227 |        0 |        0
1298.64/1299.11	c 1299s |      23 |  3136216 |  2429338 |     2609   2230 |        0 |        0
1300.64/1301.16	c 1301s |      23 |  3142153 |  2433738 |     2609   2233 |        0 |        0
1302.63/1303.17	c 1303s |      23 |  3150185 |  2437838 |     2609   2236 |        0 |        0
1304.73/1305.20	c 1305s |      23 |  3159696 |  2442238 |     2609   2239 |        0 |        0
1306.73/1307.22	c 1307s |      23 |  3166069 |  2445838 |     2609   2242 |        0 |        0
1308.74/1309.22	c 1309s |      23 |  3171452 |  2450238 |     2609   2245 |        0 |        0
1310.75/1311.28	c 1311s |      23 |  3176453 |  2454338 |     2609   2248 |        0 |        0
1312.84/1313.32	c 1313s |      23 |  3182522 |  2458038 |     2609   2251 |        0 |        0
1314.84/1315.35	c 1315s |      23 |  3187681 |  2462138 |     2609   2254 |        0 |        0
1316.84/1317.35	c 1317s |      23 |  3192054 |  2465238 |     2609   2256 |        0 |        0
1318.84/1319.39	c 1319s |      23 |  3199589 |  2469138 |     2609   2258 |        0 |        0
1320.94/1321.42	c 1321s |      23 |  3205887 |  2473238 |     2609   2261 |        0 |        0
1322.94/1323.45	c 1323s |      23 |  3210193 |  2476838 |     2609   2264 |        0 |        0
1324.94/1325.48	c 1325s |      23 |  3216449 |  2480838 |     2609   2267 |        0 |        0
1327.04/1327.52	c 1327s |      23 |  3222161 |  2485238 |     2609   2270 |        0 |        0
1329.04/1329.54	c 1329s |      23 |  3226024 |  2488738 |     2609   2272 |        0 |        0
1331.14/1331.60	c 1331s |      23 |  3231854 |  2491738 |     2609   2274 |        0 |        0
1333.14/1333.61	c 1333s |      23 |  3239458 |  2496238 |     2609   2277 |        0 |        0
1335.14/1335.64	c 1335s |      23 |  3244327 |  2499838 |     2609   2280 |        0 |        0
1337.14/1337.69	c 1337s |      23 |  3249535 |  2503938 |     2609   2283 |        0 |        0
1339.23/1339.72	c 1339s |      23 |  3255401 |  2508138 |     2609   2286 |        0 |        0
1341.23/1341.77	c 1341s |      23 |  3258726 |  2511138 |     2609   2288 |        0 |        0
1343.23/1343.79	c 1343s |      23 |  3262850 |  2514438 |     2609   2290 |        0 |        0
1345.33/1345.86	c 1345s |      23 |  3267045 |  2517838 |     2609   2292 |        0 |        0
1347.43/1347.92	c 1347s |      23 |  3270344 |  2520738 |     2609   2294 |        0 |        0
1349.43/1349.94	c 1349s |      23 |  3274130 |  2523538 |     2609   2296 |        0 |        0
1351.44/1351.96	c 1351s |      23 |  3277749 |  2526738 |     2609   2299 |        0 |        0
1353.43/1353.99	c 1353s |      23 |  3281662 |  2530138 |     2609   2301 |        0 |        0
1355.53/1356.01	c 1355s |      23 |  3285064 |  2533138 |     2609   2303 |        0 |        0
1357.53/1358.03	c 1357s |      23 |  3289494 |  2536038 |     2609   2305 |        0 |        0
1359.53/1360.04	c 1359s |      23 |  3293742 |  2539238 |     2609   2307 |        0 |        0
1361.53/1362.08	c 1362s |      23 |  3298267 |  2542438 |     2609   2310 |        0 |        0
1363.64/1364.11	c 1364s |      23 |  3301709 |  2545138 |     2609   2312 |        0 |        0
1365.63/1366.17	c 1366s |      23 |  3305138 |  2547938 |     2609   2314 |        0 |        0
1367.73/1368.24	c 1368s |      23 |  3308185 |  2550238 |     2609   2315 |        0 |        0
1369.73/1370.24	c 1370s |      23 |  3312091 |  2553338 |     2609   2317 |        0 |        0
1371.73/1372.27	c 1372s |      23 |  3315051 |  2556038 |     2609   2319 |        0 |        0
1373.83/1374.33	c 1374s |      23 |  3317756 |  2558338 |     2609   2321 |        0 |        0
1375.83/1376.34	c 1376s |      23 |  3320912 |  2560638 |     2609   2322 |        0 |        0
1377.83/1378.35	c 1378s |      23 |  3325675 |  2564038 |     2609   2325 |        0 |        0
1379.83/1380.35	c 1380s |      23 |  3329520 |  2566938 |     2609   2327 |        0 |        0
1381.83/1382.36	c 1382s |      23 |  3333418 |  2569638 |     2609   2329 |        0 |        0
1383.82/1384.39	c 1384s |      23 |  3338932 |  2573238 |     2609   2332 |        0 |        0
1385.92/1386.44	c 1386s |      23 |  3343299 |  2576838 |     2609   2334 |        0 |        0
1387.92/1388.46	c 1388s |      23 |  3347239 |  2580138 |     2609   2336 |        0 |        0
1390.03/1390.51	c 1390s |      23 |  3350779 |  2583138 |     2609   2339 |        0 |        0
1392.02/1392.52	c 1392s |      23 |  3354965 |  2586538 |     2609   2341 |        0 |        0
1394.02/1394.58	c 1394s |      23 |  3360430 |  2589938 |     2609   2343 |        0 |        0
1396.12/1396.61	c 1396s |      23 |  3364273 |  2593038 |     2609   2346 |        0 |        0
1398.12/1398.63	c 1398s |      23 |  3369049 |  2596338 |     2609   2348 |        0 |        0
1400.12/1400.67	c 1400s |      23 |  3375500 |  2599938 |     2609   2351 |        0 |        0
1402.22/1402.74	c 1402s |      23 |  3381029 |  2603238 |     2609   2353 |        0 |        0
1404.23/1404.76	c 1404s |      23 |  3387630 |  2606738 |     2609   2355 |        0 |        0
1406.22/1406.80	c 1406s |      23 |  3393375 |  2610938 |     2609   2358 |        0 |        0
1408.32/1408.85	c 1408s |      23 |  3397888 |  2614938 |     2609   2361 |        0 |        0
1410.32/1410.90	c 1410s |      23 |  3401769 |  2618438 |     2609   2363 |        0 |        0
1412.42/1412.93	c 1412s |      23 |  3406699 |  2622138 |     2609   2366 |        0 |        0
1414.42/1414.98	c 1414s |      23 |  3410848 |  2625338 |     2609   2368 |        0 |        0
1416.52/1417.03	c 1416s |      23 |  3414754 |  2628438 |     2609   2370 |        0 |        0
1418.52/1419.10	c 1419s |      23 |  3419076 |  2631738 |     2609   2373 |        0 |        0
1420.62/1421.12	c 1421s |      23 |  3423249 |  2634638 |     2609   2375 |        0 |        0
1422.62/1423.17	c 1423s |      23 |  3426516 |  2637438 |     2609   2377 |        0 |        0
1424.72/1425.23	c 1425s |      23 |  3429863 |  2640338 |     2609   2379 |        0 |        0
1426.72/1427.23	c 1427s |      23 |  3432679 |  2642938 |     2609   2380 |        0 |        0
1428.71/1429.29	c 1429s |      23 |  3435551 |  2645538 |     2609   2382 |        0 |        0
1430.81/1431.37	c 1431s |      23 |  3438844 |  2648138 |     2609   2384 |        0 |        0
1432.82/1433.37	c 1433s |      23 |  3441740 |  2650538 |     2609   2386 |        0 |        0
1434.81/1435.37	c 1435s |      23 |  3445094 |  2653538 |     2609   2388 |        0 |        0
1436.91/1437.40	c 1437s |      23 |  3448016 |  2656238 |     2609   2390 |        0 |        0
1438.91/1439.44	c 1439s |      23 |  3454184 |  2660038 |     2609   2392 |        0 |        0
1440.91/1441.44	c 1441s |      23 |  3459735 |  2664938 |     2609   2396 |        0 |        0
1442.91/1443.46	c 1443s |      23 |  3464676 |  2669238 |     2609   2399 |        0 |        0
1444.92/1445.50	c 1445s |      23 |  3468933 |  2673038 |     2609   2402 |        0 |        0
1447.01/1447.53	c 1447s |      23 |  3473510 |  2676738 |     2609   2404 |        0 |        0
1449.01/1449.58	c 1449s |      23 |  3476887 |  2679738 |     2609   2406 |        0 |        0
1451.11/1451.64	c 1451s |      23 |  3480358 |  2682838 |     2609   2409 |        0 |        0
1453.21/1453.71	c 1453s |      23 |  3483961 |  2685938 |     2609   2411 |        0 |        0
1455.22/1455.73	c 1455s |      23 |  3486946 |  2688638 |     2609   2413 |        0 |        0
1457.22/1457.76	c 1457s |      23 |  3490959 |  2691938 |     2609   2415 |        0 |        0
1459.33/1459.82	c 1459s |      23 |  3495107 |  2695638 |     2609   2417 |        0 |        0
1461.32/1461.86	c 1461s |      23 |  3499296 |  2699138 |     2609   2420 |        0 |        0
1463.32/1463.89	c 1463s |      23 |  3503376 |  2702738 |     2609   2422 |        0 |        0
1465.42/1465.91	c 1465s |      23 |  3506976 |  2705938 |     2609   2424 |        0 |        0
1467.41/1467.93	c 1467s |      23 |  3510423 |  2709038 |     2609   2427 |        0 |        0
1469.41/1469.98	c 1469s |      23 |  3513856 |  2712138 |     2609   2429 |        0 |        0
1471.42/1471.99	c 1471s |      23 |  3517245 |  2715238 |     2609   2431 |        0 |        0
1473.52/1474.01	c 1473s |      23 |  3520358 |  2718038 |     2609   2433 |        0 |        0
1475.51/1476.01	c 1475s |      23 |  3523476 |  2720838 |     2609   2435 |        0 |        0
1477.51/1478.06	c 1477s |      23 |  3526773 |  2723838 |     2609   2437 |        0 |        0
1479.61/1480.11	c 1480s |      23 |  3530019 |  2726738 |     2609   2439 |        0 |        0
1481.61/1482.11	c 1482s |      23 |  3534617 |  2730238 |     2609   2441 |        0 |        0
1483.61/1484.13	c 1484s |      23 |  3538693 |  2733738 |     2609   2444 |        0 |        0
1485.62/1486.19	c 1486s |      23 |  3543098 |  2737338 |     2609   2446 |        0 |        0
1487.71/1488.23	c 1488s |      23 |  3547435 |  2740938 |     2609   2449 |        0 |        0
1489.71/1490.27	c 1490s |      23 |  3551429 |  2744438 |     2609   2451 |        0 |        0
1491.81/1492.34	c 1492s |      23 |  3554373 |  2747038 |     2609   2453 |        0 |        0
1493.81/1494.36	c 1494s |      23 |  3556808 |  2749238 |     2609   2454 |        0 |        0
1495.81/1496.39	c 1496s |      23 |  3561907 |  2752538 |     2609   2457 |        0 |        0
1497.91/1498.43	c 1498s |      23 |  3565830 |  2755038 |     2609   2459 |        0 |        0
1499.91/1500.49	c 1500s |      23 |  3569616 |  2758338 |     2609   2461 |        0 |        0
1502.01/1502.52	c 1502s |      23 |  3573154 |  2761438 |     2609   2463 |        0 |        0
1504.01/1504.55	c 1504s |      23 |  3576798 |  2764738 |     2609   2465 |        0 |        0
1506.11/1506.61	c 1506s |      23 |  3580576 |  2768138 |     2609   2468 |        0 |        0
1508.10/1508.62	c 1508s |      23 |  3584441 |  2771538 |     2609   2470 |        0 |        0
1510.10/1510.64	c 1510s |      23 |  3588020 |  2774738 |     2609   2473 |        0 |        0
1512.20/1512.70	c 1512s |      23 |  3592317 |  2778038 |     2609   2475 |        0 |        0
1514.21/1514.74	c 1514s |      23 |  3597174 |  2782138 |     2609   2478 |        0 |        0
1516.20/1516.77	c 1516s |      23 |  3601050 |  2785638 |     2609   2480 |        0 |        0
1518.30/1518.80	c 1518s |      23 |  3604867 |  2789038 |     2609   2483 |        0 |        0
1520.30/1520.83	c 1520s |      23 |  3609092 |  2792738 |     2609   2485 |        0 |        0
1522.40/1522.92	c 1522s |      23 |  3612542 |  2795838 |     2609   2487 |        0 |        0
1524.40/1524.99	c 1524s |      23 |  3616020 |  2798938 |     2609   2489 |        0 |        0
1526.50/1527.03	c 1526s |      23 |  3619853 |  2801938 |     2609   2491 |        0 |        0
1528.51/1529.07	c 1529s |      23 |  3624433 |  2805738 |     2609   2494 |        0 |        0
1530.60/1531.11	c 1531s |      23 |  3628890 |  2809338 |     2609   2497 |        0 |        0
1532.60/1533.16	c 1533s |      23 |  3634113 |  2813338 |     2609   2499 |        0 |        0
1534.60/1535.18	c 1535s |      23 |  3638595 |  2817138 |     2609   2502 |        0 |        0
1536.70/1537.21	c 1537s |      23 |  3643583 |  2820638 |     2609   2505 |        0 |        0
1538.70/1539.22	c 1539s |      23 |  3648368 |  2824538 |     2609   2507 |        0 |        0
1540.70/1541.22	c 1541s |      23 |  3652669 |  2828138 |     2609   2510 |        0 |        0
1542.70/1543.30	c 1543s |      23 |  3656997 |  2831838 |     2609   2513 |        0 |        0
1544.80/1545.30	c 1545s |      23 |  3660647 |  2835038 |     2609   2515 |        0 |        0
1546.80/1547.32	c 1547s |      23 |  3664839 |  2838438 |     2609   2517 |        0 |        0
1548.80/1549.38	c 1549s |      23 |  3668334 |  2841538 |     2609   2519 |        0 |        0
1550.90/1551.47	c 1551s |      23 |  3671649 |  2844238 |     2609   2521 |        0 |        0
1552.99/1553.52	c 1553s |      23 |  3674797 |  2847038 |     2609   2523 |        0 |        0
1555.09/1555.60	c 1555s |      23 |  3678203 |  2850138 |     2609   2526 |        0 |        0
1557.10/1557.63	c 1557s |      23 |  3682165 |  2853438 |     2609   2528 |        0 |        0
1559.09/1559.69	c 1559s |      23 |  3686238 |  2856838 |     2609   2530 |        0 |        0
1561.19/1561.72	c 1561s |      23 |  3689452 |  2859538 |     2609   2532 |        0 |        0
1563.19/1563.75	c 1563s |      23 |  3692735 |  2862338 |     2609   2534 |        0 |        0
1565.19/1565.76	c 1565s |      23 |  3695767 |  2864838 |     2609   2536 |        0 |        0
1567.29/1567.82	c 1567s |      23 |  3699104 |  2867738 |     2609   2538 |        0 |        0
1569.30/1569.82	c 1569s |      23 |  3702071 |  2870238 |     2609   2540 |        0 |        0
1571.29/1571.82	c 1571s |      23 |  3705536 |  2872838 |     2609   2541 |        0 |        0
1573.29/1573.84	c 1573s |      23 |  3710254 |  2876638 |     2609   2544 |        0 |        0
1575.29/1575.89	c 1575s |      23 |  3713872 |  2879838 |     2609   2546 |        0 |        0
1577.39/1577.91	c 1577s |      23 |  3718522 |  2883238 |     2609   2549 |        0 |        0
1579.39/1579.93	c 1579s |      23 |  3722180 |  2886438 |     2609   2551 |        0 |        0
1581.40/1581.94	c 1581s |      23 |  3726326 |  2889938 |     2609   2553 |        0 |        0
1583.39/1583.99	c 1583s |      23 |  3731499 |  2894138 |     2609   2556 |        0 |        0
1585.49/1586.01	c 1585s |      23 |  3735946 |  2897838 |     2609   2559 |        0 |        0
1587.49/1588.05	c 1587s |      23 |  3740226 |  2901338 |     2609   2561 |        0 |        0
1589.49/1590.05	c 1589s |      23 |  3744579 |  2904838 |     2609   2564 |        0 |        0
1591.49/1592.06	c 1591s |      23 |  3749391 |  2908738 |     2609   2567 |        0 |        0
1593.50/1594.07	c 1594s |      23 |  3753379 |  2912038 |     2609   2569 |        0 |        0
1595.50/1596.10	c 1596s |      23 |  3757049 |  2915038 |     2609   2571 |        0 |        0
1597.59/1598.12	c 1598s |      23 |  3761939 |  2918838 |     2609   2574 |        0 |        0
1599.59/1600.18	c 1600s |      23 |  3766856 |  2922338 |     2609   2576 |        0 |        0
1601.69/1602.22	c 1602s |      23 |  3770896 |  2925538 |     2609   2579 |        0 |        0
1603.69/1604.23	c 1604s |      23 |  3775908 |  2929038 |     2609   2581 |        0 |        0
1605.69/1606.29	c 1606s |      23 |  3780158 |  2932538 |     2609   2583 |        0 |        0
1607.80/1608.34	c 1608s |      23 |  3784223 |  2935838 |     2609   2586 |        0 |        0
1609.79/1610.40	c 1610s |      23 |  3788544 |  2939438 |     2609   2588 |        0 |        0
1611.89/1612.44	c 1612s |      23 |  3792845 |  2942438 |     2609   2590 |        0 |        0
1613.89/1614.49	c 1614s |      23 |  3798107 |  2945538 |     2609   2593 |        0 |        0
1615.99/1616.54	c 1616s |      23 |  3803893 |  2948738 |     2609   2595 |        0 |        0
1617.99/1618.55	c 1618s |      23 |  3807332 |  2951438 |     2609   2597 |        0 |        0
1620.09/1620.61	c 1620s |      23 |  3811479 |  2954738 |     2609   2599 |        0 |        0
1622.09/1622.61	c 1622s |      23 |  3815054 |  2957438 |     2609   2601 |        0 |        0
1624.09/1624.65	c 1624s |      23 |  3819065 |  2960338 |     2609   2603 |        0 |        0
1626.09/1626.69	c 1626s |      23 |  3824192 |  2964138 |     2609   2606 |        0 |        0
1628.09/1628.69	c 1628s |      23 |  3829430 |  2967538 |     2609   2608 |        0 |        0
1630.19/1630.74	c 1630s |      23 |  3833030 |  2970538 |     2609   2610 |        0 |        0
1632.18/1632.79	c 1632s |      23 |  3836784 |  2973838 |     2609   2613 |        0 |        0
1634.19/1634.79	c 1634s |      23 |  3840286 |  2977038 |     2609   2615 |        0 |        0
1636.29/1636.84	c 1636s |      23 |  3843886 |  2980238 |     2609   2617 |        0 |        0
1638.38/1638.90	c 1638s |      23 |  3847312 |  2983338 |     2609   2619 |        0 |        0
1640.38/1640.95	c 1640s |      23 |  3852616 |  2986738 |     2609   2622 |        0 |        0
1642.48/1643.00	c 1642s |      23 |  3857044 |  2989838 |     2609   2624 |        0 |        0
1644.48/1645.07	c 1645s |      23 |  3862605 |  2993138 |     2609   2626 |        0 |        0
1646.58/1647.11	c 1647s |      23 |  3866853 |  2996238 |     2609   2629 |        0 |        0
1648.58/1649.12	c 1649s |      23 |  3871520 |  2999738 |     2609   2631 |        0 |        0
1650.59/1651.16	c 1651s |      23 |  3875946 |  3002938 |     2609   2633 |        0 |        0
1652.58/1653.18	c 1653s |      23 |  3879778 |  3006038 |     2609   2635 |        0 |        0
1654.68/1655.20	c 1655s |      23 |  3884342 |  3009238 |     2609   2638 |        0 |        0
1656.68/1657.22	c 1657s |      23 |  3889673 |  3012438 |     2609   2640 |        0 |        0
1658.68/1659.23	c 1659s |      23 |  3893911 |  3015638 |     2609   2642 |        0 |        0
1660.68/1661.27	c 1661s |      23 |  3898382 |  3019038 |     2609   2644 |        0 |        0
1662.79/1663.31	c 1663s |      23 |  3902045 |  3021838 |     2609   2646 |        0 |        0
1664.78/1665.32	c 1665s |      23 |  3905382 |  3024638 |     2609   2648 |        0 |        0
1666.78/1667.36	c 1667s |      23 |  3909576 |  3027638 |     2609   2651 |        0 |        0
1668.78/1669.38	c 1669s |      23 |  3913477 |  3031038 |     2609   2653 |        0 |        0
1670.88/1671.40	c 1671s |      23 |  3918068 |  3034238 |     2609   2655 |        0 |        0
1672.88/1673.44	c 1673s |      23 |  3922226 |  3037438 |     2609   2657 |        0 |        0
1674.89/1675.48	c 1675s |      23 |  3925860 |  3040338 |     2609   2659 |        0 |        0
1676.88/1677.50	c 1677s |      23 |  3929367 |  3043538 |     2609   2662 |        0 |        0
1678.98/1679.52	c 1679s |      23 |  3932897 |  3046738 |     2609   2664 |        0 |        0
1680.98/1681.54	c 1681s |      23 |  3937808 |  3049638 |     2609   2666 |        0 |        0
1682.98/1683.59	c 1683s |      23 |  3941963 |  3053038 |     2609   2668 |        0 |        0
1685.08/1685.61	c 1685s |      23 |  3945832 |  3056138 |     2609   2671 |        0 |        0
1687.08/1687.67	c 1687s |      23 |  3949835 |  3059038 |     2609   2673 |        0 |        0
1689.19/1689.72	c 1689s |      23 |  3953690 |  3061638 |     2609   2674 |        0 |        0
1691.18/1691.75	c 1691s |      23 |  3956974 |  3064438 |     2609   2676 |        0 |        0
1693.28/1693.81	c 1693s |      23 |  3959960 |  3067138 |     2609   2678 |        0 |        0
1695.28/1695.81	c 1695s |      23 |  3963391 |  3070038 |     2609   2680 |        0 |        0
1697.28/1697.88	c 1697s |      23 |  3967050 |  3073138 |     2609   2683 |        0 |        0
1699.38/1699.92	c 1699s |      23 |  3970980 |  3076438 |     2609   2685 |        0 |        0
1701.38/1701.94	c 1701s |      23 |  3975756 |  3079238 |     2609   2687 |        0 |        0
1703.38/1703.98	c 1703s |      23 |  3980784 |  3082438 |     2609   2689 |        0 |        0
1705.48/1706.01	c 1705s |      23 |  3984955 |  3085738 |     2609   2691 |        0 |        0
1707.48/1708.02	c 1707s |      23 |  3989183 |  3089338 |     2609   2694 |        0 |        0
1709.47/1710.08	c 1710s |      23 |  3993159 |  3092838 |     2609   2696 |        0 |        0
1711.57/1712.11	c 1712s |      23 |  3996664 |  3095838 |     2609   2699 |        0 |        0
1713.57/1714.16	c 1714s |      23 |  4000928 |  3098638 |     2609   2701 |        0 |        0
1715.67/1716.22	c 1716s |      23 |  4004906 |  3102038 |     2609   2703 |        0 |        0
1717.68/1718.23	c 1718s |      23 |  4008802 |  3105538 |     2609   2705 |        0 |        0
1719.67/1720.27	c 1720s |      23 |  4014279 |  3109438 |     2609   2708 |        0 |        0
1721.77/1722.32	c 1722s |      23 |  4018614 |  3112938 |     2609   2711 |        0 |        0
1723.77/1724.32	c 1724s |      23 |  4022125 |  3116038 |     2609   2713 |        0 |        0
1725.77/1726.35	c 1726s |      23 |  4025670 |  3119138 |     2609   2715 |        0 |        0
1727.87/1728.41	c 1728s |      23 |  4029245 |  3122238 |     2609   2717 |        0 |        0
1729.88/1730.43	c 1730s |      23 |  4032830 |  3125238 |     2609   2719 |        0 |        0
1731.87/1732.47	c 1732s |      23 |  4037564 |  3128938 |     2609   2722 |        0 |        0
1733.97/1734.54	c 1734s |      23 |  4041605 |  3132038 |     2609   2724 |        0 |        0
1736.07/1736.60	c 1736s |      23 |  4044940 |  3134938 |     2609   2726 |        0 |        0
1738.07/1738.63	c 1738s |      23 |  4048588 |  3138138 |     2609   2728 |        0 |        0
1740.07/1740.65	c 1740s |      23 |  4051588 |  3140838 |     2609   2730 |        0 |        0
1742.07/1742.68	c 1742s |      23 |  4054689 |  3143638 |     2609   2732 |        0 |        0
1744.17/1744.71	c 1744s |      23 |  4058233 |  3146438 |     2609   2734 |        0 |        0
1746.16/1746.77	c 1746s |      23 |  4062141 |  3149838 |     2609   2737 |        0 |        0
1748.26/1748.81	c 1748s |      23 |  4065688 |  3153038 |     2609   2739 |        0 |        0
1750.27/1750.86	c 1750s |      23 |  4069448 |  3156438 |     2609   2741 |        0 |        0
1752.37/1752.91	c 1752s |      23 |  4074112 |  3160138 |     2609   2744 |        0 |        0
1754.37/1754.96	c 1754s |      23 |  4078776 |  3163738 |     2609   2746 |        0 |        0
1756.37/1756.99	c 1756s |      23 |  4083056 |  3167338 |     2609   2749 |        0 |        0
1758.48/1759.05	c 1758s |      23 |  4086975 |  3170538 |     2609   2751 |        0 |        0
1760.47/1761.06	c 1760s |      23 |  4090117 |  3173338 |     2609   2753 |        0 |        0
1762.57/1763.10	c 1763s |      23 |  4093439 |  3176238 |     2609   2755 |        0 |        0
1764.57/1765.13	c 1765s |      23 |  4096706 |  3179138 |     2609   2757 |        0 |        0
1766.57/1767.16	c 1767s |      23 |  4100228 |  3182138 |     2609   2759 |        0 |        0
1768.57/1769.16	c 1769s |      23 |  4103700 |  3185038 |     2609   2761 |        0 |        0
1770.57/1771.16	c 1771s |      23 |  4107635 |  3188538 |     2609   2764 |        0 |        0
1772.56/1773.18	c 1773s |      23 |  4112084 |  3192438 |     2609   2766 |        0 |        0
1774.56/1775.18	c 1775s |      23 |  4116511 |  3196138 |     2609   2769 |        0 |        0
1776.56/1777.19	c 1777s |      23 |  4120255 |  3199438 |     2609   2771 |        0 |        0
1778.66/1779.23	c 1779s |      23 |  4124527 |  3203038 |     2609   2774 |        0 |        0
1780.66/1781.29	c 1781s |      23 |  4129231 |  3206938 |     2609   2777 |        0 |        0
1782.76/1783.33	c 1783s |      23 |  4133749 |  3210738 |     2609   2779 |        0 |        0
1784.77/1785.33	c 1785s |      23 |  4137911 |  3213938 |     2609   2781 |        0 |        0
1786.76/1787.37	c 1787s |      23 |  4141576 |  3217138 |     2609   2784 |        0 |        0
1788.76/1789.38	c 1789s |      23 |  4146020 |  3220538 |     2609   2786 |        0 |        0
1790.86/1791.41	c 1791s |      23 |  4149876 |  3223738 |     2609   2788 |        0 |        0
1792.86/1793.45	c 1793s |      23 |  4153602 |  3226738 |     2609   2790 |        0 |        0
1794.86/1795.45	c 1795s |      23 |  4157712 |  3229938 |     2609   2792 |        0 |        0
1796.86/1797.49	c 1797s |      23 |  4161394 |  3233238 |     2609   2795 |        0 |        0
1798.96/1799.52	c 1799s |      23 |  4165207 |  3236738 |     2609   2797 |        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-4109174-1466341817/watcher-4109174-1466341817 -o /tmp/evaluation-result-4109174-1466341817/solver-4109174-1466341817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6064 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109174-1466341817.wbo 

pid=6084
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: 0.37 0.33 0.24 2/173 6089
/proc/meminfo: memFree=29901980/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=595388 CPUtime=0 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 2199 0 0 0 0 0 0 0 20 0 4 0 36228324 609677312 2560 33554432000 4194304 16246674 140735847134560 140735847133984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 149615 2569 441 2943 0 146509 0
[pid=6089/tid=6093] ppid=6084 vsize=612796 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 627503104 2628 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=616892 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 631697408 2645 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=620988 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 635891712 2661 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 0.37 0.33 0.24 2/173 6089
/proc/meminfo: memFree=29901980/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 25206 0 0 0 5 4 0 0 20 0 4 0 36228324 1247350784 25552 33554432000 4194304 16246674 140735847134560 140735847133984 5545885 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 304529 25566 807 2943 0 301423 0
[pid=6089/tid=6093] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 25571 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 25576 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 25582 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200482 s]
/proc/loadavg: 0.37 0.33 0.24 2/173 6089
/proc/meminfo: memFree=29901980/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 50533 0 0 0 11 8 0 0 20 0 4 0 36228324 1247350784 50879 33554432000 4194304 16246674 140735847134560 140735847133984 5532301 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 304529 50894 813 2943 0 301423 0
[pid=6089/tid=6093] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 50904 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 50914 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 50923 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300428 s]
/proc/loadavg: 0.37 0.33 0.24 2/173 6089
/proc/meminfo: memFree=29901980/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 79266 0 0 0 18 11 0 0 20 0 4 0 36228324 1247350784 79613 33554432000 4194304 16246674 140735847134560 140735847133984 5669490 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 304529 79621 813 2943 0 301423 0
[pid=6089/tid=6093] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 79625 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 79629 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 79633 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70037 s]
/proc/loadavg: 0.37 0.33 0.24 2/173 6089
/proc/meminfo: memFree=29901980/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 196429 0 0 0 44 25 0 0 20 0 4 0 36228324 1247350784 196776 33554432000 4194304 16246674 140735847134560 140735847116480 12478333 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 304529 196795 813 2943 0 301423 0
[pid=6089/tid=6093] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 196806 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 196820 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 196828 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 0.37 0.33 0.24 3/184 6100
/proc/meminfo: memFree=28246792/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1304132 CPUtime=1.49 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 266988 0 0 0 114 35 0 0 20 0 4 0 36228324 1335431168 267312 33554432000 4194304 16246674 140735847134560 140735847116480 5589208 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 326033 267312 873 2943 0 322927 0
[pid=6089/tid=6093] ppid=6084 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1335431168 267312 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1335431168 267312 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1335431168 267312 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.10039 s]
/proc/loadavg: 0.37 0.33 0.24 4/184 6100
/proc/meminfo: memFree=27760324/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 267629 0 0 0 274 35 0 0 20 0 4 0 36228324 1337528320 267953 33554432000 4194304 16246674 140735847134560 140735847116480 13191272 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 326545 267953 873 2943 0 323439 0
[pid=6089/tid=6093] ppid=6084 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1337528320 267953 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1337528320 267953 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1337528320 267953 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 0.50 0.36 0.25 4/184 6100
/proc/meminfo: memFree=27759356/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 267856 0 0 0 594 35 0 0 20 0 4 0 36228324 1338576896 268180 33554432000 4194304 16246674 140735847134560 140735847116480 13963975 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 326801 268180 875 2943 0 323695 0
[pid=6089/tid=6093] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268180 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268180 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268180 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.62 0.39 0.26 3/184 6100
/proc/meminfo: memFree=27751964/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 267925 0 0 0 1234 35 0 0 20 0 4 0 36228324 1338576896 268249 33554432000 4194304 16246674 140735847134560 140735847117560 15015658 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 326801 268249 875 2943 0 323695 0
[pid=6089/tid=6093] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268249 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268249 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268249 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.00 0.48 0.29 3/184 6100
/proc/meminfo: memFree=27752388/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 267926 0 0 0 2513 35 0 0 20 0 4 0 36228324 1338576896 268250 33554432000 4194304 16246674 140735847134560 140735847117560 5545988 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6089/statm: 326801 268250 876 2943 0 323695 0
[pid=6089/tid=6093] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268250 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268250 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 268250 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.40 0.62 0.34 3/183 6100
/proc/meminfo: memFree=27748332/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1308228 CPUtime=51.07 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 268065 0 0 0 5072 35 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140735847116480 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 327057 268389 876 2943 0 323951 0
[pid=6089/tid=6093] ppid=6084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 1.80 0.84 0.43 3/183 6102
/proc/meminfo: memFree=27739532/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 268065 0 0 0 10192 36 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140735847116480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 327057 268389 876 2943 0 323951 0
[pid=6089/tid=6093] ppid=6084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1339625472 268389 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272071 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.22 2.20 1.72 4/183 6132
/proc/meminfo: memFree=27715316/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1301.83 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 130137 46 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5546111 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.34 2.24 1.76 3/183 6133
/proc/meminfo: memFree=27710552/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1361.83 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 136136 47 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5711342 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.26 2.24 1.79 3/183 6134
/proc/meminfo: memFree=27711372/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1421.82 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 142135 47 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.53 2.30 1.84 4/183 6135
/proc/meminfo: memFree=27711424/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1481.81 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 148133 48 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1322564

[startup+1542.31 s]
/proc/loadavg: 2.29 2.27 1.86 4/183 6136
/proc/meminfo: memFree=27711332/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1541.8 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 154132 48 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5711157 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.34 2.30 1.89 3/183 6138
/proc/meminfo: memFree=27710612/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1601.79 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 160130 49 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5523352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.30 2.29 1.91 3/183 6139
/proc/meminfo: memFree=27710632/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1661.78 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 166129 49 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.20 2.26 1.92 3/183 6140
/proc/meminfo: memFree=27709392/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1721.77 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 172127 50 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5861812 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.16 2.24 1.93 4/183 6141
/proc/meminfo: memFree=27707784/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1781.76 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 178125 51 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 13191840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.24 1.94 3/184 6144
/proc/meminfo: memFree=27707708/32872528 swapFree=1542984/1696284
[pid=6089] ppid=6084 vsize=1322564 CPUtime=1800.06 cores=1,3,5,7
/proc/6089/stat : 6089 (toysat) R 6084 6089 6047 0 -1 4202496 272210 0 0 0 179955 51 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140735847116480 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6089/statm: 330641 272094 877 2943 0 327535 0
[pid=6089/tid=6093] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6093/stat : 6093 (toysat) S 6084 6089 6047 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174096837872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6089/tid=6094] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6094/stat : 6094 (toysat) S 6084 6089 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174086348016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6089/tid=6095] ppid=6084 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6089/task/6095/stat : 6095 (toysat) S 6084 6089 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1354305536 272094 33554432000 4194304 16246674 140735847134560 140174075874480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1322564

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.51992
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.51992
maximum resident set size= 1088376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 457
involuntary context switches= 2310

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10007 second user time and 9.48756 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 15:10:17
IDJOB=4109174
IDBENCH=78688
IDSOLVER=2553
FILE ID=node125/4109174-1466341817
RUNJOBID= node125-1466341817-6064
PBS_JOBID= 19922028
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 0cdd726c0cfdfebdf6729039b1e2fb5f
RANDOM SEED=885063510

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29904004 kB
Buffers:          177484 kB
Cached:           348192 kB
SwapCached:          764 kB
Active:           160108 kB
Inactive:         368732 kB
Active(anon):       4708 kB
Inactive(anon):     1188 kB
Active(file):     155400 kB
Inactive(file):   367544 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:       1700496 kB
Mapped:             6912 kB
Shmem:                 0 kB
Slab:             610576 kB
SReclaimable:      54592 kB
SUnreclaim:       555984 kB
KernelStack:        1352 kB
PageTables:         6912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1792884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71712 MiB
End job on node125 at 2016-06-19 15:40:18