Trace number 4106064

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
MD5SUM54510d4a8cd791bae993d435a4bb6e03
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.211967
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 variables243
Total number of constraints19
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 constraints19
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)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

Solver Data 

0.00/0.00	c 2016-06-18T17:46:12+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-4106064-1466264772.opb"]
0.00/0.01	c use --random-gen="3721921212 465049135 1579853695 3437983037 1794826363 2171511969 2744765378 2410418273 3807974765 1844283254 1399167648 23663376 2769279132 1032479484 3435275058 1570852530 2188193065 439186599 3981866927 2197797371 122274031 345243964 1132638115 3343577017 3540913511 2163787656 526023753 786472199 122586233 1230892156 1620341095 1804940400 846896520 659465034 3340848433 2281372134 2807328318 1780146180 312504217 3792977292 920616966 3852460884 790231931 3925188833 4206893452 439718295 3598310500 2151098244 3426847938 3717440068 1614325409 2682702314 668786003 4157906758 944354580 3158264760 1794311137 1487891043 1566648691 2504310268 158939941 3320394065 3232922273 1252578886 2002003412 4227127534 3522090142 2135987919 3787921894 2667287410 1691107780 3006799143 3885774342 3994502848 3899521149 364921154 3097304890 3323159653 2933225316 1998325644 840795553 2035904055 2871778682 1191922767 160838225 4188302416 182245892 2268282261 3335762188 3335055010 3611315832 549726787 1883692467 3623772610 430982732 790953366 2516862800 2900586115 4166100742 1636513131 1399629954 3364132348 1001614640 851797119 4021724866 2095579180 365470049 1516918809 2778039596 3028954136 184688151 2470163547 1106785745 2905475109 1534150425 3634071096 3013222019 861246832 3413693059 2403869903 2928866463 166953407 1282850975 2800166438 1347431118 2547795464 1330243913 1355361 507211621 3239600474 4225707971 995427092 3883633085 2815648025 2741694791 2349149781 2635394036 3391249143 390344771 1445563486 3361919433 1285713804 2865355549 2678226624 689037263 650231507 2098840239 2822784472 488280969 2911182146 2646661657 2208749494 2241469482 755433088 3659028203 643021232 4106458627 875895474 384739693 750179440 2089189263 3498054314 3919627088 1834081825 2373323613 707080098 3659653800 2733362168 3725028632 3524701008 2397214825 1186712241 1478054286 2621746235 389449820 1134365626 3562853046 3283546100 68210631 500857250 1675194658 3888837863 1394340645 2945669882 2938532755 2900437585 268895705 553247737 1151061483 2396878774 2813206629 1754782837 3543164210 2331996610 53301515 396157527 1912536014 492516608 660356795 1695055318 161420746 171681549 2766185372 1030630433 3588933328 3469162584 3629003294 733460797 128671052 2772681752 1109657582 2580574174 2279095085 426951902 1883146672 4130912839 1862379138 3460981215 2064878469 45025165 3782980938 1318045550 3627509651 2115112423 3100642554 965097541 1473698999 3610420968 303451880 1479738509 3945427410 2124711249 1702008114 1737170840 1985762056 91865225 838728013 1041898758 455964736 3921025254 648867690 392392190 2480479610 1128948085 3093454564 199307543 3046145382 2197956194 3648312760 2228880188 1407418591 743415781 2578194435 3164068566 54254376 3270820356 255 362436" option to reproduce the execution
0.00/0.01	c #vars 243
0.00/0.01	c #constraints 19
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |     1062      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      112 |      100 |     1062      0 |        0 |        0
0.09/0.11	c  0.1s |       2 |      288 |      250 |     1169      0 |        0 |        0
0.09/0.18	c  0.1s |       3 |      555 |      475 |     1286      0 |        0 |        0
0.19/0.29	c  0.3s |       4 |      995 |      813 |     1415      0 |        0 |        0
0.39/0.49	c  0.5s |       5 |     1740 |     1320 |     1557      0 |        0 |        0
0.89/1.00	c  1.0s |       6 |     2619 |     2081 |     1885      1 |        0 |        0
1.39/1.43	c  1.4s |       7 |     3890 |     3223 |     2074      1 |        0 |        0
2.29/2.30	c  2.3s |       8 |     5953 |     4936 |     2282      3 |        0 |        0
2.79/2.89	c  2.9s |       8 |     8775 |     7500 |     2511      4 |        0 |        0
2.79/2.89	c #cpu_time = 2.858s
2.79/2.89	c #wall_clock_time = 2.858s
2.79/2.89	c #decision = 8775
2.79/2.89	c #random_decision = 37
2.79/2.89	c #conflict = 7500
2.79/2.89	c #restart = 8
2.79/2.89	o 487
2.79/2.89	c BCD2: updating upper bound: 511 -> 486
2.79/2.89	c BCD2: 0 <= obj <= 486
2.79/2.89	c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0
2.79/2.89	c BCD2: #sat=1 #unsat=1 bias=1/2
2.79/2.89	c Solving starts ...
2.79/2.89	c ============================[ Search Statistics ]============================
2.79/2.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.89	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.89	c =============================================================================
2.79/2.89	c  0.0s |       0 |        0 |        0 |     2511      0 |        0 |        0
2.89/2.91	c  0.0s |       0 |        7 |        0 |     2511      1 |        0 |        0
2.89/2.91	c #cpu_time = 0.013s
2.89/2.91	c #wall_clock_time = 0.013s
2.89/2.91	c #decision = 7
2.89/2.91	c #random_decision = 0
2.89/2.91	c #conflict = 0
2.89/2.91	c #restart = 0
2.89/2.91	c BCD2: found a new core of size 8: cost of the new core is >=2
2.89/2.91	c lower bound updated to 2
2.89/2.91	c BCD2: 2 <= obj <= 486
2.89/2.91	c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0
2.89/2.91	c BCD2: #sat=1 #unsat=2 bias=2/3
2.89/2.91	c Solving starts ...
2.89/2.91	c ============================[ Search Statistics ]============================
2.89/2.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.91	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.91	c =============================================================================
2.89/2.91	c  0.0s |       0 |        0 |        0 |     2511      0 |        0 |        0
2.89/2.93	c  0.0s |       1 |      151 |      100 |     2511      0 |        0 |        0
2.99/3.02	c  0.1s |       2 |      434 |      250 |     2511      0 |        0 |        0
3.09/3.10	c  0.2s |       3 |      757 |      475 |     2511      0 |        0 |        0
3.69/3.70	c  0.8s |       4 |     1223 |      813 |     2511      0 |        0 |        0
3.89/3.93	c  1.0s |       5 |     1975 |     1320 |     2511      0 |        0 |        0
3.99/4.08	c  1.2s |       6 |     2847 |     2081 |     2511      1 |        0 |        0
4.40/4.44	c  1.5s |       7 |     4183 |     3223 |     2511      2 |        0 |        0
4.89/4.92	c  2.0s |       8 |     6020 |     4936 |     2763      3 |        0 |        0
5.99/6.05	c  3.1s |       9 |     8797 |     7506 |     2763      5 |        0 |        0
7.29/7.32	c  4.4s |      10 |    12953 |    11361 |     3040      7 |        0 |        0
9.29/9.34	c  6.4s |      10 |    18511 |    16561 |     3040     10 |        0 |        0
9.49/9.52	c  6.6s |      11 |    19111 |    17144 |     3040     10 |        0 |        0
11.49/11.56	c  8.7s |      11 |    27078 |    24744 |     3345     13 |        0 |        0
11.89/11.91	c  9.0s |      12 |    28169 |    25819 |     3345     14 |        0 |        0
13.89/13.96	c 11.0s |      12 |    29612 |    27019 |     3345     14 |        0 |        0
15.89/15.97	c 13.1s |      12 |    32032 |    29319 |     3345     15 |        0 |        0
17.99/18.00	c 15.1s |      12 |    34237 |    31219 |     3680     16 |        0 |        0
19.99/20.05	c 17.1s |      12 |    37502 |    34419 |     3680     18 |        0 |        0
22.29/22.37	c 19.5s |      12 |    39880 |    36619 |     3680     19 |        0 |        0
24.39/24.43	c 21.5s |      12 |    40773 |    37219 |     3680     19 |        0 |        0
26.39/26.48	c 23.6s |      12 |    42608 |    38019 |     3680     19 |        0 |        0
28.29/28.30	c 25.4s |      13 |    43691 |    38832 |     3680     20 |        0 |        0
30.28/30.30	c 27.4s |      13 |    50156 |    44832 |     3680     23 |        0 |        0
32.28/32.30	c 29.4s |      13 |    55000 |    49332 |     3680     25 |        0 |        0
34.28/34.32	c 31.4s |      13 |    61349 |    55432 |     4049     28 |        0 |        0
35.38/35.47	c 32.6s |      14 |    64430 |    58352 |     4049     29 |        0 |        0
37.49/37.51	c 34.6s |      14 |    72852 |    66152 |     4049     33 |        0 |        0
39.48/39.51	c 36.6s |      14 |    78919 |    72152 |     4049     35 |        0 |        0
41.48/41.55	c 38.6s |      14 |    85163 |    78252 |     4049     38 |        0 |        0
43.48/43.56	c 40.6s |      14 |    91094 |    83752 |     4454     40 |        0 |        0
44.88/44.99	c 42.1s |      15 |    95231 |    87632 |     4454     41 |        0 |        0
46.98/47.07	c 44.2s |      15 |    99130 |    91032 |     4454     43 |        0 |        0
49.08/49.10	c 46.2s |      15 |   102665 |    94532 |     4454     44 |        0 |        0
51.18/51.27	c 48.4s |      15 |   104805 |    96432 |     4454     45 |        0 |        0
53.18/53.29	c 50.4s |      15 |   106858 |    98332 |     4454     46 |        0 |        0
55.28/55.35	c 52.4s |      15 |   109516 |   100932 |     4454     47 |        0 |        0
57.38/57.48	c 54.6s |      15 |   111743 |   103132 |     4454     47 |        0 |        0
59.49/59.52	c 56.6s |      15 |   113964 |   105332 |     4454     48 |        0 |        0
61.48/61.54	c 58.6s |      15 |   116389 |   107732 |     4454     49 |        0 |        0
63.58/63.63	c 60.7s |      15 |   118809 |   110132 |     4454     50 |        0 |        0
65.68/65.72	c 62.8s |      15 |   121249 |   112532 |     4454     51 |        0 |        0
67.78/67.81	c 64.9s |      15 |   123311 |   114532 |     4454     52 |        0 |        0
69.78/69.87	c 67.0s |      15 |   125445 |   116632 |     4454     53 |        0 |        0
71.78/71.87	c 69.0s |      15 |   127574 |   118732 |     4454     53 |        0 |        0
73.88/73.90	c 71.0s |      15 |   129617 |   120732 |     4454     54 |        0 |        0
75.98/76.06	c 73.2s |      15 |   131560 |   122632 |     4454     55 |        0 |        0
78.18/78.21	c 75.3s |      15 |   133082 |   124132 |     4900     55 |        0 |        0
80.17/80.28	c 77.4s |      15 |   135017 |   126032 |     4900     56 |        0 |        0
82.27/82.35	c 79.4s |      15 |   137168 |   128132 |     4900     57 |        0 |        0
84.37/84.41	c 81.5s |      15 |   139307 |   130232 |     4900     58 |        0 |        0
85.88/85.97	c 83.1s |      16 |   140652 |   131552 |     4900     58 |        0 |        0
87.98/88.01	c 85.1s |      16 |   146942 |   137252 |     4900     60 |        0 |        0
89.97/90.04	c 87.1s |      16 |   152252 |   142052 |     4900     62 |        0 |        0
91.97/92.05	c 89.1s |      16 |   157180 |   146652 |     4900     64 |        0 |        0
93.97/94.07	c 91.2s |      16 |   162608 |   151652 |     4900     65 |        0 |        0
95.97/96.07	c 93.2s |      16 |   168234 |   156552 |     4900     67 |        0 |        0
97.98/98.08	c 95.2s |      16 |   173820 |   161452 |     4900     69 |        0 |        0
99.97/100.09	c 97.2s |      16 |   180876 |   168252 |     4900     71 |        0 |        0
102.07/102.11	c 99.2s |      16 |   186696 |   173752 |     4900     73 |        0 |        0
104.07/104.15	c  101s |      16 |   192095 |   178852 |     4900     75 |        0 |        0
106.07/106.18	c  103s |      16 |   197512 |   183952 |     4900     77 |        0 |        0
108.17/108.24	c  105s |      16 |   203001 |   189152 |     5390     78 |        0 |        0
110.17/110.26	c  107s |      16 |   208503 |   194352 |     5390     80 |        0 |        0
111.47/111.58	c  108s |      17 |   211931 |   197432 |     5390     81 |        0 |        0
113.57/113.63	c  110s |      17 |   214897 |   199332 |     5390     82 |        0 |        0
115.57/115.67	c  112s |      17 |   216829 |   200932 |     5390     82 |        0 |        0
117.67/117.72	c  114s |      17 |   222065 |   205732 |     5390     84 |        0 |        0
119.67/119.76	c  116s |      17 |   223627 |   207232 |     5390     84 |        0 |        0
121.77/121.82	c  118s |      17 |   226824 |   208732 |     5390     85 |        0 |        0
123.78/123.86	c  120s |      17 |   232991 |   211232 |     5390     86 |        0 |        0
125.77/125.89	c  122s |      17 |   238351 |   216232 |     5390     87 |        0 |        0
127.87/127.92	c  125s |      17 |   244895 |   220232 |     5390     88 |        0 |        0
129.88/129.93	c  127s |      17 |   250104 |   225232 |     5390     90 |        0 |        0
131.87/131.95	c  129s |      17 |   254943 |   229932 |     5390     92 |        0 |        0
133.87/133.96	c  131s |      17 |   260311 |   235132 |     5390     93 |        0 |        0
135.97/136.02	c  133s |      17 |   264897 |   239432 |     5390     95 |        0 |        0
137.97/138.03	c  135s |      17 |   270613 |   245032 |     5390     96 |        0 |        0
139.97/140.04	c  137s |      17 |   278039 |   252332 |     5390     99 |        0 |        0
141.98/142.06	c  139s |      17 |   284242 |   258432 |     5390    101 |        0 |        0
143.97/144.08	c  141s |      17 |   291542 |   265432 |     5390    103 |        0 |        0
145.97/146.09	c  143s |      17 |   296805 |   270232 |     5390    105 |        0 |        0
148.07/148.13	c  145s |      17 |   301811 |   275232 |     5390    106 |        0 |        0
150.07/150.14	c  147s |      17 |   306464 |   279532 |     5390    108 |        0 |        0
152.07/152.19	c  149s |      17 |   309267 |   282032 |     5390    108 |        0 |        0
154.08/154.19	c  151s |      17 |   317794 |   285432 |     5390    109 |        0 |        0
156.07/156.20	c  153s |      17 |   322546 |   290032 |     5930    111 |        0 |        0
158.17/158.21	c  155s |      17 |   327890 |   295232 |     5930    112 |        0 |        0
158.57/158.62	c  155s |      18 |   328924 |   296252 |     5930    113 |        0 |        0
160.57/160.65	c  157s |      18 |   336034 |   302752 |     5930    115 |        0 |        0
162.67/162.70	c  159s |      18 |   341738 |   308152 |     5930    116 |        0 |        0
164.67/164.70	c  161s |      18 |   346857 |   312952 |     5930    118 |        0 |        0
166.66/166.72	c  163s |      18 |   352343 |   318152 |     5930    119 |        0 |        0
168.66/168.74	c  165s |      18 |   357763 |   323152 |     5930    121 |        0 |        0
170.66/170.77	c  167s |      18 |   363635 |   328452 |     5930    122 |        0 |        0
172.67/172.79	c  169s |      18 |   369057 |   333652 |     5930    124 |        0 |        0
174.76/174.81	c  171s |      18 |   373937 |   338452 |     5930    125 |        0 |        0
176.76/176.83	c  173s |      18 |   378944 |   343352 |     5930    127 |        0 |        0
178.76/178.83	c  175s |      18 |   384096 |   348352 |     5930    128 |        0 |        0
180.76/180.87	c  177s |      18 |   388956 |   352952 |     5930    129 |        0 |        0
182.86/182.91	c  179s |      18 |   393995 |   357752 |     5930    131 |        0 |        0
184.87/184.92	c  182s |      18 |   399136 |   362352 |     5930    132 |        0 |        0
186.86/186.93	c  184s |      18 |   404804 |   367852 |     5930    134 |        0 |        0
188.86/188.97	c  186s |      18 |   410153 |   373052 |     5930    135 |        0 |        0
190.86/191.00	c  188s |      18 |   415277 |   378052 |     5930    137 |        0 |        0
192.96/193.03	c  190s |      18 |   420745 |   383352 |     5930    139 |        0 |        0
194.96/195.04	c  192s |      18 |   425864 |   388352 |     5930    140 |        0 |        0
196.97/197.07	c  194s |      18 |   430845 |   393152 |     5930    141 |        0 |        0
199.07/199.14	c  196s |      18 |   436477 |   398452 |     5930    143 |        0 |        0
201.06/201.17	c  198s |      18 |   441765 |   403552 |     5930    145 |        0 |        0
203.16/203.21	c  200s |      18 |   447656 |   409252 |     5930    146 |        0 |        0
205.16/205.24	c  202s |      18 |   453510 |   414952 |     5930    148 |        0 |        0
207.16/207.24	c  204s |      18 |   458866 |   420152 |     5930    150 |        0 |        0
209.16/209.24	c  206s |      18 |   464053 |   425052 |     5930    151 |        0 |        0
211.16/211.25	c  208s |      18 |   469176 |   430152 |     5930    153 |        0 |        0
213.16/213.27	c  210s |      18 |   473931 |   434852 |     6524    154 |        0 |        0
215.16/215.29	c  212s |      18 |   479770 |   440552 |     6524    155 |        0 |        0
216.66/216.77	c  213s |      19 |   483763 |   444482 |     6524    156 |        0 |        0
218.75/218.80	c  215s |      19 |   489327 |   449782 |     6524    158 |        0 |        0
220.75/220.84	c  217s |      19 |   493374 |   453682 |     6524    159 |        0 |        0
222.75/222.85	c  219s |      19 |   497072 |   457282 |     6524    160 |        0 |        0
224.85/224.97	c  222s |      19 |   499572 |   459682 |     6524    161 |        0 |        0
226.95/227.00	c  224s |      19 |   504413 |   463882 |     6524    162 |        0 |        0
228.95/229.00	c  226s |      19 |   509192 |   467882 |     6524    163 |        0 |        0
230.96/231.01	c  228s |      19 |   513738 |   471582 |     6524    164 |        0 |        0
232.95/233.04	c  230s |      19 |   518823 |   476482 |     6524    165 |        0 |        0
234.95/235.09	c  232s |      19 |   522211 |   479182 |     6524    166 |        0 |        0
237.05/237.12	c  234s |      19 |   527880 |   483382 |     6524    167 |        0 |        0
239.05/239.15	c  236s |      19 |   532362 |   487782 |     6524    168 |        0 |        0
241.05/241.17	c  238s |      19 |   536909 |   492182 |     6524    170 |        0 |        0
243.16/243.21	c  240s |      19 |   542342 |   497382 |     6524    171 |        0 |        0
245.15/245.21	c  242s |      19 |   546731 |   501582 |     6524    172 |        0 |        0
247.15/247.21	c  244s |      19 |   551214 |   505882 |     6524    173 |        0 |        0
249.15/249.26	c  246s |      19 |   555473 |   509782 |     6524    174 |        0 |        0
251.15/251.27	c  248s |      19 |   560151 |   514282 |     6524    176 |        0 |        0
253.25/253.31	c  250s |      19 |   564254 |   518282 |     6524    177 |        0 |        0
255.26/255.33	c  252s |      19 |   567837 |   521782 |     6524    178 |        0 |        0
257.25/257.34	c  254s |      19 |   570981 |   524782 |     6524    179 |        0 |        0
259.25/259.37	c  256s |      19 |   575069 |   528082 |     6524    179 |        0 |        0
261.35/261.40	c  258s |      19 |   579428 |   532182 |     6524    181 |        0 |        0
263.35/263.43	c  260s |      19 |   583933 |   536582 |     6524    182 |        0 |        0
265.35/265.44	c  262s |      19 |   588649 |   541182 |     6524    183 |        0 |        0
267.45/267.51	c  264s |      19 |   592772 |   545182 |     6524    184 |        0 |        0
269.45/269.51	c  266s |      19 |   597519 |   549782 |     6524    185 |        0 |        0
271.54/271.61	c  268s |      19 |   601622 |   553582 |     6524    186 |        0 |        0
273.54/273.66	c  270s |      19 |   605596 |   557482 |     6524    188 |        0 |        0
275.54/275.66	c  272s |      19 |   609631 |   561382 |     6524    189 |        0 |        0
277.54/277.67	c  274s |      19 |   614582 |   565982 |     6524    190 |        0 |        0
279.64/279.70	c  276s |      19 |   619199 |   570282 |     6524    191 |        0 |        0
281.65/281.71	c  278s |      19 |   624096 |   574982 |     6524    192 |        0 |        0
283.64/283.77	c  280s |      19 |   629293 |   579982 |     6524    194 |        0 |        0
285.64/285.78	c  282s |      19 |   633437 |   583882 |     6524    195 |        0 |        0
287.74/287.80	c  284s |      19 |   637285 |   587682 |     6524    196 |        0 |        0
289.74/289.83	c  286s |      19 |   642267 |   592482 |     6524    197 |        0 |        0
291.74/291.86	c  288s |      19 |   647041 |   597082 |     6524    198 |        0 |        0
293.75/293.86	c  290s |      19 |   651688 |   601482 |     6524    200 |        0 |        0
295.74/295.87	c  292s |      19 |   656712 |   606382 |     6524    201 |        0 |        0
297.74/297.87	c  294s |      19 |   662087 |   611582 |     6524    202 |        0 |        0
299.74/299.88	c  296s |      19 |   666955 |   616182 |     6524    204 |        0 |        0
301.84/301.92	c  299s |      19 |   671641 |   620382 |     6524    205 |        0 |        0
303.84/303.92	c  301s |      19 |   675803 |   624382 |     6524    206 |        0 |        0
305.85/305.94	c  303s |      19 |   679627 |   628082 |     6524    207 |        0 |        0
307.84/307.98	c  305s |      19 |   684414 |   632682 |     6524    208 |        0 |        0
309.94/310.01	c  307s |      19 |   688639 |   636782 |     6524    209 |        0 |        0
311.94/312.05	c  309s |      19 |   693291 |   641182 |     6524    210 |        0 |        0
313.94/314.08	c  311s |      19 |   697476 |   644882 |     6524    211 |        0 |        0
316.05/316.14	c  313s |      19 |   701827 |   649182 |     6524    213 |        0 |        0
318.05/318.14	c  315s |      19 |   705886 |   653082 |     6524    214 |        0 |        0
320.05/320.19	c  317s |      19 |   710720 |   657382 |     7177    215 |        0 |        0
322.15/322.21	c  319s |      19 |   715146 |   661682 |     7177    216 |        0 |        0
324.14/324.23	c  321s |      19 |   719259 |   665682 |     7177    217 |        0 |        0
324.74/324.85	c  321s |      20 |   720476 |   666827 |     7177    217 |        0 |        0
326.75/326.89	c  323s |      20 |   725537 |   671527 |     7177    218 |        0 |        0
328.85/328.91	c  326s |      20 |   730194 |   675927 |     7177    219 |        0 |        0
330.84/330.96	c  328s |      20 |   736045 |   680327 |     7177    221 |        0 |        0
332.94/333.05	c  330s |      20 |   740057 |   683127 |     7177    221 |        0 |        0
334.94/335.06	c  332s |      20 |   744512 |   687227 |     7177    222 |        0 |        0
337.04/337.10	c  334s |      20 |   748032 |   690727 |     7177    223 |        0 |        0
339.04/339.12	c  336s |      20 |   751549 |   694227 |     7177    224 |        0 |        0
341.05/341.13	c  338s |      20 |   754576 |   697227 |     7177    225 |        0 |        0
343.04/343.18	c  340s |      20 |   757959 |   699827 |     7177    226 |        0 |        0
345.14/345.24	c  342s |      20 |   763018 |   702927 |     7177    226 |        0 |        0
347.14/347.27	c  344s |      20 |   767500 |   707227 |     7177    227 |        0 |        0
349.24/349.31	c  346s |      20 |   771836 |   711327 |     7177    228 |        0 |        0
351.24/351.35	c  348s |      20 |   775885 |   715327 |     7177    229 |        0 |        0
353.24/353.37	c  350s |      20 |   779241 |   718127 |     7177    230 |        0 |        0
355.34/355.47	c  352s |      20 |   782614 |   720427 |     7177    231 |        0 |        0
357.44/357.50	c  354s |      20 |   786465 |   724227 |     7177    232 |        0 |        0
359.44/359.59	c  356s |      20 |   789899 |   727627 |     7177    233 |        0 |        0
361.54/361.61	c  358s |      20 |   794885 |   732527 |     7177    234 |        0 |        0
363.53/363.63	c  360s |      20 |   799520 |   736927 |     7177    235 |        0 |        0
365.53/365.66	c  362s |      20 |   802806 |   740127 |     7177    236 |        0 |        0
367.53/367.68	c  364s |      20 |   806238 |   743527 |     7177    237 |        0 |        0
369.54/369.70	c  366s |      20 |   810624 |   747427 |     7177    238 |        0 |        0
371.63/371.73	c  368s |      20 |   815201 |   751627 |     7177    239 |        0 |        0
373.63/373.77	c  370s |      20 |   818771 |   754827 |     7177    240 |        0 |        0
375.73/375.82	c  372s |      20 |   822539 |   758227 |     7177    240 |        0 |        0
377.73/377.84	c  374s |      20 |   826036 |   761527 |     7177    241 |        0 |        0
379.73/379.86	c  376s |      20 |   829483 |   764927 |     7177    242 |        0 |        0
381.74/381.86	c  378s |      20 |   833512 |   768727 |     7177    243 |        0 |        0
383.84/383.91	c  381s |      20 |   837345 |   772527 |     7177    244 |        0 |        0
385.83/385.94	c  383s |      20 |   840901 |   775827 |     7177    245 |        0 |        0
387.83/387.96	c  385s |      20 |   843863 |   778627 |     7177    246 |        0 |        0
389.93/390.04	c  387s |      20 |   847004 |   781727 |     7177    246 |        0 |        0
391.93/392.07	c  389s |      20 |   850344 |   785027 |     7177    247 |        0 |        0
393.93/394.09	c  391s |      20 |   853574 |   788227 |     7177    248 |        0 |        0
395.93/396.09	c  393s |      20 |   857028 |   791627 |     7177    249 |        0 |        0
398.03/398.10	c  395s |      20 |   860522 |   795027 |     7177    250 |        0 |        0
400.03/400.11	c  397s |      20 |   863972 |   798327 |     7177    251 |        0 |        0
402.03/402.15	c  399s |      20 |   868272 |   802327 |     7177    252 |        0 |        0
404.02/404.16	c  401s |      20 |   872876 |   806827 |     7177    253 |        0 |        0
406.02/406.19	c  403s |      20 |   877222 |   811027 |     7177    254 |        0 |        0
408.13/408.21	c  405s |      20 |   881087 |   814627 |     7177    255 |        0 |        0
410.12/410.22	c  407s |      20 |   885411 |   818827 |     7177    256 |        0 |        0
412.12/412.25	c  409s |      20 |   889730 |   823027 |     7177    257 |        0 |        0
414.22/414.31	c  411s |      20 |   893593 |   826827 |     7177    258 |        0 |        0
416.22/416.34	c  413s |      20 |   897356 |   830427 |     7177    259 |        0 |        0
418.22/418.34	c  415s |      20 |   901960 |   834927 |     7177    260 |        0 |        0
420.23/420.38	c  417s |      20 |   906363 |   839127 |     7177    261 |        0 |        0
422.22/422.39	c  419s |      20 |   910874 |   843427 |     7177    262 |        0 |        0
424.32/424.40	c  421s |      20 |   915112 |   847427 |     7177    263 |        0 |        0
426.32/426.44	c  423s |      20 |   919499 |   851727 |     7177    264 |        0 |        0
428.32/428.48	c  425s |      20 |   924038 |   855827 |     7177    265 |        0 |        0
430.42/430.51	c  427s |      20 |   928268 |   859827 |     7177    266 |        0 |        0
432.42/432.52	c  429s |      20 |   932049 |   863427 |     7177    267 |        0 |        0
434.43/434.55	c  431s |      20 |   935500 |   866827 |     7177    268 |        0 |        0
436.52/436.60	c  433s |      20 |   939195 |   870427 |     7177    269 |        0 |        0
438.52/438.64	c  435s |      20 |   942540 |   873727 |     7177    270 |        0 |        0
440.53/440.68	c  437s |      20 |   945503 |   876627 |     7177    271 |        0 |        0
442.63/442.70	c  439s |      20 |   948793 |   879827 |     7177    272 |        0 |        0
444.62/444.72	c  441s |      20 |   953652 |   884527 |     7177    273 |        0 |        0
446.63/446.73	c  443s |      20 |   957574 |   888327 |     7177    274 |        0 |        0
448.62/448.75	c  445s |      20 |   961659 |   892227 |     7177    275 |        0 |        0
450.62/450.75	c  447s |      20 |   965773 |   896227 |     7177    276 |        0 |        0
452.62/452.76	c  449s |      20 |   969854 |   900127 |     7177    277 |        0 |        0
454.62/454.79	c  451s |      20 |   973594 |   903627 |     7177    278 |        0 |        0
456.72/456.85	c  453s |      20 |   977419 |   907227 |     7177    279 |        0 |        0
458.82/458.91	c  456s |      20 |   981627 |   911227 |     7177    280 |        0 |        0
460.83/460.94	c  458s |      20 |   985621 |   915027 |     7177    281 |        0 |        0
462.82/462.99	c  460s |      20 |   989350 |   918527 |     7177    281 |        0 |        0
464.92/465.00	c  462s |      20 |   993523 |   922427 |     7177    282 |        0 |        0
466.92/467.04	c  464s |      20 |   997444 |   926127 |     7177    283 |        0 |        0
468.92/469.04	c  466s |      20 |  1001131 |   929627 |     7177    284 |        0 |        0
471.02/471.10	c  468s |      20 |  1004881 |   933227 |     7177    285 |        0 |        0
473.03/473.12	c  470s |      20 |  1008162 |   936427 |     7177    286 |        0 |        0
475.02/475.16	c  472s |      20 |  1011503 |   939627 |     7177    287 |        0 |        0
477.02/477.18	c  474s |      20 |  1015051 |   942827 |     7177    288 |        0 |        0
479.12/479.22	c  476s |      20 |  1019961 |   947627 |     7177    289 |        0 |        0
481.12/481.24	c  478s |      20 |  1024418 |   951927 |     7177    290 |        0 |        0
483.12/483.25	c  480s |      20 |  1028788 |   956227 |     7177    291 |        0 |        0
485.12/485.28	c  482s |      20 |  1033179 |   960527 |     7177    292 |        0 |        0
487.12/487.29	c  484s |      20 |  1037653 |   964927 |     7177    293 |        0 |        0
489.22/489.30	c  486s |      20 |  1042264 |   969427 |     7177    294 |        0 |        0
491.22/491.34	c  488s |      20 |  1046686 |   973527 |     7177    296 |        0 |        0
493.22/493.37	c  490s |      20 |  1051052 |   977727 |     7177    297 |        0 |        0
495.22/495.39	c  492s |      20 |  1055634 |   982227 |     7177    298 |        0 |        0
497.32/497.48	c  494s |      20 |  1060390 |   986627 |     7895    299 |        0 |        0
499.42/499.52	c  496s |      20 |  1063888 |   989827 |     7895    300 |        0 |        0
501.41/501.55	c  498s |      20 |  1068001 |   993727 |     7895    300 |        0 |        0
503.41/503.59	c  500s |      20 |  1072444 |   998027 |     7895    301 |        0 |        0
504.51/504.69	c  501s |      21 |  1074769 |  1000345 |     7895    302 |        0 |        0
506.61/506.73	c  503s |      21 |  1079656 |  1004745 |     7895    303 |        0 |        0
508.61/508.74	c  505s |      21 |  1084401 |  1009245 |     7895    304 |        0 |        0
510.61/510.76	c  507s |      21 |  1087845 |  1012645 |     7895    305 |        0 |        0
512.62/512.77	c  509s |      21 |  1091627 |  1016245 |     7895    306 |        0 |        0
514.61/514.79	c  511s |      21 |  1095794 |  1020045 |     7895    307 |        0 |        0
516.71/516.80	c  513s |      21 |  1099781 |  1023645 |     7895    308 |        0 |        0
518.71/518.82	c  515s |      21 |  1103648 |  1027045 |     7895    308 |        0 |        0
520.71/520.83	c  517s |      21 |  1107732 |  1029845 |     7895    309 |        0 |        0
522.71/522.84	c  519s |      21 |  1111667 |  1032645 |     7895    310 |        0 |        0
524.72/524.86	c  521s |      21 |  1116315 |  1036745 |     7895    311 |        0 |        0
526.71/526.88	c  523s |      21 |  1120708 |  1040945 |     7895    312 |        0 |        0
528.81/528.91	c  526s |      21 |  1125193 |  1045245 |     7895    313 |        0 |        0
530.80/530.93	c  528s |      21 |  1129482 |  1049445 |     7895    314 |        0 |        0
532.80/532.97	c  530s |      21 |  1133646 |  1053445 |     7895    315 |        0 |        0
534.80/534.98	c  532s |      21 |  1137919 |  1057545 |     7895    316 |        0 |        0
536.90/537.01	c  534s |      21 |  1142678 |  1062045 |     7895    317 |        0 |        0
538.91/539.06	c  536s |      21 |  1146424 |  1065545 |     7895    318 |        0 |        0
540.91/541.07	c  538s |      21 |  1150879 |  1069745 |     7895    319 |        0 |        0
543.01/543.12	c  540s |      21 |  1155300 |  1073945 |     7895    320 |        0 |        0
545.01/545.16	c  542s |      21 |  1159600 |  1077945 |     7895    320 |        0 |        0
547.11/547.21	c  544s |      21 |  1163954 |  1082145 |     7895    321 |        0 |        0
549.11/549.22	c  546s |      21 |  1168165 |  1086045 |     7895    322 |        0 |        0
551.12/551.26	c  548s |      21 |  1172065 |  1089645 |     7895    323 |        0 |        0
553.22/553.31	c  550s |      21 |  1176421 |  1093445 |     7895    324 |        0 |        0
555.21/555.31	c  552s |      21 |  1179979 |  1096545 |     7895    325 |        0 |        0
557.21/557.37	c  554s |      21 |  1183956 |  1100345 |     7895    326 |        0 |        0
559.31/559.41	c  556s |      21 |  1187938 |  1103745 |     7895    327 |        0 |        0
561.31/561.43	c  558s |      21 |  1192193 |  1107245 |     7895    327 |        0 |        0
563.31/563.46	c  560s |      21 |  1196321 |  1110845 |     7895    328 |        0 |        0
565.32/565.47	c  562s |      21 |  1200609 |  1114645 |     7895    329 |        0 |        0
567.41/567.51	c  564s |      21 |  1204632 |  1118245 |     7895    330 |        0 |        0
569.41/569.53	c  566s |      21 |  1208595 |  1121645 |     7895    331 |        0 |        0
571.41/571.57	c  568s |      21 |  1212427 |  1125445 |     7895    332 |        0 |        0
573.51/573.62	c  570s |      21 |  1217410 |  1129745 |     7895    333 |        0 |        0
575.51/575.66	c  572s |      21 |  1222797 |  1134545 |     7895    334 |        0 |        0
577.51/577.69	c  574s |      21 |  1227714 |  1138845 |     7895    335 |        0 |        0
579.61/579.70	c  576s |      21 |  1231430 |  1142245 |     7895    336 |        0 |        0
581.61/581.71	c  578s |      21 |  1235138 |  1145845 |     7895    337 |        0 |        0
583.61/583.76	c  580s |      21 |  1238927 |  1149445 |     7895    338 |        0 |        0
585.71/585.80	c  582s |      21 |  1243326 |  1153545 |     7895    338 |        0 |        0
587.70/587.80	c  584s |      21 |  1247255 |  1157145 |     7895    339 |        0 |        0
589.70/589.86	c  586s |      21 |  1251537 |  1161145 |     7895    340 |        0 |        0
591.71/591.88	c  588s |      21 |  1255775 |  1165145 |     7895    341 |        0 |        0
593.80/593.94	c  591s |      21 |  1259930 |  1169045 |     7895    342 |        0 |        0
595.80/595.97	c  593s |      21 |  1263732 |  1172745 |     7895    343 |        0 |        0
597.80/597.99	c  595s |      21 |  1267140 |  1175845 |     7895    344 |        0 |        0
599.90/600.05	c  597s |      21 |  1271840 |  1180245 |     7895    345 |        0 |        0
601.90/602.09	c  599s |      21 |  1275762 |  1183945 |     7895    346 |        0 |        0
603.91/604.09	c  601s |      21 |  1279332 |  1187345 |     7895    347 |        0 |        0
606.01/606.12	c  603s |      21 |  1283304 |  1191045 |     7895    347 |        0 |        0
608.00/608.15	c  605s |      21 |  1287138 |  1194745 |     7895    348 |        0 |        0
610.00/610.17	c  607s |      21 |  1290788 |  1198145 |     7895    349 |        0 |        0
612.10/612.23	c  609s |      21 |  1294687 |  1201845 |     7895    350 |        0 |        0
614.10/614.23	c  611s |      21 |  1298452 |  1205445 |     7895    351 |        0 |        0
616.20/616.31	c  613s |      21 |  1302883 |  1209245 |     7895    352 |        0 |        0
618.21/618.31	c  615s |      21 |  1307159 |  1213245 |     7895    353 |        0 |        0
620.20/620.33	c  617s |      21 |  1311032 |  1216845 |     7895    354 |        0 |        0
622.20/622.34	c  619s |      21 |  1315151 |  1220745 |     7895    355 |        0 |        0
624.20/624.38	c  621s |      21 |  1319320 |  1224745 |     7895    355 |        0 |        0
626.30/626.40	c  623s |      21 |  1323290 |  1228645 |     7895    356 |        0 |        0
628.30/628.40	c  625s |      21 |  1327424 |  1232545 |     7895    357 |        0 |        0
630.31/630.41	c  627s |      21 |  1331440 |  1236345 |     7895    358 |        0 |        0
632.30/632.44	c  629s |      21 |  1335735 |  1240445 |     7895    359 |        0 |        0
634.30/634.45	c  631s |      21 |  1339915 |  1244245 |     7895    360 |        0 |        0
636.30/636.47	c  633s |      21 |  1343467 |  1247645 |     7895    361 |        0 |        0
638.30/638.48	c  635s |      21 |  1347181 |  1250945 |     7895    362 |        0 |        0
640.40/640.52	c  637s |      21 |  1350873 |  1254445 |     7895    363 |        0 |        0
642.40/642.57	c  639s |      21 |  1354822 |  1258145 |     7895    363 |        0 |        0
644.40/644.60	c  641s |      21 |  1358730 |  1261745 |     7895    364 |        0 |        0
646.50/646.66	c  643s |      21 |  1362944 |  1265745 |     7895    365 |        0 |        0
648.50/648.67	c  645s |      21 |  1366747 |  1269345 |     7895    366 |        0 |        0
650.60/650.72	c  647s |      21 |  1370956 |  1273345 |     7895    367 |        0 |        0
652.59/652.76	c  649s |      21 |  1375266 |  1277045 |     7895    368 |        0 |        0
654.69/654.80	c  651s |      21 |  1379809 |  1281045 |     7895    369 |        0 |        0
656.70/656.84	c  653s |      21 |  1383439 |  1284345 |     7895    370 |        0 |        0
658.69/658.84	c  655s |      21 |  1387786 |  1288245 |     7895    371 |        0 |        0
660.69/660.90	c  657s |      21 |  1391465 |  1291745 |     7895    371 |        0 |        0
662.79/662.90	c  659s |      21 |  1395700 |  1295745 |     7895    372 |        0 |        0
664.79/664.93	c  662s |      21 |  1400315 |  1300145 |     7895    373 |        0 |        0
666.79/666.97	c  664s |      21 |  1404996 |  1304545 |     7895    374 |        0 |        0
668.80/668.99	c  666s |      21 |  1409159 |  1308545 |     7895    375 |        0 |        0
670.90/671.01	c  668s |      21 |  1413622 |  1312545 |     7895    376 |        0 |        0
672.89/673.04	c  670s |      21 |  1417771 |  1316445 |     7895    377 |        0 |        0
674.89/675.06	c  672s |      21 |  1421760 |  1320245 |     7895    378 |        0 |        0
676.89/677.07	c  674s |      21 |  1426028 |  1323945 |     7895    379 |        0 |        0
678.89/679.07	c  676s |      21 |  1430391 |  1327645 |     7895    380 |        0 |        0
680.90/681.08	c  678s |      21 |  1434232 |  1331345 |     7895    381 |        0 |        0
682.89/683.09	c  680s |      21 |  1438271 |  1335145 |     7895    382 |        0 |        0
684.99/685.11	c  682s |      21 |  1441898 |  1338645 |     7895    383 |        0 |        0
686.99/687.11	c  684s |      21 |  1446218 |  1342545 |     7895    384 |        0 |        0
688.99/689.17	c  686s |      21 |  1450409 |  1346545 |     7895    384 |        0 |        0
690.99/691.18	c  688s |      21 |  1454252 |  1350045 |     7895    385 |        0 |        0
693.00/693.19	c  690s |      21 |  1458583 |  1354045 |     7895    386 |        0 |        0
695.10/695.26	c  692s |      21 |  1462597 |  1357445 |     7895    387 |        0 |        0
697.09/697.29	c  694s |      21 |  1467057 |  1361645 |     7895    388 |        0 |        0
699.19/699.30	c  696s |      21 |  1471116 |  1365445 |     7895    389 |        0 |        0
701.19/701.34	c  698s |      21 |  1475417 |  1369545 |     7895    390 |        0 |        0
703.19/703.35	c  700s |      21 |  1479786 |  1373745 |     7895    391 |        0 |        0
705.19/705.37	c  702s |      21 |  1483964 |  1377645 |     7895    392 |        0 |        0
707.19/707.40	c  704s |      21 |  1488264 |  1381745 |     7895    393 |        0 |        0
709.29/709.41	c  706s |      21 |  1492140 |  1385345 |     7895    394 |        0 |        0
711.28/711.46	c  708s |      21 |  1496050 |  1389145 |     7895    395 |        0 |        0
713.28/713.46	c  710s |      21 |  1500227 |  1393145 |     7895    396 |        0 |        0
715.28/715.49	c  712s |      21 |  1504218 |  1396745 |     7895    396 |        0 |        0
717.38/717.50	c  714s |      21 |  1507848 |  1400145 |     7895    397 |        0 |        0
719.39/719.56	c  716s |      21 |  1512014 |  1403945 |     7895    398 |        0 |        0
721.49/721.62	c  718s |      21 |  1515804 |  1407645 |     7895    399 |        0 |        0
723.48/723.62	c  720s |      21 |  1519423 |  1410845 |     7895    400 |        0 |        0
725.48/725.64	c  722s |      21 |  1523340 |  1414145 |     7895    401 |        0 |        0
727.48/727.68	c  724s |      21 |  1527574 |  1418145 |     7895    402 |        0 |        0
729.58/729.71	c  726s |      21 |  1532310 |  1422645 |     7895    403 |        0 |        0
731.58/731.74	c  728s |      21 |  1536875 |  1426945 |     7895    404 |        0 |        0
733.59/733.76	c  730s |      21 |  1541810 |  1431545 |     7895    405 |        0 |        0
735.58/735.79	c  732s |      21 |  1546088 |  1435645 |     7895    406 |        0 |        0
737.68/737.83	c  734s |      21 |  1550370 |  1439645 |     7895    407 |        0 |        0
739.68/739.88	c  736s |      21 |  1554540 |  1443645 |     7895    408 |        0 |        0
741.68/741.89	c  738s |      21 |  1559275 |  1448145 |     7895    409 |        0 |        0
743.78/743.90	c  740s |      21 |  1563877 |  1452445 |     7895    410 |        0 |        0
745.79/745.93	c  743s |      21 |  1568366 |  1456645 |     7895    411 |        0 |        0
747.78/747.96	c  745s |      21 |  1573280 |  1461245 |     7895    412 |        0 |        0
749.88/750.00	c  747s |      21 |  1578241 |  1465945 |     7895    413 |        0 |        0
751.88/752.02	c  749s |      21 |  1583299 |  1470345 |     7895    414 |        0 |        0
753.88/754.04	c  751s |      21 |  1587793 |  1474445 |     7895    415 |        0 |        0
755.88/756.08	c  753s |      21 |  1592755 |  1479145 |     7895    416 |        0 |        0
757.88/758.09	c  755s |      21 |  1597158 |  1483245 |     8685    417 |        0 |        0
759.98/760.12	c  757s |      21 |  1601589 |  1487345 |     8685    418 |        0 |        0
761.98/762.16	c  759s |      21 |  1606082 |  1491545 |     8685    419 |        0 |        0
763.97/764.19	c  761s |      21 |  1610150 |  1495145 |     8685    420 |        0 |        0
766.07/766.20	c  763s |      21 |  1614809 |  1499545 |     8685    420 |        0 |        0
766.58/766.79	c  763s |      22 |  1615965 |  1500622 |     8685    421 |        0 |        0
768.67/768.82	c  765s |      22 |  1623265 |  1507622 |     8685    422 |        0 |        0
770.67/770.84	c  767s |      22 |  1628368 |  1512522 |     8685    423 |        0 |        0
772.67/772.86	c  769s |      22 |  1633419 |  1517322 |     8685    424 |        0 |        0
774.67/774.89	c  771s |      22 |  1637648 |  1521422 |     8685    425 |        0 |        0
776.77/776.96	c  774s |      22 |  1642653 |  1526222 |     8685    426 |        0 |        0
778.78/778.96	c  776s |      22 |  1647408 |  1530822 |     8685    427 |        0 |        0
780.77/780.97	c  778s |      22 |  1652828 |  1536022 |     8685    428 |        0 |        0
782.87/783.00	c  780s |      22 |  1657447 |  1540122 |     8685    429 |        0 |        0
784.87/785.02	c  782s |      22 |  1661448 |  1543822 |     8685    430 |        0 |        0
786.87/787.02	c  784s |      22 |  1665139 |  1547222 |     8685    431 |        0 |        0
788.87/789.06	c  786s |      22 |  1669621 |  1551522 |     8685    432 |        0 |        0
790.88/791.07	c  788s |      22 |  1673930 |  1555722 |     8685    433 |        0 |        0
792.98/793.10	c  790s |      22 |  1678847 |  1560422 |     8685    434 |        0 |        0
794.97/795.11	c  792s |      22 |  1684103 |  1565322 |     8685    435 |        0 |        0
796.97/797.13	c  794s |      22 |  1688399 |  1569522 |     8685    435 |        0 |        0
798.97/799.16	c  796s |      22 |  1692648 |  1573622 |     8685    436 |        0 |        0
800.97/801.17	c  798s |      22 |  1696944 |  1577722 |     8685    437 |        0 |        0
802.97/803.17	c  800s |      22 |  1701027 |  1581522 |     8685    438 |        0 |        0
804.97/805.20	c  802s |      22 |  1706124 |  1586422 |     8685    439 |        0 |        0
807.07/807.20	c  804s |      22 |  1710658 |  1590722 |     8685    440 |        0 |        0
809.07/809.23	c  806s |      22 |  1715402 |  1595222 |     8685    441 |        0 |        0
811.06/811.23	c  808s |      22 |  1719736 |  1599322 |     8685    442 |        0 |        0
813.06/813.25	c  810s |      22 |  1723786 |  1603022 |     8685    443 |        0 |        0
815.16/815.32	c  812s |      22 |  1727760 |  1606722 |     8685    443 |        0 |        0
817.17/817.33	c  814s |      22 |  1732238 |  1610922 |     8685    444 |        0 |        0
819.16/819.34	c  816s |      22 |  1736239 |  1614722 |     8685    445 |        0 |        0
821.16/821.36	c  818s |      22 |  1740407 |  1618722 |     8685    446 |        0 |        0
823.16/823.37	c  820s |      22 |  1743910 |  1622122 |     8685    447 |        0 |        0
825.16/825.38	c  822s |      22 |  1747652 |  1625722 |     8685    448 |        0 |        0
827.17/827.38	c  824s |      22 |  1752761 |  1630722 |     8685    449 |        0 |        0
829.16/829.38	c  826s |      22 |  1756312 |  1634022 |     8685    449 |        0 |        0
831.26/831.42	c  828s |      22 |  1760749 |  1638322 |     8685    450 |        0 |        0
833.26/833.45	c  830s |      22 |  1764894 |  1642322 |     8685    451 |        0 |        0
835.26/835.45	c  832s |      22 |  1768924 |  1646222 |     8685    452 |        0 |        0
837.36/837.50	c  834s |      22 |  1772646 |  1649722 |     8685    453 |        0 |        0
839.36/839.53	c  836s |      22 |  1776470 |  1653322 |     8685    453 |        0 |        0
841.37/841.56	c  838s |      22 |  1781087 |  1657822 |     8685    454 |        0 |        0
843.36/843.56	c  840s |      22 |  1786058 |  1662522 |     8685    455 |        0 |        0
845.36/845.58	c  842s |      22 |  1790954 |  1667222 |     8685    456 |        0 |        0
847.46/847.62	c  844s |      22 |  1795212 |  1671322 |     8685    457 |        0 |        0
849.46/849.67	c  846s |      22 |  1799671 |  1675622 |     8685    458 |        0 |        0
851.56/851.70	c  848s |      22 |  1803934 |  1679722 |     8685    459 |        0 |        0
853.56/853.76	c  850s |      22 |  1808053 |  1683622 |     8685    460 |        0 |        0
855.56/855.78	c  852s |      22 |  1812166 |  1687422 |     8685    461 |        0 |        0
857.66/857.80	c  854s |      22 |  1816712 |  1691822 |     8685    462 |        0 |        0
859.66/859.81	c  856s |      22 |  1820402 |  1695222 |     8685    463 |        0 |        0
861.76/861.90	c  858s |      22 |  1825516 |  1699922 |     8685    464 |        0 |        0
863.75/863.95	c  861s |      22 |  1829982 |  1704122 |     8685    464 |        0 |        0
865.75/865.99	c  863s |      22 |  1834350 |  1708222 |     8685    465 |        0 |        0
867.86/868.01	c  865s |      22 |  1838764 |  1712522 |     8685    466 |        0 |        0
869.85/870.01	c  867s |      22 |  1843109 |  1716622 |     8685    467 |        0 |        0
871.85/872.06	c  869s |      22 |  1847725 |  1721122 |     8685    468 |        0 |        0
873.85/874.06	c  871s |      22 |  1852076 |  1725422 |     8685    469 |        0 |        0
875.85/876.07	c  873s |      22 |  1857299 |  1730322 |     8685    470 |        0 |        0
877.85/878.08	c  875s |      22 |  1861275 |  1734122 |     8685    471 |        0 |        0
879.86/880.10	c  877s |      22 |  1865927 |  1738622 |     8685    472 |        0 |        0
881.95/882.13	c  879s |      22 |  1870482 |  1742922 |     8685    473 |        0 |        0
883.95/884.15	c  881s |      22 |  1875755 |  1748022 |     8685    474 |        0 |        0
885.95/886.16	c  883s |      22 |  1880522 |  1752622 |     8685    475 |        0 |        0
887.95/888.17	c  885s |      22 |  1885542 |  1757322 |     8685    476 |        0 |        0
889.96/890.19	c  887s |      22 |  1889824 |  1761322 |     8685    477 |        0 |        0
892.07/892.21	c  889s |      22 |  1894594 |  1765922 |     8685    478 |        0 |        0
894.06/894.22	c  891s |      22 |  1899054 |  1770222 |     8685    479 |        0 |        0
896.06/896.23	c  893s |      22 |  1904777 |  1775822 |     8685    480 |        0 |        0
898.06/898.26	c  895s |      22 |  1909626 |  1780422 |     8685    481 |        0 |        0
900.16/900.30	c  897s |      22 |  1914487 |  1785022 |     8685    482 |        0 |        0
902.16/902.32	c  899s |      22 |  1919103 |  1789422 |     8685    483 |        0 |        0
904.16/904.35	c  901s |      22 |  1923792 |  1793822 |     8685    484 |        0 |        0
906.16/906.37	c  903s |      22 |  1928385 |  1798322 |     8685    485 |        0 |        0
908.25/908.41	c  905s |      22 |  1933232 |  1802822 |     8685    486 |        0 |        0
910.25/910.41	c  907s |      22 |  1937628 |  1807022 |     8685    487 |        0 |        0
912.25/912.42	c  909s |      22 |  1942476 |  1811622 |     8685    488 |        0 |        0
914.25/914.45	c  911s |      22 |  1947368 |  1816222 |     8685    489 |        0 |        0
916.26/916.49	c  913s |      22 |  1951902 |  1820422 |     8685    489 |        0 |        0
918.36/918.53	c  915s |      22 |  1956043 |  1824422 |     8685    490 |        0 |        0
920.35/920.57	c  917s |      22 |  1960870 |  1829022 |     8685    491 |        0 |        0
922.45/922.61	c  919s |      22 |  1965793 |  1833822 |     8685    492 |        0 |        0
924.45/924.63	c  921s |      22 |  1970782 |  1838622 |     8685    493 |        0 |        0
926.45/926.66	c  923s |      22 |  1975509 |  1843222 |     8685    494 |        0 |        0
928.45/928.66	c  925s |      22 |  1980243 |  1847822 |     8685    495 |        0 |        0
930.56/930.72	c  927s |      22 |  1984951 |  1852122 |     8685    496 |        0 |        0
932.55/932.76	c  929s |      22 |  1989907 |  1856622 |     8685    497 |        0 |        0
934.55/934.78	c  931s |      22 |  1994475 |  1861122 |     8685    498 |        0 |        0
936.55/936.79	c  933s |      22 |  1999297 |  1865722 |     8685    499 |        0 |        0
938.55/938.79	c  935s |      22 |  2003472 |  1869822 |     8685    500 |        0 |        0
940.65/940.83	c  937s |      22 |  2007941 |  1874122 |     8685    501 |        0 |        0
942.65/942.87	c  939s |      22 |  2012241 |  1878322 |     8685    502 |        0 |        0
944.65/944.87	c  941s |      22 |  2016525 |  1882422 |     8685    503 |        0 |        0
946.64/946.88	c  943s |      22 |  2020836 |  1886622 |     8685    504 |        0 |        0
948.74/948.91	c  945s |      22 |  2026243 |  1891622 |     8685    505 |        0 |        0
950.74/950.93	c  948s |      22 |  2030535 |  1895722 |     8685    506 |        0 |        0
952.74/952.99	c  950s |      22 |  2034860 |  1899922 |     8685    507 |        0 |        0
954.84/955.02	c  952s |      22 |  2040119 |  1905022 |     8685    508 |        0 |        0
956.85/957.04	c  954s |      22 |  2045440 |  1910022 |     8685    509 |        0 |        0
958.84/959.08	c  956s |      22 |  2050137 |  1914322 |     8685    510 |        0 |        0
960.94/961.12	c  958s |      22 |  2054560 |  1918422 |     8685    510 |        0 |        0
962.94/963.14	c  960s |      22 |  2059060 |  1922722 |     8685    511 |        0 |        0
964.94/965.20	c  962s |      22 |  2063272 |  1926722 |     8685    512 |        0 |        0
967.03/967.21	c  964s |      22 |  2067732 |  1931022 |     8685    513 |        0 |        0
969.04/969.24	c  966s |      22 |  2072348 |  1935422 |     8685    514 |        0 |        0
971.03/971.29	c  968s |      22 |  2076932 |  1939822 |     8685    515 |        0 |        0
973.13/973.31	c  970s |      22 |  2081714 |  1944422 |     8685    516 |        0 |        0
975.13/975.33	c  972s |      22 |  2086324 |  1948822 |     8685    517 |        0 |        0
977.13/977.37	c  974s |      22 |  2090831 |  1953222 |     8685    518 |        0 |        0
979.13/979.38	c  976s |      22 |  2095818 |  1958022 |     8685    519 |        0 |        0
981.23/981.42	c  978s |      22 |  2100271 |  1962322 |     8685    520 |        0 |        0
983.23/983.45	c  980s |      22 |  2104748 |  1966622 |     8685    521 |        0 |        0
985.23/985.47	c  982s |      22 |  2108977 |  1970722 |     8685    522 |        0 |        0
987.22/987.49	c  984s |      22 |  2112886 |  1974522 |     8685    523 |        0 |        0
989.32/989.50	c  986s |      22 |  2117476 |  1979022 |     8685    523 |        0 |        0
991.32/991.51	c  988s |      22 |  2122409 |  1983722 |     8685    525 |        0 |        0
993.32/993.51	c  990s |      22 |  2126815 |  1987822 |     8685    525 |        0 |        0
995.33/995.54	c  992s |      22 |  2131480 |  1992322 |     8685    526 |        0 |        0
997.42/997.60	c  994s |      22 |  2136064 |  1996722 |     8685    527 |        0 |        0
999.42/999.62	c  996s |      22 |  2140210 |  2000722 |     8685    528 |        0 |        0
1001.42/1001.65	c  998s |      22 |  2144869 |  2005222 |     8685    529 |        0 |        0
1003.42/1003.65	c 1000s |      22 |  2149260 |  2009522 |     8685    530 |        0 |        0
1005.42/1005.66	c 1002s |      22 |  2153960 |  2013922 |     8685    531 |        0 |        0
1007.42/1007.68	c 1004s |      22 |  2157685 |  2017422 |     8685    532 |        0 |        0
1009.42/1009.68	c 1006s |      22 |  2161550 |  2021122 |     8685    533 |        0 |        0
1011.52/1011.71	c 1008s |      22 |  2166139 |  2025522 |     8685    533 |        0 |        0
1013.52/1013.75	c 1010s |      22 |  2170848 |  2030022 |     8685    534 |        0 |        0
1015.52/1015.78	c 1012s |      22 |  2175378 |  2034422 |     8685    535 |        0 |        0
1017.61/1017.83	c 1014s |      22 |  2179834 |  2038722 |     8685    536 |        0 |        0
1019.62/1019.86	c 1016s |      22 |  2183768 |  2042522 |     8685    537 |        0 |        0
1021.61/1021.89	c 1018s |      22 |  2188495 |  2047122 |     8685    538 |        0 |        0
1023.71/1023.90	c 1020s |      22 |  2193493 |  2051822 |     8685    539 |        0 |        0
1025.71/1025.92	c 1023s |      22 |  2198196 |  2056122 |     8685    540 |        0 |        0
1027.70/1027.96	c 1025s |      22 |  2202302 |  2060022 |     8685    541 |        0 |        0
1029.70/1029.99	c 1027s |      22 |  2206420 |  2064022 |     8685    542 |        0 |        0
1031.71/1031.99	c 1029s |      22 |  2210152 |  2067622 |     8685    543 |        0 |        0
1033.81/1034.01	c 1031s |      22 |  2215117 |  2072322 |     8685    544 |        0 |        0
1035.80/1036.04	c 1033s |      22 |  2220259 |  2077122 |     8685    545 |        0 |        0
1037.80/1038.05	c 1035s |      22 |  2224518 |  2081122 |     8685    545 |        0 |        0
1039.80/1040.08	c 1037s |      22 |  2229216 |  2085722 |     8685    546 |        0 |        0
1041.80/1042.09	c 1039s |      22 |  2233839 |  2090222 |     8685    547 |        0 |        0
1043.90/1044.11	c 1041s |      22 |  2238376 |  2094622 |     8685    548 |        0 |        0
1045.90/1046.16	c 1043s |      22 |  2243473 |  2099422 |     8685    549 |        0 |        0
1047.99/1048.22	c 1045s |      22 |  2248376 |  2104122 |     8685    550 |        0 |        0
1049.99/1050.23	c 1047s |      22 |  2253079 |  2108522 |     8685    551 |        0 |        0
1051.99/1052.24	c 1049s |      22 |  2257633 |  2112922 |     8685    552 |        0 |        0
1053.99/1054.24	c 1051s |      22 |  2262282 |  2117322 |     8685    553 |        0 |        0
1055.99/1056.28	c 1053s |      22 |  2266690 |  2121522 |     8685    554 |        0 |        0
1057.99/1058.30	c 1055s |      22 |  2271867 |  2126522 |     8685    555 |        0 |        0
1060.08/1060.35	c 1057s |      22 |  2277114 |  2131522 |     8685    556 |        0 |        0
1062.08/1062.36	c 1059s |      22 |  2281817 |  2135922 |     8685    557 |        0 |        0
1064.08/1064.37	c 1061s |      22 |  2286657 |  2140522 |     8685    558 |        0 |        0
1066.08/1066.37	c 1063s |      22 |  2291363 |  2144922 |     8685    559 |        0 |        0
1068.08/1068.39	c 1065s |      22 |  2295812 |  2149122 |     8685    560 |        0 |        0
1070.19/1070.41	c 1067s |      22 |  2300670 |  2153822 |     8685    561 |        0 |        0
1072.18/1072.45	c 1069s |      22 |  2305905 |  2158822 |     8685    562 |        0 |        0
1074.18/1074.47	c 1071s |      22 |  2310687 |  2163422 |     8685    563 |        0 |        0
1076.18/1076.47	c 1073s |      22 |  2315526 |  2167922 |     8685    564 |        0 |        0
1078.28/1078.52	c 1075s |      22 |  2319651 |  2171922 |     8685    565 |        0 |        0
1080.28/1080.55	c 1077s |      22 |  2324173 |  2176322 |     8685    566 |        0 |        0
1082.28/1082.55	c 1079s |      22 |  2329323 |  2181222 |     8685    567 |        0 |        0
1084.28/1084.56	c 1081s |      22 |  2334078 |  2185822 |     8685    568 |        0 |        0
1086.28/1086.57	c 1083s |      22 |  2338695 |  2190122 |     8685    569 |        0 |        0
1088.37/1088.61	c 1085s |      22 |  2343420 |  2194622 |     8685    570 |        0 |        0
1090.37/1090.63	c 1087s |      22 |  2347782 |  2198822 |     8685    571 |        0 |        0
1092.47/1092.71	c 1089s |      22 |  2352158 |  2202922 |     8685    572 |        0 |        0
1094.47/1094.71	c 1091s |      22 |  2357201 |  2207522 |     8685    573 |        0 |        0
1096.48/1096.72	c 1093s |      22 |  2361809 |  2211922 |     8685    574 |        0 |        0
1098.47/1098.77	c 1095s |      22 |  2366565 |  2216422 |     8685    575 |        0 |        0
1100.57/1100.81	c 1097s |      22 |  2370865 |  2220622 |     8685    575 |        0 |        0
1102.57/1102.82	c 1099s |      22 |  2375482 |  2225022 |     8685    576 |        0 |        0
1104.57/1104.85	c 1101s |      22 |  2380636 |  2229622 |     9554    577 |        0 |        0
1106.56/1106.87	c 1103s |      22 |  2385253 |  2234022 |     9554    578 |        0 |        0
1108.57/1108.88	c 1105s |      22 |  2389711 |  2238322 |     9554    579 |        0 |        0
1110.66/1110.92	c 1108s |      22 |  2393971 |  2242522 |     9554    580 |        0 |        0
1112.66/1112.93	c 1110s |      22 |  2398227 |  2246622 |     9554    581 |        0 |        0
1114.46/1114.78	c 1111s |      23 |  2402898 |  2251038 |     9554    581 |        0 |        0
1116.56/1116.83	c 1113s |      23 |  2408875 |  2256938 |     9554    583 |        0 |        0
1118.57/1118.85	c 1115s |      23 |  2413552 |  2261538 |     9554    584 |        0 |        0
1120.56/1120.87	c 1117s |      23 |  2418630 |  2266438 |     9554    585 |        0 |        0
1122.56/1122.88	c 1119s |      23 |  2422770 |  2270538 |     9554    585 |        0 |        0
1124.56/1124.89	c 1121s |      23 |  2427986 |  2275238 |     9554    586 |        0 |        0
1126.65/1126.90	c 1123s |      23 |  2433751 |  2279938 |     9554    587 |        0 |        0
1128.65/1128.94	c 1126s |      23 |  2437216 |  2283038 |     9554    588 |        0 |        0
1130.66/1130.97	c 1128s |      23 |  2441949 |  2286538 |     9554    589 |        0 |        0
1132.76/1133.01	c 1130s |      23 |  2447136 |  2291538 |     9554    590 |        0 |        0
1134.75/1135.02	c 1132s |      23 |  2450956 |  2295038 |     9554    590 |        0 |        0
1136.75/1137.05	c 1134s |      23 |  2454468 |  2298138 |     9554    591 |        0 |        0
1138.75/1139.08	c 1136s |      23 |  2458740 |  2302338 |     9554    592 |        0 |        0
1140.85/1141.14	c 1138s |      23 |  2462808 |  2306338 |     9554    592 |        0 |        0
1142.85/1143.15	c 1140s |      23 |  2467105 |  2310538 |     9554    593 |        0 |        0
1144.86/1145.19	c 1142s |      23 |  2471168 |  2314438 |     9554    594 |        0 |        0
1146.95/1147.24	c 1144s |      23 |  2474796 |  2317738 |     9554    595 |        0 |        0
1149.05/1149.32	c 1146s |      23 |  2478901 |  2321638 |     9554    595 |        0 |        0
1151.05/1151.35	c 1148s |      23 |  2482531 |  2325038 |     9554    596 |        0 |        0
1153.05/1153.37	c 1150s |      23 |  2486153 |  2328538 |     9554    597 |        0 |        0
1155.15/1155.40	c 1152s |      23 |  2489808 |  2332038 |     9554    597 |        0 |        0
1157.14/1157.45	c 1154s |      23 |  2493973 |  2336038 |     9554    598 |        0 |        0
1159.16/1159.48	c 1156s |      23 |  2497210 |  2338838 |     9554    599 |        0 |        0
1161.15/1161.49	c 1158s |      23 |  2501167 |  2342538 |     9554    599 |        0 |        0
1163.25/1163.53	c 1160s |      23 |  2505147 |  2346138 |     9554    600 |        0 |        0
1165.25/1165.55	c 1162s |      23 |  2509590 |  2350338 |     9554    601 |        0 |        0
1167.24/1167.57	c 1164s |      23 |  2513296 |  2353938 |     9554    602 |        0 |        0
1169.24/1169.58	c 1166s |      23 |  2517226 |  2357738 |     9554    602 |        0 |        0
1171.25/1171.59	c 1168s |      23 |  2520845 |  2361138 |     9554    603 |        0 |        0
1173.34/1173.66	c 1170s |      23 |  2523944 |  2364038 |     9554    604 |        0 |        0
1175.34/1175.66	c 1172s |      23 |  2526704 |  2366538 |     9554    604 |        0 |        0
1177.34/1177.69	c 1174s |      23 |  2530304 |  2369938 |     9554    605 |        0 |        0
1179.44/1179.74	c 1176s |      23 |  2534063 |  2373438 |     9554    605 |        0 |        0
1181.44/1181.79	c 1178s |      23 |  2537856 |  2376838 |     9554    606 |        0 |        0
1183.54/1183.83	c 1180s |      23 |  2541911 |  2380738 |     9554    607 |        0 |        0
1185.54/1185.87	c 1182s |      23 |  2545324 |  2384038 |     9554    608 |        0 |        0
1187.63/1187.90	c 1184s |      23 |  2549666 |  2388038 |     9554    608 |        0 |        0
1189.63/1189.93	c 1187s |      23 |  2553998 |  2392238 |     9554    609 |        0 |        0
1191.63/1191.94	c 1189s |      23 |  2557767 |  2395838 |     9554    610 |        0 |        0
1193.63/1193.95	c 1191s |      23 |  2561615 |  2399438 |     9554    611 |        0 |        0
1195.63/1195.97	c 1193s |      23 |  2565036 |  2402738 |     9554    611 |        0 |        0
1197.74/1198.02	c 1195s |      23 |  2568533 |  2405938 |     9554    612 |        0 |        0
1199.73/1200.04	c 1197s |      23 |  2571891 |  2409038 |     9554    612 |        0 |        0
1201.73/1202.05	c 1199s |      23 |  2575869 |  2412838 |     9554    613 |        0 |        0
1203.83/1204.11	c 1201s |      23 |  2579188 |  2416038 |     9554    614 |        0 |        0
1205.93/1206.24	c 1203s |      23 |  2582368 |  2418838 |     9554    614 |        0 |        0
1207.92/1208.26	c 1205s |      23 |  2586479 |  2422838 |     9554    615 |        0 |        0
1210.02/1210.30	c 1207s |      23 |  2589292 |  2425538 |     9554    616 |        0 |        0
1212.03/1212.31	c 1209s |      23 |  2592242 |  2428238 |     9554    616 |        0 |        0
1214.02/1214.35	c 1211s |      23 |  2596098 |  2431938 |     9554    617 |        0 |        0
1216.02/1216.39	c 1213s |      23 |  2599235 |  2434938 |     9554    618 |        0 |        0
1218.12/1218.40	c 1215s |      23 |  2602707 |  2438338 |     9554    618 |        0 |        0
1220.12/1220.40	c 1217s |      23 |  2606883 |  2442038 |     9554    619 |        0 |        0
1222.12/1222.42	c 1219s |      23 |  2610703 |  2445638 |     9554    620 |        0 |        0
1224.12/1224.46	c 1221s |      23 |  2614820 |  2449438 |     9554    620 |        0 |        0
1226.22/1226.55	c 1223s |      23 |  2618750 |  2453138 |     9554    621 |        0 |        0
1228.31/1228.62	c 1225s |      23 |  2623566 |  2457738 |     9554    622 |        0 |        0
1230.31/1230.65	c 1227s |      23 |  2627662 |  2461538 |     9554    623 |        0 |        0
1232.31/1232.69	c 1229s |      23 |  2631126 |  2464738 |     9554    623 |        0 |        0
1234.31/1234.69	c 1231s |      23 |  2634987 |  2468338 |     9554    624 |        0 |        0
1236.41/1236.76	c 1233s |      23 |  2638563 |  2471538 |     9554    625 |        0 |        0
1238.50/1238.82	c 1235s |      23 |  2642197 |  2474838 |     9554    625 |        0 |        0
1240.61/1240.91	c 1237s |      23 |  2647325 |  2479438 |     9554    626 |        0 |        0
1242.60/1242.94	c 1240s |      23 |  2651200 |  2483038 |     9554    627 |        0 |        0
1244.60/1244.96	c 1242s |      23 |  2655546 |  2487138 |     9554    628 |        0 |        0
1246.70/1247.03	c 1244s |      23 |  2659452 |  2490838 |     9554    628 |        0 |        0
1248.70/1249.04	c 1246s |      23 |  2662962 |  2494238 |     9554    629 |        0 |        0
1250.70/1251.06	c 1248s |      23 |  2666920 |  2498038 |     9554    630 |        0 |        0
1252.71/1253.07	c 1250s |      23 |  2670955 |  2501838 |     9554    631 |        0 |        0
1254.70/1255.09	c 1252s |      23 |  2675401 |  2506138 |     9554    631 |        0 |        0
1256.79/1257.11	c 1254s |      23 |  2679017 |  2509438 |     9554    632 |        0 |        0
1258.79/1259.11	c 1256s |      23 |  2682141 |  2512438 |     9554    633 |        0 |        0
1260.79/1261.18	c 1258s |      23 |  2686700 |  2516738 |     9554    634 |        0 |        0
1262.89/1263.20	c 1260s |      23 |  2690886 |  2520638 |     9554    634 |        0 |        0
1264.89/1265.21	c 1262s |      23 |  2694950 |  2524438 |     9554    635 |        0 |        0
1266.90/1267.22	c 1264s |      23 |  2698422 |  2527638 |     9554    636 |        0 |        0
1268.89/1269.24	c 1266s |      23 |  2703417 |  2532338 |     9554    637 |        0 |        0
1270.90/1271.27	c 1268s |      23 |  2707803 |  2536338 |     9554    637 |        0 |        0
1272.90/1273.27	c 1270s |      23 |  2712596 |  2540838 |     9554    638 |        0 |        0
1274.90/1275.28	c 1272s |      23 |  2717268 |  2545138 |     9554    639 |        0 |        0
1276.90/1277.29	c 1274s |      23 |  2721262 |  2548838 |     9554    640 |        0 |        0
1279.00/1279.31	c 1276s |      23 |  2725190 |  2552438 |     9554    641 |        0 |        0
1280.99/1281.33	c 1278s |      23 |  2729452 |  2556438 |     9554    641 |        0 |        0
1282.99/1283.35	c 1280s |      23 |  2733141 |  2559938 |     9554    642 |        0 |        0
1285.09/1285.43	c 1282s |      23 |  2736874 |  2563438 |     9554    643 |        0 |        0
1287.09/1287.47	c 1284s |      23 |  2741406 |  2567638 |     9554    643 |        0 |        0
1289.19/1289.52	c 1286s |      23 |  2746054 |  2572138 |     9554    644 |        0 |        0
1291.19/1291.53	c 1288s |      23 |  2750854 |  2576538 |     9554    645 |        0 |        0
1293.19/1293.54	c 1290s |      23 |  2755111 |  2580638 |     9554    646 |        0 |        0
1295.19/1295.58	c 1292s |      23 |  2759892 |  2585238 |     9554    647 |        0 |        0
1297.18/1297.58	c 1294s |      23 |  2763964 |  2589138 |     9554    648 |        0 |        0
1299.28/1299.63	c 1296s |      23 |  2768368 |  2593338 |     9554    649 |        0 |        0
1301.28/1301.67	c 1298s |      23 |  2772611 |  2597438 |     9554    649 |        0 |        0
1303.29/1303.69	c 1300s |      23 |  2776227 |  2600938 |     9554    650 |        0 |        0
1305.39/1305.70	c 1302s |      23 |  2780735 |  2605238 |     9554    651 |        0 |        0
1307.38/1307.74	c 1304s |      23 |  2784662 |  2608838 |     9554    652 |        0 |        0
1309.38/1309.78	c 1306s |      23 |  2788818 |  2612738 |     9554    652 |        0 |        0
1311.48/1311.82	c 1308s |      23 |  2792822 |  2616538 |     9554    653 |        0 |        0
1313.48/1313.85	c 1310s |      23 |  2796555 |  2620038 |     9554    654 |        0 |        0
1315.48/1315.87	c 1312s |      23 |  2800314 |  2623638 |     9554    654 |        0 |        0
1317.48/1317.87	c 1314s |      23 |  2804679 |  2627638 |     9554    655 |        0 |        0
1319.58/1319.92	c 1317s |      23 |  2809500 |  2632238 |     9554    656 |        0 |        0
1321.58/1321.96	c 1319s |      23 |  2813859 |  2636338 |     9554    657 |        0 |        0
1323.57/1323.98	c 1321s |      23 |  2817833 |  2640138 |     9554    658 |        0 |        0
1325.67/1326.00	c 1323s |      23 |  2821821 |  2643838 |     9554    658 |        0 |        0
1327.67/1328.02	c 1325s |      23 |  2826099 |  2647938 |     9554    659 |        0 |        0
1329.68/1330.06	c 1327s |      23 |  2830633 |  2652338 |     9554    660 |        0 |        0
1331.67/1332.07	c 1329s |      23 |  2834982 |  2656538 |     9554    661 |        0 |        0
1333.67/1334.09	c 1331s |      23 |  2839197 |  2660638 |     9554    662 |        0 |        0
1335.67/1336.09	c 1333s |      23 |  2843438 |  2664638 |     9554    663 |        0 |        0
1337.77/1338.11	c 1335s |      23 |  2848122 |  2668838 |     9554    663 |        0 |        0
1339.77/1340.12	c 1337s |      23 |  2852126 |  2672538 |     9554    664 |        0 |        0
1341.77/1342.14	c 1339s |      23 |  2856253 |  2676438 |     9554    665 |        0 |        0
1343.76/1344.18	c 1341s |      23 |  2860137 |  2680138 |     9554    666 |        0 |        0
1345.86/1346.22	c 1343s |      23 |  2864194 |  2684038 |     9554    666 |        0 |        0
1347.86/1348.25	c 1345s |      23 |  2867750 |  2687438 |     9554    667 |        0 |        0
1349.86/1350.26	c 1347s |      23 |  2871622 |  2691038 |     9554    668 |        0 |        0
1351.86/1352.27	c 1349s |      23 |  2875253 |  2694438 |     9554    668 |        0 |        0
1353.87/1354.30	c 1351s |      23 |  2879395 |  2698238 |     9554    669 |        0 |        0
1355.86/1356.30	c 1353s |      23 |  2883894 |  2702438 |     9554    670 |        0 |        0
1357.96/1358.34	c 1355s |      23 |  2887615 |  2706038 |     9554    671 |        0 |        0
1359.96/1360.35	c 1357s |      23 |  2891794 |  2710138 |     9554    671 |        0 |        0
1361.96/1362.39	c 1359s |      23 |  2895433 |  2713538 |     9554    672 |        0 |        0
1364.06/1364.47	c 1361s |      23 |  2899341 |  2717138 |     9554    673 |        0 |        0
1366.16/1366.56	c 1363s |      23 |  2902443 |  2720038 |     9554    673 |        0 |        0
1368.16/1368.58	c 1365s |      23 |  2905747 |  2723038 |     9554    674 |        0 |        0
1370.15/1370.58	c 1367s |      23 |  2907885 |  2725138 |     9554    674 |        0 |        0
1372.25/1372.65	c 1369s |      23 |  2910753 |  2727838 |     9554    675 |        0 |        0
1374.25/1374.68	c 1371s |      23 |  2914697 |  2731638 |     9554    676 |        0 |        0
1376.25/1376.68	c 1373s |      23 |  2918544 |  2735338 |     9554    676 |        0 |        0
1378.35/1378.73	c 1375s |      23 |  2923353 |  2739938 |     9554    677 |        0 |        0
1380.35/1380.76	c 1377s |      23 |  2927110 |  2743438 |     9554    678 |        0 |        0
1382.46/1382.84	c 1379s |      23 |  2930195 |  2746338 |     9554    679 |        0 |        0
1384.45/1384.86	c 1381s |      23 |  2935129 |  2751038 |     9554    679 |        0 |        0
1386.45/1386.89	c 1383s |      23 |  2939845 |  2755638 |     9554    680 |        0 |        0
1388.55/1388.90	c 1385s |      23 |  2944571 |  2760138 |     9554    681 |        0 |        0
1390.55/1390.93	c 1388s |      23 |  2948995 |  2764238 |     9554    682 |        0 |        0
1392.55/1392.94	c 1390s |      23 |  2953795 |  2768838 |     9554    683 |        0 |        0
1394.55/1394.97	c 1392s |      23 |  2958029 |  2772838 |     9554    684 |        0 |        0
1396.65/1397.02	c 1394s |      23 |  2962487 |  2777038 |     9554    685 |        0 |        0
1398.64/1399.04	c 1396s |      23 |  2966981 |  2781338 |     9554    685 |        0 |        0
1400.64/1401.08	c 1398s |      23 |  2971596 |  2785738 |     9554    686 |        0 |        0
1402.74/1403.14	c 1400s |      23 |  2976340 |  2790338 |     9554    687 |        0 |        0
1404.74/1405.16	c 1402s |      23 |  2980297 |  2794138 |     9554    688 |        0 |        0
1406.74/1407.16	c 1404s |      23 |  2984251 |  2797938 |     9554    689 |        0 |        0
1408.74/1409.17	c 1406s |      23 |  2988925 |  2802338 |     9554    689 |        0 |        0
1410.84/1411.22	c 1408s |      23 |  2993263 |  2806438 |     9554    690 |        0 |        0
1412.84/1413.23	c 1410s |      23 |  2997126 |  2810038 |     9554    691 |        0 |        0
1414.83/1415.27	c 1412s |      23 |  3001606 |  2814338 |     9554    692 |        0 |        0
1416.83/1417.27	c 1414s |      23 |  3005804 |  2818238 |     9554    693 |        0 |        0
1418.93/1419.34	c 1416s |      23 |  3010044 |  2821938 |     9554    693 |        0 |        0
1420.94/1421.34	c 1418s |      23 |  3014105 |  2825738 |     9554    694 |        0 |        0
1422.93/1423.36	c 1420s |      23 |  3018407 |  2829538 |     9554    695 |        0 |        0
1424.93/1425.39	c 1422s |      23 |  3022661 |  2833638 |     9554    696 |        0 |        0
1427.03/1427.43	c 1424s |      23 |  3026847 |  2837638 |     9554    696 |        0 |        0
1429.02/1429.48	c 1426s |      23 |  3030399 |  2840938 |     9554    697 |        0 |        0
1431.02/1431.49	c 1428s |      23 |  3034751 |  2845038 |     9554    698 |        0 |        0
1433.12/1433.54	c 1430s |      23 |  3039332 |  2849238 |     9554    699 |        0 |        0
1435.13/1435.55	c 1432s |      23 |  3043711 |  2853038 |     9554    699 |        0 |        0
1437.12/1437.58	c 1434s |      23 |  3047994 |  2856838 |     9554    700 |        0 |        0
1439.22/1439.63	c 1436s |      23 |  3052477 |  2861038 |     9554    701 |        0 |        0
1441.23/1441.66	c 1438s |      23 |  3057107 |  2865338 |     9554    702 |        0 |        0
1443.23/1443.68	c 1440s |      23 |  3061283 |  2869238 |     9554    703 |        0 |        0
1445.32/1445.74	c 1442s |      23 |  3065161 |  2872838 |     9554    703 |        0 |        0
1447.33/1447.79	c 1444s |      23 |  3070534 |  2877738 |     9554    704 |        0 |        0
1449.43/1449.82	c 1446s |      23 |  3075288 |  2882138 |     9554    705 |        0 |        0
1451.42/1451.85	c 1448s |      23 |  3079980 |  2886638 |     9554    706 |        0 |        0
1453.42/1453.88	c 1450s |      23 |  3084326 |  2890838 |     9554    707 |        0 |        0
1455.52/1455.90	c 1452s |      23 |  3089134 |  2895338 |     9554    708 |        0 |        0
1457.52/1457.99	c 1455s |      23 |  3093825 |  2899738 |     9554    709 |        0 |        0
1459.62/1460.05	c 1457s |      23 |  3097830 |  2903538 |     9554    709 |        0 |        0
1461.62/1462.08	c 1459s |      23 |  3102176 |  2907738 |     9554    710 |        0 |        0
1463.72/1464.11	c 1461s |      23 |  3106020 |  2911538 |     9554    711 |        0 |        0
1465.71/1466.15	c 1463s |      23 |  3109735 |  2915138 |     9554    712 |        0 |        0
1467.71/1468.19	c 1465s |      23 |  3113232 |  2918538 |     9554    712 |        0 |        0
1469.71/1470.19	c 1467s |      23 |  3117097 |  2922038 |     9554    713 |        0 |        0
1471.81/1472.24	c 1469s |      23 |  3121503 |  2926338 |     9554    714 |        0 |        0
1473.81/1474.27	c 1471s |      23 |  3125263 |  2929638 |     9554    714 |        0 |        0
1475.81/1476.27	c 1473s |      23 |  3130364 |  2934438 |     9554    715 |        0 |        0
1477.80/1478.28	c 1475s |      23 |  3136037 |  2939738 |     9554    716 |        0 |        0
1479.90/1480.32	c 1477s |      23 |  3141099 |  2944538 |     9554    717 |        0 |        0
1481.90/1482.32	c 1479s |      23 |  3146441 |  2949538 |     9554    718 |        0 |        0
1483.90/1484.34	c 1481s |      23 |  3151382 |  2954438 |     9554    719 |        0 |        0
1485.90/1486.36	c 1483s |      23 |  3154935 |  2957938 |     9554    720 |        0 |        0
1487.90/1488.39	c 1485s |      23 |  3158993 |  2961938 |     9554    721 |        0 |        0
1490.00/1490.40	c 1487s |      23 |  3163090 |  2965938 |     9554    721 |        0 |        0
1492.00/1492.42	c 1489s |      23 |  3168795 |  2971438 |     9554    722 |        0 |        0
1494.00/1494.44	c 1491s |      23 |  3174074 |  2976638 |     9554    723 |        0 |        0
1496.00/1496.45	c 1493s |      23 |  3178583 |  2980938 |     9554    724 |        0 |        0
1497.99/1498.45	c 1495s |      23 |  3182316 |  2984538 |     9554    725 |        0 |        0
1500.00/1500.46	c 1497s |      23 |  3186685 |  2988838 |     9554    726 |        0 |        0
1501.99/1502.46	c 1499s |      23 |  3190709 |  2992738 |     9554    727 |        0 |        0
1504.09/1504.51	c 1501s |      23 |  3194194 |  2996138 |     9554    727 |        0 |        0
1506.09/1506.52	c 1503s |      23 |  3198683 |  3000538 |     9554    728 |        0 |        0
1508.09/1508.54	c 1505s |      23 |  3202836 |  3004638 |     9554    729 |        0 |        0
1510.09/1510.57	c 1507s |      23 |  3206834 |  3008538 |     9554    730 |        0 |        0
1512.09/1512.59	c 1509s |      23 |  3210972 |  3012638 |     9554    730 |        0 |        0
1514.18/1514.63	c 1511s |      23 |  3215394 |  3016938 |     9554    731 |        0 |        0
1516.18/1516.67	c 1513s |      23 |  3219910 |  3021338 |     9554    732 |        0 |        0
1518.18/1518.70	c 1515s |      23 |  3223821 |  3025038 |     9554    733 |        0 |        0
1520.28/1520.74	c 1517s |      23 |  3228128 |  3028738 |     9554    734 |        0 |        0
1522.28/1522.78	c 1519s |      23 |  3232395 |  3032638 |     9554    734 |        0 |        0
1524.28/1524.78	c 1521s |      23 |  3236554 |  3036638 |     9554    735 |        0 |        0
1526.38/1526.82	c 1523s |      23 |  3240688 |  3040638 |     9554    736 |        0 |        0
1528.37/1528.85	c 1525s |      23 |  3244828 |  3044638 |     9554    737 |        0 |        0
1530.37/1530.86	c 1527s |      23 |  3249047 |  3048738 |     9554    737 |        0 |        0
1532.37/1532.86	c 1529s |      23 |  3253111 |  3052638 |     9554    738 |        0 |        0
1534.37/1534.87	c 1531s |      23 |  3257174 |  3056538 |     9554    739 |        0 |        0
1536.38/1536.89	c 1533s |      23 |  3261033 |  3060238 |     9554    740 |        0 |        0
1538.48/1538.93	c 1536s |      23 |  3265135 |  3064138 |     9554    740 |        0 |        0
1540.47/1540.93	c 1538s |      23 |  3268652 |  3067438 |     9554    741 |        0 |        0
1542.47/1542.97	c 1540s |      23 |  3272710 |  3071338 |     9554    742 |        0 |        0
1544.47/1544.98	c 1542s |      23 |  3276512 |  3074838 |     9554    743 |        0 |        0
1546.57/1547.01	c 1544s |      23 |  3280459 |  3078438 |     9554    743 |        0 |        0
1548.57/1549.01	c 1546s |      23 |  3284295 |  3082138 |     9554    744 |        0 |        0
1550.58/1551.03	c 1548s |      23 |  3287902 |  3085638 |     9554    745 |        0 |        0
1552.57/1553.06	c 1550s |      23 |  3292350 |  3089638 |     9554    745 |        0 |        0
1554.57/1555.09	c 1552s |      23 |  3296412 |  3093438 |     9554    746 |        0 |        0
1556.67/1557.10	c 1554s |      23 |  3300031 |  3096838 |     9554    747 |        0 |        0
1558.67/1559.11	c 1556s |      23 |  3304081 |  3100638 |     9554    748 |        0 |        0
1560.66/1561.17	c 1558s |      23 |  3308482 |  3104838 |     9554    748 |        0 |        0
1562.67/1563.17	c 1560s |      23 |  3312516 |  3108738 |     9554    749 |        0 |        0
1564.76/1565.22	c 1562s |      23 |  3316061 |  3112038 |     9554    750 |        0 |        0
1566.76/1567.23	c 1564s |      23 |  3320031 |  3115838 |     9554    750 |        0 |        0
1568.76/1569.26	c 1566s |      23 |  3324355 |  3120038 |     9554    751 |        0 |        0
1570.86/1571.32	c 1568s |      23 |  3327993 |  3123538 |     9554    752 |        0 |        0
1572.86/1573.35	c 1570s |      23 |  3332653 |  3128038 |     9554    753 |        0 |        0
1574.87/1575.37	c 1572s |      23 |  3336099 |  3131338 |     9554    753 |        0 |        0
1576.96/1577.40	c 1574s |      23 |  3339610 |  3134738 |     9554    754 |        0 |        0
1578.96/1579.48	c 1576s |      23 |  3343747 |  3138738 |     9554    755 |        0 |        0
1581.06/1581.54	c 1578s |      23 |  3347186 |  3142038 |     9554    756 |        0 |        0
1583.06/1583.58	c 1580s |      23 |  3351458 |  3146038 |     9554    756 |        0 |        0
1585.16/1585.63	c 1582s |      23 |  3355416 |  3149938 |     9554    757 |        0 |        0
1587.15/1587.64	c 1584s |      23 |  3359775 |  3154238 |     9554    758 |        0 |        0
1589.16/1589.65	c 1586s |      23 |  3364544 |  3158938 |     9554    759 |        0 |        0
1591.15/1591.69	c 1588s |      23 |  3368916 |  3163238 |     9554    760 |        0 |        0
1593.25/1593.75	c 1590s |      23 |  3373258 |  3167538 |     9554    761 |        0 |        0
1595.25/1595.77	c 1592s |      23 |  3377811 |  3172038 |     9554    761 |        0 |        0
1597.35/1597.80	c 1594s |      23 |  3382754 |  3176838 |     9554    762 |        0 |        0
1599.35/1599.84	c 1596s |      23 |  3387573 |  3180738 |     9554    763 |        0 |        0
1601.35/1601.88	c 1598s |      23 |  3391614 |  3184438 |     9554    764 |        0 |        0
1603.35/1603.90	c 1600s |      23 |  3395898 |  3188538 |     9554    765 |        0 |        0
1605.45/1605.91	c 1603s |      23 |  3400329 |  3192638 |     9554    765 |        0 |        0
1607.45/1607.95	c 1605s |      23 |  3404601 |  3196738 |     9554    766 |        0 |        0
1609.55/1610.00	c 1607s |      23 |  3408653 |  3200538 |     9554    767 |        0 |        0
1611.55/1612.02	c 1609s |      23 |  3412560 |  3204238 |     9554    768 |        0 |        0
1613.55/1614.05	c 1611s |      23 |  3416571 |  3208038 |     9554    768 |        0 |        0
1615.55/1616.06	c 1613s |      23 |  3420618 |  3211838 |     9554    769 |        0 |        0
1617.65/1618.10	c 1615s |      23 |  3425069 |  3216138 |     9554    770 |        0 |        0
1619.64/1620.12	c 1617s |      23 |  3428941 |  3219838 |     9554    771 |        0 |        0
1621.64/1622.13	c 1619s |      23 |  3432805 |  3223638 |     9554    771 |        0 |        0
1623.64/1624.15	c 1621s |      23 |  3436753 |  3227438 |     9554    772 |        0 |        0
1625.64/1626.16	c 1623s |      23 |  3440913 |  3231338 |     9554    773 |        0 |        0
1627.74/1628.20	c 1625s |      23 |  3444861 |  3235238 |     9554    774 |        0 |        0
1629.64/1630.20	c 1627s |      23 |  3448715 |  3238938 |     9554    774 |        0 |        0
1631.74/1632.22	c 1629s |      23 |  3452637 |  3242738 |     9554    775 |        0 |        0
1633.74/1634.23	c 1631s |      23 |  3456180 |  3246138 |     9554    776 |        0 |        0
1635.84/1636.34	c 1633s |      23 |  3460121 |  3249838 |     9554    777 |        0 |        0
1637.84/1638.36	c 1635s |      23 |  3463877 |  3253438 |     9554    777 |        0 |        0
1639.94/1640.41	c 1637s |      23 |  3466954 |  3256338 |     9554    778 |        0 |        0
1641.95/1642.44	c 1639s |      23 |  3470547 |  3259438 |     9554    778 |        0 |        0
1643.94/1644.48	c 1641s |      23 |  3473901 |  3262438 |     9554    779 |        0 |        0
1646.04/1646.51	c 1643s |      23 |  3476843 |  3265238 |     9554    779 |        0 |        0
1648.04/1648.52	c 1645s |      23 |  3480532 |  3268738 |     9554    780 |        0 |        0
1650.04/1650.55	c 1647s |      23 |  3484623 |  3272738 |     9554    781 |        0 |        0
1652.04/1652.58	c 1649s |      23 |  3488175 |  3276138 |     9554    782 |        0 |        0
1654.14/1654.61	c 1651s |      23 |  3492506 |  3280038 |     9554    782 |        0 |        0
1656.14/1656.64	c 1653s |      23 |  3496372 |  3283738 |     9554    783 |        0 |        0
1658.14/1658.66	c 1655s |      23 |  3500063 |  3287338 |     9554    784 |        0 |        0
1660.14/1660.67	c 1657s |      23 |  3503534 |  3290738 |     9554    784 |        0 |        0
1662.14/1662.68	c 1659s |      23 |  3507214 |  3294338 |     9554    785 |        0 |        0
1664.14/1664.69	c 1661s |      23 |  3510959 |  3298038 |     9554    786 |        0 |        0
1666.23/1666.74	c 1663s |      23 |  3515360 |  3302338 |     9554    787 |        0 |        0
1668.34/1668.87	c 1665s |      23 |  3519279 |  3306138 |     9554    787 |        0 |        0
1670.44/1670.91	c 1667s |      23 |  3523178 |  3309838 |     9554    788 |        0 |        0
1672.43/1672.94	c 1670s |      23 |  3527189 |  3313638 |     9554    789 |        0 |        0
1674.53/1675.01	c 1672s |      23 |  3530352 |  3316638 |     9554    790 |        0 |        0
1676.53/1677.01	c 1674s |      23 |  3534718 |  3320638 |     9554    790 |        0 |        0
1678.53/1679.04	c 1676s |      23 |  3538688 |  3324438 |     9554    791 |        0 |        0
1680.53/1681.06	c 1678s |      23 |  3542470 |  3328138 |     9554    792 |        0 |        0
1682.54/1683.09	c 1680s |      23 |  3546356 |  3331738 |     9554    792 |        0 |        0
1684.63/1685.13	c 1682s |      23 |  3550483 |  3335538 |     9554    793 |        0 |        0
1686.63/1687.17	c 1684s |      23 |  3553722 |  3338738 |     9554    794 |        0 |        0
1688.73/1689.25	c 1686s |      23 |  3557622 |  3342138 |     9554    794 |        0 |        0
1690.73/1691.27	c 1688s |      23 |  3561087 |  3345538 |    10510    795 |        0 |        0
1692.83/1693.30	c 1690s |      23 |  3564310 |  3348638 |    10510    796 |        0 |        0
1694.83/1695.34	c 1692s |      23 |  3568042 |  3352138 |    10510    796 |        0 |        0
1696.84/1697.39	c 1694s |      23 |  3572060 |  3356038 |    10510    797 |        0 |        0
1698.93/1699.40	c 1696s |      23 |  3575903 |  3359338 |    10510    797 |        0 |        0
1700.93/1701.43	c 1698s |      23 |  3579592 |  3362838 |    10510    798 |        0 |        0
1702.93/1703.45	c 1700s |      23 |  3583185 |  3366138 |    10510    799 |        0 |        0
1704.93/1705.49	c 1702s |      23 |  3587096 |  3369838 |    10510    799 |        0 |        0
1707.03/1707.53	c 1704s |      23 |  3591341 |  3373938 |    10510    800 |        0 |        0
1708.73/1709.24	c 1706s |      24 |  3594147 |  3376662 |    10510    801 |        0 |        0
1710.73/1711.26	c 1708s |      24 |  3598406 |  3380162 |    10510    801 |        0 |        0
1712.73/1713.29	c 1710s |      24 |  3601960 |  3383262 |    10510    802 |        0 |        0
1714.83/1715.37	c 1712s |      24 |  3607605 |  3385862 |    10510    802 |        0 |        0
1716.93/1717.40	c 1714s |      24 |  3611486 |  3388962 |    10510    803 |        0 |        0
1718.93/1719.43	c 1716s |      24 |  3614905 |  3391862 |    10510    803 |        0 |        0
1720.92/1721.45	c 1718s |      24 |  3618775 |  3395562 |    10510    804 |        0 |        0
1722.92/1723.49	c 1720s |      24 |  3622524 |  3399262 |    10510    805 |        0 |        0
1725.02/1725.57	c 1722s |      24 |  3626902 |  3403462 |    10510    806 |        0 |        0
1727.12/1727.65	c 1724s |      24 |  3630921 |  3407362 |    10510    806 |        0 |        0
1729.12/1729.69	c 1726s |      24 |  3634522 |  3410762 |    10510    807 |        0 |        0
1731.22/1731.72	c 1728s |      24 |  3637849 |  3413962 |    10510    807 |        0 |        0
1733.32/1733.80	c 1730s |      24 |  3641369 |  3417262 |    10510    808 |        0 |        0
1735.33/1735.81	c 1732s |      24 |  3645000 |  3420762 |    10510    809 |        0 |        0
1737.32/1737.81	c 1734s |      24 |  3649026 |  3424662 |    10510    809 |        0 |        0
1739.32/1739.84	c 1736s |      24 |  3653164 |  3428562 |    10510    810 |        0 |        0
1741.32/1741.86	c 1738s |      24 |  3656685 |  3431862 |    10510    811 |        0 |        0
1743.43/1743.91	c 1741s |      24 |  3660057 |  3434362 |    10510    811 |        0 |        0
1745.43/1745.93	c 1743s |      24 |  3663437 |  3436962 |    10510    812 |        0 |        0
1747.44/1747.94	c 1745s |      24 |  3666935 |  3439762 |    10510    812 |        0 |        0
1749.53/1750.00	c 1747s |      24 |  3670216 |  3442562 |    10510    813 |        0 |        0
1751.53/1752.00	c 1749s |      24 |  3675803 |  3446262 |    10510    813 |        0 |        0
1753.53/1754.04	c 1751s |      24 |  3680572 |  3450562 |    10510    814 |        0 |        0
1755.63/1756.13	c 1753s |      24 |  3684531 |  3454362 |    10510    815 |        0 |        0
1757.63/1758.15	c 1755s |      24 |  3688351 |  3457962 |    10510    816 |        0 |        0
1759.63/1760.19	c 1757s |      24 |  3692574 |  3461962 |    10510    816 |        0 |        0
1761.73/1762.22	c 1759s |      24 |  3696434 |  3465762 |    10510    817 |        0 |        0
1763.73/1764.27	c 1761s |      24 |  3699997 |  3469162 |    10510    818 |        0 |        0
1765.83/1766.31	c 1763s |      24 |  3704525 |  3473462 |    10510    818 |        0 |        0
1767.83/1768.36	c 1765s |      24 |  3707823 |  3476662 |    10510    819 |        0 |        0
1769.82/1770.38	c 1767s |      24 |  3711632 |  3480262 |    10510    820 |        0 |        0
1771.92/1772.42	c 1769s |      24 |  3716373 |  3484862 |    10510    820 |        0 |        0
1773.93/1774.44	c 1771s |      24 |  3720442 |  3488762 |    10510    821 |        0 |        0
1775.92/1776.45	c 1773s |      24 |  3723859 |  3491962 |    10510    822 |        0 |        0
1777.92/1778.47	c 1775s |      24 |  3727560 |  3495262 |    10510    822 |        0 |        0
1779.92/1780.49	c 1777s |      24 |  3731535 |  3498962 |    10510    823 |        0 |        0
1782.02/1782.50	c 1779s |      24 |  3735233 |  3502262 |    10510    824 |        0 |        0
1784.02/1784.52	c 1781s |      24 |  3738610 |  3505362 |    10510    824 |        0 |        0
1786.03/1786.57	c 1783s |      24 |  3742741 |  3509362 |    10510    825 |        0 |        0
1788.13/1788.62	c 1785s |      24 |  3746473 |  3513062 |    10510    826 |        0 |        0
1790.12/1790.68	c 1787s |      24 |  3749832 |  3516362 |    10510    826 |        0 |        0
1792.22/1792.72	c 1789s |      24 |  3753329 |  3519762 |    10510    827 |        0 |        0
1794.22/1794.75	c 1791s |      24 |  3756190 |  3522562 |    10510    827 |        0 |        0
1796.22/1796.76	c 1793s |      24 |  3760337 |  3526562 |    10510    828 |        0 |        0
1798.32/1798.80	c 1795s |      24 |  3763866 |  3529962 |    10510    829 |        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-4106064-1466264772/watcher-4106064-1466264772 -o /tmp/evaluation-result-4106064-1466264772/solver-4106064-1466264772 -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-4106064-1466264772.opb 

