Trace number 4109154

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMb66fe868eb6fadcfec17a324e77ec452
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2400
Total number of constraints140
Number of soft constraints97
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint40
Top cost 4448
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4447
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
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:13+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-4109154-1466341813.wbo"]
0.00/0.01	c use --random-gen="2271500433 3510483317 2694394966 2046745000 3642074447 648468243 1016687894 3070777773 3547524457 4056948290 330492046 3372888431 852790636 443575341 2629358698 2053078183 221467640 789791366 668410158 1319866230 3571033236 144278862 388682878 3484678832 3797369688 1197237505 3745194259 2987748956 1347067467 2061140064 2661132816 3945742063 2003637206 356444442 3072898761 769947056 592358993 173993311 1441850775 1676962851 2493114726 39061012 890345647 691916388 297885701 1955894199 815536682 818259446 1150251737 1921219987 837546856 2759594938 666732311 3911638751 251019118 786764932 1185910346 281178379 1736785294 421166144 2901090681 3707484793 515523920 2452804158 4244418981 1917732674 254337714 1354478699 969415407 639546702 388619902 572190666 4292720663 3816806678 338057053 3911457463 1930917588 2160044495 3434072109 4011544433 3758720042 3946602577 2118359348 3883255263 1309437370 3142536897 2666407414 3836725224 1725463150 2118877756 3319902697 1116137728 1414770315 1674585419 1601551599 1519378156 4031985020 1499238451 262236630 378046406 1848820992 3692818807 3222828133 3675990215 1329988643 385162747 1691019607 3423616680 3667984019 903172620 2637680978 2090539172 3517225591 291491080 3455738103 4144812006 1469360454 2214720583 27202433 4094230815 440591500 2001274174 1001335227 4026317719 1184945324 680795841 2058955080 310323356 4240091506 3961613496 3414851788 239072663 657326687 3397283648 2482409232 911388098 2995017743 775547433 2362000458 738892800 621910930 2505812720 3921754863 579323411 761548151 4022234874 1761244175 4078354241 2603710345 1749669914 2216479564 2362034302 2446185583 1527255102 4125251494 2409373933 4032257522 1597923961 3301067660 4240868015 2736166477 3569245207 1978031564 176783751 3035938822 1854261150 711505649 3817992607 4015583182 1005276026 2440282377 2412769930 3805829711 606795341 2812906589 93267109 2942380015 3801825308 1227687272 1495540529 3338381830 1548683936 399624089 703074667 478928922 284227388 3016166631 3040584796 4088124942 3687442123 704419063 3879452773 2644704275 1333092078 3566468881 735083376 947266529 1304560225 3843996271 50358481 2431477160 2509386007 1424189818 4037723839 3405792820 4168040717 255786771 3166466665 1315046436 455143645 1482163905 3281812510 186620882 698616561 2851355077 514504153 1964627876 3739440836 2395060287 1167426753 2999388755 3726435038 683998182 585770632 2361292058 3762624055 1375073064 1633108187 2361217186 698654101 3233399786 1815174436 1283439714 2699318770 107690926 2925071551 4113096673 2608212566 722979605 1545663320 2110426827 1217233634 374109566 77594533 2777660373 322984014 1484779260 1147914025 2016106618 3983650758 3443185927 4028814245 1014131453 1314412836 883725774 2684192639 255 362436" option to reproduce the execution
0.09/0.12	c #vars 2400
0.09/0.12	c #constraints 140
0.09/0.13	c BCD2: Hardening is enabled.
0.09/0.13	c BCD2: BiasedSearch is enabled.
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |      879      0 |        0 |        0
0.09/0.16	c  0.0s |       1 |      245 |      100 |      879      0 |        0 |        0
0.09/0.17	c  0.0s |       1 |     1966 |      101 |      967      0 |        0 |        0
0.09/0.17	c #cpu_time = 0.038s
0.09/0.17	c #wall_clock_time = 0.039s
0.09/0.17	c #decision = 1966
0.09/0.17	c #random_decision = 4
0.09/0.17	c #conflict = 101
0.09/0.17	c #restart = 1
0.09/0.17	o 1935
0.09/0.17	c BCD2: updating upper bound: 4447 -> 1934
0.09/0.17	c BCD2: 0 <= obj <= 1934
0.09/0.17	c BCD2: #cores=0, #unrelaxed=97, #relaxed=0, #hardened=0
0.09/0.17	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |      967      0 |        0 |        0
0.18/0.22	c  0.0s |       1 |      434 |      100 |      967      0 |        0 |        0
0.29/0.34	c  0.2s |       2 |     1385 |      250 |     1064      0 |        0 |        0
0.49/0.53	c  0.4s |       3 |     2614 |      475 |     1171      0 |        0 |        0
0.79/0.84	c  0.7s |       4 |     3755 |      813 |     1289      0 |        0 |        0
1.19/1.20	c  1.0s |       5 |     4924 |     1320 |     1418      0 |        0 |        0
1.58/1.67	c  1.5s |       6 |     6364 |     2081 |     1560      0 |        0 |        0
2.49/2.57	c  2.4s |       7 |     8793 |     3223 |     1717      1 |        0 |        0
3.89/3.95	c  3.8s |       8 |    11406 |     4936 |     1889      2 |        0 |        0
5.99/6.03	c  5.9s |       8 |    14826 |     7436 |     2078      4 |        0 |        0
6.09/6.10	c  5.9s |       9 |    14900 |     7506 |     2078      4 |        0 |        0
8.09/8.12	c  7.9s |       9 |    18416 |    10106 |     2078      6 |        0 |        0
9.19/9.23	c  9.1s |      10 |    19775 |    11361 |     2286      7 |        0 |        0
11.18/11.29	c 11.1s |      10 |    22682 |    13461 |     2286      8 |        0 |        0
13.19/13.29	c 13.1s |      10 |    24228 |    14861 |     2286      9 |        0 |        0
15.28/15.33	c 15.2s |      10 |    25818 |    16261 |     2286      9 |        0 |        0
16.68/16.71	c 16.5s |      11 |    26799 |    17144 |     2515     10 |        0 |        0
18.69/18.75	c 18.6s |      11 |    31264 |    20644 |     2515     12 |        0 |        0
20.78/20.87	c 20.7s |      11 |    34207 |    23044 |     2515     14 |        0 |        0
22.88/22.94	c 22.8s |      11 |    36204 |    24844 |     2515     14 |        0 |        0
23.98/24.09	c 23.9s |      12 |    37290 |    25819 |     2767     15 |        0 |        0
26.08/26.17	c 26.0s |      12 |    41114 |    28519 |     2767     17 |        0 |        0
28.18/28.24	c 28.1s |      12 |    43462 |    30619 |     2767     18 |        0 |        0
30.18/30.29	c 30.1s |      12 |    45959 |    32819 |     2767     19 |        0 |        0
32.18/32.29	c 32.1s |      12 |    48093 |    34719 |     2767     20 |        0 |        0
34.28/34.38	c 34.2s |      12 |    50232 |    36619 |     2767     21 |        0 |        0
36.28/36.39	c 36.2s |      12 |    52343 |    38519 |     3044     22 |        0 |        0
36.68/36.75	c 36.6s |      13 |    52707 |    38832 |     3044     22 |        0 |        0
38.77/38.82	c 38.6s |      13 |    56234 |    41432 |     3044     23 |        0 |        0
40.78/40.85	c 40.7s |      13 |    58852 |    43732 |     3044     24 |        0 |        0
42.88/42.93	c 42.8s |      13 |    61166 |    45832 |     3044     25 |        0 |        0
44.87/44.94	c 44.8s |      13 |    63491 |    47932 |     3044     26 |        0 |        0
46.87/46.98	c 46.8s |      13 |    65791 |    50032 |     3044     27 |        0 |        0
48.97/49.04	c 48.9s |      13 |    67906 |    51932 |     3044     28 |        0 |        0
50.97/51.07	c 50.9s |      13 |    70323 |    53732 |     3044     29 |        0 |        0
53.06/53.14	c 53.0s |      13 |    72191 |    55232 |     3044     29 |        0 |        0
55.16/55.27	c 55.1s |      13 |    74017 |    56832 |     3044     30 |        0 |        0
57.27/57.32	c 57.1s |      13 |    75757 |    58332 |     3349     31 |        0 |        0
57.27/57.35	c 57.2s |      14 |    75785 |    58352 |     3349     31 |        0 |        0
59.37/59.46	c 59.3s |      14 |    79191 |    60352 |     3349     32 |        0 |        0
61.46/61.56	c 61.4s |      14 |    81151 |    62052 |     3349     32 |        0 |        0
63.66/63.70	c 63.5s |      14 |    82705 |    63452 |     3349     33 |        0 |        0
65.66/65.72	c 65.5s |      14 |    84041 |    64652 |     3349     34 |        0 |        0
67.66/67.79	c 67.6s |      14 |    85557 |    66052 |     3349     34 |        0 |        0
69.76/69.87	c 69.7s |      14 |    86977 |    67352 |     3349     35 |        0 |        0
71.76/71.88	c 71.7s |      14 |    88582 |    68752 |     3349     35 |        0 |        0
73.85/73.91	c 73.7s |      14 |    90129 |    70152 |     3349     36 |        0 |        0
75.96/76.01	c 75.8s |      14 |    91704 |    71552 |     3349     37 |        0 |        0
78.05/78.19	c 78.0s |      14 |    93262 |    72952 |     3349     37 |        0 |        0
80.25/80.32	c 80.1s |      14 |    94579 |    74152 |     3349     38 |        0 |        0
82.24/82.33	c 82.2s |      14 |    96039 |    75452 |     3349     38 |        0 |        0
84.44/84.50	c 84.3s |      14 |    97356 |    76652 |     3349     39 |        0 |        0
86.64/86.70	c 86.5s |      14 |    98704 |    77852 |     3349     39 |        0 |        0
88.64/88.78	c 88.6s |      14 |   100126 |    79152 |     3349     40 |        0 |        0
90.74/90.83	c 90.7s |      14 |   101311 |    80252 |     3349     40 |        0 |        0
92.84/92.94	c 92.8s |      14 |   102953 |    81652 |     3349     41 |        0 |        0
94.84/94.94	c 94.8s |      14 |   104281 |    82852 |     3349     42 |        0 |        0
97.14/97.25	c 97.1s |      14 |   105498 |    83952 |     3349     42 |        0 |        0
99.23/99.37	c 99.2s |      14 |   106493 |    84852 |     3349     42 |        0 |        0
101.43/101.55	c  101s |      14 |   107390 |    85652 |     3349     43 |        0 |        0
103.44/103.58	c  103s |      14 |   108371 |    86552 |     3349     43 |        0 |        0
105.54/105.63	c  105s |      14 |   109360 |    87452 |     3684     43 |        0 |        0
105.84/105.90	c  105s |      15 |   109564 |    87632 |     3684     44 |        0 |        0
107.84/107.93	c  107s |      15 |   112887 |    89432 |     3684     44 |        0 |        0
109.94/110.00	c  109s |      15 |   114727 |    91032 |     3684     45 |        0 |        0
111.93/112.08	c  111s |      15 |   116169 |    92332 |     3684     45 |        0 |        0
114.03/114.16	c  113s |      15 |   117515 |    93532 |     3684     46 |        0 |        0
116.03/116.18	c  116s |      15 |   119104 |    94932 |     3684     46 |        0 |        0
118.03/118.18	c  118s |      15 |   120436 |    96132 |     3684     47 |        0 |        0
120.13/120.20	c  120s |      15 |   121827 |    97332 |     3684     47 |        0 |        0
122.13/122.27	c  122s |      15 |   123014 |    98432 |     3684     48 |        0 |        0
124.23/124.38	c  124s |      15 |   124228 |    99532 |     3684     48 |        0 |        0
126.22/126.39	c  126s |      15 |   125658 |   100832 |     3684     49 |        0 |        0
128.32/128.48	c  128s |      15 |   126851 |   101932 |     3684     49 |        0 |        0
130.52/130.63	c  130s |      15 |   127939 |   102932 |     3684     49 |        0 |        0
132.62/132.70	c  132s |      15 |   129607 |   104332 |     3684     50 |        0 |        0
134.72/134.82	c  134s |      15 |   131138 |   105632 |     3684     51 |        0 |        0
136.82/136.94	c  136s |      15 |   132734 |   107032 |     3684     51 |        0 |        0
138.82/138.98	c  138s |      15 |   134064 |   108232 |     3684     52 |        0 |        0
141.02/141.10	c  140s |      15 |   135600 |   109632 |     3684     52 |        0 |        0
143.02/143.14	c  142s |      15 |   136932 |   110832 |     3684     53 |        0 |        0
145.12/145.23	c  145s |      15 |   138625 |   112332 |     3684     53 |        0 |        0
147.11/147.27	c  147s |      15 |   139916 |   113532 |     3684     54 |        0 |        0
149.11/149.29	c  149s |      15 |   141510 |   114932 |     3684     54 |        0 |        0
151.31/151.45	c  151s |      15 |   142930 |   116232 |     3684     55 |        0 |        0
153.41/153.53	c  153s |      15 |   144664 |   117732 |     3684     55 |        0 |        0
155.51/155.62	c  155s |      15 |   146099 |   119032 |     3684     56 |        0 |        0
157.51/157.64	c  157s |      15 |   147473 |   120232 |     3684     56 |        0 |        0
159.51/159.67	c  159s |      15 |   148595 |   121232 |     3684     57 |        0 |        0
161.61/161.75	c  161s |      15 |   150257 |   122632 |     3684     57 |        0 |        0
163.60/163.78	c  163s |      15 |   151674 |   123832 |     3684     58 |        0 |        0
165.80/165.92	c  165s |      15 |   153056 |   125032 |     3684     58 |        0 |        0
167.80/167.93	c  167s |      15 |   154179 |   126032 |     3684     59 |        0 |        0
169.80/169.97	c  169s |      15 |   155731 |   127332 |     3684     59 |        0 |        0
171.80/171.98	c  171s |      15 |   156955 |   128432 |     3684     59 |        0 |        0
174.00/174.10	c  173s |      15 |   158239 |   129532 |     3684     60 |        0 |        0
176.10/176.23	c  176s |      15 |   159628 |   130732 |     4053     60 |        0 |        0
177.80/177.94	c  177s |      16 |   160537 |   131552 |     4053     61 |        0 |        0
179.80/179.98	c  179s |      16 |   164361 |   133552 |     4053     61 |        0 |        0
181.90/182.09	c  181s |      16 |   165787 |   134852 |     4053     62 |        0 |        0
184.09/184.29	c  184s |      16 |   167557 |   136152 |     4053     62 |        0 |        0
186.19/186.31	c  186s |      16 |   169019 |   137352 |     4053     63 |        0 |        0
188.29/188.42	c  188s |      16 |   170642 |   138752 |     4053     63 |        0 |        0
190.39/190.59	c  190s |      16 |   172194 |   139952 |     4053     64 |        0 |        0
192.59/192.71	c  192s |      16 |   173628 |   141152 |     4053     64 |        0 |        0
194.59/194.77	c  194s |      16 |   174722 |   142152 |     4053     65 |        0 |        0
196.79/196.91	c  196s |      16 |   176069 |   143352 |     4053     65 |        0 |        0
198.89/199.06	c  198s |      16 |   177415 |   144552 |     4053     65 |        0 |        0
200.89/201.07	c  200s |      16 |   178674 |   145652 |     4053     66 |        0 |        0
202.98/203.14	c  202s |      16 |   179954 |   146752 |     4053     66 |        0 |        0
205.08/205.24	c  205s |      16 |   181344 |   147952 |     4053     67 |        0 |        0
207.08/207.25	c  207s |      16 |   182566 |   149052 |     4053     67 |        0 |        0
209.18/209.35	c  209s |      16 |   183910 |   150152 |     4053     67 |        0 |        0
211.28/211.47	c  211s |      16 |   185141 |   151252 |     4053     68 |        0 |        0
213.38/213.53	c  213s |      16 |   186410 |   152352 |     4053     68 |        0 |        0
215.48/215.63	c  215s |      16 |   187655 |   153452 |     4053     69 |        0 |        0
217.47/217.67	c  217s |      16 |   188896 |   154552 |     4053     69 |        0 |        0
219.57/219.80	c  219s |      16 |   190056 |   155552 |     4053     69 |        0 |        0
221.67/221.84	c  221s |      16 |   191410 |   156752 |     4053     70 |        0 |        0
223.77/223.97	c  223s |      16 |   193010 |   158152 |     4053     70 |        0 |        0
225.87/226.09	c  225s |      16 |   194478 |   159452 |     4053     71 |        0 |        0
227.97/228.15	c  227s |      16 |   195775 |   160652 |     4053     71 |        0 |        0
229.97/230.16	c  229s |      16 |   197009 |   161752 |     4053     72 |        0 |        0
232.07/232.24	c  232s |      16 |   198369 |   162952 |     4053     72 |        0 |        0
234.06/234.30	c  234s |      16 |   200322 |   164452 |     4053     73 |        0 |        0
236.16/236.38	c  236s |      16 |   201969 |   165852 |     4053     73 |        0 |        0
238.26/238.47	c  238s |      16 |   203466 |   167152 |     4053     74 |        0 |        0
240.36/240.59	c  240s |      16 |   205112 |   168552 |     4053     74 |        0 |        0
242.46/242.69	c  242s |      16 |   206489 |   169752 |     4053     75 |        0 |        0
244.56/244.77	c  244s |      16 |   207957 |   171052 |     4053     75 |        0 |        0
246.66/246.88	c  246s |      16 |   209747 |   172452 |     4053     76 |        0 |        0
248.76/248.96	c  248s |      16 |   211768 |   174052 |     4053     76 |        0 |        0
250.76/250.99	c  250s |      16 |   213515 |   175452 |     4053     77 |        0 |        0
252.86/253.05	c  252s |      16 |   215009 |   176652 |     4053     77 |        0 |        0
254.95/255.11	c  254s |      16 |   216441 |   177852 |     4053     78 |        0 |        0
256.95/257.17	c  256s |      16 |   217896 |   179052 |     4053     78 |        0 |        0
259.05/259.21	c  259s |      16 |   219373 |   180252 |     4053     79 |        0 |        0
261.05/261.28	c  261s |      16 |   220820 |   181452 |     4053     79 |        0 |        0
263.15/263.39	c  263s |      16 |   222705 |   182952 |     4053     80 |        0 |        0
265.25/265.49	c  265s |      16 |   224323 |   184252 |     4053     80 |        0 |        0
267.35/267.51	c  267s |      16 |   225944 |   185552 |     4053     81 |        0 |        0
269.35/269.53	c  269s |      16 |   227842 |   186852 |     4053     81 |        0 |        0
271.45/271.63	c  271s |      16 |   229523 |   188252 |     4053     82 |        0 |        0
273.44/273.65	c  273s |      16 |   231183 |   189552 |     4053     82 |        0 |        0
275.44/275.69	c  275s |      16 |   232782 |   190852 |     4053     83 |        0 |        0
277.74/277.99	c  277s |      16 |   234291 |   192152 |     4053     83 |        0 |        0
279.84/280.05	c  279s |      16 |   235771 |   193352 |     4053     84 |        0 |        0
282.05/282.23	c  282s |      16 |   237247 |   194552 |     4053     84 |        0 |        0
284.04/284.25	c  284s |      16 |   238833 |   195752 |     4053     85 |        0 |        0
286.04/286.27	c  286s |      16 |   240231 |   196952 |     4459     85 |        0 |        0
286.84/287.02	c  286s |      17 |   240826 |   197432 |     4459     85 |        0 |        0
288.94/289.11	c  288s |      17 |   244132 |   199032 |     4459     86 |        0 |        0
290.94/291.15	c  290s |      17 |   245700 |   200432 |     4459     86 |        0 |        0
292.93/293.16	c  292s |      17 |   247180 |   201732 |     4459     87 |        0 |        0
295.03/295.21	c  295s |      17 |   248507 |   202932 |     4459     87 |        0 |        0
297.13/297.31	c  297s |      17 |   249641 |   203932 |     4459     88 |        0 |        0
299.23/299.45	c  299s |      17 |   250988 |   205132 |     4459     88 |        0 |        0
301.34/301.57	c  301s |      17 |   252216 |   206232 |     4459     88 |        0 |        0
303.53/303.76	c  303s |      17 |   253434 |   207332 |     4459     89 |        0 |        0
305.73/305.92	c  305s |      17 |   254765 |   208532 |     4459     89 |        0 |        0
307.93/308.19	c  308s |      17 |   256174 |   209732 |     4459     90 |        0 |        0
309.93/310.20	c  310s |      17 |   257552 |   210932 |     4459     90 |        0 |        0
312.13/312.32	c  312s |      17 |   258813 |   212032 |     4459     90 |        0 |        0
314.22/314.42	c  314s |      17 |   259928 |   213032 |     4459     91 |        0 |        0
316.32/316.54	c  316s |      17 |   261225 |   214232 |     4459     91 |        0 |        0
318.42/318.61	c  318s |      17 |   262339 |   215232 |     4459     91 |        0 |        0
320.42/320.66	c  320s |      17 |   263561 |   216332 |     4459     92 |        0 |        0
322.51/322.74	c  322s |      17 |   264772 |   217432 |     4459     92 |        0 |        0
324.61/324.81	c  324s |      17 |   265886 |   218432 |     4459     93 |        0 |        0
326.71/326.94	c  326s |      17 |   267080 |   219532 |     4459     93 |        0 |        0
328.82/329.08	c  328s |      17 |   268218 |   220532 |     4459     93 |        0 |        0
330.92/331.12	c  330s |      17 |   269226 |   221432 |     4459     94 |        0 |        0
332.91/333.13	c  332s |      17 |   270702 |   222732 |     4459     94 |        0 |        0
335.11/335.30	c  335s |      17 |   272073 |   223932 |     4459     94 |        0 |        0
337.21/337.45	c  337s |      17 |   273390 |   225132 |     4459     95 |        0 |        0
339.31/339.55	c  339s |      17 |   274601 |   226232 |     4459     95 |        0 |        0
341.31/341.56	c  341s |      17 |   275863 |   227332 |     4459     96 |        0 |        0
343.40/343.68	c  343s |      17 |   277201 |   228532 |     4459     96 |        0 |        0
345.40/345.69	c  345s |      17 |   278405 |   229632 |     4459     96 |        0 |        0
347.51/347.78	c  347s |      17 |   279654 |   230732 |     4459     97 |        0 |        0
349.71/349.95	c  349s |      17 |   281001 |   231932 |     4459     97 |        0 |        0
351.70/351.98	c  351s |      17 |   282136 |   232932 |     4459     98 |        0 |        0
353.90/354.15	c  353s |      17 |   283559 |   234232 |     4459     98 |        0 |        0
355.99/356.29	c  356s |      17 |   284688 |   235232 |     4459     98 |        0 |        0
358.09/358.37	c  358s |      17 |   285794 |   236232 |     4459     99 |        0 |        0
360.09/360.39	c  360s |      17 |   286934 |   237232 |     4459     99 |        0 |        0
362.29/362.54	c  362s |      17 |   288050 |   238232 |     4459     99 |        0 |        0
364.39/364.67	c  364s |      17 |   289033 |   239132 |     4459    100 |        0 |        0
366.59/366.82	c  366s |      17 |   290132 |   240132 |     4459    100 |        0 |        0
368.79/369.06	c  368s |      17 |   291132 |   241032 |     4459    100 |        0 |        0
370.80/371.09	c  370s |      17 |   292515 |   242232 |     4459    101 |        0 |        0
372.89/373.17	c  372s |      17 |   293834 |   243432 |     4459    101 |        0 |        0
375.00/375.23	c  375s |      17 |   294805 |   244332 |     4459    101 |        0 |        0
377.20/377.41	c  377s |      17 |   295885 |   245332 |     4459    102 |        0 |        0
379.40/379.63	c  379s |      17 |   296859 |   246232 |     4459    102 |        0 |        0
381.60/381.87	c  381s |      17 |   297852 |   247132 |     4459    102 |        0 |        0
383.59/383.88	c  383s |      17 |   298734 |   247932 |     4459    103 |        0 |        0
385.79/386.00	c  385s |      17 |   299715 |   248832 |     4459    103 |        0 |        0
387.89/388.11	c  387s |      17 |   300984 |   249932 |     4459    103 |        0 |        0
389.99/390.28	c  390s |      17 |   302205 |   251032 |     4459    104 |        0 |        0
391.99/392.29	c  392s |      17 |   303421 |   252132 |     4459    104 |        0 |        0
394.08/394.39	c  394s |      17 |   304500 |   253132 |     4459    105 |        0 |        0
396.28/396.57	c  396s |      17 |   305593 |   254132 |     4459    105 |        0 |        0
398.38/398.63	c  398s |      17 |   306607 |   255032 |     4459    105 |        0 |        0
400.38/400.68	c  400s |      17 |   307748 |   256032 |     4459    106 |        0 |        0
402.38/402.70	c  402s |      17 |   308979 |   257132 |     4459    106 |        0 |        0
404.58/404.85	c  404s |      17 |   310063 |   258132 |     4459    106 |        0 |        0
406.78/407.02	c  406s |      17 |   311055 |   259032 |     4459    107 |        0 |        0
408.87/409.19	c  409s |      17 |   312501 |   260232 |     4459    107 |        0 |        0
410.97/411.26	c  411s |      17 |   313860 |   261432 |     4459    107 |        0 |        0
413.07/413.32	c  413s |      17 |   315126 |   262532 |     4459    108 |        0 |        0
415.07/415.38	c  415s |      17 |   316387 |   263632 |     4459    108 |        0 |        0
417.17/417.47	c  417s |      17 |   317502 |   264632 |     4459    108 |        0 |        0
419.27/419.56	c  419s |      17 |   318561 |   265632 |     4459    109 |        0 |        0
421.46/421.76	c  421s |      17 |   319802 |   266732 |     4459    109 |        0 |        0
423.66/423.92	c  423s |      17 |   320923 |   267732 |     4459    110 |        0 |        0
425.76/426.08	c  425s |      17 |   322150 |   268832 |     4459    110 |        0 |        0
427.96/428.27	c  428s |      17 |   323289 |   269832 |     4459    110 |        0 |        0
430.26/430.51	c  430s |      17 |   324380 |   270832 |     4459    111 |        0 |        0
432.35/432.68	c  432s |      17 |   325387 |   271732 |     4459    111 |        0 |        0
434.55/434.85	c  434s |      17 |   326557 |   272732 |     4459    111 |        0 |        0
436.65/436.96	c  436s |      17 |   327718 |   273732 |     4459    112 |        0 |        0
438.85/439.10	c  438s |      17 |   328947 |   274832 |     4459    112 |        0 |        0
440.86/441.11	c  440s |      17 |   329931 |   275732 |     4459    112 |        0 |        0
442.95/443.22	c  443s |      17 |   330953 |   276632 |     4459    113 |        0 |        0
445.05/445.39	c  445s |      17 |   332205 |   277732 |     4459    113 |        0 |        0
447.35/447.65	c  447s |      17 |   333239 |   278632 |     4459    113 |        0 |        0
449.55/449.84	c  449s |      17 |   334093 |   279432 |     4459    114 |        0 |        0
451.65/451.99	c  451s |      17 |   335100 |   280332 |     4459    114 |        0 |        0
453.74/454.09	c  453s |      17 |   336229 |   281332 |     4459    114 |        0 |        0
455.84/456.10	c  455s |      17 |   337138 |   282132 |     4459    115 |        0 |        0
457.94/458.26	c  458s |      17 |   338014 |   282932 |     4459    115 |        0 |        0
460.14/460.40	c  460s |      17 |   338887 |   283732 |     4459    115 |        0 |        0
462.14/462.45	c  462s |      17 |   339750 |   284532 |     4459    115 |        0 |        0
464.14/464.45	c  464s |      17 |   340780 |   285432 |     4459    116 |        0 |        0
466.34/466.65	c  466s |      17 |   341894 |   286432 |     4459    116 |        0 |        0
468.44/468.76	c  468s |      17 |   342882 |   287332 |     4459    116 |        0 |        0
470.43/470.80	c  470s |      17 |   343650 |   288032 |     4459    117 |        0 |        0
472.63/472.98	c  472s |      17 |   344803 |   289032 |     4459    117 |        0 |        0
474.83/475.12	c  474s |      17 |   345934 |   290032 |     4459    117 |        0 |        0
476.83/477.14	c  476s |      17 |   346814 |   290832 |     4459    118 |        0 |        0
478.93/479.27	c  479s |      17 |   347941 |   291832 |     4459    118 |        0 |        0
481.13/481.46	c  481s |      17 |   348960 |   292732 |     4459    118 |        0 |        0
483.52/483.81	c  483s |      17 |   349839 |   293532 |     4459    119 |        0 |        0
485.62/485.98	c  485s |      17 |   350839 |   294432 |     4905    119 |        0 |        0
487.92/488.20	c  488s |      17 |   352006 |   295432 |     4905    119 |        0 |        0
490.12/490.41	c  490s |      17 |   352895 |   296232 |     4905    119 |        0 |        0
490.12/490.46	c  490s |      18 |   352913 |   296252 |     4905    119 |        0 |        0
492.22/492.53	c  492s |      18 |   356463 |   298052 |     4905    120 |        0 |        0
494.32/494.62	c  494s |      18 |   358395 |   299752 |     4905    120 |        0 |        0
496.42/496.71	c  496s |      18 |   359931 |   301152 |     4905    121 |        0 |        0
498.52/498.86	c  498s |      18 |   361355 |   302452 |     4905    121 |        0 |        0
500.52/500.87	c  500s |      18 |   362575 |   303552 |     4905    122 |        0 |        0
502.52/502.88	c  502s |      18 |   364144 |   304952 |     4905    122 |        0 |        0
504.72/505.02	c  504s |      18 |   365609 |   306252 |     4905    123 |        0 |        0
506.81/507.13	c  506s |      18 |   366927 |   307452 |     4905    123 |        0 |        0
508.81/509.17	c  508s |      18 |   368379 |   308752 |     4905    123 |        0 |        0
510.91/511.29	c  511s |      18 |   369605 |   309852 |     4905    124 |        0 |        0
513.10/513.45	c  513s |      18 |   370805 |   310952 |     4905    124 |        0 |        0
515.20/515.52	c  515s |      18 |   371955 |   311952 |     4905    124 |        0 |        0
517.30/517.66	c  517s |      18 |   373158 |   313052 |     4905    125 |        0 |        0
519.30/519.68	c  519s |      18 |   374309 |   314052 |     4905    125 |        0 |        0
521.50/521.88	c  521s |      18 |   375497 |   315152 |     4905    125 |        0 |        0
523.61/523.90	c  523s |      18 |   376478 |   316052 |     4905    126 |        0 |        0
525.61/525.93	c  525s |      18 |   377465 |   316952 |     4905    126 |        0 |        0
527.71/528.07	c  527s |      18 |   378570 |   317952 |     4905    126 |        0 |        0
529.81/530.12	c  529s |      18 |   379533 |   318852 |     4905    127 |        0 |        0
532.01/532.30	c  532s |      18 |   380505 |   319752 |     4905    127 |        0 |        0
534.00/534.37	c  534s |      18 |   381486 |   320652 |     4905    127 |        0 |        0
536.20/536.57	c  536s |      18 |   382448 |   321552 |     4905    127 |        0 |        0
538.40/538.74	c  538s |      18 |   383327 |   322352 |     4905    128 |        0 |        0
540.60/540.95	c  540s |      18 |   384704 |   323552 |     4905    128 |        0 |        0
542.60/542.96	c  542s |      18 |   385964 |   324652 |     4905    128 |        0 |        0
544.80/545.12	c  544s |      18 |   387130 |   325752 |     4905    129 |        0 |        0
546.79/547.15	c  546s |      18 |   388344 |   326852 |     4905    129 |        0 |        0
548.99/549.36	c  549s |      18 |   389556 |   327952 |     4905    129 |        0 |        0
550.99/551.39	c  551s |      18 |   390516 |   328852 |     4905    130 |        0 |        0
553.19/553.54	c  553s |      18 |   391787 |   329952 |     4905    130 |        0 |        0
555.30/555.64	c  555s |      18 |   393000 |   331052 |     4905    130 |        0 |        0
557.39/557.78	c  557s |      18 |   394210 |   332152 |     4905    131 |        0 |        0
559.39/559.79	c  559s |      18 |   395387 |   333252 |     4905    131 |        0 |        0
561.49/561.81	c  561s |      18 |   396456 |   334252 |     4905    131 |        0 |        0
563.58/563.99	c  563s |      18 |   397535 |   335252 |     4905    132 |        0 |        0
565.78/566.12	c  565s |      18 |   398696 |   336352 |     4905    132 |        0 |        0
567.98/568.36	c  568s |      18 |   399797 |   337352 |     4905    132 |        0 |        0
570.08/570.43	c  570s |      18 |   400889 |   338352 |     4905    133 |        0 |        0
572.18/572.51	c  572s |      18 |   402104 |   339452 |     4905    133 |        0 |        0
574.28/574.67	c  574s |      18 |   403315 |   340552 |     4905    133 |        0 |        0
576.48/576.82	c  576s |      18 |   404419 |   341552 |     4905    134 |        0 |        0
578.48/578.86	c  578s |      18 |   405791 |   342752 |     4905    134 |        0 |        0
580.58/580.97	c  580s |      18 |   406872 |   343752 |     4905    134 |        0 |        0
582.67/583.02	c  582s |      18 |   407719 |   344552 |     4905    135 |        0 |        0
584.77/585.16	c  584s |      18 |   408707 |   345452 |     4905    135 |        0 |        0
586.87/587.20	c  587s |      18 |   410020 |   346652 |     4905    135 |        0 |        0
588.97/589.38	c  589s |      18 |   411025 |   347552 |     4905    136 |        0 |        0
591.17/591.59	c  591s |      18 |   412090 |   348552 |     4905    136 |        0 |        0
593.36/593.73	c  593s |      18 |   413163 |   349552 |     4905    136 |        0 |        0
595.66/596.02	c  595s |      18 |   414269 |   350552 |     4905    137 |        0 |        0
597.76/598.17	c  597s |      18 |   415455 |   351652 |     4905    137 |        0 |        0
599.86/600.26	c  600s |      18 |   416569 |   352652 |     4905    137 |        0 |        0
601.96/602.30	c  602s |      18 |   417542 |   353552 |     4905    137 |        0 |        0
604.06/604.48	c  604s |      18 |   418494 |   354452 |     4905    138 |        0 |        0
606.15/606.50	c  606s |      18 |   419806 |   355552 |     4905    138 |        0 |        0
608.25/608.60	c  608s |      18 |   421014 |   356652 |     4905    138 |        0 |        0
610.35/610.75	c  610s |      18 |   422244 |   357752 |     4905    139 |        0 |        0
612.55/612.93	c  612s |      18 |   423454 |   358852 |     4905    139 |        0 |        0
614.66/615.07	c  614s |      18 |   424532 |   359852 |     4905    139 |        0 |        0
616.76/617.16	c  616s |      18 |   425515 |   360752 |     4905    140 |        0 |        0
618.75/619.16	c  618s |      18 |   426503 |   361652 |     4905    140 |        0 |        0
620.75/621.17	c  620s |      18 |   427724 |   362752 |     4905    140 |        0 |        0
622.84/623.25	c  623s |      18 |   428937 |   363852 |     4905    141 |        0 |        0
625.04/625.40	c  625s |      18 |   430157 |   364952 |     4905    141 |        0 |        0
627.14/627.55	c  627s |      18 |   431234 |   365952 |     4905    141 |        0 |        0
629.34/629.75	c  629s |      18 |   432348 |   366952 |     4905    142 |        0 |        0
631.54/631.90	c  631s |      18 |   433439 |   367952 |     4905    142 |        0 |        0
633.64/634.00	c  633s |      18 |   434529 |   368952 |     4905    142 |        0 |        0
635.64/636.01	c  635s |      18 |   435520 |   369852 |     4905    143 |        0 |        0
637.64/638.09	c  637s |      18 |   436620 |   370852 |     4905    143 |        0 |        0
639.74/640.10	c  639s |      18 |   437571 |   371752 |     4905    143 |        0 |        0
641.84/642.24	c  642s |      18 |   438431 |   372552 |     4905    143 |        0 |        0
643.93/644.30	c  644s |      18 |   439479 |   373452 |     4905    144 |        0 |        0
646.03/646.45	c  646s |      18 |   440800 |   374652 |     4905    144 |        0 |        0
648.03/648.46	c  648s |      18 |   441887 |   375652 |     4905    144 |        0 |        0
650.03/650.47	c  650s |      18 |   442984 |   376652 |     4905    145 |        0 |        0
652.23/652.62	c  652s |      18 |   444056 |   377652 |     4905    145 |        0 |        0
654.23/654.67	c  654s |      18 |   445025 |   378552 |     4905    145 |        0 |        0
656.53/656.92	c  656s |      18 |   445886 |   379352 |     4905    146 |        0 |        0
658.53/658.98	c  658s |      18 |   446834 |   380252 |     4905    146 |        0 |        0
660.63/661.02	c  660s |      18 |   448681 |   381852 |     4905    146 |        0 |        0
662.62/663.03	c  662s |      18 |   450476 |   383452 |     4905    147 |        0 |        0
664.72/665.17	c  664s |      18 |   452134 |   384952 |     4905    147 |        0 |        0
666.72/667.18	c  667s |      18 |   453390 |   386052 |     4905    148 |        0 |        0
668.92/669.31	c  669s |      18 |   454846 |   387252 |     4905    148 |        0 |        0
670.92/671.33	c  671s |      18 |   455996 |   388252 |     4905    148 |        0 |        0
673.02/673.47	c  673s |      18 |   457154 |   389252 |     4905    149 |        0 |        0
675.22/675.63	c  675s |      18 |   458507 |   390452 |     4905    149 |        0 |        0
677.23/677.67	c  677s |      18 |   459759 |   391552 |     4905    149 |        0 |        0
679.32/679.70	c  679s |      18 |   461203 |   392752 |     4905    150 |        0 |        0
681.52/681.91	c  681s |      18 |   462474 |   393852 |     4905    150 |        0 |        0
683.62/684.08	c  683s |      18 |   463658 |   394852 |     4905    150 |        0 |        0
685.82/686.20	c  686s |      18 |   464792 |   395852 |     4905    151 |        0 |        0
687.82/688.22	c  688s |      18 |   465840 |   396752 |     4905    151 |        0 |        0
689.92/690.36	c  690s |      18 |   466931 |   397752 |     4905    151 |        0 |        0
692.02/692.42	c  692s |      18 |   468055 |   398752 |     4905    152 |        0 |        0
694.12/694.54	c  694s |      18 |   469152 |   399752 |     4905    152 |        0 |        0
696.12/696.54	c  696s |      18 |   470199 |   400652 |     4905    152 |        0 |        0
698.22/698.66	c  698s |      18 |   471098 |   401452 |     4905    153 |        0 |        0
700.42/700.83	c  700s |      18 |   472216 |   402452 |     4905    153 |        0 |        0
702.52/702.91	c  702s |      18 |   473329 |   403452 |     4905    153 |        0 |        0
704.72/705.13	c  704s |      18 |   474298 |   404352 |     4905    154 |        0 |        0
706.72/707.19	c  707s |      18 |   475298 |   405252 |     4905    154 |        0 |        0
708.82/709.23	c  709s |      18 |   476294 |   406152 |     4905    154 |        0 |        0
711.01/711.42	c  711s |      18 |   477304 |   407052 |     4905    154 |        0 |        0
713.11/713.54	c  713s |      18 |   478201 |   407852 |     4905    155 |        0 |        0
715.31/715.71	c  715s |      18 |   479432 |   408952 |     4905    155 |        0 |        0
717.31/717.72	c  717s |      18 |   480444 |   409852 |     4905    155 |        0 |        0
719.61/720.00	c  719s |      18 |   481453 |   410752 |     4905    156 |        0 |        0
721.71/722.18	c  722s |      18 |   482808 |   411952 |     4905    156 |        0 |        0
723.81/724.26	c  724s |      18 |   483915 |   412952 |     4905    156 |        0 |        0
725.91/726.32	c  726s |      18 |   484889 |   413852 |     4905    157 |        0 |        0
727.92/728.39	c  728s |      18 |   485965 |   414852 |     4905    157 |        0 |        0
730.12/730.56	c  730s |      18 |   487042 |   415852 |     4905    157 |        0 |        0
732.22/732.63	c  732s |      18 |   488324 |   416952 |     4905    157 |        0 |        0
734.31/734.77	c  734s |      18 |   489581 |   418052 |     4905    158 |        0 |        0
736.51/736.90	c  736s |      18 |   490798 |   419152 |     4905    158 |        0 |        0
738.61/739.07	c  738s |      18 |   491870 |   420152 |     4905    159 |        0 |        0
740.61/741.07	c  740s |      18 |   493059 |   421252 |     4905    159 |        0 |        0
742.71/743.17	c  743s |      18 |   494499 |   422552 |     4905    159 |        0 |        0
744.71/745.19	c  745s |      18 |   495613 |   423552 |     4905    160 |        0 |        0
746.81/747.25	c  747s |      18 |   496798 |   424652 |     4905    160 |        0 |        0
748.82/749.25	c  749s |      18 |   497896 |   425652 |     4905    160 |        0 |        0
751.11/751.54	c  751s |      18 |   498898 |   426552 |     4905    161 |        0 |        0
753.22/753.65	c  753s |      18 |   500163 |   427652 |     4905    161 |        0 |        0
755.31/755.80	c  755s |      18 |   501473 |   428852 |     4905    161 |        0 |        0
757.41/757.82	c  757s |      18 |   502567 |   429852 |     4905    162 |        0 |        0
759.41/759.86	c  759s |      18 |   503760 |   430952 |     4905    162 |        0 |        0
761.61/762.06	c  761s |      18 |   504942 |   432052 |     4905    162 |        0 |        0
763.61/764.06	c  763s |      18 |   505824 |   432852 |     4905    163 |        0 |        0
765.71/766.10	c  765s |      18 |   507128 |   434052 |     4905    163 |        0 |        0
767.81/768.20	c  768s |      18 |   508334 |   435152 |     4905    163 |        0 |        0
769.91/770.36	c  770s |      18 |   509307 |   436052 |     4905    164 |        0 |        0
772.01/772.42	c  772s |      18 |   510655 |   437252 |     4905    164 |        0 |        0
774.12/774.52	c  774s |      18 |   512212 |   438652 |     4905    164 |        0 |        0
776.11/776.55	c  776s |      18 |   513407 |   439752 |     4905    165 |        0 |        0
778.21/778.61	c  778s |      18 |   514738 |   440952 |     4905    165 |        0 |        0
780.21/780.64	c  780s |      18 |   515765 |   441852 |     5396    165 |        0 |        0
782.31/782.79	c  782s |      18 |   516794 |   442752 |     5396    165 |        0 |        0
784.51/784.91	c  784s |      18 |   517827 |   443652 |     5396    166 |        0 |        0
786.11/786.59	c  786s |      19 |   518750 |   444482 |     5396    166 |        0 |        0
788.31/788.73	c  788s |      19 |   521837 |   446282 |     5396    167 |        0 |        0
790.41/790.80	c  790s |      19 |   523380 |   447682 |     5396    167 |        0 |        0
792.51/792.94	c  792s |      19 |   524886 |   448982 |     5396    167 |        0 |        0
794.51/794.95	c  794s |      19 |   526004 |   449982 |     5396    168 |        0 |        0
796.50/796.95	c  796s |      19 |   527162 |   450982 |     5396    168 |        0 |        0
798.50/798.96	c  798s |      19 |   528417 |   452082 |     5396    168 |        0 |        0
800.60/801.07	c  800s |      19 |   529550 |   453082 |     5396    169 |        0 |        0
802.61/803.09	c  802s |      19 |   530765 |   454182 |     5396    169 |        0 |        0
804.70/805.15	c  804s |      19 |   532009 |   455282 |     5396    169 |        0 |        0
806.80/807.23	c  807s |      19 |   533138 |   456282 |     5396    169 |        0 |        0
808.90/809.37	c  809s |      19 |   534233 |   457282 |     5396    170 |        0 |        0
810.90/811.37	c  811s |      19 |   535451 |   458382 |     5396    170 |        0 |        0
813.00/813.45	c  813s |      19 |   536673 |   459482 |     5396    170 |        0 |        0
815.20/815.61	c  815s |      19 |   537883 |   460582 |     5396    171 |        0 |        0
817.20/817.66	c  817s |      19 |   539099 |   461682 |     5396    171 |        0 |        0
819.30/819.77	c  819s |      19 |   540183 |   462682 |     5396    171 |        0 |        0
821.41/821.84	c  821s |      19 |   541284 |   463682 |     5396    172 |        0 |        0
823.61/824.03	c  823s |      19 |   542393 |   464682 |     5396    172 |        0 |        0
825.71/826.11	c  825s |      19 |   543541 |   465682 |     5396    172 |        0 |        0
827.91/828.40	c  828s |      19 |   544701 |   466682 |     5396    173 |        0 |        0
830.10/830.54	c  830s |      19 |   545947 |   467782 |     5396    173 |        0 |        0
832.30/832.70	c  832s |      19 |   547293 |   468982 |     5396    173 |        0 |        0
834.30/834.73	c  834s |      19 |   548279 |   469882 |     5396    173 |        0 |        0
836.40/836.81	c  836s |      19 |   549387 |   470882 |     5396    174 |        0 |        0
838.50/838.92	c  838s |      19 |   550514 |   471882 |     5396    174 |        0 |        0
840.70/841.10	c  840s |      19 |   551605 |   472882 |     5396    174 |        0 |        0
842.79/843.30	c  843s |      19 |   552700 |   473882 |     5396    175 |        0 |        0
844.99/845.49	c  845s |      19 |   554146 |   475182 |     5396    175 |        0 |        0
847.10/847.59	c  847s |      19 |   555342 |   476282 |     5396    175 |        0 |        0
849.30/849.77	c  849s |      19 |   556444 |   477282 |     5396    176 |        0 |        0
851.50/851.95	c  851s |      19 |   557524 |   478282 |     5396    176 |        0 |        0
853.50/853.97	c  853s |      19 |   558660 |   479282 |     5396    176 |        0 |        0
855.60/856.01	c  855s |      19 |   559775 |   480282 |     5396    177 |        0 |        0
857.71/858.13	c  857s |      19 |   560984 |   481382 |     5396    177 |        0 |        0
859.70/860.14	c  859s |      19 |   562008 |   482282 |     5396    177 |        0 |        0
861.80/862.23	c  862s |      19 |   563142 |   483282 |     5396    177 |        0 |        0
863.90/864.34	c  864s |      19 |   564033 |   484082 |     5396    178 |        0 |        0
866.10/866.53	c  866s |      19 |   565159 |   485082 |     5396    178 |        0 |        0
868.20/868.68	c  868s |      19 |   566263 |   486082 |     5396    178 |        0 |        0
870.60/871.07	c  870s |      19 |   567242 |   486982 |     5396    179 |        0 |        0
872.60/873.08	c  872s |      19 |   568477 |   488082 |     5396    179 |        0 |        0
874.70/875.16	c  874s |      19 |   569577 |   489082 |     5396    179 |        0 |        0
876.89/877.30	c  877s |      19 |   570560 |   489982 |     5396    179 |        0 |        0
878.99/879.47	c  879s |      19 |   571437 |   490782 |     5396    180 |        0 |        0
881.09/881.56	c  881s |      19 |   572499 |   491782 |     5396    180 |        0 |        0
883.19/883.69	c  883s |      19 |   573367 |   492582 |     5396    180 |        0 |        0
885.39/885.80	c  885s |      19 |   574549 |   493582 |     5396    180 |        0 |        0
887.40/887.82	c  887s |      19 |   575700 |   494582 |     5396    181 |        0 |        0
889.39/889.87	c  889s |      19 |   576776 |   495582 |     5396    181 |        0 |        0
891.59/892.06	c  891s |      19 |   577985 |   496682 |     5396    181 |        0 |        0
893.69/894.11	c  893s |      19 |   578989 |   497582 |     5396    182 |        0 |        0
895.79/896.28	c  896s |      19 |   580088 |   498582 |     5396    182 |        0 |        0
897.99/898.49	c  898s |      19 |   581069 |   499482 |     5396    182 |        0 |        0
900.29/900.72	c  900s |      19 |   581963 |   500282 |     5396    182 |        0 |        0
902.39/902.84	c  902s |      19 |   582983 |   501182 |     5396    183 |        0 |        0
904.39/904.87	c  904s |      19 |   583985 |   502082 |     5396    183 |        0 |        0
906.49/906.98	c  906s |      19 |   584992 |   502982 |     5396    183 |        0 |        0
908.59/909.09	c  908s |      19 |   586003 |   503882 |     5396    183 |        0 |        0
910.79/911.26	c  911s |      19 |   587108 |   504882 |     5396    184 |        0 |        0
912.99/913.42	c  913s |      19 |   588365 |   505982 |     5396    184 |        0 |        0
915.09/915.55	c  915s |      19 |   589385 |   506882 |     5396    184 |        0 |        0
917.19/917.68	c  917s |      19 |   590293 |   507682 |     5396    185 |        0 |        0
919.39/919.82	c  919s |      19 |   591398 |   508682 |     5396    185 |        0 |        0
921.49/921.91	c  921s |      19 |   592283 |   509482 |     5396    185 |        0 |        0
923.59/924.06	c  923s |      19 |   593181 |   510282 |     5396    185 |        0 |        0
925.79/926.24	c  926s |      19 |   593977 |   510982 |     5396    186 |        0 |        0
927.79/928.28	c  928s |      19 |   595250 |   512082 |     5396    186 |        0 |        0
929.89/930.34	c  930s |      19 |   596245 |   512982 |     5396    186 |        0 |        0
931.99/932.42	c  932s |      19 |   597241 |   513882 |     5396    186 |        0 |        0
933.99/934.50	c  934s |      19 |   598145 |   514682 |     5396    187 |        0 |        0
936.18/936.62	c  936s |      19 |   599139 |   515582 |     5396    187 |        0 |        0
938.18/938.68	c  938s |      19 |   600029 |   516382 |     5396    187 |        0 |        0
940.38/940.86	c  940s |      19 |   600962 |   517182 |     5396    187 |        0 |        0
942.48/942.96	c  942s |      19 |   602055 |   518182 |     5396    188 |        0 |        0
944.59/945.07	c  944s |      19 |   603154 |   519182 |     5396    188 |        0 |        0
946.79/947.28	c  947s |      19 |   604144 |   520082 |     5396    188 |        0 |        0
948.89/949.36	c  949s |      19 |   605035 |   520882 |     5396    188 |        0 |        0
951.09/951.56	c  951s |      19 |   605896 |   521682 |     5396    189 |        0 |        0
953.29/953.79	c  953s |      19 |   606875 |   522582 |     5396    189 |        0 |        0
955.59/956.01	c  955s |      19 |   607734 |   523382 |     5396    189 |        0 |        0
957.58/958.05	c  957s |      19 |   608535 |   524082 |     5396    189 |        0 |        0
959.78/960.29	c  960s |      19 |   609301 |   524782 |     5396    190 |        0 |        0
961.88/962.32	c  962s |      19 |   610438 |   525782 |     5396    190 |        0 |        0
963.98/964.47	c  964s |      19 |   611582 |   526782 |     5396    190 |        0 |        0
966.18/966.68	c  966s |      19 |   612577 |   527682 |     5396    190 |        0 |        0
968.38/968.90	c  968s |      19 |   613571 |   528582 |     5396    191 |        0 |        0
970.68/971.14	c  970s |      19 |   614570 |   529482 |     5396    191 |        0 |        0
972.88/973.34	c  973s |      19 |   615487 |   530282 |     5396    191 |        0 |        0
974.98/975.44	c  975s |      19 |   616381 |   531082 |     5396    191 |        0 |        0
977.08/977.54	c  977s |      19 |   617426 |   531982 |     5396    192 |        0 |        0
979.28/979.71	c  979s |      19 |   618447 |   532882 |     5396    192 |        0 |        0
981.38/981.86	c  981s |      19 |   619351 |   533682 |     5396    192 |        0 |        0
983.48/983.92	c  983s |      19 |   620285 |   534482 |     5396    192 |        0 |        0
985.58/986.02	c  985s |      19 |   621276 |   535382 |     5396    193 |        0 |        0
987.68/988.19	c  988s |      19 |   622155 |   536182 |     5396    193 |        0 |        0
989.88/990.34	c  990s |      19 |   623047 |   536982 |     5396    193 |        0 |        0
992.08/992.51	c  992s |      19 |   623845 |   537682 |     5396    193 |        0 |        0
994.17/994.63	c  994s |      19 |   625072 |   538782 |     5396    194 |        0 |        0
996.37/996.84	c  996s |      19 |   626442 |   539982 |     5396    194 |        0 |        0
998.38/998.85	c  998s |      19 |   627497 |   540882 |     5396    194 |        0 |        0
1000.37/1000.88	c 1000s |      19 |   628397 |   541682 |     5396    195 |        0 |        0
1002.57/1003.06	c 1002s |      19 |   629507 |   542682 |     5396    195 |        0 |        0
1004.67/1005.12	c 1004s |      19 |   630516 |   543582 |     5396    195 |        0 |        0
1006.77/1007.29	c 1007s |      19 |   631427 |   544382 |     5396    195 |        0 |        0
1008.97/1009.44	c 1009s |      19 |   632706 |   545482 |     5396    196 |        0 |        0
1011.17/1011.65	c 1011s |      19 |   633907 |   546582 |     5396    196 |        0 |        0
1013.27/1013.79	c 1013s |      19 |   634886 |   547482 |     5396    196 |        0 |        0
1015.37/1015.81	c 1015s |      19 |   635658 |   548182 |     5396    197 |        0 |        0
1017.47/1017.99	c 1017s |      19 |   636622 |   549082 |     5396    197 |        0 |        0
1019.47/1020.00	c 1019s |      19 |   637373 |   549782 |     5396    197 |        0 |        0
1021.77/1022.20	c 1022s |      19 |   638265 |   550582 |     5396    197 |        0 |        0
1023.97/1024.43	c 1024s |      19 |   639238 |   551482 |     5396    197 |        0 |        0
1026.07/1026.56	c 1026s |      19 |   640094 |   552282 |     5396    198 |        0 |        0
1028.17/1028.68	c 1028s |      19 |   640950 |   553082 |     5396    198 |        0 |        0
1030.17/1030.69	c 1030s |      19 |   641976 |   553982 |     5396    198 |        0 |        0
1032.57/1033.02	c 1032s |      19 |   643127 |   554982 |     5396    199 |        0 |        0
1034.57/1035.03	c 1034s |      19 |   644259 |   555982 |     5396    199 |        0 |        0
1036.57/1037.04	c 1036s |      19 |   645115 |   556782 |     5396    199 |        0 |        0
1038.67/1039.14	c 1038s |      19 |   646117 |   557682 |     5396    199 |        0 |        0
1040.66/1041.19	c 1041s |      19 |   647008 |   558482 |     5396    200 |        0 |        0
1042.76/1043.20	c 1043s |      19 |   648030 |   559382 |     5396    200 |        0 |        0
1044.86/1045.32	c 1045s |      19 |   649020 |   560282 |     5396    200 |        0 |        0
1046.87/1047.37	c 1047s |      19 |   649909 |   561082 |     5396    200 |        0 |        0
1048.97/1049.49	c 1049s |      19 |   650677 |   561782 |     5396    201 |        0 |        0
1051.06/1051.54	c 1051s |      19 |   651544 |   562582 |     5396    201 |        0 |        0
1053.16/1053.61	c 1053s |      19 |   652399 |   563382 |     5396    201 |        0 |        0
1055.36/1055.88	c 1055s |      19 |   653267 |   564182 |     5396    201 |        0 |        0
1057.56/1058.03	c 1057s |      19 |   654169 |   564982 |     5396    201 |        0 |        0
1059.56/1060.03	c 1059s |      19 |   654972 |   565682 |     5396    202 |        0 |        0
1061.66/1062.11	c 1061s |      19 |   655824 |   566482 |     5396    202 |        0 |        0
1063.66/1064.12	c 1063s |      19 |   656580 |   567182 |     5396    202 |        0 |        0
1065.86/1066.32	c 1066s |      19 |   657328 |   567882 |     5396    202 |        0 |        0
1067.96/1068.42	c 1068s |      19 |   658257 |   568682 |     5396    203 |        0 |        0
1070.06/1070.58	c 1070s |      19 |   659560 |   569882 |     5396    203 |        0 |        0
1072.26/1072.74	c 1072s |      19 |   660693 |   570882 |     5396    203 |        0 |        0
1074.46/1074.90	c 1074s |      19 |   661813 |   571882 |     5396    203 |        0 |        0
1076.46/1076.99	c 1076s |      19 |   662822 |   572782 |     5396    204 |        0 |        0
1078.66/1079.12	c 1078s |      19 |   663926 |   573782 |     5396    204 |        0 |        0
1080.76/1081.28	c 1081s |      19 |   664907 |   574682 |     5396    204 |        0 |        0
1082.96/1083.44	c 1083s |      19 |   665785 |   575482 |     5396    205 |        0 |        0
1084.96/1085.49	c 1085s |      19 |   666641 |   576282 |     5396    205 |        0 |        0
1087.16/1087.61	c 1087s |      19 |   667493 |   577082 |     5396    205 |        0 |        0
1089.36/1089.86	c 1089s |      19 |   668352 |   577882 |     5396    205 |        0 |        0
1091.66/1092.15	c 1091s |      19 |   669244 |   578682 |     5396    205 |        0 |        0
1093.76/1094.21	c 1094s |      19 |   670112 |   579482 |     5396    206 |        0 |        0
1095.96/1096.42	c 1096s |      19 |   671188 |   580482 |     5396    206 |        0 |        0
1097.96/1098.48	c 1098s |      19 |   671954 |   581182 |     5396    206 |        0 |        0
1100.25/1100.74	c 1100s |      19 |   672840 |   581982 |     5396    206 |        0 |        0
1102.25/1102.78	c 1102s |      19 |   673614 |   582682 |     5396    207 |        0 |        0
1104.45/1104.98	c 1104s |      19 |   674680 |   583582 |     5396    207 |        0 |        0
1106.65/1107.18	c 1107s |      19 |   675677 |   584482 |     5396    207 |        0 |        0
1108.85/1109.31	c 1109s |      19 |   676576 |   585282 |     5396    207 |        0 |        0
1110.95/1111.47	c 1111s |      19 |   677489 |   586082 |     5396    208 |        0 |        0
1113.15/1113.69	c 1113s |      19 |   678478 |   586982 |     5396    208 |        0 |        0
1115.35/1115.85	c 1115s |      19 |   679478 |   587882 |     5396    208 |        0 |        0
1117.55/1118.09	c 1117s |      19 |   680466 |   588782 |     5396    208 |        0 |        0
1119.55/1120.09	c 1119s |      19 |   681313 |   589582 |     5396    209 |        0 |        0
1121.75/1122.25	c 1122s |      19 |   682171 |   590382 |     5396    209 |        0 |        0
1123.86/1124.31	c 1124s |      19 |   683062 |   591182 |     5396    209 |        0 |        0
1125.96/1126.47	c 1126s |      19 |   683948 |   591982 |     5396    209 |        0 |        0
1128.05/1128.57	c 1128s |      19 |   684823 |   592782 |     5396    210 |        0 |        0
1130.15/1130.63	c 1130s |      19 |   685711 |   593582 |     5396    210 |        0 |        0
1132.35/1132.87	c 1132s |      19 |   686698 |   594482 |     5396    210 |        0 |        0
1134.55/1135.06	c 1134s |      19 |   687567 |   595282 |     5396    210 |        0 |        0
1136.75/1137.20	c 1137s |      19 |   688444 |   596082 |     5396    211 |        0 |        0
1138.85/1139.34	c 1139s |      19 |   689312 |   596882 |     5396    211 |        0 |        0
1141.05/1141.53	c 1141s |      19 |   690103 |   597582 |     5396    211 |        0 |        0
1143.15/1143.60	c 1143s |      19 |   690870 |   598282 |     5396    211 |        0 |        0
1145.25/1145.76	c 1145s |      19 |   691731 |   599082 |     5396    211 |        0 |        0
1147.35/1147.84	c 1147s |      19 |   692715 |   599982 |     5396    212 |        0 |        0
1149.35/1149.85	c 1149s |      19 |   693495 |   600682 |     5396    212 |        0 |        0
1151.45/1151.96	c 1151s |      19 |   694256 |   601382 |     5396    212 |        0 |        0
1153.55/1154.01	c 1153s |      19 |   694998 |   602082 |     5396    212 |        0 |        0
1155.55/1156.09	c 1155s |      19 |   695637 |   602682 |     5396    213 |        0 |        0
1157.65/1158.11	c 1157s |      19 |   696417 |   603382 |     5396    213 |        0 |        0
1159.75/1160.23	c 1160s |      19 |   697163 |   604082 |     5396    213 |        0 |        0
1161.75/1162.26	c 1162s |      19 |   697831 |   604682 |     5396    213 |        0 |        0
1163.95/1164.49	c 1164s |      19 |   698800 |   605482 |     5396    213 |        0 |        0
1166.24/1166.74	c 1166s |      19 |   699757 |   606282 |     5396    214 |        0 |        0
1168.34/1168.81	c 1168s |      19 |   700699 |   607082 |     5396    214 |        0 |        0
1170.34/1170.84	c 1170s |      19 |   701605 |   607882 |     5396    214 |        0 |        0
1172.64/1173.14	c 1172s |      19 |   702483 |   608682 |     5396    214 |        0 |        0
1175.04/1175.54	c 1175s |      19 |   703283 |   609382 |     5396    215 |        0 |        0
1177.14/1177.67	c 1177s |      19 |   704035 |   610082 |     5396    215 |        0 |        0
1179.34/1179.89	c 1179s |      19 |   704960 |   610882 |     5396    215 |        0 |        0
1181.44/1181.91	c 1181s |      19 |   705733 |   611582 |     5396    215 |        0 |        0
1183.64/1184.14	c 1183s |      19 |   706619 |   612382 |     5396    215 |        0 |        0
1185.64/1186.15	c 1185s |      19 |   707288 |   612982 |     5396    216 |        0 |        0
1187.94/1188.40	c 1188s |      19 |   708055 |   613682 |     5396    216 |        0 |        0
1189.94/1190.46	c 1190s |      19 |   708994 |   614482 |     5396    216 |        0 |        0
1192.24/1192.71	c 1192s |      19 |   709878 |   615282 |     5396    216 |        0 |        0
1194.25/1194.76	c 1194s |      19 |   710754 |   616082 |     5396    216 |        0 |        0
1196.35/1196.81	c 1196s |      19 |   711529 |   616782 |     5396    217 |        0 |        0
1198.54/1199.04	c 1198s |      19 |   712412 |   617582 |     5396    217 |        0 |        0
1200.64/1201.17	c 1201s |      19 |   713182 |   618282 |     5396    217 |        0 |        0
1202.84/1203.34	c 1203s |      19 |   713950 |   618982 |     5396    217 |        0 |        0
1205.04/1205.50	c 1205s |      19 |   714606 |   619582 |     5396    218 |        0 |        0
1207.14/1207.65	c 1207s |      19 |   715399 |   620282 |     5396    218 |        0 |        0
1209.24/1209.77	c 1209s |      19 |   716295 |   621082 |     5396    218 |        0 |        0
1211.24/1211.80	c 1211s |      19 |   717078 |   621782 |     5396    218 |        0 |        0
1213.44/1213.92	c 1213s |      19 |   717891 |   622482 |     5396    218 |        0 |        0
1215.64/1216.18	c 1216s |      19 |   718678 |   623182 |     5396    219 |        0 |        0
1217.84/1218.33	c 1218s |      19 |   719564 |   623982 |     5396    219 |        0 |        0
1219.94/1220.42	c 1220s |      19 |   720332 |   624682 |     5396    219 |        0 |        0
1222.24/1222.76	c 1222s |      19 |   721220 |   625482 |     5396    219 |        0 |        0
1224.43/1224.91	c 1224s |      19 |   721873 |   626082 |     5396    219 |        0 |        0
1226.43/1226.95	c 1226s |      19 |   722518 |   626682 |     5396    220 |        0 |        0
1228.43/1228.98	c 1228s |      19 |   723201 |   627282 |     5396    220 |        0 |        0
1230.54/1231.02	c 1230s |      19 |   724089 |   628082 |     5396    220 |        0 |        0
1232.64/1233.20	c 1233s |      19 |   724975 |   628882 |     5396    220 |        0 |        0
1234.73/1235.24	c 1235s |      19 |   725707 |   629582 |     5396    220 |        0 |        0
1236.83/1237.30	c 1237s |      19 |   726365 |   630182 |     5396    221 |        0 |        0
1238.83/1239.34	c 1239s |      19 |   727013 |   630782 |     5396    221 |        0 |        0
1240.93/1241.41	c 1241s |      19 |   727660 |   631382 |     5396    221 |        0 |        0
1243.13/1243.65	c 1243s |      19 |   728516 |   632182 |     5396    221 |        0 |        0
1245.33/1245.83	c 1245s |      19 |   729159 |   632782 |     5396    221 |        0 |        0
1247.54/1248.08	c 1247s |      19 |   729938 |   633482 |     5396    222 |        0 |        0
1249.64/1250.18	c 1250s |      19 |   730735 |   634182 |     5396    222 |        0 |        0
1251.94/1252.49	c 1252s |      19 |   731509 |   634882 |     5396    222 |        0 |        0
1253.94/1254.49	c 1254s |      19 |   732294 |   635582 |     5396    222 |        0 |        0
1256.04/1256.56	c 1256s |      19 |   732950 |   636182 |     5396    222 |        0 |        0
1258.24/1258.77	c 1258s |      19 |   733582 |   636782 |     5396    223 |        0 |        0
1260.44/1260.94	c 1260s |      19 |   734674 |   637782 |     5396    223 |        0 |        0
1262.54/1263.00	c 1262s |      19 |   735659 |   638682 |     5396    223 |        0 |        0
1264.64/1265.15	c 1264s |      19 |   736564 |   639482 |     5396    223 |        0 |        0
1266.74/1267.23	c 1267s |      19 |   737368 |   640182 |     5396    224 |        0 |        0
1268.84/1269.37	c 1269s |      19 |   738278 |   640982 |     5396    224 |        0 |        0
1270.94/1271.47	c 1271s |      19 |   739061 |   641682 |     5396    224 |        0 |        0
1273.04/1273.55	c 1273s |      19 |   739817 |   642382 |     5396    224 |        0 |        0
1275.34/1275.80	c 1275s |      19 |   740590 |   643082 |     5396    224 |        0 |        0
1277.44/1277.91	c 1277s |      19 |   741247 |   643682 |     5396    225 |        0 |        0
1279.64/1280.10	c 1279s |      19 |   742007 |   644382 |     5396    225 |        0 |        0
1281.64/1282.13	c 1281s |      19 |   742673 |   644982 |     5396    225 |        0 |        0
1283.83/1284.39	c 1284s |      19 |   743299 |   645582 |     5396    225 |        0 |        0
1286.03/1286.54	c 1286s |      19 |   744104 |   646282 |     5396    225 |        0 |        0
1288.13/1288.65	c 1288s |      19 |   744766 |   646882 |     5396    226 |        0 |        0
1290.33/1290.89	c 1290s |      19 |   745526 |   647582 |     5396    226 |        0 |        0
1292.73/1293.21	c 1293s |      19 |   746395 |   648382 |     5396    226 |        0 |        0
1294.73/1295.25	c 1295s |      19 |   747038 |   648982 |     5396    226 |        0 |        0
1296.83/1297.35	c 1297s |      19 |   747808 |   649682 |     5396    226 |        0 |        0
1299.03/1299.50	c 1299s |      19 |   748683 |   650482 |     5396    227 |        0 |        0
1301.23/1301.71	c 1301s |      19 |   749565 |   651282 |     5396    227 |        0 |        0
1303.33/1303.88	c 1303s |      19 |   750485 |   652082 |     5396    227 |        0 |        0
1305.53/1306.02	c 1305s |      19 |   751282 |   652782 |     5396    227 |        0 |        0
1307.73/1308.26	c 1308s |      19 |   752043 |   653482 |     5396    228 |        0 |        0
1309.83/1310.39	c 1310s |      19 |   752827 |   654182 |     5396    228 |        0 |        0
1312.13/1312.63	c 1312s |      19 |   753580 |   654882 |     5396    228 |        0 |        0
1314.23/1314.76	c 1314s |      19 |   754241 |   655482 |     5396    228 |        0 |        0
1316.34/1316.83	c 1316s |      19 |   754876 |   656082 |     5396    228 |        0 |        0
1318.54/1319.08	c 1318s |      19 |   755516 |   656682 |     5396    228 |        0 |        0
1320.74/1321.25	c 1321s |      19 |   756302 |   657382 |     5396    229 |        0 |        0
1323.13/1323.60	c 1323s |      19 |   757055 |   658082 |     5396    229 |        0 |        0
1325.13/1325.64	c 1325s |      19 |   757707 |   658682 |     5396    229 |        0 |        0
1327.23/1327.77	c 1327s |      19 |   758343 |   659282 |     5396    229 |        0 |        0
1329.53/1330.03	c 1329s |      19 |   758979 |   659882 |     5396    229 |        0 |        0
1331.63/1332.18	c 1332s |      19 |   759978 |   660782 |     5396    230 |        0 |        0
1333.83/1334.38	c 1334s |      19 |   760951 |   661682 |     5396    230 |        0 |        0
1335.92/1336.48	c 1336s |      19 |   761778 |   662382 |     5936    230 |        0 |        0
1338.02/1338.52	c 1338s |      19 |   762580 |   663082 |     5936    230 |        0 |        0
1340.32/1340.84	c 1340s |      19 |   763334 |   663782 |     5936    230 |        0 |        0
1342.42/1342.98	c 1342s |      19 |   763912 |   664282 |     5936    231 |        0 |        0
1344.62/1345.11	c 1344s |      19 |   764808 |   665082 |     5936    231 |        0 |        0
1346.82/1347.36	c 1347s |      19 |   765563 |   665782 |     5936    231 |        0 |        0
1348.92/1349.46	c 1349s |      19 |   766200 |   666382 |     5936    231 |        0 |        0
1350.62/1351.13	c 1350s |      20 |   766685 |   666827 |     5936    231 |        0 |        0
1352.72/1353.24	c 1353s |      20 |   770354 |   668027 |     5936    232 |        0 |        0
1354.83/1355.31	c 1355s |      20 |   771850 |   669327 |     5936    232 |        0 |        0
1356.93/1357.48	c 1357s |      20 |   773388 |   670627 |     5936    232 |        0 |        0
1359.02/1359.53	c 1359s |      20 |   774552 |   671627 |     5936    233 |        0 |        0
1361.02/1361.56	c 1361s |      20 |   775446 |   672427 |     5936    233 |        0 |        0
1363.12/1363.63	c 1363s |      20 |   776467 |   673327 |     5936    233 |        0 |        0
1365.32/1365.89	c 1365s |      20 |   777360 |   674127 |     5936    233 |        0 |        0
1367.42/1367.93	c 1367s |      20 |   778119 |   674827 |     5936    234 |        0 |        0
1369.62/1370.18	c 1370s |      20 |   779006 |   675627 |     5936    234 |        0 |        0
1371.72/1372.24	c 1372s |      20 |   779755 |   676327 |     5936    234 |        0 |        0
1373.72/1374.28	c 1374s |      20 |   780958 |   677327 |     5936    234 |        0 |        0
1375.72/1376.28	c 1376s |      20 |   782010 |   678227 |     5936    235 |        0 |        0
1377.92/1378.44	c 1378s |      20 |   783143 |   679227 |     5936    235 |        0 |        0
1380.02/1380.51	c 1380s |      20 |   784121 |   680127 |     5936    235 |        0 |        0
1382.12/1382.68	c 1382s |      20 |   784978 |   680927 |     5936    235 |        0 |        0
1384.32/1384.85	c 1384s |      20 |   785888 |   681727 |     5936    236 |        0 |        0
1386.52/1387.02	c 1386s |      20 |   786991 |   682727 |     5936    236 |        0 |        0
1388.61/1389.11	c 1388s |      20 |   787853 |   683527 |     5936    236 |        0 |        0
1390.71/1391.26	c 1391s |      20 |   788860 |   684427 |     5936    236 |        0 |        0
1393.01/1393.51	c 1393s |      20 |   789738 |   685227 |     5936    236 |        0 |        0
1395.01/1395.53	c 1395s |      20 |   790644 |   686027 |     5936    237 |        0 |        0
1397.11/1397.64	c 1397s |      20 |   791501 |   686827 |     5936    237 |        0 |        0
1399.11/1399.69	c 1399s |      20 |   792250 |   687527 |     5936    237 |        0 |        0
1401.31/1401.84	c 1401s |      20 |   793142 |   688327 |     5936    237 |        0 |        0
1403.41/1403.93	c 1403s |      20 |   793926 |   689027 |     5936    238 |        0 |        0
1405.61/1406.13	c 1405s |      20 |   794789 |   689827 |     5936    238 |        0 |        0
1407.62/1408.18	c 1408s |      20 |   795671 |   690627 |     5936    238 |        0 |        0
1409.72/1410.29	c 1410s |      20 |   796632 |   691527 |     5936    238 |        0 |        0
1411.92/1412.43	c 1412s |      20 |   797382 |   692227 |     5936    238 |        0 |        0
1414.12/1414.64	c 1414s |      20 |   798122 |   692927 |     5936    239 |        0 |        0
1416.21/1416.79	c 1416s |      20 |   799034 |   693727 |     5936    239 |        0 |        0
1418.31/1418.80	c 1418s |      20 |   800058 |   694627 |     5936    239 |        0 |        0
1420.51/1421.00	c 1420s |      20 |   800943 |   695427 |     5936    239 |        0 |        0
1422.71/1423.22	c 1423s |      20 |   801873 |   696227 |     5936    240 |        0 |        0
1424.91/1425.40	c 1425s |      20 |   802894 |   697127 |     5936    240 |        0 |        0
1427.11/1427.67	c 1427s |      20 |   803691 |   697827 |     5936    240 |        0 |        0
1429.31/1429.84	c 1429s |      20 |   804597 |   698627 |     5936    240 |        0 |        0
1431.51/1432.01	c 1431s |      20 |   805350 |   699327 |     5936    240 |        0 |        0
1433.71/1434.23	c 1434s |      20 |   806100 |   700027 |     5936    241 |        0 |        0
1435.71/1436.24	c 1436s |      20 |   807040 |   700827 |     5936    241 |        0 |        0
1437.81/1438.34	c 1438s |      20 |   808146 |   701827 |     5936    241 |        0 |        0
1440.01/1440.55	c 1440s |      20 |   809251 |   702827 |     5936    241 |        0 |        0
1442.11/1442.64	c 1442s |      20 |   810127 |   703627 |     5936    242 |        0 |        0
1444.31/1444.90	c 1444s |      20 |   811087 |   704527 |     5936    242 |        0 |        0
1446.61/1447.13	c 1446s |      20 |   812059 |   705427 |     5936    242 |        0 |        0
1448.70/1449.30	c 1449s |      20 |   812932 |   706227 |     5936    242 |        0 |        0
1451.00/1451.51	c 1451s |      20 |   813844 |   707027 |     5936    243 |        0 |        0
1453.00/1453.55	c 1453s |      20 |   814735 |   707827 |     5936    243 |        0 |        0
1455.10/1455.63	c 1455s |      20 |   815633 |   708627 |     5936    243 |        0 |        0
1457.20/1457.75	c 1457s |      20 |   816505 |   709427 |     5936    243 |        0 |        0
1459.31/1459.83	c 1459s |      20 |   817267 |   710127 |     5936    243 |        0 |        0
1461.30/1461.89	c 1461s |      20 |   818025 |   710827 |     5936    244 |        0 |        0
1463.61/1464.12	c 1463s |      20 |   818917 |   711627 |     5936    244 |        0 |        0
1465.70/1466.22	c 1466s |      20 |   819971 |   712527 |     5936    244 |        0 |        0
1467.70/1468.28	c 1468s |      20 |   820827 |   713327 |     5936    244 |        0 |        0
1469.90/1470.43	c 1470s |      20 |   821613 |   714027 |     5936    245 |        0 |        0
1472.00/1472.57	c 1472s |      20 |   822730 |   715027 |     5936    245 |        0 |        0
1474.20/1474.78	c 1474s |      20 |   823878 |   716027 |     5936    245 |        0 |        0
1476.30/1476.80	c 1476s |      20 |   824739 |   716827 |     5936    245 |        0 |        0
1478.50/1479.07	c 1478s |      20 |   825619 |   717627 |     5936    246 |        0 |        0
1480.60/1481.16	c 1480s |      20 |   826512 |   718427 |     5936    246 |        0 |        0
1482.60/1483.19	c 1483s |      20 |   827382 |   719227 |     5936    246 |        0 |        0
1484.90/1485.43	c 1485s |      20 |   828270 |   720027 |     5936    246 |        0 |        0
1487.10/1487.62	c 1487s |      20 |   829027 |   720727 |     5936    246 |        0 |        0
1489.20/1489.71	c 1489s |      20 |   829950 |   721527 |     5936    247 |        0 |        0
1491.30/1491.81	c 1491s |      20 |   831176 |   722627 |     5936    247 |        0 |        0
1493.40/1493.97	c 1493s |      20 |   832440 |   723727 |     5936    247 |        0 |        0
1495.50/1496.06	c 1495s |      20 |   833415 |   724627 |     5936    247 |        0 |        0
1497.70/1498.29	c 1498s |      20 |   834381 |   725527 |     5936    248 |        0 |        0
1499.80/1500.37	c 1500s |      20 |   835371 |   726427 |     5936    248 |        0 |        0
1502.00/1502.51	c 1502s |      20 |   836527 |   727427 |     5936    248 |        0 |        0
1504.00/1504.53	c 1504s |      20 |   837389 |   728227 |     5936    248 |        0 |        0
1506.10/1506.68	c 1506s |      20 |   838382 |   729127 |     5936    249 |        0 |        0
1508.20/1508.77	c 1508s |      20 |   839348 |   730027 |     5936    249 |        0 |        0
1510.50/1511.04	c 1510s |      20 |   840304 |   730927 |     5936    249 |        0 |        0
1512.80/1513.34	c 1513s |      20 |   841443 |   731927 |     5936    250 |        0 |        0
1514.90/1515.48	c 1515s |      20 |   842626 |   732927 |     5936    250 |        0 |        0
1517.20/1517.70	c 1517s |      20 |   843893 |   734027 |     5936    250 |        0 |        0
1519.30/1519.83	c 1519s |      20 |   845013 |   735027 |     5936    250 |        0 |        0
1521.40/1521.98	c 1521s |      20 |   846028 |   735927 |     5936    251 |        0 |        0
1523.70/1524.22	c 1524s |      20 |   847041 |   736827 |     5936    251 |        0 |        0
1525.80/1526.33	c 1526s |      20 |   847816 |   737527 |     5936    251 |        0 |        0
1527.90/1528.44	c 1528s |      20 |   848595 |   738227 |     5936    251 |        0 |        0
1530.00/1530.55	c 1530s |      20 |   849566 |   739027 |     5936    252 |        0 |        0
1532.00/1532.59	c 1532s |      20 |   850809 |   740127 |     5936    252 |        0 |        0
1534.20/1534.71	c 1534s |      20 |   852076 |   741227 |     5936    252 |        0 |        0
1536.20/1536.76	c 1536s |      20 |   853065 |   742127 |     5936    252 |        0 |        0
1538.29/1538.86	c 1538s |      20 |   854121 |   743027 |     5936    253 |        0 |        0
1540.39/1540.93	c 1540s |      20 |   855244 |   744027 |     5936    253 |        0 |        0
1542.39/1542.96	c 1542s |      20 |   856359 |   745027 |     5936    253 |        0 |        0
1544.39/1544.97	c 1544s |      20 |   857520 |   746027 |     5936    253 |        0 |        0
1546.39/1546.99	c 1546s |      20 |   858559 |   746927 |     5936    254 |        0 |        0
1548.49/1549.04	c 1548s |      20 |   859695 |   747927 |     5936    254 |        0 |        0
1550.50/1551.08	c 1550s |      20 |   860592 |   748727 |     5936    254 |        0 |        0
1552.59/1553.15	c 1552s |      20 |   861493 |   749527 |     5936    254 |        0 |        0
1554.69/1555.27	c 1555s |      20 |   862374 |   750327 |     5936    255 |        0 |        0
1556.79/1557.33	c 1557s |      20 |   863576 |   751327 |     5936    255 |        0 |        0
1558.99/1559.50	c 1559s |      20 |   864835 |   752427 |     5936    255 |        0 |        0
1561.29/1561.83	c 1561s |      20 |   865960 |   753427 |     5936    256 |        0 |        0
1563.39/1563.98	c 1563s |      20 |   867061 |   754427 |     5936    256 |        0 |        0
1565.49/1566.01	c 1565s |      20 |   867958 |   755227 |     5936    256 |        0 |        0
1567.49/1568.06	c 1567s |      20 |   868854 |   756027 |     5936    256 |        0 |        0
1569.49/1570.07	c 1569s |      20 |   869735 |   756827 |     5936    256 |        0 |        0
1571.50/1572.08	c 1571s |      20 |   870514 |   757527 |     5936    257 |        0 |        0
1573.69/1574.26	c 1574s |      20 |   871382 |   758327 |     5936    257 |        0 |        0
1575.99/1576.50	c 1576s |      20 |   872244 |   759127 |     5936    257 |        0 |        0
1578.19/1578.71	c 1578s |      20 |   873115 |   759927 |     5936    257 |        0 |        0
1580.19/1580.80	c 1580s |      20 |   873817 |   760527 |     5936    258 |        0 |        0
1582.39/1582.91	c 1582s |      20 |   875075 |   761627 |     5936    258 |        0 |        0
1584.39/1584.92	c 1584s |      20 |   876240 |   762627 |     5936    258 |        0 |        0
1586.39/1586.94	c 1586s |      20 |   877233 |   763527 |     5936    258 |        0 |        0
1588.39/1588.98	c 1588s |      20 |   878120 |   764327 |     5936    259 |        0 |        0
1590.59/1591.11	c 1590s |      20 |   879128 |   765227 |     5936    259 |        0 |        0
1592.78/1593.33	c 1593s |      20 |   879984 |   766027 |     5936    259 |        0 |        0
1594.98/1595.51	c 1595s |      20 |   880864 |   766827 |     5936    259 |        0 |        0
1597.08/1597.65	c 1597s |      20 |   881756 |   767627 |     5936    259 |        0 |        0
1599.18/1599.77	c 1599s |      20 |   882712 |   768427 |     5936    260 |        0 |        0
1601.38/1601.95	c 1601s |      20 |   883696 |   769327 |     5936    260 |        0 |        0
1603.58/1604.10	c 1603s |      20 |   884569 |   770127 |     5936    260 |        0 |        0
1605.78/1606.32	c 1606s |      20 |   885731 |   771127 |     5936    260 |        0 |        0
1607.88/1608.48	c 1608s |      20 |   886840 |   772127 |     5936    261 |        0 |        0
1610.08/1610.62	c 1610s |      20 |   887973 |   773127 |     5936    261 |        0 |        0
1612.09/1612.67	c 1612s |      20 |   888882 |   773927 |     5936    261 |        0 |        0
1614.18/1614.71	c 1614s |      20 |   889878 |   774827 |     5936    261 |        0 |        0
1616.28/1616.84	c 1616s |      20 |   890871 |   775727 |     5936    262 |        0 |        0
1618.38/1618.94	c 1618s |      20 |   891870 |   776627 |     5936    262 |        0 |        0
1620.68/1621.20	c 1621s |      20 |   892852 |   777527 |     5936    262 |        0 |        0
1622.88/1623.43	c 1623s |      20 |   893747 |   778327 |     5936    262 |        0 |        0
1625.08/1625.63	c 1625s |      20 |   894627 |   779127 |     5936    263 |        0 |        0
1627.28/1627.86	c 1627s |      20 |   895604 |   780027 |     5936    263 |        0 |        0
1629.48/1630.07	c 1629s |      20 |   896480 |   780827 |     5936    263 |        0 |        0
1631.68/1632.28	c 1632s |      20 |   897349 |   781627 |     5936    263 |        0 |        0
1633.78/1634.38	c 1634s |      20 |   898226 |   782427 |     5936    264 |        0 |        0
1635.88/1636.40	c 1636s |      20 |   899120 |   783227 |     5936    264 |        0 |        0
1637.88/1638.49	c 1638s |      20 |   900000 |   784027 |     5936    264 |        0 |        0
1640.18/1640.73	c 1640s |      20 |   900877 |   784827 |     5936    264 |        0 |        0
1642.18/1642.79	c 1642s |      20 |   901713 |   785527 |     5936    264 |        0 |        0
1644.28/1644.87	c 1644s |      20 |   902538 |   786227 |     5936    265 |        0 |        0
1646.38/1646.95	c 1646s |      20 |   903424 |   787027 |     5936    265 |        0 |        0
1648.38/1648.97	c 1648s |      20 |   904223 |   787727 |     5936    265 |        0 |        0
1650.48/1651.04	c 1650s |      20 |   905025 |   788427 |     5936    265 |        0 |        0
1652.57/1653.17	c 1652s |      20 |   905941 |   789227 |     5936    266 |        0 |        0
1654.67/1655.29	c 1655s |      20 |   906992 |   790127 |     5936    266 |        0 |        0
1656.97/1657.50	c 1657s |      20 |   907989 |   791027 |     5936    266 |        0 |        0
1659.07/1659.66	c 1659s |      20 |   908799 |   791727 |     5936    266 |        0 |        0
1661.37/1661.93	c 1661s |      20 |   909691 |   792527 |     5936    266 |        0 |        0
1663.47/1664.07	c 1663s |      20 |   910459 |   793227 |     5936    267 |        0 |        0
1665.57/1666.11	c 1665s |      20 |   911241 |   793927 |     5936    267 |        0 |        0
1667.57/1668.13	c 1667s |      20 |   912012 |   794627 |     5936    267 |        0 |        0
1669.67/1670.22	c 1670s |      20 |   912781 |   795327 |     5936    267 |        0 |        0
1671.87/1672.44	c 1672s |      20 |   913566 |   796027 |     5936    267 |        0 |        0
1673.97/1674.55	c 1674s |      20 |   914207 |   796627 |     5936    268 |        0 |        0
1676.17/1676.71	c 1676s |      20 |   915169 |   797527 |     5936    268 |        0 |        0
1678.27/1678.81	c 1678s |      20 |   916070 |   798327 |     5936    268 |        0 |        0
1680.47/1681.05	c 1680s |      20 |   916812 |   799027 |     5936    268 |        0 |        0
1682.67/1683.26	c 1683s |      20 |   917577 |   799727 |     5936    268 |        0 |        0
1684.97/1685.52	c 1685s |      20 |   918330 |   800427 |     5936    269 |        0 |        0
1687.07/1687.65	c 1687s |      20 |   919078 |   801127 |     5936    269 |        0 |        0
1689.27/1689.88	c 1689s |      20 |   919835 |   801827 |     5936    269 |        0 |        0
1691.57/1692.14	c 1691s |      20 |   920586 |   802527 |     5936    269 |        0 |        0
1693.67/1694.27	c 1694s |      20 |   921496 |   803327 |     5936    269 |        0 |        0
1695.87/1696.44	c 1696s |      20 |   922597 |   804227 |     5936    270 |        0 |        0
1698.17/1698.75	c 1698s |      20 |   923532 |   805027 |     5936    270 |        0 |        0
1700.37/1700.99	c 1700s |      20 |   924358 |   805727 |     5936    270 |        0 |        0
1702.67/1703.21	c 1703s |      20 |   925106 |   806427 |     5936    270 |        0 |        0
1704.66/1705.22	c 1705s |      20 |   925925 |   807127 |     5936    271 |        0 |        0
1706.77/1707.35	c 1707s |      20 |   927090 |   808127 |     5936    271 |        0 |        0
1708.87/1709.48	c 1709s |      20 |   928011 |   808927 |     5936    271 |        0 |        0
1710.96/1711.59	c 1711s |      20 |   928937 |   809727 |     5936    271 |        0 |        0
1713.16/1713.78	c 1713s |      20 |   929819 |   810527 |     5936    271 |        0 |        0
1715.36/1715.91	c 1715s |      20 |   930733 |   811327 |     5936    272 |        0 |        0
1717.36/1717.93	c 1717s |      20 |   931635 |   812127 |     5936    272 |        0 |        0
1719.46/1720.03	c 1719s |      20 |   932420 |   812827 |     5936    272 |        0 |        0
1721.56/1722.12	c 1721s |      20 |   933221 |   813527 |     5936    272 |        0 |        0
1723.96/1724.59	c 1724s |      20 |   933970 |   814227 |     5936    273 |        0 |        0
1726.16/1726.77	c 1726s |      20 |   934776 |   814927 |     5936    273 |        0 |        0
1728.26/1728.86	c 1728s |      20 |   935437 |   815527 |     5936    273 |        0 |        0
1730.36/1730.92	c 1730s |      20 |   936121 |   816127 |     5936    273 |        0 |        0
1732.36/1732.94	c 1732s |      20 |   936918 |   816827 |     5936    273 |        0 |        0
1734.76/1735.34	c 1735s |      20 |   938031 |   817827 |     5936    274 |        0 |        0
1736.86/1737.41	c 1737s |      20 |   939175 |   818827 |     5936    274 |        0 |        0
1738.96/1739.56	c 1739s |      20 |   940269 |   819827 |     5936    274 |        0 |        0
1741.06/1741.68	c 1741s |      20 |   941172 |   820627 |     5936    274 |        0 |        0
1743.46/1744.08	c 1743s |      20 |   942035 |   821427 |     5936    275 |        0 |        0
1745.55/1746.16	c 1745s |      20 |   942923 |   822227 |     5936    275 |        0 |        0
1747.66/1748.21	c 1748s |      20 |   943810 |   823027 |     5936    275 |        0 |        0
1749.67/1750.22	c 1750s |      20 |   944717 |   823827 |     5936    275 |        0 |        0
1751.77/1752.34	c 1752s |      20 |   945603 |   824627 |     5936    275 |        0 |        0
1753.76/1754.39	c 1754s |      20 |   946374 |   825327 |     5936    276 |        0 |        0
1755.96/1756.53	c 1756s |      20 |   947253 |   826127 |     5936    276 |        0 |        0
1758.06/1758.62	c 1758s |      20 |   948026 |   826827 |     5936    276 |        0 |        0
1760.06/1760.66	c 1760s |      20 |   948797 |   827527 |     5936    276 |        0 |        0
1762.36/1762.93	c 1762s |      20 |   949578 |   828227 |     5936    276 |        0 |        0
1764.46/1765.08	c 1764s |      20 |   950359 |   828927 |     5936    277 |        0 |        0
1766.56/1767.18	c 1767s |      20 |   951255 |   829727 |     5936    277 |        0 |        0
1768.86/1769.43	c 1769s |      20 |   952275 |   830627 |     5936    277 |        0 |        0
1770.96/1771.57	c 1771s |      20 |   953021 |   831327 |     5936    277 |        0 |        0
1773.16/1773.71	c 1773s |      20 |   953811 |   832027 |     5936    277 |        0 |        0
1775.26/1775.86	c 1775s |      20 |   954591 |   832727 |     5936    278 |        0 |        0
1777.56/1778.15	c 1777s |      20 |   955463 |   833527 |     5936    278 |        0 |        0
1779.56/1780.19	c 1780s |      20 |   956256 |   834227 |     5936    278 |        0 |        0
1781.86/1782.40	c 1782s |      20 |   957049 |   834927 |     5936    278 |        0 |        0
1783.96/1784.58	c 1784s |      20 |   957832 |   835627 |     5936    278 |        0 |        0
1786.06/1786.63	c 1786s |      20 |   958514 |   836227 |     5936    279 |        0 |        0
1788.16/1788.74	c 1788s |      20 |   959317 |   836927 |     5936    279 |        0 |        0
1790.15/1790.79	c 1790s |      20 |   960134 |   837627 |     5936    279 |        0 |        0
1792.46/1793.02	c 1792s |      20 |   961012 |   838427 |     5936    279 |        0 |        0
1794.76/1795.31	c 1795s |      20 |   961790 |   839127 |     5936    279 |        0 |        0
1796.86/1797.46	c 1797s |      20 |   962444 |   839727 |     5936    280 |        0 |        0
1799.06/1799.63	c 1799s |      20 |   963206 |   840427 |     5936    280 |        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-4109154-1466341813/watcher-4109154-1466341813 -o /tmp/evaluation-result-4109154-1466341813/solver-4109154-1466341813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-849 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109154-1466341813.wbo 

