Trace number 4109210

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo
MD5SUM855765d60afa4a3ed9dadddc2a73110a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark23
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 variables1050
Total number of constraints65
Number of soft constraints17
Number of constraints which are clauses35
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 939
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 938
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:20:27+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-4109210-1466342427.wbo"]
0.00/0.01	c use --random-gen="386678742 716618197 4051235383 2753590189 3000726453 2415421355 2903399435 3898177368 1609548808 3715967598 3111800147 3034419015 4191144963 1939513378 2532872694 3628127019 1055780591 909196420 3833586395 179203177 2897154312 4290643239 2774298126 3739823189 2597234507 27118924 3010892580 3364686101 2499424802 4187488132 1528954237 38592138 1330479327 788925080 88969463 3217507396 1832581313 3495995775 1370091296 1714344454 380664327 1263541222 3842786282 3169188012 3271565764 2227498416 3339306715 3986793181 1523712711 2736035451 3925928974 3197555214 2454003040 1649693315 3013489807 1193759505 2500060776 2878006198 2434111530 2351071459 2032059484 3086405063 107458284 773507045 4111662410 654437682 4011721832 1043077276 101687120 1303269967 2350369834 3137096950 1970304199 1424364301 205621221 2065538967 1552087496 896292657 3453748379 3738200465 1871501857 52508691 1616395621 1454294505 1332206035 761373554 3267045362 776390381 3166040962 1214026954 254035632 367050663 1842439531 3256052326 3170552979 368209244 1517545704 360421692 163580502 3123046293 1680567 2839961982 1054341045 1170944298 1654986397 1570339686 3347976504 1895978424 2978343434 2460280303 2665244774 1166786447 315509578 1994981537 1487149685 4171674347 1426698412 4089549880 2866552966 2975462844 2213074181 2374603331 906149008 1640677122 2195861724 3038940609 2483626086 288936751 2657673206 5197756 4116784678 4078110386 39891329 1740619965 1105434100 2631281600 2865012644 1102609003 2697860078 927916007 3240429185 3022435132 498094234 1616318211 1111923806 3758865442 2302019752 1375235861 1774207305 368111361 1010681397 1219244510 2234484590 823965931 2101482175 2714822118 2230617936 157597990 2462583984 2526247299 2656596546 2332019579 1982670157 2636824625 2287380731 1116781754 1601532231 3156484709 2996127700 1212829022 1193577013 1414600475 2662743044 448112413 2060737676 889843361 2454639408 3319212944 862227927 2379037460 225527666 2298816339 2448809143 2675109232 749827824 481222626 2046605385 24859906 2294673204 366192032 544510207 878870940 3334643528 607322705 2272814601 2689112933 2121532567 642908554 302610910 1793096431 3743486447 2768519184 1891019908 1138533344 1010835839 1285173251 341751106 2775779849 3032279704 2644915577 1838351465 437760513 2916036312 3300119978 1627468312 3663341885 3234145731 1642687939 1594980232 206096290 406270645 3467033733 3030731893 3704283005 1257581521 4142329827 81059783 52599906 2598422473 4221295970 2207465371 19689801 367712956 2847299288 3182270642 157891187 3360787539 1538798148 3765491942 4135857636 4101476736 2385849443 1420866232 3363941891 216215502 565244248 351002302 2073610550 593784158 2477956100 3173801068 91796223 2406296468 3165851600 3881194180 2066714533 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1050
0.00/0.05	c #constraints 65
0.00/0.06	c BCD2: Hardening is enabled.
0.00/0.06	c BCD2: BiasedSearch is enabled.
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      377      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      164 |      100 |      377      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      721 |      106 |      415      0 |        0 |        0
0.00/0.09	c #cpu_time = 0.034s
0.00/0.09	c #wall_clock_time = 0.034s
0.00/0.09	c #decision = 721
0.00/0.09	c #random_decision = 2
0.00/0.09	c #conflict = 106
0.00/0.09	c #restart = 1
0.00/0.09	o 625
0.00/0.09	c BCD2: updating upper bound: 938 -> 624
0.00/0.09	c BCD2: 0 <= obj <= 624
0.00/0.09	c BCD2: #cores=0, #unrelaxed=17, #relaxed=0, #hardened=0
0.00/0.09	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |      415      0 |        0 |        0
0.09/0.17	c  0.1s |       1 |      579 |      100 |      415      0 |        0 |        0
0.29/0.31	c  0.2s |       2 |     1421 |      250 |      457      0 |        0 |        0
0.49/0.52	c  0.4s |       3 |     2355 |      475 |      503      0 |        0 |        0
0.69/0.77	c  0.7s |       4 |     3515 |      813 |      554      1 |        0 |        0
0.99/1.09	c  1.0s |       5 |     4732 |     1320 |      610      2 |        0 |        0
1.49/1.57	c  1.5s |       6 |     6180 |     2081 |      671      3 |        0 |        0
2.20/2.28	c  2.2s |       7 |     8183 |     3223 |      739      4 |        0 |        0
3.59/3.61	c  3.5s |       8 |    11563 |     4936 |      813      7 |        0 |        0
5.69/5.70	c  5.6s |       8 |    15024 |     7336 |      813     10 |        0 |        0
5.79/5.87	c  5.8s |       9 |    15211 |     7506 |      895     10 |        0 |        0
7.89/7.91	c  7.8s |       9 |    18238 |     9606 |      895     12 |        0 |        0
9.90/9.91	c  9.8s |      10 |    20204 |    11361 |      985     14 |        0 |        0
11.89/11.97	c 11.9s |      10 |    23579 |    13661 |      985     17 |        0 |        0
13.99/14.04	c 13.9s |      10 |    26099 |    15861 |      985     19 |        0 |        0
15.29/15.31	c 15.2s |      11 |    27503 |    17144 |     1084     20 |        0 |        0
17.29/17.34	c 17.3s |      11 |    31763 |    19344 |     1084     23 |        0 |        0
19.39/19.46	c 19.4s |      11 |    34806 |    21544 |     1084     25 |        0 |        0
21.39/21.48	c 21.4s |      11 |    37043 |    23344 |     1084     26 |        0 |        0
23.39/23.49	c 23.4s |      11 |    38907 |    24944 |     1084     28 |        0 |        0
24.59/24.61	c 24.5s |      12 |    39888 |    25819 |     1193     29 |        0 |        0
26.59/26.63	c 26.5s |      12 |    43426 |    28219 |     1193     32 |        0 |        0
28.69/28.71	c 28.6s |      12 |    46135 |    30519 |     1193     35 |        0 |        0
30.69/30.76	c 30.7s |      12 |    48490 |    32519 |     1193     37 |        0 |        0
32.78/32.81	c 32.7s |      12 |    50807 |    34519 |     1193     40 |        0 |        0
34.78/34.85	c 34.8s |      12 |    53385 |    36619 |     1193     42 |        0 |        0
36.48/36.56	c 36.5s |      13 |    55996 |    38832 |     1313     45 |        0 |        0
38.59/38.65	c 38.6s |      13 |    59453 |    41132 |     1313     47 |        0 |        0
40.58/40.67	c 40.6s |      13 |    61472 |    42932 |     1313     48 |        0 |        0
42.68/42.75	c 42.7s |      13 |    63584 |    44832 |     1313     50 |        0 |        0
44.78/44.82	c 44.7s |      13 |    65422 |    46532 |     1313     51 |        0 |        0
46.78/46.84	c 46.7s |      13 |    67445 |    48332 |     1313     53 |        0 |        0
48.78/48.85	c 48.8s |      13 |    69609 |    50232 |     1313     55 |        0 |        0
50.88/50.90	c 50.8s |      13 |    71879 |    52232 |     1313     56 |        0 |        0
52.98/53.04	c 52.9s |      13 |    73681 |    53832 |     1313     58 |        0 |        0
55.08/55.14	c 55.0s |      13 |    75622 |    55532 |     1313     59 |        0 |        0
57.08/57.18	c 57.1s |      13 |    77370 |    57132 |     1313     61 |        0 |        0
58.58/58.65	c 58.6s |      14 |    78719 |    58352 |     1445     62 |        0 |        0
60.68/60.72	c 60.6s |      14 |    82328 |    60952 |     1445     64 |        0 |        0
62.69/62.77	c 62.7s |      14 |    84801 |    63152 |     1445     66 |        0 |        0
64.78/64.82	c 64.7s |      14 |    87130 |    65252 |     1445     68 |        0 |        0
66.78/66.84	c 66.7s |      14 |    89475 |    67352 |     1445     70 |        0 |        0
68.78/68.89	c 68.8s |      14 |    91661 |    69352 |     1445     71 |        0 |        0
70.88/70.97	c 70.9s |      14 |    94293 |    71652 |     1445     73 |        0 |        0
72.98/73.00	c 72.9s |      14 |    96417 |    73552 |     1445     75 |        0 |        0
75.08/75.10	c 75.0s |      14 |    98502 |    75452 |     1445     76 |        0 |        0
77.08/77.17	c 77.1s |      14 |   100924 |    77552 |     1445     78 |        0 |        0
79.07/79.19	c 79.1s |      14 |   103051 |    79452 |     1445     80 |        0 |        0
81.27/81.30	c 81.2s |      14 |   105179 |    81352 |     1445     81 |        0 |        0
83.27/83.38	c 83.3s |      14 |   107210 |    83152 |     1445     83 |        0 |        0
85.37/85.47	c 85.4s |      14 |   109456 |    85152 |     1445     84 |        0 |        0
87.47/87.54	c 87.4s |      14 |   111547 |    87052 |     1590     86 |        0 |        0
88.17/88.23	c 88.1s |      15 |   112166 |    87632 |     1590     86 |        0 |        0
90.29/90.32	c 90.2s |      15 |   115855 |    89932 |     1590     88 |        0 |        0
92.28/92.33	c 92.2s |      15 |   118083 |    91832 |     1590     90 |        0 |        0
94.28/94.35	c 94.3s |      15 |   120383 |    93832 |     1590     91 |        0 |        0
96.38/96.41	c 96.3s |      15 |   122542 |    95732 |     1590     93 |        0 |        0
98.48/98.51	c 98.4s |      15 |   124598 |    97532 |     1590     94 |        0 |        0
100.48/100.51	c  100s |      15 |   126684 |    99332 |     1590     96 |        0 |        0
102.48/102.52	c  102s |      15 |   128805 |   101232 |     1590     97 |        0 |        0
104.58/104.61	c  104s |      15 |   130863 |   103032 |     1590     99 |        0 |        0
106.68/106.71	c  106s |      15 |   133015 |   104932 |     1590    100 |        0 |        0
108.68/108.71	c  108s |      15 |   134962 |   106632 |     1590    101 |        0 |        0
110.68/110.73	c  110s |      15 |   136853 |   108332 |     1590    103 |        0 |        0
112.68/112.78	c  112s |      15 |   138636 |   109932 |     1590    104 |        0 |        0
114.77/114.83	c  114s |      15 |   140627 |   111732 |     1590    105 |        0 |        0
116.77/116.86	c  116s |      15 |   142328 |   113332 |     1590    107 |        0 |        0
118.78/118.89	c  118s |      15 |   144074 |   114932 |     1590    108 |        0 |        0
120.87/120.98	c  120s |      15 |   145935 |   116632 |     1590    109 |        0 |        0
123.07/123.13	c  123s |      15 |   147808 |   118332 |     1590    111 |        0 |        0
125.07/125.18	c  125s |      15 |   149459 |   119832 |     1590    112 |        0 |        0
127.17/127.25	c  127s |      15 |   151497 |   121632 |     1590    113 |        0 |        0
129.27/129.32	c  129s |      15 |   153419 |   123332 |     1590    114 |        0 |        0
131.27/131.34	c  131s |      15 |   155324 |   125032 |     1590    116 |        0 |        0
133.27/133.35	c  133s |      15 |   157102 |   126632 |     1590    117 |        0 |        0
135.28/135.38	c  135s |      15 |   159184 |   128432 |     1590    118 |        0 |        0
137.37/137.45	c  137s |      15 |   161123 |   130132 |     1590    120 |        0 |        0
139.37/139.44	c  139s |      16 |   162711 |   131552 |     1750    121 |        0 |        0
141.47/141.55	c  141s |      16 |   166292 |   134052 |     1750    123 |        0 |        0
143.57/143.61	c  143s |      16 |   168578 |   136052 |     1750    124 |        0 |        0
145.67/145.72	c  145s |      16 |   170773 |   137952 |     1750    125 |        0 |        0
147.67/147.79	c  147s |      16 |   172928 |   139852 |     1750    127 |        0 |        0
149.67/149.79	c  149s |      16 |   175116 |   141752 |     1750    128 |        0 |        0
151.77/151.86	c  151s |      16 |   177667 |   143852 |     1750    130 |        0 |        0
153.76/153.86	c  153s |      16 |   180011 |   145852 |     1750    131 |        0 |        0
155.87/155.92	c  155s |      16 |   182265 |   147852 |     1750    133 |        0 |        0
157.97/158.00	c  157s |      16 |   184233 |   149652 |     1750    134 |        0 |        0
159.96/160.03	c  159s |      16 |   186260 |   151452 |     1750    136 |        0 |        0
161.96/162.04	c  161s |      16 |   188196 |   153152 |     1750    137 |        0 |        0
164.06/164.12	c  164s |      16 |   190101 |   154852 |     1750    138 |        0 |        0
166.07/166.14	c  166s |      16 |   191889 |   156452 |     1750    139 |        0 |        0
168.16/168.24	c  168s |      16 |   193718 |   158052 |     1750    140 |        0 |        0
170.16/170.29	c  170s |      16 |   195378 |   159552 |     1750    142 |        0 |        0
172.26/172.32	c  172s |      16 |   197212 |   161152 |     1750    143 |        0 |        0
174.36/174.46	c  174s |      16 |   198807 |   162552 |     1750    144 |        0 |        0
176.47/176.56	c  176s |      16 |   200788 |   164252 |     1750    145 |        0 |        0
178.47/178.57	c  178s |      16 |   202304 |   165652 |     1750    146 |        0 |        0
180.56/180.65	c  180s |      16 |   204212 |   167352 |     1750    147 |        0 |        0
182.57/182.67	c  182s |      16 |   206149 |   169052 |     1750    149 |        0 |        0
184.66/184.74	c  184s |      16 |   207890 |   170652 |     1750    150 |        0 |        0
186.66/186.78	c  186s |      16 |   209795 |   172352 |     1750    151 |        0 |        0
188.76/188.84	c  188s |      16 |   211577 |   173952 |     1750    152 |        0 |        0
190.86/190.91	c  190s |      16 |   213258 |   175452 |     1750    153 |        0 |        0
192.86/192.99	c  192s |      16 |   215251 |   177252 |     1750    155 |        0 |        0
194.96/195.04	c  194s |      16 |   217052 |   178852 |     1750    156 |        0 |        0
196.97/197.07	c  196s |      16 |   218887 |   180452 |     1750    157 |        0 |        0
199.07/199.16	c  199s |      16 |   220929 |   182252 |     1750    159 |        0 |        0
201.06/201.19	c  201s |      16 |   222696 |   183852 |     1750    160 |        0 |        0
203.16/203.25	c  203s |      16 |   224629 |   185552 |     1750    161 |        0 |        0
205.26/205.39	c  205s |      16 |   226394 |   187152 |     1750    162 |        0 |        0
207.26/207.39	c  207s |      16 |   227966 |   188552 |     1750    163 |        0 |        0
209.36/209.46	c  209s |      16 |   229781 |   190152 |     1750    164 |        0 |        0
211.45/211.58	c  211s |      16 |   231563 |   191752 |     1750    166 |        0 |        0
213.65/213.70	c  213s |      16 |   233438 |   193452 |     1750    167 |        0 |        0
215.75/215.83	c  215s |      16 |   235081 |   194952 |     1750    168 |        0 |        0
217.77/217.85	c  217s |      16 |   236608 |   196352 |     1926    169 |        0 |        0
219.16/219.20	c  219s |      17 |   237819 |   197432 |     1926    170 |        0 |        0
221.17/221.25	c  221s |      17 |   241610 |   199732 |     1926    171 |        0 |        0
223.27/223.33	c  223s |      17 |   243656 |   201532 |     1926    173 |        0 |        0
225.36/225.43	c  225s |      17 |   245774 |   203432 |     1926    174 |        0 |        0
227.36/227.45	c  227s |      17 |   247560 |   205032 |     1926    175 |        0 |        0
229.46/229.56	c  229s |      17 |   249422 |   206732 |     1926    176 |        0 |        0
231.46/231.58	c  231s |      17 |   251051 |   208232 |     1926    177 |        0 |        0
233.56/233.63	c  233s |      17 |   252793 |   209832 |     1926    178 |        0 |        0
235.55/235.64	c  235s |      17 |   254677 |   211532 |     1926    179 |        0 |        0
237.56/237.67	c  237s |      17 |   256594 |   213232 |     1926    181 |        0 |        0
239.65/239.78	c  239s |      17 |   258609 |   215032 |     1926    182 |        0 |        0
241.75/241.87	c  241s |      17 |   260772 |   216932 |     1926    183 |        0 |        0
243.85/243.95	c  243s |      17 |   262794 |   218732 |     1926    184 |        0 |        0
245.95/246.03	c  245s |      17 |   264715 |   220432 |     1926    186 |        0 |        0
248.05/248.14	c  248s |      17 |   266721 |   222232 |     1926    187 |        0 |        0
250.15/250.28	c  250s |      17 |   268619 |   223932 |     1926    188 |        0 |        0
252.25/252.30	c  252s |      17 |   270201 |   225332 |     1926    189 |        0 |        0
254.35/254.44	c  254s |      17 |   271946 |   226932 |     1926    190 |        0 |        0
256.36/256.48	c  256s |      17 |   273489 |   228332 |     1926    191 |        0 |        0
258.46/258.51	c  258s |      17 |   275156 |   229832 |     1926    192 |        0 |        0
260.45/260.56	c  260s |      17 |   276763 |   231332 |     1926    193 |        0 |        0
262.55/262.65	c  262s |      17 |   278399 |   232832 |     1926    194 |        0 |        0
264.65/264.76	c  264s |      17 |   280023 |   234332 |     1926    195 |        0 |        0
266.75/266.86	c  266s |      17 |   282074 |   236132 |     1926    196 |        0 |        0
268.85/268.96	c  268s |      17 |   283939 |   237832 |     1926    198 |        0 |        0
270.84/271.00	c  270s |      17 |   285935 |   239632 |     1926    199 |        0 |        0
273.04/273.10	c  273s |      17 |   287803 |   241332 |     1926    200 |        0 |        0
275.15/275.25	c  275s |      17 |   289765 |   243032 |     1926    201 |        0 |        0
277.16/277.26	c  277s |      17 |   291674 |   244732 |     1926    202 |        0 |        0
279.25/279.35	c  279s |      17 |   293539 |   246432 |     1926    204 |        0 |        0
281.35/281.44	c  281s |      17 |   295417 |   248132 |     1926    205 |        0 |        0
283.45/283.54	c  283s |      17 |   297166 |   249632 |     1926    206 |        0 |        0
285.55/285.60	c  285s |      17 |   299002 |   251232 |     1926    207 |        0 |        0
287.55/287.66	c  287s |      17 |   300846 |   252832 |     1926    208 |        0 |        0
289.65/289.70	c  289s |      17 |   302516 |   254332 |     1926    209 |        0 |        0
291.65/291.76	c  291s |      17 |   304063 |   255732 |     1926    210 |        0 |        0
293.76/293.83	c  293s |      17 |   305810 |   257232 |     1926    211 |        0 |        0
295.86/295.96	c  295s |      17 |   307697 |   258932 |     1926    212 |        0 |        0
297.85/298.00	c  297s |      17 |   309438 |   260432 |     1926    213 |        0 |        0
299.95/300.09	c  299s |      17 |   311273 |   262032 |     1926    214 |        0 |        0
302.05/302.15	c  302s |      17 |   312813 |   263432 |     1926    215 |        0 |        0
304.15/304.27	c  304s |      17 |   314616 |   265032 |     1926    217 |        0 |        0
306.24/306.37	c  306s |      17 |   316167 |   266432 |     1926    218 |        0 |        0
308.24/308.38	c  308s |      17 |   317914 |   267932 |     1926    219 |        0 |        0
310.34/310.43	c  310s |      17 |   319550 |   269432 |     1926    220 |        0 |        0
312.45/312.54	c  312s |      17 |   321117 |   270832 |     1926    221 |        0 |        0
314.55/314.65	c  314s |      17 |   322865 |   272432 |     1926    222 |        0 |        0
316.54/316.69	c  316s |      17 |   324206 |   273632 |     1926    223 |        0 |        0
318.64/318.75	c  318s |      17 |   325764 |   275032 |     1926    223 |        0 |        0
320.74/320.85	c  320s |      17 |   327312 |   276432 |     1926    224 |        0 |        0
322.84/322.92	c  322s |      17 |   328734 |   277732 |     1926    225 |        0 |        0
324.94/325.05	c  324s |      17 |   330398 |   279232 |     1926    226 |        0 |        0
326.93/327.05	c  326s |      17 |   332004 |   280632 |     1926    227 |        0 |        0
329.03/329.11	c  329s |      17 |   333676 |   282132 |     1926    228 |        0 |        0
331.14/331.21	c  331s |      17 |   335341 |   283632 |     1926    229 |        0 |        0
333.24/333.40	c  333s |      17 |   336968 |   285132 |     1926    231 |        0 |        0
335.33/335.47	c  335s |      17 |   338489 |   286532 |     1926    231 |        0 |        0
337.43/337.57	c  337s |      17 |   340372 |   288232 |     1926    233 |        0 |        0
339.53/339.67	c  339s |      17 |   341971 |   289732 |     1926    234 |        0 |        0
341.54/341.69	c  341s |      17 |   343484 |   291132 |     1926    235 |        0 |        0
343.64/343.71	c  343s |      17 |   344902 |   292432 |     1926    236 |        0 |        0
345.74/345.80	c  345s |      17 |   346407 |   293832 |     1926    237 |        0 |        0
347.74/347.83	c  347s |      17 |   348004 |   295232 |     2119    237 |        0 |        0
349.04/349.10	c  349s |      18 |   349137 |   296252 |     2119    238 |        0 |        0
351.04/351.11	c  351s |      18 |   352080 |   298152 |     2119    240 |        0 |        0
353.05/353.14	c  353s |      18 |   354190 |   299952 |     2119    241 |        0 |        0
355.14/355.20	c  355s |      18 |   356133 |   301652 |     2119    242 |        0 |        0
357.14/357.25	c  357s |      18 |   357970 |   303252 |     2119    243 |        0 |        0
359.23/359.36	c  359s |      18 |   359830 |   304852 |     2119    244 |        0 |        0
361.24/361.38	c  361s |      18 |   361664 |   306452 |     2119    245 |        0 |        0
363.33/363.43	c  363s |      18 |   363471 |   308052 |     2119    246 |        0 |        0
365.33/365.46	c  365s |      18 |   365551 |   309852 |     2119    247 |        0 |        0
367.44/367.53	c  367s |      18 |   367657 |   311652 |     2119    248 |        0 |        0
369.43/369.58	c  369s |      18 |   369430 |   313252 |     2119    249 |        0 |        0
371.53/371.67	c  371s |      18 |   371119 |   314752 |     2119    250 |        0 |        0
373.53/373.68	c  373s |      18 |   372796 |   316252 |     2119    251 |        0 |        0
375.63/375.79	c  375s |      18 |   374813 |   317952 |     2119    252 |        0 |        0
377.83/377.90	c  377s |      18 |   376653 |   319552 |     2119    253 |        0 |        0
379.93/380.01	c  379s |      18 |   378394 |   321052 |     2119    254 |        0 |        0
381.93/382.02	c  381s |      18 |   380550 |   322852 |     2119    256 |        0 |        0
384.03/384.11	c  384s |      18 |   382643 |   324652 |     2119    257 |        0 |        0
386.14/386.23	c  386s |      18 |   384431 |   326252 |     2119    258 |        0 |        0
388.13/388.24	c  388s |      18 |   386505 |   328052 |     2119    259 |        0 |        0
390.13/390.29	c  390s |      18 |   388476 |   329752 |     2119    260 |        0 |        0
392.23/392.37	c  392s |      18 |   390471 |   331552 |     2119    261 |        0 |        0
394.33/394.44	c  394s |      18 |   392313 |   333152 |     2119    262 |        0 |        0
396.43/396.50	c  396s |      18 |   394195 |   334852 |     2119    263 |        0 |        0
398.43/398.60	c  398s |      18 |   396119 |   336552 |     2119    264 |        0 |        0
400.63/400.74	c  400s |      18 |   397917 |   338152 |     2119    266 |        0 |        0
402.72/402.82	c  402s |      18 |   399856 |   339852 |     2119    267 |        0 |        0
404.83/404.92	c  404s |      18 |   401725 |   341552 |     2119    268 |        0 |        0
406.93/407.05	c  406s |      18 |   403355 |   343052 |     2119    269 |        0 |        0
408.92/409.07	c  408s |      18 |   405193 |   344652 |     2119    270 |        0 |        0
411.02/411.18	c  411s |      18 |   406970 |   346252 |     2119    271 |        0 |        0
413.22/413.32	c  413s |      18 |   408485 |   347652 |     2119    272 |        0 |        0
415.22/415.37	c  415s |      18 |   410519 |   349352 |     2119    273 |        0 |        0
417.32/417.47	c  417s |      18 |   412546 |   351152 |     2119    274 |        0 |        0
419.43/419.59	c  419s |      18 |   414320 |   352752 |     2119    275 |        0 |        0
421.63/421.70	c  421s |      18 |   416207 |   354452 |     2119    276 |        0 |        0
423.73/423.83	c  423s |      18 |   417969 |   356052 |     2119    277 |        0 |        0
425.83/425.92	c  425s |      18 |   419631 |   357552 |     2119    278 |        0 |        0
427.93/428.04	c  427s |      18 |   421033 |   358852 |     2119    279 |        0 |        0
429.93/430.07	c  429s |      18 |   422962 |   360552 |     2119    280 |        0 |        0
432.03/432.10	c  432s |      18 |   424797 |   362152 |     2119    281 |        0 |        0
434.03/434.17	c  434s |      18 |   426770 |   363852 |     2119    282 |        0 |        0
436.13/436.24	c  436s |      18 |   428804 |   365652 |     2119    283 |        0 |        0
438.12/438.24	c  438s |      18 |   430559 |   367252 |     2119    284 |        0 |        0
440.12/440.24	c  440s |      18 |   432351 |   368852 |     2119    285 |        0 |        0
442.23/442.33	c  442s |      18 |   434056 |   370352 |     2119    286 |        0 |        0
444.22/444.39	c  444s |      18 |   435849 |   371952 |     2119    288 |        0 |        0
446.32/446.42	c  446s |      18 |   437372 |   373352 |     2119    288 |        0 |        0
448.42/448.53	c  448s |      18 |   439013 |   374852 |     2119    289 |        0 |        0
450.52/450.66	c  450s |      18 |   440787 |   376452 |     2119    290 |        0 |        0
452.52/452.69	c  452s |      18 |   442311 |   377852 |     2119    291 |        0 |        0
454.72/454.86	c  454s |      18 |   443958 |   379352 |     2119    292 |        0 |        0
456.82/456.97	c  456s |      18 |   445596 |   380852 |     2119    293 |        0 |        0
458.92/459.08	c  458s |      18 |   447269 |   382352 |     2119    294 |        0 |        0
461.02/461.13	c  461s |      18 |   448691 |   383652 |     2119    295 |        0 |        0
463.13/463.23	c  463s |      18 |   450582 |   385252 |     2119    296 |        0 |        0
465.22/465.32	c  465s |      18 |   452194 |   386752 |     2119    297 |        0 |        0
467.32/467.44	c  467s |      18 |   453708 |   388152 |     2119    298 |        0 |        0
469.32/469.46	c  469s |      18 |   455253 |   389552 |     2119    299 |        0 |        0
471.42/471.52	c  471s |      18 |   456909 |   391052 |     2119    300 |        0 |        0
473.52/473.63	c  473s |      18 |   458461 |   392452 |     2119    301 |        0 |        0
475.51/475.67	c  475s |      18 |   459776 |   393652 |     2119    302 |        0 |        0
477.72/477.80	c  477s |      18 |   461309 |   395052 |     2119    303 |        0 |        0
479.71/479.85	c  479s |      18 |   463119 |   396652 |     2119    304 |        0 |        0
481.82/481.92	c  481s |      18 |   464568 |   397952 |     2119    304 |        0 |        0
483.81/483.97	c  483s |      18 |   466028 |   399252 |     2119    305 |        0 |        0
485.91/486.07	c  485s |      18 |   467347 |   400452 |     2119    306 |        0 |        0
488.01/488.11	c  488s |      18 |   468638 |   401652 |     2119    307 |        0 |        0
490.11/490.23	c  490s |      18 |   470472 |   403152 |     2119    308 |        0 |        0
492.11/492.29	c  492s |      18 |   472074 |   404552 |     2119    309 |        0 |        0
494.21/494.37	c  494s |      18 |   473646 |   405952 |     2119    310 |        0 |        0
496.31/496.43	c  496s |      18 |   475131 |   407252 |     2119    310 |        0 |        0
498.41/498.58	c  498s |      18 |   476828 |   408752 |     2119    311 |        0 |        0
500.52/500.64	c  500s |      18 |   478287 |   410052 |     2119    312 |        0 |        0
502.51/502.66	c  502s |      18 |   479620 |   411252 |     2119    313 |        0 |        0
504.61/504.72	c  504s |      18 |   481082 |   412552 |     2119    314 |        0 |        0
506.71/506.80	c  506s |      18 |   482417 |   413752 |     2119    315 |        0 |        0
508.81/508.95	c  508s |      18 |   484025 |   415152 |     2119    316 |        0 |        0
510.92/511.07	c  510s |      18 |   485509 |   416452 |     2119    316 |        0 |        0
513.02/513.12	c  513s |      18 |   486886 |   417652 |     2119    317 |        0 |        0
515.11/515.25	c  515s |      18 |   488105 |   418752 |     2119    318 |        0 |        0
517.21/517.35	c  517s |      18 |   489617 |   420052 |     2119    319 |        0 |        0
519.31/519.46	c  519s |      18 |   491232 |   421452 |     2119    320 |        0 |        0
521.51/521.67	c  521s |      18 |   492665 |   422752 |     2119    321 |        0 |        0
523.62/523.77	c  523s |      18 |   494154 |   424052 |     2119    321 |        0 |        0
525.72/525.81	c  525s |      18 |   495695 |   425352 |     2119    322 |        0 |        0
527.71/527.85	c  527s |      18 |   497056 |   426552 |     2119    323 |        0 |        0
529.81/529.99	c  529s |      18 |   498625 |   427952 |     2119    324 |        0 |        0
532.01/532.10	c  532s |      18 |   499984 |   429152 |     2119    325 |        0 |        0
534.11/534.22	c  534s |      18 |   501686 |   430652 |     2119    326 |        0 |        0
536.21/536.32	c  536s |      18 |   503271 |   432052 |     2119    327 |        0 |        0
538.31/538.46	c  538s |      18 |   504741 |   433352 |     2119    327 |        0 |        0
540.40/540.52	c  540s |      18 |   506073 |   434552 |     2119    328 |        0 |        0
542.51/542.63	c  542s |      18 |   507681 |   435952 |     2119    329 |        0 |        0
544.51/544.68	c  544s |      18 |   509179 |   437252 |     2119    330 |        0 |        0
546.71/546.81	c  546s |      18 |   510507 |   438452 |     2119    331 |        0 |        0
548.70/548.90	c  548s |      18 |   511806 |   439652 |     2119    332 |        0 |        0
550.90/551.03	c  550s |      18 |   513250 |   440952 |     2119    332 |        0 |        0
552.90/553.06	c  552s |      18 |   514768 |   442252 |     2331    333 |        0 |        0
555.00/555.12	c  555s |      18 |   516254 |   443552 |     2331    334 |        0 |        0
556.40/556.57	c  556s |      19 |   517348 |   444482 |     2331    335 |        0 |        0
558.50/558.66	c  558s |      19 |   520667 |   446682 |     2331    336 |        0 |        0
560.60/560.75	c  560s |      19 |   522225 |   448082 |     2331    337 |        0 |        0
562.60/562.76	c  562s |      19 |   524043 |   449682 |     2331    338 |        0 |        0
564.60/564.77	c  564s |      19 |   525849 |   451282 |     2331    339 |        0 |        0
566.70/566.80	c  566s |      19 |   527652 |   452882 |     2331    340 |        0 |        0
568.70/568.84	c  568s |      19 |   529644 |   454582 |     2331    341 |        0 |        0
570.70/570.86	c  570s |      19 |   531436 |   456182 |     2331    342 |        0 |        0
572.80/572.95	c  572s |      19 |   533237 |   457782 |     2331    343 |        0 |        0
574.80/574.99	c  574s |      19 |   534911 |   459282 |     2331    343 |        0 |        0
576.90/577.01	c  576s |      19 |   536866 |   460982 |     2331    345 |        0 |        0
579.00/579.17	c  579s |      19 |   538800 |   462682 |     2331    346 |        0 |        0
581.10/581.24	c  581s |      19 |   540384 |   464082 |     2331    346 |        0 |        0
583.10/583.27	c  583s |      19 |   541804 |   465382 |     2331    347 |        0 |        0
585.11/585.28	c  585s |      19 |   543170 |   466582 |     2331    348 |        0 |        0
587.20/587.33	c  587s |      19 |   544412 |   467682 |     2331    349 |        0 |        0
589.20/589.34	c  589s |      19 |   545417 |   468582 |     2331    349 |        0 |        0
591.20/591.35	c  591s |      19 |   547440 |   470282 |     2331    350 |        0 |        0
593.30/593.46	c  593s |      19 |   549503 |   472082 |     2331    351 |        0 |        0
595.50/595.64	c  595s |      19 |   551170 |   473582 |     2331    352 |        0 |        0
597.60/597.73	c  597s |      19 |   552943 |   475182 |     2331    353 |        0 |        0
599.60/599.79	c  599s |      19 |   554732 |   476782 |     2331    354 |        0 |        0
601.71/601.84	c  601s |      19 |   556380 |   478282 |     2331    355 |        0 |        0
603.81/604.00	c  603s |      19 |   558014 |   479782 |     2331    356 |        0 |        0
605.90/606.01	c  605s |      19 |   559873 |   481382 |     2331    357 |        0 |        0
607.90/608.08	c  607s |      19 |   561604 |   482882 |     2331    358 |        0 |        0
610.00/610.10	c  610s |      19 |   563177 |   484282 |     2331    359 |        0 |        0
612.00/612.14	c  612s |      19 |   565016 |   485882 |     2331    360 |        0 |        0
614.00/614.15	c  614s |      19 |   566579 |   487282 |     2331    361 |        0 |        0
616.09/616.27	c  616s |      19 |   568367 |   488882 |     2331    361 |        0 |        0
618.20/618.39	c  618s |      19 |   570174 |   490482 |     2331    362 |        0 |        0
620.30/620.47	c  620s |      19 |   571797 |   491982 |     2331    363 |        0 |        0
622.39/622.59	c  622s |      19 |   573321 |   493382 |     2331    364 |        0 |        0
624.49/624.67	c  624s |      19 |   574783 |   494682 |     2331    365 |        0 |        0
626.59/626.79	c  626s |      19 |   576503 |   496182 |     2331    366 |        0 |        0
628.69/628.88	c  628s |      19 |   577928 |   497482 |     2331    367 |        0 |        0
630.79/630.96	c  630s |      19 |   579646 |   498982 |     2331    368 |        0 |        0
632.79/632.98	c  632s |      19 |   581702 |   500782 |     2331    369 |        0 |        0
634.89/635.08	c  634s |      19 |   583584 |   502482 |     2331    370 |        0 |        0
636.99/637.15	c  637s |      19 |   585511 |   504182 |     2331    371 |        0 |        0
639.10/639.20	c  639s |      19 |   587352 |   505782 |     2331    372 |        0 |        0
641.09/641.27	c  641s |      19 |   589034 |   507182 |     2331    373 |        0 |        0
643.19/643.30	c  643s |      19 |   590802 |   508682 |     2331    374 |        0 |        0
645.19/645.37	c  645s |      19 |   592713 |   510382 |     2331    375 |        0 |        0
647.29/647.47	c  647s |      19 |   594334 |   511882 |     2331    375 |        0 |        0
649.29/649.50	c  649s |      19 |   595898 |   513282 |     2331    376 |        0 |        0
651.39/651.59	c  651s |      19 |   597707 |   514882 |     2331    377 |        0 |        0
653.49/653.65	c  653s |      19 |   599749 |   516682 |     2331    378 |        0 |        0
655.59/655.73	c  655s |      19 |   601425 |   518182 |     2331    379 |        0 |        0
657.59/657.79	c  657s |      19 |   603183 |   519682 |     2331    380 |        0 |        0
659.68/659.81	c  659s |      19 |   604940 |   521182 |     2331    381 |        0 |        0
661.68/661.84	c  661s |      19 |   606418 |   522482 |     2331    382 |        0 |        0
663.78/663.90	c  663s |      19 |   607883 |   523782 |     2331    383 |        0 |        0
665.88/666.02	c  665s |      19 |   609683 |   525382 |     2331    384 |        0 |        0
667.88/668.07	c  667s |      19 |   611262 |   526782 |     2331    385 |        0 |        0
670.08/670.26	c  670s |      19 |   613043 |   528382 |     2331    386 |        0 |        0
672.18/672.36	c  672s |      19 |   614578 |   529782 |     2331    386 |        0 |        0
674.38/674.51	c  674s |      19 |   616128 |   531182 |     2331    387 |        0 |        0
676.39/676.60	c  676s |      19 |   617578 |   532482 |     2331    388 |        0 |        0
678.49/678.66	c  678s |      19 |   618892 |   533682 |     2331    389 |        0 |        0
680.49/680.70	c  680s |      19 |   620365 |   534982 |     2331    390 |        0 |        0
682.59/682.79	c  682s |      19 |   622292 |   536682 |     2331    391 |        0 |        0
684.79/684.93	c  684s |      19 |   624030 |   538182 |     2331    391 |        0 |        0
686.89/687.03	c  686s |      19 |   625859 |   539782 |     2331    392 |        0 |        0
688.89/689.05	c  688s |      19 |   627211 |   540982 |     2331    393 |        0 |        0
690.99/691.13	c  691s |      19 |   628678 |   542282 |     2331    394 |        0 |        0
692.99/693.13	c  693s |      19 |   630289 |   543682 |     2331    395 |        0 |        0
695.09/695.29	c  695s |      19 |   631645 |   544882 |     2331    396 |        0 |        0
697.19/697.35	c  697s |      19 |   633333 |   546382 |     2331    396 |        0 |        0
699.28/699.41	c  699s |      19 |   634872 |   547782 |     2331    397 |        0 |        0
701.39/701.50	c  701s |      19 |   636473 |   549182 |     2331    398 |        0 |        0
703.38/703.54	c  703s |      19 |   637931 |   550482 |     2331    399 |        0 |        0
705.48/705.60	c  705s |      19 |   639490 |   551882 |     2331    400 |        0 |        0
707.48/707.69	c  707s |      19 |   640973 |   553182 |     2331    401 |        0 |        0
709.58/709.70	c  709s |      19 |   642494 |   554582 |     2331    401 |        0 |        0
711.69/711.82	c  711s |      19 |   644071 |   555982 |     2331    402 |        0 |        0
713.79/713.93	c  713s |      19 |   645627 |   557382 |     2331    403 |        0 |        0
715.88/716.02	c  715s |      19 |   646985 |   558582 |     2331    404 |        0 |        0
717.88/718.09	c  717s |      19 |   648579 |   559982 |     2331    405 |        0 |        0
719.98/720.13	c  720s |      19 |   650176 |   561382 |     2331    406 |        0 |        0
721.98/722.17	c  722s |      19 |   651835 |   562882 |     2331    406 |        0 |        0
724.08/724.22	c  724s |      19 |   653374 |   564282 |     2331    407 |        0 |        0
726.18/726.35	c  726s |      19 |   654894 |   565682 |     2331    408 |        0 |        0
728.28/728.47	c  728s |      19 |   656593 |   567182 |     2331    409 |        0 |        0
730.28/730.48	c  730s |      19 |   658153 |   568582 |     2331    410 |        0 |        0
732.38/732.56	c  732s |      19 |   659769 |   569982 |     2331    411 |        0 |        0
734.48/734.60	c  734s |      19 |   661453 |   571482 |     2331    412 |        0 |        0
736.58/736.72	c  736s |      19 |   663000 |   572882 |     2331    413 |        0 |        0
738.67/738.87	c  738s |      19 |   664600 |   574282 |     2331    413 |        0 |        0
740.77/740.98	c  740s |      19 |   666092 |   575582 |     2331    414 |        0 |        0
742.87/743.06	c  742s |      19 |   667617 |   576982 |     2331    415 |        0 |        0
744.87/745.07	c  744s |      19 |   669102 |   578282 |     2331    416 |        0 |        0
746.88/747.09	c  746s |      19 |   670582 |   579582 |     2331    417 |        0 |        0
749.08/749.23	c  749s |      19 |   672156 |   580982 |     2331    417 |        0 |        0
751.18/751.36	c  751s |      19 |   673611 |   582282 |     2331    418 |        0 |        0
753.17/753.37	c  753s |      19 |   675100 |   583582 |     2331    419 |        0 |        0
755.27/755.44	c  755s |      19 |   676425 |   584782 |     2331    420 |        0 |        0
757.37/757.51	c  757s |      19 |   677761 |   585982 |     2331    421 |        0 |        0
759.47/759.68	c  759s |      19 |   679259 |   587282 |     2331    421 |        0 |        0
761.67/761.85	c  761s |      19 |   680756 |   588582 |     2331    422 |        0 |        0
763.77/763.95	c  763s |      19 |   681977 |   589682 |     2331    423 |        0 |        0
765.86/766.04	c  765s |      19 |   683461 |   590982 |     2331    424 |        0 |        0
767.97/768.16	c  768s |      19 |   684778 |   592182 |     2331    424 |        0 |        0
770.16/770.32	c  770s |      19 |   686217 |   593482 |     2331    425 |        0 |        0
772.17/772.37	c  772s |      19 |   687544 |   594682 |     2331    426 |        0 |        0
774.27/774.47	c  774s |      19 |   688978 |   595982 |     2331    427 |        0 |        0
776.26/776.50	c  776s |      19 |   690304 |   597182 |     2331    427 |        0 |        0
778.37/778.57	c  778s |      19 |   691690 |   598382 |     2331    428 |        0 |        0
780.47/780.63	c  780s |      19 |   692939 |   599482 |     2331    429 |        0 |        0
782.57/782.71	c  782s |      19 |   694173 |   600582 |     2331    429 |        0 |        0
784.67/784.84	c  784s |      19 |   695369 |   601682 |     2331    430 |        0 |        0
786.67/786.89	c  786s |      19 |   697118 |   603182 |     2331    431 |        0 |        0
788.87/789.03	c  788s |      19 |   698607 |   604482 |     2331    432 |        0 |        0
790.88/791.07	c  790s |      19 |   699832 |   605582 |     2331    433 |        0 |        0
792.98/793.17	c  793s |      19 |   701074 |   606682 |     2331    433 |        0 |        0
794.97/795.19	c  795s |      19 |   702291 |   607782 |     2331    434 |        0 |        0
797.07/797.26	c  797s |      19 |   703504 |   608882 |     2331    435 |        0 |        0
799.17/799.32	c  799s |      19 |   704887 |   610082 |     2331    435 |        0 |        0
801.17/801.36	c  801s |      19 |   706133 |   611182 |     2331    436 |        0 |        0
803.17/803.37	c  803s |      19 |   707242 |   612182 |     2331    437 |        0 |        0
805.27/805.46	c  805s |      19 |   708500 |   613282 |     2331    437 |        0 |        0
807.37/807.56	c  807s |      19 |   709659 |   614282 |     2331    438 |        0 |        0
809.47/809.69	c  809s |      19 |   710929 |   615282 |     2331    438 |        0 |        0
811.57/811.70	c  811s |      19 |   712049 |   616282 |     2331    439 |        0 |        0
813.67/813.87	c  813s |      19 |   713307 |   617382 |     2331    440 |        0 |        0
815.87/816.03	c  815s |      19 |   714599 |   618482 |     2331    440 |        0 |        0
818.07/818.22	c  818s |      19 |   715835 |   619582 |     2331    441 |        0 |        0
820.07/820.27	c  820s |      19 |   716957 |   620582 |     2331    442 |        0 |        0
822.27/822.42	c  822s |      19 |   718219 |   621682 |     2331    442 |        0 |        0
824.36/824.51	c  824s |      19 |   719362 |   622682 |     2331    443 |        0 |        0
826.36/826.58	c  826s |      19 |   720635 |   623782 |     2331    444 |        0 |        0
828.56/828.73	c  828s |      19 |   722523 |   625482 |     2331    445 |        0 |        0
830.56/830.77	c  830s |      19 |   724379 |   627082 |     2331    446 |        0 |        0
832.67/832.87	c  832s |      19 |   726590 |   628782 |     2331    447 |        0 |        0
834.87/835.05	c  834s |      19 |   728399 |   630182 |     2331    448 |        0 |        0
836.86/837.08	c  836s |      19 |   729687 |   631382 |     2331    448 |        0 |        0
838.86/839.08	c  838s |      19 |   731249 |   632782 |     2331    449 |        0 |        0
840.96/841.11	c  841s |      19 |   732543 |   633982 |     2331    450 |        0 |        0
843.06/843.22	c  843s |      19 |   734098 |   635382 |     2331    451 |        0 |        0
845.06/845.23	c  845s |      19 |   735441 |   636582 |     2331    451 |        0 |        0
847.06/847.30	c  847s |      19 |   736939 |   637882 |     2331    452 |        0 |        0
849.16/849.35	c  849s |      19 |   738411 |   639182 |     2331    453 |        0 |        0
851.26/851.44	c  851s |      19 |   739943 |   640482 |     2331    454 |        0 |        0
853.36/853.57	c  853s |      19 |   741489 |   641882 |     2331    455 |        0 |        0
855.46/855.61	c  855s |      19 |   742778 |   643082 |     2331    455 |        0 |        0
857.45/857.64	c  857s |      19 |   743956 |   644182 |     2331    456 |        0 |        0
859.55/859.71	c  859s |      19 |   745830 |   645782 |     2331    457 |        0 |        0
861.65/861.83	c  861s |      19 |   747628 |   647382 |     2331    458 |        0 |        0
863.65/863.83	c  863s |      19 |   749173 |   648782 |     2331    459 |        0 |        0
865.75/865.90	c  865s |      19 |   750869 |   650282 |     2331    460 |        0 |        0
867.76/868.00	c  867s |      19 |   752504 |   651782 |     2331    461 |        0 |        0
869.85/870.03	c  869s |      19 |   754018 |   653182 |     2331    462 |        0 |        0
871.95/872.14	c  872s |      19 |   755681 |   654682 |     2331    462 |        0 |        0
873.95/874.18	c  874s |      19 |   757203 |   656082 |     2331    463 |        0 |        0
876.05/876.23	c  876s |      19 |   758738 |   657482 |     2331    464 |        0 |        0
878.05/878.27	c  878s |      19 |   760270 |   658882 |     2331    465 |        0 |        0
880.05/880.29	c  880s |      19 |   761842 |   660282 |     2331    466 |        0 |        0
882.16/882.35	c  882s |      19 |   763390 |   661682 |     2331    467 |        0 |        0
884.16/884.37	c  884s |      19 |   765063 |   663182 |     2565    467 |        0 |        0
886.36/886.50	c  886s |      19 |   766738 |   664682 |     2565    468 |        0 |        0
888.35/888.55	c  888s |      19 |   768319 |   666082 |     2565    469 |        0 |        0
889.55/889.73	c  889s |      20 |   769120 |   666827 |     2565    470 |        0 |        0
891.55/891.73	c  891s |      20 |   772317 |   668927 |     2565    471 |        0 |        0
893.55/893.74	c  893s |      20 |   774359 |   670527 |     2565    472 |        0 |        0
895.65/895.83	c  895s |      20 |   776191 |   672127 |     2565    473 |        0 |        0
897.85/898.00	c  897s |      20 |   778157 |   673827 |     2565    474 |        0 |        0
899.84/900.01	c  899s |      20 |   779966 |   675427 |     2565    474 |        0 |        0
901.94/902.11	c  902s |      20 |   781810 |   677027 |     2565    475 |        0 |        0
903.94/904.20	c  904s |      20 |   783616 |   678627 |     2565    476 |        0 |        0
906.04/906.22	c  906s |      20 |   785113 |   679927 |     2565    477 |        0 |        0
908.13/908.34	c  908s |      20 |   786677 |   681327 |     2565    478 |        0 |        0
910.23/910.47	c  910s |      20 |   788484 |   682827 |     2565    479 |        0 |        0
912.33/912.51	c  912s |      20 |   790068 |   684227 |     2565    479 |        0 |        0
914.43/914.60	c  914s |      20 |   791643 |   685627 |     2565    480 |        0 |        0
916.53/916.75	c  916s |      20 |   793716 |   687327 |     2565    481 |        0 |        0
918.63/918.87	c  918s |      20 |   795394 |   688827 |     2565    482 |        0 |        0
920.73/920.97	c  920s |      20 |   797200 |   690427 |     2565    483 |        0 |        0
922.84/923.04	c  922s |      20 |   798865 |   691927 |     2565    484 |        0 |        0
924.94/925.15	c  925s |      20 |   800630 |   693427 |     2565    485 |        0 |        0
927.03/927.22	c  927s |      20 |   802308 |   694927 |     2565    486 |        0 |        0
929.03/929.25	c  929s |      20 |   804182 |   696527 |     2565    486 |        0 |        0
931.03/931.29	c  931s |      20 |   805764 |   697927 |     2565    487 |        0 |        0
933.22/933.44	c  933s |      20 |   807303 |   699327 |     2565    488 |        0 |        0
935.22/935.45	c  935s |      20 |   808773 |   700627 |     2565    489 |        0 |        0
937.22/937.47	c  937s |      20 |   810229 |   701927 |     2565    490 |        0 |        0
939.33/939.51	c  939s |      20 |   811688 |   703227 |     2565    490 |        0 |        0
941.32/941.60	c  941s |      20 |   813632 |   704927 |     2565    491 |        0 |        0
943.42/943.61	c  943s |      20 |   815238 |   706327 |     2565    492 |        0 |        0
945.42/945.68	c  945s |      20 |   816828 |   707727 |     2565    493 |        0 |        0
947.52/947.74	c  947s |      20 |   818392 |   709127 |     2565    494 |        0 |        0
949.72/949.95	c  949s |      20 |   820192 |   710727 |     2565    495 |        0 |        0
951.82/952.05	c  951s |      20 |   822046 |   712327 |     2565    495 |        0 |        0
953.82/954.08	c  953s |      20 |   824038 |   714027 |     2565    496 |        0 |        0
955.82/956.09	c  956s |      20 |   825726 |   715527 |     2565    497 |        0 |        0
958.02/958.20	c  958s |      20 |   827558 |   717127 |     2565    498 |        0 |        0
960.01/960.22	c  960s |      20 |   829050 |   718427 |     2565    499 |        0 |        0
962.01/962.28	c  962s |      20 |   830750 |   719827 |     2565    500 |        0 |        0
964.11/964.34	c  964s |      20 |   832850 |   721527 |     2565    501 |        0 |        0
966.31/966.52	c  966s |      20 |   834582 |   723027 |     2565    502 |        0 |        0
968.30/968.57	c  968s |      20 |   836282 |   724527 |     2565    502 |        0 |        0
970.50/970.71	c  970s |      20 |   837990 |   726027 |     2565    503 |        0 |        0
972.60/972.85	c  972s |      20 |   839605 |   727427 |     2565    504 |        0 |        0
974.80/975.03	c  974s |      20 |   840946 |   728627 |     2565    505 |        0 |        0
976.80/977.07	c  976s |      20 |   842452 |   729927 |     2565    505 |        0 |        0
978.90/979.16	c  979s |      20 |   844655 |   731827 |     2565    507 |        0 |        0
981.00/981.25	c  981s |      20 |   846615 |   733527 |     2565    507 |        0 |        0
983.09/983.34	c  983s |      20 |   848417 |   735127 |     2565    508 |        0 |        0
985.19/985.49	c  985s |      20 |   849980 |   736527 |     2565    509 |        0 |        0
987.29/987.51	c  987s |      20 |   851639 |   738027 |     2565    510 |        0 |        0
989.39/989.64	c  989s |      20 |   853340 |   739527 |     2565    511 |        0 |        0
991.39/991.66	c  991s |      20 |   855267 |   741027 |     2565    512 |        0 |        0
993.49/993.77	c  993s |      20 |   857148 |   742727 |     2565    513 |        0 |        0
995.69/995.92	c  995s |      20 |   858684 |   744127 |     2565    514 |        0 |        0
997.79/998.03	c  997s |      20 |   860249 |   745527 |     2565    514 |        0 |        0
999.79/1000.07	c  999s |      20 |   861801 |   746927 |     2565    515 |        0 |        0
1001.89/1002.11	c 1002s |      20 |   863445 |   748427 |     2565    516 |        0 |        0
1003.98/1004.21	c 1004s |      20 |   865318 |   750027 |     2565    517 |        0 |        0
1005.99/1006.28	c 1006s |      20 |   866766 |   751327 |     2565    518 |        0 |        0
1007.99/1008.29	c 1008s |      20 |   868285 |   752727 |     2565    518 |        0 |        0
1010.18/1010.43	c 1010s |      20 |   869674 |   754027 |     2565    519 |        0 |        0
1012.28/1012.56	c 1012s |      20 |   871079 |   755327 |     2565    520 |        0 |        0
1014.28/1014.57	c 1014s |      20 |   872517 |   756627 |     2565    521 |        0 |        0
1016.48/1016.70	c 1016s |      20 |   874406 |   758227 |     2565    522 |        0 |        0
1018.57/1018.86	c 1018s |      20 |   875957 |   759627 |     2565    522 |        0 |        0
1020.68/1020.98	c 1020s |      20 |   877305 |   760827 |     2565    523 |        0 |        0
1022.78/1023.08	c 1022s |      20 |   878735 |   762027 |     2565    524 |        0 |        0
1024.98/1025.22	c 1025s |      20 |   880222 |   763327 |     2565    524 |        0 |        0
1027.07/1027.31	c 1027s |      20 |   881467 |   764427 |     2565    525 |        0 |        0
1029.17/1029.40	c 1029s |      20 |   883204 |   765927 |     2565    526 |        0 |        0
1031.17/1031.46	c 1031s |      20 |   884868 |   767327 |     2565    527 |        0 |        0
1033.27/1033.56	c 1033s |      20 |   886298 |   768527 |     2565    527 |        0 |        0
1035.37/1035.63	c 1035s |      20 |   888338 |   770327 |     2565    528 |        0 |        0
1037.36/1037.63	c 1037s |      20 |   890045 |   771827 |     2565    529 |        0 |        0
1039.46/1039.73	c 1039s |      20 |   891685 |   773227 |     2565    530 |        0 |        0
1041.47/1041.80	c 1041s |      20 |   893235 |   774627 |     2565    531 |        0 |        0
1043.56/1043.87	c 1043s |      20 |   894776 |   776027 |     2565    532 |        0 |        0
1045.66/1045.92	c 1045s |      20 |   896207 |   777327 |     2565    532 |        0 |        0
1047.76/1048.00	c 1047s |      20 |   897648 |   778627 |     2565    533 |        0 |        0
1049.75/1050.02	c 1049s |      20 |   898846 |   779727 |     2565    534 |        0 |        0
1051.85/1052.13	c 1052s |      20 |   900342 |   781027 |     2565    535 |        0 |        0
1053.95/1054.26	c 1054s |      20 |   901936 |   782427 |     2565    535 |        0 |        0
1056.05/1056.36	c 1056s |      20 |   903267 |   783627 |     2565    536 |        0 |        0
1058.15/1058.42	c 1058s |      20 |   904525 |   784727 |     2565    537 |        0 |        0
1060.15/1060.49	c 1060s |      20 |   905882 |   785927 |     2565    537 |        0 |        0
1062.25/1062.58	c 1062s |      20 |   907269 |   787127 |     2565    538 |        0 |        0
1064.35/1064.61	c 1064s |      20 |   908630 |   788327 |     2565    539 |        0 |        0
1066.35/1066.61	c 1066s |      20 |   910328 |   789727 |     2565    539 |        0 |        0
1068.44/1068.74	c 1068s |      20 |   912186 |   791327 |     2565    540 |        0 |        0
1070.54/1070.83	c 1070s |      20 |   913892 |   792827 |     2565    541 |        0 |        0
1072.64/1072.97	c 1072s |      20 |   915479 |   794227 |     2565    542 |        0 |        0
1074.74/1075.01	c 1074s |      20 |   917218 |   795727 |     2565    543 |        0 |        0
1076.84/1077.17	c 1077s |      20 |   918929 |   797227 |     2565    544 |        0 |        0
1079.04/1079.31	c 1079s |      20 |   920518 |   798627 |     2565    545 |        0 |        0
1081.14/1081.41	c 1081s |      20 |   922261 |   800227 |     2565    545 |        0 |        0
1083.24/1083.55	c 1083s |      20 |   923876 |   801627 |     2565    546 |        0 |        0
1085.34/1085.68	c 1085s |      20 |   925307 |   802927 |     2565    547 |        0 |        0
1087.54/1087.82	c 1087s |      20 |   926604 |   804127 |     2565    548 |        0 |        0
1089.63/1089.90	c 1089s |      20 |   927803 |   805227 |     2565    548 |        0 |        0
1091.63/1091.96	c 1091s |      20 |   928888 |   806227 |     2565    549 |        0 |        0
1093.73/1094.07	c 1093s |      20 |   930244 |   807427 |     2565    550 |        0 |        0
1095.73/1096.08	c 1095s |      20 |   932029 |   809027 |     2565    550 |        0 |        0
1097.83/1098.18	c 1098s |      20 |   933728 |   810527 |     2565    551 |        0 |        0
1099.93/1100.27	c 1100s |      20 |   935394 |   812027 |     2565    552 |        0 |        0
1102.03/1102.35	c 1102s |      20 |   936922 |   813427 |     2565    553 |        0 |        0
1104.13/1104.41	c 1104s |      20 |   938314 |   814727 |     2565    554 |        0 |        0
1106.12/1106.47	c 1106s |      20 |   939748 |   816027 |     2565    554 |        0 |        0
1108.23/1108.51	c 1108s |      20 |   941162 |   817327 |     2565    555 |        0 |        0
1110.33/1110.68	c 1110s |      20 |   942578 |   818627 |     2565    556 |        0 |        0
1112.43/1112.79	c 1112s |      20 |   943960 |   819927 |     2565    557 |        0 |        0
1114.53/1114.86	c 1114s |      20 |   945259 |   821127 |     2565    557 |        0 |        0
1116.52/1116.89	c 1116s |      20 |   946600 |   822327 |     2565    558 |        0 |        0
1118.62/1118.90	c 1118s |      20 |   947907 |   823527 |     2565    559 |        0 |        0
1120.73/1121.03	c 1120s |      20 |   949201 |   824727 |     2565    559 |        0 |        0
1122.83/1123.11	c 1123s |      20 |   950626 |   826027 |     2565    560 |        0 |        0
1124.82/1125.13	c 1125s |      20 |   951958 |   827227 |     2565    561 |        0 |        0
1126.82/1127.14	c 1127s |      20 |   953143 |   828327 |     2565    561 |        0 |        0
1128.91/1129.26	c 1129s |      20 |   954690 |   829727 |     2565    562 |        0 |        0
1131.01/1131.33	c 1131s |      20 |   955881 |   830827 |     2565    563 |        0 |        0
1133.01/1133.39	c 1133s |      20 |   957075 |   831927 |     2565    563 |        0 |        0
1135.21/1135.55	c 1135s |      20 |   958531 |   833227 |     2565    564 |        0 |        0
1137.31/1137.63	c 1137s |      20 |   959737 |   834327 |     2565    565 |        0 |        0
1139.50/1139.84	c 1139s |      20 |   961056 |   835527 |     2565    565 |        0 |        0
1141.61/1141.91	c 1141s |      20 |   962425 |   836727 |     2565    566 |        0 |        0
1143.71/1144.02	c 1143s |      20 |   963996 |   838127 |     2565    567 |        0 |        0
1145.80/1146.17	c 1146s |      20 |   965295 |   839327 |     2565    568 |        0 |        0
1148.01/1148.31	c 1148s |      20 |   966387 |   840327 |     2565    568 |        0 |        0
1150.00/1150.39	c 1150s |      20 |   967837 |   841627 |     2565    569 |        0 |        0
1152.20/1152.52	c 1152s |      20 |   969252 |   842927 |     2565    570 |        0 |        0
1154.30/1154.64	c 1154s |      20 |   970587 |   844127 |     2565    570 |        0 |        0
1156.40/1156.73	c 1156s |      20 |   971652 |   845127 |     2565    571 |        0 |        0
1158.50/1158.86	c 1158s |      20 |   972731 |   846127 |     2565    572 |        0 |        0
1160.60/1160.92	c 1160s |      20 |   974044 |   847327 |     2565    572 |        0 |        0
1162.70/1163.06	c 1162s |      20 |   975232 |   848427 |     2565    573 |        0 |        0
1164.70/1165.09	c 1164s |      20 |   976416 |   849527 |     2565    573 |        0 |        0
1166.80/1167.20	c 1167s |      20 |   977526 |   850527 |     2565    574 |        0 |        0
1168.89/1169.23	c 1169s |      20 |   978498 |   851427 |     2565    575 |        0 |        0
1171.09/1171.41	c 1171s |      20 |   979910 |   852627 |     2565    575 |        0 |        0
1173.19/1173.58	c 1173s |      20 |   981104 |   853727 |     2565    576 |        0 |        0
1175.29/1175.60	c 1175s |      20 |   982226 |   854727 |     2565    576 |        0 |        0
1177.39/1177.70	c 1177s |      20 |   984144 |   856427 |     2565    577 |        0 |        0
1179.49/1179.86	c 1179s |      20 |   985930 |   858027 |     2565    578 |        0 |        0
1181.59/1181.92	c 1181s |      20 |   987627 |   859427 |     2565    579 |        0 |        0
1183.69/1184.03	c 1183s |      20 |   989175 |   860827 |     2565    580 |        0 |        0
1185.68/1186.08	c 1185s |      20 |   990745 |   862227 |     2565    581 |        0 |        0
1187.79/1188.14	c 1188s |      20 |   992165 |   863527 |     2565    581 |        0 |        0
1189.89/1190.26	c 1190s |      20 |   993497 |   864727 |     2565    582 |        0 |        0
1191.98/1192.34	c 1192s |      20 |   995021 |   866027 |     2565    583 |        0 |        0
1194.08/1194.42	c 1194s |      20 |   996482 |   867327 |     2565    584 |        0 |        0
1196.08/1196.48	c 1196s |      20 |   997835 |   868527 |     2565    584 |        0 |        0
1198.17/1198.52	c 1198s |      20 |   999442 |   869927 |     2565    585 |        0 |        0
1200.17/1200.53	c 1200s |      20 |  1000826 |   871127 |     2565    586 |        0 |        0
1202.17/1202.55	c 1202s |      20 |  1002434 |   872527 |     2565    587 |        0 |        0
1204.28/1204.67	c 1204s |      20 |  1003848 |   873827 |     2565    587 |        0 |        0
1206.38/1206.76	c 1206s |      20 |  1005710 |   875427 |     2565    588 |        0 |        0
1208.47/1208.84	c 1208s |      20 |  1007487 |   877027 |     2565    589 |        0 |        0
1210.57/1210.90	c 1210s |      20 |  1008899 |   878327 |     2565    590 |        0 |        0
1212.67/1213.01	c 1212s |      20 |  1010457 |   879727 |     2565    591 |        0 |        0
1214.67/1215.06	c 1214s |      20 |  1011984 |   881127 |     2565    591 |        0 |        0
1216.77/1217.15	c 1217s |      20 |  1013669 |   882627 |     2565    592 |        0 |        0
1218.86/1219.20	c 1219s |      20 |  1015084 |   883927 |     2565    593 |        0 |        0
1220.87/1221.25	c 1221s |      20 |  1016627 |   885327 |     2565    594 |        0 |        0
1222.98/1223.33	c 1223s |      20 |  1018303 |   886827 |     2565    595 |        0 |        0
1225.18/1225.53	c 1225s |      20 |  1019873 |   888227 |     2565    596 |        0 |        0
1227.17/1227.57	c 1227s |      20 |  1021225 |   889427 |     2565    596 |        0 |        0
1229.27/1229.62	c 1229s |      20 |  1022810 |   890827 |     2565    597 |        0 |        0
1231.37/1231.73	c 1231s |      20 |  1024372 |   892227 |     2565    598 |        0 |        0
1233.36/1233.74	c 1233s |      20 |  1025718 |   893427 |     2565    598 |        0 |        0
1235.46/1235.84	c 1235s |      20 |  1026941 |   894527 |     2565    599 |        0 |        0
1237.56/1237.99	c 1237s |      20 |  1028323 |   895727 |     2565    600 |        0 |        0
1239.76/1240.14	c 1240s |      20 |  1029729 |   896927 |     2565    600 |        0 |        0
1241.86/1242.21	c 1242s |      20 |  1030982 |   898027 |     2565    601 |        0 |        0
1243.86/1244.24	c 1244s |      20 |  1032112 |   899027 |     2565    602 |        0 |        0
1246.07/1246.42	c 1246s |      20 |  1033445 |   900227 |     2565    602 |        0 |        0
1248.16/1248.56	c 1248s |      20 |  1034672 |   901327 |     2565    603 |        0 |        0
1250.26/1250.64	c 1250s |      20 |  1035769 |   902327 |     2565    604 |        0 |        0
1252.26/1252.67	c 1252s |      20 |  1037004 |   903427 |     2565    604 |        0 |        0
1254.36/1254.74	c 1254s |      20 |  1038206 |   904527 |     2565    605 |        0 |        0
1256.46/1256.85	c 1256s |      20 |  1039578 |   905727 |     2565    605 |        0 |        0
1258.55/1258.94	c 1258s |      20 |  1040775 |   906827 |     2565    606 |        0 |        0
1260.55/1260.96	c 1260s |      20 |  1042037 |   907927 |     2565    607 |        0 |        0
1262.65/1263.04	c 1262s |      20 |  1043249 |   909027 |     2565    607 |        0 |        0
1264.75/1265.18	c 1265s |      20 |  1044518 |   910127 |     2565    608 |        0 |        0
1266.85/1267.28	c 1267s |      20 |  1045654 |   911127 |     2565    609 |        0 |        0
1268.94/1269.40	c 1269s |      20 |  1046907 |   912227 |     2565    609 |        0 |        0
1271.14/1271.54	c 1271s |      20 |  1048155 |   913327 |     2565    610 |        0 |        0
1273.34/1273.70	c 1273s |      20 |  1049403 |   914427 |     2565    610 |        0 |        0
1275.34/1275.76	c 1275s |      20 |  1050510 |   915427 |     2565    611 |        0 |        0
1277.44/1277.87	c 1277s |      20 |  1051731 |   916527 |     2565    612 |        0 |        0
1279.64/1280.07	c 1279s |      20 |  1052975 |   917627 |     2565    612 |        0 |        0
1281.84/1282.21	c 1282s |      20 |  1054061 |   918627 |     2565    613 |        0 |        0
1283.84/1284.28	c 1284s |      20 |  1055309 |   919727 |     2565    613 |        0 |        0
1286.04/1286.44	c 1286s |      20 |  1056599 |   920827 |     2565    614 |        0 |        0
1288.04/1288.46	c 1288s |      20 |  1057589 |   921727 |     2565    615 |        0 |        0
1290.13/1290.51	c 1290s |      20 |  1058827 |   922827 |     2565    615 |        0 |        0
1292.33/1292.72	c 1292s |      20 |  1059945 |   923827 |     2565    616 |        0 |        0
1294.34/1294.75	c 1294s |      20 |  1060914 |   924727 |     2565    616 |        0 |        0
1296.54/1296.91	c 1296s |      20 |  1062015 |   925727 |     2565    617 |        0 |        0
1298.53/1298.99	c 1298s |      20 |  1062887 |   926527 |     2565    617 |        0 |        0
1300.73/1301.18	c 1301s |      20 |  1064233 |   927727 |     2565    618 |        0 |        0
1302.83/1303.26	c 1303s |      20 |  1065230 |   928627 |     2565    619 |        0 |        0
1304.93/1305.37	c 1305s |      20 |  1066457 |   929727 |     2565    619 |        0 |        0
1307.02/1307.42	c 1307s |      20 |  1067468 |   930627 |     2565    620 |        0 |        0
1309.22/1309.69	c 1309s |      20 |  1068315 |   931427 |     2565    620 |        0 |        0
1311.32/1311.75	c 1311s |      20 |  1069358 |   932327 |     2565    621 |        0 |        0
1313.32/1313.78	c 1313s |      20 |  1070347 |   933227 |     2565    621 |        0 |        0
1315.42/1315.80	c 1315s |      20 |  1071453 |   934227 |     2565    622 |        0 |        0
1317.43/1317.82	c 1317s |      20 |  1072559 |   935227 |     2565    622 |        0 |        0
1319.52/1319.96	c 1319s |      20 |  1073541 |   936127 |     2565    623 |        0 |        0
1321.62/1322.03	c 1321s |      20 |  1074517 |   937027 |     2565    623 |        0 |        0
1323.62/1324.05	c 1323s |      20 |  1075436 |   937827 |     2565    624 |        0 |        0
1325.82/1326.20	c 1326s |      20 |  1076459 |   938727 |     2565    624 |        0 |        0
1327.92/1328.32	c 1328s |      20 |  1077451 |   939627 |     2565    625 |        0 |        0
1329.91/1330.36	c 1330s |      20 |  1078412 |   940527 |     2565    625 |        0 |        0
1332.11/1332.58	c 1332s |      20 |  1079416 |   941427 |     2565    626 |        0 |        0
1334.21/1334.64	c 1334s |      20 |  1080583 |   942427 |     2565    626 |        0 |        0
1336.21/1336.69	c 1336s |      20 |  1082598 |   944227 |     2565    627 |        0 |        0
1338.31/1338.76	c 1338s |      20 |  1084495 |   945927 |     2565    628 |        0 |        0
1340.40/1340.87	c 1340s |      20 |  1086278 |   947527 |     2565    629 |        0 |        0
1342.50/1342.98	c 1342s |      20 |  1088026 |   949127 |     2565    630 |        0 |        0
1344.50/1345.00	c 1344s |      20 |  1089666 |   950627 |     2565    631 |        0 |        0
1346.60/1347.04	c 1346s |      20 |  1091421 |   952227 |     2565    632 |        0 |        0
1348.71/1349.13	c 1349s |      20 |  1093047 |   953727 |     2565    633 |        0 |        0
1350.80/1351.24	c 1351s |      20 |  1094903 |   955427 |     2565    634 |        0 |        0
1352.90/1353.30	c 1353s |      20 |  1096400 |   956827 |     2565    635 |        0 |        0
1354.91/1355.33	c 1355s |      20 |  1098165 |   958427 |     2565    636 |        0 |        0
1356.90/1357.40	c 1357s |      20 |  1099880 |   960027 |     2565    636 |        0 |        0
1358.99/1359.42	c 1359s |      20 |  1101493 |   961527 |     2565    637 |        0 |        0
1361.09/1361.50	c 1361s |      20 |  1103114 |   963027 |     2565    638 |        0 |        0
1363.19/1363.63	c 1363s |      20 |  1104886 |   964627 |     2565    639 |        0 |        0
1365.29/1365.74	c 1365s |      20 |  1106650 |   966227 |     2565    640 |        0 |        0
1367.39/1367.85	c 1367s |      20 |  1108216 |   967627 |     2565    641 |        0 |        0
1369.49/1369.95	c 1369s |      20 |  1109905 |   969127 |     2565    642 |        0 |        0
1371.49/1371.99	c 1371s |      20 |  1111428 |   970527 |     2565    642 |        0 |        0
1373.59/1374.03	c 1373s |      20 |  1112975 |   971927 |     2565    643 |        0 |        0
1375.58/1376.03	c 1375s |      20 |  1114502 |   973327 |     2565    644 |        0 |        0
1377.59/1378.06	c 1377s |      20 |  1116032 |   974727 |     2565    645 |        0 |        0
1379.69/1380.18	c 1380s |      20 |  1117561 |   976127 |     2565    646 |        0 |        0
1381.89/1382.31	c 1382s |      20 |  1119199 |   977627 |     2565    646 |        0 |        0
1383.99/1384.43	c 1384s |      20 |  1120706 |   979027 |     2565    647 |        0 |        0
1385.99/1386.49	c 1386s |      20 |  1122207 |   980427 |     2565    648 |        0 |        0
1388.18/1388.62	c 1388s |      20 |  1123618 |   981727 |     2565    649 |        0 |        0
1390.18/1390.70	c 1390s |      20 |  1125112 |   983127 |     2565    650 |        0 |        0
1392.29/1392.78	c 1392s |      20 |  1127151 |   984927 |     2565    651 |        0 |        0
1394.39/1394.85	c 1394s |      20 |  1129058 |   986627 |     2565    652 |        0 |        0
1396.48/1396.92	c 1396s |      20 |  1130728 |   988127 |     2565    652 |        0 |        0
1398.47/1398.94	c 1398s |      20 |  1132400 |   989627 |     2565    653 |        0 |        0
1400.57/1401.04	c 1400s |      20 |  1133920 |   991027 |     2565    654 |        0 |        0
1402.67/1403.10	c 1403s |      20 |  1135229 |   992227 |     2565    655 |        0 |        0
1404.67/1405.12	c 1405s |      20 |  1136588 |   993427 |     2822    655 |        0 |        0
1406.77/1407.20	c 1407s |      20 |  1137945 |   994627 |     2822    656 |        0 |        0
1408.87/1409.34	c 1409s |      20 |  1139266 |   995827 |     2822    657 |        0 |        0
1410.87/1411.40	c 1411s |      20 |  1140503 |   996927 |     2822    657 |        0 |        0
1413.07/1413.52	c 1413s |      20 |  1142317 |   998527 |     2822    658 |        0 |        0
1415.07/1415.54	c 1415s |      20 |  1143735 |   999827 |     2822    659 |        0 |        0
1415.87/1416.33	c 1416s |      21 |  1144306 |  1000345 |     2822    659 |        0 |        0
1417.97/1418.42	c 1418s |      21 |  1147623 |  1002645 |     2822    660 |        0 |        0
1420.06/1420.51	c 1420s |      21 |  1149637 |  1004445 |     2822    661 |        0 |        0
1422.16/1422.61	c 1422s |      21 |  1151512 |  1006145 |     2822    662 |        0 |        0
1424.17/1424.68	c 1424s |      21 |  1153168 |  1007645 |     2822    663 |        0 |        0
1426.27/1426.75	c 1426s |      21 |  1154790 |  1009145 |     2822    664 |        0 |        0
1428.36/1428.80	c 1428s |      21 |  1156316 |  1010545 |     2822    664 |        0 |        0
1430.36/1430.81	c 1430s |      21 |  1157842 |  1011945 |     2822    665 |        0 |        0
1432.36/1432.84	c 1432s |      21 |  1159349 |  1013345 |     2822    666 |        0 |        0
1434.35/1434.88	c 1434s |      21 |  1160758 |  1014645 |     2822    667 |        0 |        0
1436.55/1437.03	c 1436s |      21 |  1162425 |  1016145 |     2822    667 |        0 |        0
1438.66/1439.12	c 1439s |      21 |  1163969 |  1017545 |     2822    668 |        0 |        0
1440.66/1441.19	c 1441s |      21 |  1165634 |  1019045 |     2822    669 |        0 |        0
1442.76/1443.27	c 1443s |      21 |  1167193 |  1020445 |     2822    670 |        0 |        0
1444.76/1445.29	c 1445s |      21 |  1168859 |  1021945 |     2822    670 |        0 |        0
1446.85/1447.31	c 1447s |      21 |  1170392 |  1023345 |     2822    671 |        0 |        0
1448.85/1449.35	c 1449s |      21 |  1171812 |  1024645 |     2822    672 |        0 |        0
1450.95/1451.45	c 1451s |      21 |  1173368 |  1026045 |     2822    673 |        0 |        0
1453.05/1453.50	c 1453s |      21 |  1175231 |  1027745 |     2822    673 |        0 |        0
1455.15/1455.62	c 1455s |      21 |  1176982 |  1029345 |     2822    674 |        0 |        0
1457.25/1457.76	c 1457s |      21 |  1178536 |  1030745 |     2822    675 |        0 |        0
1459.35/1459.86	c 1459s |      21 |  1179817 |  1031945 |     2822    676 |        0 |        0
1461.45/1461.99	c 1461s |      21 |  1181548 |  1033445 |     2822    676 |        0 |        0
1463.65/1464.11	c 1464s |      21 |  1183349 |  1035045 |     2822    677 |        0 |        0
1465.64/1466.12	c 1466s |      21 |  1184902 |  1036445 |     2822    678 |        0 |        0
1467.64/1468.17	c 1468s |      21 |  1186386 |  1037745 |     2822    679 |        0 |        0
1469.84/1470.37	c 1470s |      21 |  1188228 |  1039345 |     2822    680 |        0 |        0
1471.94/1472.47	c 1472s |      21 |  1189846 |  1040745 |     2822    680 |        0 |        0
1474.04/1474.59	c 1474s |      21 |  1191472 |  1042145 |     2822    681 |        0 |        0
1476.14/1476.66	c 1476s |      21 |  1192996 |  1043445 |     2822    682 |        0 |        0
1478.24/1478.76	c 1478s |      21 |  1194899 |  1045045 |     2822    683 |        0 |        0
1480.34/1480.86	c 1480s |      21 |  1196703 |  1046645 |     2822    683 |        0 |        0
1482.45/1482.99	c 1482s |      21 |  1198248 |  1048045 |     2822    684 |        0 |        0
1484.55/1485.06	c 1484s |      21 |  1199813 |  1049445 |     2822    685 |        0 |        0
1486.64/1487.15	c 1487s |      21 |  1201554 |  1050945 |     2822    686 |        0 |        0
1488.73/1489.21	c 1489s |      21 |  1203285 |  1052445 |     2822    686 |        0 |        0
1490.73/1491.28	c 1491s |      21 |  1205098 |  1054045 |     2822    687 |        0 |        0
1492.84/1493.34	c 1493s |      21 |  1206765 |  1055545 |     2822    688 |        0 |        0
1494.93/1495.40	c 1495s |      21 |  1208418 |  1057045 |     2822    689 |        0 |        0
1496.93/1497.41	c 1497s |      21 |  1209826 |  1058345 |     2822    690 |        0 |        0
1499.03/1499.52	c 1499s |      21 |  1211374 |  1059745 |     2822    690 |        0 |        0
1501.13/1501.62	c 1501s |      21 |  1212919 |  1061145 |     2822    691 |        0 |        0
1503.13/1503.64	c 1503s |      21 |  1214228 |  1062345 |     2822    692 |        0 |        0
1505.13/1505.69	c 1505s |      21 |  1215897 |  1063845 |     2822    693 |        0 |        0
1507.32/1507.82	c 1507s |      21 |  1217445 |  1065245 |     2822    693 |        0 |        0
1509.32/1509.87	c 1509s |      21 |  1218985 |  1066645 |     2822    694 |        0 |        0
1511.32/1511.89	c 1511s |      21 |  1220703 |  1068145 |     2822    695 |        0 |        0
1513.42/1513.98	c 1513s |      21 |  1222628 |  1069845 |     2822    696 |        0 |        0
1515.52/1516.07	c 1515s |      21 |  1224187 |  1071245 |     2822    696 |        0 |        0
1517.63/1518.13	c 1518s |      21 |  1225853 |  1072745 |     2822    697 |        0 |        0
1519.62/1520.20	c 1520s |      21 |  1227263 |  1074045 |     2822    698 |        0 |        0
1521.72/1522.21	c 1522s |      21 |  1229037 |  1075645 |     2822    699 |        0 |        0
1523.72/1524.24	c 1524s |      21 |  1230575 |  1077045 |     2822    700 |        0 |        0
1525.82/1526.30	c 1526s |      21 |  1232208 |  1078445 |     2822    700 |        0 |        0
1527.82/1528.35	c 1528s |      21 |  1233778 |  1079845 |     2822    701 |        0 |        0
1529.81/1530.35	c 1530s |      21 |  1235072 |  1081045 |     2822    702 |        0 |        0
1531.92/1532.41	c 1532s |      21 |  1236766 |  1082545 |     2822    702 |        0 |        0
1534.02/1534.57	c 1534s |      21 |  1238313 |  1083945 |     2822    703 |        0 |        0
1536.11/1536.66	c 1536s |      21 |  1239667 |  1085145 |     2822    704 |        0 |        0
1538.21/1538.74	c 1538s |      21 |  1241153 |  1086445 |     2822    704 |        0 |        0
1540.31/1540.84	c 1540s |      21 |  1242714 |  1087745 |     2822    705 |        0 |        0
1542.41/1542.93	c 1542s |      21 |  1244183 |  1089045 |     2822    706 |        0 |        0
1544.41/1544.95	c 1544s |      21 |  1245668 |  1090345 |     2822    707 |        0 |        0
1546.51/1547.09	c 1546s |      21 |  1247036 |  1091545 |     2822    707 |        0 |        0
1548.61/1549.16	c 1549s |      21 |  1248647 |  1092945 |     2822    708 |        0 |        0
1550.61/1551.19	c 1551s |      21 |  1250427 |  1094445 |     2822    709 |        0 |        0
1552.71/1553.22	c 1553s |      21 |  1251909 |  1095745 |     2822    709 |        0 |        0
1554.81/1555.30	c 1555s |      21 |  1253430 |  1097045 |     2822    710 |        0 |        0
1556.81/1557.39	c 1557s |      21 |  1254860 |  1098245 |     2822    711 |        0 |        0
1558.91/1559.45	c 1559s |      21 |  1256224 |  1099445 |     2822    711 |        0 |        0
1561.00/1561.58	c 1561s |      21 |  1257528 |  1100645 |     2822    712 |        0 |        0
1563.00/1563.59	c 1563s |      21 |  1258656 |  1101645 |     2822    713 |        0 |        0
1565.00/1565.59	c 1565s |      21 |  1260247 |  1103045 |     2822    713 |        0 |        0
1567.11/1567.68	c 1567s |      21 |  1261704 |  1104345 |     2822    714 |        0 |        0
1569.21/1569.76	c 1569s |      21 |  1262906 |  1105445 |     2822    715 |        0 |        0
1571.30/1571.87	c 1571s |      21 |  1264249 |  1106645 |     2822    715 |        0 |        0
1573.50/1574.01	c 1573s |      21 |  1265585 |  1107845 |     2822    716 |        0 |        0
1575.70/1576.26	c 1576s |      21 |  1267043 |  1109145 |     2822    717 |        0 |        0
1577.80/1578.30	c 1578s |      21 |  1268396 |  1110345 |     2822    717 |        0 |        0
1579.80/1580.33	c 1580s |      21 |  1269596 |  1111445 |     2822    718 |        0 |        0
1581.90/1582.44	c 1582s |      21 |  1271234 |  1112845 |     2822    718 |        0 |        0
1584.00/1584.59	c 1584s |      21 |  1272684 |  1114145 |     2822    719 |        0 |        0
1586.10/1586.65	c 1586s |      21 |  1273902 |  1115245 |     2822    720 |        0 |        0
1588.20/1588.75	c 1588s |      21 |  1275031 |  1116245 |     2822    720 |        0 |        0
1590.30/1590.84	c 1590s |      21 |  1276340 |  1117345 |     2822    721 |        0 |        0
1592.50/1593.00	c 1592s |      21 |  1277796 |  1118645 |     2822    722 |        0 |        0
1594.51/1595.08	c 1594s |      21 |  1279241 |  1119945 |     2822    722 |        0 |        0
1596.60/1597.17	c 1597s |      21 |  1280586 |  1121145 |     2822    723 |        0 |        0
1598.60/1599.19	c 1599s |      21 |  1281798 |  1122245 |     2822    723 |        0 |        0
1600.80/1601.30	c 1601s |      21 |  1283167 |  1123445 |     2822    724 |        0 |        0
1602.90/1603.42	c 1603s |      21 |  1284301 |  1124445 |     2822    725 |        0 |        0
1604.90/1605.44	c 1605s |      21 |  1285566 |  1125545 |     2822    725 |        0 |        0
1607.00/1607.58	c 1607s |      21 |  1287411 |  1127145 |     2822    726 |        0 |        0
1609.10/1609.66	c 1609s |      21 |  1288859 |  1128445 |     2822    727 |        0 |        0
1611.20/1611.77	c 1611s |      21 |  1290323 |  1129745 |     2822    727 |        0 |        0
1613.30/1613.88	c 1613s |      21 |  1292035 |  1131245 |     2822    728 |        0 |        0
1615.40/1615.98	c 1615s |      21 |  1293500 |  1132545 |     2822    729 |        0 |        0
1617.39/1617.99	c 1617s |      21 |  1294882 |  1133745 |     2822    730 |        0 |        0
1619.49/1620.04	c 1619s |      21 |  1296186 |  1134945 |     2822    730 |        0 |        0
1621.60/1622.15	c 1622s |      21 |  1297789 |  1136345 |     2822    731 |        0 |        0
1623.80/1624.30	c 1624s |      21 |  1299101 |  1137545 |     2822    732 |        0 |        0
1625.90/1626.44	c 1626s |      21 |  1300343 |  1138645 |     2822    732 |        0 |        0
1628.00/1628.55	c 1628s |      21 |  1301767 |  1139945 |     2822    733 |        0 |        0
1630.10/1630.65	c 1630s |      21 |  1303017 |  1141045 |     2822    733 |        0 |        0
1632.19/1632.71	c 1632s |      21 |  1304323 |  1142245 |     2822    734 |        0 |        0
1634.20/1634.77	c 1634s |      21 |  1305444 |  1143245 |     2822    735 |        0 |        0
1636.30/1636.84	c 1636s |      21 |  1306552 |  1144245 |     2822    735 |        0 |        0
1638.39/1638.96	c 1638s |      21 |  1307881 |  1145445 |     2822    736 |        0 |        0
1640.49/1641.09	c 1640s |      21 |  1309230 |  1146645 |     2822    736 |        0 |        0
1642.59/1643.10	c 1643s |      21 |  1310434 |  1147745 |     2822    737 |        0 |        0
1644.59/1645.19	c 1645s |      21 |  1311766 |  1148945 |     2822    738 |        0 |        0
1646.69/1647.26	c 1647s |      21 |  1313127 |  1150145 |     2822    738 |        0 |        0
1648.89/1649.42	c 1649s |      21 |  1314343 |  1151245 |     2822    739 |        0 |        0
1651.09/1651.62	c 1651s |      21 |  1315555 |  1152345 |     2822    739 |        0 |        0
1653.09/1653.63	c 1653s |      21 |  1316689 |  1153345 |     2822    740 |        0 |        0
1655.19/1655.74	c 1655s |      21 |  1317958 |  1154445 |     2822    740 |        0 |        0
1657.30/1657.89	c 1657s |      21 |  1319233 |  1155545 |     2822    741 |        0 |        0
1659.39/1659.93	c 1659s |      21 |  1320393 |  1156545 |     2822    742 |        0 |        0
1661.59/1662.17	c 1662s |      21 |  1321635 |  1157645 |     2822    742 |        0 |        0
1663.69/1664.26	c 1664s |      21 |  1322754 |  1158645 |     2822    743 |        0 |        0
1665.88/1666.40	c 1666s |      21 |  1323890 |  1159645 |     2822    743 |        0 |        0
1667.98/1668.52	c 1668s |      21 |  1324912 |  1160545 |     2822    744 |        0 |        0
1670.08/1670.62	c 1670s |      21 |  1326170 |  1161645 |     2822    744 |        0 |        0
1672.18/1672.76	c 1672s |      21 |  1327195 |  1162545 |     2822    745 |        0 |        0
1674.29/1674.81	c 1674s |      21 |  1328359 |  1163545 |     2822    745 |        0 |        0
1676.29/1676.88	c 1676s |      21 |  1330028 |  1165045 |     2822    746 |        0 |        0
1678.29/1678.90	c 1678s |      21 |  1331615 |  1166445 |     2822    747 |        0 |        0
1680.59/1681.12	c 1681s |      21 |  1332951 |  1167645 |     2822    748 |        0 |        0
1682.69/1683.23	c 1683s |      21 |  1334585 |  1169045 |     2822    748 |        0 |        0
1684.69/1685.29	c 1685s |      21 |  1336275 |  1170545 |     2822    749 |        0 |        0
1686.89/1687.41	c 1687s |      21 |  1337826 |  1171945 |     2822    750 |        0 |        0
1688.89/1689.46	c 1689s |      21 |  1339236 |  1173245 |     2822    750 |        0 |        0
1690.88/1691.49	c 1691s |      21 |  1340678 |  1174545 |     2822    751 |        0 |        0
1692.98/1693.50	c 1693s |      21 |  1341881 |  1175645 |     2822    752 |        0 |        0
1695.08/1695.68	c 1695s |      21 |  1343500 |  1177145 |     2822    753 |        0 |        0
1697.28/1697.83	c 1697s |      21 |  1345122 |  1178545 |     2822    753 |        0 |        0
1699.38/1699.92	c 1699s |      21 |  1346424 |  1179745 |     2822    754 |        0 |        0
1701.38/1701.98	c 1701s |      21 |  1347820 |  1180945 |     2822    755 |        0 |        0
1703.39/1703.99	c 1703s |      21 |  1349607 |  1182545 |     2822    755 |        0 |        0
1705.59/1706.14	c 1706s |      21 |  1351339 |  1184045 |     2822    756 |        0 |        0
1707.68/1708.23	c 1708s |      21 |  1352790 |  1185345 |     2822    757 |        0 |        0
1709.68/1710.28	c 1710s |      21 |  1354097 |  1186545 |     2822    758 |        0 |        0
1711.78/1712.31	c 1712s |      21 |  1355444 |  1187745 |     2822    758 |        0 |        0
1713.88/1714.44	c 1714s |      21 |  1357277 |  1189345 |     2822    759 |        0 |        0
1715.98/1716.57	c 1716s |      21 |  1358877 |  1190745 |     2822    760 |        0 |        0
1718.08/1718.67	c 1718s |      21 |  1360565 |  1192245 |     2822    761 |        0 |        0
1720.18/1720.78	c 1720s |      21 |  1362075 |  1193645 |     2822    761 |        0 |        0
1722.27/1722.80	c 1722s |      21 |  1363695 |  1195045 |     2822    762 |        0 |        0
1724.38/1724.92	c 1724s |      21 |  1365862 |  1196945 |     2822    763 |        0 |        0
1726.37/1726.93	c 1726s |      21 |  1367634 |  1198545 |     2822    764 |        0 |        0
1728.47/1729.01	c 1728s |      21 |  1369338 |  1200045 |     2822    765 |        0 |        0
1730.47/1731.07	c 1730s |      21 |  1370990 |  1201545 |     2822    765 |        0 |        0
1732.68/1733.21	c 1733s |      21 |  1372815 |  1203145 |     2822    766 |        0 |        0
1734.78/1735.35	c 1735s |      21 |  1374416 |  1204545 |     2822    767 |        0 |        0
1736.88/1737.48	c 1737s |      21 |  1375828 |  1205845 |     2822    768 |        0 |        0
1738.88/1739.49	c 1739s |      21 |  1377278 |  1207145 |     2822    768 |        0 |        0
1740.98/1741.54	c 1741s |      21 |  1379171 |  1208845 |     2822    769 |        0 |        0
1743.18/1743.72	c 1743s |      21 |  1380814 |  1210345 |     2822    770 |        0 |        0
1745.28/1745.86	c 1745s |      21 |  1382246 |  1211645 |     2822    771 |        0 |        0
1747.38/1747.93	c 1747s |      21 |  1383869 |  1213045 |     2822    772 |        0 |        0
1749.48/1750.00	c 1749s |      21 |  1385567 |  1214545 |     2822    772 |        0 |        0
1751.58/1752.11	c 1752s |      21 |  1387125 |  1215945 |     2822    773 |        0 |        0
1753.57/1754.18	c 1754s |      21 |  1388582 |  1217245 |     2822    774 |        0 |        0
1755.57/1756.18	c 1756s |      21 |  1389920 |  1218445 |     2822    774 |        0 |        0
1757.67/1758.26	c 1758s |      21 |  1391512 |  1219845 |     2822    775 |        0 |        0
1759.77/1760.35	c 1760s |      21 |  1392936 |  1221145 |     2822    776 |        0 |        0
1761.97/1762.56	c 1762s |      21 |  1394171 |  1222245 |     2822    776 |        0 |        0
1763.98/1764.57	c 1764s |      21 |  1395426 |  1223345 |     2822    777 |        0 |        0
1766.18/1766.72	c 1766s |      21 |  1397260 |  1224945 |     2822    778 |        0 |        0
1768.28/1768.82	c 1768s |      21 |  1398806 |  1226345 |     2822    779 |        0 |        0
1770.27/1770.84	c 1770s |      21 |  1400262 |  1227645 |     2822    779 |        0 |        0
1772.27/1772.84	c 1772s |      21 |  1401572 |  1228845 |     2822    780 |        0 |        0
1774.47/1775.01	c 1774s |      21 |  1402747 |  1229945 |     2822    781 |        0 |        0
1776.47/1777.07	c 1776s |      21 |  1404494 |  1231445 |     2822    781 |        0 |        0
1778.57/1779.12	c 1779s |      21 |  1406195 |  1232945 |     2822    782 |        0 |        0
1780.67/1781.21	c 1781s |      21 |  1407754 |  1234345 |     2822    783 |        0 |        0
1782.77/1783.32	c 1783s |      21 |  1409306 |  1235745 |     2822    784 |        0 |        0
1784.77/1785.40	c 1785s |      21 |  1410719 |  1237045 |     2822    784 |        0 |        0
1786.87/1787.45	c 1787s |      21 |  1412156 |  1238345 |     2822    785 |        0 |        0
1788.87/1789.48	c 1789s |      21 |  1413609 |  1239645 |     2822    786 |        0 |        0
1790.97/1791.55	c 1791s |      21 |  1415184 |  1241045 |     2822    786 |        0 |        0
1792.97/1793.57	c 1793s |      21 |  1416612 |  1242345 |     2822    787 |        0 |        0
1795.07/1795.68	c 1795s |      21 |  1418164 |  1243745 |     2822    788 |        0 |        0
1797.07/1797.69	c 1797s |      21 |  1419589 |  1245045 |     2822    789 |        0 |        0
1799.18/1799.78	c 1799s |      21 |  1421019 |  1246345 |     2822    789 |        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-4109210-1466342427/watcher-4109210-1466342427 -o /tmp/evaluation-result-4109210-1466342427/solver-4109210-1466342427 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109210-1466342427.wbo 