pid=24949
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: 1.19 1.32 1.53 4/175 24955
/proc/meminfo: memFree=30033520/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=616892 CPUtime=0 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 2282 0 0 0 0 0 0 0 20 0 4 0 28522937 631697408 2644 33554432000 4194304 16246674 140733968373168 140733968372592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 154991 2654 441 2943 0 151885 0
[pid=24954/tid=24957] ppid=24949 vsize=640444 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 655814656 2737 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=645564 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 661057536 2754 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=649660 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28522937 665251840 2772 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100214 s]
/proc/loadavg: 1.19 1.32 1.53 4/175 24955
/proc/meminfo: memFree=30033520/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 22344 0 0 0 7 2 0 0 20 0 4 0 28522937 1247350784 22693 33554432000 4194304 16246674 140733968373168 140733968372592 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 304529 22701 758 2943 0 301423 0
[pid=24954/tid=24957] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 22707 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 22711 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 22715 33554432000 4194304 16246674 140733968373168 139906357644464 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.200507 s]
/proc/loadavg: 1.19 1.32 1.53 4/175 24955
/proc/meminfo: memFree=30033520/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 40266 0 0 0 14 5 0 0 20 0 4 0 28522937 1247350784 40615 33554432000 4194304 16246674 140733968373168 140733968372592 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 304529 40623 758 2943 0 301423 0
[pid=24954/tid=24957] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 40628 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 40636 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 40644 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300461 s]
/proc/loadavg: 1.19 1.32 1.53 4/175 24955
/proc/meminfo: memFree=30033520/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 58978 0 0 0 21 7 0 0 20 0 4 0 28522937 1247350784 59328 33554432000 4194304 16246674 140733968373168 140733968372592 13965592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 304529 59336 758 2943 0 301423 0
[pid=24954/tid=24957] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 59345 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 59349 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 59358 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700379 s]
/proc/loadavg: 1.19 1.32 1.53 4/175 24955
/proc/meminfo: memFree=30033520/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 124694 0 0 0 53 16 0 0 20 0 4 0 28522937 1247350784 125044 33554432000 4194304 16246674 140733968373168 140733968355072 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 304529 125051 758 2943 0 301423 0
[pid=24954/tid=24957] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 125053 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 125059 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28522937 1247350784 125064 33554432000 4194304 16246674 140733968373168 139906357644464 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.50035 s]
/proc/loadavg: 1.19 1.32 1.53 4/183 24963
/proc/meminfo: memFree=28427860/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1222212 CPUtime=1.49 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 246392 0 0 0 117 32 0 0 20 0 4 0 28522937 1251545088 246718 33554432000 4194304 16246674 140733968373168 140733968372480 5712474 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 305553 246718 832 2943 0 302447 0
[pid=24954/tid=24957] ppid=24949 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1251545088 246718 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1251545088 246718 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1251545088 246718 33554432000 4194304 16246674 140733968373168 139906357644464 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) 1222212

