Trace number 4106799

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUMfeead174159765db2806c13d35bd6cbe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
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 -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

Solver Data 

0.00/0.00	c 2016-06-18T21:31:57+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-4106799-1466278317.opb"]
0.00/0.01	c use --random-gen="1681982178 1112392824 470887149 1855049842 3665059295 3764406856 2752462484 3633244556 3073302847 2372772108 3874384530 779112519 701516993 2673786284 362632265 2071549229 2018200411 2458884997 254313814 2510523022 638676916 1408691564 4074569011 1509289296 4043903347 2079153157 1462966711 997441260 1009185832 4103228487 1133671395 1998171953 3238201779 3483106312 3677511180 1159631321 2299152731 3526983078 2934409388 500985086 1331313557 1652196372 3413058316 3671945732 3041262814 1810154777 3560844687 739693296 2107669647 1918442986 2874841596 2542091589 2341929522 353421260 1091820313 4042347636 2352251261 4191047105 501640497 2788235978 2838533375 375515510 2692743555 902471919 1424523168 4019255377 673089156 637946785 3911117607 4121789141 2758840772 3664241385 1353795709 3285874216 208605704 2372121850 1318399569 3408097574 1235393991 3596729247 2335453605 1677693828 4182289977 3828374999 1190341071 4086603245 1824943976 3596834718 3056467842 627413482 4023544214 3719472914 3488356480 3186202984 3659568290 3614545586 716656514 3346374301 2634586461 1674899822 363231349 822115652 3818908119 2266170783 4089977260 2618085140 2838031503 3219087456 2858385597 3719894569 2752047987 2441121744 1012767820 361834888 3978107990 127850952 3544726721 2748014667 3891689924 2154119000 942115704 701595647 4061791354 2431013816 1595089122 96635139 3181527869 932453819 3569546602 2785856036 108806815 2834087951 3983014010 2131877832 2968418499 747510926 1190100477 791884962 2075312755 2678058193 3841465506 3330979399 191364767 3471007881 1455927672 2725438464 3277736326 3941687265 763460685 105650372 2282933758 1293918954 2306718745 3647697291 1136296139 2123605885 3282215529 4054407271 1369744788 1332585084 4025455092 4132948239 1189103813 3917153682 3790690214 2636426003 988979314 3008737118 2406261236 616443583 1113163888 3902137710 890326900 1653868992 3523420834 3857622182 3561299680 1697134220 3333846312 967359562 3998349635 3553282399 3637560675 4088325233 1833440614 991393255 2504786637 3130730438 2634103823 3932745340 3456272122 2943467452 1282597902 2496216734 169141649 959866818 2051745141 4240238965 3127108158 1406804333 1308371398 9431442 3498135911 3388645124 3071814816 3316970546 4189333045 3766958637 3061434522 2261058833 1384259318 1022232692 1270511329 1603813889 222269407 2992041749 3418598705 1591745692 4199045190 2635003157 1600455227 4143754090 202561558 2355590540 2616674838 4281905112 414037847 26489233 695218845 1659352647 934827678 1295765435 3884202767 4293249543 1051470179 1916661834 2145086174 1476317504 3488176081 81613262 500882104 2976866428 4079969424 2937373197 1801100034 1348993898 1895763607 2001727540 1000415755 814552864 684607223 1479553786 3442972427 3586386624 2287678395 543930531 255 362436" option to reproduce the execution
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 301
0.08/0.10	c BCD2: Hardening is enabled.
0.08/0.10	c BCD2: BiasedSearch is enabled.
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |     2214      0 |        0 |        0
0.08/0.11	c  0.0s |       0 |      127 |        1 |     2214      0 |        0 |        0
0.08/0.11	c #cpu_time = 0.005s
0.08/0.11	c #wall_clock_time = 0.005s
0.08/0.11	c #decision = 127
0.08/0.11	c #random_decision = 0
0.08/0.11	c #conflict = 1
0.08/0.11	c #restart = 0
0.08/0.11	o -8
0.08/0.11	c BCD2: updating upper bound: 100 -> 91
0.08/0.11	c BCD2: 0 <= obj <= 91
0.08/0.11	c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0
0.08/0.11	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     2214      0 |        0 |        0
0.08/0.11	c  0.0s |       0 |       50 |        1 |     2214      0 |        0 |        0
0.08/0.11	c #cpu_time = 0.004s
0.08/0.11	c #wall_clock_time = 0.004s
0.08/0.11	c #decision = 50
0.08/0.11	c #random_decision = 0
0.08/0.11	c #conflict = 1
0.08/0.11	c #restart = 0
0.08/0.11	c BCD2: found a new core of size 50: cost of the new core is >=1
0.08/0.11	c lower bound updated to -99
0.08/0.11	c BCD2: 1 <= obj <= 91
0.08/0.11	c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0
0.08/0.11	c BCD2: #sat=1 #unsat=2 bias=2/3
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     2214      0 |        0 |        0
0.08/0.12	c  0.0s |       0 |       51 |        1 |     2214      0 |        0 |        0
0.08/0.12	c #cpu_time = 0.005s
0.08/0.12	c #wall_clock_time = 0.005s
0.08/0.12	c #decision = 51
0.08/0.12	c #random_decision = 0
0.08/0.12	c #conflict = 1
0.08/0.12	c #restart = 0
0.08/0.12	c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2
0.08/0.12	c lower bound updated to -98
0.08/0.12	c BCD2: 2 <= obj <= 91
0.08/0.12	c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0
0.08/0.12	c BCD2: #sat=1 #unsat=3 bias=3/4
0.08/0.12	c Solving starts ...
0.08/0.12	c ============================[ Search Statistics ]============================
0.08/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.12	c =============================================================================
0.08/0.12	c  0.0s |       0 |        0 |        0 |     2214      0 |        1 |        0
0.08/0.16	c  0.0s |       1 |     1404 |      100 |     2436      0 |        1 |        1
0.19/0.25	c  0.1s |       2 |     2220 |      250 |     2680      0 |        1 |        1
0.29/0.38	c  0.3s |       3 |     2674 |      475 |     2949      0 |        1 |        1
0.49/0.59	c  0.5s |       4 |     3132 |      813 |     3244      0 |        1 |        1
0.89/0.92	c  0.8s |       5 |     3998 |     1320 |     3569      0 |        1 |        1
1.20/1.27	c  1.1s |       6 |     5317 |     2081 |     3926      0 |        1 |        1
1.69/1.75	c  1.6s |       7 |     7306 |     3223 |     4319      0 |        1 |        1
2.49/2.53	c  2.4s |       8 |    13349 |     4936 |     4751      1 |        1 |        1
3.79/3.87	c  3.8s |       9 |    22744 |     7506 |     5227      2 |        1 |        1
5.89/5.91	c  5.8s |       9 |    52920 |    11206 |     5227      3 |        1 |        1
5.89/5.98	c  5.9s |      10 |    53411 |    11361 |     5750      3 |        1 |        1
7.99/8.02	c  7.9s |      10 |    68074 |    14861 |     5750      4 |        1 |        1
9.19/9.28	c  9.2s |      11 |    81926 |    17144 |     6326      5 |        1 |        1
11.29/11.33	c 11.2s |      11 |   113192 |    20844 |     6326      6 |        1 |        1
13.29/13.37	c 13.3s |      11 |   130148 |    24644 |     6326      7 |        1 |        1
13.89/13.96	c 13.8s |      12 |   135545 |    25819 |     6959      7 |        1 |        1
15.89/15.99	c 15.9s |      12 |   157346 |    29319 |     6959      8 |        1 |        1
17.89/17.99	c 17.9s |      12 |   164087 |    32419 |     6959      9 |        1 |        1
19.98/20.04	c 19.9s |      12 |   183051 |    35519 |     6959     10 |        1 |        1
21.99/22.07	c 22.0s |      12 |   196891 |    38619 |     7655     11 |        1 |        1
22.18/22.20	c 22.1s |      13 |   197256 |    38832 |     7655     11 |        1 |        1
24.19/24.23	c 24.1s |      13 |   217489 |    41532 |     7655     11 |        1 |        1
26.18/26.24	c 26.1s |      13 |   236402 |    44932 |     7655     12 |        1 |        1
28.19/28.24	c 28.1s |      13 |   258026 |    48232 |     7655     13 |        1 |        1
30.19/30.27	c 30.2s |      13 |   268000 |    51532 |     7655     14 |        1 |        1
32.19/32.27	c 32.2s |      13 |   275443 |    54232 |     7655     15 |        1 |        1
34.29/34.38	c 34.3s |      13 |   281728 |    57432 |     7655     16 |        1 |        1
34.89/34.96	c 34.8s |      14 |   284619 |    58352 |     8421     16 |        1 |        1
36.89/36.98	c 36.9s |      14 |   294491 |    61152 |     8421     16 |        1 |        1
38.99/39.02	c 38.9s |      14 |   305830 |    64552 |     8421     17 |        1 |        1
40.99/41.06	c 40.9s |      14 |   313106 |    67352 |     8421     18 |        1 |        1
43.09/43.12	c 43.0s |      14 |   319433 |    70452 |     8421     18 |        1 |        1
45.09/45.14	c 45.0s |      14 |   328395 |    73452 |     8421     19 |        1 |        1
47.08/47.19	c 47.1s |      14 |   341663 |    76852 |     8421     20 |        1 |        1
49.18/49.23	c 49.1s |      14 |   349049 |    79952 |     8421     21 |        1 |        1
51.18/51.24	c 51.1s |      14 |   353797 |    82952 |     8421     21 |        1 |        1
53.18/53.30	c 53.2s |      14 |   362709 |    86052 |     8421     22 |        1 |        1
54.28/54.34	c 54.2s |      15 |   365864 |    87632 |     9264     22 |        1 |        1
56.38/56.47	c 56.4s |      15 |   372528 |    90132 |     9264     23 |        1 |        1
58.48/58.51	c 58.4s |      15 |   383937 |    93532 |     9264     24 |        1 |        1
60.49/60.57	c 60.5s |      15 |   390407 |    96832 |     9264     24 |        1 |        1
62.58/62.60	c 62.5s |      15 |   393391 |    99532 |     9264     25 |        1 |        1
64.68/64.77	c 64.7s |      15 |   400870 |   102732 |     9264     26 |        1 |        1
66.78/66.82	c 66.7s |      15 |   405178 |   105832 |     9264     26 |        1 |        1
68.78/68.87	c 68.8s |      15 |   409869 |   108832 |     9264     27 |        1 |        1
70.78/70.89	c 70.8s |      15 |   418414 |   112132 |     9264     27 |        1 |        1
72.78/72.89	c 72.8s |      15 |   426866 |   114832 |     9264     28 |        1 |        1
74.78/74.89	c 74.8s |      15 |   448772 |   118032 |     9264     29 |        1 |        1
76.88/76.92	c 76.8s |      15 |   460865 |   121032 |     9264     29 |        1 |        1
78.87/78.95	c 78.8s |      15 |   483913 |   124332 |     9264     30 |        1 |        1
80.87/80.98	c 80.9s |      15 |   495936 |   127232 |     9264     31 |        1 |        1
82.97/83.05	c 82.9s |      15 |   507807 |   130332 |     9264     31 |        1 |        1
83.87/83.91	c 83.8s |      16 |   510292 |   131552 |    10191     31 |        1 |        1
85.88/85.97	c 85.9s |      16 |   515928 |   133952 |    10191     32 |        1 |        1
87.87/87.99	c 87.9s |      16 |   524379 |   136652 |    10191     32 |        1 |        1
89.97/90.04	c 89.9s |      16 |   534895 |   139652 |    10191     33 |        1 |        1
91.97/92.07	c 92.0s |      16 |   540322 |   142252 |    10191     33 |        1 |        1
94.07/94.14	c 94.0s |      16 |   546885 |   144752 |    10191     34 |        1 |        1
96.07/96.15	c 96.0s |      16 |   551936 |   147152 |    10191     34 |        1 |        1
98.07/98.19	c 98.1s |      16 |   555518 |   149352 |    10191     35 |        1 |        1
100.18/100.23	c  100s |      16 |   558891 |   151652 |    10191     35 |        1 |        1
102.17/102.27	c  102s |      16 |   562113 |   154052 |    10191     36 |        1 |        1
104.17/104.29	c  104s |      16 |   567885 |   156752 |    10191     36 |        1 |        1
106.27/106.33	c  106s |      16 |   572150 |   159452 |    10191     37 |        1 |        1
108.37/108.48	c  108s |      16 |   576405 |   162352 |    10191     37 |        1 |        1
110.47/110.51	c  110s |      16 |   582422 |   165352 |    10191     38 |        1 |        1
112.47/112.59	c  112s |      16 |   591788 |   168352 |    10191     39 |        1 |        1
114.57/114.60	c  114s |      16 |   596697 |   170952 |    10191     39 |        1 |        1
116.57/116.64	c  116s |      16 |   602835 |   173852 |    10191     40 |        1 |        1
118.57/118.69	c  118s |      16 |   610848 |   176752 |    10191     40 |        1 |        1
120.66/120.75	c  120s |      16 |   617058 |   179452 |    10191     41 |        1 |        1
122.67/122.78	c  122s |      16 |   620264 |   181952 |    10191     41 |        1 |        1
124.67/124.78	c  124s |      16 |   623444 |   184352 |    10191     42 |        1 |        1
126.77/126.80	c  126s |      16 |   627202 |   187052 |    10191     42 |        1 |        1
128.78/128.80	c  128s |      16 |   632118 |   189752 |    10191     43 |        1 |        1
130.77/130.83	c  130s |      16 |   641253 |   192452 |    10191     43 |        1 |        1
132.77/132.85	c  132s |      16 |   646098 |   195152 |    10191     44 |        1 |        1
134.28/134.35	c  134s |      17 |   661087 |   197432 |    11211     44 |        1 |        1
136.38/136.40	c  136s |      17 |   673143 |   200532 |    11211     44 |        1 |        1
138.37/138.42	c  138s |      17 |   683103 |   203332 |    11211     45 |        1 |        1
140.37/140.49	c  140s |      17 |   699011 |   206332 |    11211     46 |        1 |        1
142.47/142.53	c  142s |      17 |   705282 |   209332 |    11211     46 |        1 |        1
144.57/144.60	c  144s |      17 |   710763 |   211832 |    11211     46 |        1 |        1
146.56/146.65	c  146s |      17 |   717060 |   214932 |    11211     47 |        1 |        1
148.57/148.66	c  148s |      17 |   725437 |   218032 |    11211     48 |        1 |        1
150.67/150.72	c  150s |      17 |   730823 |   221032 |    11211     48 |        1 |        1
152.66/152.77	c  152s |      17 |   734727 |   223532 |    11211     49 |        1 |        1
154.66/154.77	c  154s |      17 |   738328 |   226332 |    11211     49 |        1 |        1
156.76/156.83	c  156s |      17 |   742236 |   229132 |    11211     49 |        1 |        1
158.76/158.86	c  158s |      17 |   749508 |   231832 |    11211     50 |        1 |        1
160.76/160.86	c  160s |      17 |   765206 |   234832 |    11211     51 |        1 |        1
162.87/162.94	c  162s |      17 |   772703 |   237532 |    11211     51 |        1 |        1
164.96/165.07	c  164s |      17 |   779011 |   240532 |    11211     52 |        1 |        1
167.06/167.13	c  167s |      17 |   787256 |   243432 |    11211     52 |        1 |        1
169.05/169.16	c  169s |      17 |   791224 |   245832 |    11211     52 |        1 |        1
171.05/171.17	c  171s |      17 |   795785 |   248432 |    11211     53 |        1 |        1
173.15/173.25	c  173s |      17 |   798941 |   250732 |    11211     53 |        1 |        1
175.15/175.27	c  175s |      17 |   803124 |   253132 |    11211     54 |        1 |        1
177.25/177.32	c  177s |      17 |   807113 |   255632 |    11211     54 |        1 |        1
179.25/179.39	c  179s |      17 |   811843 |   258332 |    11211     55 |        1 |        1
181.24/181.40	c  181s |      17 |   815644 |   261132 |    11211     55 |        1 |        1
183.34/183.46	c  183s |      17 |   819020 |   263732 |    11211     56 |        1 |        1
185.44/185.50	c  185s |      17 |   825559 |   266132 |    11211     56 |        1 |        1
187.44/187.56	c  187s |      17 |   829138 |   268532 |    11211     56 |        1 |        1
189.54/189.61	c  189s |      17 |   836537 |   270532 |    11211     57 |        1 |        1
191.54/191.68	c  191s |      17 |   846409 |   273732 |    11211     57 |        1 |        1
193.55/193.69	c  193s |      17 |   852244 |   276332 |    11211     58 |        1 |        1
195.64/195.72	c  195s |      17 |   859247 |   278932 |    11211     58 |        1 |        1
197.64/197.73	c  197s |      17 |   868484 |   281632 |    11211     59 |        1 |        1
199.64/199.78	c  199s |      17 |   874924 |   284032 |    11211     59 |        1 |        1
201.74/201.85	c  201s |      17 |   879336 |   286632 |    11211     60 |        1 |        1
203.84/203.92	c  203s |      17 |   887053 |   289232 |    11211     60 |        1 |        1
205.84/205.94	c  205s |      17 |   894532 |   291932 |    11211     61 |        1 |        1
207.84/207.95	c  207s |      17 |   898666 |   294532 |    12333     61 |        1 |        1
209.04/209.17	c  209s |      18 |   902384 |   296252 |    12333     61 |        1 |        1
211.14/211.24	c  211s |      18 |   907389 |   298452 |    12333     61 |        1 |        1
213.13/213.26	c  213s |      18 |   917389 |   301852 |    12333     62 |        1 |        1
215.23/215.36	c  215s |      18 |   922082 |   304952 |    12333     63 |        1 |        1
217.33/217.41	c  217s |      18 |   926735 |   308052 |    12333     63 |        1 |        1
219.32/219.46	c  219s |      18 |   932042 |   310852 |    12333     63 |        1 |        1
221.32/221.49	c  221s |      18 |   943793 |   313552 |    12333     64 |        1 |        1
223.42/223.51	c  223s |      18 |   948926 |   316252 |    12333     64 |        1 |        1
225.43/225.60	c  225s |      18 |   956942 |   318952 |    12333     65 |        1 |        1
227.52/227.60	c  227s |      18 |   961711 |   321652 |    12333     65 |        1 |        1
229.83/230.00	c  229s |      18 |   968595 |   323852 |    12333     66 |        1 |        1
231.92/232.02	c  231s |      18 |   978776 |   326552 |    12333     66 |        1 |        1
233.92/234.03	c  233s |      18 |   985079 |   329052 |    12333     66 |        1 |        1
236.02/236.14	c  236s |      18 |   989149 |   331152 |    12333     67 |        1 |        1
238.02/238.15	c  238s |      18 |   992839 |   333952 |    12333     67 |        1 |        1
240.02/240.16	c  240s |      18 |   996468 |   336452 |    12333     68 |        1 |        1
242.12/242.20	c  242s |      18 |  1002776 |   339052 |    12333     68 |        1 |        1
244.12/244.20	c  244s |      18 |  1008539 |   341652 |    12333     68 |        1 |        1
246.12/246.25	c  246s |      18 |  1014452 |   344352 |    12333     69 |        1 |        1
248.21/248.32	c  248s |      18 |  1019577 |   347152 |    12333     69 |        1 |        1
250.21/250.38	c  250s |      18 |  1023891 |   349552 |    12333     70 |        1 |        1
252.51/252.69	c  252s |      18 |  1030112 |   351652 |    12333     70 |        1 |        1
254.61/254.70	c  254s |      18 |  1044918 |   354452 |    12333     70 |        1 |        1
256.61/256.70	c  256s |      18 |  1061934 |   357052 |    12333     71 |        1 |        1
258.60/258.70	c  258s |      18 |  1071237 |   359752 |    12333     71 |        1 |        1
260.61/260.74	c  260s |      18 |  1075344 |   361652 |    12333     72 |        1 |        1
262.70/262.81	c  262s |      18 |  1079891 |   364352 |    12333     72 |        1 |        1
264.70/264.81	c  264s |      18 |  1082888 |   366652 |    12333     72 |        1 |        1
266.80/266.90	c  266s |      18 |  1086165 |   368952 |    12333     73 |        1 |        1
268.80/268.98	c  268s |      18 |  1090408 |   370852 |    12333     73 |        1 |        1
270.90/271.02	c  270s |      18 |  1095748 |   373352 |    12333     73 |        1 |        1
272.90/273.09	c  272s |      18 |  1098857 |   375852 |    12333     74 |        1 |        1
275.01/275.11	c  274s |      18 |  1108113 |   378552 |    12333     74 |        1 |        1
277.00/277.18	c  277s |      18 |  1112075 |   380752 |    12333     75 |        1 |        1
279.10/279.23	c  279s |      18 |  1114526 |   383052 |    12333     75 |        1 |        1
281.80/281.95	c  281s |      18 |  1117046 |   384852 |    12333     75 |        1 |        1
283.90/284.00	c  283s |      18 |  1125329 |   387352 |    12333     76 |        1 |        1
285.90/286.04	c  285s |      18 |  1130329 |   389852 |    12333     76 |        1 |        1
287.89/288.08	c  287s |      18 |  1138132 |   392252 |    12333     76 |        1 |        1
289.99/290.10	c  289s |      18 |  1142465 |   394452 |    12333     77 |        1 |        1
291.99/292.19	c  292s |      18 |  1145335 |   396752 |    12333     77 |        1 |        1
294.29/294.42	c  294s |      18 |  1148117 |   398952 |    12333     78 |        1 |        1
296.29/296.43	c  296s |      18 |  1150808 |   401052 |    12333     78 |        1 |        1
298.29/298.48	c  298s |      18 |  1154122 |   403252 |    12333     78 |        1 |        1
300.39/300.56	c  300s |      18 |  1156288 |   405252 |    12333     79 |        1 |        1
302.50/302.63	c  302s |      18 |  1158727 |   407252 |    12333     79 |        1 |        1
304.49/304.69	c  304s |      18 |  1161288 |   409652 |    12333     79 |        1 |        1
306.59/306.74	c  306s |      18 |  1166224 |   411652 |    12333     80 |        1 |        1
308.58/308.75	c  308s |      18 |  1169868 |   413852 |    12333     80 |        1 |        1
310.58/310.77	c  310s |      18 |  1174272 |   416552 |    12333     80 |        1 |        1
312.68/312.81	c  312s |      18 |  1177901 |   419052 |    12333     81 |        1 |        1
314.68/314.85	c  314s |      18 |  1181722 |   421552 |    12333     81 |        1 |        1
316.79/316.98	c  316s |      18 |  1185066 |   423952 |    12333     82 |        1 |        1
318.89/319.02	c  318s |      18 |  1189607 |   426652 |    12333     82 |        1 |        1
320.88/321.04	c  320s |      18 |  1192841 |   429152 |    12333     82 |        1 |        1
323.08/323.20	c  323s |      18 |  1197283 |   430752 |    12333     83 |        1 |        1
325.08/325.23	c  325s |      18 |  1204201 |   433752 |    12333     83 |        1 |        1
327.08/327.25	c  327s |      18 |  1209536 |   436052 |    12333     83 |        1 |        1
329.08/329.28	c  329s |      18 |  1213363 |   438252 |    12333     84 |        1 |        1
331.18/331.33	c  331s |      18 |  1220357 |   440852 |    12333     84 |        1 |        1
333.18/333.34	c  333s |      18 |  1228919 |   443352 |    13567     84 |        1 |        1
334.28/334.43	c  334s |      19 |  1230760 |   444482 |    13567     85 |        1 |        1
336.28/336.47	c  336s |      19 |  1236114 |   446382 |    13567     85 |        1 |        1
338.27/338.48	c  338s |      19 |  1239125 |   448582 |    13567     85 |        1 |        1
340.37/340.51	c  340s |      19 |  1246660 |   450982 |    13567     86 |        1 |        1
342.37/342.51	c  342s |      19 |  1250994 |   453282 |    13567     86 |        1 |        1
344.37/344.54	c  344s |      19 |  1256761 |   455882 |    13567     86 |        1 |        1
346.38/346.55	c  346s |      19 |  1259874 |   458082 |    13567     87 |        1 |        1
348.37/348.59	c  348s |      19 |  1265312 |   460882 |    13567     87 |        1 |        1
350.47/350.61	c  350s |      19 |  1269342 |   463282 |    13567     87 |        1 |        1
352.47/352.62	c  352s |      19 |  1272239 |   464782 |    13567     88 |        1 |        1
354.47/354.63	c  354s |      19 |  1277764 |   467282 |    13567     88 |        1 |        1
356.47/356.65	c  356s |      19 |  1281668 |   469582 |    13567     88 |        1 |        1
358.47/358.66	c  358s |      19 |  1284436 |   471682 |    13567     89 |        1 |        1
360.56/360.70	c  360s |      19 |  1289628 |   474282 |    13567     89 |        1 |        1
362.56/362.72	c  362s |      19 |  1293398 |   476482 |    13567     89 |        1 |        1
364.56/364.75	c  364s |      19 |  1296981 |   478682 |    13567     90 |        1 |        1
366.66/366.80	c  366s |      19 |  1299927 |   480982 |    13567     90 |        1 |        1
368.66/368.84	c  368s |      19 |  1302423 |   483082 |    13567     90 |        1 |        1
370.76/370.92	c  370s |      19 |  1304446 |   484482 |    13567     90 |        1 |        1
372.77/372.99	c  372s |      19 |  1307330 |   486882 |    13567     91 |        1 |        1
374.86/375.04	c  374s |      19 |  1309882 |   489182 |    13567     91 |        1 |        1
376.86/377.09	c  376s |      19 |  1312576 |   491682 |    13567     91 |        1 |        1
378.85/379.10	c  378s |      19 |  1314694 |   492882 |    13567     92 |        1 |        1
380.95/381.13	c  381s |      19 |  1319279 |   495482 |    13567     92 |        1 |        1
382.95/383.18	c  383s |      19 |  1324389 |   498082 |    13567     92 |        1 |        1
385.05/385.22	c  385s |      19 |  1329255 |   500682 |    13567     93 |        1 |        1
387.06/387.25	c  387s |      19 |  1335747 |   503482 |    13567     93 |        1 |        1
389.05/389.28	c  389s |      19 |  1341290 |   505882 |    13567     93 |        1 |        1
391.15/391.33	c  391s |      19 |  1348402 |   508582 |    13567     94 |        1 |        1
393.15/393.34	c  393s |      19 |  1353878 |   511082 |    13567     94 |        1 |        1
395.14/395.38	c  395s |      19 |  1356540 |   513082 |    13567     95 |        1 |        1
397.14/397.39	c  397s |      19 |  1359066 |   515382 |    13567     95 |        1 |        1
399.26/399.46	c  399s |      19 |  1361342 |   516782 |    13567     95 |        1 |        1
401.25/401.48	c  401s |      19 |  1369109 |   519382 |    13567     95 |        1 |        1
403.25/403.49	c  403s |      19 |  1372217 |   521782 |    13567     96 |        1 |        1
405.35/405.57	c  405s |      19 |  1376856 |   524482 |    13567     96 |        1 |        1
407.44/407.62	c  407s |      19 |  1380637 |   526782 |    13567     97 |        1 |        1
409.94/410.19	c  410s |      19 |  1384187 |   529182 |    13567     97 |        1 |        1
412.04/412.21	c  412s |      19 |  1388045 |   531782 |    13567     97 |        1 |        1
414.04/414.22	c  414s |      19 |  1391319 |   534182 |    13567     98 |        1 |        1
416.04/416.27	c  416s |      19 |  1394819 |   536682 |    13567     98 |        1 |        1
418.13/418.33	c  418s |      19 |  1398780 |   538982 |    13567     98 |        1 |        1
420.23/420.40	c  420s |      19 |  1401942 |   541482 |    13567     99 |        1 |        1
422.24/422.47	c  422s |      19 |  1405427 |   544082 |    13567     99 |        1 |        1
424.33/424.52	c  424s |      19 |  1408213 |   546482 |    13567     99 |        1 |        1
426.33/426.57	c  426s |      19 |  1411869 |   549182 |    13567    100 |        1 |        1
428.43/428.62	c  428s |      19 |  1416951 |   551982 |    13567    100 |        1 |        1
430.43/430.64	c  430s |      19 |  1420710 |   554382 |    13567    100 |        1 |        1
432.43/432.67	c  432s |      19 |  1425422 |   556682 |    13567    101 |        1 |        1
434.53/434.73	c  434s |      19 |  1431477 |   559382 |    13567    101 |        1 |        1
436.53/436.73	c  436s |      19 |  1435561 |   561582 |    13567    102 |        1 |        1
438.73/438.91	c  438s |      19 |  1439278 |   564182 |    13567    102 |        1 |        1
440.72/440.97	c  440s |      19 |  1444181 |   566382 |    13567    102 |        1 |        1
442.72/442.98	c  442s |      19 |  1449085 |   568582 |    13567    103 |        1 |        1
444.82/445.02	c  444s |      19 |  1453629 |   571282 |    13567    103 |        1 |        1
446.92/447.10	c  446s |      19 |  1458220 |   573882 |    13567    103 |        1 |        1
448.92/449.13	c  449s |      19 |  1461251 |   576282 |    13567    104 |        1 |        1
450.92/451.18	c  451s |      19 |  1465351 |   578882 |    13567    104 |        1 |        1
453.02/453.21	c  453s |      19 |  1471192 |   581282 |    13567    104 |        1 |        1
455.02/455.26	c  455s |      19 |  1474036 |   583482 |    13567    105 |        1 |        1
457.02/457.28	c  457s |      19 |  1477660 |   585982 |    13567    105 |        1 |        1
459.11/459.32	c  459s |      19 |  1480888 |   588382 |    13567    105 |        1 |        1
461.11/461.35	c  461s |      19 |  1483083 |   590382 |    13567    106 |        1 |        1
463.61/463.81	c  463s |      19 |  1490514 |   592982 |    13567    106 |        1 |        1
465.61/465.82	c  465s |      19 |  1494971 |   595182 |    13567    106 |        1 |        1
467.71/467.90	c  467s |      19 |  1498623 |   597482 |    13567    107 |        1 |        1
469.71/469.96	c  469s |      19 |  1501934 |   599982 |    13567    107 |        1 |        1
471.72/471.98	c  471s |      19 |  1505786 |   602582 |    13567    107 |        1 |        1
473.81/474.02	c  473s |      19 |  1508609 |   604882 |    13567    108 |        1 |        1
475.81/476.06	c  475s |      19 |  1511141 |   607082 |    13567    108 |        1 |        1
477.90/478.11	c  477s |      19 |  1517207 |   609682 |    13567    108 |        1 |        1
479.90/480.12	c  480s |      19 |  1521561 |   612282 |    13567    109 |        1 |        1
481.90/482.14	c  482s |      19 |  1527200 |   615282 |    13567    109 |        1 |        1
483.91/484.18	c  484s |      19 |  1532214 |   617782 |    13567    110 |        1 |        1
485.90/486.19	c  486s |      19 |  1535444 |   620382 |    13567    110 |        1 |        1
488.01/488.25	c  488s |      19 |  1540729 |   622882 |    13567    110 |        1 |        1
490.01/490.29	c  490s |      19 |  1544241 |   625382 |    13567    111 |        1 |        1
492.11/492.37	c  492s |      19 |  1547797 |   628082 |    13567    111 |        1 |        1
494.21/494.41	c  494s |      19 |  1550957 |   630582 |    13567    112 |        1 |        1
496.31/496.53	c  496s |      19 |  1553859 |   632782 |    13567    112 |        1 |        1
498.30/498.54	c  498s |      19 |  1557226 |   635382 |    13567    112 |        1 |        1
500.41/500.61	c  500s |      19 |  1560921 |   637982 |    13567    113 |        1 |        1
502.40/502.63	c  502s |      19 |  1564946 |   640682 |    13567    113 |        1 |        1
504.40/504.68	c  504s |      19 |  1567850 |   643182 |    13567    113 |        1 |        1
506.50/506.71	c  506s |      19 |  1571488 |   645782 |    13567    114 |        1 |        1
508.50/508.76	c  508s |      19 |  1575017 |   648582 |    13567    114 |        1 |        1
510.50/510.79	c  510s |      19 |  1577572 |   650682 |    13567    114 |        1 |        1
512.60/512.80	c  512s |      19 |  1580463 |   653182 |    13567    115 |        1 |        1
514.60/514.86	c  514s |      19 |  1583960 |   655882 |    13567    115 |        1 |        1
516.59/516.88	c  516s |      19 |  1586868 |   658182 |    13567    116 |        1 |        1
518.69/518.92	c  518s |      19 |  1590002 |   660882 |    13567    116 |        1 |        1
520.69/520.97	c  520s |      19 |  1593168 |   663282 |    14924    116 |        1 |        1
522.79/523.05	c  522s |      19 |  1595821 |   665682 |    14924    116 |        1 |        1
524.29/524.51	c  524s |      20 |  1597688 |   666827 |    14924    117 |        1 |        1
526.29/526.54	c  526s |      20 |  1604413 |   669027 |    14924    117 |        1 |        1
528.38/528.61	c  528s |      20 |  1612908 |   672027 |    14924    117 |        1 |        1
530.58/530.85	c  530s |      20 |  1618513 |   674227 |    14924    118 |        1 |        1
532.68/532.90	c  532s |      20 |  1623645 |   676627 |    14924    118 |        1 |        1
534.68/534.91	c  534s |      20 |  1632294 |   679027 |    14924    118 |        1 |        1
536.69/536.92	c  536s |      20 |  1638343 |   681127 |    14924    119 |        1 |        1
538.68/538.97	c  538s |      20 |  1641880 |   683427 |    14924    119 |        1 |        1
540.77/541.06	c  540s |      20 |  1648940 |   685927 |    14924    119 |        1 |        1
542.87/543.13	c  543s |      20 |  1653529 |   688127 |    14924    119 |        1 |        1
544.97/545.20	c  545s |      20 |  1656671 |   690227 |    14924    120 |        1 |        1
546.97/547.21	c  547s |      20 |  1659638 |   692427 |    14924    120 |        1 |        1
548.97/549.25	c  549s |      20 |  1665310 |   694627 |    14924    120 |        1 |        1
551.17/551.47	c  551s |      20 |  1667826 |   696227 |    14924    121 |        1 |        1
553.48/553.75	c  553s |      20 |  1671459 |   698427 |    14924    121 |        1 |        1
555.58/555.82	c  555s |      20 |  1675152 |   700927 |    14924    121 |        1 |        1
557.58/557.87	c  557s |      20 |  1680189 |   703327 |    14924    121 |        1 |        1
559.57/559.89	c  559s |      20 |  1683572 |   705627 |    14924    122 |        1 |        1
561.67/561.97	c  561s |      20 |  1688433 |   708127 |    14924    122 |        1 |        1
563.67/563.99	c  563s |      20 |  1691218 |   710227 |    14924    122 |        1 |        1
565.87/566.12	c  566s |      20 |  1693568 |   711827 |    14924    123 |        1 |        1
567.87/568.17	c  568s |      20 |  1697828 |   714427 |    14924    123 |        1 |        1
569.97/570.20	c  570s |      20 |  1700871 |   716827 |    14924    123 |        1 |        1
571.97/572.24	c  572s |      20 |  1710010 |   719127 |    14924    124 |        1 |        1
573.97/574.29	c  574s |      20 |  1716495 |   721527 |    14924    124 |        1 |        1
576.07/576.31	c  576s |      20 |  1720804 |   723927 |    14924    124 |        1 |        1
578.06/578.36	c  578s |      20 |  1724927 |   726427 |    14924    124 |        1 |        1
580.16/580.41	c  580s |      20 |  1730079 |   728827 |    14924    125 |        1 |        1
582.26/582.50	c  582s |      20 |  1739051 |   731327 |    14924    125 |        1 |        1
584.26/584.56	c  584s |      20 |  1742722 |   733427 |    14924    125 |        1 |        1
586.26/586.57	c  586s |      20 |  1745250 |   735427 |    14924    126 |        1 |        1
588.36/588.62	c  588s |      20 |  1747735 |   737427 |    14924    126 |        1 |        1
590.46/590.72	c  590s |      20 |  1751177 |   739827 |    14924    126 |        1 |        1
592.55/592.80	c  592s |      20 |  1754495 |   742027 |    14924    127 |        1 |        1
594.55/594.84	c  594s |      20 |  1756518 |   743827 |    14924    127 |        1 |        1
596.65/596.90	c  596s |      20 |  1759663 |   746027 |    14924    127 |        1 |        1
598.64/598.99	c  598s |      20 |  1763822 |   748327 |    14924    127 |        1 |        1
600.74/601.01	c  600s |      20 |  1767678 |   750527 |    14924    128 |        1 |        1
602.74/603.04	c  602s |      20 |  1770413 |   752027 |    14924    128 |        1 |        1
604.75/605.07	c  604s |      20 |  1773587 |   754127 |    14924    128 |        1 |        1
606.84/607.17	c  607s |      20 |  1775790 |   756227 |    14924    128 |        1 |        1
608.94/609.20	c  609s |      20 |  1778464 |   758227 |    14924    129 |        1 |        1
610.94/611.28	c  611s |      20 |  1781584 |   760427 |    14924    129 |        1 |        1
613.04/613.30	c  613s |      20 |  1784601 |   762527 |    14924    129 |        1 |        1
615.04/615.33	c  615s |      20 |  1789168 |   764527 |    14924    130 |        1 |        1
617.04/617.34	c  617s |      20 |  1794013 |   766827 |    14924    130 |        1 |        1
619.04/619.36	c  619s |      20 |  1796234 |   768927 |    14924    130 |        1 |        1
621.35/621.63	c  621s |      20 |  1797220 |   769827 |    14924    130 |        1 |        1
623.34/623.65	c  623s |      20 |  1799495 |   771627 |    14924    130 |        1 |        1
625.34/625.65	c  625s |      20 |  1806019 |   774027 |    14924    131 |        1 |        1
627.33/627.67	c  627s |      20 |  1810294 |   776427 |    14924    131 |        1 |        1
629.33/629.70	c  629s |      20 |  1813770 |   778727 |    14924    131 |        1 |        1
631.43/631.79	c  631s |      20 |  1817916 |   781027 |    14924    132 |        1 |        1
633.53/633.82	c  633s |      20 |  1820311 |   783227 |    14924    132 |        1 |        1
635.64/635.91	c  635s |      20 |  1823255 |   785527 |    14924    132 |        1 |        1
637.62/637.95	c  637s |      20 |  1827388 |   787627 |    14924    133 |        1 |        1
640.03/640.31	c  640s |      20 |  1829446 |   789327 |    14924    133 |        1 |        1
642.02/642.38	c  642s |      20 |  1831946 |   791527 |    14924    133 |        1 |        1
644.12/644.45	c  644s |      20 |  1834933 |   793727 |    14924    133 |        1 |        1
646.63/646.96	c  646s |      20 |  1837920 |   795827 |    14924    134 |        1 |        1
648.73/649.01	c  648s |      20 |  1840451 |   798027 |    14924    134 |        1 |        1
650.72/651.07	c  650s |      20 |  1843081 |   799827 |    14924    134 |        1 |        1
652.72/653.08	c  652s |      20 |  1846724 |   802027 |    14924    135 |        1 |        1
654.81/655.16	c  655s |      20 |  1849717 |   804527 |    14924    135 |        1 |        1
656.91/657.26	c  657s |      20 |  1852263 |   806627 |    14924    135 |        1 |        1
658.91/659.29	c  659s |      20 |  1856438 |   808927 |    14924    135 |        1 |        1
661.01/661.37	c  661s |      20 |  1858906 |   811027 |    14924    136 |        1 |        1
663.12/663.40	c  663s |      20 |  1861237 |   812927 |    14924    136 |        1 |        1
665.11/665.46	c  665s |      20 |  1865501 |   815427 |    14924    136 |        1 |        1
667.21/667.51	c  667s |      20 |  1868138 |   817627 |    14924    137 |        1 |        1
669.21/669.52	c  669s |      20 |  1871158 |   820227 |    14924    137 |        1 |        1
671.21/671.52	c  671s |      20 |  1874497 |   822727 |    14924    137 |        1 |        1
673.31/673.65	c  673s |      20 |  1877021 |   824727 |    14924    138 |        1 |        1
675.31/675.66	c  675s |      20 |  1882140 |   827427 |    14924    138 |        1 |        1
677.31/677.68	c  677s |      20 |  1885346 |   829927 |    14924    138 |        1 |        1
679.40/679.73	c  679s |      20 |  1890568 |   832727 |    14924    139 |        1 |        1
681.41/681.78	c  681s |      20 |  1894730 |   835327 |    14924    139 |        1 |        1
683.51/683.83	c  683s |      20 |  1901200 |   838127 |    14924    139 |        1 |        1
685.51/685.87	c  685s |      20 |  1905234 |   840227 |    14924    140 |        1 |        1
687.61/687.93	c  687s |      20 |  1909548 |   842727 |    14924    140 |        1 |        1
689.61/689.99	c  689s |      20 |  1914965 |   845427 |    14924    140 |        1 |        1
691.71/692.02	c  691s |      20 |  1918793 |   847727 |    14924    141 |        1 |        1
693.91/694.26	c  694s |      20 |  1922346 |   849927 |    14924    141 |        1 |        1
696.01/696.31	c  696s |      20 |  1927361 |   852427 |    14924    141 |        1 |        1
697.99/698.32	c  698s |      20 |  1931006 |   854627 |    14924    141 |        1 |        1
699.99/700.33	c  700s |      20 |  1935224 |   856827 |    14924    142 |        1 |        1
701.99/702.33	c  702s |      20 |  1940265 |   859027 |    14924    142 |        1 |        1
703.99/704.38	c  704s |      20 |  1944879 |   861627 |    14924    142 |        1 |        1
706.09/706.43	c  706s |      20 |  1948629 |   863727 |    14924    143 |        1 |        1
708.10/708.44	c  708s |      20 |  1952434 |   865827 |    14924    143 |        1 |        1
710.09/710.49	c  710s |      20 |  1960809 |   868327 |    14924    143 |        1 |        1
712.19/712.57	c  712s |      20 |  1964677 |   870527 |    14924    144 |        1 |        1
714.19/714.57	c  714s |      20 |  1971014 |   873027 |    14924    144 |        1 |        1
716.29/716.65	c  716s |      20 |  1975522 |   875527 |    14924    144 |        1 |        1
718.38/718.71	c  718s |      20 |  1979492 |   877827 |    14924    145 |        1 |        1
720.88/721.22	c  721s |      20 |  1983124 |   880127 |    14924    145 |        1 |        1
722.89/723.25	c  723s |      20 |  1988044 |   882327 |    14924    145 |        1 |        1
724.99/725.34	c  725s |      20 |  1993652 |   884827 |    14924    145 |        1 |        1
727.08/727.40	c  727s |      20 |  1996271 |   886727 |    14924    146 |        1 |        1
729.09/729.43	c  729s |      20 |  2000413 |   889227 |    14924    146 |        1 |        1
731.08/731.43	c  731s |      20 |  2004590 |   891527 |    14924    146 |        1 |        1
733.18/733.51	c  733s |      20 |  2007275 |   893727 |    14924    147 |        1 |        1
735.18/735.55	c  735s |      20 |  2010436 |   896027 |    14924    147 |        1 |        1
737.27/737.64	c  737s |      20 |  2013572 |   898427 |    14924    147 |        1 |        1
739.37/739.74	c  739s |      20 |  2016759 |   900627 |    14924    148 |        1 |        1
741.47/741.80	c  741s |      20 |  2021373 |   903027 |    14924    148 |        1 |        1
743.47/743.83	c  743s |      20 |  2023586 |   904727 |    14924    148 |        1 |        1
745.48/745.90	c  745s |      20 |  2027369 |   907427 |    14924    148 |        1 |        1
747.57/747.93	c  747s |      20 |  2033226 |   909727 |    14924    149 |        1 |        1
749.57/749.98	c  749s |      20 |  2039889 |   912327 |    14924    149 |        1 |        1
751.67/752.02	c  751s |      20 |  2044274 |   914727 |    14924    149 |        1 |        1
753.67/754.07	c  753s |      20 |  2048275 |   917127 |    14924    150 |        1 |        1
755.67/756.08	c  755s |      20 |  2053362 |   919527 |    14924    150 |        1 |        1
757.76/758.17	c  758s |      20 |  2058562 |   922027 |    14924    150 |        1 |        1
759.87/760.22	c  760s |      20 |  2062378 |   924427 |    14924    151 |        1 |        1
761.86/762.27	c  762s |      20 |  2065078 |   926727 |    14924    151 |        1 |        1
763.96/764.37	c  764s |      20 |  2068003 |   928927 |    14924    151 |        1 |        1
766.06/766.40	c  766s |      20 |  2070242 |   930927 |    14924    152 |        1 |        1
768.06/768.47	c  768s |      20 |  2072946 |   933227 |    14924    152 |        1 |        1
770.16/770.55	c  770s |      20 |  2075692 |   935627 |    14924    152 |        1 |        1
772.16/772.56	c  772s |      20 |  2078738 |   937927 |    14924    152 |        1 |        1
774.16/774.57	c  774s |      20 |  2081959 |   940127 |    14924    153 |        1 |        1
776.26/776.62	c  776s |      20 |  2084889 |   942227 |    14924    153 |        1 |        1
778.25/778.63	c  778s |      20 |  2088227 |   944327 |    14924    153 |        1 |        1
780.25/780.67	c  780s |      20 |  2090620 |   946127 |    14924    154 |        1 |        1
782.35/782.74	c  782s |      20 |  2095525 |   948327 |    14924    154 |        1 |        1
784.75/785.14	c  785s |      20 |  2099427 |   950527 |    14924    154 |        1 |        1
786.75/787.17	c  787s |      20 |  2110552 |   953027 |    14924    154 |        1 |        1
788.75/789.18	c  789s |      20 |  2113959 |   955327 |    14924    155 |        1 |        1
790.85/791.20	c  791s |      20 |  2117002 |   957827 |    14924    155 |        1 |        1
792.86/793.21	c  793s |      20 |  2120541 |   960327 |    14924    155 |        1 |        1
794.85/795.22	c  795s |      20 |  2125276 |   962727 |    14924    156 |        1 |        1
796.95/797.31	c  797s |      20 |  2129096 |   965127 |    14924    156 |        1 |        1
799.05/799.41	c  799s |      20 |  2132391 |   967427 |    14924    156 |        1 |        1
801.05/801.43	c  801s |      20 |  2139369 |   969627 |    14924    157 |        1 |        1
803.04/803.45	c  803s |      20 |  2142968 |   972227 |    14924    157 |        1 |        1
805.04/805.47	c  805s |      20 |  2146361 |   974727 |    14924    157 |        1 |        1
807.05/807.48	c  807s |      20 |  2149040 |   977027 |    14924    158 |        1 |        1
809.14/809.55	c  809s |      20 |  2152450 |   979627 |    14924    158 |        1 |        1
811.24/811.61	c  811s |      20 |  2155296 |   982127 |    14924    158 |        1 |        1
813.35/813.78	c  813s |      20 |  2157305 |   983927 |    14924    159 |        1 |        1
815.45/815.81	c  815s |      20 |  2160178 |   986227 |    14924    159 |        1 |        1
817.45/817.84	c  817s |      20 |  2162338 |   987727 |    14924    159 |        1 |        1
819.45/819.85	c  819s |      20 |  2165028 |   990227 |    14924    159 |        1 |        1
821.55/821.90	c  821s |      20 |  2168048 |   992527 |    14924    160 |        1 |        1
823.56/823.97	c  823s |      20 |  2171277 |   995127 |    16417    160 |        1 |        1
825.65/826.03	c  825s |      20 |  2174832 |   997827 |    16417    160 |        1 |        1
827.75/828.11	c  827s |      20 |  2177108 |   999727 |    16417    160 |        1 |        1
828.45/828.83	c  828s |      21 |  2177952 |  1000345 |    16417    161 |        1 |        1
830.45/830.86	c  830s |      21 |  2182171 |  1001945 |    16417    161 |        1 |        1
832.45/832.88	c  832s |      21 |  2190666 |  1004345 |    16417    161 |        1 |        1
834.45/834.90	c  834s |      21 |  2198618 |  1006645 |    16417    161 |        1 |        1
836.65/837.03	c  836s |      21 |  2201297 |  1008545 |    16417    162 |        1 |        1
838.65/839.05	c  838s |      21 |  2204650 |  1010945 |    16417    162 |        1 |        1
840.65/841.09	c  840s |      21 |  2210072 |  1013045 |    16417    162 |        1 |        1
842.74/843.14	c  843s |      21 |  2213107 |  1015045 |    16417    162 |        1 |        1
844.74/845.18	c  845s |      21 |  2215124 |  1016845 |    16417    163 |        1 |        1
846.84/847.20	c  847s |      21 |  2217010 |  1018245 |    16417    163 |        1 |        1
848.85/849.25	c  849s |      21 |  2220141 |  1020445 |    16417    163 |        1 |        1
850.84/851.30	c  851s |      21 |  2222780 |  1022745 |    16417    163 |        1 |        1
852.94/853.34	c  853s |      21 |  2225760 |  1024945 |    16417    163 |        1 |        1
855.04/855.40	c  855s |      21 |  2228893 |  1026845 |    16417    164 |        1 |        1
857.04/857.43	c  857s |      21 |  2231469 |  1029145 |    16417    164 |        1 |        1
859.04/859.43	c  859s |      21 |  2234511 |  1031245 |    16417    164 |        1 |        1
861.14/861.51	c  861s |      21 |  2239078 |  1033445 |    16417    164 |        1 |        1
863.14/863.54	c  863s |      21 |  2241756 |  1034945 |    16417    165 |        1 |        1
865.24/865.64	c  865s |      21 |  2244883 |  1036945 |    16417    165 |        1 |        1
867.24/867.68	c  867s |      21 |  2247417 |  1038845 |    16417    165 |        1 |        1
869.23/869.70	c  869s |      21 |  2249726 |  1040745 |    16417    165 |        1 |        1
871.34/871.77	c  871s |      21 |  2251579 |  1042445 |    16417    166 |        1 |        1
873.34/873.77	c  873s |      21 |  2255094 |  1044845 |    16417    166 |        1 |        1
875.35/875.78	c  875s |      21 |  2258648 |  1047145 |    16417    166 |        1 |        1
877.45/877.88	c  877s |      21 |  2268559 |  1049345 |    16417    166 |        1 |        1
879.44/879.89	c  879s |      21 |  2272247 |  1051145 |    16417    167 |        1 |        1
881.54/881.97	c  881s |      21 |  2275946 |  1053345 |    16417    167 |        1 |        1
883.54/884.00	c  883s |      21 |  2278944 |  1055545 |    16417    167 |        1 |        1
885.64/886.01	c  885s |      21 |  2281920 |  1057545 |    16417    167 |        1 |        1
887.64/888.07	c  887s |      21 |  2285162 |  1059445 |    16417    168 |        1 |        1
889.74/890.13	c  890s |      21 |  2289034 |  1061445 |    16417    168 |        1 |        1
891.75/892.17	c  892s |      21 |  2291578 |  1063445 |    16417    168 |        1 |        1
893.84/894.21	c  894s |      21 |  2294040 |  1065445 |    16417    168 |        1 |        1
895.84/896.26	c  896s |      21 |  2296584 |  1067245 |    16417    169 |        1 |        1
899.33/899.71	c  899s |      21 |  2298887 |  1069245 |    16417    169 |        1 |        1
901.33/901.79	c  901s |      21 |  2302394 |  1071545 |    16417    169 |        1 |        1
903.43/903.89	c  903s |      21 |  2305476 |  1073545 |    16417    169 |        1 |        1
905.53/905.98	c  905s |      21 |  2307463 |  1075345 |    16417    170 |        1 |        1
907.63/908.03	c  907s |      21 |  2309988 |  1077445 |    16417    170 |        1 |        1
909.73/910.11	c  909s |      21 |  2312753 |  1079445 |    16417    170 |        1 |        1
911.83/912.27	c  912s |      21 |  2314058 |  1080545 |    16417    170 |        1 |        1
913.84/914.29	c  914s |      21 |  2316215 |  1082045 |    16417    170 |        1 |        1
915.94/916.33	c  916s |      21 |  2318605 |  1084245 |    16417    171 |        1 |        1
917.93/918.37	c  918s |      21 |  2321637 |  1086445 |    16417    171 |        1 |        1
920.03/920.44	c  920s |      21 |  2324536 |  1088645 |    16417    171 |        1 |        1
922.14/922.53	c  922s |      21 |  2327105 |  1090445 |    16417    171 |        1 |        1
924.14/924.53	c  924s |      21 |  2330551 |  1092345 |    16417    172 |        1 |        1
926.14/926.58	c  926s |      21 |  2333567 |  1094545 |    16417    172 |        1 |        1
928.14/928.59	c  928s |      21 |  2336330 |  1096645 |    16417    172 |        1 |        1
930.13/930.60	c  930s |      21 |  2338794 |  1098645 |    16417    172 |        1 |        1
932.23/932.61	c  932s |      21 |  2340735 |  1100445 |    16417    173 |        1 |        1
934.53/934.91	c  934s |      21 |  2342122 |  1101545 |    16417    173 |        1 |        1
936.53/936.94	c  936s |      21 |  2347145 |  1104245 |    16417    173 |        1 |        1
938.53/938.95	c  938s |      21 |  2351131 |  1106545 |    16417    173 |        1 |        1
940.53/940.95	c  940s |      21 |  2354067 |  1108545 |    16417    174 |        1 |        1
942.53/942.95	c  942s |      21 |  2356668 |  1110445 |    16417    174 |        1 |        1
944.54/944.99	c  944s |      21 |  2360362 |  1112945 |    16417    174 |        1 |        1
946.63/947.06	c  946s |      21 |  2364445 |  1115345 |    16417    174 |        1 |        1
948.63/949.09	c  948s |      21 |  2367981 |  1117445 |    16417    175 |        1 |        1
950.73/951.10	c  950s |      21 |  2371749 |  1119845 |    16417    175 |        1 |        1
952.73/953.18	c  953s |      21 |  2374643 |  1122045 |    16417    175 |        1 |        1
954.83/955.28	c  955s |      21 |  2377738 |  1124045 |    16417    175 |        1 |        1
956.83/957.28	c  957s |      21 |  2379360 |  1125145 |    16417    176 |        1 |        1
958.93/959.38	c  959s |      21 |  2382569 |  1127245 |    16417    176 |        1 |        1
961.03/961.46	c  961s |      21 |  2385104 |  1129245 |    16417    176 |        1 |        1
963.12/963.52	c  963s |      21 |  2388045 |  1131345 |    16417    176 |        1 |        1
965.12/965.56	c  965s |      21 |  2390815 |  1133345 |    16417    177 |        1 |        1
967.22/967.63	c  967s |      21 |  2394374 |  1135645 |    16417    177 |        1 |        1
969.22/969.65	c  969s |      21 |  2397535 |  1137845 |    16417    177 |        1 |        1
971.32/971.72	c  971s |      21 |  2401391 |  1139845 |    16417    177 |        1 |        1
973.32/973.78	c  973s |      21 |  2403811 |  1141645 |    16417    178 |        1 |        1
976.62/977.05	c  976s |      21 |  2406387 |  1143145 |    16417    178 |        1 |        1
978.63/979.06	c  978s |      21 |  2409282 |  1145345 |    16417    178 |        1 |        1
980.72/981.11	c  980s |      21 |  2413121 |  1147845 |    16417    178 |        1 |        1
982.72/983.18	c  983s |      21 |  2416109 |  1150145 |    16417    179 |        1 |        1
984.82/985.21	c  985s |      21 |  2420913 |  1152345 |    16417    179 |        1 |        1
986.82/987.23	c  987s |      21 |  2423756 |  1154345 |    16417    179 |        1 |        1
988.82/989.29	c  989s |      21 |  2426521 |  1156245 |    16417    179 |        1 |        1
991.02/991.49	c  991s |      21 |  2430514 |  1158145 |    16417    180 |        1 |        1
993.12/993.52	c  993s |      21 |  2435949 |  1160245 |    16417    180 |        1 |        1
995.12/995.60	c  995s |      21 |  2440175 |  1162445 |    16417    180 |        1 |        1
997.22/997.68	c  997s |      21 |  2447865 |  1164745 |    16417    180 |        1 |        1
999.22/999.68	c  999s |      21 |  2449813 |  1166445 |    16417    181 |        1 |        1
1001.21/1001.69	c 1001s |      21 |  2452076 |  1168445 |    16417    181 |        1 |        1
1003.31/1003.79	c 1003s |      21 |  2454003 |  1170145 |    16417    181 |        1 |        1
1005.41/1005.80	c 1005s |      21 |  2456456 |  1172245 |    16417    181 |        1 |        1
1007.41/1007.82	c 1007s |      21 |  2459630 |  1174345 |    16417    181 |        1 |        1
1009.42/1009.85	c 1009s |      21 |  2462347 |  1176445 |    16417    182 |        1 |        1
1011.52/1011.97	c 1011s |      21 |  2463892 |  1177845 |    16417    182 |        1 |        1
1013.52/1013.99	c 1013s |      21 |  2466409 |  1179745 |    16417    182 |        1 |        1
1015.62/1016.02	c 1015s |      21 |  2468869 |  1181845 |    16417    182 |        1 |        1
1017.62/1018.04	c 1017s |      21 |  2470750 |  1183545 |    16417    183 |        1 |        1
1019.62/1020.08	c 1019s |      21 |  2473489 |  1185845 |    16417    183 |        1 |        1
1021.82/1022.25	c 1022s |      21 |  2475524 |  1187545 |    16417    183 |        1 |        1
1023.83/1024.26	c 1024s |      21 |  2477866 |  1189445 |    16417    183 |        1 |        1
1026.03/1026.47	c 1026s |      21 |  2480414 |  1191345 |    16417    184 |        1 |        1
1028.22/1028.61	c 1028s |      21 |  2482443 |  1192945 |    16417    184 |        1 |        1
1030.32/1030.73	c 1030s |      21 |  2485978 |  1194945 |    16417    184 |        1 |        1
1032.42/1032.84	c 1032s |      21 |  2488651 |  1196945 |    16417    184 |        1 |        1
1034.52/1034.90	c 1034s |      21 |  2490807 |  1198845 |    16417    184 |        1 |        1
1036.52/1036.98	c 1036s |      21 |  2492971 |  1200745 |    16417    185 |        1 |        1
1038.62/1039.00	c 1038s |      21 |  2495609 |  1202745 |    16417    185 |        1 |        1
1040.61/1041.08	c 1040s |      21 |  2497713 |  1204645 |    16417    185 |        1 |        1
1042.81/1043.21	c 1043s |      21 |  2500080 |  1206445 |    16417    185 |        1 |        1
1044.81/1045.28	c 1045s |      21 |  2502186 |  1208145 |    16417    186 |        1 |        1
1047.61/1048.05	c 1047s |      21 |  2504444 |  1210045 |    16417    186 |        1 |        1
1049.61/1050.09	c 1049s |      21 |  2506127 |  1211145 |    16417    186 |        1 |        1
1051.71/1052.14	c 1052s |      21 |  2509308 |  1213445 |    16417    186 |        1 |        1
1053.81/1054.22	c 1054s |      21 |  2512131 |  1215545 |    16417    186 |        1 |        1
1055.81/1056.25	c 1056s |      21 |  2514546 |  1217545 |    16417    187 |        1 |        1
1057.92/1058.32	c 1058s |      21 |  2517089 |  1219745 |    16417    187 |        1 |        1
1059.91/1060.36	c 1060s |      21 |  2519530 |  1221745 |    16417    187 |        1 |        1
1061.91/1062.38	c 1062s |      21 |  2522372 |  1223645 |    16417    187 |        1 |        1
1064.01/1064.41	c 1064s |      21 |  2524320 |  1225145 |    16417    188 |        1 |        1
1066.01/1066.43	c 1066s |      21 |  2526503 |  1227045 |    16417    188 |        1 |        1
1068.11/1068.52	c 1068s |      21 |  2528714 |  1228945 |    16417    188 |        1 |        1
1070.40/1070.82	c 1070s |      21 |  2530850 |  1230345 |    16417    188 |        1 |        1
1073.21/1073.64	c 1073s |      21 |  2533703 |  1232245 |    16417    188 |        1 |        1
1075.21/1075.66	c 1075s |      21 |  2536540 |  1234045 |    16417    189 |        1 |        1
1077.31/1077.73	c 1077s |      21 |  2539563 |  1236445 |    16417    189 |        1 |        1
1079.31/1079.79	c 1079s |      21 |  2545190 |  1238745 |    16417    189 |        1 |        1
1081.31/1081.79	c 1081s |      21 |  2548424 |  1240945 |    16417    189 |        1 |        1
1083.41/1083.87	c 1083s |      21 |  2551860 |  1243045 |    16417    190 |        1 |        1
1085.42/1085.88	c 1085s |      21 |  2554451 |  1245045 |    16417    190 |        1 |        1
1087.52/1087.94	c 1087s |      21 |  2556952 |  1247145 |    16417    190 |        1 |        1
1089.51/1089.99	c 1089s |      21 |  2559528 |  1249245 |    16417    190 |        1 |        1
1091.61/1092.02	c 1091s |      21 |  2561590 |  1250645 |    16417    191 |        1 |        1
1093.61/1094.06	c 1093s |      21 |  2565227 |  1252945 |    16417    191 |        1 |        1
1095.71/1096.15	c 1096s |      21 |  2568348 |  1255245 |    16417    191 |        1 |        1
1097.81/1098.22	c 1098s |      21 |  2571381 |  1257345 |    16417    191 |        1 |        1
1099.91/1100.31	c 1100s |      21 |  2573833 |  1259345 |    16417    192 |        1 |        1
1102.01/1102.40	c 1102s |      21 |  2575976 |  1260645 |    16417    192 |        1 |        1
1104.01/1104.47	c 1104s |      21 |  2580549 |  1262945 |    16417    192 |        1 |        1
1106.10/1106.54	c 1106s |      21 |  2583724 |  1265045 |    16417    192 |        1 |        1
1108.20/1108.60	c 1108s |      21 |  2585916 |  1266845 |    16417    193 |        1 |        1
1110.20/1110.68	c 1110s |      21 |  2588342 |  1268845 |    16417    193 |        1 |        1
1112.20/1112.68	c 1112s |      21 |  2591194 |  1270845 |    16417    193 |        1 |        1
1114.30/1114.77	c 1114s |      21 |  2593580 |  1272945 |    16417    193 |        1 |        1
1116.40/1116.80	c 1116s |      21 |  2595584 |  1274745 |    16417    194 |        1 |        1
1118.41/1118.85	c 1118s |      21 |  2598033 |  1276845 |    16417    194 |        1 |        1
1120.40/1120.88	c 1120s |      21 |  2601689 |  1278445 |    16417    194 |        1 |        1
1122.50/1122.94	c 1122s |      21 |  2604220 |  1280445 |    16417    194 |        1 |        1
1124.60/1125.01	c 1124s |      21 |  2606528 |  1282445 |    16417    194 |        1 |        1
1126.70/1127.11	c 1126s |      21 |  2608056 |  1283845 |    16417    195 |        1 |        1
1128.70/1129.13	c 1129s |      21 |  2610830 |  1285845 |    16417    195 |        1 |        1
1130.70/1131.15	c 1131s |      21 |  2613110 |  1287845 |    16417    195 |        1 |        1
1132.80/1133.23	c 1133s |      21 |  2615557 |  1289745 |    16417    195 |        1 |        1
1134.91/1135.31	c 1135s |      21 |  2618165 |  1291545 |    16417    196 |        1 |        1
1136.90/1137.34	c 1137s |      21 |  2619836 |  1292845 |    16417    196 |        1 |        1
1138.90/1139.39	c 1139s |      21 |  2626906 |  1295745 |    16417    196 |        1 |        1
1141.00/1141.46	c 1141s |      21 |  2634612 |  1299045 |    16417    196 |        1 |        1
1143.00/1143.48	c 1143s |      21 |  2637827 |  1301745 |    16417    197 |        1 |        1
1145.10/1145.52	c 1145s |      21 |  2642678 |  1305145 |    16417    197 |        1 |        1
1147.10/1147.55	c 1147s |      21 |  2647253 |  1308245 |    16417    198 |        1 |        1
1149.10/1149.59	c 1149s |      21 |  2651421 |  1311345 |    16417    198 |        1 |        1
1151.19/1151.66	c 1151s |      21 |  2655487 |  1314445 |    16417    198 |        1 |        1
1153.29/1153.71	c 1153s |      21 |  2658885 |  1317045 |    16417    199 |        1 |        1
1155.29/1155.74	c 1155s |      21 |  2663241 |  1319545 |    16417    199 |        1 |        1
1157.29/1157.74	c 1157s |      21 |  2668219 |  1323045 |    16417    199 |        1 |        1
1159.29/1159.77	c 1159s |      21 |  2679917 |  1325945 |    16417    200 |        1 |        1
1161.39/1161.80	c 1161s |      21 |  2694808 |  1328645 |    16417    200 |        1 |        1
1163.40/1163.85	c 1163s |      21 |  2705215 |  1331645 |    16417    200 |        1 |        1
1165.50/1165.90	c 1165s |      21 |  2710758 |  1334145 |    16417    201 |        1 |        1
1167.50/1167.91	c 1167s |      21 |  2714939 |  1336945 |    16417    201 |        1 |        1
1169.70/1170.10	c 1169s |      21 |  2720061 |  1339445 |    16417    201 |        1 |        1
1171.70/1172.10	c 1171s |      21 |  2725565 |  1342345 |    16417    202 |        1 |        1
1173.70/1174.15	c 1174s |      21 |  2730791 |  1345745 |    16417    202 |        1 |        1
1175.80/1176.21	c 1176s |      21 |  2735036 |  1348645 |    16417    202 |        1 |        1
1177.81/1178.23	c 1178s |      21 |  2738444 |  1351245 |    16417    203 |        1 |        1
1179.80/1180.27	c 1180s |      21 |  2744789 |  1353845 |    16417    203 |        1 |        1
1181.80/1182.28	c 1182s |      21 |  2750410 |  1356845 |    16417    203 |        1 |        1
1184.20/1184.60	c 1184s |      21 |  2755091 |  1359445 |    16417    204 |        1 |        1
1186.19/1186.62	c 1186s |      21 |  2763711 |  1362345 |    16417    204 |        1 |        1
1188.19/1188.68	c 1188s |      21 |  2767500 |  1364745 |    16417    204 |        1 |        1
1190.29/1190.77	c 1190s |      21 |  2773181 |  1367245 |    16417    205 |        1 |        1
1192.29/1192.78	c 1192s |      21 |  2779046 |  1370345 |    16417    205 |        1 |        1
1194.39/1194.84	c 1194s |      21 |  2783928 |  1373245 |    16417    205 |        1 |        1
1196.40/1196.86	c 1196s |      21 |  2788577 |  1376145 |    16417    206 |        1 |        1
1198.39/1198.87	c 1198s |      21 |  2792895 |  1379045 |    16417    206 |        1 |        1
1200.39/1200.88	c 1200s |      21 |  2795700 |  1380745 |    16417    206 |        1 |        1
1202.49/1202.90	c 1202s |      21 |  2798915 |  1383045 |    16417    207 |        1 |        1
1204.49/1204.93	c 1204s |      21 |  2804098 |  1386345 |    16417    207 |        1 |        1
1206.49/1206.96	c 1206s |      21 |  2807153 |  1388445 |    16417    207 |        1 |        1
1208.50/1208.97	c 1208s |      21 |  2811602 |  1391145 |    16417    208 |        1 |        1
1210.80/1211.21	c 1211s |      21 |  2815650 |  1393645 |    16417    208 |        1 |        1
1212.79/1213.24	c 1213s |      21 |  2820337 |  1396745 |    16417    208 |        1 |        1
1214.79/1215.26	c 1215s |      21 |  2825153 |  1399445 |    16417    209 |        1 |        1
1216.79/1217.28	c 1217s |      21 |  2828329 |  1401645 |    16417    209 |        1 |        1
1218.78/1219.29	c 1219s |      21 |  2832976 |  1404745 |    16417    209 |        1 |        1
1220.78/1221.29	c 1221s |      21 |  2838515 |  1408245 |    16417    210 |        1 |        1
1222.89/1223.32	c 1223s |      21 |  2842384 |  1411245 |    16417    210 |        1 |        1
1224.88/1225.33	c 1225s |      21 |  2846752 |  1414745 |    16417    210 |        1 |        1
1226.88/1227.35	c 1227s |      21 |  2851511 |  1418045 |    16417    211 |        1 |        1
1228.98/1229.40	c 1229s |      21 |  2858429 |  1421645 |    16417    211 |        1 |        1
1231.08/1231.57	c 1231s |      21 |  2862885 |  1424745 |    16417    212 |        1 |        1
1233.08/1233.59	c 1233s |      21 |  2868629 |  1428445 |    16417    212 |        1 |        1
1235.18/1235.65	c 1235s |      21 |  2874402 |  1431845 |    16417    212 |        1 |        1
1237.19/1237.68	c 1237s |      21 |  2880686 |  1435345 |    16417    213 |        1 |        1
1239.29/1239.73	c 1239s |      21 |  2886546 |  1438745 |    16417    213 |        1 |        1
1241.28/1241.74	c 1241s |      21 |  2890743 |  1441445 |    16417    214 |        1 |        1
1243.38/1243.80	c 1243s |      21 |  2895952 |  1444945 |    16417    214 |        1 |        1
1245.38/1245.85	c 1245s |      21 |  2901157 |  1448145 |    16417    214 |        1 |        1
1247.38/1247.89	c 1247s |      21 |  2906202 |  1451145 |    16417    215 |        1 |        1
1249.48/1249.91	c 1249s |      21 |  2910323 |  1453845 |    16417    215 |        1 |        1
1251.49/1251.95	c 1251s |      21 |  2913398 |  1456045 |    16417    215 |        1 |        1
1253.58/1254.07	c 1253s |      21 |  2917027 |  1458645 |    16417    216 |        1 |        1
1255.68/1256.12	c 1256s |      21 |  2920692 |  1461245 |    16417    216 |        1 |        1
1257.68/1258.13	c 1258s |      21 |  2924018 |  1463745 |    16417    216 |        1 |        1
1259.68/1260.15	c 1260s |      21 |  2927757 |  1466345 |    16417    217 |        1 |        1
1261.78/1262.23	c 1262s |      21 |  2932216 |  1469245 |    16417    217 |        1 |        1
1263.77/1264.27	c 1264s |      21 |  2936072 |  1472145 |    16417    217 |        1 |        1
1265.87/1266.32	c 1266s |      21 |  2939844 |  1474845 |    16417    218 |        1 |        1
1267.88/1268.32	c 1268s |      21 |  2943406 |  1477445 |    16417    218 |        1 |        1
1269.87/1270.35	c 1270s |      21 |  2947455 |  1480245 |    16417    218 |        1 |        1
1271.97/1272.40	c 1272s |      21 |  2950252 |  1482245 |    16417    219 |        1 |        1
1273.97/1274.42	c 1274s |      21 |  2953938 |  1484845 |    16417    219 |        1 |        1
1275.98/1276.48	c 1276s |      21 |  2958184 |  1487845 |    16417    219 |        1 |        1
1278.08/1278.50	c 1278s |      21 |  2961894 |  1490245 |    18059    219 |        1 |        1
1280.09/1280.50	c 1280s |      21 |  2965373 |  1492545 |    18059    220 |        1 |        1
1282.08/1282.56	c 1282s |      21 |  2970807 |  1496045 |    18059    220 |        1 |        1
1284.18/1284.60	c 1284s |      21 |  2975125 |  1499045 |    18059    220 |        1 |        1
1285.28/1285.78	c 1285s |      22 |  2977696 |  1500622 |    18059    220 |        1 |        1
1287.38/1287.82	c 1287s |      22 |  2981591 |  1502322 |    18059    221 |        1 |        1
1289.38/1289.83	c 1289s |      22 |  2989773 |  1505522 |    18059    221 |        1 |        1
1291.38/1291.84	c 1291s |      22 |  2994815 |  1508422 |    18059    221 |        1 |        1
1293.38/1293.88	c 1293s |      22 |  2999059 |  1510522 |    18059    222 |        1 |        1
1295.48/1295.92	c 1295s |      22 |  3004772 |  1513222 |    18059    222 |        1 |        1
1297.48/1297.92	c 1297s |      22 |  3009560 |  1516022 |    18059    222 |        1 |        1
1299.47/1299.98	c 1299s |      22 |  3013353 |  1518622 |    18059    222 |        1 |        1
1301.57/1302.04	c 1301s |      22 |  3017024 |  1520922 |    18059    223 |        1 |        1
1303.57/1304.04	c 1303s |      22 |  3022383 |  1523022 |    18059    223 |        1 |        1
1305.57/1306.09	c 1305s |      22 |  3030073 |  1526122 |    18059    223 |        1 |        1
1307.67/1308.11	c 1307s |      22 |  3033838 |  1528622 |    18059    224 |        1 |        1
1309.68/1310.14	c 1310s |      22 |  3037912 |  1531422 |    18059    224 |        1 |        1
1311.77/1312.20	c 1312s |      22 |  3042309 |  1534222 |    18059    224 |        1 |        1
1313.77/1314.22	c 1314s |      22 |  3045877 |  1536722 |    18059    224 |        1 |        1
1316.17/1316.68	c 1316s |      22 |  3048700 |  1538722 |    18059    225 |        1 |        1
1318.28/1318.72	c 1318s |      22 |  3050698 |  1540022 |    18059    225 |        1 |        1
1320.27/1320.75	c 1320s |      22 |  3055894 |  1543122 |    18059    225 |        1 |        1
1322.27/1322.79	c 1322s |      22 |  3062677 |  1546122 |    18059    225 |        1 |        1
1324.37/1324.83	c 1324s |      22 |  3065845 |  1548522 |    18059    226 |        1 |        1
1326.37/1326.89	c 1326s |      22 |  3070679 |  1551722 |    18059    226 |        1 |        1
1328.48/1328.95	c 1328s |      22 |  3074734 |  1554722 |    18059    226 |        1 |        1
1330.47/1330.97	c 1330s |      22 |  3077842 |  1556922 |    18059    227 |        1 |        1
1332.47/1332.98	c 1332s |      22 |  3081879 |  1559722 |    18059    227 |        1 |        1
1334.47/1334.99	c 1334s |      22 |  3085440 |  1562522 |    18059    227 |        1 |        1
1336.77/1337.29	c 1337s |      22 |  3088931 |  1564922 |    18059    228 |        1 |        1
1338.87/1339.32	c 1339s |      22 |  3093065 |  1567722 |    18059    228 |        1 |        1
1340.87/1341.37	c 1341s |      22 |  3097684 |  1570322 |    18059    228 |        1 |        1
1342.97/1343.43	c 1343s |      22 |  3102032 |  1572922 |    18059    228 |        1 |        1
1344.98/1345.47	c 1345s |      22 |  3104168 |  1574722 |    18059    229 |        1 |        1
1347.08/1347.51	c 1347s |      22 |  3108330 |  1577322 |    18059    229 |        1 |        1
1349.07/1349.51	c 1349s |      22 |  3113932 |  1580322 |    18059    229 |        1 |        1
1351.07/1351.53	c 1351s |      22 |  3119147 |  1583122 |    18059    229 |        1 |        1
1353.07/1353.54	c 1353s |      22 |  3122565 |  1585322 |    18059    230 |        1 |        1
1355.07/1355.56	c 1355s |      22 |  3125971 |  1587622 |    18059    230 |        1 |        1
1357.17/1357.60	c 1357s |      22 |  3129722 |  1590522 |    18059    230 |        1 |        1
1359.17/1359.64	c 1359s |      22 |  3133318 |  1593222 |    18059    231 |        1 |        1
1361.17/1361.66	c 1361s |      22 |  3137066 |  1596222 |    18059    231 |        1 |        1
1363.86/1364.30	c 1364s |      22 |  3140829 |  1599222 |    18059    231 |        1 |        1
1365.87/1366.32	c 1366s |      22 |  3145012 |  1602022 |    18059    232 |        1 |        1
1367.86/1368.32	c 1368s |      22 |  3148667 |  1604922 |    18059    232 |        1 |        1
1369.86/1370.33	c 1370s |      22 |  3153628 |  1608022 |    18059    232 |        1 |        1
1371.86/1372.33	c 1372s |      22 |  3159022 |  1611222 |    18059    233 |        1 |        1
1373.86/1374.38	c 1374s |      22 |  3164001 |  1614322 |    18059    233 |        1 |        1
1375.96/1376.42	c 1376s |      22 |  3169024 |  1617422 |    18059    233 |        1 |        1
1378.06/1378.54	c 1378s |      22 |  3172510 |  1619822 |    18059    234 |        1 |        1
1380.07/1380.55	c 1380s |      22 |  3179272 |  1623122 |    18059    234 |        1 |        1
1382.06/1382.55	c 1382s |      22 |  3183967 |  1625722 |    18059    234 |        1 |        1
1384.06/1384.56	c 1384s |      22 |  3189575 |  1628622 |    18059    234 |        1 |        1
1386.06/1386.58	c 1386s |      22 |  3192648 |  1630522 |    18059    235 |        1 |        1
1388.16/1388.65	c 1388s |      22 |  3197622 |  1633422 |    18059    235 |        1 |        1
1390.26/1390.70	c 1390s |      22 |  3202988 |  1636422 |    18059    235 |        1 |        1
1392.17/1392.70	c 1392s |      22 |  3205783 |  1638222 |    18059    236 |        1 |        1
1394.26/1394.72	c 1394s |      22 |  3209115 |  1640322 |    18059    236 |        1 |        1
1396.26/1396.77	c 1396s |      22 |  3213756 |  1643422 |    18059    236 |        1 |        1
1398.36/1398.82	c 1398s |      22 |  3218512 |  1646522 |    18059    236 |        1 |        1
1400.36/1400.88	c 1400s |      22 |  3222861 |  1649522 |    18059    237 |        1 |        1
1402.46/1402.90	c 1402s |      22 |  3228042 |  1652822 |    18059    237 |        1 |        1
1404.46/1404.98	c 1404s |      22 |  3233750 |  1655722 |    18059    237 |        1 |        1
1406.57/1407.05	c 1406s |      22 |  3239272 |  1658922 |    18059    238 |        1 |        1
1408.67/1409.11	c 1408s |      22 |  3243303 |  1661722 |    18059    238 |        1 |        1
1411.26/1411.79	c 1411s |      22 |  3246789 |  1664022 |    18059    238 |        1 |        1
1413.36/1413.84	c 1413s |      22 |  3250338 |  1666622 |    18059    239 |        1 |        1
1415.37/1415.86	c 1415s |      22 |  3254924 |  1669822 |    18059    239 |        1 |        1
1417.36/1417.86	c 1417s |      22 |  3259250 |  1672722 |    18059    239 |        1 |        1
1419.46/1419.90	c 1419s |      22 |  3263163 |  1675522 |    18059    240 |        1 |        1
1421.46/1421.92	c 1421s |      22 |  3267415 |  1678722 |    18059    240 |        1 |        1
1423.46/1423.98	c 1423s |      22 |  3276364 |  1682122 |    18059    240 |        1 |        1
1425.56/1426.04	c 1425s |      22 |  3279649 |  1684422 |    18059    241 |        1 |        1
1427.56/1428.06	c 1427s |      22 |  3284114 |  1687422 |    18059    241 |        1 |        1
1429.56/1430.08	c 1429s |      22 |  3287502 |  1689522 |    18059    241 |        1 |        1
1431.65/1432.14	c 1432s |      22 |  3292399 |  1692622 |    18059    241 |        1 |        1
1433.75/1434.22	c 1434s |      22 |  3297057 |  1695822 |    18059    242 |        1 |        1
1435.75/1436.27	c 1436s |      22 |  3301799 |  1699222 |    18059    242 |        1 |        1
1437.85/1438.33	c 1438s |      22 |  3305888 |  1702522 |    18059    243 |        1 |        1
1439.86/1440.37	c 1440s |      22 |  3310155 |  1705722 |    18059    243 |        1 |        1
1441.86/1442.38	c 1442s |      22 |  3314312 |  1708622 |    18059    243 |        1 |        1
1443.96/1444.45	c 1444s |      22 |  3318997 |  1711722 |    18059    244 |        1 |        1
1445.96/1446.48	c 1446s |      22 |  3324549 |  1715022 |    18059    244 |        1 |        1
1448.05/1448.52	c 1448s |      22 |  3328965 |  1717722 |    18059    244 |        1 |        1
1450.05/1450.57	c 1450s |      22 |  3332784 |  1720122 |    18059    245 |        1 |        1
1452.05/1452.59	c 1452s |      22 |  3336977 |  1723122 |    18059    245 |        1 |        1
1454.15/1454.64	c 1454s |      22 |  3340838 |  1726022 |    18059    245 |        1 |        1
1456.25/1456.71	c 1456s |      22 |  3344470 |  1728622 |    18059    245 |        1 |        1
1458.26/1458.79	c 1458s |      22 |  3348638 |  1731422 |    18059    246 |        1 |        1
1460.36/1460.82	c 1460s |      22 |  3352348 |  1734222 |    18059    246 |        1 |        1
1462.35/1462.86	c 1462s |      22 |  3356073 |  1736722 |    18059    246 |        1 |        1
1464.45/1464.90	c 1464s |      22 |  3359545 |  1738622 |    18059    247 |        1 |        1
1466.45/1466.94	c 1466s |      22 |  3364131 |  1741422 |    18059    247 |        1 |        1
1468.45/1468.98	c 1468s |      22 |  3369362 |  1744522 |    18059    247 |        1 |        1
1470.65/1471.17	c 1471s |      22 |  3373594 |  1747422 |    18059    248 |        1 |        1
1472.65/1473.19	c 1473s |      22 |  3377731 |  1750322 |    18059    248 |        1 |        1
1474.65/1475.19	c 1475s |      22 |  3381500 |  1753222 |    18059    248 |        1 |        1
1476.75/1477.23	c 1477s |      22 |  3385707 |  1756122 |    18059    248 |        1 |        1
1478.75/1479.29	c 1479s |      22 |  3390193 |  1758922 |    18059    249 |        1 |        1
1480.84/1481.30	c 1481s |      22 |  3395134 |  1762122 |    18059    249 |        1 |        1
1482.84/1483.32	c 1483s |      22 |  3401028 |  1765122 |    18059    249 |        1 |        1
1484.84/1485.36	c 1485s |      22 |  3405751 |  1768022 |    18059    250 |        1 |        1
1486.94/1487.42	c 1487s |      22 |  3410266 |  1770722 |    18059    250 |        1 |        1
1488.95/1489.49	c 1489s |      22 |  3414665 |  1773522 |    18059    250 |        1 |        1
1491.04/1491.56	c 1491s |      22 |  3417555 |  1775322 |    18059    251 |        1 |        1
1493.04/1493.58	c 1493s |      22 |  3421660 |  1778322 |    18059    251 |        1 |        1
1495.14/1495.65	c 1495s |      22 |  3425818 |  1780722 |    18059    251 |        1 |        1
1497.24/1497.72	c 1497s |      22 |  3430115 |  1783222 |    18059    251 |        1 |        1
1499.24/1499.72	c 1499s |      22 |  3434301 |  1785622 |    18059    252 |        1 |        1
1501.24/1501.79	c 1501s |      22 |  3438479 |  1788322 |    18059    252 |        1 |        1
1503.25/1503.79	c 1503s |      22 |  3442243 |  1790922 |    18059    252 |        1 |        1
1505.45/1505.92	c 1505s |      22 |  3445907 |  1793022 |    18059    253 |        1 |        1
1507.44/1507.92	c 1507s |      22 |  3450811 |  1795922 |    18059    253 |        1 |        1
1509.44/1509.95	c 1509s |      22 |  3455218 |  1798922 |    18059    253 |        1 |        1
1511.55/1512.01	c 1511s |      22 |  3458868 |  1801422 |    18059    253 |        1 |        1
1513.55/1514.04	c 1513s |      22 |  3462335 |  1803722 |    18059    254 |        1 |        1
1515.64/1516.11	c 1515s |      22 |  3466136 |  1806222 |    18059    254 |        1 |        1
1517.65/1518.12	c 1517s |      22 |  3471353 |  1809322 |    18059    254 |        1 |        1
1519.64/1520.13	c 1520s |      22 |  3475212 |  1811422 |    18059    255 |        1 |        1
1521.84/1522.33	c 1522s |      22 |  3479594 |  1814122 |    18059    255 |        1 |        1
1523.84/1524.36	c 1524s |      22 |  3484440 |  1817222 |    18059    255 |        1 |        1
1525.94/1526.42	c 1526s |      22 |  3487906 |  1819522 |    18059    255 |        1 |        1
1527.94/1528.46	c 1528s |      22 |  3493303 |  1821822 |    18059    256 |        1 |        1
1529.94/1530.47	c 1530s |      22 |  3497511 |  1824722 |    18059    256 |        1 |        1
1531.95/1532.49	c 1532s |      22 |  3501262 |  1827322 |    18059    256 |        1 |        1
1534.05/1534.56	c 1534s |      22 |  3503971 |  1829322 |    18059    257 |        1 |        1
1536.14/1536.62	c 1536s |      22 |  3507553 |  1831622 |    18059    257 |        1 |        1
1538.14/1538.64	c 1538s |      22 |  3511601 |  1833822 |    18059    257 |        1 |        1
1540.14/1540.66	c 1540s |      22 |  3514977 |  1836022 |    18059    257 |        1 |        1
1542.24/1542.76	c 1542s |      22 |  3518936 |  1838322 |    18059    258 |        1 |        1
1544.24/1544.78	c 1544s |      22 |  3523020 |  1841022 |    18059    258 |        1 |        1
1546.34/1546.82	c 1546s |      22 |  3528071 |  1843722 |    18059    258 |        1 |        1
1548.34/1548.85	c 1548s |      22 |  3532999 |  1846722 |    18059    258 |        1 |        1
1550.34/1550.89	c 1550s |      22 |  3537847 |  1849522 |    18059    259 |        1 |        1
1552.44/1552.93	c 1552s |      22 |  3541166 |  1852222 |    18059    259 |        1 |        1
1554.54/1555.00	c 1554s |      22 |  3545028 |  1854822 |    18059    259 |        1 |        1
1556.54/1557.04	c 1556s |      22 |  3547710 |  1856622 |    18059    260 |        1 |        1
1558.54/1559.06	c 1558s |      22 |  3551831 |  1859122 |    18059    260 |        1 |        1
1560.63/1561.10	c 1560s |      22 |  3554944 |  1861322 |    18059    260 |        1 |        1
1562.64/1563.14	c 1563s |      22 |  3558760 |  1864322 |    18059    260 |        1 |        1
1564.63/1565.18	c 1565s |      22 |  3562195 |  1866922 |    18059    261 |        1 |        1
1566.63/1567.18	c 1567s |      22 |  3566684 |  1869622 |    18059    261 |        1 |        1
1568.73/1569.23	c 1569s |      22 |  3574189 |  1872922 |    18059    261 |        1 |        1
1570.73/1571.25	c 1571s |      22 |  3580103 |  1875622 |    18059    262 |        1 |        1
1572.73/1573.29	c 1573s |      22 |  3584454 |  1878422 |    18059    262 |        1 |        1
1574.84/1575.33	c 1575s |      22 |  3588809 |  1881122 |    18059    262 |        1 |        1
1576.83/1577.40	c 1577s |      22 |  3591814 |  1883422 |    18059    262 |        1 |        1
1578.93/1579.46	c 1579s |      22 |  3594959 |  1885722 |    18059    263 |        1 |        1
1581.03/1581.50	c 1581s |      22 |  3598842 |  1888322 |    18059    263 |        1 |        1
1583.13/1583.61	c 1583s |      22 |  3602002 |  1890822 |    18059    263 |        1 |        1
1585.23/1585.71	c 1585s |      22 |  3605193 |  1893122 |    18059    264 |        1 |        1
1587.23/1587.77	c 1587s |      22 |  3607215 |  1894622 |    18059    264 |        1 |        1
1589.33/1589.80	c 1589s |      22 |  3612703 |  1897722 |    18059    264 |        1 |        1
1591.34/1591.85	c 1591s |      22 |  3615609 |  1900022 |    18059    264 |        1 |        1
1593.33/1593.90	c 1593s |      22 |  3618669 |  1902222 |    18059    265 |        1 |        1
1595.73/1596.26	c 1596s |      22 |  3621876 |  1904622 |    18059    265 |        1 |        1
1597.73/1598.29	c 1598s |      22 |  3628162 |  1908422 |    18059    265 |        1 |        1
1599.82/1600.34	c 1600s |      22 |  3632572 |  1911322 |    18059    266 |        1 |        1
1601.82/1602.37	c 1602s |      22 |  3637833 |  1914922 |    18059    266 |        1 |        1
1603.82/1604.38	c 1604s |      22 |  3642203 |  1918122 |    18059    266 |        1 |        1
1605.82/1606.39	c 1606s |      22 |  3646918 |  1921022 |    18059    267 |        1 |        1
1607.92/1608.44	c 1608s |      22 |  3652421 |  1924222 |    18059    267 |        1 |        1
1609.93/1610.50	c 1610s |      22 |  3657094 |  1927322 |    18059    267 |        1 |        1
1612.02/1612.56	c 1612s |      22 |  3661106 |  1929822 |    18059    268 |        1 |        1
1614.03/1614.56	c 1614s |      22 |  3666194 |  1932522 |    18059    268 |        1 |        1
1616.03/1616.59	c 1616s |      22 |  3671435 |  1935822 |    18059    268 |        1 |        1
1618.13/1618.66	c 1618s |      22 |  3675527 |  1938622 |    18059    269 |        1 |        1
1620.13/1620.68	c 1620s |      22 |  3680988 |  1942222 |    18059    269 |        1 |        1
1622.23/1622.78	c 1622s |      22 |  3686652 |  1945522 |    18059    269 |        1 |        1
1624.24/1624.80	c 1624s |      22 |  3690441 |  1947722 |    18059    270 |        1 |        1
1626.43/1626.92	c 1626s |      22 |  3694641 |  1950622 |    18059    270 |        1 |        1
1628.43/1628.96	c 1628s |      22 |  3700015 |  1954022 |    18059    270 |        1 |        1
1630.43/1630.98	c 1630s |      22 |  3703869 |  1956922 |    18059    271 |        1 |        1
1632.43/1632.99	c 1632s |      22 |  3708920 |  1960422 |    18059    271 |        1 |        1
1634.43/1634.99	c 1634s |      22 |  3713258 |  1963122 |    18059    271 |        1 |        1
1636.53/1637.06	c 1636s |      22 |  3718051 |  1965822 |    18059    272 |        1 |        1
1638.53/1639.08	c 1638s |      22 |  3721763 |  1968022 |    18059    272 |        1 |        1
1640.62/1641.11	c 1640s |      22 |  3727475 |  1971722 |    18059    272 |        1 |        1
1642.72/1643.26	c 1643s |      22 |  3731795 |  1974822 |    18059    273 |        1 |        1
1644.72/1645.27	c 1645s |      22 |  3736295 |  1978122 |    18059    273 |        1 |        1
1647.02/1647.51	c 1647s |      22 |  3740525 |  1980622 |    18059    273 |        1 |        1
1649.12/1649.69	c 1649s |      22 |  3745367 |  1983922 |    18059    274 |        1 |        1
1651.12/1651.69	c 1651s |      22 |  3749214 |  1986622 |    18059    274 |        1 |        1
1653.22/1653.76	c 1653s |      22 |  3754460 |  1989922 |    18059    274 |        1 |        1
1655.32/1655.81	c 1655s |      22 |  3758954 |  1992922 |    18059    274 |        1 |        1
1657.33/1657.82	c 1657s |      22 |  3761841 |  1995022 |    18059    275 |        1 |        1
1659.32/1659.87	c 1659s |      22 |  3767786 |  1998422 |    18059    275 |        1 |        1
1661.42/1661.91	c 1661s |      22 |  3772709 |  2001722 |    18059    275 |        1 |        1
1663.42/1663.93	c 1663s |      22 |  3776801 |  2004322 |    18059    276 |        1 |        1
1665.82/1666.36	c 1666s |      22 |  3781949 |  2007322 |    18059    276 |        1 |        1
1667.82/1668.36	c 1668s |      22 |  3787642 |  2010422 |    18059    276 |        1 |        1
1669.81/1670.38	c 1670s |      22 |  3791340 |  2012922 |    18059    277 |        1 |        1
1671.92/1672.41	c 1672s |      22 |  3795667 |  2016122 |    18059    277 |        1 |        1
1673.92/1674.47	c 1674s |      22 |  3801358 |  2018822 |    18059    277 |        1 |        1
1675.93/1676.48	c 1676s |      22 |  3805460 |  2021222 |    18059    278 |        1 |        1
1678.02/1678.50	c 1678s |      22 |  3809705 |  2024322 |    18059    278 |        1 |        1
1680.02/1680.51	c 1680s |      22 |  3814602 |  2027422 |    18059    278 |        1 |        1
1682.02/1682.56	c 1682s |      22 |  3819254 |  2030222 |    18059    279 |        1 |        1
1684.02/1684.57	c 1684s |      22 |  3823920 |  2033222 |    18059    279 |        1 |        1
1686.02/1686.58	c 1686s |      22 |  3827910 |  2036322 |    18059    279 |        1 |        1
1688.22/1688.79	c 1688s |      22 |  3831049 |  2038622 |    18059    280 |        1 |        1
1690.33/1690.81	c 1690s |      22 |  3834567 |  2041222 |    18059    280 |        1 |        1
1693.02/1693.55	c 1693s |      22 |  3839948 |  2044422 |    18059    280 |        1 |        1
1695.12/1695.64	c 1695s |      22 |  3845837 |  2047722 |    18059    281 |        1 |        1
1697.12/1697.66	c 1697s |      22 |  3850900 |  2050822 |    18059    281 |        1 |        1
1699.22/1699.72	c 1699s |      22 |  3855346 |  2053922 |    18059    281 |        1 |        1
1701.22/1701.79	c 1701s |      22 |  3860844 |  2056622 |    18059    281 |        1 |        1
1703.32/1703.83	c 1703s |      22 |  3865400 |  2059422 |    18059    282 |        1 |        1
1705.31/1705.89	c 1705s |      22 |  3869975 |  2062722 |    18059    282 |        1 |        1
1707.41/1707.92	c 1707s |      22 |  3878503 |  2065722 |    18059    282 |        1 |        1
1709.41/1709.96	c 1709s |      22 |  3885136 |  2068422 |    18059    283 |        1 |        1
1711.41/1711.98	c 1711s |      22 |  3890051 |  2071622 |    18059    283 |        1 |        1
1713.51/1714.01	c 1713s |      22 |  3894527 |  2074822 |    18059    283 |        1 |        1
1715.52/1716.07	c 1715s |      22 |  3898340 |  2077522 |    18059    284 |        1 |        1
1717.61/1718.14	c 1718s |      22 |  3901776 |  2080022 |    18059    284 |        1 |        1
1719.61/1720.17	c 1720s |      22 |  3905978 |  2082822 |    18059    284 |        1 |        1
1721.71/1722.21	c 1722s |      22 |  3908654 |  2084922 |    18059    285 |        1 |        1
1723.71/1724.26	c 1724s |      22 |  3912431 |  2087522 |    18059    285 |        1 |        1
1725.81/1726.30	c 1726s |      22 |  3915917 |  2090022 |    18059    285 |        1 |        1
1727.81/1728.32	c 1728s |      22 |  3920376 |  2093222 |    18059    285 |        1 |        1
1729.82/1730.35	c 1730s |      22 |  3924116 |  2095922 |    18059    286 |        1 |        1
1731.91/1732.41	c 1732s |      22 |  3928743 |  2099022 |    18059    286 |        1 |        1
1733.91/1734.47	c 1734s |      22 |  3932817 |  2101722 |    18059    286 |        1 |        1
1735.91/1736.48	c 1736s |      22 |  3935276 |  2103122 |    18059    287 |        1 |        1
1737.91/1738.48	c 1738s |      22 |  3943901 |  2106122 |    18059    287 |        1 |        1
1739.91/1740.48	c 1740s |      22 |  3948482 |  2108922 |    18059    287 |        1 |        1
1742.11/1742.69	c 1742s |      22 |  3953134 |  2111522 |    18059    288 |        1 |        1
1744.21/1744.73	c 1744s |      22 |  3958343 |  2114322 |    18059    288 |        1 |        1
1746.21/1746.79	c 1746s |      22 |  3962249 |  2116822 |    18059    288 |        1 |        1
1748.31/1748.81	c 1748s |      22 |  3966096 |  2119122 |    18059    288 |        1 |        1
1750.30/1750.82	c 1750s |      22 |  3969702 |  2121522 |    18059    289 |        1 |        1
1752.30/1752.85	c 1752s |      22 |  3974150 |  2124622 |    18059    289 |        1 |        1
1754.30/1754.85	c 1754s |      22 |  3978757 |  2127522 |    18059    289 |        1 |        1
1756.31/1756.88	c 1756s |      22 |  3984155 |  2130422 |    18059    290 |        1 |        1
1758.41/1758.93	c 1758s |      22 |  3989499 |  2133722 |    18059    290 |        1 |        1
1760.50/1761.00	c 1760s |      22 |  3993219 |  2136522 |    18059    290 |        1 |        1
1762.50/1763.05	c 1762s |      22 |  3996584 |  2138722 |    18059    290 |        1 |        1
1764.50/1765.07	c 1764s |      22 |  4000244 |  2141022 |    18059    291 |        1 |        1
1766.60/1767.12	c 1767s |      22 |  4004734 |  2143622 |    18059    291 |        1 |        1
1768.60/1769.15	c 1769s |      22 |  4010110 |  2146722 |    18059    291 |        1 |        1
1770.70/1771.21	c 1771s |      22 |  4013671 |  2149122 |    18059    292 |        1 |        1
1772.81/1773.35	c 1773s |      22 |  4016938 |  2151322 |    18059    292 |        1 |        1
1774.80/1775.39	c 1775s |      22 |  4023300 |  2155022 |    18059    292 |        1 |        1
1776.80/1777.39	c 1777s |      22 |  4027634 |  2158222 |    18059    293 |        1 |        1
1778.90/1779.44	c 1779s |      22 |  4032158 |  2161622 |    18059    293 |        1 |        1
1780.90/1781.45	c 1781s |      22 |  4037112 |  2165222 |    18059    293 |        1 |        1
1782.90/1783.46	c 1783s |      22 |  4041620 |  2168222 |    18059    294 |        1 |        1
1784.91/1785.49	c 1785s |      22 |  4047161 |  2171722 |    18059    294 |        1 |        1
1787.00/1787.52	c 1787s |      22 |  4051463 |  2175022 |    18059    294 |        1 |        1
1789.00/1789.59	c 1789s |      22 |  4056736 |  2177922 |    18059    295 |        1 |        1
1791.10/1791.63	c 1791s |      22 |  4061975 |  2180722 |    18059    295 |        1 |        1
1793.10/1793.67	c 1793s |      22 |  4066309 |  2183422 |    18059    295 |        1 |        1
1795.10/1795.69	c 1795s |      22 |  4069906 |  2185822 |    18059    296 |        1 |        1
1797.20/1797.75	c 1797s |      22 |  4074523 |  2188022 |    18059    296 |        1 |        1
1799.30/1799.80	c 1799s |      22 |  4079954 |  2191222 |    18059    296 |        1 |        1

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

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.28 2.21 3/181 23315
/proc/meminfo: memFree=28905580/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=685636 CPUtime=0 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 2547 0 0 0 0 0 0 0 20 0 4 0 29877644 702091264 3419 33554432000 4194304 16246674 140734232813424 140734232812848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 171921 3428 442 2943 0 168815 0
[pid=23315/tid=23316] ppid=23312 vsize=703044 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 719917056 3490 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=708164 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 725159936 3507 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=712260 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29877644 729354240 3524 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.26 2.28 2.21 3/181 23315
/proc/meminfo: memFree=28905580/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1222212 CPUtime=0.08 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 21802 0 0 0 6 2 0 0 20 0 4 0 29877644 1251545088 22621 33554432000 4194304 16246674 140734232813424 140734232812736 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 305553 22621 839 2943 0 302447 0
[pid=23315/tid=23316] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 22621 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 22621 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 22621 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1222212

