Trace number 4093400

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.01 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo
MD5SUM515e8ce2c7c31d2b78b34efd1db422a9
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1050
Total number of constraints65
Number of soft constraints44
Number of constraints which are clauses35
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 2588
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2587
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T15:02:39+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093400-1466082159.wbo"]
0.00/0.01	c use --random-gen="2822323547 2011180977 1068373411 2084235509 1323123790 1853047614 4047580372 1472729961 11340178 1137291898 921004282 1258064669 3226673554 4141214004 2113218969 3548781664 2714238966 2225353088 1395254551 2133870056 1573424421 4197020288 3289950712 821481136 1354223413 2925899741 2857155462 2680801621 2318571372 382760423 4200922332 456251468 2614508981 3612151173 3030911325 3270556332 62058603 1193522329 4011376674 1253290580 3139519955 3467805717 3377246303 3941405577 315937701 2530563750 1360953684 1009526024 2080270693 2499282407 2200951849 1944537626 2466514409 3993723659 2404266561 732829583 3527680951 1666961877 3348903088 340045469 730200924 375286377 229527294 1162126853 3126307224 1712351587 1579264884 1101761517 3939920321 1776243081 2018029549 597505367 2045963565 38528308 606433628 105104585 2192316538 4230970025 2156360214 3087872029 2191082848 3246520074 3081662878 811610216 2175275384 162671891 1523199737 3618770185 2882812440 2788991258 3077396934 4203875981 1444121454 2350635403 2461224882 500364440 3977078540 610494896 1559303552 3041386095 4291655104 938497104 3304395841 777782798 4009389683 608439478 2987334501 4147216102 1631457187 1131574625 2367517953 1202496457 3554216515 1421656709 619757248 2250404867 1845459979 3967834480 1194770099 2215944766 1230744063 1813287323 2739111114 3060400085 2648504861 3485826753 4195792632 3645081044 3491614030 2705071475 2494263110 313757299 3272093474 2285452222 3448893968 3098301081 29137263 3345236017 2081931817 2961987393 1722207917 1080091225 192510313 594311888 3894377830 1504430224 1052868207 4219283355 1158694211 2394589199 1718964763 3087178628 2690108212 786461789 46952453 1919065060 1050614879 1563597282 2716893166 3338141078 3505841193 2576508574 4170925769 728738268 1156253170 2059434841 1544331073 1502881253 215611699 1497319257 2260816133 531253219 3635639496 2008073529 1962901428 3429635983 383503776 3750848944 3361360500 978952478 1746831560 2624340630 515059263 3298946695 809205822 2599189758 3340238960 3820135858 3456584097 2613020451 568997363 3865961986 1186485251 1016531852 2430339394 984619141 2255385440 2162950795 2090497170 2212622657 3484668852 985662097 971699517 466192219 1040288239 3256066659 3787894582 3780305746 120715428 7573567 3551868798 3779623106 2655864830 2431879345 3270468815 3505312947 2230885452 2792462961 2591264212 483093177 325834898 3549096980 3766316765 2712817812 2263226348 1800458666 486383456 266305447 2370101301 220812974 3181551938 4185686523 1246750867 899025280 4115173112 522352550 413374738 1135784236 2072499327 3748267470 139384566 2601282509 215235528 1004064354 2639826342 2660136159 1139988489 1710546077 1477752718 3929324689 305974446 1740103995 4195136132 758087529 260185806 4021328035 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1050
0.00/0.05	c #constraints 65
0.00/0.06	c BCD2: Hardening is enabled.
0.00/0.06	c BCD2: BiasedSearch is enabled.
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      386      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      186 |      100 |      386      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      869 |      101 |      425      0 |        0 |        0
0.00/0.09	c #cpu_time = 0.034s
0.00/0.09	c #wall_clock_time = 0.034s
0.00/0.09	c #decision = 869
0.00/0.09	c #random_decision = 7
0.00/0.09	c #conflict = 101
0.00/0.09	c #restart = 1
0.00/0.09	o 1240
0.00/0.09	c BCD2: updating upper bound: 2587 -> 1239
0.00/0.09	c BCD2: 0 <= obj <= 1239
0.00/0.09	c BCD2: #cores=0, #unrelaxed=44, #relaxed=0, #hardened=0
0.00/0.09	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      425      0 |        0 |        0
0.09/0.17	c  0.1s |       1 |      588 |      100 |      425      0 |        0 |        0
0.29/0.34	c  0.2s |       2 |     1258 |      250 |      468      0 |        0 |        0
0.49/0.56	c  0.5s |       3 |     2044 |      475 |      515      0 |        0 |        0
0.79/0.87	c  0.8s |       4 |     3126 |      813 |      567      1 |        0 |        0
1.20/1.22	c  1.1s |       5 |     4384 |     1320 |      624      2 |        0 |        0
1.68/1.75	c  1.7s |       6 |     5766 |     2081 |      687      3 |        0 |        0
2.48/2.54	c  2.4s |       7 |     7734 |     3223 |      756      4 |        0 |        0
4.18/4.24	c  4.1s |       8 |    10453 |     4936 |      832      7 |        0 |        0
6.18/6.26	c  6.2s |       8 |    14123 |     6936 |      832      9 |        0 |        0
6.98/7.00	c  6.9s |       9 |    14801 |     7506 |      916     10 |        0 |        0
8.98/9.07	c  9.0s |       9 |    18074 |     9106 |      916     12 |        0 |        0
11.18/11.26	c 11.2s |       9 |    19585 |    10406 |      916     13 |        0 |        0
13.19/13.21	c 13.1s |      10 |    20658 |    11361 |     1008     14 |        0 |        0
15.28/15.33	c 15.2s |      10 |    24203 |    13561 |     1008     17 |        0 |        0
17.39/17.41	c 17.3s |      10 |    26395 |    15461 |     1008     18 |        0 |        0
19.19/19.27	c 19.2s |      11 |    28323 |    17144 |     1109     20 |        0 |        0
21.29/21.30	c 21.2s |      11 |    31745 |    19644 |     1109     23 |        0 |        0
23.29/23.31	c 23.2s |      11 |    33970 |    21644 |     1109     24 |        0 |        0
25.30/25.35	c 25.3s |      11 |    36187 |    23644 |     1109     26 |        0 |        0
27.39/27.41	c 27.3s |      11 |    38372 |    25644 |     1220     28 |        0 |        0
27.60/27.61	c 27.5s |      12 |    38557 |    25819 |     1220     28 |        0 |        0
29.59/29.69	c 29.6s |      12 |    43026 |    28219 |     1220     31 |        0 |        0
31.69/31.77	c 31.7s |      12 |    45492 |    30219 |     1220     32 |        0 |        0
33.79/33.85	c 33.8s |      12 |    47540 |    32019 |     1220     34 |        0 |        0
35.79/35.87	c 35.8s |      12 |    49445 |    33719 |     1220     36 |        0 |        0
37.89/37.96	c 37.9s |      12 |    51489 |    35419 |     1220     37 |        0 |        0
39.98/40.07	c 40.0s |      12 |    53783 |    37419 |     1220     39 |        0 |        0
41.58/41.67	c 41.6s |      13 |    55485 |    38832 |     1342     40 |        0 |        0
43.68/43.73	c 43.6s |      13 |    58804 |    41332 |     1342     43 |        0 |        0
45.78/45.83	c 45.7s |      13 |    61215 |    43532 |     1342     44 |        0 |        0
47.88/47.92	c 47.8s |      13 |    63536 |    45632 |     1342     46 |        0 |        0
49.88/49.98	c 49.9s |      13 |    65528 |    47432 |     1342     48 |        0 |        0
51.98/52.04	c 51.9s |      13 |    67509 |    49232 |     1342     49 |        0 |        0
54.08/54.15	c 54.1s |      13 |    69600 |    51132 |     1342     51 |        0 |        0
56.09/56.15	c 56.1s |      13 |    71805 |    53032 |     1342     53 |        0 |        0
58.08/58.16	c 58.1s |      13 |    73819 |    54832 |     1342     54 |        0 |        0
60.08/60.19	c 60.1s |      13 |    75898 |    56732 |     1342     56 |        0 |        0
61.78/61.84	c 61.7s |      14 |    77736 |    58352 |     1477     57 |        0 |        0
63.79/63.88	c 63.8s |      14 |    80818 |    60252 |     1477     59 |        0 |        0
65.88/65.94	c 65.8s |      14 |    82663 |    61852 |     1477     60 |        0 |        0
67.98/68.00	c 67.9s |      14 |    84504 |    63452 |     1477     61 |        0 |        0
69.98/70.05	c 70.0s |      14 |    86227 |    64952 |     1477     63 |        0 |        0
72.08/72.15	c 72.1s |      14 |    87918 |    66452 |     1477     64 |        0 |        0
74.18/74.25	c 74.2s |      14 |    90030 |    68252 |     1477     65 |        0 |        0
76.18/76.29	c 76.2s |      14 |    91682 |    69652 |     1477     66 |        0 |        0
78.38/78.40	c 78.3s |      14 |    93698 |    71252 |     1477     68 |        0 |        0
80.48/80.50	c 80.4s |      14 |    95601 |    72852 |     1477     69 |        0 |        0
82.48/82.55	c 82.5s |      14 |    97659 |    74452 |     1477     70 |        0 |        0
84.48/84.57	c 84.5s |      14 |    99488 |    75952 |     1477     72 |        0 |        0
86.47/86.59	c 86.5s |      14 |   101233 |    77452 |     1477     73 |        0 |        0
88.57/88.65	c 88.6s |      14 |   103296 |    78952 |     1477     74 |        0 |        0
90.67/90.76	c 90.7s |      14 |   105083 |    80452 |     1477     75 |        0 |        0
92.77/92.81	c 92.7s |      14 |   106819 |    81952 |     1477     77 |        0 |        0
94.77/94.85	c 94.8s |      14 |   108455 |    83352 |     1477     78 |        0 |        0
96.88/96.96	c 96.9s |      14 |   110565 |    85152 |     1477     79 |        0 |        0
99.08/99.13	c 99.0s |      14 |   112380 |    86752 |     1477     81 |        0 |        0
100.08/100.17	c  100s |      15 |   113428 |    87632 |     1625     81 |        0 |        0
102.07/102.18	c  102s |      15 |   116344 |    89632 |     1625     83 |        0 |        0
104.17/104.27	c  104s |      15 |   118644 |    91632 |     1625     84 |        0 |        0
106.27/106.37	c  106s |      15 |   120564 |    93332 |     1625     86 |        0 |        0
108.37/108.46	c  108s |      15 |   122289 |    94932 |     1625     87 |        0 |        0
110.47/110.59	c  110s |      15 |   124034 |    96532 |     1625     88 |        0 |        0
112.67/112.70	c  112s |      15 |   126020 |    98232 |     1625     89 |        0 |        0
114.67/114.79	c  114s |      15 |   127791 |    99832 |     1625     91 |        0 |        0
116.77/116.87	c  116s |      15 |   129559 |   101432 |     1625     92 |        0 |        0
118.88/118.97	c  118s |      15 |   131517 |   103132 |     1625     93 |        0 |        0
120.98/121.08	c  120s |      15 |   133171 |   104632 |     1625     94 |        0 |        0
123.07/123.15	c  123s |      15 |   134709 |   106032 |     1625     95 |        0 |        0
125.17/125.25	c  125s |      15 |   136268 |   107432 |     1625     97 |        0 |        0
127.27/127.33	c  127s |      15 |   138038 |   109032 |     1625     98 |        0 |        0
129.36/129.44	c  129s |      15 |   139689 |   110532 |     1625     99 |        0 |        0
131.46/131.51	c  131s |      15 |   141111 |   111832 |     1625    100 |        0 |        0
133.56/133.64	c  133s |      15 |   142839 |   113332 |     1625    101 |        0 |        0
135.66/135.75	c  135s |      15 |   144246 |   114632 |     1625    102 |        0 |        0
137.66/137.77	c  137s |      15 |   145703 |   115932 |     1625    103 |        0 |        0
139.87/139.91	c  139s |      15 |   147281 |   117332 |     1625    104 |        0 |        0
141.88/141.97	c  141s |      15 |   148691 |   118632 |     1625    105 |        0 |        0
143.97/144.02	c  143s |      15 |   150147 |   119932 |     1625    106 |        0 |        0
146.07/146.12	c  146s |      15 |   151932 |   121532 |     1625    107 |        0 |        0
148.07/148.12	c  148s |      15 |   153372 |   122832 |     1625    108 |        0 |        0
150.17/150.29	c  150s |      15 |   154840 |   124132 |     1625    109 |        0 |        0
152.37/152.43	c  152s |      15 |   156269 |   125432 |     1625    110 |        0 |        0
154.47/154.58	c  154s |      15 |   157714 |   126732 |     1625    111 |        0 |        0
156.67/156.71	c  156s |      15 |   159018 |   127932 |     1625    112 |        0 |        0
158.67/158.73	c  158s |      15 |   160321 |   129132 |     1625    113 |        0 |        0
160.77/160.80	c  160s |      15 |   161697 |   130332 |     1625    114 |        0 |        0
162.67/162.75	c  162s |      16 |   163046 |   131552 |     1788    115 |        0 |        0
164.67/164.75	c  164s |      16 |   166839 |   134352 |     1788    118 |        0 |        0
166.66/166.76	c  166s |      16 |   169868 |   137052 |     1788    120 |        0 |        0
168.66/168.78	c  168s |      16 |   173044 |   139852 |     1788    123 |        0 |        0
170.66/170.78	c  170s |      16 |   176499 |   142752 |     1788    125 |        0 |        0
172.77/172.83	c  172s |      16 |   178354 |   144352 |     1788    126 |        0 |        0
174.76/174.85	c  174s |      16 |   179951 |   145752 |     1788    127 |        0 |        0
176.76/176.88	c  176s |      16 |   181407 |   147052 |     1788    128 |        0 |        0
178.96/179.03	c  178s |      16 |   183028 |   148452 |     1788    129 |        0 |        0
180.96/181.03	c  180s |      16 |   184502 |   149752 |     1788    130 |        0 |        0
182.96/183.08	c  182s |      16 |   185829 |   150952 |     1788    131 |        0 |        0
185.06/185.13	c  185s |      16 |   187397 |   152352 |     1788    132 |        0 |        0
187.07/187.16	c  187s |      16 |   188949 |   153752 |     1788    133 |        0 |        0
189.06/189.17	c  189s |      16 |   190537 |   155152 |     1788    134 |        0 |        0
191.16/191.28	c  191s |      16 |   192239 |   156652 |     1788    135 |        0 |        0
193.26/193.38	c  193s |      16 |   193789 |   158052 |     1788    136 |        0 |        0
195.46/195.53	c  195s |      16 |   195395 |   159452 |     1788    137 |        0 |        0
197.56/197.64	c  197s |      16 |   196947 |   160852 |     1788    138 |        0 |        0
199.56/199.68	c  199s |      16 |   198630 |   162252 |     1788    139 |        0 |        0
201.66/201.76	c  201s |      16 |   200220 |   163652 |     1788    140 |        0 |        0
203.76/203.83	c  203s |      16 |   201790 |   165052 |     1788    141 |        0 |        0
205.86/205.92	c  205s |      16 |   203434 |   166452 |     1788    142 |        0 |        0
207.96/208.09	c  207s |      16 |   204888 |   167752 |     1788    143 |        0 |        0
210.06/210.12	c  210s |      16 |   206371 |   169052 |     1788    144 |        0 |        0
212.15/212.24	c  212s |      16 |   207796 |   170352 |     1788    145 |        0 |        0
214.25/214.38	c  214s |      16 |   209348 |   171752 |     1788    146 |        0 |        0
216.35/216.48	c  216s |      16 |   210808 |   173052 |     1788    147 |        0 |        0
218.35/218.49	c  218s |      16 |   212287 |   174352 |     1788    148 |        0 |        0
220.45/220.57	c  220s |      16 |   213762 |   175652 |     1788    149 |        0 |        0
222.65/222.72	c  222s |      16 |   215214 |   176952 |     1788    150 |        0 |        0
224.65/224.79	c  224s |      16 |   216701 |   178252 |     1788    151 |        0 |        0
226.85/226.93	c  226s |      16 |   218024 |   179452 |     1788    152 |        0 |        0
228.86/228.97	c  228s |      16 |   219391 |   180652 |     1788    153 |        0 |        0
230.85/230.97	c  230s |      16 |   220836 |   181852 |     1788    153 |        0 |        0
233.05/233.12	c  233s |      16 |   222355 |   183152 |     1788    154 |        0 |        0
235.15/235.28	c  235s |      16 |   223694 |   184352 |     1788    155 |        0 |        0
237.24/237.37	c  237s |      16 |   224891 |   185452 |     1788    156 |        0 |        0
239.34/239.41	c  239s |      16 |   226101 |   186552 |     1788    157 |        0 |        0
241.34/241.41	c  241s |      16 |   227671 |   187852 |     1788    158 |        0 |        0
243.44/243.51	c  243s |      16 |   229144 |   189152 |     1788    159 |        0 |        0
245.44/245.54	c  245s |      16 |   230745 |   190552 |     1788    160 |        0 |        0
247.44/247.57	c  247s |      16 |   232226 |   191852 |     1788    161 |        0 |        0
249.44/249.59	c  249s |      16 |   233675 |   193152 |     1788    162 |        0 |        0
251.64/251.72	c  251s |      16 |   235017 |   194352 |     1788    162 |        0 |        0
253.64/253.73	c  253s |      16 |   236267 |   195452 |     1788    163 |        0 |        0
255.73/255.82	c  255s |      16 |   237600 |   196652 |     1967    164 |        0 |        0
257.23/257.30	c  257s |      17 |   238480 |   197432 |     1967    165 |        0 |        0
259.23/259.33	c  259s |      17 |   241821 |   199632 |     1967    166 |        0 |        0
261.33/261.41	c  261s |      17 |   243468 |   201132 |     1967    167 |        0 |        0
263.43/263.52	c  263s |      17 |   245046 |   202532 |     1967    168 |        0 |        0
265.53/265.61	c  265s |      17 |   246585 |   203932 |     1967    169 |        0 |        0
267.63/267.72	c  267s |      17 |   248392 |   205532 |     1967    170 |        0 |        0
269.73/269.81	c  269s |      17 |   250188 |   207132 |     1967    171 |        0 |        0
271.74/271.86	c  271s |      17 |   251719 |   208532 |     1967    172 |        0 |        0
273.84/273.97	c  273s |      17 |   253427 |   210032 |     1967    173 |        0 |        0
275.93/276.03	c  275s |      17 |   255117 |   211532 |     1967    174 |        0 |        0
277.93/278.06	c  277s |      17 |   256818 |   213032 |     1967    175 |        0 |        0
280.03/280.17	c  280s |      17 |   258416 |   214432 |     1967    176 |        0 |        0
282.13/282.20	c  282s |      17 |   259808 |   215632 |     1967    177 |        0 |        0
284.12/284.21	c  284s |      17 |   261292 |   216932 |     1967    178 |        0 |        0
286.22/286.34	c  286s |      17 |   263192 |   218632 |     1967    179 |        0 |        0
288.32/288.46	c  288s |      17 |   264700 |   220032 |     1967    180 |        0 |        0
290.33/290.46	c  290s |      17 |   266219 |   221432 |     1967    181 |        0 |        0
292.43/292.56	c  292s |      17 |   267774 |   222832 |     1967    182 |        0 |        0
294.52/294.67	c  294s |      17 |   269361 |   224232 |     1967    183 |        0 |        0
296.62/296.75	c  296s |      17 |   270829 |   225532 |     1967    183 |        0 |        0
298.72/298.87	c  298s |      17 |   272589 |   227132 |     1967    184 |        0 |        0
300.92/301.02	c  300s |      17 |   274261 |   228632 |     1967    186 |        0 |        0
302.92/303.09	c  302s |      17 |   275798 |   230032 |     1967    186 |        0 |        0
304.92/305.09	c  304s |      17 |   277651 |   231632 |     1967    188 |        0 |        0
307.02/307.19	c  307s |      17 |   279472 |   233232 |     1967    189 |        0 |        0
309.12/309.25	c  309s |      17 |   281065 |   234632 |     1967    190 |        0 |        0
311.22/311.33	c  311s |      17 |   282643 |   236032 |     1967    190 |        0 |        0
313.21/313.36	c  313s |      17 |   284116 |   237332 |     1967    191 |        0 |        0
315.21/315.37	c  315s |      17 |   285440 |   238532 |     1967    192 |        0 |        0
317.31/317.44	c  317s |      17 |   286810 |   239732 |     1967    193 |        0 |        0
319.31/319.47	c  319s |      17 |   288076 |   240832 |     1967    194 |        0 |        0
321.41/321.58	c  321s |      17 |   289468 |   242032 |     1967    195 |        0 |        0
323.51/323.63	c  323s |      17 |   291197 |   243532 |     1967    196 |        0 |        0
325.61/325.77	c  325s |      17 |   292912 |   245032 |     1967    197 |        0 |        0
327.71/327.84	c  327s |      17 |   294345 |   246332 |     1967    197 |        0 |        0
329.70/329.87	c  329s |      17 |   295924 |   247632 |     1967    198 |        0 |        0
331.70/331.87	c  331s |      17 |   297755 |   249232 |     1967    199 |        0 |        0
333.80/333.90	c  333s |      17 |   299386 |   250632 |     1967    200 |        0 |        0
335.90/336.00	c  335s |      17 |   300959 |   252032 |     1967    201 |        0 |        0
337.90/338.06	c  337s |      17 |   302540 |   253432 |     1967    202 |        0 |        0
340.10/340.22	c  340s |      17 |   303761 |   254532 |     1967    203 |        0 |        0
342.20/342.31	c  342s |      17 |   305343 |   255932 |     1967    204 |        0 |        0
344.20/344.35	c  344s |      17 |   306947 |   257332 |     1967    205 |        0 |        0
346.19/346.37	c  346s |      17 |   308421 |   258632 |     1967    206 |        0 |        0
348.19/348.38	c  348s |      17 |   309779 |   259832 |     1967    207 |        0 |        0
350.29/350.47	c  350s |      17 |   311372 |   261232 |     1967    207 |        0 |        0
352.49/352.64	c  352s |      17 |   312845 |   262532 |     1967    208 |        0 |        0
354.49/354.67	c  354s |      17 |   314129 |   263632 |     1967    209 |        0 |        0
356.59/356.70	c  356s |      17 |   315743 |   265032 |     1967    210 |        0 |        0
358.60/358.78	c  358s |      17 |   317257 |   266332 |     1967    211 |        0 |        0
360.70/360.87	c  360s |      17 |   318764 |   267632 |     1967    212 |        0 |        0
362.69/362.89	c  362s |      17 |   320125 |   268832 |     1967    213 |        0 |        0
364.89/365.04	c  364s |      17 |   321689 |   270232 |     1967    214 |        0 |        0
366.99/367.15	c  367s |      17 |   323231 |   271632 |     1967    214 |        0 |        0
369.09/369.23	c  369s |      17 |   324544 |   272832 |     1967    215 |        0 |        0
371.19/371.33	c  371s |      17 |   325872 |   274032 |     1967    216 |        0 |        0
373.19/373.39	c  373s |      17 |   327329 |   275332 |     1967    217 |        0 |        0
375.38/375.51	c  375s |      17 |   328996 |   276832 |     1967    218 |        0 |        0
377.48/377.63	c  377s |      17 |   330567 |   278232 |     1967    219 |        0 |        0
379.49/379.68	c  379s |      17 |   332139 |   279632 |     1967    220 |        0 |        0
381.48/381.68	c  381s |      17 |   333569 |   280932 |     1967    221 |        0 |        0
383.58/383.77	c  383s |      17 |   335038 |   282232 |     1967    222 |        0 |        0
385.58/385.78	c  385s |      17 |   336507 |   283532 |     1967    223 |        0 |        0
387.68/387.89	c  387s |      17 |   338308 |   285132 |     1967    224 |        0 |        0
389.88/390.01	c  389s |      17 |   340238 |   286832 |     1967    225 |        0 |        0
391.88/392.06	c  391s |      17 |   341830 |   288232 |     1967    226 |        0 |        0
393.98/394.13	c  394s |      17 |   343507 |   289732 |     1967    227 |        0 |        0
396.07/396.25	c  396s |      17 |   344929 |   291032 |     1967    228 |        0 |        0
398.18/398.34	c  398s |      17 |   346528 |   292432 |     1967    229 |        0 |        0
400.17/400.35	c  400s |      17 |   347977 |   293732 |     1967    229 |        0 |        0
402.17/402.39	c  402s |      17 |   349440 |   295032 |     2164    230 |        0 |        0
404.27/404.46	c  404s |      17 |   350778 |   296232 |     2164    231 |        0 |        0
404.37/404.51	c  404s |      18 |   350796 |   296252 |     2164    231 |        0 |        0
406.37/406.56	c  406s |      18 |   353830 |   298152 |     2164    232 |        0 |        0
408.47/408.68	c  408s |      18 |   355663 |   299752 |     2164    233 |        0 |        0
410.67/410.80	c  410s |      18 |   357234 |   301152 |     2164    234 |        0 |        0
412.77/412.95	c  412s |      18 |   358948 |   302652 |     2164    235 |        0 |        0
414.96/415.11	c  415s |      18 |   360375 |   303952 |     2164    236 |        0 |        0
416.96/417.15	c  417s |      18 |   361899 |   305352 |     2164    237 |        0 |        0
419.07/419.24	c  419s |      18 |   363339 |   306652 |     2164    238 |        0 |        0
421.06/421.30	c  421s |      18 |   364880 |   308052 |     2164    239 |        0 |        0
423.26/423.49	c  423s |      18 |   366442 |   309452 |     2164    240 |        0 |        0
425.36/425.51	c  425s |      18 |   367892 |   310752 |     2164    240 |        0 |        0
427.46/427.63	c  427s |      18 |   369357 |   312052 |     2164    241 |        0 |        0
429.46/429.66	c  429s |      18 |   370771 |   313352 |     2164    242 |        0 |        0
431.56/431.74	c  431s |      18 |   372330 |   314752 |     2164    243 |        0 |        0
433.56/433.76	c  433s |      18 |   373788 |   316052 |     2164    244 |        0 |        0
435.65/435.86	c  435s |      18 |   375326 |   317452 |     2164    245 |        0 |        0
437.76/437.91	c  437s |      18 |   376861 |   318852 |     2164    245 |        0 |        0
439.86/440.03	c  439s |      18 |   378401 |   320252 |     2164    246 |        0 |        0
441.85/442.08	c  441s |      18 |   379968 |   321652 |     2164    247 |        0 |        0
443.95/444.18	c  444s |      18 |   381604 |   323152 |     2164    248 |        0 |        0
446.05/446.20	c  446s |      18 |   382915 |   324352 |     2164    249 |        0 |        0
448.05/448.22	c  448s |      18 |   384211 |   325552 |     2164    250 |        0 |        0
450.05/450.24	c  450s |      18 |   385681 |   326852 |     2164    251 |        0 |        0
452.06/452.26	c  452s |      18 |   387234 |   328252 |     2164    251 |        0 |        0
454.05/454.27	c  454s |      18 |   388719 |   329552 |     2164    252 |        0 |        0
456.25/456.42	c  456s |      18 |   390296 |   330952 |     2164    253 |        0 |        0
458.35/458.51	c  458s |      18 |   391794 |   332252 |     2164    254 |        0 |        0
460.45/460.64	c  460s |      18 |   393130 |   333452 |     2164    255 |        0 |        0
462.55/462.75	c  462s |      18 |   394601 |   334752 |     2164    256 |        0 |        0
464.64/464.87	c  464s |      18 |   395958 |   335952 |     2164    256 |        0 |        0
466.74/466.91	c  466s |      18 |   397210 |   337052 |     2164    257 |        0 |        0
468.74/468.99	c  468s |      18 |   398668 |   338352 |     2164    258 |        0 |        0
470.84/471.04	c  470s |      18 |   399983 |   339552 |     2164    259 |        0 |        0
472.85/473.09	c  472s |      18 |   401410 |   340852 |     2164    259 |        0 |        0
474.94/475.16	c  475s |      18 |   403029 |   342252 |     2164    260 |        0 |        0
477.04/477.24	c  477s |      18 |   404470 |   343552 |     2164    261 |        0 |        0
479.24/479.46	c  479s |      18 |   405878 |   344852 |     2164    262 |        0 |        0
481.34/481.54	c  481s |      18 |   407222 |   346052 |     2164    263 |        0 |        0
483.34/483.58	c  483s |      18 |   408597 |   347252 |     2164    264 |        0 |        0
485.43/485.61	c  485s |      18 |   410160 |   348652 |     2164    264 |        0 |        0
487.53/487.71	c  487s |      18 |   411481 |   349852 |     2164    265 |        0 |        0
489.53/489.75	c  489s |      18 |   412697 |   350952 |     2164    266 |        0 |        0
491.64/491.81	c  491s |      18 |   414168 |   352252 |     2164    267 |        0 |        0
493.63/493.84	c  493s |      18 |   415625 |   353552 |     2164    267 |        0 |        0
495.63/495.89	c  495s |      18 |   416920 |   354752 |     2164    268 |        0 |        0
497.73/497.93	c  497s |      18 |   418409 |   356052 |     2164    269 |        0 |        0
499.83/500.03	c  499s |      18 |   419884 |   357352 |     2164    270 |        0 |        0
501.92/502.16	c  502s |      18 |   421207 |   358552 |     2164    271 |        0 |        0
504.12/504.32	c  504s |      18 |   422398 |   359652 |     2164    271 |        0 |        0
506.32/506.55	c  506s |      18 |   423596 |   360752 |     2164    272 |        0 |        0
508.32/508.55	c  508s |      18 |   424715 |   361752 |     2164    273 |        0 |        0
510.33/510.58	c  510s |      18 |   426261 |   363052 |     2164    274 |        0 |        0
512.43/512.68	c  512s |      18 |   427755 |   364352 |     2164    274 |        0 |        0
514.52/514.78	c  514s |      18 |   429246 |   365652 |     2164    275 |        0 |        0
516.71/516.91	c  516s |      18 |   430598 |   366852 |     2164    276 |        0 |        0
518.91/519.13	c  519s |      18 |   431873 |   367952 |     2164    277 |        0 |        0
521.01/521.24	c  521s |      18 |   433655 |   369452 |     2164    278 |        0 |        0
523.01/523.29	c  523s |      18 |   435141 |   370752 |     2164    278 |        0 |        0
525.11/525.35	c  525s |      18 |   436459 |   371952 |     2164    279 |        0 |        0
527.21/527.43	c  527s |      18 |   437946 |   373252 |     2164    280 |        0 |        0
529.31/529.53	c  529s |      18 |   439308 |   374452 |     2164    281 |        0 |        0
531.31/531.59	c  531s |      18 |   440719 |   375652 |     2164    282 |        0 |        0
533.42/533.66	c  533s |      18 |   442458 |   377152 |     2164    282 |        0 |        0
535.61/535.82	c  535s |      18 |   443951 |   378452 |     2164    283 |        0 |        0
537.71/537.96	c  537s |      18 |   445607 |   379952 |     2164    284 |        0 |        0
539.80/540.01	c  539s |      18 |   447025 |   381252 |     2164    285 |        0 |        0
541.80/542.02	c  541s |      18 |   448342 |   382452 |     2164    286 |        0 |        0
543.90/544.16	c  544s |      18 |   449760 |   383752 |     2164    287 |        0 |        0
546.00/546.21	c  546s |      18 |   451164 |   385052 |     2164    287 |        0 |        0
548.10/548.38	c  548s |      18 |   452538 |   386252 |     2164    288 |        0 |        0
550.10/550.39	c  550s |      18 |   453717 |   387252 |     2164    289 |        0 |        0
552.40/552.62	c  552s |      18 |   454844 |   388252 |     2164    290 |        0 |        0
554.50/554.78	c  554s |      18 |   456000 |   389252 |     2164    290 |        0 |        0
556.59/556.80	c  556s |      18 |   457042 |   390152 |     2164    291 |        0 |        0
558.70/558.97	c  558s |      18 |   458170 |   391152 |     2164    291 |        0 |        0
560.80/561.05	c  560s |      18 |   459176 |   392052 |     2164    292 |        0 |        0
563.00/563.26	c  563s |      18 |   460364 |   393052 |     2164    293 |        0 |        0
564.99/565.28	c  565s |      18 |   461402 |   393952 |     2164    293 |        0 |        0
567.19/567.43	c  567s |      18 |   462417 |   394852 |     2164    294 |        0 |        0
569.19/569.44	c  569s |      18 |   463293 |   395652 |     2164    294 |        0 |        0
571.29/571.52	c  571s |      18 |   464297 |   396552 |     2164    295 |        0 |        0
573.29/573.53	c  573s |      18 |   465345 |   397452 |     2164    295 |        0 |        0
575.38/575.60	c  575s |      18 |   466393 |   398352 |     2164    296 |        0 |        0
577.58/577.86	c  577s |      18 |   467387 |   399252 |     2164    297 |        0 |        0
579.78/580.02	c  579s |      18 |   468506 |   400252 |     2164    297 |        0 |        0
581.98/582.20	c  582s |      18 |   469519 |   401152 |     2164    298 |        0 |        0
584.08/584.32	c  584s |      18 |   470666 |   402152 |     2164    298 |        0 |        0
586.18/586.45	c  586s |      18 |   471692 |   403052 |     2164    299 |        0 |        0
588.38/588.62	c  588s |      18 |   472686 |   403952 |     2164    299 |        0 |        0
590.37/590.70	c  590s |      18 |   473698 |   404852 |     2164    300 |        0 |        0
592.47/592.77	c  592s |      18 |   474699 |   405752 |     2164    301 |        0 |        0
594.57/594.83	c  594s |      18 |   476584 |   407352 |     2164    302 |        0 |        0
596.67/596.96	c  596s |      18 |   478233 |   408752 |     2164    303 |        0 |        0
598.77/599.08	c  598s |      18 |   479674 |   410052 |     2164    303 |        0 |        0
600.87/601.19	c  601s |      18 |   481330 |   411452 |     2164    304 |        0 |        0
602.97/603.28	c  603s |      18 |   482702 |   412652 |     2164    305 |        0 |        0
605.16/605.44	c  605s |      18 |   484149 |   413952 |     2164    306 |        0 |        0
607.16/607.45	c  607s |      18 |   485517 |   415152 |     2164    307 |        0 |        0
609.36/609.62	c  609s |      18 |   486973 |   416452 |     2164    307 |        0 |        0
611.47/611.71	c  611s |      18 |   488444 |   417752 |     2164    308 |        0 |        0
613.46/613.73	c  613s |      18 |   489647 |   418852 |     2164    309 |        0 |        0
615.46/615.74	c  615s |      18 |   490739 |   419852 |     2164    310 |        0 |        0
617.56/617.87	c  617s |      18 |   492238 |   421152 |     2164    310 |        0 |        0
619.56/619.88	c  619s |      18 |   493903 |   422552 |     2164    311 |        0 |        0
621.67/621.97	c  621s |      18 |   495494 |   423952 |     2164    312 |        0 |        0
623.77/624.00	c  623s |      18 |   496944 |   425252 |     2164    313 |        0 |        0
625.86/626.10	c  626s |      18 |   498537 |   426652 |     2164    314 |        0 |        0
627.87/628.11	c  628s |      18 |   499981 |   427952 |     2164    315 |        0 |        0
629.96/630.29	c  630s |      18 |   501443 |   429252 |     2164    316 |        0 |        0
632.06/632.32	c  632s |      18 |   502775 |   430452 |     2164    316 |        0 |        0
634.16/634.46	c  634s |      18 |   504212 |   431752 |     2164    317 |        0 |        0
636.26/636.55	c  636s |      18 |   505269 |   432752 |     2164    318 |        0 |        0
638.46/638.71	c  638s |      18 |   506468 |   433852 |     2164    318 |        0 |        0
640.56/640.86	c  640s |      18 |   508015 |   435152 |     2164    319 |        0 |        0
642.66/642.97	c  642s |      18 |   509468 |   436452 |     2164    320 |        0 |        0
644.75/645.03	c  644s |      18 |   510973 |   437752 |     2164    321 |        0 |        0
646.75/647.03	c  646s |      18 |   512150 |   438852 |     2164    322 |        0 |        0
648.76/649.07	c  648s |      18 |   513329 |   439952 |     2164    322 |        0 |        0
650.85/651.14	c  651s |      18 |   514647 |   441152 |     2164    323 |        0 |        0
652.95/653.20	c  653s |      18 |   515851 |   442252 |     2381    324 |        0 |        0
654.95/655.21	c  655s |      18 |   517145 |   443452 |     2381    324 |        0 |        0
656.85/657.14	c  657s |      19 |   518249 |   444482 |     2381    325 |        0 |        0
658.85/659.17	c  659s |      19 |   521527 |   446682 |     2381    327 |        0 |        0
660.95/661.28	c  661s |      19 |   524035 |   448882 |     2381    328 |        0 |        0
663.05/663.31	c  663s |      19 |   525950 |   450582 |     2381    329 |        0 |        0
665.04/665.32	c  665s |      19 |   527987 |   452382 |     2381    330 |        0 |        0
667.04/667.37	c  667s |      19 |   530144 |   454282 |     2381    331 |        0 |        0
669.14/669.48	c  669s |      19 |   532366 |   456082 |     2381    332 |        0 |        0
671.24/671.51	c  671s |      19 |   534091 |   457582 |     2381    333 |        0 |        0
673.24/673.54	c  673s |      19 |   535681 |   458982 |     2381    334 |        0 |        0
675.33/675.61	c  675s |      19 |   537136 |   460282 |     2381    335 |        0 |        0
677.34/677.66	c  677s |      19 |   538715 |   461682 |     2381    335 |        0 |        0
679.43/679.71	c  679s |      19 |   540215 |   462982 |     2381    336 |        0 |        0
681.53/681.80	c  681s |      19 |   541531 |   464182 |     2381    337 |        0 |        0
683.63/683.91	c  683s |      19 |   542884 |   465382 |     2381    338 |        0 |        0
685.63/685.97	c  685s |      19 |   544630 |   466882 |     2381    339 |        0 |        0
687.73/688.03	c  687s |      19 |   546377 |   468382 |     2381    339 |        0 |        0
689.83/690.19	c  690s |      19 |   547919 |   469782 |     2381    340 |        0 |        0
692.03/692.34	c  692s |      19 |   549353 |   471082 |     2381    341 |        0 |        0
694.03/694.37	c  694s |      19 |   550451 |   472082 |     2381    342 |        0 |        0
696.22/696.57	c  696s |      19 |   552249 |   473682 |     2381    343 |        0 |        0
698.33/698.62	c  698s |      19 |   554049 |   475282 |     2381    344 |        0 |        0
700.32/700.65	c  700s |      19 |   555720 |   476782 |     2381    344 |        0 |        0
702.42/702.76	c  702s |      19 |   557222 |   478182 |     2381    345 |        0 |        0
704.52/704.80	c  704s |      19 |   558620 |   479482 |     2381    346 |        0 |        0
706.52/706.87	c  706s |      19 |   560431 |   481082 |     2381    347 |        0 |        0
708.52/708.89	c  708s |      19 |   562238 |   482682 |     2381    348 |        0 |        0
710.62/710.97	c  710s |      19 |   564033 |   484282 |     2381    349 |        0 |        0
712.72/713.05	c  712s |      19 |   565750 |   485782 |     2381    350 |        0 |        0
714.72/715.08	c  714s |      19 |   567353 |   487182 |     2381    351 |        0 |        0
716.81/717.16	c  717s |      19 |   569192 |   488782 |     2381    352 |        0 |        0
719.01/719.33	c  719s |      19 |   571102 |   490482 |     2381    353 |        0 |        0
721.01/721.35	c  721s |      19 |   572782 |   491982 |     2381    353 |        0 |        0
723.01/723.38	c  723s |      19 |   574239 |   493282 |     2381    354 |        0 |        0
725.11/725.46	c  725s |      19 |   575675 |   494582 |     2381    355 |        0 |        0
727.21/727.52	c  727s |      19 |   577565 |   496182 |     2381    356 |        0 |        0
729.31/729.64	c  729s |      19 |   579465 |   497882 |     2381    357 |        0 |        0
731.41/731.70	c  731s |      19 |   581249 |   499482 |     2381    358 |        0 |        0
733.41/733.76	c  733s |      19 |   582996 |   501082 |     2381    359 |        0 |        0
735.40/735.77	c  735s |      19 |   584761 |   502682 |     2381    360 |        0 |        0
737.50/737.83	c  737s |      19 |   586520 |   504282 |     2381    361 |        0 |        0
739.50/739.88	c  739s |      19 |   588170 |   505782 |     2381    362 |        0 |        0
741.70/742.03	c  741s |      19 |   589711 |   507182 |     2381    362 |        0 |        0
743.80/744.16	c  744s |      19 |   591382 |   508682 |     2381    363 |        0 |        0
745.80/746.18	c  746s |      19 |   592937 |   510082 |     2381    364 |        0 |        0
747.90/748.28	c  748s |      19 |   594471 |   511482 |     2381    365 |        0 |        0
750.00/750.33	c  750s |      19 |   595885 |   512782 |     2381    366 |        0 |        0
752.10/752.42	c  752s |      19 |   597444 |   514182 |     2381    367 |        0 |        0
754.10/754.49	c  754s |      19 |   599494 |   515982 |     2381    368 |        0 |        0
756.19/756.51	c  756s |      19 |   601321 |   517582 |     2381    369 |        0 |        0
758.19/758.57	c  758s |      19 |   603098 |   519182 |     2381    370 |        0 |        0
760.29/760.63	c  760s |      19 |   604857 |   520782 |     2381    371 |        0 |        0
762.39/762.73	c  762s |      19 |   606654 |   522382 |     2381    372 |        0 |        0
764.39/764.74	c  764s |      19 |   608474 |   523982 |     2381    372 |        0 |        0
766.39/766.74	c  766s |      19 |   610138 |   525482 |     2381    373 |        0 |        0
768.49/768.85	c  768s |      19 |   611803 |   526982 |     2381    374 |        0 |        0
770.59/770.93	c  770s |      19 |   613600 |   528582 |     2381    375 |        0 |        0
772.58/772.96	c  772s |      19 |   615271 |   530082 |     2381    376 |        0 |        0
774.79/775.11	c  775s |      19 |   616939 |   531582 |     2381    377 |        0 |        0
776.79/777.11	c  777s |      19 |   618302 |   532782 |     2381    378 |        0 |        0
778.79/779.18	c  779s |      19 |   620197 |   534482 |     2381    379 |        0 |        0
780.99/781.30	c  781s |      19 |   621871 |   535982 |     2381    380 |        0 |        0
783.09/783.47	c  783s |      19 |   623533 |   537482 |     2381    381 |        0 |        0
785.09/785.48	c  785s |      19 |   625053 |   538882 |     2381    381 |        0 |        0
787.18/787.59	c  787s |      19 |   626640 |   540282 |     2381    382 |        0 |        0
789.28/789.60	c  789s |      19 |   628361 |   541782 |     2381    383 |        0 |        0
791.28/791.70	c  791s |      19 |   629916 |   543182 |     2381    384 |        0 |        0
793.48/793.84	c  793s |      19 |   631351 |   544482 |     2381    385 |        0 |        0
795.58/795.98	c  795s |      19 |   632581 |   545582 |     2381    385 |        0 |        0
797.78/798.11	c  798s |      19 |   634629 |   547382 |     2381    386 |        0 |        0
799.88/800.21	c  800s |      19 |   636345 |   548882 |     2381    387 |        0 |        0
801.88/802.25	c  802s |      19 |   637879 |   550282 |     2381    388 |        0 |        0
803.88/804.28	c  804s |      19 |   639311 |   551582 |     2381    389 |        0 |        0
805.98/806.31	c  806s |      19 |   640897 |   552982 |     2381    390 |        0 |        0
808.18/808.52	c  808s |      19 |   642431 |   554382 |     2381    391 |        0 |        0
810.17/810.58	c  810s |      19 |   644298 |   555982 |     2381    392 |        0 |        0
812.37/812.72	c  812s |      19 |   646124 |   557582 |     2381    392 |        0 |        0
814.47/814.80	c  814s |      19 |   647955 |   559182 |     2381    393 |        0 |        0
816.56/816.96	c  816s |      19 |   649614 |   560682 |     2381    394 |        0 |        0
818.56/818.99	c  818s |      19 |   651076 |   561982 |     2381    395 |        0 |        0
820.76/821.11	c  821s |      19 |   652884 |   563582 |     2381    396 |        0 |        0
822.76/823.18	c  823s |      19 |   654504 |   565082 |     2381    397 |        0 |        0
824.86/825.21	c  825s |      19 |   655961 |   566382 |     2381    398 |        0 |        0
826.86/827.23	c  827s |      19 |   657143 |   567482 |     2381    398 |        0 |        0
828.86/829.26	c  829s |      19 |   658635 |   568782 |     2381    399 |        0 |        0
830.86/831.27	c  831s |      19 |   660327 |   570282 |     2381    400 |        0 |        0
832.96/833.35	c  833s |      19 |   662125 |   571882 |     2381    401 |        0 |        0
834.95/835.39	c  835s |      19 |   663685 |   573282 |     2381    402 |        0 |        0
837.05/837.40	c  837s |      19 |   665228 |   574682 |     2381    403 |        0 |        0
839.15/839.51	c  839s |      19 |   666867 |   576182 |     2381    403 |        0 |        0
841.16/841.57	c  841s |      19 |   668391 |   577582 |     2381    404 |        0 |        0
843.25/843.60	c  843s |      19 |   669792 |   578882 |     2381    405 |        0 |        0
845.35/845.70	c  845s |      19 |   671298 |   580282 |     2381    406 |        0 |        0
847.35/847.73	c  847s |      19 |   672819 |   581682 |     2381    407 |        0 |        0
849.35/849.77	c  849s |      19 |   674234 |   582982 |     2381    408 |        0 |        0
851.45/851.84	c  851s |      19 |   675751 |   584382 |     2381    408 |        0 |        0
853.55/853.97	c  853s |      19 |   677271 |   585782 |     2381    409 |        0 |        0
855.55/855.98	c  855s |      19 |   679029 |   587282 |     2381    410 |        0 |        0
857.75/858.11	c  858s |      19 |   680693 |   588782 |     2381    411 |        0 |        0
859.74/860.14	c  860s |      19 |   682245 |   590182 |     2381    412 |        0 |        0
861.84/862.28	c  862s |      19 |   683813 |   591582 |     2381    413 |        0 |        0
863.94/864.32	c  864s |      19 |   685472 |   593082 |     2381    414 |        0 |        0
865.94/866.38	c  866s |      19 |   687016 |   594482 |     2381    414 |        0 |        0
868.04/868.47	c  868s |      19 |   688700 |   595982 |     2381    415 |        0 |        0
870.14/870.58	c  870s |      19 |   690513 |   597582 |     2381    416 |        0 |        0
872.24/872.66	c  872s |      19 |   692330 |   599182 |     2381    417 |        0 |        0
874.25/874.69	c  874s |      19 |   693763 |   600482 |     2381    418 |        0 |        0
876.44/876.83	c  876s |      19 |   695310 |   601882 |     2381    419 |        0 |        0
878.54/878.92	c  878s |      19 |   696866 |   603282 |     2381    420 |        0 |        0
880.64/881.05	c  880s |      19 |   698577 |   604782 |     2381    420 |        0 |        0
882.64/883.06	c  882s |      19 |   700004 |   606082 |     2381    421 |        0 |        0
884.64/885.08	c  884s |      19 |   701402 |   607382 |     2381    422 |        0 |        0
886.74/887.19	c  887s |      19 |   702840 |   608682 |     2381    423 |        0 |        0
888.94/889.30	c  889s |      19 |   704394 |   610082 |     2381    424 |        0 |        0
891.04/891.45	c  891s |      19 |   705968 |   611482 |     2381    424 |        0 |        0
893.04/893.45	c  893s |      19 |   707430 |   612782 |     2381    425 |        0 |        0
895.04/895.46	c  895s |      19 |   708841 |   614082 |     2381    426 |        0 |        0
897.13/897.58	c  897s |      19 |   710507 |   615482 |     2381    427 |        0 |        0
899.23/899.63	c  899s |      19 |   712063 |   616882 |     2381    428 |        0 |        0
901.23/901.65	c  901s |      19 |   713510 |   618182 |     2381    428 |        0 |        0
903.23/903.66	c  903s |      19 |   714843 |   619382 |     2381    429 |        0 |        0
905.23/905.67	c  905s |      19 |   716152 |   620582 |     2381    430 |        0 |        0
907.33/907.74	c  907s |      19 |   717351 |   621682 |     2381    431 |        0 |        0
909.34/909.79	c  909s |      19 |   719223 |   623282 |     2381    431 |        0 |        0
911.54/911.92	c  911s |      19 |   720718 |   624582 |     2381    432 |        0 |        0
913.53/913.97	c  913s |      19 |   721876 |   625582 |     2381    433 |        0 |        0
915.53/915.98	c  915s |      19 |   722910 |   626482 |     2381    433 |        0 |        0
917.63/918.02	c  917s |      19 |   724195 |   627582 |     2381    434 |        0 |        0
919.73/920.10	c  920s |      19 |   726493 |   629582 |     2381    435 |        0 |        0
921.73/922.16	c  922s |      19 |   728561 |   631382 |     2381    436 |        0 |        0
923.83/924.29	c  924s |      19 |   730639 |   633182 |     2381    437 |        0 |        0
925.93/926.32	c  926s |      19 |   732611 |   634882 |     2381    438 |        0 |        0
927.93/928.34	c  928s |      19 |   734563 |   636582 |     2381    439 |        0 |        0
930.03/930.47	c  930s |      19 |   736514 |   638282 |     2381    440 |        0 |        0
932.13/932.51	c  932s |      19 |   738206 |   639782 |     2381    441 |        0 |        0
934.13/934.55	c  934s |      19 |   739759 |   641182 |     2381    442 |        0 |        0
936.23/936.64	c  936s |      19 |   741362 |   642582 |     2381    443 |        0 |        0
938.22/938.66	c  938s |      19 |   743169 |   644182 |     2381    444 |        0 |        0
940.23/940.69	c  940s |      19 |   744718 |   645582 |     2381    445 |        0 |        0
942.33/942.79	c  942s |      19 |   746156 |   646882 |     2381    446 |        0 |        0
944.42/944.89	c  944s |      19 |   747797 |   648382 |     2381    446 |        0 |        0
946.52/946.96	c  946s |      19 |   749386 |   649782 |     2381    447 |        0 |        0
948.62/949.00	c  948s |      19 |   750926 |   651182 |     2381    448 |        0 |        0
950.62/951.01	c  950s |      19 |   752380 |   652482 |     2381    449 |        0 |        0
952.62/953.01	c  952s |      19 |   753733 |   653682 |     2381    450 |        0 |        0
954.72/955.16	c  955s |      19 |   755174 |   654982 |     2381    450 |        0 |        0
956.73/957.19	c  957s |      19 |   756501 |   656182 |     2381    451 |        0 |        0
958.72/959.20	c  959s |      19 |   758059 |   657582 |     2381    452 |        0 |        0
960.82/961.24	c  961s |      19 |   759465 |   658882 |     2381    453 |        0 |        0
963.02/963.40	c  963s |      19 |   760848 |   660182 |     2381    453 |        0 |        0
965.02/965.41	c  965s |      19 |   762406 |   661582 |     2381    454 |        0 |        0
967.02/967.47	c  967s |      19 |   763838 |   662882 |     2620    455 |        0 |        0
969.22/969.64	c  969s |      19 |   765015 |   663982 |     2620    456 |        0 |        0
971.32/971.78	c  971s |      19 |   766184 |   665082 |     2620    456 |        0 |        0
973.42/973.85	c  973s |      19 |   767629 |   666382 |     2620    457 |        0 |        0
974.23/974.61	c  974s |      20 |   768108 |   666827 |     2620    457 |        0 |        0
976.23/976.69	c  976s |      20 |   771316 |   668927 |     2620    458 |        0 |        0
978.43/978.81	c  978s |      20 |   773366 |   670627 |     2620    459 |        0 |        0
980.43/980.87	c  980s |      20 |   775070 |   672127 |     2620    460 |        0 |        0
982.53/982.93	c  982s |      20 |   776728 |   673627 |     2620    461 |        0 |        0
984.53/984.96	c  984s |      20 |   778294 |   675027 |     2620    462 |        0 |        0
986.53/986.99	c  986s |      20 |   780673 |   677027 |     2620    463 |        0 |        0
988.63/989.03	c  988s |      20 |   782696 |   678827 |     2620    464 |        0 |        0
990.62/991.05	c  990s |      20 |   784748 |   680627 |     2620    465 |        0 |        0
992.62/993.07	c  992s |      20 |   786784 |   682427 |     2620    466 |        0 |        0
994.72/995.13	c  995s |      20 |   788709 |   684127 |     2620    467 |        0 |        0
996.82/997.24	c  997s |      20 |   790597 |   685827 |     2620    468 |        0 |        0
998.82/999.27	c  999s |      20 |   792676 |   687627 |     2620    469 |        0 |        0
1000.82/1001.29	c 1001s |      20 |   794492 |   689227 |     2620    470 |        0 |        0
1002.93/1003.35	c 1003s |      20 |   796634 |   691027 |     2620    471 |        0 |        0
1005.03/1005.41	c 1005s |      20 |   798466 |   692627 |     2620    472 |        0 |        0
1007.12/1007.50	c 1007s |      20 |   800391 |   694327 |     2620    473 |        0 |        0
1009.12/1009.56	c 1009s |      20 |   802244 |   695927 |     2620    474 |        0 |        0
1011.22/1011.66	c 1011s |      20 |   804146 |   697627 |     2620    475 |        0 |        0
1013.22/1013.67	c 1013s |      20 |   805945 |   699227 |     2620    475 |        0 |        0
1015.32/1015.73	c 1015s |      20 |   807763 |   700827 |     2620    476 |        0 |        0
1017.42/1017.82	c 1017s |      20 |   809814 |   702627 |     2620    477 |        0 |        0
1019.52/1019.93	c 1019s |      20 |   811693 |   704227 |     2620    478 |        0 |        0
1021.52/1021.96	c 1021s |      20 |   813289 |   705527 |     2620    479 |        0 |        0
1023.62/1024.09	c 1023s |      20 |   814677 |   706727 |     2620    480 |        0 |        0
1025.72/1026.13	c 1026s |      20 |   816082 |   707927 |     2620    480 |        0 |        0
1027.82/1028.22	c 1028s |      20 |   818016 |   709627 |     2620    481 |        0 |        0
1029.82/1030.24	c 1030s |      20 |   819743 |   711127 |     2620    482 |        0 |        0
1031.82/1032.24	c 1032s |      20 |   821534 |   712727 |     2620    483 |        0 |        0
1033.82/1034.28	c 1034s |      20 |   823385 |   714327 |     2620    484 |        0 |        0
1035.92/1036.34	c 1036s |      20 |   825060 |   715827 |     2620    485 |        0 |        0
1038.02/1038.41	c 1038s |      20 |   826774 |   717327 |     2620    485 |        0 |        0
1040.02/1040.45	c 1040s |      20 |   828365 |   718727 |     2620    486 |        0 |        0
1042.12/1042.57	c 1042s |      20 |   830129 |   720227 |     2620    487 |        0 |        0
1044.22/1044.63	c 1044s |      20 |   831742 |   721627 |     2620    488 |        0 |        0
1046.31/1046.71	c 1046s |      20 |   833912 |   723427 |     2620    489 |        0 |        0
1048.31/1048.72	c 1048s |      20 |   835840 |   725127 |     2620    490 |        0 |        0
1050.31/1050.72	c 1050s |      20 |   837719 |   726727 |     2620    491 |        0 |        0
1052.42/1052.82	c 1052s |      20 |   839291 |   728127 |     2620    492 |        0 |        0
1054.52/1054.99	c 1054s |      20 |   841355 |   729927 |     2620    493 |        0 |        0
1056.61/1057.10	c 1057s |      20 |   843263 |   731627 |     2620    493 |        0 |        0
1058.81/1059.25	c 1059s |      20 |   845154 |   733327 |     2620    494 |        0 |        0
1060.91/1061.38	c 1061s |      20 |   846709 |   734727 |     2620    495 |        0 |        0
1063.01/1063.41	c 1063s |      20 |   848620 |   736427 |     2620    496 |        0 |        0
1065.01/1065.44	c 1065s |      20 |   850502 |   738127 |     2620    497 |        0 |        0
1067.11/1067.52	c 1067s |      20 |   852145 |   739627 |     2620    498 |        0 |        0
1069.11/1069.53	c 1069s |      20 |   853951 |   741227 |     2620    499 |        0 |        0
1071.12/1071.53	c 1071s |      20 |   855353 |   742527 |     2620    500 |        0 |        0
1073.11/1073.57	c 1073s |      20 |   856911 |   743927 |     2620    500 |        0 |        0
1075.21/1075.68	c 1075s |      20 |   858311 |   745227 |     2620    501 |        0 |        0
1077.41/1077.85	c 1077s |      20 |   859880 |   746627 |     2620    502 |        0 |        0
1079.51/1079.92	c 1079s |      20 |   861381 |   747927 |     2620    503 |        0 |        0
1081.61/1082.04	c 1081s |      20 |   863220 |   749527 |     2620    503 |        0 |        0
1083.61/1084.07	c 1083s |      20 |   864663 |   750827 |     2620    504 |        0 |        0
1085.61/1086.09	c 1085s |      20 |   866179 |   752127 |     2620    505 |        0 |        0
1087.71/1088.19	c 1088s |      20 |   867753 |   753527 |     2620    506 |        0 |        0
1089.81/1090.22	c 1090s |      20 |   869177 |   754827 |     2620    506 |        0 |        0
1091.81/1092.25	c 1092s |      20 |   870660 |   756127 |     2620    507 |        0 |        0
1093.91/1094.37	c 1094s |      20 |   872102 |   757427 |     2620    508 |        0 |        0
1096.01/1096.42	c 1096s |      20 |   873543 |   758727 |     2620    509 |        0 |        0
1098.11/1098.57	c 1098s |      20 |   875106 |   760127 |     2620    509 |        0 |        0
1100.30/1100.74	c 1100s |      20 |   876490 |   761327 |     2620    510 |        0 |        0
1102.40/1102.83	c 1102s |      20 |   878595 |   763127 |     2620    511 |        0 |        0
1104.40/1104.84	c 1104s |      20 |   880265 |   764627 |     2620    512 |        0 |        0
1106.50/1106.99	c 1106s |      20 |   881965 |   766127 |     2620    513 |        0 |        0
1108.60/1109.06	c 1108s |      20 |   883638 |   767627 |     2620    514 |        0 |        0
1110.71/1111.15	c 1111s |      20 |   885353 |   769127 |     2620    514 |        0 |        0
1112.81/1113.22	c 1113s |      20 |   886986 |   770627 |     2620    515 |        0 |        0
1114.80/1115.23	c 1115s |      20 |   888423 |   771927 |     2620    516 |        0 |        0
1116.90/1117.36	c 1117s |      20 |   889841 |   773227 |     2620    517 |        0 |        0
1119.00/1119.49	c 1119s |      20 |   891402 |   774627 |     2620    517 |        0 |        0
1121.20/1121.60	c 1121s |      20 |   893118 |   776127 |     2620    518 |        0 |        0
1123.20/1123.67	c 1123s |      20 |   894794 |   777627 |     2620    519 |        0 |        0
1125.30/1125.70	c 1125s |      20 |   896249 |   778927 |     2620    520 |        0 |        0
1127.40/1127.86	c 1127s |      20 |   897743 |   780227 |     2620    521 |        0 |        0
1129.50/1129.98	c 1129s |      20 |   899604 |   781827 |     2620    521 |        0 |        0
1131.50/1131.98	c 1131s |      20 |   901506 |   783427 |     2620    522 |        0 |        0
1133.60/1134.07	c 1133s |      20 |   903207 |   784927 |     2620    523 |        0 |        0
1135.70/1136.11	c 1136s |      20 |   904769 |   786327 |     2620    524 |        0 |        0
1137.80/1138.22	c 1138s |      20 |   906657 |   787927 |     2620    525 |        0 |        0
1139.80/1140.23	c 1140s |      20 |   908140 |   789227 |     2620    526 |        0 |        0
1141.90/1142.34	c 1142s |      20 |   909712 |   790627 |     2620    526 |        0 |        0
1143.89/1144.35	c 1144s |      20 |   911356 |   792027 |     2620    527 |        0 |        0
1145.99/1146.44	c 1146s |      20 |   913477 |   793827 |     2620    528 |        0 |        0
1148.00/1148.46	c 1148s |      20 |   915303 |   795427 |     2620    529 |        0 |        0
1150.09/1150.57	c 1150s |      20 |   917288 |   797127 |     2620    530 |        0 |        0
1152.19/1152.60	c 1152s |      20 |   919005 |   798627 |     2620    531 |        0 |        0
1154.19/1154.63	c 1154s |      20 |   920594 |   800027 |     2620    532 |        0 |        0
1156.29/1156.78	c 1156s |      20 |   922513 |   801627 |     2620    533 |        0 |        0
1158.39/1158.89	c 1158s |      20 |   924456 |   803227 |     2620    533 |        0 |        0
1160.49/1160.90	c 1160s |      20 |   926250 |   804727 |     2620    534 |        0 |        0
1162.49/1162.94	c 1162s |      20 |   927963 |   806227 |     2620    535 |        0 |        0
1164.60/1165.08	c 1164s |      20 |   929628 |   807727 |     2620    536 |        0 |        0
1166.70/1167.13	c 1167s |      20 |   931262 |   809227 |     2620    537 |        0 |        0
1168.79/1169.21	c 1169s |      20 |   932829 |   810627 |     2620    538 |        0 |        0
1170.79/1171.21	c 1171s |      20 |   934487 |   812127 |     2620    538 |        0 |        0
1172.79/1173.23	c 1173s |      20 |   936021 |   813527 |     2620    539 |        0 |        0
1174.89/1175.34	c 1175s |      20 |   937777 |   815027 |     2620    540 |        0 |        0
1176.99/1177.45	c 1177s |      20 |   939480 |   816527 |     2620    541 |        0 |        0
1178.99/1179.47	c 1179s |      20 |   940925 |   817827 |     2620    542 |        0 |        0
1181.09/1181.54	c 1181s |      20 |   942635 |   819327 |     2620    542 |        0 |        0
1183.19/1183.67	c 1183s |      20 |   944524 |   820927 |     2620    543 |        0 |        0
1185.29/1185.78	c 1185s |      20 |   946407 |   822527 |     2620    544 |        0 |        0
1187.39/1187.88	c 1187s |      20 |   948414 |   824227 |     2620    545 |        0 |        0
1189.49/1189.93	c 1189s |      20 |   950090 |   825727 |     2620    546 |        0 |        0
1191.48/1191.99	c 1191s |      20 |   951930 |   827327 |     2620    547 |        0 |        0
1193.58/1194.07	c 1193s |      20 |   953725 |   828927 |     2620    548 |        0 |        0
1195.68/1196.10	c 1196s |      20 |   955264 |   830327 |     2620    549 |        0 |        0
1197.78/1198.25	c 1198s |      20 |   957232 |   832027 |     2620    550 |        0 |        0
1199.88/1200.32	c 1200s |      20 |   959039 |   833627 |     2620    550 |        0 |        0
1202.00/1202.44	c 1202s |      20 |   960682 |   835127 |     2620    551 |        0 |        0
1203.99/1204.47	c 1204s |      20 |   962534 |   836727 |     2620    552 |        0 |        0
1206.09/1206.56	c 1206s |      20 |   964220 |   838227 |     2620    553 |        0 |        0
1208.19/1208.61	c 1208s |      20 |   965666 |   839527 |     2620    554 |        0 |        0
1210.29/1210.71	c 1210s |      20 |   967688 |   841127 |     2620    555 |        0 |        0
1212.39/1212.86	c 1212s |      20 |   969266 |   842527 |     2620    555 |        0 |        0
1214.49/1214.92	c 1214s |      20 |   971052 |   844127 |     2620    556 |        0 |        0
1216.49/1216.94	c 1216s |      20 |   972561 |   845427 |     2620    557 |        0 |        0
1218.59/1219.05	c 1218s |      20 |   974222 |   846827 |     2620    558 |        0 |        0
1220.60/1221.10	c 1221s |      20 |   975848 |   848127 |     2620    558 |        0 |        0
1222.69/1223.15	c 1223s |      20 |   977163 |   849327 |     2620    559 |        0 |        0
1224.79/1225.23	c 1225s |      20 |   978918 |   850827 |     2620    560 |        0 |        0
1226.89/1227.32	c 1227s |      20 |   980606 |   852327 |     2620    561 |        0 |        0
1229.09/1229.52	c 1229s |      20 |   982017 |   853627 |     2620    562 |        0 |        0
1231.09/1231.57	c 1231s |      20 |   983961 |   855327 |     2620    562 |        0 |        0
1233.19/1233.62	c 1233s |      20 |   985495 |   856727 |     2620    563 |        0 |        0
1235.29/1235.71	c 1235s |      20 |   986880 |   858027 |     2620    564 |        0 |        0
1237.39/1237.84	c 1237s |      20 |   988201 |   859227 |     2620    565 |        0 |        0
1239.49/1239.97	c 1239s |      20 |   989415 |   860327 |     2620    565 |        0 |        0
1241.49/1242.00	c 1241s |      20 |   991499 |   862127 |     2620    566 |        0 |        0
1243.59/1244.04	c 1243s |      20 |   993367 |   863727 |     2620    567 |        0 |        0
1245.58/1246.04	c 1245s |      20 |   995393 |   865427 |     2620    568 |        0 |        0
1247.58/1248.08	c 1247s |      20 |   997253 |   867027 |     2620    569 |        0 |        0
1249.68/1250.11	c 1250s |      20 |   999222 |   868727 |     2620    570 |        0 |        0
1251.78/1252.23	c 1252s |      20 |  1001116 |   870327 |     2620    571 |        0 |        0
1253.78/1254.27	c 1254s |      20 |  1002703 |   871727 |     2620    572 |        0 |        0
1255.89/1256.33	c 1256s |      20 |  1004475 |   873227 |     2620    572 |        0 |        0
1257.99/1258.43	c 1258s |      20 |  1006057 |   874627 |     2620    573 |        0 |        0
1260.08/1260.52	c 1260s |      20 |  1007501 |   875927 |     2620    574 |        0 |        0
1262.08/1262.59	c 1262s |      20 |  1008955 |   877227 |     2620    575 |        0 |        0
1264.28/1264.76	c 1264s |      20 |  1010513 |   878627 |     2620    576 |        0 |        0
1266.38/1266.83	c 1266s |      20 |  1012114 |   880027 |     2620    576 |        0 |        0
1268.38/1268.87	c 1268s |      20 |  1013835 |   881527 |     2620    577 |        0 |        0
1270.48/1270.94	c 1270s |      20 |  1015517 |   882927 |     2620    578 |        0 |        0
1272.48/1272.98	c 1272s |      20 |  1016815 |   884127 |     2620    579 |        0 |        0
1274.68/1275.10	c 1275s |      20 |  1018464 |   885627 |     2620    579 |        0 |        0
1276.78/1277.21	c 1277s |      20 |  1019995 |   887027 |     2620    580 |        0 |        0
1278.78/1279.22	c 1279s |      20 |  1021192 |   888127 |     2620    581 |        0 |        0
1280.98/1281.40	c 1281s |      20 |  1022674 |   889427 |     2620    582 |        0 |        0
1282.98/1283.43	c 1283s |      20 |  1024112 |   890727 |     2620    582 |        0 |        0
1285.08/1285.52	c 1285s |      20 |  1025577 |   892027 |     2620    583 |        0 |        0
1287.18/1287.64	c 1287s |      20 |  1026909 |   893227 |     2620    584 |        0 |        0
1289.18/1289.65	c 1289s |      20 |  1028181 |   894427 |     2620    584 |        0 |        0
1291.27/1291.77	c 1291s |      20 |  1029878 |   895927 |     2620    585 |        0 |        0
1293.28/1293.78	c 1293s |      20 |  1031332 |   897227 |     2620    586 |        0 |        0
1295.38/1295.86	c 1295s |      20 |  1032670 |   898427 |     2620    587 |        0 |        0
1297.37/1297.88	c 1297s |      20 |  1034158 |   899727 |     2620    587 |        0 |        0
1299.47/1299.95	c 1299s |      20 |  1035387 |   900827 |     2620    588 |        0 |        0
1301.67/1302.16	c 1302s |      20 |  1036729 |   902027 |     2620    589 |        0 |        0
1303.77/1304.26	c 1304s |      20 |  1038184 |   903327 |     2620    589 |        0 |        0
1305.87/1306.39	c 1306s |      20 |  1039642 |   904527 |     2620    590 |        0 |        0
1307.97/1308.49	c 1308s |      20 |  1040886 |   905627 |     2620    591 |        0 |        0
1310.07/1310.53	c 1310s |      20 |  1042218 |   906827 |     2620    591 |        0 |        0
1312.17/1312.67	c 1312s |      20 |  1043459 |   907927 |     2620    592 |        0 |        0
1314.47/1314.90	c 1314s |      20 |  1044580 |   908927 |     2620    592 |        0 |        0
1316.57/1317.06	c 1316s |      20 |  1045920 |   910027 |     2620    593 |        0 |        0
1318.77/1319.24	c 1319s |      20 |  1047001 |   911027 |     2620    594 |        0 |        0
1320.97/1321.43	c 1321s |      20 |  1048197 |   912027 |     2620    594 |        0 |        0
1323.07/1323.51	c 1323s |      20 |  1049341 |   913027 |     2620    595 |        0 |        0
1325.17/1325.64	c 1325s |      20 |  1050761 |   914227 |     2620    595 |        0 |        0
1327.27/1327.72	c 1327s |      20 |  1052829 |   915927 |     2620    596 |        0 |        0
1329.26/1329.73	c 1329s |      20 |  1054682 |   917427 |     2620    597 |        0 |        0
1331.26/1331.79	c 1331s |      20 |  1056329 |   918827 |     2620    598 |        0 |        0
1333.36/1333.81	c 1333s |      20 |  1057813 |   920127 |     2620    599 |        0 |        0
1335.36/1335.84	c 1335s |      20 |  1059250 |   921427 |     2620    599 |        0 |        0
1337.46/1337.96	c 1337s |      20 |  1060682 |   922727 |     2620    600 |        0 |        0
1339.56/1340.03	c 1339s |      20 |  1062103 |   924027 |     2620    601 |        0 |        0
1341.67/1342.16	c 1342s |      20 |  1063402 |   925227 |     2620    602 |        0 |        0
1343.77/1344.26	c 1344s |      20 |  1064879 |   926527 |     2620    602 |        0 |        0
1345.86/1346.30	c 1346s |      20 |  1066242 |   927727 |     2620    603 |        0 |        0
1347.86/1348.33	c 1348s |      20 |  1067590 |   928927 |     2620    604 |        0 |        0
1349.96/1350.46	c 1350s |      20 |  1069205 |   930327 |     2620    604 |        0 |        0
1352.06/1352.55	c 1352s |      20 |  1070816 |   931727 |     2620    605 |        0 |        0
1354.16/1354.63	c 1354s |      20 |  1072259 |   933027 |     2620    606 |        0 |        0
1356.26/1356.75	c 1356s |      20 |  1073869 |   934427 |     2620    607 |        0 |        0
1358.36/1358.86	c 1358s |      20 |  1075205 |   935627 |     2620    607 |        0 |        0
1360.37/1360.89	c 1360s |      20 |  1076642 |   936927 |     2620    608 |        0 |        0
1362.46/1362.91	c 1362s |      20 |  1077873 |   938027 |     2620    609 |        0 |        0
1364.46/1364.93	c 1364s |      20 |  1079095 |   939127 |     2620    609 |        0 |        0
1366.56/1367.07	c 1366s |      20 |  1080552 |   940427 |     2620    610 |        0 |        0
1368.66/1369.19	c 1369s |      20 |  1081930 |   941527 |     2620    611 |        0 |        0
1370.86/1371.32	c 1371s |      20 |  1083653 |   942927 |     2620    611 |        0 |        0
1372.96/1373.43	c 1373s |      20 |  1085194 |   944227 |     2620    612 |        0 |        0
1374.96/1375.45	c 1375s |      20 |  1086427 |   945327 |     2620    613 |        0 |        0
1377.16/1377.66	c 1377s |      20 |  1087597 |   946427 |     2620    613 |        0 |        0
1379.26/1379.77	c 1379s |      20 |  1090009 |   948327 |     2620    614 |        0 |        0
1381.36/1381.84	c 1381s |      20 |  1092385 |   950227 |     2620    615 |        0 |        0
1383.36/1383.89	c 1383s |      20 |  1094326 |   951927 |     2620    616 |        0 |        0
1385.56/1386.00	c 1385s |      20 |  1096480 |   953727 |     2620    617 |        0 |        0
1387.56/1388.04	c 1387s |      20 |  1098469 |   955427 |     2620    618 |        0 |        0
1389.65/1390.11	c 1390s |      20 |  1100537 |   957227 |     2620    619 |        0 |        0
1391.65/1392.16	c 1392s |      20 |  1102688 |   959027 |     2620    620 |        0 |        0
1393.65/1394.17	c 1394s |      20 |  1104604 |   960727 |     2620    621 |        0 |        0
1395.75/1396.20	c 1396s |      20 |  1106709 |   962527 |     2620    622 |        0 |        0
1397.76/1398.24	c 1398s |      20 |  1108812 |   964327 |     2620    623 |        0 |        0
1399.75/1400.26	c 1400s |      20 |  1110802 |   966027 |     2620    624 |        0 |        0
1401.85/1402.34	c 1402s |      20 |  1112447 |   967527 |     2620    625 |        0 |        0
1403.85/1404.39	c 1404s |      20 |  1114561 |   969327 |     2620    626 |        0 |        0
1405.95/1406.41	c 1406s |      20 |  1116704 |   971127 |     2620    627 |        0 |        0
1407.96/1408.45	c 1408s |      20 |  1118895 |   973027 |     2620    628 |        0 |        0
1410.06/1410.51	c 1410s |      20 |  1121142 |   975027 |     2620    629 |        0 |        0
1412.07/1412.51	c 1412s |      20 |  1123183 |   976827 |     2620    630 |        0 |        0
1414.17/1414.62	c 1414s |      20 |  1125134 |   978527 |     2620    631 |        0 |        0
1416.16/1416.64	c 1416s |      20 |  1126998 |   980127 |     2620    632 |        0 |        0
1418.16/1418.67	c 1418s |      20 |  1129067 |   981927 |     2620    633 |        0 |        0
1420.26/1420.73	c 1420s |      20 |  1130826 |   983427 |     2620    634 |        0 |        0
1422.36/1422.81	c 1422s |      20 |  1132584 |   984927 |     2620    635 |        0 |        0
1424.56/1425.01	c 1424s |      20 |  1134022 |   986227 |     2620    636 |        0 |        0
1426.66/1427.12	c 1427s |      20 |  1135587 |   987627 |     2620    636 |        0 |        0
1428.66/1429.18	c 1429s |      20 |  1136691 |   988627 |     2620    637 |        0 |        0
1430.76/1431.25	c 1431s |      20 |  1137761 |   989627 |     2620    637 |        0 |        0
1432.76/1433.26	c 1433s |      20 |  1139826 |   991427 |     2620    638 |        0 |        0
1434.86/1435.31	c 1435s |      20 |  1141487 |   992927 |     2620    639 |        0 |        0
1436.86/1437.32	c 1437s |      20 |  1142879 |   994227 |     2883    640 |        0 |        0
1438.86/1439.38	c 1439s |      20 |  1145519 |   996227 |     2883    641 |        0 |        0
1440.96/1441.42	c 1441s |      20 |  1147452 |   997727 |     2883    642 |        0 |        0
1443.05/1443.58	c 1443s |      20 |  1149584 |   999427 |     2883    643 |        0 |        0
1444.35/1444.85	c 1444s |      21 |  1150624 |  1000345 |     2883    643 |        0 |        0
1446.45/1446.90	c 1446s |      21 |  1153399 |  1002245 |     2883    644 |        0 |        0
1448.45/1448.91	c 1448s |      21 |  1155248 |  1003845 |     2883    645 |        0 |        0
1450.46/1450.94	c 1450s |      21 |  1156961 |  1005345 |     2883    646 |        0 |        0
1452.55/1453.00	c 1452s |      21 |  1158777 |  1006945 |     2883    646 |        0 |        0
1454.55/1455.09	c 1454s |      21 |  1160641 |  1008545 |     2883    647 |        0 |        0
1456.65/1457.14	c 1457s |      21 |  1162365 |  1010045 |     2883    648 |        0 |        0
1458.65/1459.18	c 1459s |      21 |  1163960 |  1011445 |     2883    649 |        0 |        0
1460.85/1461.33	c 1461s |      21 |  1165819 |  1013045 |     2883    650 |        0 |        0
1462.95/1463.49	c 1463s |      21 |  1167446 |  1014445 |     2883    650 |        0 |        0
1465.05/1465.59	c 1465s |      21 |  1168883 |  1015745 |     2883    651 |        0 |        0
1467.15/1467.64	c 1467s |      21 |  1170615 |  1017245 |     2883    652 |        0 |        0
1469.26/1469.75	c 1469s |      21 |  1172336 |  1018745 |     2883    652 |        0 |        0
1471.36/1471.86	c 1471s |      21 |  1174137 |  1020345 |     2883    653 |        0 |        0
1473.45/1473.97	c 1473s |      21 |  1175889 |  1021845 |     2883    654 |        0 |        0
1475.55/1476.05	c 1475s |      21 |  1177400 |  1023145 |     2883    655 |        0 |        0
1477.75/1478.25	c 1478s |      21 |  1179109 |  1024645 |     2883    656 |        0 |        0
1479.85/1480.38	c 1480s |      21 |  1180679 |  1026045 |     2883    656 |        0 |        0
1481.85/1482.39	c 1482s |      21 |  1182075 |  1027245 |     2883    657 |        0 |        0
1483.95/1484.41	c 1484s |      21 |  1183664 |  1028645 |     2883    658 |        0 |        0
1486.05/1486.57	c 1486s |      21 |  1185123 |  1029945 |     2883    658 |        0 |        0
1488.15/1488.61	c 1488s |      21 |  1186737 |  1031345 |     2883    659 |        0 |        0
1490.25/1490.74	c 1490s |      21 |  1188357 |  1032745 |     2883    660 |        0 |        0
1492.35/1492.88	c 1492s |      21 |  1190111 |  1034245 |     2883    660 |        0 |        0
1494.35/1494.89	c 1494s |      21 |  1191772 |  1035645 |     2883    661 |        0 |        0
1496.55/1497.00	c 1496s |      21 |  1193410 |  1037045 |     2883    662 |        0 |        0
1498.55/1499.06	c 1498s |      21 |  1194885 |  1038345 |     2883    663 |        0 |        0
1500.55/1501.07	c 1500s |      21 |  1196376 |  1039645 |     2883    663 |        0 |        0
1502.75/1503.21	c 1503s |      21 |  1197836 |  1040945 |     2883    664 |        0 |        0
1504.85/1505.37	c 1505s |      21 |  1199277 |  1042245 |     2883    665 |        0 |        0
1506.94/1507.43	c 1507s |      21 |  1200744 |  1043545 |     2883    665 |        0 |        0
1508.94/1509.47	c 1509s |      21 |  1202203 |  1044845 |     2883    666 |        0 |        0
1511.05/1511.54	c 1511s |      21 |  1203637 |  1046145 |     2883    667 |        0 |        0
1513.04/1513.60	c 1513s |      21 |  1205111 |  1047445 |     2883    667 |        0 |        0
1515.24/1515.78	c 1515s |      21 |  1206428 |  1048645 |     2883    668 |        0 |        0
1517.24/1517.78	c 1517s |      21 |  1207660 |  1049745 |     2883    668 |        0 |        0
1519.24/1519.79	c 1519s |      21 |  1209022 |  1050945 |     2883    669 |        0 |        0
1521.44/1521.97	c 1521s |      21 |  1210471 |  1052245 |     2883    670 |        0 |        0
1523.54/1524.06	c 1523s |      21 |  1212154 |  1053745 |     2883    671 |        0 |        0
1525.54/1526.09	c 1525s |      21 |  1213836 |  1055245 |     2883    671 |        0 |        0
1527.64/1528.15	c 1528s |      21 |  1215328 |  1056545 |     2883    672 |        0 |        0
1529.65/1530.20	c 1530s |      21 |  1216680 |  1057745 |     2883    673 |        0 |        0
1531.85/1532.33	c 1532s |      21 |  1218263 |  1059145 |     2883    673 |        0 |        0
1533.94/1534.44	c 1534s |      21 |  1219852 |  1060545 |     2883    674 |        0 |        0
1536.04/1536.53	c 1536s |      21 |  1221213 |  1061745 |     2883    675 |        0 |        0
1538.24/1538.73	c 1538s |      21 |  1222771 |  1063145 |     2883    675 |        0 |        0
1540.34/1540.81	c 1540s |      21 |  1223857 |  1064145 |     2883    676 |        0 |        0
1542.44/1542.91	c 1542s |      21 |  1225789 |  1065745 |     2883    677 |        0 |        0
1544.44/1544.98	c 1544s |      21 |  1227464 |  1067245 |     2883    677 |        0 |        0
1546.54/1547.04	c 1546s |      21 |  1228985 |  1068645 |     2883    678 |        0 |        0
1548.64/1549.14	c 1549s |      21 |  1230547 |  1070045 |     2883    679 |        0 |        0
1550.64/1551.16	c 1551s |      21 |  1232018 |  1071345 |     2883    680 |        0 |        0
1552.74/1553.30	c 1553s |      21 |  1233588 |  1072745 |     2883    680 |        0 |        0
1554.94/1555.44	c 1555s |      21 |  1235053 |  1074045 |     2883    681 |        0 |        0
1556.94/1557.44	c 1557s |      21 |  1236263 |  1075145 |     2883    682 |        0 |        0
1559.04/1559.55	c 1559s |      21 |  1237688 |  1076445 |     2883    682 |        0 |        0
1561.23/1561.74	c 1561s |      21 |  1238998 |  1077645 |     2883    683 |        0 |        0
1563.33/1563.84	c 1563s |      21 |  1240362 |  1078845 |     2883    683 |        0 |        0
1565.43/1565.92	c 1565s |      21 |  1241942 |  1080245 |     2883    684 |        0 |        0
1567.43/1567.93	c 1567s |      21 |  1243285 |  1081445 |     2883    685 |        0 |        0
1569.43/1569.98	c 1569s |      21 |  1244499 |  1082545 |     2883    685 |        0 |        0
1571.44/1571.98	c 1571s |      21 |  1245582 |  1083545 |     2883    686 |        0 |        0
1573.53/1574.05	c 1573s |      21 |  1246665 |  1084545 |     2883    686 |        0 |        0
1575.53/1576.09	c 1575s |      21 |  1247649 |  1085445 |     2883    687 |        0 |        0
1577.63/1578.13	c 1578s |      21 |  1248867 |  1086545 |     2883    687 |        0 |        0
1579.63/1580.14	c 1580s |      21 |  1249867 |  1087445 |     2883    688 |        0 |        0
1581.63/1582.16	c 1582s |      21 |  1250957 |  1088445 |     2883    688 |        0 |        0
1583.73/1584.26	c 1584s |      21 |  1252055 |  1089445 |     2883    689 |        0 |        0
1585.84/1586.33	c 1586s |      21 |  1253023 |  1090345 |     2883    689 |        0 |        0
1587.83/1588.40	c 1588s |      21 |  1254139 |  1091345 |     2883    690 |        0 |        0
1589.93/1590.46	c 1590s |      21 |  1255228 |  1092345 |     2883    690 |        0 |        0
1591.93/1592.46	c 1592s |      21 |  1256319 |  1093345 |     2883    691 |        0 |        0
1594.13/1594.67	c 1594s |      21 |  1257291 |  1094245 |     2883    691 |        0 |        0
1596.13/1596.68	c 1596s |      21 |  1258406 |  1095245 |     2883    692 |        0 |        0
1598.43/1598.92	c 1598s |      21 |  1259489 |  1096245 |     2883    692 |        0 |        0
1600.43/1600.95	c 1600s |      21 |  1260976 |  1097545 |     2883    693 |        0 |        0
1602.53/1603.07	c 1602s |      21 |  1262432 |  1098845 |     2883    694 |        0 |        0
1604.63/1605.13	c 1605s |      21 |  1263759 |  1100045 |     2883    694 |        0 |        0
1606.63/1607.14	c 1607s |      21 |  1265131 |  1101245 |     2883    695 |        0 |        0
1608.83/1609.40	c 1609s |      21 |  1266236 |  1102245 |     2883    696 |        0 |        0
1610.93/1611.50	c 1611s |      21 |  1267918 |  1103645 |     2883    696 |        0 |        0
1613.13/1613.62	c 1613s |      21 |  1269606 |  1105145 |     2883    697 |        0 |        0
1615.13/1615.65	c 1615s |      21 |  1271169 |  1106545 |     2883    698 |        0 |        0
1617.33/1617.83	c 1617s |      21 |  1272687 |  1107945 |     2883    698 |        0 |        0
1619.42/1619.94	c 1619s |      21 |  1274244 |  1109345 |     2883    699 |        0 |        0
1621.52/1622.03	c 1621s |      21 |  1275590 |  1110545 |     2883    700 |        0 |        0
1623.52/1624.07	c 1623s |      21 |  1276710 |  1111545 |     2883    700 |        0 |        0
1625.72/1626.21	c 1626s |      21 |  1278169 |  1112845 |     2883    701 |        0 |        0
1627.82/1628.36	c 1628s |      21 |  1279752 |  1114245 |     2883    702 |        0 |        0
1629.92/1630.41	c 1630s |      21 |  1281066 |  1115445 |     2883    702 |        0 |        0
1632.03/1632.51	c 1632s |      21 |  1282385 |  1116645 |     2883    703 |        0 |        0
1634.02/1634.59	c 1634s |      21 |  1283758 |  1117845 |     2883    704 |        0 |        0
1636.22/1636.70	c 1636s |      21 |  1285109 |  1119045 |     2883    704 |        0 |        0
1638.22/1638.71	c 1638s |      21 |  1286238 |  1120045 |     2883    705 |        0 |        0
1640.22/1640.73	c 1640s |      21 |  1287481 |  1121145 |     2883    705 |        0 |        0
1642.22/1642.75	c 1642s |      21 |  1289070 |  1122545 |     2883    706 |        0 |        0
1644.42/1644.90	c 1644s |      21 |  1290565 |  1123845 |     2883    707 |        0 |        0
1646.42/1646.92	c 1646s |      21 |  1291916 |  1125045 |     2883    707 |        0 |        0
1648.43/1648.94	c 1648s |      21 |  1293135 |  1126145 |     2883    708 |        0 |        0
1650.63/1651.11	c 1651s |      21 |  1294429 |  1127345 |     2883    708 |        0 |        0
1652.72/1653.22	c 1653s |      21 |  1295821 |  1128545 |     2883    709 |        0 |        0
1654.82/1655.36	c 1655s |      21 |  1297376 |  1129945 |     2883    710 |        0 |        0
1656.92/1657.49	c 1657s |      21 |  1298820 |  1131245 |     2883    710 |        0 |        0
1659.12/1659.62	c 1659s |      21 |  1300132 |  1132445 |     2883    711 |        0 |        0
1661.32/1661.82	c 1661s |      21 |  1301235 |  1133445 |     2883    712 |        0 |        0
1663.32/1663.84	c 1663s |      21 |  1302580 |  1134645 |     2883    712 |        0 |        0
1665.42/1665.90	c 1665s |      21 |  1303968 |  1135945 |     2883    713 |        0 |        0
1667.42/1667.92	c 1667s |      21 |  1305171 |  1137045 |     2883    713 |        0 |        0
1669.52/1670.01	c 1669s |      21 |  1306554 |  1138245 |     2883    714 |        0 |        0
1671.62/1672.15	c 1672s |      21 |  1307857 |  1139445 |     2883    715 |        0 |        0
1673.82/1674.35	c 1674s |      21 |  1309180 |  1140645 |     2883    715 |        0 |        0
1675.92/1676.43	c 1676s |      21 |  1310509 |  1141845 |     2883    716 |        0 |        0
1678.12/1678.66	c 1678s |      21 |  1311712 |  1142945 |     2883    717 |        0 |        0
1680.21/1680.70	c 1680s |      21 |  1312932 |  1144045 |     2883    717 |        0 |        0
1682.21/1682.76	c 1682s |      21 |  1314015 |  1145045 |     2883    718 |        0 |        0
1684.41/1684.92	c 1684s |      21 |  1315289 |  1146245 |     2883    718 |        0 |        0
1686.41/1686.98	c 1686s |      21 |  1316278 |  1147145 |     2883    719 |        0 |        0
1688.51/1689.05	c 1688s |      21 |  1317391 |  1148145 |     2883    719 |        0 |        0
1690.51/1691.06	c 1690s |      21 |  1318585 |  1149145 |     2883    720 |        0 |        0
1692.71/1693.22	c 1693s |      21 |  1320218 |  1150545 |     2883    720 |        0 |        0
1694.72/1695.30	c 1695s |      21 |  1321697 |  1151845 |     2883    721 |        0 |        0
1696.82/1697.34	c 1697s |      21 |  1323034 |  1153045 |     2883    722 |        0 |        0
1698.91/1699.49	c 1699s |      21 |  1324429 |  1154245 |     2883    722 |        0 |        0
1701.01/1701.50	c 1701s |      21 |  1325506 |  1155245 |     2883    723 |        0 |        0
1703.11/1703.62	c 1703s |      21 |  1326662 |  1156345 |     2883    723 |        0 |        0
1705.31/1705.82	c 1705s |      21 |  1328310 |  1157645 |     2883    724 |        0 |        0
1707.41/1707.91	c 1707s |      21 |  1329820 |  1158945 |     2883    725 |        0 |        0
1709.51/1710.05	c 1709s |      21 |  1331272 |  1160245 |     2883    725 |        0 |        0
1711.51/1712.07	c 1711s |      21 |  1332682 |  1161445 |     2883    726 |        0 |        0
1713.51/1714.08	c 1713s |      21 |  1334154 |  1162745 |     2883    727 |        0 |        0
1715.61/1716.13	c 1716s |      21 |  1335785 |  1164145 |     2883    727 |        0 |        0
1717.71/1718.29	c 1718s |      21 |  1337142 |  1165345 |     2883    728 |        0 |        0
1719.91/1720.43	c 1720s |      21 |  1338702 |  1166645 |     2883    729 |        0 |        0
1721.90/1722.47	c 1722s |      21 |  1340180 |  1167945 |     2883    729 |        0 |        0
1724.01/1724.55	c 1724s |      21 |  1341516 |  1169145 |     2883    730 |        0 |        0
1726.11/1726.65	c 1726s |      21 |  1342861 |  1170345 |     2883    731 |        0 |        0
1728.21/1728.72	c 1728s |      21 |  1344066 |  1171445 |     2883    731 |        0 |        0
1730.21/1730.76	c 1730s |      21 |  1345271 |  1172545 |     2883    732 |        0 |        0
1732.21/1732.78	c 1732s |      21 |  1346746 |  1173845 |     2883    732 |        0 |        0
1734.32/1734.89	c 1734s |      21 |  1348313 |  1175245 |     2883    733 |        0 |        0
1736.42/1736.92	c 1736s |      21 |  1349744 |  1176545 |     2883    734 |        0 |        0
1738.51/1739.02	c 1738s |      21 |  1351161 |  1177845 |     2883    735 |        0 |        0
1740.51/1741.04	c 1740s |      21 |  1352731 |  1179245 |     2883    735 |        0 |        0
1742.51/1743.04	c 1742s |      21 |  1354061 |  1180445 |     2883    736 |        0 |        0
1744.51/1745.05	c 1744s |      21 |  1355419 |  1181645 |     2883    736 |        0 |        0
1746.51/1747.06	c 1746s |      21 |  1356778 |  1182845 |     2883    737 |        0 |        0
1748.62/1749.16	c 1749s |      21 |  1358212 |  1184145 |     2883    738 |        0 |        0
1750.81/1751.35	c 1751s |      21 |  1359671 |  1185445 |     2883    738 |        0 |        0
1752.81/1753.36	c 1753s |      21 |  1361012 |  1186645 |     2883    739 |        0 |        0
1754.91/1755.44	c 1755s |      21 |  1362607 |  1188045 |     2883    740 |        0 |        0
1756.91/1757.45	c 1757s |      21 |  1364074 |  1189345 |     2883    740 |        0 |        0
1758.91/1759.48	c 1759s |      21 |  1365581 |  1190645 |     2883    741 |        0 |        0
1761.01/1761.54	c 1761s |      21 |  1367041 |  1191945 |     2883    742 |        0 |        0
1763.11/1763.64	c 1763s |      21 |  1368649 |  1193345 |     2883    743 |        0 |        0
1765.21/1765.74	c 1765s |      21 |  1370095 |  1194645 |     2883    743 |        0 |        0
1767.21/1767.77	c 1767s |      21 |  1371312 |  1195745 |     2883    744 |        0 |        0
1769.41/1769.93	c 1769s |      21 |  1372643 |  1196945 |     2883    744 |        0 |        0
1771.61/1772.10	c 1772s |      21 |  1373993 |  1198145 |     2883    745 |        0 |        0
1773.70/1774.20	c 1774s |      21 |  1375510 |  1199445 |     2883    746 |        0 |        0
1775.70/1776.20	c 1776s |      21 |  1376976 |  1200745 |     2883    746 |        0 |        0
1777.70/1778.25	c 1778s |      21 |  1378577 |  1202145 |     2883    747 |        0 |        0
1779.80/1780.31	c 1780s |      21 |  1379958 |  1203345 |     2883    748 |        0 |        0
1781.80/1782.32	c 1782s |      21 |  1381463 |  1204645 |     2883    748 |        0 |        0
1783.90/1784.46	c 1784s |      21 |  1382942 |  1205945 |     2883    749 |        0 |        0
1786.01/1786.52	c 1786s |      21 |  1384469 |  1207245 |     2883    750 |        0 |        0
1788.11/1788.66	c 1788s |      21 |  1385923 |  1208545 |     2883    750 |        0 |        0
1790.20/1790.76	c 1790s |      21 |  1387422 |  1209845 |     2883    751 |        0 |        0
1792.20/1792.77	c 1792s |      21 |  1388995 |  1211245 |     2883    752 |        0 |        0
1794.30/1794.84	c 1794s |      21 |  1390603 |  1212645 |     2883    752 |        0 |        0
1796.30/1796.86	c 1796s |      21 |  1391974 |  1213845 |     2883    753 |        0 |        0
1798.40/1798.92	c 1798s |      21 |  1393106 |  1214845 |     2883    754 |        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-4093400-1466082159/watcher-4093400-1466082159 -o /tmp/evaluation-result-4093400-1466082159/solver-4093400-1466082159 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13651 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093400-1466082159.wbo 

