Trace number 4079733

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
MD5SUM153ea7f27a80a18c7caefc8ed55018be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3621
Number of bits of the biggest sum of numbers12
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:43:54+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-4079733-1465245834.opb"]
0.00/0.01	c use --random-gen="560729312 2179831619 97966610 3181689665 3834704394 3973296270 583672391 2246796546 15133782 2886647846 1942631645 4250505515 2459050427 2145822249 3226954940 609862465 3815609994 950344660 2728507605 2111640483 34266223 1544260185 2443066967 3442150591 2710082819 2699758832 4408188 1337901959 3515119120 2885204889 2675443453 325625292 208194877 3379191482 3245172787 1021625455 2873646358 1520017456 923852130 2677397249 169656474 980578012 4174940311 2630215136 3032826022 3550082602 2961868969 2083306079 3119650242 4103341493 1389324130 4140777832 1008370549 4122054373 1460762997 543712158 365559888 4235400521 3480030698 2775681719 1538069893 2460221313 3962002331 3269596034 4162441328 3372885213 3379893719 195812633 2651729622 3444275236 177586193 1164928939 1138997518 1107061987 878397150 1751289736 3230832934 660758784 1853458820 513629207 3293310911 2008112979 1408926132 4235172953 531300932 721496020 3596185388 3605399550 3922289635 3818599275 813173586 1439807997 1232963614 1717261395 2168639747 215392322 2846883125 2896225510 2691104292 848806418 621443992 1552577264 2623467837 996519153 2295721050 265013251 2454246586 1291745634 3667121107 777020917 126998832 1581611678 2841626222 3603486933 1547945673 1135470614 3599642456 3404525815 673492247 4089456194 2353163750 695957595 4192065986 3838311535 3724005930 606828685 3092645835 1649338770 4110803603 1106011876 1499854193 3236442912 2321507233 424493655 3574034097 595480283 324315483 2383572735 187315350 718128567 1131401340 3368809631 3660958981 3900519913 4153011521 2168279041 43401933 1794064990 1216639349 2187820922 3482918516 2550021658 2347760197 635392880 4181134251 1435899742 4106726374 1127902192 3131324980 479550785 262185510 3002272524 475413453 2461396991 442877357 11701479 890452720 2425374750 908372771 4267969909 904420222 1082562985 3069246785 3806293116 2987309182 1026622519 2877338293 1122725394 2263528785 1646279511 3050875517 1824377987 696932199 947976590 2877595269 1644612115 3340357550 3750999724 2749002464 4285182202 2994463233 1449014677 2769996787 149328560 2317308557 1782152335 1343188796 3364387052 2002116868 850585047 438574254 7113954 2425869472 3960443055 3652260504 589660271 2525949533 1387960976 4263870158 1148354065 4254064948 1685642789 909598651 2514918042 377650400 2790904062 404812342 3839215004 1431863178 2078086391 3079696608 3882195055 3428862849 2349648510 1371637019 1096272396 340568552 3265860530 2130283255 1432411681 3847263504 3593030806 2784812325 3131532648 3446366968 2662381322 2664670819 3983256646 2046699030 1060983783 1989290676 1647794000 4046001064 4130813813 3593540933 1053616856 986151747 897575518 1524149938 2386988376 3374105462 298860514 3908802768 2976920598 1959393015 1239806996 255 362436" option to reproduce the execution
0.00/0.01	c #vars 41
0.00/0.01	c #constraints 11
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 |       17      0 |        1 |        0
0.00/0.02	c  0.0s |       1 |      121 |      100 |       17      3 |        1 |        0
0.00/0.04	c  0.0s |       2 |      290 |      250 |       19     10 |        1 |        0
0.00/0.07	c  0.1s |       3 |      532 |      475 |       21     22 |        1 |        0
0.09/0.12	c  0.1s |       4 |      886 |      813 |       24     37 |        1 |        0
0.09/0.18	c  0.2s |       5 |     1412 |     1320 |       27     59 |        1 |        0
0.19/0.28	c  0.3s |       6 |     2197 |     2081 |       33     90 |        1 |        0
0.39/0.42	c  0.4s |       7 |     3364 |     3223 |       37    135 |        1 |        0
0.58/0.64	c  0.6s |       8 |     5113 |     4936 |       41    197 |        1 |        0
0.89/0.95	c  0.9s |       9 |     7734 |     7506 |       46    285 |        1 |        0
1.38/1.43	c  1.4s |      10 |    11632 |    11361 |       51    406 |        1 |        0
1.89/1.91	c  1.9s |      11 |    17506 |    17144 |       57    579 |        1 |        0
2.59/2.65	c  2.6s |      12 |    26269 |    25819 |       63    824 |        1 |        0
3.69/3.71	c  3.7s |      13 |    39405 |    38832 |       70   1164 |        1 |        0
5.29/5.30	c  5.3s |      14 |    59115 |    58352 |       77   1630 |        1 |        0
7.29/7.30	c  7.3s |      14 |    83685 |    82652 |       77   2178 |        1 |        0
7.69/7.71	c  7.7s |      15 |    88690 |    87632 |       85   2288 |        1 |        0
9.68/9.72	c  9.7s |      15 |   113385 |   112132 |       85   2792 |        1 |        0
11.28/11.30	c 11.3s |      16 |   132915 |   131552 |       94   3201 |        1 |        0
13.29/13.30	c 13.3s |      16 |   157591 |   155952 |       94   3662 |        1 |        0
15.28/15.31	c 15.3s |      16 |   182243 |   180352 |       94   4129 |        1 |        0
16.59/16.68	c 16.7s |      17 |   199501 |   197432 |      104   4452 |        1 |        0
18.58/18.69	c 18.7s |      17 |   224672 |   222332 |      104   4890 |        1 |        0
20.59/20.69	c 20.7s |      17 |   249343 |   246832 |      104   5325 |        1 |        0
22.59/22.69	c 22.7s |      17 |   274673 |   271932 |      104   5779 |        1 |        0
24.69/24.70	c 24.7s |      17 |   298965 |   296032 |      115   6185 |        1 |        0
24.69/24.72	c 24.7s |      18 |   299190 |   296252 |      115   6188 |        1 |        0
26.69/26.72	c 26.7s |      18 |   323277 |   320152 |      115   6561 |        1 |        0
28.70/28.73	c 28.7s |      18 |   347532 |   344252 |      115   6941 |        1 |        0
30.69/30.73	c 30.7s |      18 |   372364 |   368852 |      115   7332 |        1 |        0
32.69/32.73	c 32.7s |      18 |   397452 |   393652 |      115   7726 |        1 |        0
34.68/34.73	c 34.7s |      18 |   422638 |   418552 |      115   8130 |        1 |        0
36.68/36.74	c 36.7s |      18 |   446881 |   442552 |      127   8507 |        1 |        0
36.88/36.90	c 36.9s |      19 |   448824 |   444482 |      127   8535 |        1 |        0
38.88/38.90	c 38.9s |      19 |   473617 |   468982 |      127   8892 |        1 |        0
40.88/40.90	c 40.9s |      19 |   498528 |   493682 |      127   9262 |        1 |        0
42.89/42.91	c 42.9s |      19 |   522683 |   517582 |      127   9608 |        1 |        0
44.88/44.91	c 44.9s |      19 |   546996 |   541682 |      127   9961 |        1 |        0
46.88/46.92	c 46.9s |      19 |   571590 |   566082 |      127  10319 |        1 |        0
48.88/48.92	c 48.9s |      19 |   596416 |   590682 |      127  10684 |        1 |        0
50.88/50.92	c 50.9s |      19 |   621574 |   615582 |      127  11047 |        1 |        0
52.89/52.93	c 52.9s |      19 |   645830 |   639682 |      127  11400 |        1 |        0
54.88/54.93	c 54.9s |      19 |   670181 |   663882 |      140  11755 |        1 |        0
55.09/55.18	c 55.2s |      20 |   673146 |   666827 |      140  11796 |        1 |        0
57.08/57.18	c 57.2s |      20 |   697365 |   690827 |      140  12103 |        1 |        0
59.08/59.19	c 59.2s |      20 |   721365 |   714627 |      140  12410 |        1 |        0
61.08/61.19	c 61.2s |      20 |   745602 |   738627 |      140  12722 |        1 |        0
63.18/63.20	c 63.2s |      20 |   769695 |   762527 |      140  13032 |        1 |        0
65.18/65.21	c 65.2s |      20 |   793678 |   786327 |      140  13345 |        1 |        0
67.19/67.21	c 67.2s |      20 |   818118 |   810527 |      140  13658 |        1 |        0
69.18/69.22	c 69.2s |      20 |   842234 |   834427 |      140  13968 |        1 |        0
71.18/71.22	c 71.2s |      20 |   866350 |   858327 |      140  14278 |        1 |        0
73.18/73.22	c 73.2s |      20 |   890443 |   882227 |      140  14593 |        1 |        0
75.18/75.23	c 75.2s |      20 |   914582 |   906127 |      140  14904 |        1 |        0
77.18/77.23	c 77.2s |      20 |   938902 |   930227 |      140  15221 |        1 |        0
79.19/79.24	c 79.2s |      20 |   963018 |   954127 |      140  15538 |        1 |        0
81.18/81.25	c 81.2s |      20 |   987106 |   978027 |      140  15848 |        1 |        0
83.08/83.14	c 83.1s |      21 |  1009644 |  1000345 |      154  16129 |        1 |        0
85.08/85.14	c 85.1s |      21 |  1033739 |  1024145 |      154  16407 |        1 |        0
87.08/87.15	c 87.1s |      21 |  1057484 |  1047645 |      154  16684 |        1 |        0
89.08/89.15	c 89.1s |      21 |  1081021 |  1070945 |      154  16962 |        1 |        0
91.08/91.15	c 91.1s |      21 |  1104644 |  1094345 |      154  17242 |        1 |        0
93.08/93.15	c 93.1s |      21 |  1128180 |  1117645 |      154  17524 |        1 |        0
95.08/95.15	c 95.1s |      21 |  1151499 |  1140745 |      154  17803 |        1 |        0
97.08/97.16	c 97.1s |      21 |  1175049 |  1164045 |      154  18084 |        1 |        0
99.08/99.16	c 99.2s |      21 |  1198697 |  1187445 |      154  18370 |        1 |        0
101.07/101.16	c  101s |      21 |  1221823 |  1210345 |      154  18648 |        1 |        0
103.07/103.17	c  103s |      21 |  1245433 |  1233745 |      154  18933 |        1 |        0
105.07/105.17	c  105s |      21 |  1269139 |  1257245 |      154  19223 |        1 |        0
107.07/107.17	c  107s |      21 |  1292363 |  1280245 |      154  19503 |        1 |        0
109.07/109.18	c  109s |      21 |  1315916 |  1303545 |      154  19786 |        1 |        0
111.08/111.18	c  111s |      21 |  1339330 |  1326745 |      154  20073 |        1 |        0
113.07/113.18	c  113s |      21 |  1363115 |  1350345 |      154  20366 |        1 |        0
115.07/115.19	c  115s |      21 |  1387003 |  1374045 |      154  20662 |        1 |        0
117.08/117.19	c  117s |      21 |  1410768 |  1397545 |      154  20952 |        1 |        0
119.17/119.20	c  119s |      21 |  1434327 |  1420845 |      154  21231 |        1 |        0
121.17/121.20	c  121s |      21 |  1457790 |  1444045 |      154  21516 |        1 |        0
123.18/123.21	c  123s |      21 |  1481774 |  1467745 |      154  21800 |        1 |        0
125.17/125.21	c  125s |      21 |  1505175 |  1490945 |      170  22079 |        1 |        0
125.97/126.05	c  126s |      22 |  1514943 |  1500622 |      170  22187 |        1 |        0
127.97/128.06	c  128s |      22 |  1538379 |  1523822 |      170  22444 |        1 |        0
129.97/130.06	c  130s |      22 |  1561801 |  1547022 |      170  22703 |        1 |        0
131.98/132.06	c  132s |      22 |  1585147 |  1570122 |      170  22962 |        1 |        0
133.97/134.07	c  134s |      22 |  1608535 |  1593322 |      170  23222 |        1 |        0
135.97/136.08	c  136s |      22 |  1632916 |  1617422 |      170  23493 |        1 |        0
137.97/138.08	c  138s |      22 |  1656506 |  1640822 |      170  23756 |        1 |        0
139.97/140.09	c  140s |      22 |  1680329 |  1664422 |      170  24024 |        1 |        0
141.97/142.09	c  142s |      22 |  1704237 |  1688122 |      170  24295 |        1 |        0
143.97/144.09	c  144s |      22 |  1727257 |  1710922 |      170  24547 |        1 |        0
146.07/146.10	c  146s |      22 |  1750153 |  1733622 |      170  24799 |        1 |        0
148.06/148.11	c  148s |      22 |  1773331 |  1756622 |      170  25053 |        1 |        0
150.06/150.11	c  150s |      22 |  1796402 |  1779522 |      170  25308 |        1 |        0
152.06/152.12	c  152s |      22 |  1819831 |  1802722 |      170  25569 |        1 |        0
154.07/154.12	c  154s |      22 |  1843001 |  1825722 |      170  25824 |        1 |        0
156.06/156.12	c  156s |      22 |  1866783 |  1849322 |      170  26088 |        1 |        0
158.06/158.13	c  158s |      22 |  1890590 |  1872922 |      170  26354 |        1 |        0
160.06/160.13	c  160s |      22 |  1914510 |  1896622 |      170  26620 |        1 |        0
162.07/162.14	c  162s |      22 |  1938668 |  1920522 |      170  26889 |        1 |        0
164.07/164.14	c  164s |      22 |  1962888 |  1944422 |      170  27158 |        1 |        0
166.07/166.15	c  166s |      22 |  1987605 |  1968822 |      170  27436 |        1 |        0
168.07/168.15	c  168s |      22 |  2010979 |  1991922 |      170  27694 |        1 |        0
170.07/170.16	c  170s |      22 |  2034485 |  2015222 |      170  27954 |        1 |        0
172.06/172.16	c  172s |      22 |  2058547 |  2039022 |      170  28225 |        1 |        0
174.07/174.17	c  174s |      22 |  2082096 |  2062322 |      170  28483 |        1 |        0
176.07/176.17	c  176s |      22 |  2105462 |  2085422 |      170  28743 |        1 |        0
178.06/178.17	c  178s |      22 |  2128462 |  2108222 |      170  28998 |        1 |        0
180.06/180.17	c  180s |      22 |  2152060 |  2131622 |      170  29265 |        1 |        0
182.06/182.18	c  182s |      22 |  2175648 |  2154922 |      170  29527 |        1 |        0
184.06/184.18	c  184s |      22 |  2199542 |  2178522 |      170  29792 |        1 |        0
186.06/186.19	c  186s |      22 |  2223189 |  2201922 |      170  30055 |        1 |        0
188.06/188.19	c  188s |      22 |  2246758 |  2225222 |      170  30318 |        1 |        0
190.06/190.19	c  190s |      22 |  2270453 |  2248622 |      188  30569 |        1 |        0
190.26/190.39	c  190s |      23 |  2272914 |  2251038 |      188  30594 |        1 |        0
192.36/192.40	c  192s |      23 |  2295326 |  2273138 |      188  30815 |        1 |        0
194.36/194.40	c  194s |      23 |  2317638 |  2295338 |      188  31037 |        1 |        0
196.36/196.41	c  196s |      23 |  2340097 |  2317638 |      188  31262 |        1 |        0
198.35/198.41	c  198s |      23 |  2362894 |  2340238 |      188  31491 |        1 |        0
200.36/200.42	c  200s |      23 |  2386026 |  2363138 |      188  31725 |        1 |        0
202.37/202.42	c  202s |      23 |  2408914 |  2385838 |      188  31952 |        1 |        0
204.36/204.43	c  204s |      23 |  2431857 |  2408638 |      188  32183 |        1 |        0
206.36/206.44	c  206s |      23 |  2454904 |  2431438 |      188  32414 |        1 |        0
208.36/208.45	c  208s |      23 |  2477790 |  2454038 |      188  32644 |        1 |        0
210.36/210.45	c  210s |      23 |  2500881 |  2476938 |      188  32875 |        1 |        0
212.36/212.46	c  212s |      23 |  2524175 |  2500038 |      188  33110 |        1 |        0
214.36/214.46	c  214s |      23 |  2547442 |  2523138 |      188  33342 |        1 |        0
216.36/216.47	c  216s |      23 |  2570313 |  2545838 |      188  33572 |        1 |        0
218.36/218.48	c  218s |      23 |  2593344 |  2568738 |      188  33807 |        1 |        0
220.36/220.48	c  220s |      23 |  2616342 |  2591538 |      188  34038 |        1 |        0
222.35/222.49	c  222s |      23 |  2639412 |  2614438 |      188  34274 |        1 |        0
224.36/224.50	c  224s |      23 |  2661997 |  2636838 |      188  34500 |        1 |        0
226.45/226.50	c  226s |      23 |  2684778 |  2659338 |      188  34726 |        1 |        0
228.45/228.50	c  228s |      23 |  2708243 |  2682538 |      188  34961 |        1 |        0
230.45/230.50	c  230s |      23 |  2730968 |  2705038 |      188  35187 |        1 |        0
232.45/232.50	c  232s |      23 |  2753980 |  2727838 |      188  35419 |        1 |        0
234.45/234.51	c  234s |      23 |  2776985 |  2750638 |      188  35650 |        1 |        0
236.46/236.51	c  236s |      23 |  2799943 |  2773438 |      188  35883 |        1 |        0
238.45/238.52	c  238s |      23 |  2823338 |  2796638 |      188  36119 |        1 |        0
240.45/240.52	c  240s |      23 |  2846734 |  2819838 |      188  36357 |        1 |        0
242.46/242.52	c  242s |      23 |  2869839 |  2842738 |      188  36589 |        1 |        0
244.46/244.53	c  244s |      23 |  2893037 |  2865738 |      188  36821 |        1 |        0
246.46/246.54	c  246s |      23 |  2916132 |  2888638 |      188  37053 |        1 |        0
248.45/248.54	c  248s |      23 |  2939567 |  2911838 |      188  37287 |        1 |        0
250.45/250.54	c  250s |      23 |  2963977 |  2935938 |      188  37534 |        1 |        0
252.45/252.55	c  252s |      23 |  2987573 |  2959238 |      188  37768 |        1 |        0
254.45/254.55	c  254s |      23 |  3010600 |  2982038 |      188  37999 |        1 |        0
256.45/256.56	c  256s |      23 |  3033577 |  3004838 |      188  38230 |        1 |        0
258.46/258.56	c  258s |      23 |  3056364 |  3027438 |      188  38461 |        1 |        0
260.45/260.57	c  260s |      23 |  3079597 |  3050438 |      188  38698 |        1 |        0
262.45/262.57	c  262s |      23 |  3102637 |  3073238 |      188  38932 |        1 |        0
264.45/264.58	c  264s |      23 |  3125748 |  3096138 |      188  39167 |        1 |        0
266.45/266.58	c  266s |      23 |  3148966 |  3119138 |      188  39404 |        1 |        0
268.45/268.58	c  268s |      23 |  3172355 |  3142238 |      188  39642 |        1 |        0
270.45/270.59	c  270s |      23 |  3195678 |  3165238 |      188  39873 |        1 |        0
272.45/272.60	c  272s |      23 |  3218114 |  3187438 |      188  40098 |        1 |        0
274.55/274.60	c  274s |      23 |  3241227 |  3210338 |      188  40330 |        1 |        0
276.55/276.60	c  276s |      23 |  3264439 |  3233338 |      188  40562 |        1 |        0
278.55/278.61	c  278s |      23 |  3287112 |  3255838 |      188  40791 |        1 |        0
280.55/280.62	c  280s |      23 |  3310070 |  3278638 |      188  41024 |        1 |        0
282.54/282.62	c  282s |      23 |  3333206 |  3301538 |      188  41259 |        1 |        0
284.54/284.63	c  284s |      23 |  3355890 |  3324038 |      188  41489 |        1 |        0
286.54/286.63	c  286s |      23 |  3379148 |  3347138 |      188  41728 |        1 |        0
288.54/288.63	c  288s |      23 |  3402147 |  3369938 |      207  41946 |        1 |        0
289.14/289.22	c  289s |      24 |  3408964 |  3376662 |      207  42009 |        1 |        0
291.14/291.23	c  291s |      24 |  3432028 |  3399462 |      207  42222 |        1 |        0
293.15/293.23	c  293s |      24 |  3455431 |  3422662 |      207  42440 |        1 |        0
295.15/295.23	c  295s |      24 |  3479117 |  3446062 |      207  42661 |        1 |        0
297.15/297.24	c  297s |      24 |  3502114 |  3468862 |      207  42874 |        1 |        0
299.15/299.24	c  299s |      24 |  3524489 |  3491062 |      207  43075 |        1 |        0
301.15/301.24	c  301s |      24 |  3546825 |  3513162 |      207  43275 |        1 |        0
303.15/303.24	c  303s |      24 |  3568720 |  3534862 |      207  43474 |        1 |        0
305.15/305.25	c  305s |      24 |  3590574 |  3556562 |      207  43672 |        1 |        0
307.15/307.25	c  307s |      24 |  3612500 |  3578362 |      207  43872 |        1 |        0
309.15/309.26	c  309s |      24 |  3634869 |  3600562 |      207  44077 |        1 |        0
311.14/311.26	c  311s |      24 |  3657135 |  3622662 |      207  44282 |        1 |        0
313.15/313.26	c  313s |      24 |  3679230 |  3644562 |      207  44484 |        1 |        0
315.15/315.27	c  315s |      24 |  3701731 |  3666862 |      207  44693 |        1 |        0
317.14/317.27	c  317s |      24 |  3723882 |  3688862 |      207  44895 |        1 |        0
319.14/319.28	c  319s |      24 |  3746416 |  3711262 |      207  45103 |        1 |        0
321.15/321.29	c  321s |      24 |  3769823 |  3734362 |      207  45317 |        1 |        0
323.14/323.29	c  323s |      24 |  3792282 |  3756662 |      207  45523 |        1 |        0
325.24/325.30	c  325s |      24 |  3815061 |  3779262 |      207  45734 |        1 |        0
327.24/327.30	c  327s |      24 |  3838282 |  3802262 |      207  45947 |        1 |        0
329.24/329.30	c  329s |      24 |  3860937 |  3824762 |      207  46156 |        1 |        0
331.24/331.30	c  331s |      24 |  3884143 |  3847762 |      207  46371 |        1 |        0
333.14/333.30	c  333s |      24 |  3906569 |  3870062 |      207  46578 |        1 |        0
335.24/335.31	c  335s |      24 |  3929299 |  3892662 |      207  46790 |        1 |        0
337.24/337.31	c  337s |      24 |  3952040 |  3915262 |      207  47001 |        1 |        0
339.24/339.31	c  339s |      24 |  3974889 |  3937962 |      207  47214 |        1 |        0
341.24/341.32	c  341s |      24 |  3998057 |  3960962 |      207  47430 |        1 |        0
343.24/343.32	c  343s |      24 |  4020810 |  3983562 |      207  47643 |        1 |        0
345.24/345.33	c  345s |      24 |  4043390 |  4005962 |      207  47851 |        1 |        0
347.23/347.34	c  347s |      24 |  4066087 |  4028462 |      207  48060 |        1 |        0
349.23/349.34	c  349s |      24 |  4088638 |  4050862 |      207  48271 |        1 |        0
351.23/351.34	c  351s |      24 |  4111395 |  4073462 |      207  48484 |        1 |        0
353.23/353.35	c  353s |      24 |  4133959 |  4095862 |      207  48692 |        1 |        0
355.24/355.35	c  355s |      24 |  4156959 |  4118662 |      207  48906 |        1 |        0
357.23/357.35	c  357s |      24 |  4180092 |  4141562 |      207  49122 |        1 |        0
359.24/359.36	c  359s |      24 |  4202947 |  4164162 |      207  49334 |        1 |        0
361.24/361.36	c  361s |      24 |  4225940 |  4186962 |      207  49549 |        1 |        0
363.23/363.37	c  363s |      24 |  4248980 |  4209762 |      207  49764 |        1 |        0
365.24/365.37	c  365s |      24 |  4272174 |  4232762 |      207  49982 |        1 |        0
367.23/367.37	c  367s |      24 |  4295474 |  4255862 |      207  50201 |        1 |        0
369.23/369.38	c  369s |      24 |  4318657 |  4278862 |      207  50419 |        1 |        0
371.23/371.38	c  371s |      24 |  4342285 |  4302262 |      207  50643 |        1 |        0
373.23/373.39	c  373s |      24 |  4364743 |  4324562 |      207  50845 |        1 |        0
375.33/375.40	c  375s |      24 |  4387317 |  4346962 |      207  51048 |        1 |        0
377.23/377.40	c  377s |      24 |  4409566 |  4369062 |      207  51251 |        1 |        0
379.33/379.40	c  379s |      24 |  4432026 |  4391362 |      207  51457 |        1 |        0
381.33/381.41	c  381s |      24 |  4454438 |  4413562 |      207  51661 |        1 |        0
383.34/383.41	c  383s |      24 |  4477136 |  4436062 |      207  51869 |        1 |        0
385.33/385.42	c  385s |      24 |  4500230 |  4458962 |      207  52082 |        1 |        0
387.33/387.42	c  387s |      24 |  4522907 |  4481462 |      207  52288 |        1 |        0
389.34/389.43	c  389s |      24 |  4545394 |  4503762 |      207  52493 |        1 |        0
391.33/391.43	c  391s |      24 |  4567812 |  4525962 |      207  52701 |        1 |        0
393.33/393.44	c  393s |      24 |  4590415 |  4548362 |      207  52911 |        1 |        0
395.33/395.44	c  395s |      24 |  4613147 |  4570862 |      207  53120 |        1 |        0
397.33/397.44	c  397s |      24 |  4636109 |  4593662 |      207  53332 |        1 |        0
399.34/399.45	c  399s |      24 |  4659149 |  4616462 |      207  53545 |        1 |        0
401.33/401.45	c  401s |      24 |  4682257 |  4639362 |      207  53760 |        1 |        0
403.33/403.45	c  403s |      24 |  4705379 |  4662262 |      207  53976 |        1 |        0
405.33/405.46	c  405s |      24 |  4728062 |  4684762 |      207  54187 |        1 |        0
407.33/407.46	c  407s |      24 |  4750942 |  4707462 |      207  54398 |        1 |        0
409.32/409.47	c  409s |      24 |  4774030 |  4730362 |      207  54613 |        1 |        0
411.33/411.47	c  411s |      24 |  4797204 |  4753262 |      207  54830 |        1 |        0
413.32/413.48	c  413s |      24 |  4819967 |  4775862 |      207  55042 |        1 |        0
415.32/415.49	c  415s |      24 |  4843044 |  4798762 |      207  55259 |        1 |        0
417.32/417.49	c  417s |      24 |  4866466 |  4821962 |      207  55477 |        1 |        0
419.42/419.50	c  419s |      24 |  4889662 |  4844962 |      207  55695 |        1 |        0
421.42/421.50	c  421s |      24 |  4912394 |  4867462 |      207  55904 |        1 |        0
423.43/423.50	c  423s |      24 |  4935227 |  4890062 |      207  56114 |        1 |        0
425.42/425.51	c  425s |      24 |  4958127 |  4912762 |      207  56326 |        1 |        0
427.42/427.51	c  427s |      24 |  4981377 |  4935762 |      207  56542 |        1 |        0
429.42/429.51	c  429s |      24 |  5004402 |  4958562 |      207  56757 |        1 |        0
431.42/431.52	c  431s |      24 |  5027311 |  4981262 |      207  56970 |        1 |        0
433.43/433.52	c  433s |      24 |  5050426 |  5004162 |      207  57185 |        1 |        0
435.42/435.52	c  435s |      24 |  5073627 |  5027162 |      207  57401 |        1 |        0
437.42/437.52	c  437s |      24 |  5096714 |  5050062 |      228  57599 |        1 |        0
438.72/438.84	c  438s |      25 |  5111873 |  5065098 |      228  57728 |        1 |        0
440.72/440.85	c  440s |      25 |  5135354 |  5088298 |      228  57924 |        1 |        0
442.72/442.85	c  442s |      25 |  5157925 |  5110698 |      228  58114 |        1 |        0
444.73/444.86	c  444s |      25 |  5180482 |  5133098 |      228  58303 |        1 |        0
446.72/446.87	c  446s |      25 |  5203271 |  5155698 |      228  58496 |        1 |        0
448.73/448.87	c  448s |      25 |  5226210 |  5178398 |      228  58688 |        1 |        0
450.72/450.88	c  450s |      25 |  5248921 |  5200898 |      228  58879 |        1 |        0
452.72/452.89	c  452s |      25 |  5271628 |  5223398 |      228  59069 |        1 |        0
454.72/454.89	c  454s |      25 |  5294324 |  5245898 |      228  59262 |        1 |        0
456.72/456.90	c  456s |      25 |  5316709 |  5268098 |      228  59451 |        1 |        0
458.82/458.90	c  458s |      25 |  5339337 |  5290498 |      228  59641 |        1 |        0
460.83/460.91	c  460s |      25 |  5361743 |  5312698 |      228  59831 |        1 |        0
462.82/462.91	c  462s |      25 |  5384275 |  5334998 |      228  60023 |        1 |        0
464.82/464.92	c  464s |      25 |  5406554 |  5357098 |      228  60211 |        1 |        0
466.82/466.92	c  466s |      25 |  5428313 |  5378698 |      228  60390 |        1 |        0
468.82/468.93	c  468s |      25 |  5450372 |  5400598 |      228  60571 |        1 |        0
470.82/470.94	c  470s |      25 |  5472660 |  5422698 |      228  60755 |        1 |        0
472.82/472.94	c  472s |      25 |  5494982 |  5444798 |      228  60940 |        1 |        0
474.81/474.95	c  474s |      25 |  5517207 |  5466798 |      228  61123 |        1 |        0
476.81/476.95	c  476s |      25 |  5539614 |  5488998 |      228  61310 |        1 |        0
478.81/478.96	c  478s |      25 |  5561958 |  5511098 |      228  61494 |        1 |        0
480.81/480.97	c  480s |      25 |  5583918 |  5532898 |      228  61677 |        1 |        0
482.82/482.97	c  482s |      25 |  5605883 |  5554698 |      228  61861 |        1 |        0
484.81/484.97	c  484s |      25 |  5628379 |  5576998 |      228  62048 |        1 |        0
486.81/486.97	c  486s |      25 |  5650710 |  5599098 |      228  62231 |        1 |        0
488.81/488.98	c  488s |      25 |  5672775 |  5620998 |      228  62415 |        1 |        0
490.82/490.99	c  490s |      25 |  5695105 |  5643098 |      228  62600 |        1 |        0
492.83/492.99	c  492s |      25 |  5717174 |  5664998 |      228  62784 |        1 |        0
494.82/495.00	c  494s |      25 |  5739355 |  5686998 |      228  62969 |        1 |        0
496.92/497.01	c  496s |      25 |  5761516 |  5708998 |      228  63156 |        1 |        0
498.92/499.01	c  498s |      25 |  5783572 |  5730898 |      228  63339 |        1 |        0
500.92/501.02	c  501s |      25 |  5805642 |  5752798 |      228  63522 |        1 |        0
502.92/503.02	c  503s |      25 |  5827920 |  5774898 |      228  63709 |        1 |        0
504.92/505.03	c  505s |      25 |  5850464 |  5797198 |      228  63898 |        1 |        0
506.92/507.04	c  507s |      25 |  5872633 |  5819198 |      228  64082 |        1 |        0
508.91/509.04	c  509s |      25 |  5894720 |  5841098 |      228  64267 |        1 |        0
510.91/511.05	c  511s |      25 |  5916921 |  5863098 |      228  64455 |        1 |        0
512.91/513.05	c  513s |      25 |  5939104 |  5885098 |      228  64638 |        1 |        0
514.91/515.06	c  515s |      25 |  5961559 |  5907298 |      228  64823 |        1 |        0
516.92/517.07	c  517s |      25 |  5983524 |  5929098 |      228  65006 |        1 |        0
518.91/519.07	c  519s |      25 |  6006072 |  5951398 |      228  65193 |        1 |        0
520.91/521.07	c  521s |      25 |  6028518 |  5973598 |      228  65381 |        1 |        0
522.91/523.07	c  523s |      25 |  6050867 |  5995698 |      228  65566 |        1 |        0
524.91/525.08	c  525s |      25 |  6073085 |  6017698 |      228  65752 |        1 |        0
526.92/527.08	c  527s |      25 |  6095465 |  6039898 |      228  65940 |        1 |        0
528.91/529.08	c  529s |      25 |  6117874 |  6062098 |      228  66127 |        1 |        0
530.91/531.09	c  531s |      25 |  6140346 |  6084398 |      228  66317 |        1 |        0
532.91/533.09	c  533s |      25 |  6162774 |  6106598 |      228  66504 |        1 |        0
534.91/535.09	c  535s |      25 |  6185095 |  6128698 |      228  66690 |        1 |        0
537.01/537.10	c  537s |      25 |  6207250 |  6150698 |      228  66875 |        1 |        0
539.02/539.11	c  539s |      25 |  6229626 |  6172898 |      228  67063 |        1 |        0
541.01/541.11	c  541s |      25 |  6252336 |  6195398 |      228  67254 |        1 |        0
543.00/543.12	c  543s |      25 |  6274823 |  6217698 |      228  67445 |        1 |        0
545.00/545.13	c  545s |      25 |  6297494 |  6240198 |      228  67637 |        1 |        0
547.00/547.13	c  547s |      25 |  6320179 |  6262698 |      228  67829 |        1 |        0
549.00/549.13	c  549s |      25 |  6342855 |  6285198 |      228  68023 |        1 |        0
551.01/551.14	c  551s |      25 |  6365121 |  6307298 |      228  68207 |        1 |        0
553.00/553.15	c  553s |      25 |  6387052 |  6329098 |      228  68390 |        1 |        0
554.99/555.15	c  555s |      25 |  6409469 |  6351298 |      228  68577 |        1 |        0
556.99/557.15	c  557s |      25 |  6432095 |  6373698 |      228  68766 |        1 |        0
558.99/559.16	c  559s |      25 |  6454572 |  6395998 |      228  68954 |        1 |        0
561.00/561.16	c  561s |      25 |  6476752 |  6417998 |      228  69139 |        1 |        0
562.99/563.16	c  563s |      25 |  6499218 |  6440298 |      228  69327 |        1 |        0
564.99/565.16	c  565s |      25 |  6522023 |  6462898 |      228  69518 |        1 |        0
566.99/567.17	c  567s |      25 |  6544506 |  6485198 |      228  69707 |        1 |        0
569.00/569.17	c  569s |      25 |  6567122 |  6507598 |      228  69898 |        1 |        0
570.99/571.17	c  571s |      25 |  6589701 |  6529998 |      228  70089 |        1 |        0
572.99/573.18	c  573s |      25 |  6612345 |  6552398 |      228  70276 |        1 |        0
574.99/575.19	c  575s |      25 |  6634976 |  6574798 |      228  70464 |        1 |        0
576.99/577.19	c  577s |      25 |  6657804 |  6597398 |      228  70654 |        1 |        0
579.09/579.20	c  579s |      25 |  6680531 |  6619898 |      228  70844 |        1 |        0
581.08/581.20	c  581s |      25 |  6703303 |  6642398 |      228  71034 |        1 |        0
583.08/583.21	c  583s |      25 |  6725877 |  6664798 |      228  71226 |        1 |        0
585.09/585.21	c  585s |      25 |  6748483 |  6687198 |      228  71415 |        1 |        0
587.08/587.22	c  587s |      25 |  6771284 |  6709798 |      228  71606 |        1 |        0
589.08/589.22	c  589s |      25 |  6793931 |  6732298 |      228  71797 |        1 |        0
591.08/591.23	c  591s |      25 |  6816883 |  6754998 |      228  71991 |        1 |        0
593.07/593.24	c  593s |      25 |  6839921 |  6777798 |      228  72186 |        1 |        0
595.08/595.24	c  595s |      25 |  6862402 |  6800098 |      228  72375 |        1 |        0
597.07/597.25	c  597s |      25 |  6885232 |  6822698 |      228  72565 |        1 |        0
599.07/599.25	c  599s |      25 |  6908107 |  6845398 |      228  72757 |        1 |        0
601.08/601.26	c  601s |      25 |  6930890 |  6867998 |      228  72948 |        1 |        0
603.08/603.26	c  603s |      25 |  6953607 |  6890498 |      228  73139 |        1 |        0
605.08/605.27	c  605s |      25 |  6976654 |  6913298 |      228  73332 |        1 |        0
607.08/607.27	c  607s |      25 |  6999546 |  6935998 |      228  73525 |        1 |        0
609.08/609.27	c  609s |      25 |  7022436 |  6958698 |      228  73719 |        1 |        0
611.07/611.27	c  611s |      25 |  7045644 |  6981698 |      228  73917 |        1 |        0
613.07/613.28	c  613s |      25 |  7068810 |  7004598 |      228  74110 |        1 |        0
615.07/615.29	c  615s |      25 |  7092037 |  7027598 |      228  74305 |        1 |        0
617.08/617.29	c  617s |      25 |  7114605 |  7049998 |      228  74495 |        1 |        0
619.07/619.30	c  619s |      25 |  7137907 |  7073098 |      228  74693 |        1 |        0
621.17/621.31	c  621s |      25 |  7160825 |  7095798 |      228  74886 |        1 |        0
623.16/623.31	c  623s |      25 |  7183971 |  7118698 |      228  75082 |        1 |        0
625.16/625.32	c  625s |      25 |  7207186 |  7141698 |      228  75281 |        1 |        0
627.16/627.32	c  627s |      25 |  7230213 |  7164498 |      228  75475 |        1 |        0
629.17/629.33	c  629s |      25 |  7253181 |  7187198 |      228  75668 |        1 |        0
631.16/631.33	c  631s |      25 |  7276150 |  7209898 |      228  75863 |        1 |        0
633.16/633.34	c  633s |      25 |  7298934 |  7232498 |      228  76057 |        1 |        0
635.16/635.34	c  635s |      25 |  7321903 |  7255298 |      228  76254 |        1 |        0
637.16/637.35	c  637s |      25 |  7345042 |  7278198 |      228  76451 |        1 |        0
639.16/639.35	c  639s |      25 |  7367570 |  7300498 |      228  76634 |        1 |        0
641.16/641.35	c  641s |      25 |  7389948 |  7322698 |      228  76818 |        1 |        0
643.15/643.35	c  643s |      25 |  7413118 |  7345598 |      228  77008 |        1 |        0
645.15/645.36	c  645s |      25 |  7435965 |  7368198 |      228  77196 |        1 |        0
647.15/647.36	c  647s |      25 |  7458451 |  7390498 |      228  77382 |        1 |        0
649.15/649.37	c  649s |      25 |  7481060 |  7412898 |      228  77570 |        1 |        0
651.17/651.38	c  651s |      25 |  7503681 |  7435298 |      228  77756 |        1 |        0
653.16/653.39	c  653s |      25 |  7526212 |  7457598 |      228  77942 |        1 |        0
655.16/655.39	c  655s |      25 |  7548848 |  7479998 |      228  78129 |        1 |        0
657.16/657.39	c  657s |      25 |  7571471 |  7502398 |      228  78316 |        1 |        0
659.26/659.40	c  659s |      25 |  7594217 |  7524898 |      228  78504 |        1 |        0
661.25/661.40	c  661s |      25 |  7616710 |  7547198 |      251  78689 |        1 |        0
663.26/663.40	c  663s |      25 |  7638651 |  7568998 |      251  78857 |        1 |        0
665.25/665.40	c  665s |      25 |  7661113 |  7591198 |      251  79027 |        1 |        0
665.85/666.00	c  665s |      26 |  7667771 |  7597752 |      251  79077 |        1 |        0
667.85/668.00	c  667s |      26 |  7688878 |  7618652 |      251  79235 |        1 |        0
669.86/670.01	c  669s |      26 |  7710352 |  7639952 |      251  79398 |        1 |        0
671.85/672.01	c  672s |      26 |  7731813 |  7661252 |      251  79562 |        1 |        0
673.85/674.02	c  674s |      26 |  7752958 |  7682252 |      251  79723 |        1 |        0
675.85/676.03	c  676s |      26 |  7774748 |  7703852 |      251  79887 |        1 |        0
677.85/678.03	c  678s |      26 |  7797071 |  7725952 |      251  80058 |        1 |        0
679.85/680.04	c  680s |      26 |  7819142 |  7747752 |      251  80225 |        1 |        0
681.85/682.04	c  682s |      26 |  7841104 |  7769452 |      251  80392 |        1 |        0
683.84/684.04	c  684s |      26 |  7862927 |  7791052 |      251  80556 |        1 |        0
685.84/686.05	c  686s |      26 |  7885157 |  7813052 |      251  80724 |        1 |        0
687.84/688.06	c  688s |      26 |  7907385 |  7835052 |      251  80891 |        1 |        0
689.84/690.07	c  690s |      26 |  7929173 |  7856652 |      251  81056 |        1 |        0
691.84/692.07	c  692s |      26 |  7950942 |  7878252 |      251  81221 |        1 |        0
693.84/694.07	c  694s |      26 |  7973051 |  7900152 |      251  81389 |        1 |        0
695.84/696.07	c  696s |      26 |  7995138 |  7922052 |      251  81557 |        1 |        0
697.83/698.07	c  698s |      26 |  8017313 |  7944052 |      251  81725 |        1 |        0
699.83/700.08	c  700s |      26 |  8039336 |  7965952 |      251  81894 |        1 |        0
701.84/702.08	c  702s |      26 |  8061499 |  7987952 |      251  82064 |        1 |        0
703.85/704.09	c  704s |      26 |  8083837 |  8010052 |      251  82235 |        1 |        0
705.94/706.10	c  706s |      26 |  8106550 |  8032552 |      251  82411 |        1 |        0
707.94/708.10	c  708s |      26 |  8129032 |  8054752 |      251  82582 |        1 |        0
709.94/710.10	c  710s |      26 |  8151853 |  8077352 |      251  82756 |        1 |        0
711.94/712.10	c  712s |      26 |  8174775 |  8100052 |      251  82933 |        1 |        0
713.94/714.11	c  714s |      26 |  8197378 |  8122452 |      251  83108 |        1 |        0
715.94/716.12	c  716s |      26 |  8219803 |  8144552 |      251  83274 |        1 |        0
717.93/718.12	c  718s |      26 |  8242396 |  8166852 |      251  83444 |        1 |        0
719.93/720.13	c  720s |      26 |  8265026 |  8189152 |      251  83614 |        1 |        0
721.93/722.13	c  722s |      26 |  8286857 |  8210752 |      251  83779 |        1 |        0
723.94/724.14	c  724s |      26 |  8308451 |  8232152 |      251  83944 |        1 |        0
725.94/726.15	c  726s |      26 |  8330255 |  8253752 |      251  84109 |        1 |        0
727.94/728.15	c  728s |      26 |  8352106 |  8275452 |      251  84277 |        1 |        0
729.94/730.15	c  730s |      26 |  8373760 |  8296952 |      251  84441 |        1 |        0
731.94/732.15	c  732s |      26 |  8395517 |  8318552 |      251  84607 |        1 |        0
733.94/734.16	c  734s |      26 |  8417560 |  8340452 |      251  84774 |        1 |        0
735.94/736.17	c  736s |      26 |  8439774 |  8362452 |      251  84944 |        1 |        0
737.94/738.17	c  738s |      26 |  8461654 |  8384152 |      251  85111 |        1 |        0
739.93/740.17	c  740s |      26 |  8483720 |  8406052 |      251  85281 |        1 |        0
741.93/742.18	c  742s |      26 |  8505906 |  8428052 |      251  85450 |        1 |        0
743.93/744.18	c  744s |      26 |  8528402 |  8450352 |      251  85622 |        1 |        0
745.93/746.18	c  746s |      26 |  8550708 |  8472452 |      251  85793 |        1 |        0
747.94/748.19	c  748s |      26 |  8572956 |  8494552 |      251  85964 |        1 |        0
749.93/750.20	c  750s |      26 |  8595207 |  8516652 |      251  86135 |        1 |        0
752.02/752.20	c  752s |      26 |  8617506 |  8538752 |      251  86308 |        1 |        0
754.02/754.21	c  754s |      26 |  8639778 |  8560852 |      251  86479 |        1 |        0
756.02/756.22	c  756s |      26 |  8662355 |  8583252 |      251  86653 |        1 |        0
758.02/758.22	c  758s |      26 |  8685058 |  8605752 |      251  86829 |        1 |        0
760.03/760.22	c  760s |      26 |  8707732 |  8628252 |      251  87005 |        1 |        0
762.02/762.23	c  762s |      26 |  8729784 |  8650152 |      251  87171 |        1 |        0
764.02/764.23	c  764s |      26 |  8751744 |  8671952 |      251  87338 |        1 |        0
766.02/766.23	c  766s |      26 |  8774146 |  8694152 |      251  87509 |        1 |        0
768.02/768.24	c  768s |      26 |  8796577 |  8716352 |      251  87679 |        1 |        0
770.02/770.24	c  770s |      26 |  8819300 |  8738852 |      251  87853 |        1 |        0
772.02/772.25	c  772s |      26 |  8841815 |  8761152 |      251  88025 |        1 |        0
774.01/774.25	c  774s |      26 |  8864285 |  8783452 |      251  88197 |        1 |        0
776.01/776.26	c  776s |      26 |  8886997 |  8805952 |      251  88372 |        1 |        0
778.01/778.27	c  778s |      26 |  8909710 |  8828452 |      251  88547 |        1 |        0
780.01/780.27	c  780s |      26 |  8932646 |  8851152 |      251  88724 |        1 |        0
782.01/782.28	c  782s |      26 |  8955121 |  8873352 |      251  88897 |        1 |        0
784.00/784.29	c  784s |      26 |  8977532 |  8895552 |      251  89069 |        1 |        0
786.00/786.29	c  786s |      26 |  9000263 |  8918052 |      251  89243 |        1 |        0
788.11/788.30	c  788s |      26 |  9023112 |  8940652 |      251  89419 |        1 |        0
790.11/790.30	c  790s |      26 |  9045607 |  8962952 |      251  89592 |        1 |        0
792.11/792.30	c  792s |      26 |  9068437 |  8985552 |      251  89767 |        1 |        0
794.11/794.31	c  794s |      26 |  9090859 |  9007752 |      251  89933 |        1 |        0
796.11/796.31	c  796s |      26 |  9113258 |  9029852 |      251  90101 |        1 |        0
798.10/798.31	c  798s |      26 |  9135442 |  9051852 |      251  90268 |        1 |        0
800.10/800.32	c  800s |      26 |  9157904 |  9074052 |      251  90438 |        1 |        0
802.10/802.32	c  802s |      26 |  9179683 |  9095652 |      251  90601 |        1 |        0
804.10/804.33	c  804s |      26 |  9201795 |  9117552 |      251  90769 |        1 |        0
806.11/806.34	c  806s |      26 |  9223664 |  9139252 |      251  90934 |        1 |        0
808.10/808.34	c  808s |      26 |  9245515 |  9160952 |      251  91100 |        1 |        0
810.10/810.35	c  810s |      26 |  9267178 |  9182452 |      251  91264 |        1 |        0
812.10/812.36	c  812s |      26 |  9289026 |  9204152 |      251  91431 |        1 |        0
814.10/814.36	c  814s |      26 |  9311204 |  9226152 |      251  91600 |        1 |        0
816.10/816.37	c  816s |      26 |  9333394 |  9248152 |      251  91768 |        1 |        0
818.10/818.37	c  818s |      26 |  9355440 |  9270052 |      251  91936 |        1 |        0
820.10/820.38	c  820s |      26 |  9377913 |  9292352 |      251  92107 |        1 |        0
822.09/822.38	c  822s |      26 |  9400293 |  9314552 |      251  92279 |        1 |        0
824.10/824.38	c  824s |      26 |  9422818 |  9336852 |      251  92450 |        1 |        0
826.10/826.39	c  826s |      26 |  9445294 |  9359152 |      251  92623 |        1 |        0
828.10/828.39	c  828s |      26 |  9468190 |  9381852 |      251  92798 |        1 |        0
830.10/830.39	c  830s |      26 |  9490482 |  9403952 |      251  92969 |        1 |        0
832.09/832.39	c  832s |      26 |  9512487 |  9425752 |      251  93136 |        1 |        0
834.19/834.40	c  834s |      26 |  9534958 |  9448052 |      251  93309 |        1 |        0
836.19/836.40	c  836s |      26 |  9557455 |  9470352 |      251  93479 |        1 |        0
838.19/838.40	c  838s |      26 |  9579550 |  9492252 |      251  93647 |        1 |        0
840.20/840.41	c  840s |      26 |  9601735 |  9514252 |      251  93817 |        1 |        0
842.19/842.41	c  842s |      26 |  9623794 |  9536152 |      251  93986 |        1 |        0
844.19/844.42	c  844s |      26 |  9645864 |  9558052 |      251  94156 |        1 |        0
846.19/846.42	c  846s |      26 |  9667989 |  9580052 |      251  94327 |        1 |        0
848.19/848.42	c  848s |      26 |  9690686 |  9602552 |      251  94498 |        1 |        0
850.19/850.42	c  850s |      26 |  9713201 |  9624852 |      251  94667 |        1 |        0
852.18/852.43	c  852s |      26 |  9735201 |  9646652 |      251  94833 |        1 |        0
854.18/854.44	c  854s |      26 |  9757172 |  9668452 |      251  95000 |        1 |        0
856.18/856.44	c  856s |      26 |  9779509 |  9690552 |      251  95169 |        1 |        0
858.18/858.44	c  858s |      26 |  9801560 |  9712452 |      251  95337 |        1 |        0
860.18/860.45	c  860s |      26 |  9823645 |  9734352 |      251  95505 |        1 |        0
862.19/862.45	c  862s |      26 |  9845891 |  9756352 |      251  95674 |        1 |        0
864.18/864.46	c  864s |      26 |  9868681 |  9778852 |      251  95847 |        1 |        0
866.18/866.46	c  866s |      26 |  9890998 |  9800952 |      251  96017 |        1 |        0
868.18/868.46	c  868s |      26 |  9913466 |  9823252 |      251  96189 |        1 |        0
870.19/870.46	c  870s |      26 |  9936160 |  9845752 |      251  96363 |        1 |        0
872.19/872.47	c  872s |      26 |  9958847 |  9868252 |      251  96537 |        1 |        0
874.18/874.48	c  874s |      26 |  9981733 |  9890952 |      251  96712 |        1 |        0
876.18/876.48	c  876s |      26 | 10003695 |  9912752 |      251  96878 |        1 |        0
878.18/878.49	c  878s |      26 | 10025866 |  9934752 |      251  97048 |        1 |        0
880.18/880.49	c  880s |      26 | 10048698 |  9957352 |      251  97222 |        1 |        0
882.27/882.50	c  882s |      26 | 10071253 |  9979752 |      251  97395 |        1 |        0
884.18/884.50	c  884s |      26 | 10093584 | 10001952 |      251  97568 |        1 |        0
886.27/886.51	c  886s |      26 | 10116093 | 10024252 |      251  97740 |        1 |        0
888.27/888.51	c  888s |      26 | 10138854 | 10046752 |      251  97914 |        1 |        0
890.27/890.51	c  890s |      26 | 10160601 | 10068352 |      251  98082 |        1 |        0
892.27/892.52	c  892s |      26 | 10182794 | 10090352 |      251  98254 |        1 |        0
894.28/894.53	c  894s |      26 | 10204352 | 10111752 |      251  98419 |        1 |        0
896.28/896.53	c  896s |      26 | 10226314 | 10133552 |      251  98588 |        1 |        0
898.27/898.54	c  898s |      26 | 10248377 | 10155452 |      251  98757 |        1 |        0
900.27/900.54	c  900s |      26 | 10270384 | 10177252 |      251  98926 |        1 |        0
902.27/902.55	c  902s |      26 | 10292664 | 10199352 |      251  99098 |        1 |        0
904.27/904.55	c  904s |      26 | 10315050 | 10221552 |      251  99271 |        1 |        0
906.27/906.55	c  906s |      26 | 10337155 | 10243452 |      251  99441 |        1 |        0
908.27/908.55	c  908s |      26 | 10359589 | 10265652 |      251  99613 |        1 |        0
910.27/910.55	c  910s |      26 | 10382906 | 10288652 |      251  99792 |        1 |        0
912.26/912.56	c  912s |      26 | 10406042 | 10311552 |      251  99970 |        1 |        0
914.26/914.56	c  914s |      26 | 10429256 | 10334552 |      251 100149 |        1 |        0
916.26/916.57	c  916s |      26 | 10452507 | 10357552 |      251 100329 |        1 |        0
918.27/918.57	c  918s |      26 | 10475385 | 10380252 |      251 100506 |        1 |        0
920.26/920.57	c  920s |      26 | 10498408 | 10403052 |      251 100685 |        1 |        0
922.26/922.58	c  922s |      26 | 10521573 | 10426052 |      251 100866 |        1 |        0
924.26/924.58	c  924s |      26 | 10544448 | 10448752 |      251 101043 |        1 |        0
926.26/926.59	c  926s |      26 | 10567250 | 10471352 |      251 101217 |        1 |        0
928.26/928.59	c  928s |      26 | 10589940 | 10493852 |      251 101392 |        1 |        0
930.25/930.60	c  930s |      26 | 10612367 | 10516052 |      251 101564 |        1 |        0
932.35/932.60	c  932s |      26 | 10635092 | 10538552 |      251 101738 |        1 |        0
934.35/934.61	c  934s |      26 | 10657808 | 10561052 |      251 101911 |        1 |        0
936.36/936.62	c  936s |      26 | 10680618 | 10583652 |      251 102086 |        1 |        0
938.36/938.62	c  938s |      26 | 10703494 | 10606352 |      251 102262 |        1 |        0
940.37/940.63	c  940s |      26 | 10726296 | 10628952 |      251 102437 |        1 |        0
942.36/942.63	c  942s |      26 | 10749423 | 10651852 |      251 102616 |        1 |        0
944.36/944.64	c  944s |      26 | 10771984 | 10674152 |      251 102790 |        1 |        0
946.36/946.65	c  946s |      26 | 10794602 | 10696552 |      251 102965 |        1 |        0
948.36/948.65	c  948s |      26 | 10817538 | 10719252 |      251 103144 |        1 |        0
950.36/950.65	c  950s |      26 | 10840411 | 10741852 |      251 103317 |        1 |        0
952.36/952.66	c  952s |      26 | 10863892 | 10765052 |      251 103498 |        1 |        0
954.36/954.66	c  954s |      26 | 10886812 | 10787752 |      251 103674 |        1 |        0
956.35/956.67	c  956s |      26 | 10909910 | 10810552 |      251 103852 |        1 |        0
958.35/958.68	c  958s |      26 | 10932734 | 10833152 |      251 104029 |        1 |        0
960.35/960.68	c  960s |      26 | 10955726 | 10855952 |      251 104208 |        1 |        0
962.36/962.69	c  962s |      26 | 10978722 | 10878652 |      251 104384 |        1 |        0
964.35/964.70	c  964s |      26 | 11001537 | 10901252 |      251 104559 |        1 |        0
966.45/966.70	c  966s |      26 | 11024791 | 10924252 |      251 104740 |        1 |        0
968.45/968.70	c  968s |      26 | 11048191 | 10947452 |      251 104922 |        1 |        0
970.45/970.70	c  970s |      26 | 11071047 | 10970152 |      251 105099 |        1 |        0
972.44/972.71	c  972s |      26 | 11094075 | 10992952 |      251 105277 |        1 |        0
974.45/974.71	c  974s |      26 | 11116933 | 11015652 |      251 105455 |        1 |        0
976.44/976.71	c  976s |      26 | 11140350 | 11038852 |      251 105639 |        1 |        0
978.44/978.71	c  978s |      26 | 11163357 | 11061652 |      251 105816 |        1 |        0
980.44/980.72	c  980s |      26 | 11186540 | 11084652 |      251 105997 |        1 |        0
982.44/982.73	c  982s |      26 | 11209658 | 11107552 |      251 106178 |        1 |        0
984.44/984.73	c  984s |      26 | 11232202 | 11129852 |      251 106351 |        1 |        0
986.44/986.74	c  986s |      26 | 11254785 | 11152152 |      251 106522 |        1 |        0
988.43/988.74	c  988s |      26 | 11277437 | 11174552 |      251 106694 |        1 |        0
990.44/990.75	c  990s |      26 | 11300168 | 11197052 |      251 106867 |        1 |        0
992.43/992.75	c  992s |      26 | 11323245 | 11219852 |      251 107043 |        1 |        0
994.43/994.75	c  994s |      26 | 11346316 | 11242652 |      251 107217 |        1 |        0
996.44/996.75	c  996s |      26 | 11369268 | 11265352 |      251 107390 |        1 |        0
998.43/998.75	c  998s |      26 | 11392222 | 11287952 |      251 107565 |        1 |        0
1000.43/1000.76	c 1000s |      26 | 11415118 | 11310552 |      251 107739 |        1 |        0
1002.43/1002.76	c 1002s |      26 | 11438112 | 11333252 |      277 107900 |        1 |        0
1004.43/1004.76	c 1004s |      26 | 11460544 | 11355452 |      277 108056 |        1 |        0
1006.43/1006.77	c 1006s |      26 | 11482638 | 11377352 |      277 108211 |        1 |        0
1008.23/1008.51	c 1008s |      27 | 11502211 | 11396733 |      277 108348 |        1 |        0
1010.23/1010.51	c 1010s |      27 | 11524741 | 11419033 |      277 108503 |        1 |        0
1012.22/1012.52	c 1012s |      27 | 11546907 | 11440933 |      277 108655 |        1 |        0
1014.22/1014.52	c 1014s |      27 | 11569279 | 11463033 |      277 108810 |        1 |        0
1016.23/1016.52	c 1016s |      27 | 11591782 | 11485333 |      277 108965 |        1 |        0
1018.23/1018.53	c 1018s |      27 | 11614216 | 11507533 |      277 109121 |        1 |        0
1020.23/1020.54	c 1020s |      27 | 11636367 | 11529533 |      277 109275 |        1 |        0
1022.23/1022.54	c 1022s |      27 | 11658425 | 11551433 |      277 109429 |        1 |        0
1024.23/1024.55	c 1024s |      27 | 11680612 | 11573433 |      277 109583 |        1 |        0
1026.23/1026.55	c 1026s |      27 | 11702965 | 11595633 |      277 109739 |        1 |        0
1028.23/1028.55	c 1028s |      27 | 11725032 | 11617533 |      277 109893 |        1 |        0
1030.22/1030.56	c 1030s |      27 | 11747048 | 11639433 |      277 110047 |        1 |        0
1032.22/1032.56	c 1032s |      27 | 11768990 | 11661233 |      277 110201 |        1 |        0
1034.22/1034.56	c 1034s |      27 | 11791347 | 11683433 |      277 110356 |        1 |        0
1036.22/1036.56	c 1036s |      27 | 11813581 | 11705533 |      277 110512 |        1 |        0
1038.22/1038.57	c 1038s |      27 | 11836017 | 11727833 |      277 110670 |        1 |        0
1040.21/1040.58	c 1040s |      27 | 11858475 | 11750133 |      277 110829 |        1 |        0
1042.21/1042.58	c 1042s |      27 | 11880647 | 11772133 |      277 110983 |        1 |        0
1044.21/1044.58	c 1044s |      27 | 11902694 | 11793933 |      277 111135 |        1 |        0
1046.21/1046.59	c 1046s |      27 | 11924932 | 11815933 |      277 111290 |        1 |        0
1048.21/1048.59	c 1048s |      27 | 11947050 | 11837833 |      277 111444 |        1 |        0
1050.21/1050.60	c 1050s |      27 | 11968962 | 11859533 |      277 111596 |        1 |        0
1052.30/1052.61	c 1052s |      27 | 11990682 | 11881033 |      277 111746 |        1 |        0
1054.31/1054.62	c 1054s |      27 | 12012602 | 11902733 |      277 111899 |        1 |        0
1056.31/1056.62	c 1056s |      27 | 12034852 | 11924733 |      277 112054 |        1 |        0
1058.31/1058.62	c 1058s |      27 | 12056956 | 11946633 |      277 112207 |        1 |        0
1060.31/1060.63	c 1060s |      27 | 12078858 | 11968333 |      277 112360 |        1 |        0
1062.31/1062.63	c 1062s |      27 | 12100953 | 11990233 |      277 112515 |        1 |        0
1064.30/1064.64	c 1064s |      27 | 12123163 | 12012233 |      277 112670 |        1 |        0
1066.30/1066.64	c 1066s |      27 | 12145155 | 12034033 |      277 112824 |        1 |        0
1068.30/1068.65	c 1068s |      27 | 12167387 | 12056033 |      277 112979 |        1 |        0
1070.30/1070.65	c 1070s |      27 | 12189498 | 12077933 |      277 113131 |        1 |        0
1072.30/1072.65	c 1072s |      27 | 12211299 | 12099533 |      277 113281 |        1 |        0
1074.29/1074.66	c 1074s |      27 | 12233417 | 12121433 |      277 113434 |        1 |        0
1076.29/1076.66	c 1076s |      27 | 12255589 | 12143433 |      277 113588 |        1 |        0
1078.29/1078.67	c 1078s |      27 | 12277639 | 12165333 |      277 113743 |        1 |        0
1080.30/1080.68	c 1080s |      27 | 12299272 | 12186833 |      277 113892 |        1 |        0
1082.30/1082.68	c 1082s |      27 | 12321354 | 12208733 |      277 114044 |        1 |        0
1084.30/1084.69	c 1084s |      27 | 12343573 | 12230733 |      277 114197 |        1 |        0
1086.29/1086.69	c 1086s |      27 | 12365443 | 12252433 |      277 114348 |        1 |        0
1088.39/1088.70	c 1088s |      27 | 12387647 | 12274333 |      277 114501 |        1 |        0
1090.39/1090.71	c 1090s |      27 | 12410585 | 12296933 |      277 114659 |        1 |        0
1092.39/1092.71	c 1092s |      27 | 12432532 | 12318733 |      277 114813 |        1 |        0
1094.39/1094.71	c 1094s |      27 | 12454735 | 12340733 |      277 114968 |        1 |        0
1096.40/1096.72	c 1096s |      27 | 12477491 | 12363233 |      277 115127 |        1 |        0
1098.39/1098.72	c 1098s |      27 | 12499720 | 12385233 |      277 115282 |        1 |        0
1100.39/1100.73	c 1100s |      27 | 12521803 | 12407133 |      277 115435 |        1 |        0
1102.38/1102.73	c 1102s |      27 | 12544133 | 12429233 |      277 115590 |        1 |        0
1104.38/1104.74	c 1104s |      27 | 12566305 | 12451233 |      277 115744 |        1 |        0
1106.39/1106.74	c 1106s |      27 | 12588243 | 12473033 |      277 115897 |        1 |        0
1108.38/1108.75	c 1108s |      27 | 12610623 | 12495233 |      277 116054 |        1 |        0
1110.38/1110.76	c 1110s |      27 | 12632984 | 12517433 |      277 116211 |        1 |        0
1112.37/1112.76	c 1112s |      27 | 12654935 | 12539233 |      277 116364 |        1 |        0
1114.37/1114.76	c 1114s |      27 | 12677032 | 12561133 |      277 116518 |        1 |        0
1116.37/1116.77	c 1116s |      27 | 12699407 | 12583333 |      277 116674 |        1 |        0
1118.38/1118.77	c 1118s |      27 | 12722082 | 12605833 |      277 116832 |        1 |        0
1120.37/1120.77	c 1120s |      27 | 12745061 | 12628633 |      277 116993 |        1 |        0
1122.37/1122.78	c 1122s |      27 | 12767885 | 12651233 |      277 117152 |        1 |        0
1124.37/1124.78	c 1124s |      27 | 12791202 | 12674333 |      277 117316 |        1 |        0
1126.37/1126.79	c 1126s |      27 | 12814139 | 12697033 |      277 117476 |        1 |        0
1128.38/1128.79	c 1128s |      27 | 12836405 | 12719133 |      277 117631 |        1 |        0
1130.37/1130.80	c 1130s |      27 | 12858566 | 12741133 |      277 117786 |        1 |        0
1132.47/1132.80	c 1132s |      27 | 12880310 | 12762733 |      277 117938 |        1 |        0
1134.47/1134.80	c 1134s |      27 | 12902033 | 12784333 |      277 118090 |        1 |        0
1136.47/1136.81	c 1136s |      27 | 12924099 | 12806233 |      277 118245 |        1 |        0
1138.47/1138.82	c 1138s |      27 | 12946128 | 12828133 |      277 118401 |        1 |        0
1140.48/1140.83	c 1140s |      27 | 12968256 | 12850133 |      277 118556 |        1 |        0
1142.47/1142.83	c 1142s |      27 | 12990192 | 12871933 |      277 118710 |        1 |        0
1144.47/1144.84	c 1144s |      27 | 13012458 | 12894033 |      277 118866 |        1 |        0
1146.47/1146.85	c 1146s |      27 | 13034772 | 12916133 |      277 119023 |        1 |        0
1148.46/1148.86	c 1148s |      27 | 13056762 | 12937933 |      277 119173 |        1 |        0
1150.46/1150.86	c 1150s |      27 | 13078941 | 12959933 |      277 119325 |        1 |        0
1152.47/1152.87	c 1152s |      27 | 13101019 | 12981833 |      277 119477 |        1 |        0
1154.46/1154.88	c 1154s |      27 | 13123092 | 13003733 |      277 119630 |        1 |        0
1156.46/1156.88	c 1156s |      27 | 13145034 | 13025533 |      277 119782 |        1 |        0
1158.46/1158.89	c 1158s |      27 | 13167406 | 13047733 |      277 119936 |        1 |        0
1160.46/1160.89	c 1160s |      27 | 13189367 | 13069533 |      277 120088 |        1 |        0
1162.55/1162.90	c 1162s |      27 | 13211447 | 13091433 |      277 120242 |        1 |        0
1164.56/1164.91	c 1164s |      27 | 13233643 | 13113433 |      277 120395 |        1 |        0
1166.55/1166.91	c 1166s |      27 | 13255915 | 13135533 |      277 120549 |        1 |        0
1168.55/1168.92	c 1168s |      27 | 13277801 | 13157233 |      277 120701 |        1 |        0
1170.55/1170.93	c 1170s |      27 | 13299990 | 13179233 |      277 120855 |        1 |        0
1172.55/1172.93	c 1172s |      27 | 13321680 | 13200733 |      277 121006 |        1 |        0
1174.56/1174.94	c 1174s |      27 | 13343742 | 13222633 |      277 121160 |        1 |        0
1176.55/1176.94	c 1176s |      27 | 13365992 | 13244733 |      277 121316 |        1 |        0
1178.55/1178.95	c 1178s |      27 | 13388260 | 13266833 |      277 121473 |        1 |        0
1180.55/1180.96	c 1180s |      27 | 13410112 | 13288533 |      277 121625 |        1 |        0
1182.55/1182.96	c 1182s |      27 | 13432173 | 13310433 |      277 121779 |        1 |        0
1184.55/1184.96	c 1184s |      27 | 13454409 | 13332533 |      277 121935 |        1 |        0
1186.55/1186.96	c 1186s |      27 | 13476548 | 13354533 |      277 122088 |        1 |        0
1188.55/1188.97	c 1188s |      27 | 13498726 | 13376533 |      277 122242 |        1 |        0
1190.54/1190.97	c 1190s |      27 | 13520872 | 13398533 |      277 122397 |        1 |        0
1192.54/1192.97	c 1192s |      27 | 13543226 | 13420733 |      277 122553 |        1 |        0
1194.54/1194.98	c 1194s |      27 | 13565276 | 13442633 |      277 122706 |        1 |        0
1196.55/1196.98	c 1196s |      27 | 13587454 | 13464633 |      277 122861 |        1 |        0
1198.54/1198.99	c 1198s |      27 | 13609796 | 13486833 |      277 123017 |        1 |        0
1200.54/1200.99	c 1200s |      27 | 13631835 | 13508733 |      277 123172 |        1 |        0
1202.54/1202.99	c 1202s |      27 | 13653876 | 13530633 |      277 123326 |        1 |        0
1204.64/1205.00	c 1204s |      27 | 13676027 | 13552633 |      277 123482 |        1 |        0
1206.64/1207.00	c 1206s |      27 | 13698385 | 13574833 |      277 123639 |        1 |        0
1208.65/1209.01	c 1208s |      27 | 13720635 | 13596933 |      277 123796 |        1 |        0
1210.64/1211.02	c 1211s |      27 | 13743094 | 13619233 |      277 123954 |        1 |        0
1212.64/1213.02	c 1213s |      27 | 13765761 | 13641733 |      277 124114 |        1 |        0
1214.64/1215.02	c 1215s |      27 | 13787982 | 13663833 |      277 124271 |        1 |        0
1216.64/1217.02	c 1217s |      27 | 13810538 | 13686233 |      277 124431 |        1 |        0
1218.64/1219.03	c 1219s |      27 | 13832784 | 13708333 |      277 124587 |        1 |        0
1220.65/1221.04	c 1221s |      27 | 13855036 | 13730433 |      277 124742 |        1 |        0
1222.64/1223.04	c 1223s |      27 | 13877412 | 13752633 |      277 124898 |        1 |        0
1224.64/1225.04	c 1225s |      27 | 13899885 | 13774933 |      277 125055 |        1 |        0
1226.64/1227.05	c 1227s |      27 | 13922130 | 13797033 |      277 125210 |        1 |        0
1228.64/1229.05	c 1229s |      27 | 13944371 | 13819133 |      277 125367 |        1 |        0
1230.65/1231.06	c 1231s |      27 | 13967090 | 13841633 |      277 125526 |        1 |        0
1232.64/1233.06	c 1233s |      27 | 13989662 | 13864033 |      277 125685 |        1 |        0
1234.64/1235.07	c 1235s |      27 | 14012033 | 13886233 |      277 125842 |        1 |        0
1236.64/1237.07	c 1237s |      27 | 14034663 | 13908733 |      277 126002 |        1 |        0
1238.64/1239.07	c 1239s |      27 | 14057343 | 13931233 |      277 126163 |        1 |        0
1240.64/1241.07	c 1241s |      27 | 14080004 | 13953733 |      277 126322 |        1 |        0
1242.64/1243.07	c 1243s |      27 | 14102686 | 13976133 |      277 126480 |        1 |        0
1244.64/1245.08	c 1245s |      27 | 14125505 | 13998733 |      277 126640 |        1 |        0
1246.64/1247.08	c 1247s |      27 | 14148619 | 14021533 |      277 126803 |        1 |        0
1248.64/1249.09	c 1249s |      27 | 14171378 | 14044033 |      277 126962 |        1 |        0
1250.63/1251.09	c 1251s |      27 | 14194180 | 14066533 |      277 127122 |        1 |        0
1252.64/1253.09	c 1253s |      27 | 14217025 | 14089133 |      277 127284 |        1 |        0
1254.63/1255.10	c 1255s |      27 | 14239535 | 14111433 |      277 127444 |        1 |        0
1256.73/1257.10	c 1257s |      27 | 14261309 | 14133033 |      277 127595 |        1 |        0
1258.73/1259.11	c 1259s |      27 | 14282860 | 14154433 |      277 127743 |        1 |        0
1260.73/1261.11	c 1261s |      27 | 14304079 | 14175533 |      277 127890 |        1 |        0
1262.73/1263.12	c 1263s |      27 | 14325848 | 14197133 |      277 128040 |        1 |        0
1264.74/1265.12	c 1265s |      27 | 14347641 | 14218733 |      277 128190 |        1 |        0
1266.73/1267.13	c 1267s |      27 | 14369528 | 14240433 |      277 128342 |        1 |        0
1268.73/1269.13	c 1269s |      27 | 14391479 | 14262233 |      277 128495 |        1 |        0
1270.73/1271.13	c 1271s |      27 | 14413532 | 14284033 |      277 128646 |        1 |        0
1272.73/1273.14	c 1273s |      27 | 14435259 | 14305533 |      277 128795 |        1 |        0
1274.73/1275.14	c 1275s |      27 | 14457274 | 14327333 |      277 128948 |        1 |        0
1276.73/1277.14	c 1277s |      27 | 14479143 | 14349033 |      277 129099 |        1 |        0
1278.73/1279.15	c 1279s |      27 | 14501148 | 14370833 |      277 129250 |        1 |        0
1280.73/1281.15	c 1281s |      27 | 14522890 | 14392333 |      277 129400 |        1 |        0
1282.73/1283.16	c 1283s |      27 | 14544474 | 14413733 |      277 129550 |        1 |        0
1284.72/1285.16	c 1285s |      27 | 14566014 | 14435133 |      277 129700 |        1 |        0
1286.73/1287.17	c 1287s |      27 | 14587681 | 14456633 |      277 129850 |        1 |        0
1288.73/1289.17	c 1289s |      27 | 14609562 | 14478333 |      277 130003 |        1 |        0
1290.73/1291.18	c 1291s |      27 | 14631328 | 14499933 |      277 130153 |        1 |        0
1292.73/1293.18	c 1293s |      27 | 14652987 | 14521433 |      277 130302 |        1 |        0
1294.73/1295.18	c 1295s |      27 | 14674474 | 14542733 |      277 130450 |        1 |        0
1296.73/1297.18	c 1297s |      27 | 14695817 | 14563933 |      277 130598 |        1 |        0
1298.74/1299.18	c 1299s |      27 | 14717804 | 14585733 |      277 130750 |        1 |        0
1300.73/1301.19	c 1301s |      27 | 14739668 | 14607433 |      277 130902 |        1 |        0
1302.73/1303.19	c 1303s |      27 | 14761945 | 14629533 |      277 131058 |        1 |        0
1304.73/1305.19	c 1305s |      27 | 14783678 | 14651133 |      277 131208 |        1 |        0
1306.83/1307.20	c 1307s |      27 | 14805653 | 14672933 |      277 131361 |        1 |        0
1308.83/1309.20	c 1309s |      27 | 14827635 | 14694733 |      277 131515 |        1 |        0
1310.83/1311.21	c 1311s |      27 | 14849667 | 14716533 |      277 131668 |        1 |        0
1312.83/1313.22	c 1313s |      27 | 14872017 | 14738633 |      277 131821 |        1 |        0
1314.83/1315.22	c 1315s |      27 | 14894215 | 14760633 |      277 131975 |        1 |        0
1316.83/1317.23	c 1317s |      27 | 14916213 | 14782433 |      277 132127 |        1 |        0
1318.83/1319.23	c 1319s |      27 | 14938068 | 14804133 |      277 132279 |        1 |        0
1320.83/1321.24	c 1321s |      27 | 14960120 | 14826033 |      277 132433 |        1 |        0
1322.82/1323.25	c 1323s |      27 | 14982621 | 14848333 |      277 132590 |        1 |        0
1324.82/1325.25	c 1325s |      27 | 15004787 | 14870333 |      277 132743 |        1 |        0
1326.82/1327.26	c 1327s |      27 | 15026904 | 14892233 |      277 132895 |        1 |        0
1328.82/1329.26	c 1329s |      27 | 15049330 | 14914433 |      277 133050 |        1 |        0
1330.82/1331.26	c 1331s |      27 | 15071624 | 14936533 |      277 133205 |        1 |        0
1332.82/1333.27	c 1333s |      27 | 15093569 | 14958333 |      277 133358 |        1 |        0
1334.82/1335.28	c 1335s |      27 | 15114881 | 14979533 |      277 133507 |        1 |        0
1336.82/1337.28	c 1337s |      27 | 15136317 | 15000833 |      277 133657 |        1 |        0
1338.83/1339.29	c 1339s |      27 | 15157794 | 15022133 |      277 133807 |        1 |        0
1340.93/1341.30	c 1341s |      27 | 15179481 | 15043633 |      277 133959 |        1 |        0
1342.92/1343.30	c 1343s |      27 | 15201060 | 15065033 |      277 134110 |        1 |        0
1344.82/1345.30	c 1345s |      27 | 15222828 | 15086633 |      277 134263 |        1 |        0
1346.92/1347.30	c 1347s |      27 | 15244396 | 15108033 |      277 134414 |        1 |        0
1348.92/1349.31	c 1349s |      27 | 15266146 | 15129633 |      277 134565 |        1 |        0
1350.92/1351.31	c 1351s |      27 | 15288033 | 15151333 |      277 134717 |        1 |        0
1352.92/1353.32	c 1353s |      27 | 15309906 | 15173033 |      277 134870 |        1 |        0
1354.93/1355.32	c 1355s |      27 | 15331653 | 15194633 |      277 135022 |        1 |        0
1356.92/1357.33	c 1357s |      27 | 15353415 | 15216233 |      277 135174 |        1 |        0
1358.92/1359.33	c 1359s |      27 | 15375270 | 15237933 |      277 135328 |        1 |        0
1360.92/1361.34	c 1361s |      27 | 15397434 | 15259933 |      277 135483 |        1 |        0
1362.92/1363.34	c 1363s |      27 | 15419267 | 15281633 |      277 135637 |        1 |        0
1364.92/1365.34	c 1365s |      27 | 15441333 | 15303533 |      277 135792 |        1 |        0
1366.92/1367.35	c 1367s |      27 | 15463818 | 15325733 |      277 135948 |        1 |        0
1368.91/1369.35	c 1369s |      27 | 15485910 | 15347533 |      277 136101 |        1 |        0
1370.91/1371.36	c 1371s |      27 | 15507999 | 15369333 |      277 136254 |        1 |        0
1372.91/1373.36	c 1373s |      27 | 15530497 | 15391633 |      277 136411 |        1 |        0
1374.91/1375.37	c 1375s |      27 | 15552856 | 15413833 |      277 136568 |        1 |        0
1376.92/1377.38	c 1377s |      27 | 15575141 | 15435933 |      277 136724 |        1 |        0
1378.91/1379.38	c 1379s |      27 | 15597670 | 15458233 |      277 136881 |        1 |        0
1380.91/1381.39	c 1381s |      27 | 15619992 | 15480333 |      277 137038 |        1 |        0
1382.91/1383.39	c 1383s |      27 | 15642624 | 15502733 |      277 137197 |        1 |        0
1385.01/1385.40	c 1385s |      27 | 15665226 | 15525133 |      277 137355 |        1 |        0
1387.01/1387.40	c 1387s |      27 | 15687762 | 15547433 |      277 137513 |        1 |        0
1389.02/1389.41	c 1389s |      27 | 15709976 | 15569433 |      277 137669 |        1 |        0
1391.01/1391.41	c 1391s |      27 | 15732509 | 15591733 |      277 137828 |        1 |        0
1393.01/1393.42	c 1393s |      27 | 15754925 | 15613933 |      277 137986 |        1 |        0
1395.01/1395.42	c 1395s |      27 | 15778043 | 15636733 |      277 138150 |        1 |        0
1397.01/1397.43	c 1397s |      27 | 15799356 | 15657833 |      277 138297 |        1 |        0
1399.01/1399.43	c 1399s |      27 | 15821384 | 15679633 |      277 138450 |        1 |        0
1401.01/1401.44	c 1401s |      27 | 15843074 | 15701133 |      277 138601 |        1 |        0
1403.02/1403.45	c 1403s |      27 | 15864535 | 15722433 |      277 138750 |        1 |        0
1405.02/1405.45	c 1405s |      27 | 15886563 | 15744233 |      277 138904 |        1 |        0
1407.02/1407.46	c 1407s |      27 | 15908634 | 15766133 |      277 139059 |        1 |        0
1409.01/1409.46	c 1409s |      27 | 15930389 | 15787733 |      277 139212 |        1 |        0
1411.02/1411.47	c 1411s |      27 | 15952166 | 15809333 |      277 139364 |        1 |        0
1413.01/1413.48	c 1413s |      27 | 15973759 | 15830733 |      277 139515 |        1 |        0
1415.01/1415.48	c 1415s |      27 | 15995640 | 15852433 |      277 139668 |        1 |        0
1417.01/1417.48	c 1417s |      27 | 16017719 | 15874333 |      277 139823 |        1 |        0
1419.01/1419.49	c 1419s |      27 | 16039276 | 15895733 |      277 139974 |        1 |        0
1421.01/1421.49	c 1421s |      27 | 16060911 | 15917233 |      277 140126 |        1 |        0
1423.01/1423.50	c 1423s |      27 | 16082914 | 15939033 |      277 140281 |        1 |        0
1425.11/1425.50	c 1425s |      27 | 16104564 | 15960533 |      277 140433 |        1 |        0
1427.11/1427.51	c 1427s |      27 | 16126512 | 15982333 |      277 140587 |        1 |        0
1429.11/1429.51	c 1429s |      27 | 16148553 | 16004233 |      277 140743 |        1 |        0
1431.10/1431.52	c 1431s |      27 | 16170483 | 16026033 |      277 140898 |        1 |        0
1433.10/1433.52	c 1433s |      27 | 16192469 | 16047833 |      277 141053 |        1 |        0
1435.11/1435.53	c 1435s |      27 | 16213928 | 16069133 |      277 141203 |        1 |        0
1437.10/1437.54	c 1437s |      27 | 16235412 | 16090433 |      277 141352 |        1 |        0
1439.10/1439.54	c 1439s |      27 | 16257515 | 16112333 |      277 141507 |        1 |        0
1441.10/1441.54	c 1441s |      27 | 16279383 | 16134033 |      277 141660 |        1 |        0
1443.10/1443.55	c 1443s |      27 | 16301387 | 16155833 |      277 141814 |        1 |        0
1445.11/1445.55	c 1445s |      27 | 16323472 | 16177733 |      277 141969 |        1 |        0
1447.11/1447.56	c 1447s |      27 | 16345947 | 16200033 |      277 142127 |        1 |        0
1449.11/1449.57	c 1449s |      27 | 16368011 | 16221933 |      277 142282 |        1 |        0
1451.11/1451.57	c 1451s |      27 | 16389873 | 16243633 |      277 142436 |        1 |        0
1453.11/1453.57	c 1453s |      27 | 16410527 | 16264133 |      277 142581 |        1 |        0
1455.11/1455.58	c 1455s |      27 | 16430891 | 16284333 |      277 142726 |        1 |        0
1457.11/1457.58	c 1457s |      27 | 16451218 | 16304433 |      277 142867 |        1 |        0
1459.11/1459.58	c 1459s |      27 | 16471806 | 16324833 |      277 143010 |        1 |        0
1461.10/1461.58	c 1461s |      27 | 16491975 | 16344833 |      277 143152 |        1 |        0
1463.10/1463.59	c 1463s |      27 | 16513364 | 16366033 |      277 143300 |        1 |        0
1465.10/1465.59	c 1465s |      27 | 16535464 | 16387933 |      277 143455 |        1 |        0
1467.20/1467.60	c 1467s |      27 | 16558009 | 16410233 |      277 143613 |        1 |        0
1469.21/1469.60	c 1469s |      27 | 16580135 | 16432133 |      277 143769 |        1 |        0
1471.20/1471.61	c 1471s |      27 | 16602209 | 16454033 |      277 143926 |        1 |        0
1473.20/1473.61	c 1473s |      27 | 16623778 | 16475433 |      277 144077 |        1 |        0
1475.20/1475.61	c 1475s |      27 | 16646106 | 16497533 |      277 144233 |        1 |        0
1477.20/1477.62	c 1477s |      27 | 16668639 | 16519833 |      277 144391 |        1 |        0
1479.21/1479.62	c 1479s |      27 | 16690669 | 16541633 |      277 144546 |        1 |        0
1481.20/1481.62	c 1481s |      27 | 16712502 | 16563233 |      277 144700 |        1 |        0
1483.20/1483.63	c 1483s |      27 | 16734288 | 16584833 |      277 144853 |        1 |        0
1485.20/1485.63	c 1485s |      27 | 16756598 | 16606933 |      277 145011 |        1 |        0
1487.20/1487.64	c 1487s |      27 | 16778767 | 16628933 |      277 145169 |        1 |        0
1489.20/1489.65	c 1489s |      27 | 16801347 | 16651333 |      277 145330 |        1 |        0
1491.20/1491.65	c 1491s |      27 | 16823235 | 16673033 |      277 145483 |        1 |        0
1493.20/1493.65	c 1493s |      27 | 16845187 | 16694833 |      277 145636 |        1 |        0
1495.20/1495.66	c 1495s |      27 | 16867441 | 16716833 |      277 145789 |        1 |        0
1497.19/1497.67	c 1497s |      27 | 16889527 | 16738733 |      277 145943 |        1 |        0
1499.19/1499.67	c 1499s |      27 | 16911679 | 16760733 |      277 146097 |        1 |        0
1501.20/1501.68	c 1501s |      27 | 16933651 | 16782533 |      277 146251 |        1 |        0
1503.19/1503.68	c 1503s |      27 | 16956123 | 16804833 |      277 146409 |        1 |        0
1505.19/1505.69	c 1505s |      27 | 16979110 | 16827533 |      277 146568 |        1 |        0
1507.19/1507.69	c 1507s |      27 | 17001839 | 16849933 |      277 146724 |        1 |        0
1509.19/1509.70	c 1509s |      27 | 17024328 | 16872133 |      277 146879 |        1 |        0
1511.29/1511.70	c 1511s |      27 | 17047360 | 16894833 |      277 147039 |        1 |        0
1513.30/1513.71	c 1513s |      27 | 17069589 | 16916833 |      277 147193 |        1 |        0
1515.29/1515.71	c 1515s |      27 | 17091016 | 16938133 |      277 147342 |        1 |        0
1517.29/1517.72	c 1517s |      27 | 17112689 | 16959633 |      277 147494 |        1 |        0
1519.30/1519.72	c 1519s |      27 | 17134439 | 16981233 |      305 147641 |        1 |        0
1521.30/1521.73	c 1521s |      27 | 17156782 | 17003333 |      305 147783 |        1 |        0
1523.29/1523.74	c 1523s |      27 | 17179119 | 17025433 |      305 147926 |        1 |        0
1525.30/1525.74	c 1525s |      27 | 17201554 | 17047633 |      305 148068 |        1 |        0
1527.29/1527.75	c 1527s |      27 | 17223769 | 17069633 |      305 148211 |        1 |        0
1529.29/1529.75	c 1529s |      27 | 17246151 | 17091733 |      305 148353 |        1 |        0
1529.59/1530.07	c 1530s |      28 | 17249651 | 17095205 |      305 148375 |        1 |        0
1531.59/1532.07	c 1532s |      28 | 17271702 | 17117005 |      305 148514 |        1 |        0
1533.59/1534.08	c 1534s |      28 | 17294040 | 17139105 |      305 148655 |        1 |        0
1535.59/1536.08	c 1536s |      28 | 17316146 | 17161005 |      305 148795 |        1 |        0
1537.59/1538.08	c 1538s |      28 | 17337905 | 17182605 |      305 148934 |        1 |        0
1539.60/1540.08	c 1540s |      28 | 17359781 | 17204305 |      305 149073 |        1 |        0
1541.59/1542.09	c 1542s |      28 | 17381476 | 17225805 |      305 149211 |        1 |        0
1543.59/1544.09	c 1544s |      28 | 17403493 | 17247605 |      305 149351 |        1 |        0
1545.69/1546.10	c 1546s |      28 | 17425532 | 17269405 |      305 149491 |        1 |        0
1547.68/1548.10	c 1548s |      28 | 17447491 | 17291205 |      305 149632 |        1 |        0
1549.68/1550.10	c 1550s |      28 | 17469653 | 17313205 |      305 149773 |        1 |        0
1551.69/1552.11	c 1552s |      28 | 17491805 | 17335205 |      305 149915 |        1 |        0
1553.69/1554.11	c 1554s |      28 | 17514191 | 17357405 |      305 150059 |        1 |        0
1555.69/1556.12	c 1556s |      28 | 17536019 | 17379005 |      305 150199 |        1 |        0
1557.69/1558.13	c 1558s |      28 | 17558020 | 17400805 |      305 150340 |        1 |        0
1559.69/1560.13	c 1560s |      28 | 17580026 | 17422605 |      305 150482 |        1 |        0
1561.69/1562.13	c 1562s |      28 | 17601320 | 17443705 |      305 150616 |        1 |        0
1563.69/1564.14	c 1564s |      28 | 17622312 | 17464505 |      305 150749 |        1 |        0
1565.69/1566.15	c 1566s |      28 | 17643712 | 17485705 |      305 150885 |        1 |        0
1567.69/1568.15	c 1568s |      28 | 17665023 | 17506805 |      305 151019 |        1 |        0
1569.69/1570.16	c 1570s |      28 | 17686322 | 17527905 |      305 151154 |        1 |        0
1571.69/1572.17	c 1572s |      28 | 17707453 | 17548805 |      305 151288 |        1 |        0
1573.69/1574.17	c 1574s |      28 | 17728426 | 17569605 |      305 151421 |        1 |        0
1575.68/1576.18	c 1576s |      28 | 17749555 | 17590505 |      305 151555 |        1 |        0
1577.68/1578.18	c 1578s |      28 | 17770542 | 17611305 |      305 151689 |        1 |        0
1579.68/1580.18	c 1580s |      28 | 17791516 | 17632105 |      305 151822 |        1 |        0
1581.68/1582.18	c 1582s |      28 | 17813515 | 17653905 |      305 151961 |        1 |        0
1583.69/1584.19	c 1584s |      28 | 17835550 | 17675705 |      305 152102 |        1 |        0
1585.68/1586.19	c 1586s |      28 | 17857273 | 17697205 |      305 152240 |        1 |        0
1587.78/1588.20	c 1588s |      28 | 17878948 | 17718705 |      305 152378 |        1 |        0
1589.78/1590.20	c 1590s |      28 | 17900819 | 17740405 |      305 152518 |        1 |        0
1591.78/1592.21	c 1592s |      28 | 17922795 | 17762205 |      305 152659 |        1 |        0
1593.78/1594.21	c 1594s |      28 | 17944574 | 17783805 |      305 152799 |        1 |        0
1595.79/1596.22	c 1596s |      28 | 17966223 | 17805205 |      305 152937 |        1 |        0
1597.78/1598.22	c 1598s |      28 | 17987668 | 17826505 |      305 153074 |        1 |        0
1599.78/1600.22	c 1600s |      28 | 18009342 | 17848005 |      305 153214 |        1 |        0
1601.78/1602.23	c 1602s |      28 | 18031001 | 17869505 |      305 153352 |        1 |        0
1603.79/1604.23	c 1604s |      28 | 18052735 | 17891105 |      305 153491 |        1 |        0
1605.78/1606.24	c 1606s |      28 | 18074147 | 17912405 |      305 153628 |        1 |        0
1607.79/1608.24	c 1608s |      28 | 18096205 | 17934305 |      305 153770 |        1 |        0
1609.78/1610.25	c 1610s |      28 | 18118349 | 17956305 |      305 153912 |        1 |        0
1611.78/1612.26	c 1612s |      28 | 18139750 | 17977605 |      305 154050 |        1 |        0
1613.78/1614.26	c 1614s |      28 | 18160472 | 17998205 |      305 154183 |        1 |        0
1615.78/1616.27	c 1616s |      28 | 18181289 | 18018905 |      305 154317 |        1 |        0
1617.79/1618.27	c 1618s |      28 | 18202133 | 18039605 |      305 154451 |        1 |        0
1619.78/1620.28	c 1620s |      28 | 18223074 | 18060405 |      305 154585 |        1 |        0
1621.78/1622.28	c 1622s |      28 | 18244106 | 18081305 |      305 154721 |        1 |        0
1623.78/1624.29	c 1624s |      28 | 18265262 | 18102305 |      305 154857 |        1 |        0
1625.77/1626.29	c 1626s |      28 | 18286722 | 18123605 |      305 154995 |        1 |        0
1627.87/1628.30	c 1628s |      28 | 18309188 | 18145905 |      305 155140 |        1 |        0
1629.88/1630.30	c 1630s |      28 | 18331758 | 18168305 |      305 155287 |        1 |        0
1631.87/1632.31	c 1632s |      28 | 18353947 | 18190305 |      305 155430 |        1 |        0
1633.87/1634.31	c 1634s |      28 | 18375539 | 18211705 |      305 155564 |        1 |        0
1635.87/1636.32	c 1636s |      28 | 18397244 | 18233205 |      305 155698 |        1 |        0
1637.87/1638.32	c 1638s |      28 | 18419244 | 18255005 |      305 155835 |        1 |        0
1639.88/1640.33	c 1640s |      28 | 18441228 | 18276805 |      305 155973 |        1 |        0
1641.88/1642.33	c 1642s |      28 | 18463370 | 18298705 |      305 156111 |        1 |        0
1643.88/1644.34	c 1644s |      28 | 18485465 | 18320605 |      305 156249 |        1 |        0
1645.88/1646.34	c 1646s |      28 | 18507603 | 18342505 |      305 156387 |        1 |        0
1647.88/1648.35	c 1648s |      28 | 18529663 | 18364305 |      305 156525 |        1 |        0
1649.87/1650.36	c 1650s |      28 | 18551776 | 18386205 |      305 156663 |        1 |        0
1651.88/1652.36	c 1652s |      28 | 18573680 | 18407905 |      305 156800 |        1 |        0
1653.87/1654.37	c 1654s |      28 | 18595363 | 18429405 |      305 156936 |        1 |        0
1655.87/1656.37	c 1656s |      28 | 18617039 | 18450905 |      305 157072 |        1 |        0
1657.87/1658.37	c 1658s |      28 | 18638714 | 18472405 |      305 157208 |        1 |        0
1659.87/1660.38	c 1660s |      28 | 18660248 | 18493805 |      305 157343 |        1 |        0
1661.87/1662.38	c 1662s |      28 | 18681879 | 18515205 |      305 157480 |        1 |        0
1663.88/1664.39	c 1664s |      28 | 18703669 | 18536805 |      305 157618 |        1 |        0
1665.87/1666.39	c 1666s |      28 | 18724962 | 18557905 |      305 157752 |        1 |        0
1667.97/1668.40	c 1668s |      28 | 18746739 | 18579405 |      305 157888 |        1 |        0
1669.97/1670.40	c 1670s |      28 | 18768101 | 18600605 |      305 158023 |        1 |        0
1671.97/1672.41	c 1672s |      28 | 18789508 | 18621805 |      305 158157 |        1 |        0
1673.97/1674.41	c 1674s |      28 | 18811021 | 18643105 |      305 158292 |        1 |        0
1675.97/1676.42	c 1676s |      28 | 18832535 | 18664405 |      305 158427 |        1 |        0
1677.97/1678.42	c 1678s |      28 | 18854125 | 18685805 |      305 158564 |        1 |        0
1679.97/1680.43	c 1680s |      28 | 18875627 | 18707105 |      305 158698 |        1 |        0
1681.97/1682.43	c 1682s |      28 | 18897544 | 18728805 |      305 158836 |        1 |        0
1683.97/1684.44	c 1684s |      28 | 18919305 | 18750405 |      305 158973 |        1 |        0
1685.97/1686.44	c 1686s |      28 | 18941143 | 18772105 |      305 159112 |        1 |        0
1687.96/1688.45	c 1688s |      28 | 18963162 | 18793905 |      305 159250 |        1 |        0
1689.97/1690.45	c 1690s |      28 | 18985296 | 18815805 |      305 159390 |        1 |        0
1691.97/1692.45	c 1692s |      28 | 19008022 | 18838205 |      305 159533 |        1 |        0
1693.97/1694.45	c 1694s |      28 | 19029980 | 18860005 |      305 159673 |        1 |        0
1695.97/1696.45	c 1696s |      28 | 19051893 | 18881705 |      305 159811 |        1 |        0
1697.97/1698.45	c 1698s |      28 | 19073308 | 18902905 |      305 159945 |        1 |        0
1699.97/1700.46	c 1700s |      28 | 19094898 | 18924305 |      305 160079 |        1 |        0
1701.97/1702.47	c 1702s |      28 | 19116761 | 18945905 |      305 160217 |        1 |        0
1703.97/1704.48	c 1704s |      28 | 19138289 | 18967205 |      305 160351 |        1 |        0
1705.96/1706.48	c 1706s |      28 | 19160324 | 18989005 |      305 160490 |        1 |        0
1707.97/1708.49	c 1708s |      28 | 19182524 | 19011005 |      305 160631 |        1 |        0
1709.96/1710.49	c 1710s |      28 | 19204668 | 19032905 |      305 160769 |        1 |        0
1711.96/1712.49	c 1712s |      28 | 19226346 | 19054405 |      305 160905 |        1 |        0
1714.06/1714.50	c 1714s |      28 | 19248250 | 19076105 |      305 161043 |        1 |        0
1716.06/1716.50	c 1716s |      28 | 19270290 | 19097905 |      305 161182 |        1 |        0
1718.06/1718.50	c 1718s |      28 | 19292285 | 19119705 |      305 161322 |        1 |        0
1720.07/1720.51	c 1720s |      28 | 19314603 | 19141805 |      305 161463 |        1 |        0
1722.07/1722.51	c 1722s |      28 | 19336400 | 19163405 |      305 161600 |        1 |        0
1724.07/1724.52	c 1724s |      28 | 19358302 | 19185105 |      305 161738 |        1 |        0
1726.06/1726.53	c 1726s |      28 | 19380111 | 19206705 |      305 161875 |        1 |        0
1728.06/1728.53	c 1728s |      28 | 19402156 | 19228505 |      305 162014 |        1 |        0
1730.06/1730.53	c 1730s |      28 | 19424082 | 19250205 |      305 162153 |        1 |        0
1732.07/1732.54	c 1732s |      28 | 19445759 | 19271705 |      305 162291 |        1 |        0
1734.06/1734.54	c 1734s |      28 | 19467547 | 19293305 |      305 162429 |        1 |        0
1736.06/1736.55	c 1736s |      28 | 19489448 | 19315005 |      305 162567 |        1 |        0
1738.06/1738.55	c 1738s |      28 | 19511242 | 19336605 |      305 162706 |        1 |        0
1740.06/1740.56	c 1740s |      28 | 19533032 | 19358205 |      305 162845 |        1 |        0
1742.07/1742.56	c 1742s |      28 | 19554405 | 19379405 |      305 162981 |        1 |        0
1744.06/1744.57	c 1744s |      28 | 19575766 | 19400605 |      305 163115 |        1 |        0
1746.06/1746.57	c 1746s |      28 | 19596913 | 19421605 |      305 163248 |        1 |        0
1748.06/1748.57	c 1748s |      28 | 19618183 | 19442705 |      305 163381 |        1 |        0
1750.06/1750.58	c 1750s |      28 | 19639329 | 19463705 |      305 163514 |        1 |        0
1752.06/1752.58	c 1752s |      28 | 19660703 | 19484905 |      305 163649 |        1 |        0
1754.06/1754.59	c 1754s |      28 | 19681860 | 19505905 |      305 163782 |        1 |        0
1756.06/1756.59	c 1756s |      28 | 19703242 | 19527105 |      305 163916 |        1 |        0
1758.16/1758.60	c 1758s |      28 | 19724419 | 19548105 |      305 164050 |        1 |        0
1760.16/1760.60	c 1760s |      28 | 19745683 | 19569205 |      305 164184 |        1 |        0
1762.15/1762.60	c 1762s |      28 | 19767465 | 19590805 |      305 164322 |        1 |        0
1764.15/1764.61	c 1764s |      28 | 19789361 | 19612505 |      305 164460 |        1 |        0
1766.16/1766.62	c 1766s |      28 | 19811081 | 19634105 |      305 164598 |        1 |        0
1768.15/1768.62	c 1768s |      28 | 19832706 | 19655605 |      305 164736 |        1 |        0
1770.15/1770.62	c 1770s |      28 | 19854244 | 19677005 |      305 164871 |        1 |        0
1772.15/1772.62	c 1772s |      28 | 19876153 | 19698705 |      305 165009 |        1 |        0
1774.15/1774.63	c 1774s |      28 | 19898245 | 19720605 |      305 165148 |        1 |        0
1776.17/1776.63	c 1776s |      28 | 19920149 | 19742305 |      305 165286 |        1 |        0
1778.16/1778.64	c 1778s |      28 | 19941796 | 19763805 |      305 165424 |        1 |        0
1780.16/1780.65	c 1780s |      28 | 19963557 | 19785405 |      305 165562 |        1 |        0
1782.16/1782.66	c 1782s |      28 | 19985096 | 19806805 |      305 165698 |        1 |        0
1784.16/1784.66	c 1784s |      28 | 20007094 | 19828605 |      305 165837 |        1 |        0
1786.16/1786.67	c 1786s |      28 | 20028956 | 19850305 |      305 165976 |        1 |        0
1788.16/1788.68	c 1788s |      28 | 20051019 | 19872205 |      305 166118 |        1 |        0
1790.16/1790.68	c 1790s |      28 | 20072760 | 19893805 |      305 166256 |        1 |        0
1792.16/1792.69	c 1792s |      28 | 20094858 | 19915705 |      305 166397 |        1 |        0
1794.16/1794.69	c 1794s |      28 | 20116808 | 19937505 |      305 166538 |        1 |        0
1796.26/1796.70	c 1796s |      28 | 20138442 | 19959005 |      305 166675 |        1 |        0
1798.25/1798.71	c 1798s |      28 | 20160083 | 19980505 |      305 166813 |        1 |        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-4079733-1465245834/watcher-4079733-1465245834 -o /tmp/evaluation-result-4079733-1465245834/solver-4079733-1465245834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079733-1465245834.opb 

