Trace number 4093401

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.03 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo
MD5SUM821b84a7358221fefacfb8b50c463b59
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints54
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 3128
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3127
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
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-16T16:05:51+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-4093401-1466085951.wbo"]
0.00/0.01	c use --random-gen="2185720007 3928718231 2503082287 2146094607 891578431 2226735312 3928769585 2633822641 2294774444 3504964063 1997526347 1857495443 1956838147 4167259110 1070465245 3820190932 308329036 2383220887 705453474 2422085422 1454296125 921282561 725800643 4111216549 2458496547 314949647 3721118960 194896994 3305854908 2987377636 2761933266 3989959595 2407429545 3247891784 1384748982 1155308682 2075835712 2615636148 2004325968 599600730 3454753827 1606518590 1369686829 3050863639 797563734 1734414754 1827599711 3001351019 2512133227 3100047439 1949516407 2442642636 3811783538 3420001815 3507581608 2604497323 3153644644 624917474 737794325 2185681778 3196551616 3861522414 2996578036 891524942 3280176564 1664359515 1899776035 3545121917 2012582561 1102105837 1998869115 2028212944 232586446 1856851016 1234380888 2277329710 3818790442 1991798495 3713733079 2337488654 1365400315 2691541497 2901472459 509146643 3895404870 1889717133 1423636555 3278483668 3078721397 1528748296 1595576215 2514941351 3254634501 2059903749 2098487894 2489728617 3269069808 3674147835 2228621140 2514296137 81305354 2794262692 4041625441 402380695 3592947354 3870173609 913211658 3767807444 468391096 359479892 1549637422 3051140244 2646453748 3955708150 3007219776 795666397 2494409146 658165265 960652388 634345918 2276906118 2665302757 1808597771 1452434745 3379728906 448381004 2629702397 2901674051 2606568454 3260112751 222736326 2052454459 757014440 2023102870 2244189887 2728656788 2892232937 2923028198 1560545869 1969514924 1427940544 1328936044 2752493516 1249541561 1933739728 2963139089 1277113522 3603771427 4177719987 1720867922 444363266 1391464351 802128274 74561079 4206180370 2589438629 2168078957 311345694 2288010015 1885643598 3856928684 4289030863 4149929940 3989277524 2684774068 3450318158 4241097770 94663089 1234528842 2503949920 3852253768 3012446527 3928882576 3042163296 3940432429 2656292660 3441889310 1488893363 3536033302 1247266288 1843553547 1253269090 2524102553 2745480503 1862088126 3572864889 1047256078 1140033748 4086994504 3851736034 3282823641 2498771490 1694503525 2621881679 2571107156 46762191 2177437288 3342546302 401198846 2232138377 311936173 2517585659 2572863701 1740260674 3764932716 2018004385 3035637851 1630531707 3195606700 3364849992 2650793566 402738803 883176080 3552090218 3965978280 3295128156 589276089 3405595014 2293569392 469707238 4130237209 1065749089 3467209557 2269640740 1536733183 2657044640 2735911555 1504283186 2086047739 1917313692 3356123524 4068489492 2624241237 4159089541 3981082878 3701526590 1794762972 3920580137 4267190017 703407543 3799491036 4046182809 2749136080 2428499266 2555948123 1285574379 3556756284 81150311 2553988950 1006092131 3737778622 4176118362 2049697301 1057800451 3016352299 4060366648 255 362436" option to reproduce the execution
0.00/0.08	c #vars 1640
0.00/0.08	c #constraints 81
0.00/0.09	c BCD2: Hardening is enabled.
0.00/0.09	c BCD2: BiasedSearch is enabled.
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      591      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |      211 |      100 |      591      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |     1243 |      101 |      651      0 |        0 |        0
0.09/0.13	c #cpu_time = 0.045s
0.09/0.13	c #wall_clock_time = 0.045s
0.09/0.13	c #decision = 1243
0.09/0.13	c #random_decision = 4
0.09/0.13	c #conflict = 101
0.09/0.13	c #restart = 1
0.09/0.13	o 1519
0.09/0.13	c BCD2: updating upper bound: 3127 -> 1518
0.09/0.13	c BCD2: 0 <= obj <= 1518
0.09/0.13	c BCD2: #cores=0, #unrelaxed=54, #relaxed=0, #hardened=0
0.09/0.13	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |      651      0 |        0 |        0
0.19/0.24	c  0.1s |       1 |      802 |      100 |      651      0 |        0 |        0
0.29/0.39	c  0.3s |       2 |     2391 |      250 |      717      0 |        0 |        0
0.49/0.60	c  0.5s |       3 |     3551 |      475 |      789      0 |        0 |        0
0.79/0.89	c  0.8s |       4 |     4786 |      813 |      868      0 |        0 |        0
1.29/1.35	c  1.2s |       5 |     6225 |     1320 |      955      1 |        0 |        0
1.79/1.88	c  1.7s |       6 |     7960 |     2081 |     1051      2 |        0 |        0
2.99/3.04	c  2.9s |       7 |    10209 |     3223 |     1157      3 |        0 |        0
4.69/4.71	c  4.6s |       8 |    13391 |     4936 |     1273      4 |        0 |        0
6.68/6.74	c  6.6s |       8 |    16314 |     6636 |     1273      6 |        0 |        0
7.78/7.90	c  7.8s |       9 |    17331 |     7506 |     1401      7 |        0 |        0
9.98/10.02	c  9.9s |       9 |    20980 |     9906 |     1401      9 |        0 |        0
11.68/11.77	c 11.6s |      10 |    22633 |    11361 |     1542     10 |        0 |        0
13.78/13.87	c 13.7s |      10 |    26131 |    13061 |     1542     11 |        0 |        0
15.78/15.90	c 15.8s |      10 |    27685 |    14261 |     1542     12 |        0 |        0
17.98/18.02	c 17.9s |      10 |    29655 |    15661 |     1542     13 |        0 |        0
20.09/20.11	c 20.0s |      10 |    31184 |    16961 |     1697     14 |        0 |        0
20.28/20.39	c 20.3s |      11 |    31398 |    17144 |     1697     14 |        0 |        0
22.48/22.52	c 22.4s |      11 |    34656 |    18644 |     1697     15 |        0 |        0
24.58/24.63	c 24.5s |      11 |    36016 |    19644 |     1697     16 |        0 |        0
26.69/26.79	c 26.7s |      11 |    37706 |    20644 |     1697     16 |        0 |        0
28.79/28.83	c 28.7s |      11 |    39344 |    21644 |     1697     17 |        0 |        0
30.88/30.97	c 30.8s |      11 |    40786 |    22844 |     1697     17 |        0 |        0
32.98/33.01	c 32.9s |      11 |    42308 |    23744 |     1697     18 |        0 |        0
34.99/35.08	c 34.9s |      11 |    43429 |    24644 |     1697     19 |        0 |        0
37.29/37.31	c 37.2s |      11 |    44539 |    25544 |     1697     19 |        0 |        0
38.09/38.13	c 38.0s |      12 |    44984 |    25819 |     1867     19 |        0 |        0
40.19/40.22	c 40.1s |      12 |    47599 |    27419 |     1867     21 |        0 |        0
42.29/42.37	c 42.2s |      12 |    49372 |    28819 |     1867     22 |        0 |        0
44.39/44.46	c 44.3s |      12 |    52860 |    31019 |     1867     24 |        0 |        0
46.49/46.56	c 46.4s |      12 |    55029 |    32919 |     1867     25 |        0 |        0
48.69/48.72	c 48.6s |      12 |    56753 |    34419 |     1867     26 |        0 |        0
50.79/50.87	c 50.7s |      12 |    58691 |    36119 |     1867     26 |        0 |        0
52.99/53.01	c 52.9s |      12 |    60378 |    37619 |     1867     27 |        0 |        0
54.58/54.69	c 54.6s |      13 |    61759 |    38832 |     2054     28 |        0 |        0
56.68/56.75	c 56.6s |      13 |    65273 |    41132 |     2054     29 |        0 |        0
58.78/58.81	c 58.7s |      13 |    67157 |    42832 |     2054     30 |        0 |        0
60.79/60.87	c 60.7s |      13 |    69152 |    44632 |     2054     31 |        0 |        0
62.89/62.93	c 62.8s |      13 |    71024 |    46332 |     2054     32 |        0 |        0
64.98/65.03	c 64.9s |      13 |    73178 |    48232 |     2054     33 |        0 |        0
66.98/67.08	c 66.9s |      13 |    75416 |    50132 |     2054     34 |        0 |        0
69.08/69.13	c 69.0s |      13 |    77222 |    51732 |     2054     35 |        0 |        0
71.08/71.19	c 71.1s |      13 |    79288 |    53532 |     2054     36 |        0 |        0
73.18/73.26	c 73.1s |      13 |    81391 |    55432 |     2054     37 |        0 |        0
75.28/75.33	c 75.2s |      13 |    83836 |    57332 |     2054     38 |        0 |        0
76.38/76.42	c 76.3s |      14 |    85001 |    58352 |     2260     39 |        0 |        0
78.39/78.45	c 78.3s |      14 |    88218 |    60452 |     2260     40 |        0 |        0
80.49/80.51	c 80.4s |      14 |    90277 |    62252 |     2260     41 |        0 |        0
82.48/82.57	c 82.4s |      14 |    92369 |    64052 |     2260     42 |        0 |        0
84.48/84.58	c 84.4s |      14 |    94298 |    65752 |     2260     43 |        0 |        0
86.58/86.67	c 86.5s |      14 |    96176 |    67452 |     2260     44 |        0 |        0
88.58/88.69	c 88.6s |      14 |    97875 |    68952 |     2260     45 |        0 |        0
90.78/90.84	c 90.7s |      14 |    99803 |    70652 |     2260     46 |        0 |        0
92.78/92.89	c 92.8s |      14 |   101600 |    72252 |     2260     46 |        0 |        0
94.88/94.94	c 94.8s |      14 |   103279 |    73752 |     2260     47 |        0 |        0
96.87/96.98	c 96.8s |      14 |   104963 |    75252 |     2260     48 |        0 |        0
98.97/99.02	c 98.9s |      14 |   106628 |    76752 |     2260     49 |        0 |        0
100.97/101.02	c  100s |      14 |   108446 |    78352 |     2260     50 |        0 |        0
102.97/103.08	c  102s |      14 |   110258 |    79952 |     2260     50 |        0 |        0
105.07/105.15	c  105s |      14 |   111811 |    81352 |     2260     51 |        0 |        0
107.07/107.15	c  107s |      14 |   113480 |    82852 |     2260     52 |        0 |        0
109.18/109.27	c  109s |      14 |   115127 |    84352 |     2260     53 |        0 |        0
111.28/111.34	c  111s |      14 |   117034 |    86052 |     2260     54 |        0 |        0
113.27/113.36	c  113s |      15 |   118771 |    87632 |     2486     54 |        0 |        0
115.37/115.41	c  115s |      15 |   121810 |    89532 |     2486     55 |        0 |        0
117.37/117.47	c  117s |      15 |   123619 |    91132 |     2486     56 |        0 |        0
119.47/119.56	c  119s |      15 |   125459 |    92732 |     2486     57 |        0 |        0
121.57/121.61	c  121s |      15 |   127033 |    94132 |     2486     58 |        0 |        0
123.57/123.62	c  123s |      15 |   128608 |    95432 |     2486     58 |        0 |        0
125.68/125.75	c  125s |      15 |   130191 |    96832 |     2486     59 |        0 |        0
127.67/127.76	c  127s |      15 |   131530 |    98032 |     2486     60 |        0 |        0
129.77/129.80	c  129s |      15 |   132970 |    99332 |     2486     60 |        0 |        0
131.77/131.84	c  131s |      15 |   134507 |   100632 |     2486     61 |        0 |        0
133.77/133.87	c  133s |      15 |   136013 |   101932 |     2486     61 |        0 |        0
135.87/135.98	c  135s |      15 |   137670 |   103232 |     2486     62 |        0 |        0
137.97/138.05	c  137s |      15 |   138962 |   104332 |     2486     63 |        0 |        0
140.07/140.15	c  140s |      15 |   140525 |   105732 |     2486     63 |        0 |        0
142.17/142.24	c  142s |      15 |   141993 |   107032 |     2486     64 |        0 |        0
144.17/144.29	c  144s |      15 |   143751 |   108432 |     2486     65 |        0 |        0
146.26/146.33	c  146s |      15 |   145350 |   109732 |     2486     65 |        0 |        0
148.36/148.42	c  148s |      15 |   147256 |   111232 |     2486     66 |        0 |        0
150.46/150.50	c  150s |      15 |   148916 |   112632 |     2486     67 |        0 |        0
152.46/152.52	c  152s |      15 |   150521 |   114032 |     2486     67 |        0 |        0
154.56/154.63	c  154s |      15 |   152125 |   115432 |     2486     68 |        0 |        0
156.66/156.76	c  156s |      15 |   153751 |   116832 |     2486     69 |        0 |        0
158.76/158.84	c  158s |      15 |   155197 |   118132 |     2486     69 |        0 |        0
160.87/160.96	c  160s |      15 |   156888 |   119532 |     2486     70 |        0 |        0
162.97/163.06	c  162s |      15 |   158461 |   120932 |     2486     71 |        0 |        0
165.06/165.17	c  165s |      15 |   159907 |   122232 |     2486     72 |        0 |        0
167.16/167.26	c  167s |      15 |   161589 |   123632 |     2486     72 |        0 |        0
169.26/169.35	c  169s |      15 |   163012 |   124832 |     2486     73 |        0 |        0
171.26/171.36	c  171s |      15 |   164516 |   126032 |     2486     73 |        0 |        0
173.36/173.43	c  173s |      15 |   165966 |   127332 |     2486     74 |        0 |        0
175.36/175.46	c  175s |      15 |   167373 |   128532 |     2486     75 |        0 |        0
177.37/177.47	c  177s |      15 |   168892 |   129832 |     2486     75 |        0 |        0
179.36/179.50	c  179s |      15 |   170171 |   130932 |     2735     76 |        0 |        0
180.36/180.45	c  180s |      16 |   170903 |   131552 |     2735     76 |        0 |        0
182.46/182.56	c  182s |      16 |   174012 |   133552 |     2735     77 |        0 |        0
184.56/184.63	c  184s |      16 |   175780 |   135152 |     2735     78 |        0 |        0
186.66/186.72	c  186s |      16 |   177616 |   136752 |     2735     79 |        0 |        0
188.66/188.73	c  188s |      16 |   179797 |   138552 |     2735     79 |        0 |        0
190.76/190.80	c  190s |      16 |   181973 |   140452 |     2735     80 |        0 |        0
192.76/192.81	c  192s |      16 |   183981 |   142152 |     2735     81 |        0 |        0
194.75/194.86	c  194s |      16 |   185767 |   143752 |     2735     82 |        0 |        0
196.95/197.00	c  196s |      16 |   187465 |   145252 |     2735     83 |        0 |        0
198.95/199.03	c  198s |      16 |   189395 |   146952 |     2735     83 |        0 |        0
200.95/201.05	c  200s |      16 |   191424 |   148652 |     2735     84 |        0 |        0
203.05/203.13	c  202s |      16 |   193271 |   150252 |     2735     85 |        0 |        0
205.05/205.19	c  205s |      16 |   195016 |   151752 |     2735     86 |        0 |        0
207.15/207.20	c  207s |      16 |   196696 |   153252 |     2735     86 |        0 |        0
209.16/209.26	c  209s |      16 |   198233 |   154652 |     2735     87 |        0 |        0
211.25/211.32	c  211s |      16 |   199877 |   156052 |     2735     88 |        0 |        0
213.25/213.38	c  213s |      16 |   201870 |   157752 |     2735     88 |        0 |        0
215.35/215.45	c  215s |      16 |   203508 |   159252 |     2735     89 |        0 |        0
217.55/217.60	c  217s |      16 |   205302 |   160852 |     2735     90 |        0 |        0
219.55/219.69	c  219s |      16 |   206953 |   162352 |     2735     91 |        0 |        0
221.65/221.77	c  221s |      16 |   208604 |   163852 |     2735     91 |        0 |        0
223.65/223.78	c  223s |      16 |   210293 |   165352 |     2735     92 |        0 |        0
225.76/225.81	c  225s |      16 |   211892 |   166752 |     2735     93 |        0 |        0
227.86/227.92	c  227s |      16 |   213515 |   168252 |     2735     93 |        0 |        0
229.95/230.02	c  229s |      16 |   215098 |   169652 |     2735     94 |        0 |        0
232.05/232.12	c  231s |      16 |   216888 |   171252 |     2735     95 |        0 |        0
234.05/234.18	c  234s |      16 |   218669 |   172852 |     2735     95 |        0 |        0
236.15/236.25	c  236s |      16 |   220343 |   174352 |     2735     96 |        0 |        0
238.15/238.29	c  238s |      16 |   221910 |   175752 |     2735     97 |        0 |        0
240.25/240.35	c  240s |      16 |   223581 |   177252 |     2735     97 |        0 |        0
242.35/242.41	c  242s |      16 |   225274 |   178752 |     2735     98 |        0 |        0
244.35/244.49	c  244s |      16 |   227122 |   180352 |     2735     99 |        0 |        0
246.45/246.59	c  246s |      16 |   228722 |   181752 |     2735    100 |        0 |        0
248.55/248.68	c  248s |      16 |   230619 |   183352 |     2735    100 |        0 |        0
250.65/250.78	c  250s |      16 |   232299 |   184852 |     2735    101 |        0 |        0
252.75/252.82	c  252s |      16 |   233802 |   186152 |     2735    102 |        0 |        0
254.85/254.93	c  254s |      16 |   235524 |   187652 |     2735    102 |        0 |        0
256.94/257.06	c  256s |      16 |   237141 |   189052 |     2735    103 |        0 |        0
259.14/259.20	c  259s |      16 |   238553 |   190352 |     2735    103 |        0 |        0
261.14/261.30	c  261s |      16 |   239951 |   191552 |     2735    104 |        0 |        0
263.24/263.30	c  263s |      16 |   241188 |   192652 |     2735    105 |        0 |        0
265.36/265.43	c  265s |      16 |   242663 |   193952 |     2735    105 |        0 |        0
267.46/267.55	c  267s |      16 |   244112 |   195252 |     2735    106 |        0 |        0
269.45/269.56	c  269s |      16 |   245431 |   196452 |     3009    106 |        0 |        0
271.45/271.53	c  271s |      17 |   246521 |   197432 |     3009    107 |        0 |        0
273.65/273.70	c  273s |      17 |   249683 |   199432 |     3009    108 |        0 |        0
275.65/275.70	c  275s |      17 |   251376 |   200932 |     3009    108 |        0 |        0
277.65/277.77	c  277s |      17 |   253068 |   202432 |     3009    109 |        0 |        0
279.75/279.80	c  279s |      17 |   254810 |   203832 |     3009    109 |        0 |        0
281.76/281.89	c  281s |      17 |   256560 |   205332 |     3009    110 |        0 |        0
283.95/284.04	c  283s |      17 |   258047 |   206632 |     3009    111 |        0 |        0
285.95/286.06	c  285s |      17 |   259530 |   207932 |     3009    111 |        0 |        0
288.05/288.16	c  288s |      17 |   260879 |   209132 |     3009    112 |        0 |        0
290.15/290.20	c  290s |      17 |   262321 |   210432 |     3009    112 |        0 |        0
292.15/292.21	c  292s |      17 |   263509 |   211532 |     3009    113 |        0 |        0
294.25/294.33	c  294s |      17 |   264964 |   212832 |     3009    113 |        0 |        0
296.25/296.39	c  296s |      17 |   266301 |   214032 |     3009    114 |        0 |        0
298.35/298.46	c  298s |      17 |   267929 |   215432 |     3009    115 |        0 |        0
300.45/300.53	c  300s |      17 |   269462 |   216832 |     3009    115 |        0 |        0
302.55/302.60	c  302s |      17 |   270898 |   218132 |     3009    116 |        0 |        0
304.54/304.66	c  304s |      17 |   272316 |   219432 |     3009    116 |        0 |        0
306.54/306.67	c  306s |      17 |   273505 |   220532 |     3009    117 |        0 |        0
308.64/308.78	c  308s |      17 |   275118 |   221932 |     3009    117 |        0 |        0
310.64/310.79	c  310s |      17 |   276530 |   223232 |     3009    118 |        0 |        0
312.74/312.88	c  312s |      17 |   277867 |   224432 |     3009    118 |        0 |        0
314.94/315.02	c  314s |      17 |   279321 |   225732 |     3009    119 |        0 |        0
317.05/317.12	c  316s |      17 |   280501 |   226832 |     3009    120 |        0 |        0
319.04/319.14	c  319s |      17 |   282160 |   228232 |     3009    120 |        0 |        0
321.04/321.19	c  321s |      17 |   283660 |   229532 |     3009    121 |        0 |        0
323.14/323.28	c  323s |      17 |   285513 |   231032 |     3009    121 |        0 |        0
325.14/325.29	c  325s |      17 |   286997 |   232232 |     3009    122 |        0 |        0
327.34/327.43	c  327s |      17 |   288327 |   233332 |     3009    122 |        0 |        0
329.34/329.43	c  329s |      17 |   289772 |   234432 |     3009    123 |        0 |        0
331.54/331.60	c  331s |      17 |   291332 |   235632 |     3009    123 |        0 |        0
333.64/333.75	c  333s |      17 |   292749 |   236832 |     3009    124 |        0 |        0
335.65/335.75	c  335s |      17 |   293923 |   237832 |     3009    124 |        0 |        0
337.74/337.87	c  337s |      17 |   295210 |   238932 |     3009    125 |        0 |        0
339.84/339.99	c  339s |      17 |   296625 |   240132 |     3009    125 |        0 |        0
342.04/342.13	c  341s |      17 |   297887 |   241232 |     3009    126 |        0 |        0
344.14/344.20	c  344s |      17 |   299288 |   242432 |     3009    126 |        0 |        0
346.24/346.34	c  346s |      17 |   300613 |   243532 |     3009    127 |        0 |        0
348.34/348.43	c  348s |      17 |   302048 |   244732 |     3009    127 |        0 |        0
350.34/350.49	c  350s |      17 |   303099 |   245632 |     3009    128 |        0 |        0
352.44/352.52	c  352s |      17 |   304224 |   246632 |     3009    128 |        0 |        0
354.54/354.61	c  354s |      17 |   305223 |   247532 |     3009    129 |        0 |        0
356.54/356.66	c  356s |      17 |   306338 |   248532 |     3009    129 |        0 |        0
358.53/358.68	c  358s |      17 |   307784 |   249832 |     3009    130 |        0 |        0
360.63/360.71	c  360s |      17 |   309192 |   251032 |     3009    130 |        0 |        0
362.73/362.86	c  362s |      17 |   310347 |   252032 |     3009    131 |        0 |        0
364.83/364.94	c  364s |      17 |   311794 |   253332 |     3009    131 |        0 |        0
366.93/367.07	c  366s |      17 |   313087 |   254432 |     3009    132 |        0 |        0
369.13/369.21	c  369s |      17 |   314406 |   255632 |     3009    132 |        0 |        0
371.23/371.36	c  371s |      17 |   315485 |   256632 |     3009    133 |        0 |        0
373.23/373.37	c  373s |      17 |   317370 |   258232 |     3009    133 |        0 |        0
375.34/375.46	c  375s |      17 |   318849 |   259532 |     3009    134 |        0 |        0
377.44/377.50	c  377s |      17 |   320176 |   260732 |     3009    134 |        0 |        0
379.43/379.58	c  379s |      17 |   321809 |   262032 |     3009    135 |        0 |        0
381.63/381.70	c  381s |      17 |   323446 |   263432 |     3009    136 |        0 |        0
383.63/383.72	c  383s |      17 |   324922 |   264732 |     3009    136 |        0 |        0
385.63/385.79	c  385s |      17 |   326157 |   265832 |     3009    137 |        0 |        0
387.73/387.86	c  387s |      17 |   327271 |   266832 |     3009    137 |        0 |        0
389.83/389.95	c  389s |      17 |   328510 |   267932 |     3009    138 |        0 |        0
392.03/392.10	c  391s |      17 |   329830 |   269132 |     3009    138 |        0 |        0
394.03/394.19	c  394s |      17 |   330918 |   270132 |     3009    138 |        0 |        0
396.13/396.30	c  396s |      17 |   332168 |   271232 |     3009    139 |        0 |        0
398.33/398.47	c  398s |      17 |   333404 |   272332 |     3009    139 |        0 |        0
400.43/400.58	c  400s |      17 |   334362 |   273232 |     3009    140 |        0 |        0
402.52/402.68	c  402s |      17 |   335471 |   274232 |     3009    140 |        0 |        0
404.72/404.83	c  404s |      17 |   336601 |   275232 |     3009    141 |        0 |        0
406.82/406.94	c  406s |      17 |   337734 |   276232 |     3009    141 |        0 |        0
408.92/409.04	c  408s |      17 |   338983 |   277332 |     3009    142 |        0 |        0
411.02/411.11	c  410s |      17 |   340224 |   278432 |     3009    142 |        0 |        0
413.02/413.14	c  413s |      17 |   341422 |   279432 |     3009    143 |        0 |        0
415.12/415.23	c  415s |      17 |   343017 |   280732 |     3009    143 |        0 |        0
417.13/417.26	c  417s |      17 |   344343 |   281732 |     3009    144 |        0 |        0
419.23/419.31	c  419s |      17 |   345896 |   282932 |     3009    144 |        0 |        0
421.32/421.47	c  421s |      17 |   347177 |   284032 |     3009    145 |        0 |        0
423.42/423.51	c  423s |      17 |   348161 |   284932 |     3009    145 |        0 |        0
425.62/425.73	c  425s |      17 |   349270 |   285932 |     3009    145 |        0 |        0
427.72/427.88	c  427s |      17 |   350744 |   287132 |     3009    146 |        0 |        0
429.82/429.95	c  429s |      17 |   352115 |   288332 |     3009    146 |        0 |        0
431.92/432.04	c  431s |      17 |   353388 |   289432 |     3009    147 |        0 |        0
434.12/434.20	c  434s |      17 |   354490 |   290432 |     3009    147 |        0 |        0
436.12/436.26	c  436s |      17 |   355652 |   291432 |     3009    148 |        0 |        0
438.22/438.34	c  438s |      17 |   356899 |   292532 |     3009    148 |        0 |        0
440.32/440.45	c  440s |      17 |   358253 |   293732 |     3009    149 |        0 |        0
442.42/442.58	c  442s |      17 |   359947 |   295132 |     3310    149 |        0 |        0
444.22/444.38	c  444s |      18 |   361545 |   296252 |     3310    150 |        0 |        0
446.32/446.45	c  446s |      18 |   364594 |   298252 |     3310    151 |        0 |        0
448.42/448.50	c  448s |      18 |   366340 |   299752 |     3310    151 |        0 |        0
450.42/450.57	c  450s |      18 |   367805 |   301052 |     3310    152 |        0 |        0
452.62/452.73	c  452s |      18 |   369373 |   302452 |     3310    152 |        0 |        0
454.71/454.87	c  454s |      18 |   370996 |   303852 |     3310    153 |        0 |        0
456.91/457.07	c  456s |      18 |   372701 |   305352 |     3310    154 |        0 |        0
459.11/459.22	c  459s |      18 |   374380 |   306852 |     3310    154 |        0 |        0
461.21/461.33	c  461s |      18 |   375985 |   308252 |     3310    155 |        0 |        0
463.33/463.42	c  463s |      18 |   377582 |   309652 |     3310    155 |        0 |        0
465.32/465.43	c  465s |      18 |   379050 |   310952 |     3310    156 |        0 |        0
467.32/467.47	c  467s |      18 |   380535 |   312252 |     3310    156 |        0 |        0
469.42/469.55	c  469s |      18 |   381994 |   313552 |     3310    157 |        0 |        0
471.52/471.62	c  471s |      18 |   383321 |   314752 |     3310    157 |        0 |        0
473.52/473.69	c  473s |      18 |   384527 |   315852 |     3310    158 |        0 |        0
475.72/475.84	c  475s |      18 |   385827 |   317052 |     3310    158 |        0 |        0
477.82/477.97	c  477s |      18 |   387326 |   318352 |     3310    159 |        0 |        0
479.83/479.97	c  479s |      18 |   388748 |   319652 |     3310    159 |        0 |        0
481.93/482.05	c  481s |      18 |   390345 |   321052 |     3310    160 |        0 |        0
483.92/484.05	c  483s |      18 |   391739 |   322252 |     3310    160 |        0 |        0
485.92/486.06	c  485s |      18 |   393141 |   323552 |     3310    161 |        0 |        0
488.02/488.15	c  488s |      18 |   394461 |   324752 |     3310    162 |        0 |        0
490.12/490.27	c  490s |      18 |   395892 |   326052 |     3310    162 |        0 |        0
492.22/492.31	c  492s |      18 |   397387 |   327352 |     3310    163 |        0 |        0
494.22/494.34	c  494s |      18 |   398891 |   328652 |     3310    163 |        0 |        0
496.32/496.45	c  496s |      18 |   400286 |   329852 |     3310    164 |        0 |        0
498.32/498.47	c  498s |      18 |   401635 |   331052 |     3310    164 |        0 |        0
500.42/500.53	c  500s |      18 |   402834 |   332152 |     3310    165 |        0 |        0
502.52/502.62	c  502s |      18 |   404428 |   333552 |     3310    165 |        0 |        0
504.52/504.68	c  504s |      18 |   405923 |   334852 |     3310    166 |        0 |        0
506.62/506.77	c  506s |      18 |   407281 |   336052 |     3310    166 |        0 |        0
508.61/508.79	c  508s |      18 |   408528 |   337152 |     3310    167 |        0 |        0
510.81/510.91	c  510s |      18 |   410215 |   338552 |     3310    167 |        0 |        0
512.82/512.97	c  512s |      18 |   411598 |   339752 |     3310    168 |        0 |        0
514.92/515.06	c  514s |      18 |   412807 |   340852 |     3310    168 |        0 |        0
517.01/517.19	c  517s |      18 |   413931 |   341852 |     3310    169 |        0 |        0
519.21/519.36	c  519s |      18 |   415147 |   342952 |     3310    169 |        0 |        0
521.31/521.40	c  521s |      18 |   416260 |   343952 |     3310    169 |        0 |        0
523.41/523.55	c  523s |      18 |   417376 |   344952 |     3310    170 |        0 |        0
525.51/525.65	c  525s |      18 |   418840 |   346252 |     3310    170 |        0 |        0
527.71/527.80	c  527s |      18 |   420196 |   347452 |     3310    171 |        0 |        0
529.71/529.83	c  529s |      18 |   421411 |   348552 |     3310    171 |        0 |        0
531.81/531.90	c  531s |      18 |   422686 |   349652 |     3310    172 |        0 |        0
533.91/534.00	c  533s |      18 |   424170 |   350952 |     3310    172 |        0 |        0
535.92/536.05	c  535s |      18 |   425512 |   352152 |     3310    173 |        0 |        0
538.02/538.20	c  538s |      18 |   426912 |   353352 |     3310    173 |        0 |        0
540.11/540.22	c  540s |      18 |   428176 |   354452 |     3310    174 |        0 |        0
542.11/542.26	c  542s |      18 |   429640 |   355752 |     3310    174 |        0 |        0
544.21/544.39	c  544s |      18 |   430967 |   356952 |     3310    175 |        0 |        0
546.31/546.40	c  546s |      18 |   432277 |   358052 |     3310    175 |        0 |        0
548.41/548.52	c  548s |      18 |   433669 |   359252 |     3310    176 |        0 |        0
550.51/550.65	c  550s |      18 |   435110 |   360552 |     3310    176 |        0 |        0
552.51/552.68	c  552s |      18 |   436231 |   361552 |     3310    177 |        0 |        0
554.71/554.88	c  554s |      18 |   437437 |   362652 |     3310    177 |        0 |        0
556.81/556.97	c  556s |      18 |   438793 |   363852 |     3310    178 |        0 |        0
559.01/559.13	c  558s |      18 |   440385 |   365252 |     3310    178 |        0 |        0
561.11/561.21	c  561s |      18 |   441661 |   366352 |     3310    179 |        0 |        0
563.20/563.35	c  563s |      18 |   443133 |   367652 |     3310    179 |        0 |        0
565.30/565.43	c  565s |      18 |   444657 |   368952 |     3310    180 |        0 |        0
567.40/567.50	c  567s |      18 |   446186 |   370252 |     3310    180 |        0 |        0
569.50/569.66	c  569s |      18 |   447561 |   371452 |     3310    181 |        0 |        0
571.60/571.74	c  571s |      18 |   448885 |   372652 |     3310    181 |        0 |        0
573.70/573.82	c  573s |      18 |   449990 |   373652 |     3310    182 |        0 |        0
575.70/575.87	c  575s |      18 |   451487 |   374952 |     3310    182 |        0 |        0
577.90/578.01	c  577s |      18 |   452819 |   376152 |     3310    183 |        0 |        0
580.00/580.16	c  580s |      18 |   454395 |   377552 |     3310    183 |        0 |        0
582.20/582.30	c  582s |      18 |   455622 |   378652 |     3310    184 |        0 |        0
584.21/584.35	c  584s |      18 |   456953 |   379852 |     3310    184 |        0 |        0
586.30/586.40	c  586s |      18 |   458409 |   381152 |     3310    185 |        0 |        0
588.30/588.49	c  588s |      18 |   459727 |   382352 |     3310    185 |        0 |        0
590.30/590.49	c  590s |      18 |   461200 |   383652 |     3310    186 |        0 |        0
592.40/592.55	c  592s |      18 |   462922 |   385152 |     3310    186 |        0 |        0
594.50/594.66	c  594s |      18 |   464380 |   386452 |     3310    187 |        0 |        0
596.60/596.79	c  596s |      18 |   465596 |   387552 |     3310    187 |        0 |        0
598.80/598.90	c  598s |      18 |   466800 |   388652 |     3310    188 |        0 |        0
600.90/601.00	c  600s |      18 |   468163 |   389852 |     3310    188 |        0 |        0
602.90/603.10	c  602s |      18 |   469387 |   390952 |     3310    189 |        0 |        0
605.10/605.24	c  605s |      18 |   470608 |   392052 |     3310    189 |        0 |        0
607.09/607.26	c  607s |      18 |   472194 |   393352 |     3310    190 |        0 |        0
609.19/609.32	c  609s |      18 |   473651 |   394652 |     3310    190 |        0 |        0
611.19/611.39	c  611s |      18 |   474982 |   395852 |     3310    191 |        0 |        0
613.39/613.55	c  613s |      18 |   476487 |   397152 |     3310    191 |        0 |        0
615.39/615.58	c  615s |      18 |   477828 |   398352 |     3310    192 |        0 |        0
617.49/617.66	c  617s |      18 |   479278 |   399652 |     3310    192 |        0 |        0
619.69/619.81	c  619s |      18 |   480616 |   400852 |     3310    193 |        0 |        0
621.79/621.95	c  621s |      18 |   482097 |   402152 |     3310    193 |        0 |        0
623.80/623.96	c  623s |      18 |   483447 |   403352 |     3310    194 |        0 |        0
625.89/626.06	c  625s |      18 |   484801 |   404552 |     3310    194 |        0 |        0
627.99/628.16	c  628s |      18 |   486256 |   405852 |     3310    195 |        0 |        0
630.19/630.35	c  630s |      18 |   487595 |   407052 |     3310    195 |        0 |        0
632.19/632.35	c  632s |      18 |   488775 |   408152 |     3310    196 |        0 |        0
634.19/634.36	c  634s |      18 |   490112 |   409352 |     3310    196 |        0 |        0
636.29/636.47	c  636s |      18 |   491578 |   410652 |     3310    197 |        0 |        0
638.39/638.53	c  638s |      18 |   493036 |   411952 |     3310    197 |        0 |        0
640.49/640.66	c  640s |      18 |   494359 |   413152 |     3310    198 |        0 |        0
642.69/642.85	c  642s |      18 |   495699 |   414352 |     3310    198 |        0 |        0
644.80/644.93	c  644s |      18 |   497214 |   415652 |     3310    199 |        0 |        0
646.79/646.95	c  646s |      18 |   498521 |   416852 |     3310    199 |        0 |        0
648.79/648.98	c  648s |      18 |   499867 |   418052 |     3310    200 |        0 |        0
650.89/651.06	c  650s |      18 |   501194 |   419252 |     3310    200 |        0 |        0
652.89/653.06	c  652s |      18 |   502426 |   420352 |     3310    201 |        0 |        0
655.09/655.24	c  655s |      18 |   503732 |   421552 |     3310    201 |        0 |        0
657.09/657.26	c  657s |      18 |   504898 |   422552 |     3310    202 |        0 |        0
659.19/659.32	c  659s |      18 |   506506 |   423952 |     3310    202 |        0 |        0
661.19/661.35	c  661s |      18 |   507822 |   425152 |     3310    203 |        0 |        0
663.29/663.45	c  663s |      18 |   509142 |   426352 |     3310    203 |        0 |        0
665.38/665.57	c  665s |      18 |   510444 |   427552 |     3310    204 |        0 |        0
667.48/667.64	c  667s |      18 |   511926 |   428852 |     3310    204 |        0 |        0
669.58/669.71	c  669s |      18 |   513225 |   430052 |     3310    205 |        0 |        0
671.68/671.85	c  671s |      18 |   514649 |   431352 |     3310    205 |        0 |        0
673.78/673.94	c  673s |      18 |   515842 |   432452 |     3310    206 |        0 |        0
675.98/676.14	c  676s |      18 |   517060 |   433552 |     3310    206 |        0 |        0
677.98/678.16	c  678s |      18 |   518394 |   434752 |     3310    207 |        0 |        0
680.18/680.31	c  680s |      18 |   519575 |   435852 |     3310    207 |        0 |        0
682.20/682.37	c  682s |      18 |   520818 |   436952 |     3310    208 |        0 |        0
684.30/684.47	c  684s |      18 |   522372 |   438352 |     3310    208 |        0 |        0
686.39/686.51	c  686s |      18 |   523812 |   439652 |     3310    209 |        0 |        0
688.49/688.64	c  688s |      18 |   525385 |   441052 |     3310    209 |        0 |        0
690.59/690.76	c  690s |      18 |   526635 |   442152 |     3642    210 |        0 |        0
692.69/692.86	c  692s |      18 |   527984 |   443352 |     3642    210 |        0 |        0
694.89/695.06	c  694s |      18 |   529209 |   444452 |     3642    211 |        0 |        0
694.99/695.11	c  694s |      19 |   529237 |   444482 |     3642    211 |        0 |        0
697.09/697.21	c  697s |      19 |   532241 |   446482 |     3642    211 |        0 |        0
699.19/699.35	c  699s |      19 |   533924 |   447982 |     3642    212 |        0 |        0
701.29/701.40	c  701s |      19 |   535646 |   449482 |     3642    212 |        0 |        0
703.39/703.50	c  703s |      19 |   537099 |   450782 |     3642    213 |        0 |        0
705.49/705.61	c  705s |      19 |   538558 |   452082 |     3642    213 |        0 |        0
707.49/707.66	c  707s |      19 |   539864 |   453282 |     3642    214 |        0 |        0
709.49/709.70	c  709s |      19 |   541217 |   454482 |     3642    214 |        0 |        0
711.58/711.71	c  711s |      19 |   542598 |   455682 |     3642    215 |        0 |        0
713.58/713.76	c  713s |      19 |   544210 |   457082 |     3642    215 |        0 |        0
715.58/715.78	c  715s |      19 |   545598 |   458282 |     3642    216 |        0 |        0
717.68/717.82	c  717s |      19 |   547098 |   459582 |     3642    216 |        0 |        0
719.78/719.96	c  719s |      19 |   548700 |   460982 |     3642    217 |        0 |        0
721.79/721.97	c  721s |      19 |   550141 |   462282 |     3642    217 |        0 |        0
723.99/724.12	c  723s |      19 |   551488 |   463482 |     3642    218 |        0 |        0
726.09/726.21	c  726s |      19 |   553231 |   464982 |     3642    218 |        0 |        0
728.18/728.31	c  728s |      19 |   554833 |   466382 |     3642    219 |        0 |        0
730.18/730.36	c  730s |      19 |   556429 |   467782 |     3642    219 |        0 |        0
732.38/732.51	c  732s |      19 |   557810 |   468982 |     3642    220 |        0 |        0
734.38/734.59	c  734s |      19 |   558911 |   469982 |     3642    220 |        0 |        0
736.48/736.62	c  736s |      19 |   560065 |   470982 |     3642    221 |        0 |        0
738.68/738.82	c  738s |      19 |   561202 |   471982 |     3642    221 |        0 |        0
740.87/741.02	c  740s |      19 |   562270 |   472882 |     3642    221 |        0 |        0
742.87/743.05	c  742s |      19 |   564012 |   474382 |     3642    222 |        0 |        0
744.97/745.12	c  744s |      19 |   565631 |   475782 |     3642    223 |        0 |        0
746.98/747.20	c  747s |      19 |   567163 |   477182 |     3642    223 |        0 |        0
749.07/749.21	c  749s |      19 |   568962 |   478782 |     3642    224 |        0 |        0
751.17/751.34	c  751s |      19 |   570500 |   480182 |     3642    224 |        0 |        0
753.27/753.48	c  753s |      19 |   572012 |   481482 |     3642    225 |        0 |        0
755.37/755.51	c  755s |      19 |   573389 |   482682 |     3642    225 |        0 |        0
757.37/757.56	c  757s |      19 |   574622 |   483782 |     3642    226 |        0 |        0
759.47/759.68	c  759s |      19 |   576153 |   485082 |     3642    226 |        0 |        0
761.58/761.75	c  761s |      19 |   577375 |   486182 |     3642    227 |        0 |        0
763.78/763.91	c  763s |      19 |   579212 |   487782 |     3642    227 |        0 |        0
765.98/766.12	c  765s |      19 |   580664 |   489082 |     3642    228 |        0 |        0
767.98/768.12	c  767s |      19 |   581852 |   490182 |     3642    228 |        0 |        0
769.98/770.17	c  770s |      19 |   583426 |   491482 |     3642    229 |        0 |        0
772.08/772.25	c  772s |      19 |   584951 |   492882 |     3642    229 |        0 |        0
774.08/774.28	c  774s |      19 |   586417 |   494182 |     3642    230 |        0 |        0
776.18/776.39	c  776s |      19 |   588014 |   495582 |     3642    230 |        0 |        0
778.27/778.48	c  778s |      19 |   589334 |   496782 |     3642    231 |        0 |        0
780.27/780.49	c  780s |      19 |   590681 |   497982 |     3642    231 |        0 |        0
782.47/782.64	c  782s |      19 |   592407 |   499482 |     3642    232 |        0 |        0
784.48/784.65	c  784s |      19 |   593834 |   500782 |     3642    232 |        0 |        0
786.58/786.77	c  786s |      19 |   595265 |   502082 |     3642    233 |        0 |        0
788.67/788.84	c  788s |      19 |   596918 |   503482 |     3642    233 |        0 |        0
790.67/790.88	c  790s |      19 |   598329 |   504682 |     3642    234 |        0 |        0
792.77/792.96	c  792s |      19 |   599686 |   505882 |     3642    234 |        0 |        0
794.87/795.07	c  794s |      19 |   600942 |   506982 |     3642    235 |        0 |        0
797.07/797.22	c  797s |      19 |   602439 |   508282 |     3642    235 |        0 |        0
799.07/799.25	c  799s |      19 |   603654 |   509382 |     3642    236 |        0 |        0
801.27/801.43	c  801s |      19 |   604963 |   510582 |     3642    236 |        0 |        0
803.37/803.56	c  803s |      19 |   606431 |   511882 |     3642    236 |        0 |        0
805.38/805.56	c  805s |      19 |   607652 |   512982 |     3642    237 |        0 |        0
807.58/807.71	c  807s |      19 |   609161 |   514282 |     3642    237 |        0 |        0
809.57/809.76	c  809s |      19 |   610356 |   515382 |     3642    238 |        0 |        0
811.57/811.77	c  811s |      19 |   611578 |   516482 |     3642    238 |        0 |        0
813.57/813.79	c  813s |      19 |   612942 |   517682 |     3642    239 |        0 |        0
815.67/815.88	c  815s |      19 |   614315 |   518882 |     3642    239 |        0 |        0
817.87/818.04	c  817s |      19 |   615557 |   519982 |     3642    240 |        0 |        0
819.97/820.11	c  819s |      19 |   616899 |   521182 |     3642    240 |        0 |        0
822.07/822.23	c  822s |      19 |   618240 |   522382 |     3642    241 |        0 |        0
824.16/824.39	c  824s |      19 |   619703 |   523682 |     3642    241 |        0 |        0
826.46/826.60	c  826s |      19 |   621021 |   524882 |     3642    241 |        0 |        0
828.47/828.62	c  828s |      19 |   622131 |   525882 |     3642    242 |        0 |        0
830.57/830.75	c  830s |      19 |   623357 |   526982 |     3642    242 |        0 |        0
832.66/832.84	c  832s |      19 |   624357 |   527882 |     3642    243 |        0 |        0
834.66/834.86	c  834s |      19 |   625872 |   529182 |     3642    243 |        0 |        0
836.66/836.87	c  836s |      19 |   627231 |   530382 |     3642    244 |        0 |        0
838.76/838.92	c  838s |      19 |   628545 |   531582 |     3642    244 |        0 |        0
840.86/841.04	c  840s |      19 |   629915 |   532782 |     3642    244 |        0 |        0
842.96/843.14	c  843s |      19 |   631394 |   534082 |     3642    245 |        0 |        0
844.97/845.15	c  845s |      19 |   632724 |   535282 |     3642    245 |        0 |        0
847.07/847.26	c  847s |      19 |   634087 |   536482 |     3642    246 |        0 |        0
849.27/849.41	c  849s |      19 |   635425 |   537682 |     3642    246 |        0 |        0
851.36/851.52	c  851s |      19 |   636780 |   538882 |     3642    247 |        0 |        0
853.36/853.56	c  853s |      19 |   638135 |   540082 |     3642    247 |        0 |        0
855.46/855.61	c  855s |      19 |   639366 |   541182 |     3642    248 |        0 |        0
857.46/857.61	c  857s |      19 |   640755 |   542382 |     3642    248 |        0 |        0
859.46/859.68	c  859s |      19 |   642587 |   543882 |     3642    249 |        0 |        0
861.56/861.72	c  861s |      19 |   644038 |   545182 |     3642    249 |        0 |        0
863.56/863.73	c  863s |      19 |   645561 |   546482 |     3642    250 |        0 |        0
865.66/865.82	c  865s |      19 |   647170 |   547882 |     3642    250 |        0 |        0
867.66/867.87	c  867s |      19 |   648865 |   549282 |     3642    251 |        0 |        0
869.76/870.00	c  869s |      19 |   650468 |   550682 |     3642    251 |        0 |        0
871.86/872.07	c  871s |      19 |   652084 |   552082 |     3642    252 |        0 |        0
873.96/874.10	c  873s |      19 |   653681 |   553482 |     3642    252 |        0 |        0
875.95/876.19	c  876s |      19 |   655354 |   554882 |     3642    253 |        0 |        0
878.05/878.20	c  878s |      19 |   656835 |   556182 |     3642    253 |        0 |        0
880.06/880.23	c  880s |      19 |   658526 |   557582 |     3642    254 |        0 |        0
882.15/882.35	c  882s |      19 |   660269 |   559082 |     3642    255 |        0 |        0
884.25/884.44	c  884s |      19 |   662143 |   560682 |     3642    255 |        0 |        0
886.35/886.57	c  886s |      19 |   663586 |   561982 |     3642    256 |        0 |        0
888.45/888.66	c  888s |      19 |   665195 |   563382 |     3642    256 |        0 |        0
890.55/890.71	c  890s |      19 |   666550 |   564582 |     3642    257 |        0 |        0
892.65/892.82	c  892s |      19 |   668047 |   565882 |     3642    257 |        0 |        0
894.75/894.93	c  894s |      19 |   669393 |   567082 |     3642    258 |        0 |        0
896.85/897.00	c  896s |      19 |   670864 |   568382 |     3642    258 |        0 |        0
898.95/899.11	c  898s |      19 |   672670 |   569882 |     3642    259 |        0 |        0
901.06/901.22	c  901s |      19 |   674407 |   571382 |     3642    259 |        0 |        0
903.05/903.30	c  903s |      19 |   675907 |   572682 |     3642    260 |        0 |        0
905.24/905.47	c  905s |      19 |   677253 |   573882 |     3642    260 |        0 |        0
907.34/907.55	c  907s |      19 |   678593 |   575082 |     3642    261 |        0 |        0
909.34/909.57	c  909s |      19 |   680104 |   576382 |     3642    261 |        0 |        0
911.44/911.63	c  911s |      19 |   681465 |   577582 |     3642    262 |        0 |        0
913.54/913.76	c  913s |      19 |   683176 |   578982 |     3642    262 |        0 |        0
915.64/915.89	c  915s |      19 |   684671 |   580282 |     3642    263 |        0 |        0
917.84/918.01	c  917s |      19 |   686185 |   581582 |     3642    263 |        0 |        0
919.84/920.09	c  919s |      19 |   687697 |   582882 |     3642    264 |        0 |        0
922.03/922.20	c  922s |      19 |   689349 |   584282 |     3642    264 |        0 |        0
924.14/924.34	c  924s |      19 |   690836 |   585582 |     3642    265 |        0 |        0
926.13/926.37	c  926s |      19 |   692300 |   586782 |     3642    265 |        0 |        0
928.33/928.52	c  928s |      19 |   693645 |   587982 |     3642    266 |        0 |        0
930.33/930.56	c  930s |      19 |   694863 |   589082 |     3642    266 |        0 |        0
932.43/932.65	c  932s |      19 |   696128 |   590182 |     3642    267 |        0 |        0
934.53/934.72	c  934s |      19 |   697435 |   591282 |     3642    267 |        0 |        0
936.73/936.95	c  936s |      19 |   698629 |   592282 |     3642    267 |        0 |        0
938.83/939.01	c  938s |      19 |   699529 |   593082 |     3642    268 |        0 |        0
940.93/941.13	c  940s |      19 |   700521 |   593982 |     3642    268 |        0 |        0
943.02/943.28	c  943s |      19 |   701745 |   595082 |     3642    268 |        0 |        0
945.22/945.46	c  945s |      19 |   702945 |   596182 |     3642    269 |        0 |        0
947.32/947.52	c  947s |      19 |   703926 |   597082 |     3642    269 |        0 |        0
949.32/949.57	c  949s |      19 |   704690 |   597782 |     3642    270 |        0 |        0
951.42/951.60	c  951s |      19 |   705582 |   598582 |     3642    270 |        0 |        0
953.43/953.67	c  953s |      19 |   706491 |   599382 |     3642    270 |        0 |        0
955.42/955.69	c  955s |      19 |   707301 |   600082 |     3642    270 |        0 |        0
957.62/957.82	c  957s |      19 |   707980 |   600682 |     3642    271 |        0 |        0
959.62/959.88	c  959s |      19 |   709717 |   602182 |     3642    271 |        0 |        0
961.72/961.95	c  961s |      19 |   711398 |   603682 |     3642    272 |        0 |        0
963.82/964.07	c  963s |      19 |   712927 |   605082 |     3642    272 |        0 |        0
965.92/966.14	c  966s |      19 |   714248 |   606282 |     3642    273 |        0 |        0
967.91/968.14	c  968s |      19 |   715543 |   607482 |     3642    273 |        0 |        0
970.01/970.28	c  970s |      19 |   716773 |   608582 |     3642    274 |        0 |        0
972.11/972.37	c  972s |      19 |   718088 |   609782 |     3642    274 |        0 |        0
974.21/974.43	c  974s |      19 |   719294 |   610882 |     3642    275 |        0 |        0
976.31/976.59	c  976s |      19 |   720758 |   612182 |     3642    275 |        0 |        0
978.51/978.73	c  978s |      19 |   722066 |   613382 |     3642    275 |        0 |        0
980.51/980.74	c  980s |      19 |   723179 |   614382 |     3642    276 |        0 |        0
982.51/982.77	c  982s |      19 |   724389 |   615482 |     3642    276 |        0 |        0
984.61/984.89	c  984s |      19 |   725623 |   616582 |     3642    277 |        0 |        0
986.60/986.90	c  986s |      19 |   726809 |   617682 |     3642    277 |        0 |        0
988.80/989.08	c  988s |      19 |   727893 |   618682 |     3642    278 |        0 |        0
990.90/991.19	c  991s |      19 |   729819 |   620182 |     3642    278 |        0 |        0
993.00/993.23	c  993s |      19 |   731220 |   621382 |     3642    279 |        0 |        0
995.19/995.41	c  995s |      19 |   732651 |   622682 |     3642    279 |        0 |        0
997.19/997.45	c  997s |      19 |   733844 |   623782 |     3642    279 |        0 |        0
999.19/999.48	c  999s |      19 |   735212 |   624982 |     3642    280 |        0 |        0
1001.29/1001.58	c 1001s |      19 |   736547 |   626182 |     3642    280 |        0 |        0
1003.39/1003.66	c 1003s |      19 |   737977 |   627382 |     3642    281 |        0 |        0
1005.50/1005.72	c 1005s |      19 |   739213 |   628482 |     3642    281 |        0 |        0
1007.49/1007.73	c 1007s |      19 |   740576 |   629682 |     3642    282 |        0 |        0
1009.59/1009.89	c 1009s |      19 |   742076 |   630982 |     3642    282 |        0 |        0
1011.79/1012.04	c 1011s |      19 |   743421 |   632182 |     3642    283 |        0 |        0
1013.89/1014.12	c 1013s |      19 |   744761 |   633382 |     3642    283 |        0 |        0
1015.99/1016.24	c 1016s |      19 |   746332 |   634582 |     3642    284 |        0 |        0
1017.99/1018.29	c 1018s |      19 |   747829 |   635882 |     3642    284 |        0 |        0
1020.09/1020.31	c 1020s |      19 |   749091 |   636982 |     3642    285 |        0 |        0
1022.19/1022.44	c 1022s |      19 |   750427 |   638182 |     3642    285 |        0 |        0
1024.39/1024.61	c 1024s |      19 |   751796 |   639382 |     3642    286 |        0 |        0
1026.39/1026.68	c 1026s |      19 |   753625 |   640782 |     3642    286 |        0 |        0
1028.49/1028.78	c 1028s |      19 |   755368 |   642082 |     3642    287 |        0 |        0
1030.58/1030.81	c 1030s |      19 |   756921 |   643382 |     3642    287 |        0 |        0
1032.78/1033.01	c 1032s |      19 |   758322 |   644582 |     3642    288 |        0 |        0
1034.78/1035.05	c 1034s |      19 |   759774 |   645782 |     3642    288 |        0 |        0
1036.87/1037.16	c 1037s |      19 |   761199 |   646882 |     3642    288 |        0 |        0
1038.97/1039.24	c 1039s |      19 |   762451 |   647782 |     3642    289 |        0 |        0
1041.07/1041.31	c 1041s |      19 |   764056 |   648982 |     3642    289 |        0 |        0
1043.07/1043.36	c 1043s |      19 |   765286 |   649982 |     3642    290 |        0 |        0
1045.17/1045.44	c 1045s |      19 |   766839 |   651182 |     3642    290 |        0 |        0
1047.37/1047.69	c 1047s |      19 |   768204 |   652282 |     3642    291 |        0 |        0
1049.47/1049.78	c 1049s |      19 |   769518 |   653382 |     3642    291 |        0 |        0
1051.67/1051.93	c 1051s |      19 |   770982 |   654582 |     3642    291 |        0 |        0
1053.77/1054.07	c 1053s |      19 |   772304 |   655682 |     3642    292 |        0 |        0
1055.86/1056.19	c 1056s |      19 |   773714 |   656882 |     3642    292 |        0 |        0
1057.96/1058.23	c 1058s |      19 |   774882 |   657882 |     3642    293 |        0 |        0
1059.96/1060.25	c 1060s |      19 |   776180 |   658982 |     3642    293 |        0 |        0
1061.96/1062.27	c 1062s |      19 |   777215 |   659882 |     3642    293 |        0 |        0
1064.06/1064.36	c 1064s |      19 |   778330 |   660782 |     3642    294 |        0 |        0
1066.25/1066.50	c 1066s |      19 |   779937 |   662082 |     4007    294 |        0 |        0
1068.25/1068.55	c 1068s |      19 |   781236 |   663182 |     4007    295 |        0 |        0
1070.36/1070.62	c 1070s |      19 |   782520 |   664282 |     4007    295 |        0 |        0
1072.35/1072.67	c 1072s |      19 |   783988 |   665482 |     4007    295 |        0 |        0
1074.35/1074.69	c 1074s |      19 |   785322 |   666482 |     4007    296 |        0 |        0
1074.95/1075.23	c 1075s |      20 |   785762 |   666827 |     4007    296 |        0 |        0
1076.95/1077.25	c 1077s |      20 |   788812 |   668827 |     4007    297 |        0 |        0
1079.05/1079.37	c 1079s |      20 |   790727 |   670527 |     4007    297 |        0 |        0
1081.15/1081.46	c 1081s |      20 |   792522 |   672127 |     4007    298 |        0 |        0
1083.25/1083.50	c 1083s |      20 |   794009 |   673427 |     4007    298 |        0 |        0
1085.34/1085.66	c 1085s |      20 |   795371 |   674627 |     4007    299 |        0 |        0
1087.34/1087.66	c 1087s |      20 |   796940 |   676027 |     4007    299 |        0 |        0
1089.44/1089.76	c 1089s |      20 |   798294 |   677227 |     4007    300 |        0 |        0
1091.54/1091.84	c 1091s |      20 |   799838 |   678627 |     4007    300 |        0 |        0
1093.54/1093.89	c 1093s |      20 |   801044 |   679727 |     4007    301 |        0 |        0
1095.73/1096.01	c 1095s |      20 |   802379 |   680927 |     4007    301 |        0 |        0
1097.74/1098.06	c 1097s |      20 |   803810 |   682227 |     4007    301 |        0 |        0
1099.83/1100.16	c 1100s |      20 |   805110 |   683427 |     4007    302 |        0 |        0
1101.93/1102.29	c 1102s |      20 |   806403 |   684627 |     4007    302 |        0 |        0
1104.04/1104.35	c 1104s |      20 |   807766 |   685827 |     4007    303 |        0 |        0
1106.13/1106.40	c 1106s |      20 |   809455 |   687327 |     4007    303 |        0 |        0
1108.23/1108.50	c 1108s |      20 |   810852 |   688627 |     4007    304 |        0 |        0
1110.23/1110.59	c 1110s |      20 |   812258 |   689927 |     4007    304 |        0 |        0
1112.33/1112.64	c 1112s |      20 |   813544 |   691127 |     4007    305 |        0 |        0
1114.43/1114.73	c 1114s |      20 |   815045 |   692427 |     4007    305 |        0 |        0
1116.53/1116.86	c 1116s |      20 |   816368 |   693627 |     4007    306 |        0 |        0
1118.63/1118.95	c 1118s |      20 |   817916 |   695027 |     4007    306 |        0 |        0
1120.72/1121.08	c 1120s |      20 |   819126 |   696127 |     4007    306 |        0 |        0
1122.82/1123.10	c 1122s |      20 |   820452 |   697327 |     4007    307 |        0 |        0
1124.82/1125.16	c 1125s |      20 |   821770 |   698527 |     4007    307 |        0 |        0
1126.92/1127.28	c 1127s |      20 |   822869 |   699527 |     4007    308 |        0 |        0
1129.12/1129.40	c 1129s |      20 |   824192 |   700727 |     4007    308 |        0 |        0
1131.22/1131.51	c 1131s |      20 |   825378 |   701827 |     4007    308 |        0 |        0
1133.21/1133.52	c 1133s |      20 |   826355 |   702727 |     4007    309 |        0 |        0
1135.31/1135.63	c 1135s |      20 |   827832 |   704027 |     4007    309 |        0 |        0
1137.42/1137.77	c 1137s |      20 |   829051 |   705127 |     4007    310 |        0 |        0
1139.51/1139.82	c 1139s |      20 |   830244 |   706227 |     4007    310 |        0 |        0
1141.61/1141.93	c 1141s |      20 |   831449 |   707327 |     4007    310 |        0 |        0
1143.71/1144.02	c 1143s |      20 |   832640 |   708427 |     4007    311 |        0 |        0
1145.70/1146.02	c 1145s |      20 |   833974 |   709627 |     4007    311 |        0 |        0
1147.70/1148.05	c 1147s |      20 |   835302 |   710827 |     4007    312 |        0 |        0
1149.70/1150.09	c 1149s |      20 |   836515 |   711927 |     4007    312 |        0 |        0
1151.80/1152.11	c 1151s |      20 |   837476 |   712827 |     4007    312 |        0 |        0
1153.81/1154.14	c 1154s |      20 |   838636 |   713827 |     4007    313 |        0 |        0
1156.00/1156.31	c 1156s |      20 |   839836 |   714927 |     4007    313 |        0 |        0
1158.10/1158.45	c 1158s |      20 |   841306 |   716127 |     4007    314 |        0 |        0
1160.19/1160.50	c 1160s |      20 |   842521 |   717227 |     4007    314 |        0 |        0
1162.29/1162.64	c 1162s |      20 |   843720 |   718327 |     4007    314 |        0 |        0
1164.39/1164.79	c 1164s |      20 |   845132 |   719527 |     4007    315 |        0 |        0
1166.49/1166.81	c 1166s |      20 |   846458 |   720727 |     4007    315 |        0 |        0
1168.49/1168.84	c 1168s |      20 |   847711 |   721827 |     4007    316 |        0 |        0
1170.49/1170.87	c 1170s |      20 |   848827 |   722827 |     4007    316 |        0 |        0
1172.69/1173.07	c 1172s |      20 |   849707 |   723627 |     4007    316 |        0 |        0
1174.80/1175.15	c 1175s |      20 |   850563 |   724427 |     4007    317 |        0 |        0
1176.79/1177.16	c 1177s |      20 |   851939 |   725627 |     4007    317 |        0 |        0
1178.99/1179.36	c 1179s |      20 |   853279 |   726827 |     4007    318 |        0 |        0
1181.09/1181.40	c 1181s |      20 |   854597 |   728027 |     4007    318 |        0 |        0
1183.19/1183.55	c 1183s |      20 |   855810 |   729127 |     4007    318 |        0 |        0
1185.28/1185.69	c 1185s |      20 |   857030 |   730227 |     4007    319 |        0 |        0
1187.48/1187.82	c 1187s |      20 |   858193 |   731327 |     4007    319 |        0 |        0
1189.48/1189.86	c 1189s |      20 |   859291 |   732327 |     4007    320 |        0 |        0
1191.48/1191.88	c 1191s |      20 |   860528 |   733427 |     4007    320 |        0 |        0
1193.49/1193.89	c 1193s |      20 |   861648 |   734427 |     4007    320 |        0 |        0
1195.58/1195.95	c 1195s |      20 |   862734 |   735427 |     4007    321 |        0 |        0
1197.78/1198.15	c 1198s |      20 |   863818 |   736427 |     4007    321 |        0 |        0
1199.87/1200.28	c 1200s |      20 |   864802 |   737327 |     4007    321 |        0 |        0
1201.97/1202.31	c 1202s |      20 |   865826 |   738227 |     4007    322 |        0 |        0
1203.97/1204.31	c 1204s |      20 |   867050 |   739327 |     4007    322 |        0 |        0
1205.96/1206.39	c 1206s |      20 |   868146 |   740327 |     4007    322 |        0 |        0
1208.17/1208.56	c 1208s |      20 |   869239 |   741327 |     4007    323 |        0 |        0
1210.27/1210.61	c 1210s |      20 |   870457 |   742427 |     4007    323 |        0 |        0
1212.57/1212.91	c 1212s |      20 |   871571 |   743427 |     4007    324 |        0 |        0
1214.67/1215.00	c 1214s |      20 |   872804 |   744527 |     4007    324 |        0 |        0
1216.77/1217.15	c 1217s |      20 |   873914 |   745527 |     4007    324 |        0 |        0
1219.06/1219.41	c 1219s |      20 |   874907 |   746427 |     4007    325 |        0 |        0
1221.26/1221.62	c 1221s |      20 |   876024 |   747427 |     4007    325 |        0 |        0
1223.36/1223.71	c 1223s |      20 |   877034 |   748327 |     4007    325 |        0 |        0
1225.66/1226.01	c 1225s |      20 |   878003 |   749227 |     4007    326 |        0 |        0
1227.76/1228.11	c 1227s |      20 |   879010 |   750127 |     4007    326 |        0 |        0
1229.86/1230.25	c 1230s |      20 |   879998 |   751027 |     4007    326 |        0 |        0
1231.86/1232.27	c 1232s |      20 |   880779 |   751727 |     4007    327 |        0 |        0
1234.06/1234.42	c 1234s |      20 |   881800 |   752627 |     4007    327 |        0 |        0
1236.15/1236.58	c 1236s |      20 |   883012 |   753727 |     4007    327 |        0 |        0
1238.25/1238.68	c 1238s |      20 |   883990 |   754627 |     4007    328 |        0 |        0
1240.45/1240.86	c 1240s |      20 |   885092 |   755627 |     4007    328 |        0 |        0
1242.65/1243.05	c 1242s |      20 |   886065 |   756527 |     4007    328 |        0 |        0
1244.84/1245.28	c 1245s |      20 |   886936 |   757327 |     4007    329 |        0 |        0
1246.94/1247.30	c 1247s |      20 |   887805 |   758127 |     4007    329 |        0 |        0
1249.04/1249.40	c 1249s |      20 |   889140 |   759327 |     4007    329 |        0 |        0
1251.05/1251.49	c 1251s |      20 |   890134 |   760227 |     4007    330 |        0 |        0
1253.25/1253.62	c 1253s |      20 |   891135 |   761127 |     4007    330 |        0 |        0
1255.24/1255.65	c 1255s |      20 |   891991 |   761927 |     4007    330 |        0 |        0
1257.44/1257.85	c 1257s |      20 |   892858 |   762727 |     4007    330 |        0 |        0
1259.54/1259.92	c 1259s |      20 |   893892 |   763627 |     4007    331 |        0 |        0
1261.74/1262.12	c 1261s |      20 |   895145 |   764727 |     4007    331 |        0 |        0
1263.75/1264.18	c 1264s |      20 |   896156 |   765627 |     4007    332 |        0 |        0
1265.84/1266.25	c 1266s |      20 |   897133 |   766527 |     4007    332 |        0 |        0
1267.94/1268.33	c 1268s |      20 |   898119 |   767427 |     4007    332 |        0 |        0
1269.94/1270.37	c 1270s |      20 |   898999 |   768227 |     4007    332 |        0 |        0
1272.13/1272.56	c 1272s |      20 |   899874 |   769027 |     4007    333 |        0 |        0
1274.33/1274.74	c 1274s |      20 |   901140 |   770127 |     4007    333 |        0 |        0
1276.42/1276.88	c 1276s |      20 |   902123 |   771027 |     4007    334 |        0 |        0
1278.62/1279.04	c 1278s |      20 |   903222 |   772027 |     4007    334 |        0 |        0
1280.62/1281.07	c 1280s |      20 |   904103 |   772827 |     4007    334 |        0 |        0
1282.82/1283.22	c 1283s |      20 |   904965 |   773627 |     4007    334 |        0 |        0
1284.92/1285.38	c 1285s |      20 |   905825 |   774427 |     4007    335 |        0 |        0
1287.12/1287.58	c 1287s |      20 |   906681 |   775227 |     4007    335 |        0 |        0
1289.12/1289.59	c 1289s |      20 |   907594 |   776027 |     4007    335 |        0 |        0
1291.22/1291.62	c 1291s |      20 |   908620 |   776927 |     4007    336 |        0 |        0
1293.32/1293.74	c 1293s |      20 |   909744 |   777927 |     4007    336 |        0 |        0
1295.41/1295.81	c 1295s |      20 |   910622 |   778727 |     4007    336 |        0 |        0
1297.52/1297.92	c 1297s |      20 |   911523 |   779527 |     4007    337 |        0 |        0
1299.52/1299.93	c 1299s |      20 |   912500 |   780427 |     4007    337 |        0 |        0
1301.72/1302.14	c 1302s |      20 |   913511 |   781327 |     4007    337 |        0 |        0
1303.82/1304.22	c 1304s |      20 |   914441 |   782127 |     4007    338 |        0 |        0
1305.91/1306.38	c 1306s |      20 |   915539 |   783127 |     4007    338 |        0 |        0
1308.11/1308.58	c 1308s |      20 |   916540 |   784027 |     4007    338 |        0 |        0
1310.31/1310.70	c 1310s |      20 |   917421 |   784827 |     4007    338 |        0 |        0
1312.31/1312.77	c 1312s |      20 |   918294 |   785627 |     4007    339 |        0 |        0
1314.51/1314.90	c 1314s |      20 |   919303 |   786527 |     4007    339 |        0 |        0
1316.70/1317.11	c 1316s |      20 |   920312 |   787427 |     4007    339 |        0 |        0
1319.00/1319.49	c 1319s |      20 |   921213 |   788227 |     4007    340 |        0 |        0
1321.20/1321.66	c 1321s |      20 |   922343 |   789227 |     4007    340 |        0 |        0
1323.40/1323.80	c 1323s |      20 |   923383 |   790127 |     4007    340 |        0 |        0
1325.59/1326.01	c 1325s |      20 |   924283 |   790927 |     4007    341 |        0 |        0
1327.80/1328.25	c 1328s |      20 |   925320 |   791827 |     4007    341 |        0 |        0
1330.10/1330.50	c 1330s |      20 |   926208 |   792627 |     4007    341 |        0 |        0
1332.10/1332.54	c 1332s |      20 |   926889 |   793227 |     4007    342 |        0 |        0
1334.30/1334.70	c 1334s |      20 |   927665 |   793927 |     4007    342 |        0 |        0
1336.39/1336.84	c 1336s |      20 |   928915 |   795027 |     4007    342 |        0 |        0
1338.59/1339.10	c 1338s |      20 |   930036 |   796027 |     4007    343 |        0 |        0
1340.79/1341.24	c 1341s |      20 |   931081 |   796927 |     4007    343 |        0 |        0
1342.89/1343.33	c 1343s |      20 |   932077 |   797827 |     4007    343 |        0 |        0
1344.88/1345.37	c 1345s |      20 |   932950 |   798627 |     4007    343 |        0 |        0
1346.98/1347.41	c 1347s |      20 |   933849 |   799427 |     4007    344 |        0 |        0
1348.98/1349.48	c 1349s |      20 |   934858 |   800327 |     4007    344 |        0 |        0
1351.08/1351.50	c 1351s |      20 |   935735 |   801127 |     4007    344 |        0 |        0
1353.08/1353.59	c 1353s |      20 |   936516 |   801827 |     4007    345 |        0 |        0
1355.27/1355.73	c 1355s |      20 |   937412 |   802627 |     4007    345 |        0 |        0
1357.47/1357.92	c 1357s |      20 |   938284 |   803427 |     4007    345 |        0 |        0
1359.48/1359.98	c 1359s |      20 |   939026 |   804127 |     4007    345 |        0 |        0
1361.68/1362.15	c 1362s |      20 |   939793 |   804827 |     4007    346 |        0 |        0
1363.88/1364.31	c 1364s |      20 |   940905 |   805827 |     4007    346 |        0 |        0
1365.87/1366.38	c 1366s |      20 |   941889 |   806727 |     4007    346 |        0 |        0
1367.97/1368.48	c 1368s |      20 |   942789 |   807527 |     4007    347 |        0 |        0
1370.17/1370.63	c 1370s |      20 |   943671 |   808327 |     4007    347 |        0 |        0
1372.37/1372.80	c 1372s |      20 |   944804 |   809327 |     4007    347 |        0 |        0
1374.37/1374.84	c 1374s |      20 |   945799 |   810227 |     4007    348 |        0 |        0
1376.56/1377.02	c 1376s |      20 |   947277 |   811527 |     4007    348 |        0 |        0
1378.76/1379.27	c 1379s |      20 |   948476 |   812627 |     4007    349 |        0 |        0
1380.86/1381.38	c 1381s |      20 |   949814 |   813827 |     4007    349 |        0 |        0
1383.06/1383.58	c 1383s |      20 |   950993 |   814927 |     4007    349 |        0 |        0
1385.26/1385.71	c 1385s |      20 |   952080 |   815927 |     4007    350 |        0 |        0
1387.36/1387.86	c 1387s |      20 |   953260 |   817027 |     4007    350 |        0 |        0
1389.45/1389.98	c 1389s |      20 |   954356 |   818027 |     4007    350 |        0 |        0
1391.65/1392.10	c 1391s |      20 |   955443 |   819027 |     4007    351 |        0 |        0
1393.65/1394.13	c 1393s |      20 |   956988 |   820327 |     4007    351 |        0 |        0
1395.76/1396.25	c 1396s |      20 |   958194 |   821427 |     4007    352 |        0 |        0
1397.86/1398.37	c 1398s |      20 |   959693 |   822727 |     4007    352 |        0 |        0
1399.85/1400.38	c 1400s |      20 |   960815 |   823727 |     4007    353 |        0 |        0
1401.95/1402.49	c 1402s |      20 |   962286 |   825027 |     4007    353 |        0 |        0
1404.05/1404.51	c 1404s |      20 |   963503 |   826127 |     4007    353 |        0 |        0
1406.14/1406.69	c 1406s |      20 |   964609 |   827127 |     4007    354 |        0 |        0
1408.34/1408.85	c 1408s |      20 |   965943 |   828327 |     4007    354 |        0 |        0
1410.34/1410.87	c 1410s |      20 |   966912 |   829227 |     4007    355 |        0 |        0
1412.54/1413.02	c 1412s |      20 |   968236 |   830427 |     4007    355 |        0 |        0
1414.64/1415.17	c 1415s |      20 |   969450 |   831527 |     4007    355 |        0 |        0
1416.84/1417.34	c 1417s |      20 |   970731 |   832627 |     4007    356 |        0 |        0
1418.84/1419.35	c 1419s |      20 |   971972 |   833727 |     4007    356 |        0 |        0
1420.94/1421.42	c 1421s |      20 |   973074 |   834727 |     4007    356 |        0 |        0
1423.03/1423.55	c 1423s |      20 |   974325 |   835827 |     4007    357 |        0 |        0
1425.03/1425.56	c 1425s |      20 |   975547 |   836927 |     4007    357 |        0 |        0
1427.13/1427.68	c 1427s |      20 |   976680 |   837927 |     4007    358 |        0 |        0
1429.33/1429.88	c 1429s |      20 |   977870 |   839027 |     4007    358 |        0 |        0
1431.43/1431.95	c 1431s |      20 |   978972 |   840027 |     4007    358 |        0 |        0
1433.63/1434.10	c 1433s |      20 |   980075 |   841027 |     4007    359 |        0 |        0
1435.73/1436.20	c 1436s |      20 |   981343 |   842127 |     4007    359 |        0 |        0
1437.83/1438.38	c 1438s |      20 |   982442 |   843127 |     4007    360 |        0 |        0
1440.03/1440.51	c 1440s |      20 |   983909 |   844427 |     4007    360 |        0 |        0
1442.02/1442.57	c 1442s |      20 |   985140 |   845527 |     4007    360 |        0 |        0
1444.22/1444.72	c 1444s |      20 |   986469 |   846727 |     4007    361 |        0 |        0
1446.42/1446.90	c 1446s |      20 |   987827 |   847927 |     4007    361 |        0 |        0
1448.53/1449.03	c 1448s |      20 |   988932 |   848927 |     4007    362 |        0 |        0
1450.63/1451.18	c 1451s |      20 |   990289 |   850127 |     4007    362 |        0 |        0
1452.72/1453.29	c 1453s |      20 |   991499 |   851227 |     4007    362 |        0 |        0
1454.91/1455.40	c 1455s |      20 |   992876 |   852427 |     4007    363 |        0 |        0
1456.91/1457.44	c 1457s |      20 |   994144 |   853527 |     4007    363 |        0 |        0
1459.01/1459.54	c 1459s |      20 |   995288 |   854527 |     4007    364 |        0 |        0
1461.01/1461.56	c 1461s |      20 |   996521 |   855627 |     4007    364 |        0 |        0
1463.11/1463.68	c 1463s |      20 |   997770 |   856727 |     4007    364 |        0 |        0
1465.31/1465.81	c 1465s |      20 |   998920 |   857727 |     4007    365 |        0 |        0
1467.41/1467.94	c 1467s |      20 |  1000271 |   858927 |     4007    365 |        0 |        0
1469.41/1469.96	c 1469s |      20 |  1001387 |   859927 |     4007    366 |        0 |        0
1471.51/1472.03	c 1471s |      20 |  1002609 |   861027 |     4007    366 |        0 |        0
1473.71/1474.26	c 1474s |      20 |  1003714 |   862027 |     4007    366 |        0 |        0
1475.80/1476.38	c 1476s |      20 |  1004759 |   862927 |     4007    367 |        0 |        0
1477.90/1478.42	c 1478s |      20 |  1005864 |   863927 |     4007    367 |        0 |        0
1479.90/1480.47	c 1480s |      20 |  1006877 |   864827 |     4007    367 |        0 |        0
1482.00/1482.55	c 1482s |      20 |  1008002 |   865827 |     4007    368 |        0 |        0
1484.00/1484.58	c 1484s |      20 |  1008901 |   866627 |     4007    368 |        0 |        0
1486.10/1486.64	c 1486s |      20 |  1010016 |   867627 |     4007    368 |        0 |        0
1488.20/1488.70	c 1488s |      20 |  1011017 |   868527 |     4007    369 |        0 |        0
1490.30/1490.88	c 1490s |      20 |  1012262 |   869627 |     4007    369 |        0 |        0
1492.40/1492.96	c 1492s |      20 |  1013244 |   870527 |     4007    369 |        0 |        0
1494.49/1495.06	c 1494s |      20 |  1014024 |   871227 |     4007    370 |        0 |        0
1496.59/1497.10	c 1496s |      20 |  1015053 |   872127 |     4007    370 |        0 |        0
1498.69/1499.27	c 1499s |      20 |  1016075 |   873027 |     4007    370 |        0 |        0
1500.79/1501.35	c 1501s |      20 |  1016865 |   873727 |     4007    371 |        0 |        0
1503.09/1503.61	c 1503s |      20 |  1017958 |   874727 |     4007    371 |        0 |        0
1505.28/1505.82	c 1505s |      20 |  1018939 |   875627 |     4007    371 |        0 |        0
1507.48/1508.06	c 1507s |      20 |  1019809 |   876427 |     4007    372 |        0 |        0
1509.68/1510.20	c 1510s |      20 |  1020669 |   877227 |     4007    372 |        0 |        0
1511.68/1512.25	c 1512s |      20 |  1021657 |   878127 |     4007    372 |        0 |        0
1513.88/1514.42	c 1514s |      20 |  1022869 |   879227 |     4007    373 |        0 |        0
1515.87/1516.43	c 1516s |      20 |  1023975 |   880227 |     4007    373 |        0 |        0
1517.97/1518.56	c 1518s |      20 |  1025050 |   881227 |     4007    373 |        0 |        0
1519.98/1520.57	c 1520s |      20 |  1026054 |   882127 |     4007    374 |        0 |        0
1522.18/1522.72	c 1522s |      20 |  1027140 |   883127 |     4007    374 |        0 |        0
1524.17/1524.77	c 1524s |      20 |  1028118 |   884027 |     4007    374 |        0 |        0
1526.27/1526.88	c 1526s |      20 |  1028975 |   884827 |     4007    375 |        0 |        0
1528.37/1528.98	c 1528s |      20 |  1029928 |   885727 |     4007    375 |        0 |        0
1530.57/1531.14	c 1531s |      20 |  1030906 |   886627 |     4007    375 |        0 |        0
1532.67/1533.25	c 1533s |      20 |  1031663 |   887327 |     4007    375 |        0 |        0
1534.77/1535.36	c 1535s |      20 |  1032537 |   888127 |     4007    376 |        0 |        0
1537.06/1537.61	c 1537s |      20 |  1033510 |   889027 |     4007    376 |        0 |        0
1539.06/1539.66	c 1539s |      20 |  1034290 |   889727 |     4007    376 |        0 |        0
1541.06/1541.67	c 1541s |      20 |  1035189 |   890527 |     4007    377 |        0 |        0
1543.16/1543.70	c 1543s |      20 |  1036276 |   891527 |     4007    377 |        0 |        0
1545.16/1545.79	c 1545s |      20 |  1037262 |   892427 |     4007    377 |        0 |        0
1547.26/1547.86	c 1547s |      20 |  1038285 |   893327 |     4007    378 |        0 |        0
1549.46/1550.00	c 1549s |      20 |  1039345 |   894327 |     4007    378 |        0 |        0
1551.66/1552.21	c 1552s |      20 |  1040218 |   895127 |     4007    378 |        0 |        0
1553.65/1554.26	c 1554s |      20 |  1041373 |   896127 |     4007    379 |        0 |        0
1555.75/1556.33	c 1556s |      20 |  1042596 |   897227 |     4007    379 |        0 |        0
1557.75/1558.34	c 1558s |      20 |  1043600 |   898127 |     4007    379 |        0 |        0
1559.85/1560.48	c 1560s |      20 |  1044572 |   899027 |     4007    380 |        0 |        0
1562.15/1562.70	c 1562s |      20 |  1045770 |   900127 |     4007    380 |        0 |        0
1564.35/1564.90	c 1564s |      20 |  1046879 |   901127 |     4007    380 |        0 |        0
1566.45/1567.04	c 1566s |      20 |  1047967 |   902127 |     4007    381 |        0 |        0
1568.65/1569.26	c 1569s |      20 |  1049052 |   903127 |     4007    381 |        0 |        0
1570.95/1571.55	c 1571s |      20 |  1050040 |   904027 |     4007    382 |        0 |        0
1573.05/1573.62	c 1573s |      20 |  1051030 |   904927 |     4007    382 |        0 |        0
1575.15/1575.71	c 1575s |      20 |  1052026 |   905827 |     4007    382 |        0 |        0
1577.25/1577.86	c 1577s |      20 |  1052883 |   906627 |     4007    382 |        0 |        0
1579.54/1580.12	c 1579s |      20 |  1053908 |   907527 |     4007    383 |        0 |        0
1581.55/1582.15	c 1582s |      20 |  1055260 |   908627 |     4007    383 |        0 |        0
1583.75/1584.33	c 1584s |      20 |  1056264 |   909527 |     4007    384 |        0 |        0
1585.85/1586.42	c 1586s |      20 |  1057375 |   910527 |     4007    384 |        0 |        0
1587.84/1588.50	c 1588s |      20 |  1058697 |   911627 |     4007    384 |        0 |        0
1589.94/1590.55	c 1590s |      20 |  1059733 |   912527 |     4007    385 |        0 |        0
1592.04/1592.68	c 1592s |      20 |  1061006 |   913627 |     4007    385 |        0 |        0
1594.04/1594.70	c 1594s |      20 |  1062187 |   914627 |     4007    385 |        0 |        0
1596.14/1596.73	c 1596s |      20 |  1063177 |   915527 |     4007    386 |        0 |        0
1598.14/1598.79	c 1598s |      20 |  1064312 |   916527 |     4007    386 |        0 |        0
1600.34/1600.97	c 1600s |      20 |  1065463 |   917527 |     4007    386 |        0 |        0
1602.54/1603.15	c 1603s |      20 |  1066379 |   918327 |     4007    387 |        0 |        0
1604.74/1605.33	c 1605s |      20 |  1067503 |   919327 |     4007    387 |        0 |        0
1606.86/1607.43	c 1607s |      20 |  1068520 |   920227 |     4007    387 |        0 |        0
1609.06/1609.64	c 1609s |      20 |  1069389 |   921027 |     4007    388 |        0 |        0
1611.16/1611.77	c 1611s |      20 |  1070665 |   922127 |     4007    388 |        0 |        0
1613.35/1613.95	c 1613s |      20 |  1071714 |   923027 |     4007    388 |        0 |        0
1615.45/1616.10	c 1615s |      20 |  1072577 |   923827 |     4007    389 |        0 |        0
1617.55/1618.18	c 1618s |      20 |  1073735 |   924827 |     4007    389 |        0 |        0
1619.75/1620.31	c 1620s |      20 |  1075030 |   925927 |     4007    389 |        0 |        0
1621.75/1622.39	c 1622s |      20 |  1076115 |   926927 |     4007    390 |        0 |        0
1623.85/1624.47	c 1624s |      20 |  1077334 |   928027 |     4007    390 |        0 |        0
1626.14/1626.75	c 1626s |      20 |  1078426 |   929027 |     4007    391 |        0 |        0
1628.34/1628.92	c 1628s |      20 |  1079537 |   930027 |     4007    391 |        0 |        0
1630.34/1630.99	c 1630s |      20 |  1080668 |   931027 |     4007    391 |        0 |        0
1632.54/1633.17	c 1633s |      20 |  1081790 |   932027 |     4007    392 |        0 |        0
1634.64/1635.27	c 1635s |      20 |  1082993 |   933127 |     4007    392 |        0 |        0
1636.84/1637.42	c 1637s |      20 |  1084142 |   934127 |     4007    392 |        0 |        0
1638.84/1639.43	c 1639s |      20 |  1085127 |   935027 |     4007    393 |        0 |        0
1640.85/1641.44	c 1641s |      20 |  1086124 |   935927 |     4007    393 |        0 |        0
1642.94/1643.54	c 1643s |      20 |  1087226 |   936927 |     4007    393 |        0 |        0
1644.94/1645.59	c 1645s |      20 |  1088237 |   937827 |     4007    394 |        0 |        0
1647.14/1647.70	c 1647s |      20 |  1089329 |   938827 |     4007    394 |        0 |        0
1649.24/1649.85	c 1649s |      20 |  1090317 |   939727 |     4007    394 |        0 |        0
1651.34/1651.96	c 1651s |      20 |  1091188 |   940527 |     4007    395 |        0 |        0
1653.54/1654.14	c 1654s |      20 |  1092314 |   941527 |     4007    395 |        0 |        0
1655.64/1656.23	c 1656s |      20 |  1093480 |   942527 |     4007    395 |        0 |        0
1657.64/1658.26	c 1658s |      20 |  1094480 |   943427 |     4007    396 |        0 |        0
1659.74/1660.39	c 1660s |      20 |  1095480 |   944327 |     4007    396 |        0 |        0
1661.85/1662.43	c 1662s |      20 |  1096691 |   945427 |     4007    396 |        0 |        0
1663.95/1664.53	c 1664s |      20 |  1097948 |   946527 |     4007    397 |        0 |        0
1666.04/1666.66	c 1666s |      20 |  1099240 |   947627 |     4007    397 |        0 |        0
1668.04/1668.68	c 1668s |      20 |  1100322 |   948527 |     4007    398 |        0 |        0
1670.14/1670.75	c 1670s |      20 |  1101464 |   949527 |     4007    398 |        0 |        0
1672.34/1672.94	c 1672s |      20 |  1102594 |   950527 |     4007    398 |        0 |        0
1674.54/1675.13	c 1674s |      20 |  1103599 |   951427 |     4007    399 |        0 |        0
1676.64/1677.28	c 1677s |      20 |  1104739 |   952427 |     4007    399 |        0 |        0
1678.73/1679.39	c 1679s |      20 |  1105844 |   953427 |     4007    399 |        0 |        0
1680.93/1681.56	c 1681s |      20 |  1106947 |   954427 |     4007    400 |        0 |        0
1682.93/1683.59	c 1683s |      20 |  1107954 |   955327 |     4007    400 |        0 |        0
1685.13/1685.71	c 1685s |      20 |  1108970 |   956227 |     4007    400 |        0 |        0
1687.14/1687.71	c 1687s |      20 |  1109985 |   957127 |     4007    401 |        0 |        0
1689.24/1689.85	c 1689s |      20 |  1111070 |   958127 |     4007    401 |        0 |        0
1691.44/1692.03	c 1691s |      20 |  1112077 |   959027 |     4007    401 |        0 |        0
1693.53/1694.20	c 1694s |      20 |  1112964 |   959827 |     4007    402 |        0 |        0
1695.63/1696.23	c 1696s |      20 |  1113828 |   960627 |     4007    402 |        0 |        0
1697.73/1698.39	c 1698s |      20 |  1114815 |   961527 |     4007    402 |        0 |        0
1699.93/1700.51	c 1700s |      20 |  1115937 |   962527 |     4007    403 |        0 |        0
1702.13/1702.73	c 1702s |      20 |  1117164 |   963627 |     4007    403 |        0 |        0
1704.23/1704.89	c 1704s |      20 |  1118144 |   964527 |     4007    403 |        0 |        0
1706.33/1706.90	c 1706s |      20 |  1119149 |   965427 |     4007    404 |        0 |        0
1708.33/1708.96	c 1708s |      20 |  1120155 |   966327 |     4007    404 |        0 |        0
1710.43/1711.06	c 1710s |      20 |  1121162 |   967227 |     4007    404 |        0 |        0
1712.63/1713.22	c 1713s |      20 |  1121920 |   967927 |     4007    405 |        0 |        0
1714.83/1715.41	c 1715s |      20 |  1122948 |   968827 |     4007    405 |        0 |        0
1716.83/1717.47	c 1717s |      20 |  1123847 |   969627 |     4007    405 |        0 |        0
1719.03/1719.67	c 1719s |      20 |  1124753 |   970427 |     4007    405 |        0 |        0
1721.13/1721.79	c 1721s |      20 |  1125563 |   971127 |     4007    406 |        0 |        0
1723.23/1723.81	c 1723s |      20 |  1126834 |   972227 |     4007    406 |        0 |        0
1725.42/1726.03	c 1725s |      20 |  1128210 |   973427 |     4007    407 |        0 |        0
1727.42/1728.09	c 1727s |      20 |  1129481 |   974527 |     4007    407 |        0 |        0
1729.72/1730.32	c 1730s |      20 |  1130787 |   975627 |     4007    407 |        0 |        0
1731.92/1732.57	c 1732s |      20 |  1131773 |   976527 |     4007    408 |        0 |        0
1734.02/1734.63	c 1734s |      20 |  1132945 |   977527 |     4007    408 |        0 |        0
1736.12/1736.70	c 1736s |      20 |  1134105 |   978527 |     4007    408 |        0 |        0
1738.22/1738.89	c 1738s |      20 |  1135200 |   979527 |     4007    409 |        0 |        0
1740.52/1741.11	c 1740s |      20 |  1136285 |   980527 |     4007    409 |        0 |        0
1742.62/1743.27	c 1743s |      20 |  1137266 |   981427 |     4007    409 |        0 |        0
1744.72/1745.32	c 1745s |      20 |  1138121 |   982227 |     4007    410 |        0 |        0
1746.82/1747.48	c 1747s |      20 |  1139098 |   983127 |     4007    410 |        0 |        0
1748.82/1749.48	c 1749s |      20 |  1140077 |   984027 |     4007    410 |        0 |        0
1751.02/1751.63	c 1751s |      20 |  1141211 |   985027 |     4007    411 |        0 |        0
1753.03/1753.68	c 1753s |      20 |  1142328 |   986027 |     4007    411 |        0 |        0
1755.12/1755.77	c 1755s |      20 |  1143318 |   986927 |     4007    411 |        0 |        0
1757.32/1757.90	c 1757s |      20 |  1144327 |   987827 |     4007    412 |        0 |        0
1759.32/1759.99	c 1759s |      20 |  1145488 |   988827 |     4007    412 |        0 |        0
1761.42/1762.00	c 1761s |      20 |  1146510 |   989727 |     4007    412 |        0 |        0
1763.53/1764.19	c 1764s |      20 |  1147625 |   990727 |     4007    413 |        0 |        0
1765.63/1766.27	c 1766s |      20 |  1148625 |   991627 |     4007    413 |        0 |        0
1767.63/1768.28	c 1768s |      20 |  1149621 |   992527 |     4007    413 |        0 |        0
1769.83/1770.47	c 1770s |      20 |  1150729 |   993527 |     4408    414 |        0 |        0
1771.92/1772.59	c 1772s |      20 |  1151697 |   994427 |     4408    414 |        0 |        0
1774.03/1774.67	c 1774s |      20 |  1152576 |   995227 |     4408    414 |        0 |        0
1776.13/1776.76	c 1776s |      20 |  1153455 |   996027 |     4408    415 |        0 |        0
1778.22/1778.84	c 1778s |      20 |  1154434 |   996927 |     4408    415 |        0 |        0
1780.42/1781.03	c 1780s |      20 |  1155295 |   997727 |     4408    415 |        0 |        0
1782.42/1783.04	c 1782s |      20 |  1156195 |   998527 |     4408    415 |        0 |        0
1784.62/1785.24	c 1785s |      20 |  1157077 |   999327 |     4408    416 |        0 |        0
1786.62/1787.25	c 1787s |      20 |  1157841 |  1000027 |     4408    416 |        0 |        0
1787.42/1788.04	c 1787s |      21 |  1158218 |  1000345 |     4408    416 |        0 |        0
1789.43/1790.09	c 1789s |      21 |  1160452 |  1001545 |     4408    417 |        0 |        0
1791.63/1792.22	c 1792s |      21 |  1161848 |  1002745 |     4408    417 |        0 |        0
1793.62/1794.27	c 1794s |      21 |  1162985 |  1003745 |     4408    417 |        0 |        0
1795.72/1796.35	c 1796s |      21 |  1164015 |  1004645 |     4408    418 |        0 |        0
1797.72/1798.35	c 1798s |      21 |  1165007 |  1005545 |     4408    418 |        0 |        0
1799.82/1800.41	c 1800s |      21 |  1166077 |  1006445 |     4408    418 |        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-4093401-1466085951/watcher-4093401-1466085951 -o /tmp/evaluation-result-4093401-1466085951/solver-4093401-1466085951 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093401-1466085951.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.10 2.09 3/179 15102
/proc/meminfo: memFree=30379132/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=665020 CPUtime=0 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 2468 0 0 0 0 0 0 0 20 0 4 0 10640763 680980480 3341 33554432000 4194304 16246674 140734482641440 140734482640864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 166767 3349 441 2943 0 163661 0
[pid=15102/tid=15103] ppid=15099 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 698806272 3409 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 703000576 3426 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10640763 708243456 3445 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.17 2.10 2.09 3/179 15102
/proc/meminfo: memFree=30379132/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 25482 0 0 0 5 4 0 0 20 0 4 0 10640763 1247350784 26341 33554432000 4194304 16246674 140734482641440 140734482623360 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 304529 26350 773 2943 0 301423 0
[pid=15102/tid=15103] ppid=15099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1247350784 26357 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1247350784 26366 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10640763 1247350784 26374 33554432000 4194304 16246674 140734482641440 139991629946032 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.200495 s]
/proc/loadavg: 2.17 2.10 2.09 3/179 15102
/proc/meminfo: memFree=30379132/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 50733 0 0 0 12 7 0 0 20 0 4 0 10640763 1249447936 51569 33554432000 4194304 16246674 140734482641440 140734482640752 6010629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 305041 51569 867 2943 0 301935 0
[pid=15102/tid=15103] ppid=15099 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1249447936 51569 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1249447936 51569 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1249447936 51569 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300457 s]
/proc/loadavg: 2.17 2.10 2.09 3/179 15102
/proc/meminfo: memFree=30379132/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1304132 CPUtime=0.29 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 57580 0 0 0 22 7 0 0 20 0 4 0 10640763 1335431168 58417 33554432000 4194304 16246674 140734482641440 140734482640752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 326033 58436 867 2943 0 322927 0
[pid=15102/tid=15103] ppid=15099 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1335431168 58448 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1335431168 58458 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1335431168 58469 33554432000 4194304 16246674 140734482641440 139991629946032 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) 1304132