pid=14738
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.05 2.13 2.12 3/179 14741
/proc/meminfo: memFree=30383208/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=565692 CPUtime=0 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 2083 0 0 0 0 0 0 0 20 0 4 0 10261569 579268608 1933 33554432000 4194304 16246674 140733226059232 140733226058656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 141935 1941 441 2943 0 138829 0
[pid=14741/tid=14742] ppid=14738 vsize=583100 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 597094400 2000 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=587196 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 601288704 2017 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=591292 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10261570 605483008 2033 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 2.05 2.13 2.12 3/179 14741
/proc/meminfo: memFree=30383208/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 25430 0 0 0 6 3 0 0 20 0 4 0 10261569 1247350784 25265 33554432000 4194304 16246674 140733226059232 140733226058656 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 304529 25277 806 2943 0 301423 0
[pid=14741/tid=14742] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 25287 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 25299 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 25309 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200487 s]
/proc/loadavg: 2.05 2.13 2.12 3/179 14741
/proc/meminfo: memFree=30383208/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 55075 0 0 0 12 7 0 0 20 0 4 0 10261569 1247350784 54911 33554432000 4194304 16246674 140733226059232 140733226058656 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 304529 54927 806 2943 0 301423 0
[pid=14741/tid=14742] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 54937 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 54947 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 54957 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300455 s]
/proc/loadavg: 2.05 2.13 2.12 3/179 14741
/proc/meminfo: memFree=30383208/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 87775 0 0 0 18 11 0 0 20 0 4 0 10261569 1247350784 87611 33554432000 4194304 16246674 140733226059232 140733226058656 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 304529 87625 806 2943 0 301423 0
[pid=14741/tid=14742] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 87635 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 87646 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 87658 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700351 s]
/proc/loadavg: 2.05 2.13 2.12 3/179 14741
/proc/meminfo: memFree=30383208/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 205369 0 0 0 43 25 0 0 20 0 4 0 10261569 1247350784 205205 33554432000 4194304 16246674 140733226059232 140733226058656 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 304529 205218 812 2943 0 301423 0
[pid=14741/tid=14742] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 205228 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 205239 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10261570 1247350784 205250 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.05 2.13 2.12 3/183 14745
/proc/meminfo: memFree=29400988/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1303108 CPUtime=1.48 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 266817 0 0 0 115 33 0 0 20 0 4 0 10261569 1334382592 266630 33554432000 4194304 16246674 140733226059232 140733226041152 6010364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 325777 266630 872 2943 0 322671 0
[pid=14741/tid=14742] ppid=14738 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1334382592 266630 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1334382592 266630 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1334382592 266630 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1303108

