Trace number 4093402

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MD5SUMb19b36a9eeef0aa91319f6277ed84276
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints21
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 1107
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1106
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T15:56:43+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-4093402-1466085403.wbo"]
0.00/0.01	c use --random-gen="2817924811 167690480 198640817 565564870 2784391663 1272591701 763658591 120754801 1015284545 731102264 4077825818 3184409806 3961089092 1251473350 2590491544 2505200851 1581628468 1431322818 715818661 3771013386 1543557356 327211015 1725229145 3029520811 3646670878 16148389 447246152 3476299411 1760982318 1789113874 4070047960 3839209188 3262657941 2651320789 902568724 2776209359 840793168 3749513414 582900589 229892303 3215406618 3457037298 3307226074 3707039838 2100820402 4021608128 4202948399 3718725973 1977597604 2043054956 3221803909 1288659845 1586190852 4146794 1878665508 1144433658 1253085826 3401684544 878072919 3542842369 1496893479 2629883362 147569305 948715608 25544171 110344936 2651220013 2683869207 3841414805 986362067 15617016 1148230328 2701694377 3380526212 670785334 1417592061 1351488555 2350404736 799137462 60344290 881543750 571941732 2995381593 1792820207 2051857918 3015059896 2718140217 3295557646 1882383409 811434915 561154311 1816208059 1403113915 137252427 1515144081 980189405 325264155 2880842193 13283400 1588857528 3014489127 3540468325 2127469658 2492172432 1131871724 2597201635 184691709 1564016938 2901256238 4029638315 1228446602 2459845196 321174866 841647393 641050636 3798418710 3542302333 2492125503 2239940159 3550412234 3983208015 2826042998 3585856729 2273769322 3932221059 1466191481 2120684693 151771790 2909424309 306796435 1286433802 2431539340 2545517954 2410596664 1870144422 2602790672 3754321198 4045465079 1928990155 1022379820 3880944873 3042339623 3155967304 2313349468 246468185 2267752757 1749026983 1479959924 2895038281 1501172183 2675751153 2899589871 591944322 1371745302 1426917333 4053722050 4260517200 2522705135 1314965100 2672069737 2091533657 2393394864 4007103417 2653606005 3876325102 4207421310 292358351 2015848573 166618403 2219558619 3959845125 1888728772 2080622284 943974018 1343540570 2994896381 4015554840 3109084861 3077526167 1825841680 1861239487 1451180934 4207397185 2486915532 3568650256 1749345873 1915769846 92338240 1926057160 3459952051 3317279530 1968421693 4193750825 1499737123 4141632536 2007778254 463293791 1976268362 4157775635 1310063559 550749285 2312191888 812459446 3743490849 2262385185 3566250898 132866508 1748209149 4051766590 1884406750 262710291 1752430431 2867145989 3968711766 4098522133 3152491815 3318303842 259371883 328178005 2653103886 2973772127 2897801927 836798513 1057436713 1423090253 2923945225 1014268559 663674124 3536350424 243716332 2687770119 292008450 4043105706 1514220763 2064566883 522135406 3291870897 4001426835 376656793 971773810 3436941637 1540132639 1108869844 909509054 4279756521 3933597403 1675957119 932297864 2356423160 2764751996 2897761836 3794240500 3112301605 3045493756 2225691911 460196730 255 362436" option to reproduce the execution
0.00/0.08	c #vars 1640
0.00/0.08	c #constraints 81
0.00/0.09	c BCD2: Hardening is enabled.
0.00/0.09	c BCD2: BiasedSearch is enabled.
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      580      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |      178 |      100 |      580      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |     1168 |      101 |      638      0 |        0 |        0
0.09/0.13	c #cpu_time = 0.043s
0.09/0.13	c #wall_clock_time = 0.043s
0.09/0.13	c #decision = 1168
0.09/0.13	c #random_decision = 3
0.09/0.13	c #conflict = 101
0.09/0.13	c #restart = 1
0.09/0.13	o 735
0.09/0.13	c BCD2: updating upper bound: 1106 -> 734
0.09/0.13	c BCD2: 0 <= obj <= 734
0.09/0.13	c BCD2: #cores=0, #unrelaxed=21, #relaxed=0, #hardened=0
0.09/0.13	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |      638      0 |        0 |        0
0.19/0.23	c  0.1s |       1 |      793 |      100 |      638      0 |        0 |        0
0.29/0.38	c  0.2s |       2 |     2151 |      250 |      702      0 |        0 |        0
0.48/0.55	c  0.4s |       3 |     3323 |      475 |      773      0 |        0 |        0
0.89/0.99	c  0.9s |       4 |     4544 |      813 |      851      0 |        0 |        0
1.28/1.36	c  1.2s |       5 |     5958 |     1320 |      937      1 |        0 |        0
1.88/1.93	c  1.8s |       6 |     7702 |     2081 |     1031      2 |        0 |        0
2.78/2.81	c  2.7s |       7 |     9808 |     3223 |     1135      3 |        0 |        0
4.19/4.22	c  4.1s |       8 |    12597 |     4936 |     1249      4 |        0 |        0
6.19/6.24	c  6.1s |       8 |    15776 |     6936 |     1249      6 |        0 |        0
6.89/6.94	c  6.8s |       9 |    16411 |     7506 |     1374      7 |        0 |        0
8.90/8.97	c  8.8s |       9 |    19851 |     9606 |     1374      9 |        0 |        0
10.79/10.81	c 10.7s |      10 |    21938 |    11361 |     1512     10 |        0 |        0
12.89/12.93	c 12.8s |      10 |    25612 |    13461 |     1512     11 |        0 |        0
14.99/15.06	c 14.9s |      10 |    27358 |    14961 |     1512     12 |        0 |        0
16.99/17.06	c 16.9s |      10 |    28857 |    16261 |     1512     13 |        0 |        0
17.89/17.94	c 17.8s |      11 |    29950 |    17144 |     1664     14 |        0 |        0
19.99/20.06	c 19.9s |      11 |    33404 |    19144 |     1664     15 |        0 |        0
22.10/22.18	c 22.0s |      11 |    35490 |    20644 |     1664     16 |        0 |        0
24.20/24.29	c 24.2s |      11 |    37436 |    22144 |     1664     17 |        0 |        0
26.29/26.39	c 26.3s |      11 |    38998 |    23544 |     1664     18 |        0 |        0
28.49/28.53	c 28.4s |      11 |    40456 |    24844 |     1664     19 |        0 |        0
30.09/30.14	c 30.0s |      12 |    41509 |    25819 |     1831     19 |        0 |        0
32.09/32.15	c 32.0s |      12 |    44928 |    28219 |     1831     22 |        0 |        0
34.19/34.25	c 34.1s |      12 |    47805 |    30319 |     1831     23 |        0 |        0
36.19/36.29	c 36.2s |      12 |    49545 |    31919 |     1831     24 |        0 |        0
38.29/38.34	c 38.2s |      12 |    51208 |    33419 |     1831     25 |        0 |        0
40.28/40.38	c 40.2s |      12 |    52988 |    35019 |     1831     25 |        0 |        0
42.38/42.42	c 42.3s |      12 |    54828 |    36619 |     1831     26 |        0 |        0
44.48/44.51	c 44.4s |      12 |    56760 |    38319 |     1831     27 |        0 |        0
45.09/45.17	c 45.0s |      13 |    57334 |    38832 |     2015     28 |        0 |        0
47.18/47.20	c 47.1s |      13 |    60610 |    40832 |     2015     29 |        0 |        0
49.28/49.31	c 49.2s |      13 |    62368 |    42432 |     2015     30 |        0 |        0
51.38/51.40	c 51.3s |      13 |    64048 |    43932 |     2015     31 |        0 |        0
53.38/53.41	c 53.3s |      13 |    65508 |    45232 |     2015     32 |        0 |        0
55.48/55.58	c 55.4s |      13 |    67074 |    46632 |     2015     32 |        0 |        0
57.58/57.63	c 57.5s |      13 |    68524 |    47932 |     2015     33 |        0 |        0
59.68/59.72	c 59.6s |      13 |    69986 |    49232 |     2015     34 |        0 |        0
61.88/61.94	c 61.8s |      13 |    71289 |    50432 |     2015     35 |        0 |        0
63.89/63.97	c 63.8s |      13 |    72761 |    51732 |     2015     35 |        0 |        0
65.99/66.00	c 65.9s |      13 |    74061 |    52932 |     2015     36 |        0 |        0
68.08/68.14	c 68.0s |      13 |    75526 |    54232 |     2015     37 |        0 |        0
70.18/70.23	c 70.1s |      13 |    76939 |    55532 |     2015     37 |        0 |        0
72.28/72.31	c 72.2s |      13 |    78384 |    56832 |     2015     38 |        0 |        0
74.27/74.33	c 74.2s |      14 |    80092 |    58352 |     2217     39 |        0 |        0
76.27/76.36	c 76.2s |      14 |    82822 |    59952 |     2217     40 |        0 |        0
78.27/78.36	c 78.2s |      14 |    84181 |    61152 |     2217     41 |        0 |        0
80.38/80.45	c 80.3s |      14 |    85774 |    62552 |     2217     41 |        0 |        0
82.48/82.54	c 82.4s |      14 |    87270 |    63852 |     2217     42 |        0 |        0
84.57/84.67	c 84.5s |      14 |    88762 |    65152 |     2217     43 |        0 |        0
86.57/86.69	c 86.6s |      14 |    90102 |    66352 |     2217     43 |        0 |        0
88.78/88.83	c 88.7s |      14 |    91631 |    67652 |     2217     44 |        0 |        0
90.88/90.93	c 90.8s |      14 |    93134 |    68952 |     2217     45 |        0 |        0
92.98/93.06	c 92.9s |      14 |    94617 |    70252 |     2217     46 |        0 |        0
95.08/95.12	c 95.0s |      14 |    95992 |    71452 |     2217     46 |        0 |        0
97.08/97.15	c 97.0s |      14 |    97249 |    72552 |     2217     47 |        0 |        0
99.18/99.22	c 99.1s |      14 |    98625 |    73752 |     2217     47 |        0 |        0
101.28/101.38	c  101s |      14 |    99975 |    74952 |     2217     48 |        0 |        0
103.48/103.53	c  103s |      14 |   101209 |    76052 |     2217     49 |        0 |        0
105.48/105.56	c  105s |      14 |   102613 |    77252 |     2217     49 |        0 |        0
107.58/107.67	c  107s |      14 |   103853 |    78352 |     2217     50 |        0 |        0
109.68/109.79	c  109s |      14 |   105227 |    79552 |     2217     50 |        0 |        0
111.78/111.82	c  111s |      14 |   106582 |    80752 |     2217     51 |        0 |        0
113.77/113.83	c  113s |      14 |   107964 |    81952 |     2217     52 |        0 |        0
115.87/115.91	c  115s |      14 |   109540 |    83252 |     2217     52 |        0 |        0
117.87/117.92	c  117s |      14 |   110928 |    84452 |     2217     53 |        0 |        0
119.88/120.00	c  119s |      14 |   112127 |    85552 |     2217     54 |        0 |        0
121.97/122.00	c  121s |      14 |   113507 |    86752 |     2217     54 |        0 |        0
123.67/123.73	c  123s |      15 |   114503 |    87632 |     2439     55 |        0 |        0
125.67/125.78	c  125s |      15 |   117832 |    89832 |     2439     56 |        0 |        0
127.77/127.89	c  127s |      15 |   119884 |    91632 |     2439     57 |        0 |        0
129.88/129.99	c  129s |      15 |   121692 |    93232 |     2439     57 |        0 |        0
131.98/132.05	c  131s |      15 |   123250 |    94632 |     2439     58 |        0 |        0
134.07/134.15	c  134s |      15 |   124993 |    96132 |     2439     59 |        0 |        0
136.07/136.17	c  136s |      15 |   126576 |    97532 |     2439     60 |        0 |        0
138.27/138.31	c  138s |      15 |   128256 |    99032 |     2439     60 |        0 |        0
140.27/140.38	c  140s |      15 |   129973 |   100532 |     2439     61 |        0 |        0
142.27/142.39	c  142s |      15 |   131437 |   101832 |     2439     62 |        0 |        0
144.37/144.43	c  144s |      15 |   132991 |   103232 |     2439     62 |        0 |        0
146.38/146.48	c  146s |      15 |   134339 |   104432 |     2439     63 |        0 |        0
148.48/148.52	c  148s |      15 |   135772 |   105732 |     2439     64 |        0 |        0
150.57/150.60	c  150s |      15 |   137334 |   107132 |     2439     64 |        0 |        0
152.67/152.75	c  152s |      15 |   138786 |   108432 |     2439     65 |        0 |        0
154.67/154.78	c  154s |      15 |   140279 |   109732 |     2439     66 |        0 |        0
156.77/156.83	c  156s |      15 |   141898 |   111132 |     2439     66 |        0 |        0
158.87/158.95	c  158s |      15 |   143505 |   112532 |     2439     67 |        0 |        0
160.87/160.96	c  160s |      15 |   144808 |   113732 |     2439     68 |        0 |        0
163.07/163.12	c  162s |      15 |   146680 |   115232 |     2439     69 |        0 |        0
165.07/165.17	c  165s |      15 |   148275 |   116532 |     2439     69 |        0 |        0
167.27/167.31	c  167s |      15 |   149759 |   117832 |     2439     70 |        0 |        0
169.27/169.34	c  169s |      15 |   151209 |   119032 |     2439     70 |        0 |        0
171.27/171.37	c  171s |      15 |   152468 |   120132 |     2439     71 |        0 |        0
173.46/173.54	c  173s |      15 |   153675 |   121232 |     2439     72 |        0 |        0
175.56/175.61	c  175s |      15 |   155575 |   122732 |     2439     72 |        0 |        0
177.56/177.66	c  177s |      15 |   157276 |   124132 |     2439     73 |        0 |        0
179.66/179.73	c  179s |      15 |   158848 |   125432 |     2439     74 |        0 |        0
181.76/181.89	c  181s |      15 |   160361 |   126732 |     2439     74 |        0 |        0
183.86/183.96	c  183s |      15 |   161740 |   127932 |     2439     75 |        0 |        0
185.97/186.07	c  185s |      15 |   163104 |   129132 |     2439     76 |        0 |        0
188.07/188.16	c  188s |      15 |   164554 |   130432 |     2439     76 |        0 |        0
190.06/190.17	c  190s |      15 |   165551 |   131332 |     2683     77 |        0 |        0
190.56/190.60	c  190s |      16 |   165799 |   131552 |     2683     77 |        0 |        0
192.47/192.60	c  192s |      16 |   168971 |   133652 |     2683     78 |        0 |        0
194.56/194.67	c  194s |      16 |   171015 |   135452 |     2683     79 |        0 |        0
196.66/196.71	c  196s |      16 |   172739 |   137052 |     2683     79 |        0 |        0
198.66/198.72	c  198s |      16 |   174641 |   138752 |     2683     80 |        0 |        0
200.76/200.81	c  200s |      16 |   176537 |   140452 |     2683     81 |        0 |        0
202.76/202.88	c  202s |      16 |   177988 |   141752 |     2683     82 |        0 |        0
204.86/204.93	c  204s |      16 |   179943 |   143452 |     2683     82 |        0 |        0
206.96/207.04	c  206s |      16 |   181627 |   144952 |     2683     83 |        0 |        0
208.96/209.06	c  208s |      16 |   183118 |   146252 |     2683     84 |        0 |        0
211.06/211.20	c  211s |      16 |   184636 |   147652 |     2683     84 |        0 |        0
213.16/213.24	c  213s |      16 |   186068 |   148952 |     2683     85 |        0 |        0
215.26/215.30	c  215s |      16 |   187470 |   150252 |     2683     86 |        0 |        0
217.36/217.42	c  217s |      16 |   189400 |   151952 |     2683     86 |        0 |        0
219.36/219.49	c  219s |      16 |   190912 |   153352 |     2683     87 |        0 |        0
221.46/221.52	c  221s |      16 |   192346 |   154652 |     2683     88 |        0 |        0
223.46/223.58	c  223s |      16 |   194319 |   156352 |     2683     89 |        0 |        0
225.56/225.69	c  225s |      16 |   195947 |   157852 |     2683     89 |        0 |        0
227.66/227.74	c  227s |      16 |   197467 |   159252 |     2683     90 |        0 |        0
229.75/229.88	c  229s |      16 |   198876 |   160552 |     2683     91 |        0 |        0
231.95/232.03	c  231s |      16 |   200543 |   162052 |     2683     91 |        0 |        0
234.05/234.14	c  234s |      16 |   202049 |   163452 |     2683     92 |        0 |        0
236.15/236.21	c  236s |      16 |   203457 |   164752 |     2683     93 |        0 |        0
238.15/238.27	c  238s |      16 |   204964 |   166152 |     2683     93 |        0 |        0
240.25/240.34	c  240s |      16 |   206658 |   167652 |     2683     94 |        0 |        0
242.25/242.40	c  242s |      16 |   208452 |   169252 |     2683     95 |        0 |        0
244.35/244.40	c  244s |      16 |   209866 |   170552 |     2683     95 |        0 |        0
246.36/246.45	c  246s |      16 |   211292 |   171852 |     2683     96 |        0 |        0
248.45/248.56	c  248s |      16 |   212841 |   173252 |     2683     97 |        0 |        0
250.55/250.66	c  250s |      16 |   214574 |   174852 |     2683     97 |        0 |        0
252.65/252.79	c  252s |      16 |   216082 |   176252 |     2683     98 |        0 |        0
254.75/254.83	c  254s |      16 |   217824 |   177752 |     2683     99 |        0 |        0
256.95/257.04	c  256s |      16 |   219612 |   179352 |     2683    100 |        0 |        0
259.05/259.10	c  258s |      16 |   221022 |   180652 |     2683    100 |        0 |        0
261.05/261.12	c  260s |      16 |   222522 |   181952 |     2683    101 |        0 |        0
263.05/263.15	c  263s |      16 |   224182 |   183452 |     2683    101 |        0 |        0
265.15/265.23	c  265s |      16 |   225892 |   184952 |     2683    102 |        0 |        0
267.15/267.25	c  267s |      16 |   227733 |   186552 |     2683    103 |        0 |        0
269.15/269.28	c  269s |      16 |   229383 |   188052 |     2683    104 |        0 |        0
271.34/271.44	c  271s |      16 |   231002 |   189552 |     2683    104 |        0 |        0
273.34/273.48	c  273s |      16 |   232549 |   190952 |     2683    105 |        0 |        0
275.54/275.65	c  275s |      16 |   234183 |   192352 |     2683    106 |        0 |        0
277.54/277.68	c  277s |      16 |   235853 |   193852 |     2683    106 |        0 |        0
279.64/279.79	c  279s |      16 |   237346 |   195252 |     2683    107 |        0 |        0
281.74/281.82	c  281s |      16 |   238663 |   196452 |     2952    108 |        0 |        0
283.14/283.24	c  283s |      17 |   239723 |   197432 |     2952    108 |        0 |        0
285.14/285.28	c  285s |      17 |   242712 |   199532 |     2952    109 |        0 |        0
287.24/287.34	c  287s |      17 |   244603 |   201232 |     2952    110 |        0 |        0
289.25/289.39	c  289s |      17 |   246084 |   202532 |     2952    111 |        0 |        0
291.34/291.49	c  291s |      17 |   247841 |   204132 |     2952    111 |        0 |        0
293.54/293.60	c  293s |      17 |   249371 |   205532 |     2952    112 |        0 |        0
295.64/295.75	c  295s |      17 |   251049 |   207032 |     2952    113 |        0 |        0
297.74/297.84	c  297s |      17 |   252556 |   208432 |     2952    113 |        0 |        0
299.85/299.92	c  299s |      17 |   254107 |   209832 |     2952    114 |        0 |        0
301.94/302.05	c  301s |      17 |   255963 |   211432 |     2952    115 |        0 |        0
303.94/304.07	c  303s |      17 |   257688 |   213032 |     2952    115 |        0 |        0
305.94/306.08	c  305s |      17 |   259061 |   214332 |     2952    116 |        0 |        0
308.05/308.16	c  308s |      17 |   260944 |   216032 |     2952    117 |        0 |        0
310.14/310.24	c  310s |      17 |   262693 |   217632 |     2952    117 |        0 |        0
312.24/312.35	c  312s |      17 |   264343 |   219132 |     2952    118 |        0 |        0
314.34/314.41	c  314s |      17 |   265990 |   220632 |     2952    119 |        0 |        0
316.34/316.44	c  316s |      17 |   267492 |   222032 |     2952    119 |        0 |        0
318.34/318.48	c  318s |      17 |   269216 |   223532 |     2952    120 |        0 |        0
320.63/320.70	c  320s |      17 |   270724 |   224932 |     2952    121 |        0 |        0
322.63/322.71	c  322s |      17 |   272494 |   226532 |     2952    121 |        0 |        0
324.63/324.75	c  324s |      17 |   274025 |   227932 |     2952    122 |        0 |        0
326.83/326.90	c  326s |      17 |   275632 |   229332 |     2952    123 |        0 |        0
328.84/328.95	c  328s |      17 |   277324 |   230832 |     2952    123 |        0 |        0
330.82/330.96	c  330s |      17 |   278747 |   232132 |     2952    124 |        0 |        0
332.92/333.02	c  332s |      17 |   280362 |   233532 |     2952    124 |        0 |        0
334.92/335.05	c  334s |      17 |   281779 |   234832 |     2952    125 |        0 |        0
336.92/337.09	c  336s |      17 |   283102 |   236032 |     2952    126 |        0 |        0
339.12/339.22	c  339s |      17 |   284513 |   237332 |     2952    126 |        0 |        0
341.22/341.30	c  341s |      17 |   286056 |   238732 |     2952    127 |        0 |        0
343.22/343.31	c  343s |      17 |   287734 |   240232 |     2952    127 |        0 |        0
345.22/345.38	c  345s |      17 |   289406 |   241732 |     2952    128 |        0 |        0
347.32/347.44	c  347s |      17 |   290844 |   243032 |     2952    129 |        0 |        0
349.41/349.59	c  349s |      17 |   292360 |   244432 |     2952    129 |        0 |        0
351.51/351.63	c  351s |      17 |   294048 |   245932 |     2952    130 |        0 |        0
353.51/353.67	c  353s |      17 |   295572 |   247332 |     2952    131 |        0 |        0
355.61/355.79	c  355s |      17 |   297100 |   248732 |     2952    131 |        0 |        0
357.71/357.85	c  357s |      17 |   298747 |   250232 |     2952    132 |        0 |        0
359.81/359.97	c  359s |      17 |   300274 |   251632 |     2952    133 |        0 |        0
362.01/362.10	c  361s |      17 |   301823 |   253032 |     2952    133 |        0 |        0
364.11/364.21	c  364s |      17 |   303248 |   254332 |     2952    134 |        0 |        0
366.21/366.32	c  366s |      17 |   304867 |   255832 |     2952    134 |        0 |        0
368.30/368.43	c  368s |      17 |   306389 |   257232 |     2952    135 |        0 |        0
370.40/370.54	c  370s |      17 |   307906 |   258532 |     2952    136 |        0 |        0
372.50/372.63	c  372s |      17 |   309405 |   259832 |     2952    136 |        0 |        0
374.50/374.65	c  374s |      17 |   310772 |   261032 |     2952    137 |        0 |        0
376.60/376.75	c  376s |      17 |   312442 |   262532 |     2952    137 |        0 |        0
378.70/378.86	c  378s |      17 |   313984 |   263932 |     2952    138 |        0 |        0
380.80/380.99	c  380s |      17 |   315491 |   265332 |     2952    139 |        0 |        0
383.00/383.12	c  382s |      17 |   317195 |   266832 |     2952    139 |        0 |        0
385.10/385.25	c  385s |      17 |   318632 |   268132 |     2952    140 |        0 |        0
387.20/387.35	c  387s |      17 |   320302 |   269632 |     2952    141 |        0 |        0
389.19/389.35	c  389s |      17 |   322199 |   271332 |     2952    141 |        0 |        0
391.29/391.47	c  391s |      17 |   323948 |   272932 |     2952    142 |        0 |        0
393.39/393.57	c  393s |      17 |   325568 |   274432 |     2952    143 |        0 |        0
395.49/395.67	c  395s |      17 |   327173 |   275932 |     2952    143 |        0 |        0
397.59/397.78	c  397s |      17 |   328880 |   277432 |     2952    144 |        0 |        0
399.69/399.87	c  399s |      17 |   330439 |   278832 |     2952    145 |        0 |        0
401.78/401.99	c  401s |      17 |   332003 |   280232 |     2952    145 |        0 |        0
403.98/404.16	c  404s |      17 |   333305 |   281432 |     2952    146 |        0 |        0
406.08/406.26	c  406s |      17 |   334627 |   282632 |     2952    146 |        0 |        0
408.18/408.33	c  408s |      17 |   335948 |   283832 |     2952    147 |        0 |        0
410.19/410.35	c  410s |      17 |   337132 |   284932 |     2952    147 |        0 |        0
412.18/412.39	c  412s |      17 |   338831 |   286432 |     2952    148 |        0 |        0
414.28/414.45	c  414s |      17 |   340271 |   287732 |     2952    149 |        0 |        0
416.38/416.58	c  416s |      17 |   341661 |   289032 |     2952    149 |        0 |        0
418.48/418.63	c  418s |      17 |   342865 |   290132 |     2952    150 |        0 |        0
420.48/420.67	c  420s |      17 |   344153 |   291332 |     2952    150 |        0 |        0
422.57/422.72	c  422s |      17 |   345455 |   292532 |     2952    151 |        0 |        0
424.67/424.87	c  424s |      17 |   347103 |   293932 |     2952    152 |        0 |        0
426.69/426.88	c  426s |      17 |   348955 |   295532 |     3248    152 |        0 |        0
427.79/427.96	c  427s |      18 |   349749 |   296252 |     3248    152 |        0 |        0
429.78/429.98	c  429s |      18 |   353200 |   298552 |     3248    153 |        0 |        0
431.88/432.07	c  431s |      18 |   355064 |   300252 |     3248    154 |        0 |        0
433.98/434.16	c  434s |      18 |   357215 |   302152 |     3248    155 |        0 |        0
436.07/436.26	c  436s |      18 |   359321 |   304052 |     3248    156 |        0 |        0
438.07/438.26	c  438s |      18 |   361211 |   305752 |     3248    156 |        0 |        0
440.07/440.26	c  440s |      18 |   362955 |   307352 |     3248    157 |        0 |        0
442.18/442.37	c  442s |      18 |   364630 |   308852 |     3248    158 |        0 |        0
444.28/444.48	c  444s |      18 |   366285 |   310352 |     3248    158 |        0 |        0
446.37/446.52	c  446s |      18 |   368440 |   312052 |     3248    159 |        0 |        0
448.37/448.57	c  448s |      18 |   370074 |   313552 |     3248    160 |        0 |        0
450.46/450.66	c  450s |      18 |   371691 |   315052 |     3248    160 |        0 |        0
452.56/452.76	c  452s |      18 |   373138 |   316352 |     3248    161 |        0 |        0
454.66/454.89	c  454s |      18 |   374864 |   317852 |     3248    162 |        0 |        0
456.76/456.98	c  456s |      18 |   376706 |   319552 |     3248    162 |        0 |        0
458.86/459.04	c  458s |      18 |   378412 |   321052 |     3248    163 |        0 |        0
460.96/461.18	c  461s |      18 |   380202 |   322652 |     3248    164 |        0 |        0
463.16/463.30	c  463s |      18 |   381954 |   324252 |     3248    164 |        0 |        0
465.17/465.32	c  465s |      18 |   383651 |   325752 |     3248    165 |        0 |        0
467.16/467.36	c  467s |      18 |   385318 |   327252 |     3248    165 |        0 |        0
469.26/469.48	c  469s |      18 |   386969 |   328752 |     3248    166 |        0 |        0
471.35/471.57	c  471s |      18 |   388762 |   330352 |     3248    167 |        0 |        0
473.55/473.71	c  473s |      18 |   390391 |   331852 |     3248    167 |        0 |        0
475.65/475.81	c  475s |      18 |   392081 |   333352 |     3248    168 |        0 |        0
477.65/477.88	c  477s |      18 |   393689 |   334852 |     3248    169 |        0 |        0
479.75/479.96	c  479s |      18 |   395450 |   336352 |     3248    169 |        0 |        0
481.75/481.99	c  481s |      18 |   397098 |   337852 |     3248    170 |        0 |        0
483.75/484.00	c  483s |      18 |   398965 |   339452 |     3248    171 |        0 |        0
485.95/486.11	c  485s |      18 |   401038 |   341252 |     3248    171 |        0 |        0
487.95/488.19	c  488s |      18 |   402723 |   342752 |     3248    172 |        0 |        0
490.04/490.24	c  490s |      18 |   404279 |   344152 |     3248    173 |        0 |        0
492.04/492.26	c  492s |      18 |   406092 |   345752 |     3248    173 |        0 |        0
494.04/494.29	c  494s |      18 |   408024 |   347452 |     3248    174 |        0 |        0
496.24/496.48	c  496s |      18 |   409507 |   348852 |     3248    175 |        0 |        0
498.34/498.59	c  498s |      18 |   411155 |   350352 |     3248    175 |        0 |        0
500.44/500.61	c  500s |      18 |   412838 |   351852 |     3248    176 |        0 |        0
502.43/502.62	c  502s |      18 |   414652 |   353452 |     3248    176 |        0 |        0
504.53/504.70	c  504s |      18 |   416268 |   354952 |     3248    177 |        0 |        0
506.63/506.80	c  506s |      18 |   417954 |   356452 |     3248    178 |        0 |        0
508.63/508.82	c  508s |      18 |   419649 |   357952 |     3248    178 |        0 |        0
510.63/510.84	c  510s |      18 |   421327 |   359452 |     3248    179 |        0 |        0
512.93/513.12	c  512s |      18 |   422893 |   360852 |     3248    180 |        0 |        0
514.92/515.17	c  515s |      18 |   425150 |   362852 |     3248    180 |        0 |        0
517.02/517.26	c  517s |      18 |   426799 |   364352 |     3248    181 |        0 |        0
519.13/519.34	c  519s |      18 |   428562 |   365952 |     3248    182 |        0 |        0
521.12/521.36	c  521s |      18 |   430180 |   367452 |     3248    182 |        0 |        0
523.22/523.48	c  523s |      18 |   431808 |   368952 |     3248    183 |        0 |        0
525.43/525.61	c  525s |      18 |   433789 |   370652 |     3248    184 |        0 |        0
527.52/527.70	c  527s |      18 |   435684 |   372352 |     3248    184 |        0 |        0
529.62/529.81	c  529s |      18 |   437437 |   373952 |     3248    185 |        0 |        0
531.72/531.93	c  531s |      18 |   439064 |   375452 |     3248    186 |        0 |        0
533.72/533.97	c  533s |      18 |   440682 |   376952 |     3248    186 |        0 |        0
535.82/536.07	c  535s |      18 |   442096 |   378252 |     3248    187 |        0 |        0
537.92/538.14	c  538s |      18 |   443768 |   379752 |     3248    187 |        0 |        0
540.02/540.22	c  540s |      18 |   445921 |   381452 |     3248    188 |        0 |        0
542.01/542.27	c  542s |      18 |   447844 |   383052 |     3248    189 |        0 |        0
544.11/544.39	c  544s |      18 |   449540 |   384552 |     3248    190 |        0 |        0
546.21/546.45	c  546s |      18 |   451448 |   386152 |     3248    190 |        0 |        0
548.31/548.51	c  548s |      18 |   453173 |   387652 |     3248    191 |        0 |        0
550.31/550.58	c  550s |      18 |   454837 |   389152 |     3248    191 |        0 |        0
552.41/552.64	c  552s |      18 |   456492 |   390652 |     3248    192 |        0 |        0
554.51/554.74	c  554s |      18 |   458173 |   392152 |     3248    193 |        0 |        0
556.51/556.77	c  556s |      18 |   460303 |   393952 |     3248    193 |        0 |        0
558.71/558.93	c  558s |      18 |   462137 |   395552 |     3248    194 |        0 |        0
560.70/560.94	c  560s |      18 |   463571 |   396852 |     3248    195 |        0 |        0
562.70/562.95	c  562s |      18 |   465008 |   398152 |     3248    195 |        0 |        0
564.70/564.98	c  564s |      18 |   466455 |   399452 |     3248    196 |        0 |        0
566.80/567.07	c  566s |      18 |   468586 |   401252 |     3248    197 |        0 |        0
568.90/569.16	c  569s |      18 |   470236 |   402752 |     3248    197 |        0 |        0
570.90/571.19	c  571s |      18 |   471696 |   404052 |     3248    198 |        0 |        0
573.00/573.23	c  573s |      18 |   473640 |   405752 |     3248    198 |        0 |        0
575.10/575.35	c  575s |      18 |   475306 |   407252 |     3248    199 |        0 |        0
577.09/577.35	c  577s |      18 |   476762 |   408552 |     3248    200 |        0 |        0
579.19/579.45	c  579s |      18 |   478642 |   410152 |     3248    200 |        0 |        0
581.19/581.49	c  581s |      18 |   480376 |   411652 |     3248    201 |        0 |        0
583.29/583.53	c  583s |      18 |   482081 |   413152 |     3248    202 |        0 |        0
585.39/585.61	c  585s |      18 |   483765 |   414652 |     3248    202 |        0 |        0
587.39/587.69	c  587s |      18 |   485334 |   416052 |     3248    203 |        0 |        0
589.49/589.71	c  589s |      18 |   486656 |   417252 |     3248    203 |        0 |        0
591.48/591.72	c  591s |      18 |   488000 |   418452 |     3248    204 |        0 |        0
593.58/593.89	c  593s |      18 |   489450 |   419752 |     3248    204 |        0 |        0
595.78/596.01	c  595s |      18 |   491194 |   421252 |     3248    205 |        0 |        0
597.78/598.05	c  597s |      18 |   492721 |   422652 |     3248    206 |        0 |        0
599.88/600.15	c  600s |      18 |   494376 |   424152 |     3248    206 |        0 |        0
601.98/602.22	c  602s |      18 |   496196 |   425752 |     3248    207 |        0 |        0
604.08/604.30	c  604s |      18 |   497637 |   427052 |     3248    207 |        0 |        0
606.18/606.43	c  606s |      18 |   499327 |   428552 |     3248    208 |        0 |        0
608.28/608.58	c  608s |      18 |   501182 |   430152 |     3248    209 |        0 |        0
610.38/610.62	c  610s |      18 |   503045 |   431752 |     3248    209 |        0 |        0
612.37/612.64	c  612s |      18 |   504768 |   433252 |     3248    210 |        0 |        0
614.37/614.68	c  614s |      18 |   506761 |   434952 |     3248    211 |        0 |        0
616.37/616.70	c  616s |      18 |   508324 |   436352 |     3248    211 |        0 |        0
618.57/618.81	c  618s |      18 |   509856 |   437752 |     3248    212 |        0 |        0
620.66/620.93	c  620s |      18 |   511561 |   439252 |     3248    212 |        0 |        0
622.66/623.00	c  622s |      18 |   513254 |   440752 |     3248    213 |        0 |        0
624.86/625.18	c  625s |      18 |   514693 |   442052 |     3573    214 |        0 |        0
626.96/627.24	c  627s |      18 |   516282 |   443452 |     3573    214 |        0 |        0
628.16/628.47	c  628s |      19 |   517446 |   444482 |     3573    214 |        0 |        0
630.26/630.53	c  630s |      19 |   520663 |   446582 |     3573    215 |        0 |        0
632.27/632.57	c  632s |      19 |   522683 |   448282 |     3573    216 |        0 |        0
634.26/634.59	c  634s |      19 |   524386 |   449782 |     3573    217 |        0 |        0
636.36/636.63	c  636s |      19 |   526064 |   451282 |     3573    217 |        0 |        0
638.46/638.72	c  638s |      19 |   527590 |   452682 |     3573    218 |        0 |        0
640.45/640.78	c  640s |      19 |   529160 |   454082 |     3573    218 |        0 |        0
642.55/642.89	c  642s |      19 |   530596 |   455382 |     3573    219 |        0 |        0
644.75/645.02	c  644s |      19 |   532251 |   456882 |     3573    219 |        0 |        0
646.75/647.06	c  646s |      19 |   533683 |   458182 |     3573    220 |        0 |        0
648.76/649.10	c  648s |      19 |   535461 |   459682 |     3573    220 |        0 |        0
650.85/651.19	c  651s |      19 |   537460 |   461382 |     3573    221 |        0 |        0
652.94/653.29	c  653s |      19 |   539156 |   462882 |     3573    222 |        0 |        0
655.04/655.32	c  655s |      19 |   541181 |   464582 |     3573    222 |        0 |        0
657.04/657.37	c  657s |      19 |   543056 |   466182 |     3573    223 |        0 |        0
659.14/659.41	c  659s |      19 |   545028 |   467882 |     3573    224 |        0 |        0
661.14/661.43	c  661s |      19 |   546886 |   469482 |     3573    224 |        0 |        0
663.15/663.46	c  663s |      19 |   548577 |   470982 |     3573    225 |        0 |        0
665.14/665.47	c  665s |      19 |   550687 |   472782 |     3573    226 |        0 |        0
667.34/667.60	c  667s |      19 |   552587 |   474482 |     3573    226 |        0 |        0
669.44/669.71	c  669s |      19 |   554213 |   475882 |     3573    227 |        0 |        0
671.43/671.78	c  671s |      19 |   556044 |   477482 |     3573    227 |        0 |        0
673.53/673.81	c  673s |      19 |   557618 |   478882 |     3573    228 |        0 |        0
675.53/675.81	c  675s |      19 |   559299 |   480382 |     3573    229 |        0 |        0
677.63/677.91	c  677s |      19 |   561127 |   481982 |     3573    229 |        0 |        0
679.64/679.94	c  679s |      19 |   562701 |   483382 |     3573    230 |        0 |        0
681.73/682.03	c  681s |      19 |   564360 |   484882 |     3573    230 |        0 |        0
683.73/684.06	c  683s |      19 |   565886 |   486282 |     3573    231 |        0 |        0
685.93/686.29	c  686s |      19 |   567831 |   487982 |     3573    232 |        0 |        0
688.03/688.38	c  688s |      19 |   569583 |   489482 |     3573    232 |        0 |        0
690.22/690.52	c  690s |      19 |   570929 |   490682 |     3573    233 |        0 |        0
692.32/692.60	c  692s |      19 |   572400 |   491982 |     3573    233 |        0 |        0
694.32/694.66	c  694s |      19 |   573626 |   493082 |     3573    234 |        0 |        0
696.42/696.70	c  696s |      19 |   575207 |   494482 |     3573    234 |        0 |        0
698.52/698.81	c  698s |      19 |   576994 |   496082 |     3573    235 |        0 |        0
700.61/700.92	c  700s |      19 |   578665 |   497582 |     3573    235 |        0 |        0
702.72/703.01	c  702s |      19 |   580187 |   498982 |     3573    236 |        0 |        0
704.71/705.03	c  704s |      19 |   581617 |   500282 |     3573    236 |        0 |        0
706.81/707.14	c  707s |      19 |   583185 |   501682 |     3573    237 |        0 |        0
708.91/709.26	c  709s |      19 |   584809 |   503082 |     3573    237 |        0 |        0
711.01/711.34	c  711s |      19 |   586399 |   504482 |     3573    238 |        0 |        0
713.21/713.52	c  713s |      19 |   587931 |   505882 |     3573    239 |        0 |        0
715.31/715.60	c  715s |      19 |   589349 |   507182 |     3573    239 |        0 |        0
717.51/717.81	c  717s |      19 |   590676 |   508382 |     3573    240 |        0 |        0
719.51/719.83	c  719s |      19 |   592373 |   509882 |     3573    240 |        0 |        0
721.60/721.98	c  721s |      19 |   593853 |   511182 |     3573    241 |        0 |        0
723.61/723.99	c  723s |      19 |   595391 |   512582 |     3573    241 |        0 |        0
725.71/726.06	c  725s |      19 |   596854 |   513882 |     3573    242 |        0 |        0
727.80/728.19	c  728s |      19 |   598412 |   515282 |     3573    242 |        0 |        0
729.90/730.24	c  730s |      19 |   599752 |   516482 |     3573    243 |        0 |        0
732.00/732.34	c  732s |      19 |   601591 |   518082 |     3573    243 |        0 |        0
734.00/734.39	c  734s |      19 |   602908 |   519282 |     3573    244 |        0 |        0
736.10/736.45	c  736s |      19 |   604248 |   520482 |     3573    244 |        0 |        0
738.10/738.46	c  738s |      19 |   605812 |   521882 |     3573    245 |        0 |        0
740.19/740.53	c  740s |      19 |   607513 |   523382 |     3573    245 |        0 |        0
742.20/742.58	c  742s |      19 |   608945 |   524682 |     3573    246 |        0 |        0
744.29/744.66	c  744s |      19 |   610379 |   525982 |     3573    246 |        0 |        0
746.29/746.69	c  746s |      19 |   611861 |   527282 |     3573    247 |        0 |        0
748.39/748.73	c  748s |      19 |   613304 |   528582 |     3573    247 |        0 |        0
750.38/750.74	c  750s |      19 |   614674 |   529782 |     3573    248 |        0 |        0
752.58/752.93	c  752s |      19 |   616106 |   531082 |     3573    248 |        0 |        0
754.78/755.11	c  754s |      19 |   617303 |   532182 |     3573    249 |        0 |        0
756.78/757.15	c  757s |      19 |   619088 |   533782 |     3573    249 |        0 |        0
758.88/759.28	c  759s |      19 |   620710 |   535282 |     3573    250 |        0 |        0
761.08/761.41	c  761s |      19 |   622271 |   536682 |     3573    251 |        0 |        0
763.09/763.46	c  763s |      19 |   623807 |   538082 |     3573    251 |        0 |        0
765.18/765.51	c  765s |      19 |   625246 |   539382 |     3573    252 |        0 |        0
767.28/767.65	c  767s |      19 |   626659 |   540682 |     3573    252 |        0 |        0
769.48/769.80	c  769s |      19 |   627915 |   541782 |     3573    253 |        0 |        0
771.47/771.89	c  771s |      19 |   629396 |   543082 |     3573    253 |        0 |        0
773.67/774.01	c  773s |      19 |   630589 |   544182 |     3573    254 |        0 |        0
775.77/776.15	c  776s |      19 |   632004 |   545482 |     3573    254 |        0 |        0
777.87/778.22	c  778s |      19 |   633193 |   546582 |     3573    254 |        0 |        0
779.87/780.22	c  780s |      19 |   634381 |   547682 |     3573    255 |        0 |        0
781.87/782.29	c  782s |      19 |   635818 |   548982 |     3573    255 |        0 |        0
783.97/784.38	c  784s |      19 |   637237 |   550282 |     3573    256 |        0 |        0
786.07/786.42	c  786s |      19 |   638427 |   551382 |     3573    256 |        0 |        0
788.07/788.45	c  788s |      19 |   639893 |   552682 |     3573    257 |        0 |        0
790.17/790.51	c  790s |      19 |   641433 |   554082 |     3573    257 |        0 |        0
792.27/792.64	c  792s |      19 |   642886 |   555382 |     3573    258 |        0 |        0
794.37/794.70	c  794s |      19 |   644240 |   556582 |     3573    258 |        0 |        0
796.47/796.81	c  796s |      19 |   645706 |   557882 |     3573    259 |        0 |        0
798.57/798.95	c  798s |      19 |   647244 |   559282 |     3573    259 |        0 |        0
800.76/801.12	c  800s |      19 |   648502 |   560482 |     3573    260 |        0 |        0
802.77/803.14	c  803s |      19 |   649664 |   561582 |     3573    260 |        0 |        0
804.76/805.19	c  805s |      19 |   651417 |   563082 |     3573    261 |        0 |        0
806.86/807.29	c  807s |      19 |   653076 |   564582 |     3573    262 |        0 |        0
809.06/809.42	c  809s |      19 |   654898 |   566182 |     3573    262 |        0 |        0
811.16/811.54	c  811s |      19 |   656566 |   567682 |     3573    263 |        0 |        0
813.16/813.59	c  813s |      19 |   658247 |   569182 |     3573    263 |        0 |        0
815.26/815.61	c  815s |      19 |   659873 |   570582 |     3573    264 |        0 |        0
817.25/817.65	c  817s |      19 |   661484 |   571982 |     3573    264 |        0 |        0
819.35/819.79	c  819s |      19 |   662887 |   573182 |     3573    265 |        0 |        0
821.55/821.95	c  821s |      19 |   664212 |   574382 |     3573    265 |        0 |        0
823.75/824.15	c  824s |      19 |   665654 |   575582 |     3573    266 |        0 |        0
825.86/826.21	c  826s |      19 |   667110 |   576882 |     3573    266 |        0 |        0
827.96/828.34	c  828s |      19 |   668594 |   578182 |     3573    267 |        0 |        0
830.15/830.50	c  830s |      19 |   670187 |   579582 |     3573    267 |        0 |        0
832.25/832.61	c  832s |      19 |   671674 |   580882 |     3573    268 |        0 |        0
834.35/834.74	c  834s |      19 |   672992 |   582082 |     3573    268 |        0 |        0
836.44/836.84	c  836s |      19 |   674329 |   583282 |     3573    269 |        0 |        0
838.54/838.92	c  838s |      19 |   676070 |   584782 |     3573    269 |        0 |        0
840.54/840.95	c  840s |      19 |   677649 |   586182 |     3573    270 |        0 |        0
842.64/843.02	c  842s |      19 |   679111 |   587482 |     3573    271 |        0 |        0
844.64/845.02	c  844s |      19 |   680798 |   588982 |     3573    271 |        0 |        0
846.75/847.17	c  847s |      19 |   682356 |   590382 |     3573    272 |        0 |        0
848.95/849.31	c  849s |      19 |   683807 |   591682 |     3573    272 |        0 |        0
851.04/851.42	c  851s |      19 |   685168 |   592882 |     3573    273 |        0 |        0
853.13/853.51	c  853s |      19 |   686786 |   594282 |     3573    273 |        0 |        0
855.13/855.59	c  855s |      19 |   688280 |   595582 |     3573    274 |        0 |        0
857.23/857.68	c  857s |      19 |   689997 |   597082 |     3573    274 |        0 |        0
859.43/859.89	c  859s |      19 |   691605 |   598282 |     3573    275 |        0 |        0
861.52/861.96	c  861s |      19 |   693131 |   599582 |     3573    275 |        0 |        0
863.62/864.07	c  863s |      19 |   694485 |   600782 |     3573    276 |        0 |        0
865.72/866.12	c  865s |      19 |   695814 |   601982 |     3573    276 |        0 |        0
867.72/868.19	c  868s |      19 |   697284 |   603182 |     3573    277 |        0 |        0
869.73/870.20	c  870s |      19 |   698802 |   604482 |     3573    277 |        0 |        0
871.92/872.35	c  872s |      19 |   700409 |   605882 |     3573    278 |        0 |        0
874.02/874.40	c  874s |      19 |   701853 |   607182 |     3573    278 |        0 |        0
876.12/876.50	c  876s |      19 |   703184 |   608382 |     3573    279 |        0 |        0
878.22/878.64	c  878s |      19 |   704553 |   609582 |     3573    279 |        0 |        0
880.32/880.72	c  880s |      19 |   705717 |   610682 |     3573    280 |        0 |        0
882.32/882.78	c  882s |      19 |   707014 |   611782 |     3573    280 |        0 |        0
884.42/884.89	c  884s |      19 |   708698 |   613182 |     3573    281 |        0 |        0
886.52/886.93	c  886s |      19 |   710140 |   614482 |     3573    281 |        0 |        0
888.72/889.12	c  888s |      19 |   711366 |   615582 |     3573    282 |        0 |        0
890.81/891.21	c  891s |      19 |   712847 |   616882 |     3573    282 |        0 |        0
892.82/893.22	c  893s |      19 |   713924 |   617882 |     3573    282 |        0 |        0
894.91/895.34	c  895s |      19 |   715476 |   619182 |     3573    283 |        0 |        0
897.11/897.51	c  897s |      19 |   716695 |   620282 |     3573    283 |        0 |        0
899.21/899.68	c  899s |      19 |   717823 |   621282 |     3573    284 |        0 |        0
901.40/901.87	c  901s |      19 |   718893 |   622282 |     3573    284 |        0 |        0
903.50/903.95	c  903s |      19 |   720126 |   623382 |     3573    285 |        0 |        0
905.50/905.97	c  905s |      19 |   721548 |   624682 |     3573    285 |        0 |        0
907.50/907.98	c  907s |      19 |   722886 |   625882 |     3573    286 |        0 |        0
909.60/910.01	c  909s |      19 |   724389 |   627182 |     3573    286 |        0 |        0
911.69/912.11	c  911s |      19 |   725776 |   628382 |     3573    287 |        0 |        0
913.80/914.27	c  914s |      19 |   727448 |   629882 |     3573    287 |        0 |        0
915.90/916.31	c  916s |      19 |   728676 |   630982 |     3573    288 |        0 |        0
917.99/918.40	c  918s |      19 |   730121 |   632282 |     3573    288 |        0 |        0
919.99/920.43	c  920s |      19 |   731525 |   633482 |     3573    289 |        0 |        0
922.09/922.53	c  922s |      19 |   733007 |   634782 |     3573    289 |        0 |        0
924.19/924.67	c  924s |      19 |   734485 |   636082 |     3573    290 |        0 |        0
926.29/926.72	c  926s |      19 |   735805 |   637282 |     3573    290 |        0 |        0
928.29/928.78	c  928s |      19 |   737274 |   638582 |     3573    291 |        0 |        0
930.38/930.85	c  930s |      19 |   738823 |   639982 |     3573    291 |        0 |        0
932.58/933.00	c  932s |      19 |   739909 |   640982 |     3573    292 |        0 |        0
934.59/935.03	c  934s |      19 |   741106 |   642082 |     3573    292 |        0 |        0
936.68/937.18	c  937s |      19 |   742514 |   643382 |     3573    292 |        0 |        0
938.88/939.34	c  939s |      19 |   743960 |   644682 |     3573    293 |        0 |        0
941.08/941.53	c  941s |      19 |   745004 |   645682 |     3573    293 |        0 |        0
943.18/943.63	c  943s |      19 |   746023 |   646582 |     3573    294 |        0 |        0
945.18/945.65	c  945s |      19 |   747128 |   647582 |     3573    294 |        0 |        0
947.28/947.72	c  947s |      19 |   748225 |   648582 |     3573    294 |        0 |        0
949.27/949.79	c  949s |      19 |   749321 |   649582 |     3573    295 |        0 |        0
951.37/951.82	c  951s |      19 |   750410 |   650582 |     3573    295 |        0 |        0
953.38/953.85	c  953s |      19 |   751761 |   651782 |     3573    296 |        0 |        0
955.48/955.96	c  955s |      19 |   753401 |   653282 |     3573    296 |        0 |        0
957.47/957.99	c  957s |      19 |   754904 |   654582 |     3573    297 |        0 |        0
959.57/960.00	c  959s |      19 |   756239 |   655782 |     3573    297 |        0 |        0
961.67/962.14	c  962s |      19 |   757558 |   656982 |     3573    298 |        0 |        0
963.67/964.15	c  964s |      19 |   758866 |   658182 |     3573    298 |        0 |        0
965.67/966.17	c  966s |      19 |   760154 |   659382 |     3573    299 |        0 |        0
967.86/968.31	c  968s |      19 |   761465 |   660582 |     3573    299 |        0 |        0
969.96/970.45	c  970s |      19 |   762650 |   661682 |     3573    300 |        0 |        0
971.97/972.49	c  972s |      19 |   763835 |   662782 |     3931    300 |        0 |        0
974.17/974.64	c  974s |      19 |   765112 |   663982 |     3931    300 |        0 |        0
976.16/976.69	c  976s |      19 |   766294 |   665082 |     3931    301 |        0 |        0
978.36/978.86	c  978s |      19 |   767486 |   666182 |     3931    301 |        0 |        0
979.67/980.20	c  980s |      20 |   768258 |   666827 |     3931    301 |        0 |        0
981.76/982.26	c  982s |      20 |   771006 |   668427 |     3931    302 |        0 |        0
983.86/984.39	c  984s |      20 |   772576 |   669827 |     3931    303 |        0 |        0
985.96/986.40	c  986s |      20 |   773919 |   671027 |     3931    303 |        0 |        0
987.96/988.46	c  988s |      20 |   775126 |   672127 |     3931    303 |        0 |        0
990.06/990.58	c  990s |      20 |   776576 |   673427 |     3931    304 |        0 |        0
992.16/992.65	c  992s |      20 |   777939 |   674627 |     3931    304 |        0 |        0
994.26/994.77	c  994s |      20 |   779336 |   675827 |     3931    305 |        0 |        0
996.46/996.90	c  996s |      20 |   780824 |   677127 |     3931    305 |        0 |        0
998.47/998.97	c  998s |      20 |   782066 |   678227 |     3931    306 |        0 |        0
1000.56/1001.00	c 1000s |      20 |   783394 |   679427 |     3931    306 |        0 |        0
1002.66/1003.12	c 1002s |      20 |   784625 |   680527 |     3931    306 |        0 |        0
1004.66/1005.19	c 1005s |      20 |   786175 |   681827 |     3931    307 |        0 |        0
1006.77/1007.27	c 1007s |      20 |   787466 |   682927 |     3931    307 |        0 |        0
1008.97/1009.42	c 1009s |      20 |   788738 |   684027 |     3931    308 |        0 |        0
1011.07/1011.51	c 1011s |      20 |   790238 |   685327 |     3931    308 |        0 |        0
1013.17/1013.65	c 1013s |      20 |   791509 |   686427 |     3931    309 |        0 |        0
1015.26/1015.77	c 1015s |      20 |   792882 |   687627 |     3931    309 |        0 |        0
1017.36/1017.82	c 1017s |      20 |   794101 |   688727 |     3931    309 |        0 |        0
1019.56/1020.01	c 1019s |      20 |   795507 |   689927 |     3931    310 |        0 |        0
1021.57/1022.01	c 1021s |      20 |   796724 |   691027 |     3931    310 |        0 |        0
1023.56/1024.02	c 1023s |      20 |   798018 |   692127 |     3931    311 |        0 |        0
1025.56/1026.02	c 1025s |      20 |   799440 |   693327 |     3931    311 |        0 |        0
1027.66/1028.17	c 1028s |      20 |   800796 |   694527 |     3931    312 |        0 |        0
1029.66/1030.18	c 1030s |      20 |   802016 |   695627 |     3931    312 |        0 |        0
1031.66/1032.19	c 1032s |      20 |   802999 |   696527 |     3931    312 |        0 |        0
1033.76/1034.26	c 1034s |      20 |   803973 |   697427 |     3931    313 |        0 |        0
1035.87/1036.31	c 1036s |      20 |   805486 |   698727 |     3931    313 |        0 |        0
1037.86/1038.39	c 1038s |      20 |   806654 |   699727 |     3931    314 |        0 |        0
1039.96/1040.47	c 1040s |      20 |   807975 |   700927 |     3931    314 |        0 |        0
1042.06/1042.54	c 1042s |      20 |   809256 |   702027 |     3931    314 |        0 |        0
1044.06/1044.56	c 1044s |      20 |   810488 |   703127 |     3931    315 |        0 |        0
1046.16/1046.66	c 1046s |      20 |   811693 |   704227 |     3931    315 |        0 |        0
1048.36/1048.83	c 1048s |      20 |   812766 |   705227 |     3931    316 |        0 |        0
1050.36/1050.84	c 1050s |      20 |   814283 |   706527 |     3931    316 |        0 |        0
1052.56/1053.08	c 1052s |      20 |   815772 |   707827 |     3931    317 |        0 |        0
1054.66/1055.12	c 1054s |      20 |   816987 |   708927 |     3931    317 |        0 |        0
1056.66/1057.16	c 1057s |      20 |   818213 |   710027 |     3931    317 |        0 |        0
1058.75/1059.26	c 1059s |      20 |   819442 |   711127 |     3931    318 |        0 |        0
1060.85/1061.33	c 1061s |      20 |   820771 |   712327 |     3931    318 |        0 |        0
1062.95/1063.44	c 1063s |      20 |   821988 |   713427 |     3931    319 |        0 |        0
1064.95/1065.47	c 1065s |      20 |   823454 |   714727 |     3931    319 |        0 |        0
1067.05/1067.57	c 1067s |      20 |   824775 |   715927 |     3931    319 |        0 |        0
1069.15/1069.69	c 1069s |      20 |   826139 |   717127 |     3931    320 |        0 |        0
1071.25/1071.73	c 1071s |      20 |   827503 |   718227 |     3931    320 |        0 |        0
1073.35/1073.82	c 1073s |      20 |   828680 |   719227 |     3931    321 |        0 |        0
1075.46/1075.92	c 1075s |      20 |   829879 |   720227 |     3931    321 |        0 |        0
1077.56/1078.03	c 1077s |      20 |   831276 |   721327 |     3931    321 |        0 |        0
1079.65/1080.13	c 1079s |      20 |   832413 |   722327 |     3931    322 |        0 |        0
1081.75/1082.23	c 1082s |      20 |   833580 |   723327 |     3931    322 |        0 |        0
1083.75/1084.29	c 1084s |      20 |   834589 |   724227 |     3931    323 |        0 |        0
1085.85/1086.32	c 1086s |      20 |   835606 |   725127 |     3931    323 |        0 |        0
1087.95/1088.42	c 1088s |      20 |   836905 |   726227 |     3931    323 |        0 |        0
1090.05/1090.55	c 1090s |      20 |   837975 |   727127 |     3931    324 |        0 |        0
1092.05/1092.59	c 1092s |      20 |   839319 |   728227 |     3931    324 |        0 |        0
1094.15/1094.61	c 1094s |      20 |   840499 |   729227 |     3931    324 |        0 |        0
1096.15/1096.63	c 1096s |      20 |   841808 |   730327 |     3931    325 |        0 |        0
1098.25/1098.72	c 1098s |      20 |   843220 |   731527 |     3931    325 |        0 |        0
1100.44/1100.90	c 1100s |      20 |   844458 |   732627 |     3931    326 |        0 |        0
1102.54/1103.06	c 1102s |      20 |   845687 |   733727 |     3931    326 |        0 |        0
1104.74/1105.22	c 1105s |      20 |   847030 |   734827 |     3931    326 |        0 |        0
1106.74/1107.26	c 1107s |      20 |   848210 |   735827 |     3931    327 |        0 |        0
1108.74/1109.26	c 1109s |      20 |   849703 |   737027 |     3931    327 |        0 |        0
1110.84/1111.36	c 1111s |      20 |   851117 |   738127 |     3931    328 |        0 |        0
1113.04/1113.51	c 1113s |      20 |   852529 |   739327 |     3931    328 |        0 |        0
1115.05/1115.56	c 1115s |      20 |   853729 |   740327 |     3931    328 |        0 |        0
1117.15/1117.63	c 1117s |      20 |   855193 |   741527 |     3931    329 |        0 |        0
1119.25/1119.76	c 1119s |      20 |   856799 |   742927 |     3931    329 |        0 |        0
1121.45/1121.95	c 1121s |      20 |   858298 |   744227 |     3931    330 |        0 |        0
1123.55/1124.08	c 1123s |      20 |   859770 |   745527 |     3931    330 |        0 |        0
1125.65/1126.11	c 1125s |      20 |   860971 |   746627 |     3931    331 |        0 |        0
1127.65/1128.13	c 1127s |      20 |   862410 |   747927 |     3931    331 |        0 |        0
1129.75/1130.26	c 1130s |      20 |   863742 |   749127 |     3931    332 |        0 |        0
1131.85/1132.30	c 1132s |      20 |   865172 |   750427 |     3931    332 |        0 |        0
1133.95/1134.40	c 1134s |      20 |   866504 |   751627 |     3931    333 |        0 |        0
1135.95/1136.40	c 1136s |      20 |   867857 |   752827 |     3931    333 |        0 |        0
1138.05/1138.60	c 1138s |      20 |   869328 |   754127 |     3931    334 |        0 |        0
1140.14/1140.66	c 1140s |      20 |   870772 |   755427 |     3931    334 |        0 |        0
1142.24/1142.74	c 1142s |      20 |   872137 |   756627 |     3931    334 |        0 |        0
1144.34/1144.89	c 1144s |      20 |   873487 |   757827 |     3931    335 |        0 |        0
1146.34/1146.89	c 1146s |      20 |   874697 |   758927 |     3931    335 |        0 |        0
1148.54/1149.09	c 1148s |      20 |   875928 |   760027 |     3931    336 |        0 |        0
1150.64/1151.16	c 1151s |      20 |   877382 |   761327 |     3931    336 |        0 |        0
1152.64/1153.16	c 1153s |      20 |   878644 |   762427 |     3931    337 |        0 |        0
1154.84/1155.31	c 1155s |      20 |   880018 |   763627 |     3931    337 |        0 |        0
1156.85/1157.39	c 1157s |      20 |   881379 |   764827 |     3931    337 |        0 |        0
1159.05/1159.51	c 1159s |      20 |   882603 |   765927 |     3931    338 |        0 |        0
1161.04/1161.60	c 1161s |      20 |   883975 |   767127 |     3931    338 |        0 |        0
1163.14/1163.61	c 1163s |      20 |   885089 |   768127 |     3931    339 |        0 |        0
1165.24/1165.77	c 1165s |      20 |   886482 |   769327 |     3931    339 |        0 |        0
1167.34/1167.88	c 1167s |      20 |   887844 |   770527 |     3931    340 |        0 |        0
1169.54/1170.03	c 1169s |      20 |   889571 |   772027 |     3931    340 |        0 |        0
1171.64/1172.18	c 1172s |      20 |   890948 |   773227 |     3931    341 |        0 |        0
1173.73/1174.24	c 1174s |      20 |   892578 |   774627 |     3931    341 |        0 |        0
1175.93/1176.40	c 1176s |      20 |   894139 |   776027 |     3931    342 |        0 |        0
1177.93/1178.42	c 1178s |      20 |   895605 |   777327 |     3931    342 |        0 |        0
1179.94/1180.48	c 1180s |      20 |   896856 |   778427 |     3931    342 |        0 |        0
1182.04/1182.57	c 1182s |      20 |   898073 |   779527 |     3931    343 |        0 |        0
1184.13/1184.66	c 1184s |      20 |   899294 |   780627 |     3931    343 |        0 |        0
1186.23/1186.76	c 1186s |      20 |   900590 |   781727 |     3931    344 |        0 |        0
1188.33/1188.89	c 1188s |      20 |   902224 |   783127 |     3931    344 |        0 |        0
1190.43/1190.99	c 1190s |      20 |   903618 |   784327 |     3931    345 |        0 |        0
1192.53/1193.10	c 1192s |      20 |   904912 |   785427 |     3931    345 |        0 |        0
1194.63/1195.15	c 1195s |      20 |   906169 |   786527 |     3931    345 |        0 |        0
1196.83/1197.30	c 1197s |      20 |   907446 |   787627 |     3931    346 |        0 |        0
1198.93/1199.43	c 1199s |      20 |   908685 |   788727 |     3931    346 |        0 |        0
1201.13/1201.60	c 1201s |      20 |   910050 |   789927 |     3931    347 |        0 |        0
1203.23/1203.73	c 1203s |      20 |   911497 |   791227 |     3931    347 |        0 |        0
1205.33/1205.85	c 1205s |      20 |   912910 |   792427 |     3931    348 |        0 |        0
1207.34/1207.88	c 1207s |      20 |   914292 |   793627 |     3931    348 |        0 |        0
1209.43/1209.94	c 1209s |      20 |   915677 |   794827 |     3931    348 |        0 |        0
1211.53/1212.09	c 1211s |      20 |   916800 |   795827 |     3931    349 |        0 |        0
1213.63/1214.12	c 1213s |      20 |   917775 |   796727 |     3931    349 |        0 |        0
1215.63/1216.18	c 1216s |      20 |   918854 |   797627 |     3931    349 |        0 |        0
1217.73/1218.24	c 1218s |      20 |   920269 |   798827 |     3931    350 |        0 |        0
1219.73/1220.28	c 1220s |      20 |   921567 |   799927 |     3931    350 |        0 |        0
1221.83/1222.33	c 1222s |      20 |   922846 |   801027 |     3931    351 |        0 |        0
1223.93/1224.45	c 1224s |      20 |   924247 |   802227 |     3931    351 |        0 |        0
1226.13/1226.63	c 1226s |      20 |   925371 |   803227 |     3931    352 |        0 |        0
1228.12/1228.67	c 1228s |      20 |   926679 |   804327 |     3931    352 |        0 |        0
1230.22/1230.73	c 1230s |      20 |   927860 |   805327 |     3931    352 |        0 |        0
1232.22/1232.77	c 1232s |      20 |   928984 |   806327 |     3931    353 |        0 |        0
1234.42/1234.92	c 1234s |      20 |   930097 |   807327 |     3931    353 |        0 |        0
1236.52/1237.06	c 1236s |      20 |   931391 |   808427 |     3931    353 |        0 |        0
1238.62/1239.19	c 1239s |      20 |   932800 |   809627 |     3931    354 |        0 |        0
1240.82/1241.31	c 1241s |      20 |   934323 |   810927 |     3931    354 |        0 |        0
1242.82/1243.32	c 1243s |      20 |   935809 |   812127 |     3931    355 |        0 |        0
1244.83/1245.32	c 1245s |      20 |   937225 |   813327 |     3931    355 |        0 |        0
1246.93/1247.45	c 1247s |      20 |   938646 |   814527 |     3931    356 |        0 |        0
1249.02/1249.58	c 1249s |      20 |   940028 |   815727 |     3931    356 |        0 |        0
1251.12/1251.61	c 1251s |      20 |   941316 |   816827 |     3931    356 |        0 |        0
1253.22/1253.74	c 1253s |      20 |   942672 |   818027 |     3931    357 |        0 |        0
1255.22/1255.75	c 1255s |      20 |   944060 |   819227 |     3931    357 |        0 |        0
1257.42/1257.92	c 1257s |      20 |   945480 |   820427 |     3931    358 |        0 |        0
1259.52/1260.09	c 1259s |      20 |   946830 |   821627 |     3931    358 |        0 |        0
1261.72/1262.29	c 1262s |      20 |   948028 |   822727 |     3931    359 |        0 |        0
1263.92/1264.43	c 1264s |      20 |   949541 |   824027 |     3931    359 |        0 |        0
1266.02/1266.57	c 1266s |      20 |   950909 |   825227 |     3931    360 |        0 |        0
1268.12/1268.64	c 1268s |      20 |   952424 |   826527 |     3931    360 |        0 |        0
1270.22/1270.78	c 1270s |      20 |   953734 |   827727 |     3931    360 |        0 |        0
1272.32/1272.87	c 1272s |      20 |   954999 |   828827 |     3931    361 |        0 |        0
1274.52/1275.09	c 1274s |      20 |   956225 |   829927 |     3931    361 |        0 |        0
1276.72/1277.21	c 1277s |      20 |   957467 |   831027 |     3931    362 |        0 |        0
1278.82/1279.36	c 1279s |      20 |   958702 |   832127 |     3931    362 |        0 |        0
1281.02/1281.52	c 1281s |      20 |   959821 |   833127 |     3931    362 |        0 |        0
1283.02/1283.58	c 1283s |      20 |   960810 |   834027 |     3931    363 |        0 |        0
1285.12/1285.60	c 1285s |      20 |   961967 |   835027 |     3931    363 |        0 |        0
1287.32/1287.83	c 1287s |      20 |   963082 |   836027 |     3931    364 |        0 |        0
1289.42/1289.98	c 1289s |      20 |   964320 |   837127 |     3931    364 |        0 |        0
1291.51/1292.00	c 1291s |      20 |   965545 |   838227 |     3931    364 |        0 |        0
1293.51/1294.01	c 1293s |      20 |   966800 |   839327 |     3931    365 |        0 |        0
1295.51/1296.05	c 1295s |      20 |   968167 |   840527 |     3931    365 |        0 |        0
1297.71/1298.21	c 1298s |      20 |   969277 |   841527 |     3931    366 |        0 |        0
1299.82/1300.31	c 1300s |      20 |   970768 |   842827 |     3931    366 |        0 |        0
1301.92/1302.46	c 1302s |      20 |   972097 |   844027 |     3931    366 |        0 |        0
1303.91/1304.46	c 1304s |      20 |   973184 |   845027 |     3931    367 |        0 |        0
1306.01/1306.53	c 1306s |      20 |   974277 |   846027 |     3931    367 |        0 |        0
1308.11/1308.66	c 1308s |      20 |   975512 |   847127 |     3931    368 |        0 |        0
1310.31/1310.80	c 1310s |      20 |   976981 |   848427 |     3931    368 |        0 |        0
1312.51/1313.09	c 1312s |      20 |   978287 |   849627 |     3931    369 |        0 |        0
1314.61/1315.16	c 1315s |      20 |   979609 |   850827 |     3931    369 |        0 |        0
1316.71/1317.28	c 1317s |      20 |   980928 |   852027 |     3931    369 |        0 |        0
1318.81/1319.39	c 1319s |      20 |   982132 |   853127 |     3931    370 |        0 |        0
1321.01/1321.50	c 1321s |      20 |   983430 |   854327 |     3931    370 |        0 |        0
1323.01/1323.56	c 1323s |      20 |   984541 |   855327 |     3931    371 |        0 |        0
1325.21/1325.71	c 1325s |      20 |   985843 |   856527 |     3931    371 |        0 |        0
1327.22/1327.76	c 1327s |      20 |   987054 |   857627 |     3931    371 |        0 |        0
1329.41/1329.94	c 1329s |      20 |   988287 |   858727 |     3931    372 |        0 |        0
1331.51/1332.09	c 1331s |      20 |   989591 |   859927 |     3931    372 |        0 |        0
1333.61/1334.19	c 1334s |      20 |   990673 |   860927 |     3931    373 |        0 |        0
1335.71/1336.25	c 1336s |      20 |   992033 |   862127 |     3931    373 |        0 |        0
1337.91/1338.48	c 1338s |      20 |   993393 |   863327 |     3931    374 |        0 |        0
1339.91/1340.48	c 1340s |      20 |   994623 |   864427 |     3931    374 |        0 |        0
1342.01/1342.56	c 1342s |      20 |   995869 |   865527 |     3931    374 |        0 |        0
1344.11/1344.65	c 1344s |      20 |   996991 |   866527 |     3931    375 |        0 |        0
1346.21/1346.75	c 1346s |      20 |   998124 |   867527 |     3931    375 |        0 |        0
1348.21/1348.77	c 1348s |      20 |   999148 |   868427 |     3931    375 |        0 |        0
1350.31/1350.82	c 1350s |      20 |  1000053 |   869227 |     3931    376 |        0 |        0
1352.30/1352.83	c 1352s |      20 |  1001266 |   870327 |     3931    376 |        0 |        0
1354.60/1355.11	c 1354s |      20 |  1002466 |   871427 |     3931    377 |        0 |        0
1356.81/1357.32	c 1357s |      20 |  1003572 |   872427 |     3931    377 |        0 |        0
1358.91/1359.47	c 1359s |      20 |  1004922 |   873627 |     3931    377 |        0 |        0
1361.11/1361.62	c 1361s |      20 |  1006135 |   874727 |     3931    378 |        0 |        0
1363.21/1363.74	c 1363s |      20 |  1007345 |   875827 |     3931    378 |        0 |        0
1365.21/1365.79	c 1365s |      20 |  1008456 |   876827 |     3931    378 |        0 |        0
1367.31/1367.82	c 1367s |      20 |  1009428 |   877727 |     3931    379 |        0 |        0
1369.31/1369.89	c 1369s |      20 |  1010487 |   878727 |     3931    379 |        0 |        0
1371.41/1371.97	c 1371s |      20 |  1011468 |   879627 |     3931    380 |        0 |        0
1373.52/1374.01	c 1373s |      20 |  1012578 |   880627 |     3931    380 |        0 |        0
1375.62/1376.12	c 1375s |      20 |  1013773 |   881727 |     3931    380 |        0 |        0
1377.71/1378.23	c 1378s |      20 |  1014950 |   882827 |     3931    381 |        0 |        0
1379.91/1380.42	c 1380s |      20 |  1016160 |   883927 |     3931    381 |        0 |        0
1382.01/1382.55	c 1382s |      20 |  1017240 |   884927 |     3931    381 |        0 |        0
1384.21/1384.74	c 1384s |      20 |  1018322 |   885927 |     3931    382 |        0 |        0
1386.41/1386.90	c 1386s |      20 |  1019689 |   887027 |     3931    382 |        0 |        0
1388.41/1388.91	c 1388s |      20 |  1020921 |   888127 |     3931    383 |        0 |        0
1390.51/1391.03	c 1390s |      20 |  1022396 |   889427 |     3931    383 |        0 |        0
1392.71/1393.27	c 1393s |      20 |  1023643 |   890527 |     3931    384 |        0 |        0
1394.81/1395.31	c 1395s |      20 |  1024745 |   891527 |     3931    384 |        0 |        0
1396.81/1397.33	c 1397s |      20 |  1025867 |   892527 |     3931    384 |        0 |        0
1398.81/1399.38	c 1399s |      20 |  1026981 |   893527 |     3931    385 |        0 |        0
1400.91/1401.43	c 1401s |      20 |  1028189 |   894627 |     3931    385 |        0 |        0
1403.11/1403.62	c 1403s |      20 |  1029278 |   895627 |     3931    385 |        0 |        0
1405.10/1405.67	c 1405s |      20 |  1030292 |   896527 |     3931    386 |        0 |        0
1407.10/1407.68	c 1407s |      20 |  1031366 |   897527 |     3931    386 |        0 |        0
1409.10/1409.68	c 1409s |      20 |  1032367 |   898427 |     3931    386 |        0 |        0
1411.20/1411.78	c 1411s |      20 |  1033639 |   899527 |     3931    387 |        0 |        0
1413.20/1413.79	c 1413s |      20 |  1034764 |   900527 |     3931    387 |        0 |        0
1415.50/1416.03	c 1415s |      20 |  1035880 |   901527 |     3931    388 |        0 |        0
1417.60/1418.11	c 1417s |      20 |  1037101 |   902627 |     3931    388 |        0 |        0
1419.71/1420.25	c 1420s |      20 |  1038311 |   903727 |     3931    388 |        0 |        0
1421.91/1422.44	c 1422s |      20 |  1039442 |   904727 |     3931    389 |        0 |        0
1424.01/1424.60	c 1424s |      20 |  1040518 |   905727 |     3931    389 |        0 |        0
1426.21/1426.79	c 1426s |      20 |  1041515 |   906627 |     3931    389 |        0 |        0
1428.41/1428.92	c 1428s |      20 |  1042525 |   907527 |     3931    390 |        0 |        0
1430.50/1431.03	c 1430s |      20 |  1043548 |   908427 |     3931    390 |        0 |        0
1432.50/1433.07	c 1432s |      20 |  1044527 |   909327 |     3931    390 |        0 |        0
1434.70/1435.23	c 1435s |      20 |  1045532 |   910227 |     3931    391 |        0 |        0
1436.80/1437.34	c 1437s |      20 |  1046508 |   911127 |     3931    391 |        0 |        0
1439.00/1439.58	c 1439s |      20 |  1047486 |   912027 |     3931    391 |        0 |        0
1441.30/1441.81	c 1441s |      20 |  1048348 |   912827 |     3931    392 |        0 |        0
1443.30/1443.81	c 1443s |      20 |  1049851 |   914027 |     3931    392 |        0 |        0
1445.40/1445.94	c 1445s |      20 |  1051162 |   915127 |     3931    393 |        0 |        0
1447.40/1447.96	c 1447s |      20 |  1052400 |   916227 |     3931    393 |        0 |        0
1449.50/1450.05	c 1449s |      20 |  1053638 |   917327 |     3931    393 |        0 |        0
1451.60/1452.16	c 1452s |      20 |  1054659 |   918227 |     3931    394 |        0 |        0
1453.70/1454.22	c 1454s |      20 |  1055913 |   919327 |     3931    394 |        0 |        0
1455.80/1456.31	c 1456s |      20 |  1057123 |   920427 |     3931    394 |        0 |        0
1457.90/1458.42	c 1458s |      20 |  1058365 |   921527 |     3931    395 |        0 |        0
1459.90/1460.49	c 1460s |      20 |  1059561 |   922627 |     3931    395 |        0 |        0
1462.00/1462.56	c 1462s |      20 |  1060643 |   923627 |     3931    396 |        0 |        0
1464.20/1464.74	c 1464s |      20 |  1061888 |   924727 |     3931    396 |        0 |        0
1466.20/1466.77	c 1466s |      20 |  1063101 |   925827 |     3931    396 |        0 |        0
1468.29/1468.85	c 1468s |      20 |  1064254 |   926827 |     3931    397 |        0 |        0
1470.39/1470.90	c 1470s |      20 |  1065469 |   927927 |     3931    397 |        0 |        0
1472.40/1472.97	c 1472s |      20 |  1066500 |   928827 |     3931    398 |        0 |        0
1474.49/1475.02	c 1474s |      20 |  1067718 |   929927 |     3931    398 |        0 |        0
1476.49/1477.07	c 1476s |      20 |  1068960 |   931027 |     3931    398 |        0 |        0
1478.59/1479.11	c 1478s |      20 |  1070244 |   932227 |     3931    399 |        0 |        0
1480.69/1481.21	c 1481s |      20 |  1071464 |   933327 |     3931    399 |        0 |        0
1482.79/1483.32	c 1483s |      20 |  1072568 |   934327 |     3931    400 |        0 |        0
1484.79/1485.34	c 1485s |      20 |  1073685 |   935327 |     3931    400 |        0 |        0
1486.89/1487.42	c 1487s |      20 |  1074678 |   936227 |     3931    400 |        0 |        0
1489.00/1489.54	c 1489s |      20 |  1075905 |   937327 |     3931    401 |        0 |        0
1490.99/1491.60	c 1491s |      20 |  1077235 |   938527 |     3931    401 |        0 |        0
1493.19/1493.70	c 1493s |      20 |  1078641 |   939727 |     3931    402 |        0 |        0
1495.29/1495.84	c 1495s |      20 |  1080150 |   941027 |     3931    402 |        0 |        0
1497.39/1497.98	c 1497s |      20 |  1081555 |   942227 |     3931    402 |        0 |        0
1499.49/1500.03	c 1499s |      20 |  1082905 |   943327 |     3931    403 |        0 |        0
1501.69/1502.20	c 1502s |      20 |  1084103 |   944427 |     3931    403 |        0 |        0
1503.79/1504.33	c 1504s |      20 |  1085243 |   945427 |     3931    404 |        0 |        0
1505.89/1506.46	c 1506s |      20 |  1086572 |   946627 |     3931    404 |        0 |        0
1508.09/1508.67	c 1508s |      20 |  1087786 |   947727 |     3931    404 |        0 |        0
1510.19/1510.79	c 1510s |      20 |  1088834 |   948727 |     3931    405 |        0 |        0
1512.29/1512.87	c 1512s |      20 |  1090139 |   949827 |     3931    405 |        0 |        0
1514.38/1514.92	c 1514s |      20 |  1091351 |   950927 |     3931    406 |        0 |        0
1516.49/1517.01	c 1516s |      20 |  1092693 |   952127 |     3931    406 |        0 |        0
1518.48/1519.06	c 1518s |      20 |  1094045 |   953327 |     3931    406 |        0 |        0
1520.68/1521.20	c 1521s |      20 |  1095403 |   954527 |     3931    407 |        0 |        0
1522.78/1523.34	c 1523s |      20 |  1096712 |   955727 |     3931    407 |        0 |        0
1524.78/1525.36	c 1525s |      20 |  1097941 |   956827 |     3931    408 |        0 |        0
1526.88/1527.49	c 1527s |      20 |  1099265 |   958027 |     3931    408 |        0 |        0
1529.08/1529.67	c 1529s |      20 |  1100355 |   959027 |     3931    409 |        0 |        0
1531.18/1531.78	c 1531s |      20 |  1101680 |   960227 |     3931    409 |        0 |        0
1533.38/1533.90	c 1533s |      20 |  1102819 |   961227 |     3931    409 |        0 |        0
1535.38/1535.98	c 1535s |      20 |  1103817 |   962127 |     3931    410 |        0 |        0
1537.58/1538.13	c 1537s |      20 |  1104934 |   963127 |     3931    410 |        0 |        0
1539.78/1540.35	c 1540s |      20 |  1106037 |   964127 |     3931    410 |        0 |        0
1541.79/1542.37	c 1542s |      20 |  1106916 |   964927 |     3931    411 |        0 |        0
1543.78/1544.38	c 1544s |      20 |  1107928 |   965827 |     3931    411 |        0 |        0
1546.09/1546.62	c 1546s |      20 |  1108902 |   966727 |     3931    411 |        0 |        0
1548.18/1548.73	c 1548s |      20 |  1109920 |   967627 |     3931    412 |        0 |        0
1550.28/1550.83	c 1550s |      20 |  1110919 |   968527 |     3931    412 |        0 |        0
1552.28/1552.88	c 1552s |      20 |  1111779 |   969327 |     3931    412 |        0 |        0
1554.38/1554.91	c 1554s |      20 |  1112803 |   970227 |     3931    413 |        0 |        0
1556.38/1556.92	c 1556s |      20 |  1114211 |   971527 |     3931    413 |        0 |        0
1558.48/1559.05	c 1558s |      20 |  1115562 |   972727 |     3931    414 |        0 |        0
1560.68/1561.24	c 1561s |      20 |  1116856 |   973927 |     3931    414 |        0 |        0
1562.88/1563.42	c 1563s |      20 |  1118169 |   975127 |     3931    414 |        0 |        0
1564.98/1565.57	c 1565s |      20 |  1119346 |   976227 |     3931    415 |        0 |        0
1567.17/1567.75	c 1567s |      20 |  1120433 |   977227 |     3931    415 |        0 |        0
1569.37/1569.94	c 1569s |      20 |  1121498 |   978227 |     3931    416 |        0 |        0
1571.57/1572.11	c 1571s |      20 |  1122691 |   979327 |     3931    416 |        0 |        0
1573.77/1574.31	c 1574s |      20 |  1123770 |   980327 |     3931    416 |        0 |        0
1575.88/1576.43	c 1576s |      20 |  1125202 |   981527 |     3931    417 |        0 |        0
1577.87/1578.44	c 1578s |      20 |  1126757 |   982827 |     3931    417 |        0 |        0
1579.87/1580.45	c 1580s |      20 |  1128094 |   984027 |     3931    418 |        0 |        0
1581.97/1582.58	c 1582s |      20 |  1129444 |   985227 |     3931    418 |        0 |        0
1584.07/1584.63	c 1584s |      20 |  1130658 |   986327 |     3931    419 |        0 |        0
1586.17/1586.75	c 1586s |      20 |  1131968 |   987527 |     3931    419 |        0 |        0
1588.27/1588.83	c 1588s |      20 |  1133195 |   988627 |     3931    419 |        0 |        0
1590.47/1591.00	c 1590s |      20 |  1134484 |   989827 |     3931    420 |        0 |        0
1592.57/1593.11	c 1592s |      20 |  1135809 |   991027 |     3931    420 |        0 |        0
1594.57/1595.11	c 1594s |      20 |  1137015 |   992127 |     3931    421 |        0 |        0
1596.57/1597.17	c 1597s |      20 |  1138354 |   993327 |     4325    421 |        0 |        0
1598.77/1599.31	c 1599s |      20 |  1139586 |   994427 |     4325    421 |        0 |        0
1600.88/1601.46	c 1601s |      20 |  1140756 |   995427 |     4325    422 |        0 |        0
1602.98/1603.58	c 1603s |      20 |  1141917 |   996427 |     4325    422 |        0 |        0
1605.18/1605.76	c 1605s |      20 |  1143061 |   997427 |     4325    422 |        0 |        0
1607.17/1607.77	c 1607s |      20 |  1144294 |   998527 |     4325    423 |        0 |        0
1609.27/1609.80	c 1609s |      20 |  1145527 |   999627 |     4325    423 |        0 |        0
1610.77/1611.35	c 1611s |      21 |  1146321 |  1000345 |     4325    423 |        0 |        0
1612.87/1613.44	c 1613s |      21 |  1149585 |  1002545 |     4325    424 |        0 |        0
1614.97/1615.54	c 1615s |      21 |  1151764 |  1004445 |     4325    425 |        0 |        0
1617.07/1617.62	c 1617s |      21 |  1153558 |  1006045 |     4325    425 |        0 |        0
1619.17/1619.70	c 1619s |      21 |  1155375 |  1007645 |     4325    426 |        0 |        0
1621.17/1621.74	c 1621s |      21 |  1156914 |  1009045 |     4325    426 |        0 |        0
1623.18/1623.78	c 1623s |      21 |  1158416 |  1010445 |     4325    427 |        0 |        0
1625.28/1625.89	c 1625s |      21 |  1160214 |  1012045 |     4325    427 |        0 |        0
1627.37/1627.96	c 1627s |      21 |  1161980 |  1013645 |     4325    428 |        0 |        0
1629.68/1630.24	c 1630s |      21 |  1163527 |  1015045 |     4325    429 |        0 |        0
1631.77/1632.32	c 1632s |      21 |  1165312 |  1016645 |     4325    429 |        0 |        0
1633.77/1634.34	c 1634s |      21 |  1166878 |  1018045 |     4325    430 |        0 |        0
1635.77/1636.34	c 1636s |      21 |  1168542 |  1019545 |     4325    430 |        0 |        0
1637.77/1638.36	c 1638s |      21 |  1169874 |  1020745 |     4325    430 |        0 |        0
1639.77/1640.37	c 1640s |      21 |  1171644 |  1022345 |     4325    431 |        0 |        0
1641.87/1642.49	c 1642s |      21 |  1173193 |  1023745 |     4325    431 |        0 |        0
1643.97/1644.58	c 1644s |      21 |  1174748 |  1025145 |     4325    432 |        0 |        0
1646.06/1646.69	c 1646s |      21 |  1176267 |  1026545 |     4325    432 |        0 |        0
1648.06/1648.69	c 1648s |      21 |  1177451 |  1027645 |     4325    433 |        0 |        0
1650.26/1650.84	c 1650s |      21 |  1179216 |  1029245 |     4325    433 |        0 |        0
1652.36/1652.90	c 1652s |      21 |  1180761 |  1030645 |     4325    434 |        0 |        0
1654.46/1655.03	c 1654s |      21 |  1182565 |  1032245 |     4325    434 |        0 |        0
1656.46/1657.06	c 1656s |      21 |  1183961 |  1033545 |     4325    435 |        0 |        0
1658.46/1659.08	c 1658s |      21 |  1185446 |  1034945 |     4325    435 |        0 |        0
1660.57/1661.17	c 1661s |      21 |  1186845 |  1036245 |     4325    436 |        0 |        0
1662.67/1663.27	c 1663s |      21 |  1188511 |  1037745 |     4325    436 |        0 |        0
1664.76/1665.35	c 1665s |      21 |  1190033 |  1039145 |     4325    437 |        0 |        0
1666.86/1667.41	c 1667s |      21 |  1191444 |  1040445 |     4325    437 |        0 |        0
1668.86/1669.42	c 1669s |      21 |  1192742 |  1041645 |     4325    438 |        0 |        0
1670.86/1671.48	c 1671s |      21 |  1194423 |  1043145 |     4325    438 |        0 |        0
1672.96/1673.51	c 1673s |      21 |  1195982 |  1044545 |     4325    439 |        0 |        0
1675.06/1675.63	c 1675s |      21 |  1197706 |  1046145 |     4325    439 |        0 |        0
1677.16/1677.72	c 1677s |      21 |  1199113 |  1047445 |     4325    440 |        0 |        0
1679.26/1679.85	c 1679s |      21 |  1201086 |  1049145 |     4325    440 |        0 |        0
1681.36/1681.97	c 1681s |      21 |  1202503 |  1050445 |     4325    441 |        0 |        0
1683.46/1684.00	c 1683s |      21 |  1204029 |  1051845 |     4325    441 |        0 |        0
1685.46/1686.08	c 1685s |      21 |  1205466 |  1053145 |     4325    442 |        0 |        0
1687.56/1688.13	c 1687s |      21 |  1206964 |  1054545 |     4325    442 |        0 |        0
1689.66/1690.22	c 1690s |      21 |  1208517 |  1055945 |     4325    443 |        0 |        0
1691.76/1692.33	c 1692s |      21 |  1210304 |  1057445 |     4325    443 |        0 |        0
1693.86/1694.48	c 1694s |      21 |  1212026 |  1058945 |     4325    444 |        0 |        0
1695.96/1696.58	c 1696s |      21 |  1213603 |  1060345 |     4325    444 |        0 |        0
1698.15/1698.73	c 1698s |      21 |  1215126 |  1061745 |     4325    445 |        0 |        0
1700.25/1700.87	c 1700s |      21 |  1216632 |  1063145 |     4325    445 |        0 |        0
1702.26/1702.89	c 1702s |      21 |  1218076 |  1064445 |     4325    445 |        0 |        0
1704.35/1704.95	c 1704s |      21 |  1219893 |  1066045 |     4325    446 |        0 |        0
1706.55/1707.12	c 1706s |      21 |  1221315 |  1067345 |     4325    446 |        0 |        0
1708.55/1709.14	c 1709s |      21 |  1222635 |  1068545 |     4325    447 |        0 |        0
1710.65/1711.21	c 1711s |      21 |  1224327 |  1070045 |     4325    447 |        0 |        0
1712.75/1713.34	c 1713s |      21 |  1225797 |  1071345 |     4325    448 |        0 |        0
1714.75/1715.39	c 1715s |      21 |  1227225 |  1072645 |     4325    448 |        0 |        0
1716.85/1717.44	c 1717s |      21 |  1228319 |  1073645 |     4325    449 |        0 |        0
1719.05/1719.60	c 1719s |      21 |  1229748 |  1074945 |     4325    449 |        0 |        0
1721.06/1721.65	c 1721s |      21 |  1230946 |  1076045 |     4325    449 |        0 |        0
1723.16/1723.74	c 1723s |      21 |  1232279 |  1077245 |     4325    450 |        0 |        0
1725.25/1725.85	c 1725s |      21 |  1233715 |  1078545 |     4325    450 |        0 |        0
1727.35/1727.92	c 1727s |      21 |  1235235 |  1079845 |     4325    451 |        0 |        0
1729.45/1730.03	c 1729s |      21 |  1237016 |  1081445 |     4325    451 |        0 |        0
1731.55/1732.18	c 1732s |      21 |  1238338 |  1082645 |     4325    452 |        0 |        0
1733.75/1734.30	c 1734s |      21 |  1239766 |  1083945 |     4325    452 |        0 |        0
1735.75/1736.35	c 1736s |      21 |  1240982 |  1085045 |     4325    453 |        0 |        0
1737.85/1738.46	c 1738s |      21 |  1242397 |  1086345 |     4325    453 |        0 |        0
1739.95/1740.55	c 1740s |      21 |  1243491 |  1087345 |     4325    453 |        0 |        0
1741.95/1742.56	c 1742s |      21 |  1244474 |  1088245 |     4325    454 |        0 |        0
1744.05/1744.70	c 1744s |      21 |  1245671 |  1089345 |     4325    454 |        0 |        0
1746.14/1746.73	c 1746s |      21 |  1246775 |  1090345 |     4325    454 |        0 |        0
1748.34/1748.93	c 1748s |      21 |  1247746 |  1091245 |     4325    455 |        0 |        0
1750.34/1750.98	c 1750s |      21 |  1249476 |  1092745 |     4325    455 |        0 |        0
1752.44/1753.04	c 1752s |      21 |  1251225 |  1094245 |     4325    456 |        0 |        0
1754.44/1755.05	c 1754s |      21 |  1252813 |  1095645 |     4325    456 |        0 |        0
1756.54/1757.14	c 1757s |      21 |  1254028 |  1096745 |     4325    457 |        0 |        0
1758.55/1759.15	c 1759s |      21 |  1255452 |  1098045 |     4325    457 |        0 |        0
1760.66/1761.23	c 1761s |      21 |  1256876 |  1099345 |     4325    457 |        0 |        0
1762.76/1763.39	c 1763s |      21 |  1258331 |  1100645 |     4325    458 |        0 |        0
1764.85/1765.50	c 1765s |      21 |  1259799 |  1101945 |     4325    458 |        0 |        0
1766.95/1767.56	c 1767s |      21 |  1261134 |  1103145 |     4325    459 |        0 |        0
1768.95/1769.58	c 1769s |      21 |  1262816 |  1104645 |     4325    459 |        0 |        0
1771.05/1771.65	c 1771s |      21 |  1264224 |  1105945 |     4325    460 |        0 |        0
1773.15/1773.76	c 1773s |      21 |  1265436 |  1107045 |     4325    460 |        0 |        0
1775.25/1775.90	c 1775s |      21 |  1266643 |  1108145 |     4325    460 |        0 |        0
1777.45/1778.02	c 1777s |      21 |  1267866 |  1109245 |     4325    461 |        0 |        0
1779.55/1780.14	c 1780s |      21 |  1269071 |  1110345 |     4325    461 |        0 |        0
1781.65/1782.28	c 1782s |      21 |  1270457 |  1111545 |     4325    462 |        0 |        0
1783.75/1784.37	c 1784s |      21 |  1271663 |  1112645 |     4325    462 |        0 |        0
1785.85/1786.45	c 1786s |      21 |  1273131 |  1113945 |     4325    462 |        0 |        0
1787.95/1788.52	c 1788s |      21 |  1274953 |  1115545 |     4325    463 |        0 |        0
1789.94/1790.56	c 1790s |      21 |  1276528 |  1116945 |     4325    463 |        0 |        0
1792.04/1792.62	c 1792s |      21 |  1277857 |  1118145 |     4325    464 |        0 |        0
1794.14/1794.76	c 1794s |      21 |  1279310 |  1119445 |     4325    464 |        0 |        0
1796.14/1796.76	c 1796s |      21 |  1280512 |  1120545 |     4325    465 |        0 |        0
1798.34/1798.92	c 1798s |      21 |  1282054 |  1121945 |     4325    465 |        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-4093402-1466085403/watcher-4093402-1466085403 -o /tmp/evaluation-result-4093402-1466085403/solver-4093402-1466085403 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093402-1466085403.wbo 

