Trace number 4090163

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-almost3reg-l050-r049-n1.opb
MD5SUM00f7c97be89ae1c327af521c085abc33
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark48.3906
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2760
Total number of constraints5870
Number of constraints which are clauses4950
Number of constraints which are cardinality constraints (but not clauses)920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T02:55:08+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-4090163-1466038508.opb"]
0.00/0.01	c use --random-gen="308591892 1084561949 2826753550 1733538268 2112230879 3377892598 1922217042 1851066609 3729573405 1060370577 1234661943 3240333547 2107215490 2725123896 1548154391 2109718873 768731898 1705590139 2191792527 1902697018 44576677 154152824 989959785 477203077 1626947351 3176569639 2741929139 2224313379 1175895130 462981854 1711055500 1650458742 3922541779 355804734 1602671330 4139280585 927456592 1713690046 552389512 3361487373 1124584581 1577421689 3008429994 1033799827 2107134087 3017671357 2760724470 226091150 2935901028 932436337 1388530618 2374236053 3076724638 2748497517 1396549062 3190353804 4042262137 3050168715 2444329501 2931166708 490017186 827140872 1147487483 294051986 3869861342 542881273 727880991 2435139693 1653752567 871276029 219043730 3455613574 2174243563 3743089932 4103774089 1906823996 1625297639 1663108744 437538249 2165080386 791513583 2686861556 2332918622 3671633678 147549333 1630437760 3430251786 3059063619 928741703 3278068681 3381637513 3744375410 2149539433 1901127658 1835204474 920128280 4065729581 260235392 2009642468 3402871767 276618815 3385787962 2382166200 240535434 1221901035 3033759431 1830101538 4157897733 1590392043 1713485155 608699277 3619691898 572943568 467864391 1128356015 1628411682 2661783042 3597534243 1899892767 101590264 2775257412 14371917 2951001175 3414733122 2204489403 1197745792 1445491776 231289171 999056946 1815872794 791500536 283847866 3797038034 2408122252 1803064615 1784664143 1432163298 2086034963 2924080863 2617686330 1213538074 3650553369 3578726242 3561398227 3806347279 3144827658 3608809054 442933367 493255273 1261112150 1407564467 1875605355 1895624059 1633919706 1921096627 3306835602 385444274 218156327 821164263 4078086771 2792089621 2586828139 3440899359 2035137118 883207038 158266779 3326007954 3030194193 1533063686 1691842789 3886414297 3116629147 2949601697 286026777 651561889 3330689263 2487523787 3111912277 2902454244 722461014 282529174 1269510404 2343807885 1099783228 1638676841 960972205 1904359169 2964798471 734901284 327245305 2272945115 4120550067 4173504318 3606183707 4193864743 2336060484 3639699880 1481554225 2388108084 2293200958 2262939347 2226605201 1456780686 793636519 4210870794 1778713507 462974039 434815557 953434589 752005459 2536718305 3848509540 1039278497 880571109 1790903449 1339424174 1692024164 3971730696 2334693472 3327648428 2894596876 94856736 4228313616 836286257 4056370593 1909274482 2966511078 3732890720 1847174467 1596486504 1071943024 3920502518 3203429562 3688212381 4230935877 2816144422 2470017418 2450326025 3012540064 1253971351 2068883282 2530166758 1794052819 3567245373 173851198 710517536 3277569679 1591801976 2653097737 4026594798 954446311 913275538 3714061210 847229824 3840006451 4098368755 255 362436" option to reproduce the execution
0.00/0.06	c #vars 2760
0.00/0.06	c #constraints 5870
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |     3183      0 |        0 |        0
0.19/0.20	c  0.1s |       1 |     5961 |      100 |     3183      0 |        0 |        0
0.29/0.39	c  0.3s |       2 |    18098 |      250 |     3502      0 |        0 |        0
0.69/0.79	c  0.7s |       3 |    37511 |      475 |     3853      0 |        0 |        0
1.29/1.35	c  1.2s |       4 |    62127 |      813 |     4239      0 |        0 |        0
1.79/1.86	c  1.7s |       5 |    71237 |     1320 |     4663      0 |        0 |        0
2.49/2.54	c  2.4s |       6 |    91486 |     2081 |     5644      0 |        0 |        0
3.59/3.69	c  3.6s |       7 |   112828 |     3223 |     6209      0 |        0 |        0
5.49/5.57	c  5.5s |       8 |   126098 |     4936 |     6830      0 |        0 |        0
7.59/7.64	c  7.5s |       8 |   134094 |     6836 |     6830      0 |        0 |        0
8.49/8.52	c  8.4s |       9 |   135233 |     7506 |     7514      1 |        0 |        0
10.59/10.60	c 10.5s |       9 |   143685 |     9106 |     7514      1 |        0 |        0
12.59/12.64	c 12.5s |       9 |   147122 |    10406 |     7514      1 |        0 |        0
14.08/14.17	c 14.1s |      10 |   149299 |    11361 |     8266      2 |        0 |        0
16.18/16.23	c 16.1s |      10 |   173582 |    13261 |     8266      2 |        0 |        0
18.18/18.27	c 18.2s |      10 |   180290 |    15061 |     8266      2 |        0 |        0
20.28/20.33	c 20.2s |      10 |   183496 |    16661 |     8266      3 |        0 |        0
20.78/20.82	c 20.7s |      11 |   184014 |    17144 |     9093      3 |        0 |        0
22.78/22.83	c 22.7s |      11 |   188552 |    18944 |     9093      3 |        0 |        0
24.78/24.84	c 24.7s |      11 |   192544 |    20544 |     9093      3 |        0 |        0
26.78/26.90	c 26.8s |      11 |   197298 |    21944 |     9093      4 |        0 |        0
28.88/28.92	c 28.8s |      11 |   201173 |    23444 |     9093      4 |        0 |        0
30.89/30.96	c 30.8s |      11 |   203136 |    24744 |     9093      4 |        0 |        0
32.38/32.44	c 32.3s |      12 |   204505 |    25819 |    10003      4 |        0 |        0
34.38/34.47	c 34.3s |      12 |   209334 |    27719 |    10003      5 |        0 |        0
36.48/36.52	c 36.4s |      12 |   213518 |    29819 |    10003      5 |        0 |        0
38.59/38.65	c 38.5s |      12 |   216786 |    31619 |    10003      5 |        0 |        0
40.69/40.73	c 40.6s |      12 |   218948 |    33319 |    10003      6 |        0 |        0
42.68/42.77	c 42.6s |      12 |   237714 |    35119 |    10003      6 |        0 |        0
44.78/44.82	c 44.7s |      12 |   250004 |    36719 |    10003      6 |        0 |        0
46.78/46.84	c 46.7s |      12 |   263306 |    38119 |    10003      7 |        0 |        0
48.08/48.13	c 48.0s |      13 |   266968 |    38832 |    11004      7 |        0 |        0
50.18/50.21	c 50.1s |      13 |   274140 |    40532 |    11004      7 |        0 |        0
52.28/52.30	c 52.2s |      13 |   275932 |    42132 |    11004      7 |        0 |        0
54.28/54.34	c 54.2s |      13 |   277497 |    43532 |    11004      7 |        0 |        0
56.38/56.46	c 56.3s |      13 |   279606 |    45132 |    11004      8 |        0 |        0
58.48/58.58	c 58.5s |      13 |   282268 |    46732 |    11004      8 |        0 |        0
60.59/60.65	c 60.5s |      13 |   284802 |    48232 |    11004      8 |        0 |        0
62.88/62.93	c 62.8s |      13 |   286329 |    49632 |    11004      9 |        0 |        0
64.89/65.00	c 64.9s |      13 |   288178 |    51232 |    11004      9 |        0 |        0
66.98/67.02	c 66.9s |      13 |   292384 |    52832 |    11004      9 |        0 |        0
68.98/69.05	c 68.9s |      13 |   293852 |    54132 |    11004      9 |        0 |        0
71.08/71.12	c 71.0s |      13 |   295156 |    55332 |    11004     10 |        0 |        0
73.17/73.21	c 73.1s |      13 |   296702 |    56732 |    11004     10 |        0 |        0
75.17/75.21	c 75.1s |      14 |   298676 |    58352 |    12105     10 |        0 |        0
77.27/77.31	c 77.2s |      14 |   321369 |    59852 |    12105     10 |        0 |        0
79.37/79.42	c 79.3s |      14 |   328145 |    61152 |    12105     10 |        0 |        0
81.38/81.46	c 81.3s |      14 |   331862 |    62352 |    12105     11 |        0 |        0
83.37/83.47	c 83.4s |      14 |   343575 |    63952 |    12105     11 |        0 |        0
85.57/85.61	c 85.5s |      14 |   355909 |    65552 |    12105     11 |        0 |        0
87.57/87.64	c 87.5s |      14 |   357574 |    66752 |    12105     11 |        0 |        0
89.67/89.79	c 89.7s |      14 |   359144 |    67952 |    12105     11 |        0 |        0
91.77/91.81	c 91.7s |      14 |   360334 |    69052 |    12105     12 |        0 |        0
93.77/93.84	c 93.7s |      14 |   363461 |    70352 |    12105     12 |        0 |        0
95.87/95.97	c 95.9s |      14 |   365231 |    71452 |    12105     12 |        0 |        0
98.07/98.10	c 98.0s |      14 |   366288 |    72352 |    12105     12 |        0 |        0
100.27/100.36	c  100s |      14 |   367195 |    73152 |    12105     12 |        0 |        0
102.37/102.44	c  102s |      14 |   368480 |    73952 |    12105     12 |        0 |        0
104.37/104.49	c  104s |      14 |   371339 |    75052 |    12105     13 |        0 |        0
106.47/106.52	c  106s |      14 |   376895 |    76152 |    12105     13 |        0 |        0
108.47/108.60	c  108s |      14 |   381011 |    77352 |    12105     13 |        0 |        0
110.57/110.69	c  110s |      14 |   383091 |    78252 |    12105     13 |        0 |        0
112.67/112.70	c  112s |      14 |   385560 |    79452 |    12105     13 |        0 |        0
114.67/114.75	c  114s |      14 |   387962 |    80652 |    12105     13 |        0 |        0
116.67/116.77	c  116s |      14 |   389542 |    81952 |    12105     14 |        0 |        0
118.77/118.84	c  118s |      14 |   391435 |    83352 |    12105     14 |        0 |        0
120.97/121.02	c  120s |      14 |   393015 |    84252 |    12105     14 |        0 |        0
122.96/123.03	c  122s |      14 |   393890 |    85052 |    12105     14 |        0 |        0
125.16/125.21	c  125s |      14 |   394922 |    85952 |    12105     14 |        0 |        0
127.36/127.45	c  127s |      14 |   395885 |    86852 |    12105     14 |        0 |        0
128.77/128.82	c  128s |      15 |   398774 |    87632 |    13316     14 |        0 |        0
130.88/131.00	c  130s |      15 |   405749 |    88532 |    13316     15 |        0 |        0
132.97/133.05	c  132s |      15 |   427576 |    90332 |    13316     15 |        0 |        0
135.07/135.11	c  134s |      15 |   432150 |    92032 |    13316     15 |        0 |        0
137.07/137.17	c  137s |      15 |   433691 |    93432 |    13316     15 |        0 |        0
139.17/139.29	c  139s |      15 |   435267 |    94832 |    13316     15 |        0 |        0
141.17/141.29	c  141s |      15 |   436565 |    96032 |    13316     16 |        0 |        0
143.27/143.31	c  143s |      15 |   438316 |    97332 |    13316     16 |        0 |        0
145.37/145.44	c  145s |      15 |   440367 |    98732 |    13316     16 |        0 |        0
147.48/147.56	c  147s |      15 |   441883 |   100032 |    13316     16 |        0 |        0
149.58/149.67	c  149s |      15 |   445254 |   101232 |    13316     16 |        0 |        0
151.87/151.95	c  151s |      15 |   446601 |   102432 |    13316     17 |        0 |        0
153.97/154.07	c  153s |      15 |   448145 |   103832 |    13316     17 |        0 |        0
156.07/156.12	c  156s |      15 |   449560 |   105132 |    13316     17 |        0 |        0
158.17/158.25	c  158s |      15 |   450892 |   106332 |    13316     17 |        0 |        0
160.17/160.27	c  160s |      15 |   452133 |   107432 |    13316     17 |        0 |        0
162.27/162.31	c  162s |      15 |   453114 |   108332 |    13316     17 |        0 |        0
164.27/164.37	c  164s |      15 |   454084 |   109232 |    13316     17 |        0 |        0
166.36/166.41	c  166s |      15 |   455270 |   110232 |    13316     18 |        0 |        0
168.37/168.47	c  168s |      15 |   457809 |   111332 |    13316     18 |        0 |        0
170.47/170.55	c  170s |      15 |   459576 |   112632 |    13316     18 |        0 |        0
172.56/172.68	c  172s |      15 |   461030 |   113932 |    13316     18 |        0 |        0
174.66/174.76	c  174s |      15 |   462256 |   115032 |    13316     18 |        0 |        0
176.76/176.87	c  176s |      15 |   463485 |   116132 |    13316     18 |        0 |        0
178.86/178.92	c  178s |      15 |   464814 |   117332 |    13316     19 |        0 |        0
180.86/180.95	c  180s |      15 |   466246 |   118632 |    13316     19 |        0 |        0
182.86/182.97	c  182s |      15 |   467591 |   119832 |    13316     19 |        0 |        0
184.96/185.06	c  184s |      15 |   468992 |   121132 |    13316     19 |        0 |        0
187.16/187.22	c  187s |      15 |   470278 |   122332 |    13316     19 |        0 |        0
189.17/189.27	c  189s |      15 |   471371 |   123332 |    13316     20 |        0 |        0
191.26/191.38	c  191s |      15 |   473706 |   124632 |    13316     20 |        0 |        0
193.46/193.53	c  193s |      15 |   475001 |   125832 |    13316     20 |        0 |        0
195.56/195.66	c  195s |      15 |   476322 |   127032 |    13316     20 |        0 |        0
197.66/197.76	c  197s |      15 |   477748 |   128332 |    13316     20 |        0 |        0
199.75/199.84	c  199s |      15 |   479833 |   129532 |    13316     20 |        0 |        0
201.75/201.87	c  201s |      15 |   480927 |   130532 |    13316     21 |        0 |        0
203.56/203.69	c  203s |      16 |   482120 |   131552 |    14648     21 |        0 |        0
205.55/205.70	c  205s |      16 |   516715 |   132852 |    14648     21 |        0 |        0
207.75/207.80	c  207s |      16 |   526606 |   134152 |    14648     21 |        0 |        0
209.85/209.96	c  209s |      16 |   528180 |   135152 |    14648     21 |        0 |        0
211.95/212.09	c  211s |      16 |   529496 |   136052 |    14648     21 |        0 |        0
214.15/214.29	c  214s |      16 |   530852 |   136952 |    14648     21 |        0 |        0
216.25/216.38	c  216s |      16 |   531773 |   137752 |    14648     21 |        0 |        0
218.45/218.53	c  218s |      16 |   532664 |   138552 |    14648     22 |        0 |        0
220.55/220.64	c  220s |      16 |   533950 |   139652 |    14648     22 |        0 |        0
222.75/222.84	c  222s |      16 |   535022 |   140652 |    14648     22 |        0 |        0
224.75/224.85	c  224s |      16 |   536094 |   141652 |    14648     22 |        0 |        0
226.75/226.87	c  226s |      16 |   538190 |   142452 |    14648     22 |        0 |        0
228.95/229.00	c  228s |      16 |   538961 |   143152 |    14648     22 |        0 |        0
231.15/231.24	c  231s |      16 |   539875 |   143952 |    14648     22 |        0 |        0
233.35/233.42	c  233s |      16 |   540670 |   144652 |    14648     22 |        0 |        0
235.65/235.72	c  235s |      16 |   541616 |   145452 |    14648     22 |        0 |        0
237.85/237.93	c  237s |      16 |   542422 |   146152 |    14648     23 |        0 |        0
239.95/240.01	c  239s |      16 |   544763 |   147052 |    14648     23 |        0 |        0
242.15/242.24	c  242s |      16 |   546227 |   147952 |    14648     23 |        0 |        0
244.35/244.47	c  244s |      16 |   547240 |   148852 |    14648     23 |        0 |        0
246.55/246.65	c  246s |      16 |   548211 |   149752 |    14648     23 |        0 |        0
248.75/248.82	c  248s |      16 |   550591 |   150652 |    14648     23 |        0 |        0
250.75/250.90	c  250s |      16 |   551589 |   151552 |    14648     23 |        0 |        0
252.84/253.00	c  252s |      16 |   553273 |   152452 |    14648     23 |        0 |        0
255.15/255.25	c  255s |      16 |   554239 |   153352 |    14648     23 |        0 |        0
257.24/257.36	c  257s |      16 |   555197 |   154252 |    14648     24 |        0 |        0
259.24/259.36	c  259s |      16 |   561520 |   155352 |    14648     24 |        0 |        0
261.34/261.46	c  261s |      16 |   575980 |   156852 |    14648     24 |        0 |        0
263.34/263.47	c  263s |      16 |   577348 |   158052 |    14648     24 |        0 |        0
265.34/265.50	c  265s |      16 |   578588 |   159152 |    14648     24 |        0 |        0
267.54/267.68	c  267s |      16 |   580005 |   160252 |    14648     24 |        0 |        0
269.84/269.92	c  269s |      16 |   581085 |   161252 |    14648     25 |        0 |        0
271.94/272.03	c  271s |      16 |   582556 |   162552 |    14648     25 |        0 |        0
273.95/274.09	c  273s |      16 |   584007 |   163852 |    14648     25 |        0 |        0
276.06/276.15	c  276s |      16 |   585356 |   165052 |    14648     25 |        0 |        0
278.15/278.25	c  278s |      16 |   586553 |   166152 |    14648     25 |        0 |        0
280.35/280.46	c  280s |      16 |   587730 |   167252 |    14648     25 |        0 |        0
282.55/282.67	c  282s |      16 |   588896 |   168252 |    14648     25 |        0 |        0
284.65/284.72	c  284s |      16 |   589943 |   169152 |    14648     26 |        0 |        0
286.75/286.83	c  286s |      16 |   591370 |   170452 |    14648     26 |        0 |        0
288.75/288.89	c  288s |      16 |   593393 |   171652 |    14648     26 |        0 |        0
290.85/290.91	c  290s |      16 |   594633 |   172752 |    14648     26 |        0 |        0
292.85/292.94	c  292s |      16 |   595879 |   173852 |    14648     26 |        0 |        0
294.85/294.95	c  294s |      16 |   596988 |   174852 |    14648     26 |        0 |        0
296.95/297.09	c  296s |      16 |   598097 |   175852 |    14648     26 |        0 |        0
299.05/299.11	c  298s |      16 |   599921 |   176852 |    14648     27 |        0 |        0
301.05/301.12	c  300s |      16 |   601372 |   178152 |    14648     27 |        0 |        0
303.15/303.28	c  303s |      16 |   602692 |   179352 |    14648     27 |        0 |        0
305.25/305.38	c  305s |      16 |   604046 |   180552 |    14648     27 |        0 |        0
307.45/307.57	c  307s |      16 |   605405 |   181752 |    14648     27 |        0 |        0
309.64/309.79	c  309s |      16 |   606601 |   182852 |    14648     27 |        0 |        0
312.14/312.25	c  312s |      16 |   617870 |   183952 |    14648     28 |        0 |        0
314.24/314.31	c  314s |      16 |   625863 |   185352 |    14648     28 |        0 |        0
316.34/316.41	c  316s |      16 |   627991 |   186852 |    14648     28 |        0 |        0
318.34/318.46	c  318s |      16 |   629453 |   188152 |    14648     28 |        0 |        0
320.44/320.59	c  320s |      16 |   630866 |   189452 |    14648     28 |        0 |        0
322.64/322.74	c  322s |      16 |   632307 |   190752 |    14648     28 |        0 |        0
324.64/324.75	c  324s |      16 |   633429 |   191752 |    14648     29 |        0 |        0
326.74/326.81	c  326s |      16 |   634858 |   193052 |    14648     29 |        0 |        0
328.74/328.88	c  328s |      16 |   636644 |   194152 |    14648     29 |        0 |        0
330.93/331.05	c  330s |      16 |   638385 |   195152 |    14648     29 |        0 |        0
333.03/333.12	c  333s |      16 |   640706 |   196152 |    16113     29 |        0 |        0
335.13/335.27	c  335s |      16 |   641883 |   197252 |    16113     29 |        0 |        0
335.54/335.62	c  335s |      17 |   642095 |   197432 |    16113     29 |        0 |        0
337.64/337.73	c  337s |      17 |   655326 |   198532 |    16113     29 |        0 |        0
339.84/339.98	c  339s |      17 |   670214 |   199632 |    16113     29 |        0 |        0
341.93/342.04	c  341s |      17 |   671896 |   200532 |    16113     30 |        0 |        0
343.93/344.06	c  343s |      17 |   673861 |   201532 |    16113     30 |        0 |        0
346.13/346.23	c  346s |      17 |   675521 |   202632 |    16113     30 |        0 |        0
348.23/348.32	c  348s |      17 |   676994 |   203932 |    16113     30 |        0 |        0
350.23/350.39	c  350s |      17 |   678605 |   205032 |    16113     30 |        0 |        0
352.33/352.46	c  352s |      17 |   679798 |   206132 |    16113     30 |        0 |        0
354.43/354.55	c  354s |      17 |   683210 |   207132 |    16113     30 |        0 |        0
356.53/356.67	c  356s |      17 |   686514 |   208132 |    16113     30 |        0 |        0
358.54/358.67	c  358s |      17 |   692798 |   209332 |    16113     31 |        0 |        0
360.63/360.73	c  360s |      17 |   694570 |   210332 |    16113     31 |        0 |        0
362.63/362.74	c  362s |      17 |   696584 |   211332 |    16113     31 |        0 |        0
364.83/364.96	c  364s |      17 |   698808 |   212432 |    16113     31 |        0 |        0
367.03/367.10	c  366s |      17 |   700502 |   213332 |    16113     31 |        0 |        0
369.13/369.29	c  369s |      17 |   702320 |   214232 |    16113     31 |        0 |        0
371.33/371.47	c  371s |      17 |   705792 |   215232 |    16113     31 |        0 |        0
373.43/373.52	c  373s |      17 |   706913 |   216232 |    16113     31 |        0 |        0
375.53/375.60	c  375s |      17 |   707988 |   217232 |    16113     32 |        0 |        0
377.53/377.63	c  377s |      17 |   709420 |   218432 |    16113     32 |        0 |        0
379.53/379.63	c  379s |      17 |   710614 |   219532 |    16113     32 |        0 |        0
381.53/381.65	c  381s |      17 |   712065 |   220732 |    16113     32 |        0 |        0
383.63/383.73	c  383s |      17 |   713159 |   221632 |    16113     32 |        0 |        0
385.73/385.86	c  385s |      17 |   714016 |   222432 |    16113     32 |        0 |        0
387.93/388.03	c  387s |      17 |   715460 |   223432 |    16113     32 |        0 |        0
389.92/390.07	c  389s |      17 |   717047 |   224232 |    16113     32 |        0 |        0
392.02/392.11	c  391s |      17 |   718362 |   225132 |    16113     33 |        0 |        0
394.02/394.15	c  394s |      17 |   720105 |   226132 |    16113     33 |        0 |        0
396.22/396.35	c  396s |      17 |   722618 |   227432 |    16113     33 |        0 |        0
398.23/398.37	c  398s |      17 |   724426 |   228632 |    16113     33 |        0 |        0
400.52/400.61	c  400s |      17 |   727004 |   229732 |    16113     33 |        0 |        0
402.63/402.74	c  402s |      17 |   728409 |   230532 |    16113     33 |        0 |        0
404.62/404.77	c  404s |      17 |   729563 |   231432 |    16113     33 |        0 |        0
406.62/406.79	c  406s |      17 |   732102 |   232332 |    16113     33 |        0 |        0
408.72/408.85	c  408s |      17 |   733953 |   233432 |    16113     34 |        0 |        0
410.82/410.96	c  410s |      17 |   736395 |   235032 |    16113     34 |        0 |        0
413.02/413.13	c  413s |      17 |   744843 |   236232 |    16113     34 |        0 |        0
415.12/415.20	c  415s |      17 |   748870 |   237532 |    16113     34 |        0 |        0
417.12/417.25	c  417s |      17 |   751415 |   238632 |    16113     34 |        0 |        0
419.22/419.30	c  419s |      17 |   754418 |   239732 |    16113     34 |        0 |        0
421.23/421.38	c  421s |      17 |   756646 |   240932 |    16113     34 |        0 |        0
423.43/423.53	c  423s |      17 |   758451 |   241832 |    16113     35 |        0 |        0
425.52/425.63	c  425s |      17 |   760942 |   242732 |    16113     35 |        0 |        0
427.62/427.78	c  427s |      17 |   775890 |   243932 |    16113     35 |        0 |        0
429.82/429.97	c  429s |      17 |   778017 |   244932 |    16113     35 |        0 |        0
432.02/432.16	c  432s |      17 |   779145 |   245932 |    16113     35 |        0 |        0
434.12/434.26	c  434s |      17 |   780760 |   247032 |    16113     35 |        0 |        0
436.22/436.32	c  436s |      17 |   783792 |   248032 |    16113     35 |        0 |        0
438.32/438.47	c  438s |      17 |   785159 |   249232 |    16113     35 |        0 |        0
440.32/440.47	c  440s |      17 |   794774 |   250532 |    16113     36 |        0 |        0
442.32/442.48	c  442s |      17 |   796533 |   251732 |    16113     36 |        0 |        0
444.42/444.52	c  444s |      17 |   798731 |   252932 |    16113     36 |        0 |        0
446.42/446.57	c  446s |      17 |   800340 |   254332 |    16113     36 |        0 |        0
448.52/448.65	c  448s |      17 |   801937 |   255732 |    16113     36 |        0 |        0
450.62/450.71	c  450s |      17 |   803868 |   256732 |    16113     36 |        0 |        0
452.72/452.87	c  452s |      17 |   804966 |   257732 |    16113     36 |        0 |        0
454.82/454.98	c  454s |      17 |   806301 |   258832 |    16113     37 |        0 |        0
457.02/457.11	c  456s |      17 |   807921 |   260032 |    16113     37 |        0 |        0
459.02/459.11	c  458s |      17 |   815065 |   261332 |    16113     37 |        0 |        0
461.02/461.13	c  461s |      17 |   820444 |   262532 |    16113     37 |        0 |        0
463.22/463.30	c  463s |      17 |   822002 |   263732 |    16113     37 |        0 |        0
465.33/465.44	c  465s |      17 |   823222 |   264832 |    16113     37 |        0 |        0
467.43/467.59	c  467s |      17 |   824619 |   265932 |    16113     37 |        0 |        0
469.52/469.60	c  469s |      17 |   832696 |   267232 |    16113     38 |        0 |        0
471.62/471.73	c  471s |      17 |   835188 |   268732 |    16113     38 |        0 |        0
473.82/473.92	c  473s |      17 |   843897 |   269832 |    16113     38 |        0 |        0
476.02/476.10	c  475s |      17 |   844999 |   270832 |    16113     38 |        0 |        0
478.02/478.12	c  477s |      17 |   848522 |   271932 |    16113     38 |        0 |        0
480.12/480.26	c  480s |      17 |   849838 |   273132 |    16113     38 |        0 |        0
482.22/482.33	c  482s |      17 |   851038 |   274232 |    16113     38 |        0 |        0
484.32/484.45	c  484s |      17 |   852496 |   275532 |    16113     39 |        0 |        0
486.32/486.48	c  486s |      17 |   853802 |   276732 |    16113     39 |        0 |        0
488.42/488.55	c  488s |      17 |   855117 |   277932 |    16113     39 |        0 |        0
490.42/490.56	c  490s |      17 |   856314 |   279032 |    16113     39 |        0 |        0
492.42/492.59	c  492s |      17 |   859398 |   279932 |    16113     39 |        0 |        0
494.62/494.72	c  494s |      17 |   860662 |   280732 |    16113     39 |        0 |        0
496.82/496.93	c  496s |      17 |   861540 |   281532 |    16113     39 |        0 |        0
498.92/499.08	c  498s |      17 |   862409 |   282332 |    16113     39 |        0 |        0
501.11/501.20	c  501s |      17 |   863419 |   283232 |    16113     40 |        0 |        0
503.21/503.32	c  503s |      17 |   864626 |   284332 |    16113     40 |        0 |        0
505.41/505.54	c  505s |      17 |   865742 |   285332 |    16113     40 |        0 |        0
507.51/507.65	c  507s |      17 |   866729 |   286232 |    16113     40 |        0 |        0
509.71/509.84	c  509s |      17 |   867845 |   287232 |    16113     40 |        0 |        0
511.91/512.00	c  511s |      17 |   868942 |   288232 |    16113     40 |        0 |        0
513.91/514.02	c  513s |      17 |   869929 |   289132 |    16113     40 |        0 |        0
516.01/516.13	c  516s |      17 |   871013 |   290132 |    16113     40 |        0 |        0
518.12/518.29	c  518s |      17 |   872000 |   291032 |    16113     41 |        0 |        0
520.22/520.33	c  520s |      17 |   873098 |   292032 |    16113     41 |        0 |        0
522.21/522.38	c  522s |      17 |   880379 |   293032 |    16113     41 |        0 |        0
524.41/524.57	c  524s |      17 |   887861 |   294332 |    17725     41 |        0 |        0
526.41/526.57	c  526s |      17 |   891316 |   295632 |    17725     41 |        0 |        0
527.31/527.45	c  527s |      18 |   892148 |   296252 |    17725     41 |        0 |        0
529.41/529.57	c  529s |      18 |   897976 |   297352 |    17725     41 |        0 |        0
531.51/531.62	c  531s |      18 |   901472 |   298452 |    17725     41 |        0 |        0
533.61/533.75	c  533s |      18 |   903085 |   299752 |    17725     41 |        0 |        0
535.72/535.85	c  535s |      18 |   904501 |   300852 |    17725     41 |        0 |        0
537.82/537.98	c  537s |      18 |   905592 |   301852 |    17725     42 |        0 |        0
539.91/540.07	c  539s |      18 |   927012 |   303152 |    17725     42 |        0 |        0
541.91/542.08	c  541s |      18 |   929913 |   304252 |    17725     42 |        0 |        0
544.11/544.26	c  544s |      18 |   931223 |   305352 |    17725     42 |        0 |        0
546.21/546.39	c  546s |      18 |   932514 |   306552 |    17725     42 |        0 |        0
548.31/548.49	c  548s |      18 |   933723 |   307652 |    17725     42 |        0 |        0
550.41/550.58	c  550s |      18 |   935842 |   308852 |    17725     42 |        0 |        0
552.61/552.70	c  552s |      18 |   940644 |   309952 |    17725     42 |        0 |        0
554.61/554.71	c  554s |      18 |   956917 |   310952 |    17725     43 |        0 |        0
556.71/556.81	c  556s |      18 |   959333 |   312152 |    17725     43 |        0 |        0
558.81/558.92	c  558s |      18 |   960935 |   313352 |    17725     43 |        0 |        0
560.91/561.02	c  560s |      18 |   962703 |   314552 |    17725     43 |        0 |        0
563.11/563.25	c  563s |      18 |   964504 |   315652 |    17725     43 |        0 |        0
565.20/565.38	c  565s |      18 |   965641 |   316652 |    17725     43 |        0 |        0
567.40/567.55	c  567s |      18 |   967496 |   317852 |    17725     43 |        0 |        0
569.40/569.57	c  569s |      18 |   968579 |   318852 |    17725     43 |        0 |        0
571.40/571.57	c  571s |      18 |   975045 |   319752 |    17725     44 |        0 |        0
573.60/573.74	c  573s |      18 |   978976 |   321052 |    17725     44 |        0 |        0
575.60/575.79	c  575s |      18 |   980324 |   322152 |    17725     44 |        0 |        0
577.80/577.91	c  577s |      18 |   982279 |   323352 |    17725     44 |        0 |        0
579.90/580.01	c  579s |      18 |   983505 |   324452 |    17725     44 |        0 |        0
581.91/582.03	c  581s |      18 |   984662 |   325452 |    17725     44 |        0 |        0
583.90/584.09	c  583s |      18 |   985885 |   326552 |    17725     44 |        0 |        0
586.00/586.10	c  585s |      18 |   987144 |   327652 |    17725     44 |        0 |        0
588.00/588.18	c  588s |      18 |   988413 |   328752 |    17725     45 |        0 |        0
590.20/590.31	c  590s |      18 |   990129 |   330252 |    17725     45 |        0 |        0
592.30/592.45	c  592s |      18 |   991584 |   331552 |    17725     45 |        0 |        0
594.40/594.57	c  594s |      18 |   993058 |   332852 |    17725     45 |        0 |        0
596.50/596.63	c  596s |      18 |   994508 |   334152 |    17725     45 |        0 |        0
598.60/598.79	c  598s |      18 |   995831 |   335352 |    17725     45 |        0 |        0
600.80/600.95	c  600s |      18 |   997290 |   336652 |    17725     45 |        0 |        0
602.90/603.05	c  602s |      18 |   998510 |   337752 |    17725     46 |        0 |        0
604.90/605.10	c  604s |      18 |   999943 |   339052 |    17725     46 |        0 |        0
607.10/607.29	c  607s |      18 |  1001760 |   340452 |    17725     46 |        0 |        0
609.30/609.46	c  609s |      18 |  1003973 |   341652 |    17725     46 |        0 |        0
611.50/611.61	c  611s |      18 |  1005702 |   342852 |    17725     46 |        0 |        0
613.49/613.66	c  613s |      18 |  1008192 |   344152 |    17725     46 |        0 |        0
615.49/615.69	c  615s |      18 |  1020598 |   345052 |    17725     46 |        0 |        0
617.69/617.81	c  617s |      18 |  1022402 |   345952 |    17725     46 |        0 |        0
619.89/620.02	c  619s |      18 |  1024123 |   347052 |    17725     47 |        0 |        0
621.89/622.08	c  621s |      18 |  1025633 |   348452 |    17725     47 |        0 |        0
624.09/624.23	c  624s |      18 |  1050273 |   349552 |    17725     47 |        0 |        0
626.19/626.33	c  626s |      18 |  1052642 |   350652 |    17725     47 |        0 |        0
628.29/628.41	c  628s |      18 |  1054245 |   351652 |    17725     47 |        0 |        0
630.58/630.71	c  630s |      18 |  1056648 |   352652 |    17725     47 |        0 |        0
632.58/632.74	c  632s |      18 |  1067396 |   353452 |    17725     47 |        0 |        0
634.78/634.91	c  634s |      18 |  1069404 |   354352 |    17725     47 |        0 |        0
636.79/636.99	c  636s |      18 |  1070918 |   355052 |    17725     47 |        0 |        0
638.99/639.13	c  639s |      18 |  1072686 |   355752 |    17725     48 |        0 |        0
640.97/641.15	c  641s |      18 |  1078426 |   356852 |    17725     48 |        0 |        0
643.07/643.24	c  643s |      18 |  1080451 |   357852 |    17725     48 |        0 |        0
645.27/645.45	c  645s |      18 |  1081706 |   358852 |    17725     48 |        0 |        0
647.27/647.49	c  647s |      18 |  1083880 |   359752 |    17725     48 |        0 |        0
649.47/649.68	c  649s |      18 |  1084977 |   360752 |    17725     48 |        0 |        0
651.57/651.71	c  651s |      18 |  1086166 |   361852 |    17725     48 |        0 |        0
653.57/653.72	c  653s |      18 |  1087423 |   362852 |    17725     48 |        0 |        0
655.67/655.83	c  655s |      18 |  1088528 |   363552 |    17725     48 |        0 |        0
657.77/657.95	c  657s |      18 |  1089620 |   364552 |    17725     48 |        0 |        0
659.77/659.95	c  659s |      18 |  1091054 |   365852 |    17725     49 |        0 |        0
661.86/662.02	c  661s |      18 |  1092343 |   366952 |    17725     49 |        0 |        0
663.96/664.16	c  664s |      18 |  1094454 |   368152 |    17725     49 |        0 |        0
666.16/666.36	c  666s |      18 |  1095660 |   369252 |    17725     49 |        0 |        0
668.26/668.43	c  668s |      18 |  1098268 |   370152 |    17725     49 |        0 |        0
670.35/670.51	c  670s |      18 |  1099531 |   371152 |    17725     49 |        0 |        0
672.35/672.51	c  672s |      18 |  1102271 |   372152 |    17725     49 |        0 |        0
674.45/674.62	c  674s |      18 |  1103770 |   373052 |    17725     49 |        0 |        0
676.55/676.72	c  676s |      18 |  1114813 |   373952 |    17725     50 |        0 |        0
678.66/678.83	c  678s |      18 |  1125466 |   375152 |    17725     50 |        0 |        0
680.75/680.99	c  680s |      18 |  1128659 |   376352 |    17725     50 |        0 |        0
682.84/683.10	c  682s |      18 |  1130152 |   377452 |    17725     50 |        0 |        0
684.94/685.12	c  685s |      18 |  1131279 |   378452 |    17725     50 |        0 |        0
686.94/687.13	c  687s |      18 |  1132272 |   379352 |    17725     50 |        0 |        0
689.04/689.24	c  689s |      18 |  1133363 |   380352 |    17725     50 |        0 |        0
691.04/691.25	c  691s |      18 |  1135133 |   381452 |    17725     50 |        0 |        0
693.04/693.29	c  693s |      18 |  1136530 |   382452 |    17725     50 |        0 |        0
695.14/695.37	c  695s |      18 |  1138969 |   383352 |    17725     51 |        0 |        0
697.24/697.48	c  697s |      18 |  1141506 |   384752 |    17725     51 |        0 |        0
699.44/699.64	c  699s |      18 |  1142885 |   386052 |    17725     51 |        0 |        0
701.43/701.66	c  701s |      18 |  1144167 |   387252 |    17725     51 |        0 |        0
703.53/703.78	c  703s |      18 |  1145417 |   388252 |    17725     51 |        0 |        0
705.73/705.94	c  705s |      18 |  1147864 |   389452 |    17725     51 |        0 |        0
707.73/707.98	c  707s |      18 |  1149196 |   390652 |    17725     51 |        0 |        0
710.13/710.36	c  710s |      18 |  1158120 |   391752 |    17725     52 |        0 |        0
712.23/712.41	c  712s |      18 |  1160053 |   393252 |    17725     52 |        0 |        0
714.44/714.63	c  714s |      18 |  1161919 |   394752 |    17725     52 |        0 |        0
716.54/716.70	c  716s |      18 |  1162934 |   395652 |    17725     52 |        0 |        0
718.63/718.84	c  718s |      18 |  1163888 |   396552 |    17725     52 |        0 |        0
720.63/720.86	c  720s |      18 |  1165043 |   397552 |    17725     52 |        0 |        0
722.73/722.91	c  722s |      18 |  1166483 |   398852 |    17725     52 |        0 |        0
724.83/725.05	c  724s |      18 |  1173565 |   399752 |    17725     52 |        0 |        0
726.83/727.09	c  726s |      18 |  1181298 |   400852 |    17725     52 |        0 |        0
729.03/729.21	c  729s |      18 |  1182952 |   402052 |    17725     53 |        0 |        0
731.02/731.22	c  731s |      18 |  1184301 |   403252 |    17725     53 |        0 |        0
733.02/733.28	c  733s |      18 |  1185682 |   404452 |    17725     53 |        0 |        0
735.22/735.44	c  735s |      18 |  1187032 |   405652 |    17725     53 |        0 |        0
737.22/737.47	c  737s |      18 |  1188152 |   406652 |    17725     53 |        0 |        0
739.32/739.58	c  739s |      18 |  1190198 |   407752 |    17725     53 |        0 |        0
741.61/741.84	c  741s |      18 |  1192685 |   408652 |    17725     53 |        0 |        0
743.71/743.94	c  743s |      18 |  1193464 |   409352 |    17725     53 |        0 |        0
745.72/745.96	c  745s |      18 |  1206163 |   410352 |    17725     54 |        0 |        0
747.82/748.07	c  747s |      18 |  1207674 |   411652 |    17725     54 |        0 |        0
749.91/750.15	c  750s |      18 |  1210734 |   412952 |    17725     54 |        0 |        0
752.01/752.22	c  752s |      18 |  1212966 |   414152 |    17725     54 |        0 |        0
754.01/754.26	c  754s |      18 |  1214193 |   415252 |    17725     54 |        0 |        0
756.01/756.26	c  756s |      18 |  1215657 |   416352 |    17725     54 |        0 |        0
758.11/758.39	c  758s |      18 |  1217153 |   417452 |    17725     54 |        0 |        0
760.31/760.50	c  760s |      18 |  1226991 |   418252 |    17725     54 |        0 |        0
762.30/762.57	c  762s |      18 |  1229044 |   419052 |    17725     55 |        0 |        0
764.41/764.69	c  764s |      18 |  1230294 |   420152 |    17725     55 |        0 |        0
766.61/766.81	c  766s |      18 |  1232126 |   421052 |    17725     55 |        0 |        0
768.60/768.84	c  768s |      18 |  1233241 |   422052 |    17725     55 |        0 |        0
770.59/770.89	c  770s |      18 |  1235118 |   423152 |    17725     55 |        0 |        0
772.69/772.98	c  772s |      18 |  1236765 |   424452 |    17725     55 |        0 |        0
774.89/775.10	c  774s |      18 |  1238167 |   425752 |    17725     55 |        0 |        0
776.99/777.27	c  777s |      18 |  1239574 |   427052 |    17725     55 |        0 |        0
779.09/779.39	c  779s |      18 |  1245741 |   427952 |    17725     56 |        0 |        0
781.19/781.42	c  781s |      18 |  1248754 |   429152 |    17725     56 |        0 |        0
783.19/783.47	c  783s |      18 |  1250124 |   430352 |    17725     56 |        0 |        0
785.29/785.59	c  785s |      18 |  1251587 |   431652 |    17725     56 |        0 |        0
787.39/787.64	c  787s |      18 |  1253084 |   432852 |    17725     56 |        0 |        0
789.39/789.67	c  789s |      18 |  1254261 |   433952 |    17725     56 |        0 |        0
791.48/791.77	c  791s |      18 |  1256332 |   435152 |    17725     56 |        0 |        0
793.58/793.88	c  793s |      18 |  1257508 |   436252 |    17725     56 |        0 |        0
795.78/796.04	c  795s |      18 |  1265629 |   437152 |    17725     57 |        0 |        0
797.88/798.11	c  797s |      18 |  1281194 |   438652 |    17725     57 |        0 |        0
799.88/800.15	c  800s |      18 |  1284560 |   440052 |    17725     57 |        0 |        0
802.08/802.30	c  802s |      18 |  1287498 |   441352 |    19498     57 |        0 |        0
804.17/804.42	c  804s |      18 |  1290132 |   442552 |    19498     57 |        0 |        0
806.27/806.59	c  806s |      18 |  1296593 |   443752 |    19498     57 |        0 |        0
808.17/808.42	c  808s |      19 |  1299022 |   444482 |    19498     57 |        0 |        0
810.17/810.44	c  810s |      19 |  1305857 |   445382 |    19498     57 |        0 |        0
812.27/812.51	c  812s |      19 |  1308316 |   446482 |    19498     57 |        0 |        0
814.27/814.59	c  814s |      19 |  1310930 |   447482 |    19498     57 |        0 |        0
816.47/816.76	c  816s |      19 |  1312107 |   448282 |    19498     58 |        0 |        0
818.57/818.81	c  818s |      19 |  1313317 |   449382 |    19498     58 |        0 |        0
820.66/820.93	c  820s |      19 |  1314410 |   450382 |    19498     58 |        0 |        0
822.76/823.06	c  822s |      19 |  1315754 |   451482 |    19498     58 |        0 |        0
824.77/825.10	c  824s |      19 |  1317347 |   452482 |    19498     58 |        0 |        0
826.97/827.25	c  827s |      19 |  1318784 |   453482 |    19498     58 |        0 |        0
829.06/829.30	c  829s |      19 |  1319967 |   454482 |    19498     58 |        0 |        0
831.06/831.37	c  831s |      19 |  1320961 |   455382 |    19498     58 |        0 |        0
833.36/833.64	c  833s |      19 |  1322684 |   456282 |    19498     58 |        0 |        0
835.46/835.79	c  835s |      19 |  1323748 |   456982 |    19498     58 |        0 |        0
837.65/837.94	c  837s |      19 |  1325237 |   457782 |    19498     58 |        0 |        0
839.65/839.96	c  839s |      19 |  1327133 |   458882 |    19498     59 |        0 |        0
841.75/842.03	c  841s |      19 |  1330805 |   460082 |    19498     59 |        0 |        0
843.95/844.23	c  844s |      19 |  1332433 |   461182 |    19498     59 |        0 |        0
846.15/846.45	c  846s |      19 |  1333521 |   462182 |    19498     59 |        0 |        0
848.25/848.55	c  848s |      19 |  1334517 |   463082 |    19498     59 |        0 |        0
850.45/850.71	c  850s |      19 |  1335532 |   463982 |    19498     59 |        0 |        0
852.65/852.92	c  852s |      19 |  1336526 |   464882 |    19498     59 |        0 |        0
854.75/855.08	c  854s |      19 |  1337381 |   465682 |    19498     59 |        0 |        0
856.84/857.19	c  857s |      19 |  1338373 |   466582 |    19498     59 |        0 |        0
858.95/859.29	c  859s |      19 |  1339483 |   467582 |    19498     59 |        0 |        0
861.15/861.41	c  861s |      19 |  1341237 |   468382 |    19498     60 |        0 |        0
863.24/863.51	c  863s |      19 |  1357019 |   469482 |    19498     60 |        0 |        0
865.44/865.73	c  865s |      19 |  1358526 |   470682 |    19498     60 |        0 |        0
867.44/867.75	c  867s |      19 |  1359290 |   471382 |    19498     60 |        0 |        0
869.54/869.85	c  869s |      19 |  1360366 |   472182 |    19498     60 |        0 |        0
871.63/871.92	c  871s |      19 |  1361863 |   473082 |    19498     60 |        0 |        0
873.63/873.95	c  873s |      19 |  1364626 |   474082 |    19498     60 |        0 |        0
875.63/875.96	c  875s |      19 |  1365620 |   474882 |    19498     60 |        0 |        0
877.73/878.03	c  877s |      19 |  1366826 |   475782 |    19498     60 |        0 |        0
879.93/880.21	c  880s |      19 |  1367800 |   476582 |    19498     60 |        0 |        0
882.12/882.44	c  882s |      19 |  1368919 |   477382 |    19498     60 |        0 |        0
884.32/884.62	c  884s |      19 |  1370209 |   478182 |    19498     61 |        0 |        0
886.52/886.81	c  886s |      19 |  1371276 |   479182 |    19498     61 |        0 |        0
888.63/888.98	c  888s |      19 |  1372355 |   480182 |    19498     61 |        0 |        0
890.72/891.02	c  890s |      19 |  1376728 |   481082 |    19498     61 |        0 |        0
892.82/893.15	c  893s |      19 |  1377802 |   482082 |    19498     61 |        0 |        0
895.02/895.34	c  895s |      19 |  1378857 |   483082 |    19498     61 |        0 |        0
897.02/897.36	c  897s |      19 |  1380572 |   483982 |    19498     61 |        0 |        0
899.22/899.59	c  899s |      19 |  1381873 |   484982 |    19498     61 |        0 |        0
901.31/901.65	c  901s |      19 |  1383713 |   485882 |    19498     61 |        0 |        0
903.41/903.76	c  903s |      19 |  1384667 |   486782 |    19498     61 |        0 |        0
905.51/905.82	c  905s |      19 |  1385625 |   487682 |    19498     61 |        0 |        0
907.61/907.96	c  907s |      19 |  1386720 |   488682 |    19498     62 |        0 |        0
909.81/910.13	c  910s |      19 |  1389065 |   489582 |    19498     62 |        0 |        0
912.00/912.36	c  912s |      19 |  1390073 |   490482 |    19498     62 |        0 |        0
914.00/914.39	c  914s |      19 |  1390930 |   491282 |    19498     62 |        0 |        0
916.20/916.55	c  916s |      19 |  1391897 |   492182 |    19498     62 |        0 |        0
918.61/918.92	c  918s |      19 |  1395045 |   493082 |    19498     62 |        0 |        0
920.71/921.09	c  920s |      19 |  1401456 |   494082 |    19498     62 |        0 |        0
922.91/923.20	c  923s |      19 |  1402420 |   494982 |    19498     62 |        0 |        0
924.91/925.23	c  925s |      19 |  1404429 |   495682 |    19498     62 |        0 |        0
927.01/927.31	c  927s |      19 |  1405189 |   496382 |    19498     62 |        0 |        0
929.00/929.32	c  929s |      19 |  1406787 |   497182 |    19498     62 |        0 |        0
931.20/931.57	c  931s |      19 |  1407807 |   497982 |    19498     63 |        0 |        0
933.40/933.71	c  933s |      19 |  1408863 |   498982 |    19498     63 |        0 |        0
935.40/935.74	c  935s |      19 |  1409821 |   499882 |    19498     63 |        0 |        0
937.40/937.78	c  937s |      19 |  1414747 |   500782 |    19498     63 |        0 |        0
939.60/939.99	c  939s |      19 |  1416435 |   501782 |    19498     63 |        0 |        0
941.79/942.10	c  941s |      19 |  1417624 |   502882 |    19498     63 |        0 |        0
943.89/944.21	c  944s |      19 |  1420608 |   503882 |    19498     63 |        0 |        0
945.99/946.37	c  946s |      19 |  1421883 |   504882 |    19498     63 |        0 |        0
948.09/948.43	c  948s |      19 |  1422859 |   505782 |    19498     63 |        0 |        0
950.29/950.62	c  950s |      19 |  1423958 |   506782 |    19498     63 |        0 |        0
952.49/952.80	c  952s |      19 |  1425225 |   507882 |    19498     63 |        0 |        0
954.49/954.84	c  954s |      19 |  1426326 |   508882 |    19498     64 |        0 |        0
956.49/956.89	c  956s |      19 |  1428359 |   510182 |    19498     64 |        0 |        0
958.59/958.92	c  958s |      19 |  1435352 |   511382 |    19498     64 |        0 |        0
960.59/960.94	c  960s |      19 |  1442509 |   512682 |    19498     64 |        0 |        0
962.68/963.05	c  962s |      19 |  1446074 |   513782 |    19498     64 |        0 |        0
964.88/965.23	c  965s |      19 |  1453008 |   514982 |    19498     64 |        0 |        0
966.88/967.26	c  967s |      19 |  1454220 |   516082 |    19498     64 |        0 |        0
969.08/969.44	c  969s |      19 |  1455426 |   517182 |    19498     64 |        0 |        0
971.09/971.49	c  971s |      19 |  1456389 |   518082 |    19498     65 |        0 |        0
973.19/973.59	c  973s |      19 |  1457681 |   519282 |    19498     65 |        0 |        0
975.28/975.60	c  975s |      19 |  1458861 |   520382 |    19498     65 |        0 |        0
977.28/977.69	c  977s |      19 |  1460061 |   521482 |    19498     65 |        0 |        0
979.48/979.82	c  979s |      19 |  1461134 |   522482 |    19498     65 |        0 |        0
981.47/981.89	c  981s |      19 |  1462216 |   523482 |    19498     65 |        0 |        0
983.57/983.94	c  983s |      19 |  1464361 |   524482 |    19498     65 |        0 |        0
985.67/986.05	c  985s |      19 |  1465601 |   525582 |    19498     65 |        0 |        0
987.67/988.09	c  987s |      19 |  1466918 |   526682 |    19498     65 |        0 |        0
989.78/990.15	c  990s |      19 |  1468059 |   527682 |    19498     65 |        0 |        0
991.88/992.29	c  992s |      19 |  1469397 |   528882 |    19498     66 |        0 |        0
993.97/994.39	c  994s |      19 |  1471163 |   530282 |    19498     66 |        0 |        0
996.07/996.40	c  996s |      19 |  1472325 |   531382 |    19498     66 |        0 |        0
998.17/998.59	c  998s |      19 |  1494123 |   532582 |    19498     66 |        0 |        0
1000.37/1000.77	c 1000s |      19 |  1496530 |   533382 |    19498     66 |        0 |        0
1002.47/1002.89	c 1002s |      19 |  1498455 |   534182 |    19498     66 |        0 |        0
1004.57/1004.92	c 1004s |      19 |  1499228 |   534882 |    19498     66 |        0 |        0
1006.67/1007.02	c 1006s |      19 |  1500249 |   535582 |    19498     66 |        0 |        0
1008.76/1009.14	c 1009s |      19 |  1501448 |   536382 |    19498     66 |        0 |        0
1010.96/1011.35	c 1011s |      19 |  1510858 |   537382 |    19498     66 |        0 |        0
1012.96/1013.36	c 1013s |      19 |  1511687 |   538082 |    19498     67 |        0 |        0
1015.06/1015.43	c 1015s |      19 |  1514449 |   539082 |    19498     67 |        0 |        0
1017.06/1017.43	c 1017s |      19 |  1515586 |   540082 |    19498     67 |        0 |        0
1019.16/1019.55	c 1019s |      19 |  1516728 |   541082 |    19498     67 |        0 |        0
1021.25/1021.61	c 1021s |      19 |  1517812 |   541982 |    19498     67 |        0 |        0
1023.25/1023.61	c 1023s |      19 |  1518678 |   542782 |    19498     67 |        0 |        0
1025.45/1025.89	c 1025s |      19 |  1519527 |   543582 |    19498     67 |        0 |        0
1027.75/1028.12	c 1028s |      19 |  1520387 |   544382 |    19498     67 |        0 |        0
1029.95/1030.32	c 1030s |      19 |  1521278 |   545182 |    19498     67 |        0 |        0
1031.95/1032.35	c 1032s |      19 |  1522043 |   545882 |    19498     67 |        0 |        0
1034.15/1034.57	c 1034s |      19 |  1522810 |   546582 |    19498     67 |        0 |        0
1036.45/1036.83	c 1036s |      19 |  1523594 |   547282 |    19498     67 |        0 |        0
1039.05/1039.40	c 1039s |      19 |  1524367 |   547982 |    19498     68 |        0 |        0
1041.24/1041.60	c 1041s |      19 |  1525255 |   548782 |    19498     68 |        0 |        0
1043.34/1043.75	c 1043s |      19 |  1539237 |   549882 |    19498     68 |        0 |        0
1045.34/1045.79	c 1045s |      19 |  1552528 |   550982 |    19498     68 |        0 |        0
1047.44/1047.88	c 1047s |      19 |  1554075 |   551982 |    19498     68 |        0 |        0
1049.54/1049.99	c 1049s |      19 |  1555541 |   552982 |    19498     68 |        0 |        0
1051.63/1052.09	c 1051s |      19 |  1556789 |   554082 |    19498     68 |        0 |        0
1053.83/1054.24	c 1054s |      19 |  1559234 |   554982 |    19498     68 |        0 |        0
1055.93/1056.37	c 1056s |      19 |  1565507 |   555782 |    19498     68 |        0 |        0
1058.13/1058.51	c 1058s |      19 |  1566429 |   556582 |    19498     68 |        0 |        0
1060.23/1060.66	c 1060s |      19 |  1567868 |   557382 |    19498     68 |        0 |        0
1062.33/1062.74	c 1062s |      19 |  1568754 |   557982 |    19498     69 |        0 |        0
1064.43/1064.85	c 1064s |      19 |  1571315 |   558982 |    19498     69 |        0 |        0
1066.43/1066.88	c 1066s |      19 |  1572413 |   559982 |    19498     69 |        0 |        0
1068.63/1069.04	c 1068s |      19 |  1573783 |   560982 |    19498     69 |        0 |        0
1070.72/1071.10	c 1070s |      19 |  1575103 |   561882 |    19498     69 |        0 |        0
1072.82/1073.28	c 1073s |      19 |  1576319 |   562782 |    19498     69 |        0 |        0
1075.12/1075.54	c 1075s |      19 |  1577416 |   563782 |    19498     69 |        0 |        0
1077.32/1077.79	c 1077s |      19 |  1578950 |   564682 |    19498     69 |        0 |        0
1079.52/1079.99	c 1079s |      19 |  1579816 |   565482 |    19498     69 |        0 |        0
1081.81/1082.20	c 1082s |      19 |  1580688 |   566282 |    19498     69 |        0 |        0
1083.91/1084.30	c 1084s |      19 |  1581453 |   566982 |    19498     69 |        0 |        0
1085.91/1086.33	c 1086s |      19 |  1582188 |   567682 |    19498     69 |        0 |        0
1087.91/1088.33	c 1088s |      19 |  1583905 |   568482 |    19498     70 |        0 |        0
1089.91/1090.34	c 1090s |      19 |  1585015 |   569482 |    19498     70 |        0 |        0
1092.02/1092.43	c 1092s |      19 |  1586103 |   570482 |    19498     70 |        0 |        0
1094.11/1094.57	c 1094s |      19 |  1593989 |   571482 |    19498     70 |        0 |        0
1096.31/1096.70	c 1096s |      19 |  1609948 |   572382 |    19498     70 |        0 |        0
1098.41/1098.87	c 1098s |      19 |  1612628 |   573082 |    19498     70 |        0 |        0
1100.60/1101.06	c 1100s |      19 |  1613413 |   573782 |    19498     70 |        0 |        0
1102.70/1103.18	c 1103s |      19 |  1614542 |   574482 |    19498     70 |        0 |        0
1104.80/1105.24	c 1105s |      19 |  1615215 |   575082 |    19498     70 |        0 |        0
1106.80/1107.27	c 1107s |      19 |  1615860 |   575682 |    19498     70 |        0 |        0
1109.00/1109.40	c 1109s |      19 |  1616542 |   576282 |    19498     70 |        0 |        0
1111.10/1111.57	c 1111s |      19 |  1617875 |   576882 |    19498     70 |        0 |        0
1113.40/1113.84	c 1113s |      19 |  1618548 |   577482 |    19498     70 |        0 |        0
1115.80/1116.20	c 1116s |      19 |  1619106 |   577982 |    19498     71 |        0 |        0
1118.00/1118.48	c 1118s |      19 |  1619885 |   578682 |    19498     71 |        0 |        0
1120.10/1120.58	c 1120s |      19 |  1620667 |   579382 |    19498     71 |        0 |        0
1122.29/1122.78	c 1122s |      19 |  1621559 |   580182 |    19498     71 |        0 |        0
1124.59/1125.06	c 1124s |      19 |  1622553 |   581082 |    19498     71 |        0 |        0
1126.69/1127.13	c 1127s |      19 |  1623432 |   581882 |    19498     71 |        0 |        0
1128.69/1129.16	c 1129s |      19 |  1624179 |   582582 |    19498     71 |        0 |        0
1130.89/1131.36	c 1131s |      19 |  1625170 |   583482 |    19498     71 |        0 |        0
1132.98/1133.40	c 1133s |      19 |  1626181 |   583982 |    19498     71 |        0 |        0
1135.08/1135.58	c 1135s |      19 |  1628532 |   584782 |    19498     71 |        0 |        0
1137.28/1137.75	c 1137s |      19 |  1629457 |   585582 |    19498     71 |        0 |        0
1139.48/1139.98	c 1139s |      19 |  1630424 |   586382 |    19498     71 |        0 |        0
1141.58/1142.05	c 1141s |      19 |  1631164 |   587082 |    19498     71 |        0 |        0
1143.88/1144.33	c 1144s |      19 |  1632161 |   587882 |    19498     72 |        0 |        0
1145.98/1146.45	c 1146s |      19 |  1633352 |   588982 |    19498     72 |        0 |        0
1148.08/1148.51	c 1148s |      19 |  1635094 |   590082 |    19498     72 |        0 |        0
1150.18/1150.68	c 1150s |      19 |  1636408 |   591282 |    19498     72 |        0 |        0
1152.38/1152.85	c 1152s |      19 |  1637746 |   592382 |    19498     72 |        0 |        0
1154.47/1154.96	c 1154s |      19 |  1638718 |   593282 |    19498     72 |        0 |        0
1156.57/1157.07	c 1156s |      19 |  1639694 |   594182 |    19498     72 |        0 |        0
1158.77/1159.26	c 1159s |      19 |  1640693 |   595082 |    19498     72 |        0 |        0
1160.87/1161.33	c 1161s |      19 |  1641557 |   595882 |    19498     72 |        0 |        0
1163.07/1163.50	c 1163s |      19 |  1642974 |   596782 |    19498     72 |        0 |        0
1165.17/1165.65	c 1165s |      19 |  1643966 |   597682 |    19498     72 |        0 |        0
1167.37/1167.86	c 1167s |      19 |  1652026 |   598582 |    19498     73 |        0 |        0
1169.46/1169.96	c 1169s |      19 |  1661766 |   599782 |    19498     73 |        0 |        0
1171.56/1172.03	c 1171s |      19 |  1679685 |   600982 |    19498     73 |        0 |        0
1173.76/1174.20	c 1174s |      19 |  1684175 |   601882 |    19498     73 |        0 |        0
1175.86/1176.32	c 1176s |      19 |  1685082 |   602682 |    19498     73 |        0 |        0
1178.06/1178.50	c 1178s |      19 |  1685968 |   603482 |    19498     73 |        0 |        0
1180.16/1180.70	c 1180s |      19 |  1686859 |   604282 |    19498     73 |        0 |        0
1182.25/1182.72	c 1182s |      19 |  1687645 |   604982 |    19498     73 |        0 |        0
1184.36/1184.83	c 1184s |      19 |  1688795 |   605682 |    19498     73 |        0 |        0
1186.35/1186.84	c 1186s |      19 |  1689458 |   606282 |    19498     73 |        0 |        0
1188.45/1188.93	c 1188s |      19 |  1690137 |   606882 |    19498     73 |        0 |        0
1190.55/1191.01	c 1190s |      19 |  1691352 |   607482 |    19498     73 |        0 |        0
1192.65/1193.12	c 1193s |      19 |  1692107 |   608182 |    19498     74 |        0 |        0
1194.75/1195.27	c 1195s |      19 |  1693063 |   609082 |    19498     74 |        0 |        0
1196.85/1197.39	c 1197s |      19 |  1693921 |   609882 |    19498     74 |        0 |        0
1198.95/1199.48	c 1199s |      19 |  1694825 |   610682 |    19498     74 |        0 |        0
1201.25/1201.73	c 1201s |      19 |  1695688 |   611482 |    19498     74 |        0 |        0
1203.45/1203.97	c 1203s |      19 |  1696599 |   612282 |    19498     74 |        0 |        0
1205.65/1206.13	c 1206s |      19 |  1697472 |   613082 |    19498     74 |        0 |        0
1207.65/1208.18	c 1208s |      19 |  1698369 |   613882 |    19498     74 |        0 |        0
1209.95/1210.42	c 1210s |      19 |  1699239 |   614682 |    19498     74 |        0 |        0
1211.94/1212.47	c 1212s |      19 |  1700008 |   615382 |    19498     74 |        0 |        0
1214.05/1214.54	c 1214s |      19 |  1700830 |   616082 |    19498     74 |        0 |        0
1216.04/1216.55	c 1216s |      19 |  1701482 |   616682 |    19498     74 |        0 |        0
1218.24/1218.78	c 1218s |      19 |  1702240 |   617382 |    19498     74 |        0 |        0
1220.54/1221.06	c 1220s |      19 |  1702998 |   618082 |    19498     75 |        0 |        0
1222.74/1223.28	c 1223s |      19 |  1703761 |   618782 |    19498     75 |        0 |        0
1224.83/1225.33	c 1225s |      19 |  1705387 |   619582 |    19498     75 |        0 |        0
1226.93/1227.43	c 1227s |      19 |  1719891 |   620382 |    19498     75 |        0 |        0
1229.23/1229.72	c 1229s |      19 |  1736666 |   621482 |    19498     75 |        0 |        0
1231.33/1231.88	c 1231s |      19 |  1739923 |   622182 |    19498     75 |        0 |        0
1233.43/1233.90	c 1233s |      19 |  1741093 |   622882 |    19498     75 |        0 |        0
1235.53/1236.04	c 1235s |      19 |  1741868 |   623582 |    19498     75 |        0 |        0
1237.63/1238.18	c 1238s |      19 |  1743030 |   624282 |    19498     75 |        0 |        0
1239.73/1240.21	c 1240s |      19 |  1743807 |   624982 |    19498     75 |        0 |        0
1241.83/1242.30	c 1242s |      19 |  1744584 |   625682 |    19498     75 |        0 |        0
1244.03/1244.51	c 1244s |      19 |  1745360 |   626382 |    19498     75 |        0 |        0
1246.23/1246.77	c 1246s |      19 |  1746027 |   626982 |    19498     75 |        0 |        0
1248.53/1249.06	c 1248s |      19 |  1746684 |   627582 |    19498     75 |        0 |        0
1250.83/1251.35	c 1251s |      19 |  1747242 |   628082 |    19498     76 |        0 |        0
1252.93/1253.40	c 1253s |      19 |  1747909 |   628682 |    19498     76 |        0 |        0
1255.03/1255.50	c 1255s |      19 |  1748561 |   629282 |    19498     76 |        0 |        0
1257.12/1257.68	c 1257s |      19 |  1749248 |   629882 |    19498     76 |        0 |        0
1259.22/1259.78	c 1259s |      19 |  1749908 |   630482 |    19498     76 |        0 |        0
1261.33/1261.81	c 1261s |      19 |  1750688 |   631182 |    19498     76 |        0 |        0
1263.32/1263.86	c 1263s |      19 |  1751464 |   631882 |    19498     76 |        0 |        0
1265.32/1265.87	c 1265s |      19 |  1752109 |   632482 |    19498     76 |        0 |        0
1267.62/1268.15	c 1268s |      19 |  1752861 |   633182 |    19498     76 |        0 |        0
1269.72/1270.27	c 1270s |      19 |  1753499 |   633782 |    19498     76 |        0 |        0
1272.02/1272.53	c 1272s |      19 |  1754946 |   634482 |    19498     76 |        0 |        0
1274.12/1274.64	c 1274s |      19 |  1755710 |   635182 |    19498     76 |        0 |        0
1276.42/1276.92	c 1276s |      19 |  1756466 |   635882 |    19498     76 |        0 |        0
1278.62/1279.18	c 1279s |      19 |  1757217 |   636582 |    19498     76 |        0 |        0
1281.02/1281.55	c 1281s |      19 |  1757868 |   637182 |    19498     76 |        0 |        0
1283.22/1283.71	c 1283s |      19 |  1758411 |   637682 |    19498     76 |        0 |        0
1285.52/1286.07	c 1285s |      19 |  1758841 |   638082 |    19498     77 |        0 |        0
1287.62/1288.16	c 1288s |      19 |  1760033 |   638782 |    19498     77 |        0 |        0
1289.71/1290.25	c 1290s |      19 |  1760938 |   639582 |    19498     77 |        0 |        0
1291.91/1292.45	c 1292s |      19 |  1761832 |   640382 |    19498     77 |        0 |        0
1293.91/1294.46	c 1294s |      19 |  1762612 |   641082 |    19498     77 |        0 |        0
1296.01/1296.53	c 1296s |      19 |  1763976 |   641782 |    19498     77 |        0 |        0
1298.11/1298.65	c 1298s |      19 |  1764641 |   642382 |    19498     77 |        0 |        0
1300.31/1300.88	c 1300s |      19 |  1765440 |   643082 |    19498     77 |        0 |        0
1302.51/1303.08	c 1302s |      19 |  1766118 |   643682 |    19498     77 |        0 |        0
1304.81/1305.30	c 1305s |      19 |  1766760 |   644282 |    19498     77 |        0 |        0
1307.01/1307.50	c 1307s |      19 |  1767408 |   644882 |    19498     77 |        0 |        0
1309.31/1309.85	c 1309s |      19 |  1768054 |   645482 |    19498     77 |        0 |        0
1311.41/1311.95	c 1311s |      19 |  1768609 |   645982 |    19498     77 |        0 |        0
1313.81/1314.39	c 1314s |      19 |  1769271 |   646582 |    19498     77 |        0 |        0
1315.91/1316.41	c 1316s |      19 |  1769799 |   647082 |    19498     77 |        0 |        0
1317.91/1318.45	c 1318s |      19 |  1770340 |   647582 |    19498     77 |        0 |        0
1320.11/1320.62	c 1320s |      19 |  1770789 |   647982 |    19498     78 |        0 |        0
1322.31/1322.85	c 1322s |      19 |  1771595 |   648682 |    19498     78 |        0 |        0
1324.31/1324.85	c 1324s |      19 |  1772257 |   649282 |    19498     78 |        0 |        0
1326.51/1327.06	c 1326s |      19 |  1773019 |   649982 |    19498     78 |        0 |        0
1328.51/1329.07	c 1328s |      19 |  1773564 |   650482 |    19498     78 |        0 |        0
1330.61/1331.19	c 1331s |      19 |  1774140 |   650982 |    19498     78 |        0 |        0
1332.71/1333.24	c 1333s |      19 |  1774679 |   651482 |    19498     78 |        0 |        0
1334.80/1335.32	c 1335s |      19 |  1775309 |   652082 |    19498     78 |        0 |        0
1336.90/1337.44	c 1337s |      19 |  1775856 |   652582 |    19498     78 |        0 |        0
1339.10/1339.61	c 1339s |      19 |  1776519 |   653182 |    19498     78 |        0 |        0
1341.10/1341.69	c 1341s |      19 |  1777051 |   653682 |    19498     78 |        0 |        0
1343.20/1343.76	c 1343s |      19 |  1777595 |   654182 |    19498     78 |        0 |        0
1345.50/1346.01	c 1345s |      19 |  1778229 |   654782 |    19498     78 |        0 |        0
1347.60/1348.18	c 1348s |      19 |  1778886 |   655382 |    19498     78 |        0 |        0
1349.70/1350.22	c 1350s |      19 |  1779529 |   655982 |    19498     78 |        0 |        0
1351.70/1352.27	c 1352s |      19 |  1780074 |   656482 |    19498     78 |        0 |        0
1353.71/1354.29	c 1354s |      19 |  1780620 |   656982 |    19498     78 |        0 |        0
1356.10/1356.66	c 1356s |      19 |  1781276 |   657582 |    19498     78 |        0 |        0
1358.20/1358.77	c 1358s |      19 |  1783250 |   658182 |    19498     79 |        0 |        0
1360.40/1360.97	c 1360s |      19 |  1784464 |   659282 |    19498     79 |        0 |        0
1362.51/1363.07	c 1362s |      19 |  1786005 |   660282 |    19498     79 |        0 |        0
1364.61/1365.11	c 1364s |      19 |  1787189 |   661282 |    19498     79 |        0 |        0
1366.81/1367.32	c 1367s |      19 |  1788320 |   662282 |    21448     79 |        0 |        0
1368.90/1369.41	c 1369s |      19 |  1789313 |   663182 |    21448     79 |        0 |        0
1370.90/1371.42	c 1371s |      19 |  1790299 |   664082 |    21448     79 |        0 |        0
1373.00/1373.52	c 1373s |      19 |  1791159 |   664882 |    21448     79 |        0 |        0
1375.00/1375.53	c 1375s |      19 |  1792028 |   665682 |    21448     79 |        0 |        0
1377.20/1377.77	c 1377s |      19 |  1793025 |   666582 |    21448     79 |        0 |        0
1377.80/1378.39	c 1378s |      20 |  1793290 |   666827 |    21448     79 |        0 |        0
1379.90/1380.41	c 1380s |      20 |  1805139 |   667627 |    21448     79 |        0 |        0
1382.20/1382.79	c 1382s |      20 |  1806527 |   668227 |    21448     79 |        0 |        0
1384.30/1384.86	c 1384s |      20 |  1823024 |   669127 |    21448     79 |        0 |        0
1386.90/1387.41	c 1387s |      20 |  1826854 |   669727 |    21448     80 |        0 |        0
1388.90/1389.48	c 1389s |      20 |  1832159 |   670427 |    21448     80 |        0 |        0
1390.89/1391.49	c 1391s |      20 |  1838328 |   671227 |    21448     80 |        0 |        0
1393.09/1393.69	c 1393s |      20 |  1841110 |   672327 |    21448     80 |        0 |        0
1395.40/1395.96	c 1395s |      20 |  1844035 |   673127 |    21448     80 |        0 |        0
1397.49/1398.07	c 1397s |      20 |  1846242 |   673927 |    21448     80 |        0 |        0
1399.59/1400.11	c 1399s |      20 |  1847162 |   674727 |    21448     80 |        0 |        0
1401.69/1402.28	c 1402s |      20 |  1848938 |   675527 |    21448     80 |        0 |        0
1403.99/1404.50	c 1404s |      20 |  1851813 |   676427 |    21448     80 |        0 |        0
1406.29/1406.83	c 1406s |      20 |  1854930 |   677227 |    21448     80 |        0 |        0
1408.49/1409.06	c 1408s |      20 |  1855789 |   677827 |    21448     80 |        0 |        0
1410.59/1411.16	c 1411s |      20 |  1857899 |   678427 |    21448     80 |        0 |        0
1412.79/1413.37	c 1413s |      20 |  1859683 |   679127 |    21448     80 |        0 |        0
1415.09/1415.63	c 1415s |      20 |  1861108 |   679827 |    21448     80 |        0 |        0
1417.09/1417.68	c 1417s |      20 |  1862540 |   680427 |    21448     80 |        0 |        0
1419.39/1419.93	c 1419s |      20 |  1865501 |   681127 |    21448     81 |        0 |        0
1421.39/1421.99	c 1421s |      20 |  1867833 |   682227 |    21448     81 |        0 |        0
1423.59/1424.18	c 1424s |      20 |  1869157 |   683427 |    21448     81 |        0 |        0
1425.89/1426.45	c 1426s |      20 |  1871515 |   684527 |    21448     81 |        0 |        0
1428.19/1428.76	c 1428s |      20 |  1872303 |   685227 |    21448     81 |        0 |        0
1430.49/1431.05	c 1430s |      20 |  1873031 |   685927 |    21448     81 |        0 |        0
1432.69/1433.21	c 1433s |      20 |  1874164 |   686727 |    21448     81 |        0 |        0
1434.89/1435.45	c 1435s |      20 |  1874967 |   687227 |    21448     81 |        0 |        0
1436.99/1437.56	c 1437s |      20 |  1875526 |   687727 |    21448     81 |        0 |        0
1439.29/1439.82	c 1439s |      20 |  1876750 |   688427 |    21448     81 |        0 |        0
1441.39/1441.93	c 1441s |      20 |  1877621 |   689227 |    21448     81 |        0 |        0
1443.59/1444.15	c 1444s |      20 |  1879609 |   690027 |    21448     81 |        0 |        0
1445.89/1446.44	c 1446s |      20 |  1880375 |   690727 |    21448     81 |        0 |        0
1448.08/1448.63	c 1448s |      20 |  1881449 |   691327 |    21448     82 |        0 |        0
1450.18/1450.70	c 1450s |      20 |  1884281 |   692227 |    21448     82 |        0 |        0
1452.38/1452.91	c 1452s |      20 |  1886490 |   693027 |    21448     82 |        0 |        0
1454.68/1455.20	c 1455s |      20 |  1887680 |   693827 |    21448     82 |        0 |        0
1456.88/1457.40	c 1457s |      20 |  1888980 |   694527 |    21448     82 |        0 |        0
1458.88/1459.42	c 1459s |      20 |  1889721 |   695227 |    21448     82 |        0 |        0
1460.98/1461.53	c 1461s |      20 |  1891293 |   695927 |    21448     82 |        0 |        0
1462.98/1463.54	c 1463s |      20 |  1892137 |   696627 |    21448     82 |        0 |        0
1464.98/1465.55	c 1465s |      20 |  1893124 |   697227 |    21448     82 |        0 |        0
1466.99/1467.55	c 1467s |      20 |  1894168 |   698027 |    21448     82 |        0 |        0
1469.38/1469.94	c 1469s |      20 |  1895009 |   698627 |    21448     82 |        0 |        0
1471.58/1472.11	c 1471s |      20 |  1896434 |   699427 |    21448     82 |        0 |        0
1473.78/1474.37	c 1474s |      20 |  1897617 |   700027 |    21448     82 |        0 |        0
1475.98/1476.52	c 1476s |      20 |  1898340 |   700627 |    21448     82 |        0 |        0
1478.08/1478.64	c 1478s |      20 |  1901301 |   701327 |    21448     82 |        0 |        0
1480.38/1480.91	c 1480s |      20 |  1902045 |   702027 |    21448     82 |        0 |        0
1482.48/1483.04	c 1482s |      20 |  1904314 |   702727 |    21448     83 |        0 |        0
1484.59/1485.11	c 1484s |      20 |  1906998 |   703827 |    21448     83 |        0 |        0
1486.69/1487.27	c 1487s |      20 |  1910844 |   704727 |    21448     83 |        0 |        0
1488.78/1489.34	c 1489s |      20 |  1911879 |   705627 |    21448     83 |        0 |        0
1490.98/1491.60	c 1491s |      20 |  1912867 |   706527 |    21448     83 |        0 |        0
1493.18/1493.74	c 1493s |      20 |  1914080 |   707427 |    21448     83 |        0 |        0
1495.28/1495.86	c 1495s |      20 |  1915160 |   708427 |    21448     83 |        0 |        0
1497.48/1498.07	c 1497s |      20 |  1916153 |   709327 |    21448     83 |        0 |        0
1499.58/1500.12	c 1500s |      20 |  1917010 |   710127 |    21448     83 |        0 |        0
1501.68/1502.25	c 1502s |      20 |  1917880 |   710927 |    21448     83 |        0 |        0
1503.78/1504.39	c 1504s |      20 |  1918750 |   711727 |    21448     83 |        0 |        0
1505.88/1506.40	c 1506s |      20 |  1919499 |   712427 |    21448     83 |        0 |        0
1508.08/1508.61	c 1508s |      20 |  1920255 |   713127 |    21448     83 |        0 |        0
1510.18/1510.70	c 1510s |      20 |  1921034 |   713827 |    21448     84 |        0 |        0
1512.18/1512.74	c 1512s |      20 |  1930608 |   714627 |    21448     84 |        0 |        0
1514.28/1514.89	c 1514s |      20 |  1937291 |   715927 |    21448     84 |        0 |        0
1516.38/1516.91	c 1516s |      20 |  1939753 |   716827 |    21448     84 |        0 |        0
1518.37/1518.96	c 1518s |      20 |  1941731 |   717627 |    21448     84 |        0 |        0
1520.47/1521.01	c 1520s |      20 |  1942800 |   718427 |    21448     84 |        0 |        0
1522.47/1523.08	c 1522s |      20 |  1946231 |   719027 |    21448     84 |        0 |        0
1524.57/1525.18	c 1525s |      20 |  1947558 |   719727 |    21448     84 |        0 |        0
1526.67/1527.23	c 1527s |      20 |  1948374 |   720327 |    21448     84 |        0 |        0
1528.77/1529.35	c 1529s |      20 |  1949011 |   720927 |    21448     84 |        0 |        0
1530.97/1531.55	c 1531s |      20 |  1950467 |   721627 |    21448     84 |        0 |        0
1533.07/1533.64	c 1533s |      20 |  1952108 |   722727 |    21448     84 |        0 |        0
1535.27/1535.89	c 1535s |      20 |  1955240 |   723527 |    21448     84 |        0 |        0
1537.57/1538.10	c 1537s |      20 |  1957718 |   724227 |    21448     84 |        0 |        0
1539.67/1540.25	c 1540s |      20 |  1958618 |   725027 |    21448     85 |        0 |        0
1541.87/1542.46	c 1542s |      20 |  1959793 |   726127 |    21448     85 |        0 |        0
1543.98/1544.59	c 1544s |      20 |  1960842 |   727127 |    21448     85 |        0 |        0
1546.08/1546.63	c 1546s |      20 |  1961866 |   728027 |    21448     85 |        0 |        0
1548.07/1548.66	c 1548s |      20 |  1962870 |   728927 |    21448     85 |        0 |        0
1550.27/1550.86	c 1550s |      20 |  1963844 |   729827 |    21448     85 |        0 |        0
1552.47/1553.04	c 1552s |      20 |  1964859 |   730727 |    21448     85 |        0 |        0
1554.67/1555.23	c 1555s |      20 |  1965715 |   731527 |    21448     85 |        0 |        0
1556.87/1557.40	c 1557s |      20 |  1966978 |   732327 |    21448     85 |        0 |        0
1559.07/1559.62	c 1559s |      20 |  1967901 |   733127 |    21448     85 |        0 |        0
1561.27/1561.86	c 1561s |      20 |  1969692 |   733927 |    21448     85 |        0 |        0
1563.57/1564.11	c 1563s |      20 |  1970469 |   734627 |    21448     85 |        0 |        0
1565.77/1566.33	c 1566s |      20 |  1971227 |   735327 |    21448     86 |        0 |        0
1567.77/1568.36	c 1568s |      20 |  1981999 |   736227 |    21448     86 |        0 |        0
1569.97/1570.53	c 1570s |      20 |  1983032 |   737127 |    21448     86 |        0 |        0
1572.07/1572.63	c 1572s |      20 |  1984387 |   738227 |    21448     86 |        0 |        0
1574.26/1574.87	c 1574s |      20 |  1985651 |   739227 |    21448     86 |        0 |        0
1576.46/1577.07	c 1576s |      20 |  1987010 |   740027 |    21448     86 |        0 |        0
1578.56/1579.10	c 1578s |      20 |  1994137 |   740927 |    21448     86 |        0 |        0
1580.66/1581.25	c 1581s |      20 |  1995285 |   741927 |    21448     86 |        0 |        0
1582.66/1583.29	c 1583s |      20 |  1996666 |   742827 |    21448     86 |        0 |        0
1584.76/1585.35	c 1585s |      20 |  1997726 |   743627 |    21448     86 |        0 |        0
1586.87/1587.47	c 1587s |      20 |  1998258 |   744127 |    21448     86 |        0 |        0
1589.26/1589.82	c 1589s |      20 |  1998889 |   744727 |    21448     86 |        0 |        0
1591.36/1591.95	c 1591s |      20 |  1999439 |   745227 |    21448     86 |        0 |        0
1593.37/1593.98	c 1593s |      20 |  1999994 |   745727 |    21448     86 |        0 |        0
1595.57/1596.16	c 1596s |      20 |  2000533 |   746227 |    21448     86 |        0 |        0
1597.66/1598.22	c 1598s |      20 |  2001084 |   746727 |    21448     87 |        0 |        0
1599.76/1600.35	c 1600s |      20 |  2001906 |   747427 |    21448     87 |        0 |        0
1601.76/1602.36	c 1602s |      20 |  2004064 |   748127 |    21448     87 |        0 |        0
1603.76/1604.37	c 1604s |      20 |  2004864 |   748827 |    21448     87 |        0 |        0
1605.86/1606.45	c 1606s |      20 |  2005755 |   749627 |    21448     87 |        0 |        0
1607.86/1608.46	c 1608s |      20 |  2007231 |   750427 |    21448     87 |        0 |        0
1609.87/1610.50	c 1610s |      20 |  2011477 |   751127 |    21448     87 |        0 |        0
1612.17/1612.79	c 1612s |      20 |  2012880 |   751727 |    21448     87 |        0 |        0
1614.46/1615.08	c 1614s |      20 |  2014259 |   752327 |    21448     87 |        0 |        0
1616.57/1617.16	c 1617s |      20 |  2015436 |   752927 |    21448     87 |        0 |        0
1618.96/1619.54	c 1619s |      20 |  2016772 |   753627 |    21448     87 |        0 |        0
1621.06/1621.69	c 1621s |      20 |  2017648 |   754227 |    21448     87 |        0 |        0
1623.16/1623.78	c 1623s |      20 |  2018889 |   754927 |    21448     87 |        0 |        0
1625.46/1626.06	c 1625s |      20 |  2020045 |   755527 |    21448     87 |        0 |        0
1627.66/1628.26	c 1628s |      20 |  2021281 |   756127 |    21448     87 |        0 |        0
1630.36/1630.99	c 1630s |      20 |  2022545 |   756827 |    21448     88 |        0 |        0
1632.46/1633.06	c 1632s |      20 |  2023375 |   757527 |    21448     88 |        0 |        0
1634.56/1635.19	c 1635s |      20 |  2024630 |   758427 |    21448     88 |        0 |        0
1636.66/1637.24	c 1637s |      20 |  2026444 |   759327 |    21448     88 |        0 |        0
1638.65/1639.27	c 1639s |      20 |  2027287 |   760027 |    21448     88 |        0 |        0
1640.76/1641.32	c 1641s |      20 |  2028776 |   760827 |    21448     88 |        0 |        0
1642.96/1643.52	c 1643s |      20 |  2030049 |   761527 |    21448     88 |        0 |        0
1644.95/1645.54	c 1645s |      20 |  2030699 |   762127 |    21448     88 |        0 |        0
1647.26/1647.82	c 1647s |      20 |  2032005 |   762927 |    21448     88 |        0 |        0
1649.46/1650.07	c 1649s |      20 |  2034507 |   763927 |    21448     88 |        0 |        0
1651.76/1652.33	c 1652s |      20 |  2035934 |   764527 |    21448     88 |        0 |        0
1653.75/1654.35	c 1654s |      20 |  2036580 |   765127 |    21448     88 |        0 |        0
1655.95/1656.59	c 1656s |      20 |  2037947 |   765827 |    21448     88 |        0 |        0
1658.26/1658.87	c 1658s |      20 |  2038668 |   766527 |    21448     88 |        0 |        0
1660.35/1660.91	c 1660s |      20 |  2039708 |   767427 |    21448     88 |        0 |        0
1662.66/1663.20	c 1663s |      20 |  2040666 |   768127 |    21448     89 |        0 |        0
1664.86/1665.43	c 1665s |      20 |  2041970 |   769227 |    21448     89 |        0 |        0
1667.06/1667.60	c 1667s |      20 |  2044994 |   770227 |    21448     89 |        0 |        0
1669.15/1669.70	c 1669s |      20 |  2051645 |   771027 |    21448     89 |        0 |        0
1671.15/1671.79	c 1671s |      20 |  2053032 |   771927 |    21448     89 |        0 |        0
1673.25/1673.84	c 1673s |      20 |  2054346 |   773027 |    21448     89 |        0 |        0
1675.45/1676.05	c 1675s |      20 |  2055583 |   774127 |    21448     89 |        0 |        0
1677.55/1678.10	c 1677s |      20 |  2066614 |   775127 |    21448     89 |        0 |        0
1679.55/1680.14	c 1680s |      20 |  2069668 |   776127 |    21448     89 |        0 |        0
1681.65/1682.22	c 1682s |      20 |  2070806 |   776927 |    21448     89 |        0 |        0
1683.65/1684.28	c 1684s |      20 |  2072761 |   777627 |    21448     89 |        0 |        0
1685.75/1686.36	c 1686s |      20 |  2073580 |   778327 |    21448     89 |        0 |        0
1688.15/1688.74	c 1688s |      20 |  2074543 |   779027 |    21448     89 |        0 |        0
1690.45/1691.02	c 1690s |      20 |  2075214 |   779627 |    21448     90 |        0 |        0
1692.55/1693.17	c 1693s |      20 |  2076899 |   780727 |    21448     90 |        0 |        0
1694.55/1695.19	c 1695s |      20 |  2078287 |   781727 |    21448     90 |        0 |        0
1696.85/1697.45	c 1697s |      20 |  2079237 |   782627 |    21448     90 |        0 |        0
1698.84/1699.50	c 1699s |      20 |  2080984 |   783427 |    21448     90 |        0 |        0
1700.94/1701.50	c 1701s |      20 |  2082465 |   784127 |    21448     90 |        0 |        0
1702.94/1703.57	c 1703s |      20 |  2085557 |   784827 |    21448     90 |        0 |        0
1705.14/1705.79	c 1705s |      20 |  2086748 |   785627 |    21448     90 |        0 |        0
1707.54/1708.11	c 1707s |      20 |  2087499 |   786327 |    21448     90 |        0 |        0
1709.54/1710.12	c 1709s |      20 |  2088292 |   786827 |    21448     90 |        0 |        0
1711.84/1712.41	c 1712s |      20 |  2088930 |   787427 |    21448     90 |        0 |        0
1713.94/1714.53	c 1714s |      20 |  2089747 |   788027 |    21448     90 |        0 |        0
1716.34/1716.90	c 1716s |      20 |  2090371 |   788627 |    21448     90 |        0 |        0
1718.44/1719.05	c 1718s |      20 |  2090896 |   789127 |    21448     90 |        0 |        0
1720.84/1721.42	c 1721s |      20 |  2091871 |   789727 |    21448     90 |        0 |        0
1723.04/1723.66	c 1723s |      20 |  2092390 |   790227 |    21448     91 |        0 |        0
1725.14/1725.71	c 1725s |      20 |  2093432 |   791027 |    21448     91 |        0 |        0
1727.14/1727.72	c 1727s |      20 |  2094269 |   791827 |    21448     91 |        0 |        0
1729.24/1729.86	c 1729s |      20 |  2095139 |   792627 |    21448     91 |        0 |        0
1731.44/1732.05	c 1731s |      20 |  2096096 |   793327 |    21448     91 |        0 |        0
1733.54/1734.17	c 1734s |      20 |  2097297 |   794127 |    21448     91 |        0 |        0
1735.74/1736.37	c 1736s |      20 |  2098618 |   794927 |    21448     91 |        0 |        0
1738.04/1738.60	c 1738s |      20 |  2100145 |   795827 |    21448     91 |        0 |        0
1740.14/1740.72	c 1740s |      20 |  2101549 |   796727 |    21448     91 |        0 |        0
1742.24/1742.83	c 1742s |      20 |  2108368 |   797627 |    21448     91 |        0 |        0
1744.44/1745.02	c 1744s |      20 |  2109292 |   798427 |    21448     91 |        0 |        0
1746.54/1747.12	c 1747s |      20 |  2110162 |   799127 |    21448     91 |        0 |        0
1748.54/1749.14	c 1749s |      20 |  2110971 |   799827 |    21448     91 |        0 |        0
1750.54/1751.15	c 1751s |      20 |  2111784 |   800527 |    21448     91 |        0 |        0
1752.54/1753.18	c 1753s |      20 |  2112457 |   801127 |    21448     92 |        0 |        0
1754.54/1755.19	c 1755s |      20 |  2113462 |   802027 |    21448     92 |        0 |        0
1756.65/1757.26	c 1757s |      20 |  2114410 |   802827 |    21448     92 |        0 |        0
1758.94/1759.52	c 1759s |      20 |  2115441 |   803727 |    21448     92 |        0 |        0
1761.24/1761.80	c 1761s |      20 |  2116498 |   804627 |    21448     92 |        0 |        0
1763.44/1764.02	c 1763s |      20 |  2117433 |   805427 |    21448     92 |        0 |        0
1765.54/1766.16	c 1766s |      20 |  2118706 |   806127 |    21448     92 |        0 |        0
1767.54/1768.16	c 1768s |      20 |  2119509 |   806827 |    21448     92 |        0 |        0
1769.54/1770.19	c 1770s |      20 |  2120417 |   807627 |    21448     92 |        0 |        0
1771.74/1772.34	c 1772s |      20 |  2134894 |   808527 |    21448     92 |        0 |        0
1773.94/1774.50	c 1774s |      20 |  2136323 |   809427 |    21448     92 |        0 |        0
1776.14/1776.70	c 1776s |      20 |  2146455 |   810327 |    21448     92 |        0 |        0
1778.25/1778.88	c 1778s |      20 |  2147362 |   811127 |    21448     92 |        0 |        0
1780.54/1781.14	c 1781s |      20 |  2148240 |   811927 |    21448     92 |        0 |        0
1782.65/1783.21	c 1783s |      20 |  2149170 |   812727 |    21448     93 |        0 |        0
1784.64/1785.24	c 1785s |      20 |  2150190 |   813627 |    21448     93 |        0 |        0
1786.64/1787.24	c 1787s |      20 |  2162031 |   814627 |    21448     93 |        0 |        0
1788.74/1789.38	c 1789s |      20 |  2164025 |   815527 |    21448     93 |        0 |        0
1790.84/1791.49	c 1791s |      20 |  2165413 |   816727 |    21448     93 |        0 |        0
1792.94/1793.53	c 1793s |      20 |  2166698 |   817827 |    21448     93 |        0 |        0
1795.24/1795.81	c 1795s |      20 |  2168569 |   818927 |    21448     93 |        0 |        0
1797.44/1798.03	c 1797s |      20 |  2169442 |   819527 |    21448     93 |        0 |        0
1799.64/1800.20	c 1800s |      20 |  2170096 |   820127 |    21448     93 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090163-1466038508/watcher-4090163-1466038508 -o /tmp/evaluation-result-4090163-1466038508/solver-4090163-1466038508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090163-1466038508.opb 

