Trace number 4106394

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
MD5SUM0f650891245dab338bc3d2f3a3dc10c7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.177972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

Solver Data 

0.00/0.00	c 2016-06-18T19:24:55+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106394-1466270694.opb"]
0.00/0.01	c use --random-gen="3248965093 3108953017 1588483582 3666890512 2268676307 1124648083 2050148898 2665556367 1194995631 1007336370 1367708243 2188633358 2410559220 1091962897 2672147546 2659406085 4120860471 3611727192 1201908957 709279483 2325521147 3203098196 1973506004 2296985980 2713869605 1406841716 175272964 2604593255 1771008918 569523967 460774331 3831457013 1682843895 3464223882 2045420099 2310161161 2098026302 2400489324 4044971620 1951325364 493450429 1257712532 1337229148 384031706 2287284445 4055918783 890257472 631204720 2379745730 1367728804 964534076 3883650731 2033275574 79856670 507957412 1299943670 2434122426 1545356530 2366610632 1949389032 1960591484 2562332943 3343126876 2502849593 3773346855 1337447870 855542855 2659809881 495606706 4049163146 153508546 3249535559 3714228163 3230214913 340490556 1388715390 916200633 935574703 4027157099 2991802862 3181691138 2278209843 2946163731 4279710440 3209848653 3234460976 3523271459 3394540522 366910974 3244761256 3006449749 1512630345 4131251184 3686766364 76844183 1972935360 3815044813 2274895248 329970795 2634308283 2619200897 17965638 2354981047 296105712 2393941354 3938418546 716110175 2642796524 899586767 1220558077 1672662843 1756061041 2117790005 1373732818 197095224 520233016 242555076 3296757070 3814957156 447622527 3712211883 1121609452 1718860854 2689887252 1014458531 2479981725 1158220081 3048066756 2716489844 2614054870 2367304767 1087520568 1307567062 1859834561 2126788152 3024125681 3546418585 2865194083 1892830967 4276616123 1393164078 2523350657 4022399606 848560525 880435865 2551340445 4282359336 1929399788 4164828554 3213757610 212177222 1345772830 3709595304 915168913 500121833 1297730919 3305638188 3064491513 3911034833 294083010 250845988 2754008406 248643325 2966083064 1086107145 918159635 2010531646 3092207195 1456292362 4036911921 642168593 3469357181 2439945413 1895354827 3295450572 2576120902 2725807428 3726721796 3415427808 3060540712 2509655177 1750015848 3392961158 3163490849 2829387583 1297282355 1824559284 3130941768 632215618 3439277794 2707710273 1021424298 3884392827 541090271 3940098319 1436345368 3826467554 1413774335 1833919996 971900026 1867068873 712910585 1543059820 1921306712 1074455303 1316476148 1968574106 1259845476 2843653633 1021221563 2849864079 1694782844 2973078934 2788202842 1858887297 1591260521 3221836129 2993013613 3216619262 1740810583 1556662418 3428969457 1165991152 305175115 2238260710 4076584977 4106556268 1745145722 3312510548 1711021391 690462170 884120297 3807479256 2451596486 1968968817 2577910392 2988182476 2246294023 476893208 1575947077 1828175762 1968736802 3736114806 276003418 3224141616 3554240937 660896738 160323702 3330364429 3899645062 236965076 3336810417 2153022449 1297024032 3924326251 1749580766 255 362436" option to reproduce the execution
0.00/0.01	c #vars 189
0.00/0.01	c #constraints 15
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      826      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      113 |      100 |      826      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      282 |      250 |      909      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |      519 |      475 |     1000      0 |        0 |        0
0.18/0.26	c  0.2s |       4 |      873 |      813 |     1100      0 |        0 |        0
0.39/0.42	c  0.4s |       5 |     1432 |     1320 |     1210      0 |        0 |        0
0.59/0.67	c  0.6s |       6 |     2290 |     2081 |     1465      1 |        0 |        0
1.39/1.42	c  1.4s |       7 |     3554 |     3223 |     1612      2 |        0 |        0
1.89/1.95	c  1.9s |       8 |     5392 |     4936 |     1774      4 |        0 |        0
2.78/2.83	c  2.8s |       9 |     8231 |     7506 |     1952      6 |        0 |        0
3.29/3.35	c  3.3s |       9 |    10664 |     9764 |     1952      8 |        0 |        0
3.29/3.35	c #cpu_time = 3.320s
3.29/3.35	c #wall_clock_time = 3.320s
3.29/3.35	c #decision = 10664
3.29/3.35	c #random_decision = 43
3.29/3.35	c #conflict = 9764
3.29/3.35	c #restart = 9
3.29/3.35	o 511
3.29/3.35	c BCD2: updating upper bound: 511 -> 510
3.29/3.35	c BCD2: 0 <= obj <= 510
3.29/3.35	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
3.29/3.35	c BCD2: #sat=1 #unsat=1 bias=1/2
3.29/3.35	c Solving starts ...
3.29/3.35	c ============================[ Search Statistics ]============================
3.29/3.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.29/3.35	c       |         |          |          |    Limit     GC | Var      | Constra 
3.29/3.35	c =============================================================================
3.29/3.35	c  0.0s |       0 |        0 |        0 |     1952      0 |        0 |        0
3.29/3.36	c  0.0s |       0 |        7 |        0 |     1952      1 |        0 |        0
3.29/3.36	c #cpu_time = 0.008s
3.29/3.36	c #wall_clock_time = 0.008s
3.29/3.36	c #decision = 7
3.29/3.36	c #random_decision = 0
3.29/3.36	c #conflict = 0
3.29/3.36	c #restart = 0
3.29/3.36	c BCD2: found a new core of size 8: cost of the new core is >=2
3.29/3.36	c lower bound updated to 2
3.29/3.36	c BCD2: 2 <= obj <= 510
3.29/3.36	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
3.29/3.36	c BCD2: #sat=1 #unsat=2 bias=2/3
3.29/3.36	c Solving starts ...
3.29/3.36	c ============================[ Search Statistics ]============================
3.29/3.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.29/3.36	c       |         |          |          |    Limit     GC | Var      | Constra 
3.29/3.36	c =============================================================================
3.29/3.36	c  0.0s |       0 |        0 |        0 |     1952      0 |        0 |        0
3.29/3.38	c  0.0s |       1 |      155 |      100 |     1952      0 |        0 |        0
3.49/3.56	c  0.2s |       2 |      395 |      250 |     1952      0 |        0 |        0
3.79/3.82	c  0.5s |       3 |      729 |      475 |     1952      0 |        0 |        0
3.89/3.94	c  0.6s |       4 |     1245 |      813 |     1952      0 |        0 |        0
4.09/4.18	c  0.8s |       5 |     1878 |     1320 |     1952      1 |        0 |        0
4.29/4.33	c  1.0s |       6 |     2798 |     2081 |     2148      1 |        0 |        0
5.09/5.18	c  1.8s |       7 |     4133 |     3223 |     2148      2 |        0 |        0
5.60/5.65	c  2.3s |       8 |     5999 |     4936 |     2148      3 |        0 |        0
6.49/6.59	c  3.2s |       9 |     8720 |     7506 |     2363      5 |        0 |        0
7.59/7.70	c  4.3s |      10 |    12745 |    11361 |     2363      9 |        0 |        0
9.29/9.35	c  6.0s |      11 |    18720 |    17144 |     2600     13 |        0 |        0
11.29/11.39	c  8.0s |      11 |    25966 |    24044 |     2600     17 |        0 |        0
11.99/12.01	c  8.6s |      12 |    27840 |    25819 |     2600     18 |        0 |        0
13.99/14.03	c 10.7s |      12 |    33662 |    31119 |     2861     21 |        0 |        0
15.99/16.06	c 12.7s |      12 |    39521 |    36919 |     2861     24 |        0 |        0
16.69/16.75	c 13.4s |      13 |    41438 |    38832 |     2861     25 |        0 |        0
18.69/18.77	c 15.4s |      13 |    47950 |    44932 |     2861     29 |        0 |        0
20.79/20.80	c 17.4s |      13 |    54522 |    51232 |     3148     33 |        0 |        0
22.79/22.83	c 19.5s |      13 |    61625 |    57932 |     3148     36 |        0 |        0
22.89/22.96	c 19.6s |      14 |    62050 |    58352 |     3148     37 |        0 |        0
24.99/25.05	c 21.7s |      14 |    65881 |    61852 |     3148     38 |        0 |        0
27.08/27.10	c 23.7s |      14 |    70185 |    66052 |     3148     41 |        0 |        0
29.08/29.12	c 25.8s |      14 |    73747 |    69452 |     3148     43 |        0 |        0
31.08/31.13	c 27.8s |      14 |    77267 |    72852 |     3148     44 |        0 |        0
33.09/33.16	c 29.8s |      14 |    81112 |    76552 |     3148     46 |        0 |        0
35.08/35.20	c 31.8s |      14 |    84467 |    79852 |     3463     48 |        0 |        0
37.18/37.22	c 33.9s |      14 |    87597 |    82852 |     3463     49 |        0 |        0
39.18/39.25	c 35.9s |      14 |    90919 |    86052 |     3463     51 |        0 |        0
40.28/40.34	c 37.0s |      15 |    92548 |    87632 |     3463     52 |        0 |        0
42.28/42.35	c 39.0s |      15 |    98704 |    93332 |     3463     55 |        0 |        0
44.28/44.37	c 41.0s |      15 |   104073 |    98432 |     3463     57 |        0 |        0
46.29/46.37	c 43.0s |      15 |   109742 |   103932 |     3463     60 |        0 |        0
48.28/48.39	c 45.0s |      15 |   115441 |   109232 |     3463     63 |        0 |        0
50.38/50.42	c 47.1s |      15 |   120629 |   114132 |     3463     65 |        0 |        0
52.38/52.45	c 49.1s |      15 |   126935 |   120232 |     3463     68 |        0 |        0
54.38/54.46	c 51.1s |      15 |   132357 |   125232 |     3810     70 |        0 |        0
56.38/56.49	c 53.1s |      15 |   137832 |   130332 |     3810     73 |        0 |        0
56.88/56.97	c 53.6s |      16 |   139071 |   131552 |     3810     73 |        0 |        0
58.88/58.98	c 55.6s |      16 |   146092 |   138152 |     3810     76 |        0 |        0
60.87/60.99	c 57.6s |      16 |   152985 |   144752 |     3810     79 |        0 |        0
62.97/63.01	c 59.7s |      16 |   158889 |   150452 |     3810     82 |        0 |        0
64.98/65.02	c 61.7s |      16 |   165606 |   157052 |     3810     85 |        0 |        0
66.97/67.04	c 63.7s |      16 |   171699 |   162852 |     3810     88 |        0 |        0
68.97/69.06	c 65.7s |      16 |   178507 |   169452 |     3810     91 |        0 |        0
70.98/71.08	c 67.7s |      16 |   184884 |   175652 |     3810     94 |        0 |        0
73.08/73.10	c 69.7s |      16 |   191083 |   181452 |     3810     97 |        0 |        0
75.08/75.12	c 71.8s |      16 |   197303 |   187452 |     4191     99 |        0 |        0
77.09/77.12	c 73.8s |      16 |   203234 |   193052 |     4191    102 |        0 |        0
78.48/78.58	c 75.2s |      17 |   207769 |   197432 |     4191    104 |        0 |        0
80.48/80.59	c 77.2s |      17 |   214627 |   203732 |     4191    106 |        0 |        0
82.59/82.64	c 79.3s |      17 |   220762 |   209632 |     4191    109 |        0 |        0
84.58/84.65	c 81.3s |      17 |   225331 |   213932 |     4191    111 |        0 |        0
86.58/86.67	c 83.3s |      17 |   230952 |   219432 |     4191    113 |        0 |        0
88.58/88.68	c 85.3s |      17 |   238033 |   226132 |     4191    116 |        0 |        0
90.58/90.68	c 87.3s |      17 |   244741 |   232632 |     4191    119 |        0 |        0
92.68/92.72	c 89.4s |      17 |   250951 |   238532 |     4191    121 |        0 |        0
94.68/94.74	c 91.4s |      17 |   257230 |   244432 |     4191    124 |        0 |        0
96.68/96.77	c 93.4s |      17 |   263276 |   250132 |     4191    126 |        0 |        0
98.68/98.78	c 95.4s |      17 |   269291 |   255832 |     4191    128 |        0 |        0
100.78/100.81	c 97.4s |      17 |   275120 |   261232 |     4191    131 |        0 |        0
102.78/102.84	c 99.5s |      17 |   281575 |   267532 |     4191    133 |        0 |        0
104.78/104.88	c  101s |      17 |   286756 |   272532 |     4191    135 |        0 |        0
106.78/106.88	c  103s |      17 |   292587 |   277932 |     4191    138 |        0 |        0
108.77/108.89	c  105s |      17 |   298242 |   283032 |     4191    140 |        0 |        0
110.87/110.91	c  107s |      17 |   303775 |   288032 |     4611    142 |        0 |        0
112.87/112.94	c  109s |      17 |   309149 |   293332 |     4611    144 |        0 |        0
114.07/114.15	c  110s |      18 |   312115 |   296252 |     4611    145 |        0 |        0
116.07/116.18	c  112s |      18 |   318875 |   302852 |     4611    148 |        0 |        0
118.17/118.20	c  114s |      18 |   325102 |   308952 |     4611    150 |        0 |        0
120.17/120.22	c  116s |      18 |   331685 |   315352 |     4611    153 |        0 |        0
122.18/122.24	c  118s |      18 |   337600 |   321152 |     4611    155 |        0 |        0
124.17/124.24	c  120s |      18 |   343032 |   326052 |     4611    157 |        0 |        0
126.17/126.28	c  122s |      18 |   346483 |   329152 |     4611    158 |        0 |        0
128.27/128.31	c  124s |      18 |   350528 |   332952 |     4611    160 |        0 |        0
130.27/130.33	c  126s |      18 |   355418 |   337652 |     4611    161 |        0 |        0
132.27/132.36	c  128s |      18 |   360514 |   342652 |     4611    163 |        0 |        0
134.28/134.39	c  131s |      18 |   365732 |   347352 |     4611    165 |        0 |        0
136.38/136.40	c  133s |      18 |   370455 |   351852 |     4611    167 |        0 |        0
138.37/138.42	c  135s |      18 |   374989 |   356252 |     4611    169 |        0 |        0
140.37/140.42	c  137s |      18 |   380307 |   361252 |     4611    170 |        0 |        0
142.37/142.46	c  139s |      18 |   385190 |   365952 |     4611    172 |        0 |        0
144.47/144.51	c  141s |      18 |   389672 |   370252 |     4611    174 |        0 |        0
146.47/146.54	c  143s |      18 |   394192 |   374552 |     4611    176 |        0 |        0
148.47/148.57	c  145s |      18 |   399067 |   379352 |     4611    177 |        0 |        0
150.47/150.58	c  147s |      18 |   404351 |   384552 |     4611    179 |        0 |        0
152.57/152.62	c  149s |      18 |   409063 |   389152 |     4611    181 |        0 |        0
154.57/154.62	c  151s |      18 |   414063 |   393852 |     4611    183 |        0 |        0
156.57/156.63	c  153s |      18 |   418455 |   398052 |     4611    185 |        0 |        0
158.56/158.65	c  155s |      18 |   423577 |   402752 |     4611    186 |        0 |        0
160.57/160.66	c  157s |      18 |   428213 |   407152 |     4611    188 |        0 |        0
162.56/162.68	c  159s |      18 |   433509 |   412152 |     4611    190 |        0 |        0
164.56/164.70	c  161s |      18 |   438147 |   416652 |     4611    192 |        0 |        0
166.66/166.74	c  163s |      18 |   442595 |   420852 |     4611    193 |        0 |        0
168.66/168.75	c  165s |      18 |   446928 |   425052 |     4611    195 |        0 |        0
170.66/170.78	c  167s |      18 |   451810 |   429652 |     4611    197 |        0 |        0
172.67/172.78	c  169s |      18 |   456330 |   434052 |     5073    198 |        0 |        0
174.76/174.81	c  171s |      18 |   460904 |   438452 |     5073    200 |        0 |        0
176.76/176.82	c  173s |      18 |   465521 |   442852 |     5073    201 |        0 |        0
177.66/177.72	c  174s |      19 |   467180 |   444482 |     5073    202 |        0 |        0
179.66/179.73	c  176s |      19 |   472065 |   448882 |     5073    203 |        0 |        0
181.66/181.75	c  178s |      19 |   477916 |   454482 |     5073    206 |        0 |        0
183.67/183.75	c  180s |      19 |   483174 |   459582 |     5073    207 |        0 |        0
185.66/185.76	c  182s |      19 |   488693 |   464782 |     5073    209 |        0 |        0
187.66/187.79	c  184s |      19 |   494028 |   469982 |     5073    211 |        0 |        0
189.76/189.81	c  186s |      19 |   499480 |   475182 |     5073    213 |        0 |        0
191.76/191.83	c  188s |      19 |   504971 |   480282 |     5073    215 |        0 |        0
193.76/193.86	c  190s |      19 |   510254 |   485382 |     5073    217 |        0 |        0
195.77/195.87	c  192s |      19 |   515526 |   490482 |     5073    219 |        0 |        0
197.76/197.89	c  194s |      19 |   521304 |   495982 |     5073    221 |        0 |        0
199.86/199.93	c  196s |      19 |   526117 |   500482 |     5073    223 |        0 |        0
201.86/201.96	c  198s |      19 |   531639 |   505782 |     5073    225 |        0 |        0
203.86/203.98	c  200s |      19 |   536856 |   510782 |     5073    227 |        0 |        0
205.86/205.99	c  202s |      19 |   542037 |   515682 |     5073    228 |        0 |        0
207.96/208.02	c  204s |      19 |   547985 |   521282 |     5073    231 |        0 |        0
209.96/210.03	c  206s |      19 |   553524 |   526582 |     5073    232 |        0 |        0
211.96/212.06	c  208s |      19 |   558388 |   531182 |     5073    234 |        0 |        0
213.96/214.07	c  210s |      19 |   563985 |   536382 |     5073    236 |        0 |        0
215.96/216.08	c  212s |      19 |   568777 |   540882 |     5073    238 |        0 |        0
217.95/218.08	c  214s |      19 |   574033 |   546082 |     5073    240 |        0 |        0
219.96/220.08	c  216s |      19 |   579041 |   550882 |     5073    242 |        0 |        0
222.05/222.11	c  218s |      19 |   584520 |   556082 |     5073    244 |        0 |        0
224.05/224.14	c  220s |      19 |   589521 |   560682 |     5073    245 |        0 |        0
226.05/226.16	c  222s |      19 |   595250 |   566282 |     5073    247 |        0 |        0
228.05/228.17	c  224s |      19 |   600342 |   571082 |     5073    249 |        0 |        0
230.05/230.19	c  226s |      19 |   605521 |   575882 |     5073    251 |        0 |        0
232.16/232.23	c  228s |      19 |   610060 |   580282 |     5073    253 |        0 |        0
234.15/234.24	c  230s |      19 |   613772 |   583482 |     5073    254 |        0 |        0
236.15/236.29	c  232s |      19 |   619207 |   588682 |     5073    256 |        0 |        0
238.25/238.31	c  234s |      19 |   624200 |   593282 |     5073    257 |        0 |        0
240.25/240.33	c  236s |      19 |   628863 |   597782 |     5073    259 |        0 |        0
242.25/242.34	c  238s |      19 |   634268 |   602382 |     5073    261 |        0 |        0
244.26/244.37	c  241s |      19 |   640904 |   608782 |     5073    263 |        0 |        0
246.25/246.38	c  243s |      19 |   647436 |   615082 |     5073    266 |        0 |        0
248.35/248.41	c  245s |      19 |   653494 |   620782 |     5073    268 |        0 |        0
250.35/250.41	c  247s |      19 |   658693 |   625782 |     5073    270 |        0 |        0
252.35/252.44	c  249s |      19 |   663550 |   630582 |     5073    271 |        0 |        0
254.35/254.47	c  251s |      19 |   668851 |   635682 |     5073    273 |        0 |        0
256.35/256.48	c  253s |      19 |   674856 |   641282 |     5073    275 |        0 |        0
258.35/258.49	c  255s |      19 |   681170 |   647382 |     5073    278 |        0 |        0
260.45/260.51	c  257s |      19 |   687223 |   653182 |     5581    280 |        0 |        0
262.45/262.53	c  259s |      19 |   693312 |   659082 |     5581    282 |        0 |        0
264.45/264.53	c  261s |      19 |   698924 |   664582 |     5581    284 |        0 |        0
265.35/265.41	c  262s |      20 |   701264 |   666827 |     5581    285 |        0 |        0
267.35/267.42	c  264s |      20 |   709074 |   674327 |     5581    287 |        0 |        0
269.35/269.45	c  266s |      20 |   715831 |   680727 |     5581    289 |        0 |        0
271.34/271.48	c  268s |      20 |   719372 |   684127 |     5581    290 |        0 |        0
273.44/273.50	c  270s |      20 |   722892 |   687227 |     5581    291 |        0 |        0
275.45/275.53	c  272s |      20 |   726588 |   690627 |     5581    292 |        0 |        0
277.44/277.54	c  274s |      20 |   730661 |   694527 |     5581    293 |        0 |        0
279.45/279.58	c  276s |      20 |   734391 |   697927 |     5581    295 |        0 |        0
281.44/281.60	c  278s |      20 |   738151 |   701227 |     5581    296 |        0 |        0
283.54/283.66	c  280s |      20 |   741237 |   704227 |     5581    297 |        0 |        0
285.64/285.71	c  282s |      20 |   746396 |   709227 |     5581    298 |        0 |        0
287.64/287.73	c  284s |      20 |   748820 |   711427 |     5581    299 |        0 |        0
289.64/289.75	c  286s |      20 |   752114 |   714527 |     5581    300 |        0 |        0
291.74/291.81	c  288s |      20 |   755020 |   717227 |     5581    301 |        0 |        0
293.75/293.82	c  290s |      20 |   757341 |   719427 |     5581    302 |        0 |        0
295.74/295.84	c  292s |      20 |   761149 |   723027 |     5581    303 |        0 |        0
297.74/297.88	c  294s |      20 |   765974 |   727727 |     5581    304 |        0 |        0
299.84/299.97	c  296s |      20 |   769616 |   731027 |     5581    305 |        0 |        0
301.84/301.99	c  298s |      20 |   772565 |   733727 |     5581    306 |        0 |        0
303.94/304.00	c  300s |      20 |   775346 |   736327 |     5581    307 |        0 |        0
305.94/306.02	c  302s |      20 |   779456 |   740127 |     5581    308 |        0 |        0
307.94/308.04	c  304s |      20 |   781844 |   742427 |     5581    309 |        0 |        0
309.94/310.07	c  306s |      20 |   785399 |   745727 |     5581    310 |        0 |        0
312.04/312.10	c  308s |      20 |   789881 |   749927 |     5581    312 |        0 |        0
314.04/314.11	c  310s |      20 |   793197 |   753027 |     5581    313 |        0 |        0
316.04/316.15	c  312s |      20 |   796580 |   756027 |     5581    314 |        0 |        0
318.13/318.22	c  314s |      20 |   800405 |   759627 |     5581    315 |        0 |        0
320.14/320.24	c  316s |      20 |   802933 |   762027 |     5581    315 |        0 |        0
322.13/322.25	c  318s |      20 |   806721 |   765527 |     5581    317 |        0 |        0
324.13/324.28	c  320s |      20 |   811645 |   770027 |     5581    318 |        0 |        0
326.23/326.30	c  322s |      20 |   816071 |   774227 |     5581    320 |        0 |        0
328.23/328.31	c  324s |      20 |   820245 |   778227 |     5581    321 |        0 |        0
330.23/330.35	c  326s |      20 |   823934 |   781727 |     5581    322 |        0 |        0
332.34/332.40	c  329s |      20 |   827720 |   785227 |     5581    323 |        0 |        0
334.35/334.40	c  331s |      20 |   831754 |   789127 |     5581    324 |        0 |        0
336.34/336.44	c  333s |      20 |   836521 |   793327 |     5581    326 |        0 |        0
338.34/338.46	c  335s |      20 |   840882 |   797527 |     5581    327 |        0 |        0
340.34/340.48	c  337s |      20 |   845493 |   801827 |     5581    329 |        0 |        0
342.34/342.49	c  339s |      20 |   849215 |   805427 |     5581    330 |        0 |        0
344.44/344.53	c  341s |      20 |   853702 |   809627 |     5581    331 |        0 |        0
346.45/346.57	c  343s |      20 |   858263 |   813927 |     5581    333 |        0 |        0
348.44/348.58	c  345s |      20 |   862309 |   817727 |     5581    334 |        0 |        0
350.54/350.60	c  347s |      20 |   867242 |   822527 |     5581    335 |        0 |        0
352.54/352.64	c  349s |      20 |   872473 |   827427 |     5581    337 |        0 |        0
354.54/354.69	c  351s |      20 |   876332 |   830927 |     5581    338 |        0 |        0
356.54/356.69	c  353s |      20 |   881187 |   835527 |     5581    340 |        0 |        0
358.64/358.73	c  355s |      20 |   886066 |   840127 |     5581    341 |        0 |        0
360.64/360.74	c  357s |      20 |   890131 |   843927 |     5581    342 |        0 |        0
362.64/362.76	c  359s |      20 |   895037 |   848527 |     5581    344 |        0 |        0
364.64/364.77	c  361s |      20 |   899161 |   852427 |     5581    345 |        0 |        0
366.74/366.80	c  363s |      20 |   904305 |   857227 |     5581    347 |        0 |        0
368.73/368.80	c  365s |      20 |   908775 |   861427 |     5581    348 |        0 |        0
370.74/370.81	c  367s |      20 |   915520 |   868027 |     5581    350 |        0 |        0
372.73/372.84	c  369s |      20 |   920675 |   873027 |     5581    352 |        0 |        0
374.73/374.87	c  371s |      20 |   925893 |   878027 |     5581    354 |        0 |        0
376.83/376.90	c  373s |      20 |   932075 |   883927 |     5581    355 |        0 |        0
378.83/378.92	c  375s |      20 |   937975 |   889527 |     5581    357 |        0 |        0
380.83/380.95	c  377s |      20 |   943368 |   894727 |     5581    359 |        0 |        0
382.84/382.96	c  379s |      20 |   948337 |   899627 |     5581    361 |        0 |        0
384.83/384.98	c  381s |      20 |   954141 |   905127 |     5581    362 |        0 |        0
386.93/387.05	c  383s |      20 |   958901 |   909727 |     5581    364 |        0 |        0
388.93/389.05	c  385s |      20 |   962115 |   912727 |     5581    365 |        0 |        0
390.93/391.09	c  387s |      20 |   966485 |   916927 |     5581    366 |        0 |        0
393.03/393.10	c  389s |      20 |   969705 |   919927 |     5581    367 |        0 |        0
395.03/395.12	c  391s |      20 |   973294 |   923327 |     5581    368 |        0 |        0
397.03/397.14	c  393s |      20 |   977221 |   927127 |     5581    369 |        0 |        0
399.03/399.15	c  395s |      20 |   980768 |   930527 |     5581    371 |        0 |        0
401.03/401.18	c  397s |      20 |   984253 |   933827 |     5581    372 |        0 |        0
403.12/403.26	c  399s |      20 |   987427 |   936827 |     5581    373 |        0 |        0
405.22/405.32	c  401s |      20 |   990736 |   939927 |     5581    374 |        0 |        0
407.22/407.32	c  403s |      20 |   994127 |   943227 |     5581    375 |        0 |        0
409.23/409.34	c  405s |      20 |   997707 |   946627 |     5581    376 |        0 |        0
411.22/411.36	c  408s |      20 |  1000700 |   949427 |     5581    377 |        0 |        0
413.22/413.37	c  410s |      20 |  1007088 |   955627 |     5581    379 |        0 |        0
415.22/415.39	c  412s |      20 |  1013303 |   961627 |     5581    381 |        0 |        0
417.32/417.42	c  414s |      20 |  1018144 |   966327 |     5581    382 |        0 |        0
419.32/419.46	c  416s |      20 |  1023068 |   971127 |     5581    384 |        0 |        0
421.33/421.48	c  418s |      20 |  1028108 |   976027 |     5581    385 |        0 |        0
423.43/423.54	c  420s |      20 |  1032036 |   979827 |     5581    387 |        0 |        0
425.42/425.57	c  422s |      20 |  1037252 |   984927 |     6140    388 |        0 |        0
427.52/427.61	c  424s |      20 |  1041650 |   989227 |     6140    389 |        0 |        0
429.52/429.62	c  426s |      20 |  1045961 |   993327 |     6140    390 |        0 |        0
431.52/431.63	c  428s |      20 |  1050569 |   997827 |     6140    392 |        0 |        0
432.62/432.73	c  429s |      21 |  1053193 |  1000345 |     6140    393 |        0 |        0
434.62/434.77	c  431s |      21 |  1058736 |  1005545 |     6140    394 |        0 |        0
436.63/436.78	c  433s |      21 |  1063882 |  1010345 |     6140    396 |        0 |        0
438.72/438.81	c  435s |      21 |  1069087 |  1015245 |     6140    397 |        0 |        0
440.72/440.82	c  437s |      21 |  1074764 |  1020245 |     6140    399 |        0 |        0
442.72/442.86	c  439s |      21 |  1080475 |  1025245 |     6140    400 |        0 |        0
444.72/444.88	c  441s |      21 |  1086307 |  1030645 |     6140    402 |        0 |        0
446.82/446.90	c  443s |      21 |  1091012 |  1035145 |     6140    403 |        0 |        0
448.83/448.97	c  445s |      21 |  1096010 |  1039745 |     6140    405 |        0 |        0
450.82/450.98	c  447s |      21 |  1100965 |  1044545 |     6140    406 |        0 |        0
452.82/452.99	c  449s |      21 |  1106151 |  1049345 |     6140    407 |        0 |        0
454.92/455.01	c  451s |      21 |  1111975 |  1054945 |     6140    409 |        0 |        0
456.92/457.02	c  453s |      21 |  1117607 |  1060345 |     6140    411 |        0 |        0
458.91/459.05	c  455s |      21 |  1123000 |  1065345 |     6140    412 |        0 |        0
460.92/461.06	c  457s |      21 |  1127837 |  1069845 |     6140    414 |        0 |        0
462.92/463.08	c  459s |      21 |  1132929 |  1074745 |     6140    415 |        0 |        0
464.92/465.08	c  461s |      21 |  1137768 |  1079445 |     6140    417 |        0 |        0
467.02/467.11	c  463s |      21 |  1143569 |  1084945 |     6140    418 |        0 |        0
469.02/469.13	c  465s |      21 |  1149075 |  1090145 |     6140    420 |        0 |        0
471.02/471.15	c  467s |      21 |  1154446 |  1095145 |     6140    421 |        0 |        0
473.03/473.19	c  469s |      21 |  1160097 |  1100445 |     6140    423 |        0 |        0
475.02/475.20	c  471s |      21 |  1165405 |  1105545 |     6140    425 |        0 |        0
477.12/477.24	c  473s |      21 |  1171572 |  1111245 |     6140    426 |        0 |        0
479.12/479.27	c  475s |      21 |  1176998 |  1116445 |     6140    428 |        0 |        0
481.22/481.30	c  477s |      21 |  1182749 |  1121745 |     6140    429 |        0 |        0
483.22/483.30	c  479s |      21 |  1188132 |  1126745 |     6140    431 |        0 |        0
485.22/485.31	c  481s |      21 |  1193076 |  1131445 |     6140    432 |        0 |        0
487.22/487.32	c  483s |      21 |  1198030 |  1136145 |     6140    434 |        0 |        0
489.22/489.36	c  486s |      21 |  1203531 |  1141045 |     6140    435 |        0 |        0
491.32/491.44	c  488s |      21 |  1208975 |  1146045 |     6140    437 |        0 |        0
493.32/493.46	c  490s |      21 |  1214333 |  1151245 |     6140    438 |        0 |        0
495.31/495.47	c  492s |      21 |  1219110 |  1155845 |     6140    440 |        0 |        0
497.41/497.52	c  494s |      21 |  1224145 |  1160745 |     6140    441 |        0 |        0
499.42/499.53	c  496s |      21 |  1228744 |  1165145 |     6140    443 |        0 |        0
501.41/501.54	c  498s |      21 |  1234088 |  1170145 |     6140    444 |        0 |        0
503.41/503.58	c  500s |      21 |  1239024 |  1174645 |     6140    445 |        0 |        0
505.51/505.61	c  502s |      21 |  1244133 |  1179345 |     6140    447 |        0 |        0
507.51/507.67	c  504s |      21 |  1249318 |  1184245 |     6140    448 |        0 |        0
509.51/509.68	c  506s |      21 |  1254233 |  1188945 |     6140    450 |        0 |        0
511.52/511.68	c  508s |      21 |  1259460 |  1193945 |     6140    451 |        0 |        0
513.51/513.69	c  510s |      21 |  1264665 |  1198845 |     6140    453 |        0 |        0
515.61/515.74	c  512s |      21 |  1269582 |  1203345 |     6140    454 |        0 |        0
517.61/517.77	c  514s |      21 |  1274431 |  1207845 |     6140    456 |        0 |        0
519.71/519.80	c  516s |      21 |  1279872 |  1212945 |     6140    457 |        0 |        0
521.71/521.84	c  518s |      21 |  1285162 |  1217845 |     6140    459 |        0 |        0
523.71/523.86	c  520s |      21 |  1290762 |  1223145 |     6140    460 |        0 |        0
525.72/525.88	c  522s |      21 |  1295815 |  1227845 |     6140    462 |        0 |        0
527.71/527.89	c  524s |      21 |  1300529 |  1232345 |     6140    463 |        0 |        0
529.81/529.92	c  526s |      21 |  1305687 |  1237245 |     6140    464 |        0 |        0
531.81/531.93	c  528s |      21 |  1310708 |  1242145 |     6140    466 |        0 |        0
533.81/533.99	c  530s |      21 |  1315975 |  1247145 |     6140    468 |        0 |        0
535.91/536.03	c  532s |      21 |  1321027 |  1252045 |     6140    469 |        0 |        0
537.91/538.04	c  534s |      21 |  1326890 |  1257745 |     6140    471 |        0 |        0
539.91/540.09	c  536s |      21 |  1333019 |  1263545 |     6140    473 |        0 |        0
542.01/542.12	c  538s |      21 |  1338888 |  1269045 |     6140    474 |        0 |        0
544.00/544.16	c  540s |      21 |  1344020 |  1273645 |     6140    476 |        0 |        0
546.10/546.20	c  542s |      21 |  1348928 |  1278345 |     6140    477 |        0 |        0
548.10/548.21	c  544s |      21 |  1354161 |  1282945 |     6140    478 |        0 |        0
550.10/550.22	c  546s |      21 |  1358687 |  1287245 |     6140    480 |        0 |        0
552.11/552.23	c  548s |      21 |  1363822 |  1292245 |     6140    481 |        0 |        0
554.10/554.24	c  550s |      21 |  1369345 |  1297345 |     6140    483 |        0 |        0
556.10/556.27	c  552s |      21 |  1373971 |  1301745 |     6140    484 |        0 |        0
558.10/558.29	c  554s |      21 |  1378755 |  1306245 |     6140    485 |        0 |        0
560.20/560.30	c  556s |      21 |  1384552 |  1311745 |     6140    487 |        0 |        0
562.20/562.32	c  558s |      21 |  1389530 |  1316545 |     6140    489 |        0 |        0
564.21/564.32	c  560s |      21 |  1395335 |  1322045 |     6140    490 |        0 |        0
566.20/566.34	c  562s |      21 |  1400585 |  1326945 |     6140    492 |        0 |        0
568.20/568.36	c  565s |      21 |  1405647 |  1331745 |     6140    493 |        0 |        0
570.20/570.39	c  567s |      21 |  1410478 |  1336245 |     6140    495 |        0 |        0
572.30/572.41	c  569s |      21 |  1416146 |  1341445 |     6140    496 |        0 |        0
574.30/574.42	c  571s |      21 |  1421781 |  1346445 |     6140    498 |        0 |        0
576.31/576.45	c  573s |      21 |  1427796 |  1352245 |     6140    499 |        0 |        0
578.30/578.48	c  575s |      21 |  1433722 |  1357745 |     6140    501 |        0 |        0
580.40/580.51	c  577s |      21 |  1438898 |  1362445 |     6140    503 |        0 |        0
582.40/582.54	c  579s |      21 |  1444540 |  1367845 |     6140    504 |        0 |        0
584.40/584.56	c  581s |      21 |  1449707 |  1372645 |     6140    506 |        0 |        0
586.40/586.58	c  583s |      21 |  1455126 |  1377845 |     6140    507 |        0 |        0
588.40/588.59	c  585s |      21 |  1460976 |  1383445 |     6140    509 |        0 |        0
590.49/590.63	c  587s |      21 |  1465929 |  1388145 |     6140    510 |        0 |        0
592.50/592.67	c  589s |      21 |  1470219 |  1392245 |     6140    512 |        0 |        0
594.50/594.69	c  591s |      21 |  1475997 |  1397645 |     6140    513 |        0 |        0
596.60/596.71	c  593s |      21 |  1480978 |  1402445 |     6140    515 |        0 |        0
598.60/598.71	c  595s |      21 |  1486042 |  1407345 |     6140    516 |        0 |        0
600.61/600.71	c  597s |      21 |  1491874 |  1412845 |     6140    518 |        0 |        0
602.60/602.74	c  599s |      21 |  1496970 |  1417545 |     6140    519 |        0 |        0
604.60/604.77	c  601s |      21 |  1501853 |  1422145 |     6140    521 |        0 |        0
606.60/606.78	c  603s |      21 |  1506860 |  1426845 |     6140    522 |        0 |        0
608.70/608.81	c  605s |      21 |  1513083 |  1432845 |     6140    524 |        0 |        0
610.70/610.85	c  607s |      21 |  1518281 |  1437745 |     6140    525 |        0 |        0
612.70/612.86	c  609s |      21 |  1522681 |  1442045 |     6140    527 |        0 |        0
614.70/614.88	c  611s |      21 |  1527407 |  1446645 |     6140    528 |        0 |        0
616.70/616.89	c  613s |      21 |  1532135 |  1451145 |     6140    529 |        0 |        0
618.80/618.92	c  615s |      21 |  1537114 |  1456045 |     6140    531 |        0 |        0
620.80/620.96	c  617s |      21 |  1542395 |  1461145 |     6140    533 |        0 |        0
622.80/622.96	c  619s |      21 |  1548244 |  1466645 |     6140    534 |        0 |        0
624.80/625.00	c  621s |      21 |  1553426 |  1471545 |     6140    536 |        0 |        0
626.90/627.01	c  623s |      21 |  1558769 |  1476645 |     6140    537 |        0 |        0
628.89/629.04	c  625s |      21 |  1563736 |  1481345 |     6755    538 |        0 |        0
630.89/631.06	c  627s |      21 |  1568607 |  1485845 |     6755    540 |        0 |        0
632.89/633.09	c  629s |      21 |  1574195 |  1491045 |     6755    541 |        0 |        0
634.99/635.10	c  631s |      21 |  1579538 |  1496045 |     6755    543 |        0 |        0
636.69/636.89	c  633s |      22 |  1584475 |  1500622 |     6755    544 |        0 |        0
638.79/638.90	c  635s |      22 |  1589131 |  1504622 |     6755    545 |        0 |        0
640.79/640.94	c  637s |      22 |  1594542 |  1509622 |     6755    546 |        0 |        0
642.79/642.95	c  639s |      22 |  1598981 |  1513922 |     6755    547 |        0 |        0
644.79/644.99	c  641s |      22 |  1604262 |  1518722 |     6755    549 |        0 |        0
646.89/647.01	c  643s |      22 |  1609983 |  1524022 |     6755    550 |        0 |        0
648.90/649.02	c  645s |      22 |  1614445 |  1528422 |     6755    551 |        0 |        0
650.89/651.06	c  647s |      22 |  1619419 |  1532922 |     6755    553 |        0 |        0
652.89/653.09	c  649s |      22 |  1624291 |  1537422 |     6755    554 |        0 |        0
654.89/655.09	c  651s |      22 |  1628874 |  1541822 |     6755    555 |        0 |        0
656.99/657.13	c  653s |      22 |  1633266 |  1545722 |     6755    556 |        0 |        0
658.99/659.14	c  655s |      22 |  1638790 |  1550822 |     6755    557 |        0 |        0
660.99/661.16	c  657s |      22 |  1643788 |  1555322 |     6755    559 |        0 |        0
662.98/663.18	c  659s |      22 |  1648681 |  1560022 |     6755    560 |        0 |        0
664.98/665.18	c  661s |      22 |  1654206 |  1565122 |     6755    561 |        0 |        0
666.98/667.19	c  663s |      22 |  1660204 |  1570522 |     6755    563 |        0 |        0
669.08/669.20	c  665s |      22 |  1665936 |  1576022 |     6755    564 |        0 |        0
671.08/671.23	c  667s |      22 |  1671581 |  1581322 |     6755    566 |        0 |        0
673.09/673.26	c  669s |      22 |  1677471 |  1587022 |     6755    567 |        0 |        0
675.18/675.30	c  671s |      22 |  1682562 |  1591922 |     6755    568 |        0 |        0
677.18/677.32	c  673s |      22 |  1687908 |  1597022 |     6755    570 |        0 |        0
679.18/679.35	c  675s |      22 |  1693753 |  1602522 |     6755    571 |        0 |        0
681.18/681.35	c  677s |      22 |  1698509 |  1607122 |     6755    573 |        0 |        0
683.18/683.36	c  679s |      22 |  1703757 |  1612222 |     6755    574 |        0 |        0
685.19/685.40	c  682s |      22 |  1709131 |  1617422 |     6755    575 |        0 |        0
687.28/687.43	c  684s |      22 |  1714183 |  1622322 |     6755    577 |        0 |        0
689.28/689.43	c  686s |      22 |  1720014 |  1627922 |     6755    578 |        0 |        0
691.28/691.45	c  688s |      22 |  1725238 |  1632822 |     6755    580 |        0 |        0
693.28/693.47	c  690s |      22 |  1731122 |  1638322 |     6755    581 |        0 |        0
695.38/695.51	c  692s |      22 |  1736239 |  1643322 |     6755    582 |        0 |        0
697.39/697.54	c  694s |      22 |  1741828 |  1648622 |     6755    584 |        0 |        0
699.38/699.56	c  696s |      22 |  1747012 |  1653522 |     6755    585 |        0 |        0
701.38/701.59	c  698s |      22 |  1752150 |  1658522 |     6755    586 |        0 |        0
703.48/703.60	c  700s |      22 |  1757369 |  1663622 |     6755    588 |        0 |        0
705.48/705.61	c  702s |      22 |  1762514 |  1668622 |     6755    589 |        0 |        0
707.48/707.65	c  704s |      22 |  1767301 |  1673322 |     6755    590 |        0 |        0
709.49/709.68	c  706s |      22 |  1772257 |  1678222 |     6755    592 |        0 |        0
711.48/711.69	c  708s |      22 |  1776996 |  1682922 |     6755    593 |        0 |        0
713.58/713.71	c  710s |      22 |  1781742 |  1687622 |     6755    594 |        0 |        0
715.58/715.71	c  712s |      22 |  1787719 |  1693522 |     6755    596 |        0 |        0
717.58/717.73	c  714s |      22 |  1792155 |  1697922 |     6755    597 |        0 |        0
719.58/719.74	c  716s |      22 |  1796848 |  1702522 |     6755    598 |        0 |        0
721.59/721.77	c  718s |      22 |  1802236 |  1707722 |     6755    600 |        0 |        0
723.58/723.77	c  720s |      22 |  1807829 |  1713122 |     6755    601 |        0 |        0
725.58/725.78	c  722s |      22 |  1813026 |  1718222 |     6755    603 |        0 |        0
727.68/727.82	c  724s |      22 |  1818623 |  1723522 |     6755    604 |        0 |        0
729.68/729.84	c  726s |      22 |  1823555 |  1728022 |     6755    605 |        0 |        0
731.68/731.87	c  728s |      22 |  1829074 |  1733422 |     6755    607 |        0 |        0
733.68/733.90	c  730s |      22 |  1834905 |  1739022 |     6755    608 |        0 |        0
735.78/735.92	c  732s |      22 |  1839972 |  1743822 |     6755    609 |        0 |        0
737.78/737.93	c  734s |      22 |  1845118 |  1748722 |     6755    611 |        0 |        0
739.78/739.94	c  736s |      22 |  1849918 |  1753422 |     6755    612 |        0 |        0
741.78/741.99	c  738s |      22 |  1855298 |  1758622 |     6755    613 |        0 |        0
743.87/744.01	c  740s |      22 |  1860698 |  1763722 |     6755    615 |        0 |        0
745.87/746.02	c  742s |      22 |  1865599 |  1768522 |     6755    616 |        0 |        0
747.88/748.03	c  744s |      22 |  1871300 |  1774022 |     6755    618 |        0 |        0
749.87/750.07	c  746s |      22 |  1876457 |  1778922 |     6755    619 |        0 |        0
751.87/752.07	c  748s |      22 |  1881718 |  1783922 |     6755    620 |        0 |        0
753.87/754.09	c  750s |      22 |  1887157 |  1789222 |     6755    622 |        0 |        0
755.97/756.10	c  752s |      22 |  1892899 |  1794822 |     6755    623 |        0 |        0
757.97/758.16	c  754s |      22 |  1897710 |  1799522 |     6755    624 |        0 |        0
759.97/760.17	c  756s |      22 |  1903056 |  1804722 |     6755    626 |        0 |        0
762.06/762.21	c  758s |      22 |  1908563 |  1809922 |     6755    627 |        0 |        0
764.06/764.22	c  760s |      22 |  1914023 |  1815122 |     6755    629 |        0 |        0
766.06/766.23	c  762s |      22 |  1919708 |  1820622 |     6755    630 |        0 |        0
768.06/768.28	c  764s |      22 |  1924798 |  1825522 |     6755    632 |        0 |        0
770.16/770.30	c  766s |      22 |  1930270 |  1830722 |     6755    633 |        0 |        0
772.17/772.31	c  768s |      22 |  1934653 |  1834922 |     6755    634 |        0 |        0
774.16/774.34	c  770s |      22 |  1940036 |  1840122 |     6755    635 |        0 |        0
776.16/776.37	c  773s |      22 |  1945902 |  1845822 |     6755    637 |        0 |        0
778.16/778.40	c  775s |      22 |  1951034 |  1850822 |     6755    638 |        0 |        0
780.26/780.40	c  777s |      22 |  1956205 |  1855822 |     6755    640 |        0 |        0
782.26/782.41	c  779s |      22 |  1961482 |  1860922 |     6755    641 |        0 |        0
784.26/784.43	c  781s |      22 |  1966686 |  1865922 |     6755    642 |        0 |        0
786.25/786.46	c  783s |      22 |  1971906 |  1870722 |     6755    644 |        0 |        0
788.25/788.47	c  785s |      22 |  1976626 |  1875122 |     6755    645 |        0 |        0
790.25/790.49	c  787s |      22 |  1981878 |  1880222 |     6755    646 |        0 |        0
792.26/792.49	c  789s |      22 |  1986868 |  1885122 |     6755    648 |        0 |        0
794.36/794.51	c  791s |      22 |  1992191 |  1890222 |     6755    649 |        0 |        0
796.36/796.51	c  793s |      22 |  1996903 |  1894822 |     6755    650 |        0 |        0
798.35/798.52	c  795s |      22 |  2002001 |  1899822 |     6755    652 |        0 |        0
800.35/800.55	c  797s |      22 |  2007519 |  1905222 |     6755    653 |        0 |        0
802.35/802.57	c  799s |      22 |  2012127 |  1909622 |     6755    654 |        0 |        0
804.45/804.60	c  801s |      22 |  2016997 |  1914222 |     6755    655 |        0 |        0
806.45/806.63	c  803s |      22 |  2022244 |  1919222 |     6755    657 |        0 |        0
808.45/808.69	c  805s |      22 |  2027597 |  1924222 |     6755    658 |        0 |        0
810.55/810.72	c  807s |      22 |  2032577 |  1928922 |     6755    659 |        0 |        0
812.54/812.74	c  809s |      22 |  2038436 |  1934422 |     6755    661 |        0 |        0
814.54/814.78	c  811s |      22 |  2043493 |  1939322 |     6755    662 |        0 |        0
816.64/816.82	c  813s |      22 |  2049113 |  1944422 |     6755    664 |        0 |        0
818.64/818.85	c  815s |      22 |  2054797 |  1949822 |     6755    665 |        0 |        0
820.64/820.88	c  817s |      22 |  2060224 |  1954922 |     6755    666 |        0 |        0
822.75/822.94	c  819s |      22 |  2065745 |  1959922 |     6755    668 |        0 |        0
824.74/824.96	c  821s |      22 |  2070787 |  1964622 |     6755    669 |        0 |        0
826.73/826.99	c  823s |      22 |  2075596 |  1969222 |     6755    670 |        0 |        0
828.83/829.01	c  825s |      22 |  2080712 |  1974122 |     6755    672 |        0 |        0
830.83/831.05	c  827s |      22 |  2085635 |  1978922 |     6755    673 |        0 |        0
832.83/833.08	c  829s |      22 |  2090176 |  1983322 |     6755    674 |        0 |        0
834.84/835.09	c  831s |      22 |  2092259 |  1985022 |     6755    675 |        0 |        0
836.94/837.12	c  833s |      22 |  2097100 |  1989822 |     6755    676 |        0 |        0
838.93/839.17	c  835s |      22 |  2099283 |  1991722 |     6755    676 |        0 |        0
841.03/841.21	c  837s |      22 |  2101022 |  1992822 |     6755    677 |        0 |        0
843.13/843.33	c  839s |      22 |  2102619 |  1994022 |     6755    677 |        0 |        0
845.23/845.40	c  842s |      22 |  2107337 |  1995522 |     6755    677 |        0 |        0
847.23/847.49	c  844s |      22 |  2111994 |  1997422 |     6755    678 |        0 |        0
849.33/849.51	c  846s |      22 |  2118464 |  2000222 |     6755    679 |        0 |        0
851.33/851.54	c  848s |      22 |  2120588 |  2001722 |     6755    679 |        0 |        0
853.32/853.54	c  850s |      22 |  2124953 |  2005322 |     6755    680 |        0 |        0
855.32/855.57	c  852s |      22 |  2129246 |  2009522 |     6755    681 |        0 |        0
857.32/857.58	c  854s |      22 |  2131892 |  2012022 |     6755    682 |        0 |        0
859.32/859.60	c  856s |      22 |  2136727 |  2016622 |     6755    683 |        0 |        0
861.42/861.61	c  858s |      22 |  2140663 |  2020522 |     6755    684 |        0 |        0
863.42/863.61	c  860s |      22 |  2144677 |  2024522 |     6755    685 |        0 |        0
865.42/865.63	c  862s |      22 |  2148602 |  2028422 |     6755    686 |        0 |        0
867.41/867.65	c  864s |      22 |  2151783 |  2031322 |     6755    687 |        0 |        0
869.51/869.71	c  866s |      22 |  2154179 |  2033722 |     6755    688 |        0 |        0
871.51/871.72	c  868s |      22 |  2157926 |  2037322 |     6755    689 |        0 |        0
873.51/873.73	c  870s |      22 |  2161690 |  2040922 |     6755    690 |        0 |        0
875.52/875.77	c  872s |      22 |  2165138 |  2044222 |     6755    691 |        0 |        0
877.72/877.98	c  874s |      22 |  2168491 |  2047122 |     6755    691 |        0 |        0
879.71/879.99	c  876s |      22 |  2172707 |  2050822 |     6755    692 |        0 |        0
881.81/882.00	c  878s |      22 |  2176746 |  2054222 |     6755    693 |        0 |        0
883.81/884.03	c  880s |      22 |  2181434 |  2058822 |     6755    695 |        0 |        0
885.81/886.07	c  882s |      22 |  2185239 |  2062522 |     6755    696 |        0 |        0
887.91/888.10	c  884s |      22 |  2188688 |  2065822 |     6755    696 |        0 |        0
889.91/890.12	c  886s |      22 |  2191474 |  2068522 |     6755    697 |        0 |        0
891.91/892.13	c  888s |      22 |  2194852 |  2071822 |     6755    698 |        0 |        0
893.90/894.15	c  890s |      22 |  2198410 |  2075322 |     6755    699 |        0 |        0
895.90/896.18	c  892s |      22 |  2202607 |  2079322 |     6755    700 |        0 |        0
898.00/898.23	c  894s |      22 |  2206517 |  2083122 |     6755    701 |        0 |        0
900.00/900.29	c  896s |      22 |  2209860 |  2086322 |     6755    702 |        0 |        0
902.10/902.36	c  899s |      22 |  2212602 |  2089022 |     6755    703 |        0 |        0
904.10/904.39	c  901s |      22 |  2216328 |  2092522 |     6755    704 |        0 |        0
906.20/906.43	c  903s |      22 |  2219197 |  2095322 |     6755    704 |        0 |        0
908.19/908.44	c  905s |      22 |  2222609 |  2098622 |     6755    705 |        0 |        0
910.19/910.45	c  907s |      22 |  2226644 |  2102622 |     6755    706 |        0 |        0
912.20/912.48	c  909s |      22 |  2230549 |  2106522 |     6755    707 |        0 |        0
914.20/914.49	c  911s |      22 |  2235039 |  2110722 |     6755    709 |        0 |        0
916.30/916.51	c  913s |      22 |  2240109 |  2115322 |     6755    710 |        0 |        0
918.30/918.57	c  915s |      22 |  2243339 |  2118322 |     6755    711 |        0 |        0
920.40/920.61	c  917s |      22 |  2248102 |  2122822 |     6755    712 |        0 |        0
922.40/922.63	c  919s |      22 |  2252570 |  2127122 |     6755    713 |        0 |        0
924.40/924.66	c  921s |      22 |  2256619 |  2130922 |     6755    714 |        0 |        0
926.39/926.67	c  923s |      22 |  2261490 |  2135122 |     6755    715 |        0 |        0
928.49/928.71	c  925s |      22 |  2266244 |  2139722 |     6755    716 |        0 |        0
930.50/930.75	c  927s |      22 |  2269537 |  2142922 |     6755    717 |        0 |        0
932.49/932.76	c  929s |      22 |  2273914 |  2147122 |     6755    718 |        0 |        0
934.59/934.81	c  931s |      22 |  2278015 |  2151122 |     6755    719 |        0 |        0
936.58/936.84	c  933s |      22 |  2281502 |  2154422 |     6755    720 |        0 |        0
938.58/938.86	c  935s |      22 |  2285097 |  2157722 |     6755    721 |        0 |        0
940.68/940.91	c  937s |      22 |  2289294 |  2161622 |     6755    722 |        0 |        0
942.68/942.93	c  939s |      22 |  2293703 |  2165822 |     6755    723 |        0 |        0
944.69/944.94	c  941s |      22 |  2299112 |  2171022 |     6755    725 |        0 |        0
946.68/946.95	c  943s |      22 |  2303881 |  2175522 |     6755    726 |        0 |        0
948.78/949.01	c  945s |      22 |  2308072 |  2179522 |     6755    727 |        0 |        0
950.78/951.06	c  947s |      22 |  2312143 |  2183422 |     6755    728 |        0 |        0
952.78/953.07	c  949s |      22 |  2316426 |  2187422 |     6755    729 |        0 |        0
954.88/955.11	c  951s |      22 |  2321126 |  2192022 |     6755    730 |        0 |        0
956.88/957.15	c  953s |      22 |  2326014 |  2196722 |     6755    732 |        0 |        0
958.87/959.17	c  955s |      22 |  2330500 |  2201122 |     6755    733 |        0 |        0
960.97/961.24	c  957s |      22 |  2335470 |  2205922 |     6755    734 |        0 |        0
962.97/963.25	c  959s |      22 |  2339922 |  2209922 |     6755    735 |        0 |        0
964.97/965.26	c  961s |      22 |  2344516 |  2214322 |     6755    736 |        0 |        0
966.97/967.26	c  963s |      22 |  2348893 |  2218522 |     6755    738 |        0 |        0
969.07/969.30	c  965s |      22 |  2354108 |  2223522 |     6755    739 |        0 |        0
971.08/971.33	c  967s |      22 |  2358619 |  2227822 |     7431    740 |        0 |        0
973.07/973.37	c  970s |      22 |  2362352 |  2231322 |     7431    741 |        0 |        0
975.17/975.42	c  972s |      22 |  2366475 |  2235222 |     7431    742 |        0 |        0
977.16/977.43	c  974s |      22 |  2370596 |  2239222 |     7431    743 |        0 |        0
979.16/979.45	c  976s |      22 |  2374953 |  2243322 |     7431    744 |        0 |        0
981.16/981.45	c  978s |      22 |  2378461 |  2246722 |     7431    745 |        0 |        0
982.96/983.27	c  979s |      23 |  2382969 |  2251038 |     7431    746 |        0 |        0
984.96/985.29	c  981s |      23 |  2390849 |  2258538 |     7431    748 |        0 |        0
987.06/987.30	c  983s |      23 |  2395996 |  2263338 |     7431    749 |        0 |        0
989.06/989.30	c  985s |      23 |  2400790 |  2267938 |     7431    750 |        0 |        0
991.06/991.32	c  987s |      23 |  2405641 |  2272338 |     7431    751 |        0 |        0
993.06/993.34	c  989s |      23 |  2409733 |  2276038 |     7431    752 |        0 |        0
995.06/995.36	c  991s |      23 |  2415081 |  2281138 |     7431    753 |        0 |        0
997.05/997.39	c  994s |      23 |  2420140 |  2285938 |     7431    754 |        0 |        0
999.15/999.42	c  996s |      23 |  2425305 |  2290638 |     7431    756 |        0 |        0
1001.15/1001.42	c  998s |      23 |  2430505 |  2295538 |     7431    757 |        0 |        0
1003.15/1003.43	c 1000s |      23 |  2435517 |  2300238 |     7431    758 |        0 |        0
1005.16/1005.48	c 1002s |      23 |  2440611 |  2305138 |     7431    759 |        0 |        0
1007.15/1007.48	c 1004s |      23 |  2445625 |  2309938 |     7431    760 |        0 |        0
1009.15/1009.48	c 1006s |      23 |  2450873 |  2314938 |     7431    762 |        0 |        0
1011.15/1011.48	c 1008s |      23 |  2455165 |  2319038 |     7431    763 |        0 |        0
1013.15/1013.49	c 1010s |      23 |  2460923 |  2324438 |     7431    764 |        0 |        0
1015.25/1015.54	c 1012s |      23 |  2465671 |  2328938 |     7431    765 |        0 |        0
1017.25/1017.56	c 1014s |      23 |  2470473 |  2333438 |     7431    766 |        0 |        0
1019.25/1019.58	c 1016s |      23 |  2475161 |  2337738 |     7431    767 |        0 |        0
1021.34/1021.62	c 1018s |      23 |  2479439 |  2341838 |     7431    768 |        0 |        0
1023.34/1023.65	c 1020s |      23 |  2484216 |  2346438 |     7431    770 |        0 |        0
1025.34/1025.68	c 1022s |      23 |  2490074 |  2352138 |     7431    771 |        0 |        0
1027.44/1027.72	c 1024s |      23 |  2495500 |  2357238 |     7431    772 |        0 |        0
1029.45/1029.77	c 1026s |      23 |  2500479 |  2361938 |     7431    773 |        0 |        0
1031.55/1031.81	c 1028s |      23 |  2505660 |  2366938 |     7431    775 |        0 |        0
1033.54/1033.82	c 1030s |      23 |  2511095 |  2372038 |     7431    776 |        0 |        0
1035.54/1035.86	c 1032s |      23 |  2515981 |  2376538 |     7431    777 |        0 |        0
1037.54/1037.88	c 1034s |      23 |  2520354 |  2380438 |     7431    778 |        0 |        0
1039.54/1039.89	c 1036s |      23 |  2524034 |  2383738 |     7431    779 |        0 |        0
1041.54/1041.89	c 1038s |      23 |  2528949 |  2388438 |     7431    780 |        0 |        0
1043.64/1043.93	c 1040s |      23 |  2533747 |  2393038 |     7431    781 |        0 |        0
1045.63/1045.94	c 1042s |      23 |  2538613 |  2397538 |     7431    782 |        0 |        0
1047.73/1048.01	c 1044s |      23 |  2543233 |  2402038 |     7431    783 |        0 |        0
1049.73/1050.04	c 1046s |      23 |  2548002 |  2406538 |     7431    785 |        0 |        0
1051.73/1052.08	c 1048s |      23 |  2552644 |  2410938 |     7431    786 |        0 |        0
1053.74/1054.09	c 1050s |      23 |  2557211 |  2415238 |     7431    787 |        0 |        0
1055.85/1056.12	c 1052s |      23 |  2560923 |  2418638 |     7431    788 |        0 |        0
1057.84/1058.15	c 1054s |      23 |  2565604 |  2423038 |     7431    789 |        0 |        0
1059.83/1060.18	c 1056s |      23 |  2570223 |  2427238 |     7431    790 |        0 |        0
1061.93/1062.20	c 1058s |      23 |  2575372 |  2432038 |     7431    791 |        0 |        0
1063.93/1064.21	c 1060s |      23 |  2579920 |  2436338 |     7431    792 |        0 |        0
1065.93/1066.23	c 1062s |      23 |  2584216 |  2440438 |     7431    793 |        0 |        0
1067.93/1068.26	c 1064s |      23 |  2588263 |  2444238 |     7431    794 |        0 |        0
1069.93/1070.26	c 1066s |      23 |  2592731 |  2448238 |     7431    795 |        0 |        0
1072.03/1072.32	c 1068s |      23 |  2597367 |  2452438 |     7431    796 |        0 |        0
1074.03/1074.36	c 1071s |      23 |  2601615 |  2456238 |     7431    797 |        0 |        0
1076.03/1076.37	c 1073s |      23 |  2605731 |  2459838 |     7431    798 |        0 |        0
1078.02/1078.39	c 1075s |      23 |  2610270 |  2463838 |     7431    799 |        0 |        0
1080.12/1080.43	c 1077s |      23 |  2614890 |  2468038 |     7431    800 |        0 |        0
1082.13/1082.45	c 1079s |      23 |  2619191 |  2471938 |     7431    801 |        0 |        0
1084.12/1084.45	c 1081s |      23 |  2623601 |  2475938 |     7431    802 |        0 |        0
1086.12/1086.46	c 1083s |      23 |  2627766 |  2479638 |     7431    803 |        0 |        0
1088.12/1088.48	c 1085s |      23 |  2632059 |  2483538 |     7431    804 |        0 |        0
1090.22/1090.51	c 1087s |      23 |  2636835 |  2488038 |     7431    805 |        0 |        0
1092.22/1092.55	c 1089s |      23 |  2640938 |  2491838 |     7431    806 |        0 |        0
1094.22/1094.56	c 1091s |      23 |  2645013 |  2495438 |     7431    807 |        0 |        0
1096.21/1096.59	c 1093s |      23 |  2649104 |  2499238 |     7431    808 |        0 |        0
1098.31/1098.61	c 1095s |      23 |  2653458 |  2503238 |     7431    809 |        0 |        0
1100.31/1100.65	c 1097s |      23 |  2657632 |  2507038 |     7431    810 |        0 |        0
1102.31/1102.67	c 1099s |      23 |  2661624 |  2510438 |     7431    811 |        0 |        0
1104.31/1104.68	c 1101s |      23 |  2665718 |  2514038 |     7431    812 |        0 |        0
1106.31/1106.69	c 1103s |      23 |  2670437 |  2518138 |     7431    813 |        0 |        0
1108.40/1108.70	c 1105s |      23 |  2674594 |  2521838 |     7431    814 |        0 |        0
1110.40/1110.71	c 1107s |      23 |  2678914 |  2525638 |     7431    814 |        0 |        0
1112.40/1112.73	c 1109s |      23 |  2683186 |  2529438 |     7431    815 |        0 |        0
1114.40/1114.76	c 1111s |      23 |  2687847 |  2533638 |     7431    817 |        0 |        0
1116.40/1116.80	c 1113s |      23 |  2692427 |  2537938 |     7431    818 |        0 |        0
1118.51/1118.83	c 1115s |      23 |  2696780 |  2541838 |     7431    819 |        0 |        0
1120.50/1120.84	c 1117s |      23 |  2701353 |  2545938 |     7431    820 |        0 |        0
1122.60/1122.91	c 1119s |      23 |  2705649 |  2549638 |     7431    821 |        0 |        0
1124.60/1124.94	c 1121s |      23 |  2710359 |  2553838 |     7431    822 |        0 |        0
1126.59/1126.99	c 1123s |      23 |  2714697 |  2557738 |     7431    823 |        0 |        0
1128.69/1129.01	c 1125s |      23 |  2718948 |  2561538 |     7431    823 |        0 |        0
1130.69/1131.01	c 1127s |      23 |  2723499 |  2565738 |     7431    825 |        0 |        0
1132.70/1133.01	c 1129s |      23 |  2728183 |  2569938 |     7431    826 |        0 |        0
1134.69/1135.06	c 1131s |      23 |  2732898 |  2574038 |     7431    827 |        0 |        0
1136.69/1137.06	c 1133s |      23 |  2737914 |  2578638 |     7431    828 |        0 |        0
1138.79/1139.10	c 1135s |      23 |  2741646 |  2582038 |     7431    829 |        0 |        0
1140.79/1141.15	c 1137s |      23 |  2745478 |  2585438 |     7431    829 |        0 |        0
1142.79/1143.19	c 1139s |      23 |  2749388 |  2589038 |     7431    830 |        0 |        0
1144.89/1145.23	c 1141s |      23 |  2753103 |  2592638 |     7431    831 |        0 |        0
1146.88/1147.24	c 1143s |      23 |  2756989 |  2596338 |     7431    832 |        0 |        0
1148.88/1149.25	c 1145s |      23 |  2760807 |  2599838 |     7431    833 |        0 |        0
1150.88/1151.27	c 1147s |      23 |  2764961 |  2603438 |     7431    834 |        0 |        0
1152.98/1153.31	c 1149s |      23 |  2769414 |  2607438 |     7431    835 |        0 |        0
1154.98/1155.34	c 1151s |      23 |  2773887 |  2611738 |     7431    836 |        0 |        0
1156.98/1157.38	c 1154s |      23 |  2778504 |  2615938 |     7431    837 |        0 |        0
1159.08/1159.43	c 1156s |      23 |  2782877 |  2619838 |     7431    838 |        0 |        0
1161.07/1161.46	c 1158s |      23 |  2786408 |  2623038 |     7431    839 |        0 |        0
1163.07/1163.46	c 1160s |      23 |  2790447 |  2626638 |     7431    840 |        0 |        0
1165.07/1165.48	c 1162s |      23 |  2795152 |  2630838 |     7431    841 |        0 |        0
1167.07/1167.48	c 1164s |      23 |  2799739 |  2635238 |     7431    842 |        0 |        0
1169.17/1169.52	c 1166s |      23 |  2804045 |  2639238 |     7431    843 |        0 |        0
1171.18/1171.55	c 1168s |      23 |  2807929 |  2642738 |     7431    844 |        0 |        0
1173.27/1173.61	c 1170s |      23 |  2812021 |  2646338 |     7431    845 |        0 |        0
1175.27/1175.67	c 1172s |      23 |  2816192 |  2649938 |     7431    846 |        0 |        0
1177.36/1177.75	c 1174s |      23 |  2820269 |  2653338 |     7431    846 |        0 |        0
1179.36/1179.78	c 1176s |      23 |  2824512 |  2657138 |     7431    847 |        0 |        0
1181.46/1181.80	c 1178s |      23 |  2829204 |  2661238 |     7431    848 |        0 |        0
1183.46/1183.86	c 1180s |      23 |  2833089 |  2664738 |     7431    849 |        0 |        0
1185.47/1185.88	c 1182s |      23 |  2837319 |  2668438 |     7431    850 |        0 |        0
1187.56/1187.94	c 1184s |      23 |  2841680 |  2672238 |     7431    851 |        0 |        0
1189.56/1189.94	c 1186s |      23 |  2846080 |  2676338 |     7431    852 |        0 |        0
1191.56/1191.96	c 1188s |      23 |  2850523 |  2680438 |     7431    853 |        0 |        0
1193.56/1193.96	c 1190s |      23 |  2854206 |  2683838 |     7431    854 |        0 |        0
1195.66/1196.01	c 1192s |      23 |  2857726 |  2687138 |     7431    855 |        0 |        0
1197.66/1198.05	c 1194s |      23 |  2861564 |  2690638 |     7431    856 |        0 |        0
1199.65/1200.07	c 1196s |      23 |  2866769 |  2695638 |     7431    857 |        0 |        0
1201.65/1202.08	c 1198s |      23 |  2871216 |  2699738 |     7431    858 |        0 |        0
1203.75/1204.15	c 1200s |      23 |  2875281 |  2703338 |     7431    859 |        0 |        0
1205.75/1206.16	c 1202s |      23 |  2879520 |  2707038 |     7431    860 |        0 |        0
1207.75/1208.17	c 1204s |      23 |  2883416 |  2710538 |     7431    861 |        0 |        0
1209.85/1210.21	c 1206s |      23 |  2886950 |  2713738 |     7431    862 |        0 |        0
1211.96/1212.31	c 1208s |      23 |  2891259 |  2717338 |     7431    863 |        0 |        0
1213.95/1214.36	c 1211s |      23 |  2895515 |  2721338 |     7431    864 |        0 |        0
1216.05/1216.40	c 1213s |      23 |  2899827 |  2725438 |     7431    865 |        0 |        0
1218.04/1218.43	c 1215s |      23 |  2904347 |  2729538 |     7431    866 |        0 |        0
1220.04/1220.46	c 1217s |      23 |  2908843 |  2733438 |     7431    867 |        0 |        0
1222.04/1222.47	c 1219s |      23 |  2913366 |  2737638 |     7431    868 |        0 |        0
1224.14/1224.51	c 1221s |      23 |  2917579 |  2741538 |     7431    869 |        0 |        0
1226.15/1226.54	c 1223s |      23 |  2921700 |  2745238 |     7431    869 |        0 |        0
1228.14/1228.56	c 1225s |      23 |  2926318 |  2749538 |     7431    871 |        0 |        0
1230.14/1230.56	c 1227s |      23 |  2930373 |  2753338 |     7431    872 |        0 |        0
1232.14/1232.58	c 1229s |      23 |  2934187 |  2756738 |     7431    872 |        0 |        0
1234.24/1234.61	c 1231s |      23 |  2938359 |  2760338 |     7431    873 |        0 |        0
1236.24/1236.67	c 1233s |      23 |  2942737 |  2764338 |     7431    874 |        0 |        0
1238.34/1238.72	c 1235s |      23 |  2947280 |  2768538 |     7431    875 |        0 |        0
1240.33/1240.77	c 1237s |      23 |  2951291 |  2772238 |     7431    876 |        0 |        0
1242.33/1242.78	c 1239s |      23 |  2955001 |  2775738 |     7431    877 |        0 |        0
1244.33/1244.79	c 1241s |      23 |  2958943 |  2779538 |     7431    878 |        0 |        0
1246.43/1246.85	c 1243s |      23 |  2962795 |  2783238 |     7431    879 |        0 |        0
1248.43/1248.87	c 1245s |      23 |  2966971 |  2787138 |     7431    880 |        0 |        0
1250.43/1250.89	c 1247s |      23 |  2971140 |  2791038 |     7431    881 |        0 |        0
1252.53/1252.91	c 1249s |      23 |  2974853 |  2794538 |     7431    882 |        0 |        0
1254.52/1254.94	c 1251s |      23 |  2979410 |  2798738 |     7431    883 |        0 |        0
1256.52/1256.96	c 1253s |      23 |  2983677 |  2802538 |     7431    884 |        0 |        0
1258.62/1259.01	c 1255s |      23 |  2987619 |  2806138 |     7431    885 |        0 |        0
1260.62/1261.04	c 1257s |      23 |  2991325 |  2809538 |     7431    886 |        0 |        0
1262.62/1263.05	c 1259s |      23 |  2995304 |  2813238 |     7431    887 |        0 |        0
1264.64/1265.10	c 1261s |      23 |  2999424 |  2816838 |     7431    887 |        0 |        0
1266.73/1267.11	c 1263s |      23 |  3003248 |  2820538 |     7431    888 |        0 |        0
1268.73/1269.12	c 1265s |      23 |  3006663 |  2823838 |     7431    889 |        0 |        0
1270.72/1271.15	c 1267s |      23 |  3010853 |  2827738 |     7431    890 |        0 |        0
1272.72/1273.17	c 1269s |      23 |  3014552 |  2831238 |     7431    891 |        0 |        0
1274.72/1275.19	c 1271s |      23 |  3018514 |  2834838 |     7431    892 |        0 |        0
1276.83/1277.21	c 1273s |      23 |  3022668 |  2838638 |     7431    893 |        0 |        0
1278.82/1279.22	c 1275s |      23 |  3026456 |  2842038 |     7431    894 |        0 |        0
1280.82/1281.22	c 1277s |      23 |  3030113 |  2845538 |     7431    895 |        0 |        0
1282.82/1283.24	c 1279s |      23 |  3034142 |  2849238 |     7431    896 |        0 |        0
1284.82/1285.26	c 1281s |      23 |  3037895 |  2852838 |     7431    896 |        0 |        0
1286.81/1287.26	c 1283s |      23 |  3041678 |  2856538 |     7431    897 |        0 |        0
1288.92/1289.31	c 1285s |      23 |  3045251 |  2860038 |     7431    898 |        0 |        0
1290.91/1291.34	c 1287s |      23 |  3049519 |  2864138 |     7431    899 |        0 |        0
1292.91/1293.39	c 1290s |      23 |  3054721 |  2869038 |     7431    901 |        0 |        0
1294.91/1295.39	c 1292s |      23 |  3059896 |  2873838 |     7431    902 |        0 |        0
1297.01/1297.40	c 1294s |      23 |  3064876 |  2878338 |     7431    903 |        0 |        0
1299.01/1299.43	c 1296s |      23 |  3069575 |  2882638 |     7431    904 |        0 |        0
1301.01/1301.49	c 1298s |      23 |  3074113 |  2886638 |     7431    905 |        0 |        0
1303.01/1303.49	c 1300s |      23 |  3078287 |  2890438 |     7431    906 |        0 |        0
1305.11/1305.54	c 1302s |      23 |  3082481 |  2894338 |     7431    907 |        0 |        0
1307.10/1307.59	c 1304s |      23 |  3086502 |  2898238 |     7431    908 |        0 |        0
1309.20/1309.60	c 1306s |      23 |  3090212 |  2901638 |     7431    909 |        0 |        0
1311.20/1311.62	c 1308s |      23 |  3093996 |  2904938 |     7431    910 |        0 |        0
1313.20/1313.66	c 1310s |      23 |  3098222 |  2908638 |     7431    910 |        0 |        0
1315.21/1315.67	c 1312s |      23 |  3102518 |  2912538 |     7431    911 |        0 |        0
1317.29/1317.71	c 1314s |      23 |  3106348 |  2916138 |     7431    912 |        0 |        0
1319.29/1319.79	c 1316s |      23 |  3111363 |  2920938 |     7431    914 |        0 |        0
1321.39/1321.83	c 1318s |      23 |  3115186 |  2924538 |     7431    914 |        0 |        0
1323.39/1323.85	c 1320s |      23 |  3118745 |  2927938 |     7431    915 |        0 |        0
1325.39/1325.89	c 1322s |      23 |  3123385 |  2932338 |     7431    916 |        0 |        0
1327.39/1327.89	c 1324s |      23 |  3127203 |  2935838 |     7431    917 |        0 |        0
1329.49/1329.93	c 1326s |      23 |  3131132 |  2939438 |     7431    918 |        0 |        0
1331.48/1331.93	c 1328s |      23 |  3135578 |  2943538 |     7431    919 |        0 |        0
1333.48/1333.93	c 1330s |      23 |  3139869 |  2947438 |     7431    920 |        0 |        0
1335.48/1335.96	c 1332s |      23 |  3143595 |  2950938 |     7431    921 |        0 |        0
1337.48/1337.96	c 1334s |      23 |  3147882 |  2954938 |     7431    922 |        0 |        0
1339.59/1340.01	c 1336s |      23 |  3152187 |  2958938 |     7431    923 |        0 |        0
1341.59/1342.02	c 1338s |      23 |  3156353 |  2962538 |     7431    924 |        0 |        0
1343.59/1344.04	c 1340s |      23 |  3160282 |  2966038 |     7431    925 |        0 |        0
1345.59/1346.07	c 1342s |      23 |  3164662 |  2970038 |     7431    926 |        0 |        0
1347.58/1348.08	c 1344s |      23 |  3168474 |  2973638 |     7431    927 |        0 |        0
1349.68/1350.11	c 1346s |      23 |  3172216 |  2977238 |     7431    928 |        0 |        0
1351.68/1352.12	c 1348s |      23 |  3176179 |  2981038 |     7431    929 |        0 |        0
1353.69/1354.16	c 1350s |      23 |  3181129 |  2985738 |     7431    930 |        0 |        0
1355.78/1356.20	c 1352s |      23 |  3184939 |  2989438 |     7431    931 |        0 |        0
1357.77/1358.22	c 1354s |      23 |  3189489 |  2993838 |     7431    932 |        0 |        0
1359.77/1360.28	c 1356s |      23 |  3193157 |  2997338 |     7431    933 |        0 |        0
1361.77/1362.28	c 1358s |      23 |  3197052 |  3000738 |     7431    934 |        0 |        0
1363.87/1364.30	c 1360s |      23 |  3200939 |  3004238 |     7431    934 |        0 |        0
1365.88/1366.33	c 1362s |      23 |  3205226 |  3008338 |     7431    935 |        0 |        0
1367.87/1368.37	c 1365s |      23 |  3208715 |  3011638 |     7431    936 |        0 |        0
1369.97/1370.41	c 1367s |      23 |  3212311 |  3014838 |     7431    937 |        0 |        0
1371.97/1372.43	c 1369s |      23 |  3216411 |  3018538 |     7431    938 |        0 |        0
1373.97/1374.49	c 1371s |      23 |  3220306 |  3022238 |     7431    939 |        0 |        0
1376.07/1376.54	c 1373s |      23 |  3223814 |  3025538 |     7431    940 |        0 |        0
1378.07/1378.55	c 1375s |      23 |  3227377 |  3028838 |     7431    941 |        0 |        0
1380.07/1380.58	c 1377s |      23 |  3231375 |  3032638 |     7431    942 |        0 |        0
1382.16/1382.62	c 1379s |      23 |  3235044 |  3036238 |     7431    942 |        0 |        0
1384.16/1384.63	c 1381s |      23 |  3238313 |  3039438 |     7431    943 |        0 |        0
1386.16/1386.66	c 1383s |      23 |  3242560 |  3043538 |     7431    944 |        0 |        0
1388.16/1388.69	c 1385s |      23 |  3246157 |  3046838 |     7431    945 |        0 |        0
1390.26/1390.70	c 1387s |      23 |  3249595 |  3050038 |     7431    946 |        0 |        0
1392.27/1392.74	c 1389s |      23 |  3253158 |  3053438 |     7431    947 |        0 |        0
1394.26/1394.79	c 1391s |      23 |  3256560 |  3056438 |     7431    948 |        0 |        0
1396.35/1396.82	c 1393s |      23 |  3260405 |  3060138 |     7431    948 |        0 |        0
1398.35/1398.84	c 1395s |      23 |  3264013 |  3063638 |     7431    949 |        0 |        0
1400.35/1400.88	c 1397s |      23 |  3267845 |  3067238 |     7431    950 |        0 |        0
1402.45/1402.90	c 1399s |      23 |  3271765 |  3070938 |     7431    951 |        0 |        0
1404.45/1404.92	c 1401s |      23 |  3275521 |  3074338 |     7431    952 |        0 |        0
1406.46/1406.95	c 1403s |      23 |  3278933 |  3077538 |     7431    953 |        0 |        0
1408.45/1408.96	c 1405s |      23 |  3282464 |  3080838 |     7431    954 |        0 |        0
1410.45/1410.96	c 1407s |      23 |  3286155 |  3084338 |     7431    955 |        0 |        0
1412.55/1413.01	c 1409s |      23 |  3290129 |  3088038 |     7431    955 |        0 |        0
1414.55/1415.04	c 1411s |      23 |  3294328 |  3092138 |     7431    956 |        0 |        0
1416.55/1417.09	c 1413s |      23 |  3297959 |  3095638 |     7431    957 |        0 |        0
1418.66/1419.13	c 1415s |      23 |  3302337 |  3099838 |     7431    958 |        0 |        0
1420.65/1421.17	c 1417s |      23 |  3306351 |  3103538 |     7431    959 |        0 |        0
1422.75/1423.20	c 1419s |      23 |  3309707 |  3106638 |     7431    960 |        0 |        0
1424.75/1425.22	c 1421s |      23 |  3313563 |  3110138 |     7431    961 |        0 |        0
1426.75/1427.27	c 1423s |      23 |  3317267 |  3113538 |     7431    962 |        0 |        0
1428.85/1429.31	c 1425s |      23 |  3320820 |  3116838 |     7431    963 |        0 |        0
1430.85/1431.38	c 1428s |      23 |  3324578 |  3120438 |     7431    964 |        0 |        0
1432.95/1433.49	c 1430s |      23 |  3328606 |  3124238 |     7431    965 |        0 |        0
1435.05/1435.54	c 1432s |      23 |  3332270 |  3127738 |     7431    965 |        0 |        0
1437.04/1437.59	c 1434s |      23 |  3335850 |  3131238 |     7431    966 |        0 |        0
1439.14/1439.62	c 1436s |      23 |  3339239 |  3134538 |     7431    967 |        0 |        0
1441.14/1441.64	c 1438s |      23 |  3342645 |  3137838 |     7431    968 |        0 |        0
1443.14/1443.66	c 1440s |      23 |  3345962 |  3141038 |     7431    969 |        0 |        0
1445.14/1445.67	c 1442s |      23 |  3349582 |  3144538 |     7431    970 |        0 |        0
1447.15/1447.69	c 1444s |      23 |  3355500 |  3150338 |     7431    971 |        0 |        0
1449.24/1449.76	c 1446s |      23 |  3360107 |  3154838 |     7431    972 |        0 |        0
1451.24/1451.76	c 1448s |      23 |  3364271 |  3158838 |     7431    973 |        0 |        0
1453.44/1453.92	c 1450s |      23 |  3367908 |  3162338 |     7431    974 |        0 |        0
1455.44/1455.96	c 1452s |      23 |  3372181 |  3166538 |     7431    975 |        0 |        0
1457.44/1457.99	c 1454s |      23 |  3376612 |  3170738 |     7431    976 |        0 |        0
1459.54/1460.03	c 1456s |      23 |  3380941 |  3174938 |     7431    977 |        0 |        0
1461.54/1462.04	c 1458s |      23 |  3384723 |  3178438 |     7431    978 |        0 |        0
1463.54/1464.06	c 1460s |      23 |  3389102 |  3182538 |     7431    979 |        0 |        0
1465.64/1466.10	c 1462s |      23 |  3392212 |  3185438 |     7431    980 |        0 |        0
1467.64/1468.14	c 1464s |      23 |  3396550 |  3189438 |     7431    981 |        0 |        0
1469.73/1470.20	c 1466s |      23 |  3400980 |  3193438 |     7431    982 |        0 |        0
1471.73/1472.25	c 1468s |      23 |  3404617 |  3196838 |     7431    983 |        0 |        0
1473.73/1474.28	c 1470s |      23 |  3409223 |  3201138 |     7431    984 |        0 |        0
1475.84/1476.32	c 1472s |      23 |  3414687 |  3206338 |     7431    985 |        0 |        0
1477.83/1478.35	c 1474s |      23 |  3419548 |  3210838 |     7431    986 |        0 |        0
1479.83/1480.38	c 1477s |      23 |  3424543 |  3215638 |     7431    987 |        0 |        0
1481.93/1482.44	c 1479s |      23 |  3429334 |  3220138 |     7431    989 |        0 |        0
1483.93/1484.49	c 1481s |      23 |  3433598 |  3224038 |     7431    990 |        0 |        0
1485.93/1486.49	c 1483s |      23 |  3438450 |  3228638 |     7431    991 |        0 |        0
1488.03/1488.50	c 1485s |      23 |  3442616 |  3232538 |     7431    992 |        0 |        0
1490.04/1490.51	c 1487s |      23 |  3446163 |  3235738 |     7431    992 |        0 |        0
1492.04/1492.53	c 1489s |      23 |  3450020 |  3239238 |     7431    993 |        0 |        0
1494.04/1494.59	c 1491s |      23 |  3454656 |  3243338 |     7431    994 |        0 |        0
1496.14/1496.61	c 1493s |      23 |  3459222 |  3247338 |     7431    995 |        0 |        0
1498.14/1498.62	c 1495s |      23 |  3463760 |  3251538 |     7431    996 |        0 |        0
1500.14/1500.65	c 1497s |      23 |  3468107 |  3255438 |     7431    997 |        0 |        0
1502.14/1502.68	c 1499s |      23 |  3472027 |  3258938 |     7431    998 |        0 |        0
1504.14/1504.69	c 1501s |      23 |  3477779 |  3264538 |     7431   1000 |        0 |        0
1506.24/1506.72	c 1503s |      23 |  3482478 |  3269138 |     7431   1001 |        0 |        0
1508.24/1508.76	c 1505s |      23 |  3487954 |  3274538 |     7431   1002 |        0 |        0
1510.33/1510.80	c 1507s |      23 |  3492818 |  3279238 |     7431   1003 |        0 |        0
1512.33/1512.83	c 1509s |      23 |  3497083 |  3283438 |     7431   1004 |        0 |        0
1514.34/1514.87	c 1511s |      23 |  3500876 |  3287138 |     7431   1005 |        0 |        0
1516.33/1516.88	c 1513s |      23 |  3505668 |  3291738 |     7431   1006 |        0 |        0
1518.33/1518.89	c 1515s |      23 |  3509714 |  3295438 |     7431   1007 |        0 |        0
1520.43/1520.91	c 1517s |      23 |  3513864 |  3299438 |     7431   1008 |        0 |        0
1522.43/1522.92	c 1519s |      23 |  3518446 |  3303838 |     7431   1009 |        0 |        0
1524.43/1524.94	c 1521s |      23 |  3523767 |  3308938 |     7431   1011 |        0 |        0
1526.44/1526.95	c 1523s |      23 |  3528684 |  3313638 |     7431   1012 |        0 |        0
1528.43/1529.00	c 1525s |      23 |  3532773 |  3317438 |     7431   1013 |        0 |        0
1530.53/1531.02	c 1527s |      23 |  3536816 |  3321238 |     7431   1014 |        0 |        0
1532.53/1533.04	c 1529s |      23 |  3540734 |  3324938 |     7431   1015 |        0 |        0
1534.53/1535.08	c 1531s |      23 |  3544741 |  3328738 |     7431   1016 |        0 |        0
1536.53/1537.09	c 1533s |      23 |  3549588 |  3333338 |     7431   1017 |        0 |        0
1538.63/1539.12	c 1535s |      23 |  3554241 |  3337838 |     7431   1018 |        0 |        0
1540.64/1541.15	c 1537s |      23 |  3558584 |  3341938 |     7431   1019 |        0 |        0
1542.63/1543.19	c 1539s |      23 |  3563379 |  3346538 |     8175   1020 |        0 |        0
1544.73/1545.25	c 1541s |      23 |  3567380 |  3350438 |     8175   1021 |        0 |        0
1546.83/1547.30	c 1543s |      23 |  3571010 |  3353938 |     8175   1022 |        0 |        0
1548.83/1549.32	c 1545s |      23 |  3576269 |  3358938 |     8175   1023 |        0 |        0
1550.83/1551.34	c 1547s |      23 |  3580187 |  3362538 |     8175   1023 |        0 |        0
1552.83/1553.38	c 1550s |      23 |  3583669 |  3365838 |     8175   1024 |        0 |        0
1554.83/1555.39	c 1552s |      23 |  3588945 |  3370938 |     8175   1025 |        0 |        0
1556.93/1557.44	c 1554s |      23 |  3593439 |  3375338 |     8175   1026 |        0 |        0
1557.63/1558.17	c 1554s |      24 |  3594778 |  3376662 |     8175   1027 |        0 |        0
1559.62/1560.19	c 1556s |      24 |  3598235 |  3379862 |     8175   1027 |        0 |        0
1561.72/1562.22	c 1558s |      24 |  3602368 |  3383962 |     8175   1028 |        0 |        0
1563.73/1564.23	c 1560s |      24 |  3606487 |  3387962 |     8175   1029 |        0 |        0
1565.93/1566.46	c 1563s |      24 |  3607904 |  3388962 |     8175   1030 |        0 |        0
1567.92/1568.48	c 1565s |      24 |  3609904 |  3390662 |     8175   1030 |        0 |        0
1570.12/1570.65	c 1567s |      24 |  3611362 |  3391862 |     8175   1030 |        0 |        0
1572.12/1572.66	c 1569s |      24 |  3612702 |  3392762 |     8175   1030 |        0 |        0
1574.12/1574.69	c 1571s |      24 |  3615263 |  3395062 |     8175   1031 |        0 |        0
1576.22/1576.74	c 1573s |      24 |  3618217 |  3397962 |     8175   1032 |        0 |        0
1578.22/1578.75	c 1575s |      24 |  3621353 |  3401062 |     8175   1032 |        0 |        0
1580.23/1580.77	c 1577s |      24 |  3625187 |  3404862 |     8175   1033 |        0 |        0
1582.32/1582.88	c 1579s |      24 |  3628036 |  3407562 |     8175   1034 |        0 |        0
1584.42/1584.99	c 1581s |      24 |  3629507 |  3408562 |     8175   1034 |        0 |        0
1586.52/1587.02	c 1583s |      24 |  3630938 |  3409562 |     8175   1034 |        0 |        0
1588.52/1589.05	c 1585s |      24 |  3633560 |  3411862 |     8175   1035 |        0 |        0
1590.62/1591.10	c 1587s |      24 |  3635797 |  3413962 |     8175   1035 |        0 |        0
1592.62/1593.15	c 1589s |      24 |  3637307 |  3415062 |     8175   1035 |        0 |        0
1594.63/1595.16	c 1591s |      24 |  3638765 |  3415962 |     8175   1036 |        0 |        0
1596.83/1597.35	c 1593s |      24 |  3641125 |  3417362 |     8175   1036 |        0 |        0
1598.82/1599.37	c 1596s |      24 |  3643264 |  3418562 |     8175   1036 |        0 |        0
1600.92/1601.45	c 1598s |      24 |  3646896 |  3422162 |     8175   1037 |        0 |        0
1603.02/1603.60	c 1600s |      24 |  3649278 |  3423562 |     8175   1037 |        0 |        0
1605.22/1605.73	c 1602s |      24 |  3652188 |  3424962 |     8175   1038 |        0 |        0
1607.22/1607.76	c 1604s |      24 |  3655531 |  3427362 |     8175   1038 |        0 |        0
1609.32/1609.80	c 1606s |      24 |  3659514 |  3431262 |     8175   1039 |        0 |        0
1611.32/1611.84	c 1608s |      24 |  3663208 |  3434862 |     8175   1040 |        0 |        0
1613.32/1613.85	c 1610s |      24 |  3666871 |  3438162 |     8175   1041 |        0 |        0
1615.32/1615.86	c 1612s |      24 |  3670275 |  3441362 |     8175   1041 |        0 |        0
1617.32/1617.87	c 1614s |      24 |  3674351 |  3443762 |     8175   1042 |        0 |        0
1619.42/1619.91	c 1616s |      24 |  3677670 |  3446562 |     8175   1043 |        0 |        0
1621.42/1621.95	c 1618s |      24 |  3682565 |  3449862 |     8175   1043 |        0 |        0
1623.42/1623.97	c 1620s |      24 |  3686712 |  3453562 |     8175   1044 |        0 |        0
1625.51/1626.02	c 1622s |      24 |  3688907 |  3455662 |     8175   1045 |        0 |        0
1627.52/1628.08	c 1624s |      24 |  3692781 |  3459362 |     8175   1045 |        0 |        0
1629.61/1630.14	c 1626s |      24 |  3695448 |  3461862 |     8175   1046 |        0 |        0
1631.61/1632.15	c 1628s |      24 |  3698750 |  3465062 |     8175   1047 |        0 |        0
1633.61/1634.18	c 1630s |      24 |  3702042 |  3468062 |     8175   1047 |        0 |        0
1635.71/1636.27	c 1632s |      24 |  3705428 |  3471262 |     8175   1048 |        0 |        0
1637.71/1638.28	c 1634s |      24 |  3709459 |  3475162 |     8175   1049 |        0 |        0
1639.81/1640.32	c 1636s |      24 |  3712991 |  3478562 |     8175   1050 |        0 |        0
1641.82/1642.33	c 1638s |      24 |  3716914 |  3482462 |     8175   1051 |        0 |        0
1643.81/1644.34	c 1640s |      24 |  3720738 |  3486262 |     8175   1052 |        0 |        0
1645.81/1646.35	c 1642s |      24 |  3723994 |  3489462 |     8175   1052 |        0 |        0
1647.81/1648.37	c 1645s |      24 |  3727460 |  3492762 |     8175   1053 |        0 |        0
1649.81/1650.39	c 1647s |      24 |  3730975 |  3496162 |     8175   1054 |        0 |        0
1651.91/1652.40	c 1649s |      24 |  3734334 |  3499362 |     8175   1054 |        0 |        0
1653.92/1654.46	c 1651s |      24 |  3737773 |  3502662 |     8175   1055 |        0 |        0
1656.01/1656.52	c 1653s |      24 |  3740980 |  3505762 |     8175   1056 |        0 |        0
1658.01/1658.53	c 1655s |      24 |  3742918 |  3507562 |     8175   1056 |        0 |        0
1660.11/1660.60	c 1657s |      24 |  3746208 |  3510462 |     8175   1057 |        0 |        0
1662.11/1662.62	c 1659s |      24 |  3749448 |  3513262 |     8175   1058 |        0 |        0
1664.11/1664.63	c 1661s |      24 |  3752674 |  3516262 |     8175   1058 |        0 |        0
1666.11/1666.69	c 1663s |      24 |  3755481 |  3518962 |     8175   1059 |        0 |        0
1668.21/1668.78	c 1665s |      24 |  3758372 |  3521562 |     8175   1059 |        0 |        0
1670.31/1670.81	c 1667s |      24 |  3761522 |  3524562 |     8175   1060 |        0 |        0
1672.30/1672.85	c 1669s |      24 |  3764246 |  3527162 |     8175   1061 |        0 |        0
1674.30/1674.88	c 1671s |      24 |  3767563 |  3530262 |     8175   1061 |        0 |        0
1676.40/1676.93	c 1673s |      24 |  3770943 |  3533462 |     8175   1062 |        0 |        0
1678.40/1678.98	c 1675s |      24 |  3773776 |  3536162 |     8175   1063 |        0 |        0
1680.50/1681.08	c 1677s |      24 |  3777257 |  3539362 |     8175   1064 |        0 |        0
1682.61/1683.11	c 1679s |      24 |  3780511 |  3542462 |     8175   1064 |        0 |        0
1684.60/1685.14	c 1681s |      24 |  3783335 |  3545162 |     8175   1065 |        0 |        0
1686.60/1687.16	c 1683s |      24 |  3786351 |  3547962 |     8175   1065 |        0 |        0
1688.60/1689.18	c 1685s |      24 |  3789336 |  3550762 |     8175   1066 |        0 |        0
1690.70/1691.23	c 1687s |      24 |  3792186 |  3553462 |     8175   1067 |        0 |        0
1692.70/1693.24	c 1689s |      24 |  3795637 |  3556562 |     8175   1067 |        0 |        0
1694.80/1695.36	c 1692s |      24 |  3798668 |  3559362 |     8175   1068 |        0 |        0
1696.81/1697.37	c 1694s |      24 |  3801451 |  3561662 |     8175   1069 |        0 |        0
1698.80/1699.39	c 1696s |      24 |  3805171 |  3565162 |     8175   1069 |        0 |        0
1700.90/1701.40	c 1698s |      24 |  3807956 |  3567762 |     8175   1070 |        0 |        0
1702.90/1703.41	c 1700s |      24 |  3810809 |  3570262 |     8175   1071 |        0 |        0
1705.00/1705.50	c 1702s |      24 |  3812887 |  3572162 |     8175   1071 |        0 |        0
1707.10/1707.63	c 1704s |      24 |  3815182 |  3574262 |     8175   1071 |        0 |        0
1709.20/1709.75	c 1706s |      24 |  3817514 |  3576462 |     8175   1072 |        0 |        0
1711.30/1711.82	c 1708s |      24 |  3820084 |  3578862 |     8175   1073 |        0 |        0
1713.31/1713.85	c 1710s |      24 |  3823490 |  3582062 |     8175   1073 |        0 |        0
1715.31/1715.89	c 1712s |      24 |  3826382 |  3584762 |     8175   1074 |        0 |        0
1717.41/1717.93	c 1714s |      24 |  3828378 |  3586562 |     8175   1074 |        0 |        0
1719.41/1719.94	c 1716s |      24 |  3831995 |  3589862 |     8175   1075 |        0 |        0
1721.41/1721.95	c 1718s |      24 |  3836216 |  3593962 |     8175   1076 |        0 |        0
1723.41/1723.95	c 1720s |      24 |  3839804 |  3597462 |     8175   1077 |        0 |        0
1725.41/1725.96	c 1722s |      24 |  3843307 |  3600562 |     8175   1077 |        0 |        0
1727.50/1728.00	c 1724s |      24 |  3846625 |  3603562 |     8175   1078 |        0 |        0
1729.50/1730.02	c 1726s |      24 |  3850269 |  3607062 |     8175   1079 |        0 |        0
1731.50/1732.07	c 1728s |      24 |  3854254 |  3610862 |     8175   1080 |        0 |        0
1733.50/1734.08	c 1730s |      24 |  3857671 |  3614162 |     8175   1080 |        0 |        0
1735.60/1736.11	c 1732s |      24 |  3861189 |  3617362 |     8175   1081 |        0 |        0
1737.61/1738.15	c 1734s |      24 |  3865213 |  3621262 |     8175   1082 |        0 |        0
1739.60/1740.20	c 1736s |      24 |  3868731 |  3624562 |     8175   1083 |        0 |        0
1741.70/1742.24	c 1738s |      24 |  3872689 |  3628462 |     8175   1084 |        0 |        0
1743.80/1744.32	c 1740s |      24 |  3876235 |  3631962 |     8175   1085 |        0 |        0
1745.80/1746.34	c 1742s |      24 |  3879546 |  3635162 |     8175   1085 |        0 |        0
1747.80/1748.36	c 1744s |      24 |  3883909 |  3639462 |     8175   1086 |        0 |        0
1749.80/1750.36	c 1747s |      24 |  3887800 |  3643262 |     8175   1087 |        0 |        0
1751.81/1752.40	c 1749s |      24 |  3891587 |  3646762 |     8175   1088 |        0 |        0
1753.90/1754.41	c 1751s |      24 |  3895411 |  3650362 |     8175   1089 |        0 |        0
1756.00/1756.52	c 1753s |      24 |  3898836 |  3653462 |     8175   1089 |        0 |        0
1758.00/1758.57	c 1755s |      24 |  3902503 |  3656962 |     8175   1090 |        0 |        0
1760.10/1760.64	c 1757s |      24 |  3906340 |  3660662 |     8175   1091 |        0 |        0
1762.10/1762.69	c 1759s |      24 |  3909512 |  3663662 |     8175   1092 |        0 |        0
1764.20/1764.76	c 1761s |      24 |  3913257 |  3667162 |     8175   1092 |        0 |        0
1766.21/1766.76	c 1763s |      24 |  3917243 |  3670962 |     8175   1093 |        0 |        0
1768.20/1768.76	c 1765s |      24 |  3920703 |  3674062 |     8175   1094 |        0 |        0
1770.30/1770.81	c 1767s |      24 |  3924703 |  3677962 |     8175   1095 |        0 |        0
1772.30/1772.82	c 1769s |      24 |  3927965 |  3681162 |     8175   1096 |        0 |        0
1774.30/1774.84	c 1771s |      24 |  3932613 |  3685662 |     8175   1097 |        0 |        0
1776.40/1776.91	c 1773s |      24 |  3936624 |  3689562 |     8175   1098 |        0 |        0
1778.40/1778.92	c 1775s |      24 |  3940610 |  3693462 |     8175   1098 |        0 |        0
1780.40/1780.93	c 1777s |      24 |  3944358 |  3697062 |     8175   1099 |        0 |        0
1782.40/1782.95	c 1779s |      24 |  3948116 |  3700662 |     8175   1100 |        0 |        0
1784.59/1785.12	c 1781s |      24 |  3952135 |  3704362 |     8175   1101 |        0 |        0
1786.59/1787.13	c 1783s |      24 |  3955328 |  3707262 |     8175   1102 |        0 |        0
1788.60/1789.13	c 1785s |      24 |  3959343 |  3711162 |     8175   1102 |        0 |        0
1790.59/1791.19	c 1787s |      24 |  3962382 |  3714062 |     8175   1103 |        0 |        0
1792.69/1793.22	c 1789s |      24 |  3966953 |  3718562 |     8175   1104 |        0 |        0
1794.70/1795.24	c 1791s |      24 |  3970421 |  3721962 |     8175   1105 |        0 |        0
1796.69/1797.25	c 1793s |      24 |  3974201 |  3725562 |     8175   1106 |        0 |        0
1798.69/1799.27	c 1795s |      24 |  3978089 |  3729362 |     8175   1107 |        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-4106394-1466270694/watcher-4106394-1466270694 -o /tmp/evaluation-result-4106394-1466270694/solver-4106394-1466270694 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106394-1466270694.opb 

