Trace number 4093322

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/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMf511ebc8ef7d333a60d28a0c67ab699d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints117
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 5670
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5669
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:13:59+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-4093322-1466079239.wbo"]
0.00/0.01	c use --random-gen="3610253504 1136607853 1614897853 1962996879 856243501 1965886057 1874209896 4052833437 2130957254 643210327 3674472257 3456453068 1574282940 3489353561 2209556606 1355324881 1608119378 4214043689 489861856 1557090030 461720976 2560085749 3171587154 2688684539 516586776 2289603486 3850219791 2750156741 4005923972 3931743164 1630534090 2756846311 2692968878 3887239160 3705926243 65208678 4229703699 3631424518 2257718751 3641124439 1576914427 3258519096 2933911400 1667671859 2179070872 1964038578 2691307683 919378484 3368981350 3083503262 179575322 2129523844 4167553337 1170126031 3868454066 3634158958 296929636 1030357864 3405571090 169779439 1938444385 1127557739 2917190039 3930558374 718161731 1713913572 926056718 366333469 4215214349 335098586 4107269966 4038661203 1544512900 3121364897 1484565291 3133622422 1629924113 4138606945 4168814638 568450741 2568526210 1553029275 2651036832 1853353793 2251093629 126284153 2298634426 3857364415 733661468 1052630076 3806725057 1924368214 974974661 2149795293 1990888453 304153323 3934443896 1885197838 1077719921 1336545426 1767856866 392902621 3777313236 2813296603 139249058 2272966399 2231849657 1559002450 2754950121 3621548977 1887130693 4185273149 939768047 1585418668 64622571 3692567059 3244726956 3452048557 607378697 1224295338 739984568 552470961 543679 3052336372 339403881 3124285679 3787100959 129050060 1145896334 3639401574 731035771 740291541 319490413 2983572069 1312517717 2564866640 2234507777 1315863462 2421232580 2718897809 2951976206 4207786313 2857300323 3851012294 2937837031 3226836057 4285503123 1793045990 738368077 2696883780 3726070782 1122377525 2064223813 496245161 3240441013 2344330429 1643222195 588977939 1711157404 1467513039 3118760591 3424126353 571499509 2193742161 1216034673 3734543381 4092133819 4044850450 1234093169 1028932077 3501312129 2133293834 3559927426 3592018246 3041912634 557522650 1355836047 3226419688 113861771 2371862381 1297501669 4030834717 481928343 2273309539 4154984920 584537278 3037718796 3866144969 1494895813 724620135 1840747709 3731197874 3402435992 22897200 1928231521 3820581493 1291800454 2071846710 3818324791 3371328190 1075939809 3220642747 788369382 2377992596 3018625738 2480695340 3510524074 2619269168 1320931756 4136976563 2963754761 3925580495 4186523442 3010876446 2280443253 1859168564 3023971876 3555998772 1322214265 2979622236 2738490005 154824559 616805056 2153552202 3128487046 3180725851 574824669 2340943206 2283854229 1619155678 1147029051 2176503133 840487078 4287498888 4004483542 1599370808 500767041 1262357930 3176465682 4045843708 4186850055 2664881530 846313801 3133207427 3732087676 2119402496 1497039023 3201864470 478308599 3072710050 446546756 2084524817 4043195663 1146071150 3811110458 751733559 255 362436" option to reproduce the execution
0.09/0.15	c #vars 3280
0.09/0.15	c #constraints 162
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     1186      0 |        0 |        0
0.19/0.22	c  0.0s |       1 |      316 |      100 |     1186      0 |        0 |        0
0.19/0.23	c  0.1s |       1 |     2686 |      101 |     1305      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.051s
0.19/0.23	c #wall_clock_time = 0.051s
0.19/0.23	c #decision = 2686
0.19/0.23	c #random_decision = 11
0.19/0.23	c #conflict = 101
0.19/0.23	c #restart = 1
0.19/0.23	o 1485
0.19/0.23	c BCD2: updating upper bound: 5669 -> 1484
0.19/0.23	c BCD2: 0 <= obj <= 1484
0.19/0.23	c BCD2: #cores=0, #unrelaxed=117, #relaxed=0, #hardened=0
0.19/0.23	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     1305      0 |        0 |        0
0.29/0.31	c  0.1s |       1 |      632 |      100 |     1305      0 |        0 |        0
0.39/0.48	c  0.2s |       2 |     2261 |      250 |     1436      0 |        0 |        0
0.59/0.65	c  0.4s |       3 |     4624 |      475 |     1580      0 |        0 |        0
0.89/0.93	c  0.7s |       4 |     5939 |      813 |     1739      0 |        0 |        0
1.39/1.49	c  1.3s |       5 |     7454 |     1320 |     1913      0 |        0 |        0
2.30/2.34	c  2.1s |       6 |     9273 |     2081 |     2105      0 |        0 |        0
3.59/3.65	c  3.4s |       7 |    11672 |     3223 |     2316      1 |        0 |        0
5.69/5.79	c  5.6s |       7 |    14546 |     4923 |     2548      1 |        0 |        0
5.79/5.80	c  5.6s |       8 |    14564 |     4936 |     2548      1 |        0 |        0
7.80/7.81	c  7.6s |       8 |    17804 |     6536 |     2548      2 |        0 |        0
9.29/9.32	c  9.1s |       9 |    18967 |     7506 |     2803      3 |        0 |        0
11.29/11.38	c 11.2s |       9 |    22740 |     9706 |     2803      4 |        0 |        0
13.39/13.43	c 13.2s |       9 |    24576 |    11106 |     2803      4 |        0 |        0
13.78/13.81	c 13.6s |      10 |    24925 |    11361 |     3084      4 |        0 |        0
15.78/15.89	c 15.7s |      10 |    27730 |    12761 |     3084      5 |        0 |        0
17.98/18.02	c 17.8s |      10 |    29099 |    13961 |     3084      6 |        0 |        0
19.98/20.09	c 19.9s |      10 |    30311 |    15061 |     3084      6 |        0 |        0
22.09/22.18	c 22.0s |      10 |    31397 |    16061 |     3084      6 |        0 |        0
24.29/24.34	c 24.1s |      11 |    32617 |    17144 |     3393      7 |        0 |        0
26.40/26.48	c 26.2s |      11 |    35689 |    18444 |     3393      7 |        0 |        0
28.49/28.56	c 28.3s |      11 |    36842 |    19444 |     3393      8 |        0 |        0
30.59/30.61	c 30.4s |      11 |    38205 |    20644 |     3393      8 |        0 |        0
32.69/32.78	c 32.5s |      11 |    39296 |    21644 |     3393      9 |        0 |        0
34.89/34.95	c 34.7s |      11 |    41024 |    23044 |     3393      9 |        0 |        0
36.89/36.99	c 36.8s |      11 |    42337 |    24144 |     3393     10 |        0 |        0
38.99/39.09	c 38.9s |      11 |    43623 |    25244 |     3393     10 |        0 |        0
40.18/40.28	c 40.1s |      12 |    44271 |    25819 |     3733     10 |        0 |        0
42.38/42.41	c 42.2s |      12 |    47062 |    27019 |     3733     11 |        0 |        0
44.58/44.61	c 44.4s |      12 |    48660 |    28219 |     3733     11 |        0 |        0
46.78/46.90	c 46.7s |      12 |    49702 |    29119 |     3733     12 |        0 |        0
48.88/48.91	c 48.7s |      12 |    51037 |    30219 |     3733     12 |        0 |        0
50.98/51.05	c 50.8s |      12 |    52311 |    31319 |     3733     12 |        0 |        0
53.08/53.18	c 53.0s |      12 |    53898 |    32519 |     3733     13 |        0 |        0
55.38/55.44	c 55.2s |      12 |    55161 |    33619 |     3733     13 |        0 |        0
57.38/57.47	c 57.2s |      12 |    56066 |    34419 |     3733     13 |        0 |        0
59.58/59.61	c 59.4s |      12 |    56992 |    35219 |     3733     14 |        0 |        0
61.69/61.77	c 61.5s |      12 |    57875 |    36019 |     3733     14 |        0 |        0
63.88/63.97	c 63.7s |      12 |    58926 |    36719 |     3733     14 |        0 |        0
65.98/66.02	c 65.8s |      12 |    59927 |    37519 |     3733     15 |        0 |        0
68.08/68.16	c 67.9s |      12 |    61133 |    38619 |     4107     15 |        0 |        0
68.68/68.76	c 68.5s |      13 |    61357 |    38832 |     4107     15 |        0 |        0
70.87/70.91	c 70.7s |      13 |    63753 |    40232 |     4107     16 |        0 |        0
72.87/72.99	c 72.8s |      13 |    67153 |    41932 |     4107     16 |        0 |        0
75.08/75.17	c 74.9s |      13 |    68821 |    43232 |     4107     17 |        0 |        0
77.28/77.31	c 77.1s |      13 |    70242 |    44432 |     4107     17 |        0 |        0
79.48/79.50	c 79.3s |      13 |    71621 |    45532 |     4107     18 |        0 |        0
81.49/81.54	c 81.3s |      13 |    73007 |    46632 |     4107     18 |        0 |        0
83.59/83.61	c 83.4s |      13 |    74272 |    47632 |     4107     18 |        0 |        0
85.68/85.74	c 85.5s |      13 |    75392 |    48532 |     4107     19 |        0 |        0
87.68/87.74	c 87.5s |      13 |    76352 |    49332 |     4107     19 |        0 |        0
89.68/89.75	c 89.5s |      13 |    77303 |    50132 |     4107     19 |        0 |        0
91.88/91.90	c 91.7s |      13 |    78708 |    51332 |     4107     20 |        0 |        0
93.98/94.05	c 93.8s |      13 |    80311 |    52732 |     4107     20 |        0 |        0
96.08/96.15	c 95.9s |      13 |    81672 |    53932 |     4107     20 |        0 |        0
98.18/98.25	c 98.0s |      13 |    82796 |    54932 |     4107     21 |        0 |        0
100.18/100.27	c  100s |      13 |    84115 |    56132 |     4107     21 |        0 |        0
102.48/102.50	c  102s |      13 |    85312 |    57232 |     4107     22 |        0 |        0
104.58/104.62	c  104s |      13 |    86509 |    58332 |     4518     22 |        0 |        0
104.58/104.66	c  104s |      14 |    86532 |    58352 |     4518     22 |        0 |        0
106.58/106.68	c  106s |      14 |    90471 |    59952 |     4518     22 |        0 |        0
108.78/108.84	c  108s |      14 |    91830 |    60952 |     4518     23 |        0 |        0
110.88/110.95	c  110s |      14 |    93412 |    62152 |     4518     23 |        0 |        0
112.97/113.02	c  112s |      14 |    94428 |    62952 |     4518     23 |        0 |        0
114.97/115.08	c  114s |      14 |    95284 |    63652 |     4518     23 |        0 |        0
117.07/117.10	c  116s |      14 |    96056 |    64352 |     4518     24 |        0 |        0
119.07/119.19	c  118s |      14 |    96971 |    65152 |     4518     24 |        0 |        0
121.37/121.40	c  121s |      14 |    97853 |    65952 |     4518     24 |        0 |        0
123.47/123.51	c  123s |      14 |    98624 |    66652 |     4518     24 |        0 |        0
125.67/125.76	c  125s |      14 |    99389 |    67352 |     4518     25 |        0 |        0
127.68/127.79	c  127s |      14 |   100177 |    68052 |     4518     25 |        0 |        0
130.07/130.12	c  129s |      14 |   101252 |    68852 |     4518     25 |        0 |        0
132.16/132.21	c  131s |      14 |   102251 |    69652 |     4518     25 |        0 |        0
134.56/134.60	c  134s |      14 |   103064 |    70352 |     4518     26 |        0 |        0
136.77/136.83	c  136s |      14 |   104078 |    71252 |     4518     26 |        0 |        0
138.77/138.84	c  138s |      14 |   104828 |    71952 |     4518     26 |        0 |        0
141.07/141.11	c  140s |      14 |   105648 |    72652 |     4518     26 |        0 |        0
143.17/143.21	c  142s |      14 |   106276 |    73252 |     4518     26 |        0 |        0
145.17/145.28	c  145s |      14 |   106956 |    73852 |     4518     27 |        0 |        0
147.38/147.47	c  147s |      14 |   107820 |    74652 |     4518     27 |        0 |        0
149.37/149.47	c  149s |      14 |   108464 |    75252 |     4518     27 |        0 |        0
151.47/151.53	c  151s |      14 |   109246 |    75852 |     4518     27 |        0 |        0
153.47/153.58	c  153s |      14 |   109931 |    76452 |     4518     27 |        0 |        0
155.67/155.75	c  155s |      14 |   110703 |    77152 |     4518     28 |        0 |        0
157.97/158.04	c  157s |      14 |   111606 |    77952 |     4518     28 |        0 |        0
160.16/160.22	c  159s |      14 |   112487 |    78652 |     4518     28 |        0 |        0
162.26/162.39	c  162s |      14 |   113821 |    79752 |     4518     28 |        0 |        0
164.36/164.47	c  164s |      14 |   114994 |    80752 |     4518     29 |        0 |        0
166.56/166.70	c  166s |      14 |   116264 |    81752 |     4518     29 |        0 |        0
168.86/168.92	c  168s |      14 |   117153 |    82552 |     4518     29 |        0 |        0
170.86/170.92	c  170s |      14 |   118409 |    83552 |     4518     30 |        0 |        0
172.86/172.95	c  172s |      14 |   119555 |    84552 |     4518     30 |        0 |        0
174.97/175.01	c  174s |      14 |   120605 |    85452 |     4518     30 |        0 |        0
177.26/177.33	c  177s |      14 |   121564 |    86252 |     4518     30 |        0 |        0
179.37/179.46	c  179s |      14 |   122548 |    87052 |     4970     31 |        0 |        0
180.47/180.53	c  180s |      15 |   123319 |    87632 |     4970     31 |        0 |        0
182.57/182.65	c  182s |      15 |   126861 |    89332 |     4970     31 |        0 |        0
184.66/184.77	c  184s |      15 |   128532 |    90732 |     4970     31 |        0 |        0
186.76/186.81	c  186s |      15 |   129953 |    91932 |     4970     32 |        0 |        0
188.76/188.84	c  188s |      15 |   131203 |    93032 |     4970     32 |        0 |        0
190.86/190.91	c  190s |      15 |   132409 |    94132 |     4970     32 |        0 |        0
192.86/192.95	c  192s |      15 |   133524 |    95132 |     4970     32 |        0 |        0
194.96/195.08	c  194s |      15 |   134677 |    96132 |     4970     33 |        0 |        0
197.16/197.22	c  196s |      15 |   135772 |    97132 |     4970     33 |        0 |        0
199.26/199.32	c  199s |      15 |   136647 |    97932 |     4970     33 |        0 |        0
201.36/201.45	c  201s |      15 |   137503 |    98732 |     4970     33 |        0 |        0
203.47/203.51	c  203s |      15 |   138390 |    99532 |     4970     34 |        0 |        0
205.46/205.54	c  205s |      15 |   139425 |   100432 |     4970     34 |        0 |        0
207.56/207.61	c  207s |      15 |   140295 |   101232 |     4970     34 |        0 |        0
209.76/209.80	c  209s |      15 |   141474 |   102232 |     4970     34 |        0 |        0
212.05/212.11	c  211s |      15 |   142528 |   103132 |     4970     35 |        0 |        0
214.06/214.12	c  213s |      15 |   143651 |   104132 |     4970     35 |        0 |        0
216.26/216.30	c  216s |      15 |   144685 |   105032 |     4970     35 |        0 |        0
218.25/218.39	c  218s |      15 |   145578 |   105832 |     4970     35 |        0 |        0
220.36/220.42	c  220s |      15 |   146394 |   106532 |     4970     35 |        0 |        0
222.56/222.67	c  222s |      15 |   147178 |   107232 |     4970     36 |        0 |        0
224.65/224.72	c  224s |      15 |   148210 |   108132 |     4970     36 |        0 |        0
226.66/226.74	c  226s |      15 |   149216 |   109032 |     4970     36 |        0 |        0
228.86/228.99	c  228s |      15 |   150240 |   109932 |     4970     36 |        0 |        0
231.07/231.16	c  230s |      15 |   151102 |   110732 |     4970     36 |        0 |        0
233.06/233.20	c  232s |      15 |   151786 |   111332 |     4970     37 |        0 |        0
235.16/235.26	c  235s |      15 |   152863 |   112332 |     4970     37 |        0 |        0
237.35/237.47	c  237s |      15 |   154015 |   113332 |     4970     37 |        0 |        0
239.45/239.59	c  239s |      15 |   154880 |   114132 |     4970     37 |        0 |        0
241.65/241.79	c  241s |      15 |   155892 |   115032 |     4970     37 |        0 |        0
243.85/243.94	c  243s |      15 |   156679 |   115732 |     4970     38 |        0 |        0
246.05/246.19	c  245s |      15 |   157703 |   116632 |     4970     38 |        0 |        0
248.26/248.33	c  248s |      15 |   158647 |   117432 |     4970     38 |        0 |        0
250.45/250.59	c  250s |      15 |   159574 |   118232 |     4970     38 |        0 |        0
252.65/252.78	c  252s |      15 |   160337 |   118932 |     4970     38 |        0 |        0
254.75/254.88	c  254s |      15 |   160996 |   119532 |     4970     39 |        0 |        0
256.85/256.96	c  256s |      15 |   161949 |   120332 |     4970     39 |        0 |        0
259.05/259.17	c  258s |      15 |   162748 |   121032 |     4970     39 |        0 |        0
261.25/261.35	c  261s |      15 |   163655 |   121832 |     4970     39 |        0 |        0
263.45/263.50	c  263s |      15 |   164566 |   122632 |     4970     39 |        0 |        0
265.65/265.70	c  265s |      15 |   165356 |   123332 |     4970     40 |        0 |        0
267.75/267.81	c  267s |      15 |   166135 |   124032 |     4970     40 |        0 |        0
269.75/269.88	c  269s |      15 |   166901 |   124732 |     4970     40 |        0 |        0
271.85/271.97	c  271s |      15 |   167707 |   125432 |     4970     40 |        0 |        0
274.04/274.14	c  273s |      15 |   168536 |   126132 |     4970     40 |        0 |        0
276.06/276.16	c  275s |      15 |   169225 |   126732 |     4970     40 |        0 |        0
278.36/278.43	c  278s |      15 |   169930 |   127332 |     4970     41 |        0 |        0
280.55/280.61	c  280s |      15 |   170936 |   128232 |     4970     41 |        0 |        0
282.54/282.66	c  282s |      15 |   171853 |   129032 |     4970     41 |        0 |        0
284.74/284.80	c  284s |      15 |   172622 |   129732 |     4970     41 |        0 |        0
286.95/287.07	c  286s |      15 |   173603 |   130532 |     4970     41 |        0 |        0
289.25/289.39	c  289s |      15 |   174549 |   131332 |     5467     41 |        0 |        0
290.04/290.12	c  289s |      16 |   174802 |   131552 |     5467     41 |        0 |        0
292.04/292.15	c  291s |      16 |   177977 |   132552 |     5467     42 |        0 |        0
294.14/294.23	c  294s |      16 |   179454 |   133852 |     5467     42 |        0 |        0
296.24/296.38	c  296s |      16 |   180729 |   134952 |     5467     42 |        0 |        0
298.44/298.57	c  298s |      16 |   181851 |   135952 |     5467     43 |        0 |        0
300.54/300.65	c  300s |      16 |   183021 |   136952 |     5467     43 |        0 |        0
302.74/302.87	c  302s |      16 |   184127 |   137952 |     5467     43 |        0 |        0
304.84/304.92	c  304s |      16 |   185020 |   138752 |     5467     43 |        0 |        0
306.85/306.94	c  306s |      16 |   185969 |   139552 |     5467     44 |        0 |        0
309.05/309.15	c  308s |      16 |   187076 |   140552 |     5467     44 |        0 |        0
311.25/311.32	c  311s |      16 |   188097 |   141452 |     5467     44 |        0 |        0
313.45/313.58	c  313s |      16 |   189136 |   142352 |     5467     44 |        0 |        0
315.65/315.77	c  315s |      16 |   190133 |   143252 |     5467     45 |        0 |        0
317.74/317.84	c  317s |      16 |   191251 |   144252 |     5467     45 |        0 |        0
319.84/319.95	c  319s |      16 |   192302 |   145152 |     5467     45 |        0 |        0
322.04/322.18	c  321s |      16 |   193281 |   146052 |     5467     45 |        0 |        0
324.14/324.20	c  323s |      16 |   194172 |   146852 |     5467     46 |        0 |        0
326.14/326.26	c  326s |      16 |   195278 |   147852 |     5467     46 |        0 |        0
328.24/328.30	c  328s |      16 |   196267 |   148752 |     5467     46 |        0 |        0
330.24/330.35	c  330s |      16 |   197273 |   149652 |     5467     46 |        0 |        0
332.34/332.46	c  332s |      16 |   198288 |   150552 |     5467     47 |        0 |        0
334.34/334.47	c  334s |      16 |   199315 |   151452 |     5467     47 |        0 |        0
336.34/336.49	c  336s |      16 |   200413 |   152452 |     5467     47 |        0 |        0
338.54/338.63	c  338s |      16 |   201398 |   153352 |     5467     47 |        0 |        0
340.64/340.71	c  340s |      16 |   202254 |   154152 |     5467     48 |        0 |        0
342.84/342.93	c  342s |      16 |   203364 |   155152 |     5467     48 |        0 |        0
344.94/345.01	c  344s |      16 |   204387 |   156052 |     5467     48 |        0 |        0
346.94/347.01	c  346s |      16 |   205505 |   157052 |     5467     48 |        0 |        0
348.94/349.02	c  348s |      16 |   206529 |   157952 |     5467     49 |        0 |        0
351.03/351.11	c  350s |      16 |   207711 |   159052 |     5467     49 |        0 |        0
353.04/353.13	c  352s |      16 |   208713 |   159952 |     5467     49 |        0 |        0
355.13/355.30	c  355s |      16 |   209693 |   160852 |     5467     49 |        0 |        0
357.23/357.39	c  357s |      16 |   210785 |   161852 |     5467     50 |        0 |        0
359.33/359.42	c  359s |      16 |   211760 |   162752 |     5467     50 |        0 |        0
361.43/361.51	c  361s |      16 |   212801 |   163652 |     5467     50 |        0 |        0
363.43/363.52	c  363s |      16 |   213928 |   164652 |     5467     50 |        0 |        0
365.63/365.74	c  365s |      16 |   214914 |   165552 |     5467     51 |        0 |        0
367.83/367.95	c  367s |      16 |   215948 |   166452 |     5467     51 |        0 |        0
369.83/369.95	c  369s |      16 |   216835 |   167252 |     5467     51 |        0 |        0
371.93/372.09	c  371s |      16 |   217679 |   168052 |     5467     51 |        0 |        0
374.23/374.30	c  374s |      16 |   218572 |   168852 |     5467     52 |        0 |        0
376.23/376.36	c  376s |      16 |   219435 |   169652 |     5467     52 |        0 |        0
378.33/378.46	c  378s |      16 |   220279 |   170452 |     5467     52 |        0 |        0
380.43/380.52	c  380s |      16 |   221156 |   171252 |     5467     52 |        0 |        0
382.53/382.66	c  382s |      16 |   222013 |   172052 |     5467     53 |        0 |        0
384.73/384.89	c  384s |      16 |   222994 |   172952 |     5467     53 |        0 |        0
386.73/386.89	c  386s |      16 |   223862 |   173752 |     5467     53 |        0 |        0
388.93/389.01	c  388s |      16 |   224716 |   174552 |     5467     53 |        0 |        0
391.13/391.28	c  391s |      16 |   225574 |   175352 |     5467     53 |        0 |        0
393.23/393.30	c  393s |      16 |   226338 |   176052 |     5467     54 |        0 |        0
395.23/395.35	c  395s |      16 |   227471 |   177052 |     5467     54 |        0 |        0
397.43/397.56	c  397s |      16 |   228568 |   178052 |     5467     54 |        0 |        0
399.63/399.75	c  399s |      16 |   229547 |   178952 |     5467     54 |        0 |        0
401.83/401.90	c  401s |      16 |   230518 |   179852 |     5467     55 |        0 |        0
403.93/404.05	c  403s |      16 |   231594 |   180852 |     5467     55 |        0 |        0
406.03/406.12	c  405s |      16 |   232563 |   181752 |     5467     55 |        0 |        0
408.14/408.23	c  408s |      16 |   233537 |   182652 |     5467     55 |        0 |        0
410.34/410.43	c  410s |      16 |   234518 |   183552 |     5467     56 |        0 |        0
412.54/412.60	c  412s |      16 |   235496 |   184452 |     5467     56 |        0 |        0
414.64/414.76	c  414s |      16 |   236468 |   185352 |     5467     56 |        0 |        0
416.84/416.98	c  416s |      16 |   237478 |   186252 |     5467     56 |        0 |        0
418.93/419.02	c  418s |      16 |   238463 |   187152 |     5467     57 |        0 |        0
421.13/421.23	c  421s |      16 |   239558 |   188152 |     5467     57 |        0 |        0
423.33/423.40	c  423s |      16 |   240588 |   189052 |     5467     57 |        0 |        0
425.64/425.72	c  425s |      16 |   241673 |   190052 |     5467     58 |        0 |        0
427.63/427.75	c  427s |      16 |   242658 |   190952 |     5467     58 |        0 |        0
429.63/429.76	c  429s |      16 |   243618 |   191852 |     5467     58 |        0 |        0
431.73/431.81	c  431s |      16 |   244610 |   192752 |     5467     58 |        0 |        0
433.83/433.96	c  433s |      16 |   245484 |   193552 |     5467     58 |        0 |        0
436.02/436.10	c  435s |      16 |   246484 |   194452 |     5467     59 |        0 |        0
438.22/438.30	c  438s |      16 |   247563 |   195452 |     5467     59 |        0 |        0
440.42/440.51	c  440s |      16 |   248654 |   196452 |     6014     59 |        0 |        0
442.52/442.61	c  442s |      16 |   249505 |   197252 |     6014     59 |        0 |        0
442.92/443.07	c  442s |      17 |   249715 |   197432 |     6014     59 |        0 |        0
445.02/445.15	c  444s |      17 |   253621 |   198832 |     6014     60 |        0 |        0
447.02/447.17	c  446s |      17 |   255568 |   200432 |     6014     60 |        0 |        0
449.12/449.24	c  449s |      17 |   256830 |   201532 |     6014     60 |        0 |        0
451.12/451.27	c  451s |      17 |   257955 |   202532 |     6014     61 |        0 |        0
453.12/453.29	c  453s |      17 |   259171 |   203632 |     6014     61 |        0 |        0
455.42/455.52	c  455s |      17 |   260407 |   204732 |     6014     61 |        0 |        0
457.52/457.65	c  457s |      17 |   261281 |   205532 |     6014     61 |        0 |        0
459.72/459.84	c  459s |      17 |   262259 |   206432 |     6014     62 |        0 |        0
461.92/462.03	c  461s |      17 |   263457 |   207532 |     6014     62 |        0 |        0
464.02/464.14	c  463s |      17 |   264572 |   208532 |     6014     62 |        0 |        0
466.02/466.15	c  465s |      17 |   265559 |   209432 |     6014     62 |        0 |        0
468.01/468.19	c  467s |      17 |   266472 |   210232 |     6014     63 |        0 |        0
470.11/470.21	c  469s |      17 |   268383 |   211932 |     6014     63 |        0 |        0
472.21/472.33	c  472s |      17 |   270089 |   213432 |     6014     63 |        0 |        0
474.21/474.39	c  474s |      17 |   271468 |   214632 |     6014     64 |        0 |        0
476.32/476.42	c  476s |      17 |   272675 |   215732 |     6014     64 |        0 |        0
478.31/478.43	c  478s |      17 |   273894 |   216832 |     6014     64 |        0 |        0
480.51/480.69	c  480s |      17 |   275097 |   217932 |     6014     65 |        0 |        0
482.61/482.76	c  482s |      17 |   276530 |   219232 |     6014     65 |        0 |        0
484.81/484.97	c  484s |      17 |   277842 |   220432 |     6014     65 |        0 |        0
487.11/487.25	c  487s |      17 |   278939 |   221432 |     6014     65 |        0 |        0
489.31/489.47	c  489s |      17 |   280092 |   222432 |     6014     66 |        0 |        0
491.41/491.55	c  491s |      17 |   281490 |   223632 |     6014     66 |        0 |        0
493.51/493.64	c  493s |      17 |   282775 |   224732 |     6014     66 |        0 |        0
495.61/495.71	c  495s |      17 |   283932 |   225732 |     6014     66 |        0 |        0
497.72/497.84	c  497s |      17 |   285177 |   226832 |     6014     67 |        0 |        0
499.72/499.85	c  499s |      17 |   286291 |   227832 |     6014     67 |        0 |        0
501.82/501.99	c  501s |      17 |   287437 |   228832 |     6014     67 |        0 |        0
504.22/504.31	c  504s |      17 |   288549 |   229832 |     6014     68 |        0 |        0
506.22/506.36	c  506s |      17 |   289680 |   230832 |     6014     68 |        0 |        0
508.32/508.49	c  508s |      17 |   290874 |   231932 |     6014     68 |        0 |        0
510.52/510.68	c  510s |      17 |   291952 |   232932 |     6014     68 |        0 |        0
512.72/512.82	c  512s |      17 |   292920 |   233832 |     6014     69 |        0 |        0
514.72/514.85	c  514s |      17 |   294053 |   234832 |     6014     69 |        0 |        0
516.92/517.06	c  516s |      17 |   295268 |   235932 |     6014     69 |        0 |        0
518.91/519.07	c  518s |      17 |   296225 |   236832 |     6014     69 |        0 |        0
521.11/521.27	c  521s |      17 |   297201 |   237732 |     6014     69 |        0 |        0
523.21/523.30	c  523s |      17 |   298149 |   238632 |     6014     70 |        0 |        0
525.21/525.38	c  525s |      17 |   299125 |   239532 |     6014     70 |        0 |        0
527.21/527.40	c  527s |      17 |   300363 |   240632 |     6014     70 |        0 |        0
529.31/529.48	c  529s |      17 |   302152 |   242232 |     6014     71 |        0 |        0
531.51/531.61	c  531s |      17 |   303840 |   243732 |     6014     71 |        0 |        0
533.61/533.71	c  533s |      17 |   305510 |   245232 |     6014     71 |        0 |        0
535.72/535.87	c  535s |      17 |   306913 |   246532 |     6014     72 |        0 |        0
537.92/538.03	c  537s |      17 |   308419 |   247932 |     6014     72 |        0 |        0
540.02/540.12	c  539s |      17 |   309854 |   249232 |     6014     72 |        0 |        0
542.11/542.24	c  542s |      17 |   310986 |   250232 |     6014     73 |        0 |        0
544.11/544.24	c  544s |      17 |   312363 |   251432 |     6014     73 |        0 |        0
546.21/546.32	c  546s |      17 |   313567 |   252532 |     6014     73 |        0 |        0
548.41/548.51	c  548s |      17 |   314914 |   253732 |     6014     73 |        0 |        0
550.51/550.63	c  550s |      17 |   316004 |   254732 |     6014     74 |        0 |        0
552.51/552.66	c  552s |      17 |   317467 |   256032 |     6014     74 |        0 |        0
554.50/554.69	c  554s |      17 |   318668 |   257132 |     6014     74 |        0 |        0
556.70/556.80	c  556s |      17 |   319880 |   258232 |     6014     75 |        0 |        0
558.81/558.97	c  558s |      17 |   321343 |   259532 |     6014     75 |        0 |        0
561.01/561.14	c  560s |      17 |   322793 |   260832 |     6014     75 |        0 |        0
563.00/563.17	c  562s |      17 |   323886 |   261832 |     6014     75 |        0 |        0
565.10/565.23	c  565s |      17 |   325168 |   262932 |     6014     76 |        0 |        0
567.20/567.37	c  567s |      17 |   326705 |   264332 |     6014     76 |        0 |        0
569.30/569.41	c  569s |      17 |   328026 |   265532 |     6014     76 |        0 |        0
571.40/571.57	c  571s |      17 |   329339 |   266732 |     6014     77 |        0 |        0
573.50/573.67	c  573s |      17 |   330546 |   267832 |     6014     77 |        0 |        0
575.70/575.84	c  575s |      17 |   331871 |   269032 |     6014     77 |        0 |        0
577.70/577.87	c  577s |      17 |   332992 |   270032 |     6014     78 |        0 |        0
579.80/579.98	c  579s |      17 |   334427 |   271332 |     6014     78 |        0 |        0
582.00/582.14	c  581s |      17 |   335729 |   272532 |     6014     78 |        0 |        0
584.20/584.33	c  584s |      17 |   337034 |   273732 |     6014     78 |        0 |        0
586.20/586.36	c  586s |      17 |   338101 |   274732 |     6014     79 |        0 |        0
588.30/588.46	c  588s |      17 |   339332 |   275832 |     6014     79 |        0 |        0
590.30/590.46	c  590s |      17 |   340418 |   276832 |     6014     79 |        0 |        0
592.49/592.65	c  592s |      17 |   341505 |   277832 |     6014     79 |        0 |        0
594.59/594.76	c  594s |      17 |   342469 |   278732 |     6014     80 |        0 |        0
596.79/596.92	c  596s |      17 |   343677 |   279832 |     6014     80 |        0 |        0
598.79/598.97	c  598s |      17 |   344766 |   280832 |     6014     80 |        0 |        0
600.99/601.10	c  600s |      17 |   345750 |   281732 |     6014     80 |        0 |        0
603.09/603.20	c  602s |      17 |   346733 |   282632 |     6014     81 |        0 |        0
605.19/605.33	c  605s |      17 |   347834 |   283632 |     6014     81 |        0 |        0
607.29/607.48	c  607s |      17 |   348821 |   284532 |     6014     81 |        0 |        0
609.59/609.73	c  609s |      17 |   349916 |   285532 |     6014     81 |        0 |        0
611.68/611.80	c  611s |      17 |   350797 |   286332 |     6014     82 |        0 |        0
613.79/613.93	c  613s |      17 |   352329 |   287632 |     6014     82 |        0 |        0
615.89/616.06	c  615s |      17 |   353656 |   288832 |     6014     82 |        0 |        0
617.98/618.20	c  617s |      17 |   354852 |   289932 |     6014     82 |        0 |        0
620.18/620.31	c  620s |      17 |   355914 |   290932 |     6014     83 |        0 |        0
622.38/622.50	c  622s |      17 |   357093 |   292032 |     6014     83 |        0 |        0
624.38/624.54	c  624s |      17 |   358487 |   293132 |     6014     83 |        0 |        0
626.48/626.64	c  626s |      17 |   359654 |   294132 |     6616     84 |        0 |        0
628.58/628.72	c  628s |      17 |   360803 |   295132 |     6616     84 |        0 |        0
630.68/630.80	c  630s |      17 |   361884 |   296132 |     6616     84 |        0 |        0
630.88/631.06	c  630s |      18 |   362008 |   296252 |     6616     84 |        0 |        0
632.98/633.13	c  632s |      18 |   365669 |   298152 |     6616     84 |        0 |        0
635.08/635.21	c  634s |      18 |   367365 |   299652 |     6616     85 |        0 |        0
637.08/637.26	c  637s |      18 |   368782 |   300952 |     6616     85 |        0 |        0
639.18/639.34	c  639s |      18 |   370357 |   302352 |     6616     85 |        0 |        0
641.28/641.47	c  641s |      18 |   371676 |   303552 |     6616     86 |        0 |        0
643.38/643.53	c  643s |      18 |   372887 |   304652 |     6616     86 |        0 |        0
645.47/645.60	c  645s |      18 |   374002 |   305652 |     6616     86 |        0 |        0
647.47/647.61	c  647s |      18 |   374967 |   306552 |     6616     86 |        0 |        0
649.67/649.80	c  649s |      18 |   375932 |   307452 |     6616     86 |        0 |        0
651.77/651.96	c  651s |      18 |   376898 |   308352 |     6616     87 |        0 |        0
653.97/654.16	c  653s |      18 |   377986 |   309352 |     6616     87 |        0 |        0
655.97/656.18	c  655s |      18 |   379416 |   310552 |     6616     87 |        0 |        0
658.07/658.21	c  657s |      18 |   380596 |   311552 |     6616     87 |        0 |        0
660.07/660.22	c  659s |      18 |   381479 |   312352 |     6616     88 |        0 |        0
662.17/662.39	c  662s |      18 |   382800 |   313552 |     6616     88 |        0 |        0
664.37/664.52	c  664s |      18 |   384050 |   314652 |     6616     88 |        0 |        0
666.36/666.59	c  666s |      18 |   385166 |   315652 |     6616     88 |        0 |        0
668.36/668.59	c  668s |      18 |   386445 |   316752 |     6616     89 |        0 |        0
670.46/670.60	c  670s |      18 |   387800 |   317952 |     6616     89 |        0 |        0
672.45/672.62	c  672s |      18 |   388877 |   318952 |     6616     89 |        0 |        0
674.45/674.69	c  674s |      18 |   389998 |   319952 |     6616     89 |        0 |        0
676.55/676.77	c  676s |      18 |   391127 |   320952 |     6616     90 |        0 |        0
678.56/678.80	c  678s |      18 |   392329 |   322052 |     6616     90 |        0 |        0
680.85/681.01	c  680s |      18 |   393472 |   323052 |     6616     90 |        0 |        0
682.95/683.11	c  682s |      18 |   394839 |   324252 |     6616     90 |        0 |        0
685.04/685.21	c  684s |      18 |   396043 |   325352 |     6616     91 |        0 |        0
687.14/687.31	c  687s |      18 |   397433 |   326552 |     6616     91 |        0 |        0
689.14/689.35	c  689s |      18 |   398681 |   327652 |     6616     91 |        0 |        0
691.24/691.46	c  691s |      18 |   399637 |   328552 |     6616     91 |        0 |        0
693.34/693.58	c  693s |      18 |   400787 |   329552 |     6616     92 |        0 |        0
695.44/695.63	c  695s |      18 |   402137 |   330752 |     6616     92 |        0 |        0
697.54/697.76	c  697s |      18 |   403206 |   331752 |     6616     92 |        0 |        0
699.54/699.78	c  699s |      18 |   404083 |   332552 |     6616     92 |        0 |        0
701.75/701.96	c  701s |      18 |   405165 |   333552 |     6616     92 |        0 |        0
703.95/704.14	c  703s |      18 |   405927 |   334252 |     6616     93 |        0 |        0
706.05/706.22	c  705s |      18 |   407163 |   335352 |     6616     93 |        0 |        0
708.14/708.31	c  708s |      18 |   408266 |   336352 |     6616     93 |        0 |        0
710.14/710.37	c  710s |      18 |   409345 |   337352 |     6616     93 |        0 |        0
712.33/712.53	c  712s |      18 |   410467 |   338352 |     6616     94 |        0 |        0
714.33/714.56	c  714s |      18 |   411724 |   339452 |     6616     94 |        0 |        0
716.33/716.60	c  716s |      18 |   412836 |   340452 |     6616     94 |        0 |        0
718.43/718.63	c  718s |      18 |   413975 |   341452 |     6616     94 |        0 |        0
720.44/720.68	c  720s |      18 |   415318 |   342652 |     6616     95 |        0 |        0
722.63/722.86	c  722s |      18 |   416544 |   343752 |     6616     95 |        0 |        0
724.83/725.05	c  724s |      18 |   417848 |   344952 |     6616     95 |        0 |        0
726.93/727.11	c  726s |      18 |   419017 |   346052 |     6616     95 |        0 |        0
728.92/729.12	c  728s |      18 |   419993 |   346952 |     6616     96 |        0 |        0
730.92/731.15	c  730s |      18 |   421173 |   348052 |     6616     96 |        0 |        0
733.12/733.35	c  733s |      18 |   422359 |   349152 |     6616     96 |        0 |        0
735.22/735.48	c  735s |      18 |   423512 |   350152 |     6616     96 |        0 |        0
737.42/737.68	c  737s |      18 |   424731 |   351252 |     6616     97 |        0 |        0
739.62/739.85	c  739s |      18 |   426151 |   352552 |     6616     97 |        0 |        0
741.61/741.89	c  741s |      18 |   427391 |   353652 |     6616     97 |        0 |        0
743.81/744.01	c  743s |      18 |   428570 |   354752 |     6616     97 |        0 |        0
745.91/746.19	c  745s |      18 |   429570 |   355652 |     6616     98 |        0 |        0
748.11/748.30	c  748s |      18 |   430995 |   356952 |     6616     98 |        0 |        0
750.21/750.49	c  750s |      18 |   432227 |   358052 |     6616     98 |        0 |        0
752.31/752.51	c  752s |      18 |   433197 |   358952 |     6616     98 |        0 |        0
754.41/754.67	c  754s |      18 |   434171 |   359852 |     6616     99 |        0 |        0
756.50/756.80	c  756s |      18 |   435244 |   360852 |     6616     99 |        0 |        0
758.70/758.92	c  758s |      18 |   436328 |   361852 |     6616     99 |        0 |        0
760.80/761.09	c  760s |      18 |   437437 |   362852 |     6616     99 |        0 |        0
763.00/763.22	c  762s |      18 |   438461 |   363752 |     6616     99 |        0 |        0
765.10/765.32	c  765s |      18 |   439579 |   364752 |     6616    100 |        0 |        0
767.10/767.35	c  767s |      18 |   440686 |   365752 |     6616    100 |        0 |        0
769.20/769.48	c  769s |      18 |   442142 |   367052 |     6616    100 |        0 |        0
771.39/771.60	c  771s |      18 |   443328 |   368152 |     6616    100 |        0 |        0
773.39/773.69	c  773s |      18 |   444410 |   369152 |     6616    101 |        0 |        0
775.49/775.73	c  775s |      18 |   445607 |   370252 |     6616    101 |        0 |        0
777.69/777.91	c  777s |      18 |   446802 |   371352 |     6616    101 |        0 |        0
779.80/780.09	c  779s |      18 |   447874 |   372352 |     6616    101 |        0 |        0
781.99/782.22	c  781s |      18 |   448848 |   373252 |     6616    102 |        0 |        0
784.09/784.38	c  784s |      18 |   450039 |   374352 |     6616    102 |        0 |        0
786.29/786.57	c  786s |      18 |   451219 |   375452 |     6616    102 |        0 |        0
788.38/788.67	c  788s |      18 |   452182 |   376352 |     6616    102 |        0 |        0
790.58/790.81	c  790s |      18 |   453025 |   377152 |     6616    102 |        0 |        0
792.58/792.88	c  792s |      18 |   454237 |   378252 |     6616    103 |        0 |        0
794.68/794.92	c  794s |      18 |   455837 |   379652 |     6616    103 |        0 |        0
796.78/797.04	c  796s |      18 |   457245 |   380952 |     6616    103 |        0 |        0
798.78/799.09	c  798s |      18 |   458503 |   382052 |     6616    104 |        0 |        0
800.87/801.16	c  800s |      18 |   459813 |   383252 |     6616    104 |        0 |        0
803.07/803.35	c  803s |      18 |   461112 |   384452 |     6616    104 |        0 |        0
805.17/805.41	c  805s |      18 |   462189 |   385452 |     6616    104 |        0 |        0
807.28/807.56	c  807s |      18 |   463258 |   386452 |     6616    105 |        0 |        0
809.48/809.73	c  809s |      18 |   464664 |   387752 |     6616    105 |        0 |        0
811.57/811.87	c  811s |      18 |   465848 |   388852 |     6616    105 |        0 |        0
813.66/814.00	c  813s |      18 |   466915 |   389852 |     6616    105 |        0 |        0
815.87/816.14	c  815s |      18 |   468012 |   390852 |     6616    106 |        0 |        0
817.97/818.23	c  818s |      18 |   469228 |   391952 |     6616    106 |        0 |        0
820.07/820.36	c  820s |      18 |   470963 |   393452 |     6616    106 |        0 |        0
822.47/822.79	c  822s |      18 |   472296 |   394652 |     6616    107 |        0 |        0
824.67/824.90	c  824s |      18 |   473642 |   395852 |     6616    107 |        0 |        0
826.67/826.96	c  826s |      18 |   474833 |   396952 |     6616    107 |        0 |        0
828.77/829.01	c  828s |      18 |   475914 |   397952 |     6616    107 |        0 |        0
830.76/831.07	c  830s |      18 |   476863 |   398852 |     6616    107 |        0 |        0
832.86/833.14	c  832s |      18 |   478438 |   400152 |     6616    108 |        0 |        0
834.96/835.27	c  835s |      18 |   480031 |   401552 |     6616    108 |        0 |        0
837.06/837.34	c  837s |      18 |   481172 |   402552 |     6616    108 |        0 |        0
839.17/839.41	c  839s |      18 |   482285 |   403552 |     6616    109 |        0 |        0
841.26/841.52	c  841s |      18 |   483454 |   404652 |     6616    109 |        0 |        0
843.46/843.74	c  843s |      18 |   484650 |   405752 |     6616    109 |        0 |        0
845.55/845.86	c  845s |      18 |   485640 |   406652 |     6616    109 |        0 |        0
847.75/848.09	c  847s |      18 |   486719 |   407652 |     6616    109 |        0 |        0
849.85/850.18	c  849s |      18 |   487726 |   408552 |     6616    110 |        0 |        0
852.05/852.33	c  852s |      18 |   489172 |   409752 |     6616    110 |        0 |        0
854.05/854.38	c  854s |      18 |   490448 |   410852 |     6616    110 |        0 |        0
856.25/856.55	c  856s |      18 |   491695 |   411952 |     6616    110 |        0 |        0
858.35/858.60	c  858s |      18 |   492904 |   413052 |     6616    111 |        0 |        0
860.35/860.67	c  860s |      18 |   494101 |   414152 |     6616    111 |        0 |        0
862.34/862.70	c  862s |      18 |   495196 |   415152 |     6616    111 |        0 |        0
864.54/864.85	c  864s |      18 |   496285 |   416152 |     6616    111 |        0 |        0
866.74/867.04	c  866s |      18 |   497380 |   417152 |     6616    112 |        0 |        0
868.94/869.22	c  868s |      18 |   498570 |   418252 |     6616    112 |        0 |        0
871.04/871.32	c  871s |      18 |   499664 |   419252 |     6616    112 |        0 |        0
873.14/873.42	c  873s |      18 |   500638 |   420152 |     6616    112 |        0 |        0
875.13/875.47	c  875s |      18 |   501459 |   420852 |     6616    113 |        0 |        0
877.23/877.57	c  877s |      18 |   503246 |   422252 |     6616    113 |        0 |        0
879.33/879.67	c  879s |      18 |   504783 |   423552 |     6616    113 |        0 |        0
881.43/881.76	c  881s |      18 |   506147 |   424752 |     6616    113 |        0 |        0
883.53/883.87	c  883s |      18 |   507289 |   425752 |     6616    114 |        0 |        0
885.73/886.01	c  885s |      18 |   508489 |   426852 |     6616    114 |        0 |        0
887.73/888.06	c  887s |      18 |   509597 |   427852 |     6616    114 |        0 |        0
889.83/890.14	c  889s |      18 |   510808 |   428952 |     6616    114 |        0 |        0
892.12/892.46	c  892s |      18 |   512080 |   430052 |     6616    115 |        0 |        0
894.22/894.55	c  894s |      18 |   513161 |   431052 |     6616    115 |        0 |        0
896.33/896.61	c  896s |      18 |   514296 |   432052 |     6616    115 |        0 |        0
898.32/898.70	c  898s |      18 |   515258 |   432952 |     6616    115 |        0 |        0
900.42/900.74	c  900s |      18 |   516136 |   433752 |     6616    116 |        0 |        0
902.62/902.90	c  902s |      18 |   517271 |   434752 |     6616    116 |        0 |        0
904.72/905.04	c  904s |      18 |   518481 |   435852 |     6616    116 |        0 |        0
906.72/907.05	c  906s |      18 |   519586 |   436852 |     6616    116 |        0 |        0
908.81/909.19	c  908s |      18 |   520725 |   437852 |     6616    116 |        0 |        0
910.91/911.26	c  911s |      18 |   521714 |   438752 |     6616    117 |        0 |        0
913.11/913.41	c  913s |      18 |   523155 |   440052 |     6616    117 |        0 |        0
915.21/915.54	c  915s |      18 |   524364 |   441152 |     6616    117 |        0 |        0
917.22/917.57	c  917s |      18 |   525354 |   442052 |     7278    117 |        0 |        0
919.21/919.58	c  919s |      18 |   526237 |   442852 |     7278    117 |        0 |        0
921.21/921.59	c  921s |      18 |   527270 |   443752 |     7278    118 |        0 |        0
922.61/923.00	c  922s |      19 |   528107 |   444482 |     7278    118 |        0 |        0
924.71/925.03	c  924s |      19 |   530806 |   445882 |     7278    118 |        0 |        0
926.71/927.09	c  926s |      19 |   532331 |   447182 |     7278    118 |        0 |        0
928.90/929.24	c  929s |      19 |   533543 |   448282 |     7278    119 |        0 |        0
931.00/931.39	c  931s |      19 |   534790 |   449382 |     7278    119 |        0 |        0
933.10/933.45	c  933s |      19 |   535775 |   450282 |     7278    119 |        0 |        0
935.10/935.47	c  935s |      19 |   536734 |   451182 |     7278    119 |        0 |        0
937.20/937.55	c  937s |      19 |   537697 |   452082 |     7278    119 |        0 |        0
939.21/939.59	c  939s |      19 |   538451 |   452782 |     7278    120 |        0 |        0
941.30/941.64	c  941s |      19 |   539435 |   453682 |     7278    120 |        0 |        0
943.40/943.74	c  943s |      19 |   540410 |   454582 |     7278    120 |        0 |        0
945.60/945.96	c  945s |      19 |   541251 |   455382 |     7278    120 |        0 |        0
947.79/948.15	c  947s |      19 |   542222 |   456282 |     7278    120 |        0 |        0
949.99/950.31	c  950s |      19 |   543086 |   457082 |     7278    120 |        0 |        0
951.99/952.37	c  952s |      19 |   543868 |   457782 |     7278    121 |        0 |        0
954.09/954.44	c  954s |      19 |   545063 |   458882 |     7278    121 |        0 |        0
956.19/956.56	c  956s |      19 |   546145 |   459882 |     7278    121 |        0 |        0
958.29/958.63	c  958s |      19 |   547149 |   460782 |     7278    121 |        0 |        0
960.49/960.81	c  960s |      19 |   548208 |   461782 |     7278    121 |        0 |        0
962.48/962.83	c  962s |      19 |   548967 |   462482 |     7278    122 |        0 |        0
964.68/965.00	c  964s |      19 |   550115 |   463482 |     7278    122 |        0 |        0
966.78/967.17	c  966s |      19 |   551409 |   464582 |     7278    122 |        0 |        0
968.89/969.20	c  968s |      19 |   552407 |   465482 |     7278    122 |        0 |        0
970.99/971.37	c  971s |      19 |   553389 |   466382 |     7278    122 |        0 |        0
973.19/973.52	c  973s |      19 |   554287 |   467182 |     7278    123 |        0 |        0
975.28/975.65	c  975s |      19 |   555395 |   468182 |     7278    123 |        0 |        0
977.59/977.90	c  977s |      19 |   556482 |   469182 |     7278    123 |        0 |        0
979.58/979.92	c  979s |      19 |   557363 |   469982 |     7278    123 |        0 |        0
981.67/982.08	c  981s |      19 |   558243 |   470782 |     7278    123 |        0 |        0
983.67/984.08	c  983s |      19 |   558910 |   471382 |     7278    124 |        0 |        0
985.78/986.10	c  985s |      19 |   560024 |   472382 |     7278    124 |        0 |        0
987.78/988.18	c  987s |      19 |   560992 |   473282 |     7278    124 |        0 |        0
989.88/990.27	c  990s |      19 |   561968 |   474182 |     7278    124 |        0 |        0
991.98/992.39	c  992s |      19 |   563061 |   475082 |     7278    124 |        0 |        0
993.98/994.40	c  994s |      19 |   563830 |   475782 |     7278    124 |        0 |        0
996.28/996.63	c  996s |      19 |   564709 |   476582 |     7278    125 |        0 |        0
998.38/998.80	c  998s |      19 |   565696 |   477482 |     7278    125 |        0 |        0
1000.57/1001.00	c 1000s |      19 |   566668 |   478382 |     7278    125 |        0 |        0
1002.88/1003.25	c 1003s |      19 |   567644 |   479282 |     7278    125 |        0 |        0
1004.87/1005.27	c 1005s |      19 |   568402 |   479982 |     7278    125 |        0 |        0
1006.97/1007.37	c 1007s |      19 |   569168 |   480682 |     7278    126 |        0 |        0
1009.17/1009.52	c 1009s |      19 |   570123 |   481582 |     7278    126 |        0 |        0
1011.26/1011.62	c 1011s |      19 |   571079 |   482482 |     7278    126 |        0 |        0
1013.36/1013.78	c 1013s |      19 |   572125 |   483382 |     7278    126 |        0 |        0
1015.46/1015.81	c 1015s |      19 |   573102 |   484282 |     7278    126 |        0 |        0
1017.86/1018.27	c 1018s |      19 |   574071 |   485182 |     7278    127 |        0 |        0
1019.86/1020.30	c 1020s |      19 |   574837 |   485882 |     7278    127 |        0 |        0
1022.16/1022.50	c 1022s |      19 |   575840 |   486782 |     7278    127 |        0 |        0
1024.26/1024.70	c 1024s |      19 |   576826 |   487682 |     7278    127 |        0 |        0
1026.56/1026.93	c 1026s |      19 |   577716 |   488482 |     7278    127 |        0 |        0
1028.55/1028.95	c 1028s |      19 |   578614 |   489282 |     7278    127 |        0 |        0
1030.75/1031.19	c 1030s |      19 |   579469 |   490082 |     7278    128 |        0 |        0
1032.75/1033.19	c 1032s |      19 |   580317 |   490882 |     7278    128 |        0 |        0
1035.05/1035.43	c 1035s |      19 |   581299 |   491782 |     7278    128 |        0 |        0
1037.35/1037.77	c 1037s |      19 |   582071 |   492482 |     7278    128 |        0 |        0
1039.55/1039.94	c 1039s |      19 |   582814 |   493182 |     7278    128 |        0 |        0
1041.65/1042.05	c 1041s |      19 |   583584 |   493882 |     7278    128 |        0 |        0
1044.05/1044.41	c 1044s |      19 |   584387 |   494582 |     7278    129 |        0 |        0
1046.15/1046.57	c 1046s |      19 |   585513 |   495582 |     7278    129 |        0 |        0
1048.44/1048.82	c 1048s |      19 |   586594 |   496582 |     7278    129 |        0 |        0
1050.54/1050.97	c 1050s |      19 |   587562 |   497482 |     7278    129 |        0 |        0
1052.64/1053.05	c 1052s |      19 |   588434 |   498282 |     7278    129 |        0 |        0
1054.94/1055.33	c 1055s |      19 |   589345 |   499082 |     7278    129 |        0 |        0
1056.94/1057.36	c 1057s |      19 |   590237 |   499882 |     7278    130 |        0 |        0
1059.24/1059.61	c 1059s |      19 |   591205 |   500782 |     7278    130 |        0 |        0
1061.33/1061.71	c 1061s |      19 |   592059 |   501582 |     7278    130 |        0 |        0
1063.34/1063.76	c 1063s |      19 |   592844 |   502282 |     7278    130 |        0 |        0
1065.33/1065.76	c 1065s |      19 |   593502 |   502882 |     7278    130 |        0 |        0
1067.63/1068.09	c 1067s |      19 |   594251 |   503582 |     7278    130 |        0 |        0
1069.73/1070.15	c 1069s |      19 |   595037 |   504282 |     7278    131 |        0 |        0
1071.73/1072.18	c 1071s |      19 |   595849 |   504982 |     7278    131 |        0 |        0
1073.83/1074.23	c 1073s |      19 |   596870 |   505882 |     7278    131 |        0 |        0
1076.03/1076.42	c 1076s |      19 |   597848 |   506782 |     7278    131 |        0 |        0
1078.03/1078.44	c 1078s |      19 |   598720 |   507582 |     7278    131 |        0 |        0
1080.23/1080.68	c 1080s |      19 |   599575 |   508382 |     7278    131 |        0 |        0
1082.32/1082.71	c 1082s |      19 |   600256 |   508982 |     7278    132 |        0 |        0
1084.33/1084.73	c 1084s |      19 |   601157 |   509782 |     7278    132 |        0 |        0
1086.43/1086.82	c 1086s |      19 |   602183 |   510682 |     7278    132 |        0 |        0
1088.42/1088.87	c 1088s |      19 |   603218 |   511582 |     7278    132 |        0 |        0
1090.52/1090.97	c 1090s |      19 |   604231 |   512482 |     7278    132 |        0 |        0
1093.03/1093.49	c 1093s |      19 |   605014 |   513182 |     7278    133 |        0 |        0
1095.23/1095.64	c 1095s |      19 |   605990 |   514082 |     7278    133 |        0 |        0
1097.22/1097.66	c 1097s |      19 |   606896 |   514882 |     7278    133 |        0 |        0
1099.42/1099.86	c 1099s |      19 |   608012 |   515882 |     7278    133 |        0 |        0
1101.51/1101.91	c 1101s |      19 |   608893 |   516682 |     7278    133 |        0 |        0
1103.51/1103.93	c 1103s |      19 |   609786 |   517482 |     7278    133 |        0 |        0
1105.51/1105.97	c 1105s |      19 |   610536 |   518182 |     7278    134 |        0 |        0
1107.71/1108.18	c 1107s |      19 |   611499 |   519082 |     7278    134 |        0 |        0
1109.81/1110.29	c 1110s |      19 |   612382 |   519882 |     7278    134 |        0 |        0
1112.21/1112.65	c 1112s |      19 |   613254 |   520682 |     7278    134 |        0 |        0
1114.41/1114.82	c 1114s |      19 |   614512 |   521782 |     7278    134 |        0 |        0
1116.50/1116.93	c 1116s |      19 |   615443 |   522582 |     7278    135 |        0 |        0
1118.60/1119.01	c 1118s |      19 |   616352 |   523382 |     7278    135 |        0 |        0
1120.80/1121.22	c 1120s |      19 |   617233 |   524182 |     7278    135 |        0 |        0
1123.00/1123.44	c 1123s |      19 |   618218 |   525082 |     7278    135 |        0 |        0
1125.20/1125.63	c 1125s |      19 |   619209 |   525982 |     7278    135 |        0 |        0
1127.30/1127.74	c 1127s |      19 |   620090 |   526782 |     7278    135 |        0 |        0
1129.50/1129.97	c 1129s |      19 |   620959 |   527582 |     7278    136 |        0 |        0
1131.69/1132.15	c 1131s |      19 |   621967 |   528482 |     7278    136 |        0 |        0
1133.89/1134.33	c 1134s |      19 |   622835 |   529282 |     7278    136 |        0 |        0
1135.91/1136.36	c 1136s |      19 |   623670 |   529982 |     7278    136 |        0 |        0
1138.00/1138.43	c 1138s |      19 |   624585 |   530782 |     7278    136 |        0 |        0
1140.10/1140.51	c 1140s |      19 |   625360 |   531482 |     7278    136 |        0 |        0
1142.10/1142.59	c 1142s |      19 |   626013 |   532082 |     7278    137 |        0 |        0
1144.20/1144.61	c 1144s |      19 |   626888 |   532882 |     7278    137 |        0 |        0
1146.19/1146.66	c 1146s |      19 |   627893 |   533782 |     7278    137 |        0 |        0
1148.39/1148.89	c 1148s |      19 |   628884 |   534682 |     7278    137 |        0 |        0
1150.49/1150.90	c 1150s |      19 |   629757 |   535482 |     7278    137 |        0 |        0
1152.50/1152.97	c 1152s |      19 |   630656 |   536282 |     7278    137 |        0 |        0
1154.60/1155.10	c 1154s |      19 |   631339 |   536882 |     7278    138 |        0 |        0
1156.80/1157.26	c 1157s |      19 |   632297 |   537782 |     7278    138 |        0 |        0
1159.09/1159.54	c 1159s |      19 |   633167 |   538582 |     7278    138 |        0 |        0
1161.19/1161.68	c 1161s |      19 |   634113 |   539382 |     7278    138 |        0 |        0
1163.49/1163.91	c 1163s |      19 |   635111 |   540282 |     7278    138 |        0 |        0
1165.48/1165.96	c 1165s |      19 |   635899 |   540982 |     7278    138 |        0 |        0
1167.58/1168.06	c 1167s |      19 |   636669 |   541682 |     7278    139 |        0 |        0
1169.88/1170.30	c 1170s |      19 |   637659 |   542582 |     7278    139 |        0 |        0
1171.88/1172.36	c 1172s |      19 |   638518 |   543382 |     7278    139 |        0 |        0
1173.88/1174.37	c 1174s |      19 |   639271 |   544082 |     7278    139 |        0 |        0
1176.18/1176.62	c 1176s |      19 |   640170 |   544882 |     7278    139 |        0 |        0
1178.38/1178.86	c 1178s |      19 |   641041 |   545682 |     7278    139 |        0 |        0
1180.48/1180.99	c 1180s |      19 |   641903 |   546482 |     7278    140 |        0 |        0
1182.67/1183.18	c 1182s |      19 |   642783 |   547282 |     7278    140 |        0 |        0
1184.87/1185.35	c 1185s |      19 |   643659 |   548082 |     7278    140 |        0 |        0
1186.97/1187.42	c 1187s |      19 |   644412 |   548782 |     7278    140 |        0 |        0
1189.07/1189.52	c 1189s |      19 |   645072 |   549382 |     7278    140 |        0 |        0
1191.07/1191.58	c 1191s |      19 |   645822 |   550082 |     7278    140 |        0 |        0
1193.27/1193.76	c 1193s |      19 |   646501 |   550682 |     7278    141 |        0 |        0
1195.28/1195.79	c 1195s |      19 |   647287 |   551382 |     7278    141 |        0 |        0
1197.58/1198.03	c 1197s |      19 |   648171 |   552182 |     7278    141 |        0 |        0
1199.67/1200.15	c 1199s |      19 |   648913 |   552882 |     7278    141 |        0 |        0
1201.97/1202.41	c 1202s |      19 |   649689 |   553582 |     7278    141 |        0 |        0
1204.26/1204.72	c 1204s |      19 |   650455 |   554282 |     7278    141 |        0 |        0
1206.27/1206.79	c 1206s |      19 |   651099 |   554882 |     7278    141 |        0 |        0
1208.36/1208.86	c 1208s |      19 |   651789 |   555482 |     7278    142 |        0 |        0
1210.56/1211.06	c 1210s |      19 |   653020 |   556582 |     7278    142 |        0 |        0
1212.76/1213.22	c 1212s |      19 |   654011 |   557482 |     7278    142 |        0 |        0
1214.76/1215.25	c 1215s |      19 |   654863 |   558282 |     7278    142 |        0 |        0
1216.86/1217.31	c 1217s |      19 |   655723 |   559082 |     7278    142 |        0 |        0
1219.26/1219.76	c 1219s |      19 |   656559 |   559782 |     7278    143 |        0 |        0
1221.45/1221.99	c 1221s |      19 |   657852 |   560682 |     7278    143 |        0 |        0
1223.55/1224.00	c 1223s |      19 |   658818 |   561382 |     7278    143 |        0 |        0
1225.75/1226.25	c 1226s |      19 |   659718 |   562082 |     7278    143 |        0 |        0
1227.85/1228.30	c 1228s |      19 |   660684 |   562882 |     7278    143 |        0 |        0
1229.95/1230.49	c 1230s |      19 |   661834 |   563782 |     7278    143 |        0 |        0
1232.05/1232.52	c 1232s |      19 |   662594 |   564382 |     7278    144 |        0 |        0
1234.05/1234.57	c 1234s |      19 |   663545 |   565182 |     7278    144 |        0 |        0
1236.35/1236.84	c 1236s |      19 |   664333 |   565882 |     7278    144 |        0 |        0
1238.64/1239.13	c 1238s |      19 |   665223 |   566682 |     7278    144 |        0 |        0
1240.74/1241.29	c 1241s |      19 |   666228 |   567482 |     7278    144 |        0 |        0
1242.94/1243.47	c 1243s |      19 |   667060 |   568182 |     7278    144 |        0 |        0
1245.04/1245.59	c 1245s |      19 |   667743 |   568782 |     7278    144 |        0 |        0
1247.24/1247.75	c 1247s |      19 |   668415 |   569382 |     7278    145 |        0 |        0
1249.25/1249.78	c 1249s |      19 |   669213 |   570082 |     7278    145 |        0 |        0
1251.35/1251.84	c 1251s |      19 |   670126 |   570882 |     7278    145 |        0 |        0
1253.44/1253.96	c 1253s |      19 |   670900 |   571582 |     7278    145 |        0 |        0
1255.54/1256.06	c 1255s |      19 |   671715 |   572282 |     7278    145 |        0 |        0
1257.84/1258.31	c 1258s |      19 |   672506 |   572982 |     7278    145 |        0 |        0
1260.15/1260.61	c 1260s |      19 |   673186 |   573582 |     7278    146 |        0 |        0
1262.24/1262.72	c 1262s |      19 |   673978 |   574282 |     7278    146 |        0 |        0
1264.34/1264.84	c 1264s |      19 |   674738 |   574982 |     7278    146 |        0 |        0
1266.64/1267.16	c 1266s |      19 |   675524 |   575682 |     7278    146 |        0 |        0
1268.94/1269.43	c 1269s |      19 |   676299 |   576382 |     7278    146 |        0 |        0
1271.34/1271.82	c 1271s |      19 |   677083 |   577082 |     7278    146 |        0 |        0
1273.34/1273.88	c 1273s |      19 |   677639 |   577582 |     7278    146 |        0 |        0
1275.44/1276.00	c 1275s |      19 |   678183 |   578082 |     7278    146 |        0 |        0
1277.84/1278.37	c 1278s |      19 |   678843 |   578682 |     7278    147 |        0 |        0
1279.94/1280.43	c 1280s |      19 |   679523 |   579282 |     7278    147 |        0 |        0
1282.04/1282.51	c 1282s |      19 |   680500 |   580082 |     7278    147 |        0 |        0
1284.34/1284.85	c 1284s |      19 |   681305 |   580782 |     7278    147 |        0 |        0
1286.54/1287.03	c 1286s |      19 |   681957 |   581382 |     7278    147 |        0 |        0
1288.53/1289.08	c 1288s |      19 |   682625 |   581982 |     7278    147 |        0 |        0
1290.63/1291.13	c 1290s |      19 |   683419 |   582682 |     7278    147 |        0 |        0
1293.04/1293.52	c 1293s |      19 |   684192 |   583382 |     7278    148 |        0 |        0
1295.04/1295.56	c 1295s |      19 |   684984 |   584082 |     7278    148 |        0 |        0
1297.14/1297.63	c 1297s |      19 |   685644 |   584682 |     7278    148 |        0 |        0
1299.24/1299.73	c 1299s |      19 |   686303 |   585282 |     7278    148 |        0 |        0
1301.34/1301.85	c 1301s |      19 |   686957 |   585882 |     7278    148 |        0 |        0
1303.44/1303.98	c 1303s |      19 |   687604 |   586482 |     7278    148 |        0 |        0
1305.74/1306.26	c 1306s |      19 |   688399 |   587182 |     7278    148 |        0 |        0
1307.94/1308.41	c 1308s |      19 |   689060 |   587782 |     7278    149 |        0 |        0
1310.04/1310.52	c 1310s |      19 |   689976 |   588582 |     7278    149 |        0 |        0
1312.34/1312.83	c 1312s |      19 |   690737 |   589282 |     7278    149 |        0 |        0
1314.64/1315.10	c 1314s |      19 |   691536 |   589982 |     7278    149 |        0 |        0
1316.64/1317.14	c 1316s |      19 |   692472 |   590782 |     7278    149 |        0 |        0
1318.74/1319.25	c 1319s |      19 |   693257 |   591482 |     7278    149 |        0 |        0
1320.75/1321.26	c 1321s |      19 |   693902 |   592082 |     7278    149 |        0 |        0
1322.94/1323.42	c 1323s |      19 |   694592 |   592682 |     7278    150 |        0 |        0
1325.04/1325.55	c 1325s |      19 |   695638 |   593582 |     7278    150 |        0 |        0
1327.14/1327.64	c 1327s |      19 |   696407 |   594282 |     7278    150 |        0 |        0
1329.24/1329.74	c 1329s |      19 |   697186 |   594982 |     7278    150 |        0 |        0
1331.54/1332.01	c 1331s |      19 |   697949 |   595682 |     7278    150 |        0 |        0
1333.64/1334.17	c 1333s |      19 |   698721 |   596382 |     7278    150 |        0 |        0
1335.74/1336.24	c 1336s |      19 |   699487 |   597082 |     7278    151 |        0 |        0
1337.84/1338.38	c 1338s |      19 |   700363 |   597882 |     7278    151 |        0 |        0
1339.94/1340.43	c 1340s |      19 |   701144 |   598582 |     7278    151 |        0 |        0
1341.94/1342.45	c 1342s |      19 |   701914 |   599282 |     7278    151 |        0 |        0
1344.03/1344.56	c 1344s |      19 |   702670 |   599982 |     7278    151 |        0 |        0
1346.13/1346.68	c 1346s |      19 |   703324 |   600582 |     7278    151 |        0 |        0
1348.24/1348.75	c 1348s |      19 |   703979 |   601182 |     7278    151 |        0 |        0
1350.44/1350.96	c 1350s |      19 |   704674 |   601782 |     7278    152 |        0 |        0
1352.54/1353.04	c 1352s |      19 |   705832 |   602782 |     7278    152 |        0 |        0
1354.74/1355.27	c 1355s |      19 |   706751 |   603582 |     7278    152 |        0 |        0
1356.94/1357.48	c 1357s |      19 |   707643 |   604382 |     7278    152 |        0 |        0
1359.24/1359.74	c 1359s |      19 |   708535 |   605182 |     7278    152 |        0 |        0
1361.34/1361.82	c 1361s |      19 |   709300 |   605882 |     7278    152 |        0 |        0
1363.43/1364.00	c 1363s |      19 |   710102 |   606582 |     7278    153 |        0 |        0
1365.63/1366.13	c 1365s |      19 |   710874 |   607282 |     7278    153 |        0 |        0
1367.63/1368.16	c 1367s |      19 |   711656 |   607982 |     7278    153 |        0 |        0
1369.73/1370.27	c 1370s |      19 |   712411 |   608682 |     7278    153 |        0 |        0
1371.73/1372.28	c 1372s |      19 |   713200 |   609382 |     7278    153 |        0 |        0
1373.83/1374.37	c 1374s |      19 |   714001 |   610082 |     7278    153 |        0 |        0
1376.03/1376.54	c 1376s |      19 |   714765 |   610782 |     7278    154 |        0 |        0
1378.13/1378.61	c 1378s |      19 |   715528 |   611482 |     7278    154 |        0 |        0
1380.13/1380.66	c 1380s |      19 |   716281 |   612182 |     7278    154 |        0 |        0
1382.23/1382.76	c 1382s |      19 |   717199 |   612982 |     7278    154 |        0 |        0
1384.33/1384.90	c 1384s |      19 |   717974 |   613682 |     7278    154 |        0 |        0
1386.53/1387.06	c 1386s |      19 |   718738 |   614382 |     7278    154 |        0 |        0
1388.62/1389.11	c 1388s |      19 |   719532 |   615082 |     7278    154 |        0 |        0
1390.72/1391.20	c 1390s |      19 |   720207 |   615682 |     7278    155 |        0 |        0
1392.72/1393.23	c 1393s |      19 |   720981 |   616382 |     7278    155 |        0 |        0
1394.92/1395.49	c 1395s |      19 |   721771 |   617082 |     7278    155 |        0 |        0
1397.22/1397.71	c 1397s |      19 |   722642 |   617882 |     7278    155 |        0 |        0
1399.42/1399.94	c 1399s |      19 |   723533 |   618682 |     7278    155 |        0 |        0
1401.52/1402.01	c 1401s |      19 |   724265 |   619382 |     7278    155 |        0 |        0
1403.72/1404.23	c 1404s |      19 |   725008 |   619982 |     7278    156 |        0 |        0
1405.82/1406.33	c 1406s |      19 |   725899 |   620782 |     7278    156 |        0 |        0
1408.02/1408.53	c 1408s |      19 |   726764 |   621582 |     7278    156 |        0 |        0
1410.12/1410.65	c 1410s |      19 |   727534 |   622282 |     7278    156 |        0 |        0
1412.32/1412.84	c 1412s |      19 |   728301 |   622982 |     7278    156 |        0 |        0
1414.62/1415.16	c 1414s |      19 |   729060 |   623682 |     7278    156 |        0 |        0
1416.62/1417.18	c 1416s |      19 |   729718 |   624282 |     7278    156 |        0 |        0
1418.82/1419.36	c 1419s |      19 |   730361 |   624882 |     7278    157 |        0 |        0
1421.02/1421.56	c 1421s |      19 |   731236 |   625682 |     7278    157 |        0 |        0
1423.32/1423.80	c 1423s |      19 |   732113 |   626482 |     7278    157 |        0 |        0
1425.32/1425.89	c 1425s |      19 |   732879 |   627182 |     7278    157 |        0 |        0
1427.43/1427.93	c 1427s |      19 |   733624 |   627882 |     7278    157 |        0 |        0
1429.52/1430.03	c 1429s |      19 |   734397 |   628582 |     7278    157 |        0 |        0
1431.72/1432.24	c 1432s |      19 |   735021 |   629182 |     7278    157 |        0 |        0
1433.92/1434.45	c 1434s |      19 |   735667 |   629782 |     7278    158 |        0 |        0
1436.22/1436.73	c 1436s |      19 |   736581 |   630582 |     7278    158 |        0 |        0
1438.42/1438.92	c 1438s |      19 |   737330 |   631282 |     7278    158 |        0 |        0
1440.41/1440.99	c 1440s |      19 |   738271 |   632082 |     7278    158 |        0 |        0
1442.61/1443.17	c 1442s |      19 |   739172 |   632882 |     7278    158 |        0 |        0
1444.92/1445.44	c 1445s |      19 |   739952 |   633582 |     7278    158 |        0 |        0
1447.01/1447.51	c 1447s |      19 |   740631 |   634182 |     7278    159 |        0 |        0
1449.21/1449.73	c 1449s |      19 |   741793 |   635182 |     7278    159 |        0 |        0
1451.41/1451.92	c 1451s |      19 |   742674 |   635982 |     7278    159 |        0 |        0
1453.61/1454.11	c 1453s |      19 |   743410 |   636682 |     7278    159 |        0 |        0
1455.81/1456.35	c 1456s |      19 |   744165 |   637382 |     7278    159 |        0 |        0
1458.12/1458.68	c 1458s |      19 |   744923 |   638082 |     7278    159 |        0 |        0
1460.32/1460.84	c 1460s |      19 |   745590 |   638682 |     7278    160 |        0 |        0
1462.41/1462.96	c 1462s |      19 |   746350 |   639382 |     7278    160 |        0 |        0
1464.61/1465.15	c 1464s |      19 |   747109 |   640082 |     7278    160 |        0 |        0
1466.92/1467.46	c 1467s |      19 |   747843 |   640782 |     7278    160 |        0 |        0
1469.01/1469.52	c 1469s |      19 |   748818 |   641582 |     7278    160 |        0 |        0
1471.21/1471.74	c 1471s |      19 |   749807 |   642482 |     7278    160 |        0 |        0
1473.91/1474.47	c 1474s |      19 |   750703 |   643282 |     7278    161 |        0 |        0
1476.01/1476.50	c 1476s |      19 |   751632 |   644082 |     7278    161 |        0 |        0
1478.11/1478.69	c 1478s |      19 |   752504 |   644882 |     7278    161 |        0 |        0
1480.31/1480.86	c 1480s |      19 |   753400 |   645682 |     7278    161 |        0 |        0
1482.51/1483.08	c 1482s |      19 |   754164 |   646382 |     7278    161 |        0 |        0
1484.71/1485.22	c 1484s |      19 |   754801 |   646982 |     7278    161 |        0 |        0
1487.01/1487.52	c 1487s |      19 |   755561 |   647682 |     7278    161 |        0 |        0
1489.20/1489.78	c 1489s |      19 |   756215 |   648282 |     7278    162 |        0 |        0
1491.30/1491.81	c 1491s |      19 |   756982 |   648982 |     7278    162 |        0 |        0
1493.51/1494.04	c 1493s |      19 |   757732 |   649682 |     7278    162 |        0 |        0
1495.52/1496.09	c 1495s |      19 |   758395 |   650282 |     7278    162 |        0 |        0
1497.72/1498.27	c 1498s |      19 |   759141 |   650982 |     7278    162 |        0 |        0
1499.81/1500.36	c 1500s |      19 |   759778 |   651582 |     7278    162 |        0 |        0
1501.91/1502.41	c 1502s |      19 |   760418 |   652182 |     7278    162 |        0 |        0
1504.11/1504.66	c 1504s |      19 |   761051 |   652782 |     7278    163 |        0 |        0
1506.31/1506.88	c 1506s |      19 |   761929 |   653582 |     7278    163 |        0 |        0
1508.51/1509.06	c 1508s |      19 |   763133 |   654582 |     7278    163 |        0 |        0
1510.51/1511.08	c 1510s |      19 |   763894 |   655282 |     7278    163 |        0 |        0
1512.61/1513.16	c 1512s |      19 |   764536 |   655882 |     7278    163 |        0 |        0
1514.70/1515.25	c 1515s |      19 |   765448 |   656682 |     7278    163 |        0 |        0
1516.90/1517.41	c 1517s |      19 |   766232 |   657382 |     7278    164 |        0 |        0
1518.90/1519.47	c 1519s |      19 |   766995 |   658082 |     7278    164 |        0 |        0
1521.10/1521.62	c 1521s |      19 |   767761 |   658782 |     7278    164 |        0 |        0
1523.20/1523.79	c 1523s |      19 |   768637 |   659582 |     7278    164 |        0 |        0
1525.50/1526.04	c 1525s |      19 |   769393 |   660282 |     7278    164 |        0 |        0
1527.80/1528.37	c 1528s |      19 |   770163 |   660982 |     7278    164 |        0 |        0
1530.00/1530.53	c 1530s |      19 |   770922 |   661682 |     7278    164 |        0 |        0
1532.00/1532.55	c 1532s |      19 |   771569 |   662282 |     8006    165 |        0 |        0
1534.30/1534.84	c 1534s |      19 |   772331 |   662982 |     8006    165 |        0 |        0
1536.40/1536.91	c 1536s |      19 |   773083 |   663682 |     8006    165 |        0 |        0
1538.60/1539.12	c 1538s |      19 |   773849 |   664382 |     8006    165 |        0 |        0
1540.61/1541.20	c 1540s |      19 |   774826 |   665182 |     8006    165 |        0 |        0
1542.81/1543.37	c 1543s |      19 |   776096 |   666282 |     8006    165 |        0 |        0
1544.01/1544.59	c 1544s |      20 |   776716 |   666827 |     8006    165 |        0 |        0
1546.11/1546.68	c 1546s |      20 |   779409 |   667827 |     8006    166 |        0 |        0
1548.20/1548.72	c 1548s |      20 |   780983 |   669227 |     8006    166 |        0 |        0
1550.30/1550.83	c 1550s |      20 |   782489 |   670527 |     8006    166 |        0 |        0
1552.50/1553.01	c 1552s |      20 |   783803 |   671727 |     8006    166 |        0 |        0
1554.60/1555.15	c 1554s |      20 |   784903 |   672727 |     8006    167 |        0 |        0
1556.80/1557.31	c 1557s |      20 |   786024 |   673727 |     8006    167 |        0 |        0
1558.80/1559.38	c 1559s |      20 |   786997 |   674627 |     8006    167 |        0 |        0
1561.00/1561.55	c 1561s |      20 |   788007 |   675527 |     8006    167 |        0 |        0
1563.10/1563.61	c 1563s |      20 |   788866 |   676327 |     8006    167 |        0 |        0
1565.20/1565.74	c 1565s |      20 |   789720 |   677127 |     8006    167 |        0 |        0
1567.29/1567.85	c 1567s |      20 |   790588 |   677927 |     8006    168 |        0 |        0
1569.39/1569.92	c 1569s |      20 |   791585 |   678827 |     8006    168 |        0 |        0
1571.40/1571.99	c 1571s |      20 |   792475 |   679627 |     8006    168 |        0 |        0
1573.49/1574.03	c 1573s |      20 |   793332 |   680427 |     8006    168 |        0 |        0
1575.59/1576.13	c 1575s |      20 |   794188 |   681227 |     8006    168 |        0 |        0
1577.59/1578.15	c 1577s |      20 |   794932 |   681927 |     8006    168 |        0 |        0
1579.69/1580.20	c 1579s |      20 |   795689 |   682627 |     8006    169 |        0 |        0
1581.79/1582.37	c 1582s |      20 |   796560 |   683427 |     8006    169 |        0 |        0
1583.79/1584.39	c 1584s |      20 |   797424 |   684227 |     8006    169 |        0 |        0
1585.99/1586.54	c 1586s |      20 |   798437 |   685127 |     8006    169 |        0 |        0
1588.09/1588.69	c 1588s |      20 |   799588 |   686127 |     8006    169 |        0 |        0
1590.29/1590.82	c 1590s |      20 |   800689 |   687127 |     8006    169 |        0 |        0
1592.49/1593.02	c 1592s |      20 |   801477 |   687827 |     8006    170 |        0 |        0
1594.69/1595.28	c 1595s |      20 |   802546 |   688827 |     8006    170 |        0 |        0
1596.80/1597.35	c 1597s |      20 |   803535 |   689727 |     8006    170 |        0 |        0
1598.90/1599.46	c 1599s |      20 |   804430 |   690527 |     8006    170 |        0 |        0
1600.99/1601.54	c 1601s |      20 |   805457 |   691427 |     8006    170 |        0 |        0
1603.29/1603.87	c 1603s |      20 |   806278 |   692127 |     8006    170 |        0 |        0
1605.39/1606.00	c 1605s |      20 |   806823 |   692627 |     8006    171 |        0 |        0
1607.59/1608.12	c 1607s |      20 |   807933 |   693627 |     8006    171 |        0 |        0
1609.69/1610.20	c 1609s |      20 |   808925 |   694527 |     8006    171 |        0 |        0
1611.69/1612.20	c 1611s |      20 |   809795 |   695327 |     8006    171 |        0 |        0
1613.79/1614.30	c 1614s |      20 |   810674 |   696127 |     8006    171 |        0 |        0
1615.99/1616.59	c 1616s |      20 |   811676 |   697027 |     8006    171 |        0 |        0
1618.39/1618.94	c 1618s |      20 |   812353 |   697627 |     8006    172 |        0 |        0
1620.49/1621.01	c 1620s |      20 |   813356 |   698527 |     8006    172 |        0 |        0
1622.69/1623.26	c 1623s |      20 |   814385 |   699427 |     8006    172 |        0 |        0
1624.79/1625.39	c 1625s |      20 |   815277 |   700227 |     8006    172 |        0 |        0
1626.89/1627.44	c 1627s |      20 |   816136 |   701027 |     8006    172 |        0 |        0
1629.19/1629.73	c 1629s |      20 |   817036 |   701827 |     8006    172 |        0 |        0
1631.29/1631.88	c 1631s |      20 |   817808 |   702527 |     8006    172 |        0 |        0
1633.39/1633.90	c 1633s |      20 |   818694 |   703327 |     8006    173 |        0 |        0
1635.59/1636.17	c 1635s |      20 |   819572 |   704127 |     8006    173 |        0 |        0
1637.79/1638.39	c 1638s |      20 |   820666 |   705027 |     8006    173 |        0 |        0
1639.99/1640.58	c 1640s |      20 |   821672 |   705927 |     8006    173 |        0 |        0
1642.09/1642.60	c 1642s |      20 |   822523 |   706727 |     8006    173 |        0 |        0
1644.10/1644.68	c 1644s |      20 |   823276 |   707427 |     8006    173 |        0 |        0
1646.29/1646.83	c 1646s |      20 |   824061 |   708127 |     8006    174 |        0 |        0
1648.29/1648.87	c 1648s |      20 |   825073 |   709027 |     8006    174 |        0 |        0
1650.39/1650.99	c 1650s |      20 |   825980 |   709827 |     8006    174 |        0 |        0
1652.59/1653.15	c 1652s |      20 |   826883 |   710627 |     8006    174 |        0 |        0
1654.69/1655.21	c 1654s |      20 |   827760 |   711427 |     8006    174 |        0 |        0
1656.99/1657.54	c 1657s |      20 |   828607 |   712227 |     8006    174 |        0 |        0
1659.09/1659.65	c 1659s |      20 |   829404 |   712927 |     8006    175 |        0 |        0
1661.59/1662.16	c 1661s |      20 |   830313 |   713727 |     8006    175 |        0 |        0
1663.79/1664.39	c 1664s |      20 |   831420 |   714727 |     8006    175 |        0 |        0
1665.99/1666.60	c 1666s |      20 |   832350 |   715527 |     8006    175 |        0 |        0
1668.19/1668.80	c 1668s |      20 |   833232 |   716327 |     8006    175 |        0 |        0
1670.39/1670.90	c 1670s |      20 |   833991 |   717027 |     8006    175 |        0 |        0
1672.98/1673.50	c 1673s |      20 |   834876 |   717827 |     8006    176 |        0 |        0
1674.98/1675.57	c 1675s |      20 |   835756 |   718627 |     8006    176 |        0 |        0
1677.09/1677.62	c 1677s |      20 |   836629 |   719427 |     8006    176 |        0 |        0
1679.29/1679.82	c 1679s |      20 |   837490 |   720227 |     8006    176 |        0 |        0
1681.39/1681.97	c 1681s |      20 |   838225 |   720927 |     8006    176 |        0 |        0
1683.69/1684.28	c 1684s |      20 |   838986 |   721627 |     8006    176 |        0 |        0
1685.88/1686.44	c 1686s |      20 |   840052 |   722527 |     8006    176 |        0 |        0
1687.98/1688.59	c 1688s |      20 |   841050 |   723427 |     8006    177 |        0 |        0
1690.18/1690.78	c 1690s |      20 |   842247 |   724527 |     8006    177 |        0 |        0
1692.27/1692.84	c 1692s |      20 |   843157 |   725327 |     8006    177 |        0 |        0
1694.37/1694.94	c 1694s |      20 |   844159 |   726227 |     8006    177 |        0 |        0
1696.47/1697.02	c 1696s |      20 |   845044 |   727027 |     8006    177 |        0 |        0
1698.47/1699.03	c 1698s |      20 |   845929 |   727827 |     8006    177 |        0 |        0
1700.67/1701.27	c 1701s |      20 |   846800 |   728627 |     8006    178 |        0 |        0
1702.87/1703.41	c 1703s |      20 |   847775 |   729527 |     8006    178 |        0 |        0
1704.97/1705.54	c 1705s |      20 |   848749 |   730427 |     8006    178 |        0 |        0
1707.17/1707.73	c 1707s |      20 |   849631 |   731227 |     8006    178 |        0 |        0
1709.47/1710.02	c 1709s |      20 |   850488 |   732027 |     8006    178 |        0 |        0
1711.67/1712.23	c 1712s |      20 |   851270 |   732727 |     8006    178 |        0 |        0
1714.07/1714.62	c 1714s |      20 |   851929 |   733327 |     8006    179 |        0 |        0
1716.27/1716.82	c 1716s |      20 |   853028 |   734327 |     8006    179 |        0 |        0
1718.47/1719.06	c 1718s |      20 |   853990 |   735227 |     8006    179 |        0 |        0
1720.57/1721.15	c 1720s |      20 |   854771 |   735927 |     8006    179 |        0 |        0
1722.77/1723.36	c 1723s |      20 |   856026 |   737027 |     8006    179 |        0 |        0
1725.07/1725.60	c 1725s |      20 |   856990 |   737927 |     8006    179 |        0 |        0
1727.08/1727.66	c 1727s |      20 |   857758 |   738627 |     8006    180 |        0 |        0
1729.18/1729.70	c 1729s |      20 |   858744 |   739527 |     8006    180 |        0 |        0
1731.28/1731.89	c 1731s |      20 |   859713 |   740427 |     8006    180 |        0 |        0
1733.38/1733.91	c 1733s |      20 |   860557 |   741227 |     8006    180 |        0 |        0
1735.38/1735.98	c 1735s |      20 |   861338 |   741927 |     8006    180 |        0 |        0
1737.67/1738.22	c 1737s |      20 |   862210 |   742727 |     8006    180 |        0 |        0
1739.78/1740.33	c 1740s |      20 |   862836 |   743327 |     8006    181 |        0 |        0
1741.98/1742.55	c 1742s |      20 |   863712 |   744127 |     8006    181 |        0 |        0
1744.08/1744.64	c 1744s |      20 |   864581 |   744927 |     8006    181 |        0 |        0
1746.28/1746.87	c 1746s |      20 |   865376 |   745627 |     8006    181 |        0 |        0
1748.27/1748.89	c 1748s |      20 |   866313 |   746427 |     8006    181 |        0 |        0
1750.57/1751.13	c 1750s |      20 |   867186 |   747227 |     8006    181 |        0 |        0
1752.77/1753.36	c 1753s |      20 |   868162 |   748127 |     8006    181 |        0 |        0
1754.87/1755.42	c 1755s |      20 |   868943 |   748827 |     8006    182 |        0 |        0
1756.97/1757.53	c 1757s |      20 |   869925 |   749727 |     8006    182 |        0 |        0
1759.07/1759.65	c 1759s |      20 |   870798 |   750527 |     8006    182 |        0 |        0
1761.27/1761.81	c 1761s |      20 |   871688 |   751327 |     8006    182 |        0 |        0
1763.27/1763.85	c 1763s |      20 |   872564 |   752127 |     8006    182 |        0 |        0
1765.47/1766.01	c 1765s |      20 |   873428 |   752927 |     8006    182 |        0 |        0
1767.87/1768.41	c 1768s |      20 |   874175 |   753627 |     8006    183 |        0 |        0
1769.87/1770.47	c 1770s |      20 |   875158 |   754527 |     8006    183 |        0 |        0
1772.07/1772.69	c 1772s |      20 |   876108 |   755427 |     8006    183 |        0 |        0
1774.27/1774.84	c 1774s |      20 |   876961 |   756227 |     8006    183 |        0 |        0
1776.27/1776.85	c 1776s |      20 |   877720 |   756927 |     8006    183 |        0 |        0
1778.47/1779.03	c 1778s |      20 |   878471 |   757627 |     8006    183 |        0 |        0
1780.47/1781.04	c 1780s |      20 |   879121 |   758227 |     8006    183 |        0 |        0
1782.47/1783.04	c 1782s |      20 |   879871 |   758927 |     8006    184 |        0 |        0
1784.56/1785.17	c 1784s |      20 |   880618 |   759627 |     8006    184 |        0 |        0
1786.66/1787.28	c 1787s |      20 |   881460 |   760427 |     8006    184 |        0 |        0
1788.76/1789.36	c 1789s |      20 |   882211 |   761127 |     8006    184 |        0 |        0
1791.06/1791.66	c 1791s |      20 |   882966 |   761827 |     8006    184 |        0 |        0
1793.46/1794.04	c 1793s |      20 |   883590 |   762427 |     8006    184 |        0 |        0
1795.66/1796.27	c 1796s |      20 |   884389 |   763127 |     8006    184 |        0 |        0
1797.66/1798.27	c 1798s |      20 |   885174 |   763827 |     8006    185 |        0 |        0
1799.76/1800.32	c 1800s |      20 |   886068 |   764627 |     8006    185 |        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-4093322-1466079239/watcher-4093322-1466079239 -o /tmp/evaluation-result-4093322-1466079239/solver-4093322-1466079239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093322-1466079239.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.28 2.26 3/179 17814
/proc/meminfo: memFree=29353988/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 2505 0 0 0 0 0 0 0 20 0 4 0 9969667 690417664 3376 33554432000 4194304 16246674 140736139541376 140736139540800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 169327 3385 441 2943 0 166221 0
[pid=17814/tid=17815] ppid=17811 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 709292032 3448 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 714534912 3464 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9969667 718729216 3481 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 2.31 2.28 2.26 3/179 17814
/proc/meminfo: memFree=29353988/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 26126 0 0 0 6 3 0 0 20 0 4 0 9969667 1247350784 26990 33554432000 4194304 16246674 140736139541376 140736139524368 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 304529 26999 605 2943 0 301423 0
[pid=17814/tid=17815] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 27006 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 27013 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 27019 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200497 s]
/proc/loadavg: 2.31 2.28 2.26 3/179 17814
/proc/meminfo: memFree=29353988/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 49367 0 0 0 13 6 0 0 20 0 4 0 9969667 1247350784 50226 33554432000 4194304 16246674 140736139541376 140736139524368 5516309 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 304529 50237 775 2943 0 301423 0
[pid=17814/tid=17815] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 50241 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 50245 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 50250 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300456 s]
/proc/loadavg: 2.31 2.28 2.26 3/179 17814
/proc/meminfo: memFree=29353988/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 74750 0 0 0 19 10 0 0 20 0 4 0 9969667 1247350784 75607 33554432000 4194304 16246674 140736139541376 140736139524368 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 304529 75612 808 2943 0 301423 0
[pid=17814/tid=17815] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 75615 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 75620 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9969667 1247350784 75626 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700385 s]
/proc/loadavg: 2.31 2.28 2.26 3/179 17814
/proc/meminfo: memFree=29353988/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 127726 0 0 0 53 16 0 0 20 0 4 0 9969667 1251545088 128562 33554432000 4194304 16246674 140736139541376 140736139540688 13191638 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 305553 128577 867 2943 0 302447 0
[pid=17814/tid=17815] ppid=17811 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1251545088 128581 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1251545088 128588 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1251545088 128595 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50039 s]
/proc/loadavg: 2.31 2.28 2.26 4/183 17818
/proc/meminfo: memFree=28387720/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 266280 0 0 0 113 36 0 0 20 0 4 0 9969667 1332285440 267115 33554432000 4194304 16246674 140736139541376 140736139523264 13808864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 325265 267115 867 2943 0 322159 0
[pid=17814/tid=17815] ppid=17811 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1332285440 267115 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1332285440 267115 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1332285440 267115 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 2.31 2.28 2.26 4/183 17818
/proc/meminfo: memFree=28279716/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 268046 0 0 0 273 36 0 0 20 0 4 0 9969667 1339625472 268881 33554432000 4194304 16246674 140736139541376 140736139523264 12483337 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 327057 268881 872 2943 0 323951 0
[pid=17814/tid=17815] ppid=17811 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1339625472 268881 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1339625472 268881 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1339625472 268881 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30038 s]
/proc/loadavg: 2.28 2.28 2.26 3/183 17818
/proc/meminfo: memFree=28278380/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 268176 0 0 0 593 36 0 0 20 0 4 0 9969667 1339625472 269011 33554432000 4194304 16246674 140736139541376 140736139523264 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 327057 269011 875 2943 0 323951 0
[pid=17814/tid=17815] ppid=17811 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1339625472 269011 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1339625472 269011 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1339625472 269011 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.26 2.27 2.26 3/183 17818
/proc/meminfo: memFree=28275180/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 268944 0 0 0 1233 36 0 0 20 0 4 0 9969667 1342771200 269779 33554432000 4194304 16246674 140736139541376 140736139523264 12483348 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 327825 269779 875 2943 0 324719 0
[pid=17814/tid=17815] ppid=17811 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1342771200 269779 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1342771200 269779 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1342771200 269779 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.20 2.26 2.26 3/183 17867
/proc/meminfo: memFree=28295140/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1324612 CPUtime=25.49 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 272225 0 0 0 2512 37 0 0 20 0 4 0 9969667 1356402688 273060 33554432000 4194304 16246674 140736139541376 140736139523264 13927352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 331153 273060 875 2943 0 328047 0
[pid=17814/tid=17815] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273060 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273060 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273060 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1324612