[startup+0.70038 s]
/proc/loadavg: 2.17 2.10 2.09 3/179 15102
/proc/meminfo: memFree=30379132/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 132070 0 0 0 52 17 0 0 20 0 4 0 10640763 1337528320 132906 33554432000 4194304 16246674 140734482641440 140734482640752 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 326545 132927 867 2943 0 323439 0
[pid=15102/tid=15103] ppid=15099 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1337528320 132940 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1337528320 132949 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1337528320 132957 33554432000 4194304 16246674 140734482641440 139991629946032 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) 1306180

[startup+1.50038 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 15106
/proc/meminfo: memFree=29343216/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 267879 0 0 0 115 34 0 0 20 0 4 0 10640763 1338576896 268715 33554432000 4194304 16246674 140734482641440 140734482623360 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 326801 268715 871 2943 0 323695 0
[pid=15102/tid=15103] ppid=15099 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1338576896 268715 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1338576896 268715 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1338576896 268715 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10038 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 15106
/proc/meminfo: memFree=29304900/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 267917 0 0 0 275 34 0 0 20 0 4 0 10640763 1338576896 268753 33554432000 4194304 16246674 140734482641440 140734482623360 5754969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 326801 268753 872 2943 0 323695 0
[pid=15102/tid=15103] ppid=15099 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1338576896 268753 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1338576896 268753 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1338576896 268753 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 15106
/proc/meminfo: memFree=29303004/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1309252 CPUtime=6.28 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 268429 0 0 0 594 34 0 0 20 0 4 0 10640763 1340674048 269265 33554432000 4194304 16246674 140734482641440 140734482623360 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 327313 269265 872 2943 0 324207 0
[pid=15102/tid=15103] ppid=15099 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1340674048 269265 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1340674048 269265 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1340674048 269265 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.14 2.09 2.09 4/183 15106
/proc/meminfo: memFree=29302920/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1310276 CPUtime=12.68 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 268440 0 0 0 1234 34 0 0 20 0 4 0 10640763 1341722624 269276 33554432000 4194304 16246674 140734482641440 140734482623360 5546111 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 327569 269276 872 2943 0 324463 0
[pid=15102/tid=15103] ppid=15099 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1341722624 269276 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1341722624 269276 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1341722624 269276 33554432000 4194304 16246674 140734482641440 139991629946032 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) 1310276

