Trace number 4093319

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMfb4b4aad89d54269a5ce80fb177bfc09
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints51
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 2354
Min constraint cost 1
Max constraint cost 87
Sum of constraints costs 2353
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
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-16T14:39:33+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-4093319-1466080772.wbo"]
0.00/0.01	c use --random-gen="194963379 232295651 2717804537 2320762667 1437907887 1474579532 1895220592 2877092310 662019149 3014287776 3798379135 1701459543 1530907622 204389087 1273710945 939026872 2200765016 4269594983 932837818 1405331121 255730905 1655668865 640844825 2775227574 3495837003 2886761636 1622588183 2110904154 554062817 2390469121 1937187444 3037814328 2155083379 3451907184 4292100499 1810811150 1742650936 2625584387 1774899572 499955041 2589633954 1604308309 96869704 756298373 669641241 4016260444 1599688865 2746962992 490283617 3415112969 549296875 1294332987 3471478022 2920023927 2942597253 3669946410 3387361209 1232872319 3776895786 2574191424 1171145858 2283759721 3822407332 2862554646 1826484077 3742214325 1022529635 3716028398 1747811329 2933792762 1594011763 1717656730 4118761441 2076721991 4179286551 3886096418 2663511614 777723964 623066929 3317164688 293978816 3129382134 3455796235 2126323601 1063055802 1478411489 2292687124 1741421337 4229382249 3207011045 1647101269 276998773 4159008451 258241094 3891673388 1225174829 1641540735 1762784353 3781681072 551679673 3765678910 3998306653 4074276152 3269828642 1421477828 2632385837 2720117762 286853603 1090430022 1422672990 2119408707 214277030 2117369710 3660963540 953073088 1950611924 835829370 3984313739 2356588426 848665246 1379472363 3044873484 3875996460 2882671672 576283569 902299120 3398773582 1852051549 660177307 1111700823 1463824708 228285272 3017883102 2492078647 1303527500 3497537425 3088905473 3130462557 3741864449 4261097093 1337985737 3863823885 205900583 3484049629 3994070686 39635098 2105414993 406531946 710766633 1103255225 3422517361 703336636 2142583647 108876975 4105943191 1007145692 1130611597 910778938 980063652 295486286 2971487529 3855010346 3918459803 580845998 1848125336 1120354991 3974986443 3184952150 3228530654 373240114 3691107822 2757541758 1567359467 2934958796 2827695773 322950680 1474467056 4153753884 1911736804 3916816300 1764014415 2938564139 313006872 1522228102 2400821350 2698111588 4062437973 1636935537 2774586296 904961192 1998937453 3965530439 2007781607 535855358 1471606794 3078333380 2477360835 1774667077 3484016754 4124293494 3812232376 3347040397 829605408 889216075 3098100180 1176831539 1863296352 2410795349 3485021501 2388117620 325041311 1448617924 3391645853 3773472950 1702389755 2121261634 2511270826 1430072239 2918070383 3202841483 4106484188 4029989704 3709874813 2615183341 2647721891 1235880305 2764488558 1135127821 1489647971 1211259902 3940254624 2665535056 3130600885 2835775611 1337064157 2464610894 3734035548 3222654950 814758753 37175737 1614922494 1785760886 2980579936 1329987688 3221271362 4173911334 2829670054 334701925 566840466 1990776218 1843642919 1776249708 864609840 4043479472 2443447791 3306069284 255 362436" option to reproduce the execution
0.08/0.13	c #vars 2800
0.08/0.13	c #constraints 150
0.08/0.15	c BCD2: Hardening is enabled.
0.08/0.15	c BCD2: BiasedSearch is enabled.
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |     1000      0 |        0 |        0
0.08/0.18	c  0.0s |       1 |      198 |      100 |     1000      0 |        0 |        0
0.08/0.19	c  0.0s |       1 |     1588 |      102 |     1100      0 |        0 |        0
0.08/0.19	c #cpu_time = 0.042s
0.08/0.19	c #wall_clock_time = 0.042s
0.08/0.19	c #decision = 1588
0.08/0.19	c #random_decision = 7
0.08/0.19	c #conflict = 102
0.08/0.19	c #restart = 1
0.08/0.19	o 1055
0.08/0.19	c BCD2: updating upper bound: 2353 -> 1054
0.08/0.19	c BCD2: 0 <= obj <= 1054
0.08/0.19	c BCD2: #cores=0, #unrelaxed=51, #relaxed=0, #hardened=0
0.08/0.19	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.08/0.19	c  0.0s |       0 |        0 |        0 |     1100      0 |        0 |        0
0.18/0.24	c  0.0s |       1 |      463 |      100 |     1100      0 |        0 |        0
0.28/0.37	c  0.2s |       2 |     1546 |      250 |     1210      0 |        0 |        0
0.39/0.49	c  0.3s |       3 |     2731 |      475 |     1331      0 |        0 |        0
0.68/0.76	c  0.6s |       4 |     3833 |      813 |     1465      0 |        0 |        0
1.19/1.22	c  1.0s |       5 |     5274 |     1320 |     1612      0 |        0 |        0
1.78/1.85	c  1.7s |       6 |     6897 |     2081 |     1774      0 |        0 |        0
2.98/3.03	c  2.8s |       7 |     9263 |     3223 |     1952      1 |        0 |        0
4.29/4.33	c  4.1s |       8 |    12093 |     4936 |     2148      2 |        0 |        0
6.29/6.35	c  6.2s |       8 |    15835 |     6936 |     2148      3 |        0 |        0
6.99/7.08	c  6.9s |       9 |    16456 |     7506 |     2363      4 |        0 |        0
9.09/9.15	c  9.0s |       9 |    20234 |     9706 |     2363      5 |        0 |        0
11.19/11.24	c 11.0s |       9 |    21998 |    11306 |     2600      6 |        0 |        0
11.29/11.31	c 11.1s |      10 |    22053 |    11361 |     2600      6 |        0 |        0
13.30/13.37	c 13.2s |      10 |    25523 |    13661 |     2600      7 |        0 |        0
15.40/15.40	c 15.2s |      10 |    27207 |    15061 |     2600      8 |        0 |        0
17.39/17.43	c 17.2s |      10 |    28661 |    16361 |     2600      8 |        0 |        0
18.59/18.69	c 18.5s |      11 |    29510 |    17144 |     2861      8 |        0 |        0
20.69/20.71	c 20.5s |      11 |    33390 |    20044 |     2861     10 |        0 |        0
22.78/22.80	c 22.6s |      11 |    36272 |    22244 |     2861     11 |        0 |        0
24.88/24.91	c 24.7s |      11 |    38202 |    23944 |     2861     12 |        0 |        0
26.78/26.85	c 26.7s |      12 |    40241 |    25819 |     3148     13 |        0 |        0
28.88/28.97	c 28.8s |      12 |    43512 |    27419 |     3148     14 |        0 |        0
30.98/31.09	c 30.9s |      12 |    44988 |    28719 |     3148     14 |        0 |        0
33.09/33.19	c 33.0s |      12 |    46494 |    30019 |     3148     15 |        0 |        0
35.19/35.28	c 35.1s |      12 |    47743 |    31119 |     3148     16 |        0 |        0
37.39/37.49	c 37.3s |      12 |    49098 |    32319 |     3148     16 |        0 |        0
39.48/39.54	c 39.4s |      12 |    50222 |    33319 |     3148     17 |        0 |        0
41.58/41.60	c 41.4s |      12 |    51357 |    34319 |     3148     17 |        0 |        0
43.58/43.67	c 43.5s |      12 |    52504 |    35319 |     3148     17 |        0 |        0
45.58/45.68	c 45.5s |      12 |    54102 |    36719 |     3148     18 |        0 |        0
47.68/47.70	c 47.5s |      12 |    55336 |    37819 |     3148     19 |        0 |        0
49.38/49.47	c 49.3s |      13 |    56459 |    38832 |     3463     19 |        0 |        0
51.38/51.47	c 51.3s |      13 |    60212 |    40932 |     3463     20 |        0 |        0
53.48/53.59	c 53.4s |      13 |    61908 |    42432 |     3463     20 |        0 |        0
55.68/55.72	c 55.5s |      13 |    63434 |    43832 |     3463     21 |        0 |        0
57.78/57.83	c 57.6s |      13 |    64871 |    45132 |     3463     21 |        0 |        0
59.78/59.83	c 59.6s |      13 |    66200 |    46332 |     3463     22 |        0 |        0
61.78/61.89	c 61.7s |      13 |    69314 |    47532 |     3463     23 |        0 |        0
63.88/63.91	c 63.7s |      13 |    70803 |    48832 |     3463     23 |        0 |        0
66.08/66.16	c 66.0s |      13 |    72135 |    50032 |     3463     24 |        0 |        0
68.18/68.28	c 68.1s |      13 |    73461 |    51232 |     3463     24 |        0 |        0
70.28/70.39	c 70.2s |      13 |    74668 |    52332 |     3463     24 |        0 |        0
72.38/72.49	c 72.3s |      13 |    76595 |    54032 |     3463     25 |        0 |        0
74.48/74.56	c 74.4s |      13 |    78148 |    55432 |     3463     26 |        0 |        0
76.58/76.69	c 76.5s |      13 |    79730 |    56832 |     3463     26 |        0 |        0
78.68/78.72	c 78.5s |      13 |    81304 |    58232 |     3810     27 |        0 |        0
78.88/78.90	c 78.7s |      14 |    81441 |    58352 |     3810     27 |        0 |        0
80.88/80.99	c 80.8s |      14 |    85492 |    60152 |     3810     27 |        0 |        0
82.98/83.03	c 82.8s |      14 |    87468 |    61852 |     3810     28 |        0 |        0
85.08/85.18	c 85.0s |      14 |    89046 |    63252 |     3810     28 |        0 |        0
87.37/87.43	c 87.2s |      14 |    90446 |    64452 |     3810     29 |        0 |        0
89.47/89.55	c 89.4s |      14 |    92068 |    65852 |     3810     29 |        0 |        0
91.57/91.66	c 91.5s |      14 |    93796 |    67352 |     3810     29 |        0 |        0
93.77/93.89	c 93.7s |      14 |    95128 |    68552 |     3810     30 |        0 |        0
95.88/95.93	c 95.7s |      14 |    96708 |    69952 |     3810     30 |        0 |        0
97.98/98.03	c 97.8s |      14 |    98146 |    71252 |     3810     31 |        0 |        0
100.08/100.17	c 100.0s |      14 |    99751 |    72652 |     3810     31 |        0 |        0
102.28/102.39	c  102s |      14 |   100970 |    73752 |     3810     32 |        0 |        0
104.37/104.45	c  104s |      14 |   102534 |    75152 |     3810     32 |        0 |        0
106.37/106.47	c  106s |      14 |   103866 |    76352 |     3810     32 |        0 |        0
108.47/108.52	c  108s |      14 |   105410 |    77652 |     3810     33 |        0 |        0
110.57/110.64	c  110s |      14 |   107042 |    79052 |     3810     33 |        0 |        0
112.67/112.75	c  112s |      14 |   108336 |    80152 |     3810     34 |        0 |        0
114.77/114.85	c  114s |      14 |   109726 |    81352 |     3810     34 |        0 |        0
116.87/116.97	c  116s |      14 |   110824 |    82352 |     3810     34 |        0 |        0
118.97/119.01	c  118s |      14 |   111738 |    83152 |     3810     35 |        0 |        0
121.07/121.18	c  120s |      14 |   112899 |    84152 |     3810     35 |        0 |        0
123.27/123.34	c  123s |      14 |   113904 |    85052 |     3810     35 |        0 |        0
125.38/125.50	c  125s |      14 |   114993 |    86052 |     3810     35 |        0 |        0
127.67/127.76	c  127s |      14 |   115982 |    86952 |     4191     36 |        0 |        0
129.27/129.39	c  129s |      15 |   116740 |    87632 |     4191     36 |        0 |        0
131.37/131.47	c  131s |      15 |   119370 |    89332 |     4191     37 |        0 |        0
133.47/133.59	c  133s |      15 |   121063 |    90832 |     4191     37 |        0 |        0
135.57/135.60	c  135s |      15 |   122525 |    92132 |     4191     38 |        0 |        0
137.57/137.67	c  137s |      15 |   123762 |    93232 |     4191     38 |        0 |        0
139.77/139.84	c  139s |      15 |   124980 |    94332 |     4191     39 |        0 |        0
141.87/141.91	c  141s |      15 |   126170 |    95432 |     4191     39 |        0 |        0
144.07/144.18	c  143s |      15 |   127362 |    96532 |     4191     40 |        0 |        0
146.16/146.24	c  146s |      15 |   128675 |    97732 |     4191     40 |        0 |        0
148.16/148.27	c  148s |      15 |   129877 |    98832 |     4191     40 |        0 |        0
150.26/150.32	c  150s |      15 |   130969 |    99832 |     4191     41 |        0 |        0
152.46/152.51	c  152s |      15 |   132289 |   101032 |     4191     41 |        0 |        0
154.56/154.62	c  154s |      15 |   133565 |   102132 |     4191     42 |        0 |        0
156.66/156.71	c  156s |      15 |   135020 |   103432 |     4191     42 |        0 |        0
158.66/158.74	c  158s |      15 |   136241 |   104532 |     4191     42 |        0 |        0
160.86/160.95	c  160s |      15 |   137410 |   105632 |     4191     43 |        0 |        0
162.96/163.09	c  162s |      15 |   138612 |   106732 |     4191     43 |        0 |        0
165.16/165.20	c  165s |      15 |   139707 |   107732 |     4191     44 |        0 |        0
167.17/167.29	c  167s |      15 |   140806 |   108732 |     4191     44 |        0 |        0
169.26/169.35	c  169s |      15 |   142010 |   109832 |     4191     44 |        0 |        0
171.36/171.48	c  171s |      15 |   143081 |   110832 |     4191     45 |        0 |        0
173.46/173.53	c  173s |      15 |   144407 |   112032 |     4191     45 |        0 |        0
175.56/175.62	c  175s |      15 |   145762 |   113232 |     4191     46 |        0 |        0
177.66/177.70	c  177s |      15 |   147092 |   114432 |     4191     46 |        0 |        0
179.66/179.72	c  179s |      15 |   148431 |   115632 |     4191     46 |        0 |        0
181.76/181.80	c  181s |      15 |   149836 |   116832 |     4191     47 |        0 |        0
183.76/183.83	c  183s |      15 |   151285 |   118132 |     4191     47 |        0 |        0
185.76/185.89	c  185s |      15 |   152489 |   119232 |     4191     48 |        0 |        0
187.86/187.94	c  187s |      15 |   153682 |   120332 |     4191     48 |        0 |        0
190.16/190.22	c  190s |      15 |   155132 |   121632 |     4191     49 |        0 |        0
192.16/192.25	c  192s |      15 |   156331 |   122732 |     4191     49 |        0 |        0
194.25/194.39	c  194s |      15 |   157551 |   123832 |     4191     49 |        0 |        0
196.35/196.44	c  196s |      15 |   158621 |   124832 |     4191     50 |        0 |        0
198.45/198.57	c  198s |      15 |   159988 |   126032 |     4191     50 |        0 |        0
200.55/200.62	c  200s |      15 |   161079 |   127032 |     4191     50 |        0 |        0
202.66/202.73	c  202s |      15 |   162165 |   128032 |     4191     51 |        0 |        0
204.67/204.77	c  204s |      15 |   163251 |   129032 |     4191     51 |        0 |        0
206.77/206.87	c  206s |      15 |   164370 |   130032 |     4191     52 |        0 |        0
208.97/209.01	c  208s |      15 |   165828 |   131332 |     4611     52 |        0 |        0
209.36/209.44	c  209s |      16 |   166067 |   131552 |     4611     52 |        0 |        0
211.36/211.47	c  211s |      16 |   170148 |   133452 |     4611     53 |        0 |        0
213.46/213.55	c  213s |      16 |   172508 |   135452 |     4611     53 |        0 |        0
215.56/215.60	c  215s |      16 |   174237 |   136952 |     4611     54 |        0 |        0
217.56/217.67	c  217s |      16 |   176044 |   138552 |     4611     54 |        0 |        0
219.66/219.71	c  219s |      16 |   177464 |   139752 |     4611     55 |        0 |        0
221.66/221.72	c  221s |      16 |   179056 |   141152 |     4611     55 |        0 |        0
223.65/223.78	c  223s |      16 |   180385 |   142352 |     4611     55 |        0 |        0
225.75/225.81	c  225s |      16 |   182200 |   143852 |     4611     56 |        0 |        0
227.76/227.87	c  227s |      16 |   183773 |   145252 |     4611     56 |        0 |        0
229.86/229.95	c  229s |      16 |   185128 |   146452 |     4611     57 |        0 |        0
231.85/231.98	c  231s |      16 |   186569 |   147752 |     4611     57 |        0 |        0
233.95/234.00	c  233s |      16 |   187907 |   148952 |     4611     57 |        0 |        0
235.95/236.06	c  235s |      16 |   189369 |   150252 |     4611     58 |        0 |        0
238.15/238.21	c  238s |      16 |   190816 |   151552 |     4611     58 |        0 |        0
240.15/240.25	c  240s |      16 |   192038 |   152652 |     4611     59 |        0 |        0
242.25/242.38	c  242s |      16 |   193747 |   154152 |     4611     59 |        0 |        0
244.35/244.41	c  244s |      16 |   195143 |   155352 |     4611     60 |        0 |        0
246.36/246.43	c  246s |      16 |   196669 |   156652 |     4611     60 |        0 |        0
248.35/248.48	c  248s |      16 |   198144 |   157952 |     4611     60 |        0 |        0
250.45/250.54	c  250s |      16 |   199609 |   159252 |     4611     61 |        0 |        0
252.55/252.65	c  252s |      16 |   201105 |   160552 |     4611     61 |        0 |        0
254.55/254.69	c  254s |      16 |   202463 |   161752 |     4611     62 |        0 |        0
256.65/256.79	c  256s |      16 |   204052 |   163152 |     4611     62 |        0 |        0
258.74/258.81	c  258s |      16 |   205278 |   164252 |     4611     62 |        0 |        0
260.84/260.91	c  260s |      16 |   206723 |   165552 |     4611     63 |        0 |        0
262.85/262.95	c  262s |      16 |   208039 |   166752 |     4611     63 |        0 |        0
265.16/265.26	c  265s |      16 |   209300 |   167752 |     4611     64 |        0 |        0
267.36/267.43	c  267s |      16 |   211049 |   169152 |     4611     64 |        0 |        0
269.35/269.49	c  269s |      16 |   212402 |   170352 |     4611     64 |        0 |        0
271.45/271.54	c  271s |      16 |   213781 |   171552 |     4611     65 |        0 |        0
273.45/273.57	c  273s |      16 |   214795 |   172452 |     4611     65 |        0 |        0
275.55/275.67	c  275s |      16 |   215828 |   173352 |     4611     65 |        0 |        0
277.65/277.75	c  277s |      16 |   216744 |   174152 |     4611     66 |        0 |        0
279.95/280.00	c  279s |      16 |   217849 |   175152 |     4611     66 |        0 |        0
281.95/282.03	c  281s |      16 |   218784 |   175952 |     4611     66 |        0 |        0
283.95/284.08	c  283s |      16 |   219997 |   177052 |     4611     67 |        0 |        0
286.15/286.22	c  286s |      16 |   221236 |   178152 |     4611     67 |        0 |        0
288.25/288.36	c  288s |      16 |   222201 |   179052 |     4611     67 |        0 |        0
290.35/290.45	c  290s |      16 |   223083 |   179852 |     4611     67 |        0 |        0
292.44/292.54	c  292s |      16 |   223976 |   180652 |     4611     68 |        0 |        0
294.54/294.66	c  294s |      16 |   224983 |   181552 |     4611     68 |        0 |        0
296.64/296.73	c  296s |      16 |   225861 |   182352 |     4611     68 |        0 |        0
299.04/299.12	c  298s |      16 |   226739 |   183152 |     4611     69 |        0 |        0
301.14/301.22	c  301s |      16 |   228474 |   184152 |     4611     69 |        0 |        0
303.14/303.23	c  303s |      16 |   229781 |   185252 |     4611     69 |        0 |        0
305.14/305.29	c  305s |      16 |   231305 |   186552 |     4611     70 |        0 |        0
307.34/307.45	c  307s |      16 |   232785 |   187852 |     4611     70 |        0 |        0
309.54/309.68	c  309s |      16 |   233904 |   188852 |     4611     70 |        0 |        0
311.64/311.71	c  311s |      16 |   234791 |   189652 |     4611     71 |        0 |        0
313.74/313.83	c  313s |      16 |   235908 |   190652 |     4611     71 |        0 |        0
315.84/315.95	c  315s |      16 |   236896 |   191552 |     4611     71 |        0 |        0
317.94/318.04	c  317s |      16 |   237763 |   192352 |     4611     71 |        0 |        0
320.04/320.13	c  319s |      16 |   238528 |   193052 |     4611     72 |        0 |        0
322.13/322.25	c  322s |      16 |   239639 |   194052 |     4611     72 |        0 |        0
324.23/324.33	c  324s |      16 |   240877 |   195152 |     4611     72 |        0 |        0
326.33/326.46	c  326s |      16 |   241879 |   196052 |     5073     73 |        0 |        0
328.43/328.55	c  328s |      16 |   243001 |   197052 |     5073     73 |        0 |        0
329.23/329.38	c  329s |      17 |   243430 |   197432 |     5073     73 |        0 |        0
331.33/331.43	c  331s |      17 |   247230 |   199332 |     5073     73 |        0 |        0
333.34/333.46	c  333s |      17 |   248839 |   200732 |     5073     74 |        0 |        0
335.54/335.61	c  335s |      17 |   250744 |   202432 |     5073     74 |        0 |        0
337.53/337.66	c  337s |      17 |   252194 |   203732 |     5073     74 |        0 |        0
339.63/339.75	c  339s |      17 |   253547 |   204932 |     5073     75 |        0 |        0
341.64/341.78	c  341s |      17 |   254849 |   206132 |     5073     75 |        0 |        0
343.84/343.98	c  343s |      17 |   256202 |   207332 |     5073     75 |        0 |        0
345.94/346.00	c  345s |      17 |   257192 |   208232 |     5073     76 |        0 |        0
348.04/348.10	c  347s |      17 |   258387 |   209332 |     5073     76 |        0 |        0
350.14/350.23	c  350s |      17 |   259566 |   210432 |     5073     76 |        0 |        0
352.44/352.55	c  352s |      17 |   260996 |   211732 |     5073     77 |        0 |        0
354.53/354.60	c  354s |      17 |   262397 |   213032 |     5073     77 |        0 |        0
356.63/356.70	c  356s |      17 |   263625 |   214132 |     5073     77 |        0 |        0
358.64/358.71	c  358s |      17 |   264842 |   215132 |     5073     77 |        0 |        0
360.74/360.81	c  360s |      17 |   266172 |   216332 |     5073     78 |        0 |        0
362.73/362.84	c  362s |      17 |   267669 |   217632 |     5073     78 |        0 |        0
364.83/364.93	c  364s |      17 |   268992 |   218832 |     5073     78 |        0 |        0
366.94/367.07	c  366s |      17 |   270101 |   219832 |     5073     79 |        0 |        0
369.04/369.13	c  368s |      17 |   271294 |   220932 |     5073     79 |        0 |        0
371.04/371.17	c  370s |      17 |   272724 |   222132 |     5073     79 |        0 |        0
373.53/373.61	c  373s |      17 |   274045 |   223232 |     5073     80 |        0 |        0
375.63/375.76	c  375s |      17 |   275534 |   224532 |     5073     80 |        0 |        0
377.83/377.93	c  377s |      17 |   276951 |   225732 |     5073     80 |        0 |        0
379.93/380.08	c  379s |      17 |   278085 |   226732 |     5073     80 |        0 |        0
382.03/382.11	c  381s |      17 |   279268 |   227732 |     5073     81 |        0 |        0
384.13/384.22	c  384s |      17 |   280552 |   228832 |     5073     81 |        0 |        0
386.23/386.33	c  386s |      17 |   281985 |   230132 |     5073     81 |        0 |        0
388.24/388.33	c  388s |      17 |   283225 |   231232 |     5073     82 |        0 |        0
390.23/390.38	c  390s |      17 |   284688 |   232532 |     5073     82 |        0 |        0
392.33/392.43	c  392s |      17 |   285926 |   233632 |     5073     82 |        0 |        0
394.53/394.66	c  394s |      17 |   287091 |   234632 |     5073     83 |        0 |        0
396.52/396.69	c  396s |      17 |   288283 |   235732 |     5073     83 |        0 |        0
398.63/398.80	c  398s |      17 |   289409 |   236732 |     5073     83 |        0 |        0
400.93/401.01	c  400s |      17 |   290525 |   237732 |     5073     83 |        0 |        0
403.03/403.15	c  402s |      17 |   291419 |   238532 |     5073     84 |        0 |        0
405.13/405.29	c  405s |      17 |   292755 |   239732 |     5073     84 |        0 |        0
407.33/407.40	c  407s |      17 |   293735 |   240632 |     5073     84 |        0 |        0
409.43/409.55	c  409s |      17 |   294994 |   241732 |     5073     84 |        0 |        0
411.52/411.60	c  411s |      17 |   295870 |   242532 |     5073     85 |        0 |        0
413.53/413.61	c  413s |      17 |   297143 |   243632 |     5073     85 |        0 |        0
415.53/415.69	c  415s |      17 |   298354 |   244732 |     5073     85 |        0 |        0
417.63/417.72	c  417s |      17 |   299521 |   245732 |     5073     85 |        0 |        0
419.73/419.88	c  419s |      17 |   300771 |   246832 |     5073     86 |        0 |        0
421.82/421.94	c  421s |      17 |   302153 |   248032 |     5073     86 |        0 |        0
423.92/424.02	c  423s |      17 |   303376 |   249132 |     5073     86 |        0 |        0
426.12/426.22	c  426s |      17 |   304430 |   250032 |     5073     87 |        0 |        0
428.22/428.36	c  428s |      17 |   305895 |   251332 |     5073     87 |        0 |        0
430.32/430.44	c  430s |      17 |   307334 |   252532 |     5073     87 |        0 |        0
432.33/432.49	c  432s |      17 |   308580 |   253632 |     5073     87 |        0 |        0
434.43/434.56	c  434s |      17 |   309722 |   254632 |     5073     88 |        0 |        0
436.42/436.58	c  436s |      17 |   310831 |   255632 |     5073     88 |        0 |        0
438.62/438.72	c  438s |      17 |   312260 |   256832 |     5073     88 |        0 |        0
440.63/440.77	c  440s |      17 |   313383 |   257832 |     5073     89 |        0 |        0
442.82/442.92	c  442s |      17 |   314738 |   259032 |     5073     89 |        0 |        0
444.92/445.08	c  444s |      17 |   316075 |   260232 |     5073     89 |        0 |        0
447.22/447.35	c  447s |      17 |   317290 |   261332 |     5073     90 |        0 |        0
449.32/449.41	c  449s |      17 |   318408 |   262332 |     5073     90 |        0 |        0
451.32/451.47	c  451s |      17 |   319848 |   263632 |     5073     90 |        0 |        0
453.42/453.54	c  453s |      17 |   321082 |   264732 |     5073     90 |        0 |        0
455.52/455.61	c  455s |      17 |   322327 |   265832 |     5073     91 |        0 |        0
457.63/457.78	c  457s |      17 |   323647 |   267032 |     5073     91 |        0 |        0
459.83/459.92	c  459s |      17 |   324873 |   268132 |     5073     91 |        0 |        0
461.92/462.01	c  461s |      17 |   325751 |   268932 |     5073     92 |        0 |        0
463.92/464.03	c  463s |      17 |   326973 |   270032 |     5073     92 |        0 |        0
466.12/466.24	c  466s |      17 |   328298 |   271232 |     5073     92 |        0 |        0
468.11/468.28	c  468s |      17 |   329281 |   272132 |     5073     92 |        0 |        0
470.31/470.43	c  470s |      17 |   330416 |   273132 |     5073     93 |        0 |        0
472.41/472.52	c  472s |      17 |   331760 |   274332 |     5073     93 |        0 |        0
474.41/474.59	c  474s |      17 |   333018 |   275432 |     5073     93 |        0 |        0
476.51/476.68	c  476s |      17 |   334123 |   276432 |     5073     93 |        0 |        0
478.62/478.75	c  478s |      17 |   335001 |   277232 |     5073     94 |        0 |        0
480.82/480.94	c  480s |      17 |   336155 |   278232 |     5073     94 |        0 |        0
483.02/483.11	c  482s |      17 |   337292 |   279232 |     5073     94 |        0 |        0
485.22/485.32	c  485s |      17 |   338165 |   280032 |     5073     94 |        0 |        0
487.32/487.47	c  487s |      17 |   338918 |   280732 |     5073     95 |        0 |        0
489.42/489.55	c  489s |      17 |   339843 |   281532 |     5073     95 |        0 |        0
491.51/491.67	c  491s |      17 |   340835 |   282432 |     5073     95 |        0 |        0
493.51/493.68	c  493s |      17 |   342079 |   283532 |     5073     95 |        0 |        0
495.71/495.84	c  495s |      17 |   343141 |   284432 |     5073     96 |        0 |        0
497.81/497.99	c  497s |      17 |   344474 |   285632 |     5073     96 |        0 |        0
500.01/500.14	c  499s |      17 |   345578 |   286632 |     5073     96 |        0 |        0
502.11/502.30	c  502s |      17 |   346665 |   287632 |     5073     96 |        0 |        0
504.21/504.34	c  504s |      17 |   347884 |   288732 |     5073     97 |        0 |        0
506.21/506.34	c  506s |      17 |   349193 |   289932 |     5073     97 |        0 |        0
508.21/508.36	c  508s |      17 |   350387 |   291032 |     5073     97 |        0 |        0
510.32/510.48	c  510s |      17 |   351521 |   292032 |     5073     98 |        0 |        0
512.31/512.49	c  512s |      17 |   352857 |   293232 |     5073     98 |        0 |        0
514.51/514.65	c  514s |      17 |   354067 |   294332 |     5581     98 |        0 |        0
516.61/516.71	c  516s |      17 |   355060 |   295232 |     5581     98 |        0 |        0
519.01/519.12	c  518s |      17 |   356038 |   296132 |     5581     99 |        0 |        0
519.31/519.42	c  519s |      18 |   356165 |   296252 |     5581     99 |        0 |        0
521.32/521.45	c  521s |      18 |   359369 |   297952 |     5581     99 |        0 |        0
523.31/523.46	c  523s |      18 |   360971 |   299352 |     5581     99 |        0 |        0
525.41/525.52	c  525s |      18 |   362190 |   300452 |     5581    100 |        0 |        0
527.41/527.56	c  527s |      18 |   363375 |   301552 |     5581    100 |        0 |        0
529.51/529.64	c  529s |      18 |   364456 |   302552 |     5581    100 |        0 |        0
531.51/531.66	c  531s |      18 |   365427 |   303452 |     5581    100 |        0 |        0
533.61/533.70	c  533s |      18 |   366540 |   304452 |     5581    101 |        0 |        0
535.61/535.74	c  535s |      18 |   367725 |   305452 |     5581    101 |        0 |        0
537.81/537.92	c  537s |      18 |   368963 |   306552 |     5581    101 |        0 |        0
539.91/540.04	c  539s |      18 |   369947 |   307452 |     5581    102 |        0 |        0
541.91/542.10	c  541s |      18 |   371207 |   308552 |     5581    102 |        0 |        0
544.11/544.20	c  544s |      18 |   372466 |   309652 |     5581    102 |        0 |        0
546.21/546.36	c  546s |      18 |   373680 |   310752 |     5581    102 |        0 |        0
548.30/548.42	c  548s |      18 |   374864 |   311752 |     5581    103 |        0 |        0
550.40/550.50	c  550s |      18 |   376084 |   312852 |     5581    103 |        0 |        0
552.50/552.63	c  552s |      18 |   377200 |   313852 |     5581    103 |        0 |        0
554.50/554.64	c  554s |      18 |   378482 |   314952 |     5581    104 |        0 |        0
556.51/556.67	c  556s |      18 |   379806 |   316152 |     5581    104 |        0 |        0
558.71/558.82	c  558s |      18 |   381003 |   317252 |     5581    104 |        0 |        0
560.80/560.96	c  560s |      18 |   382141 |   318252 |     5581    104 |        0 |        0
562.90/563.04	c  562s |      18 |   383393 |   319352 |     5581    105 |        0 |        0
565.10/565.23	c  565s |      18 |   384732 |   320552 |     5581    105 |        0 |        0
567.20/567.31	c  567s |      18 |   385752 |   321452 |     5581    105 |        0 |        0
569.30/569.47	c  569s |      18 |   386741 |   322352 |     5581    106 |        0 |        0
571.40/571.59	c  571s |      18 |   387965 |   323452 |     5581    106 |        0 |        0
573.50/573.66	c  573s |      18 |   389106 |   324452 |     5581    106 |        0 |        0
575.70/575.90	c  575s |      18 |   390201 |   325452 |     5581    106 |        0 |        0
577.80/577.95	c  577s |      18 |   391072 |   326252 |     5581    107 |        0 |        0
579.80/579.99	c  579s |      18 |   392023 |   327152 |     5581    107 |        0 |        0
581.91/582.09	c  581s |      18 |   393010 |   328052 |     5581    107 |        0 |        0
584.10/584.27	c  584s |      18 |   393960 |   328952 |     5581    107 |        0 |        0
586.10/586.30	c  586s |      18 |   394824 |   329752 |     5581    107 |        0 |        0
588.30/588.49	c  588s |      18 |   395684 |   330552 |     5581    108 |        0 |        0
590.50/590.65	c  590s |      18 |   396792 |   331552 |     5581    108 |        0 |        0
592.50/592.68	c  592s |      18 |   397824 |   332452 |     5581    108 |        0 |        0
594.60/594.74	c  594s |      18 |   398827 |   333352 |     5581    108 |        0 |        0
596.80/596.92	c  596s |      18 |   399819 |   334252 |     5581    109 |        0 |        0
598.80/598.98	c  598s |      18 |   400779 |   335152 |     5581    109 |        0 |        0
600.99/601.10	c  600s |      18 |   401689 |   335952 |     5581    109 |        0 |        0
603.19/603.31	c  603s |      18 |   402688 |   336852 |     5581    109 |        0 |        0
605.29/605.46	c  605s |      18 |   403562 |   337652 |     5581    110 |        0 |        0
607.69/607.82	c  607s |      18 |   404592 |   338552 |     5581    110 |        0 |        0
609.69/609.84	c  609s |      18 |   405681 |   339552 |     5581    110 |        0 |        0
611.89/612.00	c  611s |      18 |   406638 |   340452 |     5581    110 |        0 |        0
613.99/614.13	c  613s |      18 |   407422 |   341152 |     5581    111 |        0 |        0
616.00/616.19	c  616s |      18 |   408227 |   341852 |     5581    111 |        0 |        0
618.20/618.35	c  618s |      18 |   409344 |   342852 |     5581    111 |        0 |        0
620.19/620.36	c  620s |      18 |   410208 |   343652 |     5581    111 |        0 |        0
622.50/622.62	c  622s |      18 |   411201 |   344552 |     5581    111 |        0 |        0
624.59/624.78	c  624s |      18 |   412216 |   345452 |     5581    112 |        0 |        0
626.79/626.94	c  626s |      18 |   413201 |   346352 |     5581    112 |        0 |        0
628.79/628.98	c  628s |      18 |   414189 |   347252 |     5581    112 |        0 |        0
630.99/631.15	c  630s |      18 |   415163 |   348152 |     5581    112 |        0 |        0
632.99/633.17	c  632s |      18 |   415930 |   348852 |     5581    113 |        0 |        0
635.09/635.20	c  635s |      18 |   417279 |   349952 |     5581    113 |        0 |        0
637.09/637.29	c  637s |      18 |   418680 |   351152 |     5581    113 |        0 |        0
639.19/639.37	c  639s |      18 |   419810 |   352152 |     5581    113 |        0 |        0
641.39/641.58	c  641s |      18 |   420959 |   353152 |     5581    114 |        0 |        0
643.40/643.60	c  643s |      18 |   421985 |   354052 |     5581    114 |        0 |        0
645.49/645.62	c  645s |      18 |   422956 |   354952 |     5581    114 |        0 |        0
647.59/647.73	c  647s |      18 |   423817 |   355752 |     5581    114 |        0 |        0
649.79/649.91	c  649s |      18 |   424823 |   356652 |     5581    115 |        0 |        0
651.89/652.05	c  651s |      18 |   425811 |   357552 |     5581    115 |        0 |        0
654.09/654.25	c  654s |      18 |   426790 |   358452 |     5581    115 |        0 |        0
656.19/656.34	c  656s |      18 |   427678 |   359252 |     5581    115 |        0 |        0
658.29/658.41	c  658s |      18 |   428559 |   360052 |     5581    116 |        0 |        0
660.49/660.62	c  660s |      18 |   429789 |   361152 |     5581    116 |        0 |        0
662.59/662.76	c  662s |      18 |   430763 |   362052 |     5581    116 |        0 |        0
664.69/664.86	c  664s |      18 |   431627 |   362852 |     5581    116 |        0 |        0
666.89/667.02	c  666s |      18 |   432394 |   363552 |     5581    116 |        0 |        0
668.89/669.04	c  668s |      18 |   433417 |   364452 |     5581    117 |        0 |        0
670.99/671.15	c  670s |      18 |   434492 |   365452 |     5581    117 |        0 |        0
673.19/673.33	c  673s |      18 |   435485 |   366352 |     5581    117 |        0 |        0
675.19/675.34	c  675s |      18 |   436352 |   367152 |     5581    117 |        0 |        0
677.19/677.37	c  677s |      18 |   437143 |   367852 |     5581    118 |        0 |        0
679.28/679.41	c  679s |      18 |   438187 |   368752 |     5581    118 |        0 |        0
681.38/681.52	c  681s |      18 |   439561 |   369952 |     5581    118 |        0 |        0
683.58/683.75	c  683s |      18 |   440807 |   371052 |     5581    118 |        0 |        0
685.78/685.92	c  685s |      18 |   441835 |   371952 |     5581    119 |        0 |        0
687.88/688.04	c  687s |      18 |   442828 |   372852 |     5581    119 |        0 |        0
689.98/690.14	c  689s |      18 |   443670 |   373652 |     5581    119 |        0 |        0
692.08/692.22	c  692s |      18 |   444433 |   374352 |     5581    119 |        0 |        0
694.38/694.55	c  694s |      18 |   445242 |   375052 |     5581    120 |        0 |        0
696.38/696.58	c  696s |      18 |   446505 |   376152 |     5581    120 |        0 |        0
698.68/698.82	c  698s |      18 |   447604 |   377152 |     5581    120 |        0 |        0
700.69/700.87	c  700s |      18 |   448466 |   377952 |     5581    120 |        0 |        0
703.08/703.26	c  703s |      18 |   449472 |   378852 |     5581    121 |        0 |        0
705.18/705.35	c  705s |      18 |   450358 |   379652 |     5581    121 |        0 |        0
707.48/707.60	c  707s |      18 |   451467 |   380652 |     5581    121 |        0 |        0
709.68/709.82	c  709s |      18 |   452373 |   381452 |     5581    121 |        0 |        0
711.78/711.93	c  711s |      18 |   453138 |   382152 |     5581    121 |        0 |        0
713.88/714.03	c  713s |      18 |   453905 |   382852 |     5581    122 |        0 |        0
715.98/716.16	c  715s |      18 |   455034 |   383852 |     5581    122 |        0 |        0
718.07/718.27	c  718s |      18 |   456150 |   384852 |     5581    122 |        0 |        0
720.17/720.36	c  720s |      18 |   457143 |   385752 |     5581    122 |        0 |        0
722.58/722.75	c  722s |      18 |   458031 |   386552 |     5581    123 |        0 |        0
724.67/724.83	c  724s |      18 |   458922 |   387352 |     5581    123 |        0 |        0
726.77/726.90	c  726s |      18 |   459800 |   388152 |     5581    123 |        0 |        0
728.77/728.94	c  728s |      18 |   460579 |   388852 |     5581    123 |        0 |        0
731.07/731.21	c  731s |      18 |   461346 |   389552 |     5581    123 |        0 |        0
733.27/733.41	c  733s |      18 |   461989 |   390152 |     5581    124 |        0 |        0
735.47/735.61	c  735s |      18 |   462767 |   390852 |     5581    124 |        0 |        0
737.67/737.80	c  737s |      18 |   463738 |   391752 |     5581    124 |        0 |        0
739.67/739.86	c  739s |      18 |   464490 |   392452 |     5581    124 |        0 |        0
741.87/742.09	c  741s |      18 |   465252 |   393152 |     5581    124 |        0 |        0
743.98/744.11	c  743s |      18 |   465882 |   393752 |     5581    124 |        0 |        0
746.08/746.23	c  746s |      18 |   467466 |   395052 |     5581    125 |        0 |        0
748.18/748.32	c  748s |      18 |   468705 |   396152 |     5581    125 |        0 |        0
750.19/750.39	c  750s |      18 |   469898 |   397252 |     5581    125 |        0 |        0
752.38/752.51	c  752s |      18 |   470970 |   398252 |     5581    126 |        0 |        0
754.48/754.64	c  754s |      18 |   472043 |   399252 |     5581    126 |        0 |        0
756.58/756.74	c  756s |      18 |   473033 |   400152 |     5581    126 |        0 |        0
758.68/758.88	c  758s |      18 |   474015 |   401052 |     5581    126 |        0 |        0
760.88/761.01	c  760s |      18 |   474868 |   401852 |     5581    127 |        0 |        0
763.08/763.20	c  763s |      18 |   475963 |   402852 |     5581    127 |        0 |        0
765.07/765.22	c  765s |      18 |   476725 |   403552 |     5581    127 |        0 |        0
767.07/767.26	c  767s |      18 |   477472 |   404252 |     5581    127 |        0 |        0
769.17/769.39	c  769s |      18 |   478331 |   405052 |     5581    127 |        0 |        0
771.27/771.41	c  771s |      18 |   479208 |   405852 |     5581    128 |        0 |        0
773.37/773.54	c  773s |      18 |   480077 |   406652 |     5581    128 |        0 |        0
775.48/775.62	c  775s |      18 |   480848 |   407352 |     5581    128 |        0 |        0
777.47/777.67	c  777s |      18 |   481501 |   407952 |     5581    128 |        0 |        0
779.47/779.69	c  779s |      18 |   482154 |   408552 |     5581    128 |        0 |        0
781.67/781.89	c  781s |      18 |   482823 |   409152 |     5581    129 |        0 |        0
783.87/784.09	c  783s |      18 |   483686 |   409952 |     5581    129 |        0 |        0
785.97/786.15	c  785s |      18 |   484467 |   410652 |     5581    129 |        0 |        0
788.17/788.37	c  788s |      18 |   485220 |   411352 |     5581    129 |        0 |        0
790.27/790.43	c  790s |      18 |   485899 |   411952 |     5581    129 |        0 |        0
792.37/792.59	c  792s |      18 |   487037 |   412952 |     5581    130 |        0 |        0
794.47/794.66	c  794s |      18 |   488142 |   413952 |     5581    130 |        0 |        0
796.67/796.84	c  796s |      18 |   489221 |   414952 |     5581    130 |        0 |        0
798.67/798.84	c  798s |      18 |   490143 |   415752 |     5581    130 |        0 |        0
800.67/800.88	c  800s |      18 |   491266 |   416752 |     5581    131 |        0 |        0
802.77/802.90	c  802s |      18 |   492489 |   417852 |     5581    131 |        0 |        0
804.96/805.10	c  804s |      18 |   493526 |   418752 |     5581    131 |        0 |        0
806.96/807.17	c  806s |      18 |   494526 |   419652 |     5581    131 |        0 |        0
808.96/809.17	c  808s |      18 |   495339 |   420352 |     5581    132 |        0 |        0
811.06/811.28	c  811s |      18 |   496571 |   421452 |     5581    132 |        0 |        0
813.36/813.51	c  813s |      18 |   497664 |   422452 |     5581    132 |        0 |        0
815.36/815.54	c  815s |      18 |   498536 |   423252 |     5581    132 |        0 |        0
817.46/817.64	c  817s |      18 |   499275 |   423952 |     5581    133 |        0 |        0
819.47/819.65	c  819s |      18 |   500265 |   424852 |     5581    133 |        0 |        0
821.57/821.75	c  821s |      18 |   501256 |   425752 |     5581    133 |        0 |        0
823.66/823.89	c  823s |      18 |   502484 |   426852 |     5581    133 |        0 |        0
825.76/825.99	c  825s |      18 |   503384 |   427652 |     5581    134 |        0 |        0
827.86/828.03	c  827s |      18 |   504647 |   428752 |     5581    134 |        0 |        0
829.96/830.18	c  829s |      18 |   505748 |   429752 |     5581    134 |        0 |        0
832.06/832.25	c  832s |      18 |   506752 |   430652 |     5581    134 |        0 |        0
834.06/834.25	c  834s |      18 |   507608 |   431452 |     5581    135 |        0 |        0
836.16/836.39	c  836s |      18 |   508597 |   432352 |     5581    135 |        0 |        0
838.36/838.59	c  838s |      18 |   509690 |   433352 |     5581    135 |        0 |        0
840.66/840.84	c  840s |      18 |   510671 |   434252 |     5581    135 |        0 |        0
842.86/843.09	c  842s |      18 |   511659 |   435152 |     5581    135 |        0 |        0
845.06/845.23	c  845s |      18 |   512998 |   436252 |     5581    136 |        0 |        0
847.16/847.35	c  847s |      18 |   514311 |   437452 |     5581    136 |        0 |        0
849.25/849.46	c  849s |      18 |   515393 |   438452 |     5581    136 |        0 |        0
851.45/851.60	c  851s |      18 |   516535 |   439452 |     5581    137 |        0 |        0
853.56/853.78	c  853s |      18 |   517871 |   440652 |     5581    137 |        0 |        0
855.66/855.85	c  855s |      18 |   518872 |   441552 |     6140    137 |        0 |        0
857.86/858.01	c  857s |      18 |   519938 |   442552 |     6140    137 |        0 |        0
859.85/860.06	c  859s |      18 |   520806 |   443352 |     6140    138 |        0 |        0
861.95/862.15	c  861s |      18 |   521931 |   444352 |     6140    138 |        0 |        0
862.26/862.42	c  862s |      19 |   522079 |   444482 |     6140    138 |        0 |        0
864.35/864.50	c  864s |      19 |   526527 |   446582 |     6140    138 |        0 |        0
866.35/866.57	c  866s |      19 |   528558 |   448182 |     6140    139 |        0 |        0
868.45/868.65	c  868s |      19 |   531071 |   450082 |     6140    139 |        0 |        0
870.45/870.65	c  870s |      19 |   533125 |   451782 |     6140    139 |        0 |        0
872.45/872.68	c  872s |      19 |   534967 |   453282 |     6140    140 |        0 |        0
874.65/874.82	c  874s |      19 |   536929 |   454882 |     6140    140 |        0 |        0
876.75/876.90	c  876s |      19 |   538737 |   456382 |     6140    140 |        0 |        0
878.85/879.03	c  878s |      19 |   540580 |   457882 |     6140    141 |        0 |        0
880.85/881.10	c  880s |      19 |   542071 |   459182 |     6140    141 |        0 |        0
883.04/883.25	c  883s |      19 |   543592 |   460482 |     6140    141 |        0 |        0
885.14/885.31	c  885s |      19 |   544987 |   461682 |     6140    142 |        0 |        0
887.14/887.37	c  887s |      19 |   546618 |   463082 |     6140    142 |        0 |        0
889.34/889.54	c  889s |      19 |   548116 |   464382 |     6140    142 |        0 |        0
891.44/891.70	c  891s |      19 |   549247 |   465382 |     6140    143 |        0 |        0
893.54/893.71	c  893s |      19 |   550524 |   466482 |     6140    143 |        0 |        0
895.64/895.86	c  895s |      19 |   552010 |   467782 |     6140    143 |        0 |        0
897.84/898.07	c  897s |      19 |   553487 |   468982 |     6140    143 |        0 |        0
900.14/900.30	c  900s |      19 |   554484 |   469882 |     6140    144 |        0 |        0
902.13/902.39	c  902s |      19 |   556081 |   471282 |     6140    144 |        0 |        0
904.23/904.47	c  904s |      19 |   557618 |   472582 |     6140    144 |        0 |        0
906.43/906.63	c  906s |      19 |   558849 |   473682 |     6140    144 |        0 |        0
908.43/908.65	c  908s |      19 |   560618 |   474782 |     6140    145 |        0 |        0
910.52/910.71	c  910s |      19 |   562232 |   476082 |     6140    145 |        0 |        0
912.62/912.84	c  912s |      19 |   563768 |   477382 |     6140    145 |        0 |        0
914.73/914.94	c  914s |      19 |   565318 |   478582 |     6140    146 |        0 |        0
916.83/917.06	c  916s |      19 |   566934 |   479882 |     6140    146 |        0 |        0
918.93/919.18	c  918s |      19 |   568608 |   481182 |     6140    146 |        0 |        0
921.02/921.20	c  921s |      19 |   570083 |   482382 |     6140    146 |        0 |        0
923.12/923.35	c  923s |      19 |   571485 |   483582 |     6140    147 |        0 |        0
925.12/925.36	c  925s |      19 |   572862 |   484782 |     6140    147 |        0 |        0
927.23/927.44	c  927s |      19 |   574204 |   485982 |     6140    147 |        0 |        0
929.33/929.53	c  929s |      19 |   575356 |   486982 |     6140    148 |        0 |        0
931.41/931.64	c  931s |      19 |   576707 |   488182 |     6140    148 |        0 |        0
933.61/933.80	c  933s |      19 |   578120 |   489382 |     6140    148 |        0 |        0
935.71/935.96	c  935s |      19 |   579483 |   490582 |     6140    148 |        0 |        0
937.81/938.03	c  937s |      19 |   580515 |   491482 |     6140    149 |        0 |        0
940.11/940.30	c  940s |      19 |   581889 |   492682 |     6140    149 |        0 |        0
942.11/942.38	c  942s |      19 |   583298 |   493882 |     6140    149 |        0 |        0
944.21/944.47	c  944s |      19 |   584436 |   494882 |     6140    149 |        0 |        0
946.30/946.50	c  946s |      19 |   585365 |   495682 |     6140    150 |        0 |        0
948.40/948.64	c  948s |      19 |   586602 |   496782 |     6140    150 |        0 |        0
950.41/950.68	c  950s |      19 |   587620 |   497682 |     6140    150 |        0 |        0
952.60/952.87	c  952s |      19 |   588629 |   498582 |     6140    150 |        0 |        0
954.71/954.98	c  954s |      19 |   589780 |   499582 |     6140    150 |        0 |        0
956.70/957.00	c  956s |      19 |   590693 |   500382 |     6140    151 |        0 |        0
958.80/959.05	c  958s |      19 |   591829 |   501382 |     6140    151 |        0 |        0
960.90/961.12	c  960s |      19 |   592827 |   502282 |     6140    151 |        0 |        0
962.99/963.26	c  963s |      19 |   593730 |   503082 |     6140    151 |        0 |        0
965.10/965.30	c  965s |      19 |   594840 |   503982 |     6140    151 |        0 |        0
967.10/967.32	c  967s |      19 |   595867 |   504882 |     6140    152 |        0 |        0
969.09/969.32	c  969s |      19 |   597165 |   505982 |     6140    152 |        0 |        0
971.19/971.41	c  971s |      19 |   598187 |   506882 |     6140    152 |        0 |        0
973.30/973.57	c  973s |      19 |   599205 |   507782 |     6140    152 |        0 |        0
975.50/975.74	c  975s |      19 |   600094 |   508582 |     6140    153 |        0 |        0
977.79/978.03	c  977s |      19 |   601084 |   509482 |     6140    153 |        0 |        0
979.89/980.14	c  979s |      19 |   602029 |   510282 |     6140    153 |        0 |        0
982.09/982.33	c  982s |      19 |   602891 |   510982 |     6140    153 |        0 |        0
984.19/984.48	c  984s |      19 |   604110 |   511982 |     6140    153 |        0 |        0
986.38/986.60	c  986s |      19 |   605118 |   512882 |     6140    153 |        0 |        0
988.38/988.63	c  988s |      19 |   606037 |   513682 |     6140    154 |        0 |        0
990.48/990.72	c  990s |      19 |   607072 |   514582 |     6140    154 |        0 |        0
992.58/992.86	c  992s |      19 |   608233 |   515582 |     6140    154 |        0 |        0
994.78/995.03	c  994s |      19 |   609236 |   516482 |     6140    154 |        0 |        0
996.98/997.25	c  997s |      19 |   610144 |   517282 |     6140    155 |        0 |        0
999.08/999.33	c  999s |      19 |   611318 |   518282 |     6140    155 |        0 |        0
1001.07/1001.38	c 1001s |      19 |   612347 |   519182 |     6140    155 |        0 |        0
1003.27/1003.54	c 1003s |      19 |   613249 |   519982 |     6140    155 |        0 |        0
1005.48/1005.76	c 1005s |      19 |   614233 |   520882 |     6140    155 |        0 |        0
1007.77/1008.03	c 1007s |      19 |   615019 |   521582 |     6140    156 |        0 |        0
1009.97/1010.21	c 1010s |      19 |   616032 |   522482 |     6140    156 |        0 |        0
1012.17/1012.40	c 1012s |      19 |   617141 |   523482 |     6140    156 |        0 |        0
1014.27/1014.53	c 1014s |      19 |   618144 |   524382 |     6140    156 |        0 |        0
1016.47/1016.75	c 1016s |      19 |   619019 |   525182 |     6140    156 |        0 |        0
1018.57/1018.88	c 1018s |      19 |   619898 |   525982 |     6140    157 |        0 |        0
1020.57/1020.89	c 1020s |      19 |   620664 |   526682 |     6140    157 |        0 |        0
1022.77/1023.06	c 1022s |      19 |   621545 |   527482 |     6140    157 |        0 |        0
1024.87/1025.14	c 1024s |      19 |   622990 |   528482 |     6140    157 |        0 |        0
1026.96/1027.22	c 1027s |      19 |   624163 |   529482 |     6140    157 |        0 |        0
1028.96/1029.24	c 1029s |      19 |   625586 |   530682 |     6140    158 |        0 |        0
1031.06/1031.35	c 1031s |      19 |   627111 |   531982 |     6140    158 |        0 |        0
1033.16/1033.45	c 1033s |      19 |   628501 |   533182 |     6140    158 |        0 |        0
1035.26/1035.57	c 1035s |      19 |   629622 |   534182 |     6140    158 |        0 |        0
1037.35/1037.61	c 1037s |      19 |   630800 |   535182 |     6140    159 |        0 |        0
1039.36/1039.67	c 1039s |      19 |   632170 |   536382 |     6140    159 |        0 |        0
1041.45/1041.76	c 1041s |      19 |   633275 |   537382 |     6140    159 |        0 |        0
1043.55/1043.90	c 1043s |      19 |   634488 |   538282 |     6140    159 |        0 |        0
1045.65/1045.98	c 1045s |      19 |   635665 |   539282 |     6140    160 |        0 |        0
1047.75/1048.07	c 1047s |      19 |   636751 |   540282 |     6140    160 |        0 |        0
1049.85/1050.12	c 1049s |      19 |   637870 |   541282 |     6140    160 |        0 |        0
1051.94/1052.25	c 1052s |      19 |   639055 |   542282 |     6140    160 |        0 |        0
1054.14/1054.42	c 1054s |      19 |   640186 |   543282 |     6140    161 |        0 |        0
1056.24/1056.56	c 1056s |      19 |   641481 |   544382 |     6140    161 |        0 |        0
1058.44/1058.76	c 1058s |      19 |   642672 |   545482 |     6140    161 |        0 |        0
1060.45/1060.77	c 1060s |      19 |   643708 |   546382 |     6140    161 |        0 |        0
1062.94/1063.22	c 1063s |      19 |   644808 |   547382 |     6140    162 |        0 |        0
1064.94/1065.23	c 1065s |      19 |   646063 |   548482 |     6140    162 |        0 |        0
1067.04/1067.35	c 1067s |      19 |   647267 |   549582 |     6140    162 |        0 |        0
1069.04/1069.39	c 1069s |      19 |   648251 |   550482 |     6140    162 |        0 |        0
1071.24/1071.51	c 1071s |      19 |   649382 |   551482 |     6140    162 |        0 |        0
1073.23/1073.57	c 1073s |      19 |   650515 |   552482 |     6140    163 |        0 |        0
1075.33/1075.64	c 1075s |      19 |   651728 |   553482 |     6140    163 |        0 |        0
1077.53/1077.85	c 1077s |      19 |   652806 |   554382 |     6140    163 |        0 |        0
1079.63/1079.92	c 1079s |      19 |   653738 |   555182 |     6140    163 |        0 |        0
1082.02/1082.38	c 1082s |      19 |   654647 |   555982 |     6140    164 |        0 |        0
1084.12/1084.49	c 1084s |      19 |   655546 |   556782 |     6140    164 |        0 |        0
1086.23/1086.59	c 1086s |      19 |   656606 |   557682 |     6140    164 |        0 |        0
1088.33/1088.62	c 1088s |      19 |   657527 |   558482 |     6140    164 |        0 |        0
1090.43/1090.75	c 1090s |      19 |   658589 |   559382 |     6140    164 |        0 |        0
1092.82/1093.16	c 1092s |      19 |   659649 |   560282 |     6140    165 |        0 |        0
1095.02/1095.33	c 1095s |      19 |   660580 |   561082 |     6140    165 |        0 |        0
1097.02/1097.38	c 1097s |      19 |   661635 |   561982 |     6140    165 |        0 |        0
1099.32/1099.66	c 1099s |      19 |   662650 |   562882 |     6140    165 |        0 |        0
1101.42/1101.75	c 1101s |      19 |   663432 |   563582 |     6140    165 |        0 |        0
1103.41/1103.77	c 1103s |      19 |   664369 |   564382 |     6140    165 |        0 |        0
1105.61/1105.91	c 1105s |      19 |   665278 |   565182 |     6140    166 |        0 |        0
1107.62/1107.93	c 1107s |      19 |   666312 |   566082 |     6140    166 |        0 |        0
1109.82/1110.15	c 1109s |      19 |   667352 |   566982 |     6140    166 |        0 |        0
1111.91/1112.22	c 1112s |      19 |   668308 |   567782 |     6140    166 |        0 |        0
1113.91/1114.29	c 1114s |      19 |   669247 |   568582 |     6140    166 |        0 |        0
1116.00/1116.33	c 1116s |      19 |   670035 |   569282 |     6140    167 |        0 |        0
1118.10/1118.46	c 1118s |      19 |   671073 |   570182 |     6140    167 |        0 |        0
1120.40/1120.72	c 1120s |      19 |   672097 |   571082 |     6140    167 |        0 |        0
1122.41/1122.75	c 1122s |      19 |   672848 |   571782 |     6140    167 |        0 |        0
1124.70/1125.06	c 1124s |      19 |   673755 |   572582 |     6140    167 |        0 |        0
1126.80/1127.16	c 1126s |      19 |   674397 |   573182 |     6140    168 |        0 |        0
1129.10/1129.40	c 1129s |      19 |   675267 |   573982 |     6140    168 |        0 |        0
1131.10/1131.47	c 1131s |      19 |   676536 |   574982 |     6140    168 |        0 |        0
1133.10/1133.48	c 1133s |      19 |   677589 |   575882 |     6140    168 |        0 |        0
1135.30/1135.63	c 1135s |      19 |   678646 |   576782 |     6140    168 |        0 |        0
1137.39/1137.78	c 1137s |      19 |   679558 |   577582 |     6140    169 |        0 |        0
1139.50/1139.81	c 1139s |      19 |   680535 |   578482 |     6140    169 |        0 |        0
1141.50/1141.84	c 1141s |      19 |   681349 |   579182 |     6140    169 |        0 |        0
1143.70/1144.04	c 1143s |      19 |   682128 |   579882 |     6140    169 |        0 |        0
1145.90/1146.23	c 1146s |      19 |   682785 |   580482 |     6140    169 |        0 |        0
1148.20/1148.50	c 1148s |      19 |   683448 |   581082 |     6140    169 |        0 |        0
1150.59/1150.91	c 1150s |      19 |   684113 |   581682 |     6140    170 |        0 |        0
1152.60/1152.92	c 1152s |      19 |   685360 |   582682 |     6140    170 |        0 |        0
1154.80/1155.11	c 1154s |      19 |   686910 |   583982 |     6140    170 |        0 |        0
1156.79/1157.19	c 1156s |      19 |   688223 |   585082 |     6140    170 |        0 |        0
1158.89/1159.28	c 1159s |      19 |   689327 |   585982 |     6140    171 |        0 |        0
1160.98/1161.33	c 1161s |      19 |   690626 |   587082 |     6140    171 |        0 |        0
1163.08/1163.47	c 1163s |      19 |   691804 |   588082 |     6140    171 |        0 |        0
1165.38/1165.70	c 1165s |      19 |   692828 |   588982 |     6140    171 |        0 |        0
1167.48/1167.87	c 1167s |      19 |   693821 |   589882 |     6140    171 |        0 |        0
1169.58/1169.99	c 1169s |      19 |   694619 |   590582 |     6140    172 |        0 |        0
1171.87/1172.24	c 1172s |      19 |   695674 |   591482 |     6140    172 |        0 |        0
1174.08/1174.45	c 1174s |      19 |   696875 |   592482 |     6140    172 |        0 |        0
1176.38/1176.71	c 1176s |      19 |   697798 |   593282 |     6140    172 |        0 |        0
1178.58/1178.94	c 1178s |      19 |   698775 |   594082 |     6140    172 |        0 |        0
1180.77/1181.10	c 1180s |      19 |   699608 |   594782 |     6140    173 |        0 |        0
1182.97/1183.30	c 1183s |      19 |   700616 |   595682 |     6140    173 |        0 |        0
1184.98/1185.32	c 1185s |      19 |   701385 |   596382 |     6140    173 |        0 |        0
1186.98/1187.38	c 1187s |      19 |   702310 |   597182 |     6140    173 |        0 |        0
1189.27/1189.61	c 1189s |      19 |   703105 |   597882 |     6140    173 |        0 |        0
1191.37/1191.72	c 1191s |      19 |   704229 |   598782 |     6140    173 |        0 |        0
1193.46/1193.88	c 1193s |      19 |   705144 |   599582 |     6140    174 |        0 |        0
1195.56/1195.92	c 1195s |      19 |   706283 |   600582 |     6140    174 |        0 |        0
1197.77/1198.15	c 1197s |      19 |   707409 |   601582 |     6140    174 |        0 |        0
1199.87/1200.27	c 1200s |      19 |   708435 |   602482 |     6140    174 |        0 |        0
1202.16/1202.54	c 1202s |      19 |   709364 |   603282 |     6140    175 |        0 |        0
1204.27/1204.64	c 1204s |      19 |   710362 |   604182 |     6140    175 |        0 |        0
1206.37/1206.79	c 1206s |      19 |   711372 |   605082 |     6140    175 |        0 |        0
1208.66/1209.02	c 1208s |      19 |   712516 |   606082 |     6140    175 |        0 |        0
1210.76/1211.15	c 1210s |      19 |   713502 |   606982 |     6140    175 |        0 |        0
1213.06/1213.40	c 1213s |      19 |   714292 |   607682 |     6140    176 |        0 |        0
1215.17/1215.58	c 1215s |      19 |   715446 |   608682 |     6140    176 |        0 |        0
1217.26/1217.60	c 1217s |      19 |   716476 |   609582 |     6140    176 |        0 |        0
1219.36/1219.79	c 1219s |      19 |   717470 |   610482 |     6140    176 |        0 |        0
1221.55/1221.91	c 1221s |      19 |   718348 |   611282 |     6140    176 |        0 |        0
1223.65/1224.05	c 1223s |      19 |   719252 |   612082 |     6140    177 |        0 |        0
1225.75/1226.17	c 1225s |      19 |   720243 |   612982 |     6140    177 |        0 |        0
1227.95/1228.38	c 1228s |      19 |   721282 |   613882 |     6140    177 |        0 |        0
1230.35/1230.76	c 1230s |      19 |   722189 |   614682 |     6140    177 |        0 |        0
1232.34/1232.78	c 1232s |      19 |   723342 |   615682 |     6140    177 |        0 |        0
1234.44/1234.89	c 1234s |      19 |   724301 |   616482 |     6140    178 |        0 |        0
1236.64/1237.03	c 1236s |      19 |   725760 |   617682 |     6140    178 |        0 |        0
1238.74/1239.16	c 1238s |      19 |   726803 |   618582 |     6140    178 |        0 |        0
1240.84/1241.21	c 1241s |      19 |   727587 |   619282 |     6140    178 |        0 |        0
1242.94/1243.37	c 1243s |      19 |   728241 |   619882 |     6140    178 |        0 |        0
1245.24/1245.67	c 1245s |      19 |   729032 |   620582 |     6140    179 |        0 |        0
1247.34/1247.76	c 1247s |      19 |   730108 |   621482 |     6140    179 |        0 |        0
1249.44/1249.86	c 1249s |      19 |   731119 |   622382 |     6140    179 |        0 |        0
1251.74/1252.11	c 1251s |      19 |   732275 |   623382 |     6140    179 |        0 |        0
1253.94/1254.31	c 1254s |      19 |   733210 |   624182 |     6140    179 |        0 |        0
1256.24/1256.69	c 1256s |      19 |   734013 |   624882 |     6140    180 |        0 |        0
1258.24/1258.69	c 1258s |      19 |   734942 |   625682 |     6140    180 |        0 |        0
1260.43/1260.85	c 1260s |      19 |   735983 |   626582 |     6140    180 |        0 |        0
1262.44/1262.89	c 1262s |      19 |   736799 |   627282 |     6140    180 |        0 |        0
1264.63/1265.05	c 1264s |      19 |   737589 |   627982 |     6140    180 |        0 |        0
1266.84/1267.28	c 1267s |      19 |   738498 |   628782 |     6140    180 |        0 |        0
1269.14/1269.58	c 1269s |      19 |   739412 |   629582 |     6140    181 |        0 |        0
1271.33/1271.74	c 1271s |      19 |   740572 |   630582 |     6140    181 |        0 |        0
1273.53/1273.93	c 1273s |      19 |   741575 |   631482 |     6140    181 |        0 |        0
1275.63/1276.05	c 1275s |      19 |   742746 |   632382 |     6140    181 |        0 |        0
1277.72/1278.19	c 1277s |      19 |   743710 |   633182 |     6140    181 |        0 |        0
1279.82/1280.22	c 1280s |      19 |   744633 |   633982 |     6140    182 |        0 |        0
1281.92/1282.36	c 1282s |      19 |   745656 |   634882 |     6140    182 |        0 |        0
1284.02/1284.42	c 1284s |      19 |   746704 |   635782 |     6140    182 |        0 |        0
1286.02/1286.47	c 1286s |      19 |   747753 |   636682 |     6140    182 |        0 |        0
1288.22/1288.60	c 1288s |      19 |   748649 |   637482 |     6140    182 |        0 |        0
1290.32/1290.76	c 1290s |      19 |   749471 |   638182 |     6140    183 |        0 |        0
1292.52/1292.90	c 1292s |      19 |   750626 |   639182 |     6140    183 |        0 |        0
1294.52/1294.96	c 1294s |      19 |   751675 |   640082 |     6140    183 |        0 |        0
1296.62/1297.05	c 1296s |      19 |   752688 |   640982 |     6140    183 |        0 |        0
1298.72/1299.13	c 1298s |      19 |   753679 |   641882 |     6140    183 |        0 |        0
1300.92/1301.39	c 1301s |      19 |   754563 |   642682 |     6140    184 |        0 |        0
1303.11/1303.58	c 1303s |      19 |   755464 |   643482 |     6140    184 |        0 |        0
1305.32/1305.77	c 1305s |      19 |   756363 |   644282 |     6140    184 |        0 |        0
1307.41/1307.82	c 1307s |      19 |   757249 |   645082 |     6140    184 |        0 |        0
1309.61/1310.06	c 1309s |      19 |   758145 |   645882 |     6140    184 |        0 |        0
1311.71/1312.16	c 1311s |      19 |   758804 |   646482 |     6140    185 |        0 |        0
1313.81/1314.21	c 1314s |      19 |   759715 |   647282 |     6140    185 |        0 |        0
1315.91/1316.36	c 1316s |      19 |   760848 |   648282 |     6140    185 |        0 |        0
1318.11/1318.59	c 1318s |      19 |   761989 |   649282 |     6140    185 |        0 |        0
1320.41/1320.87	c 1320s |      19 |   762951 |   650082 |     6140    185 |        0 |        0
1322.70/1323.15	c 1322s |      19 |   763795 |   650782 |     6140    186 |        0 |        0
1325.00/1325.40	c 1325s |      19 |   764729 |   651582 |     6140    186 |        0 |        0
1327.10/1327.50	c 1327s |      19 |   765628 |   652382 |     6140    186 |        0 |        0
1329.20/1329.64	c 1329s |      19 |   766895 |   653482 |     6140    186 |        0 |        0
1331.40/1331.83	c 1331s |      19 |   768076 |   654482 |     6140    186 |        0 |        0
1333.60/1334.00	c 1333s |      19 |   769006 |   655282 |     6140    187 |        0 |        0
1335.70/1336.15	c 1335s |      19 |   770024 |   656182 |     6140    187 |        0 |        0
1337.89/1338.38	c 1338s |      19 |   770947 |   656982 |     6140    187 |        0 |        0
1339.99/1340.49	c 1340s |      19 |   771765 |   657682 |     6140    187 |        0 |        0
1342.09/1342.59	c 1342s |      19 |   772697 |   658482 |     6140    187 |        0 |        0
1344.29/1344.72	c 1344s |      19 |   773494 |   659182 |     6140    187 |        0 |        0
1346.40/1346.87	c 1346s |      19 |   774267 |   659882 |     6140    188 |        0 |        0
1348.49/1348.96	c 1348s |      19 |   775162 |   660682 |     6140    188 |        0 |        0
1350.59/1351.02	c 1350s |      19 |   776077 |   661482 |     6140    188 |        0 |        0
1352.79/1353.29	c 1353s |      19 |   776963 |   662282 |     6755    188 |        0 |        0
1354.99/1355.44	c 1355s |      19 |   777749 |   662982 |     6755    188 |        0 |        0
1357.09/1357.52	c 1357s |      19 |   778523 |   663682 |     6755    188 |        0 |        0
1359.08/1359.57	c 1359s |      19 |   779498 |   664382 |     6755    189 |        0 |        0
1361.18/1361.65	c 1361s |      19 |   780849 |   665482 |     6755    189 |        0 |        0
1363.38/1363.84	c 1363s |      19 |   781929 |   666382 |     6755    189 |        0 |        0
1364.39/1364.87	c 1364s |      20 |   782463 |   666827 |     6755    189 |        0 |        0
1366.48/1366.97	c 1366s |      20 |   786662 |   668027 |     6755    190 |        0 |        0
1368.68/1369.11	c 1368s |      20 |   788302 |   669527 |     6755    190 |        0 |        0
1370.68/1371.13	c 1370s |      20 |   789740 |   670827 |     6755    190 |        0 |        0
1372.78/1373.26	c 1373s |      20 |   790954 |   671927 |     6755    190 |        0 |        0
1374.88/1375.36	c 1375s |      20 |   792034 |   672927 |     6755    191 |        0 |        0
1376.98/1377.47	c 1377s |      20 |   793122 |   673927 |     6755    191 |        0 |        0
1379.09/1379.53	c 1379s |      20 |   794290 |   674927 |     6755    191 |        0 |        0
1381.28/1381.72	c 1381s |      20 |   795393 |   675927 |     6755    191 |        0 |        0
1383.38/1383.81	c 1383s |      20 |   796369 |   676827 |     6755    192 |        0 |        0
1385.48/1385.93	c 1385s |      20 |   797461 |   677827 |     6755    192 |        0 |        0
1387.58/1388.06	c 1387s |      20 |   798538 |   678827 |     6755    192 |        0 |        0
1389.68/1390.12	c 1389s |      20 |   799522 |   679727 |     6755    192 |        0 |        0
1391.77/1392.25	c 1392s |      20 |   800487 |   680627 |     6755    192 |        0 |        0
1393.77/1394.26	c 1394s |      20 |   801262 |   681327 |     6755    193 |        0 |        0
1395.87/1396.34	c 1396s |      20 |   802242 |   682227 |     6755    193 |        0 |        0
1398.07/1398.56	c 1398s |      20 |   803311 |   683227 |     6755    193 |        0 |        0
1400.27/1400.77	c 1400s |      20 |   804323 |   684127 |     6755    193 |        0 |        0
1402.46/1402.99	c 1402s |      20 |   805341 |   685027 |     6755    194 |        0 |        0
1404.56/1405.05	c 1404s |      20 |   806337 |   685927 |     6755    194 |        0 |        0
1406.76/1407.24	c 1407s |      20 |   807406 |   686927 |     6755    194 |        0 |        0
1408.86/1409.39	c 1409s |      20 |   808503 |   687927 |     6755    194 |        0 |        0
1411.06/1411.53	c 1411s |      20 |   809478 |   688827 |     6755    194 |        0 |        0
1413.16/1413.68	c 1413s |      20 |   810352 |   689627 |     6755    195 |        0 |        0
1415.26/1415.76	c 1415s |      20 |   811571 |   690727 |     6755    195 |        0 |        0
1417.36/1417.87	c 1417s |      20 |   812664 |   691727 |     6755    195 |        0 |        0
1419.46/1419.99	c 1419s |      20 |   813419 |   692427 |     6755    195 |        0 |        0
1421.65/1422.17	c 1421s |      20 |   814271 |   693227 |     6755    195 |        0 |        0
1423.85/1424.37	c 1424s |      20 |   815141 |   694027 |     6755    196 |        0 |        0
1426.05/1426.54	c 1426s |      20 |   816366 |   695127 |     6755    196 |        0 |        0
1428.15/1428.69	c 1428s |      20 |   817440 |   696127 |     6755    196 |        0 |        0
1430.35/1430.86	c 1430s |      20 |   818522 |   697127 |     6755    196 |        0 |        0
1432.35/1432.87	c 1432s |      20 |   819416 |   697927 |     6755    196 |        0 |        0
1434.55/1435.03	c 1434s |      20 |   820408 |   698827 |     6755    197 |        0 |        0
1436.54/1437.08	c 1436s |      20 |   821636 |   699927 |     6755    197 |        0 |        0
1438.64/1439.17	c 1438s |      20 |   822624 |   700827 |     6755    197 |        0 |        0
1440.84/1441.34	c 1441s |      20 |   823577 |   701727 |     6755    197 |        0 |        0
1442.94/1443.45	c 1443s |      20 |   824448 |   702527 |     6755    198 |        0 |        0
1444.94/1445.46	c 1445s |      20 |   825437 |   703427 |     6755    198 |        0 |        0
1447.04/1447.56	c 1447s |      20 |   826394 |   704327 |     6755    198 |        0 |        0
1449.14/1449.60	c 1449s |      20 |   827270 |   705127 |     6755    198 |        0 |        0
1451.13/1451.65	c 1451s |      20 |   828258 |   706027 |     6755    198 |        0 |        0
1453.33/1453.87	c 1453s |      20 |   829244 |   706927 |     6755    199 |        0 |        0
1455.43/1455.91	c 1455s |      20 |   830295 |   707927 |     6755    199 |        0 |        0
1457.43/1457.95	c 1457s |      20 |   831260 |   708827 |     6755    199 |        0 |        0
1459.53/1460.06	c 1459s |      20 |   832418 |   709827 |     6755    199 |        0 |        0
1461.53/1462.06	c 1461s |      20 |   833641 |   710927 |     6755    199 |        0 |        0
1463.63/1464.17	c 1463s |      20 |   834770 |   711927 |     6755    200 |        0 |        0
1465.73/1466.20	c 1466s |      20 |   835862 |   712927 |     6755    200 |        0 |        0
1467.83/1468.39	c 1468s |      20 |   836870 |   713827 |     6755    200 |        0 |        0
1470.03/1470.52	c 1470s |      20 |   837815 |   714727 |     6755    200 |        0 |        0
1472.03/1472.54	c 1472s |      20 |   838565 |   715427 |     6755    201 |        0 |        0
1474.13/1474.62	c 1474s |      20 |   839661 |   716427 |     6755    201 |        0 |        0
1476.22/1476.75	c 1476s |      20 |   840861 |   717527 |     6755    201 |        0 |        0
1478.22/1478.76	c 1478s |      20 |   841840 |   718427 |     6755    201 |        0 |        0
1480.42/1480.99	c 1480s |      20 |   842722 |   719227 |     6755    201 |        0 |        0
1482.52/1483.05	c 1482s |      20 |   843491 |   719927 |     6755    202 |        0 |        0
1484.62/1485.12	c 1484s |      20 |   844641 |   720927 |     6755    202 |        0 |        0
1486.72/1487.29	c 1487s |      20 |   845822 |   721927 |     6755    202 |        0 |        0
1488.92/1489.44	c 1489s |      20 |   846829 |   722827 |     6755    202 |        0 |        0
1491.01/1491.54	c 1491s |      20 |   847822 |   723727 |     6755    202 |        0 |        0
1493.11/1493.68	c 1493s |      20 |   848810 |   724627 |     6755    203 |        0 |        0
1495.31/1495.89	c 1495s |      20 |   849932 |   725627 |     6755    203 |        0 |        0
1497.51/1498.09	c 1497s |      20 |   850889 |   726527 |     6755    203 |        0 |        0
1499.81/1500.31	c 1500s |      20 |   851880 |   727427 |     6755    203 |        0 |        0
1501.81/1502.39	c 1502s |      20 |   852748 |   728227 |     6755    203 |        0 |        0
1504.01/1504.53	c 1504s |      20 |   853504 |   728927 |     6755    204 |        0 |        0
1506.11/1506.67	c 1506s |      20 |   854348 |   729727 |     6755    204 |        0 |        0
1508.31/1508.83	c 1508s |      20 |   855308 |   730627 |     6755    204 |        0 |        0
1510.51/1511.04	c 1510s |      20 |   856286 |   731527 |     6755    204 |        0 |        0
1512.50/1513.06	c 1512s |      20 |   857074 |   732227 |     6755    204 |        0 |        0
1514.50/1515.08	c 1514s |      20 |   857989 |   733027 |     6755    205 |        0 |        0
1516.70/1517.20	c 1517s |      20 |   859075 |   734027 |     6755    205 |        0 |        0
1518.71/1519.29	c 1519s |      20 |   860158 |   735027 |     6755    205 |        0 |        0
1520.90/1521.44	c 1521s |      20 |   861167 |   735927 |     6755    205 |        0 |        0
1523.00/1523.51	c 1523s |      20 |   862063 |   736727 |     6755    205 |        0 |        0
1525.09/1525.62	c 1525s |      20 |   862939 |   737527 |     6755    206 |        0 |        0
1527.19/1527.78	c 1527s |      20 |   863924 |   738427 |     6755    206 |        0 |        0
1529.19/1529.78	c 1529s |      20 |   865022 |   739427 |     6755    206 |        0 |        0
1531.29/1531.85	c 1531s |      20 |   866007 |   740327 |     6755    206 |        0 |        0
1533.39/1533.90	c 1533s |      20 |   866993 |   741227 |     6755    206 |        0 |        0
1535.39/1535.90	c 1535s |      20 |   867844 |   742027 |     6755    207 |        0 |        0
1537.40/1537.91	c 1537s |      20 |   868961 |   743027 |     6755    207 |        0 |        0
1539.50/1540.02	c 1539s |      20 |   869837 |   743827 |     6755    207 |        0 |        0
1541.49/1542.08	c 1541s |      20 |   870722 |   744627 |     6755    207 |        0 |        0
1543.59/1544.17	c 1543s |      20 |   871648 |   745427 |     6755    207 |        0 |        0
1545.79/1546.30	c 1546s |      20 |   872533 |   746227 |     6755    208 |        0 |        0
1547.79/1548.30	c 1548s |      20 |   873442 |   747027 |     6755    208 |        0 |        0
1549.89/1550.43	c 1550s |      20 |   874315 |   747827 |     6755    208 |        0 |        0
1551.99/1552.53	c 1552s |      20 |   875581 |   748927 |     6755    208 |        0 |        0
1554.00/1554.57	c 1554s |      20 |   876632 |   749827 |     6755    208 |        0 |        0
1556.10/1556.60	c 1556s |      20 |   877606 |   750627 |     6755    209 |        0 |        0
1558.10/1558.65	c 1558s |      20 |   878623 |   751527 |     6755    209 |        0 |        0
1560.20/1560.77	c 1560s |      20 |   879509 |   752327 |     6755    209 |        0 |        0
1562.20/1562.79	c 1562s |      20 |   880429 |   753127 |     6755    209 |        0 |        0
1564.30/1564.89	c 1564s |      20 |   881477 |   754027 |     6755    209 |        0 |        0
1566.30/1566.89	c 1566s |      20 |   882515 |   754927 |     6755    210 |        0 |        0
1568.49/1569.05	c 1568s |      20 |   883510 |   755827 |     6755    210 |        0 |        0
1570.69/1571.28	c 1571s |      20 |   884552 |   756727 |     6755    210 |        0 |        0
1572.79/1573.36	c 1573s |      20 |   885544 |   757627 |     6755    210 |        0 |        0
1574.99/1575.54	c 1575s |      20 |   886448 |   758427 |     6755    210 |        0 |        0
1577.19/1577.77	c 1577s |      20 |   887457 |   759327 |     6755    211 |        0 |        0
1579.29/1579.89	c 1579s |      20 |   888340 |   760127 |     6755    211 |        0 |        0
1581.49/1582.08	c 1581s |      20 |   889351 |   761027 |     6755    211 |        0 |        0
1583.69/1584.22	c 1584s |      20 |   890267 |   761827 |     6755    211 |        0 |        0
1585.80/1586.33	c 1586s |      20 |   891165 |   762627 |     6755    211 |        0 |        0
1588.00/1588.55	c 1588s |      20 |   892062 |   763427 |     6755    212 |        0 |        0
1590.10/1590.69	c 1590s |      20 |   893194 |   764427 |     6755    212 |        0 |        0
1592.19/1592.70	c 1592s |      20 |   894067 |   765227 |     6755    212 |        0 |        0
1594.19/1594.75	c 1594s |      20 |   894832 |   765927 |     6755    212 |        0 |        0
1596.39/1596.98	c 1596s |      20 |   895812 |   766827 |     6755    212 |        0 |        0
1598.59/1599.14	c 1598s |      20 |   896676 |   767627 |     6755    213 |        0 |        0
1600.69/1601.22	c 1601s |      20 |   897655 |   768527 |     6755    213 |        0 |        0
1602.79/1603.30	c 1603s |      20 |   898628 |   769427 |     6755    213 |        0 |        0
1604.79/1605.32	c 1605s |      20 |   899503 |   770227 |     6755    213 |        0 |        0
1606.79/1607.33	c 1607s |      20 |   900242 |   770927 |     6755    213 |        0 |        0
1608.79/1609.36	c 1609s |      20 |   900934 |   771527 |     6755    214 |        0 |        0
1610.99/1611.51	c 1611s |      20 |   901899 |   772427 |     6755    214 |        0 |        0
1613.09/1613.65	c 1613s |      20 |   903058 |   773427 |     6755    214 |        0 |        0
1615.19/1615.78	c 1615s |      20 |   904275 |   774527 |     6755    214 |        0 |        0
1617.29/1617.84	c 1617s |      20 |   905270 |   775427 |     6755    214 |        0 |        0
1619.49/1620.02	c 1619s |      20 |   906174 |   776227 |     6755    215 |        0 |        0
1621.49/1622.07	c 1621s |      20 |   907148 |   777127 |     6755    215 |        0 |        0
1623.59/1624.13	c 1623s |      20 |   908017 |   777927 |     6755    215 |        0 |        0
1625.58/1626.14	c 1625s |      20 |   908809 |   778627 |     6755    215 |        0 |        0
1627.78/1628.33	c 1628s |      20 |   909663 |   779427 |     6755    215 |        0 |        0
1629.98/1630.51	c 1630s |      20 |   910562 |   780227 |     6755    216 |        0 |        0
1632.08/1632.67	c 1632s |      20 |   911326 |   780927 |     6755    216 |        0 |        0
1634.28/1634.85	c 1634s |      20 |   912446 |   781927 |     6755    216 |        0 |        0
1636.48/1637.07	c 1636s |      20 |   913439 |   782827 |     6755    216 |        0 |        0
1638.68/1639.22	c 1639s |      20 |   914418 |   783727 |     6755    216 |        0 |        0
1640.79/1641.34	c 1641s |      20 |   915425 |   784627 |     6755    217 |        0 |        0
1642.89/1643.47	c 1643s |      20 |   916400 |   785527 |     6755    217 |        0 |        0
1645.09/1645.69	c 1645s |      20 |   917382 |   786427 |     6755    217 |        0 |        0
1647.18/1647.71	c 1647s |      20 |   918249 |   787227 |     6755    217 |        0 |        0
1649.38/1649.99	c 1649s |      20 |   919196 |   788127 |     6755    217 |        0 |        0
1651.69/1652.29	c 1652s |      20 |   919947 |   788827 |     6755    218 |        0 |        0
1653.78/1654.31	c 1654s |      20 |   920819 |   789627 |     6755    218 |        0 |        0
1655.78/1656.34	c 1656s |      20 |   921825 |   790527 |     6755    218 |        0 |        0
1657.88/1658.45	c 1658s |      20 |   923057 |   791627 |     6755    218 |        0 |        0
1659.88/1660.48	c 1660s |      20 |   924047 |   792527 |     6755    218 |        0 |        0
1662.08/1662.67	c 1662s |      20 |   924916 |   793327 |     6755    219 |        0 |        0
1664.28/1664.89	c 1664s |      20 |   926107 |   794427 |     6755    219 |        0 |        0
1666.28/1666.89	c 1666s |      20 |   927106 |   795327 |     6755    219 |        0 |        0
1668.38/1668.98	c 1668s |      20 |   927990 |   796127 |     6755    219 |        0 |        0
1670.58/1671.18	c 1670s |      20 |   928957 |   797027 |     6755    219 |        0 |        0
1672.77/1673.36	c 1673s |      20 |   929825 |   797827 |     6755    220 |        0 |        0
1674.97/1675.54	c 1675s |      20 |   930689 |   798627 |     6755    220 |        0 |        0
1676.98/1677.55	c 1677s |      20 |   931561 |   799427 |     6755    220 |        0 |        0
1679.07/1679.60	c 1679s |      20 |   932557 |   800227 |     6755    220 |        0 |        0
1681.27/1681.84	c 1681s |      20 |   933609 |   801127 |     6755    220 |        0 |        0
1683.37/1683.91	c 1683s |      20 |   934388 |   801827 |     6755    221 |        0 |        0
1685.37/1685.92	c 1685s |      20 |   935706 |   802927 |     6755    221 |        0 |        0
1687.47/1688.07	c 1687s |      20 |   936958 |   804027 |     6755    221 |        0 |        0
1689.57/1690.18	c 1689s |      20 |   938247 |   805127 |     6755    221 |        0 |        0
1691.77/1692.32	c 1692s |      20 |   939275 |   806027 |     6755    221 |        0 |        0
1693.87/1694.42	c 1694s |      20 |   940401 |   807027 |     6755    222 |        0 |        0
1695.97/1696.59	c 1696s |      20 |   941629 |   808127 |     6755    222 |        0 |        0
1698.07/1698.68	c 1698s |      20 |   942871 |   809227 |     6755    222 |        0 |        0
1700.18/1700.72	c 1700s |      20 |   943853 |   810127 |     6755    222 |        0 |        0
1702.17/1702.80	c 1702s |      20 |   944846 |   811027 |     6755    223 |        0 |        0
1704.37/1704.92	c 1704s |      20 |   946068 |   812127 |     6755    223 |        0 |        0
1706.57/1707.10	c 1706s |      20 |   947187 |   813127 |     6755    223 |        0 |        0
1708.57/1709.18	c 1708s |      20 |   948332 |   814127 |     6755    223 |        0 |        0
1710.77/1711.38	c 1711s |      20 |   949321 |   815027 |     6755    224 |        0 |        0
1712.87/1713.45	c 1713s |      20 |   950519 |   816127 |     6755    224 |        0 |        0
1714.97/1715.55	c 1715s |      20 |   951653 |   817127 |     6755    224 |        0 |        0
1716.97/1717.56	c 1717s |      20 |   952656 |   818027 |     6755    224 |        0 |        0
1719.17/1719.71	c 1719s |      20 |   953641 |   818927 |     6755    224 |        0 |        0
1721.37/1721.91	c 1721s |      20 |   954719 |   819927 |     6755    225 |        0 |        0
1723.47/1724.06	c 1723s |      20 |   955688 |   820827 |     6755    225 |        0 |        0
1725.57/1726.10	c 1725s |      20 |   956804 |   821827 |     6755    225 |        0 |        0
1727.57/1728.17	c 1727s |      20 |   957816 |   822727 |     6755    225 |        0 |        0
1729.57/1730.19	c 1729s |      20 |   958819 |   823627 |     6755    226 |        0 |        0
1731.86/1732.42	c 1732s |      20 |   959919 |   824627 |     6755    226 |        0 |        0
1733.86/1734.46	c 1734s |      20 |   960882 |   825527 |     6755    226 |        0 |        0
1736.17/1736.78	c 1736s |      20 |   961793 |   826327 |     6755    226 |        0 |        0
1738.27/1738.82	c 1738s |      20 |   962669 |   827127 |     6755    226 |        0 |        0
1740.27/1740.87	c 1740s |      20 |   963416 |   827827 |     6755    227 |        0 |        0
1742.57/1743.10	c 1742s |      20 |   964512 |   828827 |     6755    227 |        0 |        0
1744.67/1745.24	c 1745s |      20 |   965514 |   829727 |     6755    227 |        0 |        0
1746.77/1747.32	c 1747s |      20 |   966509 |   830627 |     6755    227 |        0 |        0
1748.87/1749.44	c 1749s |      20 |   967629 |   831627 |     6755    227 |        0 |        0
1751.27/1751.83	c 1751s |      20 |   968615 |   832527 |     6755    228 |        0 |        0
1753.27/1753.86	c 1753s |      20 |   969604 |   833427 |     6755    228 |        0 |        0
1755.47/1756.08	c 1755s |      20 |   970582 |   834327 |     6755    228 |        0 |        0
1757.66/1758.22	c 1758s |      20 |   971560 |   835227 |     6755    228 |        0 |        0
1759.76/1760.30	c 1760s |      20 |   972429 |   836027 |     6755    228 |        0 |        0
1761.77/1762.31	c 1762s |      20 |   973193 |   836727 |     6755    229 |        0 |        0
1763.87/1764.49	c 1764s |      20 |   974413 |   837827 |     6755    229 |        0 |        0
1765.96/1766.50	c 1766s |      20 |   975396 |   838727 |     6755    229 |        0 |        0
1768.16/1768.75	c 1768s |      20 |   976302 |   839527 |     6755    229 |        0 |        0
1770.36/1770.98	c 1770s |      20 |   977175 |   840327 |     6755    229 |        0 |        0
1772.56/1773.11	c 1772s |      20 |   977914 |   841027 |     6755    230 |        0 |        0
1774.66/1775.23	c 1775s |      20 |   978781 |   841827 |     6755    230 |        0 |        0
1776.66/1777.24	c 1777s |      20 |   979752 |   842727 |     6755    230 |        0 |        0
1778.76/1779.35	c 1779s |      20 |   980747 |   843627 |     6755    230 |        0 |        0
1780.96/1781.50	c 1781s |      20 |   981614 |   844427 |     6755    230 |        0 |        0
1783.16/1783.75	c 1783s |      20 |   982357 |   845127 |     6755    231 |        0 |        0
1785.46/1786.05	c 1785s |      20 |   983324 |   846027 |     6755    231 |        0 |        0
1787.46/1788.07	c 1787s |      20 |   984298 |   846927 |     6755    231 |        0 |        0
1789.66/1790.28	c 1790s |      20 |   985257 |   847827 |     6755    231 |        0 |        0
1791.86/1792.46	c 1792s |      20 |   986233 |   848727 |     6755    231 |        0 |        0
1793.96/1794.53	c 1794s |      20 |   986996 |   849427 |     6755    232 |        0 |        0
1796.06/1796.66	c 1796s |      20 |   988078 |   850427 |     6755    232 |        0 |        0
1798.16/1798.78	c 1798s |      20 |   989044 |   851327 |     6755    232 |        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-4093319-1466080772/watcher-4093319-1466080772 -o /tmp/evaluation-result-4093319-1466080772/solver-4093319-1466080772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093319-1466080772.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.20 2.12 3/179 14113
/proc/meminfo: memFree=30006452/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=547260 CPUtime=0 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 2012 0 0 0 0 0 0 0 20 0 4 0 10126178 560394240 2372 33554432000 4194304 16246674 140736749512896 140736749512320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 137583 2380 441 2943 0 134477 0
[pid=14113/tid=14114] ppid=14110 vsize=564668 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 578220032 2440 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=568764 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 582414336 2456 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=573884 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10126178 587657216 2473 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.27 2.20 2.12 3/179 14113
/proc/meminfo: memFree=30006452/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 25508 0 0 0 6 2 0 0 20 0 4 0 10126178 1247350784 25862 33554432000 4194304 16246674 140736749512896 140736749512320 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 304529 25871 607 2943 0 301423 0
[pid=14113/tid=14114] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 25878 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 25885 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 25891 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200533 s]
/proc/loadavg: 2.27 2.20 2.12 3/179 14113
/proc/meminfo: memFree=30006452/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 48928 0 0 0 13 5 0 0 20 0 4 0 10126178 1247350784 49274 33554432000 4194304 16246674 140736749512896 140736749512320 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 304529 49283 810 2943 0 301423 0
[pid=14113/tid=14114] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 49291 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 49296 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 49304 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.27 2.20 2.12 3/179 14113
/proc/meminfo: memFree=30006452/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 77070 0 0 0 20 8 0 0 20 0 4 0 10126178 1247350784 77417 33554432000 4194304 16246674 140736749512896 140736749512320 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 304529 77441 810 2943 0 301423 0
[pid=14113/tid=14114] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 77453 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 77468 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10126178 1247350784 77477 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700417 s]
/proc/loadavg: 2.27 2.20 2.12 3/179 14113
/proc/meminfo: memFree=30006452/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1221188 CPUtime=0.68 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 147795 0 0 0 50 18 0 0 20 0 4 0 10126178 1250496512 148119 33554432000 4194304 16246674 140736749512896 140736749512208 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 305297 148137 870 2943 0 302191 0
[pid=14113/tid=14114] ppid=14110 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1250496512 148149 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1250496512 148159 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1250496512 148167 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.50036 s]
/proc/loadavg: 2.27 2.20 2.12 3/183 14117
/proc/meminfo: memFree=28940592/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1307204 CPUtime=1.48 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 267803 0 0 0 116 32 0 0 20 0 4 0 10126178 1338576896 268127 33554432000 4194304 16246674 140736749512896 140736749494784 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 326801 268127 870 2943 0 323695 0
[pid=14113/tid=14114] ppid=14110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1338576896 268127 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1338576896 268127 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1338576896 268127 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.27 2.20 2.12 3/183 14117
/proc/meminfo: memFree=28934368/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1308228 CPUtime=3.08 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 267980 0 0 0 276 32 0 0 20 0 4 0 10126178 1339625472 268304 33554432000 4194304 16246674 140736749512896 140736749494784 5808141 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 327057 268304 874 2943 0 323951 0
[pid=14113/tid=14114] ppid=14110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1339625472 268304 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1339625472 268304 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1339625472 268304 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1308228

