Trace number 4079754

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
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 16
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
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:47:29+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-4079754-1465246049.opb"]
0.00/0.01	c use --random-gen="1996197291 955987067 3154603720 2512084388 3671822703 2339533442 654787897 4267688096 853224246 2911354565 1213730817 2057502521 2673057227 714621599 1871446571 2731224620 2291859721 415294549 3496069783 3127661621 2539373169 1339680416 3641166970 188485794 2966643525 1119710864 3572212006 790538473 3137483594 3236473735 628589872 3284554963 3334897483 2061952832 2005556695 3735282922 117340281 235223938 3873533915 1118539605 1481076364 970639690 3933503432 3822480578 3316456175 3408811165 2827779719 2753309505 2886077709 1055046601 1412287703 4138991717 906388695 3445108031 119595074 3272612705 2633605658 3065740598 842500765 4004351459 3035847495 3558206905 4056600407 2711955253 751667566 4211810159 1309644726 1089829984 3532756492 3516192228 4144139088 422129575 1974572286 2115241809 1670965729 3462987300 1553811948 1995028448 2484409890 1541829525 595269239 3630498550 338904339 1036325335 2312074780 1201338337 2250109992 128686394 683783774 1645335847 3949327395 3719323099 3978944570 3843801477 3417958070 3186228713 1420603232 3730059753 2917770116 2375634921 3922375874 2477098625 2428599524 103659517 1839802857 4126638158 614461022 3511075003 190836009 1210961238 1774376011 1809992540 1641760566 2344073067 2414791636 1966756519 2122160111 1337420981 2235656659 3061284310 1912911974 2783843350 3595184871 2108720097 3643160000 1919100386 2755733878 2460803173 2097094505 3826344896 196837575 2204927916 4257287055 1708210749 2320346579 769627442 3663547015 3402467132 437258850 133310724 4260079383 1182368431 3401217348 3969397179 863210357 852374327 968492358 279249799 681469097 1585588845 755831040 1085053901 1541478255 1145584374 3675875478 2780455793 3608395183 4038557738 894495520 2025300906 443381863 2425634600 3275303213 227790407 2337035290 3201984209 729615506 3145403304 3625618823 3484958000 774664987 2768910392 2433738331 1739620473 2342882383 553932696 142396514 412416832 1428585715 696572064 2131690156 794174853 4026436423 1335071982 1093567064 474438000 4203336420 2591277794 103145648 2858338714 855910825 3455144664 3927845660 2650767850 210887861 1878746661 2355497629 3662618266 2188095679 983351270 1228962770 3907554514 2821196513 2103276454 3298219606 362945776 3876008310 3928227770 3635892661 3891656180 4285705046 954367112 1851479590 1645434789 1372768294 3151545651 2279309219 1542136340 4240727718 1022190926 3444469706 82507207 1519686156 3318011233 2713927408 1549447220 1123384814 2200604785 407628172 623420680 2542298182 3809318238 1818340294 1798471644 1267289443 4216197077 1501878997 3458751750 910837547 1437997032 3231761327 4202335744 1672592192 964539232 1860788065 2525731877 2588862456 3531487861 3562523558 4251658380 3490604445 994846603 3353046203 3625773722 2494956875 1955780810 255 362436" option to reproduce the execution
0.00/0.01	c #vars 172
0.00/0.01	c #constraints 14
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 |       62      0 |        0 |        0
0.00/0.02	c  0.0s |       0 |       78 |        0 |       62      0 |        0 |        0
0.00/0.02	c #cpu_time = 0.001s
0.00/0.02	c #wall_clock_time = 0.001s
0.00/0.02	c #decision = 78
0.00/0.02	c #random_decision = 0
0.00/0.02	c #conflict = 0
0.00/0.02	c #restart = 0
0.00/0.02	o 2661
0.00/0.02	c BCD2: updating upper bound: 3570 -> 2660
0.00/0.02	c BCD2: 0 <= obj <= 2660
0.00/0.02	c BCD2: #cores=0, #unrelaxed=112, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       62      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      247 |      100 |       62      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      556 |      250 |       69      1 |        0 |        0
0.09/0.17	c  0.2s |       3 |      955 |      475 |       76      4 |        0 |        0
0.19/0.28	c  0.3s |       4 |     1462 |      813 |       84      8 |        0 |        0
0.39/0.45	c  0.4s |       5 |     2137 |     1320 |       93     12 |        0 |        0
0.69/0.71	c  0.7s |       6 |     3069 |     2081 |      114     19 |        0 |        0
1.10/1.13	c  1.1s |       7 |     4371 |     3223 |      126     28 |        0 |        0
1.49/1.56	c  1.5s |       8 |     6275 |     4936 |      139     41 |        0 |        0
2.09/2.18	c  2.2s |       9 |     9025 |     7506 |      153     59 |        0 |        0
2.99/3.06	c  3.0s |      10 |    13099 |    11361 |      169     86 |        0 |        0
4.29/4.36	c  4.3s |      11 |    19132 |    17144 |      186    124 |        0 |        0
6.19/6.24	c  6.2s |      12 |    28041 |    25819 |      205    177 |        0 |        0
8.19/8.25	c  8.2s |      12 |    37477 |    34919 |      205    230 |        0 |        0
9.09/9.13	c  9.1s |      13 |    41506 |    38832 |      226    253 |        0 |        0
11.09/11.14	c 11.1s |      13 |    50815 |    47832 |      226    303 |        0 |        0
13.09/13.15	c 13.1s |      13 |    59894 |    56832 |      226    353 |        0 |        0
13.39/13.48	c 13.5s |      14 |    61445 |    58352 |      249    361 |        0 |        0
15.39/15.50	c 15.5s |      14 |    70846 |    67452 |      249    408 |        0 |        0
17.49/17.51	c 17.5s |      14 |    80011 |    76452 |      249    455 |        0 |        0
19.49/19.51	c 19.5s |      14 |    89182 |    85452 |      249    503 |        0 |        0
19.89/20.00	c 20.0s |      15 |    91382 |    87632 |      274    514 |        0 |        0
21.98/22.01	c 22.0s |      15 |   100557 |    96532 |      274    557 |        0 |        0
23.98/24.03	c 24.0s |      15 |   109753 |   105632 |      274    602 |        0 |        0
25.98/26.03	c 26.0s |      15 |   118577 |   114332 |      274    644 |        0 |        0
27.98/28.05	c 28.0s |      15 |   127490 |   123132 |      274    687 |        0 |        0
29.98/30.00	c 30.0s |      16 |   135995 |   131552 |      302    728 |        0 |        0
31.99/32.01	c 32.0s |      16 |   145156 |   140452 |      302    769 |        0 |        0
33.98/34.02	c 34.0s |      16 |   153978 |   149152 |      302    808 |        0 |        0
35.98/36.03	c 36.0s |      16 |   162959 |   158052 |      302    849 |        0 |        0
37.98/38.03	c 38.0s |      16 |   172599 |   167452 |      302    892 |        0 |        0
39.98/40.06	c 40.0s |      16 |   182049 |   176752 |      302    935 |        0 |        0
41.99/42.06	c 42.0s |      16 |   191268 |   185852 |      302    976 |        0 |        0
43.98/44.07	c 44.1s |      16 |   200993 |   195452 |      302   1020 |        0 |        0
44.38/44.47	c 44.5s |      17 |   202991 |   197432 |      333   1028 |        0 |        0
46.39/46.49	c 46.5s |      17 |   212502 |   206632 |      333   1067 |        0 |        0
48.48/48.51	c 48.5s |      17 |   221434 |   215432 |      333   1105 |        0 |        0
50.48/50.53	c 50.5s |      17 |   231264 |   225132 |      333   1146 |        0 |        0
52.48/52.54	c 52.5s |      17 |   240759 |   234532 |      333   1186 |        0 |        0
54.48/54.56	c 54.5s |      17 |   250020 |   243732 |      333   1225 |        0 |        0
56.48/56.56	c 56.5s |      17 |   258926 |   252532 |      333   1263 |        0 |        0
58.48/58.58	c 58.6s |      17 |   267965 |   261332 |      333   1301 |        0 |        0
60.48/60.58	c 60.6s |      17 |   276858 |   270032 |      333   1338 |        0 |        0
62.58/62.60	c 62.6s |      17 |   285946 |   279032 |      333   1377 |        0 |        0
64.58/64.61	c 64.6s |      17 |   294824 |   287732 |      333   1415 |        0 |        0
66.28/66.32	c 66.3s |      18 |   303477 |   296252 |      367   1450 |        0 |        0
68.29/68.33	c 68.3s |      18 |   312603 |   305052 |      367   1485 |        0 |        0
70.28/70.34	c 70.3s |      18 |   321725 |   313952 |      367   1521 |        0 |        0
72.28/72.36	c 72.3s |      18 |   330626 |   322752 |      367   1556 |        0 |        0
74.28/74.38	c 74.4s |      18 |   339402 |   331352 |      367   1590 |        0 |        0
76.28/76.38	c 76.4s |      18 |   348162 |   339952 |      367   1625 |        0 |        0
78.29/78.39	c 78.4s |      18 |   357091 |   348652 |      367   1660 |        0 |        0
80.28/80.40	c 80.4s |      18 |   366726 |   358052 |      367   1697 |        0 |        0
82.38/82.40	c 82.4s |      18 |   376153 |   367352 |      367   1734 |        0 |        0
84.38/84.40	c 84.4s |      18 |   385702 |   376752 |      367   1771 |        0 |        0
86.38/86.41	c 86.4s |      18 |   394660 |   385552 |      367   1806 |        0 |        0
88.38/88.41	c 88.4s |      18 |   403478 |   394252 |      367   1841 |        0 |        0
90.39/90.43	c 90.4s |      18 |   412593 |   403252 |      367   1876 |        0 |        0
92.38/92.44	c 92.4s |      18 |   421589 |   412152 |      367   1912 |        0 |        0
94.38/94.45	c 94.4s |      18 |   430486 |   420852 |      367   1947 |        0 |        0
96.38/96.47	c 96.5s |      18 |   439791 |   429952 |      367   1983 |        0 |        0
98.38/98.48	c 98.5s |      18 |   448290 |   438352 |      367   2017 |        0 |        0
99.87/99.93	c 99.9s |      19 |   454486 |   444482 |      404   2040 |        0 |        0
101.87/101.94	c  101s |      19 |   463552 |   453182 |      404   2072 |        0 |        0
103.87/103.95	c  103s |      19 |   472391 |   461882 |      404   2105 |        0 |        0
105.87/105.95	c  105s |      19 |   481410 |   470782 |      404   2138 |        0 |        0
107.88/107.96	c  107s |      19 |   490588 |   479682 |      404   2171 |        0 |        0
109.87/109.97	c  109s |      19 |   499691 |   488482 |      404   2204 |        0 |        0
111.87/111.98	c  111s |      19 |   508927 |   497382 |      404   2237 |        0 |        0
113.97/114.00	c  113s |      19 |   517864 |   506082 |      404   2269 |        0 |        0
115.97/116.01	c  115s |      19 |   526864 |   514882 |      404   2302 |        0 |        0
117.97/118.01	c  117s |      19 |   535603 |   523382 |      404   2334 |        0 |        0
119.97/120.02	c  120s |      19 |   544628 |   532082 |      404   2366 |        0 |        0
121.97/122.03	c  122s |      19 |   553815 |   540982 |      404   2400 |        0 |        0
123.97/124.04	c  124s |      19 |   563450 |   550382 |      404   2435 |        0 |        0
125.97/126.06	c  126s |      19 |   572670 |   559482 |      404   2469 |        0 |        0
127.97/128.07	c  128s |      19 |   581486 |   568082 |      404   2501 |        0 |        0
129.97/130.09	c  130s |      19 |   590187 |   576582 |      404   2532 |        0 |        0
131.96/132.09	c  132s |      19 |   598751 |   584882 |      404   2564 |        0 |        0
134.06/134.10	c  134s |      19 |   607402 |   593382 |      404   2596 |        0 |        0
136.06/136.11	c  136s |      19 |   617455 |   603182 |      404   2632 |        0 |        0
138.07/138.12	c  138s |      19 |   626509 |   612082 |      404   2665 |        0 |        0
140.07/140.13	c  140s |      19 |   635337 |   620682 |      404   2697 |        0 |        0
142.08/142.15	c  142s |      19 |   644013 |   629182 |      404   2728 |        0 |        0
144.07/144.16	c  144s |      19 |   652431 |   637482 |      404   2759 |        0 |        0
146.07/146.16	c  146s |      19 |   661527 |   646482 |      404   2792 |        0 |        0
148.07/148.17	c  148s |      19 |   670178 |   655082 |      404   2824 |        0 |        0
150.07/150.17	c  150s |      19 |   679149 |   663982 |      445   2857 |        0 |        0
150.78/150.82	c  150s |      20 |   682043 |   666827 |      445   2867 |        0 |        0
152.77/152.85	c  152s |      20 |   691351 |   675727 |      445   2898 |        0 |        0
154.77/154.86	c  154s |      20 |   700298 |   684427 |      445   2928 |        0 |        0
156.77/156.87	c  156s |      20 |   708913 |   692927 |      445   2957 |        0 |        0
158.87/158.90	c  158s |      20 |   717914 |   701727 |      445   2988 |        0 |        0
160.87/160.92	c  160s |      20 |   726561 |   710227 |      445   3017 |        0 |        0
162.88/162.92	c  162s |      20 |   735177 |   718627 |      445   3047 |        0 |        0
164.87/164.93	c  164s |      20 |   743920 |   727227 |      445   3077 |        0 |        0
166.87/166.94	c  166s |      20 |   753366 |   736527 |      445   3109 |        0 |        0
168.87/168.96	c  168s |      20 |   762301 |   745327 |      445   3139 |        0 |        0
170.87/170.96	c  170s |      20 |   770829 |   753727 |      445   3168 |        0 |        0
172.87/172.98	c  172s |      20 |   779259 |   762027 |      445   3197 |        0 |        0
174.87/174.99	c  174s |      20 |   787486 |   770127 |      445   3225 |        0 |        0
176.97/177.01	c  176s |      20 |   795863 |   778427 |      445   3254 |        0 |        0
178.96/179.02	c  179s |      20 |   804911 |   787427 |      445   3285 |        0 |        0
180.96/181.04	c  181s |      20 |   813541 |   796027 |      445   3315 |        0 |        0
182.96/183.06	c  183s |      20 |   822213 |   804627 |      445   3345 |        0 |        0
184.97/185.08	c  185s |      20 |   831012 |   813327 |      445   3375 |        0 |        0
186.96/187.10	c  187s |      20 |   839633 |   821827 |      445   3404 |        0 |        0
189.06/189.12	c  189s |      20 |   848301 |   830427 |      445   3434 |        0 |        0
191.06/191.14	c  191s |      20 |   857004 |   839027 |      445   3464 |        0 |        0
193.06/193.15	c  193s |      20 |   865507 |   847327 |      445   3493 |        0 |        0
195.06/195.15	c  195s |      20 |   874092 |   855827 |      445   3523 |        0 |        0
197.07/197.16	c  197s |      20 |   882860 |   864527 |      445   3553 |        0 |        0
199.06/199.17	c  199s |      20 |   891550 |   873127 |      445   3583 |        0 |        0
201.06/201.19	c  201s |      20 |   900124 |   881627 |      445   3613 |        0 |        0
203.16/203.20	c  203s |      20 |   909039 |   890327 |      445   3643 |        0 |        0
205.16/205.22	c  205s |      20 |   917804 |   898827 |      445   3673 |        0 |        0
207.16/207.24	c  207s |      20 |   926841 |   907627 |      445   3703 |        0 |        0
209.17/209.26	c  209s |      20 |   935507 |   916027 |      445   3732 |        0 |        0
211.16/211.28	c  211s |      20 |   944019 |   924227 |      445   3760 |        0 |        0
213.16/213.28	c  213s |      20 |   952876 |   932827 |      445   3790 |        0 |        0
215.16/215.29	c  215s |      20 |   961415 |   941027 |      445   3819 |        0 |        0
217.26/217.32	c  217s |      20 |   970086 |   949627 |      445   3848 |        0 |        0
219.26/219.33	c  219s |      20 |   978391 |   957827 |      445   3877 |        0 |        0
221.26/221.34	c  221s |      20 |   986601 |   965727 |      445   3904 |        0 |        0
223.26/223.37	c  223s |      20 |   994986 |   974027 |      445   3933 |        0 |        0
225.25/225.38	c  225s |      20 |  1003540 |   982527 |      445   3962 |        0 |        0
227.35/227.40	c  227s |      20 |  1012299 |   991227 |      445   3993 |        0 |        0
229.35/229.41	c  229s |      20 |  1020633 |   999427 |      490   4019 |        0 |        0
229.55/229.64	c  229s |      21 |  1021571 |  1000345 |      490   4022 |        0 |        0
231.55/231.66	c  231s |      21 |  1029918 |  1008445 |      490   4048 |        0 |        0
233.55/233.67	c  233s |      21 |  1039005 |  1017345 |      490   4076 |        0 |        0
235.56/235.68	c  235s |      21 |  1047795 |  1025945 |      490   4104 |        0 |        0
237.55/237.69	c  237s |      21 |  1056387 |  1034445 |      490   4131 |        0 |        0
239.55/239.69	c  239s |      21 |  1064683 |  1042545 |      490   4157 |        0 |        0
241.65/241.70	c  241s |      21 |  1073057 |  1050745 |      490   4183 |        0 |        0
243.65/243.73	c  243s |      21 |  1081134 |  1058645 |      490   4209 |        0 |        0
245.65/245.74	c  245s |      21 |  1089047 |  1066445 |      490   4234 |        0 |        0
247.66/247.74	c  247s |      21 |  1096768 |  1074045 |      490   4258 |        0 |        0
249.65/249.76	c  249s |      21 |  1104742 |  1081845 |      490   4283 |        0 |        0
251.65/251.78	c  251s |      21 |  1113283 |  1090245 |      490   4310 |        0 |        0
253.65/253.79	c  253s |      21 |  1121456 |  1098245 |      490   4336 |        0 |        0
255.65/255.79	c  255s |      21 |  1129412 |  1106045 |      490   4361 |        0 |        0
257.75/257.81	c  257s |      21 |  1138459 |  1114945 |      490   4389 |        0 |        0
259.75/259.82	c  259s |      21 |  1146924 |  1123145 |      490   4416 |        0 |        0
261.75/261.85	c  261s |      21 |  1155207 |  1131245 |      490   4442 |        0 |        0
263.75/263.87	c  263s |      21 |  1163337 |  1139145 |      490   4467 |        0 |        0
265.75/265.88	c  265s |      21 |  1171371 |  1146945 |      490   4492 |        0 |        0
267.75/267.88	c  267s |      21 |  1179246 |  1154645 |      490   4517 |        0 |        0
269.75/269.88	c  269s |      21 |  1187172 |  1162445 |      490   4542 |        0 |        0
271.85/271.90	c  271s |      21 |  1195588 |  1170645 |      490   4569 |        0 |        0
273.84/273.91	c  273s |      21 |  1204017 |  1178845 |      490   4595 |        0 |        0
275.84/275.93	c  275s |      21 |  1212345 |  1187045 |      490   4621 |        0 |        0
277.84/277.95	c  277s |      21 |  1220624 |  1195145 |      490   4647 |        0 |        0
279.84/279.97	c  279s |      21 |  1229253 |  1203445 |      490   4674 |        0 |        0
281.85/281.99	c  281s |      21 |  1237573 |  1211545 |      490   4700 |        0 |        0
283.86/283.99	c  283s |      21 |  1246060 |  1219845 |      490   4727 |        0 |        0
285.95/286.01	c  285s |      21 |  1254924 |  1228445 |      490   4755 |        0 |        0
287.95/288.02	c  288s |      21 |  1263707 |  1236945 |      490   4782 |        0 |        0
289.95/290.05	c  290s |      21 |  1272073 |  1245045 |      490   4808 |        0 |        0
291.95/292.06	c  292s |      21 |  1280216 |  1253045 |      490   4834 |        0 |        0
293.95/294.08	c  294s |      21 |  1288581 |  1261145 |      490   4860 |        0 |        0
295.95/296.09	c  296s |      21 |  1296903 |  1269245 |      490   4886 |        0 |        0
298.05/298.11	c  298s |      21 |  1305335 |  1277345 |      490   4913 |        0 |        0
300.05/300.13	c  300s |      21 |  1313694 |  1285345 |      490   4938 |        0 |        0
302.05/302.14	c  302s |      21 |  1321614 |  1293145 |      490   4964 |        0 |        0
304.04/304.16	c  304s |      21 |  1329610 |  1301045 |      490   4990 |        0 |        0
306.04/306.18	c  306s |      21 |  1338282 |  1309645 |      490   5017 |        0 |        0
308.05/308.18	c  308s |      21 |  1347531 |  1318745 |      490   5046 |        0 |        0
310.04/310.18	c  310s |      21 |  1356933 |  1328045 |      490   5076 |        0 |        0
312.04/312.19	c  312s |      21 |  1366160 |  1337145 |      490   5105 |        0 |        0
314.14/314.20	c  314s |      21 |  1375074 |  1345845 |      490   5132 |        0 |        0
316.14/316.20	c  316s |      21 |  1384109 |  1354745 |      490   5161 |        0 |        0
318.14/318.22	c  318s |      21 |  1393211 |  1363545 |      490   5189 |        0 |        0
320.15/320.23	c  320s |      21 |  1402126 |  1372245 |      490   5217 |        0 |        0
322.14/322.24	c  322s |      21 |  1411370 |  1381245 |      490   5245 |        0 |        0
324.14/324.26	c  324s |      21 |  1420226 |  1389845 |      490   5273 |        0 |        0
326.14/326.28	c  326s |      21 |  1429004 |  1398345 |      490   5300 |        0 |        0
328.14/328.29	c  328s |      21 |  1437924 |  1407045 |      490   5328 |        0 |        0
330.14/330.29	c  330s |      21 |  1446468 |  1415345 |      490   5354 |        0 |        0
332.24/332.31	c  332s |      21 |  1455324 |  1423845 |      490   5382 |        0 |        0
334.24/334.31	c  334s |      21 |  1463993 |  1432345 |      490   5409 |        0 |        0
336.24/336.33	c  336s |      21 |  1473070 |  1441145 |      490   5437 |        0 |        0
338.24/338.34	c  338s |      21 |  1482165 |  1449945 |      490   5465 |        0 |        0
340.24/340.37	c  340s |      21 |  1491059 |  1458445 |      490   5493 |        0 |        0
342.24/342.38	c  342s |      21 |  1499815 |  1466945 |      490   5520 |        0 |        0
344.23/344.39	c  344s |      21 |  1508343 |  1475145 |      490   5546 |        0 |        0
346.33/346.41	c  346s |      21 |  1517350 |  1483745 |      490   5574 |        0 |        0
348.33/348.42	c  348s |      21 |  1526204 |  1492345 |      539   5601 |        0 |        0
350.33/350.42	c  350s |      22 |  1534778 |  1500622 |      539   5625 |        0 |        0
352.33/352.44	c  352s |      22 |  1543107 |  1508722 |      539   5649 |        0 |        0
354.34/354.44	c  354s |      22 |  1551088 |  1516622 |      539   5673 |        0 |        0
356.33/356.47	c  356s |      22 |  1559134 |  1524622 |      539   5697 |        0 |        0
358.33/358.49	c  358s |      22 |  1567148 |  1532522 |      539   5720 |        0 |        0
360.43/360.51	c  360s |      22 |  1575130 |  1540322 |      539   5743 |        0 |        0
362.43/362.52	c  362s |      22 |  1583331 |  1548222 |      539   5767 |        0 |        0
364.44/364.52	c  364s |      22 |  1591213 |  1555922 |      539   5790 |        0 |        0
366.44/366.54	c  366s |      22 |  1599349 |  1563822 |      539   5813 |        0 |        0
368.44/368.55	c  368s |      22 |  1608082 |  1572322 |      539   5839 |        0 |        0
370.44/370.56	c  370s |      22 |  1616243 |  1580322 |      539   5862 |        0 |        0
372.44/372.58	c  372s |      22 |  1624257 |  1588122 |      539   5886 |        0 |        0
374.44/374.58	c  374s |      22 |  1632677 |  1596322 |      539   5910 |        0 |        0
376.54/376.61	c  376s |      22 |  1640899 |  1604322 |      539   5934 |        0 |        0
378.54/378.63	c  378s |      22 |  1648941 |  1612122 |      539   5957 |        0 |        0
380.54/380.65	c  380s |      22 |  1656974 |  1620022 |      539   5981 |        0 |        0
382.53/382.66	c  382s |      22 |  1665368 |  1628322 |      539   6005 |        0 |        0
384.53/384.66	c  384s |      22 |  1673187 |  1636022 |      539   6028 |        0 |        0
386.53/386.67	c  386s |      22 |  1681063 |  1643722 |      539   6051 |        0 |        0
388.63/388.70	c  388s |      22 |  1688847 |  1651422 |      539   6074 |        0 |        0
390.64/390.71	c  390s |      22 |  1696868 |  1659322 |      539   6098 |        0 |        0
392.63/392.73	c  392s |      22 |  1705130 |  1667522 |      539   6122 |        0 |        0
394.63/394.75	c  394s |      22 |  1713709 |  1676022 |      539   6148 |        0 |        0
396.63/396.76	c  396s |      22 |  1721517 |  1683722 |      539   6171 |        0 |        0
398.63/398.77	c  398s |      22 |  1729392 |  1691522 |      539   6194 |        0 |        0
400.73/400.80	c  400s |      22 |  1737220 |  1699222 |      539   6217 |        0 |        0
402.74/402.83	c  402s |      22 |  1745061 |  1706922 |      539   6240 |        0 |        0
404.73/404.83	c  404s |      22 |  1752508 |  1714222 |      539   6262 |        0 |        0
406.73/406.85	c  406s |      22 |  1760008 |  1721622 |      539   6284 |        0 |        0
408.73/408.86	c  408s |      22 |  1767588 |  1729122 |      539   6306 |        0 |        0
410.73/410.89	c  410s |      22 |  1775233 |  1736622 |      539   6329 |        0 |        0
412.83/412.91	c  412s |      22 |  1783017 |  1744222 |      539   6351 |        0 |        0
414.83/414.92	c  414s |      22 |  1790713 |  1751722 |      539   6374 |        0 |        0
416.83/416.94	c  416s |      22 |  1798686 |  1759422 |      539   6397 |        0 |        0
418.83/418.96	c  418s |      22 |  1807398 |  1767822 |      539   6422 |        0 |        0
420.83/420.97	c  420s |      22 |  1816055 |  1776222 |      539   6447 |        0 |        0
422.82/422.97	c  422s |      22 |  1824491 |  1784422 |      539   6472 |        0 |        0
424.92/425.00	c  424s |      22 |  1832438 |  1792222 |      539   6495 |        0 |        0
426.93/427.01	c  426s |      22 |  1840539 |  1800122 |      539   6518 |        0 |        0
428.92/429.04	c  429s |      22 |  1848818 |  1808222 |      539   6543 |        0 |        0
430.92/431.04	c  431s |      22 |  1856587 |  1815922 |      539   6566 |        0 |        0
432.92/433.05	c  433s |      22 |  1864276 |  1823522 |      539   6588 |        0 |        0
434.92/435.07	c  435s |      22 |  1871724 |  1830922 |      539   6611 |        0 |        0
436.92/437.09	c  437s |      22 |  1879101 |  1838222 |      539   6633 |        0 |        0
439.03/439.11	c  439s |      22 |  1886989 |  1846022 |      539   6656 |        0 |        0
441.02/441.12	c  441s |      22 |  1894483 |  1853422 |      539   6678 |        0 |        0
443.02/443.13	c  443s |      22 |  1901737 |  1860622 |      539   6700 |        0 |        0
445.02/445.13	c  445s |      22 |  1909115 |  1867922 |      539   6722 |        0 |        0
447.02/447.15	c  447s |      22 |  1917786 |  1876422 |      539   6747 |        0 |        0
449.02/449.17	c  449s |      22 |  1926125 |  1884622 |      539   6771 |        0 |        0
451.03/451.19	c  451s |      22 |  1934144 |  1892522 |      539   6794 |        0 |        0
453.12/453.21	c  453s |      22 |  1941926 |  1900122 |      539   6817 |        0 |        0
455.12/455.24	c  455s |      22 |  1949785 |  1907822 |      539   6839 |        0 |        0
457.12/457.24	c  457s |      22 |  1957959 |  1915822 |      539   6863 |        0 |        0
459.12/459.27	c  459s |      22 |  1965733 |  1923422 |      539   6886 |        0 |        0
461.12/461.29	c  461s |      22 |  1973357 |  1930822 |      539   6908 |        0 |        0
463.12/463.29	c  463s |      22 |  1980969 |  1938222 |      539   6930 |        0 |        0
465.22/465.30	c  465s |      22 |  1988445 |  1945522 |      539   6951 |        0 |        0
467.22/467.31	c  467s |      22 |  1995988 |  1952822 |      539   6973 |        0 |        0
469.21/469.33	c  469s |      22 |  2003884 |  1960522 |      539   6996 |        0 |        0
471.21/471.34	c  471s |      22 |  2011607 |  1968122 |      539   7019 |        0 |        0
473.21/473.35	c  473s |      22 |  2019299 |  1975722 |      539   7041 |        0 |        0
475.22/475.36	c  475s |      22 |  2027430 |  1983722 |      539   7065 |        0 |        0
477.21/477.38	c  477s |      22 |  2034942 |  1991122 |      539   7087 |        0 |        0
479.31/479.41	c  479s |      22 |  2042756 |  1998822 |      539   7110 |        0 |        0
481.31/481.41	c  481s |      22 |  2051134 |  2007122 |      539   7135 |        0 |        0
483.31/483.43	c  483s |      22 |  2059382 |  2015122 |      539   7159 |        0 |        0
485.31/485.44	c  485s |      22 |  2067341 |  2023022 |      539   7182 |        0 |        0
487.32/487.45	c  487s |      22 |  2075074 |  2030522 |      539   7205 |        0 |        0
489.31/489.45	c  489s |      22 |  2083175 |  2038422 |      539   7228 |        0 |        0
491.31/491.47	c  491s |      22 |  2091279 |  2046322 |      539   7252 |        0 |        0
493.31/493.49	c  493s |      22 |  2098987 |  2053922 |      539   7275 |        0 |        0
495.42/495.51	c  495s |      22 |  2106475 |  2061322 |      539   7297 |        0 |        0
497.42/497.53	c  497s |      22 |  2113977 |  2068722 |      539   7319 |        0 |        0
499.42/499.53	c  499s |      22 |  2121498 |  2076022 |      539   7341 |        0 |        0
501.42/501.55	c  501s |      22 |  2128967 |  2083322 |      539   7363 |        0 |        0
503.42/503.58	c  503s |      22 |  2136489 |  2090722 |      539   7385 |        0 |        0
505.42/505.58	c  505s |      22 |  2143808 |  2097922 |      539   7407 |        0 |        0
507.52/507.60	c  507s |      22 |  2151458 |  2105322 |      539   7429 |        0 |        0
509.52/509.61	c  509s |      22 |  2158750 |  2112422 |      539   7450 |        0 |        0
511.52/511.62	c  511s |      22 |  2165907 |  2119422 |      539   7471 |        0 |        0
513.51/513.65	c  513s |      22 |  2173369 |  2126722 |      539   7493 |        0 |        0
515.51/515.67	c  515s |      22 |  2180642 |  2133922 |      539   7515 |        0 |        0
517.51/517.67	c  517s |      22 |  2187907 |  2141022 |      539   7536 |        0 |        0
519.51/519.68	c  519s |      22 |  2195423 |  2148422 |      539   7558 |        0 |        0
521.52/521.68	c  521s |      22 |  2202514 |  2155422 |      539   7580 |        0 |        0
523.51/523.70	c  523s |      22 |  2209961 |  2162822 |      539   7602 |        0 |        0
525.61/525.72	c  525s |      22 |  2217343 |  2170122 |      539   7624 |        0 |        0
527.61/527.74	c  527s |      22 |  2224601 |  2177322 |      539   7646 |        0 |        0
529.61/529.76	c  529s |      22 |  2232455 |  2185022 |      539   7669 |        0 |        0
531.61/531.76	c  531s |      22 |  2240512 |  2192922 |      539   7692 |        0 |        0
533.62/533.77	c  533s |      22 |  2248485 |  2200722 |      539   7715 |        0 |        0
535.61/535.80	c  535s |      22 |  2257401 |  2209322 |      539   7741 |        0 |        0
537.71/537.81	c  537s |      22 |  2265944 |  2217522 |      539   7765 |        0 |        0
539.71/539.82	c  539s |      22 |  2274402 |  2225722 |      539   7789 |        0 |        0
541.71/541.84	c  541s |      22 |  2282987 |  2233922 |      539   7814 |        0 |        0
543.71/543.84	c  543s |      22 |  2291020 |  2241722 |      593   7835 |        0 |        0
545.71/545.85	c  545s |      22 |  2299493 |  2249822 |      593   7858 |        0 |        0
546.00/546.15	c  546s |      23 |  2300725 |  2251038 |      593   7861 |        0 |        0
548.00/548.15	c  548s |      23 |  2308827 |  2258938 |      593   7883 |        0 |        0
550.01/550.16	c  550s |      23 |  2316959 |  2267038 |      593   7905 |        0 |        0
552.00/552.18	c  552s |      23 |  2325152 |  2275138 |      593   7928 |        0 |        0
554.00/554.19	c  554s |      23 |  2333303 |  2283238 |      593   7950 |        0 |        0
556.10/556.22	c  556s |      23 |  2341596 |  2291438 |      593   7972 |        0 |        0
558.10/558.22	c  558s |      23 |  2349826 |  2299538 |      593   7995 |        0 |        0
560.10/560.22	c  560s |      23 |  2358141 |  2307638 |      593   8017 |        0 |        0
562.10/562.22	c  562s |      23 |  2366480 |  2315738 |      593   8039 |        0 |        0
564.10/564.23	c  564s |      23 |  2374815 |  2324038 |      593   8062 |        0 |        0
566.09/566.24	c  566s |      23 |  2382817 |  2331938 |      593   8084 |        0 |        0
568.09/568.27	c  568s |      23 |  2391224 |  2340138 |      593   8106 |        0 |        0
570.09/570.28	c  570s |      23 |  2399382 |  2348138 |      593   8128 |        0 |        0
572.10/572.29	c  572s |      23 |  2407720 |  2356438 |      593   8151 |        0 |        0
574.20/574.32	c  574s |      23 |  2415451 |  2364138 |      593   8173 |        0 |        0
576.19/576.34	c  576s |      23 |  2423443 |  2372038 |      593   8194 |        0 |        0
578.19/578.35	c  578s |      23 |  2431656 |  2380138 |      593   8217 |        0 |        0
580.19/580.38	c  580s |      23 |  2439350 |  2387738 |      593   8238 |        0 |        0
582.19/582.39	c  582s |      23 |  2447102 |  2395438 |      593   8259 |        0 |        0
584.29/584.40	c  584s |      23 |  2454761 |  2403038 |      593   8280 |        0 |        0
586.30/586.42	c  586s |      23 |  2462822 |  2411038 |      593   8303 |        0 |        0
588.29/588.43	c  588s |      23 |  2470802 |  2418938 |      593   8324 |        0 |        0
590.29/590.43	c  590s |      23 |  2478766 |  2426738 |      593   8346 |        0 |        0
592.29/592.44	c  592s |      23 |  2487278 |  2434838 |      593   8368 |        0 |        0
594.29/594.46	c  594s |      23 |  2496102 |  2443438 |      593   8392 |        0 |        0
596.30/596.47	c  596s |      23 |  2504385 |  2451538 |      593   8414 |        0 |        0
598.29/598.49	c  598s |      23 |  2512552 |  2459538 |      593   8436 |        0 |        0
600.39/600.51	c  600s |      23 |  2520402 |  2467138 |      593   8457 |        0 |        0
602.39/602.51	c  602s |      23 |  2528654 |  2475138 |      593   8479 |        0 |        0
604.39/604.53	c  604s |      23 |  2536678 |  2483038 |      593   8501 |        0 |        0
606.38/606.53	c  606s |      23 |  2544717 |  2490938 |      593   8522 |        0 |        0
608.39/608.56	c  608s |      23 |  2553074 |  2499038 |      593   8545 |        0 |        0
610.38/610.57	c  610s |      23 |  2561034 |  2506838 |      593   8566 |        0 |        0
612.38/612.57	c  612s |      23 |  2569156 |  2514838 |      593   8588 |        0 |        0
614.38/614.57	c  614s |      23 |  2578185 |  2523638 |      593   8612 |        0 |        0
616.48/616.60	c  616s |      23 |  2586620 |  2531938 |      593   8635 |        0 |        0
618.48/618.61	c  618s |      23 |  2594855 |  2540038 |      593   8657 |        0 |        0
620.48/620.62	c  620s |      23 |  2602843 |  2547838 |      593   8679 |        0 |        0
622.47/622.63	c  622s |      23 |  2611285 |  2556038 |      593   8702 |        0 |        0
624.47/624.65	c  624s |      23 |  2619389 |  2563938 |      593   8723 |        0 |        0
626.47/626.66	c  626s |      23 |  2626877 |  2571338 |      593   8744 |        0 |        0
628.47/628.67	c  628s |      23 |  2634636 |  2578938 |      593   8765 |        0 |        0
630.47/630.67	c  630s |      23 |  2642818 |  2586838 |      593   8787 |        0 |        0
632.48/632.69	c  632s |      23 |  2650950 |  2594638 |      593   8808 |        0 |        0
634.57/634.70	c  634s |      23 |  2659822 |  2603238 |      593   8832 |        0 |        0
636.57/636.71	c  636s |      23 |  2667825 |  2611138 |      593   8854 |        0 |        0
638.57/638.72	c  638s |      23 |  2675832 |  2619038 |      593   8875 |        0 |        0
640.57/640.73	c  640s |      23 |  2684021 |  2626938 |      593   8897 |        0 |        0
642.57/642.75	c  642s |      23 |  2691974 |  2634738 |      593   8919 |        0 |        0
644.57/644.77	c  644s |      23 |  2699841 |  2642538 |      593   8940 |        0 |        0
646.66/646.80	c  646s |      23 |  2707748 |  2650338 |      593   8962 |        0 |        0
648.66/648.80	c  648s |      23 |  2715557 |  2657938 |      593   8983 |        0 |        0
650.66/650.82	c  650s |      23 |  2723834 |  2666038 |      593   9005 |        0 |        0
652.66/652.84	c  652s |      23 |  2732127 |  2674138 |      593   9027 |        0 |        0
654.66/654.85	c  654s |      23 |  2739909 |  2681738 |      593   9048 |        0 |        0
656.66/656.86	c  656s |      23 |  2747335 |  2689038 |      593   9068 |        0 |        0
658.66/658.88	c  658s |      23 |  2755539 |  2697038 |      593   9091 |        0 |        0
660.66/660.88	c  660s |      23 |  2763402 |  2704638 |      593   9112 |        0 |        0
662.66/662.89	c  662s |      23 |  2771530 |  2712538 |      593   9134 |        0 |        0
664.75/664.90	c  664s |      23 |  2779785 |  2720538 |      593   9156 |        0 |        0
666.75/666.91	c  666s |      23 |  2788953 |  2729438 |      593   9180 |        0 |        0
668.76/668.92	c  668s |      23 |  2798508 |  2738638 |      593   9206 |        0 |        0
670.75/670.95	c  670s |      23 |  2807524 |  2747438 |      593   9230 |        0 |        0
672.75/672.96	c  672s |      23 |  2816418 |  2756038 |      593   9254 |        0 |        0
674.75/674.97	c  674s |      23 |  2824930 |  2764338 |      593   9276 |        0 |        0
676.75/676.99	c  676s |      23 |  2833672 |  2772938 |      593   9300 |        0 |        0
678.85/679.01	c  678s |      23 |  2842099 |  2781138 |      593   9323 |        0 |        0
680.85/681.03	c  681s |      23 |  2850479 |  2789338 |      593   9345 |        0 |        0
682.84/683.05	c  683s |      23 |  2858918 |  2797538 |      593   9368 |        0 |        0
684.84/685.05	c  685s |      23 |  2866723 |  2805238 |      593   9389 |        0 |        0
686.84/687.05	c  687s |      23 |  2874886 |  2813238 |      593   9411 |        0 |        0
688.84/689.07	c  689s |      23 |  2883742 |  2821838 |      593   9435 |        0 |        0
690.85/691.08	c  691s |      23 |  2892419 |  2830238 |      593   9458 |        0 |        0
692.85/693.10	c  693s |      23 |  2900866 |  2838338 |      593   9480 |        0 |        0
694.95/695.11	c  695s |      23 |  2909105 |  2846338 |      593   9503 |        0 |        0
696.95/697.12	c  697s |      23 |  2917343 |  2854338 |      593   9525 |        0 |        0
698.94/699.15	c  699s |      23 |  2925312 |  2862138 |      593   9546 |        0 |        0
700.94/701.16	c  701s |      23 |  2933228 |  2869838 |      593   9568 |        0 |        0
702.95/703.18	c  703s |      23 |  2941275 |  2877638 |      593   9590 |        0 |        0
704.94/705.19	c  705s |      23 |  2949155 |  2885338 |      593   9611 |        0 |        0
707.04/707.21	c  707s |      23 |  2956972 |  2893038 |      593   9632 |        0 |        0
709.04/709.23	c  709s |      23 |  2964563 |  2900538 |      593   9653 |        0 |        0
711.04/711.23	c  711s |      23 |  2972477 |  2908338 |      593   9674 |        0 |        0
713.04/713.24	c  713s |      23 |  2980156 |  2915938 |      593   9695 |        0 |        0
715.04/715.25	c  715s |      23 |  2988072 |  2923638 |      593   9717 |        0 |        0
717.03/717.26	c  717s |      23 |  2996072 |  2931438 |      593   9738 |        0 |        0
719.03/719.27	c  719s |      23 |  3004304 |  2939238 |      593   9760 |        0 |        0
721.03/721.28	c  721s |      23 |  3012289 |  2947038 |      593   9782 |        0 |        0
723.13/723.30	c  723s |      23 |  3019980 |  2954638 |      593   9803 |        0 |        0
725.13/725.33	c  725s |      23 |  3027949 |  2962438 |      593   9824 |        0 |        0
727.13/727.35	c  727s |      23 |  3035986 |  2970338 |      593   9846 |        0 |        0
729.13/729.35	c  729s |      23 |  3044140 |  2978238 |      593   9868 |        0 |        0
731.13/731.35	c  731s |      23 |  3052015 |  2985938 |      593   9889 |        0 |        0
733.13/733.35	c  733s |      23 |  3059968 |  2993638 |      593   9911 |        0 |        0
735.12/735.36	c  735s |      23 |  3067675 |  3001238 |      593   9932 |        0 |        0
737.12/737.37	c  737s |      23 |  3075261 |  3008738 |      593   9953 |        0 |        0
739.13/739.40	c  739s |      23 |  3083130 |  3016438 |      593   9974 |        0 |        0
741.22/741.40	c  741s |      23 |  3091465 |  3024638 |      593   9997 |        0 |        0
743.22/743.40	c  743s |      23 |  3099829 |  3032838 |      593  10019 |        0 |        0
745.22/745.42	c  745s |      23 |  3107813 |  3040738 |      593  10041 |        0 |        0
747.22/747.43	c  747s |      23 |  3116056 |  3048938 |      593  10063 |        0 |        0
749.22/749.45	c  749s |      23 |  3124330 |  3057138 |      593  10086 |        0 |        0
751.22/751.47	c  751s |      23 |  3132450 |  3065138 |      593  10108 |        0 |        0
753.21/753.47	c  753s |      23 |  3140744 |  3073338 |      593  10130 |        0 |        0
755.21/755.48	c  755s |      23 |  3149018 |  3081538 |      593  10153 |        0 |        0
757.22/757.48	c  757s |      23 |  3157218 |  3089638 |      593  10175 |        0 |        0
759.22/759.48	c  759s |      23 |  3165404 |  3097738 |      593  10197 |        0 |        0
761.23/761.49	c  761s |      23 |  3173578 |  3105738 |      593  10219 |        0 |        0
763.22/763.50	c  763s |      23 |  3181664 |  3113538 |      593  10241 |        0 |        0
765.31/765.52	c  765s |      23 |  3189660 |  3121438 |      593  10262 |        0 |        0
767.31/767.54	c  767s |      23 |  3197477 |  3129138 |      593  10283 |        0 |        0
769.31/769.56	c  769s |      23 |  3205144 |  3136638 |      593  10304 |        0 |        0
771.31/771.58	c  771s |      23 |  3213017 |  3144438 |      593  10326 |        0 |        0
773.32/773.59	c  773s |      23 |  3220890 |  3152238 |      593  10347 |        0 |        0
775.41/775.61	c  775s |      23 |  3228553 |  3159838 |      593  10368 |        0 |        0
777.41/777.62	c  777s |      23 |  3236235 |  3167438 |      593  10389 |        0 |        0
779.41/779.63	c  779s |      23 |  3244003 |  3175138 |      593  10410 |        0 |        0
781.41/781.65	c  781s |      23 |  3251485 |  3182538 |      593  10431 |        0 |        0
783.41/783.67	c  783s |      23 |  3259325 |  3190238 |      593  10452 |        0 |        0
785.50/785.70	c  785s |      23 |  3267247 |  3198038 |      593  10473 |        0 |        0
787.51/787.72	c  787s |      23 |  3274955 |  3205638 |      593  10494 |        0 |        0
789.50/789.74	c  789s |      23 |  3283109 |  3213638 |      593  10516 |        0 |        0
791.50/791.76	c  791s |      23 |  3291308 |  3221738 |      593  10539 |        0 |        0
793.50/793.77	c  793s |      23 |  3299515 |  3229838 |      593  10561 |        0 |        0
795.50/795.79	c  795s |      23 |  3307815 |  3238038 |      593  10584 |        0 |        0
797.50/797.79	c  797s |      23 |  3316295 |  3246438 |      593  10607 |        0 |        0
799.50/799.80	c  799s |      23 |  3324601 |  3254638 |      593  10629 |        0 |        0
801.60/801.83	c  801s |      23 |  3332666 |  3262638 |      593  10651 |        0 |        0
803.60/803.83	c  803s |      23 |  3340425 |  3270338 |      593  10673 |        0 |        0
805.59/805.85	c  805s |      23 |  3348513 |  3278338 |      593  10695 |        0 |        0
807.59/807.87	c  807s |      23 |  3356553 |  3286338 |      593  10717 |        0 |        0
809.60/809.87	c  809s |      23 |  3364221 |  3293938 |      593  10738 |        0 |        0
811.59/811.90	c  811s |      23 |  3372185 |  3301838 |      593  10760 |        0 |        0
813.69/813.92	c  813s |      23 |  3379889 |  3309438 |      593  10781 |        0 |        0
815.69/815.94	c  815s |      23 |  3387834 |  3317138 |      593  10802 |        0 |        0
817.68/817.94	c  817s |      23 |  3395850 |  3324938 |      593  10824 |        0 |        0
819.68/819.95	c  819s |      23 |  3403803 |  3332638 |      593  10845 |        0 |        0
821.69/821.96	c  821s |      23 |  3411702 |  3340338 |      593  10866 |        0 |        0
823.68/823.97	c  823s |      23 |  3419442 |  3347938 |      593  10887 |        0 |        0
825.68/825.97	c  825s |      23 |  3427891 |  3356238 |      653  10909 |        0 |        0
827.68/828.00	c  827s |      23 |  3435947 |  3364138 |      653  10929 |        0 |        0
829.78/830.00	c  829s |      23 |  3443890 |  3371938 |      653  10949 |        0 |        0
830.98/831.21	c  831s |      24 |  3448637 |  3376662 |      653  10961 |        0 |        0
832.98/833.22	c  833s |      24 |  3456554 |  3384262 |      653  10980 |        0 |        0
834.98/835.23	c  835s |      24 |  3464054 |  3391662 |      653  10999 |        0 |        0
836.99/837.23	c  837s |      24 |  3471488 |  3399062 |      653  11018 |        0 |        0
838.98/839.24	c  839s |      24 |  3479083 |  3406562 |      653  11037 |        0 |        0
840.98/841.26	c  841s |      24 |  3486769 |  3414162 |      653  11056 |        0 |        0
842.98/843.28	c  843s |      24 |  3494459 |  3421762 |      653  11076 |        0 |        0
844.98/845.29	c  845s |      24 |  3502109 |  3429362 |      653  11095 |        0 |        0
847.07/847.31	c  847s |      24 |  3510106 |  3437262 |      653  11115 |        0 |        0
849.08/849.31	c  849s |      24 |  3517922 |  3444962 |      653  11135 |        0 |        0
851.07/851.33	c  851s |      24 |  3525874 |  3452862 |      653  11155 |        0 |        0
853.07/853.34	c  853s |      24 |  3534056 |  3460962 |      653  11175 |        0 |        0
855.07/855.36	c  855s |      24 |  3541780 |  3468562 |      653  11195 |        0 |        0
857.07/857.39	c  857s |      24 |  3549801 |  3476462 |      653  11215 |        0 |        0
859.17/859.40	c  859s |      24 |  3557766 |  3484362 |      653  11235 |        0 |        0
861.07/861.40	c  861s |      24 |  3565639 |  3492062 |      653  11254 |        0 |        0
863.17/863.41	c  863s |      24 |  3573679 |  3499862 |      653  11274 |        0 |        0
865.16/865.41	c  865s |      24 |  3581387 |  3507462 |      653  11294 |        0 |        0
867.16/867.42	c  867s |      24 |  3589354 |  3515362 |      653  11314 |        0 |        0
869.16/869.45	c  869s |      24 |  3597417 |  3523162 |      653  11334 |        0 |        0
871.16/871.47	c  871s |      24 |  3605652 |  3531262 |      653  11354 |        0 |        0
873.16/873.48	c  873s |      24 |  3613237 |  3538762 |      653  11373 |        0 |        0
875.25/875.51	c  875s |      24 |  3621017 |  3546362 |      653  11393 |        0 |        0
877.25/877.53	c  877s |      24 |  3628827 |  3553862 |      653  11412 |        0 |        0
879.25/879.55	c  879s |      24 |  3636647 |  3561462 |      653  11431 |        0 |        0
881.25/881.56	c  881s |      24 |  3644394 |  3569062 |      653  11451 |        0 |        0
883.26/883.58	c  883s |      24 |  3652137 |  3576562 |      653  11470 |        0 |        0
885.25/885.59	c  885s |      24 |  3659751 |  3584062 |      653  11489 |        0 |        0
887.25/887.59	c  887s |      24 |  3667217 |  3591362 |      653  11508 |        0 |        0
889.35/889.60	c  889s |      24 |  3674882 |  3598862 |      653  11527 |        0 |        0
891.35/891.62	c  891s |      24 |  3682761 |  3606662 |      653  11547 |        0 |        0
893.35/893.62	c  893s |      24 |  3690372 |  3614162 |      653  11566 |        0 |        0
895.35/895.62	c  895s |      24 |  3698214 |  3621862 |      653  11586 |        0 |        0
897.35/897.62	c  897s |      24 |  3706878 |  3630462 |      653  11608 |        0 |        0
899.36/899.64	c  899s |      24 |  3715601 |  3639062 |      653  11629 |        0 |        0
901.36/901.65	c  901s |      24 |  3723849 |  3647262 |      653  11650 |        0 |        0
903.35/903.66	c  903s |      24 |  3731873 |  3655262 |      653  11671 |        0 |        0
905.35/905.67	c  905s |      24 |  3739937 |  3663262 |      653  11691 |        0 |        0
907.36/907.69	c  907s |      24 |  3748783 |  3672062 |      653  11713 |        0 |        0
909.45/909.70	c  909s |      24 |  3757505 |  3680762 |      653  11735 |        0 |        0
911.45/911.72	c  911s |      24 |  3765825 |  3689062 |      653  11756 |        0 |        0
913.45/913.73	c  913s |      24 |  3773656 |  3696862 |      653  11776 |        0 |        0
915.44/915.74	c  915s |      24 |  3781583 |  3704762 |      653  11797 |        0 |        0
917.44/917.77	c  917s |      24 |  3789995 |  3713062 |      653  11818 |        0 |        0
919.45/919.77	c  919s |      24 |  3798329 |  3721262 |      653  11838 |        0 |        0
921.44/921.77	c  921s |      24 |  3806423 |  3729262 |      653  11859 |        0 |        0
923.54/923.80	c  923s |      24 |  3814983 |  3737762 |      653  11881 |        0 |        0
925.54/925.80	c  925s |      24 |  3823476 |  3746162 |      653  11902 |        0 |        0
927.54/927.81	c  927s |      24 |  3831554 |  3754162 |      653  11922 |        0 |        0
929.54/929.83	c  929s |      24 |  3839475 |  3761962 |      653  11942 |        0 |        0
931.54/931.85	c  931s |      24 |  3847818 |  3770262 |      653  11963 |        0 |        0
933.53/933.86	c  933s |      24 |  3856152 |  3778562 |      653  11985 |        0 |        0
935.53/935.88	c  935s |      24 |  3864676 |  3787062 |      653  12006 |        0 |        0
937.63/937.90	c  937s |      24 |  3872817 |  3795162 |      653  12027 |        0 |        0
939.63/939.91	c  939s |      24 |  3880860 |  3803162 |      653  12048 |        0 |        0
941.63/941.92	c  941s |      24 |  3889205 |  3811462 |      653  12069 |        0 |        0
943.63/943.92	c  943s |      24 |  3897321 |  3819562 |      653  12090 |        0 |        0
945.62/945.93	c  945s |      24 |  3905659 |  3827862 |      653  12111 |        0 |        0
947.62/947.94	c  947s |      24 |  3914105 |  3836262 |      653  12133 |        0 |        0
949.62/949.95	c  949s |      24 |  3922339 |  3844462 |      653  12154 |        0 |        0
951.62/951.97	c  951s |      24 |  3930063 |  3852062 |      653  12173 |        0 |        0
953.63/953.99	c  953s |      24 |  3937564 |  3859462 |      653  12192 |        0 |        0
955.73/956.02	c  956s |      24 |  3945351 |  3867162 |      653  12211 |        0 |        0
957.72/958.04	c  958s |      24 |  3953291 |  3874962 |      653  12231 |        0 |        0
959.72/960.06	c  960s |      24 |  3961179 |  3882762 |      653  12251 |        0 |        0
961.72/962.08	c  962s |      24 |  3968744 |  3890262 |      653  12270 |        0 |        0
963.72/964.09	c  964s |      24 |  3976433 |  3897862 |      653  12289 |        0 |        0
965.81/966.11	c  966s |      24 |  3984000 |  3905262 |      653  12308 |        0 |        0
967.82/968.13	c  968s |      24 |  3991915 |  3913062 |      653  12328 |        0 |        0
969.81/970.13	c  970s |      24 |  3999688 |  3920662 |      653  12347 |        0 |        0
971.81/972.16	c  972s |      24 |  4007371 |  3928162 |      653  12367 |        0 |        0
973.81/974.18	c  974s |      24 |  4014917 |  3935562 |      653  12386 |        0 |        0
975.91/976.20	c  976s |      24 |  4023017 |  3943462 |      653  12406 |        0 |        0
977.91/978.22	c  978s |      24 |  4030653 |  3950962 |      653  12425 |        0 |        0
979.91/980.24	c  980s |      24 |  4038036 |  3958262 |      653  12443 |        0 |        0
981.91/982.25	c  982s |      24 |  4045530 |  3965662 |      653  12462 |        0 |        0
983.91/984.28	c  984s |      24 |  4053161 |  3973162 |      653  12481 |        0 |        0
986.00/986.30	c  986s |      24 |  4061108 |  3981062 |      653  12501 |        0 |        0
988.00/988.30	c  988s |      24 |  4068636 |  3988462 |      653  12520 |        0 |        0
990.00/990.32	c  990s |      24 |  4076117 |  3995762 |      653  12539 |        0 |        0
992.01/992.34	c  992s |      24 |  4083761 |  4003162 |      653  12558 |        0 |        0
994.00/994.35	c  994s |      24 |  4091534 |  4010762 |      653  12577 |        0 |        0
995.99/996.36	c  996s |      24 |  4099483 |  4018562 |      653  12597 |        0 |        0
997.99/998.37	c  998s |      24 |  4107227 |  4026162 |      653  12617 |        0 |        0
999.99/1000.38	c 1000s |      24 |  4114986 |  4033762 |      653  12636 |        0 |        0
1002.09/1002.40	c 1002s |      24 |  4122594 |  4041262 |      653  12655 |        0 |        0
1004.10/1004.41	c 1004s |      24 |  4130214 |  4048762 |      653  12675 |        0 |        0
1006.09/1006.43	c 1006s |      24 |  4138753 |  4057162 |      653  12696 |        0 |        0
1008.09/1008.44	c 1008s |      24 |  4146599 |  4064962 |      653  12716 |        0 |        0
1010.09/1010.46	c 1010s |      24 |  4154236 |  4072562 |      653  12735 |        0 |        0
1012.09/1012.47	c 1012s |      24 |  4161583 |  4079762 |      653  12754 |        0 |        0
1014.10/1014.48	c 1014s |      24 |  4168947 |  4086962 |      653  12772 |        0 |        0
1016.09/1016.49	c 1016s |      24 |  4176381 |  4094262 |      653  12791 |        0 |        0
1018.19/1018.51	c 1018s |      24 |  4183689 |  4101462 |      653  12809 |        0 |        0
1020.19/1020.54	c 1020s |      24 |  4191002 |  4108662 |      653  12828 |        0 |        0
1022.19/1022.55	c 1022s |      24 |  4198643 |  4116162 |      653  12847 |        0 |        0
1024.19/1024.58	c 1024s |      24 |  4206025 |  4123462 |      653  12866 |        0 |        0
1026.19/1026.58	c 1026s |      24 |  4213450 |  4130762 |      653  12884 |        0 |        0
1028.18/1028.60	c 1028s |      24 |  4220976 |  4138162 |      653  12903 |        0 |        0
1030.28/1030.62	c 1030s |      24 |  4228073 |  4145162 |      653  12921 |        0 |        0
1032.28/1032.63	c 1032s |      24 |  4235726 |  4152662 |      653  12941 |        0 |        0
1034.28/1034.65	c 1034s |      24 |  4243196 |  4159962 |      653  12959 |        0 |        0
1036.28/1036.66	c 1036s |      24 |  4250753 |  4167462 |      653  12979 |        0 |        0
1038.29/1038.67	c 1038s |      24 |  4258435 |  4175062 |      653  12998 |        0 |        0
1040.28/1040.67	c 1040s |      24 |  4265843 |  4182362 |      653  13017 |        0 |        0
1042.28/1042.68	c 1042s |      24 |  4273035 |  4189462 |      653  13035 |        0 |        0
1044.28/1044.69	c 1044s |      24 |  4280225 |  4196562 |      653  13054 |        0 |        0
1046.37/1046.71	c 1046s |      24 |  4287715 |  4203962 |      653  13073 |        0 |        0
1048.37/1048.73	c 1048s |      24 |  4295520 |  4211662 |      653  13092 |        0 |        0
1050.38/1050.73	c 1050s |      24 |  4303063 |  4219162 |      653  13111 |        0 |        0
1052.37/1052.74	c 1052s |      24 |  4310421 |  4226462 |      653  13130 |        0 |        0
1054.37/1054.74	c 1054s |      24 |  4317482 |  4233462 |      653  13148 |        0 |        0
1056.37/1056.75	c 1056s |      24 |  4324667 |  4240562 |      653  13166 |        0 |        0
1058.37/1058.76	c 1058s |      24 |  4332051 |  4247862 |      653  13184 |        0 |        0
1060.37/1060.76	c 1060s |      24 |  4339705 |  4255462 |      653  13204 |        0 |        0
1062.37/1062.77	c 1062s |      24 |  4347382 |  4263062 |      653  13223 |        0 |        0
1064.37/1064.78	c 1064s |      24 |  4355106 |  4270762 |      653  13242 |        0 |        0
1066.46/1066.80	c 1066s |      24 |  4362534 |  4278162 |      653  13261 |        0 |        0
1068.46/1068.81	c 1068s |      24 |  4369776 |  4285362 |      653  13280 |        0 |        0
1070.46/1070.82	c 1070s |      24 |  4377013 |  4292562 |      653  13298 |        0 |        0
1072.46/1072.85	c 1072s |      24 |  4384232 |  4299662 |      653  13316 |        0 |        0
1074.47/1074.85	c 1074s |      24 |  4391533 |  4306862 |      653  13335 |        0 |        0
1076.46/1076.87	c 1076s |      24 |  4399300 |  4314562 |      653  13354 |        0 |        0
1078.46/1078.89	c 1078s |      24 |  4406864 |  4322062 |      653  13373 |        0 |        0
1080.56/1080.91	c 1080s |      24 |  4414305 |  4329462 |      653  13392 |        0 |        0
1082.56/1082.94	c 1082s |      24 |  4421673 |  4336762 |      653  13411 |        0 |        0
1084.56/1084.95	c 1084s |      24 |  4429336 |  4344362 |      653  13430 |        0 |        0
1086.56/1086.98	c 1086s |      24 |  4436908 |  4351862 |      653  13449 |        0 |        0
1088.66/1089.00	c 1088s |      24 |  4444516 |  4359362 |      653  13468 |        0 |        0
1090.66/1091.02	c 1091s |      24 |  4452194 |  4366962 |      653  13488 |        0 |        0
1092.65/1093.05	c 1093s |      24 |  4459652 |  4374362 |      653  13507 |        0 |        0
1094.65/1095.07	c 1095s |      24 |  4466914 |  4381562 |      653  13525 |        0 |        0
1096.65/1097.08	c 1097s |      24 |  4474218 |  4388762 |      653  13544 |        0 |        0
1098.66/1099.10	c 1099s |      24 |  4481413 |  4395862 |      653  13562 |        0 |        0
1100.75/1101.11	c 1101s |      24 |  4488858 |  4403162 |      653  13581 |        0 |        0
1102.75/1103.13	c 1103s |      24 |  4496256 |  4410462 |      653  13599 |        0 |        0
1104.75/1105.15	c 1105s |      24 |  4503694 |  4417762 |      653  13618 |        0 |        0
1106.74/1107.16	c 1107s |      24 |  4511045 |  4425062 |      653  13637 |        0 |        0
1108.74/1109.17	c 1109s |      24 |  4518238 |  4432162 |      653  13655 |        0 |        0
1110.75/1111.17	c 1111s |      24 |  4525934 |  4439762 |      653  13674 |        0 |        0
1112.74/1113.18	c 1113s |      24 |  4533815 |  4447462 |      653  13694 |        0 |        0
1114.74/1115.20	c 1115s |      24 |  4541221 |  4454762 |      653  13712 |        0 |        0
1116.84/1117.22	c 1117s |      24 |  4549290 |  4462662 |      653  13733 |        0 |        0
1118.84/1119.24	c 1119s |      24 |  4556869 |  4470062 |      653  13752 |        0 |        0
1120.84/1121.26	c 1121s |      24 |  4564071 |  4477162 |      653  13770 |        0 |        0
1122.85/1123.27	c 1123s |      24 |  4571343 |  4484362 |      653  13788 |        0 |        0
1124.84/1125.28	c 1125s |      24 |  4579429 |  4492362 |      653  13809 |        0 |        0
1126.84/1127.29	c 1127s |      24 |  4586863 |  4499762 |      653  13827 |        0 |        0
1128.94/1129.30	c 1129s |      24 |  4594295 |  4507162 |      653  13846 |        0 |        0
1130.94/1131.32	c 1131s |      24 |  4601877 |  4514662 |      653  13865 |        0 |        0
1132.94/1133.32	c 1133s |      24 |  4609423 |  4522162 |      653  13885 |        0 |        0
1134.94/1135.33	c 1135s |      24 |  4616658 |  4529362 |      653  13903 |        0 |        0
1136.93/1137.35	c 1137s |      24 |  4624121 |  4536762 |      653  13922 |        0 |        0
1138.93/1139.36	c 1139s |      24 |  4631164 |  4543762 |      653  13940 |        0 |        0
1140.93/1141.37	c 1141s |      24 |  4638325 |  4550862 |      653  13958 |        0 |        0
1142.93/1143.37	c 1143s |      24 |  4645556 |  4558062 |      653  13976 |        0 |        0
1144.94/1145.38	c 1145s |      24 |  4652615 |  4565062 |      653  13995 |        0 |        0
1146.92/1147.39	c 1147s |      24 |  4659787 |  4572162 |      653  14013 |        0 |        0
1149.03/1149.41	c 1149s |      24 |  4666836 |  4579162 |      653  14031 |        0 |        0
1151.03/1151.41	c 1151s |      24 |  4674245 |  4586462 |      653  14050 |        0 |        0
1153.03/1153.42	c 1153s |      24 |  4682255 |  4594362 |      653  14070 |        0 |        0
1155.03/1155.43	c 1155s |      24 |  4689962 |  4601962 |      653  14089 |        0 |        0
1157.04/1157.44	c 1157s |      24 |  4697477 |  4609362 |      653  14108 |        0 |        0
1159.03/1159.45	c 1159s |      24 |  4704924 |  4616662 |      653  14127 |        0 |        0
1161.03/1161.47	c 1161s |      24 |  4712681 |  4624262 |      653  14146 |        0 |        0
1163.03/1163.47	c 1163s |      24 |  4720231 |  4631662 |      653  14166 |        0 |        0
1165.12/1165.50	c 1165s |      24 |  4727562 |  4638862 |      653  14184 |        0 |        0
1167.12/1167.51	c 1167s |      24 |  4734655 |  4645862 |      653  14202 |        0 |        0
1169.13/1169.53	c 1169s |      24 |  4742288 |  4653362 |      653  14221 |        0 |        0
1171.12/1171.55	c 1171s |      24 |  4750055 |  4661062 |      653  14241 |        0 |        0
1173.12/1173.56	c 1173s |      24 |  4757422 |  4668362 |      653  14260 |        0 |        0
1175.12/1175.57	c 1175s |      24 |  4764393 |  4675262 |      653  14277 |        0 |        0
1177.22/1177.60	c 1177s |      24 |  4771832 |  4682562 |      653  14296 |        0 |        0
1179.22/1179.63	c 1179s |      24 |  4778892 |  4689462 |      653  14314 |        0 |        0
1181.22/1181.63	c 1181s |      24 |  4785581 |  4696062 |      653  14331 |        0 |        0
1183.21/1183.66	c 1183s |      24 |  4793043 |  4703462 |      653  14350 |        0 |        0
1185.21/1185.66	c 1185s |      24 |  4800018 |  4710362 |      653  14367 |        0 |        0
1187.21/1187.67	c 1187s |      24 |  4807424 |  4717662 |      653  14386 |        0 |        0
1189.21/1189.70	c 1189s |      24 |  4814749 |  4724862 |      653  14404 |        0 |        0
1191.31/1191.70	c 1191s |      24 |  4821957 |  4731962 |      653  14423 |        0 |        0
1193.32/1193.73	c 1193s |      24 |  4829011 |  4738962 |      653  14441 |        0 |        0
1195.31/1195.74	c 1195s |      24 |  4836176 |  4746062 |      653  14459 |        0 |        0
1197.31/1197.77	c 1197s |      24 |  4843443 |  4753262 |      653  14478 |        0 |        0
1199.31/1199.79	c 1199s |      24 |  4850913 |  4760662 |      653  14497 |        0 |        0
1201.31/1201.79	c 1201s |      24 |  4858168 |  4767862 |      653  14515 |        0 |        0
1203.41/1203.80	c 1203s |      24 |  4865488 |  4775062 |      653  14534 |        0 |        0
1205.31/1205.80	c 1205s |      24 |  4872660 |  4782162 |      653  14552 |        0 |        0
1207.41/1207.81	c 1207s |      24 |  4879884 |  4789262 |      653  14570 |        0 |        0
1209.41/1209.81	c 1209s |      24 |  4887208 |  4796462 |      653  14589 |        0 |        0
1211.41/1211.83	c 1211s |      24 |  4894425 |  4803562 |      653  14607 |        0 |        0
1213.41/1213.85	c 1213s |      24 |  4901533 |  4810562 |      653  14625 |        0 |        0
1215.41/1215.87	c 1215s |      24 |  4908515 |  4817462 |      653  14643 |        0 |        0
1217.41/1217.88	c 1217s |      24 |  4915582 |  4824462 |      653  14661 |        0 |        0
1219.40/1219.88	c 1219s |      24 |  4922577 |  4831362 |      653  14679 |        0 |        0
1221.41/1221.90	c 1221s |      24 |  4929950 |  4838662 |      653  14698 |        0 |        0
1223.50/1223.91	c 1223s |      24 |  4937125 |  4845762 |      653  14716 |        0 |        0
1225.50/1225.93	c 1225s |      24 |  4944204 |  4852762 |      653  14734 |        0 |        0
1227.50/1227.93	c 1227s |      24 |  4951571 |  4859962 |      653  14753 |        0 |        0
1229.51/1229.96	c 1229s |      24 |  4958780 |  4867062 |      653  14771 |        0 |        0
1231.50/1231.98	c 1231s |      24 |  4966235 |  4874362 |      653  14789 |        0 |        0
1233.60/1234.01	c 1233s |      24 |  4973426 |  4881462 |      653  14807 |        0 |        0
1235.60/1236.01	c 1235s |      24 |  4981996 |  4889862 |      653  14829 |        0 |        0
1237.60/1238.03	c 1238s |      24 |  4990480 |  4898162 |      653  14850 |        0 |        0
1239.60/1240.04	c 1240s |      24 |  4998380 |  4905962 |      653  14870 |        0 |        0
1241.61/1242.06	c 1242s |      24 |  5006155 |  4913662 |      653  14889 |        0 |        0
1243.60/1244.08	c 1244s |      24 |  5013920 |  4921362 |      653  14909 |        0 |        0
1245.60/1246.09	c 1246s |      24 |  5021605 |  4928962 |      653  14928 |        0 |        0
1247.70/1248.10	c 1248s |      24 |  5029078 |  4936362 |      653  14947 |        0 |        0
1249.70/1250.11	c 1250s |      24 |  5036584 |  4943762 |      653  14966 |        0 |        0
1251.70/1252.11	c 1252s |      24 |  5044053 |  4951162 |      653  14985 |        0 |        0
1253.70/1254.12	c 1254s |      24 |  5051522 |  4958562 |      653  15004 |        0 |        0
1255.70/1256.14	c 1256s |      24 |  5058798 |  4965762 |      653  15022 |        0 |        0
1257.70/1258.16	c 1258s |      24 |  5066149 |  4973062 |      653  15041 |        0 |        0
1259.70/1260.17	c 1260s |      24 |  5073388 |  4980162 |      653  15059 |        0 |        0
1261.70/1262.19	c 1262s |      24 |  5080787 |  4987362 |      653  15078 |        0 |        0
1263.70/1264.19	c 1264s |      24 |  5088119 |  4994562 |      653  15096 |        0 |        0
1265.70/1266.20	c 1266s |      24 |  5095423 |  5001662 |      653  15114 |        0 |        0
1267.80/1268.23	c 1268s |      24 |  5102722 |  5008762 |      653  15133 |        0 |        0
1269.80/1270.25	c 1270s |      24 |  5110118 |  5015962 |      653  15151 |        0 |        0
1271.79/1272.26	c 1272s |      24 |  5117685 |  5023462 |      653  15170 |        0 |        0
1273.79/1274.27	c 1274s |      24 |  5124947 |  5030562 |      719  15188 |        0 |        0
1275.80/1276.28	c 1276s |      24 |  5131950 |  5037462 |      719  15204 |        0 |        0
1277.79/1278.28	c 1278s |      24 |  5139073 |  5044462 |      719  15221 |        0 |        0
1279.79/1280.28	c 1280s |      24 |  5147106 |  5052362 |      719  15239 |        0 |        0
1281.79/1282.29	c 1282s |      24 |  5154907 |  5060062 |      719  15257 |        0 |        0
1283.19/1283.66	c 1283s |      25 |  5159997 |  5065098 |      719  15269 |        0 |        0
1285.20/1285.66	c 1285s |      25 |  5167512 |  5072398 |      719  15286 |        0 |        0
1287.20/1287.67	c 1287s |      25 |  5174980 |  5079798 |      719  15303 |        0 |        0
1289.20/1289.68	c 1289s |      25 |  5182624 |  5087398 |      719  15321 |        0 |        0
1291.30/1291.70	c 1291s |      25 |  5189965 |  5094698 |      719  15338 |        0 |        0
1293.30/1293.71	c 1293s |      25 |  5197421 |  5102098 |      719  15355 |        0 |        0
1295.30/1295.72	c 1295s |      25 |  5204686 |  5109298 |      719  15372 |        0 |        0
1297.30/1297.74	c 1297s |      25 |  5212145 |  5116698 |      719  15390 |        0 |        0
1299.30/1299.75	c 1299s |      25 |  5219684 |  5124198 |      719  15407 |        0 |        0
1301.30/1301.75	c 1301s |      25 |  5227404 |  5131898 |      719  15425 |        0 |        0
1303.30/1303.77	c 1303s |      25 |  5234437 |  5138898 |      719  15442 |        0 |        0
1305.30/1305.80	c 1305s |      25 |  5241365 |  5145798 |      719  15458 |        0 |        0
1307.40/1307.80	c 1307s |      25 |  5248199 |  5152598 |      719  15474 |        0 |        0
1309.40/1309.82	c 1309s |      25 |  5255444 |  5159798 |      719  15491 |        0 |        0
1311.40/1311.83	c 1311s |      25 |  5262602 |  5166898 |      719  15507 |        0 |        0
1313.40/1313.84	c 1313s |      25 |  5269798 |  5173998 |      719  15524 |        0 |        0
1315.40/1315.85	c 1315s |      25 |  5276925 |  5181098 |      719  15541 |        0 |        0
1317.39/1317.86	c 1317s |      25 |  5284270 |  5188398 |      719  15558 |        0 |        0
1319.39/1319.89	c 1319s |      25 |  5291705 |  5195798 |      719  15576 |        0 |        0
1321.49/1321.91	c 1321s |      25 |  5298901 |  5202898 |      719  15592 |        0 |        0
1323.49/1323.94	c 1323s |      25 |  5306378 |  5210298 |      719  15610 |        0 |        0
1325.49/1325.96	c 1325s |      25 |  5313639 |  5217498 |      719  15627 |        0 |        0
1327.50/1327.97	c 1327s |      25 |  5320986 |  5224798 |      719  15644 |        0 |        0
1329.49/1329.97	c 1329s |      25 |  5328161 |  5231898 |      719  15661 |        0 |        0
1331.49/1331.99	c 1331s |      25 |  5336740 |  5240398 |      719  15681 |        0 |        0
1333.59/1334.01	c 1333s |      25 |  5345335 |  5248898 |      719  15700 |        0 |        0
1335.59/1336.01	c 1335s |      25 |  5354197 |  5257698 |      719  15721 |        0 |        0
1337.59/1338.02	c 1338s |      25 |  5362574 |  5265998 |      719  15740 |        0 |        0
1339.59/1340.02	c 1340s |      25 |  5370946 |  5274298 |      719  15760 |        0 |        0
1341.59/1342.02	c 1342s |      25 |  5379187 |  5282498 |      719  15779 |        0 |        0
1343.59/1344.03	c 1344s |      25 |  5387871 |  5291098 |      719  15799 |        0 |        0
1345.59/1346.04	c 1346s |      25 |  5396143 |  5299298 |      719  15818 |        0 |        0
1347.59/1348.06	c 1348s |      25 |  5404071 |  5307098 |      719  15836 |        0 |        0
1349.58/1350.06	c 1350s |      25 |  5411955 |  5314898 |      719  15854 |        0 |        0
1351.59/1352.07	c 1352s |      25 |  5419973 |  5322798 |      719  15873 |        0 |        0
1353.58/1354.08	c 1354s |      25 |  5428316 |  5331098 |      719  15892 |        0 |        0
1355.58/1356.09	c 1356s |      25 |  5436174 |  5338898 |      719  15910 |        0 |        0
1357.68/1358.10	c 1358s |      25 |  5443630 |  5346298 |      719  15928 |        0 |        0
1359.68/1360.13	c 1360s |      25 |  5451370 |  5353998 |      719  15946 |        0 |        0
1361.68/1362.13	c 1362s |      25 |  5459525 |  5362098 |      719  15964 |        0 |        0
1363.69/1364.14	c 1364s |      25 |  5467981 |  5370498 |      719  15984 |        0 |        0
1365.68/1366.14	c 1366s |      25 |  5476055 |  5378498 |      719  16003 |        0 |        0
1367.69/1368.14	c 1368s |      25 |  5484192 |  5386598 |      719  16022 |        0 |        0
1369.69/1370.15	c 1370s |      25 |  5492229 |  5394598 |      719  16040 |        0 |        0
1371.69/1372.16	c 1372s |      25 |  5499874 |  5402198 |      719  16058 |        0 |        0
1373.69/1374.17	c 1374s |      25 |  5508022 |  5410298 |      719  16077 |        0 |        0
1375.69/1376.19	c 1376s |      25 |  5515892 |  5418098 |      719  16095 |        0 |        0
1377.79/1378.22	c 1378s |      25 |  5524037 |  5426198 |      719  16114 |        0 |        0
1379.79/1380.24	c 1380s |      25 |  5531792 |  5433798 |      719  16132 |        0 |        0
1381.79/1382.24	c 1382s |      25 |  5539418 |  5441398 |      719  16150 |        0 |        0
1383.78/1384.26	c 1384s |      25 |  5547776 |  5449698 |      719  16169 |        0 |        0
1385.79/1386.26	c 1386s |      25 |  5555514 |  5457398 |      719  16187 |        0 |        0
1387.78/1388.29	c 1388s |      25 |  5563262 |  5465098 |      719  16206 |        0 |        0
1389.88/1390.30	c 1390s |      25 |  5571002 |  5472798 |      719  16224 |        0 |        0
1391.88/1392.32	c 1392s |      25 |  5579370 |  5481098 |      719  16243 |        0 |        0
1393.88/1394.34	c 1394s |      25 |  5587213 |  5488798 |      719  16261 |        0 |        0
1395.88/1396.34	c 1396s |      25 |  5594637 |  5496098 |      719  16278 |        0 |        0
1397.89/1398.36	c 1398s |      25 |  5602081 |  5503398 |      719  16295 |        0 |        0
1399.88/1400.38	c 1400s |      25 |  5609654 |  5510898 |      719  16313 |        0 |        0
1401.88/1402.39	c 1402s |      25 |  5617154 |  5518298 |      719  16330 |        0 |        0
1403.88/1404.39	c 1404s |      25 |  5624703 |  5525798 |      719  16348 |        0 |        0
1405.98/1406.40	c 1406s |      25 |  5632285 |  5533198 |      719  16365 |        0 |        0
1407.98/1408.41	c 1408s |      25 |  5639952 |  5540698 |      719  16383 |        0 |        0
1409.98/1410.44	c 1410s |      25 |  5647612 |  5548298 |      719  16401 |        0 |        0
1411.98/1412.44	c 1412s |      25 |  5655464 |  5556098 |      719  16419 |        0 |        0
1413.98/1414.46	c 1414s |      25 |  5663149 |  5563698 |      719  16437 |        0 |        0
1415.98/1416.48	c 1416s |      25 |  5670814 |  5571298 |      719  16455 |        0 |        0
1417.98/1418.49	c 1418s |      25 |  5678747 |  5579198 |      719  16473 |        0 |        0
1419.98/1420.50	c 1420s |      25 |  5686021 |  5586398 |      719  16490 |        0 |        0
1421.98/1422.50	c 1422s |      25 |  5693473 |  5593798 |      719  16508 |        0 |        0
1424.07/1424.51	c 1424s |      25 |  5701029 |  5601298 |      719  16525 |        0 |        0
1426.07/1426.53	c 1426s |      25 |  5708555 |  5608798 |      719  16543 |        0 |        0
1428.07/1428.56	c 1428s |      25 |  5716380 |  5616598 |      719  16561 |        0 |        0
1430.07/1430.57	c 1430s |      25 |  5723461 |  5623598 |      719  16578 |        0 |        0
1432.07/1432.57	c 1432s |      25 |  5731390 |  5631498 |      719  16596 |        0 |        0
1434.08/1434.59	c 1434s |      25 |  5739346 |  5639398 |      719  16615 |        0 |        0
1436.17/1436.61	c 1436s |      25 |  5746923 |  5646898 |      719  16632 |        0 |        0
1438.17/1438.61	c 1438s |      25 |  5754559 |  5654498 |      719  16650 |        0 |        0
1440.17/1440.62	c 1440s |      25 |  5762000 |  5661898 |      719  16668 |        0 |        0
1442.17/1442.64	c 1442s |      25 |  5769775 |  5669598 |      719  16686 |        0 |        0
1444.17/1444.65	c 1444s |      25 |  5778646 |  5678398 |      719  16706 |        0 |        0
1446.18/1446.65	c 1446s |      25 |  5786819 |  5686498 |      719  16725 |        0 |        0
1448.17/1448.67	c 1448s |      25 |  5795366 |  5694998 |      719  16745 |        0 |        0
1450.27/1450.70	c 1450s |      25 |  5803540 |  5703098 |      719  16764 |        0 |        0
1452.27/1452.70	c 1452s |      25 |  5811011 |  5710498 |      719  16781 |        0 |        0
1454.27/1454.70	c 1454s |      25 |  5818267 |  5717698 |      719  16798 |        0 |        0
1456.27/1456.72	c 1456s |      25 |  5825711 |  5725098 |      719  16816 |        0 |        0
1458.27/1458.75	c 1458s |      25 |  5833354 |  5732698 |      719  16834 |        0 |        0
1460.27/1460.78	c 1460s |      25 |  5840696 |  5739998 |      719  16851 |        0 |        0
1462.27/1462.78	c 1462s |      25 |  5847951 |  5747198 |      719  16868 |        0 |        0
1464.27/1464.78	c 1464s |      25 |  5855542 |  5754698 |      719  16885 |        0 |        0
1466.27/1466.79	c 1466s |      25 |  5862793 |  5761798 |      719  16902 |        0 |        0
1468.37/1468.80	c 1468s |      25 |  5870145 |  5769098 |      719  16919 |        0 |        0
1470.37/1470.81	c 1470s |      25 |  5877587 |  5776498 |      719  16937 |        0 |        0
1472.37/1472.82	c 1472s |      25 |  5885223 |  5784098 |      719  16954 |        0 |        0
1474.36/1474.83	c 1474s |      25 |  5892964 |  5791798 |      719  16972 |        0 |        0
1476.36/1476.84	c 1476s |      25 |  5900132 |  5798898 |      719  16989 |        0 |        0
1478.36/1478.84	c 1478s |      25 |  5907479 |  5806198 |      719  17006 |        0 |        0
1480.37/1480.86	c 1480s |      25 |  5914708 |  5813398 |      719  17023 |        0 |        0
1482.36/1482.87	c 1482s |      25 |  5921833 |  5820498 |      719  17040 |        0 |        0
1484.36/1484.88	c 1484s |      25 |  5929863 |  5828498 |      719  17059 |        0 |        0
1486.46/1486.90	c 1486s |      25 |  5937493 |  5836098 |      719  17077 |        0 |        0
1488.46/1488.91	c 1488s |      25 |  5944657 |  5843198 |      719  17093 |        0 |        0
1490.46/1490.92	c 1490s |      25 |  5952021 |  5850498 |      719  17110 |        0 |        0
1492.47/1492.92	c 1492s |      25 |  5959256 |  5857698 |      719  17127 |        0 |        0
1494.46/1494.94	c 1494s |      25 |  5966673 |  5865098 |      719  17145 |        0 |        0
1496.46/1496.96	c 1496s |      25 |  5974095 |  5872498 |      719  17162 |        0 |        0
1498.46/1498.96	c 1498s |      25 |  5981935 |  5880298 |      719  17181 |        0 |        0
1500.46/1500.98	c 1500s |      25 |  5989679 |  5887998 |      719  17199 |        0 |        0
1502.46/1502.99	c 1502s |      25 |  5997307 |  5895598 |      719  17217 |        0 |        0
1504.57/1505.00	c 1504s |      25 |  6005855 |  5904098 |      719  17237 |        0 |        0
1506.56/1507.01	c 1506s |      25 |  6014603 |  5912798 |      719  17257 |        0 |        0
1508.56/1509.02	c 1509s |      25 |  6023168 |  5921298 |      719  17277 |        0 |        0
1510.56/1511.04	c 1511s |      25 |  6031725 |  5929798 |      719  17297 |        0 |        0
1512.56/1513.04	c 1513s |      25 |  6040396 |  5938398 |      719  17317 |        0 |        0
1514.56/1515.05	c 1515s |      25 |  6048842 |  5946798 |      719  17336 |        0 |        0
1516.56/1517.07	c 1517s |      25 |  6057340 |  5955198 |      719  17356 |        0 |        0
1518.56/1519.09	c 1519s |      25 |  6065604 |  5963398 |      719  17375 |        0 |        0
1520.66/1521.11	c 1521s |      25 |  6074077 |  5971798 |      719  17395 |        0 |        0
1522.66/1523.11	c 1523s |      25 |  6082357 |  5979998 |      719  17414 |        0 |        0
1524.66/1525.13	c 1525s |      25 |  6090624 |  5988198 |      719  17433 |        0 |        0
1526.66/1527.14	c 1527s |      25 |  6099193 |  5996698 |      719  17453 |        0 |        0
1528.67/1529.14	c 1529s |      25 |  6107537 |  6004998 |      719  17472 |        0 |        0
1530.66/1531.16	c 1531s |      25 |  6115800 |  6013198 |      719  17491 |        0 |        0
1532.66/1533.17	c 1533s |      25 |  6123953 |  6021298 |      719  17510 |        0 |        0
1534.66/1535.19	c 1535s |      25 |  6132119 |  6029398 |      719  17529 |        0 |        0
1536.76/1537.20	c 1537s |      25 |  6140557 |  6037798 |      719  17549 |        0 |        0
1538.76/1539.22	c 1539s |      25 |  6149300 |  6046498 |      719  17569 |        0 |        0
1540.77/1541.23	c 1541s |      25 |  6157754 |  6054898 |      719  17589 |        0 |        0
1542.76/1543.23	c 1543s |      25 |  6165906 |  6062998 |      719  17608 |        0 |        0
1544.76/1545.24	c 1545s |      25 |  6173967 |  6070998 |      719  17626 |        0 |        0
1546.76/1547.25	c 1547s |      25 |  6181954 |  6078898 |      719  17645 |        0 |        0
1548.76/1549.27	c 1549s |      25 |  6189884 |  6086798 |      719  17664 |        0 |        0
1550.76/1551.29	c 1551s |      25 |  6198153 |  6094998 |      719  17683 |        0 |        0
1552.76/1553.29	c 1553s |      25 |  6206009 |  6102798 |      719  17701 |        0 |        0
1554.86/1555.31	c 1555s |      25 |  6214352 |  6111098 |      719  17720 |        0 |        0
1556.86/1557.31	c 1557s |      25 |  6222225 |  6118898 |      719  17739 |        0 |        0
1558.86/1559.32	c 1559s |      25 |  6230068 |  6126698 |      719  17757 |        0 |        0
1560.86/1561.34	c 1561s |      25 |  6238115 |  6134698 |      719  17776 |        0 |        0
1562.86/1563.35	c 1563s |      25 |  6246167 |  6142698 |      719  17794 |        0 |        0
1564.86/1565.36	c 1565s |      25 |  6254108 |  6150598 |      719  17813 |        0 |        0
1566.85/1567.37	c 1567s |      25 |  6262148 |  6158598 |      719  17832 |        0 |        0
1568.85/1569.38	c 1569s |      25 |  6270181 |  6166598 |      719  17850 |        0 |        0
1570.85/1571.39	c 1571s |      25 |  6278533 |  6174898 |      719  17870 |        0 |        0
1572.95/1573.40	c 1573s |      25 |  6286646 |  6182898 |      719  17888 |        0 |        0
1574.96/1575.41	c 1575s |      25 |  6294523 |  6190698 |      719  17907 |        0 |        0
1576.95/1577.41	c 1577s |      25 |  6302351 |  6198498 |      719  17925 |        0 |        0
1578.95/1579.42	c 1579s |      25 |  6310382 |  6206498 |      719  17944 |        0 |        0
1580.95/1581.42	c 1581s |      25 |  6318311 |  6214398 |      719  17962 |        0 |        0
1582.95/1583.43	c 1583s |      25 |  6325956 |  6221998 |      719  17980 |        0 |        0
1584.95/1585.43	c 1585s |      25 |  6333598 |  6229598 |      719  17998 |        0 |        0
1586.95/1587.44	c 1587s |      25 |  6341390 |  6237298 |      719  18016 |        0 |        0
1588.95/1589.47	c 1589s |      25 |  6348868 |  6244698 |      719  18034 |        0 |        0
1590.95/1591.49	c 1591s |      25 |  6356427 |  6252198 |      719  18051 |        0 |        0
1593.05/1593.50	c 1593s |      25 |  6363970 |  6259698 |      719  18069 |        0 |        0
1595.05/1595.52	c 1595s |      25 |  6371331 |  6266998 |      719  18086 |        0 |        0
1597.05/1597.52	c 1597s |      25 |  6378975 |  6274598 |      719  18104 |        0 |        0
1599.05/1599.52	c 1599s |      25 |  6386438 |  6281998 |      719  18121 |        0 |        0
1601.04/1601.53	c 1601s |      25 |  6393994 |  6289498 |      719  18139 |        0 |        0
1603.04/1603.54	c 1603s |      25 |  6401507 |  6296898 |      719  18156 |        0 |        0
1605.04/1605.56	c 1605s |      25 |  6409271 |  6304598 |      719  18174 |        0 |        0
1607.04/1607.56	c 1607s |      25 |  6417402 |  6312598 |      719  18193 |        0 |        0
1609.05/1609.58	c 1609s |      25 |  6424844 |  6319998 |      719  18210 |        0 |        0
1611.04/1611.59	c 1611s |      25 |  6432302 |  6327398 |      719  18228 |        0 |        0
1613.15/1613.61	c 1613s |      25 |  6439756 |  6334798 |      719  18245 |        0 |        0
1615.15/1615.62	c 1615s |      25 |  6447014 |  6341998 |      719  18262 |        0 |        0
1617.15/1617.63	c 1617s |      25 |  6454518 |  6349398 |      719  18279 |        0 |        0
1619.15/1619.63	c 1619s |      25 |  6461901 |  6356698 |      719  18296 |        0 |        0
1621.15/1621.64	c 1621s |      25 |  6469395 |  6364098 |      719  18314 |        0 |        0
1623.15/1623.65	c 1623s |      25 |  6476832 |  6371498 |      719  18331 |        0 |        0
1625.15/1625.66	c 1625s |      25 |  6484481 |  6379098 |      719  18349 |        0 |        0
1627.15/1627.67	c 1627s |      25 |  6492321 |  6386898 |      719  18367 |        0 |        0
1629.25/1629.70	c 1629s |      25 |  6499777 |  6394298 |      719  18385 |        0 |        0
1631.25/1631.71	c 1631s |      25 |  6507147 |  6401598 |      719  18402 |        0 |        0
1633.25/1633.71	c 1633s |      25 |  6514417 |  6408798 |      719  18419 |        0 |        0
1635.25/1635.72	c 1635s |      25 |  6522074 |  6416398 |      719  18437 |        0 |        0
1637.25/1637.74	c 1637s |      25 |  6529930 |  6424198 |      719  18455 |        0 |        0
1639.24/1639.77	c 1639s |      25 |  6537776 |  6431998 |      719  18473 |        0 |        0
1641.24/1641.77	c 1641s |      25 |  6545256 |  6439398 |      719  18491 |        0 |        0
1643.24/1643.80	c 1643s |      25 |  6552592 |  6446698 |      719  18508 |        0 |        0
1645.25/1645.80	c 1645s |      25 |  6559850 |  6453898 |      719  18525 |        0 |        0
1647.34/1647.82	c 1647s |      25 |  6567113 |  6461098 |      719  18542 |        0 |        0
1649.34/1649.82	c 1649s |      25 |  6575165 |  6469098 |      719  18561 |        0 |        0
1651.34/1651.84	c 1651s |      25 |  6583194 |  6477098 |      719  18579 |        0 |        0
1653.34/1653.84	c 1653s |      25 |  6590725 |  6484598 |      719  18597 |        0 |        0
1655.34/1655.85	c 1655s |      25 |  6597970 |  6491798 |      719  18614 |        0 |        0
1657.35/1657.86	c 1657s |      25 |  6605924 |  6499698 |      719  18632 |        0 |        0
1659.34/1659.88	c 1659s |      25 |  6613774 |  6507498 |      719  18650 |        0 |        0
1661.34/1661.89	c 1661s |      25 |  6621446 |  6515098 |      719  18668 |        0 |        0
1663.34/1663.89	c 1663s |      25 |  6629315 |  6522898 |      719  18686 |        0 |        0
1665.34/1665.89	c 1665s |      25 |  6637282 |  6530798 |      719  18705 |        0 |        0
1667.44/1667.91	c 1667s |      25 |  6645253 |  6538698 |      719  18724 |        0 |        0
1669.44/1669.92	c 1669s |      25 |  6652973 |  6546398 |      719  18742 |        0 |        0
1671.44/1671.94	c 1671s |      25 |  6660508 |  6553898 |      719  18759 |        0 |        0
1673.44/1673.95	c 1673s |      25 |  6667850 |  6561198 |      719  18777 |        0 |        0
1675.44/1675.95	c 1675s |      25 |  6675100 |  6568398 |      719  18793 |        0 |        0
1677.44/1677.98	c 1677s |      25 |  6682420 |  6575698 |      719  18811 |        0 |        0
1679.44/1680.00	c 1679s |      25 |  6689871 |  6583098 |      719  18828 |        0 |        0
1681.54/1682.01	c 1681s |      25 |  6697399 |  6590598 |      719  18846 |        0 |        0
1683.54/1684.01	c 1683s |      25 |  6704929 |  6598098 |      719  18863 |        0 |        0
1685.53/1686.04	c 1686s |      25 |  6712355 |  6605498 |      719  18881 |        0 |        0
1687.53/1688.05	c 1688s |      25 |  6719813 |  6612898 |      719  18898 |        0 |        0
1689.53/1690.07	c 1690s |      25 |  6727232 |  6620198 |      719  18916 |        0 |        0
1691.54/1692.08	c 1692s |      25 |  6734740 |  6627598 |      719  18933 |        0 |        0
1693.53/1694.10	c 1694s |      25 |  6742198 |  6634998 |      719  18950 |        0 |        0
1695.63/1696.12	c 1696s |      25 |  6749706 |  6642398 |      719  18967 |        0 |        0
1697.63/1698.14	c 1698s |      25 |  6757063 |  6649698 |      719  18985 |        0 |        0
1699.63/1700.14	c 1700s |      25 |  6764322 |  6656898 |      719  19002 |        0 |        0
1701.63/1702.16	c 1702s |      25 |  6771669 |  6664198 |      719  19019 |        0 |        0
1703.63/1704.17	c 1704s |      25 |  6778709 |  6671198 |      719  19035 |        0 |        0
1705.64/1706.19	c 1706s |      25 |  6786077 |  6678498 |      719  19053 |        0 |        0
1707.74/1708.22	c 1708s |      25 |  6793749 |  6686098 |      719  19070 |        0 |        0
1709.74/1710.24	c 1710s |      25 |  6800970 |  6693198 |      719  19087 |        0 |        0
1711.73/1712.25	c 1712s |      25 |  6808091 |  6700198 |      719  19103 |        0 |        0
1713.73/1714.28	c 1714s |      25 |  6815216 |  6707198 |      719  19120 |        0 |        0
1715.83/1716.30	c 1716s |      25 |  6822381 |  6714298 |      719  19136 |        0 |        0
1717.84/1718.33	c 1718s |      25 |  6829852 |  6721698 |      719  19154 |        0 |        0
1719.83/1720.33	c 1720s |      25 |  6837066 |  6728798 |      719  19170 |        0 |        0
1721.83/1722.34	c 1722s |      25 |  6844251 |  6735898 |      719  19187 |        0 |        0
1723.83/1724.35	c 1724s |      25 |  6851530 |  6743098 |      719  19204 |        0 |        0
1725.83/1726.37	c 1726s |      25 |  6858671 |  6750198 |      719  19221 |        0 |        0
1727.84/1728.40	c 1728s |      25 |  6865840 |  6757298 |      719  19238 |        0 |        0
1729.83/1730.40	c 1730s |      25 |  6872911 |  6764298 |      719  19254 |        0 |        0
1731.93/1732.42	c 1732s |      25 |  6880056 |  6771398 |      719  19271 |        0 |        0
1733.93/1734.45	c 1734s |      25 |  6887411 |  6778698 |      719  19288 |        0 |        0
1735.93/1736.45	c 1736s |      25 |  6894592 |  6785798 |      719  19305 |        0 |        0
1737.93/1738.46	c 1738s |      25 |  6901643 |  6792798 |      719  19321 |        0 |        0
1739.93/1740.48	c 1740s |      25 |  6909014 |  6800098 |      719  19339 |        0 |        0
1741.93/1742.50	c 1742s |      25 |  6916352 |  6807398 |      719  19356 |        0 |        0
1744.03/1744.52	c 1744s |      25 |  6923622 |  6814598 |      719  19373 |        0 |        0
1746.03/1746.54	c 1746s |      25 |  6930951 |  6821798 |      719  19390 |        0 |        0
1748.02/1748.55	c 1748s |      25 |  6938125 |  6828898 |      719  19407 |        0 |        0
1750.02/1750.58	c 1750s |      25 |  6945346 |  6836098 |      719  19424 |        0 |        0
1752.03/1752.59	c 1752s |      25 |  6952578 |  6843298 |      719  19441 |        0 |        0
1754.13/1754.60	c 1754s |      25 |  6960544 |  6851198 |      719  19459 |        0 |        0
1756.12/1756.63	c 1756s |      25 |  6968918 |  6859498 |      719  19479 |        0 |        0
1758.12/1758.63	c 1758s |      25 |  6977096 |  6867598 |      719  19498 |        0 |        0
1760.12/1760.64	c 1760s |      25 |  6984935 |  6875398 |      719  19516 |        0 |        0
1762.12/1762.64	c 1762s |      25 |  6992809 |  6883198 |      719  19534 |        0 |        0
1764.13/1764.67	c 1764s |      25 |  7000413 |  6890698 |      719  19552 |        0 |        0
1766.12/1766.68	c 1766s |      25 |  7008012 |  6898198 |      719  19569 |        0 |        0
1768.12/1768.69	c 1768s |      25 |  7015445 |  6905498 |      719  19587 |        0 |        0
1770.22/1770.71	c 1770s |      25 |  7023200 |  6913198 |      719  19605 |        0 |        0
1772.22/1772.73	c 1772s |      25 |  7030562 |  6920498 |      719  19622 |        0 |        0
1774.22/1774.75	c 1774s |      25 |  7038240 |  6927998 |      719  19639 |        0 |        0
1776.22/1776.75	c 1776s |      25 |  7045666 |  6935298 |      719  19657 |        0 |        0
1778.22/1778.76	c 1778s |      25 |  7053449 |  6942898 |      719  19674 |        0 |        0
1780.23/1780.77	c 1780s |      25 |  7061058 |  6950398 |      719  19692 |        0 |        0
1782.23/1782.78	c 1782s |      25 |  7068632 |  6957898 |      719  19710 |        0 |        0
1784.32/1784.80	c 1784s |      25 |  7076244 |  6965398 |      719  19727 |        0 |        0
1786.32/1786.82	c 1786s |      25 |  7083544 |  6972598 |      719  19744 |        0 |        0
1788.33/1788.84	c 1788s |      25 |  7090908 |  6979898 |      719  19762 |        0 |        0
1790.32/1790.84	c 1790s |      25 |  7098277 |  6987198 |      719  19779 |        0 |        0
1792.32/1792.86	c 1792s |      25 |  7105626 |  6994498 |      719  19796 |        0 |        0
1794.32/1794.88	c 1794s |      25 |  7113209 |  7001998 |      719  19813 |        0 |        0
1796.42/1796.91	c 1796s |      25 |  7120582 |  7009298 |      719  19831 |        0 |        0
1798.42/1798.93	c 1798s |      25 |  7128116 |  7016798 |      719  19848 |        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-4079754-1465246049/watcher-4079754-1465246049 -o /tmp/evaluation-result-4079754-1465246049/solver-4079754-1465246049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079754-1465246049.opb 

