Trace number 4103353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM5d09427ddf3dc39fc0331bd5827affb8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark63488
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63488
Optimality of the best value was proved NO
Number of variables9464
Total number of constraints1820
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 78
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073790975
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147979262
Number of bits of the biggest sum of numbers32
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-18T09:39:33+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103353-1466235573.opb"]
0.00/0.01	c use --random-gen="496986459 2010906631 833158121 3394214727 2933674746 1666919325 3329308308 937289683 1335494293 4282985463 1798855686 2988656122 1647514886 4283180904 2582896547 1538505263 224333593 76687044 3809212739 79080521 1981057151 4042651102 2922585047 2509363675 2604655941 3026302596 2476025408 599973765 2145106080 2895283374 2520167709 3542903414 135861057 1764850462 3646153516 913402064 2903074825 636562190 2362219336 1813301580 3578152931 1706924747 992416452 431215661 3436984951 1028900164 1249482977 2698015631 3642048163 3174632373 2799353013 432459262 2630862682 2655711489 2829846919 2492717783 145607251 3055444797 760641710 2400168124 848182588 2321640731 1752916649 2872752705 1395161118 2464079914 3506249931 4083815864 1090816352 3109382987 1481915103 2194860689 1014089867 1810969895 3492641935 641280591 4006073272 1995340892 3733348961 2661913029 4268238168 502939379 3014360579 4063712020 2927358141 1376116247 3423397114 942736725 3023274463 3673789362 1963543279 3443935418 1427630043 2802056849 3856337884 3355061348 3189842789 1442019264 3130058195 2614609848 198140424 1662113405 3053207208 3788168865 3955198189 2717724366 3599733853 326311285 3251099790 327442069 2118228165 1444889200 637352089 1828162006 554880257 2749660014 587745164 537028057 868382508 2735595257 2181653422 3683530288 4065812045 2066286352 1670781950 4194059783 2344304257 1133880923 10858428 1775086095 1801694737 64676272 3620476838 3639238836 833522467 1025487227 3541695330 3325379651 1587217362 1205790508 232525756 1916421223 294795410 265135646 3800567316 4107970583 2065137670 527391735 1007650650 757649149 159188584 3459906070 1661698854 1798786226 187309517 3106169839 2889754235 2413544902 112516554 1566222608 1690169952 1965907113 3679727987 2003466530 1719896333 1328061138 97587314 2837355873 3094166670 1527660276 3182353865 123758162 1972391715 3671045091 3716311299 577541719 3997615704 3272600519 3036018456 3193427878 3243343493 1454812863 2218430578 779545536 2568903220 549152688 3945156586 2681524930 1226044273 920351507 2729532874 3457865335 199794707 3676220033 2190949403 2888096366 3824968069 1009208619 1116353275 3867062975 1886591434 3495340622 633223432 3849527494 118933585 3415600364 961864118 4246883759 1575316290 2703848301 1211994386 3131008812 4138565541 2837370972 3669276163 1518971057 696479693 3356145965 3806823063 4074714212 4170119223 2866182705 2382425917 2034948898 3282681941 2612262458 1770523193 3691424957 2392033338 141651068 2413751276 548742056 2808741072 154035915 180328080 953332822 1677357877 2503943952 2132050540 3964425477 2902559002 124364750 1084825845 1400326368 954720620 2994080236 882953458 2514544336 930030803 3725023274 1044068854 3973427602 3484452873 3267262674 2891795184 254393871 255 362436" option to reproduce the execution
0.09/0.18	c #vars 9464
0.09/0.18	c #constraints 1820
10.69/10.70	c BCD2: Hardening is enabled.
10.69/10.70	c BCD2: BiasedSearch is enabled.
10.69/10.70	c Solving starts ...
10.69/10.70	c ============================[ Search Statistics ]============================
10.69/10.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.69/10.70	c       |         |          |          |    Limit     GC | Var      | Constra 
10.69/10.70	c =============================================================================
10.69/10.70	c  0.0s |       0 |        0 |        0 |     3761      0 |       30 |        0
11.19/11.26	c  0.6s |       0 |    14241 |       73 |     3761      0 |       30 |        2
11.19/11.26	c #cpu_time = 0.541s
11.19/11.26	c #wall_clock_time = 0.543s
11.19/11.26	c #decision = 14241
11.19/11.26	c #random_decision = 36
11.19/11.26	c #conflict = 73
11.19/11.26	c #restart = 0
11.19/11.26	o 90112
11.29/11.31	c BCD2: hardening fixes 12 literals
11.29/11.31	c BCD2: updating upper bound: 1073790975 -> 139263
11.29/11.31	c BCD2: 0 <= obj <= 139263
11.29/11.31	c BCD2: #cores=0, #unrelaxed=66, #relaxed=0, #hardened=12
11.29/11.31	c BCD2: #sat=1 #unsat=1 bias=1/2
11.29/11.31	c Solving starts ...
11.29/11.31	c ============================[ Search Statistics ]============================
11.29/11.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.29/11.31	c       |         |          |          |    Limit     GC | Var      | Constra 
11.29/11.31	c =============================================================================
11.29/11.31	c  0.0s |       0 |        0 |        0 |     3761      0 |       30 |        2
11.29/11.32	c  0.0s |       0 |        0 |        0 |     3761      0 |       30 |        2
11.29/11.32	c #cpu_time = 0.010s
11.29/11.32	c #wall_clock_time = 0.010s
11.29/11.32	c #decision = 0
11.29/11.32	c #random_decision = 0
11.29/11.32	c #conflict = 0
11.29/11.32	c #restart = 0
11.29/11.32	c BCD2: found a new core of size 1: cost of the new core is >=65536
11.29/11.32	c lower bound updated to 16384
11.29/11.36	c BCD2: hardening fixes 1 literals
11.29/11.36	c BCD2: 65536 <= obj <= 139263
11.29/11.36	c BCD2: #cores=1, #unrelaxed=64, #relaxed=1, #hardened=13
11.29/11.36	c BCD2: #sat=1 #unsat=2 bias=2/3
11.29/11.36	c Solving starts ...
11.29/11.36	c ============================[ Search Statistics ]============================
11.29/11.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.29/11.36	c       |         |          |          |    Limit     GC | Var      | Constra 
11.29/11.36	c =============================================================================
11.29/11.36	c  0.0s |       0 |        0 |        0 |     3761      0 |       30 |        2
11.29/11.37	c  0.0s |       0 |        1 |        0 |     3761      0 |       30 |        2
11.29/11.37	c #cpu_time = 0.010s
11.29/11.37	c #wall_clock_time = 0.010s
11.29/11.37	c #decision = 1
11.29/11.37	c #random_decision = 0
11.29/11.37	c #conflict = 0
11.29/11.37	c #restart = 0
11.29/11.37	c BCD2: found a new core of size 1: cost of the new core is >=32768
11.29/11.37	c lower bound updated to 49152
11.39/11.42	c BCD2: 98304 <= obj <= 139263
11.39/11.42	c BCD2: #cores=2, #unrelaxed=63, #relaxed=2, #hardened=13
11.39/11.42	c BCD2: #sat=1 #unsat=3 bias=3/4
11.39/11.42	c Solving starts ...
11.39/11.42	c ============================[ Search Statistics ]============================
11.39/11.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.39/11.42	c       |         |          |          |    Limit     GC | Var      | Constra 
11.39/11.42	c =============================================================================
11.39/11.42	c  0.0s |       0 |        0 |        0 |     3761      0 |       30 |        2
11.39/11.43	c  0.0s |       0 |        2 |        0 |     3761      0 |       30 |        2
11.39/11.43	c #cpu_time = 0.010s
11.39/11.43	c #wall_clock_time = 0.010s
11.39/11.43	c #decision = 2
11.39/11.43	c #random_decision = 0
11.39/11.43	c #conflict = 0
11.39/11.43	c #restart = 0
11.39/11.43	c BCD2: found a new core of size 1: cost of the new core is >=4096
11.39/11.43	c lower bound updated to 53248
11.39/11.49	c BCD2: 102400 <= obj <= 139263
11.39/11.49	c BCD2: #cores=3, #unrelaxed=62, #relaxed=3, #hardened=13
11.39/11.49	c BCD2: #sat=1 #unsat=4 bias=4/5
11.39/11.49	c Solving starts ...
11.39/11.49	c ============================[ Search Statistics ]============================
11.39/11.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.39/11.49	c       |         |          |          |    Limit     GC | Var      | Constra 
11.39/11.49	c =============================================================================
11.39/11.49	c  0.0s |       0 |        0 |        0 |     3761      0 |       30 |        2
11.69/11.72	c  0.2s |       1 |      520 |      100 |     4138      0 |       30 |        2
11.99/12.01	c  0.5s |       2 |      801 |      250 |     4552      0 |       30 |        2
12.49/12.50	c  1.0s |       3 |     1240 |      475 |     5008      0 |       30 |        2
12.99/13.03	c  1.5s |       4 |     1819 |      813 |     5509      0 |       30 |        2
13.59/13.60	c  2.1s |       5 |     2428 |     1320 |     6060      0 |       30 |        2
14.69/14.76	c  3.3s |       6 |     3457 |     2081 |     6667      0 |       30 |        2
16.89/16.92	c  5.4s |       6 |     4810 |     2981 |     6667      0 |       30 |        2
17.60/17.64	c  6.2s |       7 |     5127 |     3223 |     7334      0 |       30 |        2
19.59/19.67	c  8.2s |       7 |     6160 |     3823 |     7334      0 |       30 |        2
21.89/21.95	c 10.5s |       7 |     7140 |     4523 |     7334      0 |       30 |        2
23.29/23.33	c 11.8s |       8 |     7718 |     4936 |     8068      0 |       30 |        2
25.30/25.39	c 13.9s |       8 |     9280 |     6236 |     8068      0 |       30 |        2
27.29/27.38	c 15.9s |       9 |    10695 |     7506 |     8875      0 |       30 |        2
29.29/29.39	c 17.9s |       9 |    12403 |     9106 |     8875      0 |       30 |        2
31.39/31.41	c 19.9s |       9 |    13914 |    10606 |     8875      1 |       30 |        2
32.39/32.40	c 20.9s |      10 |    14674 |    11361 |     9763      1 |       30 |        2
34.49/34.57	c 23.1s |      10 |    15802 |    12361 |     9763      1 |       30 |        2
36.59/36.60	c 25.1s |      10 |    16709 |    13261 |     9763      1 |       30 |        2
38.59/38.64	c 27.1s |      10 |    17613 |    14161 |     9763      1 |       30 |        2
40.69/40.75	c 29.3s |      10 |    18517 |    15061 |     9763      1 |       30 |        2
42.78/42.89	c 31.4s |      10 |    19419 |    15961 |     9763      1 |       30 |        2
44.98/45.05	c 33.6s |      10 |    20325 |    16861 |     9763      2 |       30 |        2
45.68/45.72	c 34.2s |      11 |    20609 |    17144 |    10740      2 |       30 |        2
47.78/47.82	c 36.3s |      11 |    23169 |    19244 |    10740      2 |       30 |        2
49.78/49.87	c 38.4s |      11 |    25352 |    21044 |    10740      2 |       30 |        2
51.88/51.94	c 40.4s |      11 |    27329 |    22744 |    10740      2 |       30 |        2
53.99/54.02	c 42.5s |      11 |    29185 |    24344 |    10740      3 |       30 |        2
55.98/56.04	c 44.5s |      11 |    30796 |    25744 |    11815      3 |       30 |        2
56.09/56.15	c 44.7s |      12 |    30878 |    25819 |    11815      3 |       30 |        2
58.29/58.31	c 46.8s |      12 |    32221 |    26919 |    11815      3 |       30 |        2
60.38/60.49	c 49.0s |      12 |    33563 |    28119 |    11815      3 |       30 |        2
62.48/62.53	c 51.0s |      12 |    34777 |    29219 |    11815      3 |       30 |        2
64.58/64.65	c 53.2s |      12 |    35995 |    30319 |    11815      3 |       30 |        2
66.58/66.69	c 55.2s |      12 |    37111 |    31319 |    11815      4 |       30 |        2
68.68/68.70	c 57.2s |      12 |    38204 |    32319 |    11815      4 |       30 |        2
70.68/70.78	c 59.3s |      12 |    39317 |    33319 |    11815      4 |       30 |        2
72.88/72.91	c 61.4s |      12 |    40396 |    34319 |    11815      4 |       30 |        2
75.08/75.12	c 63.6s |      12 |    41495 |    35319 |    11815      4 |       30 |        2
77.08/77.19	c 65.7s |      12 |    42487 |    36219 |    11815      4 |       30 |        2
79.18/79.25	c 67.8s |      12 |    43485 |    37119 |    11815      4 |       30 |        2
81.38/81.49	c 70.0s |      12 |    44470 |    38019 |    11815      4 |       30 |        2
83.48/83.50	c 72.0s |      12 |    45312 |    38819 |    12997      5 |       30 |        2
83.48/83.54	c 72.0s |      13 |    45327 |    38832 |    12997      5 |       30 |        2
85.58/85.67	c 74.2s |      13 |    46893 |    40232 |    12997      5 |       30 |        2
87.68/87.70	c 76.2s |      13 |    48225 |    41532 |    12997      5 |       30 |        2
89.68/89.73	c 78.2s |      13 |    49562 |    42832 |    12997      5 |       30 |        2
91.78/91.81	c 80.3s |      13 |    50878 |    44132 |    12997      5 |       30 |        2
93.87/93.96	c 82.5s |      13 |    52205 |    45432 |    12997      5 |       30 |        2
96.07/96.11	c 84.6s |      13 |    53424 |    46632 |    12997      5 |       30 |        2
98.17/98.25	c 86.8s |      13 |    54643 |    47832 |    12997      6 |       30 |        2
100.27/100.36	c 88.9s |      13 |    55766 |    48932 |    12997      6 |       30 |        2
102.47/102.50	c 91.0s |      13 |    56883 |    50032 |    12997      6 |       30 |        2
104.48/104.53	c 93.0s |      13 |    57902 |    51032 |    12997      6 |       30 |        2
106.57/106.61	c 95.1s |      13 |    58918 |    52032 |    12997      6 |       30 |        2
108.77/108.81	c 97.3s |      13 |    59940 |    53032 |    12997      6 |       30 |        2
110.77/110.87	c 99.4s |      13 |    60845 |    53932 |    12997      6 |       30 |        2
112.97/113.04	c  101s |      13 |    61769 |    54832 |    12997      7 |       30 |        2
114.97/115.06	c  103s |      13 |    62884 |    55932 |    12997      7 |       30 |        2
117.07/117.16	c  105s |      13 |    64009 |    57032 |    12997      7 |       30 |        2
119.17/119.20	c  107s |      13 |    65024 |    58032 |    14297      7 |       30 |        2
119.77/119.87	c  108s |      14 |    65343 |    58352 |    14297      7 |       30 |        2
121.77/121.88	c  110s |      14 |    66322 |    59052 |    14297      7 |       30 |        2
123.87/123.96	c  112s |      14 |    67528 |    60252 |    14297      7 |       30 |        2
126.07/126.11	c  114s |      14 |    68531 |    61252 |    14297      7 |       30 |        2
128.17/128.27	c  116s |      14 |    69440 |    62152 |    14297      7 |       30 |        2
130.27/130.31	c  118s |      14 |    70848 |    63552 |    14297      7 |       30 |        2
132.37/132.43	c  120s |      14 |    71448 |    64152 |    14297      8 |       30 |        2
134.47/134.50	c  123s |      14 |    72719 |    65352 |    14297      8 |       30 |        2
136.47/136.54	c  125s |      14 |    74160 |    66752 |    14297      8 |       30 |        2
138.67/138.77	c  127s |      14 |    75060 |    67652 |    14297      8 |       30 |        2
140.67/140.78	c  129s |      14 |    76065 |    68652 |    14297      8 |       30 |        2
142.77/142.85	c  131s |      14 |    77371 |    69952 |    14297      8 |       30 |        2
144.77/144.87	c  133s |      14 |    78979 |    71552 |    14297      8 |       30 |        2
146.86/146.94	c  135s |      14 |    80705 |    73252 |    14297      9 |       30 |        2
148.96/149.03	c  137s |      14 |    82527 |    75052 |    14297      9 |       30 |        2
151.06/151.14	c  139s |      14 |    83856 |    76352 |    14297      9 |       30 |        2
153.06/153.19	c  141s |      14 |    84965 |    77452 |    14297      9 |       30 |        2
155.26/155.32	c  143s |      14 |    86014 |    78452 |    14297      9 |       30 |        2
157.27/157.39	c  145s |      14 |    87878 |    80152 |    14297      9 |       30 |        2
159.36/159.45	c  147s |      14 |    89620 |    81752 |    14297     10 |       30 |        2
161.36/161.47	c  149s |      14 |    91371 |    83352 |    14297     10 |       30 |        2
163.36/163.48	c  151s |      14 |    92688 |    84652 |    14297     10 |       30 |        2
165.46/165.57	c  154s |      14 |    93705 |    85652 |    14297     10 |       30 |        2
167.66/167.77	c  156s |      14 |    94525 |    86452 |    14297     10 |       30 |        2
169.76/169.81	c  158s |      14 |    95244 |    87152 |    15727     10 |       30 |        2
171.26/171.39	c  159s |      15 |    95724 |    87632 |    15727     10 |       30 |        2
173.46/173.54	c  162s |      15 |    97311 |    88932 |    15727     10 |       30 |        2
175.56/175.65	c  164s |      15 |    98630 |    90232 |    15727     10 |       30 |        2
177.66/177.78	c  166s |      15 |    99855 |    91432 |    15727     11 |       30 |        2
179.76/179.87	c  168s |      15 |   101074 |    92632 |    15727     11 |       30 |        2
181.86/181.90	c  170s |      15 |   102198 |    93732 |    15727     11 |       30 |        2
183.86/183.97	c  172s |      15 |   103317 |    94832 |    15727     11 |       30 |        2
185.96/186.02	c  174s |      15 |   104432 |    95932 |    15727     11 |       30 |        2
188.06/188.14	c  176s |      15 |   105543 |    97032 |    15727     11 |       30 |        2
190.06/190.17	c  178s |      15 |   106556 |    98032 |    15727     11 |       30 |        2
192.26/192.35	c  180s |      15 |   107667 |    99132 |    15727     11 |       30 |        2
194.46/194.53	c  183s |      15 |   108673 |   100132 |    15727     12 |       30 |        2
196.56/196.61	c  185s |      15 |   109678 |   101132 |    15727     12 |       30 |        2
198.66/198.70	c  187s |      15 |   110704 |   102132 |    15727     12 |       30 |        2
200.76/200.82	c  189s |      15 |   111717 |   103132 |    15727     12 |       30 |        2
202.96/203.02	c  191s |      15 |   112728 |   104132 |    15727     12 |       30 |        2
204.95/205.06	c  193s |      15 |   113649 |   105032 |    15727     12 |       30 |        2
207.05/207.14	c  195s |      15 |   114565 |   105932 |    15727     12 |       30 |        2
209.06/209.15	c  197s |      15 |   115388 |   106732 |    15727     12 |       30 |        2
211.26/211.36	c  199s |      15 |   116297 |   107632 |    15727     12 |       30 |        2
213.46/213.57	c  202s |      15 |   117210 |   108532 |    15727     12 |       30 |        2
215.66/215.73	c  204s |      15 |   117914 |   109232 |    15727     13 |       30 |        2
217.66/217.74	c  206s |      15 |   118929 |   110232 |    15727     13 |       30 |        2
219.76/219.88	c  208s |      15 |   119943 |   111232 |    15727     13 |       30 |        2
221.96/222.04	c  210s |      15 |   120963 |   112232 |    15727     13 |       30 |        2
224.06/224.17	c  212s |      15 |   121879 |   113132 |    15727     13 |       30 |        2
226.16/226.23	c  214s |      15 |   122787 |   114032 |    15727     13 |       30 |        2
228.26/228.30	c  216s |      15 |   123699 |   114932 |    15727     13 |       30 |        2
230.36/230.46	c  218s |      15 |   124614 |   115832 |    15727     13 |       30 |        2
232.36/232.47	c  220s |      15 |   125424 |   116632 |    15727     13 |       30 |        2
234.36/234.50	c  223s |      15 |   126230 |   117432 |    15727     13 |       30 |        2
236.46/236.57	c  225s |      15 |   127040 |   118232 |    15727     13 |       30 |        2
238.66/238.76	c  227s |      15 |   127955 |   119132 |    15727     14 |       30 |        2
240.76/240.85	c  229s |      15 |   128966 |   120132 |    15727     14 |       30 |        2
242.96/243.03	c  231s |      15 |   129987 |   121132 |    15727     14 |       30 |        2
244.95/245.09	c  233s |      15 |   130899 |   122032 |    15727     14 |       30 |        2
247.15/247.27	c  235s |      15 |   131906 |   123032 |    15727     14 |       30 |        2
249.15/249.29	c  237s |      15 |   132813 |   123932 |    15727     14 |       30 |        2
251.35/251.46	c  239s |      15 |   133726 |   124832 |    15727     14 |       30 |        2
253.35/253.46	c  241s |      15 |   134541 |   125632 |    15727     14 |       30 |        2
255.35/255.49	c  243s |      15 |   135352 |   126432 |    15727     14 |       30 |        2
257.54/257.61	c  246s |      15 |   136300 |   127332 |    15727     15 |       30 |        2
259.55/259.67	c  248s |      15 |   137605 |   128632 |    15727     15 |       30 |        2
261.64/261.75	c  250s |      15 |   138912 |   129932 |    15727     15 |       30 |        2
263.74/263.89	c  252s |      15 |   140222 |   131232 |    17300     15 |       30 |        2
264.34/264.43	c  252s |      16 |   140544 |   131552 |    17300     15 |       30 |        2
266.44/266.51	c  255s |      16 |   142125 |   132852 |    17300     15 |       30 |        2
268.45/268.58	c  257s |      16 |   144141 |   134552 |    17300     15 |       30 |        2
270.55/270.64	c  259s |      16 |   146086 |   136252 |    17300     15 |       30 |        2
272.64/272.79	c  261s |      16 |   148021 |   137952 |    17300     16 |       30 |        2
274.74/274.86	c  263s |      16 |   149811 |   139552 |    17300     16 |       30 |        2
276.74/276.89	c  265s |      16 |   151501 |   141052 |    17300     16 |       30 |        2
278.84/278.96	c  267s |      16 |   153181 |   142552 |    17300     16 |       30 |        2
280.94/281.02	c  269s |      16 |   154788 |   143952 |    17300     16 |       30 |        2
283.04/283.14	c  271s |      16 |   156341 |   145352 |    17300     16 |       30 |        2
285.14/285.25	c  273s |      16 |   157770 |   146652 |    17300     16 |       30 |        2
287.34/287.49	c  276s |      16 |   159272 |   147952 |    17300     17 |       30 |        2
289.54/289.63	c  278s |      16 |   160937 |   149452 |    17300     17 |       30 |        2
291.63/291.78	c  280s |      16 |   162540 |   150852 |    17300     17 |       30 |        2
293.83/293.93	c  282s |      16 |   164030 |   152252 |    17300     17 |       30 |        2
295.94/296.00	c  284s |      16 |   165355 |   153552 |    17300     17 |       30 |        2
298.04/298.12	c  286s |      16 |   166678 |   154852 |    17300     17 |       30 |        2
300.03/300.18	c  288s |      16 |   167913 |   156052 |    17300     17 |       30 |        2
302.23/302.31	c  290s |      16 |   169149 |   157252 |    17300     17 |       30 |        2
304.33/304.43	c  292s |      16 |   170375 |   158452 |    17300     18 |       30 |        2
306.43/306.54	c  295s |      16 |   171706 |   159752 |    17300     18 |       30 |        2
308.43/308.55	c  297s |      16 |   172919 |   160952 |    17300     18 |       30 |        2
310.53/310.60	c  299s |      16 |   174161 |   162152 |    17300     18 |       30 |        2
312.53/312.65	c  301s |      16 |   175406 |   163352 |    17300     18 |       30 |        2
314.53/314.65	c  303s |      16 |   176523 |   164452 |    17300     18 |       30 |        2
316.63/316.77	c  305s |      16 |   177654 |   165552 |    17300     18 |       30 |        2
318.83/318.95	c  307s |      16 |   178784 |   166652 |    17300     18 |       30 |        2
320.93/321.08	c  309s |      16 |   179820 |   167652 |    17300     18 |       30 |        2
323.02/323.13	c  311s |      16 |   180441 |   168252 |    17300     19 |       30 |        2
325.02/325.19	c  313s |      16 |   181780 |   169552 |    17300     19 |       30 |        2
327.12/327.20	c  315s |      16 |   183011 |   170752 |    17300     19 |       30 |        2
329.12/329.29	c  317s |      16 |   184257 |   171952 |    17300     19 |       30 |        2
331.32/331.44	c  319s |      16 |   185498 |   173152 |    17300     19 |       30 |        2
333.33/333.46	c  321s |      16 |   186633 |   174252 |    17300     19 |       30 |        2
335.53/335.63	c  324s |      16 |   187765 |   175352 |    17300     19 |       30 |        2
337.52/337.68	c  326s |      16 |   188801 |   176352 |    17300     19 |       30 |        2
339.52/339.68	c  328s |      16 |   189829 |   177352 |    17300     19 |       30 |        2
341.62/341.75	c  330s |      16 |   190667 |   178152 |    17300     20 |       30 |        2
343.72/343.83	c  332s |      16 |   192003 |   179452 |    17300     20 |       30 |        2
345.72/345.86	c  334s |      16 |   193251 |   180652 |    17300     20 |       30 |        2
347.92/348.03	c  336s |      16 |   194495 |   181852 |    17300     20 |       30 |        2
350.02/350.19	c  338s |      16 |   195619 |   182952 |    17300     20 |       30 |        2
352.12/352.23	c  340s |      16 |   196531 |   183852 |    17300     20 |       30 |        2
354.31/354.40	c  342s |      16 |   197664 |   184952 |    17300     20 |       30 |        2
356.51/356.60	c  345s |      16 |   198797 |   186052 |    17300     20 |       30 |        2
358.52/358.66	c  347s |      16 |   199823 |   187052 |    17300     20 |       30 |        2
360.61/360.77	c  349s |      16 |   200833 |   188052 |    17300     21 |       30 |        2
362.71/362.85	c  351s |      16 |   202163 |   189352 |    17300     21 |       30 |        2
364.81/364.93	c  353s |      16 |   203487 |   190652 |    17300     21 |       30 |        2
366.92/367.01	c  355s |      16 |   204314 |   191452 |    17300     21 |       30 |        2
368.92/369.09	c  357s |      16 |   205543 |   192652 |    17300     21 |       30 |        2
371.12/371.26	c  359s |      16 |   206766 |   193852 |    17300     21 |       30 |        2
373.22/373.30	c  361s |      16 |   207913 |   194952 |    17300     21 |       30 |        2
375.32/375.45	c  363s |      16 |   209042 |   196052 |    19030     21 |       30 |        2
377.41/377.51	c  366s |      16 |   210061 |   197052 |    19030     21 |       30 |        2
378.21/378.32	c  366s |      17 |   210446 |   197432 |    19030     21 |       30 |        2
380.21/380.33	c  368s |      17 |   212683 |   199232 |    19030     22 |       30 |        2
382.21/382.34	c  370s |      17 |   214896 |   201432 |    19030     22 |       30 |        2
384.21/384.35	c  372s |      17 |   216601 |   203132 |    19030     22 |       30 |        2
386.31/386.47	c  374s |      17 |   218113 |   204632 |    19030     22 |       30 |        2
388.41/388.55	c  377s |      17 |   219907 |   206432 |    19030     22 |       30 |        2
390.52/390.61	c  379s |      17 |   221993 |   208332 |    19030     22 |       30 |        2
392.62/392.71	c  381s |      17 |   223437 |   209732 |    19030     23 |       30 |        2
394.61/394.76	c  383s |      17 |   224896 |   211132 |    19030     23 |       30 |        2
396.71/396.82	c  385s |      17 |   226298 |   212532 |    19030     23 |       30 |        2
398.81/398.90	c  387s |      17 |   227601 |   213832 |    19030     23 |       30 |        2
400.81/400.97	c  389s |      17 |   228911 |   215132 |    19030     23 |       30 |        2
402.91/403.01	c  391s |      17 |   230115 |   216332 |    19030     23 |       30 |        2
405.00/405.17	c  393s |      17 |   231319 |   217532 |    19030     23 |       30 |        2
407.10/407.22	c  395s |      17 |   232421 |   218632 |    19030     23 |       30 |        2
409.21/409.31	c  397s |      17 |   233530 |   219732 |    19030     23 |       30 |        2
411.20/411.36	c  399s |      17 |   234631 |   220832 |    19030     24 |       30 |        2
413.40/413.50	c  402s |      17 |   235838 |   222032 |    19030     24 |       30 |        2
415.40/415.50	c  404s |      17 |   236942 |   223132 |    19030     24 |       30 |        2
417.39/417.50	c  406s |      17 |   238048 |   224232 |    19030     24 |       30 |        2
419.49/419.68	c  408s |      17 |   239254 |   225432 |    19030     24 |       30 |        2
421.69/421.84	c  410s |      17 |   240353 |   226532 |    19030     24 |       30 |        2
423.89/424.02	c  412s |      17 |   241459 |   227632 |    19030     24 |       30 |        2
425.89/426.07	c  414s |      17 |   242462 |   228632 |    19030     24 |       30 |        2
428.09/428.21	c  416s |      17 |   243463 |   229632 |    19030     24 |       30 |        2
430.09/430.26	c  418s |      17 |   244362 |   230532 |    19030     24 |       30 |        2
432.19/432.39	c  420s |      17 |   245165 |   231332 |    19030     25 |       30 |        2
434.29/434.45	c  422s |      17 |   246068 |   232232 |    19030     25 |       30 |        2
436.38/436.52	c  425s |      17 |   247267 |   233432 |    19030     25 |       30 |        2
438.48/438.64	c  427s |      17 |   248375 |   234532 |    19030     25 |       30 |        2
440.48/440.64	c  429s |      17 |   249378 |   235532 |    19030     25 |       30 |        2
442.58/442.73	c  431s |      17 |   250483 |   236632 |    19030     25 |       30 |        2
444.68/444.88	c  433s |      17 |   251583 |   237732 |    19030     25 |       30 |        2
446.78/446.93	c  435s |      17 |   252587 |   238732 |    19030     25 |       30 |        2
448.88/449.06	c  437s |      17 |   253592 |   239732 |    19030     25 |       30 |        2
451.08/451.22	c  439s |      17 |   254595 |   240732 |    19030     25 |       30 |        2
453.09/453.22	c  441s |      17 |   255502 |   241632 |    19030     25 |       30 |        2
455.18/455.34	c  443s |      17 |   256221 |   242232 |    19030     26 |       30 |        2
457.28/457.46	c  445s |      17 |   258106 |   243732 |    19030     26 |       30 |        2
459.28/459.48	c  447s |      17 |   259775 |   245032 |    19030     26 |       30 |        2
461.38/461.54	c  450s |      17 |   261414 |   246332 |    19030     26 |       30 |        2
463.48/463.65	c  452s |      17 |   263065 |   247632 |    19030     26 |       30 |        2
465.48/465.67	c  454s |      17 |   264665 |   248832 |    19030     26 |       30 |        2
467.58/467.72	c  456s |      17 |   266236 |   250032 |    19030     26 |       30 |        2
469.69/469.88	c  458s |      17 |   267786 |   251232 |    19030     26 |       30 |        2
471.79/471.94	c  460s |      17 |   269157 |   252332 |    19030     27 |       30 |        2
473.88/474.10	c  462s |      17 |   270787 |   253632 |    19030     27 |       30 |        2
475.98/476.12	c  464s |      17 |   272235 |   254732 |    19030     27 |       30 |        2
477.98/478.14	c  466s |      17 |   273870 |   255932 |    19030     27 |       30 |        2
480.08/480.25	c  468s |      17 |   275428 |   257132 |    19030     27 |       30 |        2
482.18/482.31	c  470s |      17 |   276822 |   258232 |    19030     27 |       30 |        2
484.18/484.38	c  472s |      17 |   278247 |   259332 |    19030     27 |       30 |        2
486.28/486.46	c  474s |      17 |   279511 |   260332 |    19030     27 |       30 |        2
488.48/488.60	c  477s |      17 |   280954 |   261432 |    19030     27 |       30 |        2
490.49/490.66	c  479s |      17 |   282411 |   262532 |    19030     28 |       30 |        2
492.69/492.86	c  481s |      17 |   284059 |   263832 |    19030     28 |       30 |        2
494.77/494.97	c  483s |      17 |   285619 |   265032 |    19030     28 |       30 |        2
496.77/496.98	c  485s |      17 |   287014 |   266132 |    19030     28 |       30 |        2
498.97/499.11	c  487s |      17 |   288046 |   266932 |    19030     28 |       30 |        2
500.97/501.13	c  489s |      17 |   289448 |   268032 |    19030     28 |       30 |        2
503.17/503.31	c  491s |      17 |   291039 |   269232 |    19030     28 |       30 |        2
505.27/505.45	c  493s |      17 |   292439 |   270332 |    19030     28 |       30 |        2
507.37/507.59	c  496s |      17 |   293691 |   271332 |    19030     28 |       30 |        2
509.47/509.66	c  498s |      17 |   294950 |   272332 |    19030     29 |       30 |        2
511.77/511.92	c  500s |      17 |   296217 |   273332 |    19030     29 |       30 |        2
513.76/513.94	c  502s |      17 |   297599 |   274432 |    19030     29 |       30 |        2
515.77/515.97	c  504s |      17 |   298963 |   275532 |    19030     29 |       30 |        2
517.97/518.15	c  506s |      17 |   300486 |   276732 |    19030     29 |       30 |        2
519.96/520.19	c  508s |      17 |   301859 |   277832 |    19030     29 |       30 |        2
522.06/522.27	c  510s |      17 |   303310 |   278932 |    19030     29 |       30 |        2
524.26/524.44	c  512s |      17 |   304770 |   280032 |    19030     29 |       30 |        2
526.36/526.55	c  515s |      17 |   306151 |   281132 |    19030     29 |       30 |        2
528.56/528.71	c  517s |      17 |   307577 |   282232 |    19030     29 |       30 |        2
530.56/530.76	c  519s |      17 |   308972 |   283332 |    19030     30 |       30 |        2
532.66/532.82	c  521s |      17 |   310512 |   284532 |    19030     30 |       30 |        2
534.75/534.96	c  523s |      17 |   312052 |   285732 |    19030     30 |       30 |        2
536.85/537.08	c  525s |      17 |   313612 |   286932 |    19030     30 |       30 |        2
539.05/539.27	c  527s |      17 |   315141 |   288132 |    19030     30 |       30 |        2
541.16/541.34	c  529s |      17 |   316524 |   289232 |    19030     30 |       30 |        2
543.26/543.41	c  531s |      17 |   317918 |   290332 |    19030     30 |       30 |        2
545.35/545.55	c  534s |      17 |   319316 |   291432 |    19030     30 |       30 |        2
547.45/547.67	c  536s |      17 |   320621 |   292432 |    19030     31 |       30 |        2
549.55/549.70	c  538s |      17 |   322181 |   293632 |    19030     31 |       30 |        2
551.55/551.78	c  540s |      17 |   323736 |   294832 |    20933     31 |       30 |        2
553.65/553.84	c  542s |      17 |   325119 |   295932 |    20933     31 |       30 |        2
554.25/554.43	c  542s |      18 |   325515 |   296252 |    20933     31 |       30 |        2
556.25/556.46	c  544s |      18 |   326631 |   297052 |    20933     31 |       30 |        2
558.35/558.51	c  547s |      18 |   327787 |   297952 |    20933     31 |       30 |        2
560.35/560.58	c  549s |      18 |   328900 |   298852 |    20933     31 |       30 |        2
562.55/562.73	c  551s |      18 |   329995 |   299752 |    20933     31 |       30 |        2
564.64/564.84	c  553s |      18 |   331122 |   300652 |    20933     31 |       30 |        2
566.64/566.86	c  555s |      18 |   332234 |   301552 |    20933     31 |       30 |        2
568.84/569.01	c  557s |      18 |   333334 |   302452 |    20933     31 |       30 |        2
570.94/571.17	c  559s |      18 |   334351 |   303252 |    20933     31 |       30 |        2
573.14/573.30	c  561s |      18 |   335319 |   304052 |    20933     31 |       30 |        2
575.24/575.47	c  563s |      18 |   336299 |   304852 |    20933     32 |       30 |        2
577.34/577.53	c  566s |      18 |   337316 |   305652 |    20933     32 |       30 |        2
579.34/579.56	c  568s |      18 |   338339 |   306452 |    20933     32 |       30 |        2
581.44/581.65	c  570s |      18 |   339317 |   307252 |    20933     32 |       30 |        2
583.54/583.73	c  572s |      18 |   340316 |   308052 |    20933     32 |       30 |        2
585.73/585.94	c  574s |      18 |   341306 |   308852 |    20933     32 |       30 |        2
587.93/588.18	c  576s |      18 |   342262 |   309652 |    20933     32 |       30 |        2
590.03/590.26	c  578s |      18 |   343239 |   310452 |    20933     32 |       30 |        2
592.13/592.38	c  580s |      18 |   344237 |   311252 |    20933     32 |       30 |        2
594.33/594.59	c  583s |      18 |   345275 |   312052 |    20933     32 |       30 |        2
596.53/596.79	c  585s |      18 |   346300 |   312852 |    20933     32 |       30 |        2
598.83/599.02	c  587s |      18 |   347339 |   313652 |    20933     32 |       30 |        2
600.83/601.09	c  589s |      18 |   348218 |   314352 |    20933     32 |       30 |        2
603.23/603.40	c  591s |      18 |   349392 |   315052 |    20933     32 |       30 |        2
605.32/605.59	c  594s |      18 |   350307 |   315752 |    20933     33 |       30 |        2
607.42/607.65	c  596s |      18 |   351307 |   316552 |    20933     33 |       30 |        2
609.42/609.67	c  598s |      18 |   352174 |   317252 |    20933     33 |       30 |        2
611.62/611.86	c  600s |      18 |   353189 |   318052 |    20933     33 |       30 |        2
613.73/613.99	c  602s |      18 |   354188 |   318852 |    20933     33 |       30 |        2
615.92/616.13	c  604s |      18 |   355236 |   319652 |    20933     33 |       30 |        2
617.92/618.17	c  606s |      18 |   356143 |   320352 |    20933     33 |       30 |        2
620.22/620.45	c  608s |      18 |   357259 |   321152 |    20933     33 |       30 |        2
622.32/622.58	c  611s |      18 |   358165 |   321852 |    20933     33 |       30 |        2
624.51/624.70	c  613s |      18 |   359082 |   322552 |    20933     33 |       30 |        2
626.61/626.81	c  615s |      18 |   360010 |   323252 |    20933     33 |       30 |        2
628.61/628.84	c  617s |      18 |   360848 |   323952 |    20933     33 |       30 |        2
630.61/630.87	c  619s |      18 |   361719 |   324652 |    20933     33 |       30 |        2
632.61/632.89	c  621s |      18 |   362603 |   325352 |    20933     33 |       30 |        2
634.90/635.11	c  623s |      18 |   363467 |   326052 |    20933     33 |       30 |        2
637.10/637.33	c  625s |      18 |   364350 |   326752 |    20933     34 |       30 |        2
639.20/639.42	c  627s |      18 |   365314 |   327552 |    20933     34 |       30 |        2
641.30/641.51	c  630s |      18 |   366253 |   328352 |    20933     34 |       30 |        2
643.41/643.66	c  632s |      18 |   367254 |   329152 |    20933     34 |       30 |        2
645.50/645.72	c  634s |      18 |   368231 |   329952 |    20933     34 |       30 |        2
647.70/647.96	c  636s |      18 |   369318 |   330752 |    20933     34 |       30 |        2
649.90/650.18	c  638s |      18 |   370414 |   331552 |    20933     34 |       30 |        2
652.10/652.40	c  640s |      18 |   371453 |   332352 |    20933     34 |       30 |        2
654.40/654.61	c  643s |      18 |   372508 |   333152 |    20933     34 |       30 |        2
656.60/656.83	c  645s |      18 |   373568 |   333952 |    20933     34 |       30 |        2
658.80/659.08	c  647s |      18 |   374531 |   334752 |    20933     34 |       30 |        2
661.09/661.30	c  649s |      18 |   375563 |   335552 |    20933     34 |       30 |        2
663.29/663.55	c  652s |      18 |   376574 |   336352 |    20933     34 |       30 |        2
665.40/665.68	c  654s |      18 |   377572 |   337052 |    20933     34 |       30 |        2
667.50/667.78	c  656s |      18 |   378450 |   337752 |    20933     35 |       30 |        2
669.59/669.88	c  658s |      18 |   379435 |   338552 |    20933     35 |       30 |        2
671.69/671.95	c  660s |      18 |   380419 |   339352 |    20933     35 |       30 |        2
673.89/674.11	c  662s |      18 |   381408 |   340152 |    20933     35 |       30 |        2
675.89/676.12	c  664s |      18 |   382433 |   340952 |    20933     35 |       30 |        2
678.08/678.35	c  666s |      18 |   383531 |   341752 |    20933     35 |       30 |        2
680.18/680.49	c  669s |      18 |   384592 |   342552 |    20933     35 |       30 |        2
682.38/682.60	c  671s |      18 |   385615 |   343352 |    20933     35 |       30 |        2
684.58/684.81	c  673s |      18 |   386593 |   344152 |    20933     35 |       30 |        2
686.78/687.03	c  675s |      18 |   387578 |   344952 |    20933     35 |       30 |        2
688.98/689.28	c  677s |      18 |   388542 |   345752 |    20933     35 |       30 |        2
691.18/691.40	c  679s |      18 |   389383 |   346452 |    20933     35 |       30 |        2
693.18/693.40	c  681s |      18 |   390271 |   347152 |    20933     35 |       30 |        2
695.17/695.44	c  683s |      18 |   391127 |   347852 |    20933     35 |       30 |        2
697.28/697.52	c  686s |      18 |   391993 |   348552 |    20933     35 |       30 |        2
699.38/699.62	c  688s |      18 |   392859 |   349252 |    20933     36 |       30 |        2
701.37/701.64	c  690s |      18 |   393708 |   349952 |    20933     36 |       30 |        2
703.47/703.75	c  692s |      18 |   394706 |   350752 |    20933     36 |       30 |        2
705.57/705.83	c  694s |      18 |   395691 |   351552 |    20933     36 |       30 |        2
707.87/708.10	c  696s |      18 |   396728 |   352352 |    20933     36 |       30 |        2
709.97/710.21	c  698s |      18 |   397570 |   353052 |    20933     36 |       30 |        2
712.17/712.45	c  700s |      18 |   398584 |   353852 |    20933     36 |       30 |        2
714.37/714.68	c  703s |      18 |   399615 |   354652 |    20933     36 |       30 |        2
716.57/716.82	c  705s |      18 |   400614 |   355452 |    20933     36 |       30 |        2
718.76/719.04	c  707s |      18 |   401686 |   356252 |    20933     36 |       30 |        2
720.86/721.15	c  709s |      18 |   402559 |   356952 |    20933     36 |       30 |        2
722.86/723.16	c  711s |      18 |   403467 |   357652 |    20933     36 |       30 |        2
725.06/725.32	c  713s |      18 |   404350 |   358352 |    20933     36 |       30 |        2
727.16/727.43	c  715s |      18 |   405259 |   359052 |    20933     36 |       30 |        2
729.46/729.70	c  718s |      18 |   406129 |   359752 |    20933     37 |       30 |        2
731.46/731.79	c  720s |      18 |   407123 |   360552 |    20933     37 |       30 |        2
733.76/734.02	c  722s |      18 |   408243 |   361452 |    20933     37 |       30 |        2
735.77/736.08	c  724s |      18 |   409259 |   362252 |    20933     37 |       30 |        2
738.06/738.30	c  726s |      18 |   410304 |   363052 |    20933     37 |       30 |        2
740.17/740.44	c  728s |      18 |   411348 |   363852 |    20933     37 |       30 |        2
742.37/742.63	c  731s |      18 |   412396 |   364652 |    20933     37 |       30 |        2
744.66/744.91	c  733s |      18 |   413443 |   365452 |    20933     37 |       30 |        2
746.86/747.18	c  735s |      18 |   414494 |   366252 |    20933     37 |       30 |        2
748.96/749.23	c  737s |      18 |   415500 |   367052 |    20933     37 |       30 |        2
751.16/751.44	c  739s |      18 |   416384 |   367752 |    20933     37 |       30 |        2
753.36/753.65	c  742s |      18 |   417283 |   368452 |    20933     37 |       30 |        2
755.56/755.85	c  744s |      18 |   418220 |   369152 |    20933     37 |       30 |        2
757.76/758.03	c  746s |      18 |   419100 |   369852 |    20933     37 |       30 |        2
759.75/760.07	c  748s |      18 |   419967 |   370552 |    20933     37 |       30 |        2
761.85/762.17	c  750s |      18 |   420822 |   371252 |    20933     38 |       30 |        2
763.85/764.19	c  752s |      18 |   421704 |   371952 |    20933     38 |       30 |        2
766.06/766.34	c  754s |      18 |   422613 |   372652 |    20933     38 |       30 |        2
768.36/768.61	c  757s |      18 |   423658 |   373452 |    20933     38 |       30 |        2
770.46/770.75	c  759s |      18 |   424560 |   374152 |    20933     38 |       30 |        2
772.56/772.89	c  761s |      18 |   425431 |   374852 |    20933     38 |       30 |        2
774.75/775.05	c  763s |      18 |   426369 |   375552 |    20933     38 |       30 |        2
776.75/777.09	c  765s |      18 |   427261 |   376152 |    20933     38 |       30 |        2
779.15/779.41	c  767s |      18 |   428265 |   376852 |    20933     38 |       30 |        2
781.35/781.65	c  770s |      18 |   429244 |   377552 |    20933     38 |       30 |        2
783.65/783.93	c  772s |      18 |   430208 |   378252 |    20933     38 |       30 |        2
785.75/786.01	c  774s |      18 |   431050 |   378852 |    20933     38 |       30 |        2
787.75/788.06	c  776s |      18 |   431855 |   379452 |    20933     38 |       30 |        2
789.85/790.14	c  778s |      18 |   432681 |   380052 |    20933     38 |       30 |        2
791.95/792.25	c  780s |      18 |   433529 |   380652 |    20933     38 |       30 |        2
794.15/794.44	c  782s |      18 |   434320 |   381252 |    20933     38 |       30 |        2
796.35/796.63	c  785s |      18 |   435200 |   381852 |    20933     38 |       30 |        2
798.55/798.81	c  787s |      18 |   436013 |   382452 |    20933     39 |       30 |        2
800.55/800.89	c  789s |      18 |   436800 |   383052 |    20933     39 |       30 |        2
802.65/802.97	c  791s |      18 |   437648 |   383652 |    20933     39 |       30 |        2
804.84/805.14	c  793s |      18 |   438620 |   384352 |    20933     39 |       30 |        2
806.94/807.23	c  795s |      18 |   439466 |   384952 |    20933     39 |       30 |        2
808.94/809.29	c  797s |      18 |   440266 |   385552 |    20933     39 |       30 |        2
811.34/811.60	c  800s |      18 |   441254 |   386252 |    20933     39 |       30 |        2
813.54/813.81	c  802s |      18 |   442227 |   386952 |    20933     39 |       30 |        2
815.54/815.83	c  804s |      18 |   443088 |   387552 |    20933     39 |       30 |        2
817.74/818.06	c  806s |      18 |   444088 |   388252 |    20933     39 |       30 |        2
819.94/820.25	c  808s |      18 |   445080 |   388952 |    20933     39 |       30 |        2
822.14/822.42	c  810s |      18 |   445923 |   389552 |    20933     39 |       30 |        2
824.43/824.74	c  813s |      18 |   446950 |   390252 |    20933     39 |       30 |        2
826.63/826.91	c  815s |      18 |   447819 |   390852 |    20933     39 |       30 |        2
828.83/829.13	c  817s |      18 |   448671 |   391452 |    20933     39 |       30 |        2
831.03/831.38	c  819s |      18 |   449551 |   392052 |    20933     39 |       30 |        2
833.23/833.59	c  822s |      18 |   450429 |   392652 |    20933     39 |       30 |        2
835.63/835.91	c  824s |      18 |   451269 |   393252 |    20933     39 |       30 |        2
837.93/838.21	c  826s |      18 |   452131 |   393852 |    20933     40 |       30 |        2
840.02/840.38	c  828s |      18 |   452968 |   394452 |    20933     40 |       30 |        2
842.22/842.54	c  831s |      18 |   453821 |   395052 |    20933     40 |       30 |        2
844.42/844.72	c  833s |      18 |   454679 |   395652 |    20933     40 |       30 |        2
846.62/846.90	c  835s |      18 |   455559 |   396252 |    20933     40 |       30 |        2
848.82/849.18	c  837s |      18 |   456615 |   396952 |    20933     40 |       30 |        2
850.92/851.20	c  839s |      18 |   457456 |   397552 |    20933     40 |       30 |        2
853.02/853.34	c  841s |      18 |   458304 |   398152 |    20933     40 |       30 |        2
855.02/855.39	c  843s |      18 |   459174 |   398752 |    20933     40 |       30 |        2
857.41/857.73	c  846s |      18 |   460211 |   399452 |    20933     40 |       30 |        2
859.51/859.89	c  848s |      18 |   460990 |   400052 |    20933     40 |       30 |        2
861.71/862.00	c  850s |      18 |   461821 |   400652 |    20933     40 |       30 |        2
864.01/864.30	c  852s |      18 |   462654 |   401252 |    20933     40 |       30 |        2
866.21/866.50	c  855s |      18 |   463520 |   401852 |    20933     40 |       30 |        2
868.31/868.66	c  857s |      18 |   464341 |   402452 |    20933     40 |       30 |        2
870.41/870.78	c  859s |      18 |   465207 |   403052 |    20933     40 |       30 |        2
872.51/872.84	c  861s |      18 |   466046 |   403652 |    20933     40 |       30 |        2
874.71/875.01	c  863s |      18 |   466898 |   404252 |    20933     40 |       30 |        2
876.71/877.07	c  865s |      18 |   467572 |   404752 |    20933     41 |       30 |        2
878.71/879.09	c  867s |      18 |   468386 |   405352 |    20933     41 |       30 |        2
881.01/881.32	c  869s |      18 |   469217 |   405952 |    20933     41 |       30 |        2
883.11/883.49	c  871s |      18 |   469967 |   406552 |    20933     41 |       30 |        2
885.40/885.78	c  874s |      18 |   470960 |   407252 |    20933     41 |       30 |        2
887.60/887.92	c  876s |      18 |   471806 |   407852 |    20933     41 |       30 |        2
889.61/889.97	c  878s |      18 |   472613 |   408452 |    20933     41 |       30 |        2
891.81/892.15	c  880s |      18 |   473476 |   409052 |    20933     41 |       30 |        2
894.11/894.49	c  883s |      18 |   474449 |   409752 |    20933     41 |       30 |        2
896.31/896.65	c  885s |      18 |   475337 |   410352 |    20933     41 |       30 |        2
898.41/898.75	c  887s |      18 |   476201 |   410952 |    20933     41 |       30 |        2
900.71/901.03	c  889s |      18 |   477193 |   411652 |    20933     41 |       30 |        2
903.00/903.31	c  891s |      18 |   478175 |   412352 |    20933     41 |       30 |        2
905.01/905.39	c  893s |      18 |   479004 |   412952 |    20933     41 |       30 |        2
907.21/907.54	c  896s |      18 |   479894 |   413552 |    20933     41 |       30 |        2
909.20/909.58	c  898s |      18 |   480571 |   414052 |    20933     41 |       30 |        2
911.60/911.91	c  900s |      18 |   481423 |   414652 |    20933     41 |       30 |        2
913.80/914.11	c  902s |      18 |   482235 |   415252 |    20933     41 |       30 |        2
916.10/916.41	c  904s |      18 |   483009 |   415852 |    20933     42 |       30 |        2
918.20/918.53	c  907s |      18 |   483796 |   416452 |    20933     42 |       30 |        2
920.40/920.72	c  909s |      18 |   484693 |   417152 |    20933     42 |       30 |        2
922.40/922.74	c  911s |      18 |   485495 |   417752 |    20933     42 |       30 |        2
924.60/924.97	c  913s |      18 |   486394 |   418452 |    20933     42 |       30 |        2
926.80/927.13	c  915s |      18 |   487171 |   419052 |    20933     42 |       30 |        2
929.09/929.46	c  917s |      18 |   487960 |   419652 |    20933     42 |       30 |        2
931.29/931.69	c  920s |      18 |   488731 |   420252 |    20933     42 |       30 |        2
933.49/933.88	c  922s |      18 |   489535 |   420852 |    20933     42 |       30 |        2
935.90/936.22	c  924s |      18 |   490323 |   421452 |    20933     42 |       30 |        2
938.10/938.47	c  926s |      18 |   491131 |   422052 |    20933     42 |       30 |        2
940.39/940.72	c  929s |      18 |   492100 |   422752 |    20933     42 |       30 |        2
942.40/942.72	c  931s |      18 |   493001 |   423352 |    20933     42 |       30 |        2
944.49/944.82	c  933s |      18 |   493823 |   423952 |    20933     42 |       30 |        2
946.69/947.07	c  935s |      18 |   494616 |   424552 |    20933     42 |       30 |        2
948.89/949.24	c  937s |      18 |   495409 |   425152 |    20933     42 |       30 |        2
951.09/951.43	c  939s |      18 |   496212 |   425752 |    20933     42 |       30 |        2
953.29/953.66	c  942s |      18 |   497101 |   426352 |    20933     42 |       30 |        2
955.39/955.71	c  944s |      18 |   497967 |   426952 |    20933     43 |       30 |        2
957.39/957.75	c  946s |      18 |   498804 |   427552 |    20933     43 |       30 |        2
959.59/959.91	c  948s |      18 |   499739 |   428252 |    20933     43 |       30 |        2
961.69/962.03	c  950s |      18 |   500706 |   428952 |    20933     43 |       30 |        2
963.69/964.03	c  952s |      18 |   501563 |   429552 |    20933     43 |       30 |        2
965.89/966.28	c  954s |      18 |   502531 |   430252 |    20933     43 |       30 |        2
968.19/968.58	c  957s |      18 |   503488 |   430952 |    20933     43 |       30 |        2
970.19/970.59	c  959s |      18 |   504294 |   431552 |    20933     43 |       30 |        2
972.59/972.98	c  961s |      18 |   505304 |   432252 |    20933     43 |       30 |        2
974.69/975.02	c  963s |      18 |   506126 |   432852 |    20933     43 |       30 |        2
976.89/977.24	c  965s |      18 |   507132 |   433552 |    20933     43 |       30 |        2
979.19/979.56	c  968s |      18 |   508159 |   434252 |    20933     43 |       30 |        2
981.49/981.85	c  970s |      18 |   509212 |   434952 |    20933     43 |       30 |        2
983.69/984.03	c  972s |      18 |   510283 |   435652 |    20933     43 |       30 |        2
985.69/986.07	c  974s |      18 |   511113 |   436252 |    20933     43 |       30 |        2
987.89/988.21	c  976s |      18 |   512011 |   436852 |    20933     43 |       30 |        2
989.89/990.29	c  978s |      18 |   512907 |   437452 |    20933     43 |       30 |        2
992.09/992.48	c  980s |      18 |   513935 |   438152 |    20933     44 |       30 |        2
994.38/994.70	c  983s |      18 |   514947 |   438852 |    20933     44 |       30 |        2
996.39/996.78	c  985s |      18 |   515757 |   439452 |    20933     44 |       30 |        2
998.38/998.79	c  987s |      18 |   516597 |   440052 |    20933     44 |       30 |        2
1000.48/1000.86	c  989s |      18 |   517437 |   440652 |    20933     44 |       30 |        2
1002.58/1002.95	c  991s |      18 |   518293 |   441252 |    20933     44 |       30 |        2
1004.88/1005.29	c  993s |      18 |   519245 |   441952 |    23027     44 |       30 |        2
1006.98/1007.34	c  995s |      18 |   520049 |   442552 |    23027     44 |       30 |        2
1009.08/1009.48	c  997s |      18 |   520833 |   443152 |    23027     44 |       30 |        2
1011.18/1011.56	c 1000s |      18 |   521634 |   443752 |    23027     44 |       30 |        2
1013.38/1013.72	c 1002s |      18 |   522508 |   444352 |    23027     44 |       30 |        2
1013.89/1014.26	c 1002s |      19 |   522700 |   444482 |    23027     44 |       30 |        2
1015.88/1016.28	c 1004s |      19 |   523884 |   445182 |    23027     44 |       30 |        2
1018.08/1018.46	c 1006s |      19 |   525381 |   446182 |    23027     44 |       30 |        2
1020.08/1020.47	c 1008s |      19 |   526729 |   447082 |    23027     44 |       30 |        2
1022.28/1022.66	c 1011s |      19 |   528215 |   448082 |    23027     44 |       30 |        2
1024.48/1024.85	c 1013s |      19 |   529975 |   449182 |    23027     44 |       30 |        2
1026.48/1026.89	c 1015s |      19 |   531186 |   449982 |    23027     44 |       30 |        2
1028.58/1028.91	c 1017s |      19 |   532376 |   450782 |    23027     44 |       30 |        2
1030.68/1031.05	c 1019s |      19 |   533519 |   451582 |    23027     44 |       30 |        2
1032.78/1033.16	c 1021s |      19 |   534846 |   452482 |    23027     44 |       30 |        2
1034.98/1035.37	c 1023s |      19 |   536136 |   453382 |    23027     45 |       30 |        2
1037.08/1037.42	c 1025s |      19 |   537554 |   454282 |    23027     45 |       30 |        2
1039.07/1039.45	c 1027s |      19 |   538787 |   455182 |    23027     45 |       30 |        2
1041.17/1041.57	c 1030s |      19 |   540038 |   456082 |    23027     45 |       30 |        2
1043.37/1043.71	c 1032s |      19 |   541279 |   456982 |    23027     45 |       30 |        2
1045.37/1045.75	c 1034s |      19 |   542506 |   457882 |    23027     45 |       30 |        2
1047.47/1047.81	c 1036s |      19 |   543612 |   458682 |    23027     45 |       30 |        2
1049.67/1050.06	c 1038s |      19 |   544936 |   459582 |    23027     45 |       30 |        2
1051.87/1052.21	c 1040s |      19 |   546072 |   460382 |    23027     45 |       30 |        2
1054.07/1054.41	c 1042s |      19 |   547350 |   461282 |    23027     45 |       30 |        2
1056.27/1056.67	c 1045s |      19 |   548442 |   462082 |    23027     45 |       30 |        2
1058.47/1058.86	c 1047s |      19 |   549564 |   462882 |    23027     45 |       30 |        2
1060.57/1060.93	c 1049s |      19 |   550742 |   463682 |    23027     45 |       30 |        2
1062.67/1063.06	c 1051s |      19 |   551907 |   464482 |    23027     45 |       30 |        2
1064.87/1065.29	c 1053s |      19 |   553020 |   465282 |    23027     45 |       30 |        2
1067.27/1067.67	c 1056s |      19 |   554172 |   466082 |    23027     46 |       30 |        2
1069.37/1069.73	c 1058s |      19 |   555509 |   466982 |    23027     46 |       30 |        2
1071.67/1072.03	c 1060s |      19 |   556660 |   467782 |    23027     46 |       30 |        2
1073.87/1074.21	c 1062s |      19 |   557703 |   468582 |    23027     46 |       30 |        2
1076.07/1076.44	c 1064s |      19 |   558857 |   469382 |    23027     46 |       30 |        2
1078.07/1078.48	c 1066s |      19 |   559763 |   470082 |    23027     46 |       30 |        2
1080.37/1080.72	c 1069s |      19 |   560866 |   470882 |    23027     46 |       30 |        2
1082.57/1082.97	c 1071s |      19 |   561848 |   471582 |    23027     46 |       30 |        2
1084.87/1085.24	c 1073s |      19 |   562849 |   472382 |    23027     46 |       30 |        2
1086.87/1087.27	c 1075s |      19 |   563802 |   473082 |    23027     46 |       30 |        2
1089.07/1089.46	c 1077s |      19 |   564765 |   473782 |    23027     46 |       30 |        2
1091.17/1091.59	c 1080s |      19 |   565727 |   474482 |    23027     46 |       30 |        2
1093.36/1093.70	c 1082s |      19 |   566755 |   475282 |    23027     46 |       30 |        2
1095.37/1095.74	c 1084s |      19 |   567699 |   476082 |    23027     46 |       30 |        2
1097.47/1097.82	c 1086s |      19 |   568589 |   476882 |    23027     46 |       30 |        2
1099.56/1099.99	c 1088s |      19 |   569512 |   477682 |    23027     46 |       30 |        2
1101.76/1102.14	c 1090s |      19 |   570412 |   478482 |    23027     46 |       30 |        2
1103.86/1104.21	c 1092s |      19 |   571239 |   479182 |    23027     47 |       30 |        2
1105.86/1106.21	c 1094s |      19 |   572149 |   479982 |    23027     47 |       30 |        2
1107.96/1108.32	c 1096s |      19 |   573190 |   480882 |    23027     47 |       30 |        2
1110.06/1110.48	c 1098s |      19 |   574222 |   481782 |    23027     47 |       30 |        2
1112.26/1112.69	c 1101s |      19 |   575246 |   482682 |    23027     47 |       30 |        2
1114.36/1114.75	c 1103s |      19 |   576171 |   483482 |    23027     47 |       30 |        2
1116.46/1116.86	c 1105s |      19 |   577153 |   484382 |    23027     47 |       30 |        2
1118.56/1118.98	c 1107s |      19 |   578090 |   485182 |    23027     47 |       30 |        2
1120.76/1121.14	c 1109s |      19 |   578985 |   485982 |    23027     47 |       30 |        2
1122.96/1123.31	c 1111s |      19 |   580013 |   486782 |    23027     47 |       30 |        2
1125.07/1125.49	c 1113s |      19 |   580991 |   487582 |    23027     47 |       30 |        2
1127.27/1127.67	c 1116s |      19 |   582088 |   488382 |    23027     47 |       30 |        2
1129.47/1129.88	c 1118s |      19 |   583037 |   489182 |    23027     47 |       30 |        2
1131.76/1132.15	c 1120s |      19 |   584024 |   489982 |    23027     47 |       30 |        2
1133.77/1134.18	c 1122s |      19 |   584823 |   490682 |    23027     47 |       30 |        2
1135.86/1136.22	c 1124s |      19 |   585617 |   491382 |    23027     47 |       30 |        2
1137.96/1138.32	c 1126s |      19 |   586441 |   491982 |    23027     48 |       30 |        2
1140.06/1140.47	c 1128s |      19 |   587515 |   492882 |    23027     48 |       30 |        2
1142.16/1142.54	c 1131s |      19 |   588575 |   493682 |    23027     48 |       30 |        2
1144.16/1144.56	c 1133s |      19 |   589545 |   494382 |    23027     48 |       30 |        2
1146.26/1146.63	c 1135s |      19 |   590594 |   495282 |    23027     48 |       30 |        2
1148.36/1148.73	c 1137s |      19 |   591527 |   495982 |    23027     48 |       30 |        2
1150.36/1150.76	c 1139s |      19 |   592486 |   496782 |    23027     48 |       30 |        2
1152.46/1152.83	c 1141s |      19 |   593414 |   497582 |    23027     48 |       30 |        2
1154.45/1154.89	c 1143s |      19 |   594336 |   498382 |    23027     48 |       30 |        2
1156.75/1157.18	c 1145s |      19 |   595273 |   499182 |    23027     48 |       30 |        2
1158.85/1159.23	c 1147s |      19 |   596200 |   499882 |    23027     48 |       30 |        2
1161.05/1161.46	c 1149s |      19 |   597164 |   500682 |    23027     48 |       30 |        2
1163.25/1163.63	c 1152s |      19 |   598165 |   501482 |    23027     48 |       30 |        2
1165.35/1165.79	c 1154s |      19 |   599091 |   502282 |    23027     48 |       30 |        2
1167.65/1168.06	c 1156s |      19 |   600042 |   503082 |    23027     48 |       30 |        2
1169.75/1170.10	c 1158s |      19 |   600870 |   503782 |    23027     48 |       30 |        2
1171.95/1172.39	c 1160s |      19 |   601689 |   504482 |    23027     49 |       30 |        2
1174.26/1174.61	c 1163s |      19 |   602760 |   505382 |    23027     49 |       30 |        2
1176.36/1176.71	c 1165s |      19 |   603883 |   506282 |    23027     49 |       30 |        2
1178.46/1178.86	c 1167s |      19 |   604869 |   507082 |    23027     49 |       30 |        2
1180.66/1181.07	c 1169s |      19 |   605595 |   507782 |    23027     49 |       30 |        2
1182.76/1183.13	c 1171s |      19 |   606317 |   508482 |    23027     49 |       30 |        2
1184.76/1185.19	c 1173s |      19 |   607153 |   509282 |    23027     49 |       30 |        2
1187.06/1187.41	c 1175s |      19 |   608207 |   510282 |    23027     49 |       30 |        2
1189.16/1189.56	c 1178s |      19 |   609259 |   511282 |    23027     49 |       30 |        2
1191.15/1191.57	c 1180s |      19 |   610236 |   512182 |    23027     49 |       30 |        2
1193.16/1193.58	c 1182s |      19 |   611197 |   513082 |    23027     49 |       30 |        2
1195.36/1195.71	c 1184s |      19 |   612171 |   513982 |    23027     49 |       30 |        2
1197.66/1198.08	c 1186s |      19 |   612894 |   514682 |    23027     49 |       30 |        2
1199.86/1200.25	c 1188s |      19 |   613743 |   515482 |    23027     49 |       30 |        2
1201.85/1202.29	c 1190s |      19 |   614372 |   516082 |    23027     49 |       30 |        2
1203.95/1204.33	c 1192s |      19 |   615109 |   516782 |    23027     49 |       30 |        2
1205.95/1206.36	c 1194s |      19 |   615970 |   517582 |    23027     50 |       30 |        2
1208.15/1208.57	c 1197s |      19 |   617152 |   518682 |    23027     50 |       30 |        2
1210.35/1210.74	c 1199s |      19 |   618242 |   519682 |    23027     50 |       30 |        2
1212.35/1212.80	c 1201s |      19 |   619301 |   520682 |    23027     50 |       30 |        2
1214.45/1214.88	c 1203s |      19 |   620384 |   521682 |    23027     50 |       30 |        2
1216.55/1216.91	c 1205s |      19 |   621363 |   522582 |    23027     50 |       30 |        2
1218.75/1219.14	c 1207s |      19 |   622459 |   523582 |    23027     50 |       30 |        2
1220.85/1221.20	c 1209s |      19 |   623420 |   524482 |    23027     50 |       30 |        2
1223.05/1223.40	c 1211s |      19 |   624399 |   525382 |    23027     50 |       30 |        2
1225.25/1225.60	c 1214s |      19 |   625372 |   526282 |    23027     50 |       30 |        2
1227.36/1227.77	c 1216s |      19 |   626338 |   527182 |    23027     50 |       30 |        2
1229.35/1229.80	c 1218s |      19 |   627197 |   527982 |    23027     50 |       30 |        2
1231.45/1231.87	c 1220s |      19 |   628040 |   528782 |    23027     50 |       30 |        2
1233.75/1234.11	c 1222s |      19 |   628916 |   529582 |    23027     50 |       30 |        2
1235.85/1236.22	c 1224s |      19 |   629690 |   530282 |    23027     51 |       30 |        2
1238.05/1238.42	c 1226s |      19 |   630670 |   531182 |    23027     51 |       30 |        2
1240.05/1240.48	c 1228s |      19 |   631663 |   532082 |    23027     51 |       30 |        2
1242.25/1242.67	c 1231s |      19 |   632638 |   532982 |    23027     51 |       30 |        2
1244.24/1244.68	c 1233s |      19 |   633517 |   533782 |    23027     51 |       30 |        2
1246.54/1246.92	c 1235s |      19 |   634488 |   534682 |    23027     51 |       30 |        2
1248.64/1249.01	c 1237s |      19 |   635332 |   535482 |    23027     51 |       30 |        2
1250.84/1251.23	c 1239s |      19 |   636306 |   536382 |    23027     51 |       30 |        2
1253.04/1253.41	c 1241s |      19 |   637165 |   537182 |    23027     51 |       30 |        2
1255.04/1255.44	c 1243s |      19 |   638056 |   537982 |    23027     51 |       30 |        2
1257.24/1257.63	c 1246s |      19 |   638932 |   538782 |    23027     51 |       30 |        2
1259.44/1259.85	c 1248s |      19 |   639788 |   539582 |    23027     51 |       30 |        2
1261.54/1261.93	c 1250s |      19 |   640639 |   540282 |    23027     51 |       30 |        2
1263.65/1264.06	c 1252s |      19 |   641669 |   541282 |    23027     51 |       30 |        2
1265.75/1266.11	c 1254s |      19 |   642715 |   542282 |    23027     51 |       30 |        2
1267.84/1268.30	c 1256s |      19 |   643726 |   543182 |    23027     51 |       30 |        2
1269.94/1270.36	c 1258s |      19 |   644598 |   543982 |    23027     52 |       30 |        2
1272.04/1272.43	c 1260s |      19 |   645607 |   544882 |    23027     52 |       30 |        2
1274.14/1274.54	c 1263s |      19 |   646684 |   545882 |    23027     52 |       30 |        2
1276.24/1276.61	c 1265s |      19 |   647700 |   546782 |    23027     52 |       30 |        2
1278.34/1278.70	c 1267s |      19 |   648633 |   547582 |    23027     52 |       30 |        2
1280.34/1280.76	c 1269s |      19 |   649532 |   548382 |    23027     52 |       30 |        2
1282.35/1282.79	c 1271s |      19 |   650469 |   549282 |    23027     52 |       30 |        2
1284.54/1284.93	c 1273s |      19 |   651362 |   550082 |    23027     52 |       30 |        2
1286.54/1286.99	c 1275s |      19 |   652259 |   550882 |    23027     52 |       30 |        2
1288.84/1289.21	c 1277s |      19 |   653137 |   551682 |    23027     52 |       30 |        2
1290.94/1291.39	c 1279s |      19 |   654089 |   552582 |    23027     52 |       30 |        2
1293.14/1293.58	c 1282s |      19 |   654954 |   553382 |    23027     52 |       30 |        2
1295.34/1295.79	c 1284s |      19 |   655820 |   554182 |    23027     52 |       30 |        2
1297.53/1297.91	c 1286s |      19 |   656625 |   554882 |    23027     52 |       30 |        2
1299.73/1300.15	c 1288s |      19 |   657484 |   555682 |    23027     52 |       30 |        2
1301.83/1302.28	c 1290s |      19 |   658245 |   556382 |    23027     53 |       30 |        2
1303.93/1304.30	c 1292s |      19 |   659130 |   557182 |    23027     53 |       30 |        2
1306.13/1306.52	c 1295s |      19 |   660143 |   558082 |    23027     53 |       30 |        2
1308.33/1308.70	c 1297s |      19 |   661127 |   558982 |    23027     53 |       30 |        2
1310.53/1310.94	c 1299s |      19 |   662065 |   559782 |    23027     53 |       30 |        2
1312.63/1313.09	c 1301s |      19 |   662934 |   560582 |    23027     53 |       30 |        2
1314.93/1315.35	c 1303s |      19 |   663930 |   561482 |    23027     53 |       30 |        2
1317.13/1317.52	c 1306s |      19 |   664841 |   562282 |    23027     53 |       30 |        2
1319.33/1319.78	c 1308s |      19 |   665877 |   563182 |    23027     53 |       30 |        2
1321.43/1321.87	c 1310s |      19 |   666802 |   563982 |    23027     53 |       30 |        2
1323.63/1324.01	c 1312s |      19 |   667684 |   564782 |    23027     53 |       30 |        2
1325.73/1326.12	c 1314s |      19 |   668629 |   565682 |    23027     53 |       30 |        2
1327.83/1328.29	c 1316s |      19 |   669496 |   566482 |    23027     53 |       30 |        2
1330.13/1330.57	c 1319s |      19 |   670413 |   567282 |    23027     53 |       30 |        2
1332.43/1332.84	c 1321s |      19 |   671282 |   568082 |    23027     53 |       30 |        2
1334.43/1334.86	c 1323s |      19 |   672052 |   568782 |    23027     53 |       30 |        2
1336.53/1336.98	c 1325s |      19 |   672821 |   569482 |    23027     54 |       30 |        2
1338.63/1339.08	c 1327s |      19 |   673478 |   570082 |    23027     54 |       30 |        2
1340.83/1341.29	c 1329s |      19 |   674622 |   571182 |    23027     54 |       30 |        2
1343.13/1343.51	c 1332s |      19 |   675505 |   571982 |    23027     54 |       30 |        2
1345.13/1345.54	c 1334s |      19 |   676395 |   572782 |    23027     54 |       30 |        2
1347.23/1347.66	c 1336s |      19 |   677264 |   573582 |    23027     54 |       30 |        2
1349.33/1349.74	c 1338s |      19 |   678167 |   574382 |    23027     54 |       30 |        2
1351.43/1351.82	c 1340s |      19 |   679039 |   575182 |    23027     54 |       30 |        2
1353.53/1353.96	c 1342s |      19 |   679914 |   575982 |    23027     54 |       30 |        2
1355.82/1356.23	c 1344s |      19 |   680784 |   576782 |    23027     54 |       30 |        2
1358.02/1358.45	c 1346s |      19 |   681680 |   577582 |    23027     54 |       30 |        2
1360.02/1360.48	c 1348s |      19 |   682504 |   578382 |    23027     54 |       30 |        2
1362.12/1362.50	c 1351s |      19 |   683353 |   579182 |    23027     54 |       30 |        2
1364.22/1364.66	c 1353s |      19 |   684207 |   579982 |    23027     54 |       30 |        2
1366.52/1366.91	c 1355s |      19 |   684986 |   580682 |    23027     54 |       30 |        2
1368.72/1369.14	c 1357s |      19 |   685763 |   581382 |    23027     54 |       30 |        2
1370.92/1371.37	c 1359s |      19 |   686531 |   582082 |    23027     54 |       30 |        2
1373.22/1373.63	c 1362s |      19 |   687315 |   582782 |    23027     55 |       30 |        2
1375.42/1375.84	c 1364s |      19 |   688218 |   583582 |    23027     55 |       30 |        2
1377.52/1377.91	c 1366s |      19 |   689008 |   584282 |    23027     55 |       30 |        2
1379.52/1379.91	c 1368s |      19 |   689826 |   584982 |    23027     55 |       30 |        2
1381.62/1382.06	c 1370s |      19 |   690712 |   585782 |    23027     55 |       30 |        2
1383.72/1384.17	c 1372s |      19 |   691623 |   586582 |    23027     55 |       30 |        2
1385.73/1386.19	c 1374s |      19 |   692523 |   587382 |    23027     55 |       30 |        2
1387.93/1388.31	c 1376s |      19 |   693407 |   588182 |    23027     55 |       30 |        2
1390.13/1390.53	c 1379s |      19 |   694300 |   588982 |    23027     55 |       30 |        2
1392.33/1392.79	c 1381s |      19 |   695218 |   589782 |    23027     55 |       30 |        2
1394.62/1395.05	c 1383s |      19 |   696116 |   590582 |    23027     55 |       30 |        2
1396.82/1397.26	c 1385s |      19 |   697023 |   591382 |    23027     55 |       30 |        2
1398.92/1399.31	c 1387s |      19 |   697817 |   592082 |    23027     55 |       30 |        2
1400.92/1401.35	c 1389s |      19 |   698601 |   592782 |    23027     55 |       30 |        2
1403.02/1403.46	c 1391s |      19 |   699392 |   593482 |    23027     55 |       30 |        2
1405.12/1405.56	c 1394s |      19 |   700167 |   594182 |    23027     55 |       30 |        2
1407.22/1407.69	c 1396s |      19 |   700936 |   594882 |    23027     55 |       30 |        2
1409.32/1409.70	c 1398s |      19 |   701618 |   595482 |    23027     56 |       30 |        2
1411.52/1411.94	c 1400s |      19 |   702522 |   596282 |    23027     56 |       30 |        2
1413.72/1414.15	c 1402s |      19 |   703417 |   597082 |    23027     56 |       30 |        2
1415.91/1416.37	c 1404s |      19 |   704324 |   597882 |    23027     56 |       30 |        2
1418.21/1418.65	c 1407s |      19 |   705219 |   598682 |    23027     56 |       30 |        2
1420.21/1420.67	c 1409s |      19 |   705999 |   599382 |    23027     56 |       30 |        2
1422.21/1422.68	c 1411s |      19 |   706781 |   600082 |    23027     56 |       30 |        2
1424.51/1424.96	c 1413s |      19 |   707697 |   600882 |    23027     56 |       30 |        2
1426.51/1426.97	c 1415s |      19 |   708474 |   601582 |    23027     56 |       30 |        2
1428.62/1429.03	c 1417s |      19 |   709276 |   602282 |    23027     56 |       30 |        2
1430.72/1431.12	c 1419s |      19 |   710065 |   602982 |    23027     56 |       30 |        2
1432.81/1433.24	c 1421s |      19 |   710850 |   603682 |    23027     56 |       30 |        2
1434.91/1435.31	c 1423s |      19 |   711638 |   604382 |    23027     56 |       30 |        2
1436.91/1437.34	c 1425s |      19 |   712427 |   605082 |    23027     56 |       30 |        2
1439.01/1439.49	c 1428s |      19 |   713212 |   605782 |    23027     56 |       30 |        2
1441.11/1441.51	c 1430s |      19 |   713782 |   606282 |    23027     56 |       30 |        2
1443.31/1443.78	c 1432s |      19 |   714670 |   607082 |    23027     56 |       30 |        2
1445.61/1446.01	c 1434s |      19 |   715563 |   607882 |    23027     56 |       30 |        2
1447.71/1448.15	c 1436s |      19 |   716364 |   608582 |    23027     57 |       30 |        2
1449.82/1450.27	c 1438s |      19 |   717275 |   609382 |    23027     57 |       30 |        2
1451.92/1452.31	c 1440s |      19 |   718162 |   610182 |    23027     57 |       30 |        2
1453.93/1454.32	c 1442s |      19 |   719062 |   610982 |    23027     57 |       30 |        2
1456.02/1456.48	c 1444s |      19 |   719973 |   611782 |    23027     57 |       30 |        2
1458.32/1458.73	c 1447s |      19 |   720968 |   612682 |    23027     57 |       30 |        2
1460.42/1460.82	c 1449s |      19 |   721855 |   613482 |    23027     57 |       30 |        2
1462.52/1462.92	c 1451s |      19 |   722766 |   614282 |    23027     57 |       30 |        2
1464.62/1465.03	c 1453s |      19 |   723679 |   615082 |    23027     57 |       30 |        2
1466.82/1467.23	c 1455s |      19 |   724576 |   615882 |    23027     57 |       30 |        2
1468.82/1469.25	c 1457s |      19 |   725369 |   616582 |    23027     57 |       30 |        2
1471.12/1471.52	c 1460s |      19 |   726266 |   617382 |    23027     57 |       30 |        2
1473.12/1473.59	c 1462s |      19 |   727061 |   618082 |    23027     57 |       30 |        2
1475.21/1475.62	c 1464s |      19 |   727851 |   618782 |    23027     57 |       30 |        2
1477.31/1477.75	c 1466s |      19 |   728638 |   619482 |    23027     57 |       30 |        2
1479.41/1479.89	c 1468s |      19 |   729423 |   620182 |    23027     57 |       30 |        2
1481.51/1481.94	c 1470s |      19 |   730191 |   620882 |    23027     57 |       30 |        2
1483.52/1483.99	c 1472s |      19 |   730984 |   621582 |    23027     58 |       30 |        2
1485.61/1486.00	c 1474s |      19 |   731904 |   622382 |    23027     58 |       30 |        2
1487.61/1488.07	c 1476s |      19 |   732821 |   623182 |    23027     58 |       30 |        2
1489.71/1490.10	c 1478s |      19 |   733714 |   623982 |    23027     58 |       30 |        2
1491.91/1492.32	c 1480s |      19 |   734626 |   624782 |    23027     58 |       30 |        2
1493.91/1494.39	c 1482s |      19 |   735517 |   625582 |    23027     58 |       30 |        2
1496.21/1496.62	c 1485s |      19 |   736404 |   626382 |    23027     58 |       30 |        2
1498.31/1498.71	c 1487s |      19 |   737210 |   627082 |    23027     58 |       30 |        2
1500.31/1500.79	c 1489s |      19 |   738108 |   627882 |    23027     58 |       30 |        2
1502.51/1502.93	c 1491s |      19 |   739024 |   628682 |    23027     58 |       30 |        2
1504.61/1505.05	c 1493s |      19 |   739942 |   629482 |    23027     58 |       30 |        2
1506.81/1507.24	c 1495s |      19 |   740820 |   630282 |    23027     58 |       30 |        2
1508.82/1509.27	c 1497s |      19 |   741612 |   630982 |    23027     58 |       30 |        2
1510.91/1511.32	c 1499s |      19 |   742384 |   631682 |    23027     58 |       30 |        2
1513.01/1513.43	c 1501s |      19 |   743188 |   632382 |    23027     58 |       30 |        2
1515.01/1515.49	c 1503s |      19 |   743980 |   633082 |    23027     58 |       30 |        2
1517.11/1517.56	c 1506s |      19 |   744755 |   633782 |    23027     58 |       30 |        2
1519.31/1519.75	c 1508s |      19 |   745580 |   634482 |    23027     59 |       30 |        2
1521.51/1521.94	c 1510s |      19 |   746497 |   635282 |    23027     59 |       30 |        2
1523.51/1523.94	c 1512s |      19 |   747280 |   635982 |    23027     59 |       30 |        2
1525.71/1526.19	c 1514s |      19 |   748189 |   636782 |    23027     59 |       30 |        2
1528.01/1528.40	c 1516s |      19 |   749103 |   637582 |    23027     59 |       30 |        2
1530.11/1530.55	c 1519s |      19 |   750022 |   638382 |    23027     59 |       30 |        2
1532.41/1532.83	c 1521s |      19 |   750942 |   639182 |    23027     59 |       30 |        2
1534.60/1535.07	c 1523s |      19 |   751823 |   639982 |    23027     59 |       30 |        2
1536.60/1537.07	c 1525s |      19 |   752606 |   640682 |    23027     59 |       30 |        2
1538.70/1539.13	c 1527s |      19 |   753412 |   641382 |    23027     59 |       30 |        2
1540.71/1541.17	c 1529s |      19 |   754194 |   642082 |    23027     59 |       30 |        2
1542.80/1543.27	c 1531s |      19 |   755001 |   642782 |    23027     59 |       30 |        2
1544.90/1545.37	c 1533s |      19 |   755790 |   643482 |    23027     59 |       30 |        2
1547.10/1547.50	c 1536s |      19 |   756569 |   644182 |    23027     59 |       30 |        2
1549.20/1549.64	c 1538s |      19 |   757364 |   644882 |    23027     59 |       30 |        2
1551.40/1551.84	c 1540s |      19 |   758137 |   645582 |    23027     59 |       30 |        2
1553.60/1554.02	c 1542s |      19 |   758919 |   646282 |    23027     59 |       30 |        2
1555.60/1556.07	c 1544s |      19 |   759595 |   646882 |    23027     60 |       30 |        2
1557.70/1558.16	c 1546s |      19 |   760496 |   647682 |    23027     60 |       30 |        2
1559.70/1560.16	c 1548s |      19 |   761293 |   648382 |    23027     60 |       30 |        2
1561.71/1562.18	c 1550s |      19 |   762196 |   649182 |    23027     60 |       30 |        2
1563.81/1564.21	c 1552s |      19 |   763080 |   649982 |    23027     60 |       30 |        2
1565.90/1566.31	c 1554s |      19 |   763986 |   650782 |    23027     60 |       30 |        2
1568.00/1568.45	c 1556s |      19 |   764879 |   651582 |    23027     60 |       30 |        2
1570.20/1570.69	c 1559s |      19 |   765793 |   652382 |    23027     60 |       30 |        2
1572.50/1572.92	c 1561s |      19 |   766693 |   653182 |    23027     60 |       30 |        2
1574.50/1574.96	c 1563s |      19 |   767249 |   653682 |    23027     60 |       30 |        2
1576.70/1577.15	c 1565s |      19 |   768157 |   654482 |    23027     60 |       30 |        2
1579.00/1579.41	c 1567s |      19 |   769052 |   655282 |    23027     60 |       30 |        2
1581.20/1581.60	c 1570s |      19 |   769925 |   656082 |    23027     60 |       30 |        2
1583.20/1583.63	c 1572s |      19 |   770695 |   656782 |    23027     60 |       30 |        2
1585.30/1585.71	c 1574s |      19 |   771491 |   657482 |    23027     60 |       30 |        2
1587.29/1587.78	c 1576s |      19 |   772262 |   658182 |    23027     60 |       30 |        2
1589.49/1589.93	c 1578s |      19 |   773041 |   658882 |    23027     60 |       30 |        2
1591.69/1592.12	c 1580s |      19 |   773830 |   659582 |    23027     60 |       30 |        2
1593.89/1594.35	c 1582s |      19 |   774616 |   660282 |    23027     61 |       30 |        2
1595.99/1596.40	c 1584s |      19 |   775518 |   661082 |    23027     61 |       30 |        2
1598.09/1598.51	c 1587s |      19 |   776430 |   661882 |    23027     61 |       30 |        2
1600.20/1600.67	c 1589s |      19 |   777433 |   662782 |    25330     61 |       30 |        2
1602.30/1602.78	c 1591s |      19 |   778455 |   663682 |    25330     61 |       30 |        2
1604.29/1604.78	c 1593s |      19 |   779362 |   664482 |    25330     61 |       30 |        2
1606.39/1606.82	c 1595s |      19 |   780244 |   665282 |    25330     61 |       30 |        2
1608.59/1609.07	c 1597s |      19 |   781176 |   666082 |    25330     61 |       30 |        2
1610.69/1611.12	c 1599s |      20 |   782015 |   666827 |    25330     61 |       30 |        2
1612.69/1613.13	c 1601s |      20 |   783162 |   667727 |    25330     61 |       30 |        2
1614.69/1615.15	c 1603s |      20 |   784433 |   668727 |    25330     61 |       30 |        2
1616.70/1617.15	c 1605s |      20 |   786026 |   670127 |    25330     61 |       30 |        2
1618.80/1619.29	c 1607s |      20 |   787782 |   671627 |    25330     61 |       30 |        2
1620.89/1621.39	c 1609s |      20 |   789426 |   673027 |    25330     61 |       30 |        2
1622.99/1623.41	c 1611s |      20 |   790831 |   674227 |    25330     62 |       30 |        2
1624.99/1625.45	c 1613s |      20 |   792329 |   675527 |    25330     62 |       30 |        2
1626.99/1627.47	c 1615s |      20 |   793699 |   676727 |    25330     62 |       30 |        2
1629.19/1629.61	c 1618s |      20 |   795124 |   677927 |    25330     62 |       30 |        2
1631.29/1631.71	c 1620s |      20 |   796520 |   679127 |    25330     62 |       30 |        2
1633.29/1633.75	c 1622s |      20 |   797806 |   680227 |    25330     62 |       30 |        2
1635.29/1635.77	c 1624s |      20 |   799125 |   681327 |    25330     62 |       30 |        2
1637.49/1637.94	c 1626s |      20 |   800434 |   682427 |    25330     62 |       30 |        2
1639.58/1640.04	c 1628s |      20 |   801606 |   683427 |    25330     62 |       30 |        2
1641.58/1642.05	c 1630s |      20 |   802769 |   684427 |    25330     62 |       30 |        2
1643.68/1644.18	c 1632s |      20 |   803956 |   685427 |    25330     62 |       30 |        2
1645.78/1646.24	c 1634s |      20 |   805135 |   686427 |    25330     62 |       30 |        2
1647.88/1648.38	c 1636s |      20 |   806286 |   687427 |    25330     63 |       30 |        2
1650.08/1650.53	c 1639s |      20 |   807599 |   688527 |    25330     63 |       30 |        2
1652.28/1652.70	c 1641s |      20 |   808876 |   689627 |    25330     63 |       30 |        2
1654.38/1654.83	c 1643s |      20 |   810129 |   690727 |    25330     63 |       30 |        2
1656.48/1656.97	c 1645s |      20 |   811274 |   691727 |    25330     63 |       30 |        2
1658.58/1659.08	c 1647s |      20 |   812326 |   692627 |    25330     63 |       30 |        2
1660.69/1661.18	c 1649s |      20 |   813153 |   693327 |    25330     63 |       30 |        2
1662.89/1663.38	c 1651s |      20 |   814300 |   694327 |    25330     63 |       30 |        2
1664.99/1665.45	c 1653s |      20 |   815333 |   695227 |    25330     63 |       30 |        2
1667.19/1667.64	c 1656s |      20 |   816377 |   696127 |    25330     63 |       30 |        2
1669.39/1669.85	c 1658s |      20 |   817427 |   697027 |    25330     63 |       30 |        2
1671.48/1671.90	c 1660s |      20 |   818366 |   697827 |    25330     63 |       30 |        2
1673.48/1673.98	c 1662s |      20 |   819295 |   698627 |    25330     63 |       30 |        2
1675.68/1676.12	c 1664s |      20 |   820220 |   699427 |    25330     63 |       30 |        2
1677.68/1678.14	c 1666s |      20 |   821040 |   700127 |    25330     64 |       30 |        2
1679.78/1680.25	c 1668s |      20 |   822332 |   701227 |    25330     64 |       30 |        2
1681.88/1682.38	c 1670s |      20 |   823636 |   702327 |    25330     64 |       30 |        2
1684.08/1684.52	c 1673s |      20 |   824914 |   703427 |    25330     64 |       30 |        2
1686.08/1686.52	c 1675s |      20 |   826057 |   704427 |    25330     64 |       30 |        2
1688.08/1688.58	c 1677s |      20 |   827245 |   705427 |    25330     64 |       30 |        2
1690.28/1690.74	c 1679s |      20 |   828433 |   706427 |    25330     64 |       30 |        2
1692.48/1692.96	c 1681s |      20 |   829619 |   707427 |    25330     64 |       30 |        2
1694.58/1695.02	c 1683s |      20 |   830669 |   708327 |    25330     64 |       30 |        2
1696.58/1697.06	c 1685s |      20 |   831737 |   709227 |    25330     64 |       30 |        2
1698.68/1699.17	c 1687s |      20 |   832784 |   710127 |    25330     64 |       30 |        2
1700.88/1701.34	c 1689s |      20 |   833843 |   711027 |    25330     64 |       30 |        2
1703.08/1703.54	c 1692s |      20 |   834877 |   711927 |    25330     64 |       30 |        2
1705.17/1705.60	c 1694s |      20 |   835826 |   712727 |    25330     64 |       30 |        2
1707.17/1707.63	c 1696s |      20 |   836646 |   713427 |    25330     65 |       30 |        2
1709.27/1709.71	c 1698s |      20 |   837941 |   714527 |    25330     65 |       30 |        2
1711.37/1711.86	c 1700s |      20 |   839234 |   715627 |    25330     65 |       30 |        2
1713.48/1713.96	c 1702s |      20 |   840437 |   716627 |    25330     65 |       30 |        2
1716.17/1716.65	c 1705s |      20 |   841632 |   717627 |    25330     65 |       30 |        2
1718.27/1718.75	c 1707s |      20 |   842811 |   718627 |    25330     65 |       30 |        2
1720.47/1720.93	c 1709s |      20 |   843977 |   719627 |    25330     65 |       30 |        2
1722.57/1723.07	c 1711s |      20 |   845181 |   720627 |    25330     65 |       30 |        2
1724.57/1725.09	c 1713s |      20 |   846226 |   721527 |    25330     65 |       30 |        2
1726.67/1727.18	c 1715s |      20 |   847277 |   722427 |    25330     65 |       30 |        2
1728.77/1729.30	c 1717s |      20 |   848359 |   723327 |    25330     65 |       30 |        2
1730.97/1731.48	c 1719s |      20 |   849417 |   724227 |    25330     65 |       30 |        2
1733.17/1733.66	c 1722s |      20 |   850464 |   725127 |    25330     65 |       30 |        2
1735.28/1735.74	c 1724s |      20 |   851412 |   725927 |    25330     65 |       30 |        2
1737.27/1737.76	c 1726s |      20 |   852106 |   726527 |    25330     66 |       30 |        2
1739.47/1739.91	c 1728s |      20 |   853395 |   727627 |    25330     66 |       30 |        2
1741.47/1741.92	c 1730s |      20 |   854545 |   728627 |    25330     66 |       30 |        2
1743.47/1743.92	c 1732s |      20 |   855718 |   729627 |    25330     66 |       30 |        2
1745.67/1746.10	c 1734s |      20 |   856879 |   730627 |    25330     66 |       30 |        2
1747.67/1748.16	c 1736s |      20 |   857973 |   731527 |    25330     66 |       30 |        2
1749.78/1750.26	c 1738s |      20 |   859180 |   732527 |    25330     66 |       30 |        2
1751.88/1752.37	c 1740s |      20 |   860351 |   733527 |    25330     66 |       30 |        2
1753.97/1754.46	c 1742s |      20 |   861511 |   734527 |    25330     66 |       30 |        2
1756.17/1756.67	c 1745s |      20 |   862685 |   735527 |    25330     66 |       30 |        2
1758.37/1758.84	c 1747s |      20 |   863615 |   736327 |    25330     66 |       30 |        2
1760.57/1761.04	c 1749s |      20 |   864774 |   737327 |    25330     66 |       30 |        2
1762.67/1763.13	c 1751s |      20 |   865842 |   738227 |    25330     66 |       30 |        2
1764.77/1765.23	c 1753s |      20 |   866905 |   739127 |    25330     66 |       30 |        2
1766.87/1767.31	c 1755s |      20 |   867854 |   739927 |    25330     67 |       30 |        2
1768.97/1769.43	c 1757s |      20 |   869041 |   740927 |    25330     67 |       30 |        2
1771.07/1771.59	c 1760s |      20 |   870469 |   742127 |    25330     67 |       30 |        2
1773.27/1773.76	c 1762s |      20 |   871751 |   743227 |    25330     67 |       30 |        2
1775.37/1775.86	c 1764s |      20 |   873040 |   744327 |    25330     67 |       30 |        2
1777.47/1777.96	c 1766s |      20 |   874329 |   745427 |    25330     67 |       30 |        2
1779.57/1780.00	c 1768s |      20 |   875525 |   746427 |    25330     67 |       30 |        2
1781.57/1782.06	c 1770s |      20 |   876712 |   747427 |    25330     67 |       30 |        2
1783.67/1784.17	c 1772s |      20 |   877646 |   748227 |    25330     67 |       30 |        2
1785.87/1786.38	c 1774s |      20 |   878830 |   749227 |    25330     67 |       30 |        2
1787.97/1788.49	c 1776s |      20 |   879860 |   750127 |    25330     67 |       30 |        2
1790.17/1790.62	c 1779s |      20 |   880929 |   751027 |    25330     67 |       30 |        2
1792.17/1792.62	c 1781s |      20 |   881984 |   751927 |    25330     67 |       30 |        2
1794.37/1794.83	c 1783s |      20 |   882909 |   752727 |    25330     68 |       30 |        2
1796.46/1796.95	c 1785s |      20 |   884311 |   753927 |    25330     68 |       30 |        2
1798.46/1798.96	c 1787s |      20 |   885478 |   754927 |    25330     68 |       30 |        2

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

