Trace number 4101153

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb
MD5SUMe6740c9c0edd31ac7988f4b277cae1d5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3371
Total number of constraints197
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints197
Minimum length of a constraint12
Maximum length of a constraint1921
Number of terms in the objective function 3114
Biggest coefficient in the objective function 8335
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526865
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262133
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526865
Number of bits of the biggest sum of numbers20
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-18T05:33:29+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","--pb","--search=bcd2","HOME/instance-4101153-1466220809.opb"]
0.00/0.01	c use --random-gen="3449313835 1173571611 3025275543 3842274426 1937031293 3226208657 2024343921 3676887892 1607300841 3928353320 343168602 1366724775 1427216716 2933627920 3688597003 2530398043 551110210 436447555 3328788842 2176972037 1303565966 3073601649 541783544 1071420433 3083116011 2637197665 623322801 1332573471 1798878342 1297090505 2188163309 2166423220 129210655 1308929925 969682885 3837840433 2065533290 1710710250 866224423 3167104239 457965136 167256362 208920750 836304573 2789427483 630698289 854091646 846131602 999418803 3123400606 1413182365 1852198654 3511741638 4253616319 3293923383 1150876621 3470101489 492169225 1099137430 817660867 2042875973 1721410726 1637884955 1027991847 465141691 924430970 963838875 3928356660 591929125 3989839452 3563785939 1068737637 1563502211 921133119 3946316905 2045932422 843530028 837125250 2224037437 4093485890 989059507 3741586675 861859562 2929829296 1559084790 3313059716 1056761919 699633334 2144029273 1720590158 1324589428 3013313244 1574244313 3358900652 3700454054 1841143068 3411654058 1270746025 2137772600 979858912 3655604935 2238395091 3114279874 2132558832 3732270853 2042521696 3256896424 3015101309 2974012134 1824088080 3884183195 880658260 3956844829 4132979917 4268377156 2759496350 930895048 2318522283 1449441848 3509961242 95801477 235139547 2790610393 4247499471 2418108314 4259767590 3814373691 2271126273 3696126118 1503593790 3018833343 269351438 1679184470 2842942020 2580872036 4149054658 318050929 2834756764 234736505 2130195905 4293974111 2801612244 2210832906 476409158 1312523576 142361717 3028121848 2324699826 748628462 958807490 3463487411 1810614475 2655517098 945052206 1465882593 983987091 595391043 3722393556 1638474852 3855880672 4186869663 636496505 3145160174 1497843069 2348976610 1134189268 970233025 705899451 1235710965 3737242281 1266928710 2300730619 333943141 1552653733 1648903725 4111350273 2339673313 3907130178 2728126680 2192544027 3304462417 437704313 714973488 3459511167 2730977889 347024323 2760565448 2204670366 1230791025 3909559320 3702148728 252495847 4092432236 1504537324 3845246326 2423920784 1502035220 4030342502 3671351977 2857375007 2121233431 791692655 2125461222 3324472469 1550059278 1856547221 3858485356 290869243 1062115979 3304495453 3027779756 1685218653 2086029079 1657671511 1021298933 3308131951 123177720 3523384721 1344925438 1488247803 1225447960 1039478576 1786445332 1115377469 3112040133 2143836724 1428496139 3914069039 4070895553 2058943313 2869857235 816586276 2340540325 734323376 3086208928 983092281 3349396324 3212490588 1337191938 1423066477 4065728086 2343138424 2468714111 616996582 343340824 721265033 4271085398 1636823407 2283437098 2930555923 1415612337 2061950908 2066818638 11081666 77055432 2943643096 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3371
0.00/0.06	c #constraints 197
0.08/0.12	c BCD2: Hardening is enabled.
0.08/0.12	c BCD2: BiasedSearch is enabled.
0.08/0.12	c Solving starts ...
0.08/0.12	c ============================[ Search Statistics ]============================
0.08/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.12	c =============================================================================
0.08/0.12	c  0.0s |       0 |        0 |        0 |     1190      0 |     1126 |        0
0.08/0.17	c  0.0s |       1 |      305 |      100 |     1190      0 |     1126 |        6
0.19/0.24	c  0.1s |       2 |      607 |      250 |     1309      0 |     1126 |        6
0.28/0.34	c  0.2s |       3 |      905 |      475 |     1440      0 |     1126 |        6
0.49/0.52	c  0.4s |       4 |     1373 |      813 |     1585      0 |     1126 |        6
0.78/0.80	c  0.7s |       5 |     2129 |     1320 |     1744      0 |     1126 |        6
1.20/1.27	c  1.1s |       6 |     3174 |     2081 |     2111      0 |     1126 |        6
1.99/2.02	c  1.9s |       7 |     4956 |     3223 |     2323      0 |     1126 |        6
3.09/3.14	c  3.0s |       8 |     7882 |     4936 |     2556      1 |     1126 |        6
4.40/4.43	c  4.3s |       9 |    11615 |     7506 |     2812      2 |     1126 |        6
6.39/6.44	c  6.3s |       9 |    17187 |    10806 |     2812      4 |     1126 |        6
6.79/6.80	c  6.7s |      10 |    18117 |    11361 |     3094      4 |     1126 |        6
8.80/8.82	c  8.7s |      10 |    22141 |    14961 |     3094      5 |     1126 |        6
10.09/10.12	c 10.0s |      11 |    24437 |    17144 |     3404      6 |     1126 |        6
12.10/12.17	c 12.0s |      11 |    29140 |    20444 |     3404      8 |     1126 |        6
14.19/14.21	c 14.1s |      11 |    33892 |    24044 |     3404      9 |     1126 |        6
15.09/15.19	c 15.1s |      12 |    36129 |    25819 |     3745     10 |     1126 |        6
17.19/17.21	c 17.1s |      12 |    41580 |    30019 |     3745     12 |     1126 |        6
19.19/19.21	c 19.1s |      12 |    46773 |    34019 |     3745     13 |     1126 |        6
21.19/21.26	c 21.1s |      12 |    50567 |    37019 |     3745     14 |     1126 |        6
22.88/22.98	c 22.9s |      13 |    52677 |    38832 |     4120     15 |     1126 |        6
24.98/25.00	c 24.9s |      13 |    58253 |    43632 |     4120     17 |     1126 |        6
26.98/27.04	c 26.9s |      13 |    63008 |    47732 |     4120     18 |     1126 |        6
28.98/29.09	c 29.0s |      13 |    67278 |    51532 |     4120     19 |     1126 |        6
31.08/31.11	c 31.0s |      13 |    71491 |    55132 |     4120     21 |     1126 |        6
32.78/32.84	c 32.7s |      14 |    75167 |    58352 |     4532     22 |     1126 |        6
34.78/34.84	c 34.7s |      14 |    79778 |    62252 |     4532     23 |     1126 |        6
36.78/36.89	c 36.8s |      14 |    84542 |    66252 |     4532     25 |     1126 |        6
38.88/38.94	c 38.8s |      14 |    89361 |    70252 |     4532     26 |     1126 |        6
40.88/40.95	c 40.8s |      14 |    94367 |    74352 |     4532     27 |     1126 |        6
42.89/42.96	c 42.8s |      14 |    99138 |    78352 |     4532     29 |     1126 |        6
44.98/45.00	c 44.9s |      14 |   104260 |    82652 |     4532     30 |     1126 |        6
46.98/47.00	c 46.9s |      14 |   108593 |    86352 |     4532     32 |     1126 |        6
47.58/47.66	c 47.5s |      15 |   110120 |    87632 |     4986     32 |     1126 |        6
49.68/49.70	c 49.6s |      15 |   115294 |    91632 |     4986     33 |     1126 |        6
51.69/51.71	c 51.6s |      15 |   120617 |    95632 |     4986     35 |     1126 |        6
53.68/53.72	c 53.6s |      15 |   125468 |    99532 |     4986     36 |     1126 |        6
55.68/55.75	c 55.6s |      15 |   130659 |   103432 |     4986     37 |     1126 |        6
57.68/57.76	c 57.6s |      15 |   135781 |   107332 |     4986     38 |     1126 |        6
59.78/59.80	c 59.7s |      15 |   140903 |   111132 |     4986     40 |     1126 |        6
61.78/61.83	c 61.7s |      15 |   145963 |   114832 |     4986     41 |     1126 |        6
63.78/63.84	c 63.7s |      15 |   151587 |   118832 |     4986     42 |     1126 |        6
65.78/65.87	c 65.7s |      15 |   156388 |   122732 |     4986     43 |     1126 |        6
67.88/67.91	c 67.8s |      15 |   161881 |   126932 |     4986     45 |     1126 |        6
69.88/69.92	c 69.8s |      15 |   167182 |   130932 |     5485     46 |     1126 |        6
70.18/70.23	c 70.1s |      16 |   167938 |   131552 |     5485     46 |     1126 |        6
72.18/72.23	c 72.1s |      16 |   172865 |   135152 |     5485     47 |     1126 |        6
74.17/74.28	c 74.2s |      16 |   177860 |   139252 |     5485     48 |     1126 |        6
76.27/76.31	c 76.2s |      16 |   183591 |   143052 |     5485     49 |     1126 |        6
78.28/78.33	c 78.2s |      16 |   189392 |   147152 |     5485     51 |     1126 |        6
80.29/80.34	c 80.2s |      16 |   194186 |   151052 |     5485     52 |     1126 |        6
82.28/82.38	c 82.3s |      16 |   199348 |   155052 |     5485     53 |     1126 |        6
84.38/84.40	c 84.3s |      16 |   205078 |   159052 |     5485     54 |     1126 |        6
86.38/86.45	c 86.3s |      16 |   210434 |   163152 |     5485     55 |     1126 |        6
88.38/88.46	c 88.3s |      16 |   215262 |   166952 |     5485     57 |     1126 |        6
90.48/90.51	c 90.4s |      16 |   219658 |   170252 |     5485     58 |     1126 |        6
92.48/92.51	c 92.4s |      16 |   225191 |   174352 |     5485     59 |     1126 |        6
94.48/94.54	c 94.4s |      16 |   231055 |   178652 |     5485     60 |     1126 |        6
96.48/96.56	c 96.4s |      16 |   236803 |   182552 |     5485     61 |     1126 |        6
98.48/98.59	c 98.5s |      16 |   242549 |   186452 |     5485     62 |     1126 |        6
100.58/100.62	c  100s |      16 |   248837 |   190452 |     5485     64 |     1126 |        6
102.57/102.63	c  102s |      16 |   254010 |   193952 |     5485     65 |     1126 |        6
104.58/104.67	c  104s |      17 |   258976 |   197432 |     6034     65 |     1126 |        6
106.57/106.67	c  106s |      17 |   263015 |   200432 |     6034     66 |     1126 |        6
108.57/108.67	c  108s |      17 |   266944 |   203432 |     6034     67 |     1126 |        6
110.57/110.69	c  110s |      17 |   274189 |   207032 |     6034     68 |     1126 |        6
112.77/112.89	c  112s |      17 |   280739 |   211332 |     6034     69 |     1126 |        6
114.87/114.92	c  114s |      17 |   285448 |   214532 |     6034     70 |     1126 |        6
116.87/116.96	c  116s |      17 |   290622 |   218132 |     6034     71 |     1126 |        6
118.88/118.99	c  118s |      17 |   295733 |   221232 |     6034     72 |     1126 |        6
120.98/121.02	c  120s |      17 |   301851 |   225232 |     6034     73 |     1126 |        6
122.97/123.05	c  122s |      17 |   307357 |   229032 |     6034     74 |     1126 |        6
124.97/125.07	c  124s |      17 |   312680 |   233832 |     6034     75 |     1126 |        6
127.07/127.10	c  126s |      17 |   317721 |   238432 |     6034     77 |     1126 |        6
129.07/129.12	c  128s |      17 |   322032 |   242232 |     6034     78 |     1126 |        6
131.06/131.15	c  131s |      17 |   326666 |   246332 |     6034     79 |     1126 |        6
133.07/133.19	c  133s |      17 |   332621 |   251432 |     6034     80 |     1126 |        6
135.16/135.20	c  135s |      17 |   338028 |   255732 |     6034     81 |     1126 |        6
137.16/137.25	c  137s |      17 |   342359 |   259132 |     6034     82 |     1126 |        6
139.16/139.27	c  139s |      17 |   347987 |   262932 |     6034     83 |     1126 |        6
141.16/141.27	c  141s |      17 |   353802 |   266432 |     6034     84 |     1126 |        6
143.16/143.29	c  143s |      17 |   359526 |   270532 |     6034     85 |     1126 |        6
145.17/145.30	c  145s |      17 |   366947 |   275932 |     6034     87 |     1126 |        6
147.26/147.31	c  147s |      17 |   372645 |   280432 |     6034     88 |     1126 |        6
149.26/149.34	c  149s |      17 |   378210 |   285032 |     6034     89 |     1126 |        6
151.26/151.37	c  151s |      17 |   383917 |   289832 |     6034     91 |     1126 |        6
153.26/153.39	c  153s |      17 |   389342 |   294732 |     6638     92 |     1126 |        6
154.07/154.12	c  153s |      18 |   391123 |   296252 |     6638     92 |     1126 |        6
156.06/156.16	c  156s |      18 |   397102 |   300652 |     6638     93 |     1126 |        6
158.17/158.21	c  158s |      18 |   402448 |   304952 |     6638     95 |     1126 |        6
160.17/160.21	c  160s |      18 |   407639 |   309352 |     6638     96 |     1126 |        6
162.17/162.21	c  162s |      18 |   413016 |   313552 |     6638     97 |     1126 |        6
164.17/164.24	c  164s |      18 |   417195 |   317252 |     6638     98 |     1126 |        6
166.17/166.26	c  166s |      18 |   422952 |   321952 |     6638     99 |     1126 |        6
168.17/168.27	c  168s |      18 |   428295 |   326252 |     6638    100 |     1126 |        6
170.16/170.29	c  170s |      18 |   433587 |   330452 |     6638    101 |     1126 |        6
172.26/172.30	c  172s |      18 |   438982 |   334752 |     6638    102 |     1126 |        6
174.26/174.33	c  174s |      18 |   444489 |   338852 |     6638    103 |     1126 |        6
176.26/176.38	c  176s |      18 |   449808 |   342952 |     6638    104 |     1126 |        6
178.36/178.41	c  178s |      18 |   454645 |   346652 |     6638    105 |     1126 |        6
180.37/180.41	c  180s |      18 |   459903 |   350852 |     6638    106 |     1126 |        6
182.36/182.44	c  182s |      18 |   465457 |   355252 |     6638    107 |     1126 |        6
184.36/184.45	c  184s |      18 |   470355 |   359452 |     6638    108 |     1126 |        6
186.36/186.49	c  186s |      18 |   475464 |   363452 |     6638    109 |     1126 |        6
188.36/188.49	c  188s |      18 |   480333 |   367452 |     6638    110 |     1126 |        6
190.46/190.53	c  190s |      18 |   484629 |   371152 |     6638    111 |     1126 |        6
192.57/192.66	c  192s |      18 |   488637 |   374452 |     6638    112 |     1126 |        6
194.56/194.68	c  194s |      18 |   493197 |   378352 |     6638    113 |     1126 |        6
196.66/196.71	c  196s |      18 |   499125 |   383352 |     6638    114 |     1126 |        6
198.66/198.76	c  198s |      18 |   504054 |   387052 |     6638    115 |     1126 |        6
200.76/200.80	c  200s |      18 |   508534 |   390952 |     6638    116 |     1126 |        6
202.76/202.82	c  202s |      18 |   512792 |   394752 |     6638    117 |     1126 |        6
204.76/204.85	c  204s |      18 |   517785 |   398852 |     6638    118 |     1126 |        6
206.76/206.86	c  206s |      18 |   522600 |   402652 |     6638    119 |     1126 |        6
208.86/208.92	c  208s |      18 |   528034 |   406652 |     6638    120 |     1126 |        6
210.86/210.97	c  210s |      18 |   533815 |   411152 |     6638    121 |     1126 |        6
212.95/213.01	c  212s |      18 |   539091 |   415552 |     6638    122 |     1126 |        6
214.95/215.01	c  214s |      18 |   544235 |   419852 |     6638    123 |     1126 |        6
216.95/217.02	c  216s |      18 |   549286 |   423652 |     6638    124 |     1126 |        6
218.96/219.08	c  218s |      18 |   555439 |   428152 |     6638    126 |     1126 |        6
220.95/221.10	c  220s |      18 |   560414 |   431752 |     6638    126 |     1126 |        6
223.05/223.12	c  222s |      18 |   565621 |   435852 |     6638    127 |     1126 |        6
225.05/225.16	c  225s |      18 |   570516 |   439952 |     6638    128 |     1126 |        6
226.95/227.07	c  226s |      19 |   575943 |   444482 |     7302    129 |     1126 |        6
229.05/229.11	c  228s |      19 |   580998 |   448582 |     7302    130 |     1126 |        6
231.06/231.14	c  231s |      19 |   585899 |   452582 |     7302    131 |     1126 |        6
233.05/233.17	c  233s |      19 |   590547 |   456382 |     7302    132 |     1126 |        6
235.05/235.18	c  235s |      19 |   594971 |   459882 |     7302    133 |     1126 |        6
237.05/237.19	c  237s |      19 |   599663 |   463482 |     7302    134 |     1126 |        6
239.05/239.19	c  239s |      19 |   604157 |   467282 |     7302    135 |     1126 |        6
241.15/241.20	c  241s |      19 |   608001 |   470582 |     7302    136 |     1126 |        6
243.16/243.21	c  243s |      19 |   612550 |   474382 |     7302    136 |     1126 |        6
245.15/245.24	c  245s |      19 |   617247 |   478082 |     7302    137 |     1126 |        6
247.15/247.28	c  247s |      19 |   621766 |   481982 |     7302    138 |     1126 |        6
249.15/249.28	c  249s |      19 |   626407 |   485682 |     7302    139 |     1126 |        6
251.25/251.33	c  251s |      19 |   631433 |   489582 |     7302    140 |     1126 |        6
253.25/253.33	c  253s |      19 |   635558 |   492882 |     7302    141 |     1126 |        6
255.25/255.37	c  255s |      19 |   640207 |   496482 |     7302    142 |     1126 |        6
257.25/257.38	c  257s |      19 |   645000 |   500282 |     7302    143 |     1126 |        6
259.35/259.44	c  259s |      19 |   649601 |   503682 |     7302    143 |     1126 |        6
261.35/261.48	c  261s |      19 |   654163 |   507282 |     7302    144 |     1126 |        6
263.45/263.50	c  263s |      19 |   658070 |   510582 |     7302    145 |     1126 |        6
265.45/265.52	c  265s |      19 |   662844 |   514582 |     7302    146 |     1126 |        6
267.45/267.56	c  267s |      19 |   667053 |   518182 |     7302    147 |     1126 |        6
269.56/269.62	c  269s |      19 |   671314 |   521782 |     7302    148 |     1126 |        6
271.55/271.65	c  271s |      19 |   675915 |   525782 |     7302    149 |     1126 |        6
273.65/273.74	c  273s |      19 |   680777 |   529882 |     7302    150 |     1126 |        6
275.75/275.80	c  275s |      19 |   685855 |   534082 |     7302    151 |     1126 |        6
277.75/277.80	c  277s |      19 |   690529 |   537882 |     7302    151 |     1126 |        6
279.75/279.80	c  279s |      19 |   695360 |   541782 |     7302    152 |     1126 |        6
281.75/281.82	c  281s |      19 |   699130 |   544782 |     7302    153 |     1126 |        6
283.75/283.85	c  283s |      19 |   703535 |   548082 |     7302    154 |     1126 |        6
285.84/285.90	c  285s |      19 |   707911 |   551482 |     7302    155 |     1126 |        6
287.84/287.90	c  287s |      19 |   712668 |   555282 |     7302    155 |     1126 |        6
289.84/289.92	c  289s |      19 |   717148 |   558882 |     7302    156 |     1126 |        6
291.84/291.93	c  291s |      19 |   721403 |   562282 |     7302    157 |     1126 |        6
293.84/293.94	c  293s |      19 |   725802 |   565782 |     7302    158 |     1126 |        6
295.85/295.94	c  295s |      19 |   729147 |   568682 |     7302    159 |     1126 |        6
297.94/298.01	c  297s |      19 |   734011 |   572482 |     7302    160 |     1126 |        6
299.94/300.05	c  299s |      19 |   738777 |   576082 |     7302    160 |     1126 |        6
301.94/302.07	c  301s |      19 |   742886 |   579282 |     7302    161 |     1126 |        6
304.04/304.10	c  303s |      19 |   746454 |   582382 |     7302    162 |     1126 |        6
306.04/306.13	c  306s |      19 |   750504 |   585582 |     7302    163 |     1126 |        6
308.04/308.17	c  308s |      19 |   754992 |   589182 |     7302    163 |     1126 |        6
310.14/310.22	c  310s |      19 |   759876 |   593082 |     7302    164 |     1126 |        6
312.15/312.25	c  312s |      19 |   763978 |   596182 |     7302    165 |     1126 |        6
314.15/314.29	c  314s |      19 |   768274 |   599582 |     7302    166 |     1126 |        6
316.24/316.31	c  316s |      19 |   772154 |   602882 |     7302    167 |     1126 |        6
318.24/318.32	c  318s |      19 |   776567 |   606482 |     7302    167 |     1126 |        6
320.24/320.33	c  320s |      19 |   780815 |   610182 |     7302    168 |     1126 |        6
322.25/322.35	c  322s |      19 |   784928 |   613682 |     7302    169 |     1126 |        6
324.24/324.39	c  324s |      19 |   789585 |   617682 |     7302    170 |     1126 |        6
326.34/326.44	c  326s |      19 |   794074 |   621482 |     7302    171 |     1126 |        6
328.34/328.46	c  328s |      19 |   798787 |   625382 |     7302    172 |     1126 |        6
330.34/330.48	c  330s |      19 |   801871 |   627982 |     7302    173 |     1126 |        6
332.44/332.52	c  332s |      19 |   806102 |   631482 |     7302    173 |     1126 |        6
334.45/334.56	c  334s |      19 |   809824 |   634582 |     7302    174 |     1126 |        6
336.44/336.59	c  336s |      19 |   813941 |   637882 |     7302    175 |     1126 |        6
338.54/338.62	c  338s |      19 |   817987 |   641182 |     7302    176 |     1126 |        6
340.54/340.62	c  340s |      19 |   821500 |   644082 |     7302    176 |     1126 |        6
342.54/342.65	c  342s |      19 |   825432 |   647382 |     7302    177 |     1126 |        6
344.64/344.70	c  344s |      19 |   830154 |   650882 |     7302    178 |     1126 |        6
346.64/346.74	c  346s |      19 |   835011 |   654782 |     7302    179 |     1126 |        6
348.64/348.75	c  348s |      19 |   839892 |   658582 |     7302    180 |     1126 |        6
350.63/350.77	c  350s |      19 |   844505 |   662182 |     8033    181 |     1126 |        6
352.63/352.78	c  352s |      19 |   849138 |   665782 |     8033    181 |     1126 |        6
353.53/353.69	c  353s |      20 |   850397 |   666827 |     8033    181 |     1126 |        6
355.63/355.72	c  355s |      20 |   854444 |   670127 |     8033    182 |     1126 |        6
357.63/357.77	c  357s |      20 |   859111 |   673727 |     8033    183 |     1126 |        6
359.74/359.81	c  359s |      20 |   863568 |   677227 |     8033    184 |     1126 |        6
361.73/361.84	c  361s |      20 |   867693 |   680627 |     8033    184 |     1126 |        6
363.73/363.87	c  363s |      20 |   872146 |   684127 |     8033    185 |     1126 |        6
365.83/365.91	c  365s |      20 |   876567 |   687627 |     8033    186 |     1126 |        6
368.13/368.29	c  368s |      20 |   880028 |   690527 |     8033    187 |     1126 |        6
370.23/370.33	c  370s |      20 |   883439 |   693327 |     8033    187 |     1126 |        6
372.23/372.33	c  372s |      20 |   887613 |   696127 |     8033    188 |     1126 |        6
374.33/374.43	c  374s |      20 |   892370 |   699527 |     8033    189 |     1126 |        6
376.33/376.47	c  376s |      20 |   896340 |   702527 |     8033    189 |     1126 |        6
378.43/378.51	c  378s |      20 |   900683 |   705627 |     8033    190 |     1126 |        6
380.43/380.52	c  380s |      20 |   905114 |   708927 |     8033    191 |     1126 |        6
382.43/382.58	c  382s |      20 |   909713 |   712427 |     8033    191 |     1126 |        6
384.53/384.63	c  384s |      20 |   913980 |   715827 |     8033    192 |     1126 |        6
386.53/386.65	c  386s |      20 |   918202 |   719127 |     8033    193 |     1126 |        6
388.53/388.67	c  388s |      20 |   921276 |   721627 |     8033    193 |     1126 |        6
390.54/390.70	c  390s |      20 |   925805 |   725527 |     8033    194 |     1126 |        6
392.64/392.74	c  392s |      20 |   930339 |   729427 |     8033    195 |     1126 |        6
394.63/394.75	c  394s |      20 |   934282 |   732727 |     8033    196 |     1126 |        6
396.63/396.77	c  396s |      20 |   938772 |   736527 |     8033    197 |     1126 |        6
398.63/398.77	c  398s |      20 |   943261 |   740127 |     8033    197 |     1126 |        6
400.73/400.81	c  400s |      20 |   947915 |   743927 |     8033    198 |     1126 |        6
402.73/402.82	c  402s |      20 |   951952 |   746927 |     8033    199 |     1126 |        6
404.74/404.86	c  404s |      20 |   956525 |   750427 |     8033    200 |     1126 |        6
406.73/406.88	c  406s |      20 |   960989 |   754227 |     8033    200 |     1126 |        6
408.83/408.92	c  408s |      20 |   965592 |   757827 |     8033    201 |     1126 |        6
410.93/411.06	c  410s |      20 |   969618 |   761127 |     8033    202 |     1126 |        6
413.03/413.10	c  412s |      20 |   973909 |   764627 |     8033    203 |     1126 |        6
415.03/415.14	c  415s |      20 |   978095 |   768027 |     8033    203 |     1126 |        6
417.13/417.28	c  417s |      20 |   982186 |   771227 |     8033    204 |     1126 |        6
419.23/419.31	c  419s |      20 |   985989 |   774327 |     8033    205 |     1126 |        6
421.23/421.32	c  421s |      20 |   990649 |   777827 |     8033    205 |     1126 |        6
423.23/423.35	c  423s |      20 |   994832 |   781027 |     8033    206 |     1126 |        6
425.33/425.42	c  425s |      20 |   998578 |   783827 |     8033    207 |     1126 |        6
427.33/427.44	c  427s |      20 |  1002505 |   786927 |     8033    207 |     1126 |        6
429.42/429.50	c  429s |      20 |  1007041 |   790327 |     8033    208 |     1126 |        6
431.42/431.51	c  431s |      20 |  1011144 |   793527 |     8033    209 |     1126 |        6
433.52/433.66	c  433s |      20 |  1015094 |   796727 |     8033    210 |     1126 |        6
435.63/435.77	c  435s |      20 |  1019037 |   799927 |     8033    210 |     1126 |        6
437.73/437.83	c  437s |      20 |  1022926 |   803127 |     8033    211 |     1126 |        6
439.72/439.85	c  439s |      20 |  1026833 |   806427 |     8033    212 |     1126 |        6
441.72/441.87	c  441s |      20 |  1031195 |   810227 |     8033    212 |     1126 |        6
443.72/443.89	c  443s |      20 |  1035686 |   814027 |     8033    213 |     1126 |        6
445.92/446.03	c  445s |      20 |  1039665 |   817427 |     8033    214 |     1126 |        6
448.02/448.13	c  448s |      20 |  1043311 |   820427 |     8033    215 |     1126 |        6
450.02/450.18	c  450s |      20 |  1047858 |   823627 |     8033    215 |     1126 |        6
452.13/452.24	c  452s |      20 |  1052187 |   826827 |     8033    216 |     1126 |        6
454.12/454.26	c  454s |      20 |  1056249 |   829627 |     8033    217 |     1126 |        6
456.12/456.27	c  456s |      20 |  1058883 |   831827 |     8033    217 |     1126 |        6
458.22/458.33	c  458s |      20 |  1063199 |   834727 |     8033    218 |     1126 |        6
460.22/460.35	c  460s |      20 |  1067104 |   837627 |     8033    218 |     1126 |        6
462.22/462.38	c  462s |      20 |  1070720 |   840427 |     8033    219 |     1126 |        6
464.32/464.42	c  464s |      20 |  1073987 |   842827 |     8033    219 |     1126 |        6
466.32/466.46	c  466s |      20 |  1077857 |   845827 |     8033    220 |     1126 |        6
468.31/468.47	c  468s |      20 |  1082750 |   849027 |     8033    221 |     1126 |        6
470.41/470.50	c  470s |      20 |  1087211 |   852127 |     8033    221 |     1126 |        6
472.41/472.53	c  472s |      20 |  1091649 |   855227 |     8033    222 |     1126 |        6
474.41/474.54	c  474s |      20 |  1096120 |   858227 |     8033    223 |     1126 |        6
476.51/476.60	c  476s |      20 |  1100489 |   861227 |     8033    223 |     1126 |        6
478.52/478.62	c  478s |      20 |  1105460 |   864127 |     8033    224 |     1126 |        6
480.51/480.66	c  480s |      20 |  1108711 |   866727 |     8033    225 |     1126 |        6
482.61/482.70	c  482s |      20 |  1112967 |   869927 |     8033    225 |     1126 |        6
484.61/484.71	c  484s |      20 |  1117906 |   873227 |     8033    226 |     1126 |        6
486.61/486.73	c  486s |      20 |  1122328 |   876127 |     8033    227 |     1126 |        6
488.61/488.77	c  488s |      20 |  1126212 |   879127 |     8033    227 |     1126 |        6
490.71/490.80	c  490s |      20 |  1130438 |   882127 |     8033    228 |     1126 |        6
492.72/492.86	c  492s |      20 |  1134310 |   884927 |     8033    229 |     1126 |        6
494.81/494.90	c  494s |      20 |  1138778 |   888027 |     8033    229 |     1126 |        6
496.81/496.95	c  496s |      20 |  1142761 |   891027 |     8033    230 |     1126 |        6
498.81/498.96	c  498s |      20 |  1146086 |   893527 |     8033    230 |     1126 |        6
500.92/501.00	c  500s |      20 |  1149940 |   896327 |     8033    231 |     1126 |        6
502.92/503.05	c  502s |      20 |  1154159 |   899327 |     8033    232 |     1126 |        6
505.02/505.11	c  504s |      20 |  1157322 |   901827 |     8033    232 |     1126 |        6
507.02/507.17	c  507s |      20 |  1161040 |   904927 |     8033    233 |     1126 |        6
509.11/509.26	c  509s |      20 |  1164585 |   907827 |     8033    234 |     1126 |        6
511.21/511.33	c  511s |      20 |  1168790 |   911127 |     8033    234 |     1126 |        6
513.21/513.33	c  513s |      20 |  1172377 |   913827 |     8033    235 |     1126 |        6
515.21/515.37	c  515s |      20 |  1175611 |   916427 |     8033    235 |     1126 |        6
517.31/517.42	c  517s |      20 |  1179613 |   919427 |     8033    236 |     1126 |        6
519.41/519.55	c  519s |      20 |  1183505 |   922427 |     8033    237 |     1126 |        6
521.42/521.57	c  521s |      20 |  1187494 |   925627 |     8033    237 |     1126 |        6
523.52/523.62	c  523s |      20 |  1191615 |   928927 |     8033    238 |     1126 |        6
525.61/525.78	c  525s |      20 |  1194684 |   931427 |     8033    239 |     1126 |        6
527.71/527.81	c  527s |      20 |  1198454 |   934427 |     8033    239 |     1126 |        6
529.71/529.82	c  529s |      20 |  1202276 |   937227 |     8033    240 |     1126 |        6
531.71/531.88	c  531s |      20 |  1205428 |   939927 |     8033    240 |     1126 |        6
533.80/533.93	c  533s |      20 |  1209615 |   943327 |     8033    241 |     1126 |        6
535.80/535.97	c  535s |      20 |  1212358 |   945427 |     8033    242 |     1126 |        6
537.91/538.01	c  537s |      20 |  1216849 |   948927 |     8033    242 |     1126 |        6
539.90/540.03	c  539s |      20 |  1221412 |   951827 |     8033    243 |     1126 |        6
541.90/542.09	c  541s |      20 |  1226164 |   955427 |     8033    244 |     1126 |        6
544.00/544.11	c  543s |      20 |  1230337 |   958327 |     8033    244 |     1126 |        6
546.00/546.16	c  546s |      20 |  1234158 |   961127 |     8033    245 |     1126 |        6
548.10/548.21	c  548s |      20 |  1237728 |   963827 |     8033    246 |     1126 |        6
550.10/550.23	c  550s |      20 |  1242384 |   967227 |     8033    246 |     1126 |        6
552.11/552.27	c  552s |      20 |  1246912 |   970527 |     8033    247 |     1126 |        6
554.10/554.28	c  554s |      20 |  1250218 |   973127 |     8033    248 |     1126 |        6
556.20/556.30	c  556s |      20 |  1254569 |   976327 |     8033    248 |     1126 |        6
558.20/558.33	c  558s |      20 |  1258270 |   979327 |     8033    249 |     1126 |        6
560.20/560.37	c  560s |      20 |  1262118 |   982127 |     8033    250 |     1126 |        6
562.30/562.40	c  562s |      20 |  1266931 |   985427 |     8033    250 |     1126 |        6
564.31/564.43	c  564s |      20 |  1270371 |   988327 |     8033    251 |     1126 |        6
566.31/566.46	c  566s |      20 |  1274766 |   991727 |     8033    252 |     1126 |        6
568.31/568.48	c  568s |      20 |  1278834 |   994927 |     8837    252 |     1126 |        6
570.31/570.48	c  570s |      20 |  1282148 |   997627 |     8837    253 |     1126 |        6
571.91/572.10	c  571s |      21 |  1285550 |  1000345 |     8837    253 |     1126 |        6
574.00/574.10	c  573s |      21 |  1289488 |  1003345 |     8837    254 |     1126 |        6
576.00/576.14	c  576s |      21 |  1293728 |  1006745 |     8837    255 |     1126 |        6
578.00/578.15	c  578s |      21 |  1297830 |  1010045 |     8837    255 |     1126 |        6
580.00/580.18	c  580s |      21 |  1301342 |  1012845 |     8837    256 |     1126 |        6
582.10/582.25	c  582s |      21 |  1305122 |  1015745 |     8837    256 |     1126 |        6
584.11/584.27	c  584s |      21 |  1309422 |  1019045 |     8837    257 |     1126 |        6
586.10/586.27	c  586s |      21 |  1313253 |  1021845 |     8837    258 |     1126 |        6
588.20/588.32	c  588s |      21 |  1317085 |  1024545 |     8837    258 |     1126 |        6
590.20/590.37	c  590s |      21 |  1321183 |  1027245 |     8837    259 |     1126 |        6
592.30/592.43	c  592s |      21 |  1325017 |  1030045 |     8837    259 |     1126 |        6
594.30/594.45	c  594s |      21 |  1328643 |  1032745 |     8837    260 |     1126 |        6
596.30/596.46	c  596s |      21 |  1330932 |  1034745 |     8837    260 |     1126 |        6
598.30/598.47	c  598s |      21 |  1333895 |  1037245 |     8837    261 |     1126 |        6
600.30/600.49	c  600s |      21 |  1337894 |  1040345 |     8837    261 |     1126 |        6
602.50/602.61	c  602s |      21 |  1341701 |  1043545 |     8837    262 |     1126 |        6
604.50/604.63	c  604s |      21 |  1345691 |  1046945 |     8837    263 |     1126 |        6
606.49/606.65	c  606s |      21 |  1349975 |  1050645 |     8837    263 |     1126 |        6
608.49/608.68	c  608s |      21 |  1354739 |  1054045 |     8837    264 |     1126 |        6
610.59/610.74	c  610s |      21 |  1360387 |  1056845 |     8837    264 |     1126 |        6
612.60/612.80	c  612s |      21 |  1364882 |  1060045 |     8837    265 |     1126 |        6
614.69/614.82	c  614s |      21 |  1368872 |  1063145 |     8837    266 |     1126 |        6
616.69/616.83	c  616s |      21 |  1373387 |  1066245 |     8837    266 |     1126 |        6
618.69/618.83	c  618s |      21 |  1377676 |  1069245 |     8837    267 |     1126 |        6
620.69/620.86	c  620s |      21 |  1381908 |  1072045 |     8837    267 |     1126 |        6
622.89/623.01	c  622s |      21 |  1385663 |  1074745 |     8837    268 |     1126 |        6
624.89/625.03	c  624s |      21 |  1388758 |  1077345 |     8837    269 |     1126 |        6
626.90/627.03	c  626s |      21 |  1392722 |  1080645 |     8837    269 |     1126 |        6
628.89/629.07	c  628s |      21 |  1396468 |  1083845 |     8837    270 |     1126 |        6
630.99/631.13	c  631s |      21 |  1399490 |  1086345 |     8837    270 |     1126 |        6
632.99/633.15	c  633s |      21 |  1404172 |  1089745 |     8837    271 |     1126 |        6
634.99/635.17	c  635s |      21 |  1408607 |  1093345 |     8837    272 |     1126 |        6
637.09/637.23	c  637s |      21 |  1412482 |  1096645 |     8837    272 |     1126 |        6
639.09/639.27	c  639s |      21 |  1416484 |  1099845 |     8837    273 |     1126 |        6
641.09/641.28	c  641s |      21 |  1420132 |  1102745 |     8837    274 |     1126 |        6
643.19/643.31	c  643s |      21 |  1424248 |  1105845 |     8837    274 |     1126 |        6
645.19/645.37	c  645s |      21 |  1428555 |  1109145 |     8837    275 |     1126 |        6
647.29/647.42	c  647s |      21 |  1432799 |  1112645 |     8837    276 |     1126 |        6
649.29/649.42	c  649s |      21 |  1436901 |  1116045 |     8837    276 |     1126 |        6
651.39/651.50	c  651s |      21 |  1441035 |  1119145 |     8837    277 |     1126 |        6
653.40/653.58	c  653s |      21 |  1445230 |  1122445 |     8837    278 |     1126 |        6
655.50/655.61	c  655s |      21 |  1449764 |  1125745 |     8837    278 |     1126 |        6
657.49/657.64	c  657s |      21 |  1453809 |  1128945 |     8837    279 |     1126 |        6
659.49/659.65	c  659s |      21 |  1458081 |  1132345 |     8837    279 |     1126 |        6
661.49/661.66	c  661s |      21 |  1461902 |  1135245 |     8837    280 |     1126 |        6
663.59/663.78	c  663s |      21 |  1464729 |  1137545 |     8837    281 |     1126 |        6
665.69/665.83	c  665s |      21 |  1467672 |  1140045 |     8837    281 |     1126 |        6
667.70/667.87	c  667s |      21 |  1471018 |  1142945 |     8837    282 |     1126 |        6
669.80/669.91	c  669s |      21 |  1474536 |  1145945 |     8837    282 |     1126 |        6
671.79/671.94	c  671s |      21 |  1477582 |  1148545 |     8837    283 |     1126 |        6
673.79/673.99	c  673s |      21 |  1481270 |  1151345 |     8837    283 |     1126 |        6
675.89/676.03	c  675s |      21 |  1484787 |  1154045 |     8837    284 |     1126 |        6
678.29/678.48	c  678s |      21 |  1487458 |  1156245 |     8837    284 |     1126 |        6
680.39/680.53	c  680s |      21 |  1491578 |  1158845 |     8837    285 |     1126 |        6
682.38/682.59	c  682s |      21 |  1495842 |  1161545 |     8837    285 |     1126 |        6
684.48/684.63	c  684s |      21 |  1498426 |  1163345 |     8837    286 |     1126 |        6
686.48/686.64	c  686s |      21 |  1502485 |  1165745 |     8837    286 |     1126 |        6
688.59/688.71	c  688s |      21 |  1506199 |  1168045 |     8837    287 |     1126 |        6
690.58/690.79	c  690s |      21 |  1509387 |  1170045 |     8837    287 |     1126 |        6
692.68/692.82	c  692s |      21 |  1512260 |  1172245 |     8837    287 |     1126 |        6
694.68/694.85	c  694s |      21 |  1516029 |  1174845 |     8837    288 |     1126 |        6
696.78/696.92	c  696s |      21 |  1519321 |  1177245 |     8837    288 |     1126 |        6
698.78/698.98	c  698s |      21 |  1522746 |  1179645 |     8837    289 |     1126 |        6
700.88/701.00	c  700s |      21 |  1525783 |  1181945 |     8837    289 |     1126 |        6
702.89/703.03	c  702s |      21 |  1529302 |  1184345 |     8837    290 |     1126 |        6
704.88/705.08	c  704s |      21 |  1533210 |  1186845 |     8837    290 |     1126 |        6
706.98/707.14	c  707s |      21 |  1536426 |  1189045 |     8837    291 |     1126 |        6
709.08/709.21	c  709s |      21 |  1540265 |  1191745 |     8837    291 |     1126 |        6
711.08/711.24	c  711s |      21 |  1543712 |  1194145 |     8837    292 |     1126 |        6
713.18/713.30	c  713s |      21 |  1547324 |  1196245 |     8837    292 |     1126 |        6
715.18/715.32	c  715s |      21 |  1551474 |  1198845 |     8837    293 |     1126 |        6
717.28/717.40	c  717s |      21 |  1556051 |  1201845 |     8837    293 |     1126 |        6
719.28/719.44	c  719s |      21 |  1559887 |  1204445 |     8837    294 |     1126 |        6
721.38/721.56	c  721s |      21 |  1563223 |  1206645 |     8837    294 |     1126 |        6
723.48/723.66	c  723s |      21 |  1565924 |  1208545 |     8837    295 |     1126 |        6
725.48/725.68	c  725s |      21 |  1569787 |  1211145 |     8837    295 |     1126 |        6
727.58/727.74	c  727s |      21 |  1573446 |  1213545 |     8837    296 |     1126 |        6
729.58/729.76	c  729s |      21 |  1576582 |  1215945 |     8837    296 |     1126 |        6
731.57/731.79	c  731s |      21 |  1580465 |  1218445 |     8837    297 |     1126 |        6
733.68/733.85	c  733s |      21 |  1585337 |  1220945 |     8837    297 |     1126 |        6
735.78/735.91	c  735s |      21 |  1589835 |  1223545 |     8837    298 |     1126 |        6
737.77/737.91	c  737s |      21 |  1594287 |  1226245 |     8837    298 |     1126 |        6
739.77/739.93	c  739s |      21 |  1598972 |  1228745 |     8837    299 |     1126 |        6
741.87/742.01	c  741s |      21 |  1603204 |  1231145 |     8837    299 |     1126 |        6
743.87/744.02	c  743s |      21 |  1607299 |  1233545 |     8837    300 |     1126 |        6
745.87/746.02	c  745s |      21 |  1612136 |  1236345 |     8837    300 |     1126 |        6
747.88/748.09	c  747s |      21 |  1615922 |  1238445 |     8837    301 |     1126 |        6
749.97/750.14	c  750s |      21 |  1619640 |  1241045 |     8837    301 |     1126 |        6
751.97/752.18	c  752s |      21 |  1624379 |  1243845 |     8837    302 |     1126 |        6
754.07/754.21	c  754s |      21 |  1628439 |  1246745 |     8837    302 |     1126 |        6
756.07/756.27	c  756s |      21 |  1632459 |  1249145 |     8837    303 |     1126 |        6
758.17/758.31	c  758s |      21 |  1642412 |  1252145 |     8837    303 |     1126 |        6
760.17/760.34	c  760s |      21 |  1649429 |  1256545 |     8837    304 |     1126 |        6
762.18/762.38	c  762s |      21 |  1654017 |  1260445 |     8837    305 |     1126 |        6
764.17/764.39	c  764s |      21 |  1657576 |  1263545 |     8837    305 |     1126 |        6
766.28/766.42	c  766s |      21 |  1660536 |  1266145 |     8837    306 |     1126 |        6
768.38/768.50	c  768s |      21 |  1664536 |  1268945 |     8837    307 |     1126 |        6
770.37/770.56	c  770s |      21 |  1669763 |  1271945 |     8837    307 |     1126 |        6
772.37/772.58	c  772s |      21 |  1676135 |  1274845 |     8837    308 |     1126 |        6
774.47/774.62	c  774s |      21 |  1682188 |  1279945 |     8837    309 |     1126 |        6
776.48/776.65	c  776s |      21 |  1688890 |  1283545 |     8837    309 |     1126 |        6
778.57/778.71	c  778s |      21 |  1699885 |  1286945 |     8837    310 |     1126 |        6
780.57/780.74	c  780s |      21 |  1708657 |  1290545 |     8837    311 |     1126 |        6
782.57/782.75	c  782s |      21 |  1717440 |  1293245 |     8837    311 |     1126 |        6
784.57/784.76	c  784s |      21 |  1726499 |  1296245 |     8837    312 |     1126 |        6
786.67/786.81	c  786s |      21 |  1736083 |  1299445 |     8837    313 |     1126 |        6
788.77/788.96	c  788s |      21 |  1746350 |  1302545 |     8837    313 |     1126 |        6
790.78/790.97	c  790s |      21 |  1754821 |  1305445 |     8837    314 |     1126 |        6
792.87/793.02	c  792s |      21 |  1766519 |  1308345 |     8837    314 |     1126 |        6
794.87/795.03	c  794s |      21 |  1777241 |  1311245 |     8837    315 |     1126 |        6
796.87/797.04	c  796s |      21 |  1785625 |  1314445 |     8837    316 |     1126 |        6
798.87/799.07	c  798s |      21 |  1796708 |  1317545 |     8837    316 |     1126 |        6
800.87/801.07	c  800s |      21 |  1805707 |  1320545 |     8837    317 |     1126 |        6
802.98/803.11	c  802s |      21 |  1814286 |  1323745 |     8837    317 |     1126 |        6
804.97/805.11	c  804s |      21 |  1821112 |  1325945 |     8837    318 |     1126 |        6
806.97/807.14	c  807s |      21 |  1828063 |  1329545 |     8837    318 |     1126 |        6
809.07/809.20	c  809s |      21 |  1832076 |  1333045 |     8837    319 |     1126 |        6
811.07/811.27	c  811s |      21 |  1834770 |  1335545 |     8837    320 |     1126 |        6
813.17/813.31	c  813s |      21 |  1837866 |  1338445 |     8837    320 |     1126 |        6
815.17/815.34	c  815s |      21 |  1840675 |  1341145 |     8837    321 |     1126 |        6
817.17/817.39	c  817s |      21 |  1843474 |  1343845 |     8837    321 |     1126 |        6
819.26/819.42	c  819s |      21 |  1845450 |  1345745 |     8837    322 |     1126 |        6
821.36/821.50	c  821s |      21 |  1848202 |  1348445 |     8837    322 |     1126 |        6
824.16/824.30	c  824s |      21 |  1850471 |  1350645 |     8837    323 |     1126 |        6
826.16/826.33	c  826s |      21 |  1854525 |  1353945 |     8837    323 |     1126 |        6
828.17/828.40	c  828s |      21 |  1859611 |  1358045 |     8837    324 |     1126 |        6
830.26/830.42	c  830s |      21 |  1862571 |  1360445 |     8837    325 |     1126 |        6
832.26/832.43	c  832s |      21 |  1868556 |  1364745 |     8837    325 |     1126 |        6
834.26/834.43	c  834s |      21 |  1874541 |  1368545 |     8837    326 |     1126 |        6
836.26/836.45	c  836s |      21 |  1880815 |  1373345 |     8837    327 |     1126 |        6
838.26/838.48	c  838s |      21 |  1886993 |  1377645 |     8837    328 |     1126 |        6
840.26/840.49	c  840s |      21 |  1892335 |  1381645 |     8837    329 |     1126 |        6
842.36/842.54	c  842s |      21 |  1897555 |  1385845 |     8837    330 |     1126 |        6
844.36/844.55	c  844s |      21 |  1903135 |  1390045 |     8837    330 |     1126 |        6
846.36/846.59	c  846s |      21 |  1907427 |  1393445 |     8837    331 |     1126 |        6
848.46/848.63	c  848s |      21 |  1912082 |  1396845 |     8837    332 |     1126 |        6
850.46/850.66	c  850s |      21 |  1917472 |  1400845 |     8837    332 |     1126 |        6
852.47/852.69	c  852s |      21 |  1922799 |  1404545 |     8837    333 |     1126 |        6
854.57/854.71	c  854s |      21 |  1928730 |  1408545 |     8837    334 |     1126 |        6
856.56/856.74	c  856s |      21 |  1933742 |  1412445 |     8837    335 |     1126 |        6
858.56/858.77	c  858s |      21 |  1939395 |  1416445 |     8837    336 |     1126 |        6
860.86/861.02	c  860s |      21 |  1944817 |  1419945 |     8837    336 |     1126 |        6
862.86/863.09	c  862s |      21 |  1948993 |  1423745 |     8837    337 |     1126 |        6
864.96/865.12	c  864s |      21 |  1951616 |  1426045 |     8837    337 |     1126 |        6
866.96/867.14	c  867s |      21 |  1954644 |  1428745 |     8837    338 |     1126 |        6
868.96/869.19	c  869s |      21 |  1957953 |  1431745 |     8837    339 |     1126 |        6
871.06/871.26	c  871s |      21 |  1961943 |  1434345 |     8837    339 |     1126 |        6
873.06/873.27	c  873s |      21 |  1965992 |  1436745 |     8837    340 |     1126 |        6
875.16/875.32	c  875s |      21 |  1969823 |  1439045 |     8837    340 |     1126 |        6
877.15/877.35	c  877s |      21 |  1976151 |  1442745 |     8837    341 |     1126 |        6
879.15/879.37	c  879s |      21 |  1982701 |  1445945 |     8837    341 |     1126 |        6
881.25/881.43	c  881s |      21 |  1988522 |  1449245 |     8837    342 |     1126 |        6
883.26/883.44	c  883s |      21 |  1994464 |  1453745 |     8837    343 |     1126 |        6
885.36/885.53	c  885s |      21 |  1999252 |  1457045 |     8837    344 |     1126 |        6
887.35/887.57	c  887s |      21 |  2004633 |  1460845 |     8837    344 |     1126 |        6
889.35/889.58	c  889s |      21 |  2009935 |  1464645 |     8837    345 |     1126 |        6
891.45/891.61	c  891s |      21 |  2015410 |  1468545 |     8837    346 |     1126 |        6
893.45/893.67	c  893s |      21 |  2022086 |  1472645 |     8837    347 |     1126 |        6
895.55/895.71	c  895s |      21 |  2028440 |  1476745 |     8837    347 |     1126 |        6
897.55/897.72	c  897s |      21 |  2034247 |  1480945 |     8837    348 |     1126 |        6
899.55/899.74	c  899s |      21 |  2039951 |  1485045 |     8837    349 |     1126 |        6
901.55/901.74	c  901s |      21 |  2045201 |  1488845 |     8837    350 |     1126 |        6
903.55/903.79	c  903s |      21 |  2050922 |  1493045 |     9721    350 |     1126 |        6
905.65/905.80	c  905s |      21 |  2055937 |  1496845 |     9721    351 |     1126 |        6
907.65/907.86	c  907s |      21 |  2060659 |  1500245 |     9721    352 |     1126 |        6
907.95/908.12	c  907s |      22 |  2061174 |  1500622 |     9721    352 |     1126 |        6
909.95/910.16	c  910s |      22 |  2064708 |  1503422 |     9721    352 |     1126 |        6
911.95/912.19	c  912s |      22 |  2068561 |  1506222 |     9721    353 |     1126 |        6
914.05/914.23	c  914s |      22 |  2072268 |  1508922 |     9721    353 |     1126 |        6
916.04/916.24	c  916s |      22 |  2076140 |  1511322 |     9721    354 |     1126 |        6
918.04/918.29	c  918s |      22 |  2080329 |  1513922 |     9721    354 |     1126 |        6
920.14/920.31	c  920s |      22 |  2083983 |  1516222 |     9721    355 |     1126 |        6
922.14/922.32	c  922s |      22 |  2087135 |  1518322 |     9721    355 |     1126 |        6
924.14/924.33	c  924s |      22 |  2090852 |  1520722 |     9721    356 |     1126 |        6
926.24/926.40	c  926s |      22 |  2094902 |  1523422 |     9721    356 |     1126 |        6
928.25/928.43	c  928s |      22 |  2098182 |  1525522 |     9721    356 |     1126 |        6
930.24/930.45	c  930s |      22 |  2102199 |  1527922 |     9721    357 |     1126 |        6
932.35/932.53	c  932s |      22 |  2105424 |  1530122 |     9721    357 |     1126 |        6
934.35/934.59	c  934s |      22 |  2109147 |  1532722 |     9721    358 |     1126 |        6
936.45/936.62	c  936s |      22 |  2113045 |  1535322 |     9721    358 |     1126 |        6
938.45/938.67	c  938s |      22 |  2116845 |  1537822 |     9721    359 |     1126 |        6
940.46/940.68	c  940s |      22 |  2120386 |  1540222 |     9721    359 |     1126 |        6
942.56/942.75	c  942s |      22 |  2123062 |  1542222 |     9721    359 |     1126 |        6
944.55/944.76	c  944s |      22 |  2126816 |  1544622 |     9721    360 |     1126 |        6
946.55/946.78	c  946s |      22 |  2132250 |  1547322 |     9721    360 |     1126 |        6
948.65/948.85	c  948s |      22 |  2139846 |  1550322 |     9721    361 |     1126 |        6
950.75/950.92	c  950s |      22 |  2146936 |  1553522 |     9721    361 |     1126 |        6
952.85/953.02	c  952s |      22 |  2153494 |  1556722 |     9721    362 |     1126 |        6
954.85/955.03	c  954s |      22 |  2159695 |  1559422 |     9721    363 |     1126 |        6
956.85/957.03	c  956s |      22 |  2165711 |  1562322 |     9721    363 |     1126 |        6
959.05/959.24	c  959s |      22 |  2172300 |  1564822 |     9721    364 |     1126 |        6
961.05/961.29	c  961s |      22 |  2179642 |  1567522 |     9721    364 |     1126 |        6
963.15/963.34	c  963s |      22 |  2185854 |  1570122 |     9721    364 |     1126 |        6
965.24/965.40	c  965s |      22 |  2193286 |  1572822 |     9721    365 |     1126 |        6
967.34/967.57	c  967s |      22 |  2198772 |  1574922 |     9721    365 |     1126 |        6
969.44/969.61	c  969s |      22 |  2205185 |  1577522 |     9721    366 |     1126 |        6
971.44/971.62	c  971s |      22 |  2211249 |  1580022 |     9721    366 |     1126 |        6
973.45/973.66	c  973s |      22 |  2217430 |  1582422 |     9721    367 |     1126 |        6
975.55/975.73	c  975s |      22 |  2224326 |  1585322 |     9721    367 |     1126 |        6
977.54/977.74	c  977s |      22 |  2230197 |  1587722 |     9721    368 |     1126 |        6
979.54/979.78	c  979s |      22 |  2237550 |  1590322 |     9721    368 |     1126 |        6
981.64/981.80	c  981s |      22 |  2244057 |  1592922 |     9721    369 |     1126 |        6
983.64/983.84	c  983s |      22 |  2250335 |  1595622 |     9721    369 |     1126 |        6
985.64/985.85	c  985s |      22 |  2256888 |  1598422 |     9721    370 |     1126 |        6
987.65/987.88	c  987s |      22 |  2261600 |  1600122 |     9721    370 |     1126 |        6
989.74/989.92	c  989s |      22 |  2267444 |  1602622 |     9721    370 |     1126 |        6
991.74/991.96	c  991s |      22 |  2275404 |  1605922 |     9721    371 |     1126 |        6
993.84/994.02	c  993s |      22 |  2282512 |  1609122 |     9721    372 |     1126 |        6
995.84/996.06	c  995s |      22 |  2290168 |  1612222 |     9721    372 |     1126 |        6
997.84/998.09	c  997s |      22 |  2296690 |  1614922 |     9721    373 |     1126 |        6
999.94/1000.10	c  999s |      22 |  2303699 |  1618122 |     9721    373 |     1126 |        6
1001.94/1002.17	c 1002s |      22 |  2311080 |  1621122 |     9721    374 |     1126 |        6
1004.04/1004.22	c 1004s |      22 |  2316954 |  1623822 |     9721    374 |     1126 |        6
1006.04/1006.26	c 1006s |      22 |  2321037 |  1626022 |     9721    375 |     1126 |        6
1008.03/1008.28	c 1008s |      22 |  2324945 |  1628222 |     9721    375 |     1126 |        6
1010.13/1010.35	c 1010s |      22 |  2331008 |  1630822 |     9721    376 |     1126 |        6
1012.23/1012.40	c 1012s |      22 |  2338746 |  1634022 |     9721    376 |     1126 |        6
1014.23/1014.41	c 1014s |      22 |  2343968 |  1636922 |     9721    377 |     1126 |        6
1016.24/1016.47	c 1016s |      22 |  2351094 |  1639922 |     9721    377 |     1126 |        6
1018.33/1018.51	c 1018s |      22 |  2356149 |  1642422 |     9721    378 |     1126 |        6
1020.43/1020.61	c 1020s |      22 |  2362609 |  1645622 |     9721    378 |     1126 |        6
1022.43/1022.65	c 1022s |      22 |  2369517 |  1648622 |     9721    379 |     1126 |        6
1024.43/1024.69	c 1024s |      22 |  2376731 |  1651822 |     9721    379 |     1126 |        6
1026.53/1026.73	c 1026s |      22 |  2383743 |  1654822 |     9721    380 |     1126 |        6
1028.53/1028.76	c 1028s |      22 |  2390107 |  1658022 |     9721    380 |     1126 |        6
1030.64/1030.82	c 1030s |      22 |  2396950 |  1661422 |     9721    381 |     1126 |        6
1032.74/1032.93	c 1032s |      22 |  2403612 |  1664622 |     9721    382 |     1126 |        6
1034.83/1035.00	c 1034s |      22 |  2408843 |  1667122 |     9721    382 |     1126 |        6
1036.83/1037.01	c 1036s |      22 |  2413774 |  1669722 |     9721    383 |     1126 |        6
1038.83/1039.02	c 1038s |      22 |  2419988 |  1672722 |     9721    383 |     1126 |        6
1040.83/1041.03	c 1040s |      22 |  2425483 |  1674922 |     9721    384 |     1126 |        6
1042.83/1043.07	c 1042s |      22 |  2432631 |  1677922 |     9721    384 |     1126 |        6
1044.83/1045.10	c 1044s |      22 |  2438650 |  1680822 |     9721    385 |     1126 |        6
1046.93/1047.10	c 1046s |      22 |  2444337 |  1683922 |     9721    385 |     1126 |        6
1048.93/1049.11	c 1048s |      22 |  2449311 |  1686622 |     9721    386 |     1126 |        6
1050.93/1051.11	c 1050s |      22 |  2455511 |  1689922 |     9721    386 |     1126 |        6
1052.93/1053.11	c 1052s |      22 |  2460858 |  1693222 |     9721    387 |     1126 |        6
1054.93/1055.18	c 1055s |      22 |  2467392 |  1695922 |     9721    387 |     1126 |        6
1056.93/1057.18	c 1057s |      22 |  2473763 |  1698622 |     9721    388 |     1126 |        6
1059.03/1059.24	c 1059s |      22 |  2479604 |  1701822 |     9721    388 |     1126 |        6
1061.02/1061.25	c 1061s |      22 |  2483972 |  1705122 |     9721    389 |     1126 |        6
1063.02/1063.25	c 1063s |      22 |  2487768 |  1708322 |     9721    390 |     1126 |        6
1065.12/1065.30	c 1065s |      22 |  2491606 |  1711022 |     9721    390 |     1126 |        6
1067.12/1067.33	c 1067s |      22 |  2495994 |  1713922 |     9721    391 |     1126 |        6
1069.22/1069.40	c 1069s |      22 |  2500567 |  1716722 |     9721    391 |     1126 |        6
1071.23/1071.41	c 1071s |      22 |  2504356 |  1719422 |     9721    392 |     1126 |        6
1073.22/1073.41	c 1073s |      22 |  2508249 |  1722122 |     9721    392 |     1126 |        6
1075.22/1075.48	c 1075s |      22 |  2512266 |  1725122 |     9721    393 |     1126 |        6
1077.32/1077.51	c 1077s |      22 |  2516528 |  1727822 |     9721    393 |     1126 |        6
1079.32/1079.54	c 1079s |      22 |  2520339 |  1730322 |     9721    394 |     1126 |        6
1081.42/1081.60	c 1081s |      22 |  2524831 |  1733222 |     9721    394 |     1126 |        6
1083.43/1083.63	c 1083s |      22 |  2528466 |  1735922 |     9721    395 |     1126 |        6
1085.53/1085.71	c 1085s |      22 |  2531444 |  1738222 |     9721    395 |     1126 |        6
1087.52/1087.72	c 1087s |      22 |  2534696 |  1740622 |     9721    395 |     1126 |        6
1089.52/1089.79	c 1089s |      22 |  2539370 |  1743322 |     9721    396 |     1126 |        6
1091.62/1091.81	c 1091s |      22 |  2542293 |  1745522 |     9721    396 |     1126 |        6
1093.62/1093.85	c 1093s |      22 |  2544922 |  1747322 |     9721    397 |     1126 |        6
1095.72/1095.90	c 1095s |      22 |  2548947 |  1749822 |     9721    397 |     1126 |        6
1097.73/1097.92	c 1097s |      22 |  2552637 |  1751922 |     9721    398 |     1126 |        6
1099.72/1099.99	c 1099s |      22 |  2556138 |  1754322 |     9721    398 |     1126 |        6
1101.82/1102.08	c 1101s |      22 |  2559859 |  1756922 |     9721    398 |     1126 |        6
1103.92/1104.14	c 1104s |      22 |  2563353 |  1759122 |     9721    399 |     1126 |        6
1105.92/1106.17	c 1106s |      22 |  2567425 |  1761422 |     9721    399 |     1126 |        6
1107.92/1108.17	c 1108s |      22 |  2571621 |  1763822 |     9721    400 |     1126 |        6
1110.02/1110.22	c 1110s |      22 |  2575087 |  1766222 |     9721    400 |     1126 |        6
1112.02/1112.25	c 1112s |      22 |  2578703 |  1768322 |     9721    401 |     1126 |        6
1114.12/1114.32	c 1114s |      22 |  2581179 |  1770122 |     9721    401 |     1126 |        6
1116.12/1116.39	c 1116s |      22 |  2583988 |  1772222 |     9721    401 |     1126 |        6
1118.22/1118.44	c 1118s |      22 |  2586680 |  1773922 |     9721    402 |     1126 |        6
1120.31/1120.53	c 1120s |      22 |  2591160 |  1776122 |     9721    402 |     1126 |        6
1122.31/1122.55	c 1122s |      22 |  2595415 |  1778322 |     9721    402 |     1126 |        6
1124.41/1124.62	c 1124s |      22 |  2599031 |  1780722 |     9721    403 |     1126 |        6
1126.41/1126.64	c 1126s |      22 |  2602598 |  1782822 |     9721    403 |     1126 |        6
1128.42/1128.66	c 1128s |      22 |  2606402 |  1785422 |     9721    404 |     1126 |        6
1130.41/1130.68	c 1130s |      22 |  2610339 |  1787922 |     9721    404 |     1126 |        6
1132.51/1132.74	c 1132s |      22 |  2613668 |  1790222 |     9721    405 |     1126 |        6
1134.51/1134.75	c 1134s |      22 |  2616790 |  1792322 |     9721    405 |     1126 |        6
1136.51/1136.79	c 1136s |      22 |  2620256 |  1794722 |     9721    405 |     1126 |        6
1138.61/1138.88	c 1138s |      22 |  2623465 |  1796522 |     9721    406 |     1126 |        6
1140.71/1140.94	c 1140s |      22 |  2627054 |  1798922 |     9721    406 |     1126 |        6
1142.72/1142.97	c 1142s |      22 |  2629743 |  1800822 |     9721    406 |     1126 |        6
1144.81/1145.03	c 1144s |      22 |  2632512 |  1803022 |     9721    407 |     1126 |        6
1146.81/1147.05	c 1146s |      22 |  2634955 |  1804822 |     9721    407 |     1126 |        6
1148.81/1149.07	c 1148s |      22 |  2638752 |  1807122 |     9721    408 |     1126 |        6
1150.91/1151.10	c 1150s |      22 |  2642309 |  1809522 |     9721    408 |     1126 |        6
1152.91/1153.16	c 1153s |      22 |  2644664 |  1811422 |     9721    408 |     1126 |        6
1155.01/1155.23	c 1155s |      22 |  2647062 |  1813422 |     9721    409 |     1126 |        6
1157.02/1157.29	c 1157s |      22 |  2649753 |  1815522 |     9721    409 |     1126 |        6
1159.11/1159.35	c 1159s |      22 |  2653093 |  1817522 |     9721    409 |     1126 |        6
1161.11/1161.37	c 1161s |      22 |  2657577 |  1819522 |     9721    410 |     1126 |        6
1163.21/1163.44	c 1163s |      22 |  2661791 |  1821722 |     9721    410 |     1126 |        6
1165.21/1165.46	c 1165s |      22 |  2665180 |  1823922 |     9721    411 |     1126 |        6
1167.31/1167.52	c 1167s |      22 |  2668848 |  1826222 |     9721    411 |     1126 |        6
1169.31/1169.58	c 1169s |      22 |  2672460 |  1828422 |     9721    411 |     1126 |        6
1171.31/1171.58	c 1171s |      22 |  2676456 |  1830722 |     9721    412 |     1126 |        6
1173.31/1173.59	c 1173s |      22 |  2679896 |  1833022 |     9721    412 |     1126 |        6
1175.41/1175.63	c 1175s |      22 |  2683300 |  1835222 |     9721    413 |     1126 |        6
1178.11/1178.31	c 1178s |      22 |  2686814 |  1837322 |     9721    413 |     1126 |        6
1180.12/1180.33	c 1180s |      22 |  2689939 |  1838922 |     9721    413 |     1126 |        6
1182.11/1182.38	c 1182s |      22 |  2692501 |  1840722 |     9721    414 |     1126 |        6
1184.21/1184.45	c 1184s |      22 |  2696329 |  1843122 |     9721    414 |     1126 |        6
1186.21/1186.48	c 1186s |      22 |  2700295 |  1845522 |     9721    415 |     1126 |        6
1188.21/1188.50	c 1188s |      22 |  2704075 |  1848022 |     9721    415 |     1126 |        6
1190.31/1190.51	c 1190s |      22 |  2707589 |  1850322 |     9721    415 |     1126 |        6
1192.31/1192.52	c 1192s |      22 |  2710875 |  1852322 |     9721    416 |     1126 |        6
1194.31/1194.53	c 1194s |      22 |  2714184 |  1854522 |     9721    416 |     1126 |        6
1196.31/1196.54	c 1196s |      22 |  2716070 |  1855922 |     9721    416 |     1126 |        6
1198.30/1198.55	c 1198s |      22 |  2721357 |  1859622 |     9721    417 |     1126 |        6
1200.30/1200.57	c 1200s |      22 |  2726347 |  1862922 |     9721    418 |     1126 |        6
1202.30/1202.58	c 1202s |      22 |  2730480 |  1865822 |     9721    418 |     1126 |        6
1204.41/1204.67	c 1204s |      22 |  2733353 |  1868222 |     9721    419 |     1126 |        6
1206.40/1206.69	c 1206s |      22 |  2737565 |  1871022 |     9721    419 |     1126 |        6
1208.50/1208.76	c 1208s |      22 |  2742196 |  1873722 |     9721    420 |     1126 |        6
1210.60/1210.82	c 1210s |      22 |  2746249 |  1876422 |     9721    420 |     1126 |        6
1212.60/1212.88	c 1212s |      22 |  2749458 |  1878622 |     9721    421 |     1126 |        6
1214.70/1214.94	c 1214s |      22 |  2753684 |  1881222 |     9721    421 |     1126 |        6
1216.70/1216.97	c 1216s |      22 |  2757692 |  1883622 |     9721    422 |     1126 |        6
1218.71/1218.97	c 1218s |      22 |  2761603 |  1886322 |     9721    422 |     1126 |        6
1220.81/1221.01	c 1220s |      22 |  2765915 |  1888822 |     9721    422 |     1126 |        6
1222.80/1223.04	c 1222s |      22 |  2771311 |  1891622 |     9721    423 |     1126 |        6
1224.80/1225.09	c 1224s |      22 |  2776901 |  1894422 |     9721    423 |     1126 |        6
1226.80/1227.09	c 1226s |      22 |  2782468 |  1897022 |     9721    424 |     1126 |        6
1228.90/1229.14	c 1229s |      22 |  2787744 |  1899522 |     9721    424 |     1126 |        6
1230.90/1231.17	c 1231s |      22 |  2792655 |  1902222 |     9721    425 |     1126 |        6
1233.01/1233.25	c 1233s |      22 |  2797217 |  1904022 |     9721    425 |     1126 |        6
1235.11/1235.32	c 1235s |      22 |  2802819 |  1906422 |     9721    426 |     1126 |        6
1237.10/1237.37	c 1237s |      22 |  2808281 |  1908922 |     9721    426 |     1126 |        6
1239.10/1239.38	c 1239s |      22 |  2813816 |  1911722 |     9721    427 |     1126 |        6
1241.20/1241.43	c 1241s |      22 |  2820271 |  1914722 |     9721    427 |     1126 |        6
1243.30/1243.50	c 1243s |      22 |  2825110 |  1916822 |     9721    428 |     1126 |        6
1245.30/1245.56	c 1245s |      22 |  2831382 |  1919622 |     9721    428 |     1126 |        6
1247.40/1247.62	c 1247s |      22 |  2837247 |  1922022 |     9721    428 |     1126 |        6
1249.40/1249.70	c 1249s |      22 |  2842859 |  1924822 |     9721    429 |     1126 |        6
1251.50/1251.70	c 1251s |      22 |  2846969 |  1927422 |     9721    429 |     1126 |        6
1253.50/1253.73	c 1253s |      22 |  2852609 |  1930222 |     9721    430 |     1126 |        6
1255.50/1255.75	c 1255s |      22 |  2857439 |  1932522 |     9721    430 |     1126 |        6
1257.49/1257.77	c 1257s |      22 |  2862688 |  1934822 |     9721    431 |     1126 |        6
1259.49/1259.79	c 1259s |      22 |  2868176 |  1937222 |     9721    431 |     1126 |        6
1261.60/1261.83	c 1261s |      22 |  2874592 |  1940122 |     9721    432 |     1126 |        6
1263.59/1263.86	c 1263s |      22 |  2880548 |  1942822 |     9721    432 |     1126 |        6
1265.59/1265.89	c 1265s |      22 |  2885687 |  1945522 |     9721    433 |     1126 |        6
1267.69/1267.90	c 1267s |      22 |  2890057 |  1948522 |     9721    433 |     1126 |        6
1269.69/1269.97	c 1269s |      22 |  2895183 |  1951222 |     9721    434 |     1126 |        6
1271.79/1272.05	c 1271s |      22 |  2901112 |  1953922 |     9721    434 |     1126 |        6
1273.79/1274.09	c 1273s |      22 |  2905646 |  1956422 |     9721    435 |     1126 |        6
1275.90/1276.16	c 1276s |      22 |  2911772 |  1959122 |     9721    435 |     1126 |        6
1278.00/1278.20	c 1278s |      22 |  2917203 |  1961822 |     9721    436 |     1126 |        6
1280.00/1280.25	c 1280s |      22 |  2921036 |  1963522 |     9721    436 |     1126 |        6
1282.10/1282.30	c 1282s |      22 |  2925820 |  1965622 |     9721    436 |     1126 |        6
1284.10/1284.35	c 1284s |      22 |  2930629 |  1968322 |     9721    437 |     1126 |        6
1286.10/1286.36	c 1286s |      22 |  2937411 |  1971322 |     9721    437 |     1126 |        6
1288.10/1288.37	c 1288s |      22 |  2944442 |  1974322 |     9721    438 |     1126 |        6
1290.10/1290.38	c 1290s |      22 |  2950852 |  1977122 |     9721    439 |     1126 |        6
1292.09/1292.39	c 1292s |      22 |  2957185 |  1979922 |     9721    439 |     1126 |        6
1294.19/1294.42	c 1294s |      22 |  2964285 |  1983022 |     9721    440 |     1126 |        6
1296.19/1296.46	c 1296s |      22 |  2971321 |  1985822 |     9721    440 |     1126 |        6
1298.19/1298.49	c 1298s |      22 |  2977556 |  1988422 |     9721    441 |     1126 |        6
1300.29/1300.52	c 1300s |      22 |  2984419 |  1991322 |     9721    441 |     1126 |        6
1302.30/1302.58	c 1302s |      22 |  2991006 |  1994022 |     9721    442 |     1126 |        6
1304.40/1304.63	c 1304s |      22 |  2997991 |  1997122 |     9721    442 |     1126 |        6
1306.49/1306.70	c 1306s |      22 |  3003353 |  1999522 |     9721    443 |     1126 |        6
1308.49/1308.74	c 1308s |      22 |  3009695 |  2002322 |     9721    443 |     1126 |        6
1310.79/1311.00	c 1310s |      22 |  3015849 |  2004922 |     9721    444 |     1126 |        6
1312.79/1313.01	c 1312s |      22 |  3022324 |  2007822 |     9721    444 |     1126 |        6
1314.79/1315.08	c 1314s |      22 |  3028225 |  2010322 |     9721    445 |     1126 |        6
1316.89/1317.12	c 1317s |      22 |  3034947 |  2013222 |     9721    445 |     1126 |        6
1318.89/1319.17	c 1319s |      22 |  3041838 |  2016022 |     9721    446 |     1126 |        6
1320.99/1321.24	c 1321s |      22 |  3048905 |  2019422 |     9721    446 |     1126 |        6
1322.99/1323.27	c 1323s |      22 |  3055917 |  2022522 |     9721    447 |     1126 |        6
1325.09/1325.32	c 1325s |      22 |  3062138 |  2025822 |     9721    447 |     1126 |        6
1327.09/1327.37	c 1327s |      22 |  3067531 |  2028722 |     9721    448 |     1126 |        6
1329.19/1329.41	c 1329s |      22 |  3073819 |  2031122 |     9721    448 |     1126 |        6
1331.18/1331.44	c 1331s |      22 |  3080089 |  2033922 |     9721    449 |     1126 |        6
1333.18/1333.46	c 1333s |      22 |  3086375 |  2037022 |     9721    449 |     1126 |        6
1335.19/1335.47	c 1335s |      22 |  3093331 |  2040022 |     9721    450 |     1126 |        6
1337.28/1337.50	c 1337s |      22 |  3100373 |  2043122 |     9721    451 |     1126 |        6
1339.28/1339.51	c 1339s |      22 |  3105461 |  2045522 |     9721    451 |     1126 |        6
1341.28/1341.56	c 1341s |      22 |  3111971 |  2048522 |     9721    452 |     1126 |        6
1343.38/1343.62	c 1343s |      22 |  3120145 |  2051822 |     9721    452 |     1126 |        6
1345.38/1345.64	c 1345s |      22 |  3127070 |  2054622 |     9721    453 |     1126 |        6
1347.39/1347.68	c 1347s |      22 |  3133484 |  2057422 |     9721    453 |     1126 |        6
1349.49/1349.77	c 1349s |      22 |  3140577 |  2060422 |     9721    454 |     1126 |        6
1351.58/1351.80	c 1351s |      22 |  3147828 |  2063622 |     9721    454 |     1126 |        6
1353.58/1353.82	c 1353s |      22 |  3154734 |  2066522 |     9721    455 |     1126 |        6
1355.58/1355.83	c 1355s |      22 |  3161686 |  2069422 |     9721    455 |     1126 |        6
1357.68/1357.91	c 1357s |      22 |  3166262 |  2071422 |     9721    456 |     1126 |        6
1359.68/1359.96	c 1359s |      22 |  3173044 |  2074022 |     9721    456 |     1126 |        6
1361.78/1362.00	c 1361s |      22 |  3179073 |  2076522 |     9721    457 |     1126 |        6
1363.78/1364.04	c 1363s |      22 |  3186116 |  2079322 |     9721    457 |     1126 |        6
1365.78/1366.06	c 1365s |      22 |  3191761 |  2081722 |     9721    458 |     1126 |        6
1367.78/1368.09	c 1367s |      22 |  3198825 |  2084522 |     9721    458 |     1126 |        6
1369.98/1370.21	c 1370s |      22 |  3204706 |  2086922 |     9721    459 |     1126 |        6
1371.98/1372.28	c 1372s |      22 |  3211455 |  2089522 |     9721    459 |     1126 |        6
1374.08/1374.39	c 1374s |      22 |  3218706 |  2092322 |     9721    460 |     1126 |        6
1376.18/1376.45	c 1376s |      22 |  3226132 |  2095222 |     9721    460 |     1126 |        6
1378.19/1378.49	c 1378s |      22 |  3233079 |  2098122 |     9721    461 |     1126 |        6
1380.29/1380.51	c 1380s |      22 |  3239687 |  2100822 |     9721    461 |     1126 |        6
1382.28/1382.57	c 1382s |      22 |  3247255 |  2103922 |     9721    462 |     1126 |        6
1384.28/1384.59	c 1384s |      22 |  3255237 |  2107122 |     9721    462 |     1126 |        6
1386.38/1386.65	c 1386s |      22 |  3261894 |  2110022 |     9721    463 |     1126 |        6
1388.48/1388.70	c 1388s |      22 |  3267638 |  2112622 |     9721    463 |     1126 |        6
1390.48/1390.76	c 1390s |      22 |  3274110 |  2115822 |     9721    464 |     1126 |        6
1392.49/1392.76	c 1392s |      22 |  3280167 |  2118622 |     9721    464 |     1126 |        6
1394.59/1394.81	c 1394s |      22 |  3286328 |  2121422 |     9721    465 |     1126 |        6
1396.58/1396.85	c 1396s |      22 |  3293492 |  2124422 |     9721    465 |     1126 |        6
1398.58/1398.86	c 1398s |      22 |  3300602 |  2127422 |     9721    466 |     1126 |        6
1400.68/1400.90	c 1400s |      22 |  3306828 |  2130222 |     9721    466 |     1126 |        6
1402.68/1402.93	c 1402s |      22 |  3309757 |  2132222 |     9721    467 |     1126 |        6
1404.68/1404.95	c 1404s |      22 |  3313919 |  2134922 |     9721    467 |     1126 |        6
1406.69/1406.96	c 1406s |      22 |  3318147 |  2137822 |     9721    468 |     1126 |        6
1408.68/1408.99	c 1408s |      22 |  3324974 |  2140922 |     9721    468 |     1126 |        6
1410.78/1411.03	c 1410s |      22 |  3330763 |  2143722 |     9721    469 |     1126 |        6
1412.78/1413.06	c 1412s |      22 |  3336742 |  2146322 |     9721    469 |     1126 |        6
1414.78/1415.07	c 1414s |      22 |  3343074 |  2149122 |     9721    470 |     1126 |        6
1416.88/1417.15	c 1417s |      22 |  3349792 |  2152222 |     9721    470 |     1126 |        6
1418.98/1419.21	c 1419s |      22 |  3356491 |  2155422 |     9721    471 |     1126 |        6
1420.98/1421.29	c 1421s |      22 |  3361153 |  2157922 |     9721    471 |     1126 |        6
1423.08/1423.31	c 1423s |      22 |  3366803 |  2160722 |     9721    472 |     1126 |        6
1425.07/1425.32	c 1425s |      22 |  3371540 |  2162822 |     9721    472 |     1126 |        6
1427.07/1427.36	c 1427s |      22 |  3377958 |  2165722 |     9721    473 |     1126 |        6
1429.17/1429.41	c 1429s |      22 |  3384773 |  2168822 |     9721    473 |     1126 |        6
1431.17/1431.45	c 1431s |      22 |  3391517 |  2172022 |     9721    474 |     1126 |        6
1433.27/1433.55	c 1433s |      22 |  3397909 |  2174722 |     9721    474 |     1126 |        6
1435.28/1435.56	c 1435s |      22 |  3404825 |  2177622 |     9721    475 |     1126 |        6
1437.37/1437.62	c 1437s |      22 |  3411460 |  2180522 |     9721    476 |     1126 |        6
1439.37/1439.63	c 1439s |      22 |  3417005 |  2183222 |     9721    476 |     1126 |        6
1441.47/1441.76	c 1441s |      22 |  3422802 |  2185722 |     9721    477 |     1126 |        6
1443.47/1443.79	c 1443s |      22 |  3430699 |  2188822 |     9721    477 |     1126 |        6
1445.57/1445.85	c 1445s |      22 |  3438255 |  2191822 |     9721    478 |     1126 |        6
1447.57/1447.87	c 1447s |      22 |  3445904 |  2194822 |     9721    478 |     1126 |        6
1449.68/1449.90	c 1449s |      22 |  3451689 |  2197222 |     9721    479 |     1126 |        6
1451.67/1451.92	c 1451s |      22 |  3458249 |  2199622 |     9721    479 |     1126 |        6
1453.67/1453.92	c 1453s |      22 |  3463633 |  2201722 |     9721    479 |     1126 |        6
1455.67/1455.99	c 1455s |      22 |  3469547 |  2204122 |     9721    480 |     1126 |        6
1457.77/1458.01	c 1457s |      22 |  3475674 |  2206722 |     9721    480 |     1126 |        6
1459.77/1460.09	c 1459s |      22 |  3482224 |  2209222 |     9721    481 |     1126 |        6
1461.87/1462.17	c 1462s |      22 |  3488151 |  2211822 |     9721    481 |     1126 |        6
1463.87/1464.18	c 1464s |      22 |  3494687 |  2214422 |     9721    482 |     1126 |        6
1465.87/1466.19	c 1466s |      22 |  3500135 |  2216822 |     9721    482 |     1126 |        6
1467.97/1468.23	c 1468s |      22 |  3506679 |  2219622 |     9721    483 |     1126 |        6
1470.07/1470.33	c 1470s |      22 |  3513723 |  2222822 |     9721    483 |     1126 |        6
1472.07/1472.33	c 1472s |      22 |  3520069 |  2225722 |     9721    484 |     1126 |        6
1474.07/1474.35	c 1474s |      22 |  3528057 |  2228922 |     9721    484 |     1126 |        6
1476.17/1476.43	c 1476s |      22 |  3535529 |  2231922 |     9721    485 |     1126 |        6
1478.17/1478.49	c 1478s |      22 |  3539945 |  2233922 |     9721    485 |     1126 |        6
1480.26/1480.53	c 1480s |      22 |  3545560 |  2236422 |    10694    486 |     1126 |        6
1482.26/1482.57	c 1482s |      22 |  3552918 |  2239422 |    10694    486 |     1126 |        6
1484.36/1484.66	c 1484s |      22 |  3558565 |  2242222 |    10694    487 |     1126 |        6
1486.46/1486.73	c 1486s |      22 |  3565079 |  2245222 |    10694    487 |     1126 |        6
1488.56/1488.80	c 1488s |      22 |  3570908 |  2247922 |    10694    487 |     1126 |        6
1490.56/1490.82	c 1490s |      22 |  3577219 |  2250222 |    10694    488 |     1126 |        6
1491.16/1491.47	c 1491s |      23 |  3579260 |  2251038 |    10694    488 |     1126 |        6
1493.36/1493.69	c 1493s |      23 |  3582797 |  2252738 |    10694    488 |     1126 |        6
1495.77/1496.04	c 1495s |      23 |  3583864 |  2253338 |    10694    488 |     1126 |        6
1497.97/1498.24	c 1498s |      23 |  3584943 |  2253938 |    10694    488 |     1126 |        6
1500.17/1500.43	c 1500s |      23 |  3586611 |  2254538 |    10694    488 |     1126 |        6
1502.56/1502.80	c 1502s |      23 |  3587572 |  2255138 |    10694    488 |     1126 |        6
1504.76/1505.03	c 1504s |      23 |  3588449 |  2255738 |    10694    489 |     1126 |        6
1506.96/1507.21	c 1507s |      23 |  3589321 |  2256338 |    10694    489 |     1126 |        6
1509.26/1509.50	c 1509s |      23 |  3590234 |  2256938 |    10694    489 |     1126 |        6
1511.36/1511.62	c 1511s |      23 |  3591224 |  2257538 |    10694    489 |     1126 |        6
1513.66/1513.94	c 1513s |      23 |  3592466 |  2258138 |    10694    489 |     1126 |        6
1515.96/1516.24	c 1516s |      23 |  3592974 |  2258638 |    10694    489 |     1126 |        6
1518.06/1518.39	c 1518s |      23 |  3593674 |  2259138 |    10694    489 |     1126 |        6
1520.36/1520.68	c 1520s |      23 |  3594605 |  2259738 |    10694    489 |     1126 |        6
1522.46/1522.76	c 1522s |      23 |  3595490 |  2260238 |    10694    489 |     1126 |        6
1524.56/1524.86	c 1524s |      23 |  3596191 |  2260738 |    10694    489 |     1126 |        6
1526.66/1526.98	c 1526s |      23 |  3597005 |  2261238 |    10694    489 |     1126 |        6
1528.86/1529.17	c 1529s |      23 |  3597761 |  2261738 |    10694    489 |     1126 |        6
1530.96/1531.28	c 1531s |      23 |  3598496 |  2262238 |    10694    489 |     1126 |        6
1533.26/1533.57	c 1533s |      23 |  3599153 |  2262738 |    10694    490 |     1126 |        6
1535.36/1535.61	c 1535s |      23 |  3599890 |  2263238 |    10694    490 |     1126 |        6
1537.75/1538.01	c 1537s |      23 |  3600715 |  2263738 |    10694    490 |     1126 |        6
1539.95/1540.24	c 1540s |      23 |  3601472 |  2264238 |    10694    490 |     1126 |        6
1542.06/1542.31	c 1542s |      23 |  3602842 |  2264738 |    10694    490 |     1126 |        6
1544.35/1544.65	c 1544s |      23 |  3603721 |  2265338 |    10694    490 |     1126 |        6
1546.36/1546.65	c 1546s |      23 |  3604133 |  2265738 |    10694    490 |     1126 |        6
1548.66/1548.98	c 1548s |      23 |  3604617 |  2266238 |    10694    490 |     1126 |        6
1550.95/1551.26	c 1551s |      23 |  3605136 |  2266738 |    10694    490 |     1126 |        6
1553.15/1553.40	c 1553s |      23 |  3605643 |  2267238 |    10694    490 |     1126 |        6
1555.35/1555.65	c 1555s |      23 |  3606510 |  2267738 |    10694    490 |     1126 |        6
1557.46/1557.71	c 1557s |      23 |  3607355 |  2268238 |    10694    490 |     1126 |        6
1559.85/1560.17	c 1560s |      23 |  3608718 |  2268838 |    10694    490 |     1126 |        6
1562.05/1562.36	c 1562s |      23 |  3609445 |  2269238 |    10694    491 |     1126 |        6
1564.25/1564.52	c 1564s |      23 |  3610395 |  2269738 |    10694    491 |     1126 |        6
1566.55/1566.89	c 1566s |      23 |  3611228 |  2270338 |    10694    491 |     1126 |        6
1568.95/1569.24	c 1569s |      23 |  3612278 |  2270938 |    10694    491 |     1126 |        6
1571.34/1571.66	c 1571s |      23 |  3612940 |  2271538 |    10694    491 |     1126 |        6
1573.85/1574.14	c 1574s |      23 |  3613658 |  2272038 |    10694    491 |     1126 |        6
1576.15/1576.44	c 1576s |      23 |  3614537 |  2272638 |    10694    491 |     1126 |        6
1578.35/1578.64	c 1578s |      23 |  3615140 |  2273138 |    10694    491 |     1126 |        6
1580.45/1580.80	c 1580s |      23 |  3615934 |  2273638 |    10694    491 |     1126 |        6
1582.84/1583.18	c 1583s |      23 |  3616487 |  2274138 |    10694    491 |     1126 |        6
1585.14/1585.43	c 1585s |      23 |  3617312 |  2274738 |    10694    491 |     1126 |        6
1587.33/1587.68	c 1587s |      23 |  3617882 |  2275238 |    10694    491 |     1126 |        6
1589.63/1589.90	c 1589s |      23 |  3618666 |  2275738 |    10694    491 |     1126 |        6
1591.73/1592.01	c 1591s |      23 |  3619506 |  2276138 |    10694    492 |     1126 |        6
1593.74/1594.09	c 1593s |      23 |  3620276 |  2276638 |    10694    492 |     1126 |        6
1596.13/1596.48	c 1596s |      23 |  3621368 |  2277238 |    10694    492 |     1126 |        6
1598.14/1598.48	c 1598s |      23 |  3622271 |  2277738 |    10694    492 |     1126 |        6
1600.52/1600.88	c 1600s |      23 |  3623170 |  2278338 |    10694    492 |     1126 |        6
1602.62/1602.93	c 1602s |      23 |  3623869 |  2278838 |    10694    492 |     1126 |        6
1604.63/1604.97	c 1604s |      23 |  3624731 |  2279338 |    10694    492 |     1126 |        6
1606.62/1606.98	c 1606s |      23 |  3625281 |  2279838 |    10694    492 |     1126 |        6
1608.92/1609.22	c 1609s |      23 |  3626167 |  2280438 |    10694    492 |     1126 |        6
1611.82/1612.18	c 1612s |      23 |  3627336 |  2281038 |    10694    492 |     1126 |        6
1614.12/1614.44	c 1614s |      23 |  3628764 |  2281638 |    10694    492 |     1126 |        6
1616.22/1616.53	c 1616s |      23 |  3630407 |  2282138 |    10694    492 |     1126 |        6
1618.93/1619.29	c 1619s |      23 |  3631811 |  2282738 |    10694    493 |     1126 |        6
1620.92/1621.29	c 1621s |      23 |  3632877 |  2283238 |    10694    493 |     1126 |        6
1623.32/1623.66	c 1623s |      23 |  3634475 |  2283838 |    10694    493 |     1126 |        6
1625.52/1625.82	c 1625s |      23 |  3635958 |  2284338 |    10694    493 |     1126 |        6
1627.52/1627.85	c 1627s |      23 |  3636723 |  2284638 |    10694    493 |     1126 |        6
1629.82/1630.16	c 1630s |      23 |  3638166 |  2285238 |    10694    493 |     1126 |        6
1632.13/1632.41	c 1632s |      23 |  3639539 |  2285738 |    10694    493 |     1126 |        6
1634.43/1634.71	c 1634s |      23 |  3641394 |  2286238 |    10694    493 |     1126 |        6
1636.63/1636.92	c 1636s |      23 |  3642315 |  2286838 |    10694    493 |     1126 |        6
1638.82/1639.11	c 1638s |      23 |  3643030 |  2287438 |    10694    493 |     1126 |        6
1640.81/1641.12	c 1640s |      23 |  3643792 |  2287938 |    10694    493 |     1126 |        6
1643.01/1643.32	c 1643s |      23 |  3644808 |  2288438 |    10694    493 |     1126 |        6
1645.32/1645.68	c 1645s |      23 |  3646787 |  2288938 |    10694    493 |     1126 |        6
1647.41/1647.72	c 1647s |      23 |  3647641 |  2289438 |    10694    493 |     1126 |        6
1649.51/1649.81	c 1649s |      23 |  3648718 |  2289838 |    10694    494 |     1126 |        6
1651.51/1651.83	c 1651s |      23 |  3650167 |  2290238 |    10694    494 |     1126 |        6
1653.81/1654.14	c 1654s |      23 |  3651595 |  2290838 |    10694    494 |     1126 |        6
1655.91/1656.29	c 1656s |      23 |  3653374 |  2291338 |    10694    494 |     1126 |        6
1658.11/1658.47	c 1658s |      23 |  3654248 |  2291938 |    10694    494 |     1126 |        6
1660.31/1660.61	c 1660s |      23 |  3654809 |  2292438 |    10694    494 |     1126 |        6
1662.60/1662.92	c 1662s |      23 |  3655884 |  2293038 |    10694    494 |     1126 |        6
1664.90/1665.27	c 1665s |      23 |  3657097 |  2293638 |    10694    494 |     1126 |        6
1667.20/1667.53	c 1667s |      23 |  3658017 |  2294238 |    10694    494 |     1126 |        6
1669.51/1669.86	c 1669s |      23 |  3659506 |  2294738 |    10694    494 |     1126 |        6
1671.90/1672.21	c 1672s |      23 |  3661315 |  2295238 |    10694    494 |     1126 |        6
1673.90/1674.25	c 1674s |      23 |  3662317 |  2295738 |    10694    494 |     1126 |        6
1676.20/1676.52	c 1676s |      23 |  3663188 |  2296238 |    10694    495 |     1126 |        6
1678.20/1678.54	c 1678s |      23 |  3663993 |  2296738 |    10694    495 |     1126 |        6
1680.60/1680.98	c 1680s |      23 |  3664830 |  2297338 |    10694    495 |     1126 |        6
1682.99/1683.32	c 1683s |      23 |  3665629 |  2297838 |    10694    495 |     1126 |        6
1685.49/1685.85	c 1685s |      23 |  3666420 |  2298438 |    10694    495 |     1126 |        6
1687.59/1687.94	c 1687s |      23 |  3667480 |  2298938 |    10694    495 |     1126 |        6
1689.79/1690.14	c 1690s |      23 |  3668116 |  2299438 |    10694    495 |     1126 |        6
1691.89/1692.28	c 1692s |      23 |  3668889 |  2299938 |    10694    495 |     1126 |        6
1693.99/1694.39	c 1694s |      23 |  3669738 |  2300438 |    10694    495 |     1126 |        6
1696.09/1696.48	c 1696s |      23 |  3670591 |  2300938 |    10694    495 |     1126 |        6
1698.19/1698.52	c 1698s |      23 |  3671425 |  2301438 |    10694    495 |     1126 |        6
1700.29/1700.66	c 1700s |      23 |  3672067 |  2301938 |    10694    495 |     1126 |        6
1702.28/1702.67	c 1702s |      23 |  3673299 |  2302338 |    10694    495 |     1126 |        6
1704.69/1705.03	c 1704s |      23 |  3674626 |  2302838 |    10694    495 |     1126 |        6
1706.89/1707.21	c 1707s |      23 |  3675607 |  2303238 |    10694    496 |     1126 |        6
1708.98/1709.30	c 1709s |      23 |  3676568 |  2303738 |    10694    496 |     1126 |        6
1711.17/1711.53	c 1711s |      23 |  3677395 |  2304338 |    10694    496 |     1126 |        6
1713.48/1713.84	c 1713s |      23 |  3678256 |  2304938 |    10694    496 |     1126 |        6
1715.87/1716.23	c 1716s |      23 |  3679096 |  2305538 |    10694    496 |     1126 |        6
1717.88/1718.28	c 1718s |      23 |  3679525 |  2305938 |    10694    496 |     1126 |        6
1719.97/1720.31	c 1720s |      23 |  3679927 |  2306338 |    10694    496 |     1126 |        6
1722.07/1722.40	c 1722s |      23 |  3680334 |  2306738 |    10694    496 |     1126 |        6
1724.47/1724.82	c 1724s |      23 |  3680730 |  2307138 |    10694    496 |     1126 |        6
1726.86/1727.24	c 1727s |      23 |  3681587 |  2307638 |    10694    496 |     1126 |        6
1729.06/1729.42	c 1729s |      23 |  3682417 |  2308138 |    10694    496 |     1126 |        6
1731.26/1731.62	c 1731s |      23 |  3683303 |  2308638 |    10694    496 |     1126 |        6
1733.66/1734.04	c 1733s |      23 |  3684305 |  2309138 |    10694    496 |     1126 |        6
1736.06/1736.44	c 1736s |      23 |  3685208 |  2309638 |    10694    496 |     1126 |        6
1738.26/1738.70	c 1738s |      23 |  3685793 |  2310138 |    10694    497 |     1126 |        6
1740.46/1740.88	c 1740s |      23 |  3686582 |  2310638 |    10694    497 |     1126 |        6
1742.95/1743.33	c 1743s |      23 |  3687544 |  2311238 |    10694    497 |     1126 |        6
1745.36/1745.75	c 1745s |      23 |  3688442 |  2311838 |    10694    497 |     1126 |        6
1747.45/1747.82	c 1747s |      23 |  3689130 |  2312338 |    10694    497 |     1126 |        6
1749.65/1750.09	c 1749s |      23 |  3689894 |  2312838 |    10694    497 |     1126 |        6
1751.85/1752.21	c 1752s |      23 |  3690717 |  2313338 |    10694    497 |     1126 |        6
1753.85/1754.29	c 1754s |      23 |  3691449 |  2313838 |    10694    497 |     1126 |        6
1756.25/1756.62	c 1756s |      23 |  3692194 |  2314438 |    10694    497 |     1126 |        6
1758.35/1758.75	c 1758s |      23 |  3693029 |  2314938 |    10694    497 |     1126 |        6
1760.75/1761.12	c 1761s |      23 |  3693746 |  2315438 |    10694    497 |     1126 |        6
1763.24/1763.60	c 1763s |      23 |  3694253 |  2315938 |    10694    497 |     1126 |        6
1765.34/1765.70	c 1765s |      23 |  3694648 |  2316338 |    10694    497 |     1126 |        6
1767.55/1767.96	c 1767s |      23 |  3695054 |  2316738 |    10694    498 |     1126 |        6
1769.85/1770.21	c 1770s |      23 |  3695556 |  2317238 |    10694    498 |     1126 |        6
1772.15/1772.59	c 1772s |      23 |  3696064 |  2317738 |    10694    498 |     1126 |        6
1774.65/1775.08	c 1774s |      23 |  3696563 |  2318238 |    10694    498 |     1126 |        6
1776.75/1777.10	c 1776s |      23 |  3696963 |  2318638 |    10694    498 |     1126 |        6
1779.05/1779.47	c 1779s |      23 |  3697484 |  2319138 |    10694    498 |     1126 |        6
1781.15/1781.50	c 1781s |      23 |  3697887 |  2319538 |    10694    498 |     1126 |        6
1783.24/1783.61	c 1783s |      23 |  3698429 |  2319938 |    10694    498 |     1126 |        6
1785.34/1785.70	c 1785s |      23 |  3698831 |  2320338 |    10694    498 |     1126 |        6
1787.44/1787.87	c 1787s |      23 |  3699259 |  2320738 |    10694    498 |     1126 |        6
1789.54/1789.96	c 1789s |      23 |  3699660 |  2321138 |    10694    498 |     1126 |        6
1791.84/1792.26	c 1792s |      23 |  3700056 |  2321538 |    10694    498 |     1126 |        6
1793.94/1794.39	c 1794s |      23 |  3700656 |  2321938 |    10694    498 |     1126 |        6
1796.24/1796.69	c 1796s |      23 |  3701213 |  2322338 |    10694    498 |     1126 |        6
1798.64/1799.08	c 1798s |      23 |  3702566 |  2322738 |    10694    498 |     1126 |        6

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-4101153-1466220809/watcher-4101153-1466220809 -o /tmp/evaluation-result-4101153-1466220809/solver-4101153-1466220809 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101153-1466220809.opb 

