Trace number 4079406

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.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_9_mh.opb
MD5SUMdceb2101253472cec95359fbc82f66a4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6925310
Best CPU time to get the best result obtained on this benchmark42.26
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 105154048
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4901449287
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 105154048
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4901449287
Number of bits of the biggest sum of numbers33
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-07T22:17:12+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079406-1465330632.opb"]
0.00/0.01	c use --random-gen="531233888 1655518006 3281141097 747771872 4243372710 1389876105 4090039184 1398042922 3017485401 1521371073 4205830995 982737309 3916194809 17433094 2528841681 3064763057 581054773 2664550776 1185715761 1703834164 1075509143 2243928059 1919207947 753841336 4110981669 2305036153 1391654240 3328415131 1024128059 2730185586 638217279 2419373241 939980760 2494199569 2150068061 2764093136 947016876 3346668489 3167781095 1400202985 1565709493 3568341210 4067136824 3486644200 502904637 3111423989 4229447153 4192528210 2281417785 1571130741 3331362503 124309606 54081680 720266182 4237573149 4017057389 1212243656 3455528292 1350713158 2350498832 249953677 3634209830 1802781415 4227829328 570911989 4116357462 871508722 3651826401 3676726988 1903136260 2702141789 1911478159 2016431695 2498727209 3830409690 471102053 1785438108 3560660703 609213135 2135858594 4199515324 3518773877 3550014911 3085533333 488044615 194074891 2842561525 3101714055 2825284928 3321011696 1077177126 3144494643 4024832399 358817494 3582099428 1577763453 3953247564 3760051017 1243052701 1001215015 2613197183 150176134 1707560510 180483252 769799710 3751323837 2860024743 4284487736 1521236339 4243472938 2606273160 133017093 3077284065 2748298632 4242626502 856416554 2673610050 1101114314 575066742 2379690169 2657261738 3521200836 1248050931 3756532302 395506647 2299100535 794020902 754941264 2397600764 2522964277 1238997043 2643701404 599751607 1478017615 798888771 3895882186 966813870 1830663806 4249224841 2291769690 3107109877 3098871628 690638600 400705576 3139365462 3454404844 1109493870 293432168 3233137251 1003374458 47290892 3419710408 1510190374 4172472478 2472383481 2777968503 2109002432 3154346051 1248146918 3851388216 769427829 1829487199 1276602067 3072690464 244137176 3701160231 2744292258 351388624 1310320999 3725740450 2349331839 1735707971 267494492 2455837980 1381768631 3424796726 393776311 439130221 385899791 3749947904 2824382506 351563232 3239999510 1976114236 3287589615 3133055775 3244548269 4093375659 2882516538 621209598 2881242609 3058208130 1979483191 2570046754 47354584 1599190708 3954555226 1363454075 924439113 503893494 192802446 1136819505 2724503002 4189014879 3907228636 1783499119 1039184082 1007954559 1738692443 3288744430 2970051123 3727670246 2678592705 3044627164 1345427312 1732324890 535186947 1207093061 3821971131 4077161198 3747391002 66579185 2348220461 2439368311 1712969041 1662169099 3366321111 1695046861 631408774 3734875810 3722894775 833466499 1726258700 1224088702 2758418988 1603775811 1776638235 3996246910 1334509765 1342866044 638896694 1178612411 2688175464 1522592850 3145623597 1763604131 344216795 2464848068 2283187556 3927499613 2046402290 106864729 1402839137 1747558779 3115281271 924922248 255 362436" option to reproduce the execution
0.08/0.14	c #vars 6810
0.08/0.14	c #constraints 15202
0.29/0.36	c BCD2: Hardening is enabled.
0.29/0.36	c BCD2: BiasedSearch is enabled.
0.29/0.36	c Solving starts ...
0.29/0.36	c ============================[ Search Statistics ]============================
0.29/0.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.36	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.36	c =============================================================================
0.29/0.36	c  0.0s |       0 |        0 |        0 |     7477      0 |       45 |        0
0.38/0.49	c  0.1s |       1 |      371 |      100 |     7477      0 |       45 |        0
0.59/0.68	c  0.3s |       2 |      785 |      250 |     8225      0 |       45 |        0
1.09/1.11	c  0.8s |       3 |     1346 |      475 |     9048      0 |       45 |        0
1.69/1.76	c  1.4s |       4 |     2278 |      813 |     9953      0 |       45 |        0
2.59/2.62	c  2.3s |       5 |     3942 |     1320 |    10949      0 |       45 |        0
3.40/3.47	c  3.1s |       6 |     6015 |     2081 |    13249      0 |       45 |        0
4.79/4.89	c  4.5s |       7 |     8833 |     3223 |    14574      0 |       45 |        0
6.89/6.97	c  6.6s |       7 |    12766 |     4623 |    14574      0 |       45 |        0
7.49/7.52	c  7.2s |       8 |    13896 |     4936 |    16032      0 |       45 |        0
9.69/9.71	c  9.4s |       8 |    17533 |     6036 |    16032      0 |       45 |        0
11.48/11.57	c 11.2s |       9 |    21761 |     7506 |    17636      0 |       45 |        0
13.88/13.90	c 13.5s |       9 |    25196 |     8906 |    17636      0 |       45 |        0
16.08/16.15	c 15.8s |       9 |    28563 |     9806 |    17636      0 |       45 |        0
18.28/18.38	c 18.0s |       9 |    31711 |    10606 |    17636      0 |       45 |        0
20.28/20.36	c 20.0s |      10 |    34647 |    11361 |    19400      0 |       45 |        0
22.38/22.40	c 22.0s |      10 |    37443 |    12061 |    19400      0 |       45 |        0
24.59/24.60	c 24.2s |      10 |    40628 |    12961 |    19400      0 |       45 |        0
26.59/26.65	c 26.3s |      10 |    43133 |    13561 |    19400      0 |       45 |        0
28.89/28.91	c 28.6s |      10 |    45500 |    14661 |    19400      0 |       45 |        0
30.90/30.95	c 30.6s |      10 |    47409 |    15361 |    19400      0 |       45 |        0
33.00/33.04	c 32.7s |      10 |    49864 |    16161 |    19400      0 |       45 |        0
35.19/35.25	c 34.9s |      10 |    52029 |    16861 |    19400      0 |       45 |        0
36.09/36.18	c 35.8s |      11 |    52959 |    17144 |    21340      0 |       45 |        0
38.29/38.35	c 38.0s |      11 |    55252 |    17744 |    21340      0 |       45 |        0
40.49/40.54	c 40.2s |      11 |    57742 |    18744 |    21340      0 |       45 |        0
42.59/42.61	c 42.3s |      11 |    61752 |    20244 |    21340      0 |       45 |        0
44.59/44.64	c 44.3s |      11 |    65525 |    21744 |    21340      0 |       45 |        0
46.59/46.70	c 46.3s |      11 |    69288 |    23344 |    21340      0 |       45 |        0
48.89/48.92	c 48.6s |      11 |    72204 |    25044 |    21340      1 |       45 |        0
49.89/49.98	c 49.6s |      12 |    73453 |    25819 |    23475      1 |       45 |        0
51.98/52.07	c 51.7s |      12 |    75434 |    27119 |    23475      1 |       45 |        0
53.99/54.10	c 53.7s |      12 |    77706 |    28319 |    23475      1 |       45 |        0
56.09/56.12	c 55.8s |      12 |    79889 |    29219 |    23475      1 |       45 |        0
58.08/58.14	c 57.8s |      12 |    83397 |    30619 |    23475      1 |       45 |        0
60.08/60.14	c 59.8s |      12 |    86086 |    32019 |    23475      1 |       45 |        0
62.28/62.35	c 62.0s |      12 |    87811 |    32819 |    23475      1 |       45 |        0
64.48/64.51	c 64.2s |      12 |    90871 |    34219 |    23475      1 |       45 |        0
66.58/66.60	c 66.2s |      12 |    93314 |    35719 |    23475      1 |       45 |        0
68.58/68.62	c 68.3s |      12 |    95168 |    37119 |    23475      1 |       45 |        0
70.67/70.72	c 70.4s |      12 |    98335 |    38519 |    23475      2 |       45 |        0
70.97/71.08	c 70.7s |      13 |    98983 |    38832 |    25823      2 |       45 |        0
73.07/73.11	c 72.8s |      13 |   100843 |    39732 |    25823      2 |       45 |        0
75.07/75.11	c 74.8s |      13 |   103320 |    41232 |    25823      2 |       45 |        0
77.08/77.17	c 76.8s |      13 |   105364 |    42632 |    25823      2 |       45 |        0
79.07/79.17	c 78.8s |      13 |   107355 |    43932 |    25823      2 |       45 |        0
81.17/81.26	c 80.9s |      13 |   109354 |    45332 |    25823      2 |       45 |        0
83.37/83.41	c 83.1s |      13 |   112005 |    46632 |    25823      2 |       45 |        0
85.37/85.45	c 85.1s |      13 |   114440 |    47932 |    25823      2 |       45 |        0
87.37/87.48	c 87.1s |      13 |   116543 |    49032 |    25823      2 |       45 |        0
89.58/89.61	c 89.3s |      13 |   119005 |    50132 |    25823      2 |       45 |        0
91.68/91.70	c 91.3s |      13 |   120785 |    51232 |    25823      2 |       45 |        0
93.68/93.70	c 93.3s |      13 |   122401 |    52232 |    25823      2 |       45 |        0
95.79/95.87	c 95.5s |      13 |   124801 |    53532 |    25823      2 |       45 |        0
97.78/97.89	c 97.5s |      13 |   126444 |    54532 |    25823      2 |       45 |        0
99.98/100.02	c 99.7s |      13 |   128233 |    55532 |    25823      2 |       45 |        0
102.08/102.10	c  101s |      13 |   130015 |    56532 |    25823      3 |       45 |        0
104.18/104.21	c  103s |      13 |   132346 |    57732 |    25823      3 |       45 |        0
105.18/105.21	c  104s |      14 |   133374 |    58352 |    28406      3 |       45 |        0
107.28/107.31	c  106s |      14 |   136310 |    59252 |    28406      3 |       45 |        0
109.48/109.59	c  109s |      14 |   139695 |    60452 |    28406      3 |       45 |        0
111.48/111.59	c  111s |      14 |   142970 |    61652 |    28406      3 |       45 |        0
113.68/113.75	c  113s |      14 |   145481 |    63052 |    28406      3 |       45 |        0
115.78/115.80	c  115s |      14 |   147998 |    64152 |    28406      3 |       45 |        0
117.78/117.84	c  117s |      14 |   150957 |    65252 |    28406      3 |       45 |        0
119.98/120.00	c  119s |      14 |   153799 |    66452 |    28406      3 |       45 |        0
122.08/122.16	c  121s |      14 |   157121 |    67752 |    28406      3 |       45 |        0
124.28/124.33	c  123s |      14 |   159712 |    69052 |    28406      3 |       45 |        0
126.37/126.47	c  126s |      14 |   161547 |    70252 |    28406      3 |       45 |        0
128.47/128.59	c  128s |      14 |   163586 |    71452 |    28406      3 |       45 |        0
130.77/130.87	c  130s |      14 |   165817 |    72452 |    28406      4 |       45 |        0
132.77/132.87	c  132s |      14 |   168777 |    73652 |    28406      4 |       45 |        0
134.77/134.89	c  134s |      14 |   172262 |    74952 |    28406      4 |       45 |        0
136.97/137.00	c  136s |      14 |   175211 |    76352 |    28406      4 |       45 |        0
139.07/139.11	c  138s |      14 |   177775 |    77752 |    28406      4 |       45 |        0
141.17/141.23	c  140s |      14 |   179860 |    79052 |    28406      4 |       45 |        0
143.27/143.35	c  142s |      14 |   181929 |    80252 |    28406      4 |       45 |        0
145.28/145.37	c  145s |      14 |   184746 |    81452 |    28406      4 |       45 |        0
147.38/147.48	c  147s |      14 |   187198 |    82652 |    28406      4 |       45 |        0
149.47/149.53	c  149s |      14 |   190113 |    83952 |    28406      4 |       45 |        0
151.47/151.56	c  151s |      14 |   192707 |    85252 |    28406      4 |       45 |        0
153.57/153.63	c  153s |      14 |   194583 |    86452 |    28406      4 |       45 |        0
155.57/155.69	c  155s |      14 |   196510 |    87552 |    31247      4 |       45 |        0
155.77/155.84	c  155s |      15 |   196648 |    87632 |    31247      4 |       45 |        0
158.86/158.96	c  158s |      15 |   197602 |    87932 |    31247      5 |       45 |        0
160.97/161.08	c  160s |      15 |   200534 |    89332 |    31247      5 |       45 |        0
162.97/163.09	c  162s |      15 |   203524 |    90732 |    31247      5 |       45 |        0
165.08/165.17	c  164s |      15 |   206244 |    92032 |    31247      5 |       45 |        0
167.18/167.25	c  166s |      15 |   208427 |    93232 |    31247      5 |       45 |        0
169.27/169.33	c  168s |      15 |   211601 |    94532 |    31247      5 |       45 |        0
171.37/171.40	c  171s |      15 |   214895 |    95832 |    31247      5 |       45 |        0
173.47/173.54	c  173s |      15 |   218334 |    97232 |    31247      5 |       45 |        0
175.57/175.66	c  175s |      15 |   221743 |    98632 |    31247      5 |       45 |        0
177.77/177.82	c  177s |      15 |   224227 |    99832 |    31247      5 |       45 |        0
179.87/179.95	c  179s |      15 |   227317 |   101032 |    31247      5 |       45 |        0
181.97/182.06	c  181s |      15 |   229928 |   102232 |    31247      5 |       45 |        0
184.07/184.14	c  183s |      15 |   232017 |   103332 |    31247      5 |       45 |        0
186.17/186.25	c  185s |      15 |   234585 |   104432 |    31247      5 |       45 |        0
188.27/188.39	c  188s |      15 |   236954 |   105432 |    31247      5 |       45 |        0
190.47/190.52	c  190s |      15 |   239342 |   106532 |    31247      5 |       45 |        0
192.47/192.59	c  192s |      15 |   241375 |   107532 |    31247      6 |       45 |        0
194.56/194.69	c  194s |      15 |   244709 |   108832 |    31247      6 |       45 |        0
196.66/196.79	c  196s |      15 |   247664 |   110232 |    31247      6 |       45 |        0
198.76/198.82	c  198s |      15 |   250216 |   111632 |    31247      6 |       45 |        0
200.86/200.90	c  200s |      15 |   252492 |   113032 |    31247      6 |       45 |        0
202.86/202.97	c  202s |      15 |   255422 |   114332 |    31247      6 |       45 |        0
204.96/205.01	c  204s |      15 |   259025 |   115632 |    31247      6 |       45 |        0
207.06/207.12	c  206s |      15 |   261932 |   116832 |    31247      6 |       45 |        0
209.16/209.26	c  208s |      15 |   265157 |   118032 |    31247      6 |       45 |        0
211.27/211.37	c  211s |      15 |   268053 |   119332 |    31247      6 |       45 |        0
213.37/213.45	c  213s |      15 |   270192 |   120532 |    31247      6 |       45 |        0
215.46/215.58	c  215s |      15 |   272394 |   121832 |    31247      6 |       45 |        0
217.56/217.65	c  217s |      15 |   274978 |   122932 |    31247      6 |       45 |        0
219.66/219.76	c  219s |      15 |   277770 |   124132 |    31247      6 |       45 |        0
221.76/221.85	c  221s |      15 |   279986 |   125332 |    31247      6 |       45 |        0
223.86/223.94	c  223s |      15 |   282061 |   126632 |    31247      7 |       45 |        0
225.96/226.04	c  225s |      15 |   283965 |   127932 |    31247      7 |       45 |        0
227.96/228.06	c  227s |      15 |   285897 |   129132 |    31247      7 |       45 |        0
230.06/230.16	c  229s |      15 |   287944 |   130432 |    31247      7 |       45 |        0
231.96/232.00	c  231s |      16 |   289774 |   131552 |    34372      7 |       45 |        0
234.06/234.16	c  233s |      16 |   292291 |   132752 |    34372      7 |       45 |        0
236.16/236.23	c  235s |      16 |   294551 |   134052 |    34372      7 |       45 |        0
238.26/238.32	c  237s |      16 |   296303 |   135252 |    34372      7 |       45 |        0
240.36/240.44	c  240s |      16 |   298509 |   136452 |    34372      7 |       45 |        0
242.46/242.52	c  242s |      16 |   300459 |   137652 |    34372      7 |       45 |        0
244.65/244.71	c  244s |      16 |   302146 |   138752 |    34372      7 |       45 |        0
246.75/246.86	c  246s |      16 |   304189 |   139952 |    34372      7 |       45 |        0
248.75/248.89	c  248s |      16 |   306429 |   141152 |    34372      7 |       45 |        0
250.86/250.99	c  250s |      16 |   308677 |   142252 |    34372      7 |       45 |        0
253.06/253.18	c  252s |      16 |   311283 |   143452 |    34372      7 |       45 |        0
255.05/255.20	c  254s |      16 |   313188 |   144552 |    34372      7 |       45 |        0
257.85/257.94	c  257s |      16 |   315909 |   145652 |    34372      8 |       45 |        0
262.55/262.61	c  262s |      16 |   316138 |   145752 |    34372      8 |       45 |        0
264.75/264.89	c  264s |      16 |   318273 |   146552 |    34372      8 |       45 |        0
266.85/266.93	c  266s |      16 |   318991 |   146752 |    34372      8 |       45 |        0
268.85/268.99	c  268s |      16 |   321762 |   147952 |    34372      8 |       45 |        0
270.95/271.02	c  270s |      16 |   324773 |   149352 |    34372      8 |       45 |        0
273.05/273.15	c  272s |      16 |   327251 |   150852 |    34372      8 |       45 |        0
275.06/275.15	c  274s |      16 |   329868 |   152052 |    34372      8 |       45 |        0
277.16/277.26	c  276s |      16 |   333309 |   153452 |    34372      8 |       45 |        0
279.25/279.39	c  279s |      16 |   335962 |   154852 |    34372      8 |       45 |        0
281.35/281.42	c  281s |      16 |   338501 |   156052 |    34372      8 |       45 |        0
283.35/283.43	c  283s |      16 |   341483 |   157252 |    34372      8 |       45 |        0
285.45/285.59	c  285s |      16 |   343623 |   158452 |    34372      8 |       45 |        0
287.55/287.64	c  287s |      16 |   346245 |   159552 |    34372      8 |       45 |        0
289.75/289.80	c  289s |      16 |   349309 |   160852 |    34372      8 |       45 |        0
291.75/291.81	c  291s |      16 |   351050 |   161952 |    34372      8 |       45 |        0
293.76/293.86	c  293s |      16 |   352802 |   162952 |    34372      9 |       45 |        0
295.86/295.95	c  295s |      16 |   355403 |   164252 |    34372      9 |       45 |        0
297.85/297.97	c  297s |      16 |   358287 |   165652 |    34372      9 |       45 |        0
299.95/300.05	c  299s |      16 |   360601 |   167052 |    34372      9 |       45 |        0
302.05/302.19	c  301s |      16 |   362695 |   168352 |    34372      9 |       45 |        0
304.25/304.32	c  303s |      16 |   365585 |   169652 |    34372      9 |       45 |        0
306.35/306.47	c  306s |      16 |   367907 |   170952 |    34372      9 |       45 |        0
308.55/308.64	c  308s |      16 |   370427 |   172252 |    34372      9 |       45 |        0
310.64/310.78	c  310s |      16 |   374031 |   173552 |    34372      9 |       45 |        0
312.74/312.80	c  312s |      16 |   376767 |   174852 |    34372      9 |       45 |        0
314.74/314.82	c  314s |      16 |   378784 |   176052 |    34372      9 |       45 |        0
316.75/316.86	c  316s |      16 |   381200 |   177252 |    34372      9 |       45 |        0
318.84/318.93	c  318s |      16 |   382962 |   178452 |    34372      9 |       45 |        0
320.84/320.97	c  320s |      16 |   384696 |   179552 |    34372      9 |       45 |        0
322.94/323.04	c  322s |      16 |   386896 |   180652 |    34372      9 |       45 |        0
325.04/325.12	c  324s |      16 |   389020 |   181852 |    34372      9 |       45 |        0
327.14/327.24	c  326s |      16 |   390904 |   183052 |    34372      9 |       45 |        0
329.14/329.26	c  328s |      16 |   393257 |   184252 |    34372     10 |       45 |        0
331.24/331.34	c  330s |      16 |   395833 |   185852 |    34372     10 |       45 |        0
333.35/333.43	c  333s |      16 |   399212 |   187452 |    34372     10 |       45 |        0
335.45/335.53	c  335s |      16 |   401789 |   188852 |    34372     10 |       45 |        0
337.54/337.60	c  337s |      16 |   404679 |   190352 |    34372     10 |       45 |        0
339.54/339.63	c  339s |      16 |   407431 |   191752 |    34372     10 |       45 |        0
341.54/341.66	c  341s |      16 |   410195 |   193052 |    34372     10 |       45 |        0
343.74/343.84	c  343s |      16 |   412310 |   194352 |    34372     10 |       45 |        0
345.74/345.85	c  345s |      16 |   414267 |   195552 |    34372     10 |       45 |        0
347.94/348.00	c  347s |      16 |   416655 |   196752 |    37810     10 |       45 |        0
349.04/349.11	c  348s |      17 |   417846 |   197432 |    37810     10 |       45 |        0
351.14/351.21	c  350s |      17 |   419640 |   198532 |    37810     10 |       45 |        0
353.14/353.26	c  352s |      17 |   421529 |   199632 |    37810     10 |       45 |        0
355.34/355.43	c  355s |      17 |   423592 |   200832 |    37810     10 |       45 |        0
357.33/357.49	c  357s |      17 |   425560 |   202032 |    37810     10 |       45 |        0
359.53/359.64	c  359s |      17 |   427550 |   203232 |    37810     10 |       45 |        0
362.14/362.28	c  361s |      17 |   428238 |   203632 |    37810     11 |       45 |        0
365.03/365.20	c  364s |      17 |   428697 |   203832 |    37810     11 |       45 |        0
367.53/367.65	c  367s |      17 |   430187 |   204432 |    37810     11 |       45 |        0
369.64/369.74	c  369s |      17 |   433159 |   205632 |    37810     11 |       45 |        0
371.74/371.85	c  371s |      17 |   436987 |   207132 |    37810     11 |       45 |        0
373.73/373.89	c  373s |      17 |   439899 |   208632 |    37810     11 |       45 |        0
375.83/375.94	c  375s |      17 |   441809 |   209832 |    37810     11 |       45 |        0
377.83/377.98	c  377s |      17 |   444639 |   211132 |    37810     11 |       45 |        0
380.03/380.16	c  379s |      17 |   447800 |   212632 |    37810     11 |       45 |        0
382.23/382.32	c  381s |      17 |   450430 |   214032 |    37810     11 |       45 |        0
384.33/384.45	c  384s |      17 |   453080 |   215332 |    37810     11 |       45 |        0
386.43/386.52	c  386s |      17 |   455648 |   216732 |    37810     11 |       45 |        0
388.43/388.57	c  388s |      17 |   458061 |   218032 |    37810     11 |       45 |        0
390.53/390.65	c  390s |      17 |   460677 |   219432 |    37810     11 |       45 |        0
392.63/392.72	c  392s |      17 |   462617 |   220732 |    37810     11 |       45 |        0
394.73/394.80	c  394s |      17 |   464807 |   222132 |    37810     11 |       45 |        0
396.83/396.96	c  396s |      17 |   467146 |   223332 |    37810     11 |       45 |        0
398.93/399.01	c  398s |      17 |   468814 |   224432 |    37810     11 |       45 |        0
401.03/401.11	c  400s |      17 |   470597 |   225632 |    37810     11 |       45 |        0
403.03/403.17	c  402s |      17 |   472521 |   226832 |    37810     12 |       45 |        0
405.13/405.30	c  404s |      17 |   474791 |   228232 |    37810     12 |       45 |        0
407.23/407.31	c  406s |      17 |   476950 |   229532 |    37810     12 |       45 |        0
409.23/409.33	c  408s |      17 |   478821 |   230832 |    37810     12 |       45 |        0
411.33/411.45	c  411s |      17 |   480997 |   232232 |    37810     12 |       45 |        0
413.42/413.57	c  413s |      17 |   482954 |   233532 |    37810     12 |       45 |        0
415.42/415.59	c  415s |      17 |   484767 |   234832 |    37810     12 |       45 |        0
417.72/417.83	c  417s |      17 |   486381 |   236032 |    37810     12 |       45 |        0
419.82/419.94	c  419s |      17 |   488438 |   237332 |    37810     12 |       45 |        0
421.92/422.06	c  421s |      17 |   490044 |   238032 |    37810     12 |       45 |        0
424.02/424.16	c  423s |      17 |   492855 |   239232 |    37810     12 |       45 |        0
426.13/426.23	c  425s |      17 |   495111 |   240332 |    37810     12 |       45 |        0
428.23/428.32	c  427s |      17 |   498012 |   241532 |    37810     12 |       45 |        0
430.52/430.69	c  430s |      17 |   501070 |   242632 |    37810     12 |       45 |        0
432.72/432.86	c  432s |      17 |   503275 |   243332 |    37810     12 |       45 |        0
434.82/434.91	c  434s |      17 |   506098 |   244532 |    37810     12 |       45 |        0
437.12/437.24	c  436s |      17 |   508600 |   245632 |    37810     13 |       45 |        0
439.22/439.35	c  438s |      17 |   510998 |   246732 |    37810     13 |       45 |        0
441.32/441.41	c  441s |      17 |   513653 |   248032 |    37810     13 |       45 |        0
443.42/443.54	c  443s |      17 |   515913 |   249232 |    37810     13 |       45 |        0
445.62/445.77	c  445s |      17 |   518220 |   250632 |    37810     13 |       45 |        0
447.73/447.84	c  447s |      17 |   520635 |   251932 |    37810     13 |       45 |        0
449.72/449.85	c  449s |      17 |   522428 |   252932 |    37810     13 |       45 |        0
452.03/452.15	c  451s |      17 |   524722 |   254132 |    37810     13 |       45 |        0
454.23/454.34	c  453s |      17 |   526986 |   255332 |    37810     13 |       45 |        0
456.32/456.40	c  456s |      17 |   529078 |   256332 |    37810     13 |       45 |        0
458.32/458.49	c  458s |      17 |   531086 |   257432 |    37810     13 |       45 |        0
460.42/460.57	c  460s |      17 |   532187 |   258132 |    37810     13 |       45 |        0
462.52/462.62	c  462s |      17 |   534101 |   259132 |    37810     13 |       45 |        0
464.52/464.64	c  464s |      17 |   536658 |   260232 |    37810     13 |       45 |        0
466.52/466.67	c  466s |      17 |   538855 |   261332 |    37810     13 |       45 |        0
468.63/468.76	c  468s |      17 |   540751 |   262532 |    37810     13 |       45 |        0
470.62/470.79	c  470s |      17 |   542604 |   263732 |    37810     13 |       45 |        0
472.72/472.80	c  472s |      17 |   544225 |   264832 |    37810     13 |       45 |        0
474.72/474.89	c  474s |      17 |   546372 |   265932 |    37810     14 |       45 |        0
476.82/476.96	c  476s |      17 |   548917 |   267232 |    37810     14 |       45 |        0
478.92/479.05	c  478s |      17 |   551316 |   268432 |    37810     14 |       45 |        0
480.92/481.06	c  480s |      17 |   553343 |   269532 |    37810     14 |       45 |        0
483.02/483.16	c  482s |      17 |   555322 |   270832 |    37810     14 |       45 |        0
485.03/485.19	c  484s |      17 |   557069 |   272032 |    37810     14 |       45 |        0
487.02/487.19	c  486s |      17 |   559144 |   273332 |    37810     14 |       45 |        0
489.12/489.27	c  488s |      17 |   561177 |   274732 |    37810     14 |       45 |        0
491.32/491.43	c  491s |      17 |   563102 |   276132 |    37810     14 |       45 |        0
493.32/493.47	c  493s |      17 |   564796 |   277332 |    37810     14 |       45 |        0
495.42/495.50	c  495s |      17 |   567391 |   278732 |    37810     14 |       45 |        0
497.42/497.50	c  497s |      17 |   569905 |   280032 |    37810     14 |       45 |        0
499.52/499.67	c  499s |      17 |   571905 |   281232 |    37810     14 |       45 |        0
501.72/501.84	c  501s |      17 |   573537 |   282332 |    37810     14 |       45 |        0
503.92/504.00	c  503s |      17 |   575935 |   283532 |    37810     14 |       45 |        0
506.02/506.13	c  505s |      17 |   577721 |   284632 |    37810     14 |       45 |        0
508.12/508.25	c  507s |      17 |   579473 |   285732 |    37810     14 |       45 |        0
510.22/510.34	c  509s |      17 |   581103 |   286732 |    37810     14 |       45 |        0
512.22/512.35	c  511s |      17 |   582753 |   287732 |    37810     14 |       45 |        0
514.31/514.48	c  514s |      17 |   584116 |   288732 |    37810     15 |       45 |        0
516.51/516.62	c  516s |      17 |   585761 |   289932 |    37810     15 |       45 |        0
518.61/518.72	c  518s |      17 |   587263 |   291032 |    37810     15 |       45 |        0
520.61/520.78	c  520s |      17 |   588667 |   292032 |    37810     15 |       45 |        0
522.71/522.84	c  522s |      17 |   590403 |   293132 |    37810     15 |       45 |        0
524.81/524.91	c  524s |      17 |   591860 |   294132 |    37810     15 |       45 |        0
526.92/527.02	c  526s |      17 |   593894 |   295132 |    41591     15 |       45 |        0
528.81/528.91	c  528s |      18 |   596415 |   296252 |    41591     15 |       45 |        0
530.81/530.96	c  530s |      18 |   598775 |   297352 |    41591     15 |       45 |        0
532.91/533.06	c  532s |      18 |   601925 |   298852 |    41591     15 |       45 |        0
535.01/535.17	c  534s |      18 |   605779 |   300352 |    41591     15 |       45 |        0
537.11/537.20	c  536s |      18 |   608891 |   301652 |    41591     15 |       45 |        0
539.21/539.35	c  538s |      18 |   612214 |   303152 |    41591     15 |       45 |        0
541.31/541.49	c  541s |      18 |   614469 |   304352 |    41591     15 |       45 |        0
543.42/543.58	c  543s |      18 |   617594 |   305852 |    41591     15 |       45 |        0
545.52/545.66	c  545s |      18 |   620514 |   307052 |    41591     15 |       45 |        0
547.61/547.71	c  547s |      18 |   622807 |   308452 |    41591     15 |       45 |        0
549.91/550.08	c  549s |      18 |   624601 |   309452 |    41591     16 |       45 |        0
552.01/552.10	c  551s |      18 |   627201 |   310652 |    41591     16 |       45 |        0
554.01/554.15	c  553s |      18 |   629864 |   311752 |    41591     16 |       45 |        0
556.21/556.39	c  556s |      18 |   632228 |   312452 |    41591     16 |       45 |        0
558.31/558.40	c  558s |      18 |   635123 |   313752 |    41591     16 |       45 |        0
560.30/560.43	c  560s |      18 |   637581 |   315052 |    41591     16 |       45 |        0
562.40/562.54	c  562s |      18 |   639691 |   316252 |    41591     16 |       45 |        0
564.50/564.65	c  564s |      18 |   642091 |   317452 |    41591     16 |       45 |        0
566.60/566.77	c  566s |      18 |   644236 |   318752 |    41591     16 |       45 |        0
568.61/568.78	c  568s |      18 |   646405 |   319952 |    41591     16 |       45 |        0
570.70/570.85	c  570s |      18 |   648515 |   321152 |    41591     16 |       45 |        0
572.70/572.89	c  572s |      18 |   650420 |   322352 |    41591     16 |       45 |        0
574.90/575.04	c  574s |      18 |   652514 |   323552 |    41591     16 |       45 |        0
576.90/577.08	c  576s |      18 |   654678 |   324652 |    41591     16 |       45 |        0
579.00/579.14	c  578s |      18 |   656972 |   325752 |    41591     16 |       45 |        0
581.10/581.24	c  580s |      18 |   659112 |   326852 |    41591     16 |       45 |        0
583.30/583.45	c  583s |      18 |   661131 |   327952 |    41591     16 |       45 |        0
585.30/585.45	c  585s |      18 |   663167 |   328852 |    41591     16 |       45 |        0
587.30/587.50	c  587s |      18 |   665618 |   329952 |    41591     16 |       45 |        0
589.50/589.63	c  589s |      18 |   667338 |   331052 |    41591     16 |       45 |        0
591.60/591.70	c  591s |      18 |   668976 |   332152 |    41591     16 |       45 |        0
593.70/593.85	c  593s |      18 |   670821 |   333152 |    41591     16 |       45 |        0
595.90/596.02	c  595s |      18 |   673114 |   334252 |    41591     16 |       45 |        0
597.90/598.09	c  597s |      18 |   674455 |   335152 |    41591     17 |       45 |        0
600.00/600.12	c  599s |      18 |   676479 |   336452 |    41591     17 |       45 |        0
602.10/602.27	c  601s |      18 |   678442 |   337852 |    41591     17 |       45 |        0
604.10/604.29	c  603s |      18 |   680074 |   339052 |    41591     17 |       45 |        0
606.20/606.36	c  606s |      18 |   681758 |   340252 |    41591     17 |       45 |        0
608.31/608.46	c  608s |      18 |   683380 |   341452 |    41591     17 |       45 |        0
610.30/610.49	c  610s |      18 |   685118 |   342552 |    41591     17 |       45 |        0
612.40/612.56	c  612s |      18 |   686768 |   343652 |    41591     17 |       45 |        0
614.50/614.69	c  614s |      18 |   688808 |   344852 |    41591     17 |       45 |        0
616.60/616.77	c  616s |      18 |   690497 |   345952 |    41591     17 |       45 |        0
618.60/618.79	c  618s |      18 |   692005 |   346952 |    41591     17 |       45 |        0
620.70/620.85	c  620s |      18 |   693742 |   347952 |    41591     17 |       45 |        0
622.80/622.91	c  622s |      18 |   695586 |   348952 |    41591     17 |       45 |        0
624.81/624.95	c  624s |      18 |   697649 |   349952 |    41591     17 |       45 |        0
626.91/627.07	c  626s |      18 |   699462 |   350952 |    41591     17 |       45 |        0
629.00/629.13	c  628s |      18 |   701228 |   351952 |    41591     17 |       45 |        0
631.20/631.31	c  630s |      18 |   702713 |   352952 |    41591     17 |       45 |        0
633.60/633.75	c  633s |      18 |   703452 |   353352 |    41591     17 |       45 |        0
635.80/635.93	c  635s |      18 |   705789 |   354452 |    41591     17 |       45 |        0
638.00/638.11	c  637s |      18 |   708157 |   355652 |    41591     17 |       45 |        0
639.99/640.18	c  639s |      18 |   710250 |   356752 |    41591     17 |       45 |        0
643.09/643.21	c  642s |      18 |   711751 |   357552 |    41591     18 |       45 |        0
645.10/645.22	c  644s |      18 |   713683 |   358452 |    41591     18 |       45 |        0
647.09/647.29	c  646s |      18 |   715958 |   359552 |    41591     18 |       45 |        0
649.19/649.30	c  648s |      18 |   717719 |   360652 |    41591     18 |       45 |        0
651.19/651.31	c  650s |      18 |   719255 |   361452 |    41591     18 |       45 |        0
653.19/653.39	c  653s |      18 |   721646 |   362652 |    41591     18 |       45 |        0
655.49/655.68	c  655s |      18 |   724894 |   363752 |    41591     18 |       45 |        0
657.59/657.72	c  657s |      18 |   727232 |   364752 |    41591     18 |       45 |        0
659.58/659.79	c  659s |      18 |   729668 |   365752 |    41591     18 |       45 |        0
661.78/661.93	c  661s |      18 |   731605 |   366852 |    41591     18 |       45 |        0
663.98/664.12	c  663s |      18 |   733428 |   367952 |    41591     18 |       45 |        0
665.98/666.16	c  665s |      18 |   735181 |   368852 |    41591     18 |       45 |        0
667.98/668.18	c  667s |      18 |   737216 |   369852 |    41591     18 |       45 |        0
670.08/670.29	c  669s |      18 |   739790 |   370952 |    41591     18 |       45 |        0
672.28/672.45	c  672s |      18 |   741303 |   372052 |    41591     18 |       45 |        0
674.59/674.75	c  674s |      18 |   743198 |   373152 |    41591     18 |       45 |        0
676.69/676.81	c  676s |      18 |   745682 |   374152 |    41591     18 |       45 |        0
678.79/678.96	c  678s |      18 |   748432 |   375252 |    41591     18 |       45 |        0
680.99/681.14	c  680s |      18 |   750491 |   376352 |    41591     18 |       45 |        0
683.09/683.26	c  682s |      18 |   752634 |   377452 |    41591     18 |       45 |        0
685.29/685.45	c  685s |      18 |   754388 |   378552 |    41591     18 |       45 |        0
687.49/687.61	c  687s |      18 |   755893 |   379452 |    41591     19 |       45 |        0
689.48/689.69	c  689s |      18 |   757798 |   380452 |    41591     19 |       45 |        0
691.58/691.78	c  691s |      18 |   760402 |   381652 |    41591     19 |       45 |        0
693.68/693.86	c  693s |      18 |   762936 |   382852 |    41591     19 |       45 |        0
695.78/695.91	c  695s |      18 |   765849 |   384052 |    41591     19 |       45 |        0
697.88/698.05	c  697s |      18 |   768926 |   385252 |    41591     19 |       45 |        0
699.98/700.19	c  699s |      18 |   772048 |   386452 |    41591     19 |       45 |        0
702.18/702.33	c  701s |      18 |   775338 |   387752 |    41591     19 |       45 |        0
704.28/704.46	c  704s |      18 |   777496 |   389052 |    41591     19 |       45 |        0
706.48/706.61	c  706s |      18 |   779801 |   390352 |    41591     19 |       45 |        0
708.58/708.74	c  708s |      18 |   782229 |   391552 |    41591     19 |       45 |        0
710.78/710.99	c  710s |      18 |   784766 |   392752 |    41591     19 |       45 |        0
713.08/713.20	c  712s |      18 |   786850 |   393852 |    41591     19 |       45 |        0
715.18/715.33	c  714s |      18 |   789179 |   394952 |    41591     19 |       45 |        0
717.28/717.44	c  717s |      18 |   790720 |   395852 |    41591     19 |       45 |        0
719.38/719.54	c  719s |      18 |   792426 |   396952 |    41591     19 |       45 |        0
721.48/721.66	c  721s |      18 |   794665 |   398052 |    41591     19 |       45 |        0
723.58/723.74	c  723s |      18 |   797494 |   399152 |    41591     19 |       45 |        0
725.67/725.82	c  725s |      18 |   800070 |   400152 |    41591     19 |       45 |        0
727.67/727.84	c  727s |      18 |   801951 |   401152 |    41591     19 |       45 |        0
729.88/730.06	c  729s |      18 |   803560 |   402152 |    41591     20 |       45 |        0
732.08/732.21	c  731s |      18 |   805921 |   403252 |    41591     20 |       45 |        0
734.18/734.33	c  733s |      18 |   808654 |   404452 |    41591     20 |       45 |        0
736.18/736.35	c  735s |      18 |   811702 |   405652 |    41591     20 |       45 |        0
738.37/738.53	c  738s |      18 |   813964 |   406952 |    41591     20 |       45 |        0
740.37/740.56	c  740s |      18 |   815889 |   408152 |    41591     20 |       45 |        0
742.48/742.66	c  742s |      18 |   818921 |   409852 |    41591     20 |       45 |        0
744.68/744.85	c  744s |      18 |   822240 |   411152 |    41591     20 |       45 |        0
746.67/746.87	c  746s |      18 |   824420 |   412152 |    41591     20 |       45 |        0
748.77/748.94	c  748s |      18 |   827726 |   413452 |    41591     20 |       45 |        0
750.77/750.94	c  750s |      18 |   829938 |   414752 |    41591     20 |       45 |        0
752.87/753.01	c  752s |      18 |   832677 |   416052 |    41591     20 |       45 |        0
754.87/755.08	c  754s |      18 |   835423 |   417152 |    41591     20 |       45 |        0
757.07/757.24	c  756s |      18 |   837878 |   418352 |    41591     20 |       45 |        0
759.07/759.29	c  758s |      18 |   840294 |   419452 |    41591     20 |       45 |        0
761.17/761.39	c  761s |      18 |   842088 |   420552 |    41591     20 |       45 |        0
763.46/763.60	c  763s |      18 |   843982 |   421652 |    41591     20 |       45 |        0
765.48/765.62	c  765s |      18 |   846279 |   422652 |    41591     21 |       45 |        0
767.47/767.63	c  767s |      18 |   849063 |   424052 |    41591     21 |       45 |        0
769.47/769.64	c  769s |      18 |   851659 |   425152 |    41591     21 |       45 |        0
771.47/771.66	c  771s |      18 |   854051 |   426252 |    41591     21 |       45 |        0
773.47/773.68	c  773s |      18 |   856937 |   427552 |    41591     21 |       45 |        0
775.47/775.69	c  775s |      18 |   859529 |   428952 |    41591     21 |       45 |        0
777.57/777.75	c  777s |      18 |   862235 |   430352 |    41591     21 |       45 |        0
779.66/779.90	c  779s |      18 |   865175 |   431752 |    41591     21 |       45 |        0
781.76/781.97	c  781s |      18 |   868010 |   432952 |    41591     21 |       45 |        0
783.86/784.05	c  783s |      18 |   869895 |   434052 |    41591     21 |       45 |        0
785.96/786.10	c  785s |      18 |   871641 |   435152 |    41591     21 |       45 |        0
787.96/788.15	c  787s |      18 |   873784 |   436252 |    41591     21 |       45 |        0
790.06/790.21	c  789s |      18 |   875864 |   437452 |    41591     21 |       45 |        0
792.16/792.32	c  791s |      18 |   877740 |   438552 |    41591     21 |       45 |        0
794.17/794.33	c  793s |      18 |   880116 |   439652 |    41591     21 |       45 |        0
796.16/796.40	c  796s |      18 |   882325 |   440852 |    41591     21 |       45 |        0
798.26/798.46	c  798s |      18 |   884353 |   441952 |    45751     21 |       45 |        0
800.26/800.46	c  800s |      18 |   886636 |   443052 |    45751     21 |       45 |        0
802.46/802.64	c  802s |      18 |   888340 |   444152 |    45751     21 |       45 |        0
803.16/803.33	c  802s |      19 |   888942 |   444482 |    45751     21 |       45 |        0
805.36/805.51	c  805s |      19 |   890552 |   445482 |    45751     21 |       45 |        0
807.36/807.57	c  807s |      19 |   893076 |   446682 |    45751     21 |       45 |        0
809.36/809.60	c  809s |      19 |   894881 |   447782 |    45751     21 |       45 |        0
811.45/811.68	c  811s |      19 |   896730 |   448782 |    45751     21 |       45 |        0
813.55/813.72	c  813s |      19 |   898130 |   449682 |    45751     21 |       45 |        0
815.65/815.87	c  815s |      19 |   899512 |   450582 |    45751     22 |       45 |        0
817.75/817.93	c  817s |      19 |   901938 |   451982 |    45751     22 |       45 |        0
819.76/819.97	c  819s |      19 |   904310 |   453182 |    45751     22 |       45 |        0
821.86/822.03	c  821s |      19 |   906726 |   454482 |    45751     22 |       45 |        0
823.96/824.16	c  823s |      19 |   908723 |   455582 |    45751     22 |       45 |        0
826.16/826.34	c  825s |      19 |   910929 |   456782 |    45751     22 |       45 |        0
828.16/828.40	c  828s |      19 |   912612 |   457882 |    45751     22 |       45 |        0
830.36/830.58	c  830s |      19 |   914344 |   458982 |    45751     22 |       45 |        0
832.45/832.60	c  832s |      19 |   916355 |   459982 |    45751     22 |       45 |        0
834.45/834.64	c  834s |      19 |   918714 |   461082 |    45751     22 |       45 |        0
836.55/836.79	c  836s |      19 |   920639 |   462182 |    45751     22 |       45 |        0
838.75/839.00	c  838s |      19 |   922618 |   463282 |    45751     22 |       45 |        0
840.95/841.16	c  840s |      19 |   925198 |   464382 |    45751     22 |       45 |        0
843.05/843.24	c  842s |      19 |   926777 |   465382 |    45751     22 |       45 |        0
845.05/845.28	c  844s |      19 |   928383 |   466382 |    45751     22 |       45 |        0
847.25/847.41	c  847s |      19 |   929951 |   467382 |    45751     22 |       45 |        0
849.35/849.50	c  849s |      19 |   931479 |   468382 |    45751     22 |       45 |        0
851.45/851.65	c  851s |      19 |   933331 |   469482 |    45751     22 |       45 |        0
853.56/853.76	c  853s |      19 |   935344 |   470682 |    45751     22 |       45 |        0
855.55/855.80	c  855s |      19 |   936755 |   471682 |    45751     22 |       45 |        0
858.45/858.63	c  858s |      19 |   937988 |   472382 |    45751     23 |       45 |        0
860.55/860.70	c  860s |      19 |   938706 |   472582 |    45751     23 |       45 |        0
862.54/862.70	c  862s |      19 |   939792 |   473082 |    45751     23 |       45 |        0
864.55/864.74	c  864s |      19 |   941564 |   474182 |    45751     23 |       45 |        0
867.45/867.68	c  867s |      19 |   943501 |   475282 |    45751     23 |       45 |        0
870.64/870.80	c  870s |      19 |   945361 |   476482 |    45751     23 |       45 |        0
873.14/873.40	c  873s |      19 |   947305 |   477582 |    45751     23 |       45 |        0
875.24/875.49	c  875s |      19 |   950022 |   479182 |    45751     23 |       45 |        0
877.44/877.62	c  877s |      19 |   952462 |   480382 |    45751     23 |       45 |        0
879.44/879.62	c  879s |      19 |   954402 |   481582 |    45751     23 |       45 |        0
881.64/881.83	c  881s |      19 |   956497 |   482782 |    45751     23 |       45 |        0
883.74/883.93	c  883s |      19 |   958327 |   483782 |    45751     23 |       45 |        0
885.74/885.98	c  885s |      19 |   960205 |   484882 |    45751     23 |       45 |        0
887.94/888.12	c  887s |      19 |   962282 |   486082 |    45751     23 |       45 |        0
890.14/890.32	c  889s |      19 |   964097 |   487282 |    45751     23 |       45 |        0
892.24/892.41	c  892s |      19 |   965653 |   488382 |    45751     23 |       45 |        0
894.33/894.58	c  894s |      19 |   967167 |   489482 |    45751     23 |       45 |        0
896.44/896.67	c  896s |      19 |   968712 |   490482 |    45751     23 |       45 |        0
898.55/898.70	c  898s |      19 |   970156 |   491482 |    45751     23 |       45 |        0
900.54/900.75	c  900s |      19 |   971683 |   492482 |    45751     23 |       45 |        0
902.64/902.83	c  902s |      19 |   973243 |   493582 |    45751     23 |       45 |        0
904.64/904.87	c  904s |      19 |   975004 |   494782 |    45751     23 |       45 |        0
906.74/906.90	c  906s |      19 |   976575 |   495882 |    45751     23 |       45 |        0
908.74/908.95	c  908s |      19 |   977991 |   496882 |    45751     23 |       45 |        0
910.94/911.11	c  910s |      19 |   979321 |   497882 |    45751     23 |       45 |        0
913.13/913.35	c  912s |      19 |   980460 |   498282 |    45751     24 |       45 |        0
915.23/915.40	c  915s |      19 |   983215 |   499382 |    45751     24 |       45 |        0
917.34/917.53	c  917s |      19 |   986588 |   500982 |    45751     24 |       45 |        0
919.44/919.64	c  919s |      19 |   988954 |   502182 |    45751     24 |       45 |        0
921.63/921.81	c  921s |      19 |   991273 |   503182 |    45751     24 |       45 |        0
923.83/924.04	c  923s |      19 |   993789 |   504182 |    45751     24 |       45 |        0
925.92/926.13	c  925s |      19 |   996043 |   505082 |    45751     24 |       45 |        0
927.92/928.17	c  927s |      19 |   998384 |   506182 |    45751     24 |       45 |        0
930.12/930.33	c  929s |      19 |  1001047 |   507482 |    45751     24 |       45 |        0
932.22/932.41	c  932s |      19 |  1003191 |   508282 |    45751     24 |       45 |        0
934.32/934.50	c  934s |      19 |  1005556 |   509582 |    45751     24 |       45 |        0
936.32/936.51	c  936s |      19 |  1007112 |   510582 |    45751     24 |       45 |        0
938.42/938.63	c  938s |      19 |  1009129 |   511782 |    45751     24 |       45 |        0
940.42/940.70	c  940s |      19 |  1011976 |   513282 |    45751     24 |       45 |        0
942.62/942.86	c  942s |      19 |  1014155 |   514682 |    45751     24 |       45 |        0
944.61/944.90	c  944s |      19 |  1016525 |   515882 |    45751     24 |       45 |        0
946.71/946.95	c  946s |      19 |  1018700 |   516982 |    45751     24 |       45 |        0
948.71/948.95	c  948s |      19 |  1021267 |   518282 |    45751     24 |       45 |        0
950.81/951.01	c  950s |      19 |  1023683 |   519482 |    45751     24 |       45 |        0
952.91/953.13	c  952s |      19 |  1026379 |   520482 |    45751     25 |       45 |        0
955.02/955.29	c  954s |      19 |  1028622 |   521582 |    45751     25 |       45 |        0
957.12/957.33	c  956s |      19 |  1030897 |   522782 |    45751     25 |       45 |        0
959.12/959.38	c  959s |      19 |  1033903 |   524182 |    45751     25 |       45 |        0
961.41/961.60	c  961s |      19 |  1036161 |   525482 |    45751     25 |       45 |        0
963.42/963.63	c  963s |      19 |  1038134 |   526682 |    45751     25 |       45 |        0
965.41/965.69	c  965s |      19 |  1040556 |   527782 |    45751     25 |       45 |        0
967.61/967.84	c  967s |      19 |  1043660 |   528982 |    45751     25 |       45 |        0
969.61/969.88	c  969s |      19 |  1046467 |   530082 |    45751     25 |       45 |        0
971.81/972.02	c  971s |      19 |  1049005 |   531382 |    45751     25 |       45 |        0
973.81/974.05	c  973s |      19 |  1051097 |   532582 |    45751     25 |       45 |        0
975.91/976.16	c  975s |      19 |  1053157 |   533682 |    45751     25 |       45 |        0
978.21/978.45	c  978s |      19 |  1055422 |   534582 |    45751     25 |       45 |        0
980.31/980.55	c  980s |      19 |  1057782 |   535282 |    45751     25 |       45 |        0
982.41/982.66	c  982s |      19 |  1060520 |   536582 |    45751     25 |       45 |        0
984.41/984.68	c  984s |      19 |  1062540 |   537482 |    45751     25 |       45 |        0
986.51/986.78	c  986s |      19 |  1064752 |   538582 |    45751     25 |       45 |        0
988.60/988.88	c  988s |      19 |  1067283 |   539582 |    45751     25 |       45 |        0
990.80/991.07	c  990s |      19 |  1069401 |   540582 |    45751     25 |       45 |        0
992.90/993.14	c  992s |      19 |  1071577 |   541682 |    45751     25 |       45 |        0
994.90/995.15	c  994s |      19 |  1073762 |   542782 |    45751     25 |       45 |        0
997.00/997.28	c  996s |      19 |  1075706 |   543882 |    45751     25 |       45 |        0
999.20/999.42	c  999s |      19 |  1077689 |   545082 |    45751     25 |       45 |        0
1001.20/1001.47	c 1001s |      19 |  1079225 |   546082 |    45751     26 |       45 |        0
1003.20/1003.47	c 1003s |      19 |  1081877 |   547282 |    45751     26 |       45 |        0
1005.20/1005.49	c 1005s |      19 |  1084553 |   548282 |    45751     26 |       45 |        0
1007.29/1007.60	c 1007s |      19 |  1086958 |   549682 |    45751     26 |       45 |        0
1009.49/1009.72	c 1009s |      19 |  1088900 |   550882 |    45751     26 |       45 |        0
1011.49/1011.77	c 1011s |      19 |  1091214 |   551882 |    45751     26 |       45 |        0
1013.59/1013.81	c 1013s |      19 |  1093604 |   553082 |    45751     26 |       45 |        0
1015.79/1016.00	c 1015s |      19 |  1095396 |   554082 |    45751     26 |       45 |        0
1017.89/1018.18	c 1017s |      19 |  1098091 |   555082 |    45751     26 |       45 |        0
1019.99/1020.30	c 1019s |      19 |  1100434 |   556082 |    45751     26 |       45 |        0
1022.19/1022.40	c 1022s |      19 |  1102869 |   557382 |    45751     26 |       45 |        0
1024.29/1024.56	c 1024s |      19 |  1105498 |   558482 |    45751     26 |       45 |        0
1026.39/1026.61	c 1026s |      19 |  1107721 |   559482 |    45751     26 |       45 |        0
1028.49/1028.72	c 1028s |      19 |  1110282 |   560982 |    45751     26 |       45 |        0
1030.49/1030.80	c 1030s |      19 |  1112146 |   562282 |    45751     26 |       45 |        0
1032.59/1032.89	c 1032s |      19 |  1114570 |   563482 |    45751     26 |       45 |        0
1034.68/1034.99	c 1034s |      19 |  1116921 |   564682 |    45751     26 |       45 |        0
1036.78/1037.02	c 1036s |      19 |  1119156 |   565882 |    45751     26 |       45 |        0
1038.88/1039.14	c 1038s |      19 |  1121619 |   567182 |    45751     26 |       45 |        0
1040.88/1041.16	c 1040s |      19 |  1123343 |   568382 |    45751     26 |       45 |        0
1043.08/1043.36	c 1043s |      19 |  1125209 |   569382 |    45751     27 |       45 |        0
1045.18/1045.44	c 1045s |      19 |  1127226 |   570482 |    45751     27 |       45 |        0
1047.18/1047.48	c 1047s |      19 |  1129263 |   571682 |    45751     27 |       45 |        0
1049.19/1049.49	c 1049s |      19 |  1131376 |   572882 |    45751     27 |       45 |        0
1051.28/1051.55	c 1051s |      19 |  1133491 |   573982 |    45751     27 |       45 |        0
1053.38/1053.68	c 1053s |      19 |  1135849 |   575482 |    45751     27 |       45 |        0
1055.48/1055.79	c 1055s |      19 |  1138177 |   576882 |    45751     27 |       45 |        0
1057.58/1057.83	c 1057s |      19 |  1140036 |   578182 |    45751     27 |       45 |        0
1059.58/1059.88	c 1059s |      19 |  1142054 |   579482 |    45751     27 |       45 |        0
1061.78/1062.02	c 1061s |      19 |  1145728 |   580882 |    45751     27 |       45 |        0
1063.88/1064.19	c 1063s |      19 |  1148326 |   582282 |    45751     27 |       45 |        0
1065.98/1066.27	c 1065s |      19 |  1150382 |   583682 |    45751     27 |       45 |        0
1068.08/1068.39	c 1068s |      19 |  1152478 |   584982 |    45751     27 |       45 |        0
1070.19/1070.41	c 1070s |      19 |  1154786 |   586182 |    45751     27 |       45 |        0
1072.18/1072.44	c 1072s |      19 |  1156753 |   587282 |    45751     27 |       45 |        0
1074.38/1074.61	c 1074s |      19 |  1158631 |   588482 |    45751     27 |       45 |        0
1076.47/1076.70	c 1076s |      19 |  1160824 |   589582 |    45751     27 |       45 |        0
1078.67/1078.90	c 1078s |      19 |  1162798 |   590682 |    45751     27 |       45 |        0
1080.77/1081.01	c 1080s |      19 |  1164566 |   591682 |    45751     27 |       45 |        0
1082.97/1083.26	c 1082s |      19 |  1166224 |   592682 |    45751     28 |       45 |        0
1084.97/1085.27	c 1084s |      19 |  1168554 |   594282 |    45751     28 |       45 |        0
1087.07/1087.37	c 1087s |      19 |  1170863 |   595882 |    45751     28 |       45 |        0
1089.17/1089.40	c 1089s |      19 |  1172696 |   597182 |    45751     28 |       45 |        0
1091.17/1091.49	c 1091s |      19 |  1174577 |   598582 |    45751     28 |       45 |        0
1093.27/1093.59	c 1093s |      19 |  1176363 |   599682 |    45751     28 |       45 |        0
1095.37/1095.63	c 1095s |      19 |  1178025 |   600782 |    45751     28 |       45 |        0
1097.46/1097.74	c 1097s |      19 |  1180612 |   601982 |    45751     28 |       45 |        0
1099.46/1099.77	c 1099s |      19 |  1182920 |   603082 |    45751     28 |       45 |        0
1101.56/1101.82	c 1101s |      19 |  1184833 |   604082 |    45751     28 |       45 |        0
1103.56/1103.90	c 1103s |      19 |  1187239 |   605382 |    45751     28 |       45 |        0
1106.26/1106.55	c 1106s |      19 |  1188778 |   606382 |    45751     28 |       45 |        0
1108.56/1108.80	c 1108s |      19 |  1189382 |   606582 |    45751     28 |       45 |        0
1110.87/1111.14	c 1110s |      19 |  1190280 |   606982 |    45751     28 |       45 |        0
1113.16/1113.40	c 1113s |      19 |  1192107 |   607782 |    45751     28 |       45 |        0
1115.17/1115.43	c 1115s |      19 |  1193915 |   608382 |    45751     28 |       45 |        0
1117.16/1117.46	c 1117s |      19 |  1196277 |   609382 |    45751     28 |       45 |        0
1119.26/1119.50	c 1119s |      19 |  1198852 |   610582 |    45751     28 |       45 |        0
1121.26/1121.53	c 1121s |      19 |  1200673 |   611582 |    45751     28 |       45 |        0
1123.36/1123.65	c 1123s |      19 |  1202774 |   612582 |    45751     28 |       45 |        0
1125.46/1125.79	c 1125s |      19 |  1204730 |   613582 |    45751     28 |       45 |        0
1127.66/1127.93	c 1127s |      19 |  1207218 |   614882 |    45751     28 |       45 |        0
1129.66/1129.98	c 1129s |      19 |  1209268 |   615982 |    45751     28 |       45 |        0
1131.86/1132.10	c 1131s |      19 |  1211284 |   616982 |    45751     28 |       45 |        0
1134.06/1134.30	c 1133s |      19 |  1213238 |   618182 |    45751     29 |       45 |        0
1136.35/1136.65	c 1136s |      19 |  1214530 |   618882 |    45751     29 |       45 |        0
1138.45/1138.70	c 1138s |      19 |  1217186 |   620182 |    45751     29 |       45 |        0
1140.46/1140.72	c 1140s |      19 |  1220111 |   621782 |    45751     29 |       45 |        0
1142.45/1142.79	c 1142s |      19 |  1222826 |   623382 |    45751     29 |       45 |        0
1144.55/1144.84	c 1144s |      19 |  1225236 |   624882 |    45751     29 |       45 |        0
1146.75/1147.09	c 1146s |      19 |  1227938 |   626282 |    45751     29 |       45 |        0
1148.85/1149.13	c 1148s |      19 |  1229843 |   627082 |    45751     29 |       45 |        0
1151.05/1151.38	c 1151s |      19 |  1232579 |   628482 |    45751     29 |       45 |        0
1153.14/1153.43	c 1153s |      19 |  1235033 |   629482 |    45751     29 |       45 |        0
1155.24/1155.54	c 1155s |      19 |  1237530 |   630582 |    45751     29 |       45 |        0
1157.24/1157.55	c 1157s |      19 |  1239679 |   631782 |    45751     29 |       45 |        0
1159.34/1159.65	c 1159s |      19 |  1241724 |   632982 |    45751     29 |       45 |        0
1161.35/1161.66	c 1161s |      19 |  1243976 |   634182 |    45751     29 |       45 |        0
1163.34/1163.67	c 1163s |      19 |  1246356 |   635282 |    45751     29 |       45 |        0
1165.34/1165.68	c 1165s |      19 |  1248505 |   636482 |    45751     29 |       45 |        0
1167.44/1167.72	c 1167s |      19 |  1250339 |   637682 |    45751     29 |       45 |        0
1169.44/1169.78	c 1169s |      19 |  1252195 |   638882 |    45751     29 |       45 |        0
1171.54/1171.85	c 1171s |      19 |  1254331 |   640182 |    45751     29 |       45 |        0
1173.64/1173.93	c 1173s |      19 |  1256376 |   641482 |    45751     29 |       45 |        0
1175.64/1175.97	c 1175s |      19 |  1258413 |   642782 |    45751     29 |       45 |        0
1177.74/1178.02	c 1177s |      19 |  1259716 |   643582 |    45751     30 |       45 |        0
1179.83/1180.16	c 1179s |      19 |  1261611 |   644182 |    45751     30 |       45 |        0
1182.03/1182.33	c 1181s |      19 |  1264433 |   645682 |    45751     30 |       45 |        0
1184.14/1184.43	c 1184s |      19 |  1266929 |   647282 |    45751     30 |       45 |        0
1186.14/1186.46	c 1186s |      19 |  1269245 |   648782 |    45751     30 |       45 |        0
1188.54/1188.89	c 1188s |      19 |  1271949 |   650182 |    45751     30 |       45 |        0
1190.64/1190.95	c 1190s |      19 |  1274069 |   651282 |    45751     30 |       45 |        0
1192.73/1193.04	c 1192s |      19 |  1276428 |   652682 |    45751     30 |       45 |        0
1194.83/1195.15	c 1194s |      19 |  1278652 |   654182 |    45751     30 |       45 |        0
1197.03/1197.32	c 1196s |      19 |  1280758 |   655582 |    45751     30 |       45 |        0
1199.13/1199.46	c 1199s |      19 |  1283141 |   656782 |    45751     30 |       45 |        0
1201.33/1201.63	c 1201s |      19 |  1285228 |   658082 |    45751     30 |       45 |        0
1203.43/1203.76	c 1203s |      19 |  1287132 |   659382 |    45751     30 |       45 |        0
1205.63/1205.94	c 1205s |      19 |  1289012 |   660482 |    45751     30 |       45 |        0
1207.73/1208.03	c 1207s |      19 |  1291527 |   661782 |    45751     30 |       45 |        0
1209.73/1210.10	c 1209s |      19 |  1293590 |   662982 |    50327     30 |       45 |        0
1211.93/1212.23	c 1211s |      19 |  1295958 |   664182 |    50327     30 |       45 |        0
1214.03/1214.40	c 1214s |      19 |  1297813 |   665382 |    50327     30 |       45 |        0
1216.22/1216.55	c 1216s |      19 |  1300249 |   666582 |    50327     30 |       45 |        0
1216.62/1216.94	c 1216s |      20 |  1300726 |   666827 |    50327     30 |       45 |        0
1218.72/1219.05	c 1218s |      20 |  1302669 |   667927 |    50327     30 |       45 |        0
1220.83/1221.18	c 1220s |      20 |  1304796 |   669227 |    50327     30 |       45 |        0
1223.03/1223.35	c 1222s |      20 |  1306648 |   670427 |    50327     31 |       45 |        0
1225.12/1225.48	c 1225s |      20 |  1309240 |   671727 |    50327     31 |       45 |        0
1227.22/1227.52	c 1227s |      20 |  1311113 |   672427 |    50327     31 |       45 |        0
1229.22/1229.59	c 1229s |      20 |  1314262 |   673627 |    50327     31 |       45 |        0
1231.32/1231.68	c 1231s |      20 |  1317233 |   675027 |    50327     31 |       45 |        0
1233.42/1233.71	c 1233s |      20 |  1319847 |   676527 |    50327     31 |       45 |        0
1235.42/1235.78	c 1235s |      20 |  1322127 |   677827 |    50327     31 |       45 |        0
1237.62/1237.95	c 1237s |      20 |  1324653 |   679027 |    50327     31 |       45 |        0
1239.72/1240.09	c 1239s |      20 |  1326953 |   680227 |    50327     31 |       45 |        0
1241.82/1242.13	c 1241s |      20 |  1329027 |   681527 |    50327     31 |       45 |        0
1243.92/1244.21	c 1243s |      20 |  1330784 |   682727 |    50327     31 |       45 |        0
1245.91/1246.25	c 1245s |      20 |  1333129 |   683927 |    50327     31 |       45 |        0
1248.01/1248.32	c 1247s |      20 |  1334498 |   684727 |    50327     31 |       45 |        0
1250.11/1250.42	c 1250s |      20 |  1337024 |   686027 |    50327     31 |       45 |        0
1252.11/1252.46	c 1252s |      20 |  1339153 |   687227 |    50327     31 |       45 |        0
1254.21/1254.53	c 1254s |      20 |  1342641 |   688927 |    50327     31 |       45 |        0
1256.22/1256.53	c 1256s |      20 |  1345434 |   690527 |    50327     31 |       45 |        0
1258.32/1258.60	c 1258s |      20 |  1348203 |   692127 |    50327     31 |       45 |        0
1260.32/1260.70	c 1260s |      20 |  1350697 |   693727 |    50327     31 |       45 |        0
1262.42/1262.76	c 1262s |      20 |  1352787 |   695127 |    50327     31 |       45 |        0
1264.51/1264.87	c 1264s |      20 |  1354830 |   696027 |    50327     32 |       45 |        0
1266.51/1266.88	c 1266s |      20 |  1357319 |   697227 |    50327     32 |       45 |        0
1268.71/1269.00	c 1268s |      20 |  1359772 |   698627 |    50327     32 |       45 |        0
1271.41/1271.74	c 1271s |      20 |  1361781 |   699427 |    50327     32 |       45 |        0
1273.80/1274.17	c 1273s |      20 |  1363072 |   700027 |    50327     32 |       45 |        0
1275.90/1276.26	c 1275s |      20 |  1366013 |   701227 |    50327     32 |       45 |        0
1278.10/1278.41	c 1278s |      20 |  1368769 |   702327 |    50327     32 |       45 |        0
1280.10/1280.47	c 1280s |      20 |  1371933 |   703627 |    50327     32 |       45 |        0
1282.20/1282.53	c 1282s |      20 |  1374670 |   705027 |    50327     32 |       45 |        0
1284.30/1284.61	c 1284s |      20 |  1377536 |   706427 |    50327     32 |       45 |        0
1286.39/1286.74	c 1286s |      20 |  1380269 |   707827 |    50327     32 |       45 |        0
1288.39/1288.74	c 1288s |      20 |  1382130 |   709127 |    50327     32 |       45 |        0
1290.49/1290.82	c 1290s |      20 |  1385008 |   710427 |    50327     32 |       45 |        0
1292.60/1292.98	c 1292s |      20 |  1387551 |   711827 |    50327     32 |       45 |        0
1294.70/1295.04	c 1294s |      20 |  1390084 |   713027 |    50327     32 |       45 |        0
1296.80/1297.11	c 1296s |      20 |  1391824 |   713927 |    50327     32 |       45 |        0
1298.80/1299.16	c 1298s |      20 |  1394017 |   714627 |    50327     32 |       45 |        0
1301.10/1301.43	c 1301s |      20 |  1396862 |   715727 |    50327     32 |       45 |        0
1303.10/1303.49	c 1303s |      20 |  1398485 |   716427 |    50327     32 |       45 |        0
1305.19/1305.51	c 1305s |      20 |  1400576 |   717227 |    50327     32 |       45 |        0
1307.19/1307.57	c 1307s |      20 |  1403176 |   718327 |    50327     32 |       45 |        0
1309.19/1309.59	c 1309s |      20 |  1405505 |   719627 |    50327     32 |       45 |        0
1311.39/1311.72	c 1311s |      20 |  1407764 |   720927 |    50327     32 |       45 |        0
1313.39/1313.74	c 1313s |      20 |  1409304 |   722027 |    50327     32 |       45 |        0
1315.49/1315.80	c 1315s |      20 |  1411057 |   723127 |    50327     32 |       45 |        0
1317.60/1317.91	c 1317s |      20 |  1412865 |   724027 |    50327     33 |       45 |        0
1319.70/1320.04	c 1319s |      20 |  1416128 |   725227 |    50327     33 |       45 |        0
1321.69/1322.06	c 1321s |      20 |  1419502 |   726527 |    50327     33 |       45 |        0
1323.89/1324.21	c 1323s |      20 |  1421953 |   728027 |    50327     33 |       45 |        0
1326.09/1326.43	c 1326s |      20 |  1424187 |   729427 |    50327     33 |       45 |        0
1328.19/1328.50	c 1328s |      20 |  1427337 |   730827 |    50327     33 |       45 |        0
1330.29/1330.62	c 1330s |      20 |  1430420 |   732127 |    50327     33 |       45 |        0
1332.39/1332.73	c 1332s |      20 |  1433166 |   733527 |    50327     33 |       45 |        0
1334.39/1334.76	c 1334s |      20 |  1435401 |   734827 |    50327     33 |       45 |        0
1336.38/1336.78	c 1336s |      20 |  1437379 |   736127 |    50327     33 |       45 |        0
1338.49/1338.87	c 1338s |      20 |  1440248 |   737327 |    50327     33 |       45 |        0
1340.59/1340.94	c 1340s |      20 |  1443477 |   738527 |    50327     33 |       45 |        0
1342.68/1343.06	c 1342s |      20 |  1445353 |   739627 |    50327     33 |       45 |        0
1344.88/1345.21	c 1344s |      20 |  1447174 |   740727 |    50327     33 |       45 |        0
1346.98/1347.32	c 1346s |      20 |  1448853 |   741827 |    50327     33 |       45 |        0
1349.08/1349.47	c 1349s |      20 |  1451395 |   743027 |    50327     33 |       45 |        0
1351.08/1351.48	c 1351s |      20 |  1453990 |   744127 |    50327     33 |       45 |        0
1353.28/1353.67	c 1353s |      20 |  1456040 |   745327 |    50327     33 |       45 |        0
1355.48/1355.89	c 1355s |      20 |  1457865 |   746427 |    50327     33 |       45 |        0
1357.58/1357.90	c 1357s |      20 |  1460231 |   747627 |    50327     33 |       45 |        0
1359.68/1360.05	c 1359s |      20 |  1461939 |   748827 |    50327     33 |       45 |        0
1361.78/1362.10	c 1361s |      20 |  1463591 |   750027 |    50327     33 |       45 |        0
1363.78/1364.17	c 1363s |      20 |  1465101 |   751027 |    50327     34 |       45 |        0
1365.98/1366.38	c 1366s |      20 |  1468370 |   752427 |    50327     34 |       45 |        0
1368.08/1368.50	c 1368s |      20 |  1471739 |   753927 |    50327     34 |       45 |        0
1370.17/1370.55	c 1370s |      20 |  1474156 |   755427 |    50327     34 |       45 |        0
1372.27/1372.63	c 1372s |      20 |  1475995 |   756727 |    50327     34 |       45 |        0
1374.37/1374.72	c 1374s |      20 |  1478222 |   757827 |    50327     34 |       45 |        0
1376.87/1377.25	c 1376s |      20 |  1480232 |   758927 |    50327     34 |       45 |        0
1378.97/1379.38	c 1379s |      20 |  1482289 |   760327 |    50327     34 |       45 |        0
1381.17/1381.50	c 1381s |      20 |  1484135 |   761627 |    50327     34 |       45 |        0
1383.17/1383.54	c 1383s |      20 |  1486203 |   762727 |    50327     34 |       45 |        0
1385.26/1385.62	c 1385s |      20 |  1488812 |   763927 |    50327     34 |       45 |        0
1387.36/1387.70	c 1387s |      20 |  1490787 |   765127 |    50327     34 |       45 |        0
1389.36/1389.72	c 1389s |      20 |  1492581 |   766327 |    50327     34 |       45 |        0
1391.36/1391.75	c 1391s |      20 |  1495147 |   767527 |    50327     34 |       45 |        0
1393.37/1393.78	c 1393s |      20 |  1497335 |   768827 |    50327     34 |       45 |        0
1395.57/1395.92	c 1395s |      20 |  1499273 |   770127 |    50327     34 |       45 |        0
1397.56/1397.94	c 1397s |      20 |  1501103 |   771227 |    50327     34 |       45 |        0
1399.67/1400.03	c 1399s |      20 |  1503049 |   772427 |    50327     34 |       45 |        0
1401.77/1402.15	c 1401s |      20 |  1504880 |   773627 |    50327     34 |       45 |        0
1403.87/1404.30	c 1403s |      20 |  1506792 |   774727 |    50327     34 |       45 |        0
1405.97/1406.39	c 1406s |      20 |  1508403 |   775827 |    50327     34 |       45 |        0
1408.66/1409.00	c 1408s |      20 |  1510645 |   777027 |    50327     34 |       45 |        0
1410.66/1411.04	c 1410s |      20 |  1512650 |   778127 |    50327     35 |       45 |        0
1412.76/1413.15	c 1412s |      20 |  1514661 |   779427 |    50327     35 |       45 |        0
1414.76/1415.18	c 1414s |      20 |  1516595 |   780627 |    50327     35 |       45 |        0
1416.86/1417.25	c 1416s |      20 |  1518408 |   781827 |    50327     35 |       45 |        0
1418.96/1419.37	c 1419s |      20 |  1520811 |   783127 |    50327     35 |       45 |        0
1421.16/1421.50	c 1421s |      20 |  1523920 |   784627 |    50327     35 |       45 |        0
1423.26/1423.60	c 1423s |      20 |  1525995 |   786027 |    50327     35 |       45 |        0
1425.26/1425.62	c 1425s |      20 |  1528078 |   787327 |    50327     35 |       45 |        0
1427.36/1427.72	c 1427s |      20 |  1530105 |   788627 |    50327     35 |       45 |        0
1429.46/1429.89	c 1429s |      20 |  1532232 |   789827 |    50327     35 |       45 |        0
1431.56/1431.98	c 1431s |      20 |  1533679 |   790827 |    50327     35 |       45 |        0
1433.56/1433.98	c 1433s |      20 |  1536005 |   792227 |    50327     35 |       45 |        0
1435.66/1436.04	c 1435s |      20 |  1537974 |   793527 |    50327     35 |       45 |        0
1437.76/1438.17	c 1437s |      20 |  1539599 |   794727 |    50327     35 |       45 |        0
1439.86/1440.23	c 1439s |      20 |  1541756 |   796127 |    50327     35 |       45 |        0
1441.86/1442.28	c 1441s |      20 |  1543624 |   797227 |    50327     35 |       45 |        0
1444.06/1444.42	c 1444s |      20 |  1545506 |   798427 |    50327     35 |       45 |        0
1446.05/1446.44	c 1446s |      20 |  1547209 |   799427 |    50327     35 |       45 |        0
1448.15/1448.59	c 1448s |      20 |  1549115 |   800627 |    50327     35 |       45 |        0
1450.25/1450.69	c 1450s |      20 |  1550585 |   801627 |    50327     35 |       45 |        0
1452.35/1452.70	c 1452s |      20 |  1552137 |   802627 |    50327     35 |       45 |        0
1454.45/1454.82	c 1454s |      20 |  1553793 |   803627 |    50327     36 |       45 |        0
1456.45/1456.88	c 1456s |      20 |  1556351 |   805127 |    50327     36 |       45 |        0
1458.65/1459.00	c 1458s |      20 |  1558077 |   806327 |    50327     36 |       45 |        0
1460.75/1461.13	c 1460s |      20 |  1559654 |   807427 |    50327     36 |       45 |        0
1462.85/1463.29	c 1462s |      20 |  1561290 |   808627 |    50327     36 |       45 |        0
1464.96/1465.34	c 1464s |      20 |  1563089 |   809927 |    50327     36 |       45 |        0
1467.06/1467.46	c 1467s |      20 |  1564672 |   811127 |    50327     36 |       45 |        0
1469.15/1469.57	c 1469s |      20 |  1566513 |   812427 |    50327     36 |       45 |        0
1471.15/1471.59	c 1471s |      20 |  1567804 |   813427 |    50327     36 |       45 |        0
1473.45/1473.80	c 1473s |      20 |  1569232 |   814427 |    50327     36 |       45 |        0
1475.55/1475.91	c 1475s |      20 |  1570471 |   815327 |    50327     36 |       45 |        0
1477.75/1478.12	c 1477s |      20 |  1571606 |   816227 |    50327     36 |       45 |        0
1480.75/1481.16	c 1480s |      20 |  1572708 |   816627 |    50327     36 |       45 |        0
1483.25/1483.67	c 1483s |      20 |  1573159 |   816727 |    50327     36 |       45 |        0
1486.05/1486.44	c 1486s |      20 |  1574892 |   817427 |    50327     36 |       45 |        0
1488.06/1488.48	c 1488s |      20 |  1577880 |   818527 |    50327     36 |       45 |        0
1490.65/1491.06	c 1490s |      20 |  1580724 |   819527 |    50327     36 |       45 |        0
1492.75/1493.16	c 1492s |      20 |  1582363 |   820127 |    50327     36 |       45 |        0
1494.95/1495.30	c 1494s |      20 |  1585685 |   821327 |    50327     36 |       45 |        0
1496.94/1497.35	c 1496s |      20 |  1588831 |   822427 |    50327     36 |       45 |        0
1498.95/1499.40	c 1499s |      20 |  1591362 |   823427 |    50327     36 |       45 |        0
1501.15/1501.51	c 1501s |      20 |  1593603 |   824427 |    50327     36 |       45 |        0
1503.14/1503.59	c 1503s |      20 |  1596051 |   825827 |    50327     36 |       45 |        0
1505.24/1505.65	c 1505s |      20 |  1598460 |   827027 |    50327     36 |       45 |        0
1507.44/1507.86	c 1507s |      20 |  1601455 |   828027 |    50327     36 |       45 |        0
1509.44/1509.87	c 1509s |      20 |  1603924 |   829027 |    50327     36 |       45 |        0
1511.54/1511.92	c 1511s |      20 |  1605624 |   829927 |    50327     36 |       45 |        0
1513.64/1514.05	c 1513s |      20 |  1607219 |   830927 |    50327     36 |       45 |        0
1515.74/1516.12	c 1515s |      20 |  1608888 |   831927 |    50327     37 |       45 |        0
1517.85/1518.23	c 1517s |      20 |  1610441 |   832727 |    50327     37 |       45 |        0
1520.05/1520.45	c 1520s |      20 |  1613929 |   834027 |    50327     37 |       45 |        0
1522.15/1522.56	c 1522s |      20 |  1617142 |   835027 |    50327     37 |       45 |        0
1524.15/1524.60	c 1524s |      20 |  1620538 |   836427 |    50327     37 |       45 |        0
1526.35/1526.72	c 1526s |      20 |  1623585 |   837827 |    50327     37 |       45 |        0
1528.55/1528.90	c 1528s |      20 |  1626606 |   839327 |    50327     37 |       45 |        0
1530.65/1531.03	c 1530s |      20 |  1629489 |   840627 |    50327     37 |       45 |        0
1532.75/1533.15	c 1532s |      20 |  1631731 |   841927 |    50327     37 |       45 |        0
1534.84/1535.21	c 1534s |      20 |  1633876 |   843127 |    50327     37 |       45 |        0
1536.84/1537.23	c 1536s |      20 |  1635318 |   843827 |    50327     37 |       45 |        0
1538.94/1539.35	c 1538s |      20 |  1638355 |   845227 |    50327     37 |       45 |        0
1541.04/1541.44	c 1541s |      20 |  1641334 |   846727 |    50327     37 |       45 |        0
1543.24/1543.60	c 1543s |      20 |  1643421 |   848027 |    50327     37 |       45 |        0
1545.25/1545.67	c 1545s |      20 |  1645487 |   849327 |    50327     37 |       45 |        0
1547.45/1547.81	c 1547s |      20 |  1647796 |   850627 |    50327     37 |       45 |        0
1549.44/1549.84	c 1549s |      20 |  1649947 |   851927 |    50327     37 |       45 |        0
1551.54/1551.90	c 1551s |      20 |  1653010 |   853227 |    50327     37 |       45 |        0
1553.64/1554.00	c 1553s |      20 |  1655754 |   854527 |    50327     37 |       45 |        0
1555.74/1556.11	c 1555s |      20 |  1658471 |   855927 |    50327     37 |       45 |        0
1557.84/1558.21	c 1557s |      20 |  1660310 |   857227 |    50327     37 |       45 |        0
1559.84/1560.29	c 1559s |      20 |  1661858 |   858327 |    50327     38 |       45 |        0
1561.94/1562.32	c 1561s |      20 |  1664180 |   859627 |    50327     38 |       45 |        0
1563.94/1564.33	c 1563s |      20 |  1666437 |   860927 |    50327     38 |       45 |        0
1565.94/1566.34	c 1565s |      20 |  1668172 |   861827 |    50327     38 |       45 |        0
1568.03/1568.47	c 1568s |      20 |  1670676 |   863127 |    50327     38 |       45 |        0
1570.13/1570.50	c 1570s |      20 |  1672797 |   864327 |    50327     38 |       45 |        0
1572.13/1572.51	c 1572s |      20 |  1675459 |   865527 |    50327     38 |       45 |        0
1574.23/1574.66	c 1574s |      20 |  1677753 |   866627 |    50327     38 |       45 |        0
1576.23/1576.67	c 1576s |      20 |  1680991 |   867627 |    50327     38 |       45 |        0
1578.43/1578.81	c 1578s |      20 |  1684083 |   868927 |    50327     38 |       45 |        0
1580.53/1580.97	c 1580s |      20 |  1686191 |   870127 |    50327     38 |       45 |        0
1582.64/1583.06	c 1582s |      20 |  1687751 |   871127 |    50327     38 |       45 |        0
1584.84/1585.28	c 1584s |      20 |  1689216 |   872127 |    50327     38 |       45 |        0
1586.83/1587.29	c 1586s |      20 |  1691004 |   873127 |    50327     38 |       45 |        0
1588.93/1589.34	c 1588s |      20 |  1693462 |   874227 |    50327     38 |       45 |        0
1591.03/1591.45	c 1591s |      20 |  1695782 |   875427 |    50327     38 |       45 |        0
1593.13/1593.51	c 1593s |      20 |  1698034 |   876727 |    50327     38 |       45 |        0
1595.23/1595.66	c 1595s |      20 |  1700278 |   877927 |    50327     38 |       45 |        0
1597.43/1597.84	c 1597s |      20 |  1702231 |   879227 |    50327     38 |       45 |        0
1599.53/1599.99	c 1599s |      20 |  1703887 |   880427 |    50327     38 |       45 |        0
1601.73/1602.10	c 1601s |      20 |  1706260 |   881527 |    50327     38 |       45 |        0
1603.73/1604.18	c 1603s |      20 |  1708437 |   882727 |    50327     38 |       45 |        0
1605.93/1606.31	c 1605s |      20 |  1710338 |   883927 |    50327     38 |       45 |        0
1607.93/1608.34	c 1607s |      20 |  1711956 |   885027 |    50327     38 |       45 |        0
1609.93/1610.35	c 1609s |      20 |  1713545 |   886027 |    50327     39 |       45 |        0
1612.03/1612.41	c 1612s |      20 |  1715885 |   887327 |    50327     39 |       45 |        0
1614.13/1614.55	c 1614s |      20 |  1718068 |   888627 |    50327     39 |       45 |        0
1616.23/1616.67	c 1616s |      20 |  1720010 |   889927 |    50327     39 |       45 |        0
1618.43/1618.80	c 1618s |      20 |  1721831 |   891227 |    50327     39 |       45 |        0
1620.53/1620.90	c 1620s |      20 |  1723792 |   892527 |    50327     39 |       45 |        0
1622.53/1622.99	c 1622s |      20 |  1726048 |   893727 |    50327     39 |       45 |        0
1624.73/1625.12	c 1624s |      20 |  1728621 |   895227 |    50327     39 |       45 |        0
1626.82/1627.25	c 1626s |      20 |  1730748 |   896627 |    50327     39 |       45 |        0
1628.93/1629.34	c 1628s |      20 |  1732917 |   897727 |    50327     39 |       45 |        0
1630.94/1631.35	c 1630s |      20 |  1736273 |   899027 |    50327     39 |       45 |        0
1633.03/1633.43	c 1633s |      20 |  1739019 |   900227 |    50327     39 |       45 |        0
1635.13/1635.55	c 1635s |      20 |  1741667 |   901427 |    50327     39 |       45 |        0
1637.23/1637.60	c 1637s |      20 |  1744100 |   902627 |    50327     39 |       45 |        0
1639.33/1639.71	c 1639s |      20 |  1746120 |   903927 |    50327     39 |       45 |        0
1641.43/1641.81	c 1641s |      20 |  1749118 |   905427 |    50327     39 |       45 |        0
1643.43/1643.81	c 1643s |      20 |  1751292 |   906827 |    50327     39 |       45 |        0
1645.53/1645.94	c 1645s |      20 |  1753169 |   908127 |    50327     39 |       45 |        0
1648.23/1648.67	c 1648s |      20 |  1755110 |   909027 |    50327     40 |       45 |        0
1652.02/1652.42	c 1652s |      20 |  1756503 |   909627 |    50327     40 |       45 |        0
1654.22/1654.61	c 1654s |      20 |  1759202 |   910827 |    50327     40 |       45 |        0
1656.42/1656.83	c 1656s |      20 |  1761300 |   912127 |    50327     40 |       45 |        0
1658.53/1658.92	c 1658s |      20 |  1763045 |   913327 |    50327     40 |       45 |        0
1660.52/1660.97	c 1660s |      20 |  1765052 |   914527 |    50327     40 |       45 |        0
1663.94/1664.37	c 1664s |      20 |  1765514 |   914827 |    50327     40 |       45 |        0
1666.03/1666.40	c 1666s |      20 |  1767801 |   916327 |    50327     40 |       45 |        0
1668.03/1668.42	c 1668s |      20 |  1769913 |   917627 |    50327     40 |       45 |        0
1670.03/1670.47	c 1670s |      20 |  1772197 |   918827 |    50327     40 |       45 |        0
1672.23/1672.60	c 1672s |      20 |  1774533 |   920327 |    50327     40 |       45 |        0
1674.23/1674.67	c 1674s |      20 |  1776357 |   921627 |    50327     40 |       45 |        0
1676.33/1676.76	c 1676s |      20 |  1778191 |   922827 |    50327     40 |       45 |        0
1678.42/1678.81	c 1678s |      20 |  1780104 |   923927 |    50327     40 |       45 |        0
1680.43/1680.88	c 1680s |      20 |  1782635 |   925027 |    50327     40 |       45 |        0
1682.52/1682.92	c 1682s |      20 |  1784520 |   926027 |    50327     40 |       45 |        0
1684.52/1684.99	c 1684s |      20 |  1786404 |   927127 |    50327     40 |       45 |        0
1686.62/1687.09	c 1686s |      20 |  1788523 |   928327 |    50327     40 |       45 |        0
1688.72/1689.19	c 1688s |      20 |  1790283 |   929527 |    50327     40 |       45 |        0
1690.82/1691.22	c 1690s |      20 |  1792273 |   930727 |    50327     40 |       45 |        0
1692.92/1693.31	c 1692s |      20 |  1794412 |   932027 |    50327     40 |       45 |        0
1695.02/1695.42	c 1695s |      20 |  1796378 |   933327 |    50327     40 |       45 |        0
1697.12/1697.54	c 1697s |      20 |  1798535 |   934527 |    50327     40 |       45 |        0
1699.13/1699.57	c 1699s |      20 |  1800371 |   935627 |    50327     40 |       45 |        0
1701.22/1701.63	c 1701s |      20 |  1802110 |   936827 |    50327     40 |       45 |        0
1703.22/1703.69	c 1703s |      20 |  1803515 |   937927 |    50327     40 |       45 |        0
1705.32/1705.78	c 1705s |      20 |  1805251 |   939027 |    50327     41 |       45 |        0
1707.42/1707.87	c 1707s |      20 |  1807824 |   940527 |    50327     41 |       45 |        0
1709.52/1709.94	c 1709s |      20 |  1810299 |   942027 |    50327     41 |       45 |        0
1711.62/1712.04	c 1711s |      20 |  1812718 |   943427 |    50327     41 |       45 |        0
1713.72/1714.13	c 1713s |      20 |  1815469 |   944827 |    50327     41 |       45 |        0
1715.82/1716.20	c 1715s |      20 |  1817604 |   946127 |    50327     41 |       45 |        0
1717.72/1718.20	c 1717s |      20 |  1819202 |   947327 |    50327     41 |       45 |        0
1719.81/1720.27	c 1719s |      20 |  1821275 |   948627 |    50327     41 |       45 |        0
1722.01/1722.46	c 1722s |      20 |  1823356 |   949927 |    50327     41 |       45 |        0
1724.21/1724.60	c 1724s |      20 |  1825535 |   951227 |    50327     41 |       45 |        0
1726.21/1726.64	c 1726s |      20 |  1827727 |   952627 |    50327     41 |       45 |        0
1728.41/1728.81	c 1728s |      20 |  1829741 |   953927 |    50327     41 |       45 |        0
1730.51/1730.94	c 1730s |      20 |  1831530 |   955127 |    50327     41 |       45 |        0
1732.71/1733.10	c 1732s |      20 |  1833320 |   956227 |    50327     41 |       45 |        0
1734.71/1735.19	c 1734s |      20 |  1835224 |   957527 |    50327     41 |       45 |        0
1736.81/1737.21	c 1736s |      20 |  1836962 |   958727 |    50327     41 |       45 |        0
1738.91/1739.30	c 1738s |      20 |  1838056 |   959227 |    50327     41 |       45 |        0
1740.91/1741.39	c 1741s |      20 |  1839062 |   959727 |    50327     41 |       45 |        0
1743.21/1743.69	c 1743s |      20 |  1841657 |   960727 |    50327     41 |       45 |        0
1745.21/1745.70	c 1745s |      20 |  1843966 |   961627 |    50327     41 |       45 |        0
1747.31/1747.79	c 1747s |      20 |  1846384 |   962627 |    50327     41 |       45 |        0
1749.41/1749.89	c 1749s |      20 |  1848553 |   963727 |    50327     41 |       45 |        0
1751.61/1752.00	c 1751s |      20 |  1850681 |   964627 |    50327     42 |       45 |        0
1753.71/1754.12	c 1753s |      20 |  1852646 |   965727 |    50327     42 |       45 |        0
1755.81/1756.21	c 1755s |      20 |  1854529 |   966827 |    50327     42 |       45 |        0
1758.31/1758.74	c 1758s |      20 |  1856014 |   967727 |    50327     42 |       45 |        0
1760.41/1760.86	c 1760s |      20 |  1858694 |   969027 |    50327     42 |       45 |        0
1762.51/1762.98	c 1762s |      20 |  1861449 |   970427 |    50327     42 |       45 |        0
1764.71/1765.11	c 1764s |      20 |  1863044 |   971427 |    50327     42 |       45 |        0
1766.81/1767.25	c 1766s |      20 |  1865698 |   972927 |    50327     42 |       45 |        0
1768.81/1769.30	c 1768s |      20 |  1867553 |   973827 |    50327     42 |       45 |        0
1771.11/1771.51	c 1771s |      20 |  1870191 |   974927 |    50327     42 |       45 |        0
1773.21/1773.67	c 1773s |      20 |  1872812 |   975927 |    50327     42 |       45 |        0
1775.31/1775.79	c 1775s |      20 |  1875521 |   977127 |    50327     42 |       45 |        0
1777.41/1777.86	c 1777s |      20 |  1878641 |   978527 |    50327     42 |       45 |        0
1779.61/1780.00	c 1779s |      20 |  1881058 |   979827 |    50327     42 |       45 |        0
1781.71/1782.11	c 1781s |      20 |  1883025 |   981127 |    50327     42 |       45 |        0
1783.81/1784.24	c 1783s |      20 |  1885136 |   982427 |    50327     42 |       45 |        0
1785.90/1786.38	c 1786s |      20 |  1887563 |   983627 |    50327     42 |       45 |        0
1788.00/1788.45	c 1788s |      20 |  1890004 |   984927 |    50327     42 |       45 |        0
1790.00/1790.49	c 1790s |      20 |  1892115 |   986327 |    50327     42 |       45 |        0
1792.10/1792.54	c 1792s |      20 |  1894980 |   987527 |    50327     42 |       45 |        0
1794.20/1794.64	c 1794s |      20 |  1897431 |   988927 |    50327     42 |       45 |        0
1796.20/1796.67	c 1796s |      20 |  1899456 |   990127 |    50327     43 |       45 |        0
1798.60/1799.03	c 1798s |      20 |  1899641 |   990227 |    50327     43 |       45 |        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-4079406-1465330632/watcher-4079406-1465330632 -o /tmp/evaluation-result-4079406-1465330632/solver-4079406-1465330632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079406-1465330632.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 14763
/proc/meminfo: memFree=30486060/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 2537 0 0 0 0 0 0 0 20 0 4 0 114997954 697757696 2897 33554432000 4194304 16246674 140734715593952 140734715593376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 171119 2908 441 2943 0 168013 0
[pid=14763/tid=14764] ppid=14760 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 716632064 2969 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 720826368 2986 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 725020672 3002 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 14763
/proc/meminfo: memFree=30486060/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 27437 0 0 0 5 3 0 0 20 0 4 0 114997954 1332285440 27736 33554432000 4194304 16246674 140734715593952 140734715593264 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 325265 27751 799 2943 0 322159 0
[pid=14763/tid=14764] ppid=14760 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1332285440 27762 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1332285440 27774 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1332285440 27788 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200561 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 14763
/proc/meminfo: memFree=30486060/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 45207 0 0 0 13 6 0 0 20 0 4 0 114997954 1333334016 45505 33554432000 4194304 16246674 140734715593952 140734715576944 6931088 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 325521 45505 837 2943 0 322415 0
[pid=14763/tid=14764] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 45505 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 45505 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 45505 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300482 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 14763
/proc/meminfo: memFree=30486060/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 62103 0 0 0 20 9 0 0 20 0 4 0 114997954 1333334016 62401 33554432000 4194304 16246674 140734715593952 140734715576944 5653837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 325521 62409 840 2943 0 322415 0
[pid=14763/tid=14764] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 62415 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 62420 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 62424 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.70046 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 14763
/proc/meminfo: memFree=30486060/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 113805 0 0 0 53 15 0 0 20 0 4 0 114997954 1333334016 114103 33554432000 4194304 16246674 140734715593952 140734715576944 5585885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 325521 114112 883 2943 0 322415 0
[pid=14763/tid=14764] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 114115 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 114122 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 114129 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084

