Trace number 4102905

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUMfad56081e554a0467e4020315c4dfc76
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
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 4000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
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-18T08:35:32+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-4102905-1466231732.opb"]
0.00/0.01	c use --random-gen="2485298500 3898845313 3731434659 1284799988 2312451212 2387420834 3080089027 803815651 3240023154 305003561 3513564370 2356938620 3764914771 2486777925 273164660 1674295221 1469465461 597861024 3382391507 368948868 914693178 2207956687 643755718 897347660 971490201 2426112985 3947258684 3910170985 747737206 3276155846 1200925774 3001351187 260415827 1027771863 3519704698 3906252800 3193524996 713992823 246023498 2591776484 1948028502 2464829071 490114781 3527547954 104456686 2618439694 153788677 2340546386 1117201716 3074182170 3956320822 293379707 3368050470 1764907022 4188684059 642564687 2211302529 687448052 2089953850 2186185642 2882193055 2828047300 275889079 2579099751 1644857505 3127192745 747810058 2165756687 3384830899 3530031955 2853672322 1222992127 1339748909 3970461363 4291154446 1555514433 1423586620 3236888364 4254235727 3333671614 2662387668 1041804296 1528257854 4210931453 2515492214 3717585302 1409544388 3471206785 3081870469 1700424536 2868438249 579439296 294662651 2008372362 2134669237 3519228448 47571050 3562267519 657743844 2725601489 2727258800 881177726 2969706603 2166946030 484496827 4286248613 624139826 210817358 3106854995 314460513 284423832 1926087306 1147906429 3774031197 2938457881 3054923474 141504218 1301746581 2345505399 2015121703 909874916 213015036 946959253 3460004007 1132854931 459437749 402380579 2547310699 218395093 1308770977 317912830 1716699165 836612886 586451895 1710222644 2497527336 351157502 2717402145 915831733 3330516443 1331978394 2296887128 1947511443 4254248156 1291625067 3425516803 834817883 1164529074 1467160992 2736930066 2317839607 93473373 1434649083 3514330501 1763422249 138435619 724324495 3057146193 629193891 3890791786 2308372354 2038449304 2079603146 598331665 1649726703 162784493 3659484358 1598964476 2508179559 3330297618 296037808 2508721860 3042874049 2627340655 2458201837 3924839867 3280904172 608597857 3964852885 3091054844 3948209597 3823002473 380822219 1171806323 734580881 1885129030 4267433240 3323950856 2218091832 1652550587 3533169180 2024475339 3703958934 460333838 733495779 3133047089 2299752833 3347703858 2465337616 3987652854 4088906804 1060519126 3250015554 2104590469 4275894885 4174391822 3675498275 1991639288 994324027 1031864685 1702311068 130205741 908308968 1555235586 3335244920 2254948676 3783437751 1169072761 59697796 3232057921 43554112 3490004673 2624803725 979139235 1499968273 307117717 467581036 4231099164 3904366251 408359000 3276886174 2482811070 662650705 932838727 640468060 2677273275 1688701428 3824078708 3758817806 3717197621 2315763989 3491973136 2306650581 977715612 3348605656 970700405 679719279 3987034499 1702403171 3193534043 4131883341 1561675637 1490710789 2850712051 3005198566 4050446560 255 362436" option to reproduce the execution
0.09/0.10	c #vars 4000
0.09/0.10	c #constraints 10500
0.18/0.23	c BCD2: Hardening is enabled.
0.18/0.23	c BCD2: BiasedSearch is enabled.
0.18/0.23	c Solving starts ...
0.18/0.23	c ============================[ Search Statistics ]============================
0.18/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.18/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.18/0.23	c =============================================================================
0.18/0.23	c  0.0s |       0 |        0 |        0 |     4833      0 |        0 |        0
0.29/0.35	c  0.1s |       1 |      365 |      100 |     4833      0 |        0 |        0
0.49/0.52	c  0.3s |       2 |      753 |      250 |     5317      0 |        0 |        0
0.78/0.84	c  0.6s |       3 |     1206 |      475 |     5849      0 |        0 |        0
1.20/1.23	c  1.0s |       4 |     1774 |      813 |     6434      0 |        0 |        0
1.68/1.78	c  1.6s |       5 |     2558 |     1320 |     7078      0 |        0 |        0
2.48/2.54	c  2.3s |       6 |     3695 |     2081 |     8565      0 |        0 |        0
3.78/3.80	c  3.6s |       7 |     5258 |     3223 |     9422      0 |        0 |        0
5.68/5.70	c  5.5s |       8 |     7599 |     4936 |    10365      0 |        0 |        0
7.69/7.73	c  7.5s |       8 |    10273 |     6836 |    10365      0 |        0 |        0
8.48/8.51	c  8.3s |       9 |    11092 |     7506 |    11402      0 |        0 |        0
10.48/10.53	c 10.3s |       9 |    13642 |     9306 |    11402      0 |        0 |        0
12.48/12.53	c 12.3s |       9 |    15701 |    10906 |    11402      0 |        0 |        0
13.08/13.17	c 12.9s |      10 |    16250 |    11361 |    12543      0 |        0 |        0
15.28/15.34	c 15.1s |      10 |    18443 |    12961 |    12543      1 |        0 |        0
17.38/17.41	c 17.2s |      10 |    20694 |    14661 |    12543      1 |        0 |        0
19.48/19.51	c 19.3s |      10 |    22804 |    16261 |    12543      1 |        0 |        0
20.68/20.70	c 20.5s |      11 |    24041 |    17144 |    13798      1 |        0 |        0
22.78/22.82	c 22.6s |      11 |    26386 |    18844 |    13798      1 |        0 |        0
24.78/24.82	c 24.6s |      11 |    28289 |    20344 |    13798      1 |        0 |        0
26.78/26.85	c 26.6s |      11 |    30274 |    21844 |    13798      2 |        0 |        0
28.78/28.87	c 28.6s |      11 |    32009 |    23244 |    13798      2 |        0 |        0
30.89/30.96	c 30.7s |      11 |    33924 |    24744 |    13798      2 |        0 |        0
32.48/32.55	c 32.3s |      12 |    35325 |    25819 |    15178      2 |        0 |        0
34.48/34.59	c 34.4s |      12 |    37249 |    27219 |    15178      2 |        0 |        0
36.58/36.68	c 36.4s |      12 |    39048 |    28619 |    15178      2 |        0 |        0
38.68/38.79	c 38.6s |      12 |    40860 |    30019 |    15178      3 |        0 |        0
40.79/40.85	c 40.6s |      12 |    42617 |    31419 |    15178      3 |        0 |        0
42.78/42.90	c 42.7s |      12 |    44363 |    32819 |    15178      3 |        0 |        0
44.98/45.07	c 44.8s |      12 |    45957 |    34119 |    15178      3 |        0 |        0
47.18/47.21	c 47.0s |      12 |    47508 |    35319 |    15178      3 |        0 |        0
49.28/49.36	c 49.1s |      12 |    49019 |    36519 |    15178      3 |        0 |        0
51.38/51.46	c 51.2s |      12 |    50475 |    37719 |    15178      4 |        0 |        0
53.28/53.33	c 53.1s |      13 |    51794 |    38832 |    16696      4 |        0 |        0
55.28/55.38	c 55.1s |      13 |    53795 |    40332 |    16696      4 |        0 |        0
57.38/57.43	c 57.2s |      13 |    55767 |    41832 |    16696      4 |        0 |        0
59.38/59.43	c 59.2s |      13 |    57538 |    43232 |    16696      4 |        0 |        0
61.38/61.48	c 61.2s |      13 |    59161 |    44532 |    16696      4 |        0 |        0
63.58/63.65	c 63.4s |      13 |    60797 |    45832 |    16696      4 |        0 |        0
65.68/65.73	c 65.5s |      13 |    62309 |    47032 |    16696      5 |        0 |        0
67.77/67.87	c 67.6s |      13 |    63990 |    48332 |    16696      5 |        0 |        0
69.87/69.92	c 69.7s |      13 |    65470 |    49532 |    16696      5 |        0 |        0
71.97/72.05	c 71.8s |      13 |    67014 |    50732 |    16696      5 |        0 |        0
73.97/74.09	c 73.9s |      13 |    68403 |    51832 |    16696      5 |        0 |        0
76.17/76.22	c 76.0s |      13 |    69720 |    52932 |    16696      5 |        0 |        0
78.18/78.27	c 78.0s |      13 |    71137 |    54032 |    16696      5 |        0 |        0
80.28/80.34	c 80.1s |      13 |    72608 |    55132 |    16696      6 |        0 |        0
82.27/82.37	c 82.1s |      13 |    74115 |    56332 |    16696      6 |        0 |        0
84.37/84.43	c 84.2s |      13 |    75828 |    57632 |    16696      6 |        0 |        0
85.57/85.66	c 85.4s |      14 |    76716 |    58352 |    18366      6 |        0 |        0
87.57/87.67	c 87.4s |      14 |    78704 |    59752 |    18366      6 |        0 |        0
89.67/89.77	c 89.5s |      14 |    80753 |    61252 |    18366      6 |        0 |        0
91.77/91.82	c 91.6s |      14 |    82568 |    62652 |    18366      6 |        0 |        0
93.78/93.84	c 93.6s |      14 |    84131 |    63852 |    18366      6 |        0 |        0
95.88/95.93	c 95.7s |      14 |    85506 |    64952 |    18366      7 |        0 |        0
97.89/97.99	c 97.8s |      14 |    87185 |    66252 |    18366      7 |        0 |        0
100.08/100.12	c 99.9s |      14 |    88901 |    67652 |    18366      7 |        0 |        0
102.18/102.21	c  101s |      14 |    90522 |    68952 |    18366      7 |        0 |        0
104.18/104.28	c  104s |      14 |    92005 |    70152 |    18366      7 |        0 |        0
106.28/106.38	c  106s |      14 |    93542 |    71352 |    18366      7 |        0 |        0
108.28/108.38	c  108s |      14 |    94976 |    72452 |    18366      7 |        0 |        0
110.48/110.58	c  110s |      14 |    96480 |    73652 |    18366      7 |        0 |        0
112.58/112.64	c  112s |      14 |    97900 |    74752 |    18366      8 |        0 |        0
114.68/114.74	c  114s |      14 |    99521 |    76052 |    18366      8 |        0 |        0
116.88/116.90	c  116s |      14 |   101188 |    77352 |    18366      8 |        0 |        0
118.97/119.07	c  118s |      14 |   102691 |    78552 |    18366      8 |        0 |        0
121.17/121.22	c  120s |      14 |   104227 |    79752 |    18366      8 |        0 |        0
123.37/123.41	c  123s |      14 |   105482 |    80752 |    18366      8 |        0 |        0
125.38/125.45	c  125s |      14 |   106784 |    81752 |    18366      8 |        0 |        0
127.58/127.61	c  127s |      14 |   108225 |    82852 |    18366      8 |        0 |        0
129.78/129.82	c  129s |      14 |   109614 |    83952 |    18366      9 |        0 |        0
131.77/131.87	c  131s |      14 |   111272 |    85252 |    18366      9 |        0 |        0
133.97/134.00	c  133s |      14 |   112822 |    86452 |    18366      9 |        0 |        0
135.77/135.89	c  135s |      15 |   114286 |    87632 |    20203      9 |        0 |        0
137.97/138.01	c  137s |      15 |   116003 |    88932 |    20203      9 |        0 |        0
140.07/140.12	c  139s |      15 |   117626 |    90232 |    20203      9 |        0 |        0
142.07/142.12	c  141s |      15 |   119075 |    91432 |    20203      9 |        0 |        0
144.08/144.16	c  143s |      15 |   120610 |    92632 |    20203      9 |        0 |        0
146.17/146.30	c  146s |      15 |   122168 |    93832 |    20203      9 |        0 |        0
148.37/148.45	c  148s |      15 |   123582 |    94932 |    20203      9 |        0 |        0
150.47/150.56	c  150s |      15 |   124998 |    96032 |    20203     10 |        0 |        0
152.67/152.72	c  152s |      15 |   126547 |    97232 |    20203     10 |        0 |        0
154.67/154.73	c  154s |      15 |   128043 |    98432 |    20203     10 |        0 |        0
156.77/156.81	c  156s |      15 |   129576 |    99632 |    20203     10 |        0 |        0
158.87/158.94	c  158s |      15 |   131013 |   100732 |    20203     10 |        0 |        0
160.97/161.01	c  160s |      15 |   132573 |   101932 |    20203     10 |        0 |        0
163.07/163.10	c  162s |      15 |   134147 |   103132 |    20203     10 |        0 |        0
165.17/165.20	c  164s |      15 |   135757 |   104332 |    20203     10 |        0 |        0
167.17/167.25	c  167s |      15 |   137232 |   105432 |    20203     11 |        0 |        0
169.26/169.34	c  169s |      15 |   138927 |   106732 |    20203     11 |        0 |        0
171.36/171.40	c  171s |      15 |   140489 |   107932 |    20203     11 |        0 |        0
173.46/173.51	c  173s |      15 |   142022 |   109132 |    20203     11 |        0 |        0
175.46/175.53	c  175s |      15 |   143434 |   110232 |    20203     11 |        0 |        0
177.56/177.68	c  177s |      15 |   144865 |   111332 |    20203     11 |        0 |        0
179.56/179.68	c  179s |      15 |   146138 |   112332 |    20203     11 |        0 |        0
181.76/181.83	c  181s |      15 |   147479 |   113432 |    20203     11 |        0 |        0
183.77/183.84	c  183s |      15 |   148854 |   114432 |    20203     11 |        0 |        0
185.97/186.07	c  185s |      15 |   150273 |   115532 |    20203     11 |        0 |        0
188.07/188.13	c  187s |      15 |   151836 |   116732 |    20203     12 |        0 |        0
190.06/190.19	c  189s |      15 |   153359 |   117932 |    20203     12 |        0 |        0
192.26/192.39	c  192s |      15 |   154723 |   119032 |    20203     12 |        0 |        0
194.46/194.53	c  194s |      15 |   156168 |   120132 |    20203     12 |        0 |        0
196.56/196.65	c  196s |      15 |   157412 |   121132 |    20203     12 |        0 |        0
198.66/198.75	c  198s |      15 |   158693 |   122132 |    20203     12 |        0 |        0
200.76/200.89	c  200s |      15 |   159939 |   123132 |    20203     12 |        0 |        0
202.96/203.04	c  202s |      15 |   161171 |   124132 |    20203     12 |        0 |        0
205.06/205.12	c  204s |      15 |   162416 |   125132 |    20203     12 |        0 |        0
207.06/207.20	c  206s |      15 |   163658 |   126132 |    20203     13 |        0 |        0
209.26/209.35	c  209s |      15 |   165309 |   127432 |    20203     13 |        0 |        0
211.36/211.48	c  211s |      15 |   166724 |   128632 |    20203     13 |        0 |        0
213.46/213.58	c  213s |      15 |   168282 |   129832 |    20203     13 |        0 |        0
215.56/215.61	c  215s |      15 |   169855 |   131032 |    22224     13 |        0 |        0
216.46/216.52	c  216s |      16 |   170547 |   131552 |    22224     13 |        0 |        0
218.56/218.60	c  218s |      16 |   172365 |   132852 |    22224     13 |        0 |        0
220.66/220.76	c  220s |      16 |   174128 |   134252 |    22224     13 |        0 |        0
222.76/222.87	c  222s |      16 |   175803 |   135552 |    22224     13 |        0 |        0
224.86/224.92	c  224s |      16 |   177349 |   136752 |    22224     13 |        0 |        0
226.96/227.05	c  226s |      16 |   178907 |   137952 |    22224     13 |        0 |        0
229.06/229.17	c  228s |      16 |   180405 |   139152 |    22224     14 |        0 |        0
231.15/231.22	c  230s |      16 |   181881 |   140352 |    22224     14 |        0 |        0
233.16/233.24	c  233s |      16 |   183361 |   141552 |    22224     14 |        0 |        0
235.15/235.26	c  235s |      16 |   184700 |   142652 |    22224     14 |        0 |        0
237.35/237.45	c  237s |      16 |   186051 |   143752 |    22224     14 |        0 |        0
239.45/239.51	c  239s |      16 |   187433 |   144852 |    22224     14 |        0 |        0
241.45/241.58	c  241s |      16 |   188726 |   145852 |    22224     14 |        0 |        0
243.55/243.69	c  243s |      16 |   190035 |   146852 |    22224     14 |        0 |        0
245.75/245.82	c  245s |      16 |   191242 |   147852 |    22224     14 |        0 |        0
247.75/247.83	c  247s |      16 |   192379 |   148752 |    22224     14 |        0 |        0
249.76/249.86	c  249s |      16 |   193508 |   149652 |    22224     15 |        0 |        0
251.75/251.89	c  251s |      16 |   194923 |   150752 |    22224     15 |        0 |        0
253.85/253.98	c  253s |      16 |   196239 |   151852 |    22224     15 |        0 |        0
255.95/256.09	c  255s |      16 |   197594 |   152952 |    22224     15 |        0 |        0
258.25/258.31	c  258s |      16 |   198942 |   154052 |    22224     15 |        0 |        0
260.45/260.52	c  260s |      16 |   200201 |   155052 |    22224     15 |        0 |        0
262.55/262.68	c  262s |      16 |   201351 |   155952 |    22224     15 |        0 |        0
264.75/264.89	c  264s |      16 |   202582 |   156952 |    22224     15 |        0 |        0
266.95/267.05	c  266s |      16 |   204025 |   158052 |    22224     15 |        0 |        0
269.05/269.13	c  268s |      16 |   205308 |   159052 |    22224     15 |        0 |        0
271.25/271.31	c  271s |      16 |   206436 |   159952 |    22224     15 |        0 |        0
273.35/273.49	c  273s |      16 |   207585 |   160852 |    22224     15 |        0 |        0
275.55/275.65	c  275s |      16 |   208967 |   161952 |    22224     16 |        0 |        0
277.65/277.77	c  277s |      16 |   210478 |   163152 |    22224     16 |        0 |        0
279.65/279.79	c  279s |      16 |   211978 |   164352 |    22224     16 |        0 |        0
281.85/281.94	c  281s |      16 |   213670 |   165652 |    22224     16 |        0 |        0
284.05/284.12	c  283s |      16 |   215303 |   166952 |    22224     16 |        0 |        0
286.15/286.26	c  286s |      16 |   216633 |   168052 |    22224     16 |        0 |        0
288.35/288.44	c  288s |      16 |   218201 |   169252 |    22224     16 |        0 |        0
290.54/290.63	c  290s |      16 |   219590 |   170352 |    22224     16 |        0 |        0
292.65/292.71	c  292s |      16 |   220842 |   171352 |    22224     16 |        0 |        0
294.85/294.93	c  294s |      16 |   222085 |   172352 |    22224     17 |        0 |        0
296.95/297.05	c  296s |      16 |   223896 |   173752 |    22224     17 |        0 |        0
299.15/299.22	c  298s |      16 |   225682 |   175152 |    22224     17 |        0 |        0
301.24/301.32	c  301s |      16 |   227215 |   176352 |    22224     17 |        0 |        0
303.34/303.43	c  303s |      16 |   228723 |   177552 |    22224     17 |        0 |        0
305.34/305.46	c  305s |      16 |   230086 |   178652 |    22224     17 |        0 |        0
307.44/307.55	c  307s |      16 |   231426 |   179752 |    22224     17 |        0 |        0
309.44/309.59	c  309s |      16 |   232490 |   180652 |    22224     17 |        0 |        0
311.54/311.61	c  311s |      16 |   233574 |   181552 |    22224     17 |        0 |        0
313.55/313.66	c  313s |      16 |   234806 |   182552 |    22224     17 |        0 |        0
315.84/315.92	c  315s |      16 |   235892 |   183452 |    22224     18 |        0 |        0
317.95/318.03	c  317s |      16 |   237390 |   184652 |    22224     18 |        0 |        0
319.94/320.09	c  319s |      16 |   238968 |   185852 |    22224     18 |        0 |        0
322.14/322.21	c  321s |      16 |   240529 |   187052 |    22224     18 |        0 |        0
324.24/324.30	c  324s |      16 |   242154 |   188252 |    22224     18 |        0 |        0
326.24/326.34	c  326s |      16 |   243511 |   189352 |    22224     18 |        0 |        0
328.24/328.37	c  328s |      16 |   244706 |   190352 |    22224     18 |        0 |        0
330.34/330.45	c  330s |      16 |   246102 |   191452 |    22224     18 |        0 |        0
332.44/332.51	c  332s |      16 |   247356 |   192452 |    22224     18 |        0 |        0
334.44/334.53	c  334s |      16 |   248626 |   193452 |    22224     18 |        0 |        0
336.54/336.68	c  336s |      16 |   249811 |   194352 |    22224     18 |        0 |        0
338.63/338.70	c  338s |      16 |   250888 |   195252 |    22224     19 |        0 |        0
340.73/340.82	c  340s |      16 |   252459 |   196452 |    24447     19 |        0 |        0
342.43/342.52	c  342s |      17 |   253728 |   197432 |    24447     19 |        0 |        0
344.43/344.54	c  344s |      17 |   255429 |   198632 |    24447     19 |        0 |        0
346.44/346.59	c  346s |      17 |   257155 |   199932 |    24447     19 |        0 |        0
348.53/348.62	c  348s |      17 |   258837 |   201232 |    24447     19 |        0 |        0
350.63/350.70	c  350s |      17 |   260420 |   202432 |    24447     19 |        0 |        0
352.73/352.80	c  352s |      17 |   262026 |   203632 |    24447     19 |        0 |        0
354.83/354.97	c  354s |      17 |   263738 |   204932 |    24447     19 |        0 |        0
356.93/357.07	c  356s |      17 |   265308 |   206132 |    24447     19 |        0 |        0
359.03/359.15	c  358s |      17 |   266746 |   207232 |    24447     19 |        0 |        0
361.43/361.51	c  361s |      17 |   268186 |   208332 |    24447     20 |        0 |        0
363.53/363.63	c  363s |      17 |   269725 |   209532 |    24447     20 |        0 |        0
365.53/365.64	c  365s |      17 |   271220 |   210632 |    24447     20 |        0 |        0
367.53/367.65	c  367s |      17 |   272634 |   211732 |    24447     20 |        0 |        0
369.64/369.71	c  369s |      17 |   274056 |   212832 |    24447     20 |        0 |        0
371.74/371.82	c  371s |      17 |   275504 |   213932 |    24447     20 |        0 |        0
373.73/373.82	c  373s |      17 |   276866 |   214932 |    24447     20 |        0 |        0
375.73/375.84	c  375s |      17 |   278193 |   215932 |    24447     20 |        0 |        0
377.93/378.07	c  377s |      17 |   279427 |   216932 |    24447     20 |        0 |        0
380.03/380.18	c  379s |      17 |   280757 |   217932 |    24447     20 |        0 |        0
382.23/382.33	c  382s |      17 |   282071 |   218932 |    24447     20 |        0 |        0
384.43/384.53	c  384s |      17 |   283387 |   219932 |    24447     20 |        0 |        0
386.73/386.81	c  386s |      17 |   284520 |   220832 |    24447     21 |        0 |        0
388.83/388.97	c  388s |      17 |   286113 |   222032 |    24447     21 |        0 |        0
391.03/391.12	c  390s |      17 |   287682 |   223232 |    24447     21 |        0 |        0
393.13/393.22	c  392s |      17 |   289084 |   224332 |    24447     21 |        0 |        0
395.32/395.42	c  395s |      17 |   290468 |   225432 |    24447     21 |        0 |        0
397.42/397.52	c  397s |      17 |   291757 |   226432 |    24447     21 |        0 |        0
399.42/399.57	c  399s |      17 |   292982 |   227432 |    24447     21 |        0 |        0
401.53/401.65	c  401s |      17 |   294085 |   228332 |    24447     21 |        0 |        0
403.63/403.73	c  403s |      17 |   295224 |   229232 |    24447     21 |        0 |        0
405.62/405.78	c  405s |      17 |   296394 |   230132 |    24447     21 |        0 |        0
407.82/407.93	c  407s |      17 |   297493 |   231032 |    24447     21 |        0 |        0
410.02/410.12	c  409s |      17 |   298781 |   232032 |    24447     21 |        0 |        0
412.02/412.14	c  411s |      17 |   299950 |   232932 |    24447     21 |        0 |        0
414.12/414.28	c  414s |      17 |   301195 |   233932 |    24447     22 |        0 |        0
416.22/416.34	c  416s |      17 |   302604 |   235032 |    24447     22 |        0 |        0
418.32/418.45	c  418s |      17 |   304031 |   236132 |    24447     22 |        0 |        0
420.42/420.57	c  420s |      17 |   305530 |   237332 |    24447     22 |        0 |        0
422.43/422.59	c  422s |      17 |   306935 |   238432 |    24447     22 |        0 |        0
424.53/424.66	c  424s |      17 |   308385 |   239532 |    24447     22 |        0 |        0
426.62/426.73	c  426s |      17 |   309828 |   240632 |    24447     22 |        0 |        0
428.82/428.93	c  428s |      17 |   311176 |   241732 |    24447     22 |        0 |        0
431.02/431.12	c  430s |      17 |   312412 |   242732 |    24447     22 |        0 |        0
433.02/433.16	c  432s |      17 |   313517 |   243632 |    24447     22 |        0 |        0
435.12/435.24	c  435s |      17 |   314634 |   244532 |    24447     22 |        0 |        0
437.12/437.25	c  437s |      17 |   315833 |   245432 |    24447     22 |        0 |        0
439.12/439.25	c  439s |      17 |   317016 |   246332 |    24447     23 |        0 |        0
441.32/441.41	c  441s |      17 |   318593 |   247532 |    24447     23 |        0 |        0
443.32/443.47	c  443s |      17 |   320049 |   248632 |    24447     23 |        0 |        0
445.33/445.48	c  445s |      17 |   321283 |   249632 |    24447     23 |        0 |        0
447.43/447.52	c  447s |      17 |   322544 |   250632 |    24447     23 |        0 |        0
449.52/449.63	c  449s |      17 |   324000 |   251732 |    24447     23 |        0 |        0
451.52/451.64	c  451s |      17 |   325320 |   252732 |    24447     23 |        0 |        0
453.62/453.70	c  453s |      17 |   326437 |   253632 |    24447     23 |        0 |        0
455.62/455.71	c  455s |      17 |   327556 |   254532 |    24447     23 |        0 |        0
457.72/457.86	c  457s |      17 |   328676 |   255432 |    24447     23 |        0 |        0
459.73/459.88	c  459s |      17 |   329706 |   256232 |    24447     23 |        0 |        0
461.93/462.03	c  461s |      17 |   330855 |   257132 |    24447     23 |        0 |        0
464.02/464.14	c  463s |      17 |   332048 |   258032 |    24447     23 |        0 |        0
466.12/466.23	c  465s |      17 |   333458 |   259132 |    24447     24 |        0 |        0
468.12/468.26	c  468s |      17 |   334965 |   260332 |    24447     24 |        0 |        0
470.22/470.35	c  470s |      17 |   336549 |   261532 |    24447     24 |        0 |        0
472.32/472.44	c  472s |      17 |   337916 |   262632 |    24447     24 |        0 |        0
474.42/474.52	c  474s |      17 |   339311 |   263732 |    24447     24 |        0 |        0
476.52/476.61	c  476s |      17 |   340605 |   264732 |    24447     24 |        0 |        0
478.53/478.63	c  478s |      17 |   341881 |   265732 |    24447     24 |        0 |        0
480.62/480.79	c  480s |      17 |   343162 |   266732 |    24447     24 |        0 |        0
482.72/482.82	c  482s |      17 |   344338 |   267632 |    24447     24 |        0 |        0
484.72/484.84	c  484s |      17 |   345363 |   268432 |    24447     24 |        0 |        0
486.92/487.06	c  486s |      17 |   346694 |   269432 |    24447     24 |        0 |        0
489.12/489.22	c  488s |      17 |   347970 |   270432 |    24447     24 |        0 |        0
491.12/491.27	c  491s |      17 |   349197 |   271432 |    24447     25 |        0 |        0
493.32/493.43	c  493s |      17 |   350878 |   272732 |    24447     25 |        0 |        0
495.32/495.49	c  495s |      17 |   352253 |   273832 |    24447     25 |        0 |        0
497.52/497.63	c  497s |      17 |   353652 |   274932 |    24447     25 |        0 |        0
499.62/499.74	c  499s |      17 |   354922 |   275932 |    24447     25 |        0 |        0
501.81/501.91	c  501s |      17 |   356188 |   276932 |    24447     25 |        0 |        0
503.91/504.04	c  503s |      17 |   357465 |   277932 |    24447     25 |        0 |        0
505.92/506.09	c  505s |      17 |   358739 |   278932 |    24447     25 |        0 |        0
508.12/508.28	c  508s |      17 |   359986 |   279932 |    24447     25 |        0 |        0
510.21/510.32	c  510s |      17 |   361084 |   280832 |    24447     25 |        0 |        0
512.31/512.47	c  512s |      17 |   362412 |   281832 |    24447     25 |        0 |        0
514.51/514.60	c  514s |      17 |   363538 |   282732 |    24447     25 |        0 |        0
516.51/516.63	c  516s |      17 |   364811 |   283732 |    24447     26 |        0 |        0
518.61/518.76	c  518s |      17 |   366311 |   284932 |    24447     26 |        0 |        0
520.81/520.94	c  520s |      17 |   367840 |   286132 |    24447     26 |        0 |        0
522.91/523.00	c  522s |      17 |   369196 |   287232 |    24447     26 |        0 |        0
524.91/525.06	c  524s |      17 |   370436 |   288232 |    24447     26 |        0 |        0
527.11/527.29	c  527s |      17 |   371933 |   289332 |    24447     26 |        0 |        0
529.31/529.41	c  529s |      17 |   373170 |   290332 |    24447     26 |        0 |        0
531.51/531.63	c  531s |      17 |   374510 |   291332 |    24447     26 |        0 |        0
533.61/533.79	c  533s |      17 |   375789 |   292332 |    24447     26 |        0 |        0
535.72/535.84	c  535s |      17 |   377072 |   293332 |    24447     26 |        0 |        0
537.82/537.96	c  537s |      17 |   378339 |   294332 |    26892     26 |        0 |        0
539.91/540.03	c  539s |      17 |   379438 |   295232 |    26892     26 |        0 |        0
542.01/542.18	c  541s |      17 |   380607 |   296132 |    26892     26 |        0 |        0
542.31/542.48	c  542s |      18 |   380767 |   296252 |    26892     26 |        0 |        0
544.41/544.51	c  544s |      18 |   382242 |   297252 |    26892     26 |        0 |        0
546.51/546.66	c  546s |      18 |   383640 |   298352 |    26892     27 |        0 |        0
548.61/548.78	c  548s |      18 |   385504 |   299752 |    26892     27 |        0 |        0
550.71/550.87	c  550s |      18 |   387227 |   301052 |    26892     27 |        0 |        0
552.71/552.88	c  552s |      18 |   388819 |   302252 |    26892     27 |        0 |        0
554.81/554.97	c  554s |      18 |   390373 |   303452 |    26892     27 |        0 |        0
556.91/557.07	c  556s |      18 |   391838 |   304552 |    26892     27 |        0 |        0
559.11/559.20	c  558s |      18 |   393315 |   305652 |    26892     27 |        0 |        0
561.20/561.31	c  561s |      18 |   394594 |   306652 |    26892     27 |        0 |        0
563.40/563.52	c  563s |      18 |   395804 |   307652 |    26892     27 |        0 |        0
565.60/565.70	c  565s |      18 |   397022 |   308652 |    26892     27 |        0 |        0
567.70/567.87	c  567s |      18 |   398289 |   309652 |    26892     27 |        0 |        0
569.90/570.02	c  569s |      18 |   399551 |   310652 |    26892     27 |        0 |        0
572.20/572.37	c  572s |      18 |   400845 |   311652 |    26892     28 |        0 |        0
574.40/574.53	c  574s |      18 |   402338 |   312852 |    26892     28 |        0 |        0
576.50/576.62	c  576s |      18 |   403758 |   313952 |    26892     28 |        0 |        0
578.51/578.63	c  578s |      18 |   405030 |   314952 |    26892     28 |        0 |        0
580.60/580.70	c  580s |      18 |   406282 |   315952 |    26892     28 |        0 |        0
582.80/582.90	c  582s |      18 |   407651 |   317052 |    26892     28 |        0 |        0
584.80/584.93	c  584s |      18 |   408935 |   318052 |    26892     28 |        0 |        0
586.80/586.98	c  586s |      18 |   410192 |   319052 |    26892     28 |        0 |        0
589.00/589.13	c  588s |      18 |   411432 |   320052 |    26892     28 |        0 |        0
591.20/591.31	c  591s |      18 |   412678 |   321052 |    26892     28 |        0 |        0
593.30/593.41	c  593s |      18 |   413849 |   321952 |    26892     28 |        0 |        0
595.30/595.42	c  595s |      18 |   414839 |   322752 |    26892     28 |        0 |        0
597.50/597.60	c  597s |      18 |   415998 |   323652 |    26892     28 |        0 |        0
599.51/599.65	c  599s |      18 |   417000 |   324452 |    26892     28 |        0 |        0
601.90/602.07	c  601s |      18 |   418176 |   325352 |    26892     29 |        0 |        0
604.00/604.12	c  603s |      18 |   419435 |   326352 |    26892     29 |        0 |        0
606.10/606.25	c  606s |      18 |   420858 |   327452 |    26892     29 |        0 |        0
608.30/608.42	c  608s |      18 |   422291 |   328552 |    26892     29 |        0 |        0
610.50/610.64	c  610s |      18 |   423500 |   329552 |    26892     29 |        0 |        0
612.50/612.64	c  612s |      18 |   424635 |   330452 |    26892     29 |        0 |        0
614.60/614.77	c  614s |      18 |   425939 |   331452 |    26892     29 |        0 |        0
616.60/616.78	c  616s |      18 |   427232 |   332452 |    26892     29 |        0 |        0
618.79/618.93	c  618s |      18 |   428510 |   333452 |    26892     29 |        0 |        0
620.99/621.12	c  620s |      18 |   429665 |   334352 |    26892     29 |        0 |        0
622.99/623.19	c  622s |      18 |   430815 |   335252 |    26892     29 |        0 |        0
625.29/625.41	c  625s |      18 |   432112 |   336252 |    26892     29 |        0 |        0
627.29/627.43	c  627s |      18 |   432960 |   336952 |    26892     29 |        0 |        0
629.29/629.46	c  629s |      18 |   433950 |   337752 |    26892     29 |        0 |        0
631.40/631.56	c  631s |      18 |   434945 |   338552 |    26892     29 |        0 |        0
633.50/633.61	c  633s |      18 |   435837 |   339252 |    26892     30 |        0 |        0
635.49/635.64	c  635s |      18 |   437206 |   340352 |    26892     30 |        0 |        0
637.69/637.83	c  637s |      18 |   438594 |   341452 |    26892     30 |        0 |        0
639.79/639.95	c  639s |      18 |   439801 |   342452 |    26892     30 |        0 |        0
641.99/642.10	c  641s |      18 |   441229 |   343552 |    26892     30 |        0 |        0
643.99/644.15	c  643s |      18 |   442612 |   344652 |    26892     30 |        0 |        0
645.99/646.17	c  645s |      18 |   443943 |   345652 |    26892     30 |        0 |        0
648.09/648.21	c  647s |      18 |   445073 |   346552 |    26892     30 |        0 |        0
650.29/650.44	c  650s |      18 |   446260 |   347552 |    26892     30 |        0 |        0
652.30/652.46	c  652s |      18 |   447377 |   348452 |    26892     30 |        0 |        0
654.50/654.69	c  654s |      18 |   448474 |   349352 |    26892     30 |        0 |        0
656.70/656.83	c  656s |      18 |   449447 |   350152 |    26892     30 |        0 |        0
658.69/658.89	c  658s |      18 |   450429 |   350952 |    26892     30 |        0 |        0
660.89/661.00	c  660s |      18 |   451608 |   351852 |    26892     30 |        0 |        0
663.09/663.22	c  662s |      18 |   452633 |   352652 |    26892     31 |        0 |        0
665.09/665.24	c  665s |      18 |   454071 |   353752 |    26892     31 |        0 |        0
667.19/667.31	c  667s |      18 |   455461 |   354852 |    26892     31 |        0 |        0
669.19/669.39	c  669s |      18 |   456869 |   355952 |    26892     31 |        0 |        0
671.39/671.54	c  671s |      18 |   458318 |   357052 |    26892     31 |        0 |        0
673.59/673.73	c  673s |      18 |   459753 |   358152 |    26892     31 |        0 |        0
675.69/675.83	c  675s |      18 |   461079 |   359152 |    26892     31 |        0 |        0
677.79/677.90	c  677s |      18 |   462329 |   360152 |    26892     31 |        0 |        0
679.89/680.00	c  679s |      18 |   463717 |   361152 |    26892     31 |        0 |        0
681.99/682.18	c  681s |      18 |   464978 |   362152 |    26892     31 |        0 |        0
684.09/684.25	c  684s |      18 |   466112 |   363052 |    26892     31 |        0 |        0
686.18/686.37	c  686s |      18 |   467305 |   363952 |    26892     31 |        0 |        0
688.28/688.40	c  688s |      18 |   468336 |   364752 |    26892     31 |        0 |        0
690.38/690.53	c  690s |      18 |   469547 |   365652 |    26892     31 |        0 |        0
692.38/692.55	c  692s |      18 |   470541 |   366452 |    26892     32 |        0 |        0
694.38/694.58	c  694s |      18 |   471908 |   367552 |    26892     32 |        0 |        0
696.58/696.74	c  696s |      18 |   473301 |   368652 |    26892     32 |        0 |        0
698.68/698.85	c  698s |      18 |   474712 |   369752 |    26892     32 |        0 |        0
700.78/700.94	c  700s |      18 |   476117 |   370852 |    26892     32 |        0 |        0
702.79/702.95	c  702s |      18 |   477397 |   371852 |    26892     32 |        0 |        0
704.99/705.19	c  704s |      18 |   478642 |   372852 |    26892     32 |        0 |        0
707.08/707.22	c  706s |      18 |   479789 |   373752 |    26892     32 |        0 |        0
709.18/709.33	c  709s |      18 |   480894 |   374652 |    26892     32 |        0 |        0
711.28/711.45	c  711s |      18 |   482031 |   375552 |    26892     32 |        0 |        0
713.48/713.68	c  713s |      18 |   483136 |   376452 |    26892     32 |        0 |        0
715.68/715.85	c  715s |      18 |   484205 |   377352 |    26892     32 |        0 |        0
717.68/717.89	c  717s |      18 |   485181 |   378152 |    26892     32 |        0 |        0
719.78/719.92	c  719s |      18 |   486196 |   378952 |    26892     32 |        0 |        0
721.88/722.05	c  721s |      18 |   487173 |   379752 |    26892     32 |        0 |        0
723.88/724.08	c  723s |      18 |   488326 |   380652 |    26892     33 |        0 |        0
725.98/726.16	c  725s |      18 |   489593 |   381652 |    26892     33 |        0 |        0
728.08/728.23	c  728s |      18 |   490912 |   382652 |    26892     33 |        0 |        0
730.18/730.32	c  730s |      18 |   492346 |   383752 |    26892     33 |        0 |        0
732.18/732.37	c  732s |      18 |   493613 |   384752 |    26892     33 |        0 |        0
734.28/734.48	c  734s |      18 |   494876 |   385752 |    26892     33 |        0 |        0
736.48/736.66	c  736s |      18 |   496121 |   386752 |    26892     33 |        0 |        0
738.58/738.76	c  738s |      18 |   497261 |   387652 |    26892     33 |        0 |        0
740.78/740.94	c  740s |      18 |   498430 |   388552 |    26892     33 |        0 |        0
742.88/743.00	c  742s |      18 |   499416 |   389352 |    26892     33 |        0 |        0
744.87/745.03	c  744s |      18 |   500592 |   390252 |    26892     33 |        0 |        0
747.07/747.25	c  747s |      18 |   501666 |   391152 |    26892     33 |        0 |        0
749.27/749.44	c  749s |      18 |   502767 |   392052 |    26892     33 |        0 |        0
751.37/751.58	c  751s |      18 |   503788 |   392852 |    26892     33 |        0 |        0
753.77/753.98	c  753s |      18 |   504830 |   393652 |    26892     34 |        0 |        0
755.97/756.19	c  755s |      18 |   506351 |   394852 |    26892     34 |        0 |        0
758.07/758.25	c  758s |      18 |   507683 |   395852 |    26892     34 |        0 |        0
760.17/760.36	c  760s |      18 |   508895 |   396852 |    26892     34 |        0 |        0
762.28/762.40	c  762s |      18 |   510135 |   397852 |    26892     34 |        0 |        0
764.27/764.42	c  764s |      18 |   511433 |   398852 |    26892     34 |        0 |        0
766.37/766.56	c  766s |      18 |   512715 |   399852 |    26892     34 |        0 |        0
768.37/768.57	c  768s |      18 |   513884 |   400752 |    26892     34 |        0 |        0
770.47/770.69	c  770s |      18 |   515005 |   401652 |    26892     34 |        0 |        0
772.57/772.79	c  772s |      18 |   516155 |   402552 |    26892     34 |        0 |        0
774.67/774.81	c  774s |      18 |   517321 |   403452 |    26892     34 |        0 |        0
776.67/776.83	c  776s |      18 |   518508 |   404352 |    26892     34 |        0 |        0
778.78/778.94	c  778s |      18 |   519630 |   405252 |    26892     34 |        0 |        0
780.98/781.12	c  780s |      18 |   520810 |   406152 |    26892     34 |        0 |        0
783.18/783.33	c  783s |      18 |   521963 |   407052 |    26892     34 |        0 |        0
785.28/785.49	c  785s |      18 |   523269 |   408052 |    26892     35 |        0 |        0
787.37/787.53	c  787s |      18 |   524665 |   409152 |    26892     35 |        0 |        0
789.47/789.65	c  789s |      18 |   526038 |   410252 |    26892     35 |        0 |        0
791.57/791.72	c  791s |      18 |   527323 |   411252 |    26892     35 |        0 |        0
793.77/793.91	c  793s |      18 |   528585 |   412252 |    26892     35 |        0 |        0
795.77/795.99	c  795s |      18 |   529739 |   413152 |    26892     35 |        0 |        0
797.87/798.02	c  797s |      18 |   530901 |   414052 |    26892     35 |        0 |        0
799.87/800.04	c  799s |      18 |   532077 |   414952 |    26892     35 |        0 |        0
801.87/802.09	c  801s |      18 |   533231 |   415852 |    26892     35 |        0 |        0
804.07/804.25	c  804s |      18 |   534418 |   416752 |    26892     35 |        0 |        0
806.17/806.31	c  806s |      18 |   535406 |   417552 |    26892     35 |        0 |        0
808.16/808.32	c  808s |      18 |   536415 |   418352 |    26892     35 |        0 |        0
810.36/810.56	c  810s |      18 |   537572 |   419252 |    26892     35 |        0 |        0
812.46/812.60	c  812s |      18 |   538556 |   420052 |    26892     35 |        0 |        0
814.76/814.96	c  814s |      18 |   539603 |   420852 |    26892     36 |        0 |        0
816.86/817.04	c  816s |      18 |   541103 |   422052 |    26892     36 |        0 |        0
818.96/819.16	c  818s |      18 |   542652 |   423252 |    26892     36 |        0 |        0
821.06/821.24	c  821s |      18 |   544103 |   424352 |    26892     36 |        0 |        0
823.15/823.34	c  823s |      18 |   545526 |   425452 |    26892     36 |        0 |        0
825.15/825.35	c  825s |      18 |   546864 |   426452 |    26892     36 |        0 |        0
827.25/827.44	c  827s |      18 |   548179 |   427452 |    26892     36 |        0 |        0
829.36/829.56	c  829s |      18 |   549451 |   428452 |    26892     36 |        0 |        0
831.46/831.68	c  831s |      18 |   550709 |   429452 |    26892     36 |        0 |        0
833.54/833.76	c  833s |      18 |   551848 |   430352 |    26892     36 |        0 |        0
835.74/835.98	c  835s |      18 |   553147 |   431352 |    26892     36 |        0 |        0
837.94/838.13	c  837s |      18 |   554240 |   432252 |    26892     36 |        0 |        0
840.04/840.23	c  840s |      18 |   555383 |   433152 |    26892     36 |        0 |        0
842.14/842.36	c  842s |      18 |   556599 |   434052 |    26892     36 |        0 |        0
844.23/844.46	c  844s |      18 |   557644 |   434852 |    26892     37 |        0 |        0
846.33/846.54	c  846s |      18 |   559122 |   435952 |    26892     37 |        0 |        0
848.43/848.62	c  848s |      18 |   560363 |   436952 |    26892     37 |        0 |        0
850.43/850.62	c  850s |      18 |   561637 |   437952 |    26892     37 |        0 |        0
852.44/852.63	c  852s |      18 |   562912 |   438952 |    26892     37 |        0 |        0
854.54/854.71	c  854s |      18 |   564207 |   439952 |    26892     37 |        0 |        0
856.53/856.74	c  856s |      18 |   565486 |   440952 |    26892     37 |        0 |        0
858.73/858.90	c  858s |      18 |   566734 |   441952 |    29582     37 |        0 |        0
860.73/860.92	c  860s |      18 |   567855 |   442852 |    29582     37 |        0 |        0
862.93/863.10	c  862s |      18 |   568992 |   443752 |    29582     37 |        0 |        0
864.53/864.73	c  864s |      19 |   570002 |   444482 |    29582     37 |        0 |        0
866.63/866.82	c  866s |      19 |   571476 |   445482 |    29582     37 |        0 |        0
868.72/868.98	c  868s |      19 |   572782 |   446482 |    29582     37 |        0 |        0
870.92/871.12	c  870s |      19 |   574057 |   447482 |    29582     37 |        0 |        0
873.01/873.23	c  873s |      19 |   575355 |   448482 |    29582     37 |        0 |        0
875.11/875.38	c  875s |      19 |   576627 |   449482 |    29582     37 |        0 |        0
877.21/877.41	c  877s |      19 |   577717 |   450382 |    29582     37 |        0 |        0
879.31/879.56	c  879s |      19 |   578938 |   451282 |    29582     38 |        0 |        0
881.51/881.73	c  881s |      19 |   580539 |   452482 |    29582     38 |        0 |        0
883.61/883.81	c  883s |      19 |   581972 |   453582 |    29582     38 |        0 |        0
885.71/885.93	c  885s |      19 |   583378 |   454682 |    29582     38 |        0 |        0
887.81/888.02	c  887s |      19 |   584826 |   455782 |    29582     38 |        0 |        0
889.81/890.08	c  889s |      19 |   586138 |   456782 |    29582     38 |        0 |        0
891.81/892.09	c  891s |      19 |   587324 |   457682 |    29582     38 |        0 |        0
893.90/894.12	c  893s |      19 |   588458 |   458582 |    29582     38 |        0 |        0
896.10/896.35	c  896s |      19 |   589716 |   459582 |    29582     38 |        0 |        0
898.10/898.37	c  898s |      19 |   590919 |   460482 |    29582     38 |        0 |        0
900.10/900.37	c  900s |      19 |   592064 |   461382 |    29582     38 |        0 |        0
902.20/902.40	c  902s |      19 |   593257 |   462282 |    29582     38 |        0 |        0
904.19/904.44	c  904s |      19 |   594264 |   463082 |    29582     38 |        0 |        0
906.30/906.51	c  906s |      19 |   595300 |   463882 |    29582     38 |        0 |        0
908.50/908.76	c  908s |      19 |   596476 |   464782 |    29582     38 |        0 |        0
910.70/910.97	c  910s |      19 |   597496 |   465582 |    29582     38 |        0 |        0
912.80/913.06	c  912s |      19 |   598477 |   466382 |    29582     39 |        0 |        0
914.89/915.13	c  914s |      19 |   599801 |   467382 |    29582     39 |        0 |        0
917.09/917.32	c  917s |      19 |   601212 |   468482 |    29582     39 |        0 |        0
919.29/919.55	c  919s |      19 |   602470 |   469482 |    29582     39 |        0 |        0
921.48/921.73	c  921s |      19 |   603727 |   470482 |    29582     39 |        0 |        0
923.48/923.77	c  923s |      19 |   604865 |   471382 |    29582     39 |        0 |        0
925.58/925.86	c  925s |      19 |   605984 |   472282 |    29582     39 |        0 |        0
927.88/928.10	c  927s |      19 |   607113 |   473182 |    29582     39 |        0 |        0
930.08/930.36	c  930s |      19 |   608301 |   474082 |    29582     39 |        0 |        0
932.28/932.53	c  932s |      19 |   609513 |   474982 |    29582     39 |        0 |        0
934.37/934.61	c  934s |      19 |   610555 |   475782 |    29582     39 |        0 |        0
936.57/936.85	c  936s |      19 |   611728 |   476682 |    29582     39 |        0 |        0
938.77/939.05	c  938s |      19 |   612769 |   477482 |    29582     39 |        0 |        0
940.97/941.23	c  941s |      19 |   613848 |   478282 |    29582     39 |        0 |        0
942.97/943.24	c  943s |      19 |   614766 |   478982 |    29582     39 |        0 |        0
945.27/945.50	c  945s |      19 |   615829 |   479782 |    29582     39 |        0 |        0
947.47/947.74	c  947s |      19 |   616858 |   480582 |    29582     39 |        0 |        0
949.47/949.78	c  949s |      19 |   617902 |   481382 |    29582     40 |        0 |        0
951.57/951.86	c  951s |      19 |   619374 |   482482 |    29582     40 |        0 |        0
953.77/954.04	c  953s |      19 |   620789 |   483582 |    29582     40 |        0 |        0
955.87/956.15	c  955s |      19 |   622264 |   484682 |    29582     40 |        0 |        0
957.87/958.15	c  957s |      19 |   623476 |   485582 |    29582     40 |        0 |        0
959.87/960.17	c  959s |      19 |   624649 |   486482 |    29582     40 |        0 |        0
961.86/962.17	c  961s |      19 |   625817 |   487382 |    29582     40 |        0 |        0
963.86/964.18	c  963s |      19 |   627041 |   488282 |    29582     40 |        0 |        0
966.06/966.30	c  966s |      19 |   628220 |   489182 |    29582     40 |        0 |        0
968.06/968.39	c  968s |      19 |   629374 |   490082 |    29582     40 |        0 |        0
970.26/970.50	c  970s |      19 |   630566 |   490982 |    29582     40 |        0 |        0
972.36/972.66	c  972s |      19 |   631725 |   491882 |    29582     40 |        0 |        0
974.46/974.77	c  974s |      19 |   632883 |   492782 |    29582     40 |        0 |        0
976.66/976.94	c  976s |      19 |   634078 |   493682 |    29582     40 |        0 |        0
978.76/979.10	c  978s |      19 |   635080 |   494482 |    29582     40 |        0 |        0
980.85/981.17	c  980s |      19 |   636074 |   495282 |    29582     40 |        0 |        0
982.85/983.19	c  982s |      19 |   636877 |   495882 |    29582     41 |        0 |        0
985.05/985.33	c  985s |      19 |   638263 |   496982 |    29582     41 |        0 |        0
987.05/987.33	c  987s |      19 |   639499 |   497982 |    29582     41 |        0 |        0
989.15/989.40	c  989s |      19 |   640764 |   498982 |    29582     41 |        0 |        0
991.35/991.63	c  991s |      19 |   642064 |   499982 |    29582     41 |        0 |        0
993.44/993.72	c  993s |      19 |   643315 |   500982 |    29582     41 |        0 |        0
995.64/995.95	c  995s |      19 |   644609 |   501982 |    29582     41 |        0 |        0
997.84/998.17	c  997s |      19 |   645758 |   502882 |    29582     41 |        0 |        0
1000.14/1000.42	c 1000s |      19 |   646982 |   503782 |    29582     41 |        0 |        0
1002.14/1002.43	c 1002s |      19 |   648019 |   504582 |    29582     41 |        0 |        0
1004.24/1004.51	c 1004s |      19 |   649010 |   505382 |    29582     41 |        0 |        0
1006.35/1006.65	c 1006s |      19 |   650134 |   506282 |    29582     41 |        0 |        0
1008.45/1008.78	c 1008s |      19 |   651329 |   507182 |    29582     41 |        0 |        0
1010.54/1010.83	c 1010s |      19 |   652509 |   508082 |    29582     41 |        0 |        0
1012.64/1012.93	c 1012s |      19 |   653676 |   508982 |    29582     41 |        0 |        0
1014.63/1014.96	c 1014s |      19 |   654736 |   509782 |    29582     41 |        0 |        0
1016.73/1017.03	c 1016s |      19 |   655711 |   510582 |    29582     41 |        0 |        0
1018.83/1019.13	c 1018s |      19 |   656846 |   511482 |    29582     42 |        0 |        0
1020.83/1021.19	c 1020s |      19 |   658396 |   512682 |    29582     42 |        0 |        0
1022.93/1023.26	c 1023s |      19 |   659765 |   513782 |    29582     42 |        0 |        0
1025.13/1025.43	c 1025s |      19 |   661209 |   514882 |    29582     42 |        0 |        0
1027.13/1027.44	c 1027s |      19 |   662486 |   515882 |    29582     42 |        0 |        0
1029.23/1029.60	c 1029s |      19 |   663915 |   516982 |    29582     42 |        0 |        0
1031.33/1031.68	c 1031s |      19 |   665165 |   517982 |    29582     42 |        0 |        0
1033.52/1033.89	c 1033s |      19 |   666456 |   518982 |    29582     42 |        0 |        0
1035.72/1036.09	c 1035s |      19 |   667616 |   519882 |    29582     42 |        0 |        0
1037.92/1038.22	c 1037s |      19 |   668753 |   520782 |    29582     42 |        0 |        0
1040.02/1040.36	c 1040s |      19 |   669963 |   521682 |    29582     42 |        0 |        0
1042.12/1042.45	c 1042s |      19 |   671099 |   522582 |    29582     42 |        0 |        0
1044.31/1044.60	c 1044s |      19 |   672276 |   523482 |    29582     42 |        0 |        0
1046.41/1046.75	c 1046s |      19 |   673496 |   524382 |    29582     42 |        0 |        0
1048.51/1048.86	c 1048s |      19 |   674555 |   525182 |    29582     42 |        0 |        0
1050.71/1051.07	c 1050s |      19 |   675545 |   525982 |    29582     43 |        0 |        0
1052.81/1053.14	c 1052s |      19 |   676809 |   526982 |    29582     43 |        0 |        0
1054.81/1055.19	c 1054s |      19 |   678054 |   527982 |    29582     43 |        0 |        0
1057.11/1057.43	c 1057s |      19 |   679367 |   528982 |    29582     43 |        0 |        0
1059.31/1059.61	c 1059s |      19 |   680615 |   529982 |    29582     43 |        0 |        0
1061.41/1061.77	c 1061s |      19 |   681684 |   530882 |    29582     43 |        0 |        0
1063.51/1063.89	c 1063s |      19 |   682834 |   531782 |    29582     43 |        0 |        0
1065.50/1065.90	c 1065s |      19 |   683999 |   532682 |    29582     43 |        0 |        0
1067.81/1068.15	c 1067s |      19 |   685313 |   533682 |    29582     43 |        0 |        0
1070.01/1070.31	c 1070s |      19 |   686550 |   534582 |    29582     43 |        0 |        0
1072.10/1072.49	c 1072s |      19 |   687729 |   535482 |    29582     43 |        0 |        0
1074.20/1074.53	c 1074s |      19 |   688758 |   536282 |    29582     43 |        0 |        0
1076.40/1076.78	c 1076s |      19 |   689894 |   537182 |    29582     43 |        0 |        0
1078.70/1079.00	c 1078s |      19 |   691071 |   538082 |    29582     43 |        0 |        0
1080.69/1081.02	c 1080s |      19 |   692108 |   538882 |    29582     43 |        0 |        0
1082.69/1083.02	c 1082s |      19 |   693172 |   539682 |    29582     43 |        0 |        0
1084.79/1085.18	c 1084s |      19 |   694241 |   540482 |    29582     43 |        0 |        0
1086.89/1087.28	c 1087s |      19 |   695210 |   541282 |    29582     44 |        0 |        0
1089.09/1089.47	c 1089s |      19 |   696847 |   542482 |    29582     44 |        0 |        0
1091.19/1091.52	c 1091s |      19 |   698392 |   543582 |    29582     44 |        0 |        0
1093.19/1093.53	c 1093s |      19 |   699626 |   544582 |    29582     44 |        0 |        0
1095.29/1095.70	c 1095s |      19 |   701043 |   545682 |    29582     44 |        0 |        0
1097.39/1097.73	c 1097s |      19 |   702329 |   546682 |    29582     44 |        0 |        0
1099.48/1099.85	c 1099s |      19 |   703629 |   547682 |    29582     44 |        0 |        0
1101.68/1102.00	c 1101s |      19 |   704982 |   548682 |    29582     44 |        0 |        0
1103.68/1104.01	c 1103s |      19 |   706180 |   549582 |    29582     44 |        0 |        0
1105.78/1106.10	c 1105s |      19 |   707372 |   550482 |    29582     44 |        0 |        0
1107.98/1108.35	c 1108s |      19 |   708581 |   551382 |    29582     44 |        0 |        0
1110.18/1110.50	c 1110s |      19 |   709597 |   552182 |    29582     44 |        0 |        0
1112.38/1112.72	c 1112s |      19 |   710612 |   552982 |    29582     44 |        0 |        0
1114.47/1114.82	c 1114s |      19 |   711683 |   553782 |    29582     44 |        0 |        0
1116.47/1116.85	c 1116s |      19 |   712599 |   554482 |    29582     44 |        0 |        0
1118.57/1118.92	c 1118s |      19 |   713508 |   555182 |    29582     44 |        0 |        0
1120.97/1121.35	c 1121s |      19 |   714531 |   555982 |    29582     45 |        0 |        0
1123.07/1123.49	c 1123s |      19 |   715951 |   557082 |    29582     45 |        0 |        0
1125.26/1125.65	c 1125s |      19 |   717362 |   558182 |    29582     45 |        0 |        0
1127.36/1127.71	c 1127s |      19 |   718617 |   559182 |    29582     45 |        0 |        0
1129.47/1129.87	c 1129s |      19 |   720046 |   560282 |    29582     45 |        0 |        0
1131.67/1132.06	c 1131s |      19 |   721351 |   561282 |    29582     45 |        0 |        0
1133.87/1134.22	c 1133s |      19 |   722673 |   562282 |    29582     45 |        0 |        0
1135.97/1136.32	c 1136s |      19 |   723791 |   563182 |    29582     45 |        0 |        0
1138.06/1138.43	c 1138s |      19 |   724919 |   564082 |    29582     45 |        0 |        0
1140.26/1140.60	c 1140s |      19 |   726102 |   564982 |    29582     45 |        0 |        0
1142.36/1142.70	c 1142s |      19 |   727271 |   565882 |    29582     45 |        0 |        0
1144.55/1144.91	c 1144s |      19 |   728472 |   566782 |    29582     45 |        0 |        0
1146.75/1147.14	c 1146s |      19 |   729636 |   567682 |    29582     45 |        0 |        0
1148.95/1149.37	c 1149s |      19 |   730861 |   568582 |    29582     45 |        0 |        0
1151.05/1151.42	c 1151s |      19 |   731896 |   569382 |    29582     45 |        0 |        0
1153.15/1153.55	c 1153s |      19 |   732974 |   570182 |    29582     45 |        0 |        0
1155.55/1155.98	c 1155s |      19 |   733963 |   570982 |    29582     46 |        0 |        0
1157.65/1158.01	c 1157s |      19 |   735290 |   571982 |    29582     46 |        0 |        0
1159.64/1160.05	c 1159s |      19 |   736569 |   572982 |    29582     46 |        0 |        0
1161.64/1162.06	c 1161s |      19 |   737712 |   573882 |    29582     46 |        0 |        0
1163.84/1164.24	c 1164s |      19 |   738973 |   574882 |    29582     46 |        0 |        0
1166.04/1166.44	c 1166s |      19 |   740242 |   575882 |    29582     46 |        0 |        0
1168.14/1168.51	c 1168s |      19 |   741504 |   576882 |    29582     46 |        0 |        0
1170.24/1170.68	c 1170s |      19 |   742635 |   577782 |    29582     46 |        0 |        0
1172.44/1172.85	c 1172s |      19 |   743788 |   578682 |    29582     46 |        0 |        0
1174.44/1174.89	c 1174s |      19 |   744890 |   579582 |    29582     46 |        0 |        0
1176.43/1176.89	c 1176s |      19 |   745896 |   580382 |    29582     46 |        0 |        0
1178.53/1178.90	c 1178s |      19 |   746910 |   581182 |    29582     46 |        0 |        0
1180.63/1181.07	c 1180s |      19 |   748064 |   582082 |    29582     46 |        0 |        0
1182.83/1183.24	c 1183s |      19 |   749090 |   582882 |    29582     46 |        0 |        0
1184.83/1185.27	c 1185s |      19 |   750100 |   583682 |    29582     46 |        0 |        0
1186.83/1187.29	c 1187s |      19 |   751183 |   584482 |    29582     46 |        0 |        0
1188.93/1189.36	c 1189s |      19 |   752170 |   585282 |    29582     46 |        0 |        0
1191.13/1191.50	c 1191s |      19 |   753187 |   586082 |    29582     47 |        0 |        0
1193.23/1193.61	c 1193s |      19 |   754662 |   587182 |    29582     47 |        0 |        0
1195.22/1195.63	c 1195s |      19 |   756095 |   588282 |    29582     47 |        0 |        0
1197.32/1197.78	c 1197s |      19 |   757520 |   589382 |    29582     47 |        0 |        0
1199.42/1199.89	c 1199s |      19 |   758839 |   590382 |    29582     47 |        0 |        0
1201.62/1202.08	c 1201s |      19 |   760279 |   591482 |    29582     47 |        0 |        0
1203.82/1204.29	c 1204s |      19 |   761539 |   592482 |    29582     47 |        0 |        0
1206.01/1206.47	c 1206s |      19 |   762824 |   593482 |    29582     47 |        0 |        0
1208.11/1208.53	c 1208s |      19 |   763971 |   594382 |    29582     47 |        0 |        0
1210.21/1210.68	c 1210s |      19 |   765085 |   595282 |    29582     47 |        0 |        0
1212.51/1212.90	c 1212s |      19 |   766204 |   596182 |    29582     47 |        0 |        0
1214.51/1214.92	c 1214s |      19 |   767192 |   596982 |    29582     47 |        0 |        0
1216.61/1217.00	c 1216s |      19 |   768176 |   597782 |    29582     47 |        0 |        0
1218.61/1219.09	c 1218s |      19 |   769219 |   598582 |    29582     47 |        0 |        0
1220.71/1221.16	c 1220s |      19 |   770263 |   599382 |    29582     47 |        0 |        0
1223.00/1223.40	c 1223s |      19 |   771407 |   600282 |    29582     47 |        0 |        0
1225.30/1225.73	c 1225s |      19 |   772429 |   601082 |    29582     48 |        0 |        0
1227.40/1227.89	c 1227s |      19 |   773824 |   602182 |    29582     48 |        0 |        0
1229.60/1230.09	c 1229s |      19 |   775215 |   603282 |    29582     48 |        0 |        0
1231.71/1232.17	c 1231s |      19 |   776611 |   604382 |    29582     48 |        0 |        0
1233.70/1234.19	c 1233s |      19 |   777734 |   605282 |    29582     48 |        0 |        0
1235.80/1236.22	c 1235s |      19 |   779061 |   606282 |    29582     48 |        0 |        0
1237.80/1238.25	c 1238s |      19 |   780237 |   607182 |    29582     48 |        0 |        0
1239.80/1240.28	c 1240s |      19 |   781450 |   608082 |    29582     48 |        0 |        0
1242.00/1242.42	c 1242s |      19 |   782715 |   609082 |    29582     48 |        0 |        0
1244.09/1244.58	c 1244s |      19 |   783994 |   610082 |    29582     48 |        0 |        0
1246.19/1246.63	c 1246s |      19 |   785304 |   611082 |    29582     48 |        0 |        0
1248.29/1248.75	c 1248s |      19 |   786531 |   612082 |    29582     48 |        0 |        0
1250.40/1250.86	c 1250s |      19 |   787638 |   612982 |    29582     48 |        0 |        0
1252.39/1252.88	c 1252s |      19 |   788636 |   613782 |    29582     48 |        0 |        0
1254.59/1255.07	c 1254s |      19 |   789806 |   614682 |    29582     48 |        0 |        0
1256.90/1257.35	c 1257s |      19 |   790919 |   615582 |    29582     48 |        0 |        0
1258.99/1259.46	c 1259s |      19 |   791944 |   616382 |    29582     49 |        0 |        0
1261.09/1261.58	c 1261s |      19 |   793302 |   617482 |    29582     49 |        0 |        0
1263.29/1263.75	c 1263s |      19 |   794684 |   618582 |    29582     49 |        0 |        0
1265.29/1265.78	c 1265s |      19 |   795937 |   619582 |    29582     49 |        0 |        0
1267.29/1267.78	c 1267s |      19 |   797222 |   620582 |    29582     49 |        0 |        0
1269.39/1269.85	c 1269s |      19 |   798489 |   621582 |    29582     49 |        0 |        0
1271.39/1271.85	c 1271s |      19 |   799763 |   622582 |    29582     49 |        0 |        0
1273.58/1274.03	c 1273s |      19 |   801028 |   623582 |    29582     49 |        0 |        0
1275.78/1276.26	c 1276s |      19 |   802283 |   624582 |    29582     49 |        0 |        0
1277.98/1278.47	c 1278s |      19 |   803575 |   625582 |    29582     49 |        0 |        0
1280.18/1280.66	c 1280s |      19 |   804850 |   626582 |    29582     49 |        0 |        0
1282.19/1282.68	c 1282s |      19 |   806066 |   627482 |    29582     49 |        0 |        0
1284.38/1284.89	c 1284s |      19 |   807194 |   628382 |    29582     49 |        0 |        0
1286.48/1286.94	c 1286s |      19 |   808238 |   629182 |    29582     49 |        0 |        0
1288.58/1289.09	c 1288s |      19 |   809386 |   630082 |    29582     49 |        0 |        0
1290.68/1291.19	c 1290s |      19 |   810390 |   630882 |    29582     49 |        0 |        0
1292.88/1293.35	c 1293s |      19 |   811629 |   631882 |    29582     50 |        0 |        0
1295.07/1295.52	c 1295s |      19 |   813037 |   632982 |    29582     50 |        0 |        0
1297.17/1297.64	c 1297s |      19 |   814151 |   633882 |    29582     50 |        0 |        0
1299.27/1299.76	c 1299s |      19 |   815402 |   634882 |    29582     50 |        0 |        0
1301.27/1301.79	c 1301s |      19 |   816726 |   635882 |    29582     50 |        0 |        0
1303.37/1303.82	c 1303s |      19 |   817974 |   636882 |    29582     50 |        0 |        0
1305.47/1305.90	c 1305s |      19 |   819217 |   637882 |    29582     50 |        0 |        0
1307.67/1308.16	c 1307s |      19 |   820606 |   638982 |    29582     50 |        0 |        0
1309.77/1310.28	c 1310s |      19 |   821826 |   639982 |    29582     50 |        0 |        0
1311.87/1312.37	c 1312s |      19 |   822937 |   640882 |    29582     50 |        0 |        0
1313.96/1314.44	c 1314s |      19 |   824063 |   641782 |    29582     50 |        0 |        0
1316.06/1316.58	c 1316s |      19 |   825197 |   642682 |    29582     50 |        0 |        0
1318.16/1318.61	c 1318s |      19 |   826306 |   643582 |    29582     50 |        0 |        0
1320.26/1320.77	c 1320s |      19 |   827675 |   644682 |    29582     50 |        0 |        0
1322.36/1322.83	c 1322s |      19 |   828957 |   645682 |    29582     50 |        0 |        0
1324.45/1324.96	c 1324s |      19 |   830081 |   646582 |    29582     51 |        0 |        0
1326.55/1327.02	c 1326s |      19 |   831629 |   647782 |    29582     51 |        0 |        0
1328.55/1329.10	c 1328s |      19 |   833040 |   648882 |    29582     51 |        0 |        0
1330.66/1331.14	c 1330s |      19 |   834435 |   649982 |    29582     51 |        0 |        0
1332.76/1333.22	c 1332s |      19 |   835782 |   651082 |    29582     51 |        0 |        0
1334.75/1335.27	c 1335s |      19 |   836992 |   652082 |    29582     51 |        0 |        0
1336.95/1337.41	c 1337s |      19 |   838408 |   653182 |    29582     51 |        0 |        0
1339.05/1339.55	c 1339s |      19 |   839637 |   654182 |    29582     51 |        0 |        0
1341.15/1341.65	c 1341s |      19 |   840880 |   655182 |    29582     51 |        0 |        0
1343.24/1343.74	c 1343s |      19 |   842006 |   656082 |    29582     51 |        0 |        0
1345.24/1345.79	c 1345s |      19 |   843156 |   656982 |    29582     51 |        0 |        0
1347.44/1347.98	c 1347s |      19 |   844448 |   657982 |    29582     51 |        0 |        0
1349.64/1350.15	c 1349s |      19 |   845718 |   658982 |    29582     51 |        0 |        0
1351.64/1352.16	c 1351s |      19 |   846714 |   659782 |    29582     51 |        0 |        0
1353.74/1354.24	c 1354s |      19 |   847880 |   660682 |    29582     51 |        0 |        0
1355.94/1356.42	c 1356s |      19 |   849009 |   661582 |    29582     52 |        0 |        0
1358.04/1358.58	c 1358s |      19 |   850533 |   662782 |    32541     52 |        0 |        0
1360.13/1360.66	c 1360s |      19 |   851967 |   663882 |    32541     52 |        0 |        0
1362.23/1362.77	c 1362s |      19 |   853424 |   664982 |    32541     52 |        0 |        0
1364.33/1364.88	c 1364s |      19 |   854679 |   665982 |    32541     52 |        0 |        0
1366.13/1366.65	c 1366s |      20 |   855765 |   666827 |    32541     52 |        0 |        0
1368.13/1368.69	c 1368s |      20 |   857196 |   667827 |    32541     52 |        0 |        0
1370.33/1370.85	c 1370s |      20 |   858708 |   669027 |    32541     52 |        0 |        0
1372.43/1372.94	c 1372s |      20 |   860233 |   670227 |    32541     52 |        0 |        0
1374.42/1374.97	c 1374s |      20 |   861627 |   671327 |    32541     52 |        0 |        0
1376.52/1377.00	c 1376s |      20 |   863086 |   672427 |    32541     52 |        0 |        0
1378.62/1379.17	c 1378s |      20 |   864483 |   673527 |    32541     52 |        0 |        0
1380.82/1381.32	c 1381s |      20 |   865706 |   674527 |    32541     52 |        0 |        0
1382.82/1383.34	c 1383s |      20 |   866860 |   675427 |    32541     52 |        0 |        0
1384.91/1385.44	c 1385s |      20 |   868143 |   676427 |    32541     52 |        0 |        0
1386.91/1387.49	c 1387s |      20 |   869252 |   677327 |    32541     52 |        0 |        0
1389.01/1389.53	c 1389s |      20 |   870442 |   678227 |    32541     52 |        0 |        0
1391.21/1391.72	c 1391s |      20 |   871437 |   679027 |    32541     53 |        0 |        0
1393.21/1393.74	c 1393s |      20 |   872661 |   680027 |    32541     53 |        0 |        0
1395.30/1395.89	c 1395s |      20 |   874010 |   681127 |    32541     53 |        0 |        0
1397.40/1397.98	c 1397s |      20 |   875459 |   682227 |    32541     53 |        0 |        0
1399.60/1400.10	c 1399s |      20 |   876688 |   683227 |    32541     53 |        0 |        0
1401.60/1402.14	c 1401s |      20 |   877943 |   684227 |    32541     53 |        0 |        0
1403.70/1404.29	c 1404s |      20 |   879192 |   685227 |    32541     53 |        0 |        0
1405.80/1406.35	c 1406s |      20 |   880477 |   686227 |    32541     53 |        0 |        0
1407.90/1408.47	c 1408s |      20 |   881715 |   687227 |    32541     53 |        0 |        0
1410.10/1410.68	c 1410s |      20 |   882975 |   688227 |    32541     53 |        0 |        0
1412.20/1412.74	c 1412s |      20 |   884174 |   689127 |    32541     53 |        0 |        0
1414.30/1414.83	c 1414s |      20 |   885381 |   690027 |    32541     53 |        0 |        0
1416.40/1416.93	c 1416s |      20 |   886435 |   690927 |    32541     53 |        0 |        0
1418.50/1419.05	c 1418s |      20 |   887526 |   691827 |    32541     53 |        0 |        0
1420.70/1421.27	c 1421s |      20 |   888711 |   692727 |    32541     53 |        0 |        0
1422.90/1423.48	c 1423s |      20 |   889818 |   693627 |    32541     53 |        0 |        0
1425.10/1425.68	c 1425s |      20 |   891181 |   694627 |    32541     53 |        0 |        0
1427.30/1427.90	c 1427s |      20 |   892373 |   695527 |    32541     53 |        0 |        0
1429.39/1429.99	c 1429s |      20 |   893669 |   696527 |    32541     54 |        0 |        0
1431.49/1432.02	c 1431s |      20 |   894910 |   697527 |    32541     54 |        0 |        0
1433.69/1434.25	c 1434s |      20 |   896257 |   698627 |    32541     54 |        0 |        0
1435.79/1436.34	c 1436s |      20 |   897540 |   699627 |    32541     54 |        0 |        0
1437.89/1438.47	c 1438s |      20 |   899030 |   700727 |    32541     54 |        0 |        0
1439.99/1440.52	c 1440s |      20 |   900179 |   701627 |    32541     54 |        0 |        0
1441.99/1442.53	c 1442s |      20 |   901362 |   702527 |    32541     54 |        0 |        0
1444.08/1444.69	c 1444s |      20 |   902475 |   703427 |    32541     54 |        0 |        0
1446.18/1446.72	c 1446s |      20 |   903618 |   704327 |    32541     54 |        0 |        0
1448.29/1448.86	c 1448s |      20 |   904736 |   705227 |    32541     54 |        0 |        0
1450.28/1450.87	c 1450s |      20 |   905864 |   706127 |    32541     54 |        0 |        0
1452.48/1453.07	c 1452s |      20 |   907164 |   707127 |    32541     54 |        0 |        0
1454.68/1455.21	c 1454s |      20 |   908249 |   708027 |    32541     54 |        0 |        0
1456.78/1457.33	c 1457s |      20 |   909353 |   708927 |    32541     54 |        0 |        0
1458.88/1459.49	c 1459s |      20 |   910492 |   709827 |    32541     54 |        0 |        0
1460.98/1461.59	c 1461s |      20 |   911794 |   710827 |    32541     54 |        0 |        0
1463.18/1463.72	c 1463s |      20 |   912790 |   711627 |    32541     54 |        0 |        0
1465.18/1465.79	c 1465s |      20 |   913682 |   712327 |    32541     55 |        0 |        0
1467.38/1467.94	c 1467s |      20 |   915092 |   713427 |    32541     55 |        0 |        0
1469.38/1469.99	c 1469s |      20 |   916452 |   714527 |    32541     55 |        0 |        0
1471.48/1472.03	c 1471s |      20 |   917823 |   715627 |    32541     55 |        0 |        0
1473.48/1474.07	c 1473s |      20 |   919078 |   716627 |    32541     55 |        0 |        0
1475.47/1476.07	c 1475s |      20 |   920406 |   717627 |    32541     55 |        0 |        0
1477.57/1478.14	c 1477s |      20 |   921564 |   718527 |    32541     55 |        0 |        0
1479.67/1480.24	c 1480s |      20 |   922681 |   719427 |    32541     55 |        0 |        0
1481.87/1482.41	c 1482s |      20 |   923809 |   720327 |    32541     55 |        0 |        0
1483.98/1484.52	c 1484s |      20 |   924936 |   721227 |    32541     55 |        0 |        0
1485.98/1486.54	c 1486s |      20 |   926099 |   722127 |    32541     55 |        0 |        0
1488.08/1488.63	c 1488s |      20 |   927447 |   723127 |    32541     55 |        0 |        0
1490.18/1490.70	c 1490s |      20 |   928614 |   724027 |    32541     55 |        0 |        0
1492.19/1492.75	c 1492s |      20 |   929779 |   724927 |    32541     55 |        0 |        0
1494.18/1494.76	c 1494s |      20 |   930963 |   725827 |    32541     55 |        0 |        0
1496.18/1496.78	c 1496s |      20 |   932128 |   726727 |    32541     55 |        0 |        0
1498.28/1498.87	c 1498s |      20 |   933134 |   727527 |    32541     55 |        0 |        0
1500.48/1501.09	c 1500s |      20 |   934122 |   728327 |    32541     55 |        0 |        0
1502.68/1503.21	c 1502s |      20 |   935291 |   729227 |    32541     56 |        0 |        0
1504.78/1505.31	c 1505s |      20 |   936744 |   730427 |    32541     56 |        0 |        0
1506.88/1507.42	c 1507s |      20 |   938104 |   731527 |    32541     56 |        0 |        0
1508.88/1509.49	c 1509s |      20 |   939405 |   732527 |    32541     56 |        0 |        0
1510.98/1511.60	c 1511s |      20 |   940800 |   733627 |    32541     56 |        0 |        0
1513.08/1513.62	c 1513s |      20 |   942062 |   734627 |    32541     56 |        0 |        0
1515.08/1515.63	c 1515s |      20 |   943322 |   735627 |    32541     56 |        0 |        0
1517.08/1517.68	c 1517s |      20 |   944467 |   736527 |    32541     56 |        0 |        0
1519.18/1519.74	c 1519s |      20 |   945573 |   737427 |    32541     56 |        0 |        0
1521.27/1521.80	c 1521s |      20 |   946700 |   738327 |    32541     56 |        0 |        0
1523.37/1523.94	c 1523s |      20 |   947814 |   739227 |    32541     56 |        0 |        0
1525.37/1525.98	c 1525s |      20 |   948933 |   740127 |    32541     56 |        0 |        0
1527.48/1528.04	c 1527s |      20 |   949891 |   740927 |    32541     56 |        0 |        0
1529.58/1530.12	c 1529s |      20 |   950899 |   741727 |    32541     56 |        0 |        0
1531.67/1532.21	c 1531s |      20 |   952024 |   742627 |    32541     56 |        0 |        0
1533.77/1534.34	c 1534s |      20 |   953280 |   743627 |    32541     56 |        0 |        0
1535.97/1536.52	c 1536s |      20 |   954514 |   744627 |    32541     56 |        0 |        0
1537.97/1538.59	c 1538s |      20 |   955826 |   745627 |    32541     57 |        0 |        0
1540.07/1540.66	c 1540s |      20 |   957348 |   746827 |    32541     57 |        0 |        0
1542.17/1542.76	c 1542s |      20 |   958832 |   748027 |    32541     57 |        0 |        0
1544.37/1544.97	c 1544s |      20 |   960281 |   749227 |    32541     57 |        0 |        0
1546.57/1547.18	c 1546s |      20 |   961831 |   750427 |    32541     57 |        0 |        0
1548.67/1549.29	c 1549s |      20 |   963179 |   751527 |    32541     57 |        0 |        0
1550.86/1551.46	c 1551s |      20 |   964580 |   752627 |    32541     57 |        0 |        0
1552.96/1553.56	c 1553s |      20 |   965849 |   753627 |    32541     57 |        0 |        0
1554.97/1555.56	c 1555s |      20 |   967095 |   754627 |    32541     57 |        0 |        0
1557.17/1557.79	c 1557s |      20 |   968361 |   755627 |    32541     57 |        0 |        0
1559.37/1559.99	c 1559s |      20 |   969634 |   756627 |    32541     57 |        0 |        0
1561.57/1562.18	c 1561s |      20 |   970943 |   757627 |    32541     57 |        0 |        0
1563.67/1564.29	c 1564s |      20 |   972108 |   758527 |    32541     57 |        0 |        0
1565.87/1566.43	c 1566s |      20 |   973235 |   759427 |    32541     57 |        0 |        0
1568.07/1568.66	c 1568s |      20 |   974333 |   760327 |    32541     57 |        0 |        0
1570.06/1570.67	c 1570s |      20 |   975334 |   761127 |    32541     57 |        0 |        0
1572.26/1572.83	c 1572s |      20 |   976509 |   762027 |    32541     58 |        0 |        0
1574.36/1574.99	c 1574s |      20 |   977890 |   763127 |    32541     58 |        0 |        0
1576.56/1577.17	c 1576s |      20 |   979293 |   764227 |    32541     58 |        0 |        0
1578.76/1579.36	c 1579s |      20 |   980677 |   765327 |    32541     58 |        0 |        0
1580.96/1581.58	c 1581s |      20 |   981923 |   766327 |    32541     58 |        0 |        0
1582.96/1583.59	c 1583s |      20 |   983057 |   767227 |    32541     58 |        0 |        0
1585.06/1585.64	c 1585s |      20 |   984329 |   768227 |    32541     58 |        0 |        0
1587.16/1587.76	c 1587s |      20 |   985805 |   769327 |    32541     58 |        0 |        0
1589.16/1589.79	c 1589s |      20 |   987287 |   770427 |    32541     58 |        0 |        0
1591.36/1591.92	c 1591s |      20 |   988585 |   771427 |    32541     58 |        0 |        0
1593.46/1594.08	c 1593s |      20 |   989696 |   772327 |    32541     58 |        0 |        0
1595.76/1596.31	c 1596s |      20 |   990959 |   773327 |    32541     58 |        0 |        0
1597.86/1598.46	c 1598s |      20 |   992102 |   774227 |    32541     58 |        0 |        0
1600.06/1600.63	c 1600s |      20 |   993256 |   775127 |    32541     58 |        0 |        0
1602.06/1602.66	c 1602s |      20 |   994281 |   775927 |    32541     58 |        0 |        0
1604.26/1604.90	c 1604s |      20 |   995417 |   776827 |    32541     58 |        0 |        0
1606.36/1606.98	c 1606s |      20 |   996416 |   777627 |    32541     58 |        0 |        0
1608.56/1609.10	c 1608s |      20 |   997601 |   778527 |    32541     59 |        0 |        0
1610.56/1611.18	c 1610s |      20 |   999034 |   779627 |    32541     59 |        0 |        0
1612.55/1613.19	c 1612s |      20 |  1000333 |   780627 |    32541     59 |        0 |        0
1614.55/1615.19	c 1614s |      20 |  1001598 |   781627 |    32541     59 |        0 |        0
1616.75/1617.36	c 1617s |      20 |  1002939 |   782727 |    32541     59 |        0 |        0
1618.85/1619.50	c 1619s |      20 |  1004362 |   783827 |    32541     59 |        0 |        0
1621.05/1621.63	c 1621s |      20 |  1005810 |   784927 |    32541     59 |        0 |        0
1623.06/1623.66	c 1623s |      20 |  1007113 |   785927 |    32541     59 |        0 |        0
1625.26/1625.84	c 1625s |      20 |  1008388 |   786927 |    32541     59 |        0 |        0
1627.35/1627.94	c 1627s |      20 |  1009672 |   787927 |    32541     59 |        0 |        0
1629.35/1629.99	c 1629s |      20 |  1010812 |   788827 |    32541     59 |        0 |        0
1631.45/1632.05	c 1631s |      20 |  1011931 |   789727 |    32541     59 |        0 |        0
1633.65/1634.25	c 1634s |      20 |  1013085 |   790627 |    32541     59 |        0 |        0
1635.85/1636.45	c 1636s |      20 |  1014204 |   791527 |    32541     59 |        0 |        0
1638.05/1638.62	c 1638s |      20 |  1015362 |   792427 |    32541     59 |        0 |        0
1640.15/1640.72	c 1640s |      20 |  1016342 |   793227 |    32541     59 |        0 |        0
1642.15/1642.76	c 1642s |      20 |  1017326 |   794027 |    32541     59 |        0 |        0
1644.25/1644.88	c 1644s |      20 |  1018317 |   794827 |    32541     60 |        0 |        0
1646.35/1646.98	c 1646s |      20 |  1019657 |   795827 |    32541     60 |        0 |        0
1648.55/1649.10	c 1648s |      20 |  1021045 |   796927 |    32541     60 |        0 |        0
1650.66/1651.26	c 1651s |      20 |  1022447 |   798027 |    32541     60 |        0 |        0
1652.86/1653.43	c 1653s |      20 |  1023933 |   799127 |    32541     60 |        0 |        0
1655.06/1655.62	c 1655s |      20 |  1025171 |   800127 |    32541     60 |        0 |        0
1657.05/1657.65	c 1657s |      20 |  1026316 |   801027 |    32541     60 |        0 |        0
1659.25/1659.85	c 1659s |      20 |  1027609 |   802027 |    32541     60 |        0 |        0
1661.35/1661.90	c 1661s |      20 |  1028759 |   802927 |    32541     60 |        0 |        0
1663.45/1664.04	c 1663s |      20 |  1029945 |   803827 |    32541     60 |        0 |        0
1665.55/1666.16	c 1665s |      20 |  1031102 |   804727 |    32541     60 |        0 |        0
1667.65/1668.25	c 1668s |      20 |  1032317 |   805627 |    32541     60 |        0 |        0
1669.65/1670.28	c 1670s |      20 |  1033344 |   806427 |    32541     60 |        0 |        0
1671.65/1672.28	c 1672s |      20 |  1034389 |   807227 |    32541     60 |        0 |        0
1673.85/1674.46	c 1674s |      20 |  1035382 |   808027 |    32541     60 |        0 |        0
1676.15/1676.72	c 1676s |      20 |  1036402 |   808827 |    32541     60 |        0 |        0
1678.15/1678.79	c 1678s |      20 |  1037289 |   809527 |    32541     60 |        0 |        0
1680.25/1680.86	c 1680s |      20 |  1038157 |   810227 |    32541     60 |        0 |        0
1682.34/1682.99	c 1682s |      20 |  1039046 |   810927 |    32541     61 |        0 |        0
1684.34/1684.99	c 1684s |      20 |  1040269 |   811927 |    32541     61 |        0 |        0
1686.44/1687.01	c 1686s |      20 |  1041660 |   813027 |    32541     61 |        0 |        0
1688.44/1689.06	c 1688s |      20 |  1042879 |   814027 |    32541     61 |        0 |        0
1690.64/1691.22	c 1690s |      20 |  1044107 |   815027 |    32541     61 |        0 |        0
1692.64/1693.24	c 1693s |      20 |  1045216 |   815927 |    32541     61 |        0 |        0
1694.65/1695.25	c 1695s |      20 |  1046339 |   816827 |    32541     61 |        0 |        0
1696.64/1697.28	c 1697s |      20 |  1047460 |   817727 |    32541     61 |        0 |        0
1698.74/1699.32	c 1699s |      20 |  1048628 |   818627 |    32541     61 |        0 |        0
1700.84/1701.46	c 1701s |      20 |  1049870 |   819627 |    32541     61 |        0 |        0
1703.14/1703.71	c 1703s |      20 |  1051171 |   820627 |    32541     61 |        0 |        0
1705.24/1705.82	c 1705s |      20 |  1052245 |   821527 |    32541     61 |        0 |        0
1707.24/1707.83	c 1707s |      20 |  1053385 |   822427 |    32541     61 |        0 |        0
1709.34/1709.97	c 1709s |      20 |  1054505 |   823327 |    32541     61 |        0 |        0
1711.44/1712.04	c 1711s |      20 |  1055643 |   824227 |    32541     61 |        0 |        0
1713.44/1714.05	c 1713s |      20 |  1056655 |   825027 |    32541     61 |        0 |        0
1715.45/1716.06	c 1715s |      20 |  1057779 |   825927 |    32541     61 |        0 |        0
1717.54/1718.11	c 1717s |      20 |  1058851 |   826727 |    32541     61 |        0 |        0
1719.74/1720.37	c 1720s |      20 |  1059864 |   827527 |    32541     62 |        0 |        0
1721.85/1722.40	c 1722s |      20 |  1061280 |   828627 |    32541     62 |        0 |        0
1723.94/1724.58	c 1724s |      20 |  1062819 |   829827 |    32541     62 |        0 |        0
1726.14/1726.74	c 1726s |      20 |  1064331 |   831027 |    32541     62 |        0 |        0
1728.34/1728.94	c 1728s |      20 |  1065846 |   832227 |    32541     62 |        0 |        0
1730.54/1731.10	c 1730s |      20 |  1067253 |   833327 |    32541     62 |        0 |        0
1732.64/1733.20	c 1732s |      20 |  1068462 |   834327 |    32541     62 |        0 |        0
1734.64/1735.24	c 1735s |      20 |  1069723 |   835327 |    32541     62 |        0 |        0
1736.74/1737.35	c 1737s |      20 |  1071085 |   836327 |    32541     62 |        0 |        0
1738.74/1739.36	c 1739s |      20 |  1072359 |   837327 |    32541     62 |        0 |        0
1740.75/1741.40	c 1741s |      20 |  1073618 |   838327 |    32541     62 |        0 |        0
1742.95/1743.57	c 1743s |      20 |  1074900 |   839327 |    32541     62 |        0 |        0
1745.04/1745.61	c 1745s |      20 |  1076076 |   840227 |    32541     62 |        0 |        0
1747.04/1747.66	c 1747s |      20 |  1077221 |   841127 |    32541     62 |        0 |        0
1749.14/1749.70	c 1749s |      20 |  1078206 |   841927 |    32541     62 |        0 |        0
1751.14/1751.71	c 1751s |      20 |  1079225 |   842727 |    32541     62 |        0 |        0
1753.24/1753.82	c 1753s |      20 |  1080229 |   843527 |    32541     62 |        0 |        0
1755.34/1755.98	c 1755s |      20 |  1081237 |   844327 |    32541     63 |        0 |        0
1757.54/1758.12	c 1757s |      20 |  1082705 |   845427 |    32541     63 |        0 |        0
1759.55/1760.13	c 1759s |      20 |  1083994 |   846427 |    32541     63 |        0 |        0
1761.54/1762.14	c 1761s |      20 |  1085250 |   847427 |    32541     63 |        0 |        0
1763.54/1764.14	c 1763s |      20 |  1086523 |   848427 |    32541     63 |        0 |        0
1765.74/1766.37	c 1766s |      20 |  1087748 |   849427 |    32541     63 |        0 |        0
1767.84/1768.41	c 1768s |      20 |  1088870 |   850327 |    32541     63 |        0 |        0
1769.94/1770.51	c 1770s |      20 |  1089990 |   851227 |    32541     63 |        0 |        0
1771.94/1772.58	c 1772s |      20 |  1091157 |   852127 |    32541     63 |        0 |        0
1774.04/1774.67	c 1774s |      20 |  1092329 |   853027 |    32541     63 |        0 |        0
1776.14/1776.77	c 1776s |      20 |  1093440 |   853927 |    32541     63 |        0 |        0
1778.14/1778.78	c 1778s |      20 |  1094475 |   854727 |    32541     63 |        0 |        0
1780.14/1780.79	c 1780s |      20 |  1095526 |   855527 |    32541     63 |        0 |        0
1782.34/1782.91	c 1782s |      20 |  1096533 |   856327 |    32541     63 |        0 |        0
1784.44/1785.09	c 1784s |      20 |  1097699 |   857227 |    32541     63 |        0 |        0
1786.54/1787.17	c 1786s |      20 |  1098834 |   858127 |    32541     63 |        0 |        0
1788.74/1789.35	c 1789s |      20 |  1099848 |   858927 |    32541     63 |        0 |        0
1790.93/1791.52	c 1791s |      20 |  1100890 |   859727 |    32541     63 |        0 |        0
1793.23/1793.88	c 1793s |      20 |  1101925 |   860527 |    32541     64 |        0 |        0
1795.33/1795.94	c 1795s |      20 |  1103198 |   861527 |    32541     64 |        0 |        0
1797.53/1798.10	c 1797s |      20 |  1104583 |   862627 |    32541     64 |        0 |        0
1799.53/1800.18	c 1799s |      20 |  1106033 |   863727 |    32541     64 |        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-4102905-1466231732/watcher-4102905-1466231732 -o /tmp/evaluation-result-4102905-1466231732/solver-4102905-1466231732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102905-1466231732.opb 