[startup+25.5004 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 15106
/proc/meminfo: memFree=29297460/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 269769 0 0 0 2515 34 0 0 20 0 4 0 10640763 1346965504 270605 33554432000 4194304 16246674 140734482641440 140734482623360 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 328849 270605 872 2943 0 325743 0
[pid=15102/tid=15103] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270605 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270605 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270605 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1004 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 15106
/proc/meminfo: memFree=29279572/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1315396 CPUtime=51.09 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 269965 0 0 0 5074 35 0 0 20 0 4 0 10640763 1346965504 270801 33554432000 4194304 16246674 140734482641440 140734482623360 6010629 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 328849 270801 872 2943 0 325743 0
[pid=15102/tid=15103] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270801 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270801 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270801 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.03 2.06 2.08 3/183 15107
/proc/meminfo: memFree=29279340/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1315396 CPUtime=102.27 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 269967 0 0 0 10192 35 0 0 20 0 4 0 10640763 1346965504 270803 33554432000 4194304 16246674 140734482641440 140734482623360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 328849 270803 874 2943 0 325743 0
[pid=15102/tid=15103] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270803 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270803 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1346965504 270803 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.02 3/183 15137
/proc/meminfo: memFree=28601940/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1332804 CPUtime=1301.92 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 274606 0 0 0 130148 44 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 140734482623360 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333201 275160 876 2943 0 330095 0
[pid=15102/tid=15103] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.02 4/183 15139
/proc/meminfo: memFree=28601744/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1332804 CPUtime=1361.88 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 274649 0 0 0 136142 46 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 140734482623360 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333201 275160 876 2943 0 330095 0
[pid=15102/tid=15103] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/183 15140
/proc/meminfo: memFree=28577616/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1332804 CPUtime=1421.84 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 274697 0 0 0 142138 46 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 140734482623360 13927412 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333201 275160 876 2943 0 330095 0
[pid=15102/tid=15103] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/184 15144
/proc/meminfo: memFree=28522460/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1332804 CPUtime=1481.8 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 274734 0 0 0 148134 46 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 140734482623360 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333201 275160 876 2943 0 330095 0
[pid=15102/tid=15103] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275160 33554432000 4194304 16246674 140734482641440 139991629946032 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) 1332804