pid=9311
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.37 2.32 2.27 3/179 9314
/proc/meminfo: memFree=29396452/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 2583 0 0 0 0 0 0 0 20 0 4 0 5897255 710340608 2944 33554432000 4194304 16246674 140735067828736 140735067828160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 174191 2954 441 2943 0 171085 0
[pid=9314/tid=9315] ppid=9311 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 728166400 3013 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=716220 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 733409280 3030 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=720316 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5897255 737603584 3045 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.37 2.32 2.27 3/179 9314
/proc/meminfo: memFree=29396452/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 20775 0 0 0 6 3 0 0 20 0 4 0 5897255 1250496512 21074 33554432000 4194304 16246674 140735067828736 140735067828048 12477921 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 305297 21074 833 2943 0 302191 0
[pid=9314/tid=9315] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 21074 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 21074 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 21074 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200517 s]
/proc/loadavg: 2.37 2.32 2.27 3/179 9314
/proc/meminfo: memFree=29396452/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 36879 0 0 0 14 5 0 0 20 0 4 0 5897255 1250496512 37179 33554432000 4194304 16246674 140735067828736 140735067810624 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 305297 37188 871 2943 0 302191 0
[pid=9314/tid=9315] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 37191 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 37197 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 37200 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1221188

[startup+0.30047 s]
/proc/loadavg: 2.37 2.32 2.27 3/179 9314
/proc/meminfo: memFree=29396452/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 54601 0 0 0 22 7 0 0 20 0 4 0 5897255 1250496512 54900 33554432000 4194304 16246674 140735067828736 140735067810624 13965592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 305297 54909 871 2943 0 302191 0
[pid=9314/tid=9315] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 54915 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 54920 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 54926 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700353 s]
/proc/loadavg: 2.37 2.32 2.27 3/179 9314
/proc/meminfo: memFree=29396452/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 123702 0 0 0 53 16 0 0 20 0 4 0 5897255 1250496512 124001 33554432000 4194304 16246674 140735067828736 140735067810624 5668673 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 305297 124007 871 2943 0 302191 0
[pid=9314/tid=9315] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 124012 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 124016 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5897255 1250496512 124020 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50038 s]
/proc/loadavg: 2.37 2.32 2.27 3/183 9318
/proc/meminfo: memFree=28628020/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 257753 0 0 0 114 35 0 0 20 0 4 0 5897255 1332285440 258052 33554432000 4194304 16246674 140735067828736 140735067828048 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 325265 258060 874 2943 0 322159 0
[pid=9314/tid=9315] ppid=9311 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1332285440 258065 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1332285440 258070 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1332285440 258076 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.37 2.32 2.27 3/183 9318
/proc/meminfo: memFree=28330296/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 267733 0 0 0 273 36 0 0 20 0 4 0 5897255 1338576896 268032 33554432000 4194304 16246674 140735067828736 140735067810624 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 326801 268032 874 2943 0 323695 0
[pid=9314/tid=9315] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268032 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268032 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268032 33554432000 4194304 16246674 140735067828736 140608886787248 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.3004 s]
/proc/loadavg: 2.34 2.32 2.26 3/183 9318
/proc/meminfo: memFree=28323636/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 267975 0 0 0 593 36 0 0 20 0 4 0 5897255 1338576896 268274 33554432000 4194304 16246674 140735067828736 140735067810624 5823508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 326801 268274 877 2943 0 323695 0
[pid=9314/tid=9315] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268274 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268274 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268274 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.31 2.31 2.26 4/183 9318
/proc/meminfo: memFree=28323524/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 267984 0 0 0 1233 36 0 0 20 0 4 0 5897255 1338576896 268283 33554432000 4194304 16246674 140735067828736 140735067810624 6861584 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 326801 268283 884 2943 0 323695 0
[pid=9314/tid=9315] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268283 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268283 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1338576896 268283 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.31 2.31 2.26 3/183 9318
/proc/meminfo: memFree=28321676/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 268496 0 0 0 2512 36 0 0 20 0 4 0 5897255 1340674048 268795 33554432000 4194304 16246674 140735067828736 140735067810624 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 327313 268795 884 2943 0 324207 0
[pid=9314/tid=9315] ppid=9311 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1340674048 268795 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1340674048 268795 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1340674048 268795 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.20 2.29 2.26 3/183 9318
/proc/meminfo: memFree=28313700/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 270480 0 0 0 5071 37 0 0 20 0 4 0 5897255 1349062656 270779 33554432000 4194304 16246674 140735067828736 140735067810624 5723564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 329361 270779 884 2943 0 326255 0
[pid=9314/tid=9315] ppid=9311 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1349062656 270779 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1349062656 270779 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1349062656 270779 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1317444