pid=25976
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.30 2.27 2.27 2/179 25979
/proc/meminfo: memFree=28929376/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 2636 0 0 0 0 0 0 0 20 0 4 0 29115187 723972096 2998 33554432000 4194304 16246674 140736551761728 140736551761152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 177519 3007 441 2943 0 174413 0
[pid=25979/tid=25980] ppid=25976 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 742846464 3068 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 747040768 3086 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 751235072 3102 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.30 2.27 2.27 2/179 25979
/proc/meminfo: memFree=28929376/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 22161 0 0 0 6 3 0 0 20 0 4 0 29115187 1247350784 22511 33554432000 4194304 16246674 140736551761728 140736551761152 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 304529 22515 758 2943 0 301423 0
[pid=25979/tid=25980] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 22521 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 22527 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 22535 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.30 2.27 2.27 2/179 25979
/proc/meminfo: memFree=28929376/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 39485 0 0 0 13 5 0 0 20 0 4 0 29115187 1247350784 39834 33554432000 4194304 16246674 140736551761728 140736551761152 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 304529 39843 758 2943 0 301423 0
[pid=25979/tid=25980] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 39850 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 39857 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 39864 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.30 2.27 2.27 2/179 25979
/proc/meminfo: memFree=28929376/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 56652 0 0 0 21 8 0 0 20 0 4 0 29115187 1247350784 57001 33554432000 4194304 16246674 140736551761728 140736551761152 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 304529 57008 758 2943 0 301423 0
[pid=25979/tid=25980] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 57014 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 57020 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 57027 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.30 2.27 2.27 2/179 25979
/proc/meminfo: memFree=28929376/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 127721 0 0 0 52 17 0 0 20 0 4 0 29115187 1247350784 128071 33554432000 4194304 16246674 140736551761728 140736551761152 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 304529 128079 765 2943 0 301423 0
[pid=25979/tid=25980] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 128082 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 128086 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1247350784 128093 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.30 2.27 2.27 3/183 25983
/proc/meminfo: memFree=28180444/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 246201 0 0 0 117 32 0 0 20 0 4 0 29115187 1250496512 246527 33554432000 4194304 16246674 140736551761728 140736551761040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 305297 246527 832 2943 0 302191 0
[pid=25979/tid=25980] ppid=25976 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1250496512 246527 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1250496512 246527 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1250496512 246527 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10041 s]
/proc/loadavg: 2.28 2.26 2.27 3/183 25983
/proc/meminfo: memFree=27943720/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1303108 CPUtime=3.08 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 266600 0 0 0 274 34 0 0 20 0 4 0 29115187 1334382592 266926 33554432000 4194304 16246674 140736551761728 140736551743616 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 325777 266926 832 2943 0 322671 0
[pid=25979/tid=25980] ppid=25976 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1334382592 266926 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1334382592 266926 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1334382592 266926 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