[startup+0.200566 s]
/proc/loadavg: 2.26 2.28 2.21 3/181 23315
/proc/meminfo: memFree=28905580/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 38562 0 0 0 15 4 0 0 20 0 4 0 29877644 1251545088 39382 33554432000 4194304 16246674 140734232813424 140734232812736 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 305553 39400 910 2943 0 302447 0
[pid=23315/tid=23316] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 39412 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 39419 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 39428 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300452 s]
/proc/loadavg: 2.26 2.28 2.21 3/181 23315
/proc/meminfo: memFree=28905580/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 63585 0 0 0 22 7 0 0 20 0 4 0 29877644 1251545088 64404 33554432000 4194304 16246674 140734232813424 140734232795328 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 305553 64412 910 2943 0 302447 0
[pid=23315/tid=23316] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 64416 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 64419 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 64424 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700409 s]
/proc/loadavg: 2.26 2.28 2.21 3/181 23315
/proc/meminfo: memFree=28905580/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 170711 0 0 0 48 21 0 0 20 0 4 0 29877644 1251545088 171531 33554432000 4194304 16246674 140734232813424 140734232795328 5707858 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 305553 171546 910 2943 0 302447 0
[pid=23315/tid=23316] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 171554 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 171558 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1251545088 171564 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50043 s]
/proc/loadavg: 2.26 2.28 2.21 3/185 23319
/proc/meminfo: memFree=27837856/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 266366 0 0 0 117 32 0 0 20 0 4 0 29877644 1332285440 267185 33554432000 4194304 16246674 140734232813424 140734232796424 12477766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 325265 267185 915 2943 0 322159 0
[pid=23315/tid=23316] ppid=23312 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1332285440 267185 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1332285440 267185 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1332285440 267185 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.26 2.28 2.21 3/185 23319
/proc/meminfo: memFree=27831656/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 267999 0 0 0 277 32 0 0 20 0 4 0 29877644 1338576896 268818 33554432000 4194304 16246674 140734232813424 140734232795328 5545907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 326801 268818 920 2943 0 323695 0
[pid=23315/tid=23316] ppid=23312 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1338576896 268818 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1338576896 268818 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1338576896 268818 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.32 2.29 2.22 3/185 23319
/proc/meminfo: memFree=27828460/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 268640 0 0 0 597 32 0 0 20 0 4 0 29877644 1341722624 269459 33554432000 4194304 16246674 140734232813424 140734232795328 6012051 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 327569 269459 921 2943 0 324463 0
[pid=23315/tid=23316] ppid=23312 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1341722624 269459 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1341722624 269459 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1341722624 269459 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7005 s]
/proc/loadavg: 2.37 2.30 2.22 3/185 23319
/proc/meminfo: memFree=27812612/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1325636 CPUtime=12.69 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 272608 0 0 0 1236 33 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 140734232795328 5754924 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 331409 273427 921 2943 0 328303 0
[pid=23315/tid=23316] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1325636