pid=19245
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.21 2.24 2.24 3/179 19248
/proc/meminfo: memFree=27563564/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=639420 CPUtime=0 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 2368 0 0 0 0 0 0 0 20 0 4 0 24126448 654766080 2729 33554432000 4194304 16246674 140736569932048 140736569931472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 160367 2739 441 2943 0 157261 0
[pid=19248/tid=19249] ppid=19245 vsize=656828 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 672591872 2801 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 677834752 2819 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=666044 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24126448 682029056 2836 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.21 2.24 2.24 3/179 19248
/proc/meminfo: memFree=27563564/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 25898 0 0 0 5 3 0 0 20 0 4 0 24126448 1249447936 26198 33554432000 4194304 16246674 140736569932048 140736569931360 13191557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 305041 26207 836 2943 0 301935 0
[pid=19248/tid=19249] ppid=19245 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1249447936 26213 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1249447936 26220 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24126448 1249447936 26230 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200497 s]
/proc/loadavg: 2.21 2.24 2.24 3/179 19248
/proc/meminfo: memFree=27563564/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1297988 CPUtime=0.19 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 38010 0 0 0 14 5 0 0 20 0 4 0 24126448 1329139712 38309 33554432000 4194304 16246674 140736569932048 140736569931360 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 324497 38315 887 2943 0 321391 0
[pid=19248/tid=19249] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 38320 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 38323 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 38327 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1297988