[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/183 15145
/proc/meminfo: memFree=28522580/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1332804 CPUtime=1541.76 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 274780 0 0 0 154130 46 0 0 20 0 4 0 10640763 1364791296 275161 33554432000 4194304 16246674 140734482641440 140734482623360 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333201 275161 876 2943 0 330095 0
[pid=15102/tid=15103] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275161 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275161 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1364791296 275161 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/183 15146
/proc/meminfo: memFree=28521992/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1333828 CPUtime=1601.74 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 275047 0 0 0 160128 46 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 140734482623360 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333457 275417 876 2943 0 330351 0
[pid=15102/tid=15103] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15392
/proc/meminfo: memFree=30036856/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1333828 CPUtime=1661.75 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 275047 0 0 0 166128 47 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 140734482623360 5721551 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333457 275417 876 2943 0 330351 0
[pid=15102/tid=15103] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.01 4/183 15491
/proc/meminfo: memFree=29254656/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1333828 CPUtime=1721.73 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 275047 0 0 0 172126 47 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 140734482623360 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333457 275417 876 2943 0 330351 0
[pid=15102/tid=15103] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1333828

[startup+1782.31 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 15589
/proc/meminfo: memFree=29256860/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1333828 CPUtime=1781.73 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 275047 0 0 0 178125 48 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 140734482623360 13927398 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333457 275417 876 2943 0 330351 0
[pid=15102/tid=15103] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.92 2.00 1.99 3/183 15736
/proc/meminfo: memFree=29549616/32872528 swapFree=532956/565660
[pid=15102] ppid=15099 vsize=1333828 CPUtime=1800.02 cores=1,3,5,7
/proc/15102/stat : 15102 (toysat) R 15099 15102 11130 0 -1 4202496 275047 0 0 0 179954 48 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 140734482623360 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15102/statm: 333457 275417 876 2943 0 330351 0
[pid=15102/tid=15103] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15103/stat : 15103 (toysat) S 15099 15102 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991720111344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15102/tid=15104] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15104/stat : 15104 (toysat) S 15099 15102 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991640419568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15102/tid=15105] ppid=15099 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/15102/task/15105/stat : 15105 (toysat) S 15099 15102 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10640763 1365839872 275417 33554432000 4194304 16246674 140734482641440 139991629946032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1333828

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 15102 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.03
CPU user time (s): 1799.55
CPU system time (s): 0.480926
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.480926
maximum resident set size= 1101668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275047
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= 482
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33134 second user time and 7.2179 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 16:05:51
IDJOB=4093401
IDBENCH=78738
IDSOLVER=2553
FILE ID=node138/4093401-1466085951
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--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-4093401-1466085951/watcher-4093401-1466085951 -o /tmp/evaluation-result-4093401-1466085951/solver-4093401-1466085951 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093401-1466085951.wbo

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

MD5SUM BENCH= 821b84a7358221fefacfb8b50c463b59
RANDOM SEED=1032006838

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30379660 kB
Buffers:           34524 kB
Cached:           107580 kB
SwapCached:         1380 kB
Active:          1159688 kB
Inactive:          67240 kB
Active(anon):    1085400 kB
Inactive(anon):     1664 kB
Active(file):      74288 kB
Inactive(file):    65576 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       1743792 kB
Mapped:            10832 kB
Shmem:                 0 kB
Slab:             567192 kB
SReclaimable:      10992 kB
SUnreclaim:       556200 kB
KernelStack:        1520 kB
PageTables:         7356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 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= 71716 MiB
End job on node138 at 2016-06-16 16:35:52