Trace number 4093313

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM7b4c43120f8532700d0af4fec83df613
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1800.01
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1200
Total number of constraints100
Number of soft constraints67
Number of constraints which are clauses60
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint30
Top cost 3602
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3601
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:10:47+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093313-1466079047.wbo"]
0.00/0.01	c use --random-gen="4288618004 1001096716 1153050093 2330589974 1151579408 932317500 2020284122 387073130 650723379 1958974359 2651816816 520190775 3343689666 148068705 675920 2051607416 208139455 1488427548 2034534756 2889596812 3741654976 3266436746 2914046618 3239936628 4028257788 3208810386 545756782 2981525953 3793630394 647867198 1282316949 4215794272 2718213360 1635342650 852809083 559586992 1395845584 2987094885 1886303077 4077944017 3549006147 459225777 4236527959 260333826 398854924 3558425690 2522055060 3566714718 3525756052 1510563834 1822297302 1569462232 1863819341 3108311983 2114892730 256978897 3161930314 3347878995 1046479499 3646697052 471049440 1267633033 1283800982 2286478425 3879506426 3742813444 1251026897 3478296998 3282410718 3110079238 1298212284 2913496511 3759249017 2871958075 954695272 853986147 159172532 4160934198 4122594689 1112989157 628292117 4211385019 3891180866 1712701759 7031377 1712439933 3634891122 1390991609 71420887 2587979793 3469240474 1290656622 2976560983 2879610419 1674376086 458650807 3908521982 3117215515 2193668483 3617627113 148151511 2546082046 3656861761 20908041 131393013 572762747 3106548717 2835913765 3944259326 82997838 257021298 1519009490 2095732102 2238915792 2248214163 4198864918 159798887 2550245721 1313958749 540784713 999661204 3982529593 2387596171 1216241779 4004760763 1975506872 243278372 2540210548 4196961763 1631945548 1826879192 59214258 1659382195 1242245642 3529225821 570753741 3144260992 2693084015 781043168 1780362483 2710196142 1769361527 1476593643 2142984818 999184566 3829601775 1795275699 1142684283 2210135352 4171629989 2441077055 3013146888 2935154276 2318809803 889643842 1914189462 714938905 2557960673 4041275541 2535511224 3078226275 87249415 3718226087 412918099 2056995435 469287125 505110774 2855318093 4268552364 2830088348 3951720634 1341021255 787198499 1871972660 618742327 3269075762 895454143 1576984608 2776097269 3833131591 3727169630 3762825769 2136324675 3430117410 1449849176 3289705823 3842521638 3410903144 3860259383 3640670971 501075618 3261828619 2806366379 443299993 2174406213 1325593867 1973047893 2397351809 3264923646 3201490936 2410297398 690808431 3978357472 3899115179 3098548509 2750777373 2439759674 4205087194 988974447 2538708609 992013614 2624777378 3015219503 1855313377 1517848805 482213403 3656271067 856843491 4241768008 970200419 26405745 847660136 2605457654 1934648928 2634568627 1372451554 2626603617 2715768555 1942040611 2036465698 80898115 504453315 4001219193 449204032 2330165651 2553816217 2701508675 547548665 1882323224 1985844002 1959469425 3352328071 3632360885 2470039876 1914905750 775932798 3993463226 3546721866 118184419 1568899727 256883868 262919202 4204063302 1933141458 2132369954 3335653969 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1200
0.00/0.06	c #constraints 100
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      455      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      200 |      100 |      455      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      986 |      102 |      501      0 |        0 |        0
0.00/0.09	c #cpu_time = 0.025s
0.00/0.09	c #wall_clock_time = 0.025s
0.00/0.09	c #decision = 986
0.00/0.09	c #random_decision = 0
0.00/0.09	c #conflict = 102
0.00/0.09	c #restart = 1
0.00/0.09	o 1670
0.00/0.09	c BCD2: updating upper bound: 3601 -> 1669
0.00/0.09	c BCD2: 0 <= obj <= 1669
0.00/0.09	c BCD2: #cores=0, #unrelaxed=67, #relaxed=0, #hardened=0
0.00/0.09	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      501      0 |        0 |        0
0.09/0.12	c  0.0s |       1 |      339 |      100 |      501      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |      960 |      250 |      552      0 |        0 |        0
0.18/0.29	c  0.2s |       3 |     1481 |      475 |      608      0 |        0 |        0
0.38/0.43	c  0.3s |       4 |     2165 |      813 |      669      0 |        0 |        0
0.79/0.84	c  0.7s |       5 |     3659 |     1320 |      736      1 |        0 |        0
1.10/1.13	c  1.0s |       6 |     4981 |     2081 |      810      2 |        0 |        0
1.69/1.76	c  1.7s |       7 |     6623 |     3223 |      892      4 |        0 |        0
2.59/2.69	c  2.6s |       8 |     8944 |     4936 |      982      6 |        0 |        0
4.19/4.22	c  4.1s |       9 |    12267 |     7506 |     1081     10 |        0 |        0
6.09/6.13	c  6.0s |      10 |    17195 |    11361 |     1190     14 |        0 |        0
8.09/8.16	c  8.1s |      10 |    22304 |    15661 |     1190     19 |        0 |        0
8.89/8.97	c  8.9s |      11 |    23950 |    17144 |     1309     21 |        0 |        0
10.89/11.00	c 10.9s |      11 |    28454 |    20844 |     1309     25 |        0 |        0
12.99/13.06	c 13.0s |      11 |    31880 |    23844 |     1309     28 |        0 |        0
14.59/14.61	c 14.5s |      12 |    34094 |    25819 |     1440     30 |        0 |        0
16.59/16.63	c 16.5s |      12 |    38062 |    28719 |     1440     33 |        0 |        0
18.59/18.65	c 18.6s |      12 |    40612 |    31019 |     1440     36 |        0 |        0
20.59/20.69	c 20.6s |      12 |    43871 |    33919 |     1440     38 |        0 |        0
22.69/22.73	c 22.6s |      12 |    47494 |    37119 |     1440     42 |        0 |        0
23.69/23.79	c 23.7s |      13 |    49430 |    38832 |     1585     43 |        0 |        0
25.69/25.79	c 25.7s |      13 |    53890 |    42032 |     1585     46 |        0 |        0
27.78/27.83	c 27.7s |      13 |    56899 |    44632 |     1585     49 |        0 |        0
29.79/29.89	c 29.8s |      13 |    59859 |    47332 |     1585     51 |        0 |        0
31.89/31.95	c 31.9s |      13 |    62873 |    50032 |     1585     54 |        0 |        0
33.88/33.96	c 33.9s |      13 |    65481 |    52432 |     1585     56 |        0 |        0
35.98/36.01	c 35.9s |      13 |    68093 |    54732 |     1585     58 |        0 |        0
37.98/38.03	c 37.9s |      13 |    70903 |    57232 |     1585     61 |        0 |        0
38.88/38.95	c 38.9s |      14 |    72146 |    58352 |     1744     61 |        0 |        0
40.88/40.96	c 40.9s |      14 |    76428 |    61952 |     1744     65 |        0 |        0
42.89/42.99	c 42.9s |      14 |    80453 |    65552 |     1744     69 |        0 |        0
44.98/45.01	c 44.9s |      14 |    85380 |    69952 |     1744     73 |        0 |        0
46.98/47.05	c 47.0s |      14 |    90698 |    74752 |     1744     78 |        0 |        0
48.98/49.08	c 49.0s |      14 |    96133 |    79652 |     1744     82 |        0 |        0
51.08/51.12	c 51.0s |      14 |   100889 |    83952 |     1744     87 |        0 |        0
52.79/52.85	c 52.8s |      15 |   105007 |    87632 |     1919     90 |        0 |        0
54.88/54.91	c 54.8s |      15 |   109457 |    91032 |     1919     92 |        0 |        0
56.88/56.92	c 56.8s |      15 |   112345 |    93632 |     1919     95 |        0 |        0
58.88/58.98	c 58.9s |      15 |   114966 |    96032 |     1919     96 |        0 |        0
60.98/61.02	c 60.9s |      15 |   117610 |    98432 |     1919     98 |        0 |        0
62.98/63.06	c 63.0s |      15 |   120169 |   100732 |     1919    100 |        0 |        0
65.08/65.12	c 65.0s |      15 |   123046 |   103332 |     1919    102 |        0 |        0
67.08/67.16	c 67.1s |      15 |   125952 |   105932 |     1919    104 |        0 |        0
69.18/69.21	c 69.1s |      15 |   128868 |   108532 |     1919    107 |        0 |        0
71.18/71.23	c 71.1s |      15 |   131913 |   111232 |     1919    109 |        0 |        0
73.17/73.27	c 73.2s |      15 |   135307 |   114232 |     1919    111 |        0 |        0
75.27/75.30	c 75.2s |      15 |   138199 |   116832 |     1919    113 |        0 |        0
77.27/77.39	c 77.3s |      15 |   141265 |   119532 |     1919    116 |        0 |        0
79.37/79.41	c 79.3s |      15 |   144083 |   122032 |     1919    118 |        0 |        0
81.38/81.49	c 81.4s |      15 |   146957 |   124532 |     1919    120 |        0 |        0
83.47/83.50	c 83.4s |      15 |   149326 |   126632 |     1919    121 |        0 |        0
85.48/85.52	c 85.4s |      15 |   151890 |   128932 |     1919    123 |        0 |        0
87.48/87.59	c 87.5s |      15 |   154683 |   131332 |     2111    125 |        0 |        0
87.78/87.80	c 87.7s |      16 |   154928 |   131552 |     2111    125 |        0 |        0
89.78/89.84	c 89.7s |      16 |   159315 |   134752 |     2111    128 |        0 |        0
91.78/91.88	c 91.8s |      16 |   162193 |   137252 |     2111    130 |        0 |        0
93.88/93.91	c 93.8s |      16 |   165021 |   139752 |     2111    131 |        0 |        0
95.88/95.97	c 95.9s |      16 |   167570 |   142052 |     2111    133 |        0 |        0
97.98/98.05	c 98.0s |      16 |   170130 |   144352 |     2111    135 |        0 |        0
99.98/100.08	c 100.0s |      16 |   172626 |   146552 |     2111    137 |        0 |        0
102.07/102.11	c  102s |      16 |   175190 |   148852 |     2111    138 |        0 |        0
104.08/104.15	c  104s |      16 |   177624 |   151052 |     2111    140 |        0 |        0
106.07/106.17	c  106s |      16 |   179949 |   153152 |     2111    142 |        0 |        0
108.17/108.23	c  108s |      16 |   182621 |   155552 |     2111    143 |        0 |        0
110.27/110.30	c  110s |      16 |   185024 |   157752 |     2111    145 |        0 |        0
112.28/112.35	c  112s |      16 |   189807 |   161252 |     2111    148 |        0 |        0
114.27/114.35	c  114s |      16 |   194240 |   164352 |     2111    150 |        0 |        0
116.27/116.38	c  116s |      16 |   202853 |   167252 |     2111    153 |        0 |        0
118.37/118.40	c  118s |      16 |   206960 |   169752 |     2111    154 |        0 |        0
120.37/120.45	c  120s |      16 |   211897 |   173252 |     2111    157 |        0 |        0
122.37/122.49	c  122s |      16 |   219865 |   176152 |     2111    159 |        0 |        0
124.47/124.53	c  124s |      16 |   223269 |   178852 |     2111    162 |        0 |        0
126.48/126.59	c  126s |      16 |   226555 |   181652 |     2111    164 |        0 |        0
128.57/128.61	c  128s |      16 |   230146 |   184752 |     2111    167 |        0 |        0
130.57/130.65	c  130s |      16 |   233551 |   187352 |     2111    169 |        0 |        0
132.67/132.71	c  132s |      16 |   236685 |   190052 |     2111    171 |        0 |        0
134.67/134.77	c  134s |      16 |   239663 |   192652 |     2111    173 |        0 |        0
136.77/136.82	c  136s |      16 |   243016 |   195452 |     2111    176 |        0 |        0
138.17/138.29	c  138s |      17 |   245371 |   197432 |     2323    177 |        0 |        0
140.27/140.36	c  140s |      17 |   251034 |   200332 |     2323    179 |        0 |        0
142.27/142.38	c  142s |      17 |   253594 |   202632 |     2323    181 |        0 |        0
144.37/144.44	c  144s |      17 |   256727 |   205432 |     2323    183 |        0 |        0
146.46/146.51	c  146s |      17 |   259282 |   207732 |     2323    184 |        0 |        0
148.47/148.51	c  148s |      17 |   261731 |   209932 |     2323    186 |        0 |        0
150.46/150.56	c  150s |      17 |   264565 |   212432 |     2323    188 |        0 |        0
152.56/152.62	c  152s |      17 |   267270 |   214832 |     2323    189 |        0 |        0
154.66/154.70	c  154s |      17 |   270226 |   217432 |     2323    191 |        0 |        0
156.66/156.76	c  156s |      17 |   273014 |   219932 |     2323    193 |        0 |        0
158.66/158.77	c  158s |      17 |   275462 |   222132 |     2323    194 |        0 |        0
160.76/160.80	c  160s |      17 |   277738 |   224232 |     2323    196 |        0 |        0
162.77/162.85	c  162s |      17 |   280170 |   226432 |     2323    197 |        0 |        0
164.76/164.87	c  164s |      17 |   282598 |   228632 |     2323    199 |        0 |        0
166.86/166.97	c  166s |      17 |   285009 |   230832 |     2323    201 |        0 |        0
168.96/169.01	c  168s |      17 |   287328 |   232932 |     2323    202 |        0 |        0
170.96/171.01	c  170s |      17 |   289976 |   235232 |     2323    204 |        0 |        0
172.96/173.04	c  172s |      17 |   292744 |   237632 |     2323    205 |        0 |        0
175.06/175.11	c  175s |      17 |   295391 |   239932 |     2323    207 |        0 |        0
177.07/177.18	c  177s |      17 |   298119 |   242332 |     2323    209 |        0 |        0
179.16/179.24	c  179s |      17 |   300874 |   244732 |     2323    210 |        0 |        0
181.26/181.31	c  181s |      17 |   303270 |   246832 |     2323    212 |        0 |        0
183.26/183.38	c  183s |      17 |   305613 |   248932 |     2323    213 |        0 |        0
185.36/185.43	c  185s |      17 |   308148 |   251132 |     2323    215 |        0 |        0
187.46/187.50	c  187s |      17 |   310230 |   253032 |     2323    216 |        0 |        0
189.46/189.52	c  189s |      17 |   311913 |   254532 |     2323    217 |        0 |        0
191.56/191.63	c  191s |      17 |   314221 |   256632 |     2323    219 |        0 |        0
193.56/193.65	c  193s |      17 |   316415 |   258632 |     2323    220 |        0 |        0
195.66/195.76	c  195s |      17 |   318263 |   260332 |     2323    221 |        0 |        0
197.66/197.77	c  197s |      17 |   319935 |   261832 |     2323    222 |        0 |        0
199.76/199.80	c  199s |      17 |   322470 |   264132 |     2323    224 |        0 |        0
201.76/201.89	c  201s |      17 |   324646 |   266132 |     2323    225 |        0 |        0
203.86/203.92	c  203s |      17 |   326838 |   268132 |     2323    227 |        0 |        0
205.85/205.95	c  205s |      17 |   329004 |   270132 |     2323    228 |        0 |        0
207.86/207.95	c  207s |      17 |   331182 |   272132 |     2323    230 |        0 |        0
209.85/209.96	c  209s |      17 |   333378 |   274132 |     2323    231 |        0 |        0
211.85/211.98	c  211s |      17 |   335346 |   275932 |     2323    232 |        0 |        0
213.95/214.04	c  213s |      17 |   337330 |   277732 |     2323    234 |        0 |        0
215.95/216.06	c  215s |      17 |   339491 |   279732 |     2323    235 |        0 |        0
218.05/218.10	c  218s |      17 |   341780 |   281832 |     2323    237 |        0 |        0
220.06/220.16	c  220s |      17 |   343988 |   283832 |     2323    238 |        0 |        0
222.06/222.17	c  222s |      17 |   346545 |   286032 |     2323    240 |        0 |        0
224.16/224.22	c  224s |      17 |   349282 |   288432 |     2323    241 |        0 |        0
226.16/226.28	c  226s |      17 |   351615 |   290532 |     2323    243 |        0 |        0
228.25/228.31	c  228s |      17 |   353985 |   292632 |     2323    244 |        0 |        0
230.35/230.43	c  230s |      17 |   356359 |   294732 |     2556    246 |        0 |        0
231.85/231.99	c  231s |      18 |   358022 |   296252 |     2556    247 |        0 |        0
233.95/234.02	c  233s |      18 |   362148 |   299252 |     2556    248 |        0 |        0
235.95/236.06	c  235s |      18 |   365110 |   301852 |     2556    250 |        0 |        0
238.04/238.13	c  238s |      18 |   367566 |   304052 |     2556    252 |        0 |        0
240.04/240.18	c  240s |      18 |   370123 |   306352 |     2556    253 |        0 |        0
242.05/242.18	c  242s |      18 |   372550 |   308552 |     2556    254 |        0 |        0
244.15/244.26	c  244s |      18 |   375086 |   310852 |     2556    256 |        0 |        0
246.24/246.32	c  246s |      18 |   377478 |   313052 |     2556    257 |        0 |        0
248.24/248.35	c  248s |      18 |   379901 |   315252 |     2556    259 |        0 |        0
250.34/250.41	c  250s |      18 |   382389 |   317552 |     2556    260 |        0 |        0
252.34/252.47	c  252s |      18 |   385228 |   319952 |     2556    262 |        0 |        0
254.34/254.47	c  254s |      18 |   388299 |   322652 |     2556    263 |        0 |        0
256.44/256.52	c  256s |      18 |   391583 |   325552 |     2556    265 |        0 |        0
258.44/258.57	c  258s |      18 |   394485 |   328152 |     2556    267 |        0 |        0
260.43/260.58	c  260s |      18 |   397484 |   330752 |     2556    269 |        0 |        0
262.43/262.59	c  262s |      18 |   400062 |   333052 |     2556    270 |        0 |        0
264.53/264.68	c  264s |      18 |   402825 |   335452 |     2556    272 |        0 |        0
266.63/266.75	c  266s |      18 |   405782 |   338052 |     2556    273 |        0 |        0
268.63/268.79	c  268s |      18 |   408378 |   340352 |     2556    275 |        0 |        0
270.72/270.87	c  270s |      18 |   410870 |   342552 |     2556    276 |        0 |        0
272.73/272.87	c  272s |      18 |   413240 |   344652 |     2556    278 |        0 |        0
274.82/274.96	c  274s |      18 |   415546 |   346752 |     2556    279 |        0 |        0
276.92/277.00	c  276s |      18 |   417758 |   348752 |     2556    280 |        0 |        0
278.92/279.06	c  278s |      18 |   420385 |   351052 |     2556    282 |        0 |        0
281.02/281.11	c  281s |      18 |   423190 |   353552 |     2556    283 |        0 |        0
283.02/283.14	c  283s |      18 |   425521 |   355652 |     2556    285 |        0 |        0
285.02/285.17	c  285s |      18 |   427847 |   357752 |     2556    286 |        0 |        0
287.02/287.17	c  287s |      18 |   430418 |   360052 |     2556    287 |        0 |        0
289.12/289.23	c  289s |      18 |   433185 |   362552 |     2556    289 |        0 |        0
291.12/291.24	c  291s |      18 |   435822 |   364952 |     2556    291 |        0 |        0
293.12/293.27	c  293s |      18 |   438347 |   367252 |     2556    292 |        0 |        0
295.11/295.29	c  295s |      18 |   441152 |   369752 |     2556    294 |        0 |        0
297.21/297.30	c  297s |      18 |   443765 |   372152 |     2556    295 |        0 |        0
299.22/299.37	c  299s |      18 |   446373 |   374552 |     2556    297 |        0 |        0
301.31/301.46	c  301s |      18 |   448996 |   376952 |     2556    298 |        0 |        0
303.41/303.55	c  303s |      18 |   451505 |   379252 |     2556    300 |        0 |        0
305.41/305.59	c  305s |      18 |   454390 |   381852 |     2556    301 |        0 |        0
307.51/307.65	c  307s |      18 |   456923 |   384152 |     2556    303 |        0 |        0
309.60/309.74	c  309s |      18 |   459654 |   386652 |     2556    304 |        0 |        0
311.60/311.78	c  311s |      18 |   462100 |   388852 |     2556    306 |        0 |        0
313.60/313.79	c  313s |      18 |   464626 |   391152 |     2556    307 |        0 |        0
315.71/315.83	c  315s |      18 |   467149 |   393452 |     2556    309 |        0 |        0
317.70/317.87	c  317s |      18 |   469533 |   395652 |     2556    310 |        0 |        0
319.80/319.92	c  319s |      18 |   471865 |   397752 |     2556    312 |        0 |        0
321.80/321.97	c  321s |      18 |   474936 |   400452 |     2556    313 |        0 |        0
323.80/323.98	c  323s |      18 |   478105 |   403252 |     2556    315 |        0 |        0
325.90/326.01	c  325s |      18 |   481059 |   405952 |     2556    317 |        0 |        0
327.89/328.08	c  327s |      18 |   483905 |   408552 |     2556    318 |        0 |        0
330.00/330.16	c  330s |      18 |   486659 |   411052 |     2556    320 |        0 |        0
331.99/332.17	c  332s |      18 |   488992 |   413152 |     2556    321 |        0 |        0
334.09/334.22	c  334s |      18 |   491759 |   415652 |     2556    323 |        0 |        0
336.19/336.30	c  336s |      18 |   494565 |   418152 |     2556    325 |        0 |        0
338.19/338.39	c  338s |      18 |   496949 |   420352 |     2556    326 |        0 |        0
340.29/340.42	c  340s |      18 |   499266 |   422452 |     2556    327 |        0 |        0
342.29/342.44	c  342s |      18 |   501485 |   424452 |     2556    329 |        0 |        0
344.29/344.49	c  344s |      18 |   504489 |   427052 |     2556    330 |        0 |        0
346.39/346.54	c  346s |      18 |   507405 |   429652 |     2556    332 |        0 |        0
348.38/348.59	c  348s |      18 |   509915 |   431952 |     2556    333 |        0 |        0
350.48/350.62	c  350s |      18 |   512051 |   433952 |     2556    335 |        0 |        0
352.48/352.67	c  352s |      18 |   514452 |   436152 |     2556    336 |        0 |        0
354.58/354.74	c  354s |      18 |   516876 |   438352 |     2556    338 |        0 |        0
356.68/356.81	c  356s |      18 |   519213 |   440452 |     2556    339 |        0 |        0
358.68/358.82	c  358s |      18 |   521677 |   442652 |     2812    340 |        0 |        0
360.38/360.51	c  360s |      19 |   523715 |   444482 |     2812    341 |        0 |        0
362.37/362.55	c  362s |      19 |   528150 |   447882 |     2812    343 |        0 |        0
364.48/364.61	c  364s |      19 |   531334 |   450682 |     2812    345 |        0 |        0
366.58/366.73	c  366s |      19 |   534121 |   453182 |     2812    347 |        0 |        0
368.58/368.74	c  368s |      19 |   537475 |   455982 |     2812    348 |        0 |        0
370.59/370.80	c  370s |      19 |   540450 |   458582 |     2812    350 |        0 |        0
372.68/372.83	c  372s |      19 |   543409 |   461182 |     2812    351 |        0 |        0
374.68/374.86	c  374s |      19 |   546397 |   463882 |     2812    353 |        0 |        0
376.68/376.87	c  376s |      19 |   549231 |   466382 |     2812    354 |        0 |        0
378.77/378.93	c  378s |      19 |   551985 |   468782 |     2812    356 |        0 |        0
380.77/380.94	c  380s |      19 |   554804 |   471282 |     2812    357 |        0 |        0
382.78/382.99	c  382s |      19 |   557502 |   473682 |     2812    359 |        0 |        0
384.88/385.03	c  384s |      19 |   560514 |   476282 |     2812    360 |        0 |        0
386.87/387.04	c  386s |      19 |   563396 |   478782 |     2812    362 |        0 |        0
388.87/389.09	c  388s |      19 |   566111 |   481182 |     2812    363 |        0 |        0
390.97/391.18	c  391s |      19 |   568474 |   483282 |     2812    365 |        0 |        0
393.07/393.20	c  393s |      19 |   571354 |   485782 |     2812    366 |        0 |        0
395.07/395.22	c  395s |      19 |   574023 |   488082 |     2812    367 |        0 |        0
397.07/397.26	c  397s |      19 |   576722 |   490382 |     2812    369 |        0 |        0
399.06/399.29	c  399s |      19 |   578882 |   492282 |     2812    370 |        0 |        0
401.26/401.40	c  401s |      19 |   580907 |   494082 |     2812    371 |        0 |        0
403.26/403.48	c  403s |      19 |   582918 |   495882 |     2812    372 |        0 |        0
405.36/405.50	c  405s |      19 |   585209 |   497882 |     2812    373 |        0 |        0
407.36/407.58	c  407s |      19 |   587465 |   499882 |     2812    375 |        0 |        0
409.45/409.67	c  409s |      19 |   589821 |   501982 |     2812    376 |        0 |        0
411.55/411.71	c  411s |      19 |   592060 |   503982 |     2812    377 |        0 |        0
413.56/413.79	c  413s |      19 |   594484 |   506182 |     2812    378 |        0 |        0
415.66/415.83	c  415s |      19 |   596766 |   508182 |     2812    379 |        0 |        0
417.75/417.91	c  417s |      19 |   599112 |   510282 |     2812    381 |        0 |        0
419.85/420.03	c  419s |      19 |   601241 |   512182 |     2812    382 |        0 |        0
421.85/422.05	c  421s |      19 |   603734 |   514382 |     2812    383 |        0 |        0
423.95/424.17	c  424s |      19 |   606347 |   516582 |     2812    385 |        0 |        0
426.05/426.22	c  426s |      19 |   608939 |   518782 |     2812    386 |        0 |        0
428.04/428.25	c  428s |      19 |   611396 |   520982 |     2812    387 |        0 |        0
430.14/430.34	c  430s |      19 |   614111 |   523382 |     2812    389 |        0 |        0
432.25/432.41	c  432s |      19 |   616458 |   525482 |     2812    390 |        0 |        0
434.24/434.45	c  434s |      19 |   618934 |   527682 |     2812    391 |        0 |        0
436.24/436.48	c  436s |      19 |   621489 |   529982 |     2812    393 |        0 |        0
438.23/438.49	c  438s |      19 |   624062 |   532282 |     2812    394 |        0 |        0
440.33/440.54	c  440s |      19 |   626535 |   534582 |     2812    395 |        0 |        0
442.43/442.64	c  442s |      19 |   628822 |   536682 |     2812    397 |        0 |        0
444.53/444.70	c  444s |      19 |   631756 |   539082 |     2812    398 |        0 |        0
446.54/446.73	c  446s |      19 |   634090 |   541182 |     2812    399 |        0 |        0
448.53/448.74	c  448s |      19 |   636403 |   543182 |     2812    400 |        0 |        0
450.63/450.87	c  450s |      19 |   638512 |   545082 |     2812    402 |        0 |        0
452.73/452.94	c  452s |      19 |   640582 |   546882 |     2812    403 |        0 |        0
454.73/454.96	c  454s |      19 |   642666 |   548682 |     2812    404 |        0 |        0
456.73/456.98	c  456s |      19 |   644455 |   550282 |     2812    405 |        0 |        0
458.83/459.01	c  458s |      19 |   646895 |   552382 |     2812    406 |        0 |        0
460.83/461.07	c  460s |      19 |   649418 |   554682 |     2812    407 |        0 |        0
462.82/463.07	c  462s |      19 |   651691 |   556782 |     2812    409 |        0 |        0
464.92/465.10	c  465s |      19 |   654012 |   558882 |     2812    410 |        0 |        0
466.92/467.13	c  467s |      19 |   656718 |   561282 |     2812    411 |        0 |        0
469.02/469.20	c  469s |      19 |   659265 |   563582 |     2812    413 |        0 |        0
471.02/471.22	c  471s |      19 |   661851 |   565882 |     2812    414 |        0 |        0
473.02/473.29	c  473s |      19 |   664186 |   567982 |     2812    415 |        0 |        0
475.13/475.35	c  475s |      19 |   666640 |   570182 |     2812    417 |        0 |        0
477.12/477.39	c  477s |      19 |   669051 |   572382 |     2812    418 |        0 |        0
479.21/479.42	c  479s |      19 |   671233 |   574382 |     2812    419 |        0 |        0
481.21/481.44	c  481s |      19 |   673319 |   576282 |     2812    420 |        0 |        0
483.21/483.49	c  483s |      19 |   675649 |   578382 |     2812    421 |        0 |        0
485.31/485.51	c  485s |      19 |   678455 |   580882 |     2812    423 |        0 |        0
487.31/487.51	c  487s |      19 |   681117 |   583282 |     2812    424 |        0 |        0
489.31/489.56	c  489s |      19 |   684011 |   585882 |     2812    426 |        0 |        0
491.31/491.56	c  491s |      19 |   686578 |   588182 |     2812    427 |        0 |        0
493.41/493.61	c  493s |      19 |   689664 |   590982 |     2812    429 |        0 |        0
495.41/495.63	c  495s |      19 |   692332 |   593382 |     2812    430 |        0 |        0
497.41/497.64	c  497s |      19 |   694876 |   595682 |     2812    432 |        0 |        0
499.40/499.67	c  499s |      19 |   697538 |   597982 |     2812    433 |        0 |        0
501.51/501.73	c  501s |      19 |   700153 |   600382 |     2812    435 |        0 |        0
503.50/503.75	c  503s |      19 |   702443 |   602482 |     2812    436 |        0 |        0
505.60/505.82	c  505s |      19 |   704739 |   604582 |     2812    437 |        0 |        0
507.60/507.86	c  507s |      19 |   706844 |   606482 |     2812    438 |        0 |        0
509.70/509.93	c  509s |      19 |   708939 |   608382 |     2812    439 |        0 |        0
511.70/511.96	c  511s |      19 |   710822 |   610082 |     2812    440 |        0 |        0
513.79/514.05	c  513s |      19 |   712985 |   611982 |     2812    442 |        0 |        0
515.80/516.09	c  516s |      19 |   715550 |   614282 |     2812    443 |        0 |        0
517.91/518.16	c  518s |      19 |   718196 |   616682 |     2812    444 |        0 |        0
520.00/520.23	c  520s |      19 |   720849 |   619082 |     2812    446 |        0 |        0
522.10/522.31	c  522s |      19 |   723294 |   621282 |     2812    447 |        0 |        0
524.10/524.37	c  524s |      19 |   725587 |   623382 |     2812    448 |        0 |        0
526.20/526.45	c  526s |      19 |   728057 |   625582 |     2812    450 |        0 |        0
528.19/528.48	c  528s |      19 |   730576 |   627882 |     2812    451 |        0 |        0
530.19/530.48	c  530s |      19 |   732822 |   629882 |     2812    452 |        0 |        0
532.30/532.53	c  532s |      19 |   735414 |   632182 |     2812    454 |        0 |        0
534.29/534.53	c  534s |      19 |   737597 |   634182 |     2812    455 |        0 |        0
536.39/536.62	c  536s |      19 |   740149 |   636482 |     2812    456 |        0 |        0
538.49/538.72	c  538s |      19 |   742415 |   638482 |     2812    457 |        0 |        0
540.49/540.76	c  540s |      19 |   744712 |   640582 |     2812    459 |        0 |        0
542.58/542.84	c  542s |      19 |   747031 |   642682 |     2812    460 |        0 |        0
544.69/544.91	c  544s |      19 |   749091 |   644482 |     2812    461 |        0 |        0
546.68/546.94	c  546s |      19 |   751746 |   646782 |     2812    462 |        0 |        0
548.69/548.99	c  548s |      19 |   754350 |   649082 |     2812    464 |        0 |        0
550.78/551.01	c  550s |      19 |   756805 |   651282 |     2812    465 |        0 |        0
552.88/553.11	c  553s |      19 |   758781 |   653082 |     2812    466 |        0 |        0
554.88/555.15	c  555s |      19 |   761327 |   655282 |     2812    467 |        0 |        0
556.98/557.21	c  557s |      19 |   763433 |   657182 |     2812    469 |        0 |        0
558.98/559.25	c  559s |      19 |   765568 |   659082 |     2812    470 |        0 |        0
561.08/561.30	c  561s |      19 |   767550 |   660882 |     2812    471 |        0 |        0
563.08/563.32	c  563s |      19 |   769721 |   662882 |     3094    472 |        0 |        0
565.07/565.35	c  565s |      19 |   771713 |   664682 |     3094    473 |        0 |        0
567.17/567.41	c  567s |      19 |   773492 |   666282 |     3094    474 |        0 |        0
567.77/568.07	c  567s |      20 |   774083 |   666827 |     3094    474 |        0 |        0
569.87/570.10	c  570s |      20 |   777887 |   669827 |     3094    476 |        0 |        0
571.87/572.13	c  572s |      20 |   780913 |   672527 |     3094    477 |        0 |        0
573.97/574.22	c  574s |      20 |   783836 |   675127 |     3094    478 |        0 |        0
575.97/576.27	c  576s |      20 |   786590 |   677627 |     3094    480 |        0 |        0
578.06/578.32	c  578s |      20 |   789000 |   679827 |     3094    481 |        0 |        0
580.06/580.40	c  580s |      20 |   791495 |   682127 |     3094    482 |        0 |        0
582.16/582.43	c  582s |      20 |   794208 |   684527 |     3094    484 |        0 |        0
584.16/584.47	c  584s |      20 |   797183 |   687127 |     3094    485 |        0 |        0
586.26/586.52	c  586s |      20 |   799685 |   689327 |     3094    486 |        0 |        0
588.36/588.61	c  588s |      20 |   802219 |   691627 |     3094    488 |        0 |        0
590.36/590.68	c  590s |      20 |   804197 |   693427 |     3094    489 |        0 |        0
592.36/592.69	c  592s |      20 |   806670 |   695627 |     3094    490 |        0 |        0
594.46/594.75	c  594s |      20 |   808981 |   697727 |     3094    491 |        0 |        0
596.56/596.80	c  596s |      20 |   811407 |   699927 |     3094    492 |        0 |        0
598.65/598.92	c  598s |      20 |   813891 |   702227 |     3094    493 |        0 |        0
600.65/600.94	c  600s |      20 |   816021 |   704227 |     3094    494 |        0 |        0
602.66/602.95	c  602s |      20 |   818074 |   706127 |     3094    495 |        0 |        0
604.76/605.05	c  604s |      20 |   820026 |   707927 |     3094    496 |        0 |        0
606.85/607.11	c  607s |      20 |   822867 |   710427 |     3094    498 |        0 |        0
608.84/609.15	c  609s |      20 |   825007 |   712427 |     3094    499 |        0 |        0
610.84/611.19	c  611s |      20 |   827472 |   714627 |     3094    500 |        0 |        0
612.94/613.21	c  613s |      20 |   829584 |   716527 |     3094    501 |        0 |        0
614.94/615.23	c  615s |      20 |   832003 |   718727 |     3094    502 |        0 |        0
616.95/617.29	c  617s |      20 |   834534 |   721027 |     3094    504 |        0 |        0
619.04/619.36	c  619s |      20 |   836957 |   723227 |     3094    505 |        0 |        0
621.13/621.45	c  621s |      20 |   839232 |   725327 |     3094    506 |        0 |        0
623.23/623.54	c  623s |      20 |   841433 |   727327 |     3094    507 |        0 |        0
625.23/625.57	c  625s |      20 |   843919 |   729527 |     3094    508 |        0 |        0
627.33/627.64	c  627s |      20 |   846605 |   731927 |     3094    510 |        0 |        0
629.43/629.71	c  629s |      20 |   849182 |   734227 |     3094    511 |        0 |        0
631.43/631.77	c  631s |      20 |   851831 |   736627 |     3094    512 |        0 |        0
633.53/633.87	c  633s |      20 |   854264 |   738827 |     3094    513 |        0 |        0
635.63/635.99	c  635s |      20 |   856541 |   740927 |     3094    515 |        0 |        0
637.73/638.05	c  637s |      20 |   859435 |   743527 |     3094    516 |        0 |        0
639.72/640.07	c  639s |      20 |   861681 |   745627 |     3094    517 |        0 |        0
641.82/642.16	c  642s |      20 |   863702 |   747527 |     3094    518 |        0 |        0
643.82/644.19	c  644s |      20 |   865831 |   749427 |     3094    519 |        0 |        0
645.92/646.26	c  646s |      20 |   868401 |   751727 |     3094    520 |        0 |        0
648.02/648.30	c  648s |      20 |   870829 |   753927 |     3094    522 |        0 |        0
650.02/650.32	c  650s |      20 |   873250 |   756127 |     3094    523 |        0 |        0
652.03/652.33	c  652s |      20 |   875548 |   758227 |     3094    524 |        0 |        0
654.02/654.38	c  654s |      20 |   877724 |   760227 |     3094    525 |        0 |        0
656.12/656.49	c  656s |      20 |   879578 |   761927 |     3094    526 |        0 |        0
658.22/658.53	c  658s |      20 |   882281 |   764327 |     3094    527 |        0 |        0
660.32/660.62	c  660s |      20 |   884570 |   766427 |     3094    529 |        0 |        0
662.42/662.75	c  662s |      20 |   886530 |   768227 |     3094    530 |        0 |        0
664.62/664.90	c  664s |      20 |   888600 |   770127 |     3094    531 |        0 |        0
666.62/666.91	c  666s |      20 |   890804 |   772127 |     3094    532 |        0 |        0
668.62/668.95	c  668s |      20 |   892692 |   773827 |     3094    533 |        0 |        0
670.61/670.99	c  670s |      20 |   894553 |   775527 |     3094    534 |        0 |        0
672.71/673.06	c  672s |      20 |   896934 |   777627 |     3094    535 |        0 |        0
674.71/675.09	c  675s |      20 |   899155 |   779627 |     3094    536 |        0 |        0
676.81/677.16	c  677s |      20 |   901463 |   781727 |     3094    537 |        0 |        0
678.80/679.17	c  679s |      20 |   903392 |   783527 |     3094    538 |        0 |        0
680.80/681.19	c  681s |      20 |   905739 |   785627 |     3094    539 |        0 |        0
682.91/683.21	c  683s |      20 |   907935 |   787627 |     3094    540 |        0 |        0
684.90/685.30	c  685s |      20 |   910005 |   789527 |     3094    541 |        0 |        0
687.00/687.37	c  687s |      20 |   912192 |   791527 |     3094    542 |        0 |        0
689.10/689.49	c  689s |      20 |   914404 |   793527 |     3094    543 |        0 |        0
691.20/691.57	c  691s |      20 |   916598 |   795527 |     3094    544 |        0 |        0
693.20/693.58	c  693s |      20 |   918569 |   797327 |     3094    545 |        0 |        0
695.30/695.67	c  695s |      20 |   920737 |   799327 |     3094    547 |        0 |        0
697.30/697.67	c  697s |      20 |   922692 |   801127 |     3094    548 |        0 |        0
699.40/699.76	c  699s |      20 |   924768 |   803027 |     3094    549 |        0 |        0
701.39/701.78	c  701s |      20 |   927057 |   805027 |     3094    550 |        0 |        0
703.49/703.90	c  703s |      20 |   929020 |   806827 |     3094    551 |        0 |        0
705.59/705.95	c  705s |      20 |   931014 |   808627 |     3094    552 |        0 |        0
707.69/708.01	c  707s |      20 |   933010 |   810427 |     3094    553 |        0 |        0
709.68/710.08	c  709s |      20 |   935103 |   812327 |     3094    554 |        0 |        0
711.78/712.13	c  712s |      20 |   936946 |   814027 |     3094    555 |        0 |        0
713.78/714.15	c  714s |      20 |   938808 |   815727 |     3094    556 |        0 |        0
715.89/716.27	c  716s |      20 |   940523 |   817327 |     3094    556 |        0 |        0
717.99/718.33	c  718s |      20 |   942389 |   819027 |     3094    557 |        0 |        0
720.08/720.40	c  720s |      20 |   944318 |   820727 |     3094    558 |        0 |        0
722.08/722.42	c  722s |      20 |   946774 |   822827 |     3094    559 |        0 |        0
724.08/724.48	c  724s |      20 |   948869 |   824727 |     3094    560 |        0 |        0
726.18/726.58	c  726s |      20 |   950923 |   826627 |     3094    562 |        0 |        0
728.27/728.66	c  728s |      20 |   953002 |   828527 |     3094    563 |        0 |        0
730.27/730.68	c  730s |      20 |   955112 |   830427 |     3094    564 |        0 |        0
732.28/732.69	c  732s |      20 |   957397 |   832527 |     3094    565 |        0 |        0
734.37/734.75	c  734s |      20 |   959359 |   834327 |     3094    566 |        0 |        0
736.47/736.82	c  736s |      20 |   961374 |   836127 |     3094    567 |        0 |        0
738.47/738.87	c  738s |      20 |   963761 |   838227 |     3094    568 |        0 |        0
740.57/740.91	c  740s |      20 |   965663 |   839927 |     3094    569 |        0 |        0
742.57/742.92	c  742s |      20 |   967639 |   841727 |     3094    570 |        0 |        0
744.57/744.97	c  744s |      20 |   969490 |   843427 |     3094    571 |        0 |        0
746.67/747.08	c  746s |      20 |   971440 |   845227 |     3094    572 |        0 |        0
748.77/749.12	c  749s |      20 |   973273 |   846927 |     3094    573 |        0 |        0
750.76/751.13	c  751s |      20 |   974999 |   848527 |     3094    574 |        0 |        0
752.86/753.29	c  753s |      20 |   976965 |   850327 |     3094    575 |        0 |        0
754.96/755.32	c  755s |      20 |   978815 |   852027 |     3094    575 |        0 |        0
756.96/757.38	c  757s |      20 |   980654 |   853727 |     3094    576 |        0 |        0
759.06/759.46	c  759s |      20 |   982432 |   855327 |     3094    577 |        0 |        0
761.05/761.47	c  761s |      20 |   985608 |   857927 |     3094    579 |        0 |        0
763.06/763.48	c  763s |      20 |   988128 |   860127 |     3094    580 |        0 |        0
765.15/765.57	c  765s |      20 |   990789 |   862427 |     3094    581 |        0 |        0
767.15/767.57	c  767s |      20 |   993116 |   864427 |     3094    582 |        0 |        0
769.15/769.58	c  769s |      20 |   995611 |   866627 |     3094    583 |        0 |        0
771.25/771.69	c  771s |      20 |   997959 |   868627 |     3094    585 |        0 |        0
773.35/773.72	c  773s |      20 |  1000572 |   870927 |     3094    586 |        0 |        0
775.45/775.82	c  775s |      20 |  1003152 |   873227 |     3094    587 |        0 |        0
777.45/777.83	c  777s |      20 |  1005501 |   875327 |     3094    588 |        0 |        0
779.55/779.93	c  779s |      20 |  1007833 |   877427 |     3094    589 |        0 |        0
781.55/781.97	c  781s |      20 |  1010169 |   879527 |     3094    591 |        0 |        0
783.54/783.97	c  783s |      20 |  1012418 |   881527 |     3094    592 |        0 |        0
785.64/786.00	c  785s |      20 |  1014733 |   883527 |     3094    593 |        0 |        0
787.64/788.00	c  787s |      20 |  1016811 |   885427 |     3094    594 |        0 |        0
789.64/790.03	c  789s |      20 |  1018913 |   887327 |     3094    595 |        0 |        0
791.75/792.11	c  792s |      20 |  1021080 |   889227 |     3094    596 |        0 |        0
793.74/794.13	c  794s |      20 |  1023213 |   891127 |     3094    597 |        0 |        0
795.84/796.20	c  796s |      20 |  1025242 |   892927 |     3094    598 |        0 |        0
797.84/798.27	c  798s |      20 |  1027391 |   894827 |     3094    599 |        0 |        0
799.94/800.36	c  800s |      20 |  1029558 |   896727 |     3094    600 |        0 |        0
801.94/802.37	c  802s |      20 |  1031454 |   898427 |     3094    601 |        0 |        0
803.94/804.39	c  804s |      20 |  1033351 |   900127 |     3094    602 |        0 |        0
806.04/806.45	c  806s |      20 |  1035510 |   902127 |     3094    603 |        0 |        0
808.14/808.56	c  808s |      20 |  1037620 |   904027 |     3094    604 |        0 |        0
810.13/810.59	c  810s |      20 |  1039873 |   906027 |     3094    605 |        0 |        0
812.23/812.69	c  812s |      20 |  1041996 |   907927 |     3094    606 |        0 |        0
814.43/814.81	c  814s |      20 |  1044030 |   909727 |     3094    607 |        0 |        0
816.43/816.81	c  816s |      20 |  1045810 |   911327 |     3094    608 |        0 |        0
818.53/818.90	c  818s |      20 |  1047442 |   912827 |     3094    609 |        0 |        0
820.53/820.94	c  820s |      20 |  1050017 |   915027 |     3094    610 |        0 |        0
822.63/823.02	c  822s |      20 |  1052986 |   917527 |     3094    611 |        0 |        0
824.63/825.08	c  824s |      20 |  1055143 |   919427 |     3094    613 |        0 |        0
826.72/827.19	c  827s |      20 |  1057317 |   921327 |     3094    614 |        0 |        0
828.82/829.22	c  829s |      20 |  1059311 |   923127 |     3094    615 |        0 |        0
830.82/831.24	c  831s |      20 |  1060986 |   924627 |     3094    615 |        0 |        0
832.82/833.28	c  833s |      20 |  1062810 |   926227 |     3094    616 |        0 |        0
834.92/835.38	c  835s |      20 |  1064820 |   928027 |     3094    617 |        0 |        0
837.02/837.45	c  837s |      20 |  1066544 |   929527 |     3094    618 |        0 |        0
839.02/839.45	c  839s |      20 |  1068233 |   931027 |     3094    619 |        0 |        0
841.02/841.47	c  841s |      20 |  1070011 |   932627 |     3094    620 |        0 |        0
843.22/843.64	c  843s |      20 |  1071610 |   934027 |     3094    621 |        0 |        0
845.22/845.68	c  845s |      20 |  1073057 |   935327 |     3094    621 |        0 |        0
847.22/847.69	c  847s |      20 |  1075016 |   937027 |     3094    622 |        0 |        0
849.31/849.77	c  849s |      20 |  1076890 |   938727 |     3094    623 |        0 |        0
851.41/851.85	c  851s |      20 |  1078538 |   940227 |     3094    624 |        0 |        0
853.51/853.96	c  853s |      20 |  1080883 |   942227 |     3094    625 |        0 |        0
855.61/856.09	c  856s |      20 |  1082501 |   943627 |     3094    626 |        0 |        0
857.82/858.20	c  858s |      20 |  1083977 |   944927 |     3094    627 |        0 |        0
859.82/860.26	c  860s |      20 |  1085662 |   946427 |     3094    627 |        0 |        0
861.92/862.36	c  862s |      20 |  1087371 |   947927 |     3094    628 |        0 |        0
864.02/864.42	c  864s |      20 |  1088747 |   949127 |     3094    629 |        0 |        0
866.02/866.49	c  866s |      20 |  1090415 |   950627 |     3094    630 |        0 |        0
868.12/868.57	c  868s |      20 |  1092099 |   952127 |     3094    630 |        0 |        0
870.11/870.58	c  870s |      20 |  1093595 |   953427 |     3094    631 |        0 |        0
872.31/872.71	c  872s |      20 |  1095199 |   954827 |     3094    632 |        0 |        0
874.41/874.82	c  874s |      20 |  1096551 |   956027 |     3094    633 |        0 |        0
876.42/876.87	c  876s |      20 |  1097904 |   957227 |     3094    633 |        0 |        0
878.52/878.97	c  878s |      20 |  1099407 |   958527 |     3094    634 |        0 |        0
880.72/881.13	c  881s |      20 |  1100873 |   959827 |     3094    635 |        0 |        0
882.71/883.16	c  883s |      20 |  1102078 |   960927 |     3094    635 |        0 |        0
884.91/885.30	c  885s |      20 |  1103420 |   962127 |     3094    636 |        0 |        0
887.01/887.42	c  887s |      20 |  1104762 |   963327 |     3094    637 |        0 |        0
889.21/889.62	c  889s |      20 |  1105864 |   964327 |     3094    637 |        0 |        0
891.21/891.67	c  891s |      20 |  1106719 |   965127 |     3094    638 |        0 |        0
893.31/893.77	c  893s |      20 |  1108503 |   966627 |     3094    638 |        0 |        0
895.41/895.87	c  895s |      20 |  1110190 |   968127 |     3094    639 |        0 |        0
897.51/897.96	c  897s |      20 |  1111836 |   969527 |     3094    640 |        0 |        0
899.52/899.98	c  899s |      20 |  1113170 |   970727 |     3094    641 |        0 |        0
901.62/902.01	c  901s |      20 |  1114622 |   972027 |     3094    641 |        0 |        0
903.71/904.12	c  904s |      20 |  1116052 |   973327 |     3094    642 |        0 |        0
905.71/906.16	c  906s |      20 |  1117373 |   974527 |     3094    643 |        0 |        0
907.81/908.29	c  908s |      20 |  1118733 |   975727 |     3094    643 |        0 |        0
909.91/910.36	c  910s |      20 |  1120073 |   976927 |     3094    644 |        0 |        0
912.11/912.53	c  912s |      20 |  1121393 |   978127 |     3094    645 |        0 |        0
914.11/914.59	c  914s |      20 |  1122923 |   979427 |     3094    645 |        0 |        0
916.21/916.64	c  916s |      20 |  1124576 |   980927 |     3094    646 |        0 |        0
918.21/918.66	c  918s |      20 |  1125976 |   982227 |     3094    647 |        0 |        0
920.31/920.76	c  920s |      20 |  1127367 |   983527 |     3094    648 |        0 |        0
922.40/922.84	c  922s |      20 |  1128745 |   984827 |     3094    648 |        0 |        0
924.50/924.90	c  924s |      20 |  1130146 |   986127 |     3094    649 |        0 |        0
926.60/927.01	c  926s |      20 |  1132094 |   987727 |     3094    650 |        0 |        0
928.60/929.02	c  928s |      20 |  1133697 |   989127 |     3094    651 |        0 |        0
930.80/931.25	c  931s |      20 |  1135396 |   990427 |     3094    652 |        0 |        0
932.90/933.34	c  933s |      20 |  1136911 |   991727 |     3094    652 |        0 |        0
935.00/935.40	c  935s |      20 |  1138765 |   993227 |     3404    653 |        0 |        0
937.00/937.49	c  937s |      20 |  1140598 |   994727 |     3404    654 |        0 |        0
939.20/939.63	c  939s |      20 |  1142244 |   996127 |     3404    654 |        0 |        0
941.21/941.68	c  941s |      20 |  1143710 |   997427 |     3404    655 |        0 |        0
943.30/943.71	c  943s |      20 |  1145251 |   998727 |     3404    656 |        0 |        0
945.40/945.84	c  945s |      20 |  1146841 |  1000127 |     3404    656 |        0 |        0
945.80/946.24	c  946s |      21 |  1147083 |  1000345 |     3404    657 |        0 |        0
947.81/948.26	c  948s |      21 |  1150058 |  1002345 |     3404    658 |        0 |        0
949.90/950.39	c  950s |      21 |  1152110 |  1004045 |     3404    658 |        0 |        0
952.00/952.49	c  952s |      21 |  1154337 |  1005945 |     3404    659 |        0 |        0
954.10/954.57	c  954s |      21 |  1156481 |  1007745 |     3404    660 |        0 |        0
956.10/956.59	c  956s |      21 |  1158298 |  1009345 |     3404    661 |        0 |        0
958.20/958.68	c  958s |      21 |  1160014 |  1010845 |     3404    662 |        0 |        0
960.30/960.77	c  960s |      21 |  1161996 |  1012545 |     3404    663 |        0 |        0
962.40/962.88	c  962s |      21 |  1163804 |  1014145 |     3404    663 |        0 |        0
964.50/964.99	c  964s |      21 |  1165643 |  1015845 |     3404    664 |        0 |        0
966.70/967.17	c  967s |      21 |  1167168 |  1017245 |     3404    665 |        0 |        0
968.70/969.17	c  969s |      21 |  1168646 |  1018545 |     3404    666 |        0 |        0
970.80/971.21	c  971s |      21 |  1170328 |  1020045 |     3404    666 |        0 |        0
972.80/973.26	c  973s |      21 |  1172056 |  1021545 |     3404    667 |        0 |        0
974.89/975.31	c  975s |      21 |  1173739 |  1023045 |     3404    668 |        0 |        0
976.89/977.37	c  977s |      21 |  1175167 |  1024345 |     3404    669 |        0 |        0
979.00/979.50	c  979s |      21 |  1176586 |  1025645 |     3404    669 |        0 |        0
981.09/981.54	c  981s |      21 |  1178227 |  1027145 |     3404    670 |        0 |        0
983.19/983.60	c  983s |      21 |  1179764 |  1028545 |     3404    671 |        0 |        0
985.20/985.65	c  985s |      21 |  1181295 |  1029945 |     3404    671 |        0 |        0
987.29/987.76	c  987s |      21 |  1182881 |  1031445 |     3404    672 |        0 |        0
989.29/989.80	c  989s |      21 |  1184593 |  1032945 |     3404    673 |        0 |        0
991.39/991.84	c  991s |      21 |  1186642 |  1034745 |     3404    674 |        0 |        0
993.39/993.87	c  993s |      21 |  1188393 |  1036345 |     3404    675 |        0 |        0
995.59/996.04	c  995s |      21 |  1190284 |  1038045 |     3404    676 |        0 |        0
997.69/998.13	c  998s |      21 |  1192035 |  1039645 |     3404    676 |        0 |        0
999.79/1000.20	c 1000s |      21 |  1193764 |  1041245 |     3404    677 |        0 |        0
1001.80/1002.23	c 1002s |      21 |  1195391 |  1042745 |     3404    678 |        0 |        0
1003.90/1004.32	c 1004s |      21 |  1197250 |  1044445 |     3404    679 |        0 |        0
1005.89/1006.38	c 1006s |      21 |  1199018 |  1046045 |     3404    680 |        0 |        0
1007.99/1008.45	c 1008s |      21 |  1200857 |  1047745 |     3404    680 |        0 |        0
1009.99/1010.48	c 1010s |      21 |  1202635 |  1049345 |     3404    681 |        0 |        0
1012.09/1012.52	c 1012s |      21 |  1204392 |  1050945 |     3404    682 |        0 |        0
1014.19/1014.65	c 1014s |      21 |  1206017 |  1052445 |     3404    683 |        0 |        0
1016.29/1016.71	c 1016s |      21 |  1207686 |  1053945 |     3404    684 |        0 |        0
1018.29/1018.78	c 1018s |      21 |  1209232 |  1055345 |     3404    684 |        0 |        0
1020.29/1020.80	c 1020s |      21 |  1210762 |  1056745 |     3404    685 |        0 |        0
1022.49/1022.90	c 1022s |      21 |  1212239 |  1058045 |     3404    686 |        0 |        0
1024.49/1024.96	c 1024s |      21 |  1213699 |  1059245 |     3404    686 |        0 |        0
1026.49/1026.97	c 1026s |      21 |  1215733 |  1061045 |     3404    687 |        0 |        0
1028.59/1029.03	c 1028s |      21 |  1217473 |  1062645 |     3404    688 |        0 |        0
1030.69/1031.10	c 1031s |      21 |  1219137 |  1064145 |     3404    689 |        0 |        0
1032.69/1033.14	c 1033s |      21 |  1220767 |  1065645 |     3404    689 |        0 |        0
1034.79/1035.22	c 1035s |      21 |  1222438 |  1067145 |     3404    690 |        0 |        0
1036.89/1037.35	c 1037s |      21 |  1224212 |  1068745 |     3404    691 |        0 |        0
1038.89/1039.39	c 1039s |      21 |  1226325 |  1070545 |     3404    692 |        0 |        0
1040.98/1041.40	c 1041s |      21 |  1228056 |  1072045 |     3404    693 |        0 |        0
1042.98/1043.45	c 1043s |      21 |  1230078 |  1073745 |     3404    694 |        0 |        0
1045.08/1045.52	c 1045s |      21 |  1231786 |  1075245 |     3404    694 |        0 |        0
1047.08/1047.53	c 1047s |      21 |  1233225 |  1076545 |     3404    695 |        0 |        0
1049.18/1049.60	c 1049s |      21 |  1234441 |  1077645 |     3404    696 |        0 |        0
1051.19/1051.63	c 1051s |      21 |  1236294 |  1079245 |     3404    696 |        0 |        0
1053.18/1053.68	c 1053s |      21 |  1238010 |  1080745 |     3404    697 |        0 |        0
1055.28/1055.72	c 1055s |      21 |  1239644 |  1082145 |     3404    698 |        0 |        0
1057.38/1057.85	c 1057s |      21 |  1241324 |  1083645 |     3404    699 |        0 |        0
1059.48/1059.91	c 1059s |      21 |  1243188 |  1085245 |     3404    699 |        0 |        0
1061.48/1061.99	c 1061s |      21 |  1245000 |  1086845 |     3404    700 |        0 |        0
1063.48/1063.99	c 1063s |      21 |  1246604 |  1088245 |     3404    701 |        0 |        0
1065.68/1066.10	c 1066s |      21 |  1248708 |  1090045 |     3404    702 |        0 |        0
1067.69/1068.17	c 1068s |      21 |  1250414 |  1091545 |     3404    703 |        0 |        0
1069.78/1070.20	c 1070s |      21 |  1252389 |  1093245 |     3404    703 |        0 |        0
1071.78/1072.27	c 1072s |      21 |  1254193 |  1094845 |     3404    704 |        0 |        0
1073.78/1074.29	c 1074s |      21 |  1255654 |  1096145 |     3404    705 |        0 |        0
1075.98/1076.42	c 1076s |      21 |  1257074 |  1097445 |     3404    706 |        0 |        0
1077.98/1078.43	c 1078s |      21 |  1258545 |  1098745 |     3404    706 |        0 |        0
1079.98/1080.44	c 1080s |      21 |  1259911 |  1099945 |     3404    707 |        0 |        0
1082.08/1082.55	c 1082s |      21 |  1261713 |  1101545 |     3404    708 |        0 |        0
1084.08/1084.56	c 1084s |      21 |  1263368 |  1103045 |     3404    708 |        0 |        0
1086.08/1086.57	c 1086s |      21 |  1264819 |  1104345 |     3404    709 |        0 |        0
1088.18/1088.64	c 1088s |      21 |  1266629 |  1105945 |     3404    710 |        0 |        0
1090.38/1090.80	c 1090s |      21 |  1268018 |  1107245 |     3404    710 |        0 |        0
1092.48/1092.94	c 1092s |      21 |  1269391 |  1108445 |     3404    711 |        0 |        0
1094.68/1095.10	c 1095s |      21 |  1271003 |  1109845 |     3404    712 |        0 |        0
1096.68/1097.16	c 1097s |      21 |  1272471 |  1111145 |     3404    712 |        0 |        0
1098.68/1099.18	c 1099s |      21 |  1273785 |  1112345 |     3404    713 |        0 |        0
1100.88/1101.34	c 1101s |      21 |  1275127 |  1113545 |     3404    714 |        0 |        0
1102.88/1103.36	c 1103s |      21 |  1276472 |  1114745 |     3404    714 |        0 |        0
1104.98/1105.50	c 1105s |      21 |  1277930 |  1116045 |     3404    715 |        0 |        0
1107.17/1107.61	c 1107s |      21 |  1279259 |  1117245 |     3404    716 |        0 |        0
1109.17/1109.63	c 1109s |      21 |  1280669 |  1118445 |     3404    716 |        0 |        0
1111.37/1111.81	c 1111s |      21 |  1281890 |  1119545 |     3404    717 |        0 |        0
1113.47/1113.97	c 1113s |      21 |  1283102 |  1120645 |     3404    717 |        0 |        0
1115.67/1116.10	c 1116s |      21 |  1284219 |  1121645 |     3404    718 |        0 |        0
1117.77/1118.22	c 1118s |      21 |  1285573 |  1122845 |     3404    718 |        0 |        0
1119.87/1120.33	c 1120s |      21 |  1286535 |  1123745 |     3404    719 |        0 |        0
1121.87/1122.33	c 1122s |      21 |  1287653 |  1124745 |     3404    719 |        0 |        0
1123.88/1124.36	c 1124s |      21 |  1289411 |  1126345 |     3404    720 |        0 |        0
1125.98/1126.44	c 1126s |      21 |  1291168 |  1127945 |     3404    721 |        0 |        0
1128.07/1128.50	c 1128s |      21 |  1292586 |  1129245 |     3404    722 |        0 |        0
1130.07/1130.56	c 1130s |      21 |  1294097 |  1130645 |     3404    722 |        0 |        0
1132.27/1132.71	c 1132s |      21 |  1295625 |  1132045 |     3404    723 |        0 |        0
1134.37/1134.83	c 1134s |      21 |  1297015 |  1133345 |     3404    724 |        0 |        0
1136.37/1136.86	c 1136s |      21 |  1298419 |  1134645 |     3404    724 |        0 |        0
1138.57/1139.02	c 1138s |      21 |  1299809 |  1135945 |     3404    725 |        0 |        0
1140.77/1141.24	c 1141s |      21 |  1300967 |  1137045 |     3404    726 |        0 |        0
1142.77/1143.29	c 1143s |      21 |  1302729 |  1138545 |     3404    726 |        0 |        0
1144.87/1145.34	c 1145s |      21 |  1304402 |  1140045 |     3404    727 |        0 |        0
1146.87/1147.35	c 1147s |      21 |  1305948 |  1141445 |     3404    728 |        0 |        0
1148.86/1149.40	c 1149s |      21 |  1307278 |  1142645 |     3404    728 |        0 |        0
1150.96/1151.43	c 1151s |      21 |  1308816 |  1144045 |     3404    729 |        0 |        0
1152.96/1153.46	c 1153s |      21 |  1310139 |  1145245 |     3404    730 |        0 |        0
1154.96/1155.48	c 1155s |      21 |  1311548 |  1146545 |     3404    730 |        0 |        0
1157.06/1157.54	c 1157s |      21 |  1313139 |  1147945 |     3404    731 |        0 |        0
1159.16/1159.64	c 1159s |      21 |  1315143 |  1149745 |     3404    732 |        0 |        0
1161.17/1161.67	c 1161s |      21 |  1316865 |  1151245 |     3404    733 |        0 |        0
1163.26/1163.72	c 1163s |      21 |  1318504 |  1152745 |     3404    733 |        0 |        0
1165.36/1165.85	c 1165s |      21 |  1320123 |  1154245 |     3404    734 |        0 |        0
1167.36/1167.85	c 1167s |      21 |  1321616 |  1155645 |     3404    735 |        0 |        0
1169.46/1169.94	c 1169s |      21 |  1323156 |  1157045 |     3404    736 |        0 |        0
1171.46/1171.96	c 1171s |      21 |  1324683 |  1158445 |     3404    736 |        0 |        0
1173.56/1174.05	c 1173s |      21 |  1326322 |  1159945 |     3404    737 |        0 |        0
1175.66/1176.19	c 1176s |      21 |  1327972 |  1161445 |     3404    738 |        0 |        0
1177.86/1178.37	c 1178s |      21 |  1329414 |  1162745 |     3404    739 |        0 |        0
1179.97/1180.42	c 1180s |      21 |  1330727 |  1163945 |     3404    739 |        0 |        0
1182.06/1182.53	c 1182s |      21 |  1332385 |  1165445 |     3404    740 |        0 |        0
1184.26/1184.72	c 1184s |      21 |  1333802 |  1166745 |     3404    741 |        0 |        0
1186.26/1186.76	c 1186s |      21 |  1335108 |  1167945 |     3404    741 |        0 |        0
1188.36/1188.86	c 1188s |      21 |  1337046 |  1169645 |     3404    742 |        0 |        0
1190.46/1190.96	c 1190s |      21 |  1338729 |  1171145 |     3404    743 |        0 |        0
1192.56/1193.05	c 1192s |      21 |  1340399 |  1172645 |     3404    744 |        0 |        0
1194.66/1195.13	c 1195s |      21 |  1342101 |  1174145 |     3404    744 |        0 |        0
1196.76/1197.27	c 1197s |      21 |  1343865 |  1175745 |     3404    745 |        0 |        0
1198.85/1199.37	c 1199s |      21 |  1345287 |  1177045 |     3404    746 |        0 |        0
1200.96/1201.44	c 1201s |      21 |  1347004 |  1178645 |     3404    747 |        0 |        0
1203.07/1203.54	c 1203s |      21 |  1348662 |  1180145 |     3404    747 |        0 |        0
1205.17/1205.63	c 1205s |      21 |  1350327 |  1181645 |     3404    748 |        0 |        0
1207.26/1207.73	c 1207s |      21 |  1351841 |  1183045 |     3404    749 |        0 |        0
1209.26/1209.78	c 1209s |      21 |  1353362 |  1184445 |     3404    749 |        0 |        0
1211.36/1211.81	c 1211s |      21 |  1355056 |  1185945 |     3404    750 |        0 |        0
1213.36/1213.83	c 1213s |      21 |  1356683 |  1187445 |     3404    751 |        0 |        0
1215.36/1215.85	c 1215s |      21 |  1358226 |  1188845 |     3404    752 |        0 |        0
1217.46/1217.90	c 1217s |      21 |  1359873 |  1190345 |     3404    752 |        0 |        0
1219.47/1219.97	c 1219s |      21 |  1361534 |  1191845 |     3404    753 |        0 |        0
1221.56/1222.05	c 1221s |      21 |  1363184 |  1193345 |     3404    754 |        0 |        0
1223.66/1224.14	c 1224s |      21 |  1364822 |  1194845 |     3404    755 |        0 |        0
1225.76/1226.21	c 1226s |      21 |  1366464 |  1196345 |     3404    755 |        0 |        0
1227.86/1228.30	c 1228s |      21 |  1368088 |  1197845 |     3404    756 |        0 |        0
1229.96/1230.40	c 1230s |      21 |  1369619 |  1199245 |     3404    757 |        0 |        0
1231.96/1232.46	c 1232s |      21 |  1371168 |  1200645 |     3404    758 |        0 |        0
1234.06/1234.52	c 1234s |      21 |  1372574 |  1201945 |     3404    758 |        0 |        0
1236.06/1236.58	c 1236s |      21 |  1373981 |  1203245 |     3404    759 |        0 |        0
1238.16/1238.67	c 1238s |      21 |  1375512 |  1204645 |     3404    760 |        0 |        0
1240.26/1240.76	c 1240s |      21 |  1376941 |  1205945 |     3404    760 |        0 |        0
1242.36/1242.85	c 1242s |      21 |  1378581 |  1207445 |     3404    761 |        0 |        0
1244.36/1244.86	c 1244s |      21 |  1380074 |  1208745 |     3404    762 |        0 |        0
1246.56/1247.02	c 1246s |      21 |  1381599 |  1210145 |     3404    762 |        0 |        0
1248.66/1249.13	c 1249s |      21 |  1382982 |  1211445 |     3404    763 |        0 |        0
1250.75/1251.28	c 1251s |      21 |  1384364 |  1212745 |     3404    764 |        0 |        0
1252.75/1253.29	c 1253s |      21 |  1385803 |  1214045 |     3404    764 |        0 |        0
1254.95/1255.42	c 1255s |      21 |  1387196 |  1215345 |     3404    765 |        0 |        0
1257.05/1257.55	c 1257s |      21 |  1388358 |  1216445 |     3404    766 |        0 |        0
1259.06/1259.58	c 1259s |      21 |  1389994 |  1217845 |     3404    766 |        0 |        0
1261.26/1261.71	c 1261s |      21 |  1392044 |  1219645 |     3404    767 |        0 |        0
1263.35/1263.83	c 1263s |      21 |  1393944 |  1221345 |     3404    768 |        0 |        0
1265.45/1265.92	c 1265s |      21 |  1395708 |  1222945 |     3404    769 |        0 |        0
1267.55/1268.00	c 1267s |      21 |  1397347 |  1224445 |     3404    770 |        0 |        0
1269.55/1270.02	c 1269s |      21 |  1398979 |  1225945 |     3404    770 |        0 |        0
1271.65/1272.16	c 1272s |      21 |  1400611 |  1227445 |     3404    771 |        0 |        0
1273.75/1274.20	c 1274s |      21 |  1402167 |  1228845 |     3404    772 |        0 |        0
1275.75/1276.24	c 1276s |      21 |  1403821 |  1230345 |     3404    773 |        0 |        0
1277.86/1278.37	c 1278s |      21 |  1405239 |  1231645 |     3404    773 |        0 |        0
1279.85/1280.40	c 1280s |      21 |  1407174 |  1233345 |     3404    774 |        0 |        0
1281.95/1282.50	c 1282s |      21 |  1408798 |  1234845 |     3404    775 |        0 |        0
1284.05/1284.57	c 1284s |      21 |  1410311 |  1236245 |     3404    776 |        0 |        0
1286.25/1286.71	c 1286s |      21 |  1411928 |  1237745 |     3404    776 |        0 |        0
1288.35/1288.82	c 1288s |      21 |  1413429 |  1239145 |     3404    777 |        0 |        0
1290.45/1290.92	c 1290s |      21 |  1414973 |  1240545 |     3404    778 |        0 |        0
1292.45/1292.96	c 1292s |      21 |  1416400 |  1241845 |     3404    778 |        0 |        0
1294.55/1295.01	c 1294s |      21 |  1418068 |  1243345 |     3404    779 |        0 |        0
1296.55/1297.02	c 1296s |      21 |  1419988 |  1245045 |     3404    780 |        0 |        0
1298.55/1299.08	c 1298s |      21 |  1421633 |  1246545 |     3404    781 |        0 |        0
1300.65/1301.18	c 1301s |      21 |  1423450 |  1248145 |     3404    782 |        0 |        0
1302.75/1303.26	c 1303s |      21 |  1425194 |  1249745 |     3404    782 |        0 |        0
1304.85/1305.31	c 1305s |      21 |  1426713 |  1251145 |     3404    783 |        0 |        0
1306.84/1307.37	c 1307s |      21 |  1428363 |  1252645 |     3404    784 |        0 |        0
1308.85/1309.38	c 1309s |      21 |  1429906 |  1254045 |     3404    785 |        0 |        0
1311.04/1311.52	c 1311s |      21 |  1431677 |  1255645 |     3404    785 |        0 |        0
1313.05/1313.54	c 1313s |      21 |  1433236 |  1257045 |     3404    786 |        0 |        0
1315.04/1315.59	c 1315s |      21 |  1434754 |  1258445 |     3404    787 |        0 |        0
1317.14/1317.64	c 1317s |      21 |  1436451 |  1259945 |     3404    788 |        0 |        0
1319.24/1319.75	c 1319s |      21 |  1438438 |  1261745 |     3404    789 |        0 |        0
1321.34/1321.85	c 1321s |      21 |  1440261 |  1263345 |     3404    789 |        0 |        0
1323.44/1323.98	c 1323s |      21 |  1441958 |  1264845 |     3404    790 |        0 |        0
1325.54/1326.03	c 1325s |      21 |  1443425 |  1266145 |     3404    791 |        0 |        0
1327.64/1328.16	c 1328s |      21 |  1445083 |  1267645 |     3404    792 |        0 |        0
1329.74/1330.20	c 1330s |      21 |  1446609 |  1269045 |     3404    792 |        0 |        0
1331.75/1332.27	c 1332s |      21 |  1448071 |  1270345 |     3404    793 |        0 |        0
1333.74/1334.28	c 1334s |      21 |  1449512 |  1271645 |     3404    794 |        0 |        0
1335.84/1336.35	c 1336s |      21 |  1451152 |  1273145 |     3404    794 |        0 |        0
1337.84/1338.36	c 1338s |      21 |  1452606 |  1274445 |     3404    795 |        0 |        0
1339.84/1340.37	c 1340s |      21 |  1453809 |  1275545 |     3404    796 |        0 |        0
1342.04/1342.51	c 1342s |      21 |  1455204 |  1276845 |     3404    796 |        0 |        0
1344.14/1344.65	c 1344s |      21 |  1456947 |  1278345 |     3404    797 |        0 |        0
1346.24/1346.74	c 1346s |      21 |  1458597 |  1279745 |     3404    798 |        0 |        0
1348.34/1348.80	c 1348s |      21 |  1460074 |  1281045 |     3404    798 |        0 |        0
1350.44/1350.94	c 1350s |      21 |  1461574 |  1282345 |     3404    799 |        0 |        0
1352.54/1353.08	c 1352s |      21 |  1462779 |  1283445 |     3404    800 |        0 |        0
1354.64/1355.10	c 1355s |      21 |  1463994 |  1284545 |     3404    800 |        0 |        0
1356.64/1357.13	c 1357s |      21 |  1465156 |  1285545 |     3404    801 |        0 |        0
1358.63/1359.15	c 1359s |      21 |  1466518 |  1286745 |     3404    801 |        0 |        0
1360.83/1361.30	c 1361s |      21 |  1467896 |  1287945 |     3404    802 |        0 |        0
1362.93/1363.40	c 1363s |      21 |  1468999 |  1288945 |     3404    802 |        0 |        0
1365.03/1365.55	c 1365s |      21 |  1470596 |  1290345 |     3404    803 |        0 |        0
1367.13/1367.66	c 1367s |      21 |  1471829 |  1291445 |     3404    804 |        0 |        0
1369.23/1369.77	c 1369s |      21 |  1473052 |  1292545 |     3404    804 |        0 |        0
1371.24/1371.78	c 1371s |      21 |  1474424 |  1293745 |     3404    805 |        0 |        0
1373.33/1373.86	c 1373s |      21 |  1475631 |  1294845 |     3404    805 |        0 |        0
1375.43/1375.93	c 1375s |      21 |  1476733 |  1295845 |     3404    806 |        0 |        0
1377.43/1377.93	c 1377s |      21 |  1478100 |  1297045 |     3404    806 |        0 |        0
1379.53/1380.00	c 1379s |      21 |  1479325 |  1298145 |     3404    807 |        0 |        0
1381.73/1382.22	c 1382s |      21 |  1480523 |  1299245 |     3404    808 |        0 |        0
1383.73/1384.24	c 1384s |      21 |  1482096 |  1300545 |     3404    808 |        0 |        0
1385.83/1386.34	c 1386s |      21 |  1483477 |  1301745 |     3404    809 |        0 |        0
1387.84/1388.35	c 1388s |      21 |  1484826 |  1302945 |     3404    809 |        0 |        0
1389.93/1390.44	c 1390s |      21 |  1486730 |  1304645 |     3404    810 |        0 |        0
1392.03/1392.53	c 1392s |      21 |  1488805 |  1306445 |     3404    811 |        0 |        0
1394.03/1394.57	c 1394s |      21 |  1490789 |  1308245 |     3404    812 |        0 |        0
1396.13/1396.68	c 1396s |      21 |  1492742 |  1310045 |     3404    813 |        0 |        0
1398.23/1398.73	c 1398s |      21 |  1494617 |  1311745 |     3404    814 |        0 |        0
1400.23/1400.75	c 1400s |      21 |  1496406 |  1313345 |     3404    815 |        0 |        0
1402.23/1402.76	c 1402s |      21 |  1498721 |  1315345 |     3404    816 |        0 |        0
1404.33/1404.81	c 1404s |      21 |  1501111 |  1317445 |     3404    817 |        0 |        0
1406.33/1406.85	c 1406s |      21 |  1503233 |  1319345 |     3404    818 |        0 |        0
1408.33/1408.88	c 1408s |      21 |  1505253 |  1321145 |     3404    819 |        0 |        0
1410.43/1410.97	c 1410s |      21 |  1507272 |  1322945 |     3404    820 |        0 |        0
1412.52/1413.01	c 1412s |      21 |  1509075 |  1324645 |     3404    820 |        0 |        0
1414.52/1415.02	c 1414s |      21 |  1510973 |  1326345 |     3404    821 |        0 |        0
1416.62/1417.12	c 1417s |      21 |  1512867 |  1328045 |     3404    822 |        0 |        0
1418.63/1419.13	c 1419s |      21 |  1514582 |  1329645 |     3404    823 |        0 |        0
1420.73/1421.21	c 1421s |      21 |  1516510 |  1331345 |     3404    824 |        0 |        0
1422.82/1423.33	c 1423s |      21 |  1518499 |  1333145 |     3404    825 |        0 |        0
1424.82/1425.39	c 1425s |      21 |  1520120 |  1334645 |     3404    825 |        0 |        0
1427.02/1427.52	c 1427s |      21 |  1521979 |  1336345 |     3404    826 |        0 |        0
1429.13/1429.62	c 1429s |      21 |  1523742 |  1337945 |     3404    827 |        0 |        0
1431.23/1431.77	c 1431s |      21 |  1525379 |  1339445 |     3404    828 |        0 |        0
1433.33/1433.81	c 1433s |      21 |  1527179 |  1341045 |     3404    829 |        0 |        0
1435.43/1435.90	c 1435s |      21 |  1528702 |  1342445 |     3404    829 |        0 |        0
1437.43/1437.97	c 1437s |      21 |  1529907 |  1343545 |     3404    830 |        0 |        0
1439.63/1440.11	c 1440s |      21 |  1531233 |  1344745 |     3404    831 |        0 |        0
1441.63/1442.20	c 1442s |      21 |  1532734 |  1346145 |     3404    831 |        0 |        0
1443.83/1444.32	c 1444s |      21 |  1534140 |  1347445 |     3404    832 |        0 |        0
1445.83/1446.36	c 1446s |      21 |  1535311 |  1348545 |     3404    832 |        0 |        0
1447.82/1448.39	c 1448s |      21 |  1537120 |  1350145 |     3404    833 |        0 |        0
1449.92/1450.45	c 1450s |      21 |  1538836 |  1351745 |     3404    834 |        0 |        0
1452.02/1452.56	c 1452s |      21 |  1540679 |  1353445 |     3404    835 |        0 |        0
1454.12/1454.66	c 1454s |      21 |  1542460 |  1355045 |     3404    836 |        0 |        0
1456.12/1456.69	c 1456s |      21 |  1544190 |  1356645 |     3404    837 |        0 |        0
1458.32/1458.83	c 1458s |      21 |  1545728 |  1358045 |     3404    837 |        0 |        0
1460.43/1460.97	c 1460s |      21 |  1547460 |  1359645 |     3404    838 |        0 |        0
1462.42/1462.99	c 1462s |      21 |  1549050 |  1361045 |     3404    839 |        0 |        0
1464.52/1465.06	c 1464s |      21 |  1550880 |  1362645 |     3404    840 |        0 |        0
1466.52/1467.07	c 1466s |      21 |  1552681 |  1364245 |     3404    840 |        0 |        0
1468.62/1469.19	c 1469s |      21 |  1554472 |  1365845 |     3404    841 |        0 |        0
1470.72/1471.25	c 1471s |      21 |  1556492 |  1367645 |     3404    842 |        0 |        0
1472.82/1473.30	c 1473s |      21 |  1558715 |  1369645 |     3404    843 |        0 |        0
1474.82/1475.35	c 1475s |      21 |  1560694 |  1371445 |     3404    844 |        0 |        0
1476.93/1477.42	c 1477s |      21 |  1562332 |  1372945 |     3404    845 |        0 |        0
1479.03/1479.56	c 1479s |      21 |  1563973 |  1374445 |     3404    846 |        0 |        0
1481.12/1481.60	c 1481s |      21 |  1565584 |  1375945 |     3404    846 |        0 |        0
1483.12/1483.69	c 1483s |      21 |  1567009 |  1377245 |     3404    847 |        0 |        0
1485.22/1485.76	c 1485s |      21 |  1568904 |  1378945 |     3404    848 |        0 |        0
1487.22/1487.78	c 1487s |      21 |  1570561 |  1380445 |     3404    849 |        0 |        0
1489.22/1489.80	c 1489s |      21 |  1572319 |  1382045 |     3404    849 |        0 |        0
1491.42/1491.97	c 1491s |      21 |  1573866 |  1383445 |     3404    850 |        0 |        0
1493.52/1494.06	c 1493s |      21 |  1575639 |  1385045 |     3404    851 |        0 |        0
1495.62/1496.18	c 1496s |      21 |  1577400 |  1386645 |     3404    852 |        0 |        0
1497.82/1498.31	c 1498s |      21 |  1579037 |  1388145 |     3404    853 |        0 |        0
1499.92/1500.42	c 1500s |      21 |  1580665 |  1389645 |     3404    853 |        0 |        0
1501.91/1502.45	c 1502s |      21 |  1582254 |  1391045 |     3404    854 |        0 |        0
1504.01/1504.50	c 1504s |      21 |  1584400 |  1392945 |     3404    855 |        0 |        0
1506.01/1506.51	c 1506s |      21 |  1586428 |  1394745 |     3404    856 |        0 |        0
1508.01/1508.56	c 1508s |      21 |  1588331 |  1396445 |     3404    857 |        0 |        0
1510.11/1510.60	c 1510s |      21 |  1590238 |  1398145 |     3404    858 |        0 |        0
1512.21/1512.71	c 1512s |      21 |  1592246 |  1399945 |     3404    858 |        0 |        0
1514.22/1514.80	c 1514s |      21 |  1593992 |  1401545 |     3404    859 |        0 |        0
1516.42/1516.92	c 1516s |      21 |  1595763 |  1403145 |     3404    860 |        0 |        0
1518.41/1518.94	c 1518s |      21 |  1597304 |  1404545 |     3404    861 |        0 |        0
1520.41/1520.95	c 1520s |      21 |  1598842 |  1405945 |     3404    862 |        0 |        0
1522.51/1523.07	c 1522s |      21 |  1600645 |  1407545 |     3404    862 |        0 |        0
1524.51/1525.08	c 1524s |      21 |  1602244 |  1408945 |     3404    863 |        0 |        0
1526.51/1527.09	c 1526s |      21 |  1603557 |  1410145 |     3404    864 |        0 |        0
1528.62/1529.11	c 1529s |      21 |  1605497 |  1411845 |     3404    864 |        0 |        0
1530.61/1531.13	c 1531s |      21 |  1607013 |  1413245 |     3404    865 |        0 |        0
1532.71/1533.21	c 1533s |      21 |  1608336 |  1414445 |     3404    866 |        0 |        0
1534.71/1535.29	c 1535s |      21 |  1609648 |  1415645 |     3404    866 |        0 |        0
1536.81/1537.36	c 1537s |      21 |  1611841 |  1417545 |     3404    867 |        0 |        0
1538.81/1539.38	c 1539s |      21 |  1613601 |  1419145 |     3404    868 |        0 |        0
1540.81/1541.39	c 1541s |      21 |  1615254 |  1420645 |     3404    869 |        0 |        0
1542.81/1543.39	c 1543s |      21 |  1616897 |  1422145 |     3404    870 |        0 |        0
1545.01/1545.57	c 1545s |      21 |  1618671 |  1423745 |     3404    871 |        0 |        0
1547.11/1547.70	c 1547s |      21 |  1620296 |  1425245 |     3404    871 |        0 |        0
1549.21/1549.75	c 1549s |      21 |  1621816 |  1426645 |     3404    872 |        0 |        0
1551.20/1551.79	c 1551s |      21 |  1623447 |  1428145 |     3404    873 |        0 |        0
1553.40/1553.90	c 1553s |      21 |  1625100 |  1429645 |     3404    874 |        0 |        0
1555.50/1556.05	c 1555s |      21 |  1626746 |  1431145 |     3404    874 |        0 |        0
1557.60/1558.15	c 1558s |      21 |  1628182 |  1432445 |     3404    875 |        0 |        0
1559.60/1560.18	c 1560s |      21 |  1629831 |  1433945 |     3404    876 |        0 |        0
1561.80/1562.31	c 1562s |      21 |  1631608 |  1435545 |     3404    876 |        0 |        0
1563.90/1564.40	c 1564s |      21 |  1633171 |  1436945 |     3404    877 |        0 |        0
1566.01/1566.51	c 1566s |      21 |  1635260 |  1438745 |     3404    878 |        0 |        0
1568.00/1568.58	c 1568s |      21 |  1637024 |  1440345 |     3404    879 |        0 |        0
1570.10/1570.65	c 1570s |      21 |  1638792 |  1441945 |     3404    880 |        0 |        0
1572.10/1572.66	c 1572s |      21 |  1640319 |  1443345 |     3404    880 |        0 |        0
1574.20/1574.71	c 1574s |      21 |  1641960 |  1444845 |     3404    881 |        0 |        0
1576.20/1576.75	c 1576s |      21 |  1643366 |  1446145 |     3404    882 |        0 |        0
1578.30/1578.89	c 1578s |      21 |  1644646 |  1447345 |     3404    882 |        0 |        0
1580.50/1581.04	c 1580s |      21 |  1646403 |  1448945 |     3404    883 |        0 |        0
1582.50/1583.08	c 1582s |      21 |  1648683 |  1450945 |     3404    884 |        0 |        0
1584.60/1585.13	c 1585s |      21 |  1650618 |  1452645 |     3404    885 |        0 |        0
1586.70/1587.20	c 1587s |      21 |  1652648 |  1454445 |     3404    886 |        0 |        0
1588.70/1589.26	c 1589s |      21 |  1654659 |  1456245 |     3404    887 |        0 |        0
1590.70/1591.28	c 1591s |      21 |  1656314 |  1457745 |     3404    888 |        0 |        0
1592.80/1593.34	c 1593s |      21 |  1658210 |  1459445 |     3404    889 |        0 |        0
1594.80/1595.37	c 1595s |      21 |  1660048 |  1461145 |     3404    889 |        0 |        0
1596.90/1597.40	c 1597s |      21 |  1661878 |  1462845 |     3404    890 |        0 |        0
1598.90/1599.47	c 1599s |      21 |  1663618 |  1464445 |     3404    891 |        0 |        0
1600.99/1601.52	c 1601s |      21 |  1665499 |  1466145 |     3404    892 |        0 |        0
1603.09/1603.62	c 1603s |      21 |  1667263 |  1467745 |     3404    893 |        0 |        0
1605.09/1605.66	c 1605s |      21 |  1668796 |  1469145 |     3404    894 |        0 |        0
1607.09/1607.69	c 1607s |      21 |  1670582 |  1470745 |     3404    894 |        0 |        0
1609.19/1609.70	c 1609s |      21 |  1672101 |  1472145 |     3404    895 |        0 |        0
1611.29/1611.84	c 1611s |      21 |  1673846 |  1473745 |     3404    896 |        0 |        0
1613.31/1613.86	c 1613s |      21 |  1675372 |  1475145 |     3404    897 |        0 |        0
1615.41/1615.95	c 1615s |      21 |  1677499 |  1477045 |     3404    898 |        0 |        0
1617.50/1618.02	c 1617s |      21 |  1679545 |  1478845 |     3404    898 |        0 |        0
1619.50/1620.09	c 1619s |      21 |  1681392 |  1480545 |     3404    899 |        0 |        0
1621.60/1622.18	c 1622s |      21 |  1683226 |  1482245 |     3404    900 |        0 |        0
1623.70/1624.25	c 1624s |      21 |  1684963 |  1483845 |     3404    901 |        0 |        0
1625.80/1626.30	c 1626s |      21 |  1686793 |  1485545 |     3404    902 |        0 |        0
1627.80/1628.38	c 1628s |      21 |  1688625 |  1487245 |     3404    903 |        0 |        0
1629.90/1630.44	c 1630s |      21 |  1690461 |  1488945 |     3404    904 |        0 |        0
1632.00/1632.50	c 1632s |      21 |  1692625 |  1490745 |     3745    904 |        0 |        0
1634.10/1634.62	c 1634s |      21 |  1694844 |  1492545 |     3745    905 |        0 |        0
1636.10/1636.63	c 1636s |      21 |  1696730 |  1494145 |     3745    906 |        0 |        0
1638.20/1638.73	c 1638s |      21 |  1698726 |  1495845 |     3745    907 |        0 |        0
1640.30/1640.80	c 1640s |      21 |  1700732 |  1497545 |     3745    907 |        0 |        0
1642.30/1642.86	c 1642s |      21 |  1702519 |  1499045 |     3745    908 |        0 |        0
1644.20/1644.75	c 1644s |      22 |  1704299 |  1500622 |     3745    909 |        0 |        0
1646.20/1646.75	c 1646s |      22 |  1707311 |  1502922 |     3745    910 |        0 |        0
1648.30/1648.83	c 1648s |      22 |  1709311 |  1504722 |     3745    911 |        0 |        0
1650.30/1650.84	c 1650s |      22 |  1711441 |  1506622 |     3745    912 |        0 |        0
1652.40/1652.90	c 1652s |      22 |  1713316 |  1508322 |     3745    912 |        0 |        0
1654.50/1655.03	c 1654s |      22 |  1715077 |  1509922 |     3745    913 |        0 |        0
1656.60/1657.12	c 1657s |      22 |  1716939 |  1511622 |     3745    914 |        0 |        0
1658.69/1659.20	c 1659s |      22 |  1718715 |  1513222 |     3745    915 |        0 |        0
1660.79/1661.36	c 1661s |      22 |  1720465 |  1514822 |     3745    916 |        0 |        0
1662.89/1663.44	c 1663s |      22 |  1722328 |  1516522 |     3745    916 |        0 |        0
1665.00/1665.51	c 1665s |      22 |  1723964 |  1518022 |     3745    917 |        0 |        0
1666.99/1667.57	c 1667s |      22 |  1725570 |  1519522 |     3745    918 |        0 |        0
1669.09/1669.65	c 1669s |      22 |  1727361 |  1521122 |     3745    918 |        0 |        0
1671.19/1671.72	c 1671s |      22 |  1728856 |  1522522 |     3745    919 |        0 |        0
1673.19/1673.79	c 1673s |      22 |  1730476 |  1523922 |     3745    920 |        0 |        0
1675.29/1675.80	c 1675s |      22 |  1732452 |  1525722 |     3745    921 |        0 |        0
1677.29/1677.88	c 1677s |      22 |  1734941 |  1527922 |     3745    922 |        0 |        0
1679.39/1679.93	c 1679s |      22 |  1736905 |  1529722 |     3745    922 |        0 |        0
1681.49/1682.02	c 1681s |      22 |  1739022 |  1531622 |     3745    923 |        0 |        0
1683.49/1684.06	c 1683s |      22 |  1740982 |  1533422 |     3745    924 |        0 |        0
1685.59/1686.12	c 1686s |      22 |  1743102 |  1535322 |     3745    925 |        0 |        0
1687.59/1688.20	c 1688s |      22 |  1745184 |  1537222 |     3745    926 |        0 |        0
1689.69/1690.26	c 1690s |      22 |  1746924 |  1538822 |     3745    927 |        0 |        0
1691.79/1692.32	c 1692s |      22 |  1749036 |  1540722 |     3745    928 |        0 |        0
1693.89/1694.41	c 1694s |      22 |  1751252 |  1542722 |     3745    928 |        0 |        0
1695.89/1696.47	c 1696s |      22 |  1753503 |  1544722 |     3745    929 |        0 |        0
1697.99/1698.52	c 1698s |      22 |  1755447 |  1546522 |     3745    930 |        0 |        0
1699.98/1700.56	c 1700s |      22 |  1757311 |  1548222 |     3745    931 |        0 |        0
1702.08/1702.64	c 1702s |      22 |  1759068 |  1549822 |     3745    932 |        0 |        0
1704.08/1704.65	c 1704s |      22 |  1760735 |  1551322 |     3745    932 |        0 |        0
1706.08/1706.69	c 1706s |      22 |  1762921 |  1553222 |     3745    933 |        0 |        0
1708.18/1708.78	c 1708s |      22 |  1764990 |  1555122 |     3745    934 |        0 |        0
1710.28/1710.82	c 1710s |      22 |  1766722 |  1556722 |     3745    935 |        0 |        0
1712.29/1712.84	c 1712s |      22 |  1768598 |  1558422 |     3745    936 |        0 |        0
1714.39/1714.94	c 1714s |      22 |  1770484 |  1560122 |     3745    937 |        0 |        0
1716.48/1717.03	c 1716s |      22 |  1772203 |  1561722 |     3745    937 |        0 |        0
1718.48/1719.05	c 1718s |      22 |  1774599 |  1563822 |     3745    938 |        0 |        0
1720.58/1721.13	c 1721s |      22 |  1776711 |  1565722 |     3745    939 |        0 |        0
1722.68/1723.24	c 1723s |      22 |  1778781 |  1567622 |     3745    940 |        0 |        0
1724.78/1725.34	c 1725s |      22 |  1780764 |  1569422 |     3745    941 |        0 |        0
1726.88/1727.43	c 1727s |      22 |  1782503 |  1571022 |     3745    942 |        0 |        0
1728.88/1729.45	c 1729s |      22 |  1784277 |  1572622 |     3745    942 |        0 |        0
1730.89/1731.50	c 1731s |      22 |  1786603 |  1574722 |     3745    943 |        0 |        0
1732.98/1733.50	c 1733s |      22 |  1788594 |  1576522 |     3745    944 |        0 |        0
1734.98/1735.59	c 1735s |      22 |  1790508 |  1578322 |     3745    945 |        0 |        0
1737.08/1737.64	c 1737s |      22 |  1792361 |  1580022 |     3745    946 |        0 |        0
1739.18/1739.74	c 1739s |      22 |  1794078 |  1581622 |     3745    947 |        0 |        0
1741.18/1741.77	c 1741s |      22 |  1795954 |  1583322 |     3745    947 |        0 |        0
1743.28/1743.84	c 1743s |      22 |  1797691 |  1584922 |     3745    948 |        0 |        0
1745.38/1745.92	c 1745s |      22 |  1799994 |  1586922 |     3745    949 |        0 |        0
1747.38/1747.92	c 1747s |      22 |  1801838 |  1588622 |     3745    950 |        0 |        0
1749.48/1750.02	c 1749s |      22 |  1803568 |  1590222 |     3745    951 |        0 |        0
1751.57/1752.10	c 1752s |      22 |  1805521 |  1592022 |     3745    951 |        0 |        0
1753.67/1754.20	c 1754s |      22 |  1807367 |  1593722 |     3745    952 |        0 |        0
1755.67/1756.28	c 1756s |      22 |  1809221 |  1595422 |     3745    953 |        0 |        0
1757.77/1758.40	c 1758s |      22 |  1811375 |  1597322 |     3745    954 |        0 |        0
1759.87/1760.44	c 1760s |      22 |  1813341 |  1599122 |     3745    955 |        0 |        0
1761.87/1762.49	c 1762s |      22 |  1815073 |  1600722 |     3745    955 |        0 |        0
1763.88/1764.49	c 1764s |      22 |  1816681 |  1602222 |     3745    956 |        0 |        0
1765.97/1766.55	c 1766s |      22 |  1818425 |  1603822 |     3745    957 |        0 |        0
1767.97/1768.59	c 1768s |      22 |  1820051 |  1605322 |     3745    958 |        0 |        0
1770.17/1770.73	c 1770s |      22 |  1821836 |  1606922 |     3745    958 |        0 |        0
1772.17/1772.77	c 1772s |      22 |  1823475 |  1608422 |     3745    959 |        0 |        0
1774.27/1774.82	c 1774s |      22 |  1825578 |  1610322 |     3745    960 |        0 |        0
1776.37/1776.93	c 1776s |      22 |  1827625 |  1612122 |     3745    961 |        0 |        0
1778.37/1778.97	c 1778s |      22 |  1829257 |  1613622 |     3745    961 |        0 |        0
1780.48/1781.08	c 1780s |      22 |  1830970 |  1615222 |     3745    962 |        0 |        0
1782.47/1783.09	c 1783s |      22 |  1832582 |  1616722 |     3745    963 |        0 |        0
1784.57/1785.14	c 1785s |      22 |  1834108 |  1618122 |     3745    964 |        0 |        0
1786.57/1787.18	c 1787s |      22 |  1835870 |  1619722 |     3745    964 |        0 |        0
1788.67/1789.24	c 1789s |      22 |  1837391 |  1621122 |     3745    965 |        0 |        0
1790.77/1791.37	c 1791s |      22 |  1838892 |  1622522 |     3745    966 |        0 |        0
1792.87/1793.46	c 1793s |      22 |  1840422 |  1623922 |     3745    966 |        0 |        0
1794.97/1795.58	c 1795s |      22 |  1841922 |  1625222 |     3745    967 |        0 |        0
1797.07/1797.62	c 1797s |      22 |  1843347 |  1626522 |     3745    967 |        0 |        0
1799.07/1799.64	c 1799s |      22 |  1845942 |  1628822 |     3745    969 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093313-1466079047/watcher-4093313-1466079047 -o /tmp/evaluation-result-4093313-1466079047/solver-4093313-1466079047 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11100 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093313-1466079047.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.11 2.10 3/180 11830
/proc/meminfo: memFree=30233680/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 2559 0 0 0 0 0 0 0 20 0 4 0 9953972 704049152 3431 33554432000 4194304 16246674 140734355027616 140734355027040 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 172655 3442 441 2943 0 169549 0
[pid=11830/tid=11831] ppid=11827 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 722923520 3500 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 727117824 3516 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 731312128 3535 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.08 2.11 2.10 3/180 11830
/proc/meminfo: memFree=30233680/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 25406 0 0 0 5 4 0 0 20 0 4 0 9953972 1247350784 26264 33554432000 4194304 16246674 140734355027616 140734355027040 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 304529 26274 807 2943 0 301423 0
[pid=11830/tid=11831] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 26280 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 26285 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 26291 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200581 s]
/proc/loadavg: 2.08 2.11 2.10 3/180 11830
/proc/meminfo: memFree=30233680/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 50642 0 0 0 12 6 0 0 20 0 4 0 9953972 1247350784 51501 33554432000 4194304 16246674 140734355027616 140734355027040 5724508 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 304529 51513 807 2943 0 301423 0
[pid=11830/tid=11831] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 51520 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 51528 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 51537 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300417 s]
/proc/loadavg: 2.08 2.11 2.10 3/180 11830
/proc/meminfo: memFree=30233680/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 76140 0 0 0 18 10 0 0 20 0 4 0 9953972 1247350784 76998 33554432000 4194304 16246674 140734355027616 140734355027040 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 304529 77016 807 2943 0 301423 0
[pid=11830/tid=11831] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 77028 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 77038 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 77048 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.08 2.11 2.10 3/180 11830
/proc/meminfo: memFree=30233680/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 193166 0 0 0 42 26 0 0 20 0 4 0 9953972 1247350784 194025 33554432000 4194304 16246674 140734355027616 140734355027040 12478189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 304529 194040 813 2943 0 301423 0
[pid=11830/tid=11831] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 194050 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 194060 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1247350784 194069 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.08 2.11 2.10 3/184 11834
/proc/meminfo: memFree=29249280/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1302084 CPUtime=1.49 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 266617 0 0 0 112 37 0 0 20 0 4 0 9953972 1333334016 267453 33554432000 4194304 16246674 140734355027616 140734355009536 12483222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 325521 267453 870 2943 0 322415 0
[pid=11830/tid=11831] ppid=11827 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1333334016 267453 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1333334016 267453 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1333334016 267453 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10047 s]
/proc/loadavg: 2.08 2.11 2.10 3/184 11834
/proc/meminfo: memFree=29163100/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 267726 0 0 0 272 37 0 0 20 0 4 0 9953972 1338576896 268562 33554432000 4194304 16246674 140734355027616 140734355009536 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 326801 268562 872 2943 0 323695 0
[pid=11830/tid=11831] ppid=11827 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1338576896 268562 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1338576896 268562 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1338576896 268562 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.07 2.11 2.10 3/184 11834
/proc/meminfo: memFree=29161736/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 267926 0 0 0 592 37 0 0 20 0 4 0 9953972 1339625472 268762 33554432000 4194304 16246674 140734355027616 140734355009536 13809229 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 327057 268762 872 2943 0 323951 0
[pid=11830/tid=11831] ppid=11827 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1339625472 268762 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1339625472 268762 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1339625472 268762 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.07 2.10 2.10 3/184 11834
/proc/meminfo: memFree=29161268/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 268173 0 0 0 1232 37 0 0 20 0 4 0 9953972 1339625472 269009 33554432000 4194304 16246674 140734355027616 140734355009536 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 327057 269009 872 2943 0 323951 0
[pid=11830/tid=11831] ppid=11827 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1339625472 269009 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1339625472 269009 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1339625472 269009 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.05 2.10 2.10 3/183 11834
/proc/meminfo: memFree=29160376/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 268451 0 0 0 2512 37 0 0 20 0 4 0 9953972 1341722624 269287 33554432000 4194304 16246674 140734355027616 140734355009536 5519244 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 327569 269287 874 2943 0 324463 0
[pid=11830/tid=11831] ppid=11827 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1341722624 269287 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1341722624 269287 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1341722624 269287 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1006 s]
/proc/loadavg: 2.03 2.09 2.09 3/183 11834
/proc/meminfo: memFree=29159540/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 268451 0 0 0 5071 37 0 0 20 0 4 0 9953972 1341722624 269287 33554432000 4194304 16246674 140734355027616 140734355009536 5712555 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 327569 269287 874 2943 0 324463 0
[pid=11830/tid=11831] ppid=11827 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1341722624 269287 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1341722624 269287 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1341722624 269287 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.08 2.09 2.09 3/183 11835
/proc/meminfo: memFree=29156528/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 269199 0 0 0 10190 38 0 0 20 0 4 0 9953972 1343819776 270035 33554432000 4194304 16246674 140734355027616 140734355009536 13954672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 328081 270035 874 2943 0 324975 0
[pid=11830/tid=11831] ppid=11827 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1343819776 270035 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1343819776 270035 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1343819776 270035 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 11913
/proc/meminfo: memFree=29130284/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1301.85 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 130141 44 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 12477724 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 11914
/proc/meminfo: memFree=29130276/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1361.83 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 136139 44 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.26 2.15 2.10 3/183 11916
/proc/meminfo: memFree=29130148/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1421.83 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 142139 44 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 11917
/proc/meminfo: memFree=29129896/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1481.82 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 148137 45 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5545903 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 11918
/proc/meminfo: memFree=29129884/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1541.81 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 154136 45 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5546623 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 11919
/proc/meminfo: memFree=29130136/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1601.79 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 160134 45 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5672222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 11920
/proc/meminfo: memFree=29130028/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1661.79 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 166133 46 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5823064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 11922
/proc/meminfo: memFree=29128756/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1721.78 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 172132 46 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355026712 5515660 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/184 11926
/proc/meminfo: memFree=29128756/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1781.77 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 178131 46 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.11 2.09 3/184 11926
/proc/meminfo: memFree=29129004/32872528 swapFree=681192/736380
[pid=11830] ppid=11827 vsize=1320516 CPUtime=1800.07 cores=0,2,4,6
/proc/11830/stat : 11830 (toysat) R 11827 11830 7985 0 -1 4202496 271678 0 0 0 179961 46 0 0 20 0 4 0 9953972 1352208384 272089 33554432000 4194304 16246674 140734355027616 140734355009536 6836125 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11830/statm: 330129 272089 876 2943 0 327023 0
[pid=11830/tid=11831] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11831/stat : 11831 (toysat) S 11827 11830 7985 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700742036720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11830/tid=11832] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11832/stat : 11832 (toysat) S 11827 11830 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700731546864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11830/tid=11833] ppid=11827 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/11830/task/11833/stat : 11833 (toysat) S 11827 11830 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9953973 1352208384 272089 33554432000 4194304 16246674 140734355027616 140700645584048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1320516

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11830 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.468928
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.468928
maximum resident set size= 1088356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271678
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= 442
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6434 second user time and 17.6983 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 14:10:47
IDJOB=4093313
IDBENCH=78676
IDSOLVER=2553
FILE ID=node112/4093313-1466079047
RUNJOBID= node112-1466075445-11100
PBS_JOBID= 19904024
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093313-1466079047/watcher-4093313-1466079047 -o /tmp/evaluation-result-4093313-1466079047/solver-4093313-1466079047 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11100 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093313-1466079047.wbo

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

MD5SUM BENCH= 7b4c43120f8532700d0af4fec83df613
RANDOM SEED=1567154293

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30234224 kB
Buffers:           23096 kB
Cached:            96428 kB
SwapCached:          696 kB
Active:          1156244 kB
Inactive:          43728 kB
Active(anon):    1082380 kB
Inactive(anon):      740 kB
Active(file):      73864 kB
Inactive(file):    42988 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             16456 kB
Writeback:             0 kB
AnonPages:       1816660 kB
Mapped:            10508 kB
Shmem:                 0 kB
Slab:             566876 kB
SReclaimable:      10692 kB
SUnreclaim:       556184 kB
KernelStack:        1488 kB
PageTables:         7728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1960428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node112 at 2016-06-16 14:40:48