[startup+102.3 s]
/proc/loadavg: 2.27 2.30 2.26 4/183 9319
/proc/meminfo: memFree=28298172/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1327684 CPUtime=102.27 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 273105 0 0 0 10190 37 0 0 20 0 4 0 5897255 1359548416 273404 33554432000 4194304 16246674 140735067828736 140735067810624 5546177 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9314/statm: 331921 273404 885 2943 0 328815 0
[pid=9314/tid=9315] ppid=9311 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1359548416 273404 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1359548416 273404 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1359548416 273404 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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

/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278271 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1347140

[startup+1302.3 s]
/proc/loadavg: 2.25 2.24 2.25 3/184 9373
/proc/meminfo: memFree=28255800/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1301.81 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 130138 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 6026640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1347140

[startup+1362.3 s]
/proc/loadavg: 2.30 2.27 2.26 3/184 9374
/proc/meminfo: memFree=28255684/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1361.8 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 136137 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1347140

[startup+1422.3 s]
/proc/loadavg: 2.25 2.26 2.26 3/183 9375
/proc/meminfo: memFree=28255692/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1421.8 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 142137 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1347140

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.25 3/184 9377
/proc/meminfo: memFree=28255552/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1481.78 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 148135 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1347140

[startup+1542.31 s]
/proc/loadavg: 1.80 2.13 2.21 2/175 9411
/proc/meminfo: memFree=29411136/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1541.78 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 154135 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1347140

