Trace number 4093638

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.53

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6ff912dc2f2e680571fd49caa2fcd856
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark3.35249
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints162
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 8163
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 8162
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
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-16T17:48:03+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","--wbo","--search=bcd2","HOME/instance-4093638-1466092083.wbo"]
0.00/0.01	c use --random-gen="2731525479 56995281 2523947984 1069756332 3217038237 1946958955 696654734 589629853 3493074226 4105677536 1600888108 2620278455 3858313825 3983771665 537648091 442693378 3708987340 794668353 1002985182 1933582904 3991943918 3911658785 3873076803 2451074251 4170844400 3808193557 4113434407 1509247243 22503074 3391319762 1933909627 3543546194 1131092325 3927653473 2281451175 2333864603 2403079101 75701741 2454767320 1374264071 1458736386 4014310670 1263494159 3827801642 3912267754 3366256920 340873191 1004577371 1165760995 405712488 786948284 94962739 1385945277 386699564 3100964465 4201734674 949545637 516619366 657824710 2069753384 3589329432 4019028319 977900851 660623118 2987520414 2197239928 2618549246 1685305085 3049554368 3549043275 1054251076 1148004285 507083516 417390964 2042159116 1246347362 1837192420 666806239 717149901 1050330192 2888695158 3705892177 2597405503 3505643379 4265482451 241565338 1962041662 3431127066 3685539572 3774356970 1221783954 1955577142 2257079827 445482796 1586861636 523424836 3013187068 2360509159 2954952542 848950194 3275349860 2342947559 2970769366 242298824 1919250758 2453076940 736877435 3910804222 1797318691 3244000975 4080563927 3194424650 2687063300 2560576594 532715262 3335672865 2364777514 2072169860 2445271028 4163430466 3764719514 1705299251 459655518 623362626 3724560883 1616840852 1214613792 1449265464 3856494180 991211625 1251684049 2521469682 1688647265 3489142280 2146910417 1419435003 2115957127 1096028261 3594100630 1595136289 518974615 2657688539 1872575696 511798177 2283742927 3565859709 2956876370 2586295876 2972364036 1220661681 2208586067 3552347695 1174417496 4035664534 1948147086 2303955863 1595202193 2923960627 1849257953 2507682293 1455538714 479288876 1146200810 3358343526 930133528 186866459 215017001 1687436022 2093522281 1799328446 3548008721 3671572342 2117764684 1502546671 1909229837 2580686260 2668975713 3468082882 1371928360 696317782 2367056171 656473030 4200677739 776087197 14296137 3129676979 3022946410 3870966912 975482613 2644544437 1726958775 3196043927 1917266224 1503840131 2874290305 2537226946 2215502408 628952642 399864598 3303158648 468809394 1483573233 1513835783 737414646 3512969385 1644499615 2451388610 1154358306 4234717637 3206965021 3460946578 3332041881 898829799 3367132241 3272626613 3939679087 3406581669 2324931718 3878131851 3325409143 3284293615 1262570408 2081727218 3752037567 2588539331 4260171702 59291348 523528507 1012347455 1274941639 658578714 2135751892 1075510796 3350718591 435026966 327009905 970260548 3542036191 1232703531 38117339 769183786 1744606949 2624550910 1502250719 2720253088 2251740318 2052746964 464347080 3889288505 2636603206 3555899560 3535383818 3813923519 2553952376 2798992122 2331463745 255 362436" option to reproduce the execution
0.09/0.17	c #vars 3280
0.09/0.17	c #constraints 162
0.09/0.19	c BCD2: Hardening is enabled.
0.09/0.19	c BCD2: BiasedSearch is enabled.
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1201      0 |        0 |        0
0.09/0.19	c  0.0s |       0 |      242 |        0 |     1201      0 |        0 |        0
0.09/0.19	c #cpu_time = 0.005s
0.09/0.19	c #wall_clock_time = 0.005s
0.09/0.19	c #decision = 242
0.09/0.19	c #random_decision = 0
0.09/0.19	c #conflict = 0
0.09/0.19	c #restart = 0
0.09/0.19	o 3709
0.09/0.19	c BCD2: updating upper bound: 8162 -> 3708
0.09/0.19	c BCD2: 0 <= obj <= 3708
0.09/0.19	c BCD2: #cores=0, #unrelaxed=162, #relaxed=0, #hardened=0
0.09/0.19	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.19	c Solving starts ...
0.09/0.19	c ============================[ Search Statistics ]============================
0.09/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.19	c =============================================================================
0.09/0.19	c  0.0s |       0 |        0 |        0 |     1201      0 |        0 |        0
0.19/0.24	c  0.0s |       1 |      315 |      100 |     1201      0 |        0 |        0
0.29/0.32	c  0.1s |       2 |     1172 |      250 |     1322      0 |        0 |        0
0.49/0.52	c  0.3s |       3 |     2832 |      475 |     1455      0 |        0 |        0
0.89/0.94	c  0.7s |       4 |     4756 |      813 |     1601      0 |        0 |        0
1.29/1.38	c  1.2s |       5 |     6748 |     1320 |     1762      0 |        0 |        0
2.39/2.42	c  2.2s |       6 |     8866 |     2081 |     2133      0 |        0 |        0
3.79/3.89	c  3.7s |       7 |    11280 |     3223 |     2347      0 |        0 |        0
5.99/6.03	c  5.8s |       7 |    14396 |     4623 |     2347      1 |        0 |        0
6.60/6.67	c  6.5s |       8 |    14757 |     4936 |     2582      1 |        0 |        0
8.69/8.77	c  8.6s |       8 |    17850 |     6736 |     2582      2 |        0 |        0
9.89/10.00	c  9.8s |       9 |    19257 |     7506 |     2841      2 |        0 |        0
11.99/12.08	c 11.9s |       9 |    23788 |     9506 |     2841      3 |        0 |        0
14.09/14.16	c 14.0s |       9 |    25575 |    11106 |     2841      4 |        0 |        0
14.39/14.48	c 14.3s |      10 |    25865 |    11361 |     3126      4 |        0 |        0
16.59/16.61	c 16.4s |      10 |    28877 |    12761 |     3126      5 |        0 |        0
18.69/18.71	c 18.5s |      10 |    30734 |    13861 |     3126      5 |        0 |        0
20.89/20.91	c 20.7s |      10 |    31913 |    14761 |     3126      6 |        0 |        0
23.09/23.14	c 22.9s |      10 |    32858 |    15561 |     3126      6 |        0 |        0
25.18/25.29	c 25.1s |      10 |    33818 |    16361 |     3126      6 |        0 |        0
27.38/27.44	c 27.2s |      10 |    34625 |    17061 |     3439      7 |        0 |        0
27.68/27.74	c 27.5s |      11 |    34737 |    17144 |     3439      7 |        0 |        0
29.69/29.76	c 29.6s |      11 |    37944 |    18844 |     3439      7 |        0 |        0
31.89/31.92	c 31.7s |      11 |    39337 |    20044 |     3439      8 |        0 |        0
33.98/34.04	c 33.8s |      11 |    40711 |    21244 |     3439      8 |        0 |        0
36.08/36.10	c 35.9s |      11 |    41959 |    22344 |     3439      9 |        0 |        0
38.18/38.21	c 38.0s |      11 |    43266 |    23544 |     3439      9 |        0 |        0
40.38/40.41	c 40.2s |      11 |    44602 |    24744 |     3439      9 |        0 |        0
42.28/42.38	c 42.2s |      12 |    45801 |    25819 |     3783     10 |        0 |        0
44.38/44.43	c 44.2s |      12 |    49096 |    27219 |     3783     10 |        0 |        0
46.48/46.51	c 46.3s |      12 |    50289 |    28219 |     3783     10 |        0 |        0
48.58/48.62	c 48.4s |      12 |    54030 |    29419 |     3783     11 |        0 |        0
50.68/50.76	c 50.6s |      12 |    56175 |    31019 |     3783     11 |        0 |        0
52.68/52.78	c 52.6s |      12 |    58163 |    32219 |     3783     12 |        0 |        0
54.78/54.81	c 54.6s |      12 |    59868 |    33119 |     3783     12 |        0 |        0
56.87/56.93	c 56.7s |      12 |    60787 |    33819 |     3783     13 |        0 |        0
59.07/59.10	c 58.9s |      12 |    61717 |    34619 |     3783     13 |        0 |        0
61.27/61.35	c 61.2s |      12 |    62743 |    35419 |     3783     13 |        0 |        0
63.38/63.41	c 63.2s |      12 |    63537 |    36019 |     3783     13 |        0 |        0
65.47/65.50	c 65.3s |      12 |    64355 |    36519 |     3783     13 |        0 |        0
67.47/67.53	c 67.3s |      12 |    65229 |    37119 |     3783     14 |        0 |        0
69.57/69.67	c 69.5s |      12 |    66461 |    37819 |     3783     14 |        0 |        0
71.87/71.91	c 71.7s |      12 |    67460 |    38719 |     4162     14 |        0 |        0
72.17/72.20	c 72.0s |      13 |    67582 |    38832 |     4162     14 |        0 |        0
74.17/74.29	c 74.1s |      13 |    70372 |    40532 |     4162     15 |        0 |        0
76.27/76.37	c 76.2s |      13 |    73831 |    42532 |     4162     16 |        0 |        0
78.27/78.37	c 78.2s |      13 |    75840 |    44332 |     4162     16 |        0 |        0
80.47/80.53	c 80.3s |      13 |    77414 |    45732 |     4162     17 |        0 |        0
82.57/82.63	c 82.4s |      13 |    79181 |    47332 |     4162     17 |        0 |        0
84.67/84.73	c 84.5s |      13 |    80649 |    48632 |     4162     17 |        0 |        0
86.76/86.86	c 86.7s |      13 |    81980 |    49832 |     4162     18 |        0 |        0
88.86/88.95	c 88.8s |      13 |    83448 |    51132 |     4162     18 |        0 |        0
90.96/91.03	c 90.8s |      13 |    85026 |    52532 |     4162     18 |        0 |        0
93.06/93.15	c 93.0s |      13 |    86569 |    53932 |     4162     19 |        0 |        0
95.26/95.35	c 95.2s |      13 |    88024 |    55232 |     4162     19 |        0 |        0
97.26/97.35	c 97.2s |      13 |    89123 |    56232 |     4162     20 |        0 |        0
99.37/99.42	c 99.2s |      13 |    90441 |    57432 |     4162     20 |        0 |        0
100.87/100.95	c  100s |      14 |    91458 |    58352 |     4579     20 |        0 |        0
102.97/103.07	c  102s |      14 |    94907 |    60152 |     4579     21 |        0 |        0
105.17/105.21	c  105s |      14 |    96476 |    61552 |     4579     21 |        0 |        0
107.36/107.41	c  107s |      14 |    97781 |    62752 |     4579     22 |        0 |        0
109.46/109.52	c  109s |      14 |    99435 |    64152 |     4579     22 |        0 |        0
111.56/111.64	c  111s |      14 |   100721 |    65252 |     4579     22 |        0 |        0
113.76/113.89	c  113s |      14 |   101871 |    66252 |     4579     22 |        0 |        0
115.86/115.98	c  115s |      14 |   102984 |    67252 |     4579     23 |        0 |        0
118.06/118.15	c  117s |      14 |   104216 |    68352 |     4579     23 |        0 |        0
120.16/120.26	c  120s |      14 |   105196 |    69252 |     4579     23 |        0 |        0
122.26/122.31	c  122s |      14 |   106082 |    70052 |     4579     24 |        0 |        0
124.26/124.40	c  124s |      14 |   107047 |    70952 |     4579     24 |        0 |        0
126.36/126.44	c  126s |      14 |   108283 |    72052 |     4579     24 |        0 |        0
128.46/128.56	c  128s |      14 |   109372 |    73052 |     4579     24 |        0 |        0
130.56/130.60	c  130s |      14 |   110496 |    74052 |     4579     25 |        0 |        0
132.55/132.69	c  132s |      14 |   111688 |    75152 |     4579     25 |        0 |        0
134.65/134.77	c  134s |      14 |   112825 |    76152 |     4579     25 |        0 |        0
136.65/136.78	c  136s |      14 |   113802 |    77052 |     4579     25 |        0 |        0
138.85/138.92	c  138s |      14 |   114830 |    77952 |     4579     26 |        0 |        0
140.86/140.94	c  140s |      14 |   116007 |    79052 |     4579     26 |        0 |        0
142.85/142.97	c  142s |      14 |   117192 |    80052 |     4579     26 |        0 |        0
144.95/145.08	c  144s |      14 |   118075 |    80852 |     4579     27 |        0 |        0
147.25/147.31	c  147s |      14 |   119263 |    81952 |     4579     27 |        0 |        0
149.25/149.39	c  149s |      14 |   120702 |    82952 |     4579     27 |        0 |        0
151.35/151.47	c  151s |      14 |   121667 |    83752 |     4579     27 |        0 |        0
153.45/153.59	c  153s |      14 |   122823 |    84752 |     4579     28 |        0 |        0
155.55/155.63	c  155s |      14 |   123791 |    85552 |     4579     28 |        0 |        0
157.65/157.73	c  157s |      14 |   124713 |    86352 |     4579     28 |        0 |        0
159.65/159.74	c  159s |      14 |   125643 |    87152 |     5037     28 |        0 |        0
160.65/160.74	c  160s |      15 |   126185 |    87632 |     5037     28 |        0 |        0
162.75/162.81	c  162s |      15 |   129754 |    89432 |     5037     29 |        0 |        0
164.85/164.91	c  164s |      15 |   131727 |    91132 |     5037     29 |        0 |        0
166.85/166.93	c  166s |      15 |   133356 |    92532 |     5037     30 |        0 |        0
168.85/168.95	c  168s |      15 |   134986 |    93932 |     5037     30 |        0 |        0
170.95/171.05	c  170s |      15 |   136479 |    95232 |     5037     30 |        0 |        0
173.15/173.22	c  173s |      15 |   137886 |    96432 |     5037     30 |        0 |        0
175.15/175.23	c  175s |      15 |   139121 |    97532 |     5037     31 |        0 |        0
177.16/177.26	c  177s |      15 |   140461 |    98732 |     5037     31 |        0 |        0
179.36/179.41	c  179s |      15 |   141855 |    99932 |     5037     31 |        0 |        0
181.46/181.53	c  181s |      15 |   142986 |   100932 |     5037     32 |        0 |        0
183.66/183.72	c  183s |      15 |   144426 |   102232 |     5037     32 |        0 |        0
185.65/185.77	c  185s |      15 |   145784 |   103432 |     5037     32 |        0 |        0
187.85/187.96	c  187s |      15 |   147116 |   104632 |     5037     32 |        0 |        0
189.95/190.05	c  189s |      15 |   148475 |   105832 |     5037     33 |        0 |        0
192.05/192.14	c  191s |      15 |   149847 |   107032 |     5037     33 |        0 |        0
194.05/194.15	c  193s |      15 |   151072 |   108132 |     5037     33 |        0 |        0
196.15/196.21	c  196s |      15 |   152366 |   109232 |     5037     34 |        0 |        0
198.25/198.38	c  198s |      15 |   153798 |   110532 |     5037     34 |        0 |        0
200.35/200.40	c  200s |      15 |   155022 |   111632 |     5037     34 |        0 |        0
202.45/202.56	c  202s |      15 |   156267 |   112732 |     5037     34 |        0 |        0
204.65/204.71	c  204s |      15 |   157476 |   113832 |     5037     35 |        0 |        0
206.75/206.88	c  206s |      15 |   158816 |   115032 |     5037     35 |        0 |        0
208.95/209.09	c  208s |      15 |   160143 |   116232 |     5037     35 |        0 |        0
211.05/211.13	c  210s |      15 |   161115 |   117132 |     5037     36 |        0 |        0
213.25/213.31	c  213s |      15 |   162538 |   118432 |     5037     36 |        0 |        0
215.45/215.50	c  215s |      15 |   163988 |   119732 |     5037     36 |        0 |        0
217.45/217.57	c  217s |      15 |   165070 |   120732 |     5037     36 |        0 |        0
219.44/219.58	c  219s |      15 |   166160 |   121732 |     5037     37 |        0 |        0
221.54/221.65	c  221s |      15 |   167472 |   122932 |     5037     37 |        0 |        0
223.64/223.76	c  223s |      15 |   168697 |   124032 |     5037     37 |        0 |        0
225.94/226.05	c  225s |      15 |   170072 |   125232 |     5037     38 |        0 |        0
228.04/228.13	c  227s |      15 |   171431 |   126432 |     5037     38 |        0 |        0
230.14/230.29	c  230s |      15 |   172904 |   127732 |     5037     38 |        0 |        0
232.24/232.34	c  232s |      15 |   174118 |   128832 |     5037     38 |        0 |        0
234.35/234.46	c  234s |      15 |   175275 |   129832 |     5037     39 |        0 |        0
236.45/236.52	c  236s |      15 |   176593 |   131032 |     5541     39 |        0 |        0
237.44/237.51	c  237s |      16 |   177177 |   131552 |     5541     39 |        0 |        0
239.54/239.60	c  239s |      16 |   180163 |   133052 |     5541     40 |        0 |        0
241.64/241.71	c  241s |      16 |   181986 |   134652 |     5541     40 |        0 |        0
243.74/243.83	c  243s |      16 |   183471 |   136052 |     5541     40 |        0 |        0
245.74/245.84	c  245s |      16 |   184679 |   137152 |     5541     41 |        0 |        0
247.84/247.94	c  247s |      16 |   186021 |   138352 |     5541     41 |        0 |        0
249.94/250.06	c  249s |      16 |   187258 |   139452 |     5541     41 |        0 |        0
252.04/252.12	c  251s |      16 |   188225 |   140352 |     5541     41 |        0 |        0
254.14/254.27	c  254s |      16 |   189341 |   141352 |     5541     42 |        0 |        0
256.24/256.33	c  256s |      16 |   190562 |   142452 |     5541     42 |        0 |        0
258.33/258.41	c  258s |      16 |   191650 |   143452 |     5541     42 |        0 |        0
260.43/260.58	c  260s |      16 |   192901 |   144552 |     5541     42 |        0 |        0
262.53/262.60	c  262s |      16 |   194029 |   145552 |     5541     43 |        0 |        0
264.63/264.77	c  264s |      16 |   195289 |   146652 |     5541     43 |        0 |        0
266.93/267.01	c  266s |      16 |   196395 |   147652 |     5541     43 |        0 |        0
269.03/269.12	c  268s |      16 |   197378 |   148552 |     5541     43 |        0 |        0
271.23/271.31	c  271s |      16 |   198342 |   149452 |     5541     44 |        0 |        0
273.23/273.34	c  273s |      16 |   199440 |   150452 |     5541     44 |        0 |        0
275.43/275.51	c  275s |      16 |   200533 |   151452 |     5541     44 |        0 |        0
277.53/277.68	c  277s |      16 |   201616 |   152452 |     5541     44 |        0 |        0
279.73/279.83	c  279s |      16 |   202618 |   153352 |     5541     45 |        0 |        0
281.83/281.92	c  281s |      16 |   203804 |   154452 |     5541     45 |        0 |        0
283.84/283.92	c  283s |      16 |   204796 |   155352 |     5541     45 |        0 |        0
285.83/285.97	c  285s |      16 |   205873 |   156352 |     5541     45 |        0 |        0
287.93/288.01	c  287s |      16 |   206647 |   157052 |     5541     46 |        0 |        0
290.03/290.12	c  289s |      16 |   207874 |   158152 |     5541     46 |        0 |        0
292.13/292.24	c  292s |      16 |   208980 |   159152 |     5541     46 |        0 |        0
294.23/294.34	c  294s |      16 |   210079 |   160152 |     5541     46 |        0 |        0
296.53/296.70	c  296s |      16 |   211176 |   161152 |     5541     47 |        0 |        0
298.73/298.87	c  298s |      16 |   212485 |   162352 |     5541     47 |        0 |        0
300.83/300.97	c  300s |      16 |   213717 |   163452 |     5541     47 |        0 |        0
302.93/303.04	c  302s |      16 |   214690 |   164352 |     5541     47 |        0 |        0
305.03/305.10	c  304s |      16 |   215561 |   165152 |     5541     48 |        0 |        0
307.03/307.19	c  306s |      16 |   216756 |   166252 |     5541     48 |        0 |        0
309.23/309.37	c  309s |      16 |   217870 |   167252 |     5541     48 |        0 |        0
311.53/311.60	c  311s |      16 |   218944 |   168252 |     5541     48 |        0 |        0
313.73/313.80	c  313s |      16 |   220039 |   169252 |     5541     49 |        0 |        0
315.83/315.92	c  315s |      16 |   221247 |   170352 |     5541     49 |        0 |        0
317.93/318.07	c  317s |      16 |   222433 |   171452 |     5541     49 |        0 |        0
320.03/320.15	c  319s |      16 |   223507 |   172452 |     5541     49 |        0 |        0
322.23/322.32	c  322s |      16 |   224545 |   173352 |     5541     50 |        0 |        0
324.32/324.42	c  324s |      16 |   225773 |   174452 |     5541     50 |        0 |        0
326.32/326.46	c  326s |      16 |   226997 |   175552 |     5541     50 |        0 |        0
328.52/328.63	c  328s |      16 |   228082 |   176552 |     5541     50 |        0 |        0
330.72/330.80	c  330s |      16 |   229080 |   177452 |     5541     51 |        0 |        0
332.72/332.86	c  332s |      16 |   230181 |   178452 |     5541     51 |        0 |        0
334.92/335.06	c  334s |      16 |   231351 |   179452 |     5541     51 |        0 |        0
337.12/337.28	c  337s |      16 |   232480 |   180452 |     5541     51 |        0 |        0
339.52/339.67	c  339s |      16 |   233461 |   181352 |     5541     52 |        0 |        0
341.72/341.84	c  341s |      16 |   234466 |   182252 |     5541     52 |        0 |        0
343.82/343.98	c  343s |      16 |   235580 |   183252 |     5541     52 |        0 |        0
345.92/346.09	c  345s |      16 |   236560 |   184152 |     5541     52 |        0 |        0
348.12/348.24	c  348s |      16 |   237546 |   185052 |     5541     52 |        0 |        0
350.22/350.34	c  350s |      16 |   238549 |   185952 |     5541     53 |        0 |        0
352.32/352.50	c  352s |      16 |   239552 |   186852 |     5541     53 |        0 |        0
354.52/354.62	c  354s |      16 |   240563 |   187752 |     5541     53 |        0 |        0
356.72/356.81	c  356s |      16 |   241533 |   188652 |     5541     53 |        0 |        0
358.92/359.06	c  358s |      16 |   242440 |   189452 |     5541     54 |        0 |        0
361.12/361.27	c  361s |      16 |   243440 |   190352 |     5541     54 |        0 |        0
363.22/363.38	c  363s |      16 |   244303 |   191152 |     5541     54 |        0 |        0
365.42/365.57	c  365s |      16 |   245172 |   191952 |     5541     54 |        0 |        0
367.52/367.67	c  367s |      16 |   245909 |   192652 |     5541     54 |        0 |        0
369.62/369.78	c  369s |      16 |   246669 |   193352 |     5541     54 |        0 |        0
371.82/371.92	c  371s |      16 |   247549 |   194152 |     5541     55 |        0 |        0
373.81/373.97	c  373s |      16 |   248512 |   195052 |     5541     55 |        0 |        0
376.01/376.11	c  375s |      16 |   249371 |   195852 |     5541     55 |        0 |        0
378.01/378.17	c  377s |      16 |   250113 |   196552 |     6096     55 |        0 |        0
380.21/380.30	c  380s |      16 |   250988 |   197352 |     6096     55 |        0 |        0
380.41/380.51	c  380s |      17 |   251070 |   197432 |     6096     55 |        0 |        0
382.51/382.68	c  382s |      17 |   253388 |   198432 |     6096     56 |        0 |        0
384.51/384.69	c  384s |      17 |   254879 |   199632 |     6096     56 |        0 |        0
386.71/386.84	c  386s |      17 |   256188 |   200732 |     6096     56 |        0 |        0
388.71/388.88	c  388s |      17 |   257587 |   201932 |     6096     56 |        0 |        0
390.81/390.92	c  390s |      17 |   258745 |   202932 |     6096     57 |        0 |        0
392.81/392.94	c  392s |      17 |   259894 |   203932 |     6096     57 |        0 |        0
394.92/395.09	c  394s |      17 |   260935 |   204832 |     6096     57 |        0 |        0
397.02/397.14	c  396s |      17 |   262241 |   205932 |     6096     57 |        0 |        0
399.11/399.26	c  399s |      17 |   263420 |   206932 |     6096     58 |        0 |        0
401.31/401.43	c  401s |      17 |   264626 |   208032 |     6096     58 |        0 |        0
403.41/403.51	c  403s |      17 |   265718 |   209032 |     6096     58 |        0 |        0
405.61/405.71	c  405s |      17 |   266834 |   210032 |     6096     58 |        0 |        0
407.61/407.76	c  407s |      17 |   267713 |   210832 |     6096     59 |        0 |        0
409.81/409.92	c  409s |      17 |   268787 |   211832 |     6096     59 |        0 |        0
412.02/412.10	c  411s |      17 |   269769 |   212732 |     6096     59 |        0 |        0
414.22/414.35	c  414s |      17 |   270760 |   213632 |     6096     59 |        0 |        0
416.32/416.48	c  416s |      17 |   271723 |   214432 |     6096     59 |        0 |        0
418.42/418.58	c  418s |      17 |   272524 |   215132 |     6096     60 |        0 |        0
420.52/420.68	c  420s |      17 |   273437 |   215932 |     6096     60 |        0 |        0
422.71/422.90	c  422s |      17 |   274448 |   216832 |     6096     60 |        0 |        0
424.91/425.02	c  424s |      17 |   275461 |   217732 |     6096     60 |        0 |        0
427.01/427.18	c  426s |      17 |   276510 |   218632 |     6096     60 |        0 |        0
429.31/429.46	c  429s |      17 |   277441 |   219432 |     6096     61 |        0 |        0
431.61/431.71	c  431s |      17 |   278325 |   220232 |     6096     61 |        0 |        0
433.71/433.88	c  433s |      17 |   279332 |   221132 |     6096     61 |        0 |        0
436.01/436.12	c  435s |      17 |   280322 |   222032 |     6096     61 |        0 |        0
438.21/438.32	c  438s |      17 |   281331 |   222832 |     6096     61 |        0 |        0
440.61/440.76	c  440s |      17 |   282238 |   223632 |     6096     62 |        0 |        0
442.81/442.93	c  442s |      17 |   283171 |   224432 |     6096     62 |        0 |        0
445.01/445.16	c  444s |      17 |   284175 |   225332 |     6096     62 |        0 |        0
447.31/447.44	c  447s |      17 |   285190 |   226232 |     6096     62 |        0 |        0
449.31/449.45	c  449s |      17 |   285956 |   226932 |     6096     62 |        0 |        0
451.51/451.63	c  451s |      17 |   286841 |   227732 |     6096     62 |        0 |        0
453.61/453.78	c  453s |      17 |   287667 |   228432 |     6096     63 |        0 |        0
455.91/456.05	c  455s |      17 |   288706 |   229332 |     6096     63 |        0 |        0
458.01/458.12	c  457s |      17 |   289624 |   230132 |     6096     63 |        0 |        0
460.21/460.35	c  460s |      17 |   290491 |   230932 |     6096     63 |        0 |        0
462.31/462.43	c  462s |      17 |   291280 |   231632 |     6096     63 |        0 |        0
464.51/464.65	c  464s |      17 |   292036 |   232332 |     6096     64 |        0 |        0
466.81/466.90	c  466s |      17 |   292933 |   233132 |     6096     64 |        0 |        0
468.81/468.96	c  468s |      17 |   293812 |   233932 |     6096     64 |        0 |        0
471.11/471.24	c  471s |      17 |   294795 |   234832 |     6096     64 |        0 |        0
473.11/473.28	c  473s |      17 |   295549 |   235532 |     6096     64 |        0 |        0
475.11/475.30	c  475s |      17 |   296524 |   236432 |     6096     64 |        0 |        0
477.41/477.51	c  477s |      17 |   297427 |   237232 |     6096     65 |        0 |        0
479.41/479.55	c  479s |      17 |   298294 |   238032 |     6096     65 |        0 |        0
481.60/481.80	c  481s |      17 |   299279 |   238932 |     6096     65 |        0 |        0
483.70/483.82	c  483s |      17 |   300046 |   239632 |     6096     65 |        0 |        0
485.70/485.84	c  485s |      17 |   300803 |   240332 |     6096     65 |        0 |        0
487.70/487.89	c  487s |      17 |   301468 |   240932 |     6096     66 |        0 |        0
489.80/489.96	c  489s |      17 |   302245 |   241632 |     6096     66 |        0 |        0
491.90/492.03	c  491s |      17 |   303188 |   242432 |     6096     66 |        0 |        0
494.00/494.18	c  493s |      17 |   304064 |   243232 |     6096     66 |        0 |        0
496.01/496.20	c  496s |      17 |   304953 |   244032 |     6096     66 |        0 |        0
498.21/498.36	c  498s |      17 |   305711 |   244732 |     6096     66 |        0 |        0
500.40/500.59	c  500s |      17 |   306380 |   245332 |     6096     67 |        0 |        0
502.50/502.63	c  502s |      17 |   307149 |   246032 |     6096     67 |        0 |        0
504.70/504.86	c  504s |      17 |   307915 |   246732 |     6096     67 |        0 |        0
506.80/506.90	c  506s |      17 |   308687 |   247432 |     6096     67 |        0 |        0
508.80/508.93	c  508s |      17 |   309384 |   248032 |     6096     67 |        0 |        0
511.10/511.24	c  511s |      17 |   310156 |   248732 |     6096     67 |        0 |        0
513.30/513.46	c  513s |      17 |   311191 |   249632 |     6096     68 |        0 |        0
515.40/515.51	c  515s |      17 |   312633 |   250932 |     6096     68 |        0 |        0
517.50/517.69	c  517s |      17 |   313913 |   252032 |     6096     68 |        0 |        0
519.70/519.85	c  519s |      17 |   315173 |   253132 |     6096     68 |        0 |        0
521.89/522.00	c  521s |      17 |   316161 |   254032 |     6096     69 |        0 |        0
523.89/524.09	c  523s |      17 |   317294 |   255032 |     6096     69 |        0 |        0
525.99/526.14	c  525s |      17 |   318466 |   256032 |     6096     69 |        0 |        0
528.09/528.26	c  528s |      17 |   319465 |   256932 |     6096     69 |        0 |        0
530.29/530.48	c  530s |      17 |   320459 |   257832 |     6096     69 |        0 |        0
532.49/532.66	c  532s |      17 |   321328 |   258632 |     6096     70 |        0 |        0
534.69/534.87	c  534s |      17 |   322414 |   259632 |     6096     70 |        0 |        0
536.80/536.95	c  536s |      17 |   323412 |   260532 |     6096     70 |        0 |        0
538.90/539.07	c  538s |      17 |   324387 |   261432 |     6096     70 |        0 |        0
540.99/541.14	c  540s |      17 |   325246 |   262232 |     6096     70 |        0 |        0
543.09/543.26	c  543s |      17 |   326285 |   263132 |     6096     71 |        0 |        0
545.29/545.45	c  545s |      17 |   327494 |   264232 |     6096     71 |        0 |        0
547.39/547.51	c  547s |      17 |   328512 |   265132 |     6096     71 |        0 |        0
549.49/549.67	c  549s |      17 |   329535 |   266032 |     6096     71 |        0 |        0
551.69/551.89	c  551s |      17 |   330509 |   266932 |     6096     72 |        0 |        0
553.89/554.01	c  553s |      17 |   331493 |   267832 |     6096     72 |        0 |        0
555.99/556.15	c  555s |      17 |   332604 |   268832 |     6096     72 |        0 |        0
558.09/558.21	c  558s |      17 |   333470 |   269632 |     6096     72 |        0 |        0
560.19/560.39	c  560s |      17 |   334435 |   270532 |     6096     72 |        0 |        0
562.39/562.57	c  562s |      17 |   335300 |   271332 |     6096     73 |        0 |        0
564.49/564.68	c  564s |      17 |   336282 |   272232 |     6096     73 |        0 |        0
566.68/566.86	c  566s |      17 |   337258 |   273132 |     6096     73 |        0 |        0
568.98/569.14	c  568s |      17 |   338245 |   274032 |     6096     73 |        0 |        0
571.19/571.37	c  571s |      17 |   339222 |   274932 |     6096     73 |        0 |        0
573.39/573.52	c  573s |      17 |   339985 |   275632 |     6096     74 |        0 |        0
575.49/575.67	c  575s |      17 |   340837 |   276432 |     6096     74 |        0 |        0
577.59/577.76	c  577s |      17 |   341861 |   277332 |     6096     74 |        0 |        0
579.60/579.79	c  579s |      17 |   342953 |   278332 |     6096     74 |        0 |        0
581.69/581.85	c  581s |      17 |   343940 |   279232 |     6096     74 |        0 |        0
583.79/583.96	c  583s |      17 |   344812 |   280032 |     6096     75 |        0 |        0
585.89/586.00	c  585s |      17 |   345666 |   280832 |     6096     75 |        0 |        0
587.99/588.19	c  587s |      17 |   346759 |   281832 |     6096     75 |        0 |        0
590.09/590.29	c  590s |      17 |   347722 |   282732 |     6096     75 |        0 |        0
592.39/592.52	c  592s |      17 |   348688 |   283632 |     6096     75 |        0 |        0
594.49/594.61	c  594s |      17 |   349562 |   284432 |     6096     76 |        0 |        0
596.59/596.75	c  596s |      17 |   350522 |   285332 |     6096     76 |        0 |        0
598.69/598.81	c  598s |      17 |   351818 |   286432 |     6096     76 |        0 |        0
600.69/600.85	c  600s |      17 |   353005 |   287432 |     6096     76 |        0 |        0
602.89/603.06	c  602s |      17 |   354116 |   288432 |     6096     76 |        0 |        0
604.89/605.10	c  604s |      17 |   355139 |   289332 |     6096     77 |        0 |        0
607.09/607.22	c  607s |      17 |   356312 |   290432 |     6096     77 |        0 |        0
609.09/609.28	c  609s |      17 |   357289 |   291332 |     6096     77 |        0 |        0
611.29/611.43	c  611s |      17 |   358317 |   292232 |     6096     77 |        0 |        0
613.29/613.43	c  613s |      17 |   359186 |   293032 |     6096     78 |        0 |        0
615.39/615.58	c  615s |      17 |   360282 |   294032 |     6096     78 |        0 |        0
617.59/617.76	c  617s |      17 |   361510 |   295132 |     6706     78 |        0 |        0
619.78/619.92	c  619s |      17 |   362599 |   296132 |     6706     78 |        0 |        0
620.08/620.22	c  620s |      18 |   362719 |   296252 |     6706     78 |        0 |        0
622.18/622.34	c  622s |      18 |   365913 |   298052 |     6706     79 |        0 |        0
624.18/624.38	c  624s |      18 |   367647 |   299652 |     6706     79 |        0 |        0
626.38/626.51	c  626s |      18 |   369208 |   301052 |     6706     80 |        0 |        0
628.38/628.57	c  628s |      18 |   370572 |   302252 |     6706     80 |        0 |        0
630.48/630.60	c  630s |      18 |   371891 |   303452 |     6706     80 |        0 |        0
632.49/632.60	c  632s |      18 |   372964 |   304452 |     6706     80 |        0 |        0
634.59/634.72	c  634s |      18 |   374047 |   305452 |     6706     81 |        0 |        0
636.68/636.89	c  636s |      18 |   375394 |   306652 |     6706     81 |        0 |        0
638.78/638.95	c  638s |      18 |   376734 |   307852 |     6706     81 |        0 |        0
640.98/641.15	c  640s |      18 |   377940 |   308952 |     6706     81 |        0 |        0
643.08/643.24	c  643s |      18 |   378899 |   309852 |     6706     82 |        0 |        0
645.08/645.28	c  645s |      18 |   380423 |   311152 |     6706     82 |        0 |        0
647.28/647.41	c  647s |      18 |   381804 |   312352 |     6706     82 |        0 |        0
649.28/649.45	c  649s |      18 |   382796 |   313252 |     6706     82 |        0 |        0
651.48/651.67	c  651s |      18 |   383798 |   314152 |     6706     83 |        0 |        0
653.58/653.80	c  653s |      18 |   384908 |   315152 |     6706     83 |        0 |        0
655.68/655.84	c  655s |      18 |   386344 |   316452 |     6706     83 |        0 |        0
657.78/657.93	c  657s |      18 |   387537 |   317552 |     6706     83 |        0 |        0
659.77/659.99	c  659s |      18 |   388524 |   318452 |     6706     84 |        0 |        0
661.97/662.19	c  661s |      18 |   389841 |   319652 |     6706     84 |        0 |        0
664.07/664.23	c  664s |      18 |   391046 |   320752 |     6706     84 |        0 |        0
666.27/666.40	c  666s |      18 |   392248 |   321852 |     6706     84 |        0 |        0
668.27/668.46	c  668s |      18 |   393232 |   322752 |     6706     85 |        0 |        0
670.27/670.49	c  670s |      18 |   394361 |   323752 |     6706     85 |        0 |        0
672.47/672.64	c  672s |      18 |   395659 |   324952 |     6706     85 |        0 |        0
674.57/674.71	c  674s |      18 |   396854 |   326052 |     6706     85 |        0 |        0
676.87/677.06	c  676s |      18 |   397955 |   327052 |     6706     86 |        0 |        0
679.07/679.26	c  679s |      18 |   399272 |   328252 |     6706     86 |        0 |        0
681.07/681.29	c  681s |      18 |   400397 |   329252 |     6706     86 |        0 |        0
683.17/683.34	c  683s |      18 |   401636 |   330352 |     6706     86 |        0 |        0
685.18/685.35	c  685s |      18 |   402770 |   331352 |     6706     87 |        0 |        0
687.27/687.44	c  687s |      18 |   404267 |   332652 |     6706     87 |        0 |        0
689.47/689.61	c  689s |      18 |   405843 |   334052 |     6706     87 |        0 |        0
691.57/691.77	c  691s |      18 |   407055 |   335152 |     6706     87 |        0 |        0
693.67/693.81	c  693s |      18 |   408035 |   336052 |     6706     88 |        0 |        0
695.77/695.95	c  695s |      18 |   409226 |   337152 |     6706     88 |        0 |        0
697.77/697.96	c  697s |      18 |   410205 |   338052 |     6706     88 |        0 |        0
699.87/700.07	c  699s |      18 |   411558 |   339252 |     6706     88 |        0 |        0
701.97/702.18	c  701s |      18 |   412687 |   340252 |     6706     89 |        0 |        0
704.07/704.27	c  704s |      18 |   413991 |   341452 |     6706     89 |        0 |        0
706.27/706.41	c  706s |      18 |   415172 |   342552 |     6706     89 |        0 |        0
708.37/708.60	c  708s |      18 |   416402 |   343652 |     6706     89 |        0 |        0
710.57/710.72	c  710s |      18 |   417584 |   344752 |     6706     90 |        0 |        0
712.57/712.79	c  712s |      18 |   419044 |   346052 |     6706     90 |        0 |        0
714.67/714.85	c  714s |      18 |   420120 |   347052 |     6706     90 |        0 |        0
716.77/716.99	c  716s |      18 |   421352 |   348152 |     6706     90 |        0 |        0
718.96/719.11	c  718s |      18 |   422423 |   349152 |     6706     91 |        0 |        0
720.96/721.13	c  720s |      18 |   423519 |   350152 |     6706     91 |        0 |        0
722.96/723.15	c  722s |      18 |   424606 |   351152 |     6706     91 |        0 |        0
725.06/725.27	c  725s |      18 |   425863 |   352252 |     6706     91 |        0 |        0
727.26/727.45	c  727s |      18 |   427178 |   353452 |     6706     92 |        0 |        0
729.46/729.66	c  729s |      18 |   428589 |   354752 |     6706     92 |        0 |        0
731.47/731.67	c  731s |      18 |   429775 |   355852 |     6706     92 |        0 |        0
733.67/733.84	c  733s |      18 |   430949 |   356952 |     6706     92 |        0 |        0
735.77/735.96	c  735s |      18 |   431925 |   357852 |     6706     93 |        0 |        0
737.97/738.12	c  737s |      18 |   433094 |   358952 |     6706     93 |        0 |        0
740.06/740.21	c  740s |      18 |   434330 |   360052 |     6706     93 |        0 |        0
742.16/742.32	c  742s |      18 |   435386 |   361052 |     6706     93 |        0 |        0
744.17/744.38	c  744s |      18 |   436357 |   361952 |     6706     94 |        0 |        0
746.27/746.49	c  746s |      18 |   437776 |   363252 |     6706     94 |        0 |        0
748.46/748.63	c  748s |      18 |   438886 |   364252 |     6706     94 |        0 |        0
750.56/750.70	c  750s |      18 |   440343 |   365552 |     6706     94 |        0 |        0
752.66/752.86	c  752s |      18 |   441583 |   366652 |     6706     95 |        0 |        0
754.76/754.97	c  754s |      18 |   442882 |   367852 |     6706     95 |        0 |        0
756.77/756.98	c  756s |      18 |   444106 |   368952 |     6706     95 |        0 |        0
758.97/759.12	c  758s |      18 |   445309 |   370052 |     6706     95 |        0 |        0
760.96/761.15	c  760s |      18 |   446323 |   370952 |     6706     96 |        0 |        0
763.06/763.22	c  763s |      18 |   448049 |   372452 |     6706     96 |        0 |        0
765.06/765.25	c  765s |      18 |   449301 |   373552 |     6706     96 |        0 |        0
767.16/767.34	c  767s |      18 |   450421 |   374552 |     6706     96 |        0 |        0
769.26/769.46	c  769s |      18 |   451645 |   375652 |     6706     97 |        0 |        0
771.46/771.64	c  771s |      18 |   452826 |   376752 |     6706     97 |        0 |        0
773.46/773.68	c  773s |      18 |   453830 |   377652 |     6706     97 |        0 |        0
775.56/775.79	c  775s |      18 |   455099 |   378752 |     6706     97 |        0 |        0
777.66/777.86	c  777s |      18 |   456226 |   379752 |     6706     98 |        0 |        0
779.76/779.93	c  779s |      18 |   457434 |   380852 |     6706     98 |        0 |        0
781.86/782.01	c  781s |      18 |   458524 |   381852 |     6706     98 |        0 |        0
783.85/784.07	c  783s |      18 |   459876 |   383052 |     6706     98 |        0 |        0
786.05/786.27	c  786s |      18 |   461064 |   384152 |     6706     99 |        0 |        0
788.15/788.34	c  788s |      18 |   462068 |   385052 |     6706     99 |        0 |        0
790.35/790.51	c  790s |      18 |   463281 |   386152 |     6706     99 |        0 |        0
792.55/792.70	c  792s |      18 |   464391 |   387152 |     6706     99 |        0 |        0
794.65/794.85	c  794s |      18 |   465315 |   387952 |     6706    100 |        0 |        0
796.75/796.90	c  796s |      18 |   466774 |   389152 |     6706    100 |        0 |        0
798.75/798.91	c  798s |      18 |   468015 |   390252 |     6706    100 |        0 |        0
800.85/801.07	c  800s |      18 |   469274 |   391352 |     6706    100 |        0 |        0
802.96/803.13	c  802s |      18 |   470268 |   392252 |     6706    101 |        0 |        0
804.95/805.18	c  804s |      18 |   471523 |   393352 |     6706    101 |        0 |        0
807.05/807.27	c  807s |      18 |   472650 |   394352 |     6706    101 |        0 |        0
809.15/809.37	c  809s |      18 |   473735 |   395352 |     6706    101 |        0 |        0
811.45/811.65	c  811s |      18 |   474753 |   396252 |     6706    102 |        0 |        0
813.65/813.82	c  813s |      18 |   475883 |   397252 |     6706    102 |        0 |        0
815.75/815.90	c  815s |      18 |   477028 |   398252 |     6706    102 |        0 |        0
817.85/818.06	c  817s |      18 |   478145 |   399252 |     6706    102 |        0 |        0
819.95/820.15	c  819s |      18 |   479161 |   400152 |     6706    102 |        0 |        0
822.15/822.30	c  822s |      18 |   480332 |   401152 |     6706    103 |        0 |        0
824.35/824.54	c  824s |      18 |   481535 |   402252 |     6706    103 |        0 |        0
826.45/826.62	c  826s |      18 |   482658 |   403252 |     6706    103 |        0 |        0
828.45/828.65	c  828s |      18 |   483810 |   404252 |     6706    103 |        0 |        0
830.45/830.65	c  830s |      18 |   484682 |   405052 |     6706    104 |        0 |        0
832.65/832.83	c  832s |      18 |   485761 |   406052 |     6706    104 |        0 |        0
834.75/834.92	c  834s |      18 |   486865 |   407052 |     6706    104 |        0 |        0
836.75/836.98	c  836s |      18 |   487987 |   408052 |     6706    104 |        0 |        0
839.05/839.20	c  839s |      18 |   489000 |   408952 |     6706    104 |        0 |        0
841.05/841.21	c  841s |      18 |   489910 |   409752 |     6706    105 |        0 |        0
843.15/843.35	c  843s |      18 |   491376 |   411052 |     6706    105 |        0 |        0
845.15/845.39	c  845s |      18 |   492593 |   412152 |     6706    105 |        0 |        0
847.45/847.64	c  847s |      18 |   493707 |   413152 |     6706    105 |        0 |        0
849.44/849.65	c  849s |      18 |   494471 |   413852 |     6706    106 |        0 |        0
851.44/851.69	c  851s |      18 |   495875 |   415052 |     6706    106 |        0 |        0
853.55/853.78	c  853s |      18 |   496984 |   416052 |     6706    106 |        0 |        0
855.65/855.81	c  855s |      18 |   498087 |   417052 |     6706    106 |        0 |        0
857.95/858.12	c  857s |      18 |   499124 |   417952 |     6706    107 |        0 |        0
859.94/860.19	c  859s |      18 |   500143 |   418852 |     6706    107 |        0 |        0
862.14/862.37	c  862s |      18 |   501327 |   419852 |     6706    107 |        0 |        0
864.24/864.48	c  864s |      18 |   502417 |   420752 |     6706    107 |        0 |        0
866.34/866.58	c  866s |      18 |   503315 |   421552 |     6706    107 |        0 |        0
868.44/868.66	c  868s |      18 |   504272 |   422352 |     6706    108 |        0 |        0
870.75/870.95	c  870s |      18 |   505420 |   423352 |     6706    108 |        0 |        0
872.85/873.09	c  872s |      18 |   506464 |   424252 |     6706    108 |        0 |        0
874.95/875.14	c  874s |      18 |   507843 |   425452 |     6706    108 |        0 |        0
877.35/877.53	c  877s |      18 |   509078 |   426552 |     6706    109 |        0 |        0
879.45/879.64	c  879s |      18 |   510300 |   427652 |     6706    109 |        0 |        0
881.55/881.77	c  881s |      18 |   511422 |   428652 |     6706    109 |        0 |        0
883.75/883.96	c  883s |      18 |   512405 |   429552 |     6706    109 |        0 |        0
886.05/886.24	c  886s |      18 |   513306 |   430352 |     6706    109 |        0 |        0
888.05/888.25	c  888s |      18 |   514235 |   431152 |     6706    110 |        0 |        0
890.04/890.26	c  890s |      18 |   515472 |   432252 |     6706    110 |        0 |        0
892.14/892.32	c  892s |      18 |   516599 |   433252 |     6706    110 |        0 |        0
894.15/894.34	c  894s |      18 |   517599 |   434152 |     6706    110 |        0 |        0
896.24/896.45	c  896s |      18 |   518625 |   435052 |     6706    110 |        0 |        0
898.44/898.60	c  898s |      18 |   519421 |   435752 |     6706    111 |        0 |        0
900.54/900.72	c  900s |      18 |   520545 |   436752 |     6706    111 |        0 |        0
902.64/902.87	c  902s |      18 |   521805 |   437852 |     6706    111 |        0 |        0
904.64/904.88	c  904s |      18 |   522897 |   438852 |     6706    111 |        0 |        0
906.74/906.95	c  906s |      18 |   523883 |   439752 |     6706    112 |        0 |        0
908.74/908.96	c  908s |      18 |   524878 |   440652 |     6706    112 |        0 |        0
910.84/911.08	c  910s |      18 |   525853 |   441552 |     7377    112 |        0 |        0
913.04/913.26	c  913s |      18 |   526858 |   442452 |     7377    112 |        0 |        0
915.14/915.35	c  915s |      18 |   527781 |   443252 |     7377    112 |        0 |        0
917.34/917.51	c  917s |      18 |   528918 |   444252 |     7377    112 |        0 |        0
918.04/918.25	c  918s |      19 |   529187 |   444482 |     7377    113 |        0 |        0
920.04/920.27	c  920s |      19 |   532427 |   446082 |     7377    113 |        0 |        0
922.14/922.33	c  922s |      19 |   534108 |   447582 |     7377    113 |        0 |        0
924.14/924.36	c  924s |      19 |   535427 |   448782 |     7377    113 |        0 |        0
926.24/926.48	c  926s |      19 |   536940 |   450082 |     7377    114 |        0 |        0
928.34/928.59	c  928s |      19 |   538288 |   451282 |     7377    114 |        0 |        0
930.64/930.81	c  930s |      19 |   539400 |   452282 |     7377    114 |        0 |        0
932.83/933.05	c  932s |      19 |   540383 |   453182 |     7377    114 |        0 |        0
934.94/935.15	c  934s |      19 |   541394 |   454082 |     7377    115 |        0 |        0
937.14/937.34	c  937s |      19 |   542387 |   454982 |     7377    115 |        0 |        0
939.13/939.38	c  939s |      19 |   543345 |   455882 |     7377    115 |        0 |        0
941.23/941.41	c  941s |      19 |   544331 |   456782 |     7377    115 |        0 |        0
943.33/943.50	c  943s |      19 |   545193 |   457582 |     7377    115 |        0 |        0
945.33/945.54	c  945s |      19 |   546112 |   458382 |     7377    116 |        0 |        0
947.43/947.65	c  947s |      19 |   547514 |   459582 |     7377    116 |        0 |        0
949.53/949.75	c  949s |      19 |   548731 |   460682 |     7377    116 |        0 |        0
951.63/951.88	c  951s |      19 |   549844 |   461682 |     7377    116 |        0 |        0
953.83/954.06	c  953s |      19 |   550929 |   462682 |     7377    116 |        0 |        0
955.93/956.15	c  955s |      19 |   551798 |   463482 |     7377    117 |        0 |        0
958.13/958.34	c  958s |      19 |   552955 |   464482 |     7377    117 |        0 |        0
960.14/960.39	c  960s |      19 |   554099 |   465482 |     7377    117 |        0 |        0
962.23/962.49	c  962s |      19 |   555190 |   466482 |     7377    117 |        0 |        0
964.33/964.58	c  964s |      19 |   556287 |   467482 |     7377    117 |        0 |        0
966.53/966.72	c  966s |      19 |   557163 |   468282 |     7377    118 |        0 |        0
968.53/968.79	c  968s |      19 |   558274 |   469282 |     7377    118 |        0 |        0
970.52/970.79	c  970s |      19 |   559154 |   470082 |     7377    118 |        0 |        0
972.52/972.79	c  972s |      19 |   560197 |   470982 |     7377    118 |        0 |        0
974.62/974.84	c  974s |      19 |   561091 |   471782 |     7377    118 |        0 |        0
976.73/976.96	c  976s |      19 |   561999 |   472582 |     7377    119 |        0 |        0
978.93/979.19	c  978s |      19 |   563113 |   473582 |     7377    119 |        0 |        0
981.22/981.40	c  981s |      19 |   564232 |   474582 |     7377    119 |        0 |        0
983.23/983.50	c  983s |      19 |   565240 |   475482 |     7377    119 |        0 |        0
985.43/985.67	c  985s |      19 |   566118 |   476282 |     7377    119 |        0 |        0
987.42/987.68	c  987s |      19 |   566897 |   476982 |     7377    120 |        0 |        0
989.42/989.69	c  989s |      19 |   567873 |   477882 |     7377    120 |        0 |        0
991.62/991.80	c  991s |      19 |   568991 |   478882 |     7377    120 |        0 |        0
993.62/993.85	c  993s |      19 |   570095 |   479882 |     7377    120 |        0 |        0
995.72/995.92	c  995s |      19 |   571084 |   480782 |     7377    120 |        0 |        0
997.92/998.12	c  997s |      19 |   571865 |   481482 |     7377    121 |        0 |        0
999.92/1000.13	c  999s |      19 |   572867 |   482382 |     7377    121 |        0 |        0
1001.93/1002.20	c 1002s |      19 |   573744 |   483182 |     7377    121 |        0 |        0
1004.02/1004.20	c 1004s |      19 |   574643 |   483982 |     7377    121 |        0 |        0
1006.12/1006.30	c 1006s |      19 |   575532 |   484782 |     7377    121 |        0 |        0
1008.12/1008.32	c 1008s |      19 |   576293 |   485482 |     7377    121 |        0 |        0
1010.32/1010.52	c 1010s |      19 |   576979 |   486082 |     7377    122 |        0 |        0
1012.42/1012.65	c 1012s |      19 |   578059 |   487082 |     7377    122 |        0 |        0
1014.52/1014.77	c 1014s |      19 |   579148 |   488082 |     7377    122 |        0 |        0
1016.62/1016.83	c 1016s |      19 |   580445 |   489182 |     7377    122 |        0 |        0
1018.72/1018.95	c 1018s |      19 |   581546 |   490182 |     7377    122 |        0 |        0
1020.92/1021.14	c 1020s |      19 |   582313 |   490882 |     7377    123 |        0 |        0
1022.93/1023.16	c 1022s |      19 |   583070 |   491582 |     7377    123 |        0 |        0
1024.92/1025.19	c 1024s |      19 |   584204 |   492582 |     7377    123 |        0 |        0
1027.12/1027.31	c 1027s |      19 |   585456 |   493682 |     7377    123 |        0 |        0
1029.12/1029.31	c 1029s |      19 |   586467 |   494582 |     7377    123 |        0 |        0
1031.22/1031.45	c 1031s |      19 |   587447 |   495482 |     7377    124 |        0 |        0
1033.42/1033.66	c 1033s |      19 |   588547 |   496482 |     7377    124 |        0 |        0
1035.62/1035.82	c 1035s |      19 |   589523 |   497382 |     7377    124 |        0 |        0
1037.82/1038.04	c 1037s |      19 |   590592 |   498382 |     7377    124 |        0 |        0
1039.82/1040.06	c 1039s |      19 |   591481 |   499182 |     7377    124 |        0 |        0
1041.92/1042.11	c 1041s |      19 |   592249 |   499882 |     7377    125 |        0 |        0
1044.02/1044.23	c 1044s |      19 |   593339 |   500882 |     7377    125 |        0 |        0
1046.22/1046.44	c 1046s |      19 |   594427 |   501882 |     7377    125 |        0 |        0
1048.23/1048.45	c 1048s |      19 |   595293 |   502682 |     7377    125 |        0 |        0
1050.22/1050.49	c 1050s |      19 |   596144 |   503482 |     7377    125 |        0 |        0
1052.32/1052.57	c 1052s |      19 |   596923 |   504182 |     7377    125 |        0 |        0
1054.52/1054.70	c 1054s |      19 |   597816 |   504982 |     7377    126 |        0 |        0
1056.72/1056.91	c 1056s |      19 |   598937 |   505982 |     7377    126 |        0 |        0
1058.92/1059.16	c 1058s |      19 |   600036 |   506982 |     7377    126 |        0 |        0
1060.91/1061.18	c 1060s |      19 |   600891 |   507782 |     7377    126 |        0 |        0
1062.91/1063.19	c 1062s |      19 |   601647 |   508482 |     7377    126 |        0 |        0
1065.21/1065.40	c 1065s |      19 |   602412 |   509182 |     7377    127 |        0 |        0
1067.31/1067.50	c 1067s |      19 |   603564 |   510182 |     7377    127 |        0 |        0
1069.41/1069.62	c 1069s |      19 |   604656 |   511182 |     7377    127 |        0 |        0
1071.51/1071.76	c 1071s |      19 |   605632 |   512082 |     7377    127 |        0 |        0
1073.71/1073.97	c 1073s |      19 |   606494 |   512882 |     7377    127 |        0 |        0
1075.81/1076.01	c 1075s |      19 |   607249 |   513582 |     7377    127 |        0 |        0
1077.92/1078.18	c 1077s |      19 |   608020 |   514282 |     7377    128 |        0 |        0
1080.21/1080.40	c 1080s |      19 |   608879 |   515082 |     7377    128 |        0 |        0
1082.22/1082.46	c 1082s |      19 |   609892 |   515982 |     7377    128 |        0 |        0
1084.31/1084.56	c 1084s |      19 |   611029 |   516982 |     7377    128 |        0 |        0
1086.41/1086.67	c 1086s |      19 |   611914 |   517782 |     7377    128 |        0 |        0
1088.61/1088.83	c 1088s |      19 |   612796 |   518582 |     7377    129 |        0 |        0
1090.81/1091.06	c 1090s |      19 |   613889 |   519582 |     7377    129 |        0 |        0
1092.81/1093.08	c 1092s |      19 |   614891 |   520482 |     7377    129 |        0 |        0
1095.01/1095.22	c 1095s |      19 |   616102 |   521582 |     7377    129 |        0 |        0
1097.11/1097.30	c 1097s |      19 |   617091 |   522482 |     7377    129 |        0 |        0
1099.21/1099.49	c 1099s |      19 |   618065 |   523382 |     7377    130 |        0 |        0
1101.41/1101.63	c 1101s |      19 |   619159 |   524382 |     7377    130 |        0 |        0
1103.51/1103.75	c 1103s |      19 |   620122 |   525282 |     7377    130 |        0 |        0
1105.71/1105.98	c 1105s |      19 |   621090 |   526182 |     7377    130 |        0 |        0
1107.91/1108.18	c 1107s |      19 |   622066 |   527082 |     7377    130 |        0 |        0
1110.01/1110.24	c 1110s |      19 |   622816 |   527782 |     7377    131 |        0 |        0
1112.10/1112.37	c 1112s |      19 |   623842 |   528682 |     7377    131 |        0 |        0
1114.30/1114.50	c 1114s |      19 |   625082 |   529782 |     7377    131 |        0 |        0
1116.31/1116.57	c 1116s |      19 |   625923 |   530582 |     7377    131 |        0 |        0
1118.40/1118.61	c 1118s |      19 |   627020 |   531582 |     7377    131 |        0 |        0
1120.50/1120.78	c 1120s |      19 |   627997 |   532482 |     7377    132 |        0 |        0
1122.70/1122.95	c 1122s |      19 |   629095 |   533482 |     7377    132 |        0 |        0
1125.21/1125.40	c 1125s |      19 |   630077 |   534382 |     7377    132 |        0 |        0
1127.31/1127.51	c 1127s |      19 |   630966 |   535182 |     7377    132 |        0 |        0
1129.30/1129.51	c 1129s |      19 |   631741 |   535882 |     7377    132 |        0 |        0
1131.40/1131.67	c 1131s |      19 |   632634 |   536682 |     7377    132 |        0 |        0
1133.60/1133.80	c 1133s |      19 |   633514 |   537482 |     7377    133 |        0 |        0
1135.70/1135.98	c 1135s |      19 |   634492 |   538382 |     7377    133 |        0 |        0
1137.90/1138.12	c 1137s |      19 |   635347 |   539182 |     7377    133 |        0 |        0
1140.00/1140.27	c 1140s |      19 |   636319 |   540082 |     7377    133 |        0 |        0
1142.30/1142.53	c 1142s |      19 |   637302 |   540982 |     7377    133 |        0 |        0
1144.40/1144.64	c 1144s |      19 |   638045 |   541682 |     7377    134 |        0 |        0
1146.40/1146.65	c 1146s |      19 |   638822 |   542382 |     7377    134 |        0 |        0
1148.50/1148.73	c 1148s |      19 |   639698 |   543182 |     7377    134 |        0 |        0
1150.51/1150.77	c 1150s |      19 |   640469 |   543882 |     7377    134 |        0 |        0
1152.60/1152.89	c 1152s |      19 |   641453 |   544782 |     7377    134 |        0 |        0
1154.70/1154.95	c 1154s |      19 |   642321 |   545582 |     7377    134 |        0 |        0
1157.00/1157.21	c 1157s |      19 |   642999 |   546182 |     7377    135 |        0 |        0
1159.10/1159.35	c 1159s |      19 |   643874 |   546982 |     7377    135 |        0 |        0
1161.30/1161.56	c 1161s |      19 |   644745 |   547782 |     7377    135 |        0 |        0
1163.40/1163.64	c 1163s |      19 |   645517 |   548482 |     7377    135 |        0 |        0
1165.50/1165.75	c 1165s |      19 |   646397 |   549282 |     7377    135 |        0 |        0
1167.69/1167.93	c 1167s |      19 |   647189 |   549982 |     7377    135 |        0 |        0
1169.69/1169.95	c 1169s |      19 |   647826 |   550582 |     7377    135 |        0 |        0
1171.79/1172.07	c 1171s |      19 |   648558 |   551182 |     7377    136 |        0 |        0
1173.99/1174.28	c 1174s |      19 |   649546 |   552082 |     7377    136 |        0 |        0
1176.09/1176.39	c 1176s |      19 |   650434 |   552882 |     7377    136 |        0 |        0
1178.19/1178.49	c 1178s |      19 |   651299 |   553682 |     7377    136 |        0 |        0
1180.29/1180.57	c 1180s |      19 |   652280 |   554582 |     7377    136 |        0 |        0
1182.49/1182.76	c 1182s |      19 |   653246 |   555482 |     7377    137 |        0 |        0
1184.79/1185.03	c 1184s |      19 |   654116 |   556282 |     7377    137 |        0 |        0
1186.80/1187.04	c 1186s |      19 |   654876 |   556982 |     7377    137 |        0 |        0
1189.09/1189.31	c 1189s |      19 |   655637 |   557682 |     7377    137 |        0 |        0
1191.39/1191.61	c 1191s |      19 |   656409 |   558382 |     7377    137 |        0 |        0
1193.40/1193.62	c 1193s |      19 |   657065 |   558982 |     7377    137 |        0 |        0
1195.50/1195.71	c 1195s |      19 |   657717 |   559582 |     7377    137 |        0 |        0
1197.59/1197.86	c 1197s |      19 |   658372 |   560182 |     7377    138 |        0 |        0
1199.59/1199.88	c 1199s |      19 |   659506 |   561182 |     7377    138 |        0 |        0
1201.69/1201.98	c 1201s |      19 |   660809 |   562382 |     7377    138 |        0 |        0
1203.79/1204.04	c 1203s |      19 |   661954 |   563382 |     7377    138 |        0 |        0
1205.79/1206.05	c 1205s |      19 |   663049 |   564382 |     7377    138 |        0 |        0
1207.89/1208.10	c 1207s |      19 |   664011 |   565282 |     7377    139 |        0 |        0
1209.99/1210.26	c 1210s |      19 |   665126 |   566282 |     7377    139 |        0 |        0
1212.09/1212.37	c 1212s |      19 |   666098 |   567182 |     7377    139 |        0 |        0
1214.29/1214.54	c 1214s |      19 |   667228 |   568182 |     7377    139 |        0 |        0
1216.29/1216.55	c 1216s |      19 |   668079 |   568982 |     7377    139 |        0 |        0
1218.49/1218.71	c 1218s |      19 |   669066 |   569882 |     7377    140 |        0 |        0
1220.69/1220.92	c 1220s |      19 |   670162 |   570882 |     7377    140 |        0 |        0
1222.89/1223.13	c 1222s |      19 |   671353 |   571982 |     7377    140 |        0 |        0
1224.88/1225.14	c 1224s |      19 |   672359 |   572782 |     7377    140 |        0 |        0
1227.18/1227.48	c 1227s |      19 |   673479 |   573782 |     7377    141 |        0 |        0
1229.38/1229.64	c 1229s |      19 |   674581 |   574782 |     7377    141 |        0 |        0
1231.58/1231.83	c 1231s |      19 |   675674 |   575782 |     7377    141 |        0 |        0
1233.58/1233.89	c 1233s |      19 |   676776 |   576782 |     7377    141 |        0 |        0
1235.78/1236.08	c 1235s |      19 |   677854 |   577782 |     7377    141 |        0 |        0
1237.88/1238.13	c 1237s |      19 |   678733 |   578582 |     7377    142 |        0 |        0
1239.88/1240.13	c 1239s |      19 |   679732 |   579482 |     7377    142 |        0 |        0
1242.08/1242.32	c 1242s |      19 |   680730 |   580382 |     7377    142 |        0 |        0
1244.08/1244.37	c 1244s |      19 |   681705 |   581282 |     7377    142 |        0 |        0
1246.28/1246.57	c 1246s |      19 |   682672 |   582182 |     7377    142 |        0 |        0
1248.78/1249.04	c 1248s |      19 |   683548 |   582982 |     7377    143 |        0 |        0
1250.78/1251.05	c 1250s |      19 |   684600 |   583882 |     7377    143 |        0 |        0
1252.88/1253.12	c 1252s |      19 |   686080 |   585182 |     7377    143 |        0 |        0
1254.89/1255.19	c 1254s |      19 |   687242 |   586182 |     7377    143 |        0 |        0
1257.19/1257.41	c 1257s |      19 |   688273 |   587082 |     7377    143 |        0 |        0
1259.18/1259.46	c 1259s |      19 |   689082 |   587782 |     7377    144 |        0 |        0
1261.39/1261.61	c 1261s |      19 |   690213 |   588782 |     7377    144 |        0 |        0
1263.59/1263.81	c 1263s |      19 |   691237 |   589682 |     7377    144 |        0 |        0
1265.79/1266.07	c 1265s |      19 |   692222 |   590582 |     7377    144 |        0 |        0
1267.99/1268.25	c 1268s |      19 |   693109 |   591382 |     7377    144 |        0 |        0
1270.09/1270.32	c 1270s |      19 |   693852 |   592082 |     7377    144 |        0 |        0
1272.09/1272.35	c 1272s |      19 |   694793 |   592882 |     7377    145 |        0 |        0
1274.29/1274.52	c 1274s |      19 |   696024 |   593982 |     7377    145 |        0 |        0
1276.49/1276.72	c 1276s |      19 |   697136 |   594982 |     7377    145 |        0 |        0
1278.68/1278.96	c 1278s |      19 |   698118 |   595882 |     7377    145 |        0 |        0
1281.18/1281.46	c 1281s |      19 |   699245 |   596882 |     7377    146 |        0 |        0
1283.38/1283.62	c 1283s |      19 |   700462 |   597982 |     7377    146 |        0 |        0
1285.48/1285.70	c 1285s |      19 |   701569 |   598982 |     7377    146 |        0 |        0
1287.58/1287.83	c 1287s |      19 |   702671 |   599982 |     7377    146 |        0 |        0
1289.78/1290.03	c 1289s |      19 |   703642 |   600882 |     7377    146 |        0 |        0
1291.78/1292.09	c 1291s |      19 |   704515 |   601682 |     7377    147 |        0 |        0
1293.98/1294.28	c 1294s |      19 |   705507 |   602582 |     7377    147 |        0 |        0
1296.18/1296.45	c 1296s |      19 |   706855 |   603782 |     7377    147 |        0 |        0
1298.38/1298.61	c 1298s |      19 |   708091 |   604882 |     7377    147 |        0 |        0
1300.38/1300.61	c 1300s |      19 |   709114 |   605782 |     7377    147 |        0 |        0
1302.38/1302.62	c 1302s |      19 |   709982 |   606582 |     7377    148 |        0 |        0
1304.49/1304.77	c 1304s |      19 |   711335 |   607782 |     7377    148 |        0 |        0
1306.69/1306.92	c 1306s |      19 |   712400 |   608782 |     7377    148 |        0 |        0
1308.79/1309.09	c 1308s |      19 |   713399 |   609682 |     7377    148 |        0 |        0
1310.99/1311.27	c 1311s |      19 |   714401 |   610582 |     7377    148 |        0 |        0
1313.19/1313.45	c 1313s |      19 |   715474 |   611582 |     7377    149 |        0 |        0
1315.68/1315.95	c 1315s |      19 |   716684 |   612682 |     7377    149 |        0 |        0
1317.78/1318.05	c 1317s |      19 |   717904 |   613782 |     7377    149 |        0 |        0
1319.78/1320.07	c 1319s |      19 |   718761 |   614582 |     7377    149 |        0 |        0
1322.08/1322.33	c 1322s |      19 |   719556 |   615282 |     7377    150 |        0 |        0
1324.28/1324.55	c 1324s |      19 |   720787 |   616382 |     7377    150 |        0 |        0
1326.38/1326.68	c 1326s |      19 |   721786 |   617282 |     7377    150 |        0 |        0
1328.58/1328.82	c 1328s |      19 |   722745 |   618182 |     7377    150 |        0 |        0
1330.67/1330.93	c 1330s |      19 |   723745 |   619082 |     7377    150 |        0 |        0
1332.77/1333.01	c 1332s |      19 |   724605 |   619882 |     7377    151 |        0 |        0
1334.77/1335.02	c 1334s |      19 |   725711 |   620882 |     7377    151 |        0 |        0
1336.87/1337.13	c 1336s |      19 |   726950 |   621982 |     7377    151 |        0 |        0
1338.97/1339.22	c 1339s |      19 |   727925 |   622882 |     7377    151 |        0 |        0
1340.97/1341.24	c 1341s |      19 |   728800 |   623682 |     7377    151 |        0 |        0
1343.16/1343.42	c 1343s |      19 |   729556 |   624382 |     7377    151 |        0 |        0
1345.26/1345.52	c 1345s |      19 |   730555 |   625282 |     7377    152 |        0 |        0
1347.37/1347.69	c 1347s |      19 |   731820 |   626382 |     7377    152 |        0 |        0
1349.47/1349.78	c 1349s |      19 |   732817 |   627282 |     7377    152 |        0 |        0
1351.56/1351.84	c 1351s |      19 |   733859 |   628182 |     7377    152 |        0 |        0
1353.66/1353.94	c 1353s |      19 |   734858 |   629082 |     7377    152 |        0 |        0
1355.76/1356.04	c 1355s |      19 |   735847 |   629982 |     7377    153 |        0 |        0
1357.86/1358.13	c 1357s |      19 |   737088 |   631082 |     7377    153 |        0 |        0
1359.96/1360.20	c 1360s |      19 |   738174 |   632082 |     7377    153 |        0 |        0
1362.15/1362.45	c 1362s |      19 |   739157 |   632982 |     7377    153 |        0 |        0
1364.86/1365.14	c 1364s |      19 |   740054 |   633782 |     7377    154 |        0 |        0
1366.85/1367.14	c 1366s |      19 |   741230 |   634782 |     7377    154 |        0 |        0
1369.05/1369.37	c 1369s |      19 |   742255 |   635682 |     7377    154 |        0 |        0
1371.25/1371.59	c 1371s |      19 |   743384 |   636682 |     7377    154 |        0 |        0
1373.35/1373.65	c 1373s |      19 |   744279 |   637482 |     7377    154 |        0 |        0
1375.45/1375.77	c 1375s |      19 |   745184 |   638282 |     7377    154 |        0 |        0
1377.64/1377.90	c 1377s |      19 |   746080 |   639082 |     7377    155 |        0 |        0
1379.84/1380.14	c 1379s |      19 |   747051 |   639982 |     7377    155 |        0 |        0
1381.84/1382.15	c 1381s |      19 |   747928 |   640782 |     7377    155 |        0 |        0
1383.84/1384.17	c 1383s |      19 |   748947 |   641682 |     7377    155 |        0 |        0
1385.94/1386.22	c 1386s |      19 |   749814 |   642482 |     7377    155 |        0 |        0
1388.05/1388.38	c 1388s |      19 |   750814 |   643382 |     7377    156 |        0 |        0
1390.15/1390.44	c 1390s |      19 |   751956 |   644382 |     7377    156 |        0 |        0
1392.13/1392.49	c 1392s |      19 |   752916 |   645282 |     7377    156 |        0 |        0
1394.23/1394.59	c 1394s |      19 |   754190 |   646382 |     7377    156 |        0 |        0
1396.43/1396.77	c 1396s |      19 |   755178 |   647282 |     7377    156 |        0 |        0
1398.53/1398.82	c 1398s |      19 |   756053 |   648082 |     7377    157 |        0 |        0
1400.73/1401.06	c 1400s |      19 |   757174 |   649082 |     7377    157 |        0 |        0
1402.93/1403.21	c 1403s |      19 |   757939 |   649782 |     7377    157 |        0 |        0
1405.03/1405.31	c 1405s |      19 |   758969 |   650682 |     7377    157 |        0 |        0
1407.13/1407.45	c 1407s |      19 |   759960 |   651582 |     7377    157 |        0 |        0
1409.33/1409.64	c 1409s |      19 |   760839 |   652382 |     7377    158 |        0 |        0
1411.32/1411.66	c 1411s |      19 |   761819 |   653282 |     7377    158 |        0 |        0
1413.52/1413.89	c 1413s |      19 |   762792 |   654182 |     7377    158 |        0 |        0
1415.62/1415.98	c 1415s |      19 |   763693 |   654982 |     7377    158 |        0 |        0
1417.82/1418.10	c 1417s |      19 |   764709 |   655882 |     7377    158 |        0 |        0
1420.02/1420.37	c 1420s |      19 |   765720 |   656782 |     7377    159 |        0 |        0
1422.21/1422.55	c 1422s |      19 |   766793 |   657782 |     7377    159 |        0 |        0
1424.41/1424.72	c 1424s |      19 |   767778 |   658682 |     7377    159 |        0 |        0
1426.42/1426.80	c 1426s |      19 |   768906 |   659682 |     7377    159 |        0 |        0
1428.51/1428.87	c 1428s |      19 |   770023 |   660682 |     7377    159 |        0 |        0
1430.61/1430.94	c 1430s |      19 |   770910 |   661482 |     7377    160 |        0 |        0
1432.61/1432.97	c 1432s |      19 |   771899 |   662382 |     8115    160 |        0 |        0
1434.81/1435.13	c 1434s |      19 |   772861 |   663282 |     8115    160 |        0 |        0
1437.01/1437.33	c 1437s |      19 |   773839 |   664182 |     8115    160 |        0 |        0
1439.11/1439.45	c 1439s |      19 |   774781 |   665082 |     8115    160 |        0 |        0
1441.30/1441.66	c 1441s |      19 |   775669 |   665882 |     8115    160 |        0 |        0
1443.50/1443.85	c 1443s |      19 |   776552 |   666682 |     8115    160 |        0 |        0
1444.20/1444.56	c 1444s |      20 |   776717 |   666827 |     8115    161 |        0 |        0
1446.21/1446.56	c 1446s |      20 |   779930 |   668727 |     8115    161 |        0 |        0
1448.30/1448.65	c 1448s |      20 |   781727 |   670327 |     8115    161 |        0 |        0
1450.40/1450.72	c 1450s |      20 |   783258 |   671727 |     8115    161 |        0 |        0
1452.50/1452.80	c 1452s |      20 |   784802 |   673127 |     8115    162 |        0 |        0
1454.59/1454.99	c 1454s |      20 |   786132 |   674327 |     8115    162 |        0 |        0
1456.79/1457.12	c 1456s |      20 |   787437 |   675427 |     8115    162 |        0 |        0
1458.79/1459.13	c 1458s |      20 |   788702 |   676527 |     8115    162 |        0 |        0
1460.89/1461.24	c 1461s |      20 |   789807 |   677527 |     8115    163 |        0 |        0
1463.09/1463.40	c 1463s |      20 |   791155 |   678727 |     8115    163 |        0 |        0
1465.19/1465.59	c 1465s |      20 |   792260 |   679727 |     8115    163 |        0 |        0
1467.39/1467.75	c 1467s |      20 |   793390 |   680727 |     8115    163 |        0 |        0
1469.49/1469.82	c 1469s |      20 |   794518 |   681727 |     8115    163 |        0 |        0
1471.88/1472.20	c 1472s |      20 |   795504 |   682627 |     8115    164 |        0 |        0
1473.88/1474.22	c 1474s |      20 |   796728 |   683727 |     8115    164 |        0 |        0
1476.08/1476.40	c 1476s |      20 |   797949 |   684827 |     8115    164 |        0 |        0
1478.28/1478.64	c 1478s |      20 |   799050 |   685827 |     8115    164 |        0 |        0
1480.48/1480.81	c 1480s |      20 |   800165 |   686827 |     8115    164 |        0 |        0
1482.58/1482.92	c 1482s |      20 |   801161 |   687727 |     8115    165 |        0 |        0
1484.69/1485.09	c 1484s |      20 |   802139 |   688627 |     8115    165 |        0 |        0
1486.78/1487.19	c 1486s |      20 |   803348 |   689727 |     8115    165 |        0 |        0
1488.78/1489.20	c 1489s |      20 |   804334 |   690627 |     8115    165 |        0 |        0
1490.98/1491.35	c 1491s |      20 |   805328 |   691527 |     8115    165 |        0 |        0
1493.38/1493.70	c 1493s |      20 |   806492 |   692527 |     8115    166 |        0 |        0
1495.38/1495.72	c 1495s |      20 |   807725 |   693627 |     8115    166 |        0 |        0
1497.48/1497.81	c 1497s |      20 |   808822 |   694627 |     8115    166 |        0 |        0
1499.58/1499.94	c 1499s |      20 |   810042 |   695727 |     8115    166 |        0 |        0
1501.67/1502.05	c 1501s |      20 |   811003 |   696627 |     8115    166 |        0 |        0
1503.77/1504.13	c 1503s |      20 |   812082 |   697527 |     8115    166 |        0 |        0
1505.77/1506.16	c 1505s |      20 |   813249 |   698527 |     8115    167 |        0 |        0
1507.77/1508.18	c 1507s |      20 |   814475 |   699627 |     8115    167 |        0 |        0
1509.87/1510.27	c 1510s |      20 |   815481 |   700527 |     8115    167 |        0 |        0
1512.17/1512.53	c 1512s |      20 |   816637 |   701527 |     8115    167 |        0 |        0
1514.37/1514.76	c 1514s |      20 |   817619 |   702427 |     8115    167 |        0 |        0
1516.46/1516.82	c 1516s |      20 |   818634 |   703327 |     8115    168 |        0 |        0
1518.56/1518.98	c 1518s |      20 |   819858 |   704427 |     8115    168 |        0 |        0
1520.66/1521.00	c 1520s |      20 |   820965 |   705427 |     8115    168 |        0 |        0
1522.66/1523.03	c 1522s |      20 |   821969 |   706327 |     8115    168 |        0 |        0
1524.76/1525.12	c 1524s |      20 |   822964 |   707227 |     8115    168 |        0 |        0
1526.75/1527.15	c 1526s |      20 |   823878 |   708027 |     8115    169 |        0 |        0
1529.15/1529.58	c 1529s |      20 |   825019 |   709027 |     8115    169 |        0 |        0
1531.35/1531.79	c 1531s |      20 |   826131 |   710027 |     8115    169 |        0 |        0
1533.45/1533.89	c 1533s |      20 |   827117 |   710927 |     8115    169 |        0 |        0
1535.65/1536.02	c 1535s |      20 |   828231 |   711927 |     8115    169 |        0 |        0
1537.65/1538.09	c 1537s |      20 |   829234 |   712827 |     8115    169 |        0 |        0
1539.75/1540.13	c 1539s |      20 |   830227 |   713727 |     8115    170 |        0 |        0
1541.74/1542.18	c 1541s |      20 |   831209 |   714627 |     8115    170 |        0 |        0
1543.74/1544.18	c 1543s |      20 |   831988 |   715327 |     8115    170 |        0 |        0
1546.04/1546.42	c 1546s |      20 |   832949 |   716227 |     8115    170 |        0 |        0
1548.14/1548.57	c 1548s |      20 |   833793 |   717027 |     8115    170 |        0 |        0
1550.44/1550.82	c 1550s |      20 |   834672 |   717827 |     8115    170 |        0 |        0
1552.44/1552.83	c 1552s |      20 |   835357 |   718427 |     8115    171 |        0 |        0
1554.43/1554.87	c 1554s |      20 |   836460 |   719427 |     8115    171 |        0 |        0
1556.53/1556.91	c 1556s |      20 |   837442 |   720327 |     8115    171 |        0 |        0
1558.53/1558.92	c 1558s |      20 |   838317 |   721127 |     8115    171 |        0 |        0
1560.54/1561.00	c 1560s |      20 |   839100 |   721827 |     8115    171 |        0 |        0
1562.74/1563.16	c 1562s |      20 |   839853 |   722527 |     8115    171 |        0 |        0
1565.24/1565.69	c 1565s |      20 |   840606 |   723227 |     8115    172 |        0 |        0
1567.53/1567.93	c 1567s |      20 |   841720 |   724227 |     8115    172 |        0 |        0
1569.63/1570.04	c 1569s |      20 |   842717 |   725127 |     8115    172 |        0 |        0
1571.83/1572.23	c 1572s |      20 |   843831 |   726127 |     8115    172 |        0 |        0
1573.93/1574.35	c 1574s |      20 |   844954 |   727127 |     8115    172 |        0 |        0
1576.13/1576.54	c 1576s |      20 |   846036 |   728127 |     8115    172 |        0 |        0
1578.14/1578.60	c 1578s |      20 |   846918 |   728927 |     8115    173 |        0 |        0
1580.23/1580.66	c 1580s |      20 |   848114 |   730027 |     8115    173 |        0 |        0
1582.42/1582.84	c 1582s |      20 |   849309 |   731127 |     8115    173 |        0 |        0
1584.52/1584.91	c 1584s |      20 |   850404 |   732127 |     8115    173 |        0 |        0
1586.52/1586.96	c 1586s |      20 |   851358 |   733027 |     8115    173 |        0 |        0
1588.72/1589.18	c 1588s |      20 |   852327 |   733927 |     8115    174 |        0 |        0
1591.22/1591.62	c 1591s |      20 |   853412 |   734927 |     8115    174 |        0 |        0
1593.31/1593.76	c 1593s |      20 |   854632 |   736027 |     8115    174 |        0 |        0
1595.51/1595.90	c 1595s |      20 |   855825 |   737127 |     8115    174 |        0 |        0
1597.51/1597.98	c 1597s |      20 |   856829 |   738027 |     8115    174 |        0 |        0
1599.71/1600.11	c 1599s |      20 |   857692 |   738827 |     8115    175 |        0 |        0
1601.71/1602.15	c 1601s |      20 |   858763 |   739827 |     8115    175 |        0 |        0
1603.81/1604.22	c 1604s |      20 |   859731 |   740727 |     8115    175 |        0 |        0
1605.81/1606.24	c 1606s |      20 |   860630 |   741527 |     8115    175 |        0 |        0
1607.81/1608.26	c 1608s |      20 |   861775 |   742527 |     8115    175 |        0 |        0
1609.91/1610.38	c 1610s |      20 |   862789 |   743427 |     8115    175 |        0 |        0
1612.10/1612.56	c 1612s |      20 |   863786 |   744327 |     8115    176 |        0 |        0
1614.20/1614.66	c 1614s |      20 |   864874 |   745327 |     8115    176 |        0 |        0
1616.30/1616.78	c 1616s |      20 |   865846 |   746227 |     8115    176 |        0 |        0
1618.70/1619.18	c 1618s |      20 |   866859 |   747127 |     8115    176 |        0 |        0
1620.90/1621.31	c 1621s |      20 |   868174 |   748227 |     8115    176 |        0 |        0
1623.00/1623.41	c 1623s |      20 |   869199 |   749127 |     8115    177 |        0 |        0
1625.10/1625.51	c 1625s |      20 |   870427 |   750227 |     8115    177 |        0 |        0
1627.30/1627.75	c 1627s |      20 |   871531 |   751227 |     8115    177 |        0 |        0
1629.40/1629.83	c 1629s |      20 |   872679 |   752227 |     8115    177 |        0 |        0
1631.49/1631.92	c 1631s |      20 |   873794 |   753227 |     8115    177 |        0 |        0
1633.59/1634.05	c 1633s |      20 |   874812 |   754127 |     8115    178 |        0 |        0
1635.69/1636.19	c 1635s |      20 |   876216 |   755327 |     8115    178 |        0 |        0
1637.89/1638.36	c 1638s |      20 |   877418 |   756427 |     8115    178 |        0 |        0
1640.09/1640.52	c 1640s |      20 |   878546 |   757427 |     8115    178 |        0 |        0
1642.29/1642.75	c 1642s |      20 |   879669 |   758427 |     8115    178 |        0 |        0
1644.39/1644.86	c 1644s |      20 |   880711 |   759327 |     8115    179 |        0 |        0
1646.49/1646.96	c 1646s |      20 |   882068 |   760527 |     8115    179 |        0 |        0
1648.49/1648.96	c 1648s |      20 |   883356 |   761627 |     8115    179 |        0 |        0
1650.69/1651.11	c 1650s |      20 |   884487 |   762627 |     8115    179 |        0 |        0
1652.89/1653.34	c 1653s |      20 |   885587 |   763627 |     8115    179 |        0 |        0
1654.98/1655.43	c 1655s |      20 |   886575 |   764527 |     8115    180 |        0 |        0
1657.08/1657.56	c 1657s |      20 |   887800 |   765627 |     8115    180 |        0 |        0
1659.28/1659.73	c 1659s |      20 |   888926 |   766627 |     8115    180 |        0 |        0
1661.37/1661.84	c 1661s |      20 |   890032 |   767627 |     8115    180 |        0 |        0
1663.47/1663.96	c 1663s |      20 |   890948 |   768427 |     8115    180 |        0 |        0
1665.67/1666.10	c 1665s |      20 |   892142 |   769427 |     8115    181 |        0 |        0
1667.77/1668.20	c 1668s |      20 |   893509 |   770627 |     8115    181 |        0 |        0
1669.87/1670.34	c 1670s |      20 |   894786 |   771727 |     8115    181 |        0 |        0
1672.07/1672.52	c 1672s |      20 |   895890 |   772727 |     8115    181 |        0 |        0
1674.07/1674.54	c 1674s |      20 |   896864 |   773627 |     8115    181 |        0 |        0
1676.08/1676.58	c 1676s |      20 |   897599 |   774327 |     8115    182 |        0 |        0
1678.27/1678.73	c 1678s |      20 |   898828 |   775427 |     8115    182 |        0 |        0
1680.37/1680.85	c 1680s |      20 |   899936 |   776427 |     8115    182 |        0 |        0
1682.57/1683.10	c 1682s |      20 |   900901 |   777327 |     8115    182 |        0 |        0
1684.66/1685.18	c 1684s |      20 |   901690 |   778027 |     8115    182 |        0 |        0
1686.86/1687.35	c 1687s |      20 |   902461 |   778727 |     8115    182 |        0 |        0
1689.27/1689.72	c 1689s |      20 |   903215 |   779427 |     8115    183 |        0 |        0
1691.36/1691.82	c 1691s |      20 |   904191 |   780327 |     8115    183 |        0 |        0
1693.57/1694.05	c 1693s |      20 |   905178 |   781227 |     8115    183 |        0 |        0
1695.77/1696.29	c 1696s |      20 |   906046 |   782027 |     8115    183 |        0 |        0
1697.97/1698.48	c 1698s |      20 |   906921 |   782827 |     8115    183 |        0 |        0
1700.17/1700.62	c 1700s |      20 |   907913 |   783627 |     8115    183 |        0 |        0
1702.26/1702.80	c 1702s |      20 |   908997 |   784527 |     8115    184 |        0 |        0
1704.46/1704.91	c 1704s |      20 |   910244 |   785627 |     8115    184 |        0 |        0
1706.46/1706.93	c 1706s |      20 |   911355 |   786627 |     8115    184 |        0 |        0
1708.46/1708.98	c 1708s |      20 |   912343 |   787527 |     8115    184 |        0 |        0
1710.66/1711.10	c 1710s |      20 |   913413 |   788527 |     8115    184 |        0 |        0
1712.76/1713.29	c 1713s |      20 |   914325 |   789327 |     8115    184 |        0 |        0
1714.95/1715.47	c 1715s |      20 |   915306 |   790227 |     8115    185 |        0 |        0
1717.05/1717.56	c 1717s |      20 |   916402 |   791227 |     8115    185 |        0 |        0
1719.25/1719.73	c 1719s |      20 |   917518 |   792227 |     8115    185 |        0 |        0
1721.35/1721.89	c 1721s |      20 |   918531 |   793127 |     8115    185 |        0 |        0
1723.45/1723.99	c 1723s |      20 |   919542 |   794027 |     8115    185 |        0 |        0
1725.56/1726.01	c 1725s |      20 |   920445 |   794827 |     8115    186 |        0 |        0
1727.66/1728.13	c 1727s |      20 |   921512 |   795827 |     8115    186 |        0 |        0
1730.64/1731.12	c 1730s |      20 |   922543 |   796727 |     8115    186 |        0 |        0
1732.84/1733.32	c 1733s |      20 |   923796 |   797827 |     8115    186 |        0 |        0
1734.94/1735.42	c 1735s |      20 |   924803 |   798727 |     8115    186 |        0 |        0
1737.04/1737.53	c 1737s |      20 |   925785 |   799627 |     8115    186 |        0 |        0
1739.04/1739.58	c 1739s |      20 |   926337 |   800127 |     8115    187 |        0 |        0
1741.14/1741.66	c 1741s |      20 |   927541 |   801227 |     8115    187 |        0 |        0
1743.34/1743.84	c 1743s |      20 |   928765 |   802327 |     8115    187 |        0 |        0
1745.54/1746.02	c 1745s |      20 |   929738 |   803227 |     8115    187 |        0 |        0
1747.74/1748.26	c 1748s |      20 |   930734 |   804127 |     8115    187 |        0 |        0
1750.23/1750.72	c 1750s |      20 |   931599 |   804927 |     8115    188 |        0 |        0
1752.43/1752.92	c 1752s |      20 |   932574 |   805827 |     8115    188 |        0 |        0
1754.63/1755.11	c 1754s |      20 |   933700 |   806827 |     8115    188 |        0 |        0
1756.83/1757.39	c 1757s |      20 |   934771 |   807827 |     8115    188 |        0 |        0
1759.03/1759.55	c 1759s |      20 |   935635 |   808627 |     8115    188 |        0 |        0
1761.22/1761.78	c 1761s |      20 |   936599 |   809527 |     8115    188 |        0 |        0
1763.52/1764.01	c 1763s |      20 |   937362 |   810227 |     8115    189 |        0 |        0
1765.62/1766.11	c 1765s |      20 |   938206 |   811027 |     8115    189 |        0 |        0
1767.62/1768.12	c 1767s |      20 |   939679 |   812227 |     8115    189 |        0 |        0
1769.72/1770.28	c 1770s |      20 |   940832 |   813227 |     8115    189 |        0 |        0
1771.82/1772.39	c 1772s |      20 |   941727 |   814027 |     8115    189 |        0 |        0
1774.12/1774.66	c 1774s |      20 |   942732 |   814927 |     8115    189 |        0 |        0
1776.33/1776.86	c 1776s |      20 |   943582 |   815727 |     8115    190 |        0 |        0
1778.53/1779.09	c 1778s |      20 |   944660 |   816727 |     8115    190 |        0 |        0
1780.62/1781.11	c 1780s |      20 |   945665 |   817627 |     8115    190 |        0 |        0
1782.73/1783.30	c 1783s |      20 |   946669 |   818527 |     8115    190 |        0 |        0
1784.83/1785.31	c 1785s |      20 |   947550 |   819327 |     8115    190 |        0 |        0
1787.42/1787.91	c 1787s |      20 |   948513 |   820227 |     8115    191 |        0 |        0
1789.42/1789.98	c 1789s |      20 |   949720 |   821327 |     8115    191 |        0 |        0
1791.62/1792.13	c 1791s |      20 |   950842 |   822327 |     8115    191 |        0 |        0
1793.62/1794.18	c 1793s |      20 |   951944 |   823327 |     8115    191 |        0 |        0
1795.71/1796.28	c 1796s |      20 |   952926 |   824227 |     8115    191 |        0 |        0
1798.02/1798.52	c 1798s |      20 |   954000 |   825127 |     8115    191 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093638-1466092083/watcher-4093638-1466092083 -o /tmp/evaluation-result-4093638-1466092083/solver-4093638-1466092083 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093638-1466092083.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 23411
/proc/meminfo: memFree=29223984/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=627132 CPUtime=0 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 2320 0 0 0 0 0 0 0 20 0 4 0 11254045 642183168 2681 33554432000 4194304 16246674 140736720505520 140736720504944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 156783 2681 441 2943 0 153677 0
[pid=23411/tid=23412] ppid=23408 vsize=638396 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 653717504 2727 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 657911808 2743 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11254045 663154688 2762 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 23411
/proc/meminfo: memFree=29223984/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 24769 0 0 0 6 3 0 0 20 0 4 0 11254045 1247350784 25124 33554432000 4194304 16246674 140736720505520 140736720504944 12459048 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 304529 25133 602 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 25139 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 25146 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 25153 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200458 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 23411
/proc/meminfo: memFree=29223984/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 46664 0 0 0 14 5 0 0 20 0 4 0 11254045 1247350784 47012 33554432000 4194304 16246674 140736720505520 140736720504944 13954518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 304529 47018 790 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 47022 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 47027 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 47031 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.3004 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 23411
/proc/meminfo: memFree=29223984/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 68699 0 0 0 21 8 0 0 20 0 4 0 11254045 1247350784 69047 33554432000 4194304 16246674 140736720505520 140736720487424 12478189 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 304529 69058 807 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 69065 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 69070 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 69076 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700352 s]
/proc/loadavg: 2.25 2.30 2.27 2/179 23411
/proc/meminfo: memFree=29223984/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 174582 0 0 0 48 21 0 0 20 0 4 0 11254045 1247350784 174929 33554432000 4194304 16246674 140736720505520 140736720487424 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 304529 174944 807 2943 0 301423 0
[pid=23411/tid=23412] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 174957 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 174966 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11254045 1247350784 174977 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.25 2.30 2.27 3/183 23415
/proc/meminfo: memFree=28236740/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1223236 CPUtime=1.49 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 246785 0 0 0 117 32 0 0 20 0 4 0 11254045 1252593664 247110 33554432000 4194304 16246674 140736720505520 140736720487424 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 305809 247110 867 2943 0 302703 0
[pid=23411/tid=23412] ppid=23408 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1252593664 247110 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1252593664 247110 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1252593664 247110 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1223236

