Trace number 4093637

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM95c5d91e3a0ca992efaa2a36118a1c06
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.49262
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints160
Number of constraints which are clauses90
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 constraint45
Top cost 8094
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 8093
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T17:32:03+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093637-1466091123.wbo"]
0.00/0.01	c use --random-gen="2155625273 2093659292 2591913254 1099811272 724637940 1779228340 2921935518 316217749 4061383472 3556194566 1775693510 4183132947 3427326814 2881732958 515293937 2054425380 1905913617 3188567998 3802414380 706626620 812505527 1195677204 3930898846 667899799 3930832384 1806060227 2274365699 434097389 3612554544 1448971089 2369289364 1606676572 2377354289 311619276 1383076801 1035205985 2647784353 3795832627 3821881484 2107019171 1131452021 335780962 3136126066 1712714477 1045503596 1195535863 859593047 1390004530 2228602437 3280950855 1375401840 1779855369 1938218702 3863855457 3186294041 4013284225 3935873121 3174473017 958569986 296041690 1202970741 3613191598 668339200 287201727 4255664530 1610583283 3206123438 1469919789 1167649043 2681064951 607506431 836704181 2304749454 4251420130 2796360788 3951624145 1907933717 760401501 4201963453 2811819921 4219226822 1719002698 1119518585 2510547271 1350001288 3582334567 2714600459 4066529878 270596397 2033227816 3867739955 1856044315 4076535113 1792195023 1521038367 2652617764 3279707579 1148099129 1689401437 2413276351 2221177549 3330807171 3331405198 563416494 1421117736 2675483779 1514232719 767907900 133286083 891824308 2637380184 891220820 760964206 2512108162 2012898119 4027826387 3225945913 2089768227 1110062157 2489810027 121474642 1273583210 4247905733 1841724854 1544393499 1391403808 3408651833 2458065526 2046516326 4290889491 3335004565 3687990427 2923427088 2108351963 3247567508 816102937 2975724965 1872847217 2080871444 2861131558 9858656 2896162588 2068786525 937196831 3271154159 2513771017 1375336168 1351688499 1989784318 3958549620 416358912 3410797293 1391165830 585302219 2076235316 4144829779 3312324518 4285716360 400790726 3773995153 2475784315 265058642 2036673960 2603235712 1558376270 3282892953 2930627570 1618354974 1976008659 720540866 2508224137 2989493322 2464758578 1687332206 2937379234 3515570185 4227319777 3863015336 1133821669 2556691323 904063532 2358721250 1947601836 3510690011 1633623644 2558638630 2690889394 2002140865 2293595071 1158854949 1685072991 91494136 83957253 679931314 1684690588 3654049408 4202259292 1167685673 234244983 2354281768 479876819 4219504951 3374366114 2012464269 1356513032 2741184273 3004506239 3381968101 354228070 1414601470 3726431433 154479248 2573596465 532208340 1770560172 1537715489 3571678755 1409033001 1371574073 3678373370 2009535417 1906626467 3142809551 1563877504 3942044061 4287018278 2086884253 1041384924 1102144361 3579706652 2589805533 2000183633 3815302111 3878117026 2628808993 1754791759 4258685232 1906635353 1369163296 3112368005 257473812 1213736515 2481079298 1168040471 1399091948 196413460 186740228 1948692706 1527247501 3389260462 3713624177 1549232435 2114523732 2338095426 3293364634 416911366 255 362436" option to reproduce the execution
0.08/0.15	c #vars 3150
0.08/0.15	c #constraints 160
0.08/0.17	c BCD2: Hardening is enabled.
0.08/0.17	c BCD2: BiasedSearch is enabled.
0.08/0.17	c Solving starts ...
0.08/0.17	c ============================[ Search Statistics ]============================
0.08/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.17	c =============================================================================
0.08/0.17	c  0.0s |       0 |        0 |        0 |     1156      0 |        0 |        0
0.08/0.18	c  0.0s |       0 |      230 |        0 |     1156      0 |        0 |        0
0.08/0.18	c #cpu_time = 0.004s
0.08/0.18	c #wall_clock_time = 0.004s
0.08/0.18	c #decision = 230
0.08/0.18	c #random_decision = 0
0.08/0.18	c #conflict = 0
0.08/0.18	c #restart = 0
0.08/0.18	o 4380
0.08/0.18	c BCD2: updating upper bound: 8093 -> 4379
0.08/0.18	c BCD2: 0 <= obj <= 4379
0.08/0.18	c BCD2: #cores=0, #unrelaxed=160, #relaxed=0, #hardened=0
0.08/0.18	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.18	c Solving starts ...
0.08/0.18	c ============================[ Search Statistics ]============================
0.08/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.18	c =============================================================================
0.08/0.18	c  0.0s |       0 |        0 |        0 |     1156      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |      309 |      100 |     1156      0 |        0 |        0
0.19/0.29	c  0.1s |       2 |     1079 |      250 |     1272      0 |        0 |        0
0.39/0.41	c  0.2s |       3 |     2300 |      475 |     1400      0 |        0 |        0
0.58/0.67	c  0.5s |       4 |     3690 |      813 |     1541      0 |        0 |        0
0.98/1.09	c  0.9s |       5 |     5167 |     1320 |     1696      0 |        0 |        0
1.79/1.82	c  1.6s |       6 |     6899 |     2081 |     2053      0 |        0 |        0
3.19/3.23	c  3.1s |       7 |     9760 |     3223 |     2259      1 |        0 |        0
5.09/5.11	c  4.9s |       8 |    12984 |     4936 |     2485      1 |        0 |        0
7.09/7.13	c  6.9s |       8 |    16564 |     6436 |     2485      2 |        0 |        0
8.99/9.06	c  8.9s |       9 |    17756 |     7506 |     2734      3 |        0 |        0
11.09/11.16	c 11.0s |       9 |    21230 |     9006 |     2734      3 |        0 |        0
13.29/13.33	c 13.2s |       9 |    22758 |    10206 |     2734      4 |        0 |        0
15.28/15.35	c 15.2s |       9 |    23960 |    11106 |     2734      4 |        0 |        0
15.88/15.98	c 15.8s |      10 |    24274 |    11361 |     3008      4 |        0 |        0
17.98/18.00	c 17.8s |      10 |    26930 |    12961 |     3008      5 |        0 |        0
19.98/20.08	c 19.9s |      10 |    29661 |    15061 |     3008      7 |        0 |        0
22.09/22.14	c 22.0s |      10 |    31934 |    16961 |     3008      8 |        0 |        0
22.28/22.35	c 22.2s |      11 |    32137 |    17144 |     3309      8 |        0 |        0
24.29/24.39	c 24.2s |      11 |    35616 |    19044 |     3309      8 |        0 |        0
26.39/26.48	c 26.3s |      11 |    37535 |    20744 |     3309      9 |        0 |        0
28.48/28.59	c 28.4s |      11 |    39075 |    22144 |     3309      9 |        0 |        0
30.58/30.63	c 30.5s |      11 |    40621 |    23544 |     3309     10 |        0 |        0
32.68/32.75	c 32.6s |      11 |    42209 |    24944 |     3309     11 |        0 |        0
33.88/33.97	c 33.8s |      12 |    43171 |    25819 |     3640     11 |        0 |        0
35.98/36.02	c 35.8s |      12 |    46341 |    27219 |     3640     11 |        0 |        0
38.08/38.18	c 38.0s |      12 |    48355 |    28519 |     3640     12 |        0 |        0
40.18/40.27	c 40.1s |      12 |    49813 |    29619 |     3640     12 |        0 |        0
42.38/42.40	c 42.2s |      12 |    51018 |    30619 |     3640     13 |        0 |        0
44.38/44.41	c 44.2s |      12 |    52020 |    31519 |     3640     13 |        0 |        0
46.38/46.44	c 46.3s |      12 |    53049 |    32419 |     3640     13 |        0 |        0
48.49/48.55	c 48.4s |      12 |    54091 |    33319 |     3640     14 |        0 |        0
50.69/50.73	c 50.6s |      12 |    55207 |    34319 |     3640     14 |        0 |        0
52.78/52.88	c 52.7s |      12 |    56189 |    35219 |     3640     14 |        0 |        0
54.78/54.89	c 54.7s |      12 |    57056 |    36019 |     3640     15 |        0 |        0
56.98/57.08	c 56.9s |      12 |    58200 |    37019 |     3640     15 |        0 |        0
59.08/59.18	c 59.0s |      12 |    59794 |    38419 |     3640     16 |        0 |        0
59.68/59.78	c 59.6s |      13 |    60259 |    38832 |     4005     16 |        0 |        0
61.77/61.89	c 61.7s |      13 |    62885 |    40232 |     4005     16 |        0 |        0
63.88/63.97	c 63.8s |      13 |    64244 |    41432 |     4005     17 |        0 |        0
66.08/66.14	c 66.0s |      13 |    65566 |    42632 |     4005     17 |        0 |        0
68.07/68.19	c 68.0s |      13 |    66657 |    43632 |     4005     17 |        0 |        0
70.27/70.32	c 70.1s |      13 |    67884 |    44732 |     4005     18 |        0 |        0
72.47/72.50	c 72.3s |      13 |    69102 |    45832 |     4005     18 |        0 |        0
74.67/74.72	c 74.5s |      13 |    70073 |    46732 |     4005     19 |        0 |        0
76.67/76.72	c 76.5s |      13 |    71300 |    47832 |     4005     19 |        0 |        0
78.77/78.84	c 78.7s |      13 |    72395 |    48832 |     4005     19 |        0 |        0
80.87/80.90	c 80.7s |      13 |    73531 |    49832 |     4005     20 |        0 |        0
82.97/83.02	c 82.8s |      13 |    75022 |    51132 |     4005     20 |        0 |        0
85.07/85.14	c 85.0s |      13 |    76364 |    52332 |     4005     21 |        0 |        0
87.17/87.24	c 87.1s |      13 |    77853 |    53632 |     4005     21 |        0 |        0
89.18/89.24	c 89.1s |      13 |    79047 |    54732 |     4005     21 |        0 |        0
91.38/91.43	c 91.2s |      13 |    80137 |    55732 |     4005     22 |        0 |        0
93.48/93.58	c 93.4s |      13 |    81243 |    56732 |     4005     22 |        0 |        0
95.68/95.72	c 95.5s |      13 |    82371 |    57732 |     4005     22 |        0 |        0
96.97/97.07	c 96.9s |      14 |    83079 |    58352 |     4406     23 |        0 |        0
99.08/99.19	c 99.0s |      14 |    87212 |    60352 |     4406     23 |        0 |        0
101.07/101.20	c  101s |      14 |    88792 |    61752 |     4406     24 |        0 |        0
103.27/103.35	c  103s |      14 |    90328 |    63152 |     4406     24 |        0 |        0
105.37/105.46	c  105s |      14 |    91653 |    64352 |     4406     25 |        0 |        0
107.37/107.50	c  107s |      14 |    93089 |    65552 |     4406     25 |        0 |        0
109.48/109.52	c  109s |      14 |    94258 |    66552 |     4406     25 |        0 |        0
111.58/111.63	c  111s |      14 |    95285 |    67452 |     4406     25 |        0 |        0
113.57/113.68	c  113s |      14 |    96339 |    68352 |     4406     26 |        0 |        0
115.67/115.76	c  115s |      14 |    97658 |    69452 |     4406     26 |        0 |        0
117.78/117.85	c  117s |      14 |    98939 |    70552 |     4406     26 |        0 |        0
119.77/119.87	c  119s |      14 |   100019 |    71452 |     4406     27 |        0 |        0
121.97/122.01	c  121s |      14 |   101153 |    72452 |     4406     27 |        0 |        0
124.17/124.21	c  124s |      14 |   102299 |    73452 |     4406     27 |        0 |        0
126.27/126.37	c  126s |      14 |   103378 |    74452 |     4406     28 |        0 |        0
128.47/128.57	c  128s |      14 |   104358 |    75352 |     4406     28 |        0 |        0
130.57/130.69	c  130s |      14 |   105661 |    76452 |     4406     28 |        0 |        0
132.77/132.85	c  132s |      14 |   106650 |    77352 |     4406     29 |        0 |        0
135.07/135.12	c  134s |      14 |   107787 |    78352 |     4406     29 |        0 |        0
137.07/137.14	c  136s |      14 |   108882 |    79352 |     4406     29 |        0 |        0
139.27/139.33	c  139s |      14 |   109906 |    80252 |     4406     30 |        0 |        0
141.47/141.54	c  141s |      14 |   111009 |    81252 |     4406     30 |        0 |        0
143.57/143.68	c  143s |      14 |   111994 |    82152 |     4406     30 |        0 |        0
145.86/145.92	c  145s |      14 |   112855 |    82952 |     4406     30 |        0 |        0
148.06/148.17	c  147s |      14 |   113721 |    83752 |     4406     31 |        0 |        0
150.06/150.19	c  150s |      14 |   114607 |    84552 |     4406     31 |        0 |        0
152.16/152.23	c  152s |      14 |   115510 |    85352 |     4406     31 |        0 |        0
154.26/154.36	c  154s |      14 |   116428 |    86152 |     4406     31 |        0 |        0
156.27/156.37	c  156s |      14 |   117548 |    87152 |     4847     32 |        0 |        0
157.27/157.31	c  157s |      15 |   118085 |    87632 |     4847     32 |        0 |        0
159.26/159.37	c  159s |      15 |   121403 |    89132 |     4847     32 |        0 |        0
161.27/161.39	c  161s |      15 |   122722 |    90232 |     4847     32 |        0 |        0
163.47/163.51	c  163s |      15 |   123777 |    91132 |     4847     33 |        0 |        0
165.56/165.66	c  165s |      15 |   124808 |    92032 |     4847     33 |        0 |        0
167.86/167.92	c  167s |      15 |   125729 |    92832 |     4847     33 |        0 |        0
169.86/170.00	c  169s |      15 |   126543 |    93532 |     4847     33 |        0 |        0
172.06/172.18	c  171s |      15 |   127236 |    94132 |     4847     33 |        0 |        0
174.36/174.44	c  174s |      15 |   127838 |    94632 |     4847     34 |        0 |        0
176.46/176.51	c  176s |      15 |   128593 |    95332 |     4847     34 |        0 |        0
178.56/178.62	c  178s |      15 |   129380 |    96032 |     4847     34 |        0 |        0
180.56/180.65	c  180s |      15 |   130157 |    96732 |     4847     34 |        0 |        0
182.66/182.72	c  182s |      15 |   130927 |    97432 |     4847     34 |        0 |        0
184.77/184.80	c  184s |      15 |   131736 |    98132 |     4847     34 |        0 |        0
186.76/186.89	c  186s |      15 |   132302 |    98632 |     4847     35 |        0 |        0
189.06/189.17	c  188s |      15 |   133067 |    99332 |     4847     35 |        0 |        0
191.55/191.64	c  191s |      15 |   133717 |    99932 |     4847     35 |        0 |        0
193.55/193.67	c  193s |      15 |   134410 |   100532 |     4847     35 |        0 |        0
195.55/195.67	c  195s |      15 |   135079 |   101132 |     4847     35 |        0 |        0
197.96/198.06	c  197s |      15 |   135710 |   101732 |     4847     35 |        0 |        0
200.16/200.26	c  200s |      15 |   136265 |   102232 |     4847     35 |        0 |        0
202.24/202.35	c  202s |      15 |   136697 |   102632 |     4847     36 |        0 |        0
204.45/204.57	c  204s |      15 |   137500 |   103332 |     4847     36 |        0 |        0
206.85/206.97	c  206s |      15 |   138189 |   103932 |     4847     36 |        0 |        0
209.14/209.21	c  209s |      15 |   138857 |   104532 |     4847     36 |        0 |        0
211.15/211.24	c  211s |      15 |   139772 |   105332 |     4847     36 |        0 |        0
213.65/213.74	c  213s |      15 |   140797 |   106232 |     4847     37 |        0 |        0
215.74/215.80	c  215s |      15 |   141979 |   107232 |     4847     37 |        0 |        0
218.04/218.10	c  217s |      15 |   143018 |   108132 |     4847     37 |        0 |        0
220.14/220.28	c  220s |      15 |   143923 |   108932 |     4847     37 |        0 |        0
222.34/222.47	c  222s |      15 |   144701 |   109632 |     4847     37 |        0 |        0
224.34/224.48	c  224s |      15 |   145402 |   110232 |     4847     38 |        0 |        0
226.54/226.63	c  226s |      15 |   146526 |   111232 |     4847     38 |        0 |        0
228.74/228.88	c  228s |      15 |   147564 |   112132 |     4847     38 |        0 |        0
230.84/230.97	c  230s |      15 |   148347 |   112832 |     4847     38 |        0 |        0
233.04/233.11	c  232s |      15 |   149234 |   113632 |     4847     38 |        0 |        0
235.34/235.46	c  235s |      15 |   150036 |   114332 |     4847     39 |        0 |        0
237.43/237.53	c  237s |      15 |   151059 |   115232 |     4847     39 |        0 |        0
239.53/239.63	c  239s |      15 |   151977 |   116032 |     4847     39 |        0 |        0
241.73/241.84	c  241s |      15 |   153103 |   117032 |     4847     39 |        0 |        0
243.73/243.87	c  243s |      15 |   153891 |   117732 |     4847     40 |        0 |        0
245.83/245.90	c  245s |      15 |   154880 |   118632 |     4847     40 |        0 |        0
247.93/248.01	c  247s |      15 |   155792 |   119432 |     4847     40 |        0 |        0
250.13/250.25	c  250s |      15 |   156818 |   120332 |     4847     40 |        0 |        0
252.12/252.28	c  252s |      15 |   157583 |   121032 |     4847     40 |        0 |        0
254.32/254.49	c  254s |      15 |   158379 |   121732 |     4847     41 |        0 |        0
256.53/256.60	c  256s |      15 |   159287 |   122532 |     4847     41 |        0 |        0
258.53/258.60	c  258s |      15 |   160210 |   123332 |     4847     41 |        0 |        0
260.63/260.72	c  260s |      15 |   161139 |   124132 |     4847     41 |        0 |        0
262.72/262.85	c  262s |      15 |   161902 |   124832 |     4847     41 |        0 |        0
264.91/265.02	c  264s |      15 |   162722 |   125532 |     4847     42 |        0 |        0
267.02/267.19	c  267s |      15 |   163735 |   126432 |     4847     42 |        0 |        0
269.32/269.42	c  269s |      15 |   164638 |   127232 |     4847     42 |        0 |        0
271.42/271.53	c  271s |      15 |   165427 |   127932 |     4847     42 |        0 |        0
273.61/273.74	c  273s |      15 |   166235 |   128632 |     4847     42 |        0 |        0
275.71/275.89	c  275s |      15 |   167020 |   129332 |     4847     43 |        0 |        0
277.80/277.91	c  277s |      15 |   167915 |   130132 |     4847     43 |        0 |        0
279.80/279.96	c  279s |      15 |   168938 |   131032 |     5332     43 |        0 |        0
281.41/281.55	c  281s |      16 |   169515 |   131552 |     5332     43 |        0 |        0
283.41/283.58	c  283s |      16 |   172494 |   133052 |     5332     44 |        0 |        0
285.51/285.62	c  285s |      16 |   174034 |   134452 |     5332     44 |        0 |        0
287.61/287.71	c  287s |      16 |   175522 |   135752 |     5332     45 |        0 |        0
289.61/289.75	c  289s |      16 |   176967 |   137052 |     5332     45 |        0 |        0
291.71/291.89	c  291s |      16 |   178330 |   138252 |     5332     45 |        0 |        0
293.90/294.05	c  293s |      16 |   179487 |   139252 |     5332     46 |        0 |        0
295.91/296.05	c  295s |      16 |   180918 |   140452 |     5332     46 |        0 |        0
298.00/298.11	c  297s |      16 |   182135 |   141552 |     5332     46 |        0 |        0
300.10/300.29	c  300s |      16 |   183244 |   142552 |     5332     47 |        0 |        0
302.30/302.45	c  302s |      16 |   184623 |   143752 |     5332     47 |        0 |        0
304.40/304.53	c  304s |      16 |   185852 |   144852 |     5332     47 |        0 |        0
306.50/306.65	c  306s |      16 |   186955 |   145852 |     5332     47 |        0 |        0
308.70/308.81	c  308s |      16 |   188154 |   146952 |     5332     48 |        0 |        0
310.69/310.84	c  310s |      16 |   189264 |   147952 |     5332     48 |        0 |        0
312.89/313.05	c  312s |      16 |   190472 |   149052 |     5332     48 |        0 |        0
314.99/315.12	c  314s |      16 |   191565 |   150052 |     5332     49 |        0 |        0
317.19/317.31	c  317s |      16 |   192899 |   151252 |     5332     49 |        0 |        0
319.19/319.35	c  319s |      16 |   194082 |   152352 |     5332     49 |        0 |        0
321.20/321.38	c  321s |      16 |   195043 |   153252 |     5332     50 |        0 |        0
323.29/323.50	c  323s |      16 |   196130 |   154252 |     5332     50 |        0 |        0
325.38/325.55	c  325s |      16 |   197204 |   155252 |     5332     50 |        0 |        0
327.48/327.63	c  327s |      16 |   198225 |   156152 |     5332     50 |        0 |        0
329.58/329.78	c  329s |      16 |   199764 |   157352 |     5332     51 |        0 |        0
331.68/331.89	c  331s |      16 |   201171 |   158452 |     5332     51 |        0 |        0
333.78/333.98	c  333s |      16 |   202382 |   159452 |     5332     51 |        0 |        0
336.18/336.32	c  336s |      16 |   203496 |   160352 |     5332     52 |        0 |        0
338.28/338.47	c  338s |      16 |   204722 |   161352 |     5332     52 |        0 |        0
340.48/340.68	c  340s |      16 |   205882 |   162352 |     5332     52 |        0 |        0
342.57/342.78	c  342s |      16 |   207053 |   163352 |     5332     53 |        0 |        0
344.77/344.91	c  344s |      16 |   208318 |   164452 |     5332     53 |        0 |        0
346.97/347.10	c  346s |      16 |   209472 |   165452 |     5332     53 |        0 |        0
348.97/349.15	c  348s |      16 |   210484 |   166352 |     5332     53 |        0 |        0
351.07/351.30	c  351s |      16 |   211508 |   167252 |     5332     54 |        0 |        0
353.37/353.52	c  353s |      16 |   212630 |   168252 |     5332     54 |        0 |        0
355.57/355.71	c  355s |      16 |   213653 |   169152 |     5332     54 |        0 |        0
357.77/357.90	c  357s |      16 |   214769 |   170152 |     5332     55 |        0 |        0
359.77/359.94	c  359s |      16 |   215888 |   171152 |     5332     55 |        0 |        0
361.87/362.03	c  361s |      16 |   217005 |   172152 |     5332     55 |        0 |        0
363.97/364.16	c  363s |      16 |   217987 |   173052 |     5332     55 |        0 |        0
366.16/366.35	c  366s |      16 |   218880 |   173852 |     5332     56 |        0 |        0
368.26/368.48	c  368s |      16 |   220190 |   174952 |     5332     56 |        0 |        0
370.36/370.54	c  370s |      16 |   221293 |   175952 |     5332     56 |        0 |        0
372.45/372.65	c  372s |      16 |   222402 |   176952 |     5332     56 |        0 |        0
374.65/374.84	c  374s |      16 |   223513 |   177952 |     5332     57 |        0 |        0
376.75/376.97	c  376s |      16 |   224741 |   179052 |     5332     57 |        0 |        0
378.85/379.03	c  378s |      16 |   225725 |   179952 |     5332     57 |        0 |        0
380.95/381.17	c  380s |      16 |   226562 |   180752 |     5332     58 |        0 |        0
383.15/383.39	c  383s |      16 |   227684 |   181752 |     5332     58 |        0 |        0
385.25/385.44	c  385s |      16 |   228799 |   182752 |     5332     58 |        0 |        0
387.25/387.49	c  387s |      16 |   229799 |   183652 |     5332     58 |        0 |        0
389.45/389.65	c  389s |      16 |   230960 |   184652 |     5332     59 |        0 |        0
391.56/391.74	c  391s |      16 |   231969 |   185552 |     5332     59 |        0 |        0
393.54/393.79	c  393s |      16 |   232845 |   186352 |     5332     59 |        0 |        0
395.85/396.06	c  395s |      16 |   233843 |   187252 |     5332     59 |        0 |        0
397.94/398.16	c  397s |      16 |   234710 |   188052 |     5332     60 |        0 |        0
400.04/400.24	c  400s |      16 |   235824 |   189052 |     5332     60 |        0 |        0
402.14/402.36	c  402s |      16 |   236849 |   189952 |     5332     60 |        0 |        0
404.24/404.43	c  404s |      16 |   237847 |   190852 |     5332     60 |        0 |        0
406.24/406.45	c  406s |      16 |   238611 |   191552 |     5332     61 |        0 |        0
408.24/408.49	c  408s |      16 |   239604 |   192452 |     5332     61 |        0 |        0
410.44/410.60	c  410s |      16 |   240580 |   193352 |     5332     61 |        0 |        0
412.63/412.80	c  412s |      16 |   241521 |   194252 |     5332     61 |        0 |        0
414.73/414.97	c  414s |      16 |   242419 |   195052 |     5332     62 |        0 |        0
416.84/417.02	c  416s |      16 |   243295 |   195852 |     5332     62 |        0 |        0
418.94/419.17	c  418s |      16 |   244264 |   196752 |     5866     62 |        0 |        0
420.73/420.90	c  420s |      17 |   244995 |   197432 |     5866     62 |        0 |        0
422.84/423.03	c  422s |      17 |   247854 |   198732 |     5866     63 |        0 |        0
424.94/425.16	c  424s |      17 |   249353 |   199932 |     5866     63 |        0 |        0
427.04/427.28	c  427s |      17 |   250849 |   201232 |     5866     63 |        0 |        0
429.13/429.32	c  429s |      17 |   252104 |   202332 |     5866     64 |        0 |        0
431.14/431.36	c  431s |      17 |   253355 |   203432 |     5866     64 |        0 |        0
433.24/433.40	c  433s |      17 |   254327 |   204332 |     5866     64 |        0 |        0
435.44/435.61	c  435s |      17 |   255292 |   205232 |     5866     64 |        0 |        0
437.64/437.82	c  437s |      17 |   256191 |   206032 |     5866     65 |        0 |        0
439.73/439.96	c  439s |      17 |   257287 |   207032 |     5866     65 |        0 |        0
441.93/442.10	c  441s |      17 |   258590 |   208132 |     5866     65 |        0 |        0
444.03/444.25	c  444s |      17 |   259622 |   209032 |     5866     65 |        0 |        0
446.23/446.45	c  446s |      17 |   260663 |   209932 |     5866     66 |        0 |        0
448.43/448.64	c  448s |      17 |   261715 |   210832 |     5866     66 |        0 |        0
450.43/450.66	c  450s |      17 |   262488 |   211532 |     5866     66 |        0 |        0
452.62/452.85	c  452s |      17 |   263256 |   212232 |     5866     66 |        0 |        0
454.82/455.01	c  454s |      17 |   264145 |   213032 |     5866     66 |        0 |        0
456.92/457.15	c  456s |      17 |   265412 |   214132 |     5866     67 |        0 |        0
459.02/459.27	c  459s |      17 |   266732 |   215232 |     5866     67 |        0 |        0
461.22/461.47	c  461s |      17 |   267875 |   216232 |     5866     67 |        0 |        0
463.32/463.50	c  463s |      17 |   268798 |   217032 |     5866     67 |        0 |        0
465.32/465.53	c  465s |      17 |   269695 |   217832 |     5866     68 |        0 |        0
467.52/467.76	c  467s |      17 |   270813 |   218832 |     5866     68 |        0 |        0
469.62/469.86	c  469s |      17 |   271881 |   219732 |     5866     68 |        0 |        0
471.61/471.87	c  471s |      17 |   272799 |   220532 |     5866     68 |        0 |        0
473.71/473.99	c  473s |      17 |   273830 |   221432 |     5866     69 |        0 |        0
475.81/476.01	c  475s |      17 |   274990 |   222432 |     5866     69 |        0 |        0
477.91/478.15	c  477s |      17 |   275996 |   223332 |     5866     69 |        0 |        0
479.90/480.15	c  479s |      17 |   276869 |   224132 |     5866     69 |        0 |        0
482.10/482.32	c  482s |      17 |   277767 |   224932 |     5866     70 |        0 |        0
484.20/484.40	c  484s |      17 |   278643 |   225732 |     5866     70 |        0 |        0
486.31/486.59	c  486s |      17 |   279520 |   226532 |     5866     70 |        0 |        0
488.41/488.65	c  488s |      17 |   280441 |   227332 |     5866     70 |        0 |        0
490.51/490.79	c  490s |      17 |   281370 |   228132 |     5866     70 |        0 |        0
492.71/492.95	c  492s |      17 |   282267 |   228932 |     5866     71 |        0 |        0
494.91/495.13	c  494s |      17 |   283396 |   229932 |     5866     71 |        0 |        0
496.90/497.17	c  496s |      17 |   284540 |   230932 |     5866     71 |        0 |        0
499.00/499.26	c  499s |      17 |   285551 |   231832 |     5866     71 |        0 |        0
501.20/501.40	c  501s |      17 |   286440 |   232632 |     5866     72 |        0 |        0
503.19/503.43	c  503s |      17 |   287783 |   233732 |     5866     72 |        0 |        0
505.39/505.60	c  505s |      17 |   288968 |   234732 |     5866     72 |        0 |        0
507.49/507.72	c  507s |      17 |   290104 |   235732 |     5866     72 |        0 |        0
509.59/509.86	c  509s |      17 |   291008 |   236532 |     5866     73 |        0 |        0
511.79/512.06	c  511s |      17 |   292018 |   237432 |     5866     73 |        0 |        0
513.89/514.13	c  513s |      17 |   293194 |   238432 |     5866     73 |        0 |        0
516.09/516.30	c  516s |      17 |   294316 |   239432 |     5866     73 |        0 |        0
518.09/518.31	c  518s |      17 |   295208 |   240232 |     5866     74 |        0 |        0
520.19/520.44	c  520s |      17 |   296249 |   241132 |     5866     74 |        0 |        0
522.39/522.61	c  522s |      17 |   297357 |   242132 |     5866     74 |        0 |        0
524.49/524.71	c  524s |      17 |   298329 |   243032 |     5866     74 |        0 |        0
526.58/526.86	c  526s |      17 |   299308 |   243932 |     5866     75 |        0 |        0
528.89/529.13	c  528s |      17 |   300308 |   244832 |     5866     75 |        0 |        0
530.98/531.27	c  531s |      17 |   301401 |   245832 |     5866     75 |        0 |        0
533.08/533.30	c  533s |      17 |   302273 |   246632 |     5866     75 |        0 |        0
535.07/535.30	c  535s |      17 |   303038 |   247332 |     5866     75 |        0 |        0
537.07/537.35	c  537s |      17 |   303967 |   248132 |     5866     76 |        0 |        0
539.17/539.41	c  539s |      17 |   305077 |   249132 |     5866     76 |        0 |        0
541.27/541.55	c  541s |      17 |   306181 |   250132 |     5866     76 |        0 |        0
543.47/543.77	c  543s |      17 |   307299 |   251132 |     5866     76 |        0 |        0
545.67/545.95	c  545s |      17 |   308207 |   251932 |     5866     77 |        0 |        0
547.67/547.99	c  547s |      17 |   309191 |   252832 |     5866     77 |        0 |        0
549.87/550.14	c  549s |      17 |   310166 |   253632 |     5866     77 |        0 |        0
552.17/552.40	c  552s |      17 |   311047 |   254432 |     5866     77 |        0 |        0
554.36/554.64	c  554s |      17 |   311801 |   255132 |     5866     78 |        0 |        0
556.47/556.71	c  556s |      17 |   312672 |   255932 |     5866     78 |        0 |        0
558.56/558.81	c  558s |      17 |   313591 |   256732 |     5866     78 |        0 |        0
560.76/561.05	c  560s |      17 |   314471 |   257532 |     5866     78 |        0 |        0
562.96/563.22	c  563s |      17 |   315352 |   258332 |     5866     78 |        0 |        0
564.95/565.28	c  565s |      17 |   316148 |   259032 |     5866     79 |        0 |        0
567.15/567.45	c  567s |      17 |   317025 |   259832 |     5866     79 |        0 |        0
569.45/569.71	c  569s |      17 |   317904 |   260632 |     5866     79 |        0 |        0
571.65/571.98	c  571s |      17 |   318710 |   261332 |     5866     79 |        0 |        0
573.75/574.08	c  573s |      17 |   319865 |   262332 |     5866     79 |        0 |        0
576.06/576.33	c  576s |      17 |   320684 |   263032 |     5866     80 |        0 |        0
578.16/578.44	c  578s |      17 |   321587 |   263832 |     5866     80 |        0 |        0
580.35/580.67	c  580s |      17 |   322486 |   264632 |     5866     80 |        0 |        0
582.55/582.85	c  582s |      17 |   323275 |   265332 |     5866     80 |        0 |        0
584.75/585.09	c  584s |      17 |   324059 |   266032 |     5866     80 |        0 |        0
586.94/587.22	c  587s |      17 |   324723 |   266632 |     5866     81 |        0 |        0
589.14/589.44	c  589s |      17 |   325516 |   267332 |     5866     81 |        0 |        0
591.15/591.48	c  591s |      17 |   326294 |   268032 |     5866     81 |        0 |        0
593.55/593.88	c  593s |      17 |   327088 |   268732 |     5866     81 |        0 |        0
595.74/596.01	c  595s |      17 |   327726 |   269332 |     5866     81 |        0 |        0
597.94/598.24	c  598s |      17 |   328535 |   270032 |     5866     81 |        0 |        0
599.94/600.28	c  600s |      17 |   329171 |   270632 |     5866     82 |        0 |        0
602.14/602.48	c  602s |      17 |   330076 |   271432 |     5866     82 |        0 |        0
604.44/604.76	c  604s |      17 |   330860 |   272132 |     5866     82 |        0 |        0
606.73/607.07	c  606s |      17 |   331623 |   272832 |     5866     82 |        0 |        0
609.14/609.41	c  609s |      17 |   332383 |   273532 |     5866     82 |        0 |        0
611.23/611.59	c  611s |      17 |   332937 |   274032 |     5866     83 |        0 |        0
613.33/613.69	c  613s |      17 |   333709 |   274732 |     5866     83 |        0 |        0
615.63/615.98	c  615s |      17 |   334623 |   275532 |     5866     83 |        0 |        0
617.73/618.06	c  617s |      17 |   335429 |   276232 |     5866     83 |        0 |        0
619.73/620.07	c  619s |      17 |   336099 |   276832 |     5866     83 |        0 |        0
622.03/622.36	c  622s |      17 |   336870 |   277532 |     5866     83 |        0 |        0
624.23/624.57	c  624s |      17 |   337524 |   278132 |     5866     84 |        0 |        0
626.32/626.60	c  626s |      17 |   338309 |   278832 |     5866     84 |        0 |        0
628.32/628.67	c  628s |      17 |   339192 |   279632 |     5866     84 |        0 |        0
630.42/630.78	c  630s |      17 |   339993 |   280332 |     5866     84 |        0 |        0
632.72/633.04	c  632s |      17 |   340759 |   281032 |     5866     84 |        0 |        0
635.02/635.35	c  635s |      17 |   341406 |   281632 |     5866     85 |        0 |        0
637.12/637.47	c  637s |      17 |   342207 |   282332 |     5866     85 |        0 |        0
639.22/639.59	c  639s |      17 |   343238 |   283232 |     5866     85 |        0 |        0
641.52/641.80	c  641s |      17 |   344140 |   284032 |     5866     85 |        0 |        0
643.51/643.81	c  643s |      17 |   345249 |   285032 |     5866     85 |        0 |        0
645.52/645.88	c  645s |      17 |   345981 |   285632 |     5866     86 |        0 |        0
647.61/647.99	c  647s |      17 |   346738 |   286332 |     5866     86 |        0 |        0
649.82/650.17	c  649s |      17 |   347491 |   287032 |     5866     86 |        0 |        0
651.91/652.29	c  652s |      17 |   348283 |   287732 |     5866     86 |        0 |        0
654.11/654.49	c  654s |      17 |   349059 |   288432 |     5866     86 |        0 |        0
656.31/656.62	c  656s |      17 |   349700 |   289032 |     5866     86 |        0 |        0
658.61/658.92	c  658s |      17 |   350372 |   289632 |     5866     87 |        0 |        0
660.71/661.06	c  660s |      17 |   351179 |   290332 |     5866     87 |        0 |        0
663.01/663.35	c  663s |      17 |   352346 |   291332 |     5866     87 |        0 |        0
665.31/665.61	c  665s |      17 |   353168 |   292032 |     5866     87 |        0 |        0
667.41/667.75	c  667s |      17 |   353962 |   292732 |     5866     87 |        0 |        0
669.50/669.87	c  669s |      17 |   354729 |   293432 |     5866     88 |        0 |        0
671.81/672.13	c  671s |      17 |   355492 |   294132 |     5866     88 |        0 |        0
674.00/674.30	c  674s |      17 |   356279 |   294832 |     6453     88 |        0 |        0
676.10/676.41	c  676s |      17 |   357062 |   295532 |     6453     88 |        0 |        0
678.19/678.53	c  678s |      17 |   357871 |   296232 |     6453     88 |        0 |        0
678.19/678.59	c  678s |      18 |   357885 |   296252 |     6453     88 |        0 |        0
680.29/680.64	c  680s |      18 |   359488 |   297052 |     6453     89 |        0 |        0
682.49/682.81	c  682s |      18 |   360997 |   298352 |     6453     89 |        0 |        0
684.49/684.88	c  684s |      18 |   362176 |   299352 |     6453     89 |        0 |        0
686.59/686.91	c  686s |      18 |   363241 |   300252 |     6453     90 |        0 |        0
688.79/689.12	c  688s |      18 |   364636 |   301452 |     6453     90 |        0 |        0
690.79/691.18	c  691s |      18 |   365899 |   302552 |     6453     90 |        0 |        0
693.08/693.47	c  693s |      18 |   367167 |   303652 |     6453     91 |        0 |        0
695.28/695.62	c  695s |      18 |   368478 |   304752 |     6453     91 |        0 |        0
697.38/697.72	c  697s |      18 |   369856 |   305952 |     6453     91 |        0 |        0
699.48/699.82	c  699s |      18 |   371246 |   307152 |     6453     91 |        0 |        0
701.59/701.91	c  701s |      18 |   372907 |   308552 |     6453     92 |        0 |        0
703.68/704.09	c  703s |      18 |   374264 |   309752 |     6453     92 |        0 |        0
705.88/706.23	c  706s |      18 |   375361 |   310752 |     6453     92 |        0 |        0
707.88/708.29	c  708s |      18 |   376552 |   311752 |     6453     93 |        0 |        0
710.07/710.43	c  710s |      18 |   377797 |   312852 |     6453     93 |        0 |        0
712.18/712.50	c  712s |      18 |   379047 |   313952 |     6453     93 |        0 |        0
714.17/714.55	c  714s |      18 |   380058 |   314852 |     6453     94 |        0 |        0
716.27/716.62	c  716s |      18 |   381285 |   315952 |     6453     94 |        0 |        0
718.37/718.79	c  718s |      18 |   382517 |   317052 |     6453     94 |        0 |        0
720.57/720.91	c  720s |      18 |   383671 |   318052 |     6453     94 |        0 |        0
722.66/723.09	c  722s |      18 |   384806 |   319052 |     6453     95 |        0 |        0
724.86/725.29	c  725s |      18 |   385918 |   320052 |     6453     95 |        0 |        0
726.97/727.39	c  727s |      18 |   387342 |   321252 |     6453     95 |        0 |        0
729.07/729.44	c  729s |      18 |   388488 |   322252 |     6453     96 |        0 |        0
731.06/731.46	c  731s |      18 |   390029 |   323552 |     6453     96 |        0 |        0
733.16/733.51	c  733s |      18 |   391322 |   324652 |     6453     96 |        0 |        0
735.26/735.65	c  735s |      18 |   392426 |   325652 |     6453     97 |        0 |        0
737.36/737.78	c  737s |      18 |   393975 |   327052 |     6453     97 |        0 |        0
739.36/739.79	c  739s |      18 |   394906 |   327852 |     6453     97 |        0 |        0
741.46/741.85	c  741s |      18 |   395838 |   328652 |     6453     97 |        0 |        0
743.55/743.99	c  743s |      18 |   396646 |   329352 |     6453     98 |        0 |        0
745.65/746.02	c  745s |      18 |   397691 |   330252 |     6453     98 |        0 |        0
747.66/748.05	c  747s |      18 |   398690 |   331152 |     6453     98 |        0 |        0
749.66/750.09	c  749s |      18 |   399597 |   331952 |     6453     98 |        0 |        0
751.86/752.26	c  752s |      18 |   400956 |   333152 |     6453     99 |        0 |        0
753.95/754.36	c  754s |      18 |   402418 |   334452 |     6453     99 |        0 |        0
756.04/756.48	c  756s |      18 |   403671 |   335552 |     6453     99 |        0 |        0
758.14/758.55	c  758s |      18 |   404645 |   336452 |     6453    100 |        0 |        0
760.35/760.71	c  760s |      18 |   405982 |   337652 |     6453    100 |        0 |        0
762.34/762.79	c  762s |      18 |   406943 |   338552 |     6453    100 |        0 |        0
764.74/765.16	c  764s |      18 |   408640 |   339952 |     6453    101 |        0 |        0
766.94/767.34	c  767s |      18 |   410535 |   341652 |     6453    101 |        0 |        0
769.04/769.47	c  769s |      18 |   412195 |   343152 |     6453    101 |        0 |        0
771.14/771.52	c  771s |      18 |   413655 |   344452 |     6453    102 |        0 |        0
773.24/773.66	c  773s |      18 |   415094 |   345752 |     6453    102 |        0 |        0
775.34/775.70	c  775s |      18 |   416525 |   346952 |     6453    102 |        0 |        0
777.34/777.78	c  777s |      18 |   418228 |   348452 |     6453    103 |        0 |        0
779.44/779.87	c  779s |      18 |   420073 |   350052 |     6453    103 |        0 |        0
781.54/781.96	c  781s |      18 |   421576 |   351352 |     6453    104 |        0 |        0
783.63/784.06	c  783s |      18 |   423139 |   352752 |     6453    104 |        0 |        0
785.73/786.10	c  785s |      18 |   424589 |   354052 |     6453    104 |        0 |        0
787.73/788.12	c  787s |      18 |   425675 |   355052 |     6453    105 |        0 |        0
789.83/790.26	c  790s |      18 |   427061 |   356252 |     6453    105 |        0 |        0
791.93/792.33	c  792s |      18 |   428403 |   357452 |     6453    105 |        0 |        0
794.03/794.48	c  794s |      18 |   429588 |   358552 |     6453    106 |        0 |        0
796.13/796.55	c  796s |      18 |   431037 |   359852 |     6453    106 |        0 |        0
798.12/798.56	c  798s |      18 |   432358 |   361052 |     6453    106 |        0 |        0
800.22/800.62	c  800s |      18 |   433237 |   361852 |     6453    107 |        0 |        0
802.22/802.69	c  802s |      18 |   434725 |   363052 |     6453    107 |        0 |        0
804.32/804.78	c  804s |      18 |   435983 |   364152 |     6453    107 |        0 |        0
806.42/806.81	c  806s |      18 |   437223 |   365252 |     6453    107 |        0 |        0
808.52/808.97	c  808s |      18 |   438673 |   366552 |     6453    108 |        0 |        0
810.62/811.04	c  810s |      18 |   439949 |   367652 |     6453    108 |        0 |        0
812.71/813.10	c  812s |      18 |   441293 |   368852 |     6453    108 |        0 |        0
814.83/815.27	c  815s |      18 |   442647 |   370052 |     6453    109 |        0 |        0
816.93/817.38	c  817s |      18 |   444018 |   371252 |     6453    109 |        0 |        0
819.12/819.56	c  819s |      18 |   445270 |   372352 |     6453    109 |        0 |        0
821.12/821.57	c  821s |      18 |   446306 |   373252 |     6453    110 |        0 |        0
823.21/823.62	c  823s |      18 |   447640 |   374452 |     6453    110 |        0 |        0
825.31/825.79	c  825s |      18 |   448974 |   375652 |     6453    110 |        0 |        0
827.61/828.07	c  827s |      18 |   449952 |   376552 |     6453    111 |        0 |        0
829.71/830.14	c  829s |      18 |   451289 |   377752 |     6453    111 |        0 |        0
831.80/832.20	c  832s |      18 |   452408 |   378752 |     6453    111 |        0 |        0
833.91/834.32	c  834s |      18 |   453520 |   379752 |     6453    111 |        0 |        0
836.01/836.46	c  836s |      18 |   454616 |   380752 |     6453    112 |        0 |        0
838.20/838.60	c  838s |      18 |   455828 |   381852 |     6453    112 |        0 |        0
840.41/840.80	c  840s |      18 |   457032 |   382952 |     6453    112 |        0 |        0
842.41/842.88	c  842s |      18 |   458080 |   383852 |     6453    113 |        0 |        0
844.52/845.00	c  844s |      18 |   459304 |   384952 |     6453    113 |        0 |        0
846.62/847.06	c  846s |      18 |   460284 |   385852 |     6453    113 |        0 |        0
848.71/849.12	c  848s |      18 |   461187 |   386652 |     6453    113 |        0 |        0
850.91/851.35	c  851s |      18 |   462051 |   387452 |     6453    114 |        0 |        0
853.01/853.45	c  853s |      18 |   463161 |   388452 |     6453    114 |        0 |        0
855.10/855.56	c  855s |      18 |   465487 |   390452 |     6453    114 |        0 |        0
857.20/857.60	c  857s |      18 |   467295 |   392052 |     6453    115 |        0 |        0
859.20/859.64	c  859s |      18 |   469065 |   393652 |     6453    115 |        0 |        0
861.20/861.65	c  861s |      18 |   470428 |   394852 |     6453    116 |        0 |        0
863.40/863.81	c  863s |      18 |   472189 |   396452 |     6453    116 |        0 |        0
865.60/866.03	c  865s |      18 |   473571 |   397752 |     6453    116 |        0 |        0
867.70/868.11	c  867s |      18 |   474877 |   398952 |     6453    117 |        0 |        0
869.71/870.14	c  869s |      18 |   476299 |   400252 |     6453    117 |        0 |        0
871.80/872.20	c  872s |      18 |   478555 |   402252 |     6453    118 |        0 |        0
873.80/874.26	c  874s |      18 |   480339 |   403852 |     6453    118 |        0 |        0
876.00/876.43	c  876s |      18 |   482018 |   405352 |     6453    118 |        0 |        0
878.10/878.54	c  878s |      18 |   483882 |   406952 |     6453    119 |        0 |        0
880.20/880.64	c  880s |      18 |   485580 |   408452 |     6453    119 |        0 |        0
882.20/882.68	c  882s |      18 |   487702 |   410252 |     6453    120 |        0 |        0
884.30/884.70	c  884s |      18 |   489301 |   411652 |     6453    120 |        0 |        0
886.31/886.79	c  886s |      18 |   490950 |   413052 |     6453    121 |        0 |        0
888.40/888.80	c  888s |      18 |   492632 |   414552 |     6453    121 |        0 |        0
890.50/890.93	c  890s |      18 |   494186 |   415952 |     6453    121 |        0 |        0
892.50/892.99	c  892s |      18 |   495662 |   417252 |     6453    122 |        0 |        0
894.60/895.09	c  894s |      18 |   497326 |   418752 |     6453    122 |        0 |        0
896.70/897.13	c  896s |      18 |   498901 |   420152 |     6453    123 |        0 |        0
898.79/899.25	c  899s |      18 |   500552 |   421652 |     6453    123 |        0 |        0
900.79/901.25	c  901s |      18 |   502038 |   422952 |     6453    123 |        0 |        0
902.89/903.30	c  903s |      18 |   503529 |   424252 |     6453    124 |        0 |        0
904.90/905.31	c  905s |      18 |   505180 |   425752 |     6453    124 |        0 |        0
906.89/907.39	c  907s |      18 |   506782 |   427152 |     6453    124 |        0 |        0
908.99/909.41	c  909s |      18 |   508361 |   428552 |     6453    125 |        0 |        0
911.09/911.51	c  911s |      18 |   509930 |   429952 |     6453    125 |        0 |        0
913.09/913.51	c  913s |      18 |   511343 |   431252 |     6453    126 |        0 |        0
915.09/915.56	c  915s |      18 |   512786 |   432552 |     6453    126 |        0 |        0
917.10/917.58	c  917s |      18 |   514377 |   433952 |     6453    126 |        0 |        0
919.20/919.62	c  919s |      18 |   515740 |   435152 |     6453    127 |        0 |        0
921.29/921.72	c  921s |      18 |   517301 |   436552 |     6453    127 |        0 |        0
923.39/923.80	c  923s |      18 |   518742 |   437852 |     6453    127 |        0 |        0
925.39/925.85	c  925s |      18 |   519928 |   438852 |     6453    128 |        0 |        0
927.49/927.94	c  927s |      18 |   521171 |   439952 |     6453    128 |        0 |        0
929.60/930.00	c  929s |      18 |   522399 |   441052 |     6453    128 |        0 |        0
931.60/932.02	c  931s |      18 |   523485 |   442052 |     7099    128 |        0 |        0
933.60/934.03	c  933s |      18 |   524456 |   442952 |     7099    129 |        0 |        0
935.70/936.19	c  936s |      18 |   525715 |   444052 |     7099    129 |        0 |        0
936.60/937.06	c  936s |      19 |   526264 |   444482 |     7099    129 |        0 |        0
938.70/939.17	c  938s |      19 |   530316 |   446282 |     7099    129 |        0 |        0
940.79/941.29	c  941s |      19 |   531824 |   447582 |     7099    129 |        0 |        0
942.89/943.36	c  943s |      19 |   532804 |   448482 |     7099    130 |        0 |        0
944.99/945.45	c  945s |      19 |   533955 |   449482 |     7099    130 |        0 |        0
947.19/947.66	c  947s |      19 |   534958 |   450382 |     7099    130 |        0 |        0
949.39/949.80	c  949s |      19 |   535819 |   451182 |     7099    130 |        0 |        0
951.49/951.94	c  951s |      19 |   536710 |   451982 |     7099    130 |        0 |        0
953.49/953.97	c  953s |      19 |   537483 |   452682 |     7099    131 |        0 |        0
955.50/955.98	c  955s |      19 |   538366 |   453482 |     7099    131 |        0 |        0
957.70/958.19	c  958s |      19 |   539237 |   454282 |     7099    131 |        0 |        0
959.69/960.19	c  960s |      19 |   540025 |   454982 |     7099    131 |        0 |        0
961.89/962.32	c  962s |      19 |   541126 |   455982 |     7099    131 |        0 |        0
963.99/964.42	c  964s |      19 |   542019 |   456782 |     7099    131 |        0 |        0
966.09/966.55	c  966s |      19 |   542903 |   457582 |     7099    132 |        0 |        0
968.19/968.64	c  968s |      19 |   543759 |   458382 |     7099    132 |        0 |        0
970.39/970.83	c  970s |      19 |   544629 |   459182 |     7099    132 |        0 |        0
972.59/973.03	c  972s |      19 |   545631 |   460082 |     7099    132 |        0 |        0
974.59/975.08	c  974s |      19 |   546487 |   460882 |     7099    132 |        0 |        0
976.69/977.18	c  977s |      19 |   547237 |   461582 |     7099    133 |        0 |        0
978.99/979.41	c  979s |      19 |   547967 |   462282 |     7099    133 |        0 |        0
981.19/981.66	c  981s |      19 |   549109 |   463282 |     7099    133 |        0 |        0
983.29/983.74	c  983s |      19 |   549984 |   464082 |     7099    133 |        0 |        0
985.39/985.87	c  985s |      19 |   550717 |   464782 |     7099    133 |        0 |        0
987.49/987.94	c  987s |      19 |   551462 |   465482 |     7099    133 |        0 |        0
989.59/990.05	c  989s |      19 |   552116 |   466082 |     7099    134 |        0 |        0
991.69/992.18	c  992s |      19 |   553210 |   467082 |     7099    134 |        0 |        0
993.79/994.29	c  994s |      19 |   554088 |   467882 |     7099    134 |        0 |        0
995.89/996.33	c  996s |      19 |   554960 |   468682 |     7099    134 |        0 |        0
997.99/998.42	c  998s |      19 |   555815 |   469482 |     7099    134 |        0 |        0
999.99/1000.49	c 1000s |      19 |   556563 |   470182 |     7099    134 |        0 |        0
1002.09/1002.55	c 1002s |      19 |   557346 |   470882 |     7099    135 |        0 |        0
1004.09/1004.58	c 1004s |      19 |   558358 |   471782 |     7099    135 |        0 |        0
1006.29/1006.76	c 1006s |      19 |   559378 |   472682 |     7099    135 |        0 |        0
1008.29/1008.77	c 1008s |      19 |   560179 |   473382 |     7099    135 |        0 |        0
1010.38/1010.81	c 1010s |      19 |   560945 |   474082 |     7099    135 |        0 |        0
1012.58/1013.00	c 1012s |      19 |   561809 |   474882 |     7099    135 |        0 |        0
1014.58/1015.06	c 1014s |      19 |   562692 |   475682 |     7099    136 |        0 |        0
1016.78/1017.28	c 1017s |      19 |   563547 |   476482 |     7099    136 |        0 |        0
1019.08/1019.50	c 1019s |      19 |   564528 |   477382 |     7099    136 |        0 |        0
1021.08/1021.57	c 1021s |      19 |   565401 |   478182 |     7099    136 |        0 |        0
1023.18/1023.62	c 1023s |      19 |   566775 |   479282 |     7099    136 |        0 |        0
1025.28/1025.73	c 1025s |      19 |   567842 |   480182 |     7099    137 |        0 |        0
1027.28/1027.77	c 1027s |      19 |   568970 |   481182 |     7099    137 |        0 |        0
1029.38/1029.82	c 1029s |      19 |   570066 |   482182 |     7099    137 |        0 |        0
1031.39/1031.89	c 1031s |      19 |   571193 |   483182 |     7099    137 |        0 |        0
1033.59/1034.05	c 1033s |      19 |   572234 |   484082 |     7099    138 |        0 |        0
1035.68/1036.14	c 1035s |      19 |   573311 |   485082 |     7099    138 |        0 |        0
1037.68/1038.15	c 1037s |      19 |   574326 |   485982 |     7099    138 |        0 |        0
1039.78/1040.21	c 1040s |      19 |   575347 |   486882 |     7099    138 |        0 |        0
1041.78/1042.29	c 1042s |      19 |   576516 |   487882 |     7099    138 |        0 |        0
1043.88/1044.30	c 1044s |      19 |   577443 |   488682 |     7099    139 |        0 |        0
1045.88/1046.33	c 1046s |      19 |   578344 |   489482 |     7099    139 |        0 |        0
1048.08/1048.50	c 1048s |      19 |   579503 |   490482 |     7099    139 |        0 |        0
1050.08/1050.53	c 1050s |      19 |   580525 |   491382 |     7099    139 |        0 |        0
1052.18/1052.62	c 1052s |      19 |   581423 |   492182 |     7099    139 |        0 |        0
1054.27/1054.78	c 1054s |      19 |   582308 |   492982 |     7099    139 |        0 |        0
1056.37/1056.81	c 1056s |      19 |   583232 |   493782 |     7099    140 |        0 |        0
1058.57/1059.01	c 1058s |      19 |   584241 |   494682 |     7099    140 |        0 |        0
1060.67/1061.14	c 1060s |      19 |   585265 |   495582 |     7099    140 |        0 |        0
1062.87/1063.36	c 1063s |      19 |   586178 |   496382 |     7099    140 |        0 |        0
1065.17/1065.67	c 1065s |      19 |   587085 |   497182 |     7099    140 |        0 |        0
1067.27/1067.77	c 1067s |      19 |   587750 |   497782 |     7099    141 |        0 |        0
1069.47/1069.99	c 1069s |      19 |   588631 |   498582 |     7099    141 |        0 |        0
1071.77/1072.28	c 1072s |      19 |   589499 |   499382 |     7099    141 |        0 |        0
1073.87/1074.31	c 1074s |      19 |   590524 |   500282 |     7099    141 |        0 |        0
1075.87/1076.32	c 1076s |      19 |   591287 |   500982 |     7099    141 |        0 |        0
1078.07/1078.58	c 1078s |      19 |   592227 |   501782 |     7099    141 |        0 |        0
1080.17/1080.60	c 1080s |      19 |   593030 |   502482 |     7099    142 |        0 |        0
1082.37/1082.81	c 1082s |      19 |   594060 |   503382 |     7099    142 |        0 |        0
1084.47/1084.98	c 1084s |      19 |   595105 |   504282 |     7099    142 |        0 |        0
1086.67/1087.12	c 1086s |      19 |   595987 |   505082 |     7099    142 |        0 |        0
1088.77/1089.24	c 1089s |      19 |   596881 |   505882 |     7099    142 |        0 |        0
1091.07/1091.52	c 1091s |      19 |   597797 |   506682 |     7099    143 |        0 |        0
1093.27/1093.71	c 1093s |      19 |   598822 |   507582 |     7099    143 |        0 |        0
1095.37/1095.85	c 1095s |      19 |   599587 |   508282 |     7099    143 |        0 |        0
1097.47/1097.94	c 1097s |      19 |   600250 |   508882 |     7099    143 |        0 |        0
1099.87/1100.32	c 1100s |      19 |   601005 |   509582 |     7099    143 |        0 |        0
1102.06/1102.54	c 1102s |      19 |   601788 |   510282 |     7099    143 |        0 |        0
1104.26/1104.73	c 1104s |      19 |   602716 |   511082 |     7099    143 |        0 |        0
1106.27/1106.76	c 1106s |      19 |   603492 |   511782 |     7099    144 |        0 |        0
1108.37/1108.82	c 1108s |      19 |   604253 |   512482 |     7099    144 |        0 |        0
1110.36/1110.87	c 1110s |      19 |   605189 |   513282 |     7099    144 |        0 |        0
1112.56/1113.07	c 1112s |      19 |   606096 |   514082 |     7099    144 |        0 |        0
1114.76/1115.29	c 1115s |      19 |   606866 |   514782 |     7099    144 |        0 |        0
1116.96/1117.42	c 1117s |      19 |   607765 |   515582 |     7099    144 |        0 |        0
1119.17/1119.67	c 1119s |      19 |   608531 |   516282 |     7099    145 |        0 |        0
1121.47/1121.95	c 1121s |      19 |   609421 |   517082 |     7099    145 |        0 |        0
1123.67/1124.12	c 1123s |      19 |   610237 |   517782 |     7099    145 |        0 |        0
1125.67/1126.18	c 1126s |      19 |   611365 |   518782 |     7099    145 |        0 |        0
1127.77/1128.30	c 1128s |      19 |   612342 |   519682 |     7099    145 |        0 |        0
1129.97/1130.42	c 1130s |      19 |   613222 |   520482 |     7099    146 |        0 |        0
1132.17/1132.67	c 1132s |      19 |   614245 |   521382 |     7099    146 |        0 |        0
1134.27/1134.73	c 1134s |      19 |   615119 |   522182 |     7099    146 |        0 |        0
1136.37/1136.81	c 1136s |      19 |   616019 |   522982 |     7099    146 |        0 |        0
1138.47/1138.92	c 1138s |      19 |   616908 |   523782 |     7099    146 |        0 |        0
1140.87/1141.36	c 1141s |      19 |   617927 |   524682 |     7099    147 |        0 |        0
1143.07/1143.57	c 1143s |      19 |   618897 |   525582 |     7099    147 |        0 |        0
1145.27/1145.72	c 1145s |      19 |   619893 |   526482 |     7099    147 |        0 |        0
1147.37/1147.85	c 1147s |      19 |   620905 |   527382 |     7099    147 |        0 |        0
1149.47/1149.97	c 1149s |      19 |   621780 |   528182 |     7099    147 |        0 |        0
1151.57/1152.03	c 1151s |      19 |   622655 |   528982 |     7099    147 |        0 |        0
1153.76/1154.24	c 1154s |      19 |   623537 |   529782 |     7099    148 |        0 |        0
1156.26/1156.76	c 1156s |      19 |   624409 |   530582 |     7099    148 |        0 |        0
1158.56/1159.05	c 1158s |      19 |   625291 |   531382 |     7099    148 |        0 |        0
1160.66/1161.16	c 1160s |      19 |   626047 |   532082 |     7099    148 |        0 |        0
1162.96/1163.42	c 1163s |      19 |   627064 |   532982 |     7099    148 |        0 |        0
1164.96/1165.43	c 1165s |      19 |   627825 |   533682 |     7099    148 |        0 |        0
1167.36/1167.89	c 1167s |      19 |   628502 |   534282 |     7099    149 |        0 |        0
1169.46/1169.96	c 1169s |      19 |   629767 |   535382 |     7099    149 |        0 |        0
1171.46/1171.99	c 1171s |      19 |   630788 |   536282 |     7099    149 |        0 |        0
1173.76/1174.22	c 1174s |      19 |   631782 |   537182 |     7099    149 |        0 |        0
1175.96/1176.47	c 1176s |      19 |   632767 |   538082 |     7099    149 |        0 |        0
1178.06/1178.59	c 1178s |      19 |   633921 |   539082 |     7099    150 |        0 |        0
1180.16/1180.64	c 1180s |      19 |   634919 |   539982 |     7099    150 |        0 |        0
1182.26/1182.77	c 1182s |      19 |   635891 |   540882 |     7099    150 |        0 |        0
1184.56/1185.02	c 1184s |      19 |   636890 |   541782 |     7099    150 |        0 |        0
1186.76/1187.23	c 1187s |      19 |   637782 |   542582 |     7099    150 |        0 |        0
1188.86/1189.32	c 1189s |      19 |   638666 |   543382 |     7099    151 |        0 |        0
1190.96/1191.43	c 1191s |      19 |   639695 |   544282 |     7099    151 |        0 |        0
1192.96/1193.44	c 1193s |      19 |   640664 |   545182 |     7099    151 |        0 |        0
1194.96/1195.45	c 1195s |      19 |   641538 |   545982 |     7099    151 |        0 |        0
1197.16/1197.66	c 1197s |      19 |   642435 |   546782 |     7099    151 |        0 |        0
1199.36/1199.86	c 1199s |      19 |   643331 |   547582 |     7099    152 |        0 |        0
1201.56/1202.05	c 1201s |      19 |   644227 |   548382 |     7099    152 |        0 |        0
1203.76/1204.21	c 1204s |      19 |   645292 |   549282 |     7099    152 |        0 |        0
1205.75/1206.24	c 1206s |      19 |   646297 |   550182 |     7099    152 |        0 |        0
1207.95/1208.46	c 1208s |      19 |   647406 |   551182 |     7099    152 |        0 |        0
1210.15/1210.67	c 1210s |      19 |   648276 |   551982 |     7099    153 |        0 |        0
1212.25/1212.76	c 1212s |      19 |   649281 |   552882 |     7099    153 |        0 |        0
1214.35/1214.86	c 1214s |      19 |   650247 |   553782 |     7099    153 |        0 |        0
1216.45/1216.98	c 1216s |      19 |   651270 |   554682 |     7099    153 |        0 |        0
1218.55/1219.03	c 1218s |      19 |   652272 |   555582 |     7099    153 |        0 |        0
1220.66/1221.18	c 1221s |      19 |   653169 |   556382 |     7099    154 |        0 |        0
1223.05/1223.57	c 1223s |      19 |   654272 |   557382 |     7099    154 |        0 |        0
1225.15/1225.69	c 1225s |      19 |   655266 |   558282 |     7099    154 |        0 |        0
1227.35/1227.86	c 1227s |      19 |   656118 |   559082 |     7099    154 |        0 |        0
1229.55/1230.01	c 1229s |      19 |   656985 |   559882 |     7099    154 |        0 |        0
1231.66/1232.12	c 1231s |      19 |   657866 |   560682 |     7099    154 |        0 |        0
1233.86/1234.33	c 1234s |      19 |   658640 |   561382 |     7099    155 |        0 |        0
1235.85/1236.34	c 1236s |      19 |   659503 |   562182 |     7099    155 |        0 |        0
1237.95/1238.48	c 1238s |      19 |   660487 |   563082 |     7099    155 |        0 |        0
1240.05/1240.50	c 1240s |      19 |   661255 |   563782 |     7099    155 |        0 |        0
1242.05/1242.53	c 1242s |      19 |   662282 |   564682 |     7099    155 |        0 |        0
1244.25/1244.76	c 1244s |      19 |   663053 |   565382 |     7099    156 |        0 |        0
1246.45/1246.94	c 1246s |      19 |   664052 |   566282 |     7099    156 |        0 |        0
1248.55/1249.04	c 1248s |      19 |   664936 |   567082 |     7099    156 |        0 |        0
1250.65/1251.19	c 1251s |      19 |   666049 |   568082 |     7099    156 |        0 |        0
1252.85/1253.37	c 1253s |      19 |   667043 |   568982 |     7099    156 |        0 |        0
1255.25/1255.76	c 1255s |      19 |   668042 |   569882 |     7099    157 |        0 |        0
1257.34/1257.84	c 1257s |      19 |   668979 |   570782 |     7099    157 |        0 |        0
1259.44/1259.92	c 1259s |      19 |   669866 |   571582 |     7099    157 |        0 |        0
1261.54/1262.07	c 1261s |      19 |   670836 |   572482 |     7099    157 |        0 |        0
1263.64/1264.15	c 1263s |      19 |   671633 |   573182 |     7099    157 |        0 |        0
1265.84/1266.34	c 1266s |      19 |   672698 |   574082 |     7099    157 |        0 |        0
1267.95/1268.45	c 1268s |      19 |   673840 |   575082 |     7099    158 |        0 |        0
1270.05/1270.53	c 1270s |      19 |   674973 |   576082 |     7099    158 |        0 |        0
1272.25/1272.78	c 1272s |      19 |   676070 |   577082 |     7099    158 |        0 |        0
1274.55/1275.02	c 1274s |      19 |   677084 |   577982 |     7099    158 |        0 |        0
1276.65/1277.20	c 1277s |      19 |   678070 |   578882 |     7099    158 |        0 |        0
1278.85/1279.35	c 1279s |      19 |   679067 |   579782 |     7099    159 |        0 |        0
1281.05/1281.53	c 1281s |      19 |   680194 |   580782 |     7099    159 |        0 |        0
1283.04/1283.56	c 1283s |      19 |   681231 |   581682 |     7099    159 |        0 |        0
1285.14/1285.60	c 1285s |      19 |   682114 |   582482 |     7099    159 |        0 |        0
1287.24/1287.73	c 1287s |      19 |   682983 |   583282 |     7099    159 |        0 |        0
1289.44/1289.98	c 1289s |      19 |   683859 |   584082 |     7099    160 |        0 |        0
1291.64/1292.17	c 1291s |      19 |   684786 |   584882 |     7099    160 |        0 |        0
1293.73/1294.26	c 1294s |      19 |   685808 |   585782 |     7099    160 |        0 |        0
1295.93/1296.42	c 1296s |      19 |   686803 |   586682 |     7099    160 |        0 |        0
1297.93/1298.43	c 1298s |      19 |   687682 |   587482 |     7099    160 |        0 |        0
1299.94/1300.49	c 1300s |      19 |   688445 |   588182 |     7099    161 |        0 |        0
1301.95/1302.50	c 1302s |      19 |   689458 |   589082 |     7099    161 |        0 |        0
1304.25/1304.74	c 1304s |      19 |   690420 |   589982 |     7099    161 |        0 |        0
1306.34/1306.90	c 1306s |      19 |   691301 |   590782 |     7099    161 |        0 |        0
1308.65/1309.13	c 1308s |      19 |   692178 |   591582 |     7099    161 |        0 |        0
1310.74/1311.22	c 1311s |      19 |   692959 |   592282 |     7099    161 |        0 |        0
1312.84/1313.30	c 1313s |      19 |   694116 |   593282 |     7099    162 |        0 |        0
1314.84/1315.36	c 1315s |      19 |   695161 |   594182 |     7099    162 |        0 |        0
1316.94/1317.43	c 1317s |      19 |   696229 |   595082 |     7099    162 |        0 |        0
1318.94/1319.47	c 1319s |      19 |   697112 |   595882 |     7099    162 |        0 |        0
1321.24/1321.70	c 1321s |      19 |   698144 |   596782 |     7099    162 |        0 |        0
1323.23/1323.77	c 1323s |      19 |   699071 |   597582 |     7099    163 |        0 |        0
1325.33/1325.85	c 1325s |      19 |   699970 |   598382 |     7099    163 |        0 |        0
1327.53/1328.02	c 1327s |      19 |   700877 |   599182 |     7099    163 |        0 |        0
1329.54/1330.03	c 1329s |      19 |   701632 |   599882 |     7099    163 |        0 |        0
1331.53/1332.09	c 1331s |      19 |   702421 |   600582 |     7099    163 |        0 |        0
1333.73/1334.24	c 1334s |      19 |   703190 |   601282 |     7099    163 |        0 |        0
1335.83/1336.36	c 1336s |      19 |   704077 |   602082 |     7099    164 |        0 |        0
1337.93/1338.48	c 1338s |      19 |   705067 |   602982 |     7099    164 |        0 |        0
1340.23/1340.72	c 1340s |      19 |   706122 |   603882 |     7099    164 |        0 |        0
1342.43/1342.90	c 1342s |      19 |   707145 |   604782 |     7099    164 |        0 |        0
1344.53/1345.08	c 1344s |      19 |   708044 |   605582 |     7099    164 |        0 |        0
1346.73/1347.26	c 1347s |      19 |   708875 |   606282 |     7099    165 |        0 |        0
1348.83/1349.39	c 1349s |      19 |   710145 |   607382 |     7099    165 |        0 |        0
1351.03/1351.56	c 1351s |      19 |   711248 |   608382 |     7099    165 |        0 |        0
1353.03/1353.56	c 1353s |      19 |   712306 |   609282 |     7099    165 |        0 |        0
1355.23/1355.74	c 1355s |      19 |   713331 |   610182 |     7099    165 |        0 |        0
1357.23/1357.74	c 1357s |      19 |   714103 |   610882 |     7099    166 |        0 |        0
1359.43/1359.90	c 1359s |      19 |   715087 |   611782 |     7099    166 |        0 |        0
1361.43/1361.93	c 1361s |      19 |   715982 |   612582 |     7099    166 |        0 |        0
1363.53/1364.02	c 1363s |      19 |   716858 |   613382 |     7099    166 |        0 |        0
1365.73/1366.22	c 1366s |      19 |   717762 |   614182 |     7099    166 |        0 |        0
1368.03/1368.51	c 1368s |      19 |   718639 |   614982 |     7099    166 |        0 |        0
1370.23/1370.79	c 1370s |      19 |   719528 |   615782 |     7099    167 |        0 |        0
1372.43/1372.98	c 1372s |      19 |   720515 |   616682 |     7099    167 |        0 |        0
1374.63/1375.18	c 1375s |      19 |   721489 |   617582 |     7099    167 |        0 |        0
1376.83/1377.35	c 1377s |      19 |   722379 |   618382 |     7099    167 |        0 |        0
1378.82/1379.40	c 1379s |      19 |   723151 |   619082 |     7099    167 |        0 |        0
1381.02/1381.60	c 1381s |      19 |   723930 |   619782 |     7099    168 |        0 |        0
1383.22/1383.78	c 1383s |      19 |   724905 |   620682 |     7099    168 |        0 |        0
1385.22/1385.79	c 1385s |      19 |   725776 |   621482 |     7099    168 |        0 |        0
1387.32/1387.83	c 1387s |      19 |   726555 |   622182 |     7099    168 |        0 |        0
1389.52/1390.09	c 1389s |      19 |   727318 |   622882 |     7099    168 |        0 |        0
1391.62/1392.16	c 1391s |      19 |   728057 |   623582 |     7099    168 |        0 |        0
1393.82/1394.38	c 1394s |      19 |   728835 |   624282 |     7099    169 |        0 |        0
1395.92/1396.42	c 1396s |      19 |   729692 |   625082 |     7099    169 |        0 |        0
1398.12/1398.69	c 1398s |      19 |   730562 |   625882 |     7099    169 |        0 |        0
1400.42/1400.91	c 1400s |      19 |   731335 |   626582 |     7099    169 |        0 |        0
1402.53/1403.00	c 1402s |      19 |   732144 |   627282 |     7099    169 |        0 |        0
1404.63/1405.11	c 1404s |      19 |   733289 |   628282 |     7099    169 |        0 |        0
1406.73/1407.21	c 1407s |      19 |   734312 |   629182 |     7099    170 |        0 |        0
1408.73/1409.29	c 1409s |      19 |   735441 |   630182 |     7099    170 |        0 |        0
1410.83/1411.33	c 1411s |      19 |   736353 |   630982 |     7099    170 |        0 |        0
1412.82/1413.38	c 1413s |      19 |   737346 |   631882 |     7099    170 |        0 |        0
1414.92/1415.49	c 1415s |      19 |   738216 |   632682 |     7099    170 |        0 |        0
1417.02/1417.50	c 1417s |      19 |   739100 |   633482 |     7099    171 |        0 |        0
1419.22/1419.70	c 1419s |      19 |   740218 |   634482 |     7099    171 |        0 |        0
1421.22/1421.78	c 1421s |      19 |   741225 |   635382 |     7099    171 |        0 |        0
1423.32/1423.89	c 1423s |      19 |   742197 |   636282 |     7099    171 |        0 |        0
1425.52/1426.09	c 1425s |      19 |   743175 |   637182 |     7099    171 |        0 |        0
1427.62/1428.18	c 1427s |      19 |   743955 |   637882 |     7099    172 |        0 |        0
1429.72/1430.27	c 1430s |      19 |   744940 |   638782 |     7099    172 |        0 |        0
1431.83/1432.32	c 1432s |      19 |   745830 |   639582 |     7099    172 |        0 |        0
1434.03/1434.53	c 1434s |      19 |   746732 |   640382 |     7099    172 |        0 |        0
1436.32/1436.86	c 1436s |      19 |   747586 |   641182 |     7099    172 |        0 |        0
1438.43/1438.94	c 1438s |      19 |   748338 |   641882 |     7099    172 |        0 |        0
1440.52/1441.04	c 1440s |      19 |   749001 |   642482 |     7099    173 |        0 |        0
1442.52/1443.08	c 1442s |      19 |   749910 |   643282 |     7099    173 |        0 |        0
1444.72/1445.25	c 1445s |      19 |   750887 |   644182 |     7099    173 |        0 |        0
1446.82/1447.35	c 1447s |      19 |   751756 |   644982 |     7099    173 |        0 |        0
1448.92/1449.43	c 1449s |      19 |   752515 |   645682 |     7099    173 |        0 |        0
1450.92/1451.44	c 1451s |      19 |   753258 |   646382 |     7099    173 |        0 |        0
1452.92/1453.50	c 1453s |      19 |   754003 |   647082 |     7099    174 |        0 |        0
1455.02/1455.56	c 1455s |      19 |   754865 |   647882 |     7099    174 |        0 |        0
1457.12/1457.65	c 1457s |      19 |   755601 |   648582 |     7099    174 |        0 |        0
1459.42/1459.90	c 1459s |      19 |   756476 |   649382 |     7099    174 |        0 |        0
1461.52/1462.01	c 1461s |      19 |   757220 |   650082 |     7099    174 |        0 |        0
1463.51/1464.08	c 1463s |      19 |   757986 |   650782 |     7099    174 |        0 |        0
1465.71/1466.24	c 1466s |      19 |   758643 |   651382 |     7099    175 |        0 |        0
1467.91/1468.47	c 1468s |      19 |   759513 |   652182 |     7099    175 |        0 |        0
1470.01/1470.57	c 1470s |      19 |   760702 |   653182 |     7099    175 |        0 |        0
1472.21/1472.74	c 1472s |      19 |   761719 |   654082 |     7099    175 |        0 |        0
1474.21/1474.75	c 1474s |      19 |   762619 |   654882 |     7099    175 |        0 |        0
1476.31/1476.83	c 1476s |      19 |   763509 |   655682 |     7099    175 |        0 |        0
1478.51/1479.02	c 1478s |      19 |   764389 |   656482 |     7099    176 |        0 |        0
1480.71/1481.23	c 1481s |      19 |   765384 |   657382 |     7099    176 |        0 |        0
1482.91/1483.48	c 1483s |      19 |   766264 |   658182 |     7099    176 |        0 |        0
1485.01/1485.58	c 1485s |      19 |   767154 |   658982 |     7099    176 |        0 |        0
1487.21/1487.71	c 1487s |      19 |   768030 |   659782 |     7099    176 |        0 |        0
1489.41/1489.94	c 1489s |      19 |   768812 |   660482 |     7099    177 |        0 |        0
1491.51/1492.08	c 1491s |      19 |   769794 |   661382 |     7099    177 |        0 |        0
1493.81/1494.31	c 1494s |      19 |   770903 |   662382 |     7809    177 |        0 |        0
1495.91/1496.46	c 1496s |      19 |   771787 |   663182 |     7809    177 |        0 |        0
1498.11/1498.61	c 1498s |      19 |   772676 |   663982 |     7809    177 |        0 |        0
1500.21/1500.76	c 1500s |      19 |   773524 |   664782 |     7809    177 |        0 |        0
1502.31/1502.84	c 1502s |      19 |   774313 |   665482 |     7809    177 |        0 |        0
1504.31/1504.89	c 1504s |      19 |   775055 |   666182 |     7809    178 |        0 |        0
1506.01/1506.53	c 1506s |      20 |   775748 |   666827 |     7809    178 |        0 |        0
1508.11/1508.64	c 1508s |      20 |   779317 |   668427 |     7809    178 |        0 |        0
1510.11/1510.67	c 1510s |      20 |   781012 |   669827 |     7809    178 |        0 |        0
1512.31/1512.81	c 1512s |      20 |   782643 |   671227 |     7809    178 |        0 |        0
1514.40/1514.90	c 1514s |      20 |   783828 |   672227 |     7809    179 |        0 |        0
1516.41/1516.91	c 1516s |      20 |   784957 |   673227 |     7809    179 |        0 |        0
1518.41/1518.95	c 1518s |      20 |   785956 |   674127 |     7809    179 |        0 |        0
1520.51/1521.03	c 1520s |      20 |   786970 |   675027 |     7809    179 |        0 |        0
1522.61/1523.19	c 1523s |      20 |   787958 |   675927 |     7809    179 |        0 |        0
1524.71/1525.23	c 1525s |      20 |   788847 |   676727 |     7809    179 |        0 |        0
1526.90/1527.43	c 1527s |      20 |   789735 |   677527 |     7809    180 |        0 |        0
1529.10/1529.61	c 1529s |      20 |   790519 |   678227 |     7809    180 |        0 |        0
1531.20/1531.73	c 1531s |      20 |   791449 |   679027 |     7809    180 |        0 |        0
1533.20/1533.76	c 1533s |      20 |   792228 |   679727 |     7809    180 |        0 |        0
1535.30/1535.85	c 1535s |      20 |   793212 |   680627 |     7809    180 |        0 |        0
1537.50/1538.03	c 1537s |      20 |   794111 |   681427 |     7809    180 |        0 |        0
1539.90/1540.41	c 1540s |      20 |   795016 |   682227 |     7809    181 |        0 |        0
1542.00/1542.52	c 1542s |      20 |   796284 |   683327 |     7809    181 |        0 |        0
1544.10/1544.67	c 1544s |      20 |   797480 |   684427 |     7809    181 |        0 |        0
1546.21/1546.73	c 1546s |      20 |   798483 |   685327 |     7809    181 |        0 |        0
1548.31/1548.87	c 1548s |      20 |   799483 |   686227 |     7809    181 |        0 |        0
1550.61/1551.12	c 1550s |      20 |   800332 |   687027 |     7809    181 |        0 |        0
1552.71/1553.26	c 1553s |      20 |   801089 |   687727 |     7809    182 |        0 |        0
1554.80/1555.31	c 1555s |      20 |   802097 |   688627 |     7809    182 |        0 |        0
1556.80/1557.38	c 1557s |      20 |   803100 |   689527 |     7809    182 |        0 |        0
1558.99/1559.57	c 1559s |      20 |   804103 |   690427 |     7809    182 |        0 |        0
1561.10/1561.66	c 1561s |      20 |   804863 |   691127 |     7809    182 |        0 |        0
1563.40/1563.90	c 1563s |      20 |   805535 |   691727 |     7809    182 |        0 |        0
1565.60/1566.10	c 1565s |      20 |   806785 |   692827 |     7809    182 |        0 |        0
1567.60/1568.14	c 1567s |      20 |   807464 |   693427 |     7809    183 |        0 |        0
1569.80/1570.32	c 1570s |      20 |   808669 |   694527 |     7809    183 |        0 |        0
1571.80/1572.33	c 1572s |      20 |   809702 |   695427 |     7809    183 |        0 |        0
1573.80/1574.35	c 1574s |      20 |   810566 |   696227 |     7809    183 |        0 |        0
1576.00/1576.58	c 1576s |      20 |   811436 |   697027 |     7809    183 |        0 |        0
1578.29/1578.82	c 1578s |      20 |   812306 |   697827 |     7809    183 |        0 |        0
1580.39/1580.94	c 1580s |      20 |   812950 |   698427 |     7809    184 |        0 |        0
1582.40/1582.95	c 1582s |      20 |   813711 |   699127 |     7809    184 |        0 |        0
1584.40/1584.99	c 1584s |      20 |   814726 |   700027 |     7809    184 |        0 |        0
1586.60/1587.10	c 1586s |      20 |   815759 |   700927 |     7809    184 |        0 |        0
1588.59/1589.13	c 1588s |      20 |   816741 |   701827 |     7809    184 |        0 |        0
1590.69/1591.27	c 1591s |      20 |   817707 |   702727 |     7809    184 |        0 |        0
1592.89/1593.45	c 1593s |      20 |   818684 |   703627 |     7809    184 |        0 |        0
1594.89/1595.45	c 1595s |      20 |   819445 |   704327 |     7809    185 |        0 |        0
1596.89/1597.47	c 1597s |      20 |   820494 |   705227 |     7809    185 |        0 |        0
1599.00/1599.59	c 1599s |      20 |   821733 |   706327 |     7809    185 |        0 |        0
1601.20/1601.78	c 1601s |      20 |   822838 |   707327 |     7809    185 |        0 |        0
1603.30/1603.86	c 1603s |      20 |   823816 |   708227 |     7809    185 |        0 |        0
1605.69/1606.22	c 1606s |      20 |   824729 |   709027 |     7809    186 |        0 |        0
1607.80/1608.40	c 1608s |      20 |   825785 |   709927 |     7809    186 |        0 |        0
1609.90/1610.44	c 1610s |      20 |   826667 |   710727 |     7809    186 |        0 |        0
1611.89/1612.44	c 1612s |      20 |   827544 |   711527 |     7809    186 |        0 |        0
1613.89/1614.49	c 1614s |      20 |   828685 |   712527 |     7809    186 |        0 |        0
1615.99/1616.59	c 1616s |      20 |   829577 |   713327 |     7809    186 |        0 |        0
1618.29/1618.80	c 1618s |      20 |   830589 |   714227 |     7809    186 |        0 |        0
1620.49/1621.01	c 1620s |      20 |   831272 |   714827 |     7809    187 |        0 |        0
1622.59/1623.15	c 1622s |      20 |   832384 |   715827 |     7809    187 |        0 |        0
1624.69/1625.23	c 1625s |      20 |   833424 |   716727 |     7809    187 |        0 |        0
1626.89/1627.42	c 1627s |      20 |   834329 |   717527 |     7809    187 |        0 |        0
1629.19/1629.72	c 1629s |      20 |   835208 |   718327 |     7809    187 |        0 |        0
1631.29/1631.85	c 1631s |      20 |   835983 |   719027 |     7809    187 |        0 |        0
1633.49/1634.01	c 1633s |      20 |   836761 |   719727 |     7809    187 |        0 |        0
1635.59/1636.14	c 1635s |      20 |   837443 |   720327 |     7809    188 |        0 |        0
1637.59/1638.15	c 1637s |      20 |   838454 |   721227 |     7809    188 |        0 |        0
1639.78/1640.30	c 1640s |      20 |   839499 |   722127 |     7809    188 |        0 |        0
1641.89/1642.43	c 1642s |      20 |   840415 |   722927 |     7809    188 |        0 |        0
1644.10/1644.69	c 1644s |      20 |   841342 |   723727 |     7809    188 |        0 |        0
1646.19/1646.76	c 1646s |      20 |   842136 |   724427 |     7809    188 |        0 |        0
1648.39/1648.99	c 1648s |      20 |   842925 |   725127 |     7809    188 |        0 |        0
1650.69/1651.23	c 1651s |      20 |   843604 |   725727 |     7809    189 |        0 |        0
1652.89/1653.41	c 1653s |      20 |   844391 |   726427 |     7809    189 |        0 |        0
1655.09/1655.63	c 1655s |      20 |   845293 |   727227 |     7809    189 |        0 |        0
1657.19/1657.79	c 1657s |      20 |   846077 |   727927 |     7809    189 |        0 |        0
1659.49/1660.07	c 1659s |      20 |   846864 |   728627 |     7809    189 |        0 |        0
1661.48/1662.09	c 1661s |      20 |   847917 |   729527 |     7809    189 |        0 |        0
1663.79/1664.35	c 1664s |      20 |   848995 |   730427 |     7809    189 |        0 |        0
1665.78/1666.35	c 1666s |      20 |   849776 |   731127 |     7809    190 |        0 |        0
1667.78/1668.38	c 1668s |      20 |   850788 |   732027 |     7809    190 |        0 |        0
1670.09/1670.63	c 1670s |      20 |   851791 |   732927 |     7809    190 |        0 |        0
1672.18/1672.79	c 1672s |      20 |   852682 |   733727 |     7809    190 |        0 |        0
1674.38/1674.92	c 1674s |      20 |   853479 |   734427 |     7809    190 |        0 |        0
1676.38/1676.95	c 1676s |      20 |   854283 |   735127 |     7809    190 |        0 |        0
1678.38/1678.96	c 1678s |      20 |   855027 |   735727 |     7809    190 |        0 |        0
1680.48/1681.02	c 1680s |      20 |   855841 |   736427 |     7809    191 |        0 |        0
1682.48/1683.05	c 1682s |      20 |   856879 |   737327 |     7809    191 |        0 |        0
1684.58/1685.12	c 1684s |      20 |   857894 |   738227 |     7809    191 |        0 |        0
1686.78/1687.32	c 1687s |      20 |   858940 |   739127 |     7809    191 |        0 |        0
1688.88/1689.46	c 1689s |      20 |   859849 |   739927 |     7809    191 |        0 |        0
1690.88/1691.49	c 1691s |      20 |   860505 |   740527 |     7809    191 |        0 |        0
1693.08/1693.64	c 1693s |      20 |   861287 |   741227 |     7809    191 |        0 |        0
1695.28/1695.86	c 1695s |      20 |   861973 |   741827 |     7809    192 |        0 |        0
1697.28/1697.88	c 1697s |      20 |   862858 |   742627 |     7809    192 |        0 |        0
1699.58/1700.11	c 1699s |      20 |   863904 |   743527 |     7809    192 |        0 |        0
1701.58/1702.12	c 1701s |      20 |   864834 |   744327 |     7809    192 |        0 |        0
1703.58/1704.15	c 1703s |      20 |   865649 |   745027 |     7809    192 |        0 |        0
1705.68/1706.22	c 1706s |      20 |   866319 |   745627 |     7809    192 |        0 |        0
1707.88/1708.49	c 1708s |      20 |   866976 |   746227 |     7809    192 |        0 |        0
1709.98/1710.54	c 1710s |      20 |   867427 |   746627 |     7809    193 |        0 |        0
1712.29/1712.89	c 1712s |      20 |   868093 |   747227 |     7809    193 |        0 |        0
1714.38/1714.98	c 1714s |      20 |   869014 |   748027 |     7809    193 |        0 |        0
1716.37/1716.99	c 1716s |      20 |   869808 |   748727 |     7809    193 |        0 |        0
1718.67/1719.22	c 1719s |      20 |   870693 |   749527 |     7809    193 |        0 |        0
1720.67/1721.23	c 1721s |      20 |   871479 |   750227 |     7809    193 |        0 |        0
1722.87/1723.48	c 1723s |      20 |   872364 |   751027 |     7809    193 |        0 |        0
1725.18/1725.79	c 1725s |      20 |   873129 |   751727 |     7809    193 |        0 |        0
1727.37/1727.93	c 1727s |      20 |   873689 |   752227 |     7809    194 |        0 |        0
1729.47/1730.05	c 1729s |      20 |   874575 |   753027 |     7809    194 |        0 |        0
1731.57/1732.13	c 1731s |      20 |   875376 |   753727 |     7809    194 |        0 |        0
1733.67/1734.22	c 1734s |      20 |   876207 |   754427 |     7809    194 |        0 |        0
1735.77/1736.38	c 1736s |      20 |   877142 |   755227 |     7809    194 |        0 |        0
1737.97/1738.51	c 1738s |      20 |   878076 |   756027 |     7809    194 |        0 |        0
1740.08/1740.66	c 1740s |      20 |   879006 |   756827 |     7809    194 |        0 |        0
1742.27/1742.83	c 1742s |      20 |   879666 |   757427 |     7809    195 |        0 |        0
1744.47/1745.03	c 1744s |      20 |   880691 |   758327 |     7809    195 |        0 |        0
1746.67/1747.22	c 1747s |      20 |   881600 |   759127 |     7809    195 |        0 |        0
1748.77/1749.36	c 1749s |      20 |   882376 |   759827 |     7809    195 |        0 |        0
1751.07/1751.63	c 1751s |      20 |   883131 |   760527 |     7809    195 |        0 |        0
1753.36/1753.92	c 1753s |      20 |   883910 |   761227 |     7809    195 |        0 |        0
1755.36/1755.92	c 1755s |      20 |   884615 |   761827 |     7809    195 |        0 |        0
1758.07/1758.62	c 1758s |      20 |   885750 |   762827 |     7809    196 |        0 |        0
1760.07/1760.69	c 1760s |      20 |   886657 |   763627 |     7809    196 |        0 |        0
1762.17/1762.75	c 1762s |      20 |   887547 |   764427 |     7809    196 |        0 |        0
1764.17/1764.76	c 1764s |      20 |   888423 |   765227 |     7809    196 |        0 |        0
1766.36/1766.96	c 1766s |      20 |   889312 |   766027 |     7809    196 |        0 |        0
1768.67/1769.27	c 1769s |      20 |   890064 |   766727 |     7809    196 |        0 |        0
1770.77/1771.38	c 1771s |      20 |   890743 |   767327 |     7809    196 |        0 |        0
1772.87/1773.44	c 1773s |      20 |   891550 |   768027 |     7809    196 |        0 |        0
1774.87/1775.48	c 1775s |      20 |   892235 |   768627 |     7809    197 |        0 |        0
1777.17/1777.76	c 1777s |      20 |   893016 |   769327 |     7809    197 |        0 |        0
1779.27/1779.83	c 1779s |      20 |   893942 |   770127 |     7809    197 |        0 |        0
1781.47/1782.03	c 1781s |      20 |   894994 |   771027 |     7809    197 |        0 |        0
1783.67/1784.25	c 1784s |      20 |   895914 |   771827 |     7809    197 |        0 |        0
1785.77/1786.30	c 1786s |      20 |   896555 |   772427 |     7809    197 |        0 |        0
1787.86/1788.41	c 1788s |      20 |   897249 |   773027 |     7809    197 |        0 |        0
1790.06/1790.67	c 1790s |      20 |   897934 |   773627 |     7809    198 |        0 |        0
1792.06/1792.69	c 1792s |      20 |   898956 |   774527 |     7809    198 |        0 |        0
1794.16/1794.79	c 1794s |      20 |   899989 |   775427 |     7809    198 |        0 |        0
1796.46/1797.00	c 1796s |      20 |   900881 |   776227 |     7809    198 |        0 |        0
1798.46/1799.09	c 1798s |      20 |   901786 |   777027 |     7809    198 |        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-4093637-1466091123/watcher-4093637-1466091123 -o /tmp/evaluation-result-4093637-1466091123/solver-4093637-1466091123 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466075273-12743 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093637-1466091123.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.07 2.05 3/179 14730
/proc/meminfo: memFree=27976760/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=437692 CPUtime=0 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 1583 0 0 0 0 0 0 0 20 0 4 0 11158902 448196608 1944 33554432000 4194304 16246674 140737159899344 140737159898768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 109935 1952 441 2943 0 106829 0
[pid=14730/tid=14731] ppid=14727 vsize=455100 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 466022400 2009 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=459196 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 470216704 2027 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=463292 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11158903 474411008 2042 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.00 2.07 2.05 3/179 14730
/proc/meminfo: memFree=27976760/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 25543 0 0 0 5 3 0 0 20 0 4 0 11158902 1247350784 25897 33554432000 4194304 16246674 140737159899344 140737159898768 12459048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 304529 25907 602 2943 0 301423 0
[pid=14730/tid=14731] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 25913 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 25920 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 25927 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.00 2.07 2.05 3/179 14730
/proc/meminfo: memFree=27976760/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 48387 0 0 0 12 7 0 0 20 0 4 0 11158902 1247350784 48734 33554432000 4194304 16246674 140737159899344 140737159898768 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 304529 48741 805 2943 0 301423 0
[pid=14730/tid=14731] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 48745 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 48749 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 48756 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300524 s]
/proc/loadavg: 2.00 2.07 2.05 3/179 14730
/proc/meminfo: memFree=27976760/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 71514 0 0 0 20 9 0 0 20 0 4 0 11158902 1247350784 71862 33554432000 4194304 16246674 140737159899344 140737159898768 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 304529 71870 805 2943 0 301423 0
[pid=14730/tid=14731] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 71879 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 71887 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 71893 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700448 s]
/proc/loadavg: 2.00 2.07 2.05 3/179 14730
/proc/meminfo: memFree=27976760/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 172505 0 0 0 45 24 0 0 20 0 4 0 11158902 1247350784 172852 33554432000 4194304 16246674 140737159899344 140737159881216 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 304529 172862 805 2943 0 301423 0
[pid=14730/tid=14731] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 172866 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 172875 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11158903 1247350784 172883 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.00 2.07 2.05 3/183 14734
/proc/meminfo: memFree=26975356/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1223236 CPUtime=1.49 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 246826 0 0 0 115 34 0 0 20 0 4 0 11158902 1252593664 247151 33554432000 4194304 16246674 140737159899344 140737159898656 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 305809 247151 866 2943 0 302703 0
[pid=14730/tid=14731] ppid=14727 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1252593664 247151 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1252593664 247151 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1252593664 247151 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1223236