[startup+25.5005 s]
/proc/loadavg: 2.29 2.29 2.22 4/185 23319
/proc/meminfo: memFree=27813100/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1325636 CPUtime=25.48 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 272608 0 0 0 2515 33 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 140734232795328 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 331409 273427 921 2943 0 328303 0
[pid=23315/tid=23316] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1325636

[startup+51.1005 s]
/proc/loadavg: 2.33 2.29 2.22 3/185 23319
/proc/meminfo: memFree=27813216/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 272608 0 0 0 5074 34 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 140734232796424 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 331409 273427 921 2943 0 328303 0
[pid=23315/tid=23316] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.301 s]
/proc/loadavg: 2.44 2.32 2.23 3/185 23321
/proc/meminfo: memFree=27813008/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 272608 0 0 0 10194 34 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 140734232795328 5707719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 331409 273427 921 2943 0 328303 0
[pid=23315/tid=23316] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1357451264 273427 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1362500

[startup+1362.3 s]
/proc/loadavg: 2.41 2.35 2.28 3/185 23449
/proc/meminfo: memFree=27775772/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1361.86 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 136134 52 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1362500

[startup+1422.3 s]
/proc/loadavg: 2.41 2.36 2.29 3/185 23450
/proc/meminfo: memFree=27775656/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1421.86 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 142133 53 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 12483226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1362500