[startup+3.10037 s]
/proc/loadavg: 2.23 2.30 2.27 3/183 23415
/proc/meminfo: memFree=28151676/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 268032 0 0 0 274 35 0 0 20 0 4 0 11254045 1339625472 268357 33554432000 4194304 16246674 140736720505520 140736720487424 5545784 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 327057 268357 868 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1339625472 268357 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1339625472 268357 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1339625472 268357 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30037 s]
/proc/loadavg: 2.23 2.30 2.27 3/183 23415
/proc/meminfo: memFree=28150508/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 268174 0 0 0 594 35 0 0 20 0 4 0 11254045 1339625472 268499 33554432000 4194304 16246674 140736720505520 140736720487424 5546005 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 327057 268499 873 2943 0 323951 0
[pid=23411/tid=23412] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1339625472 268499 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1339625472 268499 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1339625472 268499 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.26 2.31 2.27 3/183 23415
/proc/meminfo: memFree=28148932/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 268518 0 0 0 1234 35 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 140736720503360 13950184 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 327569 268843 873 2943 0 324463 0
[pid=23411/tid=23412] ppid=23408 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5004 s]
/proc/loadavg: 2.30 2.31 2.27 4/183 23416
/proc/meminfo: memFree=28149476/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1310276 CPUtime=25.48 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 268518 0 0 0 2513 35 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 140736720487424 5546214 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 327569 268843 873 2943 0 324463 0
[pid=23411/tid=23412] ppid=23408 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1341722624 268843 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.34 2.32 2.27 3/183 23416
/proc/meminfo: memFree=28142668/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 270223 0 0 0 5072 36 0 0 20 0 4 0 11254045 1348014080 270548 33554432000 4194304 16246674 140736720505520 140736720488520 5822788 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23411/statm: 329105 270548 873 2943 0 325999 0
[pid=23411/tid=23412] ppid=23408 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1348014080 270548 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1348014080 270548 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1348014080 270548 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 23417
/proc/meminfo: memFree=28135356/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1323588 CPUtime=102.27 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 271955 0 0 0 10189 38 0 0 20 0 4 0 11254045 1355354112 272280 33554432000 4194304 16246674 140736720505520 140736720487424 5545832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 330897 272280 874 2943 0 327791 0
[pid=23411/tid=23412] ppid=23408 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1355354112 272280 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1355354112 272280 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1355354112 272280 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1323588


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