[startup+3.10035 s]
/proc/loadavg: 2.05 2.13 2.12 4/183 14745
/proc/meminfo: memFree=29313436/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 267771 0 0 0 275 33 0 0 20 0 4 0 10261569 1338576896 267584 33554432000 4194304 16246674 140733226059232 140733226041152 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 326801 267584 872 2943 0 323695 0
[pid=14741/tid=14742] ppid=14738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1338576896 267584 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1338576896 267584 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1338576896 267584 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.05 2.13 2.11 3/183 14745
/proc/meminfo: memFree=29312896/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 267923 0 0 0 595 33 0 0 20 0 4 0 10261569 1338576896 267736 33554432000 4194304 16246674 140733226059232 140733226041152 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 326801 267736 872 2943 0 323695 0
[pid=14741/tid=14742] ppid=14738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1338576896 267736 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1338576896 267736 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1338576896 267736 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.04 2.13 2.11 3/183 14745
/proc/meminfo: memFree=29312036/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 268181 0 0 0 1235 33 0 0 20 0 4 0 10261569 1339625472 267994 33554432000 4194304 16246674 140733226059232 140733226041152 5546224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 327057 267994 874 2943 0 323951 0
[pid=14741/tid=14742] ppid=14738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1339625472 267994 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1339625472 267994 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1339625472 267994 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.11 2.14 2.12 4/183 14745
/proc/meminfo: memFree=29312204/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 268181 0 0 0 2515 34 0 0 20 0 4 0 10261569 1339625472 267994 33554432000 4194304 16246674 140733226059232 140733226041152 5523325 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 327057 267994 874 2943 0 323951 0
[pid=14741/tid=14742] ppid=14738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1339625472 267994 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1339625472 267994 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1339625472 267994 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.07 2.13 2.11 4/183 14745
/proc/meminfo: memFree=29308120/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 269206 0 0 0 5074 34 0 0 20 0 4 0 10261569 1343819776 269019 33554432000 4194304 16246674 140733226059232 140733226041152 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 328081 269019 875 2943 0 324975 0
[pid=14741/tid=14742] ppid=14738 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1343819776 269019 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1343819776 269019 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1343819776 269019 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.12 2.13 2.11 3/183 14746
/proc/meminfo: memFree=29307744/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 269206 0 0 0 10194 34 0 0 20 0 4 0 10261569 1343819776 269019 33554432000 4194304 16246674 140733226059232 140733226041152 6012036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 328081 269019 875 2943 0 324975 0
[pid=14741/tid=14742] ppid=14738 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1343819776 269019 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1343819776 269019 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1343819776 269019 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.13 2.19 2.15 3/183 14827
/proc/meminfo: memFree=29309856/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1361.86 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 136145 41 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 12477752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.24 2.21 2.16 3/183 14828
/proc/meminfo: memFree=29310292/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1421.86 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 142144 42 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 13191915 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.09 2.17 2.15 3/183 14830
/proc/meminfo: memFree=29309396/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1481.85 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 148143 42 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.08 2.15 2.14 3/183 14831
/proc/meminfo: memFree=29309720/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1541.85 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 154143 42 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 5545788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.14 2.15 2.14 3/183 14832
/proc/meminfo: memFree=29310636/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1601.83 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 160141 42 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 13949901 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.21 2.17 2.15 3/184 14836
/proc/meminfo: memFree=29310424/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1661.82 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 166140 42 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.15 2.16 2.14 3/183 14837
/proc/meminfo: memFree=29310184/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1721.8 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 172138 42 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 5545788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.22 2.19 2.15 3/183 14839
/proc/meminfo: memFree=29309688/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1781.8 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 178137 43 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.18 2.15 3/183 14839
/proc/meminfo: memFree=29309688/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1800 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 179957 43 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.18 2.15 3/183 14839
/proc/meminfo: memFree=29309688/32872528 swapFree=532956/565660
[pid=14741] ppid=14738 vsize=1320516 CPUtime=1800 cores=0,2,4,6
/proc/14741/stat : 14741 (toysat) R 14738 14741 11130 0 -1 4202496 271661 0 0 0 179957 43 0 0 20 0 4 0 10261569 1352208384 271324 33554432000 4194304 16246674 140733226059232 140733226041152 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14741/statm: 330129 271324 876 2943 0 327023 0
[pid=14741/tid=14742] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14742/stat : 14742 (toysat) S 14738 14741 11130 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159780629744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14741/tid=14743] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14743/stat : 14743 (toysat) S 14738 14741 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159770139888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14741/tid=14744] ppid=14738 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14741/task/14744/stat : 14744 (toysat) S 14738 14741 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10261570 1352208384 271324 33554432000 4194304 16246674 140733226059232 140159759666352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.58
CPU system time (s): 0.431934
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.431934
maximum resident set size= 1085296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271661
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= 421
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.85081 second user time and 9.63654 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 15:02:39
IDJOB=4093400
IDBENCH=78704
IDSOLVER=2553
FILE ID=node138/4093400-1466082159
RUNJOBID= node138-1466074865-13651
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 515e8ce2c7c31d2b78b34efd1db422a9
RANDOM SEED=1706452669

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30383992 kB
Buffers:           28448 kB
Cached:           106320 kB
SwapCached:         1380 kB
Active:          1163292 kB
Inactive:          60504 kB
Active(anon):    1089636 kB
Inactive(anon):     1664 kB
Active(file):      73656 kB
Inactive(file):    58840 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1653376 kB
Mapped:            10608 kB
Shmem:                 0 kB
Slab:             566820 kB
SReclaimable:      10692 kB
SUnreclaim:       556128 kB
KernelStack:        1520 kB
PageTables:         7100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1796916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1114112 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= 71716 MiB
End job on node138 at 2016-06-16 15:32:40