[startup+1482.3 s]
/proc/loadavg: 2.34 2.35 2.29 4/185 23451
/proc/meminfo: memFree=27775660/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1481.84 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 148130 54 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 4225334 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1362500

[startup+1542.31 s]
/proc/loadavg: 2.36 2.35 2.28 3/185 23452
/proc/meminfo: memFree=27775412/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1541.85 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 154130 55 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 6011844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1362500

[startup+1602.3 s]
/proc/loadavg: 2.29 2.33 2.28 3/185 23454
/proc/meminfo: memFree=27775360/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1601.82 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 160127 55 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232796424 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1362500

[startup+1662.3 s]
/proc/loadavg: 2.41 2.35 2.29 3/185 23455
/proc/meminfo: memFree=27775464/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1661.82 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 166126 56 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1362500

[startup+1722.3 s]
/proc/loadavg: 2.40 2.36 2.29 3/186 23459
/proc/meminfo: memFree=27765652/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1721.81 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 172124 57 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1362500

[startup+1782.3 s]
/proc/loadavg: 2.24 2.32 2.28 3/186 23483
/proc/meminfo: memFree=27764864/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1781.8 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 178123 57 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 5523208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1362500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.32 2.33 2.28 3/186 23484
/proc/meminfo: memFree=27765356/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1800 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 179943 57 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1362500

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