[startup+51.1004 s]
/proc/loadavg: 2.20 2.25 2.26 3/183 17868
/proc/meminfo: memFree=28295060/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 272272 0 0 0 5071 37 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140736139523264 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 331153 273107 875 2943 0 328047 0
[pid=17814/tid=17815] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.26 2.26 2.26 3/183 17869
/proc/meminfo: memFree=28294312/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1324612 CPUtime=102.28 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 272272 0 0 0 10190 38 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140736139523264 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 331153 273107 875 2943 0 328047 0
[pid=17814/tid=17815] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1356402688 273107 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1324612


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

/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1339972

[startup+1302.3 s]
/proc/loadavg: 2.18 2.25 2.26 4/183 17947
/proc/meminfo: memFree=28274360/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1339972 CPUtime=1301.84 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 276551 0 0 0 130124 60 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140736139523264 13760253 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 334993 276950 875 2943 0 331887 0
[pid=17814/tid=17815] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/183 17948
/proc/meminfo: memFree=28274516/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1339972 CPUtime=1361.83 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 276551 0 0 0 136123 60 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140736139523264 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 334993 276950 875 2943 0 331887 0
[pid=17814/tid=17815] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1339972

[startup+1422.3 s]
/proc/loadavg: 2.11 2.20 2.24 3/183 17949
/proc/meminfo: memFree=28274788/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1339972 CPUtime=1421.83 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 276551 0 0 0 142123 60 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140736139523264 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 334993 276950 875 2943 0 331887 0
[pid=17814/tid=17815] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1339972