[startup+1602.3 s]
/proc/loadavg: 1.51 1.98 2.16 2/174 9412
/proc/meminfo: memFree=29411352/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1601.76 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 160133 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 13927320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1347140

[startup+1662.3 s]
/proc/loadavg: 1.35 1.86 2.10 2/174 9413
/proc/meminfo: memFree=29411876/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1661.75 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 166132 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1347140

[startup+1722.3 s]
/proc/loadavg: 1.17 1.72 2.03 2/174 9414
/proc/meminfo: memFree=29411964/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1721.74 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 172131 43 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1347140

[startup+1782.3 s]
/proc/loadavg: 1.16 1.61 1.98 2/174 9416
/proc/meminfo: memFree=29411616/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1781.74 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 178130 44 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 6078617 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1347140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.28 1.61 1.97 2/179 9558
/proc/meminfo: memFree=29381384/32872528 swapFree=1369816/1516984
[pid=9314] ppid=9311 vsize=1347140 CPUtime=1800.04 cores=0,2,4,6
/proc/9314/stat : 9314 (toysat) R 9311 9314 5822 0 -1 4202496 278436 0 0 0 179960 44 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140735067810624 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9314/statm: 336785 278272 886 2943 0 333679 0
[pid=9314/tid=9315] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9315/stat : 9315 (toysat) S 9311 9314 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608907750640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=9314/tid=9316] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9316/stat : 9316 (toysat) S 9311 9314 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608897260784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=9314/tid=9317] ppid=9311 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/9314/task/9317/stat : 9317 (toysat) S 9311 9314 5822 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5897255 1379471360 278272 33554432000 4194304 16246674 140735067828736 140608886787248 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) 1347140

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.61
CPU system time (s): 0.441932
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1347140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.441932
maximum resident set size= 1113088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 482
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67829 second user time and 6.83896 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 02:55:08
IDJOB=4090163
IDBENCH=107510
IDSOLVER=2542
FILE ID=node129/4090163-1466038508
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-almost3reg-l050-r049-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090163-1466038508/watcher-4090163-1466038508 -o /tmp/evaluation-result-4090163-1466038508/solver-4090163-1466038508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090163-1466038508.opb

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

MD5SUM BENCH= 00f7c97be89ae1c327af521c085abc33
RANDOM SEED=1377769656

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29396832 kB
Buffers:           42732 kB
Cached:            82040 kB
SwapCached:        20160 kB
Active:          1174468 kB
Inactive:          79668 kB
Active(anon):    1111900 kB
Inactive(anon):    20108 kB
Active(file):      62568 kB
Inactive(file):    59560 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081548 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2633800 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             567232 kB
SReclaimable:      11620 kB
SUnreclaim:       555612 kB
KernelStack:        1520 kB
PageTables:         8828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2772036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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= 71720 MiB
End job on node129 at 2016-06-16 03:25:08