[startup+6.30041 s]
/proc/loadavg: 2.28 2.26 2.27 3/183 25983
/proc/meminfo: memFree=27857232/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 267827 0 0 0 594 35 0 0 20 0 4 0 29115187 1338576896 268153 33554432000 4194304 16246674 140736551761728 140736551743616 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 326801 268153 850 2943 0 323695 0
[pid=25979/tid=25980] ppid=25976 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1338576896 268153 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1338576896 268153 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1338576896 268153 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.31 2.27 2.27 3/183 25983
/proc/meminfo: memFree=27855040/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 268409 0 0 0 1234 35 0 0 20 0 4 0 29115187 1340674048 268735 33554432000 4194304 16246674 140736551761728 140736551743616 6076894 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 327313 268735 851 2943 0 324207 0
[pid=25979/tid=25980] ppid=25976 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1340674048 268735 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1340674048 268735 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1340674048 268735 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.26 2.26 2.26 3/183 25983
/proc/meminfo: memFree=27853496/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1311300 CPUtime=25.49 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 268818 0 0 0 2514 35 0 0 20 0 4 0 29115187 1342771200 269144 33554432000 4194304 16246674 140736551761728 140736551743616 6023556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 327825 269144 853 2943 0 324719 0
[pid=25979/tid=25980] ppid=25976 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1342771200 269144 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1342771200 269144 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1342771200 269144 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.37 2.29 2.27 4/183 25983
/proc/meminfo: memFree=27848044/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 270174 0 0 0 5073 35 0 0 20 0 4 0 29115187 1348014080 270500 33554432000 4194304 16246674 140736551761728 140736551743616 5673588 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 329105 270500 853 2943 0 325999 0
[pid=25979/tid=25980] ppid=25976 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1348014080 270500 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1348014080 270500 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1348014080 270500 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.25 2.27 2.27 4/183 26033
/proc/meminfo: memFree=27865980/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 270715 0 0 0 10192 36 0 0 20 0 4 0 29115187 1350111232 271041 33554432000 4194304 16246674 140736551761728 140736551743616 12460078 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 329617 271041 853 2943 0 326511 0
[pid=25979/tid=25980] ppid=25976 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1350111232 271041 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1350111232 271041 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1350111232 271041 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1334852