[startup+3.10046 s]
/proc/loadavg: 2.00 2.07 2.05 3/183 14734
/proc/meminfo: memFree=26891144/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 267728 0 0 0 273 36 0 0 20 0 4 0 11158902 1338576896 268053 33554432000 4194304 16246674 140737159899344 140737159881216 13191844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 326801 268053 870 2943 0 323695 0
[pid=14730/tid=14731] ppid=14727 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1338576896 268053 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1338576896 268053 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1338576896 268053 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.00 2.07 2.05 3/183 14734
/proc/meminfo: memFree=26888960/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 267918 0 0 0 593 36 0 0 20 0 4 0 11158902 1338576896 268243 33554432000 4194304 16246674 140737159899344 140737159881216 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 326801 268243 872 2943 0 323695 0
[pid=14730/tid=14731] ppid=14727 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1338576896 268243 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1338576896 268243 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1338576896 268243 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.00 2.07 2.05 4/183 14734
/proc/meminfo: memFree=26876444/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 268175 0 0 0 1233 36 0 0 20 0 4 0 11158902 1339625472 268500 33554432000 4194304 16246674 140737159899344 140737159881216 4220894 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 327057 268500 873 2943 0 323951 0
[pid=14730/tid=14731] ppid=14727 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1339625472 268500 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1339625472 268500 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1339625472 268500 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.00 2.06 2.05 3/183 14734
/proc/meminfo: memFree=26846440/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 269619 0 0 0 2512 36 0 0 20 0 4 0 11158902 1345916928 269944 33554432000 4194304 16246674 140737159899344 140737159881216 13950188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 328593 269944 873 2943 0 325487 0
[pid=14730/tid=14731] ppid=14727 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1345916928 269944 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1345916928 269944 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1345916928 269944 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.00 2.06 2.05 3/183 14734
/proc/meminfo: memFree=26789376/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 269872 0 0 0 5072 36 0 0 20 0 4 0 11158902 1346965504 270197 33554432000 4194304 16246674 140737159899344 140737159881216 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 328849 270197 873 2943 0 325743 0
[pid=14730/tid=14731] ppid=14727 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1346965504 270197 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1346965504 270197 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1346965504 270197 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.04 2.06 2.05 3/183 14735
/proc/meminfo: memFree=26700864/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 270992 0 0 0 10192 36 0 0 20 0 4 0 11158902 1351159808 271317 33554432000 4194304 16246674 140737159899344 140737159881216 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 329873 271317 873 2943 0 326767 0
[pid=14730/tid=14731] ppid=14727 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1351159808 271317 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1351159808 271317 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1351159808 271317 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1370034176 275928 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1337924

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.02 4/183 14815
/proc/meminfo: memFree=29499284/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1301.84 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 277858 0 0 0 130111 73 0 0 20 0 4 0 11158902 1378422784 277772 33554432000 4194304 16246674 140737159899344 140737159881216 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277772 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1346116

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/183 14816
/proc/meminfo: memFree=29499452/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1361.83 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 277858 0 0 0 136110 73 0 0 20 0 4 0 11158902 1378422784 277772 33554432000 4194304 16246674 140737159899344 140737159881216 5827984 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277772 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1346116