pid=7836
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.24 1.93 1.12 4/180 7839
/proc/meminfo: memFree=29077588/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=783804 CPUtime=0 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 2937 0 0 0 0 0 0 0 20 0 4 0 36291428 802615296 3297 33554432000 4194304 16246674 140734350952096 140734350951520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 196463 3306 441 2943 0 193357 0
[pid=7839/tid=7840] ppid=7836 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 820441088 3366 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 825683968 3383 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 829878272 3402 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.24 1.93 1.12 4/180 7839
/proc/meminfo: memFree=29077588/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 26008 0 0 0 6 3 0 0 20 0 4 0 36291428 1247350784 26355 33554432000 4194304 16246674 140734350952096 140734350951520 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 304529 26363 805 2943 0 301423 0
[pid=7839/tid=7840] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 26368 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 26373 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 26382 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200615 s]
/proc/loadavg: 2.24 1.93 1.12 4/180 7839
/proc/meminfo: memFree=29077588/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 57620 0 0 0 13 6 0 0 20 0 4 0 36291428 1247350784 57966 33554432000 4194304 16246674 140734350952096 140734350951520 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 304529 57975 805 2943 0 301423 0
[pid=7839/tid=7840] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 57983 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 57996 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 58009 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300542 s]
/proc/loadavg: 2.24 1.93 1.12 4/180 7839
/proc/meminfo: memFree=29077588/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 95955 0 0 0 17 12 0 0 20 0 4 0 36291428 1247350784 96302 33554432000 4194304 16246674 140734350952096 140734350934016 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 304529 96324 805 2943 0 301423 0
[pid=7839/tid=7840] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 96338 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 96350 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 96364 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700427 s]
/proc/loadavg: 2.24 1.93 1.12 4/180 7839
/proc/meminfo: memFree=29077588/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 237681 0 0 0 38 31 0 0 20 0 4 0 36291428 1247350784 238027 33554432000 4194304 16246674 140734350952096 140734350935096 6011022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 304529 238044 811 2943 0 301423 0
[pid=7839/tid=7840] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 238053 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 238058 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1247350784 238065 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.24 1.93 1.12 4/184 7843
/proc/meminfo: memFree=28093400/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1304132 CPUtime=1.49 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 266930 0 0 0 114 35 0 0 20 0 4 0 36291428 1335431168 267254 33554432000 4194304 16246674 140734350952096 140734350934016 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 326033 267254 872 2943 0 322927 0
[pid=7839/tid=7840] ppid=7836 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1335431168 267254 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1335431168 267254 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1335431168 267254 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1304132