/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277717 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.31 2.37 2.31 3/184 23474
/proc/meminfo: memFree=28082844/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1345092 CPUtime=1362.05 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 277426 0 0 0 136160 45 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 140736720487424 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 336273 277720 874 2943 0 333167 0
[pid=23411/tid=23412] ppid=23408 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.21 2.33 2.30 4/183 23524
/proc/meminfo: memFree=28133848/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1345092 CPUtime=1422.02 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 277465 0 0 0 142157 45 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 140736720487424 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 336273 277720 874 2943 0 333167 0
[pid=23411/tid=23412] ppid=23408 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1377374208 277720 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1345092

[startup+1482.3 s]
/proc/loadavg: 2.25 2.31 2.29 3/182 23525
/proc/meminfo: memFree=28128220/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1347140 CPUtime=1481.98 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 278021 0 0 0 148153 45 0 0 20 0 4 0 11254045 1379471360 278232 33554432000 4194304 16246674 140736720505520 140736720487424 7252925 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 336785 278232 874 2943 0 333679 0
[pid=23411/tid=23412] ppid=23408 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1379471360 278232 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1379471360 278232 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1379471360 278232 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1347140

[startup+1542.31 s]
/proc/loadavg: 2.27 2.30 2.28 3/183 23527
/proc/meminfo: memFree=28119728/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1354308 CPUtime=1541.95 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 279859 0 0 0 154149 46 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 140736720487424 13006856 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 338577 280024 874 2943 0 335471 0
[pid=23411/tid=23412] ppid=23408 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1354308