pid=18377
running on 4 cores: 0,2,4,6

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.31 2.32 2.29 3/179 18380
/proc/meminfo: memFree=29349040/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=665020 CPUtime=0 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 2469 0 0 0 0 0 0 0 20 0 4 0 10586049 680980480 2830 33554432000 4194304 16246674 140733812946736 140733812946160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 166767 2840 441 2943 0 163661 0
[pid=18380/tid=18381] ppid=18377 vsize=682428 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 698806272 2899 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 703000576 2915 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10586050 707194880 2932 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.31 2.32 2.29 3/179 18380
/proc/meminfo: memFree=29349040/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 25000 0 0 0 5 4 0 0 20 0 4 0 10586049 1247350784 25348 33554432000 4194304 16246674 140733812946736 140733812946160 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 304529 25357 774 2943 0 301423 0
[pid=18380/tid=18381] ppid=18377 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1247350784 25365 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1247350784 25371 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10586050 1247350784 25382 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200491 s]
/proc/loadavg: 2.31 2.32 2.29 3/179 18380
/proc/meminfo: memFree=29349040/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 54048 0 0 0 11 8 0 0 20 0 4 0 10586049 1247350784 54395 33554432000 4194304 16246674 140733812946736 140733812928640 5516309 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 304529 54410 806 2943 0 301423 0
[pid=18380/tid=18381] ppid=18377 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1247350784 54413 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1247350784 54417 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10586050 1247350784 54421 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300457 s]
/proc/loadavg: 2.31 2.32 2.29 3/179 18380
/proc/meminfo: memFree=29349040/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 83077 0 0 0 17 12 0 0 20 0 4 0 10586049 1249447936 83402 33554432000 4194304 16246674 140733812946736 140733812946048 5546233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 305041 83402 866 2943 0 301935 0
[pid=18380/tid=18381] ppid=18377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1249447936 83402 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1249447936 83402 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1249447936 83402 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700401 s]
/proc/loadavg: 2.31 2.32 2.29 3/179 18380
/proc/meminfo: memFree=29349040/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 164784 0 0 0 45 24 0 0 20 0 4 0 10586049 1337528320 165110 33554432000 4194304 16246674 140733812946736 140733812946048 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 326545 165127 866 2943 0 323439 0
[pid=18380/tid=18381] ppid=18377 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1337528320 165139 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1337528320 165152 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1337528320 165165 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50041 s]
/proc/loadavg: 2.28 2.32 2.28 4/183 18384
/proc/meminfo: memFree=28278156/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 267835 0 0 0 110 38 0 0 20 0 4 0 10586049 1338576896 268160 33554432000 4194304 16246674 140733812946736 140733812928640 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 326801 268160 870 2943 0 323695 0
[pid=18380/tid=18381] ppid=18377 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1338576896 268160 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1338576896 268160 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1338576896 268160 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.28 2.32 2.28 4/183 18384
/proc/meminfo: memFree=28277660/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 267919 0 0 0 270 38 0 0 20 0 4 0 10586049 1338576896 268244 33554432000 4194304 16246674 140733812946736 140733812928640 13949909 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 326801 268244 872 2943 0 323695 0
[pid=18380/tid=18381] ppid=18377 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1338576896 268244 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1338576896 268244 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1338576896 268244 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.28 2.32 2.28 3/183 18384
/proc/meminfo: memFree=28277204/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 268224 0 0 0 590 39 0 0 20 0 4 0 10586049 1340674048 268549 33554432000 4194304 16246674 140733812946736 140733812928640 5545903 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 327313 268549 872 2943 0 324207 0
[pid=18380/tid=18381] ppid=18377 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1340674048 268549 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1340674048 268549 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1340674048 268549 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.47 2.35 2.30 3/183 18384
/proc/meminfo: memFree=28274368/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 268687 0 0 0 1230 39 0 0 20 0 4 0 10586049 1341722624 269012 33554432000 4194304 16246674 140733812946736 140733812928640 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 327569 269012 872 2943 0 324463 0
[pid=18380/tid=18381] ppid=18377 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1341722624 269012 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1341722624 269012 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1341722624 269012 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.48 2.36 2.30 4/183 18384
/proc/meminfo: memFree=28271888/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 269477 0 0 0 2510 39 0 0 20 0 4 0 10586049 1345916928 269802 33554432000 4194304 16246674 140733812946736 140733812928640 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 328593 269802 872 2943 0 325487 0
[pid=18380/tid=18381] ppid=18377 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1345916928 269802 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1345916928 269802 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1345916928 269802 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.39 2.35 2.29 3/183 18384
/proc/meminfo: memFree=28268384/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 270223 0 0 0 5069 39 0 0 20 0 4 0 10586049 1348014080 270548 33554432000 4194304 16246674 140733812946736 140733812928640 8224688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 329105 270548 872 2943 0 325999 0
[pid=18380/tid=18381] ppid=18377 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1348014080 270548 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1348014080 270548 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1348014080 270548 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.32 2.33 2.29 4/183 18385
/proc/meminfo: memFree=28266388/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 270692 0 0 0 10188 40 0 0 20 0 4 0 10586049 1350111232 271017 33554432000 4194304 16246674 140733812946736 140733812928640 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 329617 271017 874 2943 0 326511 0
[pid=18380/tid=18381] ppid=18377 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1350111232 271017 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1350111232 271017 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1350111232 271017 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1364791296 274650 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.43 2.31 2.27 3/183 18827
/proc/meminfo: memFree=28273980/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1332804 CPUtime=1301.81 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 274773 0 0 0 130134 47 0 0 20 0 4 0 10586049 1364791296 274650 33554432000 4194304 16246674 140733812946736 140733812928640 5673165 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 333201 274650 874 2943 0 330095 0
[pid=18380/tid=18381] ppid=18377 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1364791296 274650 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1364791296 274650 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1364791296 274650 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.41 2.33 2.28 4/183 18876
/proc/meminfo: memFree=28262832/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1334852 CPUtime=1361.81 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275285 0 0 0 136133 48 0 0 20 0 4 0 10586049 1366888448 275162 33554432000 4194304 16246674 140733812946736 140733812928640 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 333713 275162 874 2943 0 330607 0
[pid=18380/tid=18381] ppid=18377 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1366888448 275162 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1366888448 275162 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1366888448 275162 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/184 18880
/proc/meminfo: memFree=28260552/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1336900 CPUtime=1421.81 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275797 0 0 0 142133 48 0 0 20 0 4 0 10586049 1368985600 275674 33554432000 4194304 16246674 140733812946736 140733812928640 13191276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 334225 275674 874 2943 0 331119 0
[pid=18380/tid=18381] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 18930
/proc/meminfo: memFree=28248380/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1336900 CPUtime=1481.79 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275797 0 0 0 148131 48 0 0 20 0 4 0 10586049 1368985600 275674 33554432000 4194304 16246674 140733812946736 140733812928640 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 334225 275674 874 2943 0 331119 0
[pid=18380/tid=18381] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.32 2.31 2.27 4/183 18980
/proc/meminfo: memFree=28254032/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1336900 CPUtime=1541.79 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275797 0 0 0 154131 48 0 0 20 0 4 0 10586049 1368985600 275674 33554432000 4194304 16246674 140733812946736 140733812928640 5673195 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 334225 275674 874 2943 0 331119 0
[pid=18380/tid=18381] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.28 2.30 2.27 3/183 18981
/proc/meminfo: memFree=28254208/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1336900 CPUtime=1601.78 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275797 0 0 0 160129 49 0 0 20 0 4 0 10586049 1368985600 275674 33554432000 4194304 16246674 140733812946736 140733812928640 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 334225 275674 874 2943 0 331119 0
[pid=18380/tid=18381] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.27 2.29 2.27 3/183 18982
/proc/meminfo: memFree=28253844/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1336900 CPUtime=1661.76 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275797 0 0 0 166127 49 0 0 20 0 4 0 10586049 1368985600 275674 33554432000 4194304 16246674 140733812946736 140733812928640 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 334225 275674 874 2943 0 331119 0
[pid=18380/tid=18381] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.38 2.31 2.28 4/183 18983
/proc/meminfo: memFree=28253852/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1336900 CPUtime=1721.75 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 275797 0 0 0 172126 49 0 0 20 0 4 0 10586049 1368985600 275674 33554432000 4194304 16246674 140733812946736 140733812928640 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 334225 275674 874 2943 0 331119 0
[pid=18380/tid=18381] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1368985600 275674 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/183 18984
/proc/meminfo: memFree=28248288/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1342020 CPUtime=1781.75 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 276915 0 0 0 178125 50 0 0 20 0 4 0 10586049 1374228480 276792 33554432000 4194304 16246674 140733812946736 140733812928640 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 335505 276792 874 2943 0 332399 0
[pid=18380/tid=18381] ppid=18377 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1374228480 276792 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1374228480 276792 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1374228480 276792 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.27 2.26 3/183 18985
/proc/meminfo: memFree=28248036/32872528 swapFree=1402008/1579836
[pid=18380] ppid=18377 vsize=1342020 CPUtime=1800.04 cores=0,2,4,6
/proc/18380/stat : 18380 (toysat) R 18377 18380 13870 0 -1 4202496 276915 0 0 0 179954 50 0 0 20 0 4 0 10586049 1374228480 276792 33554432000 4194304 16246674 140733812946736 140733812928640 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18380/statm: 335505 276792 874 2943 0 332399 0
[pid=18380/tid=18381] ppid=18377 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18381/stat : 18381 (toysat) S 18377 18380 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10586050 1374228480 276792 33554432000 4194304 16246674 140733812946736 140289249357040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=18380/tid=18382] ppid=18377 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18382/stat : 18382 (toysat) S 18377 18380 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10586050 1374228480 276792 33554432000 4194304 16246674 140733812946736 140289238867184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=18380/tid=18383] ppid=18377 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/18380/task/18383/stat : 18383 (toysat) S 18377 18380 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10586050 1374228480 276792 33554432000 4194304 16246674 140733812946736 140289228393648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1342020

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 18380 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.06
CPU user time (s): 1799.55
CPU system time (s): 0.502923
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.502923
maximum resident set size= 1107168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276915
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= 468
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69129 second user time and 6.98094 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 15:56:43
IDJOB=4093402
IDBENCH=78734
IDSOLVER=2553
FILE ID=node139/4093402-1466085403
RUNJOBID= node139-1466075487-16983
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= b19b36a9eeef0aa91319f6277ed84276
RANDOM SEED=413391009

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29349404 kB
Buffers:           34024 kB
Cached:           107904 kB
SwapCached:          960 kB
Active:          1174628 kB
Inactive:          65788 kB
Active(anon):    1099224 kB
Inactive(anon):     1240 kB
Active(file):      75404 kB
Inactive(file):    64548 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2739160 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             567676 kB
SReclaimable:      11960 kB
SUnreclaim:       555716 kB
KernelStack:        1520 kB
PageTables:         9684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2818644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    903168 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= 71596 MiB
End job on node139 at 2016-06-16 16:26:44