pid=5122
running on 4 cores: 1,3,5,7

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.23 2.12 2.10 2/179 5125
/proc/meminfo: memFree=29648648/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=790084 CPUtime=0 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 2960 0 0 0 0 0 0 0 20 0 4 0 25606558 809046016 3322 33554432000 4194304 16246674 140733583142160 140733583141584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 198289 3330 442 2943 0 195183 0
[pid=5125/tid=5126] ppid=5122 vsize=807492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 826871808 3390 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=811588 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 831066112 3406 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=815684 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 835260416 3422 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 2.23 2.12 2.10 2/179 5125
/proc/meminfo: memFree=29648648/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 30253 0 0 0 6 3 0 0 20 0 4 0 25606558 1334382592 30552 33554432000 4194304 16246674 140733583142160 140733583141472 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 325777 30568 802 2943 0 322671 0
[pid=5125/tid=5126] ppid=5122 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1334382592 30578 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1334382592 30589 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1334382592 30601 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200479 s]
/proc/loadavg: 2.23 2.12 2.10 2/179 5125
/proc/meminfo: memFree=29648648/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 42734 0 0 0 14 5 0 0 20 0 4 0 25606558 1343819776 43544 33554432000 4194304 16246674 140733583142160 140733583124032 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 328081 43544 807 2943 0 324975 0
[pid=5125/tid=5126] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 43544 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 43544 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 43544 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300453 s]
/proc/loadavg: 2.23 2.12 2.10 2/179 5125
/proc/meminfo: memFree=29648648/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 56284 0 0 0 22 7 0 0 20 0 4 0 25606558 1343819776 57095 33554432000 4194304 16246674 140733583142160 140733583124032 12655109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 328081 57112 833 2943 0 324975 0
[pid=5125/tid=5126] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 57122 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 57131 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 57137 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700363 s]
/proc/loadavg: 2.23 2.12 2.10 2/179 5125
/proc/meminfo: memFree=29648648/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 177289 0 0 0 45 24 0 0 20 0 4 0 25606558 1343819776 178100 33554432000 4194304 16246674 140733583142160 140733583124032 12449273 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 328081 178116 843 2943 0 324975 0
[pid=5125/tid=5126] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 178125 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 178134 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1343819776 178144 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50038 s]
/proc/loadavg: 2.21 2.12 2.10 3/183 5129
/proc/meminfo: memFree=28571540/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 268959 0 0 0 114 35 0 0 20 0 4 0 25606558 1344868352 269769 33554432000 4194304 16246674 140733583142160 140733583124032 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 328337 269769 843 2943 0 325231 0
[pid=5125/tid=5126] ppid=5122 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1344868352 269769 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1344868352 269769 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1344868352 269769 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10038 s]
/proc/loadavg: 2.21 2.12 2.10 3/183 5129
/proc/meminfo: memFree=28570672/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 268961 0 0 0 274 35 0 0 20 0 4 0 25606558 1344868352 269771 33554432000 4194304 16246674 140733583142160 140733583124032 13007868 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 328337 269771 843 2943 0 325231 0
[pid=5125/tid=5126] ppid=5122 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1344868352 269771 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1344868352 269771 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1344868352 269771 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30038 s]
/proc/loadavg: 2.21 2.12 2.10 3/183 5129
/proc/meminfo: memFree=28336208/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1319492 CPUtime=6.29 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 270348 0 0 0 593 36 0 0 20 0 4 0 25606558 1351159808 271158 33554432000 4194304 16246674 140733583142160 140733583124032 12429162 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 329873 271158 843 2943 0 326767 0
[pid=5125/tid=5126] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271158 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271158 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271158 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1319492