[startup+6.30039 s]
/proc/loadavg: 2.25 2.19 2.12 3/183 14117
/proc/meminfo: memFree=28931792/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 268434 0 0 0 596 33 0 0 20 0 4 0 10126178 1340674048 268758 33554432000 4194304 16246674 140736749512896 140736749494784 12483212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 327313 268758 875 2943 0 324207 0
[pid=14113/tid=14114] ppid=14110 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1340674048 268758 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1340674048 268758 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1340674048 268758 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.23 2.19 2.12 3/183 14117
/proc/meminfo: memFree=28931220/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 268570 0 0 0 1236 33 0 0 20 0 4 0 10126178 1341722624 268894 33554432000 4194304 16246674 140736749512896 140736749512072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 327569 268894 875 2943 0 324463 0
[pid=14113/tid=14114] ppid=14110 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1341722624 268894 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1341722624 268894 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1341722624 268894 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.32 2.21 2.13 3/183 14117
/proc/meminfo: memFree=28922676/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1318468 CPUtime=25.48 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 270533 0 0 0 2515 33 0 0 20 0 4 0 10126178 1350111232 270857 33554432000 4194304 16246674 140736749512896 140736749494784 5823905 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 329617 270857 875 2943 0 326511 0
[pid=14113/tid=14114] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 270857 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 270857 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 270857 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1004 s]
/proc/loadavg: 2.21 2.19 2.12 3/184 14120
/proc/meminfo: memFree=28922256/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 270738 0 0 0 5075 33 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140736749494784 13191364 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 329617 271062 875 2943 0 326511 0
[pid=14113/tid=14114] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.20 2.19 2.12 3/183 14122
/proc/meminfo: memFree=28914372/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 270738 0 0 0 10193 35 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140736749512072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 329617 271062 875 2943 0 326511 0
[pid=14113/tid=14114] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1350111232 271062 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1331780