pid=4045
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.02 2.03 2.00 3/179 4048
/proc/meminfo: memFree=30670696/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=795204 CPUtime=0 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 2982 0 0 0 0 0 0 0 20 0 4 0 106540350 814288896 2832 33554432000 4194304 16246674 140733588725312 140733588724736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 199569 2842 442 2943 0 196463 0
[pid=4048/tid=4049] ppid=4045 vsize=813636 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 833163264 2903 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=817732 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 837357568 2920 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=821828 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106540350 841551872 2936 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 4048
/proc/meminfo: memFree=30670696/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 21365 0 0 0 7 2 0 0 20 0 4 0 106540350 1247350784 21202 33554432000 4194304 16246674 140733588725312 140733588724736 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 304529 21208 770 2943 0 301423 0
[pid=4048/tid=4049] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 21216 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 21223 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 21230 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200538 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 4048
/proc/meminfo: memFree=30670696/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 40359 0 0 0 13 6 0 0 20 0 4 0 106540350 1247350784 40196 33554432000 4194304 16246674 140733588725312 140733588707200 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 304529 40199 770 2943 0 301423 0
[pid=4048/tid=4049] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 40202 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 40209 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 40214 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300497 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 4048
/proc/meminfo: memFree=30670696/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 59797 0 0 0 20 9 0 0 20 0 4 0 106540350 1247350784 59634 33554432000 4194304 16246674 140733588725312 140733588707200 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 304529 59640 770 2943 0 301423 0
[pid=4048/tid=4049] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 59645 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 59652 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 59662 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70041 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 4048
/proc/meminfo: memFree=30670696/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 138812 0 0 0 48 21 0 0 20 0 4 0 106540350 1247350784 138650 33554432000 4194304 16246674 140733588725312 140733588707200 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 304529 138655 771 2943 0 301423 0
[pid=4048/tid=4049] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 138659 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 138669 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106540350 1247350784 138675 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 4052
/proc/meminfo: memFree=29798108/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 245730 0 0 0 112 37 0 0 20 0 4 0 106540350 1248399360 245545 33554432000 4194304 16246674 140733588725312 140733588724624 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 304785 245545 833 2943 0 301679 0
[pid=4048/tid=4049] ppid=4045 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1248399360 245545 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1248399360 245545 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1248399360 245545 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 4052
/proc/meminfo: memFree=29602552/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 267465 0 0 0 270 39 0 0 20 0 4 0 106540350 1337528320 267280 33554432000 4194304 16246674 140733588725312 140733588708304 5711584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 326545 267280 833 2943 0 323439 0
[pid=4048/tid=4049] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267280 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267280 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267280 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 4052
/proc/meminfo: memFree=29601520/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 267603 0 0 0 590 39 0 0 20 0 4 0 106540350 1337528320 267418 33554432000 4194304 16246674 140733588725312 140733588708312 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 326545 267418 834 2943 0 323439 0
[pid=4048/tid=4049] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267418 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267418 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267418 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 4052
/proc/meminfo: memFree=29601076/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 267622 0 0 0 1230 39 0 0 20 0 4 0 106540350 1337528320 267437 33554432000 4194304 16246674 140733588725312 140733588707200 13780596 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 326545 267437 834 2943 0 323439 0
[pid=4048/tid=4049] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267437 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267437 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267437 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5073 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 4052
/proc/meminfo: memFree=29601220/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 267625 0 0 0 2510 39 0 0 20 0 4 0 106540350 1337528320 267440 33554432000 4194304 16246674 140733588725312 140733588707200 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 326545 267440 836 2943 0 323439 0
[pid=4048/tid=4049] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267440 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267440 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1337528320 267440 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 4052
/proc/meminfo: memFree=29601228/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 267663 0 0 0 5069 39 0 0 20 0 4 0 106540350 1338576896 267478 33554432000 4194304 16246674 140733588725312 140733588708312 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 326801 267478 836 2943 0 323695 0
[pid=4048/tid=4049] ppid=4045 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1338576896 267478 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1338576896 267478 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1338576896 267478 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 4053
/proc/meminfo: memFree=29601140/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 267664 0 0 0 10187 40 0 0 20 0 4 0 106540350 1338576896 267479 33554432000 4194304 16246674 140733588725312 140733588707200 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 326801 267479 836 2943 0 323695 0
[pid=4048/tid=4049] ppid=4045 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1338576896 267479 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1338576896 267479 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1338576896 267479 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267750 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4252
/proc/meminfo: memFree=29535768/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1301.9 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 130138 52 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588707200 13760276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 4256
/proc/meminfo: memFree=29535636/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1361.88 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 136136 52 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588708312 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4258
/proc/meminfo: memFree=29536056/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1421.87 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 142134 53 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588707200 5602661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4259
/proc/meminfo: memFree=29528948/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1481.86 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 148133 53 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588708312 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1308228

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4260
/proc/meminfo: memFree=29529088/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1541.87 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 154133 54 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588707200 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 4261
/proc/meminfo: memFree=29528404/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1601.84 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 160130 54 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588708312 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1308228