[startup+0.300468 s]
/proc/loadavg: 2.21 2.24 2.24 3/179 19248
/proc/meminfo: memFree=27563564/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1297988 CPUtime=0.28 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 46364 0 0 0 22 6 0 0 20 0 4 0 24126448 1329139712 46663 33554432000 4194304 16246674 140736569932048 140736569913920 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 324497 46663 887 2943 0 321391 0
[pid=19248/tid=19249] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 46663 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 46663 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 46663 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1297988

[startup+0.700392 s]
/proc/loadavg: 2.21 2.24 2.24 3/179 19248
/proc/meminfo: memFree=27563564/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1297988 CPUtime=0.68 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 77953 0 0 0 58 10 0 0 20 0 4 0 24126448 1329139712 78252 33554432000 4194304 16246674 140736569932048 140736569913920 5828874 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 324497 78257 888 2943 0 321391 0
[pid=19248/tid=19249] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 78259 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 78263 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 78266 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1297988

[startup+1.50039 s]
/proc/loadavg: 2.21 2.24 2.24 3/183 19252
/proc/meminfo: memFree=27068824/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1297988 CPUtime=1.49 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 168528 0 0 0 126 23 0 0 20 0 4 0 24126448 1329139712 168827 33554432000 4194304 16246674 140736569932048 140736569913920 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 324497 168831 888 2943 0 321391 0
[pid=19248/tid=19249] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 168836 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 168841 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1297988 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1329139712 168845 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1297988