pid=18501
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.11 2.12 2.15 4/179 18504
/proc/meminfo: memFree=29438924/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=595388 CPUtime=0 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 2196 0 0 0 0 0 0 0 20 0 4 0 25219852 609677312 3069 33554432000 4194304 16246674 140734360852864 140734360852288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 149615 3078 441 2943 0 146509 0
[pid=18504/tid=18505] ppid=18501 vsize=613820 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 628551680 3139 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=617916 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 632745984 3154 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=622012 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 636940288 3173 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.11 2.12 2.15 4/179 18504
/proc/meminfo: memFree=29438924/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 25402 0 0 0 5 4 0 0 20 0 4 0 25219852 1333334016 26212 33554432000 4194304 16246674 140734360852864 140734360852176 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 325521 26227 799 2943 0 322415 0
[pid=18504/tid=18505] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 26237 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 26249 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 26260 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200509 s]
/proc/loadavg: 2.11 2.12 2.15 4/179 18504
/proc/meminfo: memFree=29438924/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1302084 CPUtime=0.18 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 42448 0 0 0 12 6 0 0 20 0 4 0 25219852 1333334016 43258 33554432000 4194304 16246674 140734360852864 140734360834752 5876472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 325521 43258 831 2943 0 322415 0
[pid=18504/tid=18505] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 43258 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 43258 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 43258 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1302084

