Trace number 4101625

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.05 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb
MD5SUM2299da783c48196e7dbf5579e5089efd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved NO
Number of variables985
Total number of constraints45
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints45
Minimum length of a constraint60
Maximum length of a constraint115
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524347
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T06:59:13+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-4101625-1466225953.opb"]
0.00/0.01	c use --random-gen="3127948198 1052050582 1988225293 1030083717 3134538584 3384968329 3003238323 3344504212 3306320427 4013042461 2269301546 3619620016 1984905338 750991370 2331104308 2864818864 1262092373 3040790539 1710735421 3132777903 1270640218 1304192501 1849261196 4129277899 801093148 1823801484 2650334732 1809731796 652131231 1772741757 3206524986 3265835012 1679335128 1138757494 432122452 2740922824 3768190698 2255545682 1056820562 586373434 265234497 2444592773 667658445 3001823438 651626578 2748986511 163744116 4241232099 1491183119 2806257748 2702947277 1653944462 184580255 1598993239 267380218 2307974042 1825769182 1287233235 1444872151 110536410 3000545767 4011947769 2725563960 2705813954 1244424389 1373482592 2729346631 2769166425 2400610964 2478165522 336144505 1115129117 3957814864 1333567716 241744882 2148245883 2930528363 1048757366 4220827221 875839375 2919113835 912666255 1451771710 4005105608 751287234 302982612 1197553093 1399333363 2198113725 2574124525 845806913 1458425424 1615253797 1395636308 3685278603 278391024 1959464560 3921716791 3849223336 862528282 1850408097 3697474984 650926817 7858640 4130407304 3422927828 981431909 3580586775 1483983059 747923439 591883807 41631115 2601938201 1372397451 3211363337 696153242 2208505003 2472421766 647855773 3196779904 925922010 580635280 4239169122 2165248382 3250564203 3972575452 1222363580 3407426168 458738044 3511064056 731808875 44042463 3590858506 689450930 2423144118 83806330 1985825055 3756969840 1915137042 1158758393 1529731296 266081613 2759680979 1313229786 3238606132 3407928691 233769183 1140697233 3811867567 1005806885 592299683 756286992 4292496570 4166318091 1395596458 3610251645 2895715650 122756152 2781675089 1223569584 3112272447 1943655403 3784698969 2390085409 3277223131 568648541 2610132595 1214636934 2416442562 747116949 2233210801 1875703628 1307345389 981495108 1308311832 3045609298 4213774830 292151490 608116297 781115367 47833505 95012172 1664168092 624225653 1047129096 1367808112 209455108 3397179286 738434992 1435600150 994861327 3069271554 751899787 840125759 4045959792 3888803945 4004559795 2395085010 4276051729 4013747808 1499773242 443329980 2662623596 588659054 2138776213 2132601965 3135268794 1139487186 3702151742 1464591854 1922802312 2269894850 109110276 3706498720 2841351351 3307459305 1999428873 2611596599 1407374296 3496609961 2483389762 1255462928 3184259379 1540607575 3040416600 2577527526 2459238601 2845063787 1216195305 2697927040 1362748397 3385318627 2116906054 386586681 3037780240 4278619167 3950171679 2398592580 2287142492 74466618 1162613077 2092439524 3094368655 3636114547 1650826933 1445981685 1519599678 174248349 187182952 491834423 2527566345 3060247524 1413699223 579974450 1069976492 4000324921 255 362436" option to reproduce the execution
0.00/0.02	c #vars 985
0.00/0.02	c #constraints 45
0.08/0.19	c BCD2: Hardening is enabled.
0.08/0.19	c BCD2: BiasedSearch is enabled.
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.08/0.19	c  0.0s |       0 |        0 |        0 |      348      0 |        0 |        0
0.19/0.29	c  0.1s |       1 |      879 |      100 |      348      0 |        0 |        0
0.29/0.30	c  0.1s |       1 |     1575 |      124 |      383      0 |        0 |        0
0.29/0.30	c #cpu_time = 0.107s
0.29/0.30	c #wall_clock_time = 0.107s
0.29/0.30	c #decision = 1575
0.29/0.30	c #random_decision = 7
0.29/0.30	c #conflict = 124
0.29/0.30	c #restart = 1
0.29/0.30	o 524317
0.29/0.30	c BCD2: updating upper bound: 524317 -> 524316
0.29/0.30	c BCD2: 0 <= obj <= 524316
0.29/0.30	c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0
0.29/0.30	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.30	c Solving starts ...
0.29/0.30	c ============================[ Search Statistics ]============================
0.29/0.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.30	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.30	c =============================================================================
0.29/0.30	c  0.0s |       0 |        0 |        0 |      383      0 |        0 |        0
0.39/0.42	c  0.1s |       1 |      157 |      100 |      383      0 |        0 |        0
0.49/0.59	c  0.3s |       2 |      359 |      250 |      422      0 |        0 |        0
0.79/0.86	c  0.6s |       3 |      631 |      475 |      465      0 |        0 |        0
1.20/1.28	c  1.0s |       4 |     1022 |      813 |      512      1 |        0 |        0
1.69/1.76	c  1.5s |       5 |     1580 |     1320 |      564      2 |        0 |        0
2.39/2.40	c  2.1s |       6 |     2443 |     2081 |      621      3 |        0 |        0
3.40/3.46	c  3.2s |       7 |     3685 |     3223 |      684      5 |        0 |        0
4.99/5.10	c  4.8s |       8 |     5556 |     4936 |      753      7 |        0 |        0
7.09/7.13	c  6.8s |       8 |     8138 |     7436 |      829     10 |        0 |        0
7.09/7.18	c  6.9s |       9 |     8215 |     7506 |      829     10 |        0 |        0
9.19/9.23	c  8.9s |       9 |    10933 |    10106 |      829     13 |        0 |        0
10.19/10.21	c  9.9s |      10 |    12195 |    11361 |      912     15 |        0 |        0
12.20/12.23	c 11.9s |      10 |    14783 |    13861 |      912     18 |        0 |        0
14.29/14.31	c 14.0s |      10 |    17504 |    16561 |      912     21 |        0 |        0
14.69/14.78	c 14.5s |      11 |    18089 |    17144 |     1004     21 |        0 |        0
16.79/16.82	c 16.5s |      11 |    20560 |    19544 |     1004     24 |        0 |        0
18.79/18.83	c 18.5s |      11 |    23055 |    22044 |     1004     26 |        0 |        0
20.79/20.83	c 20.5s |      11 |    25664 |    24644 |     1004     29 |        0 |        0
21.79/21.83	c 21.5s |      12 |    26836 |    25819 |     1105     30 |        0 |        0
23.79/23.89	c 23.6s |      12 |    29212 |    28119 |     1105     33 |        0 |        0
25.89/25.92	c 25.6s |      12 |    31713 |    30619 |     1105     35 |        0 |        0
27.88/27.99	c 27.7s |      12 |    34346 |    33219 |     1105     37 |        0 |        0
29.98/30.02	c 29.7s |      12 |    36768 |    35619 |     1105     40 |        0 |        0
31.99/32.08	c 31.8s |      12 |    39300 |    38119 |     1105     42 |        0 |        0
32.58/32.68	c 32.4s |      13 |    40019 |    38832 |     1216     43 |        0 |        0
34.68/34.74	c 34.4s |      13 |    42408 |    41132 |     1216     45 |        0 |        0
36.78/36.84	c 36.5s |      13 |    44929 |    43632 |     1216     48 |        0 |        0
38.78/38.87	c 38.6s |      13 |    47354 |    46032 |     1216     50 |        0 |        0
40.88/40.94	c 40.6s |      13 |    50189 |    48832 |     1216     52 |        0 |        0
42.89/42.96	c 42.7s |      13 |    52739 |    51332 |     1216     55 |        0 |        0
44.88/44.98	c 44.7s |      13 |    55265 |    53832 |     1216     57 |        0 |        0
46.98/47.04	c 46.7s |      13 |    57901 |    56432 |     1216     59 |        0 |        0
48.58/48.60	c 48.3s |      14 |    59828 |    58352 |     1338     61 |        0 |        0
50.59/50.62	c 50.3s |      14 |    62317 |    60752 |     1338     63 |        0 |        0
52.58/52.66	c 52.4s |      14 |    64571 |    62952 |     1338     65 |        0 |        0
54.68/54.72	c 54.4s |      14 |    67181 |    65552 |     1338     68 |        0 |        0
56.78/56.81	c 56.5s |      14 |    69696 |    68052 |     1338     70 |        0 |        0
58.78/58.86	c 58.6s |      14 |    72148 |    70452 |     1338     72 |        0 |        0
60.78/60.88	c 60.6s |      14 |    74847 |    73052 |     1338     74 |        0 |        0
62.88/62.95	c 62.6s |      14 |    77576 |    75752 |     1338     76 |        0 |        0
64.89/64.99	c 64.7s |      14 |    80094 |    78252 |     1338     79 |        0 |        0
66.98/67.00	c 66.7s |      14 |    82718 |    80852 |     1338     81 |        0 |        0
68.98/69.02	c 68.7s |      14 |    85330 |    83452 |     1338     83 |        0 |        0
70.98/71.04	c 70.7s |      14 |    87840 |    85952 |     1338     85 |        0 |        0
72.28/72.33	c 72.0s |      15 |    89537 |    87632 |     1472     87 |        0 |        0
74.28/74.34	c 74.0s |      15 |    91841 |    89832 |     1472     88 |        0 |        0
76.28/76.38	c 76.1s |      15 |    94163 |    92132 |     1472     90 |        0 |        0
78.38/78.45	c 78.1s |      15 |    96772 |    94732 |     1472     93 |        0 |        0
80.48/80.50	c 80.2s |      15 |    99182 |    97132 |     1472     94 |        0 |        0
82.48/82.58	c 82.3s |      15 |   101587 |    99532 |     1472     96 |        0 |        0
84.58/84.61	c 84.3s |      15 |   104099 |   102032 |     1472     99 |        0 |        0
86.57/86.65	c 86.3s |      15 |   106611 |   104532 |     1472    101 |        0 |        0
88.67/88.72	c 88.4s |      15 |   109034 |   106932 |     1472    103 |        0 |        0
90.67/90.73	c 90.4s |      15 |   111241 |   109132 |     1472    104 |        0 |        0
92.67/92.78	c 92.5s |      15 |   113477 |   111332 |     1472    106 |        0 |        0
94.77/94.81	c 94.5s |      15 |   115596 |   113432 |     1472    108 |        0 |        0
96.78/96.84	c 96.5s |      15 |   117847 |   115632 |     1472    110 |        0 |        0
98.87/98.92	c 98.6s |      15 |   120169 |   117932 |     1472    112 |        0 |        0
100.87/100.94	c  100s |      15 |   122411 |   120132 |     1472    113 |        0 |        0
102.87/102.97	c  102s |      15 |   124914 |   122632 |     1472    116 |        0 |        0
104.97/105.04	c  104s |      15 |   127524 |   125232 |     1472    118 |        0 |        0
107.07/107.11	c  106s |      15 |   130125 |   127832 |     1472    120 |        0 |        0
109.07/109.12	c  108s |      15 |   132432 |   130132 |     1472    122 |        0 |        0
110.37/110.41	c  110s |      16 |   133852 |   131552 |     1620    123 |        0 |        0
112.37/112.45	c  112s |      16 |   136121 |   133752 |     1620    124 |        0 |        0
114.38/114.45	c  114s |      16 |   138222 |   135852 |     1620    126 |        0 |        0
116.37/116.48	c  116s |      16 |   140646 |   138252 |     1620    128 |        0 |        0
118.47/118.54	c  118s |      16 |   143057 |   140652 |     1620    130 |        0 |        0
120.57/120.62	c  120s |      16 |   145372 |   142952 |     1620    132 |        0 |        0
122.57/122.65	c  122s |      16 |   147578 |   145152 |     1620    133 |        0 |        0
124.67/124.70	c  124s |      16 |   149930 |   147452 |     1620    135 |        0 |        0
126.67/126.76	c  126s |      16 |   152146 |   149652 |     1620    137 |        0 |        0
128.77/128.85	c  128s |      16 |   154466 |   151952 |     1620    139 |        0 |        0
130.77/130.88	c  130s |      16 |   157005 |   154452 |     1620    140 |        0 |        0
132.86/132.93	c  132s |      16 |   159654 |   157052 |     1620    142 |        0 |        0
134.86/134.96	c  134s |      16 |   162160 |   159552 |     1620    144 |        0 |        0
136.86/136.97	c  136s |      16 |   164405 |   161752 |     1620    146 |        0 |        0
138.86/138.97	c  138s |      16 |   166628 |   163952 |     1620    148 |        0 |        0
140.96/141.01	c  140s |      16 |   168845 |   166152 |     1620    150 |        0 |        0
142.97/143.03	c  142s |      16 |   171066 |   168352 |     1620    151 |        0 |        0
144.96/145.09	c  144s |      16 |   173271 |   170552 |     1620    153 |        0 |        0
147.06/147.11	c  146s |      16 |   175420 |   172652 |     1620    155 |        0 |        0
149.16/149.22	c  148s |      16 |   177781 |   174952 |     1620    156 |        0 |        0
151.16/151.25	c  150s |      16 |   179795 |   176952 |     1620    158 |        0 |        0
153.17/153.28	c  152s |      16 |   181957 |   179052 |     1620    160 |        0 |        0
155.27/155.37	c  155s |      16 |   184169 |   181252 |     1620    161 |        0 |        0
157.38/157.45	c  157s |      16 |   186302 |   183352 |     1620    163 |        0 |        0
159.37/159.50	c  159s |      16 |   188218 |   185252 |     1620    164 |        0 |        0
161.47/161.54	c  161s |      16 |   190132 |   187152 |     1620    166 |        0 |        0
163.47/163.56	c  163s |      16 |   192071 |   189052 |     1620    167 |        0 |        0
165.57/165.61	c  165s |      16 |   194005 |   190952 |     1620    169 |        0 |        0
167.57/167.63	c  167s |      16 |   195926 |   192852 |     1620    170 |        0 |        0
169.67/169.72	c  169s |      16 |   197900 |   194752 |     1620    172 |        0 |        0
171.76/171.81	c  171s |      16 |   199866 |   196652 |     1783    173 |        0 |        0
172.56/172.69	c  172s |      17 |   200647 |   197432 |     1783    174 |        0 |        0
174.66/174.73	c  174s |      17 |   202814 |   199532 |     1783    175 |        0 |        0
176.66/176.78	c  176s |      17 |   204835 |   201532 |     1783    177 |        0 |        0
178.76/178.83	c  178s |      17 |   206949 |   203632 |     1783    178 |        0 |        0
180.76/180.86	c  180s |      17 |   208976 |   205632 |     1783    180 |        0 |        0
182.86/182.94	c  182s |      17 |   211106 |   207732 |     1783    181 |        0 |        0
184.86/184.99	c  184s |      17 |   213134 |   209732 |     1783    183 |        0 |        0
186.96/187.08	c  186s |      17 |   215058 |   211632 |     1783    184 |        0 |        0
188.95/189.09	c  188s |      17 |   216999 |   213532 |     1783    185 |        0 |        0
191.05/191.11	c  190s |      17 |   219124 |   215632 |     1783    187 |        0 |        0
193.05/193.14	c  192s |      17 |   221553 |   218032 |     1783    189 |        0 |        0
195.05/195.17	c  194s |      17 |   223764 |   220232 |     1783    190 |        0 |        0
197.05/197.17	c  196s |      17 |   225880 |   222332 |     1783    192 |        0 |        0
199.05/199.19	c  198s |      17 |   228032 |   224432 |     1783    193 |        0 |        0
201.14/201.23	c  200s |      17 |   230160 |   226532 |     1783    195 |        0 |        0
203.14/203.28	c  202s |      17 |   232304 |   228632 |     1783    196 |        0 |        0
205.24/205.34	c  205s |      17 |   234413 |   230732 |     1783    198 |        0 |        0
207.34/207.40	c  207s |      17 |   236520 |   232832 |     1783    200 |        0 |        0
209.34/209.47	c  209s |      17 |   238934 |   235232 |     1783    201 |        0 |        0
211.44/211.55	c  211s |      17 |   241238 |   237532 |     1783    203 |        0 |        0
213.45/213.59	c  213s |      17 |   243341 |   239632 |     1783    204 |        0 |        0
215.55/215.66	c  215s |      17 |   245562 |   241832 |     1783    206 |        0 |        0
217.53/217.69	c  217s |      17 |   247778 |   244032 |     1783    208 |        0 |        0
219.63/219.70	c  219s |      17 |   250091 |   246332 |     1783    209 |        0 |        0
221.63/221.73	c  221s |      17 |   252307 |   248532 |     1783    211 |        0 |        0
223.64/223.76	c  223s |      17 |   254437 |   250632 |     1783    213 |        0 |        0
225.64/225.76	c  225s |      17 |   256761 |   252932 |     1783    214 |        0 |        0
227.75/227.84	c  227s |      17 |   258979 |   255132 |     1783    216 |        0 |        0
229.74/229.85	c  229s |      17 |   261178 |   257332 |     1783    217 |        0 |        0
231.84/231.93	c  231s |      17 |   263380 |   259532 |     1783    219 |        0 |        0
233.94/234.00	c  233s |      17 |   265490 |   261632 |     1783    221 |        0 |        0
235.94/236.05	c  235s |      17 |   267611 |   263732 |     1783    222 |        0 |        0
238.03/238.19	c  237s |      17 |   269632 |   265732 |     1783    224 |        0 |        0
240.13/240.28	c  239s |      17 |   271645 |   267732 |     1783    225 |        0 |        0
242.23/242.31	c  242s |      17 |   273650 |   269732 |     1783    226 |        0 |        0
244.33/244.40	c  244s |      17 |   275765 |   271832 |     1783    228 |        0 |        0
246.34/246.42	c  246s |      17 |   277994 |   274032 |     1783    230 |        0 |        0
248.33/248.46	c  248s |      17 |   280393 |   276432 |     1783    231 |        0 |        0
250.43/250.52	c  250s |      17 |   283091 |   279132 |     1783    233 |        0 |        0
252.43/252.58	c  252s |      17 |   285490 |   281532 |     1783    235 |        0 |        0
254.53/254.63	c  254s |      17 |   287996 |   284032 |     1783    237 |        0 |        0
256.53/256.64	c  256s |      17 |   290494 |   286532 |     1783    239 |        0 |        0
258.53/258.66	c  258s |      17 |   292991 |   289032 |     1783    241 |        0 |        0
260.63/260.73	c  260s |      17 |   295518 |   291532 |     1783    242 |        0 |        0
262.63/262.76	c  262s |      17 |   297844 |   293832 |     1783    244 |        0 |        0
264.63/264.70	c  264s |      18 |   300283 |   296252 |     1962    246 |        0 |        0
266.63/266.79	c  266s |      18 |   302876 |   298752 |     1962    247 |        0 |        0
268.72/268.81	c  268s |      18 |   305303 |   301152 |     1962    249 |        0 |        0
270.72/270.85	c  270s |      18 |   307725 |   303552 |     1962    251 |        0 |        0
272.73/272.89	c  272s |      18 |   310360 |   306152 |     1962    252 |        0 |        0
274.82/274.92	c  274s |      18 |   312690 |   308452 |     1962    254 |        0 |        0
276.82/276.98	c  276s |      18 |   315104 |   310852 |     1962    256 |        0 |        0
278.92/279.02	c  278s |      18 |   317513 |   313252 |     1962    257 |        0 |        0
281.02/281.11	c  280s |      18 |   319930 |   315652 |     1962    259 |        0 |        0
283.02/283.12	c  282s |      18 |   322349 |   318052 |     1962    261 |        0 |        0
285.02/285.18	c  284s |      18 |   325081 |   320752 |     1962    262 |        0 |        0
287.12/287.24	c  286s |      18 |   327692 |   323352 |     1962    264 |        0 |        0
289.12/289.29	c  288s |      18 |   330132 |   325752 |     1962    266 |        0 |        0
291.21/291.37	c  291s |      18 |   332450 |   328052 |     1962    267 |        0 |        0
293.31/293.40	c  293s |      18 |   334668 |   330252 |     1962    269 |        0 |        0
295.31/295.40	c  295s |      18 |   337074 |   332652 |     1962    271 |        0 |        0
297.41/297.50	c  297s |      18 |   339396 |   334952 |     1962    272 |        0 |        0
299.41/299.52	c  299s |      18 |   341501 |   337052 |     1962    274 |        0 |        0
301.42/301.53	c  301s |      18 |   343733 |   339252 |     1962    275 |        0 |        0
303.41/303.56	c  303s |      18 |   345948 |   341452 |     1962    277 |        0 |        0
305.51/305.64	c  305s |      18 |   348258 |   343752 |     1962    278 |        0 |        0
307.51/307.68	c  307s |      18 |   350459 |   345952 |     1962    280 |        0 |        0
309.61/309.76	c  309s |      18 |   352662 |   348152 |     1962    281 |        0 |        0
311.61/311.79	c  311s |      18 |   355185 |   350652 |     1962    283 |        0 |        0
313.71/313.81	c  313s |      18 |   357719 |   353152 |     1962    285 |        0 |        0
315.71/315.81	c  315s |      18 |   360128 |   355552 |     1962    286 |        0 |        0
317.70/317.83	c  317s |      18 |   362548 |   357952 |     1962    288 |        0 |        0
319.70/319.89	c  319s |      18 |   365062 |   360452 |     1962    290 |        0 |        0
321.80/321.94	c  321s |      18 |   367483 |   362852 |     1962    291 |        0 |        0
323.80/323.99	c  323s |      18 |   369805 |   365152 |     1962    293 |        0 |        0
326.00/326.10	c  325s |      18 |   372229 |   367552 |     1962    295 |        0 |        0
328.00/328.10	c  327s |      18 |   374767 |   370052 |     1962    296 |        0 |        0
330.00/330.14	c  329s |      18 |   377190 |   372452 |     1962    298 |        0 |        0
332.10/332.21	c  331s |      18 |   379733 |   374952 |     1962    300 |        0 |        0
334.10/334.24	c  333s |      18 |   382303 |   377452 |     1962    301 |        0 |        0
336.09/336.26	c  335s |      18 |   384630 |   379752 |     1962    303 |        0 |        0
338.19/338.30	c  337s |      18 |   387037 |   382152 |     1962    305 |        0 |        0
340.19/340.34	c  340s |      18 |   389364 |   384452 |     1962    306 |        0 |        0
342.19/342.34	c  342s |      18 |   391782 |   386852 |     1962    308 |        0 |        0
344.20/344.35	c  344s |      18 |   394106 |   389152 |     1962    309 |        0 |        0
346.19/346.37	c  346s |      18 |   396415 |   391452 |     1962    311 |        0 |        0
348.29/348.44	c  348s |      18 |   398840 |   393852 |     1962    313 |        0 |        0
350.29/350.47	c  350s |      18 |   401263 |   396252 |     1962    314 |        0 |        0
352.39/352.52	c  352s |      18 |   403589 |   398552 |     1962    316 |        0 |        0
354.39/354.55	c  354s |      18 |   406497 |   401452 |     1962    318 |        0 |        0
356.39/356.55	c  356s |      18 |   409097 |   404052 |     1962    320 |        0 |        0
358.49/358.61	c  358s |      18 |   411814 |   406752 |     1962    321 |        0 |        0
360.48/360.66	c  360s |      18 |   414512 |   409452 |     1962    323 |        0 |        0
362.48/362.69	c  362s |      18 |   417221 |   412152 |     1962    325 |        0 |        0
364.58/364.75	c  364s |      18 |   419931 |   414852 |     1962    327 |        0 |        0
366.58/366.77	c  366s |      18 |   422745 |   417652 |     1962    329 |        0 |        0
368.59/368.78	c  368s |      18 |   425251 |   420152 |     1962    331 |        0 |        0
370.69/370.82	c  370s |      18 |   427864 |   422752 |     1962    332 |        0 |        0
372.69/372.84	c  372s |      18 |   430567 |   425452 |     1962    334 |        0 |        0
374.68/374.88	c  374s |      18 |   433068 |   427952 |     1962    336 |        0 |        0
376.78/376.91	c  376s |      18 |   435380 |   430252 |     1962    338 |        0 |        0
378.78/378.98	c  378s |      18 |   437788 |   432652 |     1962    339 |        0 |        0
380.88/381.03	c  380s |      18 |   440188 |   435052 |     1962    341 |        0 |        0
382.88/383.09	c  382s |      18 |   442599 |   437452 |     1962    342 |        0 |        0
384.89/385.10	c  384s |      18 |   445005 |   439852 |     1962    344 |        0 |        0
386.98/387.15	c  386s |      18 |   447505 |   442352 |     2159    346 |        0 |        0
388.68/388.85	c  388s |      19 |   449642 |   444482 |     2159    347 |        0 |        0
390.68/390.89	c  390s |      19 |   451813 |   446582 |     2159    349 |        0 |        0
392.78/392.93	c  392s |      19 |   454237 |   448982 |     2159    350 |        0 |        0
394.78/394.97	c  394s |      19 |   456474 |   451182 |     2159    352 |        0 |        0
396.88/397.03	c  396s |      19 |   458904 |   453582 |     2159    353 |        0 |        0
398.87/399.06	c  398s |      19 |   461114 |   455782 |     2159    355 |        0 |        0
400.87/401.07	c  400s |      19 |   463234 |   457882 |     2159    356 |        0 |        0
402.97/403.14	c  402s |      19 |   465558 |   460182 |     2159    357 |        0 |        0
405.07/405.21	c  404s |      19 |   467892 |   462482 |     2159    359 |        0 |        0
407.07/407.22	c  406s |      19 |   470231 |   464782 |     2159    360 |        0 |        0
409.07/409.28	c  408s |      19 |   472576 |   467082 |     2159    362 |        0 |        0
411.17/411.31	c  411s |      19 |   474784 |   469282 |     2159    363 |        0 |        0
413.17/413.34	c  413s |      19 |   476995 |   471482 |     2159    365 |        0 |        0
415.27/415.40	c  415s |      19 |   479439 |   473882 |     2159    366 |        0 |        0
417.26/417.45	c  417s |      19 |   481651 |   476082 |     2159    368 |        0 |        0
419.26/419.46	c  419s |      19 |   483875 |   478282 |     2159    369 |        0 |        0
421.36/421.54	c  421s |      19 |   486106 |   480482 |     2159    370 |        0 |        0
423.37/423.58	c  423s |      19 |   488628 |   482982 |     2159    372 |        0 |        0
425.36/425.59	c  425s |      19 |   491069 |   485382 |     2159    374 |        0 |        0
427.46/427.63	c  427s |      19 |   493487 |   487782 |     2159    375 |        0 |        0
429.46/429.68	c  429s |      19 |   495934 |   490182 |     2159    377 |        0 |        0
431.56/431.76	c  431s |      19 |   498455 |   492682 |     2159    378 |        0 |        0
433.56/433.76	c  433s |      19 |   500779 |   494982 |     2159    380 |        0 |        0
435.66/435.82	c  435s |      19 |   503281 |   497482 |     2159    381 |        0 |        0
437.66/437.87	c  437s |      19 |   505714 |   499882 |     2159    383 |        0 |        0
439.75/439.93	c  439s |      19 |   508229 |   502382 |     2159    384 |        0 |        0
441.75/441.97	c  441s |      19 |   510448 |   504582 |     2159    386 |        0 |        0
443.85/444.03	c  443s |      19 |   512794 |   506882 |     2159    387 |        0 |        0
445.85/446.04	c  445s |      19 |   515219 |   509282 |     2159    389 |        0 |        0
447.85/448.09	c  447s |      19 |   517430 |   511482 |     2159    390 |        0 |        0
449.95/450.10	c  449s |      19 |   519529 |   513582 |     2159    392 |        0 |        0
451.95/452.16	c  451s |      19 |   521751 |   515782 |     2159    393 |        0 |        0
453.95/454.18	c  453s |      19 |   523962 |   517982 |     2159    394 |        0 |        0
456.05/456.21	c  455s |      19 |   526379 |   520382 |     2159    396 |        0 |        0
458.04/458.27	c  457s |      19 |   528700 |   522682 |     2159    397 |        0 |        0
460.04/460.28	c  459s |      19 |   530912 |   524882 |     2159    399 |        0 |        0
462.14/462.32	c  462s |      19 |   533210 |   527182 |     2159    400 |        0 |        0
464.15/464.33	c  464s |      19 |   535543 |   529482 |     2159    402 |        0 |        0
466.25/466.40	c  466s |      19 |   538068 |   531982 |     2159    403 |        0 |        0
468.24/468.41	c  468s |      19 |   540482 |   534382 |     2159    405 |        0 |        0
470.24/470.49	c  470s |      19 |   542903 |   536782 |     2159    407 |        0 |        0
472.34/472.54	c  472s |      19 |   545632 |   539482 |     2159    408 |        0 |        0
474.34/474.57	c  474s |      19 |   548043 |   541882 |     2159    410 |        0 |        0
476.44/476.63	c  476s |      19 |   550550 |   544382 |     2159    411 |        0 |        0
478.44/478.65	c  478s |      19 |   552966 |   546782 |     2159    413 |        0 |        0
480.54/480.72	c  480s |      19 |   555376 |   549182 |     2159    414 |        0 |        0
482.53/482.75	c  482s |      19 |   557689 |   551482 |     2159    416 |        0 |        0
484.63/484.86	c  484s |      19 |   560098 |   553882 |     2159    418 |        0 |        0
486.73/486.91	c  486s |      19 |   562538 |   556282 |     2159    419 |        0 |        0
488.73/488.93	c  488s |      19 |   564848 |   558582 |     2159    421 |        0 |        0
490.83/491.02	c  490s |      19 |   567180 |   560882 |     2159    422 |        0 |        0
492.83/493.06	c  492s |      19 |   569429 |   563082 |     2159    423 |        0 |        0
494.93/495.14	c  494s |      19 |   571757 |   565382 |     2159    425 |        0 |        0
496.93/497.16	c  496s |      19 |   573999 |   567582 |     2159    426 |        0 |        0
499.03/499.22	c  498s |      19 |   576325 |   569882 |     2159    428 |        0 |        0
501.03/501.27	c  500s |      19 |   578639 |   572182 |     2159    429 |        0 |        0
503.13/503.35	c  503s |      19 |   580848 |   574382 |     2159    431 |        0 |        0
505.23/505.43	c  505s |      19 |   583163 |   576682 |     2159    432 |        0 |        0
507.23/507.44	c  507s |      19 |   585291 |   578782 |     2159    434 |        0 |        0
509.23/509.47	c  509s |      19 |   587405 |   580882 |     2159    435 |        0 |        0
511.33/511.55	c  511s |      19 |   589528 |   582982 |     2159    436 |        0 |        0
513.33/513.58	c  513s |      19 |   591642 |   585082 |     2159    438 |        0 |        0
515.43/515.66	c  515s |      19 |   593866 |   587282 |     2159    439 |        0 |        0
517.52/517.70	c  517s |      19 |   596071 |   589482 |     2159    440 |        0 |        0
519.52/519.77	c  519s |      19 |   598180 |   591582 |     2159    442 |        0 |        0
521.62/521.82	c  521s |      19 |   600292 |   593682 |     2159    443 |        0 |        0
523.62/523.85	c  523s |      19 |   602409 |   595782 |     2159    444 |        0 |        0
525.73/525.90	c  525s |      19 |   604534 |   597882 |     2159    446 |        0 |        0
527.72/527.95	c  527s |      19 |   606649 |   599982 |     2159    447 |        0 |        0
529.82/530.04	c  529s |      19 |   608768 |   602082 |     2159    449 |        0 |        0
531.82/532.06	c  531s |      19 |   611071 |   604382 |     2159    450 |        0 |        0
533.91/534.13	c  533s |      19 |   613378 |   606682 |     2159    451 |        0 |        0
535.91/536.14	c  535s |      19 |   615594 |   608882 |     2159    453 |        0 |        0
537.91/538.18	c  537s |      19 |   618102 |   611382 |     2159    455 |        0 |        0
540.02/540.24	c  539s |      19 |   620617 |   613882 |     2159    456 |        0 |        0
542.01/542.29	c  541s |      19 |   623014 |   616282 |     2159    458 |        0 |        0
544.11/544.35	c  544s |      19 |   625426 |   618682 |     2159    459 |        0 |        0
546.21/546.41	c  546s |      19 |   627626 |   620882 |     2159    461 |        0 |        0
548.21/548.49	c  548s |      19 |   630044 |   623282 |     2159    462 |        0 |        0
550.31/550.52	c  550s |      19 |   632353 |   625582 |     2159    464 |        0 |        0
552.31/552.53	c  552s |      19 |   634461 |   627682 |     2159    465 |        0 |        0
554.31/554.54	c  554s |      19 |   636464 |   629682 |     2159    466 |        0 |        0
556.30/556.57	c  556s |      19 |   638589 |   631782 |     2159    468 |        0 |        0
558.40/558.67	c  558s |      19 |   640788 |   633982 |     2159    469 |        0 |        0
560.40/560.69	c  560s |      19 |   642894 |   636082 |     2159    470 |        0 |        0
562.50/562.71	c  562s |      19 |   645099 |   638282 |     2159    472 |        0 |        0
564.50/564.78	c  564s |      19 |   647608 |   640782 |     2159    473 |        0 |        0
566.50/566.79	c  566s |      19 |   649826 |   642982 |     2159    475 |        0 |        0
568.60/568.82	c  568s |      19 |   652142 |   645282 |     2159    476 |        0 |        0
570.59/570.89	c  570s |      19 |   654452 |   647582 |     2159    478 |        0 |        0
572.69/572.93	c  572s |      19 |   656744 |   649882 |     2159    479 |        0 |        0
574.69/574.94	c  574s |      19 |   658851 |   651982 |     2159    481 |        0 |        0
576.69/576.97	c  576s |      19 |   661054 |   654182 |     2159    482 |        0 |        0
578.79/579.04	c  578s |      19 |   663257 |   656382 |     2159    483 |        0 |        0
580.79/581.05	c  580s |      19 |   665560 |   658682 |     2159    485 |        0 |        0
582.90/583.13	c  582s |      19 |   667856 |   660982 |     2159    486 |        0 |        0
584.89/585.14	c  584s |      19 |   670276 |   663382 |     2375    488 |        0 |        0
586.99/587.21	c  586s |      19 |   672577 |   665682 |     2375    489 |        0 |        0
587.99/588.26	c  587s |      20 |   673718 |   666827 |     2375    490 |        0 |        0
590.09/590.30	c  589s |      20 |   676101 |   669127 |     2375    491 |        0 |        0
592.09/592.32	c  592s |      20 |   678398 |   671427 |     2375    493 |        0 |        0
594.08/594.33	c  594s |      20 |   680817 |   673827 |     2375    494 |        0 |        0
596.09/596.38	c  596s |      20 |   683241 |   676227 |     2375    495 |        0 |        0
598.19/598.41	c  598s |      20 |   685585 |   678527 |     2375    497 |        0 |        0
600.18/600.48	c  600s |      20 |   688013 |   680927 |     2375    498 |        0 |        0
602.28/602.52	c  602s |      20 |   690418 |   683327 |     2375    500 |        0 |        0
604.28/604.54	c  604s |      20 |   692840 |   685727 |     2375    501 |        0 |        0
606.28/606.54	c  606s |      20 |   695069 |   687927 |     2375    503 |        0 |        0
608.38/608.60	c  608s |      20 |   697469 |   690327 |     2375    504 |        0 |        0
610.38/610.62	c  610s |      20 |   699982 |   692827 |     2375    505 |        0 |        0
612.38/612.65	c  612s |      20 |   702403 |   695227 |     2375    507 |        0 |        0
614.47/614.72	c  614s |      20 |   705118 |   697927 |     2375    509 |        0 |        0
616.47/616.73	c  616s |      20 |   707723 |   700527 |     2375    510 |        0 |        0
618.47/618.73	c  618s |      20 |   710132 |   702927 |     2375    512 |        0 |        0
620.47/620.76	c  620s |      20 |   712633 |   705427 |     2375    513 |        0 |        0
622.57/622.81	c  622s |      20 |   715036 |   707827 |     2375    514 |        0 |        0
624.57/624.85	c  624s |      20 |   717474 |   710227 |     2375    516 |        0 |        0
626.67/626.92	c  626s |      20 |   719917 |   712627 |     2375    517 |        0 |        0
628.66/628.95	c  628s |      20 |   722135 |   714827 |     2375    519 |        0 |        0
630.66/630.96	c  630s |      20 |   724472 |   717127 |     2375    520 |        0 |        0
632.76/633.00	c  632s |      20 |   726795 |   719427 |     2375    521 |        0 |        0
634.76/635.06	c  634s |      20 |   729017 |   721627 |     2375    523 |        0 |        0
636.77/637.07	c  636s |      20 |   731288 |   723827 |     2375    524 |        0 |        0
638.76/639.08	c  638s |      20 |   733509 |   726027 |     2375    525 |        0 |        0
640.76/641.08	c  640s |      20 |   735728 |   728227 |     2375    527 |        0 |        0
642.86/643.14	c  642s |      20 |   738157 |   730627 |     2375    528 |        0 |        0
644.96/645.20	c  644s |      20 |   740467 |   732927 |     2375    530 |        0 |        0
646.96/647.27	c  646s |      20 |   742768 |   735227 |     2375    531 |        0 |        0
649.05/649.31	c  649s |      20 |   744884 |   737327 |     2375    532 |        0 |        0
651.06/651.34	c  651s |      20 |   747186 |   739627 |     2375    534 |        0 |        0
653.05/653.38	c  653s |      20 |   749597 |   742027 |     2375    535 |        0 |        0
655.15/655.43	c  655s |      20 |   751908 |   744327 |     2375    536 |        0 |        0
657.15/657.43	c  657s |      20 |   754204 |   746627 |     2375    538 |        0 |        0
659.25/659.50	c  659s |      20 |   756517 |   748927 |     2375    539 |        0 |        0
661.25/661.52	c  661s |      20 |   759023 |   751427 |     2375    541 |        0 |        0
663.25/663.52	c  663s |      20 |   761526 |   753927 |     2375    542 |        0 |        0
665.25/665.55	c  665s |      20 |   763931 |   756327 |     2375    544 |        0 |        0
667.25/667.58	c  667s |      20 |   766457 |   758827 |     2375    545 |        0 |        0
669.34/669.60	c  669s |      20 |   768868 |   761227 |     2375    547 |        0 |        0
671.34/671.68	c  671s |      20 |   771497 |   763827 |     2375    548 |        0 |        0
673.44/673.73	c  673s |      20 |   774026 |   766327 |     2375    550 |        0 |        0
675.54/675.82	c  675s |      20 |   776553 |   768827 |     2375    551 |        0 |        0
677.55/677.89	c  677s |      20 |   779037 |   771227 |     2375    553 |        0 |        0
679.55/679.89	c  679s |      20 |   781365 |   773527 |     2375    554 |        0 |        0
681.65/681.95	c  681s |      20 |   783670 |   775827 |     2375    555 |        0 |        0
683.65/683.95	c  683s |      20 |   785904 |   778027 |     2375    557 |        0 |        0
685.75/686.03	c  685s |      20 |   788241 |   780327 |     2375    558 |        0 |        0
687.84/688.11	c  687s |      20 |   790695 |   782727 |     2375    559 |        0 |        0
689.84/690.16	c  689s |      20 |   793025 |   785027 |     2375    561 |        0 |        0
691.84/692.18	c  691s |      20 |   795348 |   787327 |     2375    562 |        0 |        0
693.95/694.21	c  693s |      20 |   797796 |   789727 |     2375    564 |        0 |        0
695.94/696.21	c  695s |      20 |   800212 |   792127 |     2375    565 |        0 |        0
697.94/698.28	c  697s |      20 |   802620 |   794527 |     2375    567 |        0 |        0
700.04/700.30	c  700s |      20 |   804942 |   796827 |     2375    568 |        0 |        0
702.04/702.34	c  702s |      20 |   807157 |   799027 |     2375    569 |        0 |        0
704.04/704.39	c  704s |      20 |   809367 |   801227 |     2375    571 |        0 |        0
706.14/706.47	c  706s |      20 |   811682 |   803527 |     2375    572 |        0 |        0
708.24/708.55	c  708s |      20 |   813992 |   805827 |     2375    573 |        0 |        0
710.23/710.58	c  710s |      20 |   816296 |   808127 |     2375    575 |        0 |        0
712.33/712.60	c  712s |      20 |   818615 |   810427 |     2375    576 |        0 |        0
714.33/714.63	c  714s |      20 |   820943 |   812727 |     2375    577 |        0 |        0
716.33/716.65	c  716s |      20 |   823272 |   815027 |     2375    579 |        0 |        0
718.33/718.69	c  718s |      20 |   825901 |   817627 |     2375    580 |        0 |        0
720.43/720.74	c  720s |      20 |   828241 |   819927 |     2375    582 |        0 |        0
722.43/722.77	c  722s |      20 |   830684 |   822327 |     2375    583 |        0 |        0
724.53/724.89	c  724s |      20 |   832903 |   824527 |     2375    585 |        0 |        0
726.63/726.91	c  726s |      20 |   835228 |   826827 |     2375    586 |        0 |        0
728.62/728.96	c  728s |      20 |   837649 |   829227 |     2375    587 |        0 |        0
730.72/731.01	c  730s |      20 |   839894 |   831427 |     2375    589 |        0 |        0
732.72/733.06	c  732s |      20 |   842111 |   833627 |     2375    590 |        0 |        0
734.82/735.11	c  734s |      20 |   844451 |   835927 |     2375    591 |        0 |        0
736.83/737.11	c  736s |      20 |   846594 |   838027 |     2375    593 |        0 |        0
738.82/739.20	c  738s |      20 |   848818 |   840227 |     2375    594 |        0 |        0
740.92/741.25	c  740s |      20 |   851130 |   842527 |     2375    595 |        0 |        0
742.92/743.26	c  742s |      20 |   853444 |   844827 |     2375    597 |        0 |        0
744.91/745.29	c  744s |      20 |   855765 |   847127 |     2375    598 |        0 |        0
747.01/747.32	c  747s |      20 |   858191 |   849527 |     2375    600 |        0 |        0
749.11/749.40	c  749s |      20 |   860601 |   851927 |     2375    601 |        0 |        0
751.12/751.42	c  751s |      20 |   862826 |   854127 |     2375    602 |        0 |        0
753.11/753.48	c  753s |      20 |   864957 |   856227 |     2375    604 |        0 |        0
755.21/755.53	c  755s |      20 |   867160 |   858427 |     2375    605 |        0 |        0
757.21/757.59	c  757s |      20 |   869688 |   860927 |     2375    606 |        0 |        0
759.31/759.61	c  759s |      20 |   871908 |   863127 |     2375    608 |        0 |        0
761.31/761.66	c  761s |      20 |   874236 |   865427 |     2375    609 |        0 |        0
763.31/763.66	c  763s |      20 |   876474 |   867627 |     2375    610 |        0 |        0
765.41/765.73	c  765s |      20 |   878793 |   869927 |     2375    612 |        0 |        0
767.40/767.78	c  767s |      20 |   881216 |   872327 |     2375    613 |        0 |        0
769.50/769.85	c  769s |      20 |   883572 |   874627 |     2375    615 |        0 |        0
771.50/771.88	c  771s |      20 |   885878 |   876927 |     2375    616 |        0 |        0
773.60/773.90	c  773s |      20 |   888293 |   879327 |     2375    617 |        0 |        0
775.60/775.93	c  775s |      20 |   890725 |   881727 |     2375    619 |        0 |        0
777.60/777.99	c  777s |      20 |   893050 |   884027 |     2375    620 |        0 |        0
779.71/780.01	c  779s |      20 |   895391 |   886327 |     2375    622 |        0 |        0
781.70/782.07	c  781s |      20 |   897721 |   888627 |     2375    623 |        0 |        0
783.80/784.16	c  783s |      20 |   900046 |   890927 |     2375    624 |        0 |        0
785.90/786.24	c  785s |      20 |   902382 |   893227 |     2375    626 |        0 |        0
788.00/788.30	c  788s |      20 |   904688 |   895527 |     2375    627 |        0 |        0
790.00/790.35	c  790s |      20 |   906904 |   897727 |     2375    629 |        0 |        0
792.10/792.40	c  792s |      20 |   909116 |   899927 |     2375    630 |        0 |        0
794.10/794.41	c  794s |      20 |   911525 |   902327 |     2375    631 |        0 |        0
796.10/796.45	c  796s |      20 |   914048 |   904827 |     2375    633 |        0 |        0
798.19/798.54	c  798s |      20 |   916463 |   907227 |     2375    634 |        0 |        0
800.19/800.57	c  800s |      20 |   918874 |   909627 |     2375    636 |        0 |        0
802.19/802.58	c  802s |      20 |   921089 |   911827 |     2375    637 |        0 |        0
804.29/804.65	c  804s |      20 |   923302 |   914027 |     2375    638 |        0 |        0
806.29/806.69	c  806s |      20 |   925411 |   916127 |     2375    640 |        0 |        0
808.39/808.71	c  808s |      20 |   927543 |   918227 |     2375    641 |        0 |        0
810.39/810.79	c  810s |      20 |   929843 |   920527 |     2375    642 |        0 |        0
812.39/812.79	c  812s |      20 |   931949 |   922627 |     2375    644 |        0 |        0
814.49/814.82	c  814s |      20 |   934167 |   924827 |     2375    645 |        0 |        0
816.48/816.84	c  816s |      20 |   936482 |   927127 |     2375    646 |        0 |        0
818.48/818.89	c  818s |      20 |   938690 |   929327 |     2375    648 |        0 |        0
820.48/820.89	c  820s |      20 |   941021 |   931627 |     2375    649 |        0 |        0
822.59/822.93	c  822s |      20 |   943411 |   934027 |     2375    650 |        0 |        0
824.58/824.98	c  824s |      20 |   946226 |   936827 |     2375    652 |        0 |        0
826.68/827.00	c  826s |      20 |   948829 |   939427 |     2375    654 |        0 |        0
828.68/829.02	c  828s |      20 |   951433 |   942027 |     2375    655 |        0 |        0
830.68/831.04	c  830s |      20 |   953850 |   944427 |     2375    657 |        0 |        0
832.68/833.05	c  832s |      20 |   956176 |   946727 |     2375    658 |        0 |        0
834.78/835.14	c  834s |      20 |   958496 |   949027 |     2375    659 |        0 |        0
836.79/837.17	c  836s |      20 |   960725 |   951227 |     2375    661 |        0 |        0
838.88/839.24	c  838s |      20 |   962945 |   953427 |     2375    662 |        0 |        0
840.88/841.29	c  840s |      20 |   965166 |   955627 |     2375    663 |        0 |        0
842.98/843.38	c  843s |      20 |   967473 |   957927 |     2375    665 |        0 |        0
845.08/845.40	c  845s |      20 |   969780 |   960227 |     2375    666 |        0 |        0
847.08/847.49	c  847s |      20 |   972093 |   962527 |     2375    668 |        0 |        0
849.08/849.49	c  849s |      20 |   974199 |   964627 |     2375    669 |        0 |        0
851.08/851.50	c  851s |      20 |   976421 |   966827 |     2375    670 |        0 |        0
853.18/853.59	c  853s |      20 |   978741 |   969127 |     2375    671 |        0 |        0
855.28/855.60	c  855s |      20 |   981073 |   971427 |     2375    673 |        0 |        0
857.28/857.67	c  857s |      20 |   983291 |   973627 |     2375    674 |        0 |        0
859.38/859.72	c  859s |      20 |   985517 |   975827 |     2375    675 |        0 |        0
861.38/861.77	c  861s |      20 |   987740 |   978027 |     2375    677 |        0 |        0
863.48/863.85	c  863s |      20 |   990046 |   980327 |     2375    678 |        0 |        0
865.48/865.85	c  865s |      20 |   992251 |   982527 |     2375    680 |        0 |        0
867.58/867.90	c  867s |      20 |   994670 |   984927 |     2375    681 |        0 |        0
869.57/869.99	c  869s |      20 |   996969 |   987227 |     2375    682 |        0 |        0
871.67/872.04	c  871s |      20 |   999200 |   989427 |     2375    684 |        0 |        0
873.67/874.08	c  873s |      20 |  1001307 |   991527 |     2375    685 |        0 |        0
875.67/876.09	c  875s |      20 |  1003519 |   993727 |     2613    686 |        0 |        0
877.77/878.13	c  877s |      20 |  1005736 |   995927 |     2613    687 |        0 |        0
879.78/880.15	c  879s |      20 |  1007846 |   998027 |     2613    689 |        0 |        0
881.77/882.17	c  881s |      20 |  1009856 |  1000027 |     2613    690 |        0 |        0
882.07/882.46	c  882s |      21 |  1010172 |  1000345 |     2613    690 |        0 |        0
884.18/884.52	c  884s |      21 |  1012432 |  1002545 |     2613    691 |        0 |        0
886.17/886.57	c  886s |      21 |  1014753 |  1004845 |     2613    692 |        0 |        0
888.27/888.60	c  888s |      21 |  1017052 |  1007145 |     2613    694 |        0 |        0
890.27/890.64	c  890s |      21 |  1019465 |  1009545 |     2613    695 |        0 |        0
892.27/892.69	c  892s |      21 |  1021868 |  1011945 |     2613    696 |        0 |        0
894.37/894.75	c  894s |      21 |  1024277 |  1014345 |     2613    698 |        0 |        0
896.37/896.78	c  896s |      21 |  1026487 |  1016545 |     2613    699 |        0 |        0
898.48/898.84	c  898s |      21 |  1028932 |  1018945 |     2613    700 |        0 |        0
900.57/900.93	c  900s |      21 |  1031134 |  1021145 |     2613    702 |        0 |        0
902.57/902.98	c  902s |      21 |  1033358 |  1023345 |     2613    703 |        0 |        0
904.67/905.03	c  904s |      21 |  1035554 |  1025545 |     2613    704 |        0 |        0
906.77/907.12	c  906s |      21 |  1037756 |  1027745 |     2613    705 |        0 |        0
908.77/909.16	c  908s |      21 |  1039971 |  1029945 |     2613    706 |        0 |        0
910.77/911.18	c  910s |      21 |  1042299 |  1032245 |     2613    708 |        0 |        0
912.77/913.19	c  912s |      21 |  1044626 |  1034545 |     2613    709 |        0 |        0
914.76/915.20	c  914s |      21 |  1047034 |  1036945 |     2613    710 |        0 |        0
916.86/917.22	c  916s |      21 |  1049442 |  1039345 |     2613    712 |        0 |        0
918.86/919.25	c  918s |      21 |  1051855 |  1041745 |     2613    713 |        0 |        0
920.86/921.26	c  920s |      21 |  1053989 |  1043845 |     2613    714 |        0 |        0
922.96/923.34	c  923s |      21 |  1056305 |  1046145 |     2613    716 |        0 |        0
925.06/925.40	c  925s |      21 |  1058602 |  1048445 |     2613    717 |        0 |        0
927.07/927.43	c  927s |      21 |  1060810 |  1050645 |     2613    718 |        0 |        0
929.06/929.46	c  929s |      21 |  1063126 |  1052945 |     2613    719 |        0 |        0
931.16/931.55	c  931s |      21 |  1065121 |  1054945 |     2613    720 |        0 |        0
933.27/933.64	c  933s |      21 |  1067247 |  1057045 |     2613    722 |        0 |        0
935.27/935.69	c  935s |      21 |  1069453 |  1059245 |     2613    723 |        0 |        0
937.37/937.75	c  937s |      21 |  1071757 |  1061545 |     2613    724 |        0 |        0
939.37/939.77	c  939s |      21 |  1073969 |  1063745 |     2613    725 |        0 |        0
941.37/941.78	c  941s |      21 |  1076372 |  1066145 |     2613    727 |        0 |        0
943.47/943.81	c  943s |      21 |  1078582 |  1068345 |     2613    728 |        0 |        0
945.47/945.81	c  945s |      21 |  1080786 |  1070545 |     2613    729 |        0 |        0
947.47/947.85	c  947s |      21 |  1082986 |  1072745 |     2613    730 |        0 |        0
949.57/949.93	c  949s |      21 |  1085288 |  1075045 |     2613    732 |        0 |        0
951.56/951.97	c  951s |      21 |  1087497 |  1077245 |     2613    733 |        0 |        0
953.66/954.04	c  953s |      21 |  1089711 |  1079445 |     2613    734 |        0 |        0
955.76/956.11	c  955s |      21 |  1092016 |  1081745 |     2613    735 |        0 |        0
957.77/958.14	c  957s |      21 |  1094220 |  1083945 |     2613    737 |        0 |        0
959.76/960.19	c  959s |      21 |  1096733 |  1086445 |     2613    738 |        0 |        0
961.86/962.22	c  961s |      21 |  1099034 |  1088745 |     2613    739 |        0 |        0
963.86/964.22	c  963s |      21 |  1101142 |  1090845 |     2613    741 |        0 |        0
965.86/966.25	c  965s |      21 |  1103380 |  1093045 |     2613    742 |        0 |        0
967.86/968.28	c  967s |      21 |  1105420 |  1095045 |     2613    743 |        0 |        0
969.97/970.37	c  970s |      21 |  1107659 |  1097245 |     2613    744 |        0 |        0
971.96/972.38	c  972s |      21 |  1109800 |  1099345 |     2613    745 |        0 |        0
974.06/974.46	c  974s |      21 |  1111931 |  1101445 |     2613    747 |        0 |        0
976.16/976.51	c  976s |      21 |  1114059 |  1103545 |     2613    748 |        0 |        0
978.16/978.56	c  978s |      21 |  1116186 |  1105645 |     2613    749 |        0 |        0
980.26/980.63	c  980s |      21 |  1118519 |  1107945 |     2613    750 |        0 |        0
982.26/982.64	c  982s |      21 |  1120753 |  1110145 |     2613    751 |        0 |        0
984.26/984.69	c  984s |      21 |  1122869 |  1112245 |     2613    753 |        0 |        0
986.26/986.69	c  986s |      21 |  1124993 |  1114345 |     2613    754 |        0 |        0
988.36/988.73	c  988s |      21 |  1127201 |  1116545 |     2613    755 |        0 |        0
990.36/990.76	c  990s |      21 |  1129537 |  1118845 |     2613    756 |        0 |        0
992.46/992.82	c  992s |      21 |  1131752 |  1121045 |     2613    758 |        0 |        0
994.45/994.88	c  994s |      21 |  1133882 |  1123145 |     2613    759 |        0 |        0
996.55/996.96	c  996s |      21 |  1136099 |  1125345 |     2613    760 |        0 |        0
998.65/999.03	c  998s |      21 |  1138220 |  1127445 |     2613    761 |        0 |        0
1000.66/1001.03	c 1000s |      21 |  1140242 |  1129445 |     2613    762 |        0 |        0
1002.65/1003.07	c 1002s |      21 |  1142249 |  1131445 |     2613    763 |        0 |        0
1004.75/1005.11	c 1004s |      21 |  1144370 |  1133545 |     2613    765 |        0 |        0
1006.85/1007.20	c 1006s |      21 |  1146605 |  1135745 |     2613    766 |        0 |        0
1008.85/1009.28	c 1008s |      21 |  1148716 |  1137845 |     2613    767 |        0 |        0
1010.85/1011.28	c 1010s |      21 |  1150734 |  1139845 |     2613    768 |        0 |        0
1012.86/1013.28	c 1012s |      21 |  1152830 |  1141945 |     2613    769 |        0 |        0
1014.96/1015.32	c 1015s |      21 |  1154849 |  1143945 |     2613    770 |        0 |        0
1017.05/1017.45	c 1017s |      21 |  1156959 |  1146045 |     2613    772 |        0 |        0
1019.15/1019.52	c 1019s |      21 |  1159074 |  1148145 |     2613    773 |        0 |        0
1021.15/1021.55	c 1021s |      21 |  1161179 |  1150245 |     2613    774 |        0 |        0
1023.25/1023.62	c 1023s |      21 |  1163412 |  1152445 |     2613    775 |        0 |        0
1025.25/1025.64	c 1025s |      21 |  1165534 |  1154545 |     2613    776 |        0 |        0
1027.35/1027.76	c 1027s |      21 |  1167749 |  1156745 |     2613    778 |        0 |        0
1029.36/1029.78	c 1029s |      21 |  1169976 |  1158945 |     2613    779 |        0 |        0
1031.45/1031.84	c 1031s |      21 |  1172281 |  1161245 |     2613    780 |        0 |        0
1033.55/1033.91	c 1033s |      21 |  1174595 |  1163545 |     2613    781 |        0 |        0
1035.54/1035.98	c 1035s |      21 |  1177409 |  1166345 |     2613    783 |        0 |        0
1037.64/1038.04	c 1037s |      21 |  1180015 |  1168945 |     2613    784 |        0 |        0
1039.65/1040.08	c 1039s |      21 |  1182531 |  1171445 |     2613    786 |        0 |        0
1041.65/1042.09	c 1041s |      21 |  1185029 |  1173945 |     2613    787 |        0 |        0
1043.75/1044.11	c 1043s |      21 |  1187344 |  1176245 |     2613    788 |        0 |        0
1045.76/1046.15	c 1045s |      21 |  1189747 |  1178645 |     2613    790 |        0 |        0
1047.75/1048.19	c 1047s |      21 |  1192067 |  1180945 |     2613    791 |        0 |        0
1049.85/1050.24	c 1049s |      21 |  1194381 |  1183245 |     2613    792 |        0 |        0
1051.85/1052.26	c 1051s |      21 |  1196582 |  1185445 |     2613    794 |        0 |        0
1053.95/1054.33	c 1054s |      21 |  1198991 |  1187845 |     2613    795 |        0 |        0
1055.95/1056.35	c 1056s |      21 |  1201307 |  1190145 |     2613    796 |        0 |        0
1057.96/1058.36	c 1058s |      21 |  1203538 |  1192345 |     2613    797 |        0 |        0
1060.05/1060.44	c 1060s |      21 |  1205744 |  1194545 |     2613    799 |        0 |        0
1062.05/1062.47	c 1062s |      21 |  1207856 |  1196645 |     2613    800 |        0 |        0
1064.05/1064.49	c 1064s |      21 |  1210067 |  1198845 |     2613    801 |        0 |        0
1066.15/1066.56	c 1066s |      21 |  1212398 |  1201145 |     2613    802 |        0 |        0
1068.25/1068.65	c 1068s |      21 |  1214825 |  1203545 |     2613    804 |        0 |        0
1070.25/1070.68	c 1070s |      21 |  1217049 |  1205745 |     2613    805 |        0 |        0
1072.35/1072.78	c 1072s |      21 |  1219271 |  1207945 |     2613    806 |        0 |        0
1074.45/1074.85	c 1074s |      21 |  1221396 |  1210045 |     2613    807 |        0 |        0
1076.45/1076.89	c 1076s |      21 |  1223399 |  1212045 |     2613    809 |        0 |        0
1078.55/1078.98	c 1078s |      21 |  1225507 |  1214145 |     2613    810 |        0 |        0
1080.65/1081.03	c 1080s |      21 |  1227624 |  1216245 |     2613    811 |        0 |        0
1082.65/1083.04	c 1082s |      21 |  1229836 |  1218445 |     2613    812 |        0 |        0
1084.75/1085.11	c 1084s |      21 |  1232153 |  1220745 |     2613    813 |        0 |        0
1086.74/1087.12	c 1086s |      21 |  1234259 |  1222845 |     2613    815 |        0 |        0
1088.75/1089.12	c 1088s |      21 |  1236206 |  1224745 |     2613    816 |        0 |        0
1090.74/1091.18	c 1090s |      21 |  1238223 |  1226745 |     2613    817 |        0 |        0
1092.84/1093.28	c 1092s |      21 |  1240232 |  1228745 |     2613    818 |        0 |        0
1094.84/1095.29	c 1094s |      21 |  1242131 |  1230645 |     2613    819 |        0 |        0
1096.94/1097.30	c 1097s |      21 |  1244046 |  1232545 |     2613    820 |        0 |        0
1098.94/1099.34	c 1099s |      21 |  1246050 |  1234545 |     2613    821 |        0 |        0
1101.04/1101.44	c 1101s |      21 |  1248265 |  1236745 |     2613    822 |        0 |        0
1103.14/1103.52	c 1103s |      21 |  1250271 |  1238745 |     2613    823 |        0 |        0
1105.15/1105.56	c 1105s |      21 |  1252185 |  1240645 |     2613    825 |        0 |        0
1107.14/1107.57	c 1107s |      21 |  1254188 |  1242645 |     2613    826 |        0 |        0
1109.24/1109.66	c 1109s |      21 |  1256188 |  1244645 |     2613    827 |        0 |        0
1111.34/1111.75	c 1111s |      21 |  1258306 |  1246745 |     2613    828 |        0 |        0
1113.44/1113.81	c 1113s |      21 |  1260417 |  1248845 |     2613    829 |        0 |        0
1115.54/1115.90	c 1115s |      21 |  1262520 |  1250945 |     2613    830 |        0 |        0
1117.54/1117.96	c 1117s |      21 |  1264533 |  1252945 |     2613    831 |        0 |        0
1119.55/1120.00	c 1119s |      21 |  1266539 |  1254945 |     2613    833 |        0 |        0
1121.64/1122.01	c 1121s |      21 |  1268537 |  1256945 |     2613    834 |        0 |        0
1123.64/1124.07	c 1123s |      21 |  1270463 |  1258845 |     2613    835 |        0 |        0
1125.74/1126.14	c 1125s |      21 |  1272483 |  1260845 |     2613    836 |        0 |        0
1127.84/1128.21	c 1127s |      21 |  1274491 |  1262845 |     2613    837 |        0 |        0
1129.84/1130.29	c 1129s |      21 |  1276825 |  1265145 |     2613    838 |        0 |        0
1131.94/1132.31	c 1132s |      21 |  1279087 |  1267345 |     2613    840 |        0 |        0
1133.94/1134.33	c 1134s |      21 |  1281306 |  1269545 |     2613    841 |        0 |        0
1135.94/1136.40	c 1136s |      21 |  1283425 |  1271645 |     2613    842 |        0 |        0
1138.04/1138.45	c 1138s |      21 |  1285442 |  1273645 |     2613    843 |        0 |        0
1140.14/1140.52	c 1140s |      21 |  1287458 |  1275645 |     2613    844 |        0 |        0
1142.14/1142.53	c 1142s |      21 |  1289472 |  1277645 |     2613    845 |        0 |        0
1144.24/1144.61	c 1144s |      21 |  1291584 |  1279745 |     2613    846 |        0 |        0
1146.23/1146.65	c 1146s |      21 |  1293606 |  1281745 |     2613    848 |        0 |        0
1148.33/1148.73	c 1148s |      21 |  1295710 |  1283845 |     2613    849 |        0 |        0
1150.34/1150.75	c 1150s |      21 |  1297828 |  1285945 |     2613    850 |        0 |        0
1152.44/1152.82	c 1152s |      21 |  1300141 |  1288245 |     2613    851 |        0 |        0
1154.53/1154.91	c 1154s |      21 |  1302369 |  1290445 |     2613    852 |        0 |        0
1156.53/1156.99	c 1156s |      21 |  1304386 |  1292445 |     2613    854 |        0 |        0
1158.63/1159.05	c 1158s |      21 |  1306489 |  1294545 |     2613    855 |        0 |        0
1160.73/1161.10	c 1160s |      21 |  1308703 |  1296745 |     2613    856 |        0 |        0
1162.73/1163.11	c 1162s |      21 |  1310715 |  1298745 |     2613    857 |        0 |        0
1164.73/1165.11	c 1164s |      21 |  1312825 |  1300845 |     2613    858 |        0 |        0
1166.74/1167.15	c 1166s |      21 |  1314937 |  1302945 |     2613    859 |        0 |        0
1168.83/1169.25	c 1168s |      21 |  1317233 |  1305245 |     2613    861 |        0 |        0
1170.93/1171.34	c 1171s |      21 |  1319356 |  1307345 |     2613    862 |        0 |        0
1173.03/1173.42	c 1173s |      21 |  1321461 |  1309445 |     2613    863 |        0 |        0
1175.03/1175.46	c 1175s |      21 |  1323681 |  1311645 |     2613    864 |        0 |        0
1177.13/1177.50	c 1177s |      21 |  1325809 |  1313745 |     2613    866 |        0 |        0
1179.13/1179.53	c 1179s |      21 |  1327916 |  1315845 |     2613    867 |        0 |        0
1181.14/1181.58	c 1181s |      21 |  1330036 |  1317945 |     2613    868 |        0 |        0
1183.24/1183.64	c 1183s |      21 |  1332149 |  1320045 |     2613    869 |        0 |        0
1185.33/1185.73	c 1185s |      21 |  1334256 |  1322145 |     2613    870 |        0 |        0
1187.33/1187.73	c 1187s |      21 |  1336368 |  1324245 |     2613    871 |        0 |        0
1189.33/1189.76	c 1189s |      21 |  1338489 |  1326345 |     2613    873 |        0 |        0
1191.33/1191.79	c 1191s |      21 |  1340706 |  1328545 |     2613    874 |        0 |        0
1193.43/1193.80	c 1193s |      21 |  1342817 |  1330645 |     2613    875 |        0 |        0
1195.43/1195.81	c 1195s |      21 |  1344838 |  1332645 |     2613    876 |        0 |        0
1197.53/1197.91	c 1197s |      21 |  1346845 |  1334645 |     2613    877 |        0 |        0
1199.53/1199.99	c 1199s |      21 |  1349172 |  1336945 |     2613    879 |        0 |        0
1201.63/1202.00	c 1201s |      21 |  1351275 |  1339045 |     2613    880 |        0 |        0
1203.63/1204.03	c 1203s |      21 |  1353482 |  1341245 |     2613    881 |        0 |        0
1205.73/1206.11	c 1205s |      21 |  1355784 |  1343545 |     2613    882 |        0 |        0
1207.73/1208.11	c 1207s |      21 |  1357990 |  1345745 |     2613    883 |        0 |        0
1209.73/1210.16	c 1209s |      21 |  1360095 |  1347845 |     2613    885 |        0 |        0
1211.83/1212.21	c 1211s |      21 |  1362508 |  1350245 |     2613    886 |        0 |        0
1213.82/1214.27	c 1213s |      21 |  1365008 |  1352745 |     2613    887 |        0 |        0
1215.92/1216.34	c 1216s |      21 |  1367416 |  1355145 |     2613    889 |        0 |        0
1217.92/1218.39	c 1218s |      21 |  1369620 |  1357345 |     2613    890 |        0 |        0
1220.02/1220.46	c 1220s |      21 |  1371922 |  1359645 |     2613    891 |        0 |        0
1222.12/1222.56	c 1222s |      21 |  1374225 |  1361945 |     2613    893 |        0 |        0
1224.22/1224.61	c 1224s |      21 |  1376430 |  1364145 |     2613    894 |        0 |        0
1226.23/1226.63	c 1226s |      21 |  1378737 |  1366445 |     2613    895 |        0 |        0
1228.22/1228.70	c 1228s |      21 |  1380936 |  1368645 |     2613    896 |        0 |        0
1230.32/1230.73	c 1230s |      21 |  1383135 |  1370845 |     2613    898 |        0 |        0
1232.32/1232.77	c 1232s |      21 |  1385348 |  1373045 |     2613    899 |        0 |        0
1234.42/1234.81	c 1234s |      21 |  1387453 |  1375145 |     2613    900 |        0 |        0
1236.42/1236.88	c 1236s |      21 |  1389571 |  1377245 |     2613    901 |        0 |        0
1238.52/1238.93	c 1238s |      21 |  1391585 |  1379245 |     2613    902 |        0 |        0
1240.53/1240.94	c 1240s |      21 |  1393698 |  1381345 |     2613    903 |        0 |        0
1242.63/1243.01	c 1242s |      21 |  1395903 |  1383545 |     2613    905 |        0 |        0
1244.62/1245.03	c 1244s |      21 |  1397928 |  1385545 |     2613    906 |        0 |        0
1246.72/1247.11	c 1246s |      21 |  1400137 |  1387745 |     2613    907 |        0 |        0
1248.72/1249.18	c 1248s |      21 |  1402556 |  1390145 |     2613    908 |        0 |        0
1250.82/1251.27	c 1250s |      21 |  1404862 |  1392445 |     2613    910 |        0 |        0
1252.92/1253.31	c 1253s |      21 |  1407079 |  1394645 |     2613    911 |        0 |        0
1254.92/1255.35	c 1255s |      21 |  1409290 |  1396845 |     2613    912 |        0 |        0
1256.92/1257.37	c 1257s |      21 |  1411398 |  1398945 |     2613    913 |        0 |        0
1259.02/1259.48	c 1259s |      21 |  1413609 |  1401145 |     2613    915 |        0 |        0
1261.12/1261.54	c 1261s |      21 |  1415809 |  1403345 |     2613    916 |        0 |        0
1263.12/1263.59	c 1263s |      21 |  1417913 |  1405445 |     2613    917 |        0 |        0
1265.21/1265.66	c 1265s |      21 |  1420521 |  1408045 |     2613    918 |        0 |        0
1267.31/1267.72	c 1267s |      21 |  1422931 |  1410445 |     2613    920 |        0 |        0
1269.41/1269.81	c 1269s |      21 |  1425347 |  1412845 |     2613    921 |        0 |        0
1271.41/1271.87	c 1271s |      21 |  1427658 |  1415145 |     2613    922 |        0 |        0
1273.42/1273.88	c 1273s |      21 |  1429862 |  1417345 |     2613    924 |        0 |        0
1275.41/1275.89	c 1275s |      21 |  1432177 |  1419645 |     2613    925 |        0 |        0
1277.51/1277.90	c 1277s |      21 |  1434280 |  1421745 |     2613    926 |        0 |        0
1279.51/1279.91	c 1279s |      21 |  1436486 |  1423945 |     2613    927 |        0 |        0
1281.51/1281.99	c 1281s |      21 |  1438700 |  1426145 |     2613    929 |        0 |        0
1283.61/1284.06	c 1283s |      21 |  1441124 |  1428545 |     2613    930 |        0 |        0
1285.71/1286.12	c 1285s |      21 |  1443528 |  1430945 |     2613    931 |        0 |        0
1287.72/1288.15	c 1287s |      21 |  1445937 |  1433345 |     2613    933 |        0 |        0
1289.71/1290.15	c 1289s |      21 |  1448345 |  1435745 |     2613    934 |        0 |        0
1291.81/1292.22	c 1291s |      21 |  1450649 |  1438045 |     2613    935 |        0 |        0
1293.81/1294.29	c 1293s |      21 |  1453054 |  1440445 |     2613    937 |        0 |        0
1295.91/1296.34	c 1296s |      21 |  1455354 |  1442745 |     2613    938 |        0 |        0
1297.91/1298.36	c 1298s |      21 |  1457562 |  1444945 |     2613    939 |        0 |        0
1300.01/1300.41	c 1300s |      21 |  1459674 |  1447045 |     2613    940 |        0 |        0
1302.01/1302.48	c 1302s |      21 |  1461792 |  1449145 |     2613    941 |        0 |        0
1304.10/1304.51	c 1304s |      21 |  1463799 |  1451145 |     2613    943 |        0 |        0
1306.10/1306.55	c 1306s |      21 |  1465813 |  1453145 |     2613    944 |        0 |        0
1308.20/1308.65	c 1308s |      21 |  1467942 |  1455245 |     2613    945 |        0 |        0
1310.30/1310.70	c 1310s |      21 |  1469973 |  1457245 |     2613    946 |        0 |        0
1312.30/1312.74	c 1312s |      21 |  1472090 |  1459345 |     2613    947 |        0 |        0
1314.30/1314.78	c 1314s |      21 |  1474209 |  1461445 |     2613    948 |        0 |        0
1316.42/1316.84	c 1316s |      21 |  1476238 |  1463445 |     2613    949 |        0 |        0
1318.41/1318.88	c 1318s |      21 |  1478348 |  1465545 |     2613    951 |        0 |        0
1320.41/1320.89	c 1320s |      21 |  1480565 |  1467745 |     2613    952 |        0 |        0
1322.51/1322.93	c 1322s |      21 |  1482877 |  1470045 |     2613    953 |        0 |        0
1324.51/1324.98	c 1324s |      21 |  1485179 |  1472345 |     2613    954 |        0 |        0
1326.61/1327.05	c 1326s |      21 |  1487494 |  1474645 |     2613    956 |        0 |        0
1328.61/1329.08	c 1328s |      21 |  1490010 |  1477145 |     2613    957 |        0 |        0
1330.72/1331.16	c 1330s |      21 |  1492418 |  1479545 |     2613    958 |        0 |        0
1332.81/1333.20	c 1332s |      21 |  1494821 |  1481945 |     2613    960 |        0 |        0
1334.81/1335.25	c 1334s |      21 |  1497128 |  1484245 |     2613    961 |        0 |        0
1336.81/1337.26	c 1336s |      21 |  1499338 |  1486445 |     2613    962 |        0 |        0
1338.81/1339.29	c 1338s |      21 |  1501447 |  1488545 |     2613    964 |        0 |        0
1340.91/1341.38	c 1341s |      21 |  1503551 |  1490645 |     2875    965 |        0 |        0
1342.91/1343.39	c 1343s |      21 |  1505557 |  1492645 |     2875    966 |        0 |        0
1345.01/1345.46	c 1345s |      21 |  1507871 |  1494945 |     2875    967 |        0 |        0
1347.11/1347.55	c 1347s |      21 |  1509985 |  1497045 |     2875    968 |        0 |        0
1349.21/1349.62	c 1349s |      21 |  1512194 |  1499245 |     2875    969 |        0 |        0
1350.51/1350.92	c 1350s |      22 |  1513573 |  1500622 |     2875    970 |        0 |        0
1352.51/1352.96	c 1352s |      22 |  1515737 |  1502722 |     2875    971 |        0 |        0
1354.61/1355.06	c 1354s |      22 |  1517934 |  1504922 |     2875    972 |        0 |        0
1356.70/1357.12	c 1356s |      22 |  1520039 |  1507022 |     2875    973 |        0 |        0
1358.70/1359.13	c 1358s |      22 |  1522156 |  1509122 |     2875    974 |        0 |        0
1360.70/1361.19	c 1360s |      22 |  1524364 |  1511322 |     2875    975 |        0 |        0
1362.80/1363.23	c 1362s |      22 |  1526665 |  1513622 |     2875    977 |        0 |        0
1364.90/1365.30	c 1364s |      22 |  1528980 |  1515922 |     2875    978 |        0 |        0
1366.91/1367.31	c 1367s |      22 |  1531096 |  1518022 |     2875    979 |        0 |        0
1368.90/1369.35	c 1369s |      22 |  1533301 |  1520222 |     2875    980 |        0 |        0
1371.00/1371.44	c 1371s |      22 |  1535520 |  1522422 |     2875    981 |        0 |        0
1373.00/1373.46	c 1373s |      22 |  1537720 |  1524622 |     2875    982 |        0 |        0
1375.10/1375.51	c 1375s |      22 |  1539929 |  1526822 |     2875    983 |        0 |        0
1377.10/1377.55	c 1377s |      22 |  1542045 |  1528922 |     2875    985 |        0 |        0
1379.11/1379.59	c 1379s |      22 |  1544652 |  1531522 |     2875    986 |        0 |        0
1381.20/1381.61	c 1381s |      22 |  1546987 |  1533822 |     2875    987 |        0 |        0
1383.20/1383.65	c 1383s |      22 |  1549196 |  1536022 |     2875    988 |        0 |        0
1385.20/1385.69	c 1385s |      22 |  1551406 |  1538222 |     2875    989 |        0 |        0
1387.30/1387.74	c 1387s |      22 |  1553612 |  1540422 |     2875    991 |        0 |        0
1389.39/1389.80	c 1389s |      22 |  1556028 |  1542822 |     2875    992 |        0 |        0
1391.39/1391.80	c 1391s |      22 |  1558430 |  1545222 |     2875    993 |        0 |        0
1393.40/1393.89	c 1393s |      22 |  1560749 |  1547522 |     2875    994 |        0 |        0
1395.50/1395.92	c 1395s |      22 |  1562955 |  1549722 |     2875    995 |        0 |        0
1397.49/1397.98	c 1397s |      22 |  1565162 |  1551922 |     2875    997 |        0 |        0
1399.59/1400.05	c 1399s |      22 |  1567367 |  1554122 |     2875    998 |        0 |        0
1401.69/1402.11	c 1401s |      22 |  1569807 |  1556522 |     2875    999 |        0 |        0
1403.69/1404.18	c 1403s |      22 |  1572215 |  1558922 |     2875   1000 |        0 |        0
1405.79/1406.21	c 1405s |      22 |  1574529 |  1561222 |     2875   1001 |        0 |        0
1407.79/1408.29	c 1407s |      22 |  1576848 |  1563522 |     2875   1003 |        0 |        0
1409.90/1410.33	c 1410s |      22 |  1579171 |  1565822 |     2875   1004 |        0 |        0
1411.99/1412.40	c 1412s |      22 |  1581503 |  1568122 |     2875   1005 |        0 |        0
1413.99/1414.45	c 1414s |      22 |  1583930 |  1570522 |     2875   1006 |        0 |        0
1416.09/1416.50	c 1416s |      22 |  1586330 |  1572922 |     2875   1008 |        0 |        0
1418.09/1418.55	c 1418s |      22 |  1588642 |  1575222 |     2875   1009 |        0 |        0
1420.09/1420.57	c 1420s |      22 |  1591090 |  1577622 |     2875   1010 |        0 |        0
1422.09/1422.58	c 1422s |      22 |  1593297 |  1579822 |     2875   1011 |        0 |        0
1424.19/1424.67	c 1424s |      22 |  1595699 |  1582222 |     2875   1012 |        0 |        0
1426.29/1426.73	c 1426s |      22 |  1598003 |  1584522 |     2875   1014 |        0 |        0
1428.28/1428.75	c 1428s |      22 |  1600420 |  1586922 |     2875   1015 |        0 |        0
1430.38/1430.80	c 1430s |      22 |  1602725 |  1589222 |     2875   1016 |        0 |        0
1432.38/1432.87	c 1432s |      22 |  1605230 |  1591722 |     2875   1017 |        0 |        0
1434.48/1434.91	c 1434s |      22 |  1607632 |  1594122 |     2875   1019 |        0 |        0
1436.58/1437.00	c 1436s |      22 |  1610050 |  1596522 |     2875   1020 |        0 |        0
1438.58/1439.03	c 1438s |      22 |  1612463 |  1598922 |     2875   1021 |        0 |        0
1440.59/1441.08	c 1440s |      22 |  1614672 |  1601122 |     2875   1022 |        0 |        0
1442.68/1443.17	c 1442s |      22 |  1616889 |  1603322 |     2875   1023 |        0 |        0
1444.78/1445.20	c 1444s |      22 |  1619086 |  1605522 |     2875   1025 |        0 |        0
1446.78/1447.26	c 1446s |      22 |  1621501 |  1607922 |     2875   1026 |        0 |        0
1448.78/1449.28	c 1448s |      22 |  1624013 |  1610422 |     2875   1027 |        0 |        0
1450.88/1451.30	c 1450s |      22 |  1626626 |  1613022 |     2875   1028 |        0 |        0
1452.89/1453.31	c 1453s |      22 |  1628925 |  1615322 |     2875   1030 |        0 |        0
1454.90/1455.36	c 1455s |      22 |  1631236 |  1617622 |     2875   1031 |        0 |        0
1456.99/1457.43	c 1457s |      22 |  1633539 |  1619922 |     2875   1032 |        0 |        0
1458.99/1459.47	c 1459s |      22 |  1635736 |  1622122 |     2875   1033 |        0 |        0
1461.09/1461.50	c 1461s |      22 |  1637844 |  1624222 |     2875   1034 |        0 |        0
1463.09/1463.57	c 1463s |      22 |  1640053 |  1626422 |     2875   1035 |        0 |        0
1465.19/1465.63	c 1465s |      22 |  1642172 |  1628522 |     2875   1037 |        0 |        0
1467.19/1467.68	c 1467s |      22 |  1644263 |  1630622 |     2875   1038 |        0 |        0
1469.29/1469.71	c 1469s |      22 |  1646373 |  1632722 |     2875   1039 |        0 |        0
1471.29/1471.77	c 1471s |      22 |  1648874 |  1635222 |     2875   1040 |        0 |        0
1473.29/1473.77	c 1473s |      22 |  1651075 |  1637422 |     2875   1041 |        0 |        0
1475.39/1475.83	c 1475s |      22 |  1653286 |  1639622 |     2875   1042 |        0 |        0
1477.49/1477.95	c 1477s |      22 |  1655596 |  1641922 |     2875   1044 |        0 |        0
1479.49/1479.98	c 1479s |      22 |  1657806 |  1644122 |     2875   1045 |        0 |        0
1481.58/1482.06	c 1481s |      22 |  1660211 |  1646522 |     2875   1046 |        0 |        0
1483.68/1484.13	c 1483s |      22 |  1662413 |  1648722 |     2875   1047 |        0 |        0
1485.69/1486.20	c 1485s |      22 |  1664723 |  1651022 |     2875   1048 |        0 |        0
1487.78/1488.27	c 1487s |      22 |  1667026 |  1653322 |     2875   1049 |        0 |        0
1489.88/1490.36	c 1490s |      22 |  1669134 |  1655422 |     2875   1051 |        0 |        0
1491.98/1492.40	c 1492s |      22 |  1671337 |  1657622 |     2875   1052 |        0 |        0
1493.98/1494.42	c 1494s |      22 |  1673557 |  1659822 |     2875   1053 |        0 |        0
1495.98/1496.45	c 1496s |      22 |  1675956 |  1662222 |     2875   1054 |        0 |        0
1497.98/1498.50	c 1498s |      22 |  1678453 |  1664722 |     2875   1055 |        0 |        0
1500.09/1500.55	c 1500s |      22 |  1680750 |  1667022 |     2875   1057 |        0 |        0
1502.08/1502.55	c 1502s |      22 |  1683263 |  1669522 |     2875   1058 |        0 |        0
1504.08/1504.58	c 1504s |      22 |  1685663 |  1671922 |     2875   1059 |        0 |        0
1506.18/1506.65	c 1506s |      22 |  1687878 |  1674122 |     2875   1060 |        0 |        0
1508.18/1508.68	c 1508s |      22 |  1689981 |  1676222 |     2875   1061 |        0 |        0
1510.28/1510.75	c 1510s |      22 |  1692091 |  1678322 |     2875   1062 |        0 |        0
1512.28/1512.78	c 1512s |      22 |  1694199 |  1680422 |     2875   1064 |        0 |        0
1514.38/1514.83	c 1514s |      22 |  1696599 |  1682822 |     2875   1065 |        0 |        0
1516.48/1516.91	c 1516s |      22 |  1698805 |  1685022 |     2875   1066 |        0 |        0
1518.48/1518.99	c 1518s |      22 |  1701004 |  1687222 |     2875   1067 |        0 |        0
1520.58/1521.05	c 1520s |      22 |  1703311 |  1689522 |     2875   1068 |        0 |        0
1522.57/1523.06	c 1522s |      22 |  1705608 |  1691822 |     2875   1070 |        0 |        0
1524.67/1525.13	c 1524s |      22 |  1708125 |  1694322 |     2875   1071 |        0 |        0
1526.67/1527.18	c 1526s |      22 |  1710325 |  1696522 |     2875   1072 |        0 |        0
1528.77/1529.24	c 1528s |      22 |  1712624 |  1698822 |     2875   1073 |        0 |        0
1530.78/1531.29	c 1530s |      22 |  1714730 |  1700922 |     2875   1074 |        0 |        0
1532.87/1533.33	c 1533s |      22 |  1716935 |  1703122 |     2875   1075 |        0 |        0
1534.97/1535.41	c 1535s |      22 |  1719235 |  1705422 |     2875   1077 |        0 |        0
1536.97/1537.44	c 1537s |      22 |  1721636 |  1707822 |     2875   1078 |        0 |        0
1539.07/1539.51	c 1539s |      22 |  1724353 |  1710522 |     2875   1079 |        0 |        0
1541.07/1541.54	c 1541s |      22 |  1727056 |  1713222 |     2875   1081 |        0 |        0
1543.17/1543.60	c 1543s |      22 |  1729660 |  1715822 |     2875   1082 |        0 |        0
1545.18/1545.66	c 1545s |      22 |  1732261 |  1718422 |     2875   1083 |        0 |        0
1547.27/1547.73	c 1547s |      22 |  1734770 |  1720922 |     2875   1085 |        0 |        0
1549.27/1549.76	c 1549s |      22 |  1737171 |  1723322 |     2875   1086 |        0 |        0
1551.37/1551.84	c 1551s |      22 |  1739592 |  1725722 |     2875   1087 |        0 |        0
1553.37/1553.84	c 1553s |      22 |  1742291 |  1728422 |     2875   1089 |        0 |        0
1555.47/1555.90	c 1555s |      22 |  1744988 |  1731122 |     2875   1090 |        0 |        0
1557.47/1557.90	c 1557s |      22 |  1747494 |  1733622 |     2875   1091 |        0 |        0
1559.47/1559.94	c 1559s |      22 |  1749890 |  1736022 |     2875   1093 |        0 |        0
1561.47/1561.96	c 1561s |      22 |  1752303 |  1738422 |     2875   1094 |        0 |        0
1563.47/1563.98	c 1563s |      22 |  1755009 |  1741122 |     2875   1095 |        0 |        0
1565.57/1566.01	c 1565s |      22 |  1757606 |  1743722 |     2875   1097 |        0 |        0
1567.57/1568.08	c 1567s |      22 |  1760215 |  1746322 |     2875   1098 |        0 |        0
1569.67/1570.15	c 1569s |      22 |  1762913 |  1749022 |     2875   1099 |        0 |        0
1571.77/1572.22	c 1571s |      22 |  1765420 |  1751522 |     2875   1101 |        0 |        0
1573.77/1574.26	c 1573s |      22 |  1768133 |  1754222 |     2875   1102 |        0 |        0
1575.76/1576.30	c 1575s |      22 |  1770844 |  1756922 |     2875   1104 |        0 |        0
1577.86/1578.36	c 1578s |      22 |  1773448 |  1759522 |     2875   1105 |        0 |        0
1579.96/1580.43	c 1580s |      22 |  1775856 |  1761922 |     2875   1106 |        0 |        0
1582.06/1582.50	c 1582s |      22 |  1778365 |  1764422 |     2875   1107 |        0 |        0
1584.06/1584.55	c 1584s |      22 |  1780772 |  1766822 |     2875   1109 |        0 |        0
1586.06/1586.59	c 1586s |      22 |  1783265 |  1769322 |     2875   1110 |        0 |        0
1588.16/1588.61	c 1588s |      22 |  1785568 |  1771622 |     2875   1111 |        0 |        0
1590.17/1590.61	c 1590s |      22 |  1787777 |  1773822 |     2875   1112 |        0 |        0
1592.17/1592.68	c 1592s |      22 |  1790079 |  1776122 |     2875   1114 |        0 |        0
1594.17/1594.69	c 1594s |      22 |  1792389 |  1778422 |     2875   1115 |        0 |        0
1596.17/1596.70	c 1596s |      22 |  1794481 |  1780522 |     2875   1116 |        0 |        0
1598.27/1598.71	c 1598s |      22 |  1796692 |  1782722 |     2875   1117 |        0 |        0
1600.27/1600.72	c 1600s |      22 |  1798993 |  1785022 |     2875   1118 |        0 |        0
1602.27/1602.76	c 1602s |      22 |  1801309 |  1787322 |     2875   1119 |        0 |        0
1604.27/1604.78	c 1604s |      22 |  1803410 |  1789422 |     2875   1120 |        0 |        0
1606.37/1606.86	c 1606s |      22 |  1805612 |  1791622 |     2875   1122 |        0 |        0
1608.47/1608.90	c 1608s |      22 |  1808113 |  1794122 |     2875   1123 |        0 |        0
1610.47/1610.92	c 1610s |      22 |  1810420 |  1796422 |     2875   1124 |        0 |        0
1612.57/1613.00	c 1612s |      22 |  1812837 |  1798822 |     2875   1125 |        0 |        0
1614.57/1615.02	c 1614s |      22 |  1815232 |  1801222 |     2875   1127 |        0 |        0
1616.57/1617.07	c 1616s |      22 |  1817740 |  1803722 |     2875   1128 |        0 |        0
1618.66/1619.11	c 1618s |      22 |  1820146 |  1806122 |     2875   1129 |        0 |        0
1620.66/1621.16	c 1620s |      22 |  1822642 |  1808622 |     2875   1131 |        0 |        0
1622.76/1623.23	c 1622s |      22 |  1825145 |  1811122 |     2875   1132 |        0 |        0
1624.76/1625.28	c 1624s |      22 |  1827658 |  1813622 |     2875   1133 |        0 |        0
1626.86/1627.34	c 1627s |      22 |  1830169 |  1816122 |     2875   1134 |        0 |        0
1628.96/1629.41	c 1629s |      22 |  1832877 |  1818822 |     2875   1136 |        0 |        0
1630.97/1631.47	c 1631s |      22 |  1835390 |  1821322 |     2875   1137 |        0 |        0
1633.07/1633.55	c 1633s |      22 |  1837787 |  1823722 |     2875   1138 |        0 |        0
1635.06/1635.56	c 1635s |      22 |  1840191 |  1826122 |     2875   1140 |        0 |        0
1637.16/1637.62	c 1637s |      22 |  1842692 |  1828622 |     2875   1141 |        0 |        0
1639.16/1639.64	c 1639s |      22 |  1844899 |  1830822 |     2875   1142 |        0 |        0
1641.16/1641.67	c 1641s |      22 |  1847297 |  1833222 |     2875   1143 |        0 |        0
1643.26/1643.72	c 1643s |      22 |  1849705 |  1835622 |     2875   1145 |        0 |        0
1645.36/1645.81	c 1645s |      22 |  1852106 |  1838022 |     2875   1146 |        0 |        0
1647.36/1647.86	c 1647s |      22 |  1854509 |  1840422 |     2875   1147 |        0 |        0
1649.36/1649.86	c 1649s |      22 |  1856914 |  1842822 |     2875   1148 |        0 |        0
1651.36/1651.88	c 1651s |      22 |  1859313 |  1845222 |     2875   1150 |        0 |        0
1653.36/1653.89	c 1653s |      22 |  1861620 |  1847522 |     2875   1151 |        0 |        0
1655.46/1655.95	c 1655s |      22 |  1864032 |  1849922 |     2875   1152 |        0 |        0
1657.56/1658.00	c 1657s |      22 |  1866428 |  1852322 |     2875   1153 |        0 |        0
1659.56/1660.05	c 1659s |      22 |  1868731 |  1854622 |     2875   1155 |        0 |        0
1661.56/1662.06	c 1661s |      22 |  1871049 |  1856922 |     2875   1156 |        0 |        0
1663.66/1664.14	c 1663s |      22 |  1873552 |  1859422 |     2875   1157 |        0 |        0
1665.65/1666.15	c 1665s |      22 |  1875964 |  1861822 |     2875   1158 |        0 |        0
1667.75/1668.23	c 1667s |      22 |  1878259 |  1864122 |     2875   1159 |        0 |        0
1669.75/1670.28	c 1669s |      22 |  1880562 |  1866422 |     2875   1161 |        0 |        0
1671.85/1672.37	c 1672s |      22 |  1882770 |  1868622 |     2875   1162 |        0 |        0
1673.95/1674.40	c 1674s |      22 |  1884875 |  1870722 |     2875   1163 |        0 |        0
1675.96/1676.46	c 1676s |      22 |  1887090 |  1872922 |     2875   1164 |        0 |        0
1677.95/1678.49	c 1678s |      22 |  1889396 |  1875222 |     2875   1165 |        0 |        0
1680.05/1680.52	c 1680s |      22 |  1891596 |  1877422 |     2875   1166 |        0 |        0
1682.05/1682.59	c 1682s |      22 |  1893706 |  1879522 |     2875   1168 |        0 |        0
1684.15/1684.67	c 1684s |      22 |  1895920 |  1881722 |     2875   1169 |        0 |        0
1686.25/1686.75	c 1686s |      22 |  1898326 |  1884122 |     2875   1170 |        0 |        0
1688.35/1688.84	c 1688s |      22 |  1900535 |  1886322 |     2875   1171 |        0 |        0
1690.36/1690.86	c 1690s |      22 |  1902632 |  1888422 |     2875   1172 |        0 |        0
1692.35/1692.90	c 1692s |      22 |  1904935 |  1890722 |     2875   1173 |        0 |        0
1694.45/1694.93	c 1694s |      22 |  1907240 |  1893022 |     2875   1175 |        0 |        0
1696.55/1697.01	c 1696s |      22 |  1909650 |  1895422 |     2875   1176 |        0 |        0
1698.55/1699.09	c 1698s |      22 |  1911945 |  1897722 |     2875   1177 |        0 |        0
1700.65/1701.15	c 1700s |      22 |  1914251 |  1900022 |     2875   1178 |        0 |        0
1702.65/1703.15	c 1702s |      22 |  1916370 |  1902122 |     2875   1179 |        0 |        0
1704.75/1705.21	c 1704s |      22 |  1918677 |  1904422 |     2875   1181 |        0 |        0
1706.75/1707.30	c 1706s |      22 |  1921084 |  1906822 |     2875   1182 |        0 |        0
1708.85/1709.37	c 1709s |      22 |  1923285 |  1909022 |     2875   1183 |        0 |        0
1710.95/1711.44	c 1711s |      22 |  1925490 |  1911222 |     2875   1184 |        0 |        0
1712.95/1713.48	c 1713s |      22 |  1927595 |  1913322 |     2875   1185 |        0 |        0
1715.05/1715.52	c 1715s |      22 |  1929794 |  1915522 |     2875   1186 |        0 |        0
1717.05/1717.57	c 1717s |      22 |  1931912 |  1917622 |     2875   1187 |        0 |        0
1719.14/1719.63	c 1719s |      22 |  1934099 |  1919822 |     2875   1189 |        0 |        0
1721.15/1721.65	c 1721s |      22 |  1936210 |  1921922 |     2875   1190 |        0 |        0
1723.14/1723.67	c 1723s |      22 |  1938302 |  1924022 |     2875   1191 |        0 |        0
1725.24/1725.72	c 1725s |      22 |  1940407 |  1926122 |     2875   1192 |        0 |        0
1727.24/1727.74	c 1727s |      22 |  1942610 |  1928322 |     2875   1193 |        0 |        0
1729.24/1729.76	c 1729s |      22 |  1944911 |  1930622 |     2875   1194 |        0 |        0
1731.34/1731.85	c 1731s |      22 |  1947022 |  1932722 |     2875   1195 |        0 |        0
1733.44/1733.92	c 1733s |      22 |  1949232 |  1934922 |     2875   1196 |        0 |        0
1735.45/1735.95	c 1735s |      22 |  1951330 |  1937022 |     2875   1198 |        0 |        0
1737.44/1737.96	c 1737s |      22 |  1953535 |  1939222 |     2875   1199 |        0 |        0
1739.44/1739.96	c 1739s |      22 |  1955629 |  1941322 |     2875   1200 |        0 |        0
1741.44/1741.99	c 1741s |      22 |  1957730 |  1943422 |     2875   1201 |        0 |        0
1743.54/1744.01	c 1743s |      22 |  1959831 |  1945522 |     2875   1202 |        0 |        0
1745.54/1746.01	c 1745s |      22 |  1962044 |  1947722 |     2875   1203 |        0 |        0
1747.55/1748.09	c 1747s |      22 |  1964136 |  1949822 |     2875   1204 |        0 |        0
1749.54/1750.09	c 1749s |      22 |  1966240 |  1951922 |     2875   1205 |        0 |        0
1751.64/1752.14	c 1751s |      22 |  1968340 |  1954022 |     2875   1206 |        0 |        0
1753.74/1754.20	c 1753s |      22 |  1970346 |  1956022 |     2875   1208 |        0 |        0
1755.74/1756.26	c 1755s |      22 |  1972449 |  1958122 |     2875   1209 |        0 |        0
1757.74/1758.28	c 1757s |      22 |  1974755 |  1960422 |     2875   1210 |        0 |        0
1759.84/1760.31	c 1760s |      22 |  1977054 |  1962722 |     2875   1211 |        0 |        0
1761.85/1762.31	c 1762s |      22 |  1979158 |  1964822 |     2875   1212 |        0 |        0
1763.84/1764.40	c 1764s |      22 |  1981260 |  1966922 |     2875   1213 |        0 |        0
1765.94/1766.49	c 1766s |      22 |  1983462 |  1969122 |     2875   1214 |        0 |        0
1767.94/1768.49	c 1768s |      22 |  1985465 |  1971122 |     2875   1215 |        0 |        0
1770.04/1770.50	c 1770s |      22 |  1988185 |  1973822 |     2875   1217 |        0 |        0
1772.04/1772.52	c 1772s |      22 |  1991183 |  1976822 |     2875   1218 |        0 |        0
1774.04/1774.54	c 1774s |      22 |  1994294 |  1979922 |     2875   1220 |        0 |        0
1776.04/1776.60	c 1776s |      22 |  1997199 |  1982822 |     2875   1222 |        0 |        0
1778.13/1778.63	c 1778s |      22 |  1999797 |  1985422 |     2875   1223 |        0 |        0
1780.13/1780.66	c 1780s |      22 |  2002309 |  1987922 |     2875   1224 |        0 |        0
1782.13/1782.69	c 1782s |      22 |  2004805 |  1990422 |     2875   1225 |        0 |        0
1784.23/1784.74	c 1784s |      22 |  2007614 |  1993222 |     2875   1227 |        0 |        0
1786.33/1786.82	c 1786s |      22 |  2010419 |  1996022 |     2875   1228 |        0 |        0
1788.33/1788.87	c 1788s |      22 |  2012925 |  1998522 |     2875   1230 |        0 |        0
1790.34/1790.90	c 1790s |      22 |  2015432 |  2001022 |     2875   1231 |        0 |        0
1792.43/1792.94	c 1792s |      22 |  2017930 |  2003522 |     2875   1232 |        0 |        0
1794.43/1794.95	c 1794s |      22 |  2020539 |  2006122 |     2875   1234 |        0 |        0
1796.53/1797.03	c 1796s |      22 |  2023150 |  2008722 |     2875   1235 |        0 |        0
1798.53/1799.06	c 1798s |      22 |  2025849 |  2011422 |     2875   1236 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=15746
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.19 2.18 3/179 15749
/proc/meminfo: memFree=29373004/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=714308 CPUtime=0 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 2665 0 0 0 0 0 0 0 20 0 4 0 24642087 731451392 3025 33554432000 4194304 16246674 140737215382640 140737215382064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 179089 3034 442 2943 0 175983 0
[pid=15749/tid=15750] ppid=15746 vsize=730692 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 748228608 3091 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=734788 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 752422912 3107 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=740932 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24642087 758714368 3131 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.19 2.19 2.18 3/179 15749
/proc/meminfo: memFree=29373004/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 32764 0 0 0 5 3 0 0 20 0 4 0 24642087 1247350784 33116 33554432000 4194304 16246674 140737215382640 140737215382064 12367389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 304529 33124 639 2943 0 301423 0
[pid=15749/tid=15750] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 33129 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 33135 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 33142 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.19 2.19 2.18 3/179 15749
/proc/meminfo: memFree=29373004/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 63666 0 0 0 11 8 0 0 20 0 4 0 24642087 1247350784 64014 33554432000 4194304 16246674 140737215382640 140737215382064 5582293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 304529 64015 704 2943 0 301423 0
[pid=15749/tid=15750] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 64016 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 64017 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 64018 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300456 s]
/proc/loadavg: 2.19 2.19 2.18 3/179 15749
/proc/meminfo: memFree=29373004/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 76683 0 0 0 19 10 0 0 20 0 4 0 24642087 1247350784 77031 33554432000 4194304 16246674 140737215382640 140737215382064 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 304529 77036 745 2943 0 301423 0
[pid=15749/tid=15750] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 77040 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 77043 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 77046 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700357 s]
/proc/loadavg: 2.19 2.19 2.18 3/179 15749
/proc/meminfo: memFree=29373004/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 133500 0 0 0 50 19 0 0 20 0 4 0 24642087 1247350784 133847 33554432000 4194304 16246674 140737215382640 140737215382064 5601494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 304529 133848 772 2943 0 301423 0
[pid=15749/tid=15750] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 133849 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 133850 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24642087 1247350784 133851 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 15753
/proc/meminfo: memFree=28581936/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 246306 0 0 0 114 35 0 0 20 0 4 0 24642087 1250496512 246631 33554432000 4194304 16246674 140737215382640 140737215381952 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 305297 246631 839 2943 0 302191 0
[pid=15749/tid=15750] ppid=15746 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1250496512 246631 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1250496512 246631 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1250496512 246631 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10043 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 15753
/proc/meminfo: memFree=28387256/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1301060 CPUtime=3.09 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 266194 0 0 0 272 37 0 0 20 0 4 0 24642087 1332285440 266519 33554432000 4194304 16246674 140737215382640 140737215364544 5712664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 325265 266519 839 2943 0 322159 0
[pid=15749/tid=15750] ppid=15746 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1332285440 266519 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1332285440 266519 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1332285440 266519 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1301060