[startup+3.1004 s]
/proc/loadavg: 1.19 1.32 1.53 4/183 24963
/proc/meminfo: memFree=27995348/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1302084 CPUtime=3.09 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 266488 0 0 0 274 35 0 0 20 0 4 0 28522937 1333334016 266814 33554432000 4194304 16246674 140733968373168 140733968355072 5674030 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 325521 266814 850 2943 0 322415 0
[pid=24954/tid=24957] ppid=24949 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1333334016 266814 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1333334016 266814 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1333334016 266814 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1302084

[startup+6.3004 s]
/proc/loadavg: 1.25 1.33 1.53 5/183 24963
/proc/meminfo: memFree=27889332/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 267894 0 0 0 594 35 0 0 20 0 4 0 28522937 1338576896 268220 33554432000 4194304 16246674 140733968373168 140733968355072 5598416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 326801 268220 850 2943 0 323695 0
[pid=24954/tid=24957] ppid=24949 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1338576896 268220 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1338576896 268220 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1338576896 268220 33554432000 4194304 16246674 140733968373168 139906357644464 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: 1.31 1.34 1.53 4/183 24963
/proc/meminfo: memFree=27886532/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 268409 0 0 0 1234 35 0 0 20 0 4 0 28522937 1340674048 268735 33554432000 4194304 16246674 140733968373168 140733968355072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 327313 268735 853 2943 0 324207 0
[pid=24954/tid=24957] ppid=24949 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1340674048 268735 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1340674048 268735 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1340674048 268735 33554432000 4194304 16246674 140733968373168 139906357644464 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: 1.68 1.42 1.55 4/183 24963
/proc/meminfo: memFree=27883252/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 269177 0 0 0 2514 35 0 0 20 0 4 0 28522937 1343819776 269503 33554432000 4194304 16246674 140733968373168 140733968355072 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 328081 269503 853 2943 0 324975 0
[pid=24954/tid=24957] ppid=24949 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1343819776 269503 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1343819776 269503 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1343819776 269503 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 1.84 1.48 1.57 4/183 24963
/proc/meminfo: memFree=27878200/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 270201 0 0 0 5073 35 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 140733968355072 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 329105 270527 853 2943 0 325999 0
[pid=24954/tid=24957] ppid=24949 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 139906357644464 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.07 1.60 1.60 4/183 24965
/proc/meminfo: memFree=27875376/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 270201 0 0 0 10193 35 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 140733968355072 5711888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 329105 270527 853 2943 0 325999 0
[pid=24954/tid=24957] ppid=24949 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1348014080 270527 33554432000 4194304 16246674 140733968373168 139906357644464 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) 1316420


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