[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4262
/proc/meminfo: memFree=29528704/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1661.85 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268477 0 0 0 166130 55 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 140733588707200 5722671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267891 837 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267891 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 4264
/proc/meminfo: memFree=29528732/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1721.83 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268478 0 0 0 172127 56 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 140733588707200 5724032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267892 838 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 4265
/proc/meminfo: memFree=29528156/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1781.83 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268478 0 0 0 178126 57 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 140733588707200 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267892 838 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 4265
/proc/meminfo: memFree=29488944/32872528 swapFree=10676/249824
[pid=4048] ppid=4045 vsize=1308228 CPUtime=1800.02 cores=0,2,4,6
/proc/4048/stat : 4048 (toysat) R 4045 4048 1222 0 -1 4202496 268478 0 0 0 179945 57 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 140733588707200 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4048/statm: 327057 267892 838 2943 0 323951 0
[pid=4048/tid=4049] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4049/stat : 4049 (toysat) S 4045 4048 1222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955675311344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4048/tid=4050] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4050/stat : 4050 (toysat) S 4045 4048 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955664821488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4048/tid=4051] ppid=4045 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4048/task/4051/stat : 4051 (toysat) S 4045 4048 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106540350 1339625472 267892 33554432000 4194304 16246674 140733588725312 139955654347952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308228

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 4048 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.51
CPU time (s): 1800.03
CPU user time (s): 1799.46
CPU system time (s): 0.572912
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.572912
maximum resident set size= 1071568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268478
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= 415
involuntary context switches= 1942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0103 second user time and 17.6003 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-06 22:47:29
IDJOB=4079754
IDBENCH=2932
IDSOLVER=2542
FILE ID=node103/4079754-1465246049
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
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_7_60_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079754-1465246049/watcher-4079754-1465246049 -o /tmp/evaluation-result-4079754-1465246049/solver-4079754-1465246049 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079754-1465246049.opb

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

MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55
RANDOM SEED=379516026

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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:        30671248 kB
Buffers:           49476 kB
Cached:           125440 kB
SwapCached:         1716 kB
Active:          1173500 kB
Inactive:          76452 kB
Active(anon):    1076260 kB
Inactive(anon):     1160 kB
Active(file):      97240 kB
Inactive(file):    75292 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1323732 kB
Mapped:            10352 kB
Shmem:                 0 kB
Slab:             568940 kB
SReclaimable:      13084 kB
SUnreclaim:       555856 kB
KernelStack:        1520 kB
PageTables:         6660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1468552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1306624 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= 71692 MiB
End job on node103 at 2016-06-06 23:17:29