[startup+3.10044 s]
/proc/loadavg: 2.24 1.93 1.12 3/184 7843
/proc/meminfo: memFree=28005468/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 267921 0 0 0 274 35 0 0 20 0 4 0 36291428 1338576896 268245 33554432000 4194304 16246674 140734350952096 140734350934016 6010621 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 326801 268245 872 2943 0 323695 0
[pid=7839/tid=7840] ppid=7836 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1338576896 268245 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1338576896 268245 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1338576896 268245 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30045 s]
/proc/loadavg: 2.22 1.93 1.12 3/184 7843
/proc/meminfo: memFree=28004656/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 267968 0 0 0 593 36 0 0 20 0 4 0 36291428 1339625472 268292 33554432000 4194304 16246674 140734350952096 140734350934016 5672356 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 327057 268292 872 2943 0 323951 0
[pid=7839/tid=7840] ppid=7836 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1339625472 268292 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1339625472 268292 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1339625472 268292 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7005 s]
/proc/loadavg: 2.20 1.93 1.13 4/184 7843
/proc/meminfo: memFree=28001580/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 268640 0 0 0 1233 36 0 0 20 0 4 0 36291428 1341722624 268964 33554432000 4194304 16246674 140734350952096 140734350934016 13194725 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 327569 268964 872 2943 0 324463 0
[pid=7839/tid=7840] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 268964 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 268964 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 268964 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.16 1.94 1.14 3/184 7843
/proc/meminfo: memFree=28001848/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 268689 0 0 0 2513 36 0 0 20 0 4 0 36291428 1341722624 269013 33554432000 4194304 16246674 140734350952096 140734350934016 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 327569 269013 872 2943 0 324463 0
[pid=7839/tid=7840] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 269013 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 269013 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 269013 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1006 s]
/proc/loadavg: 2.17 1.96 1.17 3/183 7844
/proc/meminfo: memFree=28001256/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 268689 0 0 0 5072 36 0 0 20 0 4 0 36291428 1341722624 269013 33554432000 4194304 16246674 140734350952096 140734350934016 5722040 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 327569 269013 872 2943 0 324463 0
[pid=7839/tid=7840] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 269013 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 269013 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1341722624 269013 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.23 2.01 1.22 4/183 7845
/proc/meminfo: memFree=28000464/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1311300 CPUtime=102.28 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 268945 0 0 0 10190 38 0 0 20 0 4 0 36291428 1342771200 269269 33554432000 4194304 16246674 140734350952096 140734350934016 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 327825 269269 872 2943 0 324719 0
[pid=7839/tid=7840] ppid=7836 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1342771200 269269 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1342771200 269269 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1342771200 269269 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1321540