[startup+0.300488 s]
/proc/loadavg: 2.11 2.12 2.15 4/179 18504
/proc/meminfo: memFree=29438924/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 51958 0 0 0 21 8 0 0 20 0 4 0 25219852 1333334016 52768 33554432000 4194304 16246674 140734360852864 140734360834752 5674353 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 325521 52775 879 2943 0 322415 0
[pid=18504/tid=18505] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 52780 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 52783 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 52789 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700346 s]
/proc/loadavg: 2.11 2.12 2.15 4/179 18504
/proc/meminfo: memFree=29438924/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 125198 0 0 0 54 15 0 0 20 0 4 0 25219852 1333334016 126009 33554432000 4194304 16246674 140734360852864 140734360834752 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 325521 126013 881 2943 0 322415 0
[pid=18504/tid=18505] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 126016 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 126020 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1333334016 126023 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.11 2.12 2.15 3/183 18508
/proc/meminfo: memFree=28636212/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1310276 CPUtime=1.48 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 268651 0 0 0 114 34 0 0 20 0 4 0 25219852 1341722624 269461 33554432000 4194304 16246674 140734360852864 140734360852176 6861779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 327569 269461 887 2943 0 324463 0
[pid=18504/tid=18505] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269461 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269461 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269461 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1310276

[startup+3.1004 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 18508
/proc/meminfo: memFree=28362056/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1310276 CPUtime=3.08 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 268743 0 0 0 274 34 0 0 20 0 4 0 25219852 1341722624 269553 33554432000 4194304 16246674 140734360852864 140734360835864 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 327569 269553 887 2943 0 324463 0
[pid=18504/tid=18505] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269553 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269553 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269553 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1310276

[startup+6.3004 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 18508
/proc/meminfo: memFree=28361600/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1310276 CPUtime=6.28 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 268746 0 0 0 594 34 0 0 20 0 4 0 25219852 1341722624 269556 33554432000 4194304 16246674 140734360852864 140734360834752 5823242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 327569 269556 888 2943 0 324463 0
[pid=18504/tid=18505] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269556 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269556 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269556 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.09 2.12 2.15 3/183 18508
/proc/meminfo: memFree=28362224/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1310276 CPUtime=12.68 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 268746 0 0 0 1234 34 0 0 20 0 4 0 25219852 1341722624 269556 33554432000 4194304 16246674 140734360852864 140734360835864 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 327569 269556 888 2943 0 324463 0
[pid=18504/tid=18505] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269556 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269556 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269556 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.07 2.11 2.15 3/183 18508
/proc/meminfo: memFree=28361468/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 268752 0 0 0 2514 34 0 0 20 0 4 0 25219852 1341722624 269562 33554432000 4194304 16246674 140734360852864 140734360834752 6022252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 327569 269562 892 2943 0 324463 0
[pid=18504/tid=18505] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269562 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269562 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269562 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.19 2.13 2.15 3/183 18508
/proc/meminfo: memFree=28361688/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 268752 0 0 0 5074 34 0 0 20 0 4 0 25219852 1341722624 269562 33554432000 4194304 16246674 140734360852864 140734360834752 13954625 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 327569 269562 892 2943 0 324463 0
[pid=18504/tid=18505] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269562 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269562 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1341722624 269562 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.16 2.14 2.15 3/183 18509
/proc/meminfo: memFree=28356012/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 269521 0 0 0 10193 35 0 0 20 0 4 0 25219852 1344868352 270331 33554432000 4194304 16246674 140734360852864 140734360834752 5823619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 328337 270331 893 2943 0 325231 0
[pid=18504/tid=18505] ppid=18501 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1344868352 270331 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1344868352 270331 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1344868352 270331 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1337924

[startup+1302.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 18539
/proc/meminfo: memFree=28206732/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1301.87 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276045 0 0 0 130149 38 0 0 20 0 4 0 25219852 1370034176 276479 33554432000 4194304 16246674 140734360852864 140734360835864 5822756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276479 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1337924

[startup+1362.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 18540
/proc/meminfo: memFree=28206024/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1361.83 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276091 0 0 0 136145 38 0 0 20 0 4 0 25219852 1370034176 276479 33554432000 4194304 16246674 140734360852864 140734360834752 5824017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276479 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1337924

[startup+1422.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 18542
/proc/meminfo: memFree=28206044/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1421.8 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276130 0 0 0 142142 38 0 0 20 0 4 0 25219852 1370034176 276479 33554432000 4194304 16246674 140734360852864 140734360834752 5823793 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276479 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276479 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1337924

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/184 18595
/proc/meminfo: memFree=28991740/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1481.77 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 148139 38 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 5677833 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1337924

[startup+1542.31 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 18619
/proc/meminfo: memFree=28355400/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1541.78 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 154139 39 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1337924

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.19 3/183 18668
/proc/meminfo: memFree=21060072/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1601.76 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 160137 39 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.35 2.28 2.20 3/183 18669
/proc/meminfo: memFree=15103868/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1661.75 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 166136 39 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 12477752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.19 2.24 2.18 3/183 18720
/proc/meminfo: memFree=29385416/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1721.75 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 172135 40 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 5721768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1337924

[startup+1782.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 18721
/proc/meminfo: memFree=18911016/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1781.74 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 178134 40 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1337924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.13 2.21 2.18 3/183 18721
/proc/meminfo: memFree=17944208/32872528 swapFree=1191052/1305516
[pid=18504] ppid=18501 vsize=1337924 CPUtime=1800.03 cores=0,2,4,6
/proc/18504/stat : 18504 (toysat) R 18501 18504 14522 0 -1 4202496 276156 0 0 0 179963 40 0 0 20 0 4 0 25219852 1370034176 276483 33554432000 4194304 16246674 140734360852864 140734360834752 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18504/statm: 334481 276483 894 2943 0 331375 0
[pid=18504/tid=18505] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18505/stat : 18505 (toysat) S 18501 18504 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680372399344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18504/tid=18506] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18506/stat : 18506 (toysat) S 18501 18504 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680361909488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18504/tid=18507] ppid=18501 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/18504/task/18507/stat : 18507 (toysat) S 18501 18504 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25219853 1370034176 276483 33554432000 4194304 16246674 140734360852864 140680244489392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1337924

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 18504 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.04
CPU user time (s): 1799.64
CPU system time (s): 0.400939
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1337924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.400939
maximum resident set size= 1105932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276156
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= 507
involuntary context switches= 1873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70228 second user time and 6.82696 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 08:35:32
IDJOB=4102905
IDBENCH=2191
IDSOLVER=2542
FILE ID=node127/4102905-1466231732
RUNJOBID= node127-1466206072-14538
PBS_JOBID= 19918150
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102905-1466231732/watcher-4102905-1466231732 -o /tmp/evaluation-result-4102905-1466231732/solver-4102905-1466231732 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102905-1466231732.opb

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

MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76
RANDOM SEED=625499387

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29438816 kB
Buffers:          128092 kB
Cached:           140916 kB
SwapCached:          528 kB
Active:          1219976 kB
Inactive:         169452 kB
Active(anon):    1121520 kB
Inactive(anon):      864 kB
Active(file):      98456 kB
Inactive(file):   168588 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       2425108 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             603992 kB
SReclaimable:      48112 kB
SUnreclaim:       555880 kB
KernelStack:        1480 kB
PageTables:         8816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2570840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71700 MiB
End job on node127 at 2016-06-18 09:05:33