[startup+3.10039 s]
/proc/loadavg: 2.21 2.24 2.24 3/183 19252
/proc/meminfo: memFree=26583428/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 267992 0 0 0 271 38 0 0 20 0 4 0 24126448 1338576896 268291 33554432000 4194304 16246674 140736569932048 140736569913920 6010464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 326801 268291 896 2943 0 323695 0
[pid=19248/tid=19249] ppid=19245 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1338576896 268291 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1338576896 268291 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1338576896 268291 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.19 2.24 2.24 3/183 19252
/proc/meminfo: memFree=26491060/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 268130 0 0 0 591 38 0 0 20 0 4 0 24126448 1339625472 268429 33554432000 4194304 16246674 140736569932048 140736569913920 5712600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 327057 268429 898 2943 0 323951 0
[pid=19248/tid=19249] ppid=19245 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1339625472 268429 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1339625472 268429 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1339625472 268429 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.26 2.25 2.24 4/183 19252
/proc/meminfo: memFree=26486540/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 269225 0 0 0 1231 38 0 0 20 0 4 0 24126448 1343819776 269524 33554432000 4194304 16246674 140736569932048 140736569913920 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 328081 269524 898 2943 0 324975 0
[pid=19248/tid=19249] ppid=19245 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1343819776 269524 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1343819776 269524 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1343819776 269524 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.27 2.25 2.24 4/183 19252
/proc/meminfo: memFree=26484448/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 269787 0 0 0 2510 38 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140736569913920 5661050 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 328593 270086 899 2943 0 325487 0
[pid=19248/tid=19249] ppid=19245 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.29 2.26 2.25 4/183 19252
/proc/meminfo: memFree=26484452/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 269787 0 0 0 5070 38 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140736569913920 5600754 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 328593 270086 899 2943 0 325487 0
[pid=19248/tid=19249] ppid=19245 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1345916928 270086 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1314372