[startup+1482.3 s]
/proc/loadavg: 2.17 2.20 2.24 4/183 17950
/proc/meminfo: memFree=28274332/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1339972 CPUtime=1481.81 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 276551 0 0 0 148121 60 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140736139523264 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 334993 276950 875 2943 0 331887 0
[pid=17814/tid=17815] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1372131328 276950 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.28 2.23 2.24 3/183 17951
/proc/meminfo: memFree=28269168/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1345092 CPUtime=1541.81 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 277831 0 0 0 154120 61 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140736139523264 5712555 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 336273 278230 875 2943 0 333167 0
[pid=17814/tid=17815] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1345092

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.24 3/184 17956
/proc/meminfo: memFree=28268940/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1345092 CPUtime=1601.79 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 277831 0 0 0 160118 61 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140736139523264 13759557 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 336273 278230 875 2943 0 333167 0
[pid=17814/tid=17815] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1345092

[startup+1662.3 s]
/proc/loadavg: 2.13 2.20 2.23 4/183 17957
/proc/meminfo: memFree=28268228/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1345092 CPUtime=1661.78 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 277831 0 0 0 166116 62 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140736139523264 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 336273 278230 875 2943 0 333167 0
[pid=17814/tid=17815] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1345092 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1377374208 278230 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1345092