pid=4130
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.19 2.22 2.24 3/179 4133
/proc/meminfo: memFree=29220160/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 2987 0 0 0 0 0 0 0 20 0 4 0 106516465 816246784 2837 33554432000 4194304 16246674 140736341343408 140736341342832 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 199791 2845 441 2943 0 196685 0
[pid=4133/tid=4134] ppid=4130 vsize=813500 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 833024000 2904 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=818620 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 838266880 2923 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106516465 842461184 2939 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.19 2.22 2.24 3/179 4133
/proc/meminfo: memFree=29220160/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 19637 0 0 0 6 3 0 0 20 0 4 0 106516465 1247350784 19474 33554432000 4194304 16246674 140736341343408 140736341326408 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 304529 19477 753 2943 0 301423 0
[pid=4133/tid=4134] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 19481 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 19487 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 19493 33554432000 4194304 16246674 140736341343408 140116141001904 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.200494 s]
/proc/loadavg: 2.19 2.22 2.24 3/179 4133
/proc/meminfo: memFree=29220160/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 36362 0 0 0 14 5 0 0 20 0 4 0 106516465 1247350784 36199 33554432000 4194304 16246674 140736341343408 140736341326408 5711820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 304529 36207 753 2943 0 301423 0
[pid=4133/tid=4134] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 36210 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 36215 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 36221 33554432000 4194304 16246674 140736341343408 140116141001904 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.300417 s]
/proc/loadavg: 2.19 2.22 2.24 3/179 4133
/proc/meminfo: memFree=29220160/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 52942 0 0 0 21 8 0 0 20 0 4 0 106516465 1247350784 52780 33554432000 4194304 16246674 140736341343408 140736341326408 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 304529 52784 753 2943 0 301423 0
[pid=4133/tid=4134] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 52790 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 52797 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 52800 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.19 2.22 2.24 3/179 4133
/proc/meminfo: memFree=29220160/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 120165 0 0 0 52 16 0 0 20 0 4 0 106516465 1247350784 120002 33554432000 4194304 16246674 140736341343408 140736341326408 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 304529 120008 753 2943 0 301423 0
[pid=4133/tid=4134] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 120017 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 120024 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 120025 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.19 2.22 2.24 3/183 4137
/proc/meminfo: memFree=28468816/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 245522 0 0 0 117 32 0 0 20 0 4 0 106516465 1247350784 245336 33554432000 4194304 16246674 140736341343408 140736341342720 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 304529 245336 824 2943 0 301423 0
[pid=4133/tid=4134] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 245336 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 245336 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1247350784 245336 33554432000 4194304 16246674 140736341343408 140116141001904 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) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.19 2.22 2.24 3/183 4137
/proc/meminfo: memFree=28239152/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267397 0 0 0 274 35 0 0 20 0 4 0 106516465 1337528320 267211 33554432000 4194304 16246674 140736341343408 140736341326408 6843259 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267211 826 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267211 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267211 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267211 33554432000 4194304 16246674 140736341343408 140116141001904 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.30037 s]
/proc/loadavg: 2.17 2.22 2.24 3/183 4137
/proc/meminfo: memFree=28150712/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267438 0 0 0 594 35 0 0 20 0 4 0 106516465 1337528320 267252 33554432000 4194304 16246674 140736341343408 140736341326408 5827699 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267252 826 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267252 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267252 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267252 33554432000 4194304 16246674 140736341343408 140116141001904 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.16 2.22 2.23 3/183 4137
/proc/meminfo: memFree=28151396/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267444 0 0 0 1233 35 0 0 20 0 4 0 106516465 1337528320 267258 33554432000 4194304 16246674 140736341343408 140736341326408 13194076 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267258 826 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267258 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267258 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267258 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.12 2.20 2.23 4/183 4137
/proc/meminfo: memFree=28151920/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267452 0 0 0 2513 36 0 0 20 0 4 0 106516465 1337528320 267266 33554432000 4194304 16246674 140736341343408 140736341325312 12478238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267266 826 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267266 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267266 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267266 33554432000 4194304 16246674 140736341343408 140116141001904 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.1005 s]
/proc/loadavg: 2.20 2.22 2.23 3/183 4137
/proc/meminfo: memFree=28151960/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267468 0 0 0 5072 36 0 0 20 0 4 0 106516465 1337528320 267282 33554432000 4194304 16246674 140736341343408 140736341326408 5825104 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267282 827 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267282 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267282 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267282 33554432000 4194304 16246674 140736341343408 140116141001904 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) 1306180