[startup+1800.5 s]
/proc/loadavg: 2.32 2.33 2.28 3/186 23484
/proc/meminfo: memFree=27765356/32872528 swapFree=1505436/1685308
[pid=23315] ppid=23312 vsize=1362500 CPUtime=1800 cores=1,3,5,7
/proc/23315/stat : 23315 (toysat) R 23312 23315 21389 0 -1 4202496 282204 0 0 0 179943 57 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 140734232795328 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23315/statm: 340625 282647 922 2943 0 337519 0
[pid=23315/tid=23316] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23316/stat : 23316 (toysat) S 23312 23315 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813881621744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23315/tid=23317] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23317/stat : 23317 (toysat) S 23312 23315 21389 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813801929968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23315/tid=23318] ppid=23312 vsize=1362500 CPUtime=0 cores=1,3,5,7
/proc/23315/task/23318/stat : 23318 (toysat) S 23312 23315 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29877644 1395200000 282647 33554432000 4194304 16246674 140734232813424 139813791456432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1362500

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.577912
maximum resident set size= 1130588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282204
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= 392
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84311 second user time and 8.24375 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 21:31:57
IDJOB=4106799
IDBENCH=48264
IDSOLVER=2542
FILE ID=node135/4106799-1466278317
RUNJOBID= node135-1466266561-21406
PBS_JOBID= 19918237
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106799-1466278317/watcher-4106799-1466278317 -o /tmp/evaluation-result-4106799-1466278317/solver-4106799-1466278317 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106799-1466278317.opb

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

MD5SUM BENCH= feead174159765db2806c13d35bd6cbe
RANDOM SEED=183372056

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.004
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:        28905960 kB
Buffers:          162816 kB
Cached:           285908 kB
SwapCached:          716 kB
Active:          1229100 kB
Inactive:         306160 kB
Active(anon):    1087592 kB
Inactive(anon):     1308 kB
Active(file):     141508 kB
Inactive(file):   304852 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2894012 kB
Mapped:            10968 kB
Shmem:                 0 kB
Slab:             605576 kB
SReclaimable:      49696 kB
SUnreclaim:       555880 kB
KernelStack:        1536 kB
PageTables:         9572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2918240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1198080 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= 71672 MiB
End job on node135 at 2016-06-18 22:01:58