[startup+102.3 s]
/proc/loadavg: 2.35 2.28 2.25 4/183 19254
/proc/meminfo: memFree=26475520/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1322564 CPUtime=102.28 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 271835 0 0 0 10189 39 0 0 20 0 4 0 24126448 1354305536 272134 33554432000 4194304 16246674 140736569932048 140736569915048 5661917 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 330641 272134 899 2943 0 327535 0
[pid=19248/tid=19249] ppid=19245 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1354305536 272134 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1354305536 272134 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1354305536 272134 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1338948

[startup+1302.3 s]
/proc/loadavg: 2.16 2.18 2.20 3/183 19284
/proc/meminfo: memFree=24186436/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1338948 CPUtime=1302.09 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 275932 0 0 0 130158 51 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140736569913920 5824795 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 334737 276231 900 2943 0 331631 0
[pid=19248/tid=19249] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.27 2.20 2.20 4/183 19285
/proc/meminfo: memFree=24068292/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1338948 CPUtime=1362.08 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 275932 0 0 0 136157 51 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140736569913920 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 334737 276231 900 2943 0 331631 0
[pid=19248/tid=19249] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276231 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.29 2.22 2.20 3/183 19286
/proc/meminfo: memFree=23832964/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1338948 CPUtime=1422.08 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 275933 0 0 0 142156 52 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140736569913920 4220807 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 334737 276232 901 2943 0 331631 0
[pid=19248/tid=19249] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.34 2.24 2.21 3/183 19287
/proc/meminfo: memFree=23770504/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1338948 CPUtime=1482.06 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 275933 0 0 0 148154 52 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140736569913920 5603204 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 334737 276232 901 2943 0 331631 0
[pid=19248/tid=19249] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1371082752 276232 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.16 2.21 2.20 3/183 19337
/proc/meminfo: memFree=27187028/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1344068 CPUtime=1542.06 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 277216 0 0 0 154154 52 0 0 20 0 4 0 24126448 1376325632 277515 33554432000 4194304 16246674 140736569932048 140736569913920 5711355 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 336017 277515 901 2943 0 332911 0
[pid=19248/tid=19249] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277515 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277515 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277515 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1344068