[startup+102.3 s]
/proc/loadavg: 2.19 2.21 2.23 3/183 4139
/proc/meminfo: memFree=28151408/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267472 0 0 0 10191 37 0 0 20 0 4 0 106516465 1337528320 267286 33554432000 4194304 16246674 140736341343408 140736341326408 12415760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267286 827 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267286 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267286 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267286 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.21 2.22 2.21 3/183 4291
/proc/meminfo: memFree=28117420/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1361.92 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 136128 64 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 12415672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.25 2.22 2.21 3/183 4292
/proc/meminfo: memFree=28117188/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1421.92 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 142127 65 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341325312 5677837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.30 2.24 2.21 4/183 4293
/proc/meminfo: memFree=28117468/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1481.9 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 148124 66 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.36 2.26 2.22 3/183 4294
/proc/meminfo: memFree=28117044/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1541.9 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 154123 67 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.33 2.27 2.22 3/184 4298
/proc/meminfo: memFree=28117156/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1601.88 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 160120 68 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341325312 5824003 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.29 2.26 2.22 4/183 4300
/proc/meminfo: memFree=28117176/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1661.87 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 166117 70 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 12415747 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.20 2.24 2.21 3/183 4301
/proc/meminfo: memFree=28117368/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1721.87 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 172115 72 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 5600048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.28 2.26 2.22 3/183 4302
/proc/meminfo: memFree=28117112/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1781.86 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 178113 73 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 5710312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.25 2.22 4/183 4303
/proc/meminfo: memFree=28116720/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1800.05 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 179932 73 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 13927423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1306180

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.25 2.22 4/183 4303
/proc/meminfo: memFree=28116720/32872528 swapFree=16384/1696552
[pid=4133] ppid=4130 vsize=1306180 CPUtime=1800.05 cores=0,2,4,6
/proc/4133/stat : 4133 (toysat) R 4130 4133 1166 0 -1 4202496 267859 0 0 0 179932 73 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140736341326408 13927423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4133/statm: 326545 267626 828 2943 0 323439 0
[pid=4133/tid=4134] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4134/stat : 4134 (toysat) S 4130 4133 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116161965296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4133/tid=4135] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4135/stat : 4135 (toysat) S 4130 4133 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116151475440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4133/tid=4136] ppid=4130 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4133/task/4136/stat : 4136 (toysat) S 4130 4133 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106516465 1337528320 267626 33554432000 4194304 16246674 140736341343408 140116141001904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1306180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.33
CPU system time (s): 0.731888
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.731888
maximum resident set size= 1070504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267859
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= 323
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6841 second user time and 15.9436 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-06 22:43:54
IDJOB=4079733
IDBENCH=2929
IDSOLVER=2542
FILE ID=node125/4079733-1465245834
RUNJOBID= node125-1465224138-1182
PBS_JOBID= 19843237
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be
RANDOM SEED=1827827692

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.456
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.456
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.456
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.456
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:        29220804 kB
Buffers:           48028 kB
Cached:           125308 kB
SwapCached:         2016 kB
Active:          1173876 kB
Inactive:          75600 kB
Active(anon):    1077008 kB
Inactive(anon):     1380 kB
Active(file):      96868 kB
Inactive(file):    74220 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098492 kB
Dirty:             16364 kB
Writeback:             0 kB
AnonPages:       2771560 kB
Mapped:            10440 kB
Shmem:                 0 kB
Slab:             568468 kB
SReclaimable:      12512 kB
SUnreclaim:       555956 kB
KernelStack:        1520 kB
PageTables:         9300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2918300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1914880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node125 at 2016-06-06 23:13:55