[startup+12.7004 s]
/proc/loadavg: 2.25 2.13 2.10 3/183 5129
/proc/meminfo: memFree=27619664/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1319492 CPUtime=12.69 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 270571 0 0 0 1233 36 0 0 20 0 4 0 25606558 1351159808 271381 33554432000 4194304 16246674 140733583142160 140733583124032 5711310 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 329873 271381 911 2943 0 326767 0
[pid=5125/tid=5126] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271381 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271381 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271381 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.21 2.13 2.10 3/183 5129
/proc/meminfo: memFree=27271688/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1319492 CPUtime=25.49 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 270575 0 0 0 2513 36 0 0 20 0 4 0 25606558 1351159808 271385 33554432000 4194304 16246674 140733583142160 140733583124032 5825192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 329873 271385 915 2943 0 326767 0
[pid=5125/tid=5126] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271385 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271385 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271385 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.21 2.13 2.10 3/184 5132
/proc/meminfo: memFree=27248480/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 270576 0 0 0 5072 36 0 0 20 0 4 0 25606558 1351159808 271386 33554432000 4194304 16246674 140733583142160 140733583124032 5659568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 329873 271386 916 2943 0 326767 0
[pid=5125/tid=5126] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271386 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271386 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1351159808 271386 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 5133
/proc/meminfo: memFree=27310124/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 271349 0 0 0 10192 36 0 0 20 0 4 0 25606558 1354305536 272159 33554432000 4194304 16246674 140733583142160 140733583124032 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 330641 272159 921 2943 0 327535 0
[pid=5125/tid=5126] ppid=5122 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1354305536 272159 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1354305536 272159 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1354305536 272159 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1355332