[startup+1602.3 s]
/proc/loadavg: 2.26 2.23 2.20 4/183 19341
/proc/meminfo: memFree=26452444/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1344068 CPUtime=1602.02 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 277240 0 0 0 160150 52 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140736569913920 5711439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 336017 277771 901 2943 0 332911 0
[pid=19248/tid=19249] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1344068

[startup+1662.3 s]
/proc/loadavg: 2.20 2.21 2.19 3/184 19366
/proc/meminfo: memFree=26444016/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1344068 CPUtime=1662 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 277278 0 0 0 166147 53 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140736569913920 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 336017 277771 901 2943 0 332911 0
[pid=19248/tid=19249] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1344068

[startup+1722.3 s]
/proc/loadavg: 2.38 2.26 2.21 3/183 19367
/proc/meminfo: memFree=26441956/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1344068 CPUtime=1721.97 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 277311 0 0 0 172144 53 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140736569913920 12415743 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 336017 277771 901 2943 0 332911 0
[pid=19248/tid=19249] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1344068

[startup+1782.3 s]
/proc/loadavg: 2.29 2.26 2.21 3/183 19368
/proc/meminfo: memFree=26430596/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1344068 CPUtime=1781.95 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 277344 0 0 0 178141 54 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140736569931144 5711680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 336017 277771 901 2943 0 332911 0
[pid=19248/tid=19249] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1344068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.24 2.20 3/183 19368
/proc/meminfo: memFree=26430956/32872528 swapFree=1459628/1655852
[pid=19248] ppid=19245 vsize=1344068 CPUtime=1800.04 cores=0,2,4,6
/proc/19248/stat : 19248 (toysat) R 19245 19248 16189 0 -1 4202496 277352 0 0 0 179950 54 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140736569913920 13774452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 336017 277771 901 2943 0 332911 0
[pid=19248/tid=19249] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19249/stat : 19249 (toysat) S 19245 19248 16189 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502400740592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19250] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (toysat) S 19245 19248 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502390250736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19245 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (toysat) S 19245 19248 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24126448 1376325632 277771 33554432000 4194304 16246674 140736569932048 140502271782064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1344068

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 19248 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.45
CPU time (s): 1800.08
CPU user time (s): 1799.51
CPU system time (s): 0.569913
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1344068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.569913
maximum resident set size= 1111084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277352
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= 151
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43633 second user time and 7.07392 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 05:33:29
IDJOB=4101153
IDBENCH=1707
IDSOLVER=2542
FILE ID=node136/4101153-1466220809
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101153-1466220809/watcher-4101153-1466220809 -o /tmp/evaluation-result-4101153-1466220809/solver-4101153-1466220809 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101153-1466220809.opb

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

MD5SUM BENCH= e6740c9c0edd31ac7988f4b277cae1d5
RANDOM SEED=1486277104

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        27563828 kB
Buffers:          155360 kB
Cached:          1654380 kB
SwapCached:            0 kB
Active:          1236616 kB
Inactive:        1671992 kB
Active(anon):    1101408 kB
Inactive(anon):        0 kB
Active(file):     135208 kB
Inactive(file):  1671992 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       2697268 kB
Mapped:            16516 kB
Shmem:               204 kB
Slab:             609224 kB
SReclaimable:      53476 kB
SUnreclaim:       555748 kB
KernelStack:        1520 kB
PageTables:         9156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2891984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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= 71704 MiB
End job on node136 at 2016-06-18 06:03:30