[startup+1.50047 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 14767
/proc/meminfo: memFree=29881472/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 188688 0 0 0 122 27 0 0 20 0 4 0 114997954 1333334016 188986 33554432000 4194304 16246674 140734715593952 140734715575872 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 325521 188990 883 2943 0 322415 0
[pid=14763/tid=14764] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 188992 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 188995 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1333334016 188997 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10044 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 14767
/proc/meminfo: memFree=29478588/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 270002 0 0 0 272 37 0 0 20 0 4 0 114997954 1346965504 270300 33554432000 4194304 16246674 140734715593952 140734715593264 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 328849 270300 889 2943 0 325743 0
[pid=14763/tid=14764] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270300 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270300 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270300 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1315396

[startup+6.30046 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 14767
/proc/meminfo: memFree=29404960/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 270036 0 0 0 592 37 0 0 20 0 4 0 114997954 1346965504 270334 33554432000 4194304 16246674 140734715593952 140734715575872 13820875 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 328849 270334 889 2943 0 325743 0
[pid=14763/tid=14764] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270334 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270334 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270334 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7005 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 14767
/proc/meminfo: memFree=29405104/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1315396 CPUtime=12.68 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 270038 0 0 0 1231 37 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140734715575872 5601249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 328849 270336 891 2943 0 325743 0
[pid=14763/tid=14764] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.00 4/183 14767
/proc/meminfo: memFree=29405072/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 270038 0 0 0 2511 38 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140734715575872 5823206 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 328849 270336 891 2943 0 325743 0
[pid=14763/tid=14764] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270336 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 14767
/proc/meminfo: memFree=29403304/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 270042 0 0 0 5070 38 0 0 20 0 4 0 114997954 1346965504 270340 33554432000 4194304 16246674 140734715593952 140734715575872 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 328849 270340 894 2943 0 325743 0
[pid=14763/tid=14764] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270340 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270340 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1346965504 270340 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 14768
/proc/meminfo: memFree=29388708/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1324612 CPUtime=102.29 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 272157 0 0 0 10190 39 0 0 20 0 4 0 114997954 1356402688 272455 33554432000 4194304 16246674 140734715593952 140734715575872 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 331153 272455 896 2943 0 328047 0
[pid=14763/tid=14764] ppid=14760 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1356402688 272455 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1356402688 272455 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1356402688 272455 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1324612


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

/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1372740

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 14847
/proc/meminfo: memFree=29324208/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1302 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284579 0 0 0 130104 96 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140734715576952 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284936 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1372740

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14848
/proc/meminfo: memFree=29324116/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1361.98 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284592 0 0 0 136102 96 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140734715575872 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284936 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284936 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1372740

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14852
/proc/meminfo: memFree=29324184/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1421.96 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284606 0 0 0 142099 97 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715575872 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1372740

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 14854
/proc/meminfo: memFree=29323696/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1481.95 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 148097 98 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715593128 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1372740

[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14855
/proc/meminfo: memFree=29323724/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1541.95 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 154096 99 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715575872 5673777 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1372740

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 14856
/proc/meminfo: memFree=23859436/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1601.93 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 160094 99 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715575872 5824735 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1372740

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 14857
/proc/meminfo: memFree=18361800/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1661.92 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 166092 100 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715593048 4221031 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1372740

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 14858
/proc/meminfo: memFree=15167088/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1721.91 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 172090 101 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715575872 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1372740

[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14860
/proc/meminfo: memFree=14809748/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1781.91 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 178089 102 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715575872 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1372740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.05 2.01 3/183 14860
/proc/meminfo: memFree=14809604/32872528 swapFree=12744/274376
[pid=14763] ppid=14760 vsize=1372740 CPUtime=1800 cores=1,3,5,7
/proc/14763/stat : 14763 (toysat) R 14760 14763 11961 0 -1 4202496 284608 0 0 0 179898 102 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140734715575872 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14763/statm: 343185 284937 898 2943 0 340079 0
[pid=14763/tid=14764] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14764/stat : 14764 (toysat) S 14760 14763 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142191815920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14763/tid=14765] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14765/stat : 14765 (toysat) S 14760 14763 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142181326064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14763/tid=14766] ppid=14760 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/14763/task/14766/stat : 14766 (toysat) S 14760 14763 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114997954 1405685760 284937 33554432000 4194304 16246674 140734715593952 140142098508976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1372740

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1798.99
CPU system time (s): 1.02784
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 1372740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.02784
maximum resident set size= 1139748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284608
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= 240
involuntary context switches= 1959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9612 second user time and 7.2389 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 22:17:12
IDJOB=4079406
IDBENCH=92716
IDSOLVER=2542
FILE ID=node107/4079406-1465330632
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_9_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079406-1465330632/watcher-4079406-1465330632 -o /tmp/evaluation-result-4079406-1465330632/solver-4079406-1465330632 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079406-1465330632.opb

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

MD5SUM BENCH= dceb2101253472cec95359fbc82f66a4
RANDOM SEED=1284529243

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        30486968 kB
Buffers:           59152 kB
Cached:           220252 kB
SwapCached:         1640 kB
Active:          1182584 kB
Inactive:         191512 kB
Active(anon):    1092296 kB
Inactive(anon):     4228 kB
Active(file):      90288 kB
Inactive(file):   187284 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       1365684 kB
Mapped:            10800 kB
Shmem:                 0 kB
Slab:             603968 kB
SReclaimable:      47384 kB
SUnreclaim:       556584 kB
KernelStack:        1520 kB
PageTables:         6876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1513380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 71716 MiB
End job on node107 at 2016-06-07 22:47:13