[startup+1602.3 s]
/proc/loadavg: 2.30 2.30 2.28 4/183 23529
/proc/meminfo: memFree=28117976/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1354308 CPUtime=1601.91 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 279901 0 0 0 160144 47 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 140736720487424 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 338577 280024 874 2943 0 335471 0
[pid=23411/tid=23412] ppid=23408 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1386811392 280024 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1354308

[startup+1662.3 s]
/proc/loadavg: 2.33 2.32 2.28 3/183 23530
/proc/meminfo: memFree=28118064/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1356356 CPUtime=1661.87 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 280214 0 0 0 166140 47 0 0 20 0 4 0 11254045 1388908544 280299 33554432000 4194304 16246674 140736720505520 140736720487424 12483376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 339089 280299 874 2943 0 335983 0
[pid=23411/tid=23412] ppid=23408 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1388908544 280299 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1388908544 280299 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1388908544 280299 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1356356

[startup+1722.3 s]
/proc/loadavg: 2.30 2.32 2.28 3/183 23531
/proc/meminfo: memFree=28102496/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1366596 CPUtime=1721.85 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 283051 0 0 0 172137 48 0 0 20 0 4 0 11254045 1399394304 283096 33554432000 4194304 16246674 140736720505520 140736720487424 13780568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 341649 283096 874 2943 0 338543 0
[pid=23411/tid=23412] ppid=23408 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1399394304 283096 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1399394304 283096 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1399394304 283096 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1366596