pid=865
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.16 0.03 0.01 3/174 868
/proc/meminfo: memFree=31640972/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/868/stat : 868 (runsolver) D 865 868 832 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 36227253 24911872 151 33554432000 4194304 4338465 140734859594736 140734859592376 206408862903 0 0 4096 24578 18446744072101406084 0 0 17 1 0 0 0 0 0
/proc/868/statm: 6082 151 105 36 0 2655 0
[pid=868/tid=869] ppid=865 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 246870016 875 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=241088 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 246874112 887 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227254 246870016 904 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 0.16 0.03 0.01 3/174 868
/proc/meminfo: memFree=31640972/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 24518 0 0 0 6 3 0 0 20 0 4 0 36227253 1247350784 24871 33554432000 4194304 16246674 140734098144992 140734098126912 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 304529 24882 609 2943 0 301423 0
[pid=868/tid=869] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 24889 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 24895 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 24901 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 0.16 0.03 0.01 3/174 868
/proc/meminfo: memFree=31640972/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 47136 0 0 0 13 5 0 0 20 0 4 0 36227253 1247350784 47483 33554432000 4194304 16246674 140734098144992 140734098126912 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 304529 47491 811 2943 0 301423 0
[pid=868/tid=869] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 47498 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 47505 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 47509 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 0.16 0.03 0.01 3/174 868
/proc/meminfo: memFree=31640972/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 72112 0 0 0 20 9 0 0 20 0 4 0 36227253 1247350784 72458 33554432000 4194304 16246674 140734098144992 140734098126912 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 304529 72470 811 2943 0 301423 0
[pid=868/tid=869] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 72481 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 72490 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 72496 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 0.16 0.03 0.01 3/174 868
/proc/meminfo: memFree=31640972/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 187773 0 0 0 44 25 0 0 20 0 4 0 36227253 1247350784 188120 33554432000 4194304 16246674 140734098144992 140734098126912 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 304529 188134 811 2943 0 301423 0
[pid=868/tid=869] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 188143 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 188154 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36227254 1247350784 188161 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 0.16 0.03 0.01 3/186 885
/proc/meminfo: memFree=29668104/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 266216 0 0 0 112 36 0 0 20 0 4 0 36227253 1332285440 266540 33554432000 4194304 16246674 140734098144992 140734098126912 5553724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 325265 266540 871 2943 0 322159 0
[pid=868/tid=869] ppid=865 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1332285440 266540 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1332285440 266540 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1332285440 266540 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 0.16 0.03 0.01 3/186 885
/proc/meminfo: memFree=29494716/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 267923 0 0 0 272 37 0 0 20 0 4 0 36227253 1338576896 268247 33554432000 4194304 16246674 140734098144992 140734098126912 6861768 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 326801 268247 876 2943 0 323695 0
[pid=868/tid=869] ppid=865 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1338576896 268247 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1338576896 268247 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1338576896 268247 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 0.31 0.07 0.02 3/186 885
/proc/meminfo: memFree=29492488/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 267923 0 0 0 592 37 0 0 20 0 4 0 36227253 1338576896 268247 33554432000 4194304 16246674 140734098144992 140734098126912 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 326801 268247 876 2943 0 323695 0
[pid=868/tid=869] ppid=865 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1338576896 268247 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1338576896 268247 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1338576896 268247 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.44 0.10 0.03 3/186 885
/proc/meminfo: memFree=29490084/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 268865 0 0 0 1231 37 0 0 20 0 4 0 36227253 1342771200 269189 33554432000 4194304 16246674 140734098144992 140734098126912 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 327825 269189 876 2943 0 324719 0
[pid=868/tid=869] ppid=865 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1342771200 269189 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1342771200 269189 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1342771200 269189 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 0.79 0.19 0.06 3/186 885
/proc/meminfo: memFree=29485440/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 269971 0 0 0 2511 37 0 0 20 0 4 0 36227253 1346965504 270295 33554432000 4194304 16246674 140734098144992 140734098126912 5523513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/868/statm: 328849 270295 876 2943 0 325743 0
[pid=868/tid=869] ppid=865 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1346965504 270295 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1346965504 270295 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1346965504 270295 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 1.20 0.33 0.11 3/185 885
/proc/meminfo: memFree=29485796/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1315396 CPUtime=51.07 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 269982 0 0 0 5070 37 0 0 20 0 4 0 36227253 1346965504 270295 33554432000 4194304 16246674 140734098144992 140734098126912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 328849 270295 876 2943 0 325743 0
[pid=868/tid=869] ppid=865 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1346965504 270295 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1346965504 270295 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1346965504 270295 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 1.65 0.59 0.21 3/185 886
/proc/meminfo: memFree=29483096/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1316420 CPUtime=102.23 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 270277 0 0 0 10186 37 0 0 20 0 4 0 36227253 1348014080 270551 33554432000 4194304 16246674 140734098144992 140734098126912 5546214 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 329105 270551 876 2943 0 325999 0
[pid=868/tid=869] ppid=865 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1348014080 270551 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1348014080 270551 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1348014080 270551 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 1316420


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