[startup+6.30041 s]
/proc/loadavg: 2.17 2.19 2.18 3/183 15753
/proc/meminfo: memFree=28300740/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 267987 0 0 0 592 37 0 0 20 0 4 0 24642087 1339625472 268312 33554432000 4194304 16246674 140737215382640 140737215364544 5711552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 327057 268312 839 2943 0 323951 0
[pid=15749/tid=15750] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1339625472 268312 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1339625472 268312 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1339625472 268312 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.16 2.18 2.18 4/183 15753
/proc/meminfo: memFree=28299376/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 268316 0 0 0 1232 37 0 0 20 0 4 0 24642087 1340674048 268641 33554432000 4194304 16246674 140737215382640 140737215364544 6021072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 327313 268641 839 2943 0 324207 0
[pid=15749/tid=15750] ppid=15746 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1340674048 268641 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1340674048 268641 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1340674048 268641 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5004 s]
/proc/loadavg: 2.12 2.17 2.18 4/183 15753
/proc/meminfo: memFree=28296396/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 269166 0 0 0 2512 37 0 0 20 0 4 0 24642087 1343819776 269491 33554432000 4194304 16246674 140737215382640 140737215364544 5721512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 328081 269491 839 2943 0 324975 0
[pid=15749/tid=15750] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1343819776 269491 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1343819776 269491 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1343819776 269491 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.22 2.19 2.18 3/184 15756
/proc/meminfo: memFree=28295536/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 269168 0 0 0 5071 37 0 0 20 0 4 0 24642087 1343819776 269493 33554432000 4194304 16246674 140737215382640 140737215364544 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 328081 269493 841 2943 0 324975 0
[pid=15749/tid=15750] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1343819776 269493 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1343819776 269493 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1343819776 269493 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.19 2.19 2.18 3/184 15757
/proc/meminfo: memFree=28293060/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 269936 0 0 0 10191 37 0 0 20 0 4 0 24642087 1346965504 270261 33554432000 4194304 16246674 140737215382640 140737215381816 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 328849 270261 841 2943 0 325743 0
[pid=15749/tid=15750] ppid=15746 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1346965504 270261 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1346965504 270261 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1346965504 270261 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1354305536 272059 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 15860
/proc/meminfo: memFree=28270128/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1322564 CPUtime=1361.9 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272107 0 0 0 136145 45 0 0 20 0 4 0 24642087 1354305536 272059 33554432000 4194304 16246674 140737215382640 140737215364544 13774524 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 330641 272059 843 2943 0 327535 0
[pid=15749/tid=15750] ppid=15746 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1354305536 272059 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1354305536 272059 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1354305536 272059 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/183 15861
/proc/meminfo: memFree=28266536/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1421.89 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 142144 45 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 5721639 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/183 15862
/proc/meminfo: memFree=28266264/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1481.88 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 148142 46 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 15864
/proc/meminfo: memFree=28266932/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1541.88 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 154142 46 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.18 2.18 2.17 4/183 15865
/proc/meminfo: memFree=28266776/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1601.87 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 160140 47 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 5711855 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 15866
/proc/meminfo: memFree=28266912/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1661.86 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 166139 47 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 13775064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 15867
/proc/meminfo: memFree=28257252/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1721.84 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 172137 47 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.24 2.19 2.18 4/183 15868
/proc/meminfo: memFree=28257000/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1781.83 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 178136 47 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.18 2.18 3/182 15868
/proc/meminfo: memFree=28257264/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1800.03 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 179956 47 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 12415804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1324612

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.18 2.18 3/182 15868
/proc/meminfo: memFree=28257264/32872528 swapFree=1286400/1433568
[pid=15749] ppid=15746 vsize=1324612 CPUtime=1800.03 cores=0,2,4,6
/proc/15749/stat : 15749 (toysat) R 15746 15749 12983 0 -1 4202496 272619 0 0 0 179956 47 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140737215364544 12415804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15749/statm: 331153 272571 843 2943 0 328047 0
[pid=15749/tid=15750] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15750/stat : 15750 (toysat) S 15746 15749 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294892793072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15749/tid=15751] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15751/stat : 15751 (toysat) S 15746 15749 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294882303216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15749/tid=15752] ppid=15746 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/15749/task/15752/stat : 15752 (toysat) S 15746 15749 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24642087 1356402688 272571 33554432000 4194304 16246674 140737215382640 140294871829680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1324612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.57
CPU system time (s): 0.477927
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.477927
maximum resident set size= 1090284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272619
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= 390
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31634 second user time and 7.2049 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 06:59:13
IDJOB=4101625
IDBENCH=1774
IDSOLVER=2542
FILE ID=node130/4101625-1466225953
RUNJOBID= node130-1466206066-12999
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pk1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101625-1466225953/watcher-4101625-1466225953 -o /tmp/evaluation-result-4101625-1466225953/solver-4101625-1466225953 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101625-1466225953.opb

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

MD5SUM BENCH= 2299da783c48196e7dbf5579e5089efd
RANDOM SEED=575563538

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29373532 kB
Buffers:          105980 kB
Cached:           122496 kB
SwapCached:         1804 kB
Active:          1192952 kB
Inactive:         134220 kB
Active(anon):    1099064 kB
Inactive(anon):     1604 kB
Active(file):      93888 kB
Inactive(file):   132616 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67099028 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       2531296 kB
Mapped:            10520 kB
Shmem:                 0 kB
Slab:             602928 kB
SReclaimable:      46348 kB
SUnreclaim:       556580 kB
KernelStack:        1488 kB
PageTables:         9180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2672928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    960512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node130 at 2016-06-18 07:29:14