[startup+1302.3 s]
/proc/loadavg: 2.32 2.30 1.98 4/183 8020
/proc/meminfo: memFree=27988788/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1301.93 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271794 0 0 0 130136 57 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1321540

[startup+1362.3 s]
/proc/loadavg: 2.32 2.30 2.00 4/183 8118
/proc/meminfo: memFree=27992160/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1361.9 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271835 0 0 0 136131 59 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1321540

[startup+1422.3 s]
/proc/loadavg: 2.28 2.29 2.01 3/183 8168
/proc/meminfo: memFree=27990004/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1421.87 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271878 0 0 0 142127 60 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.23 2.26 2.02 4/183 8266
/proc/meminfo: memFree=27986596/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1481.84 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271921 0 0 0 148122 62 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 5545721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.31 2.29 2.04 3/183 8315
/proc/meminfo: memFree=28522904/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1541.82 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271955 0 0 0 154118 64 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.34 2.29 2.05 3/183 8317
/proc/meminfo: memFree=27980368/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1601.8 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271955 0 0 0 160115 65 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.24 2.27 2.06 4/183 8415
/proc/meminfo: memFree=28193508/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1661.79 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271955 0 0 0 166112 67 0 0 20 0 4 0 36291428 1353256960 272088 33554432000 4194304 16246674 140734350952096 140734350934016 5676365 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272088 875 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272088 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.23 2.26 2.07 3/183 8416
/proc/meminfo: memFree=28122900/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1721.78 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271956 0 0 0 172110 68 0 0 20 0 4 0 36291428 1353256960 272089 33554432000 4194304 16246674 140734350952096 140734350934016 6010629 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272089 876 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.26 2.26 2.08 3/184 8420
/proc/meminfo: memFree=28022756/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1781.77 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271956 0 0 0 178108 69 0 0 20 0 4 0 36291428 1353256960 272089 33554432000 4194304 16246674 140734350952096 140734350934016 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272089 876 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.26 2.08 4/184 8420
/proc/meminfo: memFree=27985496/32872528 swapFree=1431120/1543540
[pid=7839] ppid=7836 vsize=1321540 CPUtime=1800.07 cores=1,3,5,7
/proc/7839/stat : 7839 (toysat) R 7836 7839 7726 0 -1 4202496 271956 0 0 0 179937 70 0 0 20 0 4 0 36291428 1353256960 272089 33554432000 4194304 16246674 140734350952096 140734350934016 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7839/statm: 330385 272089 876 2943 0 327279 0
[pid=7839/tid=7840] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7840/stat : 7840 (toysat) S 7836 7839 7726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773759958256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=7839/tid=7841] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7841/stat : 7841 (toysat) S 7836 7839 7726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773749468400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=7839/tid=7842] ppid=7836 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/7839/task/7842/stat : 7842 (toysat) S 7836 7839 7726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36291429 1353256960 272089 33554432000 4194304 16246674 140734350952096 139773670845616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1321540

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.38
CPU system time (s): 0.702893
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.702893
maximum resident set size= 1088356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271956
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= 461
involuntary context switches= 2385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.62054 second user time and 18.5062 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-19 15:20:27
IDJOB=4109210
IDBENCH=78731
IDSOLVER=2553
FILE ID=node116/4109210-1466342427
RUNJOBID= node116-1466341822-7743
PBS_JOBID= 19922036
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109210-1466342427/watcher-4109210-1466342427 -o /tmp/evaluation-result-4109210-1466342427/solver-4109210-1466342427 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466341822-7743 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109210-1466342427.wbo

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

MD5SUM BENCH= 855765d60afa4a3ed9dadddc2a73110a
RANDOM SEED=347496494

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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:        29078240 kB
Buffers:          140684 kB
Cached:           281188 kB
SwapCached:         2316 kB
Active:          1238972 kB
Inactive:         261920 kB
Active(anon):    1077032 kB
Inactive(anon):     3928 kB
Active(file):     161940 kB
Inactive(file):   257992 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2621780 kB
Mapped:            12328 kB
Shmem:                 0 kB
Slab:             615944 kB
SReclaimable:      60152 kB
SUnreclaim:       555792 kB
KernelStack:        1528 kB
PageTables:         9180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2762980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71660 MiB
End job on node116 at 2016-06-19 15:50:28