/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1328708

[startup+1302.3 s]
/proc/loadavg: 2.13 2.01 1.50 3/185 916
/proc/meminfo: memFree=29460416/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1301.83 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273735 0 0 0 130139 44 0 0 20 0 4 0 36227253 1360596992 273625 33554432000 4194304 16246674 140734098144992 140734098126912 5600472 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273625 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.14 2.03 1.54 3/186 918
/proc/meminfo: memFree=29460432/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1361.82 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273735 0 0 0 136138 44 0 0 20 0 4 0 36227253 1360596992 273625 33554432000 4194304 16246674 140734098144992 140734098126912 5724032 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273625 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273625 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.14 2.05 1.57 3/184 920
/proc/meminfo: memFree=29461552/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1421.81 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 142137 44 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 5546098 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.20 2.09 1.61 3/185 922
/proc/meminfo: memFree=29461028/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1481.8 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 148136 44 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 13949744 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.10 2.08 1.64 3/185 923
/proc/meminfo: memFree=29461036/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1541.8 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 154135 45 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 12474947 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 1.66 3/185 924
/proc/meminfo: memFree=29460660/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1601.78 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 160133 45 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 13949881 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.13 2.08 1.69 3/185 925
/proc/meminfo: memFree=29460780/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1661.77 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 166132 45 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 6021024 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.11 2.08 1.71 3/185 927
/proc/meminfo: memFree=29460884/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1721.76 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 172131 45 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 1.73 3/185 928
/proc/meminfo: memFree=29460140/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1781.76 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 178130 46 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.06 1.73 3/186 931
/proc/meminfo: memFree=29460712/32872528 swapFree=8804/8804
[pid=868] ppid=865 vsize=1328708 CPUtime=1800.05 cores=1,3,5,7
/proc/868/stat : 868 (toysat) R 865 868 832 0 -1 4202496 273736 0 0 0 179959 46 0 0 20 0 4 0 36227253 1360596992 273628 33554432000 4194304 16246674 140734098144992 140734098126912 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/868/statm: 332177 273628 877 2943 0 329071 0
[pid=868/tid=869] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/869/stat : 869 (toysat) S 865 868 832 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093144673520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=868/tid=870] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/870/stat : 870 (toysat) S 865 868 832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093134183664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=868/tid=871] ppid=865 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/868/task/871/stat : 871 (toysat) S 865 868 832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36227254 1360596992 273628 33554432000 4194304 16246674 140734098144992 140093123710128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1328708

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.461929
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.461929
maximum resident set size= 1094512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273736
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= 450
involuntary context switches= 3087

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5793 second user time and 6.94994 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-19 15:10:13
IDJOB=4109154
IDBENCH=78680
IDSOLVER=2553
FILE ID=node133/4109154-1466341813
RUNJOBID= node133-1466341813-849
PBS_JOBID= 19922020
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr--soft-33-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-4109154-1466341813/watcher-4109154-1466341813 -o /tmp/evaluation-result-4109154-1466341813/solver-4109154-1466341813 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466341813-849 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109154-1466341813.wbo

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

MD5SUM BENCH= b66fe868eb6fadcfec17a324e77ec452
RANDOM SEED=1017338453

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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:        31651824 kB
Buffers:          161520 kB
Cached:           307028 kB
SwapCached:         1408 kB
Active:           117256 kB
Inactive:         355152 kB
Active(anon):       4612 kB
Inactive(anon):     2060 kB
Active(file):     112644 kB
Inactive(file):   353092 kB
Unevictable:        8804 kB
Mlocked:            8804 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:             18664 kB
Writeback:             0 kB
AnonPages:         12400 kB
Mapped:             7968 kB
Shmem:                 0 kB
Slab:             609932 kB
SReclaimable:      53728 kB
SUnreclaim:       556204 kB
KernelStack:        1360 kB
PageTables:         4672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     106060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71684 MiB
End job on node133 at 2016-06-19 15:40:14