[startup+1722.3 s]
/proc/loadavg: 2.26 2.22 2.23 3/183 17958
/proc/meminfo: memFree=28266900/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1346116 CPUtime=1721.77 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 278087 0 0 0 172115 62 0 0 20 0 4 0 9969667 1378422784 278486 33554432000 4194304 16246674 140736139541376 140736139523264 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 336529 278486 875 2943 0 333423 0
[pid=17814/tid=17815] ppid=17811 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1378422784 278486 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1378422784 278486 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1346116 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1378422784 278486 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.22 2.21 2.22 3/183 17959
/proc/meminfo: memFree=28260980/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1352260 CPUtime=1781.77 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 279480 0 0 0 178114 63 0 0 20 0 4 0 9969667 1384714240 279879 33554432000 4194304 16246674 140736139541376 140736139523264 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 338065 279879 875 2943 0 334959 0
[pid=17814/tid=17815] ppid=17811 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1384714240 279879 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1384714240 279879 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1384714240 279879 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.24 2.21 2.22 4/183 17960
/proc/meminfo: memFree=28260100/32872528 swapFree=1402008/1579836
[pid=17814] ppid=17811 vsize=1352260 CPUtime=1800.06 cores=1,3,5,7
/proc/17814/stat : 17814 (toysat) R 17811 17814 13870 0 -1 4202496 279623 0 0 0 179943 63 0 0 20 0 4 0 9969667 1384714240 280022 33554432000 4194304 16246674 140736139541376 140736139523264 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17814/statm: 338065 280022 875 2943 0 334959 0
[pid=17814/tid=17815] ppid=17811 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17815/stat : 17815 (toysat) S 17811 17814 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9969667 1384714240 280022 33554432000 4194304 16246674 140736139541376 140021455629552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17814/tid=17816] ppid=17811 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17816/stat : 17816 (toysat) S 17811 17814 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 9969667 1384714240 280022 33554432000 4194304 16246674 140736139541376 140021369646320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17814/tid=17817] ppid=17811 vsize=1352260 CPUtime=0 cores=1,3,5,7
/proc/17814/task/17817/stat : 17817 (toysat) S 17811 17814 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9969667 1384714240 280022 33554432000 4194304 16246674 140736139541376 140021359172784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1352260

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 17814 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.44
CPU system time (s): 0.633903
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.633903
maximum resident set size= 1120088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279623
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= 451
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6093 second user time and 7.2609 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-16 14:13:59
IDJOB=4093322
IDBENCH=78678
IDSOLVER=2553
FILE ID=node139/4093322-1466079239
RUNJOBID= node139-1466075487-16984
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= f511ebc8ef7d333a60d28a0c67ab699d
RANDOM SEED=831424390

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29354268 kB
Buffers:           24020 kB
Cached:           105972 kB
SwapCached:          960 kB
Active:          1181620 kB
Inactive:          54732 kB
Active(anon):    1107368 kB
Inactive(anon):     1240 kB
Active(file):      74252 kB
Inactive(file):    53492 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2771428 kB
Mapped:            10596 kB
Shmem:                 0 kB
Slab:             567016 kB
SReclaimable:      11336 kB
SUnreclaim:       555680 kB
KernelStack:        1520 kB
PageTables:         9332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2829716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1359872 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= 71596 MiB
End job on node139 at 2016-06-16 14:44:00