Trace number 4079749

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
Number of bits of the biggest sum of numbers13
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-06T22:32:30+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-4079749-1465245150.opb"]
0.00/0.01	c use --random-gen="3751369112 2028908172 2751464938 260536814 4135806749 2015451384 3456224991 2083228532 2748880621 175134524 1946418828 2827539282 2192087997 991958490 2153731286 3381545700 641207482 657176683 399652964 1332058808 581642732 216489162 1791746051 120000970 1011977923 3947674733 1170127835 1470139326 2804548522 752098372 390199179 348512226 1509698017 70043304 3552642320 3029385803 3797363766 1117046335 207586145 463808981 2858833856 1915826764 3672830314 3599339407 991656613 1166414943 2721396675 2262912739 3191534181 1932812712 1663636872 3699473765 3046404448 2982339080 1441385219 1424911851 1658305414 732822802 807340105 1279427048 199324493 726705257 50408560 1047086362 622981719 3169450622 3112072359 2543627581 2513988920 2605639040 4248703858 803785052 1849269690 551094607 320415067 3519187678 2403203002 213959956 937705849 2569981729 975256166 539562442 100411344 1712648616 3944536252 3188139161 1804179423 1443277186 3614074856 15744729 1488718020 3313871984 666014149 2345965901 954575416 2649296858 3550635970 1524260913 3669933770 81930915 2114303796 2058721566 1888612987 1550546367 2186669499 4006680702 3779655078 1112509095 1166319271 3931015597 3698632847 1671854063 389227655 2228649239 3642390443 3038468517 2124753257 3980294397 2671555870 1435728448 3449355294 3508155328 1786004351 1420858823 4260474459 1357947817 1313751130 1893305469 2798740863 3369666333 1421852140 3290089431 2944496482 490701698 4291570233 2908821262 1715885263 3179290289 1766971792 453167308 2945842919 919798888 3214281149 4201063577 1833051750 2048261215 1881207045 3140299476 3520726310 993453138 2925376265 3566300221 1003158887 1463685703 4036428357 1263748017 3729131273 2192787343 3249978109 3471504395 1222253094 3967490511 742285669 2398401490 3334320128 859330333 663367026 3839116192 3199988883 683460257 2484111042 3081989338 4169330030 3760369452 3377169964 798121654 2688559194 2893736169 278599184 3627739781 1834256470 4033387162 4167846865 571930228 227093054 2209567368 4219115692 574474206 2662021781 2039139460 1690879927 1727297642 433125199 2371543780 880080411 1032200709 887331914 1311018792 1036584942 4213891317 4001170611 2300746595 1583854449 1958947982 993763666 4116138190 251283256 2645513150 1918511074 4284419952 2396146116 3258974632 4063409521 1404780350 876734439 3625136512 2405521474 1292671205 3731065978 3447636474 1300787450 370759719 353331582 3135706191 2835696274 3067334721 1533929297 1161698836 394159247 3823587456 725221583 2635281389 1540447825 290092291 970657517 1409493086 3435731029 1980711910 1408067808 3111704488 624248238 1748264892 2506571185 457471532 2996898955 23226211 1640931147 4014554857 4132086100 4123738136 1456350083 684776974 581301910 2573698144 749490879 244195268 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 10
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       43      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       55 |        0 |       43      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.001s
0.00/0.01	c #wall_clock_time = 0.001s
0.00/0.01	c #decision = 55
0.00/0.01	c #random_decision = 0
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	o 1767
0.00/0.01	c BCD2: updating upper bound: 2550 -> 1766
0.00/0.01	c BCD2: 0 <= obj <= 1766
0.00/0.01	c BCD2: #cores=0, #unrelaxed=80, #relaxed=0, #hardened=0
0.00/0.01	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       43      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      202 |      100 |       43      0 |        0 |        0
0.00/0.07	c  0.1s |       2 |      449 |      250 |       48      3 |        0 |        0
0.09/0.12	c  0.1s |       3 |      774 |      475 |       53      7 |        0 |        0
0.18/0.20	c  0.2s |       4 |     1220 |      813 |       59     11 |        0 |        0
0.29/0.31	c  0.3s |       5 |     1834 |     1320 |       65     18 |        0 |        0
0.38/0.48	c  0.5s |       6 |     2696 |     2081 |       80     27 |        0 |        0
0.69/0.75	c  0.7s |       7 |     3946 |     3223 |       88     40 |        0 |        0
1.10/1.15	c  1.1s |       8 |     5774 |     4936 |       97     59 |        0 |        0
1.49/1.53	c  1.5s |       9 |     8456 |     7506 |      107     86 |        0 |        0
2.09/2.12	c  2.1s |      10 |    12428 |    11361 |      118    124 |        0 |        0
2.89/2.98	c  3.0s |      11 |    18375 |    17144 |      130    179 |        0 |        0
4.19/4.28	c  4.3s |      12 |    27207 |    25819 |      143    256 |        0 |        0
6.19/6.27	c  6.3s |      13 |    40428 |    38832 |      158    366 |        0 |        0
8.19/8.28	c  8.3s |      13 |    53726 |    51932 |      158    471 |        0 |        0
9.19/9.25	c  9.2s |      14 |    60204 |    58352 |      174    522 |        0 |        0
11.19/11.26	c 11.2s |      14 |    73609 |    71552 |      174    621 |        0 |        0
13.19/13.26	c 13.2s |      14 |    86696 |    84552 |      174    719 |        0 |        0
13.68/13.75	c 13.7s |      15 |    89812 |    87632 |      192    742 |        0 |        0
15.68/15.76	c 15.7s |      15 |   102891 |   100532 |      192    832 |        0 |        0
17.69/17.77	c 17.8s |      15 |   115959 |   113532 |      192    924 |        0 |        0
19.68/19.77	c 19.8s |      15 |   128769 |   126232 |      192   1014 |        0 |        0
20.48/20.59	c 20.6s |      16 |   134113 |   131552 |      212   1051 |        0 |        0
22.58/22.60	c 22.6s |      16 |   147024 |   144252 |      212   1135 |        0 |        0
24.58/24.62	c 24.6s |      16 |   159919 |   157052 |      212   1220 |        0 |        0
26.58/26.63	c 26.6s |      16 |   173504 |   170552 |      212   1308 |        0 |        0
28.59/28.63	c 28.6s |      16 |   186720 |   183652 |      212   1394 |        0 |        0
30.58/30.64	c 30.6s |      16 |   199483 |   196352 |      234   1478 |        0 |        0
30.79/30.82	c 30.8s |      17 |   200574 |   197432 |      234   1485 |        0 |        0
32.78/32.82	c 32.8s |      17 |   213055 |   209732 |      234   1561 |        0 |        0
34.78/34.83	c 34.8s |      17 |   225832 |   222432 |      234   1640 |        0 |        0
36.78/36.84	c 36.8s |      17 |   238910 |   235432 |      234   1720 |        0 |        0
38.78/38.85	c 38.8s |      17 |   251587 |   248032 |      234   1799 |        0 |        0
40.79/40.86	c 40.8s |      17 |   264289 |   260632 |      234   1876 |        0 |        0
42.78/42.86	c 42.9s |      17 |   277052 |   273332 |      234   1955 |        0 |        0
44.78/44.88	c 44.9s |      17 |   289959 |   286132 |      234   2034 |        0 |        0
46.48/46.50	c 46.5s |      18 |   300156 |   296252 |      258   2095 |        0 |        0
48.48/48.51	c 48.5s |      18 |   313073 |   308952 |      258   2167 |        0 |        0
50.49/50.51	c 50.5s |      18 |   325892 |   321652 |      258   2240 |        0 |        0
52.48/52.52	c 52.5s |      18 |   338607 |   334252 |      258   2312 |        0 |        0
54.48/54.52	c 54.5s |      18 |   351484 |   347052 |      258   2385 |        0 |        0
56.48/56.53	c 56.5s |      18 |   364592 |   360052 |      258   2460 |        0 |        0
58.48/58.54	c 58.5s |      18 |   377169 |   372552 |      258   2532 |        0 |        0
60.49/60.55	c 60.5s |      18 |   389858 |   385152 |      258   2604 |        0 |        0
62.48/62.55	c 62.5s |      18 |   402138 |   397352 |      258   2674 |        0 |        0
64.48/64.56	c 64.5s |      18 |   414734 |   409852 |      258   2746 |        0 |        0
66.48/66.57	c 66.6s |      18 |   427759 |   422752 |      258   2820 |        0 |        0
68.48/68.58	c 68.6s |      18 |   440780 |   435652 |      258   2894 |        0 |        0
69.88/70.00	c 70.0s |      19 |   449683 |   444482 |      284   2943 |        0 |        0
71.98/72.01	c 72.0s |      19 |   462304 |   456882 |      284   3009 |        0 |        0
73.98/74.01	c 74.0s |      19 |   474577 |   469082 |      284   3074 |        0 |        0
75.98/76.02	c 76.0s |      19 |   487057 |   481482 |      284   3140 |        0 |        0
77.98/78.03	c 78.0s |      19 |   499404 |   493782 |      284   3206 |        0 |        0
79.97/80.05	c 80.0s |      19 |   511684 |   505982 |      284   3271 |        0 |        0
81.97/82.06	c 82.0s |      19 |   524349 |   518582 |      284   3338 |        0 |        0
83.97/84.06	c 84.0s |      19 |   536619 |   530782 |      284   3404 |        0 |        0
85.97/86.06	c 86.1s |      19 |   549388 |   543482 |      284   3472 |        0 |        0
87.98/88.07	c 88.1s |      19 |   561863 |   555882 |      284   3538 |        0 |        0
89.97/90.08	c 90.1s |      19 |   574143 |   568082 |      284   3603 |        0 |        0
91.97/92.09	c 92.1s |      19 |   586744 |   580582 |      284   3670 |        0 |        0
94.07/94.10	c 94.1s |      19 |   598814 |   592582 |      284   3734 |        0 |        0
96.07/96.11	c 96.1s |      19 |   611486 |   605182 |      284   3802 |        0 |        0
98.07/98.12	c 98.1s |      19 |   623869 |   617482 |      284   3868 |        0 |        0
100.08/100.13	c  100s |      19 |   636795 |   630282 |      284   3937 |        0 |        0
102.08/102.14	c  102s |      19 |   649998 |   643382 |      284   4006 |        0 |        0
104.08/104.15	c  104s |      19 |   662771 |   656082 |      284   4074 |        0 |        0
105.78/105.86	c  105s |      20 |   673609 |   666827 |      313   4129 |        0 |        0
107.78/107.86	c  107s |      20 |   686195 |   679227 |      313   4190 |        0 |        0
109.78/109.86	c  109s |      20 |   698671 |   691627 |      313   4251 |        0 |        0
111.78/111.88	c  111s |      20 |   710834 |   703727 |      313   4311 |        0 |        0
113.78/113.89	c  113s |      20 |   723020 |   715827 |      313   4371 |        0 |        0
115.88/115.90	c  115s |      20 |   735707 |   728427 |      313   4433 |        0 |        0
117.88/117.91	c  117s |      20 |   748121 |   740727 |      313   4494 |        0 |        0
119.88/119.92	c  119s |      20 |   760289 |   752827 |      313   4555 |        0 |        0
121.87/121.94	c  121s |      20 |   772601 |   765027 |      313   4615 |        0 |        0
123.87/123.95	c  123s |      20 |   784563 |   776927 |      313   4675 |        0 |        0
125.87/125.97	c  125s |      20 |   796443 |   788727 |      313   4734 |        0 |        0
127.87/127.98	c  127s |      20 |   808681 |   800927 |      313   4794 |        0 |        0
129.88/129.99	c  129s |      20 |   821074 |   813227 |      313   4855 |        0 |        0
131.87/131.99	c  131s |      20 |   833264 |   825327 |      313   4915 |        0 |        0
133.97/134.00	c  133s |      20 |   845204 |   837227 |      313   4974 |        0 |        0
135.97/136.00	c  135s |      20 |   857362 |   849327 |      313   5035 |        0 |        0
137.97/138.02	c  138s |      20 |   870442 |   862327 |      313   5099 |        0 |        0
139.97/140.03	c  140s |      20 |   882932 |   874727 |      313   5160 |        0 |        0
141.97/142.03	c  142s |      20 |   895117 |   886827 |      313   5220 |        0 |        0
143.97/144.04	c  144s |      20 |   907375 |   899027 |      313   5280 |        0 |        0
145.96/146.05	c  146s |      20 |   919527 |   911127 |      313   5341 |        0 |        0
147.96/148.05	c  148s |      20 |   931803 |   923327 |      313   5402 |        0 |        0
149.96/150.05	c  150s |      20 |   944082 |   935527 |      313   5463 |        0 |        0
151.96/152.06	c  152s |      20 |   956361 |   947727 |      313   5523 |        0 |        0
153.97/154.07	c  154s |      20 |   968647 |   959927 |      313   5584 |        0 |        0
155.96/156.08	c  156s |      20 |   980731 |   971927 |      313   5644 |        0 |        0
157.96/158.08	c  158s |      20 |   992304 |   983427 |      313   5702 |        0 |        0
159.96/160.09	c  160s |      20 |  1004385 |   995427 |      345   5760 |        0 |        0
160.86/160.94	c  160s |      21 |  1009327 |  1000345 |      345   5783 |        0 |        0
162.87/162.95	c  162s |      21 |  1021395 |  1012245 |      345   5838 |        0 |        0
164.86/164.96	c  164s |      21 |  1033365 |  1024145 |      345   5892 |        0 |        0
166.86/166.97	c  166s |      21 |  1045744 |  1036445 |      345   5949 |        0 |        0
168.86/168.97	c  168s |      21 |  1057510 |  1048145 |      345   6002 |        0 |        0
170.86/170.98	c  170s |      21 |  1069481 |  1060045 |      345   6057 |        0 |        0
172.86/172.99	c  172s |      21 |  1081336 |  1071845 |      345   6111 |        0 |        0
174.86/174.99	c  174s |      21 |  1093278 |  1083745 |      345   6166 |        0 |        0
176.97/177.00	c  176s |      21 |  1105145 |  1095545 |      345   6221 |        0 |        0
178.97/179.01	c  178s |      21 |  1116907 |  1107245 |      345   6275 |        0 |        0
180.97/181.02	c  181s |      21 |  1129692 |  1119945 |      345   6333 |        0 |        0
182.97/183.02	c  183s |      21 |  1142069 |  1132245 |      345   6389 |        0 |        0
184.96/185.03	c  185s |      21 |  1154478 |  1144545 |      345   6445 |        0 |        0
186.97/187.03	c  187s |      21 |  1166451 |  1156445 |      345   6500 |        0 |        0
188.96/189.04	c  189s |      21 |  1178337 |  1168245 |      345   6554 |        0 |        0
190.96/191.04	c  191s |      21 |  1189995 |  1179845 |      345   6608 |        0 |        0
192.96/193.05	c  193s |      21 |  1202068 |  1191845 |      345   6663 |        0 |        0
194.96/195.05	c  195s |      21 |  1213768 |  1203445 |      345   6717 |        0 |        0
196.97/197.05	c  197s |      21 |  1225646 |  1215245 |      345   6771 |        0 |        0
198.96/199.07	c  199s |      21 |  1237622 |  1227145 |      345   6826 |        0 |        0
200.96/201.07	c  201s |      21 |  1249509 |  1238945 |      345   6880 |        0 |        0
202.96/203.08	c  203s |      21 |  1261637 |  1250945 |      345   6935 |        0 |        0
204.96/205.09	c  205s |      21 |  1273513 |  1262745 |      345   6990 |        0 |        0
206.96/207.09	c  207s |      21 |  1285622 |  1274745 |      345   7045 |        0 |        0
209.07/209.11	c  209s |      21 |  1297900 |  1286945 |      345   7102 |        0 |        0
211.06/211.12	c  211s |      21 |  1309795 |  1298745 |      345   7156 |        0 |        0
213.06/213.14	c  213s |      21 |  1321567 |  1310445 |      345   7211 |        0 |        0
215.06/215.14	c  215s |      21 |  1333454 |  1322245 |      345   7265 |        0 |        0
217.06/217.16	c  217s |      21 |  1345033 |  1333745 |      345   7319 |        0 |        0
219.05/219.17	c  219s |      21 |  1357613 |  1346245 |      345   7376 |        0 |        0
221.06/221.17	c  221s |      21 |  1369656 |  1358145 |      345   7430 |        0 |        0
223.05/223.17	c  223s |      21 |  1381518 |  1369945 |      345   7484 |        0 |        0
225.05/225.18	c  225s |      21 |  1393390 |  1381745 |      345   7539 |        0 |        0
227.05/227.19	c  227s |      21 |  1405359 |  1393645 |      345   7594 |        0 |        0
229.15/229.20	c  229s |      21 |  1417208 |  1405445 |      345   7648 |        0 |        0
231.15/231.20	c  231s |      21 |  1429075 |  1417245 |      345   7703 |        0 |        0
233.16/233.21	c  233s |      21 |  1441489 |  1429545 |      345   7759 |        0 |        0
235.16/235.22	c  235s |      21 |  1454004 |  1441945 |      345   7816 |        0 |        0
237.16/237.23	c  237s |      21 |  1466019 |  1453845 |      345   7871 |        0 |        0
239.16/239.24	c  239s |      21 |  1477787 |  1465545 |      345   7926 |        0 |        0
241.16/241.25	c  241s |      21 |  1489691 |  1477345 |      345   7980 |        0 |        0
243.16/243.25	c  243s |      21 |  1501458 |  1489045 |      345   8034 |        0 |        0
245.15/245.23	c  245s |      22 |  1513094 |  1500622 |      380   8084 |        0 |        0
247.15/247.25	c  247s |      22 |  1525795 |  1513122 |      380   8136 |        0 |        0
249.15/249.25	c  249s |      22 |  1537997 |  1525222 |      380   8187 |        0 |        0
251.15/251.26	c  251s |      22 |  1550110 |  1537222 |      380   8238 |        0 |        0
253.15/253.27	c  253s |      22 |  1561911 |  1548922 |      380   8288 |        0 |        0
255.16/255.28	c  255s |      22 |  1573780 |  1560722 |      380   8338 |        0 |        0
257.15/257.29	c  257s |      22 |  1585528 |  1572322 |      380   8387 |        0 |        0
259.25/259.30	c  259s |      22 |  1597233 |  1583922 |      380   8437 |        0 |        0
261.25/261.30	c  261s |      22 |  1608928 |  1595522 |      380   8486 |        0 |        0
263.25/263.31	c  263s |      22 |  1620893 |  1607422 |      380   8536 |        0 |        0
265.25/265.31	c  265s |      22 |  1632661 |  1619122 |      380   8586 |        0 |        0
267.25/267.32	c  267s |      22 |  1644233 |  1630622 |      380   8635 |        0 |        0
269.25/269.33	c  269s |      22 |  1656343 |  1642622 |      380   8686 |        0 |        0
271.25/271.33	c  271s |      22 |  1668140 |  1654322 |      380   8736 |        0 |        0
273.25/273.34	c  273s |      22 |  1679971 |  1666022 |      380   8786 |        0 |        0
275.25/275.35	c  275s |      22 |  1691663 |  1677622 |      380   8835 |        0 |        0
277.25/277.37	c  277s |      22 |  1703712 |  1689522 |      380   8886 |        0 |        0
279.24/279.37	c  279s |      22 |  1715542 |  1701222 |      380   8936 |        0 |        0
281.24/281.38	c  281s |      22 |  1727539 |  1713122 |      380   8987 |        0 |        0
283.24/283.39	c  283s |      22 |  1739132 |  1724622 |      380   9036 |        0 |        0
285.34/285.40	c  285s |      22 |  1750606 |  1736022 |      380   9084 |        0 |        0
287.34/287.40	c  287s |      22 |  1762000 |  1747322 |      380   9132 |        0 |        0
289.35/289.41	c  289s |      22 |  1773485 |  1758722 |      380   9181 |        0 |        0
291.35/291.42	c  291s |      22 |  1785382 |  1770522 |      380   9232 |        0 |        0
293.35/293.42	c  293s |      22 |  1797142 |  1782222 |      380   9282 |        0 |        0
295.35/295.43	c  295s |      22 |  1808790 |  1793822 |      380   9332 |        0 |        0
297.35/297.45	c  297s |      22 |  1820802 |  1805722 |      380   9383 |        0 |        0
299.35/299.45	c  299s |      22 |  1832480 |  1817322 |      380   9432 |        0 |        0
301.35/301.46	c  301s |      22 |  1843947 |  1828722 |      380   9481 |        0 |        0
303.35/303.47	c  303s |      22 |  1855291 |  1840022 |      380   9530 |        0 |        0
305.35/305.48	c  305s |      22 |  1866864 |  1851522 |      380   9579 |        0 |        0
307.35/307.48	c  307s |      22 |  1878328 |  1862922 |      380   9629 |        0 |        0
309.35/309.49	c  309s |      22 |  1890627 |  1875122 |      380   9681 |        0 |        0
311.44/311.50	c  311s |      22 |  1903119 |  1887522 |      380   9733 |        0 |        0
313.45/313.51	c  313s |      22 |  1915404 |  1899722 |      380   9784 |        0 |        0
315.44/315.52	c  315s |      22 |  1927590 |  1911822 |      380   9836 |        0 |        0
317.44/317.54	c  317s |      22 |  1939771 |  1923922 |      380   9887 |        0 |        0
319.44/319.55	c  319s |      22 |  1951886 |  1935922 |      380   9937 |        0 |        0
321.44/321.56	c  321s |      22 |  1963872 |  1947822 |      380   9988 |        0 |        0
323.45/323.57	c  323s |      22 |  1976157 |  1960022 |      380  10040 |        0 |        0
325.44/325.57	c  325s |      22 |  1988038 |  1971822 |      380  10089 |        0 |        0
327.44/327.59	c  327s |      22 |  1999914 |  1983622 |      380  10140 |        0 |        0
329.44/329.59	c  329s |      22 |  2011596 |  1995222 |      380  10189 |        0 |        0
331.44/331.59	c  331s |      22 |  2023295 |  2006822 |      380  10238 |        0 |        0
333.54/333.61	c  333s |      22 |  2035290 |  2018722 |      380  10289 |        0 |        0
335.55/335.61	c  335s |      22 |  2047180 |  2030522 |      380  10339 |        0 |        0
337.54/337.62	c  337s |      22 |  2059185 |  2042422 |      380  10390 |        0 |        0
339.54/339.63	c  339s |      22 |  2071220 |  2054322 |      380  10440 |        0 |        0
341.53/341.63	c  341s |      22 |  2083053 |  2066022 |      380  10490 |        0 |        0
343.53/343.64	c  343s |      22 |  2094974 |  2077822 |      380  10541 |        0 |        0
345.53/345.66	c  345s |      22 |  2106868 |  2089622 |      380  10591 |        0 |        0
347.54/347.67	c  347s |      22 |  2119090 |  2101722 |      380  10642 |        0 |        0
349.53/349.68	c  349s |      22 |  2131001 |  2113522 |      380  10693 |        0 |        0
351.53/351.69	c  351s |      22 |  2142907 |  2125322 |      380  10743 |        0 |        0
353.53/353.69	c  353s |      22 |  2155133 |  2137422 |      380  10794 |        0 |        0
355.64/355.71	c  355s |      22 |  2166971 |  2149122 |      380  10844 |        0 |        0
357.64/357.71	c  357s |      22 |  2178529 |  2160622 |      380  10893 |        0 |        0
359.64/359.72	c  359s |      22 |  2190003 |  2172022 |      380  10942 |        0 |        0
361.64/361.72	c  361s |      22 |  2201486 |  2183422 |      380  10991 |        0 |        0
363.63/363.74	c  363s |      22 |  2212945 |  2194822 |      380  11040 |        0 |        0
365.63/365.75	c  365s |      22 |  2224430 |  2206222 |      380  11088 |        0 |        0
367.63/367.77	c  367s |      22 |  2236197 |  2217922 |      380  11138 |        0 |        0
369.64/369.77	c  369s |      22 |  2247564 |  2229222 |      380  11187 |        0 |        0
371.63/371.78	c  371s |      22 |  2258834 |  2240422 |      419  11233 |        0 |        0
373.53/373.67	c  373s |      23 |  2269509 |  2251038 |      419  11275 |        0 |        0
375.53/375.69	c  375s |      23 |  2281101 |  2262438 |      419  11319 |        0 |        0
377.63/377.70	c  377s |      23 |  2292573 |  2273838 |      419  11364 |        0 |        0
379.63/379.72	c  379s |      23 |  2304199 |  2285338 |      419  11409 |        0 |        0
381.64/381.72	c  381s |      23 |  2316297 |  2297338 |      419  11456 |        0 |        0
383.63/383.73	c  383s |      23 |  2327866 |  2308838 |      419  11502 |        0 |        0
385.63/385.73	c  385s |      23 |  2339223 |  2320138 |      419  11546 |        0 |        0
387.63/387.74	c  387s |      23 |  2350713 |  2331538 |      419  11591 |        0 |        0
389.63/389.75	c  389s |      23 |  2362077 |  2342838 |      419  11636 |        0 |        0
391.63/391.75	c  391s |      23 |  2373323 |  2354038 |      419  11680 |        0 |        0
393.63/393.76	c  393s |      23 |  2384699 |  2365338 |      419  11724 |        0 |        0
395.62/395.77	c  395s |      23 |  2396183 |  2376738 |      419  11769 |        0 |        0
397.62/397.79	c  397s |      23 |  2407707 |  2388138 |      419  11815 |        0 |        0
399.62/399.79	c  399s |      23 |  2419103 |  2399438 |      419  11859 |        0 |        0
401.72/401.80	c  401s |      23 |  2430384 |  2410638 |      419  11903 |        0 |        0
403.74/403.81	c  403s |      23 |  2441463 |  2421638 |      419  11947 |        0 |        0
405.73/405.81	c  405s |      23 |  2452638 |  2432738 |      419  11991 |        0 |        0
407.73/407.82	c  407s |      23 |  2464447 |  2444438 |      419  12037 |        0 |        0
409.73/409.82	c  409s |      23 |  2476012 |  2455938 |      419  12083 |        0 |        0
411.73/411.83	c  411s |      23 |  2487585 |  2467438 |      419  12128 |        0 |        0
413.73/413.84	c  413s |      23 |  2499080 |  2478838 |      419  12173 |        0 |        0
415.73/415.85	c  415s |      23 |  2510251 |  2489938 |      419  12217 |        0 |        0
417.73/417.86	c  417s |      23 |  2521324 |  2500938 |      419  12261 |        0 |        0
419.73/419.87	c  419s |      23 |  2532376 |  2511938 |      419  12304 |        0 |        0
421.72/421.88	c  421s |      23 |  2543522 |  2523038 |      419  12349 |        0 |        0
423.72/423.89	c  423s |      23 |  2554905 |  2534338 |      419  12393 |        0 |        0
425.73/425.89	c  425s |      23 |  2566190 |  2545538 |      419  12437 |        0 |        0
427.72/427.89	c  427s |      23 |  2577255 |  2556538 |      419  12481 |        0 |        0
429.72/429.89	c  429s |      23 |  2588704 |  2567938 |      419  12526 |        0 |        0
431.82/431.91	c  431s |      23 |  2599851 |  2579038 |      419  12570 |        0 |        0
433.82/433.92	c  433s |      23 |  2611128 |  2590238 |      419  12614 |        0 |        0
435.82/435.92	c  435s |      23 |  2622630 |  2601638 |      419  12659 |        0 |        0
437.83/437.93	c  437s |      23 |  2633981 |  2612938 |      419  12703 |        0 |        0
439.82/439.93	c  439s |      23 |  2645353 |  2624238 |      419  12748 |        0 |        0
441.82/441.94	c  441s |      23 |  2657161 |  2635938 |      419  12794 |        0 |        0
443.83/443.94	c  443s |      23 |  2668749 |  2647438 |      419  12840 |        0 |        0
445.83/445.95	c  445s |      23 |  2680251 |  2658838 |      419  12885 |        0 |        0
447.82/447.95	c  447s |      23 |  2691426 |  2669938 |      419  12929 |        0 |        0
449.83/449.96	c  449s |      23 |  2702740 |  2681138 |      419  12973 |        0 |        0
451.82/451.96	c  451s |      23 |  2713904 |  2692238 |      419  13017 |        0 |        0
453.82/453.97	c  453s |      23 |  2725318 |  2703538 |      419  13062 |        0 |        0
455.82/455.98	c  455s |      23 |  2737233 |  2715338 |      419  13109 |        0 |        0
457.82/457.98	c  457s |      23 |  2748869 |  2726838 |      419  13154 |        0 |        0
459.83/459.99	c  459s |      23 |  2760670 |  2738538 |      419  13200 |        0 |        0
461.82/461.99	c  461s |      23 |  2772155 |  2749938 |      419  13245 |        0 |        0
463.92/464.00	c  463s |      23 |  2783537 |  2761238 |      419  13290 |        0 |        0
465.92/466.01	c  466s |      23 |  2795066 |  2772638 |      419  13335 |        0 |        0
467.92/468.02	c  468s |      23 |  2806025 |  2783538 |      419  13378 |        0 |        0
469.92/470.03	c  470s |      23 |  2817099 |  2794538 |      419  13422 |        0 |        0
471.93/472.05	c  472s |      23 |  2828690 |  2806038 |      419  13468 |        0 |        0
473.92/474.06	c  474s |      23 |  2840072 |  2817338 |      419  13512 |        0 |        0
475.92/476.06	c  476s |      23 |  2851348 |  2828538 |      419  13557 |        0 |        0
477.92/478.08	c  478s |      23 |  2862501 |  2839638 |      419  13601 |        0 |        0
479.92/480.09	c  480s |      23 |  2873851 |  2850938 |      419  13646 |        0 |        0
482.02/482.11	c  482s |      23 |  2885026 |  2862038 |      419  13690 |        0 |        0
484.02/484.12	c  484s |      23 |  2895792 |  2872738 |      419  13732 |        0 |        0
486.02/486.13	c  486s |      23 |  2907294 |  2884138 |      419  13778 |        0 |        0
488.02/488.14	c  488s |      23 |  2918703 |  2895438 |      419  13822 |        0 |        0
490.01/490.15	c  490s |      23 |  2929980 |  2906638 |      419  13867 |        0 |        0
492.01/492.16	c  492s |      23 |  2941240 |  2917838 |      419  13912 |        0 |        0
494.01/494.17	c  494s |      23 |  2952411 |  2928938 |      419  13956 |        0 |        0
496.02/496.18	c  496s |      23 |  2963709 |  2940138 |      419  14000 |        0 |        0
498.11/498.20	c  498s |      23 |  2974684 |  2951038 |      419  14044 |        0 |        0
500.11/500.21	c  500s |      23 |  2985775 |  2962038 |      419  14088 |        0 |        0
502.11/502.21	c  502s |      23 |  2996994 |  2973138 |      419  14132 |        0 |        0
504.11/504.21	c  504s |      23 |  3008089 |  2984138 |      419  14176 |        0 |        0
506.11/506.23	c  506s |      23 |  3019611 |  2995538 |      419  14221 |        0 |        0
508.12/508.23	c  508s |      23 |  3031252 |  3007038 |      419  14266 |        0 |        0
510.11/510.25	c  510s |      23 |  3042765 |  3018438 |      419  14311 |        0 |        0
512.11/512.26	c  512s |      23 |  3054277 |  3029838 |      419  14355 |        0 |        0
514.11/514.26	c  514s |      23 |  3065789 |  3041238 |      419  14401 |        0 |        0
516.11/516.26	c  516s |      23 |  3078100 |  3053438 |      419  14448 |        0 |        0
518.11/518.26	c  518s |      23 |  3089945 |  3065138 |      419  14494 |        0 |        0
520.11/520.27	c  520s |      23 |  3101458 |  3076538 |      419  14539 |        0 |        0
522.11/522.27	c  522s |      23 |  3112882 |  3087838 |      419  14584 |        0 |        0
524.11/524.28	c  524s |      23 |  3124193 |  3099038 |      419  14628 |        0 |        0
526.11/526.29	c  526s |      23 |  3135680 |  3110438 |      419  14673 |        0 |        0
528.20/528.31	c  528s |      23 |  3147027 |  3121738 |      419  14717 |        0 |        0
530.21/530.33	c  530s |      23 |  3158077 |  3132738 |      419  14761 |        0 |        0
532.20/532.34	c  532s |      23 |  3169148 |  3143738 |      419  14804 |        0 |        0
534.20/534.34	c  534s |      23 |  3180198 |  3154738 |      419  14848 |        0 |        0
536.20/536.36	c  536s |      23 |  3191699 |  3166138 |      419  14893 |        0 |        0
538.20/538.37	c  538s |      23 |  3202887 |  3177238 |      419  14937 |        0 |        0
540.20/540.38	c  540s |      23 |  3214205 |  3188438 |      419  14981 |        0 |        0
542.21/542.40	c  542s |      23 |  3225478 |  3199638 |      419  15025 |        0 |        0
544.30/544.41	c  544s |      23 |  3236966 |  3211038 |      419  15071 |        0 |        0
546.30/546.42	c  546s |      23 |  3248115 |  3222138 |      419  15115 |        0 |        0
548.30/548.42	c  548s |      23 |  3259105 |  3233038 |      419  15158 |        0 |        0
550.30/550.43	c  550s |      23 |  3269975 |  3243838 |      419  15201 |        0 |        0
552.31/552.43	c  552s |      23 |  3281126 |  3254938 |      419  15244 |        0 |        0
554.32/554.44	c  554s |      23 |  3292611 |  3266338 |      419  15289 |        0 |        0
556.31/556.45	c  556s |      23 |  3304198 |  3277838 |      419  15335 |        0 |        0
558.31/558.46	c  558s |      23 |  3315479 |  3289038 |      419  15379 |        0 |        0
560.30/560.47	c  560s |      23 |  3326536 |  3300038 |      419  15422 |        0 |        0
562.30/562.48	c  562s |      23 |  3337712 |  3311138 |      419  15466 |        0 |        0
564.31/564.48	c  564s |      23 |  3349436 |  3322738 |      419  15512 |        0 |        0
566.30/566.50	c  566s |      23 |  3360703 |  3333938 |      419  15556 |        0 |        0
568.40/568.51	c  568s |      23 |  3371766 |  3344938 |      419  15599 |        0 |        0
570.40/570.53	c  570s |      23 |  3383082 |  3356138 |      461  15642 |        0 |        0
572.40/572.53	c  572s |      23 |  3394162 |  3367138 |      461  15683 |        0 |        0
574.11/574.24	c  574s |      24 |  3403803 |  3376662 |      461  15718 |        0 |        0
576.10/576.24	c  576s |      24 |  3415114 |  3387762 |      461  15758 |        0 |        0
578.10/578.26	c  578s |      24 |  3426313 |  3398862 |      461  15798 |        0 |        0
580.10/580.26	c  580s |      24 |  3437782 |  3410162 |      461  15839 |        0 |        0
582.10/582.27	c  582s |      24 |  3448985 |  3421262 |      461  15880 |        0 |        0
584.10/584.28	c  584s |      24 |  3460316 |  3432462 |      461  15920 |        0 |        0
586.10/586.28	c  586s |      24 |  3471612 |  3443662 |      461  15961 |        0 |        0
588.09/588.29	c  588s |      24 |  3483515 |  3455462 |      461  16004 |        0 |        0
590.09/590.29	c  590s |      24 |  3495017 |  3466862 |      461  16045 |        0 |        0
592.19/592.31	c  592s |      24 |  3506510 |  3478262 |      461  16087 |        0 |        0
594.19/594.32	c  594s |      24 |  3517810 |  3489462 |      461  16127 |        0 |        0
596.20/596.32	c  596s |      24 |  3528986 |  3500562 |      461  16168 |        0 |        0
598.19/598.32	c  598s |      24 |  3540069 |  3511562 |      461  16208 |        0 |        0
600.19/600.33	c  600s |      24 |  3551230 |  3522662 |      461  16248 |        0 |        0
602.19/602.35	c  602s |      24 |  3562287 |  3533662 |      461  16288 |        0 |        0
604.19/604.36	c  604s |      24 |  3573342 |  3544662 |      461  16329 |        0 |        0
606.19/606.37	c  606s |      24 |  3584110 |  3555362 |      461  16368 |        0 |        0
608.20/608.38	c  608s |      24 |  3594773 |  3565962 |      461  16406 |        0 |        0
610.29/610.40	c  610s |      24 |  3606028 |  3577162 |      461  16447 |        0 |        0
612.29/612.40	c  612s |      24 |  3617081 |  3588162 |      461  16487 |        0 |        0
614.30/614.41	c  614s |      24 |  3628136 |  3599162 |      461  16527 |        0 |        0
616.30/616.43	c  616s |      24 |  3639397 |  3610362 |      461  16567 |        0 |        0
618.30/618.43	c  618s |      24 |  3650455 |  3621362 |      461  16607 |        0 |        0
620.30/620.45	c  620s |      24 |  3661857 |  3632662 |      461  16648 |        0 |        0
622.30/622.45	c  622s |      24 |  3673108 |  3643862 |      461  16689 |        0 |        0
624.30/624.47	c  624s |      24 |  3684170 |  3654862 |      461  16730 |        0 |        0
626.29/626.47	c  626s |      24 |  3695142 |  3665762 |      461  16769 |        0 |        0
628.29/628.48	c  628s |      24 |  3705899 |  3676462 |      461  16808 |        0 |        0
630.30/630.49	c  630s |      24 |  3717370 |  3687862 |      461  16850 |        0 |        0
632.29/632.50	c  632s |      24 |  3728733 |  3699162 |      461  16891 |        0 |        0
634.39/634.50	c  634s |      24 |  3739905 |  3710262 |      461  16931 |        0 |        0
636.39/636.51	c  636s |      24 |  3751625 |  3721862 |      461  16973 |        0 |        0
638.39/638.52	c  638s |      24 |  3762766 |  3732962 |      461  17014 |        0 |        0
640.39/640.54	c  640s |      24 |  3773841 |  3743962 |      461  17054 |        0 |        0
642.40/642.54	c  642s |      24 |  3784693 |  3754762 |      461  17093 |        0 |        0
644.39/644.55	c  644s |      24 |  3795990 |  3765962 |      461  17134 |        0 |        0
646.39/646.57	c  646s |      24 |  3807052 |  3776962 |      461  17174 |        0 |        0
648.39/648.57	c  648s |      24 |  3817945 |  3787762 |      461  17214 |        0 |        0
650.39/650.58	c  650s |      24 |  3829013 |  3798762 |      461  17254 |        0 |        0
652.39/652.59	c  652s |      24 |  3840199 |  3809862 |      461  17294 |        0 |        0
654.50/654.61	c  654s |      24 |  3851303 |  3820862 |      461  17335 |        0 |        0
656.49/656.62	c  656s |      24 |  3862369 |  3831862 |      461  17375 |        0 |        0
658.49/658.62	c  658s |      24 |  3873648 |  3843062 |      461  17416 |        0 |        0
660.49/660.64	c  660s |      24 |  3884915 |  3854262 |      461  17457 |        0 |        0
662.49/662.66	c  662s |      24 |  3895901 |  3865162 |      461  17497 |        0 |        0
664.49/664.67	c  664s |      24 |  3906896 |  3876062 |      461  17537 |        0 |        0
666.49/666.69	c  666s |      24 |  3917576 |  3886662 |      461  17575 |        0 |        0
668.49/668.70	c  668s |      24 |  3928247 |  3897262 |      461  17614 |        0 |        0
670.59/670.70	c  670s |      24 |  3939756 |  3908662 |      461  17656 |        0 |        0
672.58/672.71	c  672s |      24 |  3951542 |  3920362 |      461  17698 |        0 |        0
674.58/674.72	c  674s |      24 |  3963249 |  3931962 |      461  17740 |        0 |        0
676.58/676.72	c  676s |      24 |  3974920 |  3943562 |      461  17782 |        0 |        0
678.59/678.74	c  678s |      24 |  3986901 |  3955462 |      461  17825 |        0 |        0
680.58/680.75	c  680s |      24 |  3998479 |  3966962 |      461  17867 |        0 |        0
682.58/682.76	c  682s |      24 |  4009847 |  3978262 |      461  17908 |        0 |        0
684.58/684.77	c  684s |      24 |  4021134 |  3989462 |      461  17949 |        0 |        0
686.58/686.78	c  686s |      24 |  4032627 |  4000862 |      461  17990 |        0 |        0
688.68/688.80	c  688s |      24 |  4044039 |  4012162 |      461  18031 |        0 |        0
690.69/690.80	c  690s |      24 |  4055325 |  4023362 |      461  18072 |        0 |        0
692.68/692.81	c  692s |      24 |  4066900 |  4034862 |      461  18114 |        0 |        0
694.68/694.82	c  694s |      24 |  4078478 |  4046362 |      461  18156 |        0 |        0
696.68/696.83	c  696s |      24 |  4089846 |  4057662 |      461  18197 |        0 |        0
698.68/698.85	c  698s |      24 |  4101131 |  4068862 |      461  18238 |        0 |        0
700.69/700.85	c  700s |      24 |  4112228 |  4079862 |      461  18278 |        0 |        0
702.68/702.86	c  702s |      24 |  4123210 |  4090762 |      461  18317 |        0 |        0
704.68/704.87	c  704s |      24 |  4134303 |  4101762 |      461  18357 |        0 |        0
706.68/706.87	c  706s |      24 |  4145298 |  4112662 |      461  18397 |        0 |        0
708.68/708.89	c  708s |      24 |  4156473 |  4123762 |      461  18438 |        0 |        0
710.68/710.89	c  710s |      24 |  4167476 |  4134662 |      461  18478 |        0 |        0
712.68/712.90	c  712s |      24 |  4178984 |  4146062 |      461  18519 |        0 |        0
714.77/714.90	c  714s |      24 |  4190091 |  4157062 |      461  18560 |        0 |        0
716.77/716.91	c  716s |      24 |  4201618 |  4168462 |      461  18601 |        0 |        0
718.77/718.91	c  718s |      24 |  4212709 |  4179462 |      461  18641 |        0 |        0
720.77/720.92	c  720s |      24 |  4223887 |  4190562 |      461  18682 |        0 |        0
722.78/722.93	c  722s |      24 |  4234897 |  4201462 |      461  18722 |        0 |        0
724.78/724.95	c  724s |      24 |  4246093 |  4212562 |      461  18762 |        0 |        0
726.77/726.95	c  726s |      24 |  4257186 |  4223562 |      461  18802 |        0 |        0
728.77/728.96	c  728s |      24 |  4268162 |  4234462 |      461  18842 |        0 |        0
730.77/730.97	c  730s |      24 |  4279242 |  4245462 |      461  18883 |        0 |        0
732.77/732.98	c  732s |      24 |  4290235 |  4256362 |      461  18923 |        0 |        0
734.78/735.00	c  734s |      24 |  4301185 |  4267262 |      461  18963 |        0 |        0
736.77/737.00	c  736s |      24 |  4312176 |  4278162 |      461  19002 |        0 |        0
738.87/739.01	c  739s |      24 |  4323043 |  4288962 |      461  19042 |        0 |        0
740.87/741.03	c  741s |      24 |  4333923 |  4299762 |      461  19081 |        0 |        0
742.87/743.04	c  743s |      24 |  4344896 |  4310662 |      461  19122 |        0 |        0
744.86/745.04	c  745s |      24 |  4356609 |  4322262 |      461  19164 |        0 |        0
746.87/747.05	c  747s |      24 |  4367805 |  4333362 |      461  19204 |        0 |        0
748.86/749.06	c  749s |      24 |  4378574 |  4344062 |      461  19243 |        0 |        0
750.86/751.06	c  751s |      24 |  4389351 |  4354762 |      461  19283 |        0 |        0
752.86/753.08	c  753s |      24 |  4400239 |  4365562 |      461  19322 |        0 |        0
754.85/755.09	c  755s |      24 |  4410985 |  4376262 |      461  19361 |        0 |        0
756.95/757.10	c  757s |      24 |  4421647 |  4386862 |      461  19400 |        0 |        0
758.96/759.11	c  759s |      24 |  4432293 |  4397462 |      461  19439 |        0 |        0
760.95/761.13	c  761s |      24 |  4443160 |  4408262 |      461  19479 |        0 |        0
762.95/763.14	c  763s |      24 |  4454026 |  4419062 |      461  19519 |        0 |        0
764.95/765.15	c  765s |      24 |  4464769 |  4429762 |      461  19558 |        0 |        0
766.95/767.16	c  767s |      24 |  4475538 |  4440462 |      461  19597 |        0 |        0
768.95/769.17	c  769s |      24 |  4487033 |  4451862 |      461  19639 |        0 |        0
770.95/771.18	c  771s |      24 |  4499210 |  4463962 |      461  19683 |        0 |        0
772.95/773.19	c  773s |      24 |  4511086 |  4475762 |      461  19725 |        0 |        0
774.94/775.19	c  775s |      24 |  4522795 |  4487362 |      461  19767 |        0 |        0
776.94/777.19	c  777s |      24 |  4534689 |  4499162 |      461  19810 |        0 |        0
779.04/779.20	c  779s |      24 |  4546472 |  4510862 |      461  19852 |        0 |        0
781.04/781.20	c  781s |      24 |  4558255 |  4522562 |      461  19894 |        0 |        0
783.05/783.21	c  783s |      24 |  4569821 |  4534062 |      461  19936 |        0 |        0
785.04/785.22	c  785s |      24 |  4581814 |  4545962 |      461  19979 |        0 |        0
787.04/787.24	c  787s |      24 |  4593900 |  4557962 |      461  20022 |        0 |        0
789.04/789.24	c  789s |      24 |  4605607 |  4569562 |      461  20064 |        0 |        0
791.04/791.25	c  791s |      24 |  4617266 |  4581162 |      461  20106 |        0 |        0
793.05/793.25	c  793s |      24 |  4628826 |  4592662 |      461  20148 |        0 |        0
795.04/795.26	c  795s |      24 |  4640284 |  4604062 |      461  20189 |        0 |        0
797.04/797.27	c  797s |      24 |  4651650 |  4615362 |      461  20231 |        0 |        0
799.04/799.28	c  799s |      24 |  4663029 |  4626662 |      461  20272 |        0 |        0
801.04/801.28	c  801s |      24 |  4674618 |  4638162 |      461  20313 |        0 |        0
803.04/803.28	c  803s |      24 |  4686314 |  4649762 |      461  20355 |        0 |        0
805.04/805.30	c  805s |      24 |  4698093 |  4661462 |      461  20398 |        0 |        0
807.14/807.30	c  807s |      24 |  4709752 |  4673062 |      461  20440 |        0 |        0
809.14/809.31	c  809s |      24 |  4721235 |  4684462 |      461  20481 |        0 |        0
811.13/811.31	c  811s |      24 |  4732607 |  4695762 |      461  20522 |        0 |        0
813.13/813.31	c  813s |      24 |  4744185 |  4707262 |      461  20564 |        0 |        0
815.13/815.32	c  815s |      24 |  4755751 |  4718762 |      461  20606 |        0 |        0
817.14/817.33	c  817s |      24 |  4767018 |  4729962 |      461  20647 |        0 |        0
819.13/819.35	c  819s |      24 |  4778630 |  4741462 |      461  20688 |        0 |        0
821.13/821.36	c  821s |      24 |  4790230 |  4752962 |      461  20730 |        0 |        0
823.13/823.36	c  823s |      24 |  4801631 |  4764262 |      461  20771 |        0 |        0
825.12/825.36	c  825s |      24 |  4812902 |  4775462 |      461  20812 |        0 |        0
827.13/827.38	c  827s |      24 |  4824181 |  4786662 |      461  20853 |        0 |        0
829.12/829.40	c  829s |      24 |  4835800 |  4798162 |      461  20895 |        0 |        0
831.22/831.41	c  831s |      24 |  4847524 |  4809762 |      461  20937 |        0 |        0
833.22/833.42	c  833s |      24 |  4858997 |  4821162 |      461  20978 |        0 |        0
835.23/835.43	c  835s |      24 |  4870489 |  4832562 |      461  21020 |        0 |        0
837.23/837.43	c  837s |      24 |  4881965 |  4843962 |      461  21061 |        0 |        0
839.23/839.45	c  839s |      24 |  4893467 |  4855362 |      461  21103 |        0 |        0
841.23/841.45	c  841s |      24 |  4904950 |  4866762 |      461  21144 |        0 |        0
843.23/843.46	c  843s |      24 |  4916424 |  4878162 |      461  21185 |        0 |        0
845.22/845.48	c  845s |      24 |  4928278 |  4889862 |      461  21228 |        0 |        0
847.22/847.49	c  847s |      24 |  4939976 |  4901462 |      461  21270 |        0 |        0
849.22/849.49	c  849s |      24 |  4951496 |  4912862 |      461  21312 |        0 |        0
851.23/851.49	c  851s |      24 |  4962980 |  4924262 |      461  21353 |        0 |        0
853.32/853.50	c  853s |      24 |  4974458 |  4935662 |      461  21395 |        0 |        0
855.32/855.51	c  855s |      24 |  4985837 |  4946962 |      461  21437 |        0 |        0
857.32/857.51	c  857s |      24 |  4996973 |  4958062 |      461  21477 |        0 |        0
859.32/859.52	c  859s |      24 |  5008032 |  4969062 |      461  21517 |        0 |        0
861.32/861.53	c  861s |      24 |  5019548 |  4980462 |      461  21559 |        0 |        0
863.32/863.54	c  863s |      24 |  5031458 |  4992262 |      461  21601 |        0 |        0
865.31/865.55	c  865s |      24 |  5043040 |  5003762 |      461  21643 |        0 |        0
867.31/867.56	c  867s |      24 |  5054471 |  5015062 |      461  21684 |        0 |        0
869.31/869.57	c  869s |      24 |  5065998 |  5026462 |      461  21726 |        0 |        0
871.31/871.58	c  871s |      24 |  5077713 |  5038062 |      508  21765 |        0 |        0
873.32/873.58	c  873s |      24 |  5088994 |  5049262 |      508  21803 |        0 |        0
875.31/875.59	c  875s |      24 |  5100056 |  5060262 |      508  21840 |        0 |        0
876.20/876.44	c  876s |      25 |  5104934 |  5065098 |      508  21856 |        0 |        0
878.20/878.46	c  878s |      25 |  5116086 |  5076098 |      508  21893 |        0 |        0
880.20/880.47	c  880s |      25 |  5127248 |  5087198 |      508  21930 |        0 |        0
882.20/882.47	c  882s |      25 |  5138432 |  5098298 |      508  21967 |        0 |        0
884.21/884.48	c  884s |      25 |  5149648 |  5109398 |      508  22004 |        0 |        0
886.30/886.50	c  886s |      25 |  5161358 |  5120998 |      508  22043 |        0 |        0
888.30/888.50	c  888s |      25 |  5172543 |  5132098 |      508  22080 |        0 |        0
890.30/890.52	c  890s |      25 |  5183604 |  5143098 |      508  22117 |        0 |        0
892.30/892.53	c  892s |      25 |  5195010 |  5154398 |      508  22155 |        0 |        0
894.29/894.53	c  894s |      25 |  5206626 |  5165898 |      508  22193 |        0 |        0
896.30/896.54	c  896s |      25 |  5218774 |  5177898 |      508  22233 |        0 |        0
898.29/898.56	c  898s |      25 |  5230197 |  5189198 |      508  22271 |        0 |        0
900.29/900.57	c  900s |      25 |  5241410 |  5200298 |      508  22309 |        0 |        0
902.29/902.58	c  902s |      25 |  5252580 |  5211398 |      508  22346 |        0 |        0
904.29/904.59	c  904s |      25 |  5263664 |  5222398 |      508  22383 |        0 |        0
906.40/906.60	c  906s |      25 |  5274856 |  5233498 |      508  22420 |        0 |        0
908.40/908.61	c  908s |      25 |  5286227 |  5244798 |      508  22458 |        0 |        0
910.39/910.62	c  910s |      25 |  5297611 |  5256098 |      508  22496 |        0 |        0
912.39/912.63	c  912s |      25 |  5308870 |  5267298 |      508  22534 |        0 |        0
914.39/914.63	c  914s |      25 |  5320070 |  5278398 |      508  22571 |        0 |        0
916.39/916.64	c  916s |      25 |  5331282 |  5289498 |      508  22608 |        0 |        0
918.39/918.64	c  918s |      25 |  5342277 |  5300398 |      508  22645 |        0 |        0
920.39/920.65	c  920s |      25 |  5353159 |  5311198 |      508  22682 |        0 |        0
922.38/922.66	c  922s |      25 |  5365195 |  5323098 |      508  22721 |        0 |        0
924.38/924.66	c  924s |      25 |  5376792 |  5334598 |      508  22760 |        0 |        0
926.38/926.66	c  926s |      25 |  5388514 |  5346198 |      508  22798 |        0 |        0
928.38/928.67	c  928s |      25 |  5400137 |  5357698 |      508  22837 |        0 |        0
930.39/930.69	c  930s |      25 |  5411648 |  5369098 |      508  22875 |        0 |        0
932.38/932.69	c  932s |      25 |  5422941 |  5380298 |      508  22912 |        0 |        0
934.47/934.70	c  934s |      25 |  5434111 |  5391398 |      508  22949 |        0 |        0
936.47/936.71	c  936s |      25 |  5445501 |  5402698 |      508  22987 |        0 |        0
938.47/938.73	c  938s |      25 |  5456680 |  5413798 |      508  23025 |        0 |        0
940.47/940.74	c  940s |      25 |  5467883 |  5424898 |      508  23062 |        0 |        0
942.48/942.74	c  942s |      25 |  5478758 |  5435698 |      508  23098 |        0 |        0
944.48/944.76	c  944s |      25 |  5490000 |  5446798 |      508  23135 |        0 |        0
946.48/946.77	c  946s |      25 |  5501322 |  5457998 |      508  23173 |        0 |        0
948.47/948.78	c  948s |      25 |  5512469 |  5468998 |      508  23210 |        0 |        0
950.47/950.79	c  950s |      25 |  5523914 |  5480298 |      508  23248 |        0 |        0
952.48/952.79	c  952s |      25 |  5535530 |  5491798 |      508  23286 |        0 |        0
954.58/954.80	c  954s |      25 |  5546954 |  5503098 |      508  23324 |        0 |        0
956.57/956.82	c  956s |      25 |  5558575 |  5514598 |      508  23363 |        0 |        0
958.57/958.82	c  958s |      25 |  5570504 |  5526398 |      508  23402 |        0 |        0
960.57/960.83	c  960s |      25 |  5582141 |  5537898 |      508  23441 |        0 |        0
962.57/962.83	c  962s |      25 |  5593455 |  5549098 |      508  23479 |        0 |        0
964.57/964.83	c  964s |      25 |  5604643 |  5560198 |      508  23516 |        0 |        0
966.56/966.85	c  966s |      25 |  5615815 |  5571298 |      508  23553 |        0 |        0
968.56/968.85	c  968s |      25 |  5627095 |  5582498 |      508  23591 |        0 |        0
970.56/970.86	c  970s |      25 |  5638264 |  5593598 |      508  23628 |        0 |        0
972.56/972.87	c  972s |      25 |  5649334 |  5604598 |      508  23665 |        0 |        0
974.55/974.89	c  974s |      25 |  5660554 |  5615698 |      508  23703 |        0 |        0
976.56/976.89	c  976s |      25 |  5671887 |  5626898 |      508  23741 |        0 |        0
978.55/978.89	c  978s |      25 |  5682993 |  5637898 |      508  23778 |        0 |        0
980.55/980.90	c  980s |      25 |  5694187 |  5648998 |      508  23815 |        0 |        0
982.65/982.91	c  982s |      25 |  5705580 |  5660298 |      508  23853 |        0 |        0
984.65/984.93	c  984s |      25 |  5716850 |  5671498 |      508  23891 |        0 |        0
986.65/986.94	c  986s |      25 |  5728030 |  5682598 |      508  23928 |        0 |        0
988.65/988.95	c  988s |      25 |  5739286 |  5693798 |      508  23966 |        0 |        0
990.65/990.96	c  990s |      25 |  5750535 |  5704998 |      508  24004 |        0 |        0
992.65/992.97	c  992s |      25 |  5761819 |  5716198 |      508  24041 |        0 |        0
994.64/994.97	c  994s |      25 |  5772998 |  5727298 |      508  24079 |        0 |        0
996.63/996.98	c  996s |      25 |  5784045 |  5738298 |      508  24116 |        0 |        0
998.64/998.98	c  998s |      25 |  5795208 |  5749398 |      508  24153 |        0 |        0
1000.64/1001.00	c 1000s |      25 |  5807012 |  5761098 |      508  24193 |        0 |        0
1002.74/1003.01	c 1002s |      25 |  5818626 |  5772598 |      508  24231 |        0 |        0
1004.74/1005.01	c 1004s |      25 |  5830151 |  5783998 |      508  24269 |        0 |        0
1006.74/1007.01	c 1006s |      25 |  5841542 |  5795298 |      508  24308 |        0 |        0
1008.74/1009.02	c 1009s |      25 |  5853166 |  5806798 |      508  24346 |        0 |        0
1010.74/1011.04	c 1011s |      25 |  5864573 |  5818098 |      508  24384 |        0 |        0
1012.73/1013.04	c 1013s |      25 |  5876092 |  5829498 |      508  24423 |        0 |        0
1014.73/1015.05	c 1015s |      25 |  5887510 |  5840798 |      508  24461 |        0 |        0
1016.73/1017.06	c 1017s |      25 |  5898813 |  5851998 |      508  24499 |        0 |        0
1018.73/1019.07	c 1019s |      25 |  5909907 |  5862998 |      508  24536 |        0 |        0
1020.73/1021.07	c 1021s |      25 |  5921094 |  5874098 |      508  24574 |        0 |        0
1022.73/1023.08	c 1023s |      25 |  5931970 |  5884898 |      508  24610 |        0 |        0
1024.72/1025.08	c 1025s |      25 |  5943095 |  5895898 |      508  24648 |        0 |        0
1026.72/1027.08	c 1027s |      25 |  5954411 |  5907098 |      508  24686 |        0 |        0
1028.72/1029.10	c 1029s |      25 |  5966249 |  5918798 |      508  24725 |        0 |        0
1030.82/1031.11	c 1031s |      25 |  5978754 |  5931198 |      508  24766 |        0 |        0
1032.82/1033.11	c 1033s |      25 |  5991063 |  5943398 |      508  24807 |        0 |        0
1034.82/1035.11	c 1035s |      25 |  6003030 |  5955298 |      508  24846 |        0 |        0
1036.82/1037.13	c 1037s |      25 |  6015222 |  5967398 |      508  24887 |        0 |        0
1038.82/1039.14	c 1039s |      25 |  6027201 |  5979298 |      508  24926 |        0 |        0
1040.82/1041.15	c 1041s |      25 |  6039205 |  5991198 |      508  24966 |        0 |        0
1042.81/1043.16	c 1043s |      25 |  6051428 |  6003298 |      508  25007 |        0 |        0
1044.82/1045.17	c 1045s |      25 |  6063736 |  6015498 |      508  25048 |        0 |        0
1046.81/1047.19	c 1047s |      25 |  6076317 |  6027898 |      508  25089 |        0 |        0
1048.91/1049.20	c 1049s |      25 |  6088860 |  6040298 |      508  25130 |        0 |        0
1050.91/1051.20	c 1051s |      25 |  6100752 |  6052098 |      508  25170 |        0 |        0
1052.91/1053.21	c 1053s |      25 |  6112559 |  6063798 |      508  25209 |        0 |        0
1054.91/1055.21	c 1055s |      25 |  6124635 |  6075798 |      508  25249 |        0 |        0
1056.92/1057.22	c 1057s |      25 |  6136452 |  6087498 |      508  25288 |        0 |        0
1058.91/1059.23	c 1059s |      25 |  6148024 |  6098998 |      508  25327 |        0 |        0
1060.91/1061.23	c 1061s |      25 |  6159733 |  6110598 |      508  25366 |        0 |        0
1062.91/1063.24	c 1063s |      25 |  6171189 |  6121998 |      508  25404 |        0 |        0
1064.90/1065.25	c 1065s |      25 |  6182844 |  6133598 |      508  25443 |        0 |        0
1066.90/1067.26	c 1067s |      25 |  6194414 |  6145098 |      508  25481 |        0 |        0
1068.91/1069.27	c 1069s |      25 |  6205812 |  6156398 |      508  25519 |        0 |        0
1070.90/1071.28	c 1071s |      25 |  6217510 |  6167998 |      508  25558 |        0 |        0
1073.00/1073.30	c 1073s |      25 |  6229284 |  6179698 |      508  25597 |        0 |        0
1075.00/1075.31	c 1075s |      25 |  6241306 |  6191598 |      508  25637 |        0 |        0
1077.00/1077.31	c 1077s |      25 |  6253111 |  6203298 |      508  25676 |        0 |        0
1079.00/1079.31	c 1079s |      25 |  6264634 |  6214698 |      508  25715 |        0 |        0
1081.00/1081.33	c 1081s |      25 |  6276317 |  6226298 |      508  25753 |        0 |        0
1083.00/1083.33	c 1083s |      25 |  6288012 |  6237898 |      508  25792 |        0 |        0
1084.99/1085.34	c 1085s |      25 |  6299706 |  6249498 |      508  25831 |        0 |        0
1086.99/1087.34	c 1087s |      25 |  6311415 |  6261098 |      508  25870 |        0 |        0
1088.99/1089.34	c 1089s |      25 |  6322603 |  6272198 |      508  25908 |        0 |        0
1091.00/1091.36	c 1091s |      25 |  6333913 |  6283398 |      508  25945 |        0 |        0
1092.99/1093.36	c 1093s |      25 |  6345507 |  6294898 |      508  25984 |        0 |        0
1094.98/1095.38	c 1095s |      25 |  6356987 |  6306298 |      508  26022 |        0 |        0
1096.98/1097.38	c 1097s |      25 |  6368569 |  6317798 |      508  26060 |        0 |        0
1099.08/1099.40	c 1099s |      25 |  6380377 |  6329498 |      508  26100 |        0 |        0
1101.08/1101.40	c 1101s |      25 |  6391545 |  6340598 |      508  26137 |        0 |        0
1103.09/1103.41	c 1103s |      25 |  6402598 |  6351598 |      508  26174 |        0 |        0
1105.08/1105.42	c 1105s |      25 |  6414113 |  6362998 |      508  26212 |        0 |        0
1107.08/1107.43	c 1107s |      25 |  6425715 |  6374498 |      508  26250 |        0 |        0
1109.07/1109.43	c 1109s |      25 |  6437165 |  6385898 |      508  26289 |        0 |        0
1111.07/1111.45	c 1111s |      25 |  6448899 |  6397498 |      508  26328 |        0 |        0
1113.07/1113.46	c 1113s |      25 |  6460337 |  6408798 |      508  26366 |        0 |        0
1115.08/1115.47	c 1115s |      25 |  6471603 |  6419998 |      508  26403 |        0 |        0
1117.07/1117.48	c 1117s |      25 |  6483014 |  6431298 |      508  26441 |        0 |        0
1119.07/1119.49	c 1119s |      25 |  6494529 |  6442698 |      508  26480 |        0 |        0
1121.17/1121.51	c 1121s |      25 |  6505931 |  6453998 |      508  26518 |        0 |        0
1123.17/1123.52	c 1123s |      25 |  6517662 |  6465598 |      508  26557 |        0 |        0
1125.17/1125.53	c 1125s |      25 |  6528947 |  6476798 |      508  26594 |        0 |        0
1127.18/1127.54	c 1127s |      25 |  6540235 |  6487998 |      508  26632 |        0 |        0
1129.17/1129.54	c 1129s |      25 |  6551420 |  6499098 |      508  26669 |        0 |        0
1131.17/1131.55	c 1131s |      25 |  6562720 |  6510298 |      508  26707 |        0 |        0
1133.17/1133.56	c 1133s |      25 |  6574006 |  6521498 |      508  26745 |        0 |        0
1135.17/1135.56	c 1135s |      25 |  6585506 |  6532898 |      508  26783 |        0 |        0
1137.18/1137.58	c 1137s |      25 |  6597198 |  6544498 |      508  26822 |        0 |        0
1139.17/1139.59	c 1139s |      25 |  6609126 |  6556298 |      508  26862 |        0 |        0
1141.17/1141.59	c 1141s |      25 |  6621076 |  6568098 |      508  26901 |        0 |        0
1143.27/1143.60	c 1143s |      25 |  6633051 |  6579998 |      508  26941 |        0 |        0
1145.26/1145.60	c 1145s |      25 |  6644431 |  6591298 |      508  26979 |        0 |        0
1147.26/1147.61	c 1147s |      25 |  6655717 |  6602498 |      508  27017 |        0 |        0
1149.27/1149.63	c 1149s |      25 |  6667584 |  6614298 |      508  27057 |        0 |        0
1151.26/1151.64	c 1151s |      25 |  6678954 |  6625598 |      508  27095 |        0 |        0
1153.26/1153.65	c 1153s |      25 |  6690465 |  6636998 |      508  27133 |        0 |        0
1155.26/1155.65	c 1155s |      25 |  6702017 |  6648398 |      508  27172 |        0 |        0
1157.26/1157.66	c 1157s |      25 |  6713336 |  6659598 |      508  27210 |        0 |        0
1159.26/1159.67	c 1159s |      25 |  6724611 |  6670798 |      508  27248 |        0 |        0
1161.27/1161.67	c 1161s |      25 |  6735982 |  6682098 |      508  27286 |        0 |        0
1163.26/1163.68	c 1163s |      25 |  6747369 |  6693398 |      508  27324 |        0 |        0
1165.25/1165.68	c 1165s |      25 |  6758742 |  6704698 |      508  27362 |        0 |        0
1167.35/1167.70	c 1167s |      25 |  6770323 |  6716198 |      508  27401 |        0 |        0
1169.35/1169.71	c 1169s |      25 |  6781703 |  6727498 |      508  27439 |        0 |        0
1171.35/1171.73	c 1171s |      25 |  6793569 |  6739298 |      508  27479 |        0 |        0
1173.35/1173.75	c 1173s |      25 |  6805108 |  6750798 |      508  27517 |        0 |        0
1175.34/1175.75	c 1175s |      25 |  6816378 |  6761998 |      508  27555 |        0 |        0
1177.34/1177.76	c 1177s |      25 |  6828192 |  6773698 |      508  27594 |        0 |        0
1179.34/1179.76	c 1179s |      25 |  6839471 |  6784898 |      508  27632 |        0 |        0
1181.34/1181.77	c 1181s |      25 |  6850731 |  6796098 |      508  27670 |        0 |        0
1183.35/1183.77	c 1183s |      25 |  6861682 |  6806998 |      508  27706 |        0 |        0
1185.34/1185.78	c 1185s |      25 |  6872815 |  6818098 |      508  27744 |        0 |        0
1187.35/1187.79	c 1187s |      25 |  6883869 |  6829098 |      508  27781 |        0 |        0
1189.34/1189.79	c 1189s |      25 |  6894835 |  6839998 |      508  27818 |        0 |        0
1191.44/1191.80	c 1191s |      25 |  6905971 |  6851098 |      508  27855 |        0 |        0
1193.44/1193.81	c 1193s |      25 |  6916911 |  6861998 |      508  27892 |        0 |        0
1195.44/1195.81	c 1195s |      25 |  6927743 |  6872798 |      508  27929 |        0 |        0
1197.44/1197.82	c 1197s |      25 |  6938896 |  6883898 |      508  27966 |        0 |        0
1199.44/1199.83	c 1199s |      25 |  6950965 |  6895898 |      508  28006 |        0 |        0
1201.44/1201.84	c 1201s |      25 |  6962986 |  6907798 |      508  28046 |        0 |        0
1203.44/1203.84	c 1203s |      25 |  6974692 |  6919398 |      508  28085 |        0 |        0
1205.43/1205.84	c 1205s |      25 |  6986278 |  6930898 |      508  28124 |        0 |        0
1207.44/1207.85	c 1207s |      25 |  6998043 |  6942598 |      508  28163 |        0 |        0
1209.43/1209.85	c 1209s |      25 |  7009653 |  6954098 |      508  28201 |        0 |        0
1211.43/1211.86	c 1211s |      25 |  7021116 |  6965498 |      508  28240 |        0 |        0
1213.43/1213.86	c 1213s |      25 |  7032690 |  6976998 |      508  28279 |        0 |        0
1215.43/1215.87	c 1215s |      25 |  7044178 |  6988398 |      508  28317 |        0 |        0
1217.43/1217.88	c 1217s |      25 |  7055572 |  6999698 |      508  28355 |        0 |        0
1219.43/1219.88	c 1219s |      25 |  7067053 |  7011098 |      508  28394 |        0 |        0
1221.43/1221.89	c 1221s |      25 |  7078405 |  7022398 |      508  28432 |        0 |        0
1223.53/1223.91	c 1223s |      25 |  7089674 |  7033598 |      508  28469 |        0 |        0
1225.52/1225.91	c 1225s |      25 |  7101055 |  7044898 |      508  28508 |        0 |        0
1227.52/1227.92	c 1227s |      25 |  7112454 |  7056198 |      508  28546 |        0 |        0
1229.53/1229.94	c 1229s |      25 |  7123743 |  7067398 |      508  28583 |        0 |        0
1231.52/1231.95	c 1231s |      25 |  7135197 |  7078798 |      508  28622 |        0 |        0
1233.52/1233.95	c 1233s |      25 |  7146490 |  7089998 |      508  28659 |        0 |        0
1235.51/1235.96	c 1235s |      25 |  7157782 |  7101198 |      508  28697 |        0 |        0
1237.51/1237.97	c 1237s |      25 |  7169140 |  7112498 |      508  28735 |        0 |        0
1239.51/1239.98	c 1239s |      25 |  7180198 |  7123498 |      508  28772 |        0 |        0
1241.52/1241.98	c 1241s |      25 |  7191161 |  7134398 |      508  28809 |        0 |        0
1243.51/1243.98	c 1243s |      25 |  7202004 |  7145198 |      508  28846 |        0 |        0
1245.61/1246.00	c 1245s |      25 |  7212952 |  7156098 |      508  28883 |        0 |        0
1247.61/1248.02	c 1248s |      25 |  7223918 |  7166998 |      508  28920 |        0 |        0
1249.61/1250.02	c 1250s |      25 |  7234787 |  7177798 |      508  28956 |        0 |        0
1251.60/1252.02	c 1252s |      25 |  7245740 |  7188698 |      508  28993 |        0 |        0
1253.61/1254.02	c 1254s |      25 |  7256696 |  7199598 |      508  29029 |        0 |        0
1255.60/1256.04	c 1256s |      25 |  7267358 |  7210198 |      508  29065 |        0 |        0
1257.60/1258.05	c 1258s |      25 |  7278537 |  7221298 |      508  29103 |        0 |        0
1259.60/1260.05	c 1260s |      25 |  7289477 |  7232198 |      508  29140 |        0 |        0
1261.60/1262.05	c 1262s |      25 |  7300450 |  7243098 |      508  29177 |        0 |        0
1263.60/1264.07	c 1264s |      25 |  7311523 |  7254098 |      508  29214 |        0 |        0
1265.59/1266.07	c 1266s |      25 |  7322523 |  7264998 |      508  29251 |        0 |        0
1267.59/1268.08	c 1268s |      25 |  7333628 |  7275998 |      508  29288 |        0 |        0
1269.59/1270.08	c 1270s |      25 |  7345513 |  7287798 |      508  29328 |        0 |        0
1271.59/1272.09	c 1272s |      25 |  7358051 |  7300198 |      508  29369 |        0 |        0
1273.59/1274.09	c 1274s |      25 |  7370042 |  7312098 |      508  29409 |        0 |        0
1275.60/1276.09	c 1276s |      25 |  7381702 |  7323698 |      508  29447 |        0 |        0
1277.69/1278.10	c 1278s |      25 |  7393378 |  7335298 |      508  29486 |        0 |        0
1279.69/1280.11	c 1280s |      25 |  7405273 |  7347098 |      508  29525 |        0 |        0
1281.69/1282.11	c 1282s |      25 |  7416946 |  7358698 |      508  29564 |        0 |        0
1283.69/1284.12	c 1284s |      25 |  7428422 |  7370098 |      508  29602 |        0 |        0
1285.68/1286.13	c 1286s |      25 |  7439914 |  7381498 |      508  29641 |        0 |        0
1287.69/1288.13	c 1288s |      25 |  7451996 |  7393498 |      508  29681 |        0 |        0
1289.69/1290.14	c 1290s |      25 |  7464097 |  7405498 |      508  29721 |        0 |        0
1291.69/1292.15	c 1292s |      25 |  7475693 |  7416998 |      508  29759 |        0 |        0
1293.69/1294.16	c 1294s |      25 |  7487373 |  7428598 |      508  29798 |        0 |        0
1295.68/1296.16	c 1296s |      25 |  7498664 |  7439798 |      508  29836 |        0 |        0
1297.69/1298.18	c 1298s |      25 |  7510328 |  7451398 |      508  29874 |        0 |        0
1299.68/1300.18	c 1300s |      25 |  7522012 |  7462998 |      508  29913 |        0 |        0
1301.68/1302.19	c 1302s |      25 |  7533587 |  7474498 |      508  29952 |        0 |        0
1303.78/1304.20	c 1304s |      25 |  7545050 |  7485898 |      508  29990 |        0 |        0
1305.78/1306.20	c 1306s |      25 |  7556742 |  7497498 |      508  30029 |        0 |        0
1307.78/1308.20	c 1308s |      25 |  7568530 |  7509198 |      508  30068 |        0 |        0
1309.78/1310.21	c 1310s |      25 |  7580298 |  7520898 |      508  30107 |        0 |        0
1311.78/1312.22	c 1312s |      25 |  7591856 |  7532398 |      508  30146 |        0 |        0
1313.78/1314.24	c 1314s |      25 |  7603418 |  7543898 |      559  30184 |        0 |        0
1315.77/1316.24	c 1316s |      25 |  7614905 |  7555298 |      559  30220 |        0 |        0
1317.77/1318.26	c 1318s |      25 |  7626273 |  7566598 |      559  30255 |        0 |        0
1319.77/1320.27	c 1320s |      25 |  7637653 |  7577898 |      559  30290 |        0 |        0
1321.78/1322.27	c 1322s |      25 |  7649512 |  7589698 |      559  30326 |        0 |        0
1323.17/1323.65	c 1323s |      26 |  7657624 |  7597752 |      559  30351 |        0 |        0
1325.17/1325.66	c 1325s |      26 |  7669203 |  7609152 |      559  30386 |        0 |        0
1327.17/1327.66	c 1327s |      26 |  7681388 |  7621252 |      559  30423 |        0 |        0
1329.17/1329.67	c 1329s |      26 |  7692635 |  7632452 |      559  30457 |        0 |        0
1331.17/1331.67	c 1331s |      26 |  7703804 |  7643552 |      559  30491 |        0 |        0
1333.17/1333.67	c 1333s |      26 |  7715194 |  7654852 |      559  30526 |        0 |        0
1335.16/1335.69	c 1335s |      26 |  7726495 |  7666052 |      559  30561 |        0 |        0
1337.27/1337.71	c 1337s |      26 |  7737964 |  7677452 |      559  30596 |        0 |        0
1339.26/1339.73	c 1339s |      26 |  7749235 |  7688652 |      559  30630 |        0 |        0
1341.26/1341.74	c 1341s |      26 |  7760622 |  7699952 |      559  30665 |        0 |        0
1343.26/1343.74	c 1343s |      26 |  7771696 |  7710952 |      559  30699 |        0 |        0
1345.26/1345.75	c 1345s |      26 |  7783203 |  7722352 |      559  30734 |        0 |        0
1347.26/1347.76	c 1347s |      26 |  7794360 |  7733452 |      559  30768 |        0 |        0
1349.26/1349.77	c 1349s |      26 |  7805627 |  7744652 |      559  30803 |        0 |        0
1351.26/1351.79	c 1351s |      26 |  7817296 |  7756252 |      559  30838 |        0 |        0
1353.36/1353.80	c 1353s |      26 |  7828773 |  7767652 |      559  30874 |        0 |        0
1355.35/1355.82	c 1355s |      26 |  7840143 |  7778952 |      559  30908 |        0 |        0
1357.35/1357.82	c 1357s |      26 |  7851519 |  7790252 |      559  30943 |        0 |        0
1359.35/1359.83	c 1359s |      26 |  7862880 |  7801552 |      559  30978 |        0 |        0
1361.36/1361.83	c 1361s |      26 |  7874172 |  7812752 |      559  31013 |        0 |        0
1363.35/1363.84	c 1363s |      26 |  7885335 |  7823852 |      559  31047 |        0 |        0
1365.35/1365.84	c 1365s |      26 |  7896506 |  7834952 |      559  31081 |        0 |        0
1367.35/1367.86	c 1367s |      26 |  7907982 |  7846352 |      559  31116 |        0 |        0
1369.35/1369.86	c 1369s |      26 |  7919784 |  7858052 |      559  31152 |        0 |        0
1371.36/1371.87	c 1371s |      26 |  7931059 |  7869252 |      559  31187 |        0 |        0
1373.35/1373.87	c 1373s |      26 |  7942220 |  7880352 |      559  31221 |        0 |        0
1375.35/1375.87	c 1375s |      26 |  7953511 |  7891552 |      559  31256 |        0 |        0
1377.35/1377.88	c 1377s |      26 |  7964902 |  7902852 |      559  31291 |        0 |        0
1379.35/1379.88	c 1379s |      26 |  7976185 |  7914052 |      559  31325 |        0 |        0
1381.35/1381.88	c 1381s |      26 |  7987865 |  7925652 |      559  31361 |        0 |        0
1383.35/1383.88	c 1383s |      26 |  7999434 |  7937152 |      559  31397 |        0 |        0
1385.35/1385.89	c 1385s |      26 |  8010793 |  7948452 |      559  31432 |        0 |        0
1387.35/1387.89	c 1387s |      26 |  8022184 |  7959752 |      559  31467 |        0 |        0
1389.44/1389.91	c 1389s |      26 |  8033567 |  7971052 |      559  31502 |        0 |        0
1391.44/1391.91	c 1391s |      26 |  8044644 |  7982052 |      559  31536 |        0 |        0
1393.44/1393.93	c 1393s |      26 |  8055837 |  7993152 |      559  31570 |        0 |        0
1395.45/1395.93	c 1395s |      26 |  8066812 |  8004052 |      559  31604 |        0 |        0
1397.44/1397.94	c 1397s |      26 |  8077975 |  8015152 |      559  31638 |        0 |        0
1399.44/1399.94	c 1399s |      26 |  8089081 |  8026152 |      559  31672 |        0 |        0
1401.44/1401.94	c 1401s |      26 |  8100055 |  8037052 |      559  31706 |        0 |        0
1403.44/1403.95	c 1403s |      26 |  8111882 |  8048752 |      559  31742 |        0 |        0
1405.45/1405.96	c 1405s |      26 |  8123170 |  8059952 |      559  31776 |        0 |        0
1407.44/1407.97	c 1407s |      26 |  8134249 |  8070952 |      559  31810 |        0 |        0
1409.44/1409.98	c 1409s |      26 |  8145587 |  8082152 |      559  31845 |        0 |        0
1411.44/1411.98	c 1411s |      26 |  8157202 |  8093652 |      559  31880 |        0 |        0
1413.54/1414.00	c 1413s |      26 |  8168790 |  8105152 |      559  31916 |        0 |        0
1415.54/1416.02	c 1416s |      26 |  8180025 |  8116252 |      559  31950 |        0 |        0
1417.55/1418.02	c 1418s |      26 |  8191357 |  8127452 |      559  31985 |        0 |        0
1419.54/1420.02	c 1420s |      26 |  8202540 |  8138552 |      559  32019 |        0 |        0
1421.54/1422.04	c 1422s |      26 |  8213716 |  8149652 |      559  32053 |        0 |        0
1423.54/1424.04	c 1424s |      26 |  8224580 |  8160452 |      559  32086 |        0 |        0
1425.54/1426.05	c 1426s |      26 |  8235903 |  8171652 |      559  32121 |        0 |        0
1427.55/1428.05	c 1428s |      26 |  8247684 |  8183352 |      559  32157 |        0 |        0
1429.55/1430.06	c 1430s |      26 |  8258925 |  8194552 |      559  32191 |        0 |        0
1431.55/1432.07	c 1432s |      26 |  8270083 |  8205652 |      559  32226 |        0 |        0
1433.55/1434.08	c 1434s |      26 |  8280982 |  8216452 |      559  32259 |        0 |        0
1435.64/1436.10	c 1436s |      26 |  8291748 |  8227152 |      559  32292 |        0 |        0
1437.64/1438.12	c 1438s |      26 |  8302918 |  8238252 |      559  32326 |        0 |        0
1439.64/1440.12	c 1440s |      26 |  8313901 |  8249152 |      559  32360 |        0 |        0
1441.65/1442.12	c 1442s |      26 |  8324788 |  8259952 |      559  32393 |        0 |        0
1443.64/1444.13	c 1444s |      26 |  8336369 |  8271452 |      559  32429 |        0 |        0
1445.64/1446.13	c 1446s |      26 |  8347732 |  8282752 |      559  32463 |        0 |        0
1447.64/1448.14	c 1448s |      26 |  8358903 |  8293852 |      559  32498 |        0 |        0
1449.64/1450.15	c 1450s |      26 |  8370022 |  8304852 |      559  32532 |        0 |        0
1451.65/1452.17	c 1452s |      26 |  8381069 |  8315852 |      559  32566 |        0 |        0
1453.64/1454.18	c 1454s |      26 |  8391743 |  8326452 |      559  32599 |        0 |        0
1455.64/1456.19	c 1456s |      26 |  8402615 |  8337252 |      559  32632 |        0 |        0
1457.74/1458.20	c 1458s |      26 |  8413788 |  8348352 |      559  32666 |        0 |        0
1459.74/1460.21	c 1460s |      26 |  8425200 |  8359652 |      559  32701 |        0 |        0
1461.74/1462.22	c 1462s |      26 |  8436907 |  8371252 |      559  32737 |        0 |        0
1463.74/1464.23	c 1464s |      26 |  8448080 |  8382352 |      559  32771 |        0 |        0
1465.74/1466.24	c 1466s |      26 |  8459064 |  8393252 |      559  32805 |        0 |        0
1467.73/1468.25	c 1468s |      26 |  8470060 |  8404152 |      559  32839 |        0 |        0
1469.73/1470.26	c 1470s |      26 |  8481140 |  8415152 |      559  32873 |        0 |        0
1471.73/1472.28	c 1472s |      26 |  8492401 |  8426352 |      559  32908 |        0 |        0
1473.73/1474.28	c 1474s |      26 |  8503585 |  8437452 |      559  32942 |        0 |        0
1475.74/1476.28	c 1476s |      26 |  8514754 |  8448552 |      559  32976 |        0 |        0
1477.73/1478.29	c 1478s |      26 |  8525722 |  8459452 |      559  33010 |        0 |        0
1479.83/1480.31	c 1480s |      26 |  8536578 |  8470252 |      559  33044 |        0 |        0
1481.83/1482.32	c 1482s |      26 |  8547548 |  8481152 |      559  33078 |        0 |        0
1483.83/1484.33	c 1484s |      26 |  8558310 |  8491852 |      559  33111 |        0 |        0
1485.83/1486.34	c 1486s |      26 |  8569081 |  8502552 |      559  33144 |        0 |        0
1487.84/1488.35	c 1488s |      26 |  8580761 |  8514152 |      559  33180 |        0 |        0
1489.83/1490.36	c 1490s |      26 |  8592523 |  8525852 |      559  33216 |        0 |        0
1491.83/1492.38	c 1492s |      26 |  8604321 |  8537552 |      559  33252 |        0 |        0
1493.83/1494.39	c 1494s |      26 |  8615978 |  8549152 |      559  33287 |        0 |        0
1495.93/1496.40	c 1496s |      26 |  8627632 |  8560752 |      559  33323 |        0 |        0
1497.93/1498.41	c 1498s |      26 |  8639193 |  8572252 |      559  33359 |        0 |        0
1499.94/1500.42	c 1500s |      26 |  8650775 |  8583752 |      559  33394 |        0 |        0
1501.93/1502.42	c 1502s |      26 |  8662047 |  8594952 |      559  33429 |        0 |        0
1503.93/1504.43	c 1504s |      26 |  8673727 |  8606552 |      559  33464 |        0 |        0
1505.93/1506.44	c 1506s |      26 |  8685222 |  8617952 |      559  33499 |        0 |        0
1507.93/1508.44	c 1508s |      26 |  8696510 |  8629152 |      559  33534 |        0 |        0
1509.93/1510.46	c 1510s |      26 |  8707874 |  8640452 |      559  33569 |        0 |        0
1511.93/1512.47	c 1512s |      26 |  8719457 |  8651952 |      559  33604 |        0 |        0
1513.92/1514.47	c 1514s |      26 |  8730824 |  8663252 |      559  33639 |        0 |        0
1515.92/1516.48	c 1516s |      26 |  8741968 |  8674352 |      559  33674 |        0 |        0
1518.02/1518.50	c 1518s |      26 |  8753344 |  8685652 |      559  33708 |        0 |        0
1520.02/1520.51	c 1520s |      26 |  8764724 |  8696952 |      559  33743 |        0 |        0
1522.03/1522.51	c 1522s |      26 |  8776103 |  8708252 |      559  33778 |        0 |        0
1524.02/1524.52	c 1524s |      26 |  8787211 |  8719252 |      559  33812 |        0 |        0
1526.03/1526.53	c 1526s |      26 |  8798801 |  8730752 |      559  33848 |        0 |        0
1528.03/1528.54	c 1528s |      26 |  8809769 |  8741652 |      559  33881 |        0 |        0
1530.03/1530.54	c 1530s |      26 |  8820657 |  8752452 |      559  33915 |        0 |        0
1532.03/1532.54	c 1532s |      26 |  8831357 |  8763052 |      559  33948 |        0 |        0
1534.04/1534.54	c 1534s |      26 |  8842225 |  8773852 |      559  33981 |        0 |        0
1536.03/1536.55	c 1536s |      26 |  8853315 |  8784852 |      559  34015 |        0 |        0
1538.03/1538.55	c 1538s |      26 |  8864585 |  8796052 |      559  34050 |        0 |        0
1540.03/1540.56	c 1540s |      26 |  8875767 |  8807152 |      559  34084 |        0 |        0
1542.03/1542.57	c 1542s |      26 |  8886934 |  8818252 |      559  34118 |        0 |        0
1544.03/1544.58	c 1544s |      26 |  8898407 |  8829652 |      559  34154 |        0 |        0
1546.03/1546.59	c 1546s |      26 |  8910097 |  8841252 |      559  34190 |        0 |        0
1548.03/1548.60	c 1548s |      26 |  8921270 |  8852352 |      559  34224 |        0 |        0
1550.13/1550.60	c 1550s |      26 |  8932228 |  8863252 |      559  34258 |        0 |        0
1552.13/1552.60	c 1552s |      26 |  8944139 |  8875052 |      559  34294 |        0 |        0
1554.12/1554.62	c 1554s |      26 |  8955734 |  8886552 |      559  34330 |        0 |        0
1556.13/1556.62	c 1556s |      26 |  8967015 |  8897752 |      559  34365 |        0 |        0
1558.12/1558.64	c 1558s |      26 |  8977996 |  8908652 |      559  34398 |        0 |        0
1560.12/1560.64	c 1560s |      26 |  8988754 |  8919352 |      559  34432 |        0 |        0
1562.12/1562.65	c 1562s |      26 |  8999818 |  8930352 |      559  34466 |        0 |        0
1564.12/1564.66	c 1564s |      26 |  9011080 |  8941552 |      559  34501 |        0 |        0
1566.12/1566.66	c 1566s |      26 |  9022050 |  8952452 |      559  34534 |        0 |        0
1568.13/1568.67	c 1568s |      26 |  9032707 |  8963052 |      559  34567 |        0 |        0
1570.12/1570.67	c 1570s |      26 |  9043590 |  8973852 |      559  34601 |        0 |        0
1572.12/1572.69	c 1572s |      26 |  9054568 |  8984752 |      559  34635 |        0 |        0
1574.22/1574.70	c 1574s |      26 |  9065561 |  8995652 |      559  34668 |        0 |        0
1576.22/1576.72	c 1576s |      26 |  9076226 |  9006252 |      559  34701 |        0 |        0
1578.22/1578.73	c 1578s |      26 |  9086981 |  9016952 |      559  34734 |        0 |        0
1580.22/1580.75	c 1580s |      26 |  9097758 |  9027652 |      559  34768 |        0 |        0
1582.22/1582.76	c 1582s |      26 |  9108715 |  9038552 |      559  34801 |        0 |        0
1584.22/1584.76	c 1584s |      26 |  9119795 |  9049552 |      559  34835 |        0 |        0
1586.22/1586.77	c 1586s |      26 |  9130756 |  9060452 |      559  34869 |        0 |        0
1588.22/1588.78	c 1588s |      26 |  9141621 |  9071252 |      559  34903 |        0 |        0
1590.22/1590.78	c 1590s |      26 |  9152513 |  9082052 |      559  34936 |        0 |        0
1592.22/1592.79	c 1592s |      26 |  9163283 |  9092752 |      559  34970 |        0 |        0
1594.32/1594.80	c 1594s |      26 |  9174150 |  9103552 |      559  35003 |        0 |        0
1596.32/1596.80	c 1596s |      26 |  9184943 |  9114252 |      559  35036 |        0 |        0
1598.32/1598.81	c 1598s |      26 |  9195950 |  9125152 |      559  35070 |        0 |        0
1600.31/1600.82	c 1600s |      26 |  9207210 |  9136352 |      559  35105 |        0 |        0
1602.32/1602.82	c 1602s |      26 |  9218219 |  9147252 |      559  35139 |        0 |        0
1604.31/1604.83	c 1604s |      26 |  9228986 |  9157952 |      559  35172 |        0 |        0
1606.31/1606.84	c 1606s |      26 |  9239842 |  9168752 |      559  35206 |        0 |        0
1608.31/1608.86	c 1608s |      26 |  9250730 |  9179552 |      559  35240 |        0 |        0
1610.31/1610.87	c 1610s |      26 |  9261595 |  9190352 |      559  35273 |        0 |        0
1612.31/1612.87	c 1612s |      26 |  9273283 |  9201952 |      559  35309 |        0 |        0
1614.32/1614.87	c 1614s |      26 |  9284836 |  9213452 |      559  35344 |        0 |        0
1616.31/1616.88	c 1616s |      26 |  9296212 |  9224752 |      559  35379 |        0 |        0
1618.31/1618.88	c 1618s |      26 |  9308025 |  9236452 |      559  35415 |        0 |        0
1620.31/1620.88	c 1620s |      26 |  9319831 |  9248152 |      559  35451 |        0 |        0
1622.41/1622.90	c 1622s |      26 |  9331391 |  9259652 |      559  35486 |        0 |        0
1624.41/1624.91	c 1624s |      26 |  9342966 |  9271152 |      559  35522 |        0 |        0
1626.42/1626.92	c 1626s |      26 |  9354531 |  9282652 |      559  35557 |        0 |        0
1628.41/1628.94	c 1628s |      26 |  9366324 |  9294352 |      559  35593 |        0 |        0
1630.41/1630.95	c 1630s |      26 |  9377901 |  9305852 |      559  35629 |        0 |        0
1632.41/1632.96	c 1632s |      26 |  9389478 |  9317352 |      559  35664 |        0 |        0
1634.41/1634.96	c 1634s |      26 |  9400828 |  9328652 |      559  35699 |        0 |        0
1636.42/1636.97	c 1636s |      26 |  9412417 |  9340152 |      559  35734 |        0 |        0
1638.41/1638.99	c 1638s |      26 |  9423897 |  9351552 |      559  35770 |        0 |        0
1640.51/1641.00	c 1640s |      26 |  9435560 |  9363152 |      559  35805 |        0 |        0
1642.51/1643.01	c 1642s |      26 |  9446720 |  9374252 |      559  35840 |        0 |        0
1644.51/1645.02	c 1645s |      26 |  9457974 |  9385452 |      559  35874 |        0 |        0
1646.51/1647.03	c 1647s |      26 |  9469654 |  9397052 |      559  35910 |        0 |        0
1648.52/1649.03	c 1649s |      26 |  9481341 |  9408652 |      559  35946 |        0 |        0
1650.51/1651.04	c 1651s |      26 |  9492797 |  9420052 |      559  35981 |        0 |        0
1652.51/1653.06	c 1653s |      26 |  9504463 |  9431652 |      559  36016 |        0 |        0
1654.51/1655.06	c 1655s |      26 |  9515831 |  9442952 |      559  36051 |        0 |        0
1656.51/1657.07	c 1657s |      26 |  9527092 |  9454152 |      559  36086 |        0 |        0
1658.51/1659.08	c 1659s |      26 |  9538380 |  9465352 |      559  36120 |        0 |        0
1660.51/1661.10	c 1661s |      26 |  9549873 |  9476752 |      559  36155 |        0 |        0
1662.61/1663.11	c 1663s |      26 |  9561049 |  9487852 |      559  36190 |        0 |        0
1664.61/1665.12	c 1665s |      26 |  9572458 |  9499152 |      559  36225 |        0 |        0
1666.61/1667.12	c 1667s |      26 |  9583660 |  9510252 |      559  36259 |        0 |        0
1668.61/1669.13	c 1669s |      26 |  9595064 |  9521552 |      559  36294 |        0 |        0
1670.61/1671.14	c 1671s |      26 |  9606434 |  9532852 |      559  36329 |        0 |        0
1672.61/1673.16	c 1673s |      26 |  9617550 |  9543852 |      559  36363 |        0 |        0
1674.60/1675.17	c 1675s |      26 |  9628653 |  9554852 |      559  36397 |        0 |        0
1676.60/1677.18	c 1677s |      26 |  9639615 |  9565752 |      559  36430 |        0 |        0
1678.60/1679.18	c 1679s |      26 |  9650794 |  9576852 |      559  36465 |        0 |        0
1680.60/1681.19	c 1681s |      26 |  9662798 |  9588752 |      559  36501 |        0 |        0
1682.61/1683.19	c 1683s |      26 |  9674479 |  9600352 |      559  36537 |        0 |        0
1684.71/1685.20	c 1685s |      26 |  9686157 |  9611952 |      559  36573 |        0 |        0
1686.70/1687.21	c 1687s |      26 |  9697842 |  9623552 |      559  36608 |        0 |        0
1688.70/1689.22	c 1689s |      26 |  9709628 |  9635252 |      559  36645 |        0 |        0
1690.70/1691.23	c 1691s |      26 |  9721217 |  9646752 |      559  36680 |        0 |        0
1692.70/1693.24	c 1693s |      26 |  9732892 |  9658352 |      559  36716 |        0 |        0
1694.70/1695.25	c 1695s |      26 |  9744272 |  9669652 |      559  36750 |        0 |        0
1696.70/1697.25	c 1697s |      26 |  9755336 |  9680652 |      559  36784 |        0 |        0
1698.70/1699.25	c 1699s |      26 |  9766289 |  9691552 |      559  36818 |        0 |        0
1700.70/1701.25	c 1701s |      26 |  9777364 |  9702552 |      559  36852 |        0 |        0
1702.70/1703.26	c 1703s |      26 |  9788644 |  9713752 |      559  36887 |        0 |        0
1704.70/1705.27	c 1705s |      26 |  9799703 |  9724752 |      559  36921 |        0 |        0
1706.71/1707.28	c 1707s |      26 |  9810686 |  9735652 |      559  36955 |        0 |        0
1708.70/1709.28	c 1709s |      26 |  9821755 |  9746652 |      559  36988 |        0 |        0
1710.70/1711.29	c 1711s |      26 |  9832939 |  9757752 |      559  37023 |        0 |        0
1712.80/1713.30	c 1713s |      26 |  9843799 |  9768552 |      559  37056 |        0 |        0
1714.80/1715.31	c 1715s |      26 |  9854956 |  9779652 |      559  37091 |        0 |        0
1716.80/1717.33	c 1717s |      26 |  9865896 |  9790552 |      559  37124 |        0 |        0
1718.81/1719.34	c 1719s |      26 |  9877145 |  9801752 |      559  37159 |        0 |        0
1720.80/1721.34	c 1721s |      26 |  9888611 |  9813152 |      559  37195 |        0 |        0
1722.80/1723.35	c 1723s |      26 |  9899670 |  9824152 |      559  37229 |        0 |        0
1724.80/1725.36	c 1725s |      26 |  9910552 |  9834952 |      559  37262 |        0 |        0
1726.80/1727.37	c 1727s |      26 |  9921818 |  9846152 |      559  37297 |        0 |        0
1728.80/1729.38	c 1729s |      26 |  9933183 |  9857452 |      559  37331 |        0 |        0
1730.79/1731.38	c 1731s |      26 |  9944366 |  9868552 |      559  37366 |        0 |        0
1732.79/1733.39	c 1733s |      26 |  9955660 |  9879752 |      559  37400 |        0 |        0
1734.89/1735.40	c 1735s |      26 |  9966731 |  9890752 |      559  37434 |        0 |        0
1736.89/1737.42	c 1737s |      26 |  9977604 |  9901552 |      559  37468 |        0 |        0
1738.89/1739.42	c 1739s |      26 |  9988972 |  9912852 |      559  37503 |        0 |        0
1740.90/1741.44	c 1741s |      26 | 10000254 |  9924052 |      559  37537 |        0 |        0
1742.89/1743.45	c 1743s |      26 | 10011518 |  9935252 |      559  37572 |        0 |        0
1744.89/1745.46	c 1745s |      26 | 10022669 |  9946352 |      559  37606 |        0 |        0
1746.89/1747.48	c 1747s |      26 | 10033946 |  9957552 |      559  37641 |        0 |        0
1748.89/1749.49	c 1749s |      26 | 10045009 |  9968552 |      559  37675 |        0 |        0
1750.89/1751.49	c 1751s |      26 | 10056497 |  9979952 |      559  37711 |        0 |        0
1752.90/1753.49	c 1753s |      26 | 10067764 |  9991152 |      559  37745 |        0 |        0
1754.89/1755.49	c 1755s |      26 | 10078833 | 10002152 |      559  37779 |        0 |        0
1756.99/1757.50	c 1757s |      26 | 10089711 | 10012952 |      559  37813 |        0 |        0
1758.99/1759.51	c 1759s |      26 | 10100587 | 10023752 |      559  37846 |        0 |        0
1760.99/1761.52	c 1761s |      26 | 10111559 | 10034652 |      559  37880 |        0 |        0
1762.99/1763.53	c 1763s |      26 | 10122425 | 10045452 |      559  37914 |        0 |        0
1764.99/1765.55	c 1765s |      26 | 10133300 | 10056252 |      559  37948 |        0 |        0
1766.99/1767.56	c 1767s |      26 | 10145107 | 10067952 |      559  37984 |        0 |        0
1768.99/1769.56	c 1769s |      26 | 10156790 | 10079552 |      559  38019 |        0 |        0
1770.99/1771.56	c 1771s |      26 | 10168282 | 10090952 |      559  38055 |        0 |        0
1772.99/1773.57	c 1773s |      26 | 10179759 | 10102352 |      559  38090 |        0 |        0
1774.99/1775.59	c 1775s |      26 | 10191136 | 10113652 |      559  38125 |        0 |        0
1776.98/1777.59	c 1777s |      26 | 10202501 | 10124952 |      559  38160 |        0 |        0
1779.08/1779.61	c 1779s |      26 | 10213993 | 10136352 |      559  38195 |        0 |        0
1781.08/1781.62	c 1781s |      26 | 10225280 | 10147552 |      559  38230 |        0 |        0
1783.08/1783.62	c 1783s |      26 | 10236469 | 10158652 |      559  38264 |        0 |        0
1785.08/1785.63	c 1785s |      26 | 10247847 | 10169952 |      559  38299 |        0 |        0
1787.09/1787.64	c 1787s |      26 | 10259120 | 10181152 |      559  38334 |        0 |        0
1789.09/1789.65	c 1789s |      26 | 10270387 | 10192352 |      559  38368 |        0 |        0
1791.09/1791.66	c 1791s |      26 | 10281759 | 10203652 |      559  38403 |        0 |        0
1793.09/1793.67	c 1793s |      26 | 10292826 | 10214652 |      559  38438 |        0 |        0
1795.09/1795.67	c 1795s |      26 | 10304203 | 10225952 |      559  38473 |        0 |        0
1797.09/1797.69	c 1797s |      26 | 10315586 | 10237252 |      559  38508 |        0 |        0
1799.09/1799.70	c 1799s |      26 | 10326774 | 10248352 |      559  38542 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079749-1465245150/watcher-4079749-1465245150 -o /tmp/evaluation-result-4079749-1465245150/solver-4079749-1465245150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079749-1465245150.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.22 2.18 3/179 10301
/proc/meminfo: memFree=29667464/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 2859 0 0 0 0 0 0 0 20 0 4 0 106449567 782692352 3220 33554432000 4194304 16246674 140734224114256 140734224113680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 191599 3228 441 2943 0 188493 0
[pid=10301/tid=10302] ppid=10298 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 805761024 3306 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=790972 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 809955328 3324 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 814149632 3341 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.25 2.22 2.18 3/179 10301
/proc/meminfo: memFree=29667464/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 22379 0 0 0 6 3 0 0 20 0 4 0 106449567 1247350784 22727 33554432000 4194304 16246674 140734224114256 140734224096128 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 304529 22737 769 2943 0 301423 0
[pid=10301/tid=10302] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 22745 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 22755 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 22765 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.25 2.22 2.18 3/179 10301
/proc/meminfo: memFree=29667464/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 42698 0 0 0 13 5 0 0 20 0 4 0 106449567 1247350784 43047 33554432000 4194304 16246674 140734224114256 140734224096128 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 304529 43052 769 2943 0 301423 0
[pid=10301/tid=10302] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 43058 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 43067 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 43078 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300468 s]
/proc/loadavg: 2.25 2.22 2.18 3/179 10301
/proc/meminfo: memFree=29667464/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 63179 0 0 0 21 8 0 0 20 0 4 0 106449567 1247350784 63527 33554432000 4194304 16246674 140734224114256 140734224096128 5711820 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 304529 63536 769 2943 0 301423 0
[pid=10301/tid=10302] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 63544 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 63556 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 63567 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.25 2.22 2.18 3/179 10301
/proc/meminfo: memFree=29667464/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 147640 0 0 0 50 19 0 0 20 0 4 0 106449567 1247350784 147988 33554432000 4194304 16246674 140734224114256 140734224096128 5602147 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 304529 147992 769 2943 0 301423 0
[pid=10301/tid=10302] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 147995 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 148008 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1247350784 148020 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 10305
/proc/meminfo: memFree=28725696/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 245606 0 0 0 119 30 0 0 20 0 4 0 106449567 1248399360 245932 33554432000 4194304 16246674 140734224114256 140734224113568 6020452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 304785 245932 832 2943 0 301679 0
[pid=10301/tid=10302] ppid=10298 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1248399360 245932 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1248399360 245932 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1248399360 245932 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 10305
/proc/meminfo: memFree=28597604/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 267486 0 0 0 276 33 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 140734224096128 5545840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326545 267812 832 2943 0 323439 0
[pid=10301/tid=10302] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 10354
/proc/meminfo: memFree=28615968/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 267486 0 0 0 596 33 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 140734224096128 5754764 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326545 267812 832 2943 0 323439 0
[pid=10301/tid=10302] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267812 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.21 2.21 2.18 3/183 10354
/proc/meminfo: memFree=28615792/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 267487 0 0 0 1235 33 0 0 20 0 4 0 106449567 1337528320 267813 33554432000 4194304 16246674 140734224114256 140734224097256 13752941 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326545 267813 832 2943 0 323439 0
[pid=10301/tid=10302] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267813 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267813 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267813 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 10354
/proc/meminfo: memFree=28616372/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 267512 0 0 0 2515 33 0 0 20 0 4 0 106449567 1337528320 267838 33554432000 4194304 16246674 140734224114256 140734224096128 6011852 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326545 267838 832 2943 0 323439 0
[pid=10301/tid=10302] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267838 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267838 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267838 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 10354
/proc/meminfo: memFree=28616548/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 267531 0 0 0 5075 34 0 0 20 0 4 0 106449567 1337528320 267857 33554432000 4194304 16246674 140734224114256 140734224096128 5831803 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326545 267857 834 2943 0 323439 0
[pid=10301/tid=10302] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267857 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267857 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267857 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 10355
/proc/meminfo: memFree=28616352/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 267566 0 0 0 10193 35 0 0 20 0 4 0 106449567 1337528320 267892 33554432000 4194304 16246674 140734224114256 140734224096128 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326545 267892 835 2943 0 323439 0
[pid=10301/tid=10302] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267892 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267892 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1337528320 267892 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268022 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 10434
/proc/meminfo: memFree=28611620/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1301.88 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268077 0 0 0 130135 53 0 0 20 0 4 0 106449567 1338576896 268022 33554432000 4194304 16246674 140734224114256 140734224096128 5823131 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268022 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268022 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268022 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268022 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.16 2.16 2.17 4/183 10435
/proc/meminfo: memFree=28611300/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1361.85 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268131 0 0 0 136132 53 0 0 20 0 4 0 106449567 1338576896 268036 33554432000 4194304 16246674 140734224114256 140734224096128 5824038 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268036 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268036 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268036 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268036 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 10436
/proc/meminfo: memFree=28610528/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1421.84 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268135 0 0 0 142131 53 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 140734224113352 13927434 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268040 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 10438
/proc/meminfo: memFree=28610248/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1481.83 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268135 0 0 0 148129 54 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 140734224096128 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268040 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268040 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.13 2.16 2.17 3/183 10439
/proc/meminfo: memFree=28610268/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1541.83 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268136 0 0 0 154128 55 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 140734224096128 13966775 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268041 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.13 2.16 2.17 4/183 10440
/proc/meminfo: memFree=28610504/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1601.81 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268136 0 0 0 160126 55 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 140734224096128 6020448 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268041 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.27 2.19 2.18 3/184 10444
/proc/meminfo: memFree=28609640/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1661.81 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268136 0 0 0 166125 56 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 140734224096128 12415657 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268041 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268041 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/184 10467
/proc/meminfo: memFree=28608796/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1721.8 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268146 0 0 0 172123 57 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 140734224096128 13198352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268051 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.10 2.15 2.17 3/183 10469
/proc/meminfo: memFree=28610208/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1781.78 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268146 0 0 0 178121 57 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 140734224096128 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268051 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.16 2.17 3/183 10469
/proc/meminfo: memFree=28610216/32872528 swapFree=12208/1156848
[pid=10301] ppid=10298 vsize=1307204 CPUtime=1800.09 cores=0,2,4,6
/proc/10301/stat : 10301 (toysat) R 10298 10301 9895 0 -1 4202496 268146 0 0 0 179951 58 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 140734224096128 5823694 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10301/statm: 326801 268051 837 2943 0 323695 0
[pid=10301/tid=10302] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10302/stat : 10302 (toysat) S 10298 10301 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752285121776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=10301/tid=10303] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10303/stat : 10303 (toysat) S 10298 10301 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752274631920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=10301/tid=10304] ppid=10298 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10301/task/10304/stat : 10304 (toysat) S 10298 10301 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106449567 1338576896 268051 33554432000 4194304 16246674 140734224114256 139752196009136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.52
CPU system time (s): 0.582911
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.582911
maximum resident set size= 1072204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268146
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= 433
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64199 second user time and 9.2256 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-06 22:32:30
IDJOB=4079749
IDBENCH=2914
IDSOLVER=2542
FILE ID=node114/4079749-1465245150
RUNJOBID= node114-1465241547-9911
PBS_JOBID= 19843245
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079749-1465245150/watcher-4079749-1465245150 -o /tmp/evaluation-result-4079749-1465245150/solver-4079749-1465245150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079749-1465245150.opb

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

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=1568840933

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.54
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.852
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:        29668280 kB
Buffers:           42872 kB
Cached:           208384 kB
SwapCached:         1724 kB
Active:          1209812 kB
Inactive:         134264 kB
Active(anon):    1093992 kB
Inactive(anon):     1200 kB
Active(file):     115820 kB
Inactive(file):   133064 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096600 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       2326620 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             569236 kB
SReclaimable:      13424 kB
SUnreclaim:       555812 kB
KernelStack:        1520 kB
PageTables:         8420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2392264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2310144 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= 71704 MiB
End job on node114 at 2016-06-06 23:02:31