/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1340996

[startup+1362.3 s]
/proc/loadavg: 2.20 2.21 2.04 3/183 25117
/proc/meminfo: memFree=27839396/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1340996 CPUtime=1361.96 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 276607 0 0 0 136153 43 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 140733968355072 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335249 276675 854 2943 0 332143 0
[pid=24954/tid=24957] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.04 3/183 25118
/proc/meminfo: memFree=27839304/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1340996 CPUtime=1421.94 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 276647 0 0 0 142151 43 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 140733968355072 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335249 276675 854 2943 0 332143 0
[pid=24954/tid=24957] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.27 2.22 2.06 4/184 25122
/proc/meminfo: memFree=27837944/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1340996 CPUtime=1481.9 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 276685 0 0 0 148146 44 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 140733968355072 13191293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335249 276675 854 2943 0 332143 0
[pid=24954/tid=24957] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1373179904 276675 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1340996

[startup+1542.31 s]
/proc/loadavg: 2.26 2.23 2.07 4/183 25123
/proc/meminfo: memFree=27836792/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1541.88 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 276983 0 0 0 154143 45 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 5721418 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1342020

[startup+1602.3 s]
/proc/loadavg: 2.41 2.26 2.09 3/183 25125
/proc/meminfo: memFree=27836844/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1601.85 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 277010 0 0 0 160140 45 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1342020