[startup+1302.3 s]
/proc/loadavg: 2.22 2.27 2.26 4/183 26063
/proc/meminfo: memFree=27828900/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1301.91 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275169 0 0 0 130146 45 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 6025216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.30 2.29 2.26 3/183 26064
/proc/meminfo: memFree=27828500/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1361.87 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275215 0 0 0 136141 46 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 13809229 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.34 2.30 2.27 3/183 26065
/proc/meminfo: memFree=27828708/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1421.85 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 142139 46 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 6842242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.31 2.31 2.27 3/183 26067
/proc/meminfo: memFree=27828612/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1481.83 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 148137 46 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.37 2.32 2.28 4/184 26071
/proc/meminfo: memFree=27827872/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1541.84 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 154137 47 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551744728 5677779 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.42 2.34 2.28 3/183 26072
/proc/meminfo: memFree=27828148/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1601.82 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 160135 47 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.45 2.36 2.29 4/183 26073
/proc/meminfo: memFree=27828036/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1661.81 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 166134 47 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 5721840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.39 2.36 2.29 3/183 26074
/proc/meminfo: memFree=27828168/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1721.81 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 172133 48 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 12474890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.39 2.36 2.29 4/183 26076
/proc/meminfo: memFree=27827412/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1781.8 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 178132 48 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.45 2.38 2.30 4/183 26076
/proc/meminfo: memFree=27827384/32872528 swapFree=1499884/1696108
[pid=25979] ppid=25976 vsize=1334852 CPUtime=1800.09 cores=0,2,4,6
/proc/25979/stat : 25979 (toysat) R 25976 25979 24910 0 -1 4202496 275245 0 0 0 179961 48 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 140736551743616 5827980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25979/statm: 333713 275395 855 2943 0 330607 0
[pid=25979/tid=25980] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909565230320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25979/tid=25981] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909554740464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25979/tid=25982] ppid=25976 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29115187 1366888448 275395 33554432000 4194304 16246674 140736551761728 139909432077488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1334852

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 25979 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.1
CPU user time (s): 1799.62
CPU system time (s): 0.481926
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.481926
maximum resident set size= 1101580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275245
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= 445
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9772 second user time and 13.6619 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 19:24:54
IDJOB=4106394
IDBENCH=48044
IDSOLVER=2542
FILE ID=node137/4106394-1466270694
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106394-1466270694/watcher-4106394-1466270694 -o /tmp/evaluation-result-4106394-1466270694/solver-4106394-1466270694 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24926 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106394-1466270694.opb

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

MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7
RANDOM SEED=1629767036

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28930004 kB
Buffers:          149848 kB
Cached:           256500 kB
SwapCached:         1268 kB
Active:          1249224 kB
Inactive:         255508 kB
Active(anon):    1099724 kB
Inactive(anon):     1028 kB
Active(file):     149500 kB
Inactive(file):   254480 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             16544 kB
Writeback:             0 kB
AnonPages:       2793728 kB
Mapped:            10552 kB
Shmem:                 0 kB
Slab:             607528 kB
SReclaimable:      51388 kB
SUnreclaim:       556140 kB
KernelStack:        1456 kB
PageTables:         9544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2933756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1288192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node137 at 2016-06-18 19:54:55