[startup+1782.3 s]
/proc/loadavg: 2.24 2.30 2.27 4/183 23532
/proc/meminfo: memFree=28097576/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1369668 CPUtime=1781.82 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 283862 0 0 0 178133 49 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 140736720487424 5545916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 342417 283864 874 2943 0 339311 0
[pid=23411/tid=23412] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1369668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.32 2.31 2.28 3/183 23532
/proc/meminfo: memFree=28098312/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1369668 CPUtime=1800.01 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 283869 0 0 0 179952 49 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 140736720487424 5711716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 342417 283864 874 2943 0 339311 0
[pid=23411/tid=23412] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1369668

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

[startup+1800.5 s]
/proc/loadavg: 2.32 2.31 2.28 3/183 23532
/proc/meminfo: memFree=28098312/32872528 swapFree=1499116/1695340
[pid=23411] ppid=23408 vsize=1369668 CPUtime=1800.01 cores=0,2,4,6
/proc/23411/stat : 23411 (toysat) R 23408 23411 17390 0 -1 4202496 283869 0 0 0 179952 49 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 140736720487424 5711716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23411/statm: 342417 283864 874 2943 0 339311 0
[pid=23411/tid=23412] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23412/stat : 23412 (toysat) S 23408 23411 17390 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139811016912112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23411/tid=23413] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23413/stat : 23413 (toysat) S 23408 23411 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139811006422256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23411/tid=23414] ppid=23408 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/23411/task/23414/stat : 23414 (toysat) S 23408 23411 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11254045 1402540032 283864 33554432000 4194304 16246674 140736720505520 139810995948720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1369668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.05
CPU user time (s): 1799.53
CPU system time (s): 0.513921
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1369668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.513921
maximum resident set size= 1135456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283869
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= 346
involuntary context switches= 2091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5883 second user time and 6.92295 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 17:48:03
IDJOB=4093638
IDBENCH=79166
IDSOLVER=2553
FILE ID=node137/4093638-1466092083
RUNJOBID= node137-1466075286-21602
PBS_JOBID= 19904003
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093638-1466092083/watcher-4093638-1466092083 -o /tmp/evaluation-result-4093638-1466092083/solver-4093638-1466092083 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093638-1466092083.wbo

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

MD5SUM BENCH= 6ff912dc2f2e680571fd49caa2fcd856
RANDOM SEED=1145437458

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.486
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.38
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.486
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.486
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:        29224164 kB
Buffers:           43920 kB
Cached:           108136 kB
SwapCached:         2452 kB
Active:          1175384 kB
Inactive:          73556 kB
Active(anon):    1097728 kB
Inactive(anon):     1780 kB
Active(file):      77656 kB
Inactive(file):    71776 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099388 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       2871340 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             568696 kB
SReclaimable:      12948 kB
SUnreclaim:       555748 kB
KernelStack:        1520 kB
PageTables:         9548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2932532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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= 71708 MiB
End job on node137 at 2016-06-16 18:18:04