Trace number 4100233

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-markshare2_1.opb
MD5SUMf3b3c7fec040599f5daa92cc157157c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark55.8595
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 9
Optimality of the best value was proved NO
Number of variables330
Total number of constraints13
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 constraints13
Minimum length of a constraint11
Maximum length of a constraint150
Number of terms in the objective function 210
Biggest coefficient in the objective function 37450
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524454
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261082
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524454
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T03:01:14+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-4100233-1466211674.opb"]
0.00/0.01	c use --random-gen="3504139291 3377421453 1196943196 2539557600 613591545 3918817729 2109292704 2704683542 3326357100 301557583 4101110480 1248801368 3134852966 1727380345 3750024333 2593612704 1632148435 4056749150 3581711483 2166968764 2231412759 1987506599 817509338 2087476890 2294800556 1833298169 1083081732 589007552 3598114691 2140489420 1840216594 2847701111 3017307232 2366336890 1900895123 1593712166 3233359805 1729843298 397423885 3802082667 4033909174 2233128896 2599328615 3007210009 3984396501 4277824262 3563496994 3491007851 2607625007 1386170689 1317497998 15289376 4058413241 2189469321 21813210 3719761195 3286123122 2589807444 383721557 2654021839 2515086135 2881579555 1623194933 893493619 652215884 921247838 2658103461 6005193 4146955563 2793211807 3502005431 3584432625 3426920144 3860069478 1478083045 181484996 925002981 3781511870 3063584804 1851279562 3431126660 475823251 3818859803 1822943233 4089997270 3713094252 1795853326 2660666728 2004849106 1511485198 4280249013 2738984633 2639099108 609231848 257875603 1280082487 1807135071 2879576752 3265185167 1473463559 2844799375 3348010959 781574268 3785345775 3857908998 3047369500 1137450315 4193651063 909423487 3202934860 4101909258 751124007 4217226982 787362662 1766742985 735743799 1290699634 2283758239 3624856053 2077566326 3040703050 2929485677 2822394076 1530293985 4104109715 1305629456 477275357 3193770792 3868901908 4070152040 691033777 637242343 596635723 2116852200 3112230288 3749490119 4145979704 80876584 132372726 3092566571 1256087975 1044137916 2247000013 2298026354 3594911774 909435572 1949613588 1834221282 2881892285 2031641863 480134918 3883370158 263861842 3220743971 3501177488 2323290171 3496964747 2208859846 3401404837 3622945437 2443138359 3091979336 701947712 2909704078 512035150 3779286044 1653155807 1895767612 1801631257 625190264 3223411590 2598849695 34725912 1492010818 4013104033 4065575724 949456999 4002712577 2827196092 2354926170 961526616 2334321051 2606189207 4266210102 849425954 1761556333 4284720347 2694957854 1605975510 1062682208 1534564524 2384566576 1619481104 1458687582 2194576664 2137192467 3819773498 353772852 1307612665 2868308780 2709587181 3803858213 2982982614 153735570 1720642470 2850526143 33178754 383014303 3492271733 2070716695 1009231544 1013332951 1882322980 4280578208 2269935465 205117026 3357196048 2214083883 3640718532 3396847708 1246333450 315541669 1812774730 1969508681 3183370292 3224895248 416301428 1203244261 262610031 3825408395 610166631 3230949712 438040570 3044896099 299504721 2649831388 3584669762 1780989726 1205485285 2214991249 1283721254 424832711 913526347 2268776709 3794146364 293775298 3718656259 2936254764 3958096005 1733880013 2397035502 3037520860 786462524 628536677 1903290862 2644219128 255 362436" option to reproduce the execution
0.00/0.01	c #vars 330
0.00/0.01	c #constraints 13
0.00/0.02	c BCD2: Hardening is enabled.
0.00/0.02	c BCD2: BiasedSearch is enabled.
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      116      0 |       63 |        0
0.00/0.02	c  0.0s |       0 |       47 |        0 |      116      0 |       63 |        0
0.00/0.02	c #cpu_time = 0.002s
0.00/0.02	c #wall_clock_time = 0.002s
0.00/0.02	c #decision = 47
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 75
0.00/0.02	c BCD2: hardening fixes 63 literals
0.00/0.02	c BCD2: updating upper bound: 524454 -> 74
0.00/0.02	c BCD2: 0 <= obj <= 74
0.00/0.02	c BCD2: #cores=0, #unrelaxed=147, #relaxed=0, #hardened=63
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      116      0 |       63 |        0
0.00/0.06	c  0.0s |       1 |      280 |      100 |      116      0 |       63 |        0
0.09/0.13	c  0.1s |       2 |      608 |      250 |      128      0 |       63 |        0
0.19/0.25	c  0.2s |       3 |     1018 |      475 |      141      1 |       63 |        0
0.39/0.40	c  0.4s |       4 |     1534 |      813 |      156      3 |       63 |        0
0.59/0.66	c  0.6s |       5 |     2219 |     1320 |      172      5 |       63 |        0
0.99/1.03	c  1.0s |       6 |     3168 |     2081 |      210      9 |       63 |        0
1.49/1.53	c  1.5s |       7 |     4490 |     3223 |      232     13 |       63 |        0
2.09/2.10	c  2.1s |       8 |     6391 |     4936 |      256     20 |       63 |        0
2.89/2.99	c  3.0s |       9 |     9141 |     7506 |      282     30 |       63 |        0
4.19/4.29	c  4.3s |      10 |    13186 |    11361 |      311     44 |       63 |        0
6.09/6.17	c  6.1s |      11 |    19151 |    17144 |      343     64 |       63 |        0
8.09/8.18	c  8.2s |      11 |    25240 |    23044 |      343     83 |       63 |        0
9.09/9.14	c  9.1s |      12 |    28017 |    25819 |      378     92 |       63 |        0
11.10/11.14	c 11.1s |      12 |    33347 |    30919 |      378    108 |       63 |        0
13.09/13.15	c 13.1s |      12 |    38682 |    36219 |      378    124 |       63 |        0
14.39/14.46	c 14.4s |      13 |    41310 |    38832 |      416    132 |       63 |        0
16.39/16.49	c 16.5s |      13 |    45597 |    42932 |      416    143 |       63 |        0
18.49/18.53	c 18.5s |      13 |    50437 |    47732 |      416    157 |       63 |        0
20.48/20.53	c 20.5s |      13 |    54562 |    51832 |      416    168 |       63 |        0
22.48/22.54	c 22.5s |      13 |    58699 |    55932 |      416    180 |       63 |        0
23.68/23.73	c 23.7s |      14 |    61118 |    58352 |      458    186 |       63 |        0
25.68/25.74	c 25.7s |      14 |    65206 |    62252 |      458    197 |       63 |        0
27.68/27.75	c 27.7s |      14 |    69211 |    66252 |      458    207 |       63 |        0
29.69/29.79	c 29.8s |      14 |    73212 |    70252 |      458    218 |       63 |        0
31.78/31.81	c 31.8s |      14 |    77219 |    74252 |      458    228 |       63 |        0
33.78/33.84	c 33.8s |      14 |    81336 |    78352 |      458    239 |       63 |        0
35.78/35.85	c 35.8s |      14 |    85455 |    82452 |      458    250 |       63 |        0
37.78/37.88	c 37.9s |      14 |    90062 |    86952 |      458    262 |       63 |        0
38.08/38.19	c 38.2s |      15 |    90737 |    87632 |      504    263 |       63 |        0
40.18/40.20	c 40.2s |      15 |    95058 |    91732 |      504    274 |       63 |        0
42.18/42.22	c 42.2s |      15 |    99272 |    95932 |      504    284 |       63 |        0
44.18/44.26	c 44.2s |      15 |   103574 |   100232 |      504    295 |       63 |        0
46.19/46.26	c 46.2s |      15 |   107593 |   104232 |      504    305 |       63 |        0
48.28/48.30	c 48.3s |      15 |   111811 |   108432 |      504    316 |       63 |        0
50.28/50.34	c 50.3s |      15 |   116144 |   112732 |      504    327 |       63 |        0
52.28/52.36	c 52.3s |      15 |   120262 |   116832 |      504    337 |       63 |        0
54.28/54.37	c 54.3s |      15 |   124170 |   120732 |      504    347 |       63 |        0
56.28/56.37	c 56.3s |      15 |   128192 |   124732 |      504    357 |       63 |        0
58.39/58.41	c 58.4s |      15 |   132421 |   128932 |      504    368 |       63 |        0
59.68/59.72	c 59.7s |      16 |   135043 |   131552 |      555    374 |       63 |        0
61.68/61.75	c 61.7s |      16 |   139348 |   135652 |      555    384 |       63 |        0
63.68/63.76	c 63.7s |      16 |   143558 |   139852 |      555    394 |       63 |        0
65.68/65.78	c 65.8s |      16 |   147765 |   144052 |      555    404 |       63 |        0
67.78/67.80	c 67.8s |      16 |   151966 |   148252 |      555    414 |       63 |        0
69.78/69.82	c 69.8s |      16 |   156179 |   152452 |      555    424 |       63 |        0
71.78/71.85	c 71.8s |      16 |   160416 |   156652 |      555    433 |       63 |        0
73.78/73.85	c 73.8s |      16 |   164548 |   160752 |      555    443 |       63 |        0
75.77/75.88	c 75.9s |      16 |   168676 |   164852 |      555    453 |       63 |        0
77.87/77.91	c 77.9s |      16 |   172683 |   168852 |      555    462 |       63 |        0
79.87/79.93	c 79.9s |      16 |   176684 |   172852 |      555    472 |       63 |        0
81.87/81.98	c 82.0s |      16 |   180897 |   177052 |      555    482 |       63 |        0
83.87/83.99	c 84.0s |      16 |   185328 |   181452 |      555    492 |       63 |        0
85.88/85.99	c 86.0s |      16 |   189246 |   185352 |      555    502 |       63 |        0
87.98/88.01	c 88.0s |      16 |   193198 |   189252 |      555    511 |       63 |        0
89.97/90.04	c 90.0s |      16 |   197434 |   193452 |      555    521 |       63 |        0
91.98/92.05	c 92.0s |      16 |   201272 |   197252 |      611    530 |       63 |        0
92.08/92.15	c 92.1s |      17 |   201454 |   197432 |      611    530 |       63 |        0
94.18/94.20	c 94.2s |      17 |   205563 |   201332 |      611    539 |       63 |        0
96.18/96.25	c 96.2s |      17 |   209307 |   205032 |      611    547 |       63 |        0
98.18/98.27	c 98.3s |      17 |   212601 |   208332 |      611    554 |       63 |        0
100.28/100.32	c  100s |      17 |   216121 |   211832 |      611    562 |       63 |        0
102.28/102.34	c  102s |      17 |   219628 |   215332 |      611    570 |       63 |        0
104.28/104.35	c  104s |      17 |   223151 |   218832 |      611    578 |       63 |        0
106.28/106.35	c  106s |      17 |   226965 |   222632 |      611    586 |       63 |        0
108.38/108.40	c  108s |      17 |   230871 |   226532 |      611    595 |       63 |        0
110.38/110.41	c  110s |      17 |   234574 |   230232 |      611    603 |       63 |        0
112.38/112.43	c  112s |      17 |   238282 |   233932 |      611    611 |       63 |        0
114.38/114.45	c  114s |      17 |   241879 |   237532 |      611    619 |       63 |        0
116.38/116.47	c  116s |      17 |   245488 |   241132 |      611    628 |       63 |        0
118.48/118.52	c  118s |      17 |   249209 |   244832 |      611    636 |       63 |        0
120.47/120.57	c  120s |      17 |   252812 |   248432 |      611    644 |       63 |        0
122.57/122.61	c  122s |      17 |   256615 |   252232 |      611    652 |       63 |        0
124.57/124.65	c  124s |      17 |   260428 |   256032 |      611    661 |       63 |        0
126.58/126.65	c  126s |      17 |   264131 |   259732 |      611    669 |       63 |        0
128.57/128.69	c  128s |      17 |   267740 |   263332 |      611    677 |       63 |        0
130.67/130.71	c  130s |      17 |   271359 |   266932 |      611    685 |       63 |        0
132.67/132.76	c  132s |      17 |   274973 |   270532 |      611    693 |       63 |        0
134.77/134.80	c  134s |      17 |   278481 |   274032 |      611    701 |       63 |        0
136.77/136.84	c  136s |      17 |   282107 |   277632 |      611    709 |       63 |        0
138.77/138.86	c  138s |      17 |   285609 |   281132 |      611    717 |       63 |        0
140.78/140.88	c  140s |      17 |   289124 |   284632 |      611    724 |       63 |        0
142.77/142.88	c  142s |      17 |   292615 |   288132 |      611    732 |       63 |        0
144.87/144.90	c  144s |      17 |   296140 |   291632 |      611    740 |       63 |        0
146.87/146.91	c  146s |      17 |   299650 |   295132 |      673    748 |       63 |        0
147.48/147.55	c  147s |      18 |   300780 |   296252 |      673    750 |       63 |        0
149.47/149.60	c  149s |      18 |   304479 |   299752 |      673    757 |       63 |        0
151.57/151.61	c  151s |      18 |   308077 |   303352 |      673    765 |       63 |        0
153.57/153.64	c  153s |      18 |   311880 |   307152 |      673    772 |       63 |        0
155.57/155.65	c  155s |      18 |   315478 |   310752 |      673    780 |       63 |        0
157.57/157.67	c  157s |      18 |   319078 |   314352 |      673    787 |       63 |        0
159.57/159.68	c  159s |      18 |   322684 |   317952 |      673    795 |       63 |        0
161.67/161.71	c  161s |      18 |   326389 |   321652 |      673    802 |       63 |        0
163.66/163.76	c  163s |      18 |   329892 |   325152 |      673    810 |       63 |        0
165.66/165.78	c  165s |      18 |   333488 |   328752 |      673    817 |       63 |        0
167.76/167.83	c  167s |      18 |   337090 |   332352 |      673    825 |       63 |        0
169.76/169.83	c  169s |      18 |   340591 |   335852 |      673    832 |       63 |        0
171.76/171.87	c  171s |      18 |   344202 |   339452 |      673    839 |       63 |        0
173.77/173.87	c  173s |      18 |   347701 |   342952 |      673    846 |       63 |        0
175.76/175.88	c  175s |      18 |   351210 |   346452 |      673    854 |       63 |        0
177.86/177.92	c  177s |      18 |   354813 |   350052 |      673    861 |       63 |        0
179.86/179.95	c  179s |      18 |   358515 |   353752 |      673    869 |       63 |        0
181.96/182.01	c  181s |      18 |   362219 |   357452 |      673    876 |       63 |        0
183.96/184.05	c  184s |      18 |   365724 |   360952 |      673    884 |       63 |        0
185.97/186.06	c  186s |      18 |   369320 |   364552 |      673    891 |       63 |        0
188.07/188.12	c  188s |      18 |   372928 |   368152 |      673    899 |       63 |        0
190.06/190.17	c  190s |      18 |   376534 |   371752 |      673    906 |       63 |        0
192.16/192.20	c  192s |      18 |   380130 |   375352 |      673    913 |       63 |        0
194.16/194.24	c  194s |      18 |   383734 |   378952 |      673    921 |       63 |        0
196.16/196.27	c  196s |      18 |   387445 |   382652 |      673    929 |       63 |        0
198.16/198.29	c  198s |      18 |   391350 |   386552 |      673    937 |       63 |        0
200.26/200.33	c  200s |      18 |   395258 |   390452 |      673    945 |       63 |        0
202.26/202.36	c  202s |      18 |   399066 |   394252 |      673    953 |       63 |        0
204.36/204.40	c  204s |      18 |   402870 |   398052 |      673    960 |       63 |        0
206.36/206.41	c  206s |      18 |   406465 |   401652 |      673    968 |       63 |        0
208.36/208.43	c  208s |      18 |   410072 |   405252 |      673    975 |       63 |        0
210.36/210.46	c  210s |      18 |   413771 |   408952 |      673    983 |       63 |        0
212.36/212.49	c  212s |      18 |   417689 |   412852 |      673    991 |       63 |        0
214.46/214.53	c  214s |      18 |   421390 |   416552 |      673    999 |       63 |        0
216.45/216.59	c  216s |      18 |   425090 |   420252 |      673   1006 |       63 |        0
218.55/218.63	c  218s |      18 |   428894 |   424052 |      673   1014 |       63 |        0
220.55/220.66	c  220s |      18 |   432599 |   427752 |      673   1022 |       63 |        0
222.55/222.67	c  222s |      18 |   436201 |   431352 |      673   1029 |       63 |        0
224.65/224.71	c  224s |      18 |   439894 |   435052 |      673   1037 |       63 |        0
226.66/226.72	c  226s |      18 |   443501 |   438652 |      673   1044 |       63 |        0
228.65/228.75	c  228s |      18 |   447207 |   442352 |      741   1052 |       63 |        0
229.86/229.96	c  229s |      19 |   449337 |   444482 |      741   1056 |       63 |        0
231.85/231.98	c  231s |      19 |   453040 |   447982 |      741   1063 |       63 |        0
233.95/234.00	c  233s |      19 |   456642 |   451582 |      741   1069 |       63 |        0
235.95/236.02	c  236s |      19 |   460259 |   455182 |      741   1076 |       63 |        0
237.95/238.03	c  238s |      19 |   463765 |   458682 |      741   1083 |       63 |        0
239.95/240.04	c  240s |      19 |   467259 |   462182 |      741   1090 |       63 |        0
241.95/242.06	c  242s |      19 |   470866 |   465782 |      741   1097 |       63 |        0
243.95/244.09	c  244s |      19 |   474570 |   469482 |      741   1104 |       63 |        0
246.05/246.14	c  246s |      19 |   478384 |   473282 |      741   1111 |       63 |        0
248.05/248.16	c  248s |      19 |   481880 |   476782 |      741   1118 |       63 |        0
250.05/250.17	c  250s |      19 |   485385 |   480282 |      741   1125 |       63 |        0
252.05/252.19	c  252s |      19 |   488898 |   483782 |      741   1132 |       63 |        0
254.15/254.23	c  254s |      19 |   492395 |   487282 |      741   1138 |       63 |        0
256.15/256.28	c  256s |      19 |   496000 |   490882 |      741   1145 |       63 |        0
258.15/258.29	c  258s |      19 |   499503 |   494382 |      741   1152 |       63 |        0
260.25/260.34	c  260s |      19 |   503198 |   498082 |      741   1159 |       63 |        0
262.25/262.35	c  262s |      19 |   506912 |   501782 |      741   1166 |       63 |        0
264.35/264.41	c  264s |      19 |   510615 |   505482 |      741   1174 |       63 |        0
266.35/266.41	c  266s |      19 |   514223 |   509082 |      741   1181 |       63 |        0
268.36/268.43	c  268s |      19 |   517824 |   512682 |      741   1188 |       63 |        0
270.35/270.45	c  270s |      19 |   521539 |   516382 |      741   1195 |       63 |        0
272.35/272.47	c  272s |      19 |   525237 |   520082 |      741   1202 |       63 |        0
274.35/274.49	c  274s |      19 |   528946 |   523782 |      741   1209 |       63 |        0
276.45/276.54	c  276s |      19 |   532553 |   527382 |      741   1216 |       63 |        0
278.45/278.59	c  278s |      19 |   536258 |   531082 |      741   1223 |       63 |        0
280.56/280.63	c  280s |      19 |   539963 |   534782 |      741   1230 |       63 |        0
282.55/282.64	c  282s |      19 |   543672 |   538482 |      741   1237 |       63 |        0
284.55/284.65	c  284s |      19 |   547285 |   542082 |      741   1244 |       63 |        0
286.55/286.68	c  286s |      19 |   550891 |   545682 |      741   1251 |       63 |        0
288.65/288.71	c  288s |      19 |   554603 |   549382 |      741   1258 |       63 |        0
290.65/290.71	c  290s |      19 |   558308 |   553082 |      741   1266 |       63 |        0
292.66/292.72	c  292s |      19 |   561906 |   556682 |      741   1273 |       63 |        0
294.65/294.77	c  294s |      19 |   565501 |   560282 |      741   1279 |       63 |        0
296.65/296.78	c  296s |      19 |   569006 |   563782 |      741   1286 |       63 |        0
298.65/298.80	c  298s |      19 |   572404 |   567182 |      741   1293 |       63 |        0
300.75/300.81	c  300s |      19 |   576008 |   570782 |      741   1300 |       63 |        0
302.75/302.81	c  302s |      19 |   579612 |   574382 |      741   1307 |       63 |        0
304.75/304.81	c  304s |      19 |   583118 |   577882 |      741   1313 |       63 |        0
306.74/306.84	c  306s |      19 |   586716 |   581482 |      741   1320 |       63 |        0
308.74/308.89	c  308s |      19 |   590420 |   585182 |      741   1328 |       63 |        0
310.84/310.92	c  310s |      19 |   594022 |   588782 |      741   1335 |       63 |        0
312.84/312.96	c  312s |      19 |   597717 |   592482 |      741   1342 |       63 |        0
314.84/314.98	c  314s |      19 |   601320 |   596082 |      741   1349 |       63 |        0
316.94/317.02	c  316s |      19 |   605027 |   599782 |      741   1356 |       63 |        0
318.95/319.06	c  319s |      19 |   608623 |   603382 |      741   1363 |       63 |        0
320.94/321.08	c  321s |      19 |   612335 |   607082 |      741   1370 |       63 |        0
323.04/323.11	c  323s |      19 |   616147 |   610882 |      741   1377 |       63 |        0
325.04/325.16	c  325s |      19 |   619754 |   614482 |      741   1384 |       63 |        0
327.04/327.17	c  327s |      19 |   623367 |   618082 |      741   1391 |       63 |        0
329.04/329.17	c  329s |      19 |   626760 |   621482 |      741   1398 |       63 |        0
331.15/331.22	c  331s |      19 |   630363 |   625082 |      741   1405 |       63 |        0
333.14/333.27	c  333s |      19 |   634063 |   628782 |      741   1412 |       63 |        0
335.24/335.31	c  335s |      19 |   637773 |   632482 |      741   1419 |       63 |        0
337.24/337.33	c  337s |      19 |   641487 |   636182 |      741   1426 |       63 |        0
339.24/339.37	c  339s |      19 |   645196 |   639882 |      741   1433 |       63 |        0
341.34/341.42	c  341s |      19 |   648897 |   643582 |      741   1440 |       63 |        0
343.34/343.46	c  343s |      19 |   652616 |   647282 |      741   1448 |       63 |        0
345.44/345.51	c  345s |      19 |   656112 |   650782 |      741   1454 |       63 |        0
347.44/347.52	c  347s |      19 |   659616 |   654282 |      741   1461 |       63 |        0
349.44/349.57	c  349s |      19 |   663222 |   657882 |      741   1468 |       63 |        0
351.54/351.61	c  351s |      19 |   666831 |   661482 |      741   1475 |       63 |        0
353.54/353.61	c  353s |      19 |   670234 |   664882 |      816   1481 |       63 |        0
354.64/354.75	c  354s |      20 |   672189 |   666827 |      816   1485 |       63 |        0
356.63/356.78	c  356s |      20 |   675887 |   670327 |      816   1491 |       63 |        0
358.64/358.78	c  358s |      20 |   679386 |   673827 |      816   1497 |       63 |        0
360.74/360.81	c  360s |      20 |   682985 |   677427 |      816   1504 |       63 |        0
362.73/362.86	c  362s |      20 |   686691 |   681127 |      816   1511 |       63 |        0
364.73/364.89	c  364s |      20 |   690298 |   684727 |      816   1517 |       63 |        0
366.83/366.91	c  366s |      20 |   693797 |   688227 |      816   1523 |       63 |        0
368.83/368.93	c  368s |      20 |   697304 |   691727 |      816   1530 |       63 |        0
370.83/370.95	c  370s |      20 |   701114 |   695527 |      816   1536 |       63 |        0
372.84/372.95	c  372s |      20 |   704511 |   698927 |      816   1543 |       63 |        0
374.83/374.97	c  374s |      20 |   708114 |   702527 |      816   1549 |       63 |        0
376.83/376.97	c  376s |      20 |   711725 |   706127 |      816   1556 |       63 |        0
378.83/378.97	c  378s |      20 |   715329 |   709727 |      816   1562 |       63 |        0
380.93/381.03	c  381s |      20 |   718928 |   713327 |      816   1569 |       63 |        0
382.93/383.04	c  383s |      20 |   722531 |   716927 |      816   1575 |       63 |        0
384.94/385.05	c  385s |      20 |   726134 |   720527 |      816   1582 |       63 |        0
386.93/387.07	c  387s |      20 |   729841 |   724227 |      816   1588 |       63 |        0
389.03/389.10	c  389s |      20 |   733551 |   727927 |      816   1595 |       63 |        0
391.03/391.15	c  391s |      20 |   737151 |   731527 |      816   1601 |       63 |        0
393.03/393.17	c  393s |      20 |   740664 |   735027 |      816   1608 |       63 |        0
395.13/395.21	c  395s |      20 |   744258 |   738627 |      816   1614 |       63 |        0
397.13/397.25	c  397s |      20 |   748067 |   742427 |      816   1621 |       63 |        0
399.13/399.27	c  399s |      20 |   751671 |   746027 |      816   1628 |       63 |        0
401.13/401.27	c  401s |      20 |   755170 |   749527 |      816   1634 |       63 |        0
403.23/403.32	c  403s |      20 |   758876 |   753227 |      816   1641 |       63 |        0
405.23/405.36	c  405s |      20 |   762476 |   756827 |      816   1647 |       63 |        0
407.23/407.36	c  407s |      20 |   766083 |   760427 |      816   1654 |       63 |        0
409.23/409.37	c  409s |      20 |   769786 |   764127 |      816   1660 |       63 |        0
411.33/411.42	c  411s |      20 |   773385 |   767727 |      816   1667 |       63 |        0
413.32/413.45	c  413s |      20 |   776992 |   771327 |      816   1673 |       63 |        0
415.32/415.45	c  415s |      20 |   780395 |   774727 |      816   1679 |       63 |        0
417.32/417.45	c  417s |      20 |   783999 |   778327 |      816   1686 |       63 |        0
419.42/419.51	c  419s |      20 |   787597 |   781927 |      816   1693 |       63 |        0
421.42/421.54	c  421s |      20 |   791304 |   785627 |      816   1699 |       63 |        0
423.43/423.58	c  423s |      20 |   795010 |   789327 |      816   1706 |       63 |        0
425.42/425.59	c  425s |      20 |   798718 |   793027 |      816   1713 |       63 |        0
427.52/427.64	c  427s |      20 |   802120 |   796427 |      816   1719 |       63 |        0
429.52/429.68	c  429s |      20 |   805417 |   799727 |      816   1725 |       63 |        0
431.62/431.71	c  431s |      20 |   808925 |   803227 |      816   1731 |       63 |        0
433.62/433.76	c  433s |      20 |   812319 |   806627 |      816   1737 |       63 |        0
435.63/435.77	c  435s |      20 |   815623 |   809927 |      816   1743 |       63 |        0
437.62/437.80	c  437s |      20 |   818821 |   813127 |      816   1749 |       63 |        0
439.72/439.85	c  439s |      20 |   822435 |   816727 |      816   1755 |       63 |        0
441.73/441.87	c  441s |      20 |   825932 |   820227 |      816   1762 |       63 |        0
443.83/443.90	c  443s |      20 |   829530 |   823827 |      816   1768 |       63 |        0
445.83/445.94	c  445s |      20 |   833227 |   827527 |      816   1775 |       63 |        0
447.82/447.99	c  447s |      20 |   836739 |   831027 |      816   1781 |       63 |        0
449.93/450.05	c  450s |      20 |   840232 |   834527 |      816   1787 |       63 |        0
451.92/452.07	c  452s |      20 |   843527 |   837827 |      816   1793 |       63 |        0
453.92/454.08	c  454s |      20 |   847247 |   841527 |      816   1800 |       63 |        0
456.02/456.12	c  456s |      20 |   851064 |   845327 |      816   1807 |       63 |        0
458.02/458.15	c  458s |      20 |   854872 |   849127 |      816   1814 |       63 |        0
460.02/460.18	c  460s |      20 |   858486 |   852727 |      816   1820 |       63 |        0
462.12/462.21	c  462s |      20 |   861991 |   856227 |      816   1827 |       63 |        0
464.13/464.24	c  464s |      20 |   865589 |   859827 |      816   1833 |       63 |        0
466.12/466.24	c  466s |      20 |   868889 |   863127 |      816   1839 |       63 |        0
468.12/468.26	c  468s |      20 |   872189 |   866427 |      816   1845 |       63 |        0
470.12/470.28	c  470s |      20 |   875592 |   869827 |      816   1851 |       63 |        0
472.22/472.30	c  472s |      20 |   878992 |   873227 |      816   1857 |       63 |        0
474.22/474.33	c  474s |      20 |   882497 |   876727 |      816   1864 |       63 |        0
476.23/476.38	c  476s |      20 |   885902 |   880127 |      816   1870 |       63 |        0
478.32/478.44	c  478s |      20 |   889410 |   883627 |      816   1876 |       63 |        0
480.32/480.45	c  480s |      20 |   892823 |   887027 |      816   1882 |       63 |        0
482.32/482.48	c  482s |      20 |   896324 |   890527 |      816   1889 |       63 |        0
484.32/484.49	c  484s |      20 |   899621 |   893827 |      816   1895 |       63 |        0
486.42/486.55	c  486s |      20 |   903034 |   897227 |      816   1901 |       63 |        0
488.43/488.58	c  488s |      20 |   906539 |   900727 |      816   1907 |       63 |        0
490.53/490.62	c  490s |      20 |   910043 |   904227 |      816   1913 |       63 |        0
492.52/492.62	c  492s |      20 |   913552 |   907727 |      816   1920 |       63 |        0
494.52/494.66	c  494s |      20 |   917357 |   911527 |      816   1927 |       63 |        0
496.52/496.66	c  496s |      20 |   920960 |   915127 |      816   1933 |       63 |        0
498.52/498.69	c  498s |      20 |   924570 |   918727 |      816   1940 |       63 |        0
500.62/500.71	c  500s |      20 |   928279 |   922427 |      816   1946 |       63 |        0
502.62/502.76	c  502s |      20 |   931980 |   926127 |      816   1953 |       63 |        0
504.62/504.79	c  504s |      20 |   935591 |   929727 |      816   1960 |       63 |        0
506.71/506.81	c  506s |      20 |   939298 |   933427 |      816   1966 |       63 |        0
508.71/508.86	c  508s |      20 |   943008 |   937127 |      816   1973 |       63 |        0
510.81/510.90	c  510s |      20 |   946517 |   940627 |      816   1979 |       63 |        0
512.81/512.94	c  512s |      20 |   950025 |   944127 |      816   1986 |       63 |        0
514.82/514.94	c  514s |      20 |   953527 |   947627 |      816   1992 |       63 |        0
516.81/516.99	c  516s |      20 |   957135 |   951227 |      816   1998 |       63 |        0
518.91/519.04	c  519s |      20 |   960740 |   954827 |      816   2005 |       63 |        0
520.91/521.08	c  521s |      20 |   964348 |   958427 |      816   2011 |       63 |        0
523.01/523.11	c  523s |      20 |   968050 |   962127 |      816   2018 |       63 |        0
525.01/525.12	c  525s |      20 |   971667 |   965727 |      816   2025 |       63 |        0
527.01/527.13	c  527s |      20 |   975269 |   969327 |      816   2031 |       63 |        0
529.02/529.14	c  529s |      20 |   978873 |   972927 |      816   2038 |       63 |        0
531.01/531.16	c  531s |      20 |   982476 |   976527 |      816   2044 |       63 |        0
533.11/533.20	c  533s |      20 |   986189 |   980227 |      816   2051 |       63 |        0
535.11/535.21	c  535s |      20 |   989696 |   983727 |      816   2057 |       63 |        0
537.11/537.26	c  537s |      20 |   993297 |   987327 |      816   2064 |       63 |        0
539.11/539.29	c  539s |      20 |   996704 |   990727 |      816   2070 |       63 |        0
541.21/541.30	c  541s |      20 |  1000204 |   994227 |      898   2076 |       63 |        0
543.21/543.35	c  543s |      20 |  1003710 |   997727 |      898   2082 |       63 |        0
544.81/544.90	c  544s |      21 |  1006326 |  1000345 |      898   2086 |       63 |        0
546.81/546.95	c  546s |      21 |  1009827 |  1003645 |      898   2092 |       63 |        0
548.81/548.96	c  548s |      21 |  1013330 |  1007145 |      898   2098 |       63 |        0
550.91/551.00	c  550s |      21 |  1016735 |  1010545 |      898   2103 |       63 |        0
552.91/553.03	c  553s |      21 |  1020247 |  1014045 |      898   2109 |       63 |        0
554.90/555.08	c  555s |      21 |  1023844 |  1017645 |      898   2115 |       63 |        0
557.00/557.10	c  557s |      21 |  1027347 |  1021145 |      898   2121 |       63 |        0
559.00/559.11	c  559s |      21 |  1030945 |  1024745 |      898   2127 |       63 |        0
561.01/561.16	c  561s |      21 |  1034548 |  1028345 |      898   2133 |       63 |        0
563.11/563.21	c  563s |      21 |  1037954 |  1031745 |      898   2139 |       63 |        0
565.10/565.25	c  565s |      21 |  1041449 |  1035245 |      898   2145 |       63 |        0
567.10/567.26	c  567s |      21 |  1044752 |  1038545 |      898   2150 |       63 |        0
569.10/569.29	c  569s |      21 |  1048252 |  1042045 |      898   2156 |       63 |        0
571.20/571.31	c  571s |      21 |  1051551 |  1045345 |      898   2162 |       63 |        0
573.20/573.34	c  573s |      21 |  1055055 |  1048845 |      898   2167 |       63 |        0
575.21/575.34	c  575s |      21 |  1058458 |  1052245 |      898   2173 |       63 |        0
577.20/577.39	c  577s |      21 |  1061853 |  1055645 |      898   2179 |       63 |        0
579.30/579.44	c  579s |      21 |  1065358 |  1059145 |      898   2185 |       63 |        0
581.30/581.45	c  581s |      21 |  1068961 |  1062745 |      898   2191 |       63 |        0
583.30/583.49	c  583s |      21 |  1072362 |  1066145 |      898   2196 |       63 |        0
585.40/585.53	c  585s |      21 |  1075959 |  1069745 |      898   2202 |       63 |        0
587.41/587.58	c  587s |      21 |  1079456 |  1073245 |      898   2208 |       63 |        0
589.51/589.64	c  589s |      21 |  1082962 |  1076745 |      898   2214 |       63 |        0
591.50/591.66	c  591s |      21 |  1086567 |  1080345 |      898   2220 |       63 |        0
593.60/593.71	c  593s |      21 |  1090376 |  1084145 |      898   2227 |       63 |        0
595.60/595.74	c  595s |      21 |  1094081 |  1087845 |      898   2233 |       63 |        0
597.60/597.77	c  597s |      21 |  1097894 |  1091645 |      898   2239 |       63 |        0
599.70/599.81	c  599s |      21 |  1101492 |  1095245 |      898   2245 |       63 |        0
601.70/601.85	c  601s |      21 |  1105093 |  1098845 |      898   2251 |       63 |        0
603.70/603.89	c  603s |      21 |  1108702 |  1102445 |      898   2257 |       63 |        0
605.69/605.89	c  605s |      21 |  1112202 |  1105945 |      898   2263 |       63 |        0
607.80/607.90	c  607s |      21 |  1115704 |  1109445 |      898   2269 |       63 |        0
609.80/609.94	c  609s |      21 |  1119205 |  1112945 |      898   2275 |       63 |        0
611.79/611.95	c  611s |      21 |  1122708 |  1116445 |      898   2281 |       63 |        0
613.80/613.99	c  613s |      21 |  1126318 |  1120045 |      898   2287 |       63 |        0
615.90/616.04	c  616s |      21 |  1129817 |  1123545 |      898   2293 |       63 |        0
617.89/618.08	c  618s |      21 |  1133318 |  1127045 |      898   2299 |       63 |        0
619.99/620.14	c  620s |      21 |  1136821 |  1130545 |      898   2305 |       63 |        0
621.99/622.16	c  622s |      21 |  1140418 |  1134145 |      898   2311 |       63 |        0
623.99/624.19	c  624s |      21 |  1144029 |  1137745 |      898   2317 |       63 |        0
626.09/626.24	c  626s |      21 |  1147533 |  1141245 |      898   2323 |       63 |        0
628.10/628.29	c  628s |      21 |  1150939 |  1144645 |      898   2328 |       63 |        0
630.20/630.31	c  630s |      21 |  1154331 |  1148045 |      898   2334 |       63 |        0
632.19/632.36	c  632s |      21 |  1157839 |  1151545 |      898   2340 |       63 |        0
634.29/634.40	c  634s |      21 |  1161231 |  1154945 |      898   2346 |       63 |        0
636.29/636.41	c  636s |      21 |  1164638 |  1158345 |      898   2351 |       63 |        0
638.29/638.46	c  638s |      21 |  1168232 |  1161945 |      898   2357 |       63 |        0
640.29/640.49	c  640s |      21 |  1172154 |  1165845 |      898   2364 |       63 |        0
642.39/642.53	c  642s |      21 |  1175960 |  1169645 |      898   2370 |       63 |        0
644.39/644.54	c  644s |      21 |  1179663 |  1173345 |      898   2376 |       63 |        0
646.39/646.55	c  646s |      21 |  1183372 |  1177045 |      898   2383 |       63 |        0
648.39/648.59	c  648s |      21 |  1187178 |  1180845 |      898   2389 |       63 |        0
650.49/650.60	c  650s |      21 |  1190891 |  1184545 |      898   2395 |       63 |        0
652.49/652.60	c  652s |      21 |  1194495 |  1188145 |      898   2401 |       63 |        0
654.50/654.61	c  654s |      21 |  1198199 |  1191845 |      898   2407 |       63 |        0
656.49/656.62	c  656s |      21 |  1201804 |  1195445 |      898   2413 |       63 |        0
658.49/658.62	c  658s |      21 |  1205409 |  1199045 |      898   2419 |       63 |        0
660.49/660.66	c  660s |      21 |  1209112 |  1202745 |      898   2426 |       63 |        0
662.49/662.67	c  662s |      21 |  1212715 |  1206345 |      898   2432 |       63 |        0
664.59/664.71	c  664s |      21 |  1216313 |  1209945 |      898   2438 |       63 |        0
666.60/666.76	c  666s |      21 |  1219918 |  1213545 |      898   2444 |       63 |        0
668.59/668.78	c  668s |      21 |  1223518 |  1217145 |      898   2450 |       63 |        0
670.69/670.82	c  670s |      21 |  1227124 |  1220745 |      898   2456 |       63 |        0
672.69/672.83	c  672s |      21 |  1230724 |  1224345 |      898   2462 |       63 |        0
674.69/674.87	c  674s |      21 |  1234429 |  1228045 |      898   2468 |       63 |        0
676.69/676.88	c  676s |      21 |  1238038 |  1231645 |      898   2474 |       63 |        0
678.70/678.89	c  678s |      21 |  1241544 |  1235145 |      898   2480 |       63 |        0
680.79/680.93	c  680s |      21 |  1245255 |  1238845 |      898   2486 |       63 |        0
682.79/682.96	c  682s |      21 |  1249064 |  1242645 |      898   2493 |       63 |        0
684.89/685.00	c  684s |      21 |  1252667 |  1246245 |      898   2499 |       63 |        0
686.88/687.02	c  686s |      21 |  1256271 |  1249845 |      898   2505 |       63 |        0
688.88/689.06	c  689s |      21 |  1259976 |  1253545 |      898   2511 |       63 |        0
690.98/691.11	c  691s |      21 |  1263482 |  1257045 |      898   2517 |       63 |        0
692.99/693.15	c  693s |      21 |  1266989 |  1260545 |      898   2523 |       63 |        0
694.98/695.20	c  695s |      21 |  1270593 |  1264145 |      898   2529 |       63 |        0
697.08/697.22	c  697s |      21 |  1274198 |  1267745 |      898   2535 |       63 |        0
699.08/699.24	c  699s |      21 |  1278015 |  1271545 |      898   2541 |       63 |        0
701.08/701.25	c  701s |      21 |  1281620 |  1275145 |      898   2547 |       63 |        0
703.08/703.28	c  703s |      21 |  1285220 |  1278745 |      898   2553 |       63 |        0
705.18/705.30	c  705s |      21 |  1288735 |  1282245 |      898   2559 |       63 |        0
707.19/707.33	c  707s |      21 |  1292336 |  1285845 |      898   2565 |       63 |        0
709.18/709.35	c  709s |      21 |  1296045 |  1289545 |      898   2571 |       63 |        0
711.18/711.38	c  711s |      21 |  1299760 |  1293245 |      898   2578 |       63 |        0
713.18/713.39	c  713s |      21 |  1303365 |  1296845 |      898   2584 |       63 |        0
715.28/715.41	c  715s |      21 |  1307081 |  1300545 |      898   2590 |       63 |        0
717.28/717.41	c  717s |      21 |  1310783 |  1304245 |      898   2596 |       63 |        0
719.29/719.42	c  719s |      21 |  1314482 |  1307945 |      898   2602 |       63 |        0
721.28/721.44	c  721s |      21 |  1318182 |  1311645 |      898   2608 |       63 |        0
723.28/723.49	c  723s |      21 |  1321891 |  1315345 |      898   2615 |       63 |        0
725.38/725.51	c  725s |      21 |  1325487 |  1318945 |      898   2621 |       63 |        0
727.38/727.56	c  727s |      21 |  1329190 |  1322645 |      898   2627 |       63 |        0
729.48/729.61	c  729s |      21 |  1332790 |  1326245 |      898   2633 |       63 |        0
731.48/731.64	c  731s |      21 |  1336393 |  1329845 |      898   2639 |       63 |        0
733.48/733.65	c  733s |      21 |  1340106 |  1333545 |      898   2645 |       63 |        0
735.48/735.66	c  735s |      21 |  1343607 |  1337045 |      898   2651 |       63 |        0
737.47/737.67	c  737s |      21 |  1347117 |  1340545 |      898   2657 |       63 |        0
739.47/739.69	c  739s |      21 |  1350822 |  1344245 |      898   2663 |       63 |        0
741.57/741.70	c  741s |      21 |  1354534 |  1347945 |      898   2669 |       63 |        0
743.58/743.73	c  743s |      21 |  1358241 |  1351645 |      898   2676 |       63 |        0
745.57/745.77	c  745s |      21 |  1362045 |  1355445 |      898   2682 |       63 |        0
747.67/747.82	c  747s |      21 |  1365756 |  1359145 |      898   2688 |       63 |        0
749.67/749.88	c  749s |      21 |  1369353 |  1362745 |      898   2694 |       63 |        0
751.77/751.91	c  751s |      21 |  1372959 |  1366345 |      898   2700 |       63 |        0
753.77/753.93	c  753s |      21 |  1376356 |  1369745 |      898   2706 |       63 |        0
755.77/755.96	c  755s |      21 |  1380073 |  1373445 |      898   2712 |       63 |        0
757.88/758.01	c  757s |      21 |  1383781 |  1377145 |      898   2719 |       63 |        0
759.87/760.04	c  760s |      21 |  1387476 |  1380845 |      898   2725 |       63 |        0
761.87/762.08	c  762s |      21 |  1391187 |  1384545 |      898   2731 |       63 |        0
763.97/764.13	c  764s |      21 |  1394894 |  1388245 |      898   2737 |       63 |        0
765.97/766.17	c  766s |      21 |  1398607 |  1391945 |      898   2743 |       63 |        0
768.07/768.22	c  768s |      21 |  1402202 |  1395545 |      898   2749 |       63 |        0
770.07/770.23	c  770s |      21 |  1405709 |  1399045 |      898   2755 |       63 |        0
772.07/772.29	c  772s |      21 |  1409214 |  1402545 |      898   2761 |       63 |        0
774.17/774.34	c  774s |      21 |  1412816 |  1406145 |      898   2767 |       63 |        0
776.17/776.36	c  776s |      21 |  1416314 |  1409645 |      898   2773 |       63 |        0
778.27/778.40	c  778s |      21 |  1419916 |  1413245 |      898   2779 |       63 |        0
780.27/780.42	c  780s |      21 |  1423626 |  1416945 |      898   2785 |       63 |        0
782.27/782.47	c  782s |      21 |  1427235 |  1420545 |      898   2791 |       63 |        0
784.36/784.50	c  784s |      21 |  1430732 |  1424045 |      898   2797 |       63 |        0
786.37/786.52	c  786s |      21 |  1434238 |  1427545 |      898   2803 |       63 |        0
788.36/788.57	c  788s |      21 |  1437837 |  1431145 |      898   2809 |       63 |        0
790.36/790.59	c  790s |      21 |  1441346 |  1434645 |      898   2815 |       63 |        0
792.36/792.60	c  792s |      21 |  1444743 |  1438045 |      898   2821 |       63 |        0
794.46/794.60	c  794s |      21 |  1448248 |  1441545 |      898   2827 |       63 |        0
796.46/796.62	c  796s |      21 |  1451747 |  1445045 |      898   2832 |       63 |        0
798.47/798.62	c  798s |      21 |  1455251 |  1448545 |      898   2838 |       63 |        0
800.46/800.65	c  800s |      21 |  1458858 |  1452145 |      898   2844 |       63 |        0
802.46/802.65	c  802s |      21 |  1462359 |  1455645 |      898   2850 |       63 |        0
804.46/804.70	c  804s |      21 |  1465960 |  1459245 |      898   2856 |       63 |        0
806.56/806.71	c  806s |      21 |  1469359 |  1462645 |      898   2862 |       63 |        0
808.56/808.73	c  808s |      21 |  1472767 |  1466045 |      898   2868 |       63 |        0
810.57/810.79	c  810s |      21 |  1476261 |  1469545 |      898   2874 |       63 |        0
812.67/812.81	c  812s |      21 |  1479769 |  1473045 |      898   2880 |       63 |        0
814.67/814.82	c  814s |      21 |  1483269 |  1476545 |      898   2885 |       63 |        0
816.67/816.84	c  816s |      21 |  1486675 |  1479945 |      898   2891 |       63 |        0
818.67/818.84	c  818s |      21 |  1489978 |  1483245 |      898   2897 |       63 |        0
820.67/820.89	c  820s |      21 |  1493480 |  1486745 |      898   2903 |       63 |        0
822.77/822.91	c  822s |      21 |  1497087 |  1490345 |      988   2909 |       63 |        0
824.77/824.97	c  824s |      21 |  1500687 |  1493945 |      988   2914 |       63 |        0
826.87/827.02	c  826s |      21 |  1504189 |  1497445 |      988   2920 |       63 |        0
828.77/828.92	c  828s |      22 |  1507363 |  1500622 |      988   2925 |       63 |        0
830.76/830.97	c  830s |      22 |  1510861 |  1503922 |      988   2930 |       63 |        0
832.86/833.01	c  832s |      22 |  1514274 |  1507322 |      988   2935 |       63 |        0
834.87/835.02	c  834s |      22 |  1517677 |  1510722 |      988   2940 |       63 |        0
836.86/837.05	c  837s |      22 |  1521180 |  1514222 |      988   2946 |       63 |        0
838.86/839.06	c  839s |      22 |  1524789 |  1517822 |      988   2951 |       63 |        0
840.86/841.08	c  841s |      22 |  1528395 |  1521422 |      988   2957 |       63 |        0
842.96/843.10	c  843s |      22 |  1531895 |  1524922 |      988   2962 |       63 |        0
844.96/845.13	c  845s |      22 |  1535398 |  1528422 |      988   2968 |       63 |        0
846.96/847.15	c  847s |      22 |  1538911 |  1531922 |      988   2973 |       63 |        0
848.96/849.20	c  849s |      22 |  1542425 |  1535422 |      988   2979 |       63 |        0
851.05/851.21	c  851s |      22 |  1545825 |  1538822 |      988   2984 |       63 |        0
853.05/853.24	c  853s |      22 |  1549328 |  1542322 |      988   2990 |       63 |        0
855.05/855.25	c  855s |      22 |  1552726 |  1545722 |      988   2995 |       63 |        0
857.05/857.29	c  857s |      22 |  1556128 |  1549122 |      988   3000 |       63 |        0
859.15/859.32	c  859s |      22 |  1559535 |  1552522 |      988   3006 |       63 |        0
861.15/861.38	c  861s |      22 |  1562933 |  1555922 |      988   3011 |       63 |        0
863.25/863.42	c  863s |      22 |  1566333 |  1559322 |      988   3016 |       63 |        0
865.25/865.45	c  865s |      22 |  1569743 |  1562722 |      988   3022 |       63 |        0
867.25/867.49	c  867s |      22 |  1573146 |  1566122 |      988   3027 |       63 |        0
869.35/869.54	c  869s |      22 |  1576549 |  1569522 |      988   3032 |       63 |        0
871.34/871.57	c  871s |      22 |  1580065 |  1573022 |      988   3038 |       63 |        0
873.44/873.60	c  873s |      22 |  1583665 |  1576622 |      988   3043 |       63 |        0
875.45/875.60	c  875s |      22 |  1587072 |  1580022 |      988   3049 |       63 |        0
877.44/877.64	c  877s |      22 |  1590368 |  1583322 |      988   3054 |       63 |        0
879.44/879.66	c  879s |      22 |  1593876 |  1586822 |      988   3059 |       63 |        0
881.54/881.72	c  881s |      22 |  1597376 |  1590322 |      988   3065 |       63 |        0
883.54/883.76	c  883s |      22 |  1600976 |  1593922 |      988   3070 |       63 |        0
885.54/885.77	c  885s |      22 |  1604480 |  1597422 |      988   3076 |       63 |        0
887.54/887.78	c  887s |      22 |  1607882 |  1600822 |      988   3081 |       63 |        0
889.63/889.84	c  889s |      22 |  1611494 |  1604422 |      988   3087 |       63 |        0
891.63/891.88	c  891s |      22 |  1614992 |  1607922 |      988   3092 |       63 |        0
893.73/893.90	c  893s |      22 |  1618610 |  1611522 |      988   3098 |       63 |        0
895.73/895.90	c  895s |      22 |  1622121 |  1615022 |      988   3103 |       63 |        0
897.73/897.93	c  897s |      22 |  1625725 |  1618622 |      988   3109 |       63 |        0
899.74/899.96	c  899s |      22 |  1629232 |  1622122 |      988   3114 |       63 |        0
901.84/902.01	c  901s |      22 |  1632730 |  1625622 |      988   3120 |       63 |        0
903.83/904.02	c  904s |      22 |  1636247 |  1629122 |      988   3125 |       63 |        0
905.83/906.06	c  906s |      22 |  1639845 |  1632722 |      988   3131 |       63 |        0
907.83/908.08	c  908s |      22 |  1643449 |  1636322 |      988   3136 |       63 |        0
909.82/910.09	c  910s |      22 |  1647062 |  1639922 |      988   3142 |       63 |        0
911.92/912.13	c  912s |      22 |  1650676 |  1643522 |      988   3148 |       63 |        0
913.93/914.15	c  914s |      22 |  1654175 |  1647022 |      988   3153 |       63 |        0
915.92/916.20	c  916s |      22 |  1657784 |  1650622 |      988   3159 |       63 |        0
918.02/918.24	c  918s |      22 |  1661389 |  1654222 |      988   3164 |       63 |        0
920.02/920.24	c  920s |      22 |  1664993 |  1657822 |      988   3170 |       63 |        0
922.02/922.28	c  922s |      22 |  1668912 |  1661722 |      988   3176 |       63 |        0
924.12/924.30	c  924s |      22 |  1672517 |  1665322 |      988   3182 |       63 |        0
926.13/926.31	c  926s |      22 |  1676020 |  1668822 |      988   3187 |       63 |        0
928.12/928.34	c  928s |      22 |  1679517 |  1672322 |      988   3193 |       63 |        0
930.22/930.40	c  930s |      22 |  1683020 |  1675822 |      988   3198 |       63 |        0
932.22/932.43	c  932s |      22 |  1686520 |  1679322 |      988   3204 |       63 |        0
934.22/934.43	c  934s |      22 |  1690027 |  1682822 |      988   3209 |       63 |        0
936.21/936.43	c  936s |      22 |  1693435 |  1686222 |      988   3214 |       63 |        0
938.22/938.49	c  938s |      22 |  1696833 |  1689622 |      988   3220 |       63 |        0
940.21/940.50	c  940s |      22 |  1700336 |  1693122 |      988   3225 |       63 |        0
942.31/942.53	c  942s |      22 |  1704147 |  1696922 |      988   3231 |       63 |        0
944.31/944.53	c  944s |      22 |  1707845 |  1700622 |      988   3237 |       63 |        0
946.31/946.57	c  946s |      22 |  1711649 |  1704422 |      988   3243 |       63 |        0
948.41/948.62	c  948s |      22 |  1715349 |  1708122 |      988   3249 |       63 |        0
950.41/950.65	c  950s |      22 |  1719054 |  1711822 |      988   3254 |       63 |        0
952.42/952.68	c  952s |      22 |  1722862 |  1715622 |      988   3260 |       63 |        0
954.41/954.69	c  954s |      22 |  1726366 |  1719122 |      988   3266 |       63 |        0
956.51/956.71	c  956s |      22 |  1729777 |  1722522 |      988   3271 |       63 |        0
958.51/958.75	c  958s |      22 |  1733574 |  1726322 |      988   3277 |       63 |        0
960.50/960.77	c  960s |      22 |  1737174 |  1729922 |      988   3283 |       63 |        0
962.60/962.83	c  962s |      22 |  1740678 |  1733422 |      988   3288 |       63 |        0
964.61/964.87	c  964s |      22 |  1744169 |  1736922 |      988   3294 |       63 |        0
966.60/966.88	c  966s |      22 |  1747582 |  1740322 |      988   3299 |       63 |        0
968.70/968.92	c  968s |      22 |  1751184 |  1743922 |      988   3305 |       63 |        0
970.70/970.93	c  970s |      22 |  1754689 |  1747422 |      988   3310 |       63 |        0
972.71/972.98	c  972s |      22 |  1758297 |  1751022 |      988   3316 |       63 |        0
974.80/975.03	c  975s |      22 |  1761999 |  1754722 |      988   3321 |       63 |        0
976.80/977.04	c  977s |      22 |  1765510 |  1758222 |      988   3327 |       63 |        0
978.81/979.07	c  979s |      22 |  1769112 |  1761822 |      988   3333 |       63 |        0
980.80/981.08	c  981s |      22 |  1772618 |  1765322 |      988   3338 |       63 |        0
982.90/983.10	c  983s |      22 |  1776489 |  1769122 |      988   3344 |       63 |        0
984.90/985.15	c  985s |      22 |  1780308 |  1772922 |      988   3350 |       63 |        0
986.90/987.19	c  987s |      22 |  1784130 |  1776722 |      988   3356 |       63 |        0
989.00/989.24	c  989s |      22 |  1788081 |  1780622 |      988   3362 |       63 |        0
991.00/991.24	c  991s |      22 |  1791718 |  1784222 |      988   3368 |       63 |        0
992.99/993.25	c  993s |      22 |  1795385 |  1787822 |      988   3373 |       63 |        0
994.99/995.26	c  995s |      22 |  1799040 |  1791422 |      988   3379 |       63 |        0
996.99/997.28	c  997s |      22 |  1802972 |  1795322 |      988   3385 |       63 |        0
999.09/999.30	c  999s |      22 |  1806629 |  1798922 |      988   3391 |       63 |        0
1001.09/1001.35	c 1001s |      22 |  1810152 |  1802422 |      988   3396 |       63 |        0
1003.10/1003.36	c 1003s |      22 |  1813668 |  1805922 |      988   3402 |       63 |        0
1005.20/1005.41	c 1005s |      22 |  1817439 |  1809622 |      988   3408 |       63 |        0
1007.19/1007.42	c 1007s |      22 |  1820856 |  1813022 |      988   3413 |       63 |        0
1009.19/1009.49	c 1009s |      22 |  1824515 |  1816622 |      988   3419 |       63 |        0
1011.29/1011.52	c 1011s |      22 |  1828186 |  1820222 |      988   3424 |       63 |        0
1013.29/1013.53	c 1013s |      22 |  1831979 |  1823922 |      988   3430 |       63 |        0
1015.29/1015.57	c 1015s |      22 |  1835794 |  1827722 |      988   3436 |       63 |        0
1017.29/1017.59	c 1017s |      22 |  1839405 |  1831322 |      988   3442 |       63 |        0
1019.29/1019.59	c 1019s |      22 |  1843133 |  1835022 |      988   3447 |       63 |        0
1021.38/1021.60	c 1021s |      22 |  1846929 |  1838722 |      988   3453 |       63 |        0
1023.38/1023.61	c 1023s |      22 |  1850547 |  1842322 |      988   3459 |       63 |        0
1025.38/1025.65	c 1025s |      22 |  1854166 |  1845922 |      988   3465 |       63 |        0
1027.48/1027.71	c 1027s |      22 |  1857798 |  1849522 |      988   3470 |       63 |        0
1029.49/1029.71	c 1029s |      22 |  1861429 |  1853122 |      988   3476 |       63 |        0
1031.48/1031.71	c 1031s |      22 |  1865023 |  1856722 |      988   3482 |       63 |        0
1033.48/1033.75	c 1033s |      22 |  1868766 |  1860422 |      988   3487 |       63 |        0
1035.58/1035.80	c 1035s |      22 |  1872481 |  1864122 |      988   3493 |       63 |        0
1037.58/1037.85	c 1037s |      22 |  1876202 |  1867822 |      988   3499 |       63 |        0
1039.58/1039.85	c 1039s |      22 |  1879810 |  1871422 |      988   3505 |       63 |        0
1041.58/1041.89	c 1041s |      22 |  1883525 |  1875122 |      988   3510 |       63 |        0
1043.68/1043.92	c 1043s |      22 |  1887141 |  1878722 |      988   3516 |       63 |        0
1045.67/1045.94	c 1045s |      22 |  1890736 |  1882322 |      988   3522 |       63 |        0
1047.67/1047.99	c 1047s |      22 |  1894347 |  1885922 |      988   3527 |       63 |        0
1049.77/1050.02	c 1049s |      22 |  1897675 |  1889222 |      988   3532 |       63 |        0
1051.77/1052.07	c 1052s |      22 |  1901097 |  1892622 |      988   3538 |       63 |        0
1053.86/1054.10	c 1054s |      22 |  1904689 |  1896122 |      988   3543 |       63 |        0
1055.87/1056.11	c 1056s |      22 |  1908299 |  1899622 |      988   3549 |       63 |        0
1057.86/1058.14	c 1058s |      22 |  1911797 |  1903022 |      988   3554 |       63 |        0
1059.86/1060.17	c 1060s |      22 |  1915275 |  1906422 |      988   3559 |       63 |        0
1061.96/1062.20	c 1062s |      22 |  1918625 |  1909722 |      988   3565 |       63 |        0
1063.96/1064.23	c 1064s |      22 |  1921949 |  1913022 |      988   3570 |       63 |        0
1065.96/1066.25	c 1066s |      22 |  1925283 |  1916322 |      988   3575 |       63 |        0
1067.97/1068.29	c 1068s |      22 |  1928507 |  1919522 |      988   3580 |       63 |        0
1069.96/1070.30	c 1070s |      22 |  1931626 |  1922622 |      988   3585 |       63 |        0
1072.06/1072.30	c 1072s |      22 |  1934852 |  1925822 |      988   3590 |       63 |        0
1074.06/1074.33	c 1074s |      22 |  1937959 |  1928922 |      988   3595 |       63 |        0
1076.06/1076.37	c 1076s |      22 |  1941284 |  1932222 |      988   3600 |       63 |        0
1078.06/1078.39	c 1078s |      22 |  1944740 |  1935622 |      988   3605 |       63 |        0
1080.15/1080.42	c 1080s |      22 |  1948242 |  1939122 |      988   3611 |       63 |        0
1082.16/1082.47	c 1082s |      22 |  1951766 |  1942622 |      988   3616 |       63 |        0
1084.15/1084.48	c 1084s |      22 |  1955204 |  1946022 |      988   3622 |       63 |        0
1086.25/1086.53	c 1086s |      22 |  1958500 |  1949322 |      988   3627 |       63 |        0
1088.25/1088.55	c 1088s |      22 |  1961807 |  1952622 |      988   3632 |       63 |        0
1090.25/1090.55	c 1090s |      22 |  1965315 |  1956122 |      988   3637 |       63 |        0
1092.35/1092.60	c 1092s |      22 |  1968720 |  1959522 |      988   3643 |       63 |        0
1094.35/1094.64	c 1094s |      22 |  1972259 |  1963022 |      988   3648 |       63 |        0
1096.35/1096.66	c 1096s |      22 |  1975771 |  1966522 |      988   3654 |       63 |        0
1098.45/1098.71	c 1098s |      22 |  1979288 |  1970022 |      988   3659 |       63 |        0
1100.45/1100.76	c 1100s |      22 |  1982924 |  1973622 |      988   3665 |       63 |        0
1102.55/1102.80	c 1102s |      22 |  1986455 |  1977122 |      988   3670 |       63 |        0
1104.54/1104.84	c 1104s |      22 |  1989867 |  1980522 |      988   3676 |       63 |        0
1106.54/1106.88	c 1106s |      22 |  1993409 |  1984022 |      988   3681 |       63 |        0
1108.55/1108.89	c 1108s |      22 |  1996704 |  1987322 |      988   3686 |       63 |        0
1110.64/1110.95	c 1110s |      22 |  2000103 |  1990722 |      988   3692 |       63 |        0
1112.64/1112.95	c 1112s |      22 |  2003504 |  1994122 |      988   3697 |       63 |        0
1114.64/1114.96	c 1114s |      22 |  2007012 |  1997622 |      988   3702 |       63 |        0
1116.74/1117.01	c 1116s |      22 |  2010315 |  2000922 |      988   3708 |       63 |        0
1118.74/1119.07	c 1119s |      22 |  2013713 |  2004322 |      988   3713 |       63 |        0
1120.75/1121.08	c 1121s |      22 |  2016816 |  2007422 |      988   3718 |       63 |        0
1122.84/1123.12	c 1123s |      22 |  2020011 |  2010622 |      988   3723 |       63 |        0
1124.84/1125.17	c 1125s |      22 |  2023420 |  2014022 |      988   3728 |       63 |        0
1126.94/1127.21	c 1127s |      22 |  2026724 |  2017322 |      988   3733 |       63 |        0
1128.94/1129.24	c 1129s |      22 |  2029925 |  2020522 |      988   3738 |       63 |        0
1130.93/1131.28	c 1131s |      22 |  2033135 |  2023722 |      988   3744 |       63 |        0
1132.93/1133.29	c 1133s |      22 |  2036342 |  2026922 |      988   3749 |       63 |        0
1135.04/1135.34	c 1135s |      22 |  2039651 |  2030222 |      988   3754 |       63 |        0
1137.03/1137.36	c 1137s |      22 |  2042963 |  2033522 |      988   3759 |       63 |        0
1139.13/1139.41	c 1139s |      22 |  2046370 |  2036922 |      988   3764 |       63 |        0
1141.13/1141.42	c 1141s |      22 |  2049576 |  2040122 |      988   3769 |       63 |        0
1143.13/1143.48	c 1143s |      22 |  2052773 |  2043322 |      988   3774 |       63 |        0
1145.14/1145.49	c 1145s |      22 |  2055999 |  2046522 |      988   3779 |       63 |        0
1147.24/1147.53	c 1147s |      22 |  2059314 |  2049822 |      988   3784 |       63 |        0
1149.24/1149.55	c 1149s |      22 |  2062747 |  2053222 |      988   3790 |       63 |        0
1151.23/1151.58	c 1151s |      22 |  2066076 |  2056522 |      988   3795 |       63 |        0
1153.23/1153.59	c 1153s |      22 |  2069301 |  2059722 |      988   3800 |       63 |        0
1155.33/1155.61	c 1155s |      22 |  2072517 |  2062922 |      988   3805 |       63 |        0
1157.33/1157.62	c 1157s |      22 |  2075716 |  2066122 |      988   3810 |       63 |        0
1159.33/1159.67	c 1159s |      22 |  2079062 |  2069422 |      988   3815 |       63 |        0
1161.33/1161.69	c 1161s |      22 |  2082410 |  2072722 |      988   3820 |       63 |        0
1163.43/1163.72	c 1163s |      22 |  2085654 |  2075922 |      988   3825 |       63 |        0
1165.43/1165.77	c 1165s |      22 |  2088990 |  2079222 |      988   3831 |       63 |        0
1167.52/1167.80	c 1167s |      22 |  2092437 |  2082622 |      988   3836 |       63 |        0
1169.52/1169.80	c 1169s |      22 |  2095749 |  2085922 |      988   3841 |       63 |        0
1171.52/1171.81	c 1171s |      22 |  2099081 |  2089222 |      988   3846 |       63 |        0
1173.53/1173.83	c 1173s |      22 |  2102409 |  2092522 |      988   3852 |       63 |        0
1175.52/1175.84	c 1175s |      22 |  2105613 |  2095722 |      988   3857 |       63 |        0
1177.52/1177.85	c 1177s |      22 |  2108944 |  2099022 |      988   3862 |       63 |        0
1179.52/1179.88	c 1179s |      22 |  2112277 |  2102322 |      988   3867 |       63 |        0
1181.62/1181.91	c 1181s |      22 |  2115586 |  2105622 |      988   3872 |       63 |        0
1183.62/1183.95	c 1183s |      22 |  2119024 |  2109022 |      988   3877 |       63 |        0
1185.62/1185.96	c 1185s |      22 |  2122233 |  2112222 |      988   3882 |       63 |        0
1187.72/1188.01	c 1187s |      22 |  2125553 |  2115522 |      988   3888 |       63 |        0
1189.71/1190.03	c 1190s |      22 |  2129080 |  2119022 |      988   3893 |       63 |        0
1191.71/1192.09	c 1192s |      22 |  2132378 |  2122322 |      988   3898 |       63 |        0
1193.81/1194.14	c 1194s |      22 |  2135686 |  2125622 |      988   3904 |       63 |        0
1195.81/1196.15	c 1196s |      22 |  2138980 |  2128922 |      988   3909 |       63 |        0
1197.81/1198.19	c 1198s |      22 |  2142286 |  2132222 |      988   3914 |       63 |        0
1199.81/1200.19	c 1200s |      22 |  2145490 |  2135422 |      988   3919 |       63 |        0
1201.91/1202.21	c 1202s |      22 |  2149044 |  2138922 |      988   3924 |       63 |        0
1203.91/1204.23	c 1204s |      22 |  2152361 |  2142222 |      988   3930 |       63 |        0
1205.91/1206.26	c 1206s |      22 |  2155765 |  2145622 |      988   3935 |       63 |        0
1207.91/1208.30	c 1208s |      22 |  2159062 |  2148922 |      988   3940 |       63 |        0
1210.00/1210.30	c 1210s |      22 |  2162383 |  2152222 |      988   3945 |       63 |        0
1212.01/1212.36	c 1212s |      22 |  2165808 |  2155622 |      988   3951 |       63 |        0
1214.00/1214.36	c 1214s |      22 |  2169123 |  2158922 |      988   3956 |       63 |        0
1216.00/1216.37	c 1216s |      22 |  2172598 |  2162322 |      988   3961 |       63 |        0
1218.10/1218.43	c 1218s |      22 |  2176113 |  2165822 |      988   3967 |       63 |        0
1220.10/1220.44	c 1220s |      22 |  2179421 |  2169122 |      988   3972 |       63 |        0
1222.10/1222.45	c 1222s |      22 |  2182728 |  2172422 |      988   3977 |       63 |        0
1224.11/1224.49	c 1224s |      22 |  2186037 |  2175722 |      988   3982 |       63 |        0
1226.10/1226.49	c 1226s |      22 |  2189235 |  2178922 |      988   3987 |       63 |        0
1228.20/1228.51	c 1228s |      22 |  2192460 |  2182122 |      988   3992 |       63 |        0
1230.20/1230.55	c 1230s |      22 |  2195761 |  2185422 |      988   3998 |       63 |        0
1232.29/1232.60	c 1232s |      22 |  2199218 |  2188822 |      988   4003 |       63 |        0
1234.29/1234.61	c 1234s |      22 |  2202553 |  2192122 |      988   4008 |       63 |        0
1236.29/1236.65	c 1236s |      22 |  2205964 |  2195522 |      988   4013 |       63 |        0
1238.30/1238.68	c 1238s |      22 |  2209281 |  2198822 |      988   4019 |       63 |        0
1240.39/1240.70	c 1240s |      22 |  2212590 |  2202122 |      988   4024 |       63 |        0
1242.39/1242.74	c 1242s |      22 |  2216023 |  2205522 |      988   4029 |       63 |        0
1244.39/1244.75	c 1244s |      22 |  2219449 |  2208922 |      988   4035 |       63 |        0
1246.39/1246.78	c 1246s |      22 |  2222885 |  2212322 |      988   4040 |       63 |        0
1248.49/1248.81	c 1248s |      22 |  2226399 |  2215822 |      988   4045 |       63 |        0
1250.49/1250.86	c 1250s |      22 |  2229839 |  2219222 |      988   4051 |       63 |        0
1252.59/1252.92	c 1252s |      22 |  2233268 |  2222622 |      988   4056 |       63 |        0
1254.58/1254.93	c 1254s |      22 |  2236574 |  2225922 |      988   4061 |       63 |        0
1256.58/1256.94	c 1256s |      22 |  2239888 |  2229222 |      988   4066 |       63 |        0
1258.58/1258.95	c 1258s |      22 |  2243094 |  2232422 |      988   4071 |       63 |        0
1260.58/1260.98	c 1260s |      22 |  2246191 |  2235522 |     1087   4076 |       63 |        0
1262.68/1263.03	c 1263s |      22 |  2249498 |  2238822 |     1087   4081 |       63 |        0
1264.69/1265.06	c 1265s |      22 |  2252712 |  2242022 |     1087   4086 |       63 |        0
1266.78/1267.10	c 1267s |      22 |  2256035 |  2245322 |     1087   4090 |       63 |        0
1268.78/1269.14	c 1269s |      22 |  2259455 |  2248722 |     1087   4095 |       63 |        0
1270.28/1270.65	c 1270s |      23 |  2261774 |  2251038 |     1087   4099 |       63 |        0
1272.27/1272.69	c 1272s |      23 |  2265379 |  2254138 |     1087   4103 |       63 |        0
1274.37/1274.74	c 1274s |      23 |  2268874 |  2257338 |     1087   4108 |       63 |        0
1276.37/1276.78	c 1276s |      23 |  2272391 |  2260838 |     1087   4113 |       63 |        0
1278.37/1278.79	c 1278s |      23 |  2275911 |  2264338 |     1087   4118 |       63 |        0
1280.47/1280.81	c 1280s |      23 |  2279507 |  2267938 |     1087   4123 |       63 |        0
1282.47/1282.84	c 1282s |      23 |  2283107 |  2271538 |     1087   4128 |       63 |        0
1284.48/1284.88	c 1284s |      23 |  2286611 |  2275038 |     1087   4133 |       63 |        0
1286.57/1286.92	c 1286s |      23 |  2290012 |  2278438 |     1087   4138 |       63 |        0
1288.57/1288.94	c 1288s |      23 |  2293515 |  2281938 |     1087   4143 |       63 |        0
1290.57/1290.98	c 1290s |      23 |  2297013 |  2285438 |     1087   4148 |       63 |        0
1292.57/1292.98	c 1292s |      23 |  2300419 |  2288838 |     1087   4153 |       63 |        0
1294.67/1295.02	c 1295s |      23 |  2304034 |  2292438 |     1087   4158 |       63 |        0
1296.68/1297.06	c 1297s |      23 |  2307732 |  2296138 |     1087   4164 |       63 |        0
1298.67/1299.06	c 1299s |      23 |  2311237 |  2299638 |     1087   4169 |       63 |        0
1300.77/1301.11	c 1301s |      23 |  2314843 |  2303238 |     1087   4174 |       63 |        0
1302.77/1303.14	c 1303s |      23 |  2318343 |  2306738 |     1087   4179 |       63 |        0
1304.77/1305.16	c 1305s |      23 |  2321947 |  2310338 |     1087   4184 |       63 |        0
1306.76/1307.19	c 1307s |      23 |  2325453 |  2313838 |     1087   4189 |       63 |        0
1308.86/1309.25	c 1309s |      23 |  2329054 |  2317438 |     1087   4195 |       63 |        0
1310.87/1311.29	c 1311s |      23 |  2332665 |  2321038 |     1087   4200 |       63 |        0
1312.96/1313.30	c 1313s |      23 |  2336273 |  2324638 |     1087   4205 |       63 |        0
1314.96/1315.35	c 1315s |      23 |  2340081 |  2328438 |     1087   4210 |       63 |        0
1316.96/1317.35	c 1317s |      23 |  2343686 |  2332038 |     1087   4216 |       63 |        0
1318.96/1319.37	c 1319s |      23 |  2347386 |  2335738 |     1087   4221 |       63 |        0
1320.96/1321.37	c 1321s |      23 |  2350990 |  2339338 |     1087   4226 |       63 |        0
1322.96/1323.37	c 1323s |      23 |  2354514 |  2342838 |     1087   4231 |       63 |        0
1324.96/1325.38	c 1325s |      23 |  2358022 |  2346338 |     1087   4236 |       63 |        0
1327.06/1327.40	c 1327s |      23 |  2361632 |  2349938 |     1087   4241 |       63 |        0
1329.06/1329.41	c 1329s |      23 |  2365150 |  2353438 |     1087   4247 |       63 |        0
1331.05/1331.43	c 1331s |      23 |  2368663 |  2356938 |     1087   4252 |       63 |        0
1333.05/1333.45	c 1333s |      23 |  2372262 |  2360538 |     1087   4257 |       63 |        0
1335.06/1335.46	c 1335s |      23 |  2375660 |  2363938 |     1087   4262 |       63 |        0
1337.15/1337.51	c 1337s |      23 |  2379063 |  2367338 |     1087   4267 |       63 |        0
1339.15/1339.53	c 1339s |      23 |  2382361 |  2370638 |     1087   4271 |       63 |        0
1341.15/1341.54	c 1341s |      23 |  2385764 |  2374038 |     1087   4276 |       63 |        0
1343.25/1343.60	c 1343s |      23 |  2389262 |  2377538 |     1087   4281 |       63 |        0
1345.25/1345.64	c 1345s |      23 |  2392777 |  2381038 |     1087   4286 |       63 |        0
1347.25/1347.66	c 1347s |      23 |  2396081 |  2384338 |     1087   4291 |       63 |        0
1349.24/1349.67	c 1349s |      23 |  2399576 |  2387838 |     1087   4296 |       63 |        0
1351.34/1351.70	c 1351s |      23 |  2402974 |  2391238 |     1087   4301 |       63 |        0
1353.34/1353.73	c 1353s |      23 |  2406282 |  2394538 |     1087   4306 |       63 |        0
1355.34/1355.75	c 1355s |      23 |  2409778 |  2398038 |     1087   4311 |       63 |        0
1357.34/1357.75	c 1357s |      23 |  2413085 |  2401338 |     1087   4316 |       63 |        0
1359.35/1359.76	c 1359s |      23 |  2416477 |  2404738 |     1087   4321 |       63 |        0
1361.33/1361.79	c 1361s |      23 |  2419877 |  2408138 |     1087   4325 |       63 |        0
1363.43/1363.81	c 1363s |      23 |  2423281 |  2411538 |     1087   4330 |       63 |        0
1365.43/1365.85	c 1365s |      23 |  2426792 |  2415038 |     1087   4335 |       63 |        0
1367.53/1367.90	c 1367s |      23 |  2430090 |  2418338 |     1087   4340 |       63 |        0
1369.53/1369.91	c 1369s |      23 |  2433397 |  2421638 |     1087   4345 |       63 |        0
1371.53/1371.93	c 1371s |      23 |  2436955 |  2425138 |     1087   4350 |       63 |        0
1373.54/1373.95	c 1373s |      23 |  2440276 |  2428438 |     1087   4355 |       63 |        0
1375.63/1376.01	c 1375s |      23 |  2443575 |  2431738 |     1087   4360 |       63 |        0
1377.63/1378.04	c 1378s |      23 |  2446786 |  2434938 |     1087   4364 |       63 |        0
1379.63/1380.06	c 1380s |      23 |  2450197 |  2438338 |     1087   4369 |       63 |        0
1381.72/1382.11	c 1382s |      23 |  2453801 |  2441938 |     1087   4374 |       63 |        0
1383.72/1384.16	c 1384s |      23 |  2457310 |  2445438 |     1087   4379 |       63 |        0
1385.82/1386.20	c 1386s |      23 |  2460850 |  2448938 |     1087   4384 |       63 |        0
1387.83/1388.23	c 1388s |      23 |  2464388 |  2452438 |     1087   4389 |       63 |        0
1389.82/1390.25	c 1390s |      23 |  2467904 |  2455938 |     1087   4395 |       63 |        0
1391.82/1392.28	c 1392s |      23 |  2471433 |  2459438 |     1087   4400 |       63 |        0
1393.82/1394.29	c 1394s |      23 |  2474841 |  2462838 |     1087   4405 |       63 |        0
1395.92/1396.33	c 1396s |      23 |  2478291 |  2466238 |     1087   4409 |       63 |        0
1397.92/1398.38	c 1398s |      23 |  2481705 |  2469638 |     1087   4414 |       63 |        0
1400.02/1400.41	c 1400s |      23 |  2485114 |  2473038 |     1087   4419 |       63 |        0
1402.01/1402.43	c 1402s |      23 |  2488531 |  2476438 |     1087   4424 |       63 |        0
1404.01/1404.48	c 1404s |      23 |  2491953 |  2479838 |     1087   4429 |       63 |        0
1406.11/1406.53	c 1406s |      23 |  2495397 |  2483238 |     1087   4434 |       63 |        0
1408.11/1408.57	c 1408s |      23 |  2498905 |  2486738 |     1087   4439 |       63 |        0
1410.21/1410.62	c 1410s |      23 |  2502331 |  2490138 |     1087   4444 |       63 |        0
1412.22/1412.67	c 1412s |      23 |  2505658 |  2493438 |     1087   4449 |       63 |        0
1414.22/1414.68	c 1414s |      23 |  2508981 |  2496738 |     1087   4454 |       63 |        0
1416.22/1416.69	c 1416s |      23 |  2512410 |  2500138 |     1087   4458 |       63 |        0
1418.22/1418.69	c 1418s |      23 |  2515854 |  2503538 |     1087   4463 |       63 |        0
1420.32/1420.75	c 1420s |      23 |  2519509 |  2507138 |     1087   4469 |       63 |        0
1422.41/1422.81	c 1422s |      23 |  2523008 |  2510638 |     1087   4474 |       63 |        0
1424.41/1424.84	c 1424s |      23 |  2526507 |  2514138 |     1087   4479 |       63 |        0
1426.42/1426.85	c 1426s |      23 |  2529946 |  2517538 |     1087   4484 |       63 |        0
1428.41/1428.90	c 1428s |      23 |  2533344 |  2520938 |     1087   4489 |       63 |        0
1430.51/1430.91	c 1430s |      23 |  2536745 |  2524338 |     1087   4493 |       63 |        0
1432.51/1432.95	c 1432s |      23 |  2540250 |  2527838 |     1087   4499 |       63 |        0
1434.51/1434.98	c 1434s |      23 |  2543650 |  2531238 |     1087   4503 |       63 |        0
1436.61/1437.04	c 1437s |      23 |  2547061 |  2534638 |     1087   4508 |       63 |        0
1438.61/1439.06	c 1439s |      23 |  2550386 |  2537938 |     1087   4513 |       63 |        0
1440.61/1441.08	c 1441s |      23 |  2553695 |  2541238 |     1087   4518 |       63 |        0
1442.70/1443.10	c 1443s |      23 |  2556999 |  2544538 |     1087   4523 |       63 |        0
1444.70/1445.13	c 1445s |      23 |  2560415 |  2547938 |     1087   4528 |       63 |        0
1446.70/1447.14	c 1447s |      23 |  2563715 |  2551238 |     1087   4532 |       63 |        0
1448.70/1449.15	c 1449s |      23 |  2566916 |  2554438 |     1087   4537 |       63 |        0
1450.80/1451.20	c 1451s |      23 |  2570115 |  2557638 |     1087   4542 |       63 |        0
1452.80/1453.24	c 1453s |      23 |  2573321 |  2560838 |     1087   4546 |       63 |        0
1454.79/1455.27	c 1455s |      23 |  2576418 |  2563938 |     1087   4551 |       63 |        0
1456.79/1457.27	c 1457s |      23 |  2579526 |  2567038 |     1087   4555 |       63 |        0
1458.89/1459.32	c 1459s |      23 |  2582823 |  2570338 |     1087   4560 |       63 |        0
1460.89/1461.34	c 1461s |      23 |  2586120 |  2573638 |     1087   4565 |       63 |        0
1462.89/1463.36	c 1463s |      23 |  2589419 |  2576938 |     1087   4570 |       63 |        0
1464.90/1465.37	c 1465s |      23 |  2592724 |  2580238 |     1087   4574 |       63 |        0
1466.89/1467.40	c 1467s |      23 |  2596262 |  2583738 |     1087   4579 |       63 |        0
1468.99/1469.41	c 1469s |      23 |  2599569 |  2587038 |     1087   4584 |       63 |        0
1470.99/1471.46	c 1471s |      23 |  2602972 |  2590438 |     1087   4589 |       63 |        0
1472.99/1473.46	c 1473s |      23 |  2606269 |  2593738 |     1087   4594 |       63 |        0
1474.99/1475.47	c 1475s |      23 |  2609681 |  2597138 |     1087   4599 |       63 |        0
1477.09/1477.50	c 1477s |      23 |  2613101 |  2600538 |     1087   4604 |       63 |        0
1479.09/1479.51	c 1479s |      23 |  2616496 |  2603938 |     1087   4609 |       63 |        0
1481.08/1481.56	c 1481s |      23 |  2619998 |  2607438 |     1087   4614 |       63 |        0
1483.18/1483.61	c 1483s |      23 |  2623511 |  2610938 |     1087   4619 |       63 |        0
1485.18/1485.66	c 1485s |      23 |  2627173 |  2614538 |     1087   4624 |       63 |        0
1487.28/1487.70	c 1487s |      23 |  2630669 |  2618038 |     1087   4629 |       63 |        0
1489.28/1489.71	c 1489s |      23 |  2634083 |  2621438 |     1087   4634 |       63 |        0
1491.29/1491.74	c 1491s |      23 |  2637540 |  2624838 |     1087   4639 |       63 |        0
1493.28/1493.75	c 1493s |      23 |  2641004 |  2628238 |     1087   4644 |       63 |        0
1495.28/1495.78	c 1495s |      23 |  2644412 |  2631638 |     1087   4649 |       63 |        0
1497.38/1497.82	c 1497s |      23 |  2647907 |  2635138 |     1087   4654 |       63 |        0
1499.38/1499.82	c 1499s |      23 |  2651345 |  2638538 |     1087   4659 |       63 |        0
1501.38/1501.84	c 1501s |      23 |  2654776 |  2641938 |     1087   4664 |       63 |        0
1503.39/1503.89	c 1503s |      23 |  2658328 |  2645438 |     1087   4669 |       63 |        0
1505.49/1505.95	c 1505s |      23 |  2661621 |  2648738 |     1087   4674 |       63 |        0
1507.58/1508.02	c 1507s |      23 |  2665030 |  2652138 |     1087   4679 |       63 |        0
1509.58/1510.02	c 1510s |      23 |  2668232 |  2655338 |     1087   4683 |       63 |        0
1511.58/1512.04	c 1512s |      23 |  2671529 |  2658638 |     1087   4688 |       63 |        0
1513.58/1514.06	c 1514s |      23 |  2674827 |  2661938 |     1087   4693 |       63 |        0
1515.58/1516.08	c 1516s |      23 |  2678139 |  2665238 |     1087   4698 |       63 |        0
1517.59/1518.10	c 1518s |      23 |  2681443 |  2668538 |     1087   4702 |       63 |        0
1519.68/1520.10	c 1520s |      23 |  2684772 |  2671838 |     1087   4707 |       63 |        0
1521.68/1522.13	c 1522s |      23 |  2688092 |  2675138 |     1087   4712 |       63 |        0
1523.68/1524.16	c 1524s |      23 |  2691496 |  2678538 |     1087   4717 |       63 |        0
1525.78/1526.22	c 1526s |      23 |  2694946 |  2681938 |     1087   4722 |       63 |        0
1527.78/1528.24	c 1528s |      23 |  2698270 |  2685238 |     1087   4727 |       63 |        0
1529.78/1530.29	c 1530s |      23 |  2701668 |  2688638 |     1087   4731 |       63 |        0
1531.88/1532.34	c 1532s |      23 |  2705086 |  2692038 |     1087   4736 |       63 |        0
1533.88/1534.39	c 1534s |      23 |  2708411 |  2695338 |     1087   4741 |       63 |        0
1535.88/1536.39	c 1536s |      23 |  2711828 |  2698638 |     1087   4746 |       63 |        0
1537.98/1538.40	c 1538s |      23 |  2715144 |  2701938 |     1087   4751 |       63 |        0
1539.97/1540.46	c 1540s |      23 |  2718746 |  2705438 |     1087   4756 |       63 |        0
1542.07/1542.50	c 1542s |      23 |  2721959 |  2708638 |     1087   4760 |       63 |        0
1544.08/1544.56	c 1544s |      23 |  2725282 |  2711938 |     1087   4765 |       63 |        0
1546.18/1546.61	c 1546s |      23 |  2728485 |  2715138 |     1087   4770 |       63 |        0
1548.17/1548.63	c 1548s |      23 |  2731894 |  2718538 |     1087   4775 |       63 |        0
1550.17/1550.68	c 1550s |      23 |  2735425 |  2722038 |     1087   4780 |       63 |        0
1552.17/1552.69	c 1552s |      23 |  2738884 |  2725438 |     1087   4785 |       63 |        0
1554.27/1554.70	c 1554s |      23 |  2742288 |  2728838 |     1087   4790 |       63 |        0
1556.27/1556.72	c 1556s |      23 |  2745689 |  2732238 |     1087   4795 |       63 |        0
1558.28/1558.74	c 1558s |      23 |  2749105 |  2735638 |     1087   4800 |       63 |        0
1560.37/1560.80	c 1560s |      23 |  2752500 |  2739038 |     1087   4805 |       63 |        0
1562.37/1562.84	c 1562s |      23 |  2755906 |  2742438 |     1087   4809 |       63 |        0
1564.37/1564.88	c 1564s |      23 |  2759315 |  2745838 |     1087   4814 |       63 |        0
1566.47/1566.92	c 1566s |      23 |  2762759 |  2749238 |     1087   4819 |       63 |        0
1568.47/1568.96	c 1568s |      23 |  2766374 |  2752838 |     1087   4825 |       63 |        0
1570.57/1571.01	c 1570s |      23 |  2769994 |  2756438 |     1087   4830 |       63 |        0
1572.58/1573.01	c 1572s |      23 |  2773604 |  2760038 |     1087   4835 |       63 |        0
1574.57/1575.03	c 1575s |      23 |  2777118 |  2763538 |     1087   4840 |       63 |        0
1576.57/1577.03	c 1577s |      23 |  2780725 |  2767138 |     1087   4845 |       63 |        0
1578.57/1579.08	c 1579s |      23 |  2784533 |  2770938 |     1087   4851 |       63 |        0
1580.57/1581.08	c 1581s |      23 |  2788149 |  2774538 |     1087   4856 |       63 |        0
1582.67/1583.13	c 1583s |      23 |  2791647 |  2778038 |     1087   4861 |       63 |        0
1584.67/1585.18	c 1585s |      23 |  2795051 |  2781438 |     1087   4866 |       63 |        0
1586.78/1587.20	c 1587s |      23 |  2798456 |  2784838 |     1087   4871 |       63 |        0
1588.78/1589.20	c 1589s |      23 |  2801652 |  2788038 |     1087   4876 |       63 |        0
1590.78/1591.23	c 1591s |      23 |  2804962 |  2791338 |     1087   4880 |       63 |        0
1592.77/1593.27	c 1593s |      23 |  2808275 |  2794638 |     1087   4885 |       63 |        0
1594.77/1595.29	c 1595s |      23 |  2811575 |  2797938 |     1087   4890 |       63 |        0
1596.88/1597.31	c 1597s |      23 |  2814991 |  2801338 |     1087   4895 |       63 |        0
1598.87/1599.31	c 1599s |      23 |  2818202 |  2804538 |     1087   4900 |       63 |        0
1600.87/1601.36	c 1601s |      23 |  2821651 |  2807938 |     1087   4905 |       63 |        0
1602.97/1603.41	c 1603s |      23 |  2825585 |  2811838 |     1087   4910 |       63 |        0
1604.97/1605.43	c 1605s |      23 |  2829086 |  2815338 |     1087   4915 |       63 |        0
1606.97/1607.44	c 1607s |      23 |  2832491 |  2818738 |     1087   4920 |       63 |        0
1609.07/1609.50	c 1609s |      23 |  2836092 |  2822338 |     1087   4926 |       63 |        0
1611.08/1611.54	c 1611s |      23 |  2839306 |  2825538 |     1087   4930 |       63 |        0
1613.07/1613.54	c 1613s |      23 |  2842815 |  2829038 |     1087   4935 |       63 |        0
1615.07/1615.57	c 1615s |      23 |  2846215 |  2832438 |     1087   4940 |       63 |        0
1617.07/1617.60	c 1617s |      23 |  2849623 |  2835838 |     1087   4945 |       63 |        0
1619.17/1619.62	c 1619s |      23 |  2852924 |  2839138 |     1087   4950 |       63 |        0
1621.17/1621.68	c 1621s |      23 |  2856327 |  2842538 |     1087   4955 |       63 |        0
1623.28/1623.71	c 1623s |      23 |  2859638 |  2845838 |     1087   4960 |       63 |        0
1625.27/1625.72	c 1625s |      23 |  2863265 |  2849438 |     1087   4965 |       63 |        0
1627.27/1627.76	c 1627s |      23 |  2867309 |  2853438 |     1087   4971 |       63 |        0
1629.27/1629.77	c 1629s |      23 |  2870812 |  2856938 |     1087   4976 |       63 |        0
1631.27/1631.77	c 1631s |      23 |  2874318 |  2860438 |     1087   4981 |       63 |        0
1633.37/1633.81	c 1633s |      23 |  2877621 |  2863738 |     1087   4986 |       63 |        0
1635.37/1635.82	c 1635s |      23 |  2880816 |  2866938 |     1087   4991 |       63 |        0
1637.37/1637.84	c 1637s |      23 |  2884436 |  2870538 |     1087   4996 |       63 |        0
1639.37/1639.88	c 1639s |      23 |  2888296 |  2874338 |     1087   5002 |       63 |        0
1641.37/1641.88	c 1641s |      23 |  2892001 |  2878038 |     1087   5007 |       63 |        0
1643.47/1643.90	c 1643s |      23 |  2895521 |  2881538 |     1087   5012 |       63 |        0
1645.46/1645.90	c 1645s |      23 |  2898629 |  2884638 |     1087   5017 |       63 |        0
1647.47/1647.94	c 1647s |      23 |  2902145 |  2888138 |     1087   5022 |       63 |        0
1649.46/1649.95	c 1649s |      23 |  2905546 |  2891538 |     1087   5027 |       63 |        0
1651.56/1652.00	c 1651s |      23 |  2908951 |  2894938 |     1087   5032 |       63 |        0
1653.56/1654.03	c 1654s |      23 |  2912356 |  2898338 |     1087   5037 |       63 |        0
1655.56/1656.08	c 1656s |      23 |  2915858 |  2901838 |     1087   5042 |       63 |        0
1657.66/1658.10	c 1658s |      23 |  2919270 |  2905238 |     1087   5047 |       63 |        0
1659.66/1660.14	c 1660s |      23 |  2922672 |  2908638 |     1087   5052 |       63 |        0
1661.67/1662.18	c 1662s |      23 |  2926095 |  2912038 |     1087   5057 |       63 |        0
1663.76/1664.20	c 1664s |      23 |  2929505 |  2915438 |     1087   5062 |       63 |        0
1665.76/1666.26	c 1666s |      23 |  2933231 |  2919138 |     1087   5067 |       63 |        0
1667.76/1668.28	c 1668s |      23 |  2936627 |  2922538 |     1087   5072 |       63 |        0
1669.86/1670.32	c 1670s |      23 |  2941355 |  2927238 |     1087   5079 |       63 |        0
1671.86/1672.33	c 1672s |      23 |  2945288 |  2931138 |     1087   5085 |       63 |        0
1673.86/1674.35	c 1674s |      23 |  2948685 |  2934538 |     1087   5090 |       63 |        0
1675.86/1676.40	c 1676s |      23 |  2952194 |  2938038 |     1087   5095 |       63 |        0
1677.96/1678.42	c 1678s |      23 |  2955600 |  2941438 |     1087   5100 |       63 |        0
1679.96/1680.46	c 1680s |      23 |  2959356 |  2945138 |     1087   5105 |       63 |        0
1681.96/1682.46	c 1682s |      23 |  2963204 |  2948938 |     1087   5111 |       63 |        0
1683.96/1684.49	c 1684s |      23 |  2966608 |  2952338 |     1087   5116 |       63 |        0
1686.05/1686.52	c 1686s |      23 |  2971127 |  2956838 |     1087   5122 |       63 |        0
1688.06/1688.56	c 1688s |      23 |  2975368 |  2961038 |     1087   5129 |       63 |        0
1690.05/1690.57	c 1690s |      23 |  2979309 |  2964938 |     1087   5134 |       63 |        0
1692.15/1692.62	c 1692s |      23 |  2983116 |  2968738 |     1087   5140 |       63 |        0
1694.15/1694.64	c 1694s |      23 |  2986742 |  2972338 |     1087   5145 |       63 |        0
1696.15/1696.64	c 1696s |      23 |  2990455 |  2976038 |     1087   5151 |       63 |        0
1698.15/1698.67	c 1698s |      23 |  2994396 |  2979938 |     1087   5156 |       63 |        0
1700.26/1700.71	c 1700s |      23 |  2998114 |  2983638 |     1087   5162 |       63 |        0
1702.25/1702.75	c 1702s |      23 |  3001735 |  2987238 |     1087   5167 |       63 |        0
1704.35/1704.81	c 1704s |      23 |  3005504 |  2990938 |     1087   5172 |       63 |        0
1706.35/1706.85	c 1706s |      23 |  3009372 |  2994738 |     1087   5178 |       63 |        0
1708.35/1708.85	c 1708s |      23 |  3012900 |  2998238 |     1087   5183 |       63 |        0
1710.35/1710.86	c 1710s |      23 |  3016810 |  3002138 |     1087   5189 |       63 |        0
1712.45/1712.90	c 1712s |      23 |  3020516 |  3005838 |     1087   5194 |       63 |        0
1714.46/1714.94	c 1714s |      23 |  3024037 |  3009338 |     1087   5199 |       63 |        0
1716.45/1716.98	c 1716s |      23 |  3027548 |  3012838 |     1087   5204 |       63 |        0
1718.55/1719.00	c 1718s |      23 |  3031053 |  3016338 |     1087   5210 |       63 |        0
1720.55/1721.01	c 1720s |      23 |  3034456 |  3019738 |     1087   5215 |       63 |        0
1722.55/1723.03	c 1723s |      23 |  3037856 |  3023138 |     1087   5219 |       63 |        0
1724.55/1725.09	c 1725s |      23 |  3041265 |  3026538 |     1087   5224 |       63 |        0
1726.55/1727.10	c 1727s |      23 |  3044668 |  3029938 |     1087   5229 |       63 |        0
1728.65/1729.16	c 1729s |      23 |  3048074 |  3033338 |     1087   5234 |       63 |        0
1730.65/1731.17	c 1731s |      23 |  3051474 |  3036738 |     1087   5239 |       63 |        0
1732.75/1733.21	c 1733s |      23 |  3054885 |  3040138 |     1087   5244 |       63 |        0
1734.75/1735.22	c 1735s |      23 |  3058286 |  3043538 |     1087   5249 |       63 |        0
1736.74/1737.23	c 1737s |      23 |  3061592 |  3046838 |     1087   5254 |       63 |        0
1738.75/1739.26	c 1739s |      23 |  3064893 |  3050138 |     1087   5259 |       63 |        0
1740.74/1741.30	c 1741s |      23 |  3068194 |  3053438 |     1087   5264 |       63 |        0
1742.84/1743.35	c 1743s |      23 |  3071496 |  3056738 |     1087   5269 |       63 |        0
1744.84/1745.39	c 1745s |      23 |  3074899 |  3060138 |     1087   5274 |       63 |        0
1746.94/1747.42	c 1747s |      23 |  3078302 |  3063538 |     1087   5279 |       63 |        0
1748.94/1749.42	c 1749s |      23 |  3081608 |  3066838 |     1087   5283 |       63 |        0
1750.94/1751.45	c 1751s |      23 |  3085232 |  3070438 |     1087   5289 |       63 |        0
1752.95/1753.49	c 1753s |      23 |  3088846 |  3074038 |     1087   5294 |       63 |        0
1755.04/1755.53	c 1755s |      23 |  3092353 |  3077538 |     1087   5299 |       63 |        0
1757.04/1757.54	c 1757s |      23 |  3095861 |  3081038 |     1087   5304 |       63 |        0
1759.04/1759.55	c 1759s |      23 |  3099542 |  3084638 |     1087   5309 |       63 |        0
1761.04/1761.58	c 1761s |      23 |  3103047 |  3088138 |     1087   5314 |       63 |        0
1763.14/1763.63	c 1763s |      23 |  3106576 |  3091638 |     1087   5320 |       63 |        0
1765.15/1765.68	c 1765s |      23 |  3110092 |  3095138 |     1087   5325 |       63 |        0
1767.14/1767.70	c 1767s |      23 |  3113508 |  3098538 |     1087   5330 |       63 |        0
1769.25/1769.70	c 1769s |      23 |  3116928 |  3101938 |     1087   5335 |       63 |        0
1771.25/1771.76	c 1771s |      23 |  3120431 |  3105438 |     1087   5340 |       63 |        0
1773.35/1773.81	c 1773s |      23 |  3123847 |  3108838 |     1087   5345 |       63 |        0
1775.35/1775.82	c 1775s |      23 |  3127146 |  3112138 |     1087   5350 |       63 |        0
1777.35/1777.87	c 1777s |      23 |  3130669 |  3115638 |     1087   5355 |       63 |        0
1779.35/1779.90	c 1779s |      23 |  3134181 |  3119138 |     1087   5360 |       63 |        0
1781.45/1781.95	c 1781s |      23 |  3137682 |  3122638 |     1087   5365 |       63 |        0
1783.44/1783.97	c 1783s |      23 |  3141185 |  3126138 |     1087   5370 |       63 |        0
1785.54/1786.03	c 1786s |      23 |  3144728 |  3129638 |     1087   5375 |       63 |        0
1787.54/1788.07	c 1788s |      23 |  3148249 |  3133138 |     1087   5380 |       63 |        0
1789.64/1790.10	c 1790s |      23 |  3151657 |  3136538 |     1087   5385 |       63 |        0
1791.64/1792.11	c 1792s |      23 |  3154957 |  3139838 |     1087   5390 |       63 |        0
1793.65/1794.16	c 1794s |      23 |  3158388 |  3143238 |     1087   5395 |       63 |        0
1795.74/1796.22	c 1796s |      23 |  3161890 |  3146738 |     1087   5400 |       63 |        0
1797.74/1798.23	c 1798s |      23 |  3165331 |  3150138 |     1087   5405 |       63 |        0
1799.74/1800.23	c 1800s |      23 |  3168730 |  3153538 |     1087   5410 |       63 |        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-4100233-1466211674/watcher-4100233-1466211674 -o /tmp/evaluation-result-4100233-1466211674/solver-4100233-1466211674 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100233-1466211674.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.17 2.18 3/181 14393
/proc/meminfo: memFree=29490016/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 2774 0 0 0 0 0 0 0 20 0 4 0 23214169 760672256 3135 33554432000 4194304 16246674 140733597711232 140733597710656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 186223 3143 441 2943 0 183117 0
[pid=14393/tid=14394] ppid=14390 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 778498048 3204 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 782692352 3220 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 787935232 3236 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.15 2.17 2.18 3/181 14393
/proc/meminfo: memFree=29490016/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 20270 0 0 0 7 2 0 0 20 0 4 0 23214169 1247350784 20618 33554432000 4194304 16246674 140733597711232 140733597710656 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 304529 20623 775 2943 0 301423 0
[pid=14393/tid=14394] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 20626 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 20631 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 20640 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 2.15 2.17 2.18 3/181 14393
/proc/meminfo: memFree=29490016/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 37398 0 0 0 14 5 0 0 20 0 4 0 23214169 1247350784 37745 33554432000 4194304 16246674 140733597711232 140733597710656 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 304529 37748 780 2943 0 301423 0
[pid=14393/tid=14394] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 37749 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 37752 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 37755 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300494 s]
/proc/loadavg: 2.15 2.17 2.18 3/181 14393
/proc/meminfo: memFree=29490016/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 54862 0 0 0 22 7 0 0 20 0 4 0 23214169 1247350784 55209 33554432000 4194304 16246674 140733597711232 140733597710656 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 304529 55215 780 2943 0 301423 0
[pid=14393/tid=14394] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 55220 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 55232 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 55236 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700399 s]
/proc/loadavg: 2.15 2.17 2.18 3/181 14393
/proc/meminfo: memFree=29490016/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 126320 0 0 0 51 18 0 0 20 0 4 0 23214169 1247350784 126667 33554432000 4194304 16246674 140733597711232 140733597710656 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 304529 126670 780 2943 0 301423 0
[pid=14393/tid=14394] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 126674 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 126678 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1247350784 126679 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.15 2.17 2.18 3/185 14397
/proc/meminfo: memFree=28713292/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 245984 0 0 0 114 35 0 0 20 0 4 0 23214169 1249447936 246309 33554432000 4194304 16246674 140733597711232 140733597710544 6021616 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 305041 246309 841 2943 0 301935 0
[pid=14393/tid=14394] ppid=14390 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1249447936 246309 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1249447936 246309 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1249447936 246309 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.1004 s]
/proc/loadavg: 2.15 2.17 2.18 4/185 14397
/proc/meminfo: memFree=28504476/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1304132 CPUtime=3.09 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 266877 0 0 0 271 38 0 0 20 0 4 0 23214169 1335431168 267202 33554432000 4194304 16246674 140733597711232 140733597694224 5711326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 326033 267202 841 2943 0 322927 0
[pid=14393/tid=14394] ppid=14390 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1335431168 267202 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1335431168 267202 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1335431168 267202 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1304132