[startup+1302.3 s]
/proc/loadavg: 2.20 2.18 2.13 3/184 14174
/proc/meminfo: memFree=28892220/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1301.91 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274370 0 0 0 130116 75 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140736749494784 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274393 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.11 2.16 2.12 3/183 14176
/proc/meminfo: memFree=28893228/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1361.88 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274409 0 0 0 136109 79 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140736749494784 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274393 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.14 2.16 2.12 4/183 14177
/proc/meminfo: memFree=28886688/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1421.86 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274448 0 0 0 142106 80 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140736749494784 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274393 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274393 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.20 2.17 2.12 3/183 14178
/proc/meminfo: memFree=28885848/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1481.82 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274494 0 0 0 148101 81 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.14 2.15 2.12 3/183 14179
/proc/meminfo: memFree=28885788/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1541.8 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274518 0 0 0 154099 81 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.15 2.15 2.12 3/183 14180
/proc/meminfo: memFree=28886040/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1601.79 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274518 0 0 0 160097 82 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 5677492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.29 2.18 2.13 3/183 14182
/proc/meminfo: memFree=28885920/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1661.78 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274518 0 0 0 166096 82 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.15 2.16 2.12 3/183 14183
/proc/meminfo: memFree=28878620/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1721.77 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274518 0 0 0 172095 82 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 12875566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.36 2.22 2.14 3/183 14233
/proc/meminfo: memFree=28915368/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1781.76 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274518 0 0 0 178093 83 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 6016320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.26 2.20 2.14 3/183 14233
/proc/meminfo: memFree=28911276/32872528 swapFree=876280/941688
[pid=14113] ppid=14110 vsize=1331780 CPUtime=1800.06 cores=1,3,5,7
/proc/14113/stat : 14113 (toysat) R 14110 14113 7213 0 -1 4202496 274518 0 0 0 179923 83 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140736749494784 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14113/statm: 332945 274394 875 2943 0 329839 0
[pid=14113/tid=14114] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14114/stat : 14114 (toysat) S 14110 14113 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172540751088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14113/tid=14115] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14115/stat : 14115 (toysat) S 14110 14113 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172530261232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14113/tid=14116] ppid=14110 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/14113/task/14116/stat : 14116 (toysat) S 14110 14113 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10126178 1363742720 274394 33554432000 4194304 16246674 140736749512896 140172519787696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1331780

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.24
CPU system time (s): 0.834873
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.834873
maximum resident set size= 1097576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274518
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= 465
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72413 second user time and 7.79181 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 14:39:32
IDJOB=4093319
IDBENCH=78698
IDSOLVER=2553
FILE ID=node113/4093319-1466080772
RUNJOBID= node113-1466075295-13239
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr--soft-66-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-4093319-1466080772/watcher-4093319-1466080772 -o /tmp/evaluation-result-4093319-1466080772/solver-4093319-1466080772 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13239 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093319-1466080772.wbo

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

MD5SUM BENCH= fb4b4aad89d54269a5ce80fb177bfc09
RANDOM SEED=931530284

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30006724 kB
Buffers:           29440 kB
Cached:           108076 kB
SwapCached:         2160 kB
Active:          1165272 kB
Inactive:          57652 kB
Active(anon):    1086060 kB
Inactive(anon):     1612 kB
Active(file):      79212 kB
Inactive(file):    56040 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16412 kB
Writeback:            32 kB
AnonPages:       2026020 kB
Mapped:            10608 kB
Shmem:                 0 kB
Slab:             567304 kB
SReclaimable:      11308 kB
SUnreclaim:       555996 kB
KernelStack:        1464 kB
PageTables:         7704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2173220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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 node113 at 2016-06-16 15:09:33