[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 2.02 3/183 14817
/proc/meminfo: memFree=29499328/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1421.83 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 277858 0 0 0 142109 74 0 0 20 0 4 0 11158902 1378422784 277772 33554432000 4194304 16246674 140737159899344 140737159881216 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277772 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1346116

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/183 14818
/proc/meminfo: memFree=29499320/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1481.81 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 277858 0 0 0 148107 74 0 0 20 0 4 0 11158902 1378422784 277772 33554432000 4194304 16246674 140737159899344 140737159898440 5673413 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277772 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277772 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1346116

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 14820
/proc/meminfo: memFree=29498456/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1541.81 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 278062 0 0 0 154105 76 0 0 20 0 4 0 11158902 1378422784 277976 33554432000 4194304 16246674 140737159899344 140737159898520 4220498 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277976 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1346116

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 14821
/proc/meminfo: memFree=29498460/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1601.8 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 278062 0 0 0 160101 79 0 0 20 0 4 0 11158902 1378422784 277976 33554432000 4194304 16246674 140737159899344 140737159881216 13963936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277976 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1346116

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14822
/proc/meminfo: memFree=29498692/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1661.78 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 278062 0 0 0 166095 83 0 0 20 0 4 0 11158902 1378422784 277976 33554432000 4194304 16246674 140737159899344 140737159881216 5711416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277976 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1346116

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 14826
/proc/meminfo: memFree=29498356/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1721.77 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 278062 0 0 0 172091 86 0 0 20 0 4 0 11158902 1378422784 277976 33554432000 4194304 16246674 140737159899344 140737159881216 5546177 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277976 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1346116

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 14850
/proc/meminfo: memFree=29497836/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1781.77 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 278062 0 0 0 178086 91 0 0 20 0 4 0 11158902 1378422784 277976 33554432000 4194304 16246674 140737159899344 140737159881216 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277976 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1346116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 14850
/proc/meminfo: memFree=29497848/32872528 swapFree=302776/319128
[pid=14730] ppid=14727 vsize=1346116 CPUtime=1800.06 cores=0,2,4,6
/proc/14730/stat : 14730 (toysat) R 14727 14730 7942 0 -1 4202496 278062 0 0 0 179915 91 0 0 20 0 4 0 11158902 1378422784 277976 33554432000 4194304 16246674 140737159899344 140737159898520 5677802 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14730/statm: 336529 277976 873 2943 0 333423 0
[pid=14730/tid=14731] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14731/stat : 14731 (toysat) S 14727 14730 7942 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139986009566448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14730/tid=14732] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14732/stat : 14732 (toysat) S 14727 14730 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985999076592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14730/tid=14733] ppid=14727 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/14730/task/14733/stat : 14733 (toysat) S 14727 14730 7942 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11158903 1378422784 277976 33554432000 4194304 16246674 140737159899344 139985988603056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1346116

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 14730 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.08
CPU user time (s): 1799.16
CPU system time (s): 0.91986
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1346116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.91986
maximum resident set size= 1111904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278062
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= 427
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.97264 second user time and 18.9771 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-16 17:32:03
IDJOB=4093637
IDBENCH=79156
IDSOLVER=2553
FILE ID=node128/4093637-1466091123
RUNJOBID= node128-1466075273-12743
PBS_JOBID= 19904011
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 95c5d91e3a0ca992efaa2a36118a1c06
RANDOM SEED=1903890329

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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:        27977396 kB
Buffers:           41824 kB
Cached:           110948 kB
SwapCached:         2104 kB
Active:          3800656 kB
Inactive:          69352 kB
Active(anon):    3718004 kB
Inactive(anon):     1596 kB
Active(file):      82652 kB
Inactive(file):    67756 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       4035732 kB
Mapped:            10840 kB
Shmem:                 0 kB
Slab:             568152 kB
SReclaimable:      12036 kB
SUnreclaim:       556116 kB
KernelStack:        1480 kB
PageTables:        12516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4179456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1972224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node128 at 2016-06-16 18:02:03