[startup+6.30042 s]
/proc/loadavg: 2.13 2.17 2.17 4/185 14397
/proc/meminfo: memFree=28418552/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 267629 0 0 0 591 38 0 0 20 0 4 0 23214169 1337528320 267954 33554432000 4194304 16246674 140733597711232 140733597693120 5600140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 326545 267954 841 2943 0 323439 0
[pid=14393/tid=14394] ppid=14390 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1337528320 267954 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1337528320 267954 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1337528320 267954 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.12 2.17 2.17 4/185 14397
/proc/meminfo: memFree=28418500/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 267675 0 0 0 1231 38 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 140733597694232 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 326801 268000 842 2943 0 323695 0
[pid=14393/tid=14394] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.16 2.18 2.18 3/185 14397
/proc/meminfo: memFree=28418892/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 267675 0 0 0 2511 38 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 140733597693120 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 326801 268000 842 2943 0 323695 0
[pid=14393/tid=14394] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268000 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.11 2.16 2.17 3/184 14397
/proc/meminfo: memFree=28401944/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 267677 0 0 0 5070 38 0 0 20 0 4 0 23214169 1338576896 268002 33554432000 4194304 16246674 140733597711232 140733597693120 5600068 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 326801 268002 844 2943 0 323695 0
[pid=14393/tid=14394] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268002 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268002 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1338576896 268002 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.09 2.15 2.17 4/184 14398
/proc/meminfo: memFree=28400176/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 268041 0 0 0 10189 39 0 0 20 0 4 0 23214169 1339625472 268366 33554432000 4194304 16246674 140733597711232 140733597693120 6021547 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 327057 268366 844 2943 0 323951 0
[pid=14393/tid=14394] ppid=14390 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1339625472 268366 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1339625472 268366 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1339625472 268366 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.21 2.18 2.18 4/184 14429
/proc/meminfo: memFree=27937312/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1315396 CPUtime=1361.93 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 270252 0 0 0 136147 46 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 140733597693120 5712619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 328849 270520 846 2943 0 325743 0
[pid=14393/tid=14394] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/184 14430
/proc/meminfo: memFree=27937348/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1315396 CPUtime=1421.92 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 270289 0 0 0 142145 47 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 140733597694232 5827784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 328849 270520 846 2943 0 325743 0
[pid=14393/tid=14394] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.48 2.29 2.21 4/184 14432
/proc/meminfo: memFree=27894544/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1315396 CPUtime=1481.88 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 270320 0 0 0 148141 47 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 140733597693120 5712064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 328849 270520 846 2943 0 325743 0
[pid=14393/tid=14394] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.33 2.28 2.20 3/184 14433
/proc/meminfo: memFree=27894244/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1315396 CPUtime=1541.88 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 270320 0 0 0 154141 47 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 140733597693120 13775064 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 328849 270520 846 2943 0 325743 0
[pid=14393/tid=14394] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1346965504 270520 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.34 2.28 2.21 4/184 14434
/proc/meminfo: memFree=27891632/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1318468 CPUtime=1601.87 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 271088 0 0 0 160139 48 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 140733597693120 5711624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 329617 271288 846 2943 0 326511 0
[pid=14393/tid=14394] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.28 2.28 2.21 3/184 14435
/proc/meminfo: memFree=27891212/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1318468 CPUtime=1661.86 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 271088 0 0 0 166138 48 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 140733597693120 5523307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 329617 271288 846 2943 0 326511 0
[pid=14393/tid=14394] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/184 14484
/proc/meminfo: memFree=29088100/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1318468 CPUtime=1721.85 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 271088 0 0 0 172137 48 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 140733597693120 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 329617 271288 846 2943 0 326511 0
[pid=14393/tid=14394] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.18 2.23 2.19 4/185 14489
/proc/meminfo: memFree=29036956/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1318468 CPUtime=1781.85 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 271088 0 0 0 178136 49 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 140733597693120 5722477 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 329617 271288 846 2943 0 326511 0
[pid=14393/tid=14394] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.22 2.19 3/184 14490
/proc/meminfo: memFree=29001648/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1318468 CPUtime=1800.04 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 271088 0 0 0 179955 49 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 140733597694232 6845883 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 329617 271288 846 2943 0 326511 0
[pid=14393/tid=14394] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.22 2.19 3/184 14490
/proc/meminfo: memFree=29001648/32872528 swapFree=1286400/1433568
[pid=14393] ppid=14390 vsize=1318468 CPUtime=1800.04 cores=1,3,5,7
/proc/14393/stat : 14393 (toysat) R 14390 14393 12983 0 -1 4202496 271088 0 0 0 179955 49 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 140733597694232 6845883 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14393/statm: 329617 271288 846 2943 0 326511 0
[pid=14393/tid=14394] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14394/stat : 14394 (toysat) S 14390 14393 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876402965744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14393/tid=14395] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14395/stat : 14395 (toysat) S 14390 14393 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876392475888 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14393/tid=14396] ppid=14390 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14393/task/14396/stat : 14396 (toysat) S 14390 14393 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23214169 1350111232 271288 33554432000 4194304 16246674 140733597711232 139876280298672 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1318468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.56
CPU system time (s): 0.492925
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.492925
maximum resident set size= 1085152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271088
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= 393
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.50771 second user time and 9.8365 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 03:01:14
IDJOB=4100233
IDBENCH=1590
IDSOLVER=2542
FILE ID=node130/4100233-1466211674
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= f3b3c7fec040599f5daa92cc157157c9
RANDOM SEED=74925583

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29490396 kB
Buffers:           45164 kB
Cached:           110584 kB
SwapCached:         1824 kB
Active:          1165932 kB
Inactive:          74660 kB
Active(anon):    1085812 kB
Inactive(anon):     1544 kB
Active(file):      80120 kB
Inactive(file):    73116 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       2542152 kB
Mapped:            10852 kB
Shmem:                 0 kB
Slab:             572328 kB
SReclaimable:      16096 kB
SUnreclaim:       556232 kB
KernelStack:        1536 kB
PageTables:         9080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2662148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 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= 71712 MiB
End job on node130 at 2016-06-18 03:31:15