[startup+1362.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/183 5238
/proc/meminfo: memFree=28854008/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1361.92 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 136151 41 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 13759627 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1355332

[startup+1422.3 s]
/proc/loadavg: 2.20 2.12 2.09 3/183 5239
/proc/meminfo: memFree=28853620/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1421.92 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 142151 41 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5598307 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1355332

[startup+1482.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 5240
/proc/meminfo: memFree=28853616/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1481.91 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 148149 42 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 12478258 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1355332

[startup+1542.31 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 5241
/proc/meminfo: memFree=28853352/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1541.91 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 154149 42 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5603189 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1355332

[startup+1602.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 5242
/proc/meminfo: memFree=28853296/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1601.89 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 160147 42 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1355332

[startup+1662.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/183 5244
/proc/meminfo: memFree=28853816/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1661.88 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 166146 42 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 13760120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1355332

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/183 5245
/proc/meminfo: memFree=28853888/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1721.87 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 172145 42 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5825623 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1355332

[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 5246
/proc/meminfo: memFree=28853384/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1781.87 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 178144 43 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5721265 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1355332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 5246
/proc/meminfo: memFree=28853760/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1800.06 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 179963 43 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5523527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1355332

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 5246
/proc/meminfo: memFree=28853760/32872528 swapFree=681964/737152
[pid=5125] ppid=5122 vsize=1355332 CPUtime=1800.06 cores=1,3,5,7
/proc/5125/stat : 5125 (toysat) R 5122 5125 1377 0 -1 4202496 279831 0 0 0 179963 43 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 140733583124032 5523527 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5125/statm: 338833 280607 921 2943 0 335727 0
[pid=5125/tid=5126] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5126/stat : 5126 (toysat) S 5122 5125 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706518973680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5125/tid=5127] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5127/stat : 5127 (toysat) S 5122 5125 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706508483824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5125/tid=5128] ppid=5122 vsize=1355332 CPUtime=0 cores=1,3,5,7
/proc/5125/task/5128/stat : 5128 (toysat) S 5122 5125 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25606558 1387859968 280607 33554432000 4194304 16246674 140733583142160 139706427763888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1355332

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.64
CPU system time (s): 0.430934
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1355332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.430934
maximum resident set size= 1122428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279831
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= 306
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88326 second user time and 6.64899 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 09:39:33
IDJOB=4103353
IDBENCH=2337
IDSOLVER=2542
FILE ID=node112/4103353-1466235573
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103353-1466235573/watcher-4103353-1466235573 -o /tmp/evaluation-result-4103353-1466235573/solver-4103353-1466235573 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103353-1466235573.opb

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

MD5SUM BENCH= 5d09427ddf3dc39fc0331bd5827affb8
RANDOM SEED=1165562573

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29648928 kB
Buffers:          112308 kB
Cached:           124204 kB
SwapCached:         1916 kB
Active:          1605652 kB
Inactive:         142820 kB
Active(anon):    1509872 kB
Inactive(anon):     4444 kB
Active(file):      95780 kB
Inactive(file):   138376 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             17476 kB
Writeback:             0 kB
AnonPages:       2481424 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             601452 kB
SReclaimable:      45380 kB
SUnreclaim:       556072 kB
KernelStack:        1528 kB
PageTables:         8396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2393432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 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= 71676 MiB
End job on node112 at 2016-06-18 10:09:34