[startup+1662.3 s]
/proc/loadavg: 2.27 2.24 2.09 4/183 25126
/proc/meminfo: memFree=27835852/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1661.84 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 277010 0 0 0 166139 45 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1342020

[startup+1722.3 s]
/proc/loadavg: 2.27 2.25 2.10 3/183 25127
/proc/meminfo: memFree=27835980/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1721.82 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 277010 0 0 0 172137 45 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.31 2.27 2.11 3/183 25128
/proc/meminfo: memFree=27835232/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1781.82 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 277010 0 0 0 178136 46 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 12467753 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.36 2.28 2.12 3/183 25128
/proc/meminfo: memFree=27830692/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1800.02 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 277010 0 0 0 179956 46 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 5712474 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1342020

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

[startup+1800.5 s]
/proc/loadavg: 2.36 2.28 2.12 3/183 25128
/proc/meminfo: memFree=27830692/32872528 swapFree=1499884/1696108
[pid=24954] ppid=24949 vsize=1342020 CPUtime=1800.02 cores=0,2,4,6
/proc/24954/stat : 24954 (toysat) R 24949 24954 24910 0 -1 4202496 277010 0 0 0 179956 46 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 140733968355072 5712474 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24954/statm: 335505 276933 854 2943 0 332399 0
[pid=24954/tid=24957] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24957/stat : 24957 (toysat) S 24949 24954 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906378607856 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24954/tid=24958] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24958/stat : 24958 (toysat) S 24949 24954 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906368118000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24954/tid=24960] ppid=24949 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/24954/task/24960/stat : 24960 (toysat) S 24949 24954 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28522937 1374228480 276933 33554432000 4194304 16246674 140733968373168 139906357644464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1342020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.57
CPU system time (s): 0.463929
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.463929
maximum resident set size= 1107732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277010
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= 423
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65629 second user time and 6.87795 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 17:46:12
IDJOB=4106064
IDBENCH=47912
IDSOLVER=2542
FILE ID=node137/4106064-1466264772
RUNJOBID= node137-1466264772-24926
PBS_JOBID= 19918225
Free space on /tmp= 71704 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=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106064-1466264772/watcher-4106064-1466264772 -o /tmp/evaluation-result-4106064-1466264772/solver-4106064-1466264772 -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-4106064-1466264772.opb

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

MD5SUM BENCH= 54510d4a8cd791bae993d435a4bb6e03
RANDOM SEED=90806018

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:        30035452 kB
Buffers:          142804 kB
Cached:           254220 kB
SwapCached:         1268 kB
Active:           149628 kB
Inactive:         250532 kB
Active(anon):       4576 kB
Inactive(anon):     1028 kB
Active(file):     145052 kB
Inactive(file):   249504 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             32608 kB
Writeback:             0 kB
AnonPages:       1698280 kB
Mapped:             6812 kB
Shmem:                 0 kB
Slab:             606636 kB
SReclaimable:      50976 kB
SUnreclaim:       555660 kB
KernelStack:        1336 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1791252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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 18:16:13