Trace number 4109182

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM694cfd83cbc837ad458e2da6a5d5efcc
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark13
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 variables2100
Total number of constraints130
Number of soft constraints90
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 4485
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4484
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
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-19T15:10:19+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-4109182-1466341819.wbo"]
0.00/0.01	c use --random-gen="3313163581 1267015226 2361029425 1729971549 2622446410 2393211516 3759887202 1350613716 1549598072 3811361157 1741787645 1930798457 559375733 669643367 256291465 3579380269 736208781 3243894349 3217828274 3046774757 3223709216 2419546563 497473452 1136412728 255902754 4274568601 2867774672 571840298 1108423336 789679328 2369448009 2702083292 386320354 2482953160 1489140861 1864856692 3431806187 4008040558 816766709 1347860846 601146660 2384532909 868917451 393453674 1937420417 518342318 1470880131 452098951 2949561878 2089192322 1407548277 465811388 2071798665 2524400898 2263946544 1761517807 2362622643 3397326068 1798482917 3739060444 2643225398 3516758142 283256478 887885949 2136373818 4184703050 1890260756 183456623 3179180611 3712644500 2447718108 1260351000 3060647998 3170359899 1616679288 2450371625 3166510103 856499043 2566732744 2999730704 2706363336 1392758844 1269993511 2506431439 1266366960 2491131016 3696004639 3386440684 2068825414 2150852229 3715764717 2780387545 37429773 4074917271 54208852 1833819537 726729477 3609447295 991081104 1251810487 1797960603 1974678292 2181747870 3876305066 2103394922 1397962417 692070084 2672512691 2930095685 886875537 748173306 1641728350 1360429629 3162158524 119143100 1264967210 4259893386 2251762112 2521338863 2563140475 3634405252 3045671908 109677747 1612078816 2613507650 4235294150 1016366118 1686139971 771934802 2744344821 2538088768 4087580698 3008015907 1702757919 4011428187 1254506659 261826375 2658036674 937751650 2861054461 380461503 3352809857 1463892956 3251554759 3434804493 531746413 1173465848 838613431 819609827 2002313801 1085211697 1092711375 3484610550 2941144893 800074234 865940563 3620286585 3777170739 3367580157 444923389 2031735985 1060644752 3137537686 1849678635 1480255963 2366997511 243730914 3114519436 3701772053 1638581320 332111393 2974990465 671120850 1539947982 1151266647 784683779 1269702376 1820325863 3114735640 360211559 3681356992 4235424817 267355331 2303375222 710705549 3134487254 894800715 2456192936 2926557567 3800703070 858093918 4059715825 2716528496 2837892329 1268765311 2173439375 3255741499 373303927 1833787992 2321302048 1474521182 96457840 1046970208 4262701414 926221654 2355640883 3964184429 3071863498 541510613 357259942 2205399087 3431058726 239790347 2603870578 3341255654 1041966965 4090469866 1713296470 2672009903 556183266 839210443 559610617 817725209 1112980915 207133618 199990536 3936071435 2785070894 2834574751 4674043 4195987373 1500346741 4160906390 2585522639 886778557 2300150193 2102244661 526986016 3861810483 2301705109 1108450151 2573058836 50951867 30396602 2203646195 890876227 530732866 4212484396 469735126 2660624339 3396226929 459253153 3007677319 1588146161 3819613663 59866113 255 362436" option to reproduce the execution
0.08/0.10	c #vars 2100
0.08/0.10	c #constraints 130
0.08/0.11	c BCD2: Hardening is enabled.
0.08/0.11	c BCD2: BiasedSearch is enabled.
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |      773      0 |        0 |        0
0.08/0.14	c  0.0s |       1 |      232 |      100 |      773      0 |        0 |        0
0.08/0.15	c  0.0s |       1 |     1616 |      102 |      851      0 |        0 |        0
0.08/0.15	c #cpu_time = 0.037s
0.08/0.15	c #wall_clock_time = 0.037s
0.08/0.15	c #decision = 1616
0.08/0.15	c #random_decision = 6
0.08/0.15	c #conflict = 102
0.08/0.15	c #restart = 1
0.08/0.15	o 2232
0.08/0.15	c BCD2: updating upper bound: 4484 -> 2231
0.08/0.15	c BCD2: 0 <= obj <= 2231
0.08/0.15	c BCD2: #cores=0, #unrelaxed=90, #relaxed=0, #hardened=0
0.08/0.15	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.15	c Solving starts ...
0.08/0.15	c ============================[ Search Statistics ]============================
0.08/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.15	c =============================================================================
0.08/0.15	c  0.0s |       0 |        0 |        0 |      851      0 |        0 |        0
0.19/0.21	c  0.1s |       1 |      451 |      100 |      851      0 |        0 |        0
0.29/0.31	c  0.2s |       2 |     1390 |      250 |      937      0 |        0 |        0
0.39/0.47	c  0.3s |       3 |     2549 |      475 |     1031      0 |        0 |        0
0.79/0.81	c  0.7s |       4 |     3730 |      813 |     1135      0 |        0 |        0
1.10/1.10	c  1.0s |       5 |     5137 |     1320 |     1249      0 |        0 |        0
1.69/1.75	c  1.6s |       6 |     7399 |     2081 |     1374      1 |        0 |        0
2.59/2.67	c  2.5s |       7 |    10343 |     3223 |     1512      2 |        0 |        0
4.19/4.30	c  4.1s |       8 |    13053 |     4936 |     1664      3 |        0 |        0
6.29/6.37	c  6.2s |       8 |    16316 |     6836 |     1664      5 |        0 |        0
7.08/7.11	c  7.0s |       9 |    17129 |     7506 |     1831      5 |        0 |        0
9.08/9.15	c  9.0s |       9 |    21501 |     9806 |     1831      7 |        0 |        0
10.88/10.91	c 10.8s |      10 |    23382 |    11361 |     2015      8 |        0 |        0
12.88/12.93	c 12.8s |      10 |    28562 |    13261 |     2015      9 |        0 |        0
14.98/15.03	c 14.9s |      10 |    30592 |    14761 |     2015     10 |        0 |        0
16.98/17.08	c 16.9s |      10 |    32154 |    15861 |     2015     11 |        0 |        0
18.79/18.83	c 18.7s |      11 |    35652 |    17144 |     2217     12 |        0 |        0
20.78/20.84	c 20.7s |      11 |    39190 |    19044 |     2217     13 |        0 |        0
22.88/22.97	c 22.8s |      11 |    41455 |    20544 |     2217     14 |        0 |        0
24.98/25.06	c 24.9s |      11 |    42899 |    21744 |     2217     15 |        0 |        0
27.18/27.20	c 27.0s |      11 |    44705 |    23044 |     2217     16 |        0 |        0
29.18/29.27	c 29.1s |      11 |    46409 |    24244 |     2217     17 |        0 |        0
31.18/31.28	c 31.1s |      11 |    48159 |    25644 |     2439     17 |        0 |        0
31.58/31.63	c 31.5s |      12 |    48472 |    25819 |     2439     17 |        0 |        0
33.58/33.69	c 33.5s |      12 |    51974 |    28119 |     2439     19 |        0 |        0
35.58/35.69	c 35.5s |      12 |    53864 |    29819 |     2439     20 |        0 |        0
37.68/37.72	c 37.6s |      12 |    55818 |    31619 |     2439     21 |        0 |        0
39.69/39.74	c 39.6s |      12 |    57588 |    33219 |     2439     22 |        0 |        0
41.68/41.80	c 41.6s |      12 |    59244 |    34719 |     2439     23 |        0 |        0
43.78/43.86	c 43.7s |      12 |    61105 |    36419 |     2439     24 |        0 |        0
45.78/45.86	c 45.7s |      12 |    63066 |    38219 |     2439     25 |        0 |        0
46.48/46.52	c 46.4s |      13 |    63731 |    38832 |     2683     25 |        0 |        0
48.58/48.60	c 48.4s |      13 |    67293 |    41232 |     2683     26 |        0 |        0
50.58/50.64	c 50.5s |      13 |    69552 |    43232 |     2683     27 |        0 |        0
52.58/52.65	c 52.5s |      13 |    71317 |    44832 |     2683     28 |        0 |        0
54.58/54.66	c 54.5s |      13 |    73187 |    46532 |     2683     29 |        0 |        0
56.58/56.66	c 56.5s |      13 |    75100 |    48232 |     2683     30 |        0 |        0
58.58/58.69	c 58.5s |      13 |    77009 |    49932 |     2683     31 |        0 |        0
60.68/60.72	c 60.6s |      13 |    78974 |    51732 |     2683     32 |        0 |        0
62.68/62.75	c 62.6s |      13 |    81074 |    53632 |     2683     33 |        0 |        0
64.68/64.78	c 64.6s |      13 |    82995 |    55332 |     2683     34 |        0 |        0
66.77/66.89	c 66.7s |      13 |    84836 |    57032 |     2683     35 |        0 |        0
68.28/68.39	c 68.2s |      14 |    86260 |    58352 |     2952     35 |        0 |        0
70.39/70.47	c 70.3s |      14 |    89886 |    60752 |     2952     36 |        0 |        0
72.48/72.50	c 72.3s |      14 |    91937 |    62552 |     2952     37 |        0 |        0
74.48/74.54	c 74.4s |      14 |    93819 |    64252 |     2952     38 |        0 |        0
76.58/76.60	c 76.4s |      14 |    95686 |    65952 |     2952     39 |        0 |        0
78.58/78.61	c 78.5s |      14 |    97332 |    67452 |     2952     40 |        0 |        0
80.58/80.64	c 80.5s |      14 |    99308 |    69152 |     2952     41 |        0 |        0
82.68/82.78	c 82.6s |      14 |   101158 |    70752 |     2952     41 |        0 |        0
84.88/84.92	c 84.8s |      14 |   102904 |    72252 |     2952     42 |        0 |        0
86.88/86.98	c 86.8s |      14 |   104243 |    73452 |     2952     43 |        0 |        0
89.08/89.14	c 89.0s |      14 |   105792 |    74852 |     2952     43 |        0 |        0
91.18/91.24	c 91.1s |      14 |   107333 |    76252 |     2952     44 |        0 |        0
93.28/93.33	c 93.2s |      14 |   108671 |    77452 |     2952     45 |        0 |        0
95.38/95.41	c 95.3s |      14 |   110376 |    78952 |     2952     45 |        0 |        0
97.48/97.52	c 97.4s |      14 |   111863 |    80252 |     2952     46 |        0 |        0
99.58/99.60	c 99.4s |      14 |   113656 |    81752 |     2952     47 |        0 |        0
101.58/101.65	c  101s |      14 |   115583 |    83352 |     2952     47 |        0 |        0
103.58/103.65	c  103s |      14 |   117408 |    84952 |     2952     48 |        0 |        0
105.68/105.76	c  105s |      14 |   119145 |    86452 |     2952     49 |        0 |        0
107.57/107.61	c  107s |      15 |   120479 |    87632 |     3248     49 |        0 |        0
109.57/109.67	c  109s |      15 |   124591 |    89632 |     3248     50 |        0 |        0
111.57/111.68	c  111s |      15 |   126418 |    91232 |     3248     51 |        0 |        0
113.67/113.79	c  113s |      15 |   128351 |    92932 |     3248     51 |        0 |        0
115.87/115.90	c  115s |      15 |   129924 |    94332 |     3248     52 |        0 |        0
117.97/118.03	c  117s |      15 |   131531 |    95732 |     3248     52 |        0 |        0
120.07/120.10	c  119s |      15 |   132998 |    97032 |     3248     53 |        0 |        0
122.07/122.16	c  122s |      15 |   134624 |    98432 |     3248     53 |        0 |        0
124.17/124.27	c  124s |      15 |   136349 |    99932 |     3248     54 |        0 |        0
126.27/126.34	c  126s |      15 |   137709 |   101132 |     3248     55 |        0 |        0
128.37/128.43	c  128s |      15 |   139180 |   102432 |     3248     55 |        0 |        0
130.37/130.46	c  130s |      15 |   140299 |   103432 |     3248     55 |        0 |        0
132.46/132.52	c  132s |      15 |   141522 |   104532 |     3248     56 |        0 |        0
134.47/134.54	c  134s |      15 |   142781 |   105632 |     3248     56 |        0 |        0
136.48/136.57	c  136s |      15 |   144158 |   106832 |     3248     57 |        0 |        0
138.58/138.63	c  138s |      15 |   145586 |   108132 |     3248     57 |        0 |        0
140.57/140.67	c  140s |      15 |   146787 |   109232 |     3248     58 |        0 |        0
142.77/142.82	c  142s |      15 |   148468 |   110732 |     3248     58 |        0 |        0
144.87/144.97	c  144s |      15 |   149679 |   111832 |     3248     59 |        0 |        0
146.97/147.03	c  146s |      15 |   151176 |   113132 |     3248     59 |        0 |        0
148.97/149.06	c  148s |      15 |   152335 |   114132 |     3248     60 |        0 |        0
151.17/151.22	c  151s |      15 |   153663 |   115332 |     3248     60 |        0 |        0
153.36/153.42	c  153s |      15 |   154927 |   116432 |     3248     60 |        0 |        0
155.46/155.58	c  155s |      15 |   156046 |   117432 |     3248     61 |        0 |        0
157.66/157.78	c  157s |      15 |   157253 |   118532 |     3248     61 |        0 |        0
159.66/159.79	c  159s |      15 |   158252 |   119432 |     3248     62 |        0 |        0
161.87/161.91	c  161s |      15 |   159613 |   120632 |     3248     62 |        0 |        0
163.98/164.02	c  163s |      15 |   160754 |   121632 |     3248     62 |        0 |        0
166.27/166.30	c  166s |      15 |   161771 |   122532 |     3248     63 |        0 |        0
168.27/168.37	c  168s |      15 |   162982 |   123632 |     3248     63 |        0 |        0
170.37/170.43	c  170s |      15 |   164107 |   124632 |     3248     64 |        0 |        0
172.46/172.53	c  172s |      15 |   165272 |   125732 |     3248     64 |        0 |        0
174.56/174.69	c  174s |      15 |   166371 |   126732 |     3248     64 |        0 |        0
176.76/176.84	c  176s |      15 |   167222 |   127532 |     3248     65 |        0 |        0
178.86/178.96	c  178s |      15 |   168341 |   128532 |     3248     65 |        0 |        0
180.86/180.99	c  180s |      15 |   169605 |   129632 |     3248     66 |        0 |        0
183.06/183.17	c  183s |      15 |   170958 |   130832 |     3573     66 |        0 |        0
184.66/184.70	c  184s |      16 |   171783 |   131552 |     3573     66 |        0 |        0
186.66/186.79	c  186s |      16 |   175216 |   133552 |     3573     67 |        0 |        0
188.76/188.82	c  188s |      16 |   177044 |   135152 |     3573     68 |        0 |        0
190.86/190.93	c  190s |      16 |   178592 |   136552 |     3573     69 |        0 |        0
192.86/192.94	c  192s |      16 |   180291 |   138052 |     3573     69 |        0 |        0
194.96/195.01	c  194s |      16 |   181936 |   139552 |     3573     70 |        0 |        0
196.96/197.08	c  196s |      16 |   183497 |   140952 |     3573     71 |        0 |        0
199.16/199.23	c  199s |      16 |   185057 |   142352 |     3573     71 |        0 |        0
201.16/201.29	c  201s |      16 |   186776 |   143752 |     3573     72 |        0 |        0
203.36/203.41	c  203s |      16 |   188338 |   145152 |     3573     72 |        0 |        0
205.45/205.50	c  205s |      16 |   189885 |   146552 |     3573     73 |        0 |        0
207.55/207.69	c  207s |      16 |   191487 |   147952 |     3573     74 |        0 |        0
209.65/209.75	c  209s |      16 |   193034 |   149352 |     3573     74 |        0 |        0
211.75/211.84	c  211s |      16 |   194597 |   150752 |     3573     75 |        0 |        0
213.85/213.94	c  213s |      16 |   196170 |   152152 |     3573     75 |        0 |        0
215.95/216.07	c  215s |      16 |   197608 |   153452 |     3573     76 |        0 |        0
218.05/218.16	c  218s |      16 |   199180 |   154852 |     3573     77 |        0 |        0
220.15/220.23	c  220s |      16 |   200765 |   156252 |     3573     77 |        0 |        0
222.26/222.31	c  222s |      16 |   202063 |   157452 |     3573     78 |        0 |        0
224.36/224.47	c  224s |      16 |   203725 |   158852 |     3573     78 |        0 |        0
226.45/226.57	c  226s |      16 |   205210 |   160152 |     3573     79 |        0 |        0
228.45/228.57	c  228s |      16 |   206418 |   161252 |     3573     79 |        0 |        0
230.55/230.62	c  230s |      16 |   207638 |   162352 |     3573     80 |        0 |        0
232.75/232.83	c  232s |      16 |   208837 |   163452 |     3573     80 |        0 |        0
234.85/234.93	c  234s |      16 |   210407 |   164852 |     3573     81 |        0 |        0
236.85/236.96	c  236s |      16 |   211833 |   166152 |     3573     81 |        0 |        0
238.95/239.06	c  238s |      16 |   213295 |   167452 |     3573     82 |        0 |        0
241.06/241.19	c  241s |      16 |   214722 |   168752 |     3573     83 |        0 |        0
243.16/243.24	c  243s |      16 |   216114 |   170052 |     3573     83 |        0 |        0
245.16/245.27	c  245s |      16 |   217306 |   171152 |     3573     84 |        0 |        0
247.26/247.32	c  247s |      16 |   218601 |   172352 |     3573     84 |        0 |        0
249.26/249.33	c  249s |      16 |   219578 |   173252 |     3573     84 |        0 |        0
251.26/251.35	c  251s |      16 |   220951 |   174452 |     3573     85 |        0 |        0
253.26/253.37	c  253s |      16 |   222362 |   175752 |     3573     86 |        0 |        0
255.36/255.43	c  255s |      16 |   223792 |   177052 |     3573     86 |        0 |        0
257.36/257.49	c  257s |      16 |   224966 |   178152 |     3573     87 |        0 |        0
259.45/259.56	c  259s |      16 |   226258 |   179352 |     3573     87 |        0 |        0
261.45/261.58	c  261s |      16 |   227432 |   180452 |     3573     88 |        0 |        0
263.65/263.72	c  263s |      16 |   228717 |   181652 |     3573     88 |        0 |        0
265.65/265.77	c  265s |      16 |   229798 |   182652 |     3573     89 |        0 |        0
267.65/267.77	c  267s |      16 |   231013 |   183752 |     3573     89 |        0 |        0
269.85/269.91	c  269s |      16 |   232581 |   185152 |     3573     90 |        0 |        0
271.85/271.99	c  271s |      16 |   233921 |   186352 |     3573     90 |        0 |        0
273.86/274.00	c  273s |      16 |   235216 |   187552 |     3573     91 |        0 |        0
276.06/276.14	c  275s |      16 |   236616 |   188852 |     3573     91 |        0 |        0
278.15/278.24	c  278s |      16 |   237814 |   189952 |     3573     92 |        0 |        0
280.25/280.31	c  280s |      16 |   239099 |   191152 |     3573     92 |        0 |        0
282.35/282.46	c  282s |      16 |   240503 |   192452 |     3573     93 |        0 |        0
284.45/284.51	c  284s |      16 |   241808 |   193652 |     3573     93 |        0 |        0
286.55/286.60	c  286s |      16 |   242989 |   194752 |     3573     94 |        0 |        0
288.55/288.67	c  288s |      16 |   244568 |   196052 |     3931     94 |        0 |        0
290.75/290.80	c  290s |      16 |   245988 |   197352 |     3931     95 |        0 |        0
290.85/290.93	c  290s |      17 |   246081 |   197432 |     3931     95 |        0 |        0
292.95/293.03	c  292s |      17 |   249149 |   199432 |     3931     95 |        0 |        0
295.05/295.19	c  295s |      17 |   251033 |   201132 |     3931     96 |        0 |        0
297.15/297.20	c  297s |      17 |   252356 |   202332 |     3931     97 |        0 |        0
299.15/299.21	c  299s |      17 |   254013 |   203832 |     3931     97 |        0 |        0
301.25/301.30	c  301s |      17 |   255513 |   205232 |     3931     98 |        0 |        0
303.34/303.46	c  303s |      17 |   257105 |   206732 |     3931     98 |        0 |        0
305.44/305.59	c  305s |      17 |   258375 |   207932 |     3931     99 |        0 |        0
307.54/307.65	c  307s |      17 |   259740 |   209232 |     3931     99 |        0 |        0
309.64/309.71	c  309s |      17 |   261438 |   210732 |     3931    100 |        0 |        0
311.64/311.75	c  311s |      17 |   263064 |   212232 |     3931    100 |        0 |        0
313.74/313.80	c  313s |      17 |   264463 |   213532 |     3931    101 |        0 |        0
315.84/315.94	c  315s |      17 |   265790 |   214732 |     3931    101 |        0 |        0
317.95/318.08	c  317s |      17 |   267129 |   215932 |     3931    102 |        0 |        0
320.05/320.16	c  320s |      17 |   268567 |   217232 |     3931    102 |        0 |        0
322.25/322.32	c  322s |      17 |   270140 |   218632 |     3931    103 |        0 |        0
324.24/324.38	c  324s |      17 |   271696 |   220032 |     3931    103 |        0 |        0
326.44/326.52	c  326s |      17 |   273095 |   221332 |     3931    104 |        0 |        0
328.54/328.63	c  328s |      17 |   274549 |   222632 |     3931    104 |        0 |        0
330.54/330.68	c  330s |      17 |   275980 |   223932 |     3931    105 |        0 |        0
332.74/332.83	c  332s |      17 |   277490 |   225332 |     3931    105 |        0 |        0
334.74/334.88	c  334s |      17 |   278833 |   226532 |     3931    106 |        0 |        0
336.74/336.88	c  336s |      17 |   280249 |   227832 |     3931    106 |        0 |        0
338.94/339.00	c  338s |      17 |   281677 |   229132 |     3931    107 |        0 |        0
340.94/341.06	c  340s |      17 |   283085 |   230432 |     3931    107 |        0 |        0
343.04/343.13	c  342s |      17 |   284632 |   231832 |     3931    108 |        0 |        0
345.14/345.28	c  345s |      17 |   286021 |   233132 |     3931    108 |        0 |        0
347.34/347.47	c  347s |      17 |   287210 |   234232 |     3931    109 |        0 |        0
349.44/349.52	c  349s |      17 |   288612 |   235532 |     3931    109 |        0 |        0
351.54/351.62	c  351s |      17 |   290016 |   236832 |     3931    110 |        0 |        0
353.54/353.63	c  353s |      17 |   291322 |   238032 |     3931    110 |        0 |        0
355.54/355.64	c  355s |      17 |   292760 |   239332 |     3931    111 |        0 |        0
357.64/357.71	c  357s |      17 |   294425 |   240832 |     3931    111 |        0 |        0
359.74/359.81	c  359s |      17 |   296120 |   242332 |     3931    112 |        0 |        0
361.74/361.81	c  361s |      17 |   297568 |   243632 |     3931    113 |        0 |        0
363.73/363.82	c  363s |      17 |   299150 |   245032 |     3931    113 |        0 |        0
365.73/365.84	c  365s |      17 |   300728 |   246432 |     3931    114 |        0 |        0
367.83/367.93	c  367s |      17 |   302156 |   247732 |     3931    114 |        0 |        0
369.93/370.02	c  369s |      17 |   303547 |   249032 |     3931    115 |        0 |        0
372.03/372.12	c  371s |      17 |   305089 |   250432 |     3931    115 |        0 |        0
374.13/374.26	c  374s |      17 |   306626 |   251832 |     3931    116 |        0 |        0
376.24/376.33	c  376s |      17 |   308022 |   253132 |     3931    116 |        0 |        0
378.23/378.34	c  378s |      17 |   309362 |   254332 |     3931    117 |        0 |        0
380.33/380.45	c  380s |      17 |   310880 |   255732 |     3931    117 |        0 |        0
382.53/382.62	c  382s |      17 |   312163 |   256932 |     3931    118 |        0 |        0
384.53/384.66	c  384s |      17 |   313887 |   258432 |     3931    118 |        0 |        0
386.63/386.78	c  386s |      17 |   315288 |   259732 |     3931    119 |        0 |        0
388.73/388.89	c  388s |      17 |   316851 |   261132 |     3931    119 |        0 |        0
390.83/390.90	c  390s |      17 |   318259 |   262432 |     3931    120 |        0 |        0
392.83/392.96	c  392s |      17 |   319689 |   263732 |     3931    120 |        0 |        0
394.94/395.04	c  394s |      17 |   321227 |   265132 |     3931    121 |        0 |        0
397.03/397.19	c  397s |      17 |   322633 |   266432 |     3931    121 |        0 |        0
399.03/399.20	c  399s |      17 |   324342 |   267932 |     3931    122 |        0 |        0
401.13/401.28	c  401s |      17 |   326128 |   269532 |     3931    123 |        0 |        0
403.23/403.36	c  403s |      17 |   327572 |   270832 |     3931    123 |        0 |        0
405.23/405.37	c  405s |      17 |   328871 |   272032 |     3931    124 |        0 |        0
407.33/407.41	c  407s |      17 |   330277 |   273332 |     3931    124 |        0 |        0
409.43/409.51	c  409s |      17 |   331465 |   274432 |     3931    125 |        0 |        0
411.53/411.60	c  411s |      17 |   333001 |   275832 |     3931    125 |        0 |        0
413.53/413.70	c  413s |      17 |   334180 |   276932 |     3931    125 |        0 |        0
415.63/415.72	c  415s |      17 |   335353 |   278032 |     3931    126 |        0 |        0
417.73/417.88	c  417s |      17 |   337048 |   279532 |     3931    127 |        0 |        0
419.93/420.01	c  419s |      17 |   338706 |   281032 |     3931    127 |        0 |        0
421.92/422.05	c  421s |      17 |   339876 |   282132 |     3931    128 |        0 |        0
423.92/424.09	c  423s |      17 |   341177 |   283332 |     3931    128 |        0 |        0
426.12/426.28	c  426s |      17 |   342476 |   284532 |     3931    128 |        0 |        0
428.32/428.40	c  428s |      17 |   343728 |   285732 |     3931    129 |        0 |        0
430.42/430.50	c  430s |      17 |   345074 |   286932 |     3931    129 |        0 |        0
432.42/432.58	c  432s |      17 |   346562 |   288232 |     3931    130 |        0 |        0
434.53/434.68	c  434s |      17 |   348097 |   289632 |     3931    130 |        0 |        0
436.52/436.70	c  436s |      17 |   349518 |   290932 |     3931    131 |        0 |        0
438.62/438.78	c  438s |      17 |   350829 |   292132 |     3931    131 |        0 |        0
440.72/440.88	c  440s |      17 |   352123 |   293332 |     3931    132 |        0 |        0
442.82/442.95	c  442s |      17 |   353342 |   294432 |     4325    132 |        0 |        0
444.92/445.02	c  444s |      17 |   354827 |   295732 |     4325    133 |        0 |        0
445.82/445.90	c  445s |      18 |   355406 |   296252 |     4325    133 |        0 |        0
447.82/447.95	c  447s |      18 |   358626 |   298152 |     4325    133 |        0 |        0
450.02/450.10	c  449s |      18 |   360329 |   299652 |     4325    134 |        0 |        0
452.02/452.14	c  451s |      18 |   361782 |   300952 |     4325    134 |        0 |        0
454.12/454.20	c  454s |      18 |   363230 |   302252 |     4325    135 |        0 |        0
456.32/456.41	c  456s |      18 |   364921 |   303752 |     4325    136 |        0 |        0
458.42/458.57	c  458s |      18 |   366395 |   305052 |     4325    136 |        0 |        0
460.62/460.73	c  460s |      18 |   367756 |   306252 |     4325    136 |        0 |        0
462.62/462.78	c  462s |      18 |   369228 |   307552 |     4325    137 |        0 |        0
464.62/464.78	c  464s |      18 |   370555 |   308752 |     4325    137 |        0 |        0
466.62/466.79	c  466s |      18 |   371748 |   309852 |     4325    138 |        0 |        0
468.72/468.88	c  468s |      18 |   373075 |   311052 |     4325    138 |        0 |        0
470.82/470.98	c  470s |      18 |   374376 |   312252 |     4325    139 |        0 |        0
472.92/473.07	c  472s |      18 |   375875 |   313552 |     4325    139 |        0 |        0
475.12/475.21	c  475s |      18 |   377299 |   314852 |     4325    139 |        0 |        0
477.21/477.32	c  477s |      18 |   378734 |   316152 |     4325    140 |        0 |        0
479.21/479.36	c  479s |      18 |   380040 |   317352 |     4325    140 |        0 |        0
481.31/481.42	c  481s |      18 |   381208 |   318452 |     4325    141 |        0 |        0
483.31/483.48	c  483s |      18 |   382643 |   319752 |     4325    141 |        0 |        0
485.41/485.54	c  485s |      18 |   384060 |   321052 |     4325    142 |        0 |        0
487.61/487.72	c  487s |      18 |   385460 |   322352 |     4325    142 |        0 |        0
489.71/489.81	c  489s |      18 |   386543 |   323352 |     4325    143 |        0 |        0
491.72/491.86	c  491s |      18 |   387968 |   324652 |     4325    143 |        0 |        0
493.82/493.95	c  493s |      18 |   389463 |   325952 |     4325    143 |        0 |        0
495.81/495.97	c  495s |      18 |   390892 |   327252 |     4325    144 |        0 |        0
497.91/498.01	c  497s |      18 |   392223 |   328452 |     4325    144 |        0 |        0
499.91/500.05	c  499s |      18 |   393547 |   329652 |     4325    145 |        0 |        0
502.01/502.13	c  501s |      18 |   394841 |   330852 |     4325    145 |        0 |        0
504.01/504.18	c  504s |      18 |   396246 |   332152 |     4325    146 |        0 |        0
506.02/506.18	c  506s |      18 |   397693 |   333452 |     4325    146 |        0 |        0
508.11/508.24	c  508s |      18 |   398879 |   334552 |     4325    147 |        0 |        0
510.21/510.40	c  510s |      18 |   400163 |   335752 |     4325    147 |        0 |        0
512.41/512.53	c  512s |      18 |   401640 |   337052 |     4325    147 |        0 |        0
514.51/514.60	c  514s |      18 |   403067 |   338352 |     4325    148 |        0 |        0
516.51/516.68	c  516s |      18 |   404364 |   339552 |     4325    148 |        0 |        0
518.71/518.82	c  518s |      18 |   405474 |   340552 |     4325    149 |        0 |        0
520.71/520.83	c  520s |      18 |   407100 |   341952 |     4325    149 |        0 |        0
522.71/522.88	c  522s |      18 |   408567 |   343252 |     4325    150 |        0 |        0
524.81/524.97	c  524s |      18 |   410021 |   344552 |     4325    150 |        0 |        0
527.01/527.13	c  526s |      18 |   411195 |   345652 |     4325    151 |        0 |        0
529.11/529.27	c  529s |      18 |   413060 |   347252 |     4325    151 |        0 |        0
531.21/531.39	c  531s |      18 |   414531 |   348552 |     4325    152 |        0 |        0
533.30/533.50	c  533s |      18 |   415852 |   349752 |     4325    152 |        0 |        0
535.40/535.52	c  535s |      18 |   417030 |   350852 |     4325    152 |        0 |        0
537.50/537.65	c  537s |      18 |   418368 |   352052 |     4325    153 |        0 |        0
539.60/539.72	c  539s |      18 |   419681 |   353252 |     4325    153 |        0 |        0
541.60/541.73	c  541s |      18 |   420649 |   354152 |     4325    154 |        0 |        0
543.70/543.88	c  543s |      18 |   421962 |   355352 |     4325    154 |        0 |        0
545.90/546.06	c  545s |      18 |   423174 |   356452 |     4325    154 |        0 |        0
548.00/548.19	c  548s |      18 |   424377 |   357552 |     4325    155 |        0 |        0
550.21/550.36	c  550s |      18 |   425521 |   358552 |     4325    155 |        0 |        0
552.31/552.45	c  552s |      18 |   426550 |   359452 |     4325    155 |        0 |        0
554.51/554.63	c  554s |      18 |   427741 |   360452 |     4325    156 |        0 |        0
556.61/556.78	c  556s |      18 |   428919 |   361452 |     4325    156 |        0 |        0
558.81/558.91	c  558s |      18 |   429808 |   362252 |     4325    157 |        0 |        0
560.91/561.05	c  560s |      18 |   430933 |   363252 |     4325    157 |        0 |        0
563.11/563.27	c  563s |      18 |   432048 |   364252 |     4325    157 |        0 |        0
565.31/565.45	c  565s |      18 |   432901 |   365052 |     4325    158 |        0 |        0
567.50/567.65	c  567s |      18 |   434026 |   366052 |     4325    158 |        0 |        0
569.70/569.86	c  569s |      18 |   435128 |   367052 |     4325    158 |        0 |        0
571.79/571.94	c  571s |      18 |   436043 |   367852 |     4325    159 |        0 |        0
573.79/573.96	c  573s |      18 |   437144 |   368852 |     4325    159 |        0 |        0
575.89/576.07	c  575s |      18 |   438372 |   369952 |     4325    159 |        0 |        0
577.99/578.19	c  578s |      18 |   439390 |   370852 |     4325    160 |        0 |        0
580.18/580.37	c  580s |      18 |   440499 |   371852 |     4325    160 |        0 |        0
582.38/582.54	c  582s |      18 |   441517 |   372752 |     4325    160 |        0 |        0
584.48/584.64	c  584s |      18 |   442509 |   373652 |     4325    161 |        0 |        0
586.58/586.74	c  586s |      18 |   443642 |   374652 |     4325    161 |        0 |        0
588.68/588.89	c  588s |      18 |   444692 |   375552 |     4325    161 |        0 |        0
590.78/590.97	c  590s |      18 |   445562 |   376352 |     4325    162 |        0 |        0
592.98/593.19	c  593s |      18 |   446547 |   377252 |     4325    162 |        0 |        0
595.18/595.32	c  595s |      18 |   447553 |   378152 |     4325    162 |        0 |        0
597.38/597.54	c  597s |      18 |   448545 |   379052 |     4325    163 |        0 |        0
599.38/599.55	c  599s |      18 |   449402 |   379852 |     4325    163 |        0 |        0
601.47/601.70	c  601s |      18 |   450686 |   380952 |     4325    163 |        0 |        0
603.57/603.70	c  603s |      18 |   451682 |   381852 |     4325    164 |        0 |        0
605.57/605.74	c  605s |      18 |   452702 |   382752 |     4325    164 |        0 |        0
607.57/607.75	c  607s |      18 |   453600 |   383552 |     4325    164 |        0 |        0
609.77/609.98	c  609s |      18 |   454480 |   384352 |     4325    165 |        0 |        0
611.97/612.16	c  612s |      18 |   455461 |   385252 |     4325    165 |        0 |        0
614.06/614.26	c  614s |      18 |   456336 |   386052 |     4325    165 |        0 |        0
616.36/616.52	c  616s |      18 |   457238 |   386852 |     4325    165 |        0 |        0
618.56/618.75	c  618s |      18 |   458132 |   387652 |     4325    166 |        0 |        0
620.56/620.76	c  620s |      18 |   458925 |   388352 |     4325    166 |        0 |        0
622.86/623.01	c  622s |      18 |   459809 |   389152 |     4325    166 |        0 |        0
624.86/625.03	c  624s |      18 |   460461 |   389752 |     4325    166 |        0 |        0
627.06/627.28	c  627s |      18 |   461242 |   390452 |     4325    167 |        0 |        0
629.25/629.44	c  629s |      18 |   462358 |   391452 |     4325    167 |        0 |        0
631.45/631.64	c  631s |      18 |   463485 |   392452 |     4325    167 |        0 |        0
633.56/633.77	c  633s |      18 |   464495 |   393352 |     4325    168 |        0 |        0
635.65/635.81	c  635s |      18 |   465390 |   394152 |     4325    168 |        0 |        0
637.85/638.04	c  637s |      18 |   466263 |   394952 |     4325    168 |        0 |        0
640.05/640.27	c  640s |      18 |   467150 |   395752 |     4325    169 |        0 |        0
642.14/642.40	c  642s |      18 |   468124 |   396652 |     4325    169 |        0 |        0
644.24/644.44	c  644s |      18 |   469115 |   397552 |     4325    169 |        0 |        0
646.54/646.74	c  646s |      18 |   469976 |   398352 |     4325    170 |        0 |        0
648.64/648.86	c  648s |      18 |   471310 |   399552 |     4325    170 |        0 |        0
650.74/650.90	c  650s |      18 |   472621 |   400752 |     4325    170 |        0 |        0
652.84/653.01	c  652s |      18 |   473922 |   401952 |     4325    171 |        0 |        0
654.84/655.08	c  654s |      18 |   475211 |   403152 |     4325    171 |        0 |        0
656.94/657.14	c  656s |      18 |   476303 |   404152 |     4325    172 |        0 |        0
659.13/659.31	c  659s |      18 |   477492 |   405252 |     4325    172 |        0 |        0
661.13/661.32	c  661s |      18 |   478589 |   406252 |     4325    172 |        0 |        0
663.24/663.44	c  663s |      18 |   479786 |   407352 |     4325    173 |        0 |        0
665.23/665.44	c  665s |      18 |   480874 |   408352 |     4325    173 |        0 |        0
667.23/667.46	c  667s |      18 |   481974 |   409352 |     4325    174 |        0 |        0
669.22/669.47	c  669s |      18 |   483177 |   410452 |     4325    174 |        0 |        0
671.22/671.47	c  671s |      18 |   484163 |   411352 |     4325    174 |        0 |        0
673.32/673.50	c  673s |      18 |   485310 |   412352 |     4325    175 |        0 |        0
675.33/675.57	c  675s |      18 |   486900 |   413752 |     4325    175 |        0 |        0
677.43/677.63	c  677s |      18 |   488366 |   415052 |     4325    176 |        0 |        0
679.52/679.77	c  679s |      18 |   489692 |   416252 |     4325    176 |        0 |        0
681.62/681.87	c  681s |      18 |   490886 |   417352 |     4325    177 |        0 |        0
683.72/683.96	c  683s |      18 |   492186 |   418552 |     4325    177 |        0 |        0
685.82/686.07	c  685s |      18 |   493378 |   419652 |     4325    177 |        0 |        0
687.92/688.19	c  688s |      18 |   494444 |   420652 |     4325    178 |        0 |        0
690.11/690.34	c  690s |      18 |   495653 |   421752 |     4325    178 |        0 |        0
692.31/692.54	c  692s |      18 |   496878 |   422852 |     4325    179 |        0 |        0
694.31/694.55	c  694s |      18 |   498063 |   423952 |     4325    179 |        0 |        0
696.31/696.57	c  696s |      18 |   499182 |   424952 |     4325    179 |        0 |        0
698.42/698.68	c  698s |      18 |   500179 |   425852 |     4325    180 |        0 |        0
700.61/700.83	c  700s |      18 |   501643 |   427152 |     4325    180 |        0 |        0
702.71/702.90	c  702s |      18 |   502779 |   428152 |     4325    180 |        0 |        0
704.71/704.92	c  704s |      18 |   503927 |   429152 |     4325    181 |        0 |        0
706.81/707.07	c  706s |      18 |   505033 |   430152 |     4325    181 |        0 |        0
708.90/709.17	c  709s |      18 |   506668 |   431552 |     4325    182 |        0 |        0
711.00/711.26	c  711s |      18 |   508146 |   432852 |     4325    182 |        0 |        0
713.10/713.31	c  713s |      18 |   509346 |   433952 |     4325    183 |        0 |        0
715.10/715.36	c  715s |      18 |   510704 |   435152 |     4325    183 |        0 |        0
717.20/717.43	c  717s |      18 |   511907 |   436252 |     4325    183 |        0 |        0
719.30/719.56	c  719s |      18 |   513100 |   437352 |     4325    184 |        0 |        0
721.50/721.77	c  721s |      18 |   514276 |   438452 |     4325    184 |        0 |        0
723.60/723.85	c  723s |      18 |   515176 |   439252 |     4325    185 |        0 |        0
725.69/725.96	c  725s |      18 |   516341 |   440352 |     4325    185 |        0 |        0
727.79/728.04	c  727s |      18 |   517523 |   441452 |     4758    185 |        0 |        0
729.79/730.09	c  729s |      18 |   518609 |   442452 |     4758    186 |        0 |        0
731.99/732.20	c  732s |      18 |   519896 |   443652 |     4758    186 |        0 |        0
733.89/734.17	c  734s |      19 |   520800 |   444482 |     4758    186 |        0 |        0
735.99/736.25	c  736s |      19 |   526571 |   446582 |     4758    187 |        0 |        0
738.09/738.30	c  738s |      19 |   529135 |   448082 |     4758    188 |        0 |        0
740.09/740.33	c  740s |      19 |   530619 |   449382 |     4758    188 |        0 |        0
742.09/742.33	c  742s |      19 |   531836 |   450482 |     4758    188 |        0 |        0
744.09/744.38	c  744s |      19 |   533490 |   451882 |     4758    189 |        0 |        0
746.29/746.53	c  746s |      19 |   534977 |   453182 |     4758    189 |        0 |        0
748.39/748.67	c  748s |      19 |   536328 |   454382 |     4758    190 |        0 |        0
750.38/750.68	c  750s |      19 |   537630 |   455482 |     4758    190 |        0 |        0
752.48/752.72	c  752s |      19 |   538720 |   456482 |     4758    191 |        0 |        0
754.49/754.78	c  754s |      19 |   540063 |   457682 |     4758    191 |        0 |        0
756.69/756.91	c  756s |      19 |   541522 |   458982 |     4758    191 |        0 |        0
758.68/758.96	c  758s |      19 |   542728 |   460082 |     4758    192 |        0 |        0
760.78/761.05	c  760s |      19 |   543982 |   461182 |     4758    192 |        0 |        0
762.88/763.15	c  762s |      19 |   545074 |   462182 |     4758    193 |        0 |        0
765.08/765.38	c  765s |      19 |   546282 |   463282 |     4758    193 |        0 |        0
767.08/767.39	c  767s |      19 |   547380 |   464282 |     4758    193 |        0 |        0
769.27/769.56	c  769s |      19 |   548770 |   465482 |     4758    194 |        0 |        0
771.37/771.65	c  771s |      19 |   550230 |   466782 |     4758    194 |        0 |        0
773.47/773.72	c  773s |      19 |   552194 |   468282 |     4758    195 |        0 |        0
775.57/775.80	c  775s |      19 |   554385 |   469882 |     4758    195 |        0 |        0
777.58/777.81	c  777s |      19 |   556121 |   471282 |     4758    196 |        0 |        0
779.57/779.82	c  779s |      19 |   557618 |   472482 |     4758    196 |        0 |        0
781.67/781.95	c  781s |      19 |   558881 |   473582 |     4758    197 |        0 |        0
783.86/784.11	c  783s |      19 |   560490 |   474982 |     4758    197 |        0 |        0
785.96/786.24	c  786s |      19 |   562285 |   476382 |     4758    198 |        0 |        0
788.06/788.33	c  788s |      19 |   563867 |   477782 |     4758    198 |        0 |        0
790.16/790.43	c  790s |      19 |   565261 |   478982 |     4758    198 |        0 |        0
792.26/792.59	c  792s |      19 |   566679 |   480182 |     4758    199 |        0 |        0
794.36/794.64	c  794s |      19 |   568222 |   481482 |     4758    199 |        0 |        0
796.46/796.76	c  796s |      19 |   569688 |   482782 |     4758    200 |        0 |        0
798.66/798.90	c  798s |      19 |   571404 |   484182 |     4758    200 |        0 |        0
800.75/801.01	c  800s |      19 |   573015 |   485582 |     4758    201 |        0 |        0
802.76/803.08	c  802s |      19 |   574643 |   486982 |     4758    201 |        0 |        0
804.85/805.17	c  805s |      19 |   575989 |   488182 |     4758    202 |        0 |        0
806.95/807.20	c  807s |      19 |   577677 |   489582 |     4758    202 |        0 |        0
808.95/809.25	c  809s |      19 |   579446 |   490882 |     4758    203 |        0 |        0
811.05/811.37	c  811s |      19 |   581419 |   492482 |     4758    203 |        0 |        0
813.15/813.48	c  813s |      19 |   583084 |   493782 |     4758    204 |        0 |        0
815.25/815.54	c  815s |      19 |   584804 |   495182 |     4758    204 |        0 |        0
817.25/817.55	c  817s |      19 |   586203 |   496382 |     4758    205 |        0 |        0
819.35/819.69	c  819s |      19 |   587809 |   497782 |     4758    205 |        0 |        0
821.34/821.70	c  821s |      19 |   589173 |   498982 |     4758    205 |        0 |        0
823.54/823.83	c  823s |      19 |   590914 |   500482 |     4758    206 |        0 |        0
825.64/825.92	c  825s |      19 |   592367 |   501682 |     4758    206 |        0 |        0
827.74/828.08	c  827s |      19 |   594022 |   502982 |     4758    207 |        0 |        0
829.93/830.24	c  830s |      19 |   595881 |   504482 |     4758    207 |        0 |        0
831.93/832.26	c  832s |      19 |   597254 |   505682 |     4758    208 |        0 |        0
833.93/834.28	c  834s |      19 |   598764 |   506982 |     4758    208 |        0 |        0
836.13/836.44	c  836s |      19 |   600041 |   508082 |     4758    209 |        0 |        0
838.13/838.44	c  838s |      19 |   601808 |   509482 |     4758    209 |        0 |        0
840.24/840.54	c  840s |      19 |   603428 |   510782 |     4758    210 |        0 |        0
842.34/842.68	c  842s |      19 |   605249 |   512282 |     4758    210 |        0 |        0
844.43/844.77	c  844s |      19 |   606708 |   513482 |     4758    210 |        0 |        0
846.53/846.88	c  846s |      19 |   608160 |   514682 |     4758    211 |        0 |        0
848.63/848.99	c  848s |      19 |   609883 |   516082 |     4758    211 |        0 |        0
850.73/851.01	c  850s |      19 |   611473 |   517382 |     4758    212 |        0 |        0
852.73/853.03	c  852s |      19 |   612890 |   518582 |     4758    212 |        0 |        0
854.83/855.15	c  855s |      19 |   614123 |   519682 |     4758    213 |        0 |        0
856.92/857.28	c  857s |      19 |   615480 |   520882 |     4758    213 |        0 |        0
859.02/859.38	c  859s |      19 |   616959 |   522082 |     4758    213 |        0 |        0
861.13/861.49	c  861s |      19 |   618610 |   523482 |     4758    214 |        0 |        0
863.22/863.52	c  863s |      19 |   620159 |   524782 |     4758    214 |        0 |        0
865.32/865.64	c  865s |      19 |   621724 |   526082 |     4758    215 |        0 |        0
867.42/867.73	c  867s |      19 |   623093 |   527282 |     4758    215 |        0 |        0
869.41/869.73	c  869s |      19 |   624904 |   528782 |     4758    216 |        0 |        0
871.41/871.76	c  871s |      19 |   626411 |   530082 |     4758    216 |        0 |        0
873.51/873.87	c  873s |      19 |   627896 |   531282 |     4758    217 |        0 |        0
875.61/875.99	c  875s |      19 |   629780 |   532782 |     4758    217 |        0 |        0
877.71/878.02	c  877s |      19 |   631129 |   533882 |     4758    218 |        0 |        0
879.81/880.16	c  880s |      19 |   632803 |   535082 |     4758    218 |        0 |        0
882.01/882.32	c  882s |      19 |   634413 |   536382 |     4758    218 |        0 |        0
884.01/884.39	c  884s |      19 |   636174 |   537782 |     4758    219 |        0 |        0
886.11/886.49	c  886s |      19 |   638317 |   538982 |     4758    219 |        0 |        0
888.21/888.54	c  888s |      19 |   640001 |   540182 |     4758    220 |        0 |        0
890.20/890.59	c  890s |      19 |   641584 |   541282 |     4758    220 |        0 |        0
892.40/892.73	c  892s |      19 |   643129 |   542382 |     4758    221 |        0 |        0
894.40/894.77	c  894s |      19 |   644979 |   543682 |     4758    221 |        0 |        0
896.50/896.80	c  896s |      19 |   646456 |   544882 |     4758    221 |        0 |        0
898.51/898.86	c  898s |      19 |   648210 |   546282 |     4758    222 |        0 |        0
900.60/900.92	c  900s |      19 |   649748 |   547482 |     4758    222 |        0 |        0
902.69/903.02	c  902s |      19 |   651230 |   548682 |     4758    223 |        0 |        0
904.69/905.05	c  904s |      19 |   652934 |   549982 |     4758    223 |        0 |        0
906.89/907.21	c  907s |      19 |   654292 |   551082 |     4758    224 |        0 |        0
908.89/909.28	c  909s |      19 |   655897 |   552182 |     4758    224 |        0 |        0
910.89/911.28	c  911s |      19 |   657336 |   553282 |     4758    224 |        0 |        0
912.99/913.37	c  913s |      19 |   658612 |   554282 |     4758    225 |        0 |        0
915.19/915.56	c  915s |      19 |   660201 |   555382 |     4758    225 |        0 |        0
917.39/917.72	c  917s |      19 |   661454 |   556482 |     4758    225 |        0 |        0
919.48/919.81	c  919s |      19 |   662851 |   557582 |     4758    226 |        0 |        0
921.48/921.84	c  921s |      19 |   664220 |   558782 |     4758    226 |        0 |        0
923.48/923.86	c  923s |      19 |   665520 |   559882 |     4758    227 |        0 |        0
925.68/926.02	c  925s |      19 |   666965 |   561082 |     4758    227 |        0 |        0
927.88/928.23	c  928s |      19 |   668267 |   562082 |     4758    227 |        0 |        0
929.97/930.33	c  930s |      19 |   669650 |   563082 |     4758    228 |        0 |        0
932.07/932.43	c  932s |      19 |   671189 |   564282 |     4758    228 |        0 |        0
934.27/934.60	c  934s |      19 |   672417 |   565382 |     4758    229 |        0 |        0
936.27/936.62	c  936s |      19 |   673595 |   566382 |     4758    229 |        0 |        0
938.27/938.64	c  938s |      19 |   674749 |   567382 |     4758    229 |        0 |        0
940.37/940.77	c  940s |      19 |   675810 |   568282 |     4758    230 |        0 |        0
942.47/942.83	c  942s |      19 |   676848 |   569182 |     4758    230 |        0 |        0
944.47/944.83	c  944s |      19 |   678179 |   570282 |     4758    230 |        0 |        0
946.57/946.91	c  946s |      19 |   679654 |   571382 |     4758    231 |        0 |        0
948.57/948.94	c  948s |      19 |   681007 |   572482 |     4758    231 |        0 |        0
950.66/951.07	c  950s |      19 |   682548 |   573582 |     4758    231 |        0 |        0
952.76/953.16	c  953s |      19 |   684021 |   574782 |     4758    232 |        0 |        0
954.96/955.30	c  955s |      19 |   685635 |   576082 |     4758    232 |        0 |        0
956.96/957.38	c  957s |      19 |   687034 |   577182 |     4758    233 |        0 |        0
959.06/959.43	c  959s |      19 |   688490 |   578282 |     4758    233 |        0 |        0
961.16/961.57	c  961s |      19 |   690032 |   579382 |     4758    234 |        0 |        0
963.26/963.70	c  963s |      19 |   691324 |   580382 |     4758    234 |        0 |        0
965.35/965.75	c  965s |      19 |   692728 |   581482 |     4758    234 |        0 |        0
967.45/967.89	c  967s |      19 |   694008 |   582382 |     4758    235 |        0 |        0
969.55/969.91	c  969s |      19 |   695886 |   583682 |     4758    235 |        0 |        0
971.55/971.92	c  971s |      19 |   697462 |   584882 |     4758    235 |        0 |        0
973.65/974.06	c  973s |      19 |   698780 |   585982 |     4758    236 |        0 |        0
975.74/976.19	c  976s |      19 |   699835 |   586882 |     4758    236 |        0 |        0
977.94/978.32	c  978s |      19 |   701325 |   587982 |     4758    237 |        0 |        0
980.04/980.40	c  980s |      19 |   703103 |   589282 |     4758    237 |        0 |        0
982.14/982.51	c  982s |      19 |   704720 |   590582 |     4758    237 |        0 |        0
984.25/984.61	c  984s |      19 |   706418 |   591882 |     4758    238 |        0 |        0
986.24/986.63	c  986s |      19 |   708019 |   593082 |     4758    238 |        0 |        0
988.54/988.91	c  988s |      19 |   709677 |   594182 |     4758    239 |        0 |        0
990.64/991.10	c  990s |      19 |   711457 |   595382 |     4758    239 |        0 |        0
992.74/993.19	c  993s |      19 |   712850 |   596382 |     4758    239 |        0 |        0
994.85/995.23	c  995s |      19 |   714132 |   597382 |     4758    240 |        0 |        0
996.85/997.26	c  997s |      19 |   716016 |   598782 |     4758    240 |        0 |        0
999.05/999.40	c  999s |      19 |   717625 |   599982 |     4758    241 |        0 |        0
1001.14/1001.53	c 1001s |      19 |   719125 |   601182 |     4758    241 |        0 |        0
1003.44/1003.86	c 1003s |      19 |   720546 |   602282 |     4758    242 |        0 |        0
1005.64/1006.04	c 1005s |      19 |   721845 |   603282 |     4758    242 |        0 |        0
1007.74/1008.18	c 1008s |      19 |   724072 |   604382 |     4758    242 |        0 |        0
1009.73/1010.18	c 1010s |      19 |   725539 |   605382 |     4758    243 |        0 |        0
1011.83/1012.22	c 1012s |      19 |   727044 |   606482 |     4758    243 |        0 |        0
1013.94/1014.39	c 1014s |      19 |   728640 |   607482 |     4758    243 |        0 |        0
1016.04/1016.46	c 1016s |      19 |   730092 |   608482 |     4758    244 |        0 |        0
1018.24/1018.68	c 1018s |      19 |   731822 |   609582 |     4758    244 |        0 |        0
1020.53/1020.91	c 1020s |      19 |   733190 |   610582 |     4758    244 |        0 |        0
1022.63/1023.10	c 1022s |      19 |   734433 |   611482 |     4758    245 |        0 |        0
1024.73/1025.13	c 1024s |      19 |   735910 |   612382 |     4758    245 |        0 |        0
1026.73/1027.14	c 1026s |      19 |   737244 |   613482 |     4758    245 |        0 |        0
1028.73/1029.15	c 1028s |      19 |   738553 |   614582 |     4758    246 |        0 |        0
1030.82/1031.28	c 1031s |      19 |   739975 |   615782 |     4758    246 |        0 |        0
1033.02/1033.41	c 1033s |      19 |   741158 |   616782 |     4758    247 |        0 |        0
1035.02/1035.41	c 1035s |      19 |   742513 |   617782 |     4758    247 |        0 |        0
1037.22/1037.60	c 1037s |      19 |   743791 |   618782 |     4758    247 |        0 |        0
1039.22/1039.70	c 1039s |      19 |   744957 |   619682 |     4758    248 |        0 |        0
1041.32/1041.78	c 1041s |      19 |   746214 |   620682 |     4758    248 |        0 |        0
1043.42/1043.82	c 1043s |      19 |   747482 |   621682 |     4758    248 |        0 |        0
1045.52/1045.91	c 1045s |      19 |   748579 |   622582 |     4758    249 |        0 |        0
1047.61/1048.00	c 1047s |      19 |   749774 |   623582 |     4758    249 |        0 |        0
1049.71/1050.14	c 1049s |      19 |   750832 |   624482 |     4758    249 |        0 |        0
1051.81/1052.24	c 1052s |      19 |   751927 |   625382 |     4758    250 |        0 |        0
1053.91/1054.32	c 1054s |      19 |   753098 |   626382 |     4758    250 |        0 |        0
1055.91/1056.37	c 1056s |      19 |   754327 |   627282 |     4758    250 |        0 |        0
1058.01/1058.40	c 1058s |      19 |   755321 |   628082 |     4758    251 |        0 |        0
1060.01/1060.43	c 1060s |      19 |   756372 |   628982 |     4758    251 |        0 |        0
1062.10/1062.53	c 1062s |      19 |   757495 |   629882 |     4758    251 |        0 |        0
1064.30/1064.75	c 1064s |      19 |   758397 |   630682 |     4758    251 |        0 |        0
1066.40/1066.84	c 1066s |      19 |   759658 |   631682 |     4758    252 |        0 |        0
1068.50/1068.95	c 1068s |      19 |   761202 |   632882 |     4758    252 |        0 |        0
1070.50/1070.99	c 1070s |      19 |   762143 |   633682 |     4758    253 |        0 |        0
1072.80/1073.21	c 1073s |      19 |   763386 |   634682 |     4758    253 |        0 |        0
1074.80/1075.25	c 1075s |      19 |   764389 |   635482 |     4758    253 |        0 |        0
1076.90/1077.30	c 1077s |      19 |   765405 |   636282 |     4758    253 |        0 |        0
1078.90/1079.32	c 1079s |      19 |   766389 |   636982 |     4758    254 |        0 |        0
1080.90/1081.37	c 1081s |      19 |   767522 |   637882 |     4758    254 |        0 |        0
1082.99/1083.48	c 1083s |      19 |   768826 |   638982 |     4758    254 |        0 |        0
1085.30/1085.71	c 1085s |      19 |   769851 |   639882 |     4758    255 |        0 |        0
1087.39/1087.84	c 1087s |      19 |   770896 |   640782 |     4758    255 |        0 |        0
1089.48/1089.98	c 1089s |      19 |   771798 |   641582 |     4758    255 |        0 |        0
1091.58/1092.04	c 1091s |      19 |   772615 |   642282 |     4758    256 |        0 |        0
1093.68/1094.18	c 1094s |      19 |   773510 |   643082 |     4758    256 |        0 |        0
1095.88/1096.36	c 1096s |      19 |   774695 |   643982 |     4758    256 |        0 |        0
1097.88/1098.36	c 1098s |      19 |   775961 |   644882 |     4758    256 |        0 |        0
1100.08/1100.56	c 1100s |      19 |   777053 |   645782 |     4758    257 |        0 |        0
1102.28/1102.70	c 1102s |      19 |   778361 |   646782 |     4758    257 |        0 |        0
1104.38/1104.89	c 1104s |      19 |   779399 |   647682 |     4758    257 |        0 |        0
1106.57/1107.06	c 1106s |      19 |   780349 |   648482 |     4758    258 |        0 |        0
1108.67/1109.15	c 1108s |      19 |   781328 |   649282 |     4758    258 |        0 |        0
1110.77/1111.29	c 1111s |      19 |   782227 |   650082 |     4758    258 |        0 |        0
1113.07/1113.51	c 1113s |      19 |   783373 |   650882 |     4758    259 |        0 |        0
1115.17/1115.63	c 1115s |      19 |   784405 |   651682 |     4758    259 |        0 |        0
1117.47/1117.91	c 1117s |      19 |   785482 |   652482 |     4758    259 |        0 |        0
1119.56/1120.07	c 1119s |      19 |   786434 |   653282 |     4758    259 |        0 |        0
1121.67/1122.12	c 1121s |      19 |   787677 |   654282 |     4758    260 |        0 |        0
1123.96/1124.45	c 1124s |      19 |   788997 |   655282 |     4758    260 |        0 |        0
1126.07/1126.58	c 1126s |      19 |   789804 |   655982 |     4758    260 |        0 |        0
1128.36/1128.86	c 1128s |      19 |   790738 |   656682 |     4758    261 |        0 |        0
1130.66/1131.15	c 1130s |      19 |   791667 |   657482 |     4758    261 |        0 |        0
1132.86/1133.31	c 1133s |      19 |   792867 |   658482 |     4758    261 |        0 |        0
1134.86/1135.39	c 1135s |      19 |   793908 |   659382 |     4758    262 |        0 |        0
1136.96/1137.45	c 1137s |      19 |   794930 |   660282 |     4758    262 |        0 |        0
1139.05/1139.60	c 1139s |      19 |   796148 |   661282 |     4758    262 |        0 |        0
1141.25/1141.76	c 1141s |      19 |   797140 |   662182 |     5234    262 |        0 |        0
1143.45/1143.94	c 1143s |      19 |   798328 |   663182 |     5234    263 |        0 |        0
1145.65/1146.12	c 1145s |      19 |   799243 |   663982 |     5234    263 |        0 |        0
1147.75/1148.20	c 1148s |      19 |   800040 |   664682 |     5234    263 |        0 |        0
1149.74/1150.25	c 1150s |      19 |   800948 |   665482 |     5234    263 |        0 |        0
1151.84/1152.38	c 1152s |      19 |   802053 |   666382 |     5234    264 |        0 |        0
1152.74/1153.23	c 1153s |      20 |   802595 |   666827 |     5234    264 |        0 |        0
1154.74/1155.24	c 1155s |      20 |   805492 |   668227 |     5234    264 |        0 |        0
1156.94/1157.43	c 1157s |      20 |   806835 |   669427 |     5234    265 |        0 |        0
1158.94/1159.49	c 1159s |      20 |   807917 |   670427 |     5234    265 |        0 |        0
1161.04/1161.52	c 1161s |      20 |   808877 |   671327 |     5234    265 |        0 |        0
1163.04/1163.59	c 1163s |      20 |   809932 |   672327 |     5234    265 |        0 |        0
1165.23/1165.75	c 1165s |      20 |   810917 |   673227 |     5234    266 |        0 |        0
1167.33/1167.87	c 1167s |      20 |   812025 |   674227 |     5234    266 |        0 |        0
1169.53/1170.05	c 1169s |      20 |   813006 |   675127 |     5234    266 |        0 |        0
1171.73/1172.28	c 1172s |      20 |   813885 |   675927 |     5234    266 |        0 |        0
1173.94/1174.44	c 1174s |      20 |   814868 |   676827 |     5234    267 |        0 |        0
1176.04/1176.55	c 1176s |      20 |   816129 |   677927 |     5234    267 |        0 |        0
1178.14/1178.69	c 1178s |      20 |   817270 |   678927 |     5234    267 |        0 |        0
1180.34/1180.80	c 1180s |      20 |   818540 |   680027 |     5234    268 |        0 |        0
1182.44/1182.90	c 1182s |      20 |   819774 |   681127 |     5234    268 |        0 |        0
1184.44/1184.97	c 1184s |      20 |   820982 |   682227 |     5234    268 |        0 |        0
1186.54/1187.06	c 1186s |      20 |   822086 |   683227 |     5234    269 |        0 |        0
1188.74/1189.23	c 1189s |      20 |   823217 |   684227 |     5234    269 |        0 |        0
1190.84/1191.32	c 1191s |      20 |   824099 |   685027 |     5234    269 |        0 |        0
1193.04/1193.55	c 1193s |      20 |   825014 |   685827 |     5234    269 |        0 |        0
1195.03/1195.59	c 1195s |      20 |   825903 |   686627 |     5234    270 |        0 |        0
1197.13/1197.68	c 1197s |      20 |   826768 |   687427 |     5234    270 |        0 |        0
1199.33/1199.81	c 1199s |      20 |   827796 |   688327 |     5234    270 |        0 |        0
1201.53/1202.04	c 1201s |      20 |   828795 |   689227 |     5234    271 |        0 |        0
1203.73/1204.21	c 1204s |      20 |   830147 |   690427 |     5234    271 |        0 |        0
1205.73/1206.21	c 1206s |      20 |   831238 |   691427 |     5234    271 |        0 |        0
1207.73/1208.26	c 1208s |      20 |   832239 |   692327 |     5234    271 |        0 |        0
1209.93/1210.42	c 1210s |      20 |   833464 |   693427 |     5234    272 |        0 |        0
1211.92/1212.49	c 1212s |      20 |   834540 |   694427 |     5234    272 |        0 |        0
1214.12/1214.65	c 1214s |      20 |   835831 |   695527 |     5234    272 |        0 |        0
1216.13/1216.67	c 1216s |      20 |   837072 |   696627 |     5234    273 |        0 |        0
1218.33/1218.84	c 1218s |      20 |   838317 |   697727 |     5234    273 |        0 |        0
1220.42/1220.90	c 1220s |      20 |   839422 |   698727 |     5234    273 |        0 |        0
1222.42/1222.98	c 1222s |      20 |   840509 |   699727 |     5234    274 |        0 |        0
1224.62/1225.17	c 1225s |      20 |   841717 |   700827 |     5234    274 |        0 |        0
1226.82/1227.31	c 1227s |      20 |   843087 |   702027 |     5234    275 |        0 |        0
1228.92/1229.48	c 1229s |      20 |   844419 |   703227 |     5234    275 |        0 |        0
1231.02/1231.56	c 1231s |      20 |   845623 |   704327 |     5234    275 |        0 |        0
1233.12/1233.62	c 1233s |      20 |   846606 |   705227 |     5234    276 |        0 |        0
1235.22/1235.73	c 1235s |      20 |   847605 |   706127 |     5234    276 |        0 |        0
1237.32/1237.84	c 1237s |      20 |   848821 |   707227 |     5234    276 |        0 |        0
1239.52/1240.05	c 1239s |      20 |   849940 |   708227 |     5234    276 |        0 |        0
1241.53/1242.08	c 1241s |      20 |   850945 |   709127 |     5234    277 |        0 |        0
1243.82/1244.34	c 1244s |      20 |   851936 |   710027 |     5234    277 |        0 |        0
1245.93/1246.44	c 1246s |      20 |   852945 |   710927 |     5234    277 |        0 |        0
1248.02/1248.58	c 1248s |      20 |   854081 |   711927 |     5234    278 |        0 |        0
1250.12/1250.64	c 1250s |      20 |   855073 |   712827 |     5234    278 |        0 |        0
1252.32/1252.88	c 1252s |      20 |   856060 |   713727 |     5234    278 |        0 |        0
1254.52/1255.07	c 1254s |      20 |   856926 |   714527 |     5234    278 |        0 |        0
1256.72/1257.28	c 1257s |      20 |   857911 |   715427 |     5234    279 |        0 |        0
1258.72/1259.28	c 1259s |      20 |   858803 |   716227 |     5234    279 |        0 |        0
1261.02/1261.50	c 1261s |      20 |   859573 |   716927 |     5234    279 |        0 |        0
1263.02/1263.55	c 1263s |      20 |   860489 |   717727 |     5234    279 |        0 |        0
1265.11/1265.65	c 1265s |      20 |   861365 |   718527 |     5234    280 |        0 |        0
1267.11/1267.68	c 1267s |      20 |   862230 |   719327 |     5234    280 |        0 |        0
1269.31/1269.87	c 1269s |      20 |   863093 |   720127 |     5234    280 |        0 |        0
1271.61/1272.13	c 1271s |      20 |   864314 |   721227 |     5234    281 |        0 |        0
1273.71/1274.25	c 1274s |      20 |   865538 |   722327 |     5234    281 |        0 |        0
1275.81/1276.32	c 1276s |      20 |   866614 |   723327 |     5234    281 |        0 |        0
1278.01/1278.52	c 1278s |      20 |   867699 |   724327 |     5234    281 |        0 |        0
1280.02/1280.59	c 1280s |      20 |   868670 |   725227 |     5234    282 |        0 |        0
1282.01/1282.60	c 1282s |      20 |   869648 |   726127 |     5234    282 |        0 |        0
1284.21/1284.76	c 1284s |      20 |   870850 |   727227 |     5234    282 |        0 |        0
1286.21/1286.78	c 1286s |      20 |   871947 |   728227 |     5234    283 |        0 |        0
1288.31/1288.83	c 1288s |      20 |   873035 |   729227 |     5234    283 |        0 |        0
1290.51/1291.07	c 1290s |      20 |   874112 |   730227 |     5234    283 |        0 |        0
1292.61/1293.10	c 1292s |      20 |   874997 |   731027 |     5234    284 |        0 |        0
1294.71/1295.22	c 1295s |      20 |   876091 |   732027 |     5234    284 |        0 |        0
1296.91/1297.40	c 1297s |      20 |   877459 |   733227 |     5234    284 |        0 |        0
1299.01/1299.59	c 1299s |      20 |   878435 |   734127 |     5234    285 |        0 |        0
1301.21/1301.76	c 1301s |      20 |   879643 |   735227 |     5234    285 |        0 |        0
1303.31/1303.85	c 1303s |      20 |   880738 |   736227 |     5234    285 |        0 |        0
1305.71/1306.22	c 1306s |      20 |   881836 |   737227 |     5234    286 |        0 |        0
1307.71/1308.29	c 1308s |      20 |   883205 |   738427 |     5234    286 |        0 |        0
1309.81/1310.31	c 1310s |      20 |   884538 |   739627 |     5234    286 |        0 |        0
1311.91/1312.45	c 1312s |      20 |   885661 |   740627 |     5234    287 |        0 |        0
1314.01/1314.50	c 1314s |      20 |   886893 |   741727 |     5234    287 |        0 |        0
1316.01/1316.51	c 1316s |      20 |   888014 |   742727 |     5234    287 |        0 |        0
1318.01/1318.58	c 1318s |      20 |   889123 |   743727 |     5234    288 |        0 |        0
1320.11/1320.69	c 1320s |      20 |   890367 |   744827 |     5234    288 |        0 |        0
1322.21/1322.74	c 1322s |      20 |   891496 |   745827 |     5234    288 |        0 |        0
1324.30/1324.89	c 1324s |      20 |   892467 |   746727 |     5234    288 |        0 |        0
1326.50/1327.04	c 1326s |      20 |   893467 |   747627 |     5234    289 |        0 |        0
1328.50/1329.06	c 1328s |      20 |   894470 |   748527 |     5234    289 |        0 |        0
1330.70/1331.20	c 1331s |      20 |   895735 |   749627 |     5234    289 |        0 |        0
1332.71/1333.22	c 1333s |      20 |   896871 |   750627 |     5234    290 |        0 |        0
1334.70/1335.29	c 1335s |      20 |   898214 |   751827 |     5234    290 |        0 |        0
1336.90/1337.43	c 1337s |      20 |   899436 |   752927 |     5234    290 |        0 |        0
1338.90/1339.46	c 1339s |      20 |   900537 |   753927 |     5234    291 |        0 |        0
1341.00/1341.58	c 1341s |      20 |   901742 |   755027 |     5234    291 |        0 |        0
1343.20/1343.75	c 1343s |      20 |   902822 |   756027 |     5234    291 |        0 |        0
1345.20/1345.79	c 1345s |      20 |   903808 |   756927 |     5234    292 |        0 |        0
1347.30/1347.89	c 1347s |      20 |   904909 |   757927 |     5234    292 |        0 |        0
1349.60/1350.11	c 1349s |      20 |   906013 |   758927 |     5234    292 |        0 |        0
1351.60/1352.16	c 1352s |      20 |   906891 |   759727 |     5234    293 |        0 |        0
1353.90/1354.48	c 1354s |      20 |   907896 |   760627 |     5234    293 |        0 |        0
1356.10/1356.67	c 1356s |      20 |   909258 |   761827 |     5234    293 |        0 |        0
1358.20/1358.73	c 1358s |      20 |   910351 |   762827 |     5234    293 |        0 |        0
1360.31/1360.83	c 1360s |      20 |   911583 |   763927 |     5234    294 |        0 |        0
1362.40/1362.92	c 1362s |      20 |   912666 |   764927 |     5234    294 |        0 |        0
1364.40/1364.99	c 1364s |      20 |   913677 |   765827 |     5234    294 |        0 |        0
1366.60/1367.15	c 1366s |      20 |   914892 |   766927 |     5234    295 |        0 |        0
1368.70/1369.21	c 1369s |      20 |   915901 |   767827 |     5234    295 |        0 |        0
1370.70/1371.22	c 1371s |      20 |   916901 |   768727 |     5234    295 |        0 |        0
1372.80/1373.39	c 1373s |      20 |   917783 |   769527 |     5234    296 |        0 |        0
1375.00/1375.54	c 1375s |      20 |   918965 |   770627 |     5234    296 |        0 |        0
1377.09/1377.66	c 1377s |      20 |   920104 |   771627 |     5234    296 |        0 |        0
1379.49/1380.06	c 1379s |      20 |   921111 |   772527 |     5234    297 |        0 |        0
1381.49/1382.09	c 1381s |      20 |   922357 |   773627 |     5234    297 |        0 |        0
1383.59/1384.17	c 1384s |      20 |   923695 |   774827 |     5234    297 |        0 |        0
1385.69/1386.25	c 1386s |      20 |   924892 |   775927 |     5234    298 |        0 |        0
1387.70/1388.27	c 1388s |      20 |   926231 |   777127 |     5234    298 |        0 |        0
1389.79/1390.32	c 1390s |      20 |   927440 |   778227 |     5234    298 |        0 |        0
1391.89/1392.41	c 1392s |      20 |   928515 |   779227 |     5234    299 |        0 |        0
1393.99/1394.55	c 1394s |      20 |   929747 |   780327 |     5234    299 |        0 |        0
1396.09/1396.60	c 1396s |      20 |   930973 |   781427 |     5234    299 |        0 |        0
1398.19/1398.71	c 1398s |      20 |   932197 |   782527 |     5234    300 |        0 |        0
1400.19/1400.72	c 1400s |      20 |   933400 |   783627 |     5234    300 |        0 |        0
1402.29/1402.84	c 1402s |      20 |   934487 |   784627 |     5234    300 |        0 |        0
1404.39/1404.95	c 1404s |      20 |   935461 |   785527 |     5234    301 |        0 |        0
1406.59/1407.13	c 1406s |      20 |   936456 |   786427 |     5234    301 |        0 |        0
1408.79/1409.31	c 1409s |      20 |   937451 |   787327 |     5234    301 |        0 |        0
1410.79/1411.34	c 1411s |      20 |   938479 |   788227 |     5234    301 |        0 |        0
1412.89/1413.46	c 1413s |      20 |   939576 |   789227 |     5234    302 |        0 |        0
1415.09/1415.61	c 1415s |      20 |   940788 |   790327 |     5234    302 |        0 |        0
1417.09/1417.66	c 1417s |      20 |   941769 |   791227 |     5234    302 |        0 |        0
1419.29/1419.81	c 1419s |      20 |   942753 |   792127 |     5234    303 |        0 |        0
1421.29/1421.87	c 1421s |      20 |   943841 |   793127 |     5234    303 |        0 |        0
1423.49/1424.00	c 1423s |      20 |   944820 |   794027 |     5234    303 |        0 |        0
1425.79/1426.35	c 1426s |      20 |   945773 |   794927 |     5234    304 |        0 |        0
1427.89/1428.46	c 1428s |      20 |   946882 |   795927 |     5234    304 |        0 |        0
1429.99/1430.58	c 1430s |      20 |   947747 |   796727 |     5234    304 |        0 |        0
1432.19/1432.70	c 1432s |      20 |   948683 |   797527 |     5234    304 |        0 |        0
1434.49/1435.08	c 1434s |      20 |   949464 |   798227 |     5234    305 |        0 |        0
1436.69/1437.24	c 1437s |      20 |   950453 |   799127 |     5234    305 |        0 |        0
1438.79/1439.36	c 1439s |      20 |   951439 |   800027 |     5234    305 |        0 |        0
1440.99/1441.57	c 1441s |      20 |   952323 |   800827 |     5234    305 |        0 |        0
1443.08/1443.60	c 1443s |      20 |   953080 |   801527 |     5234    306 |        0 |        0
1445.08/1445.61	c 1445s |      20 |   953926 |   802327 |     5234    306 |        0 |        0
1447.19/1447.79	c 1447s |      20 |   954895 |   803227 |     5234    306 |        0 |        0
1449.48/1450.03	c 1449s |      20 |   955791 |   804027 |     5234    306 |        0 |        0
1451.49/1452.09	c 1451s |      20 |   956535 |   804727 |     5234    307 |        0 |        0
1453.79/1454.30	c 1454s |      20 |   957546 |   805627 |     5234    307 |        0 |        0
1455.78/1456.31	c 1456s |      20 |   958417 |   806427 |     5234    307 |        0 |        0
1457.98/1458.55	c 1458s |      20 |   959297 |   807227 |     5234    307 |        0 |        0
1460.08/1460.61	c 1460s |      20 |   960630 |   808227 |     5234    308 |        0 |        0
1462.18/1462.70	c 1462s |      20 |   961759 |   809227 |     5234    308 |        0 |        0
1464.28/1464.83	c 1464s |      20 |   962904 |   810227 |     5234    308 |        0 |        0
1466.38/1466.98	c 1466s |      20 |   964063 |   811227 |     5234    309 |        0 |        0
1468.38/1468.99	c 1468s |      20 |   965340 |   812327 |     5234    309 |        0 |        0
1470.38/1470.99	c 1470s |      20 |   966504 |   813327 |     5234    309 |        0 |        0
1472.58/1473.15	c 1472s |      20 |   967780 |   814327 |     5234    310 |        0 |        0
1474.69/1475.30	c 1475s |      20 |   969142 |   815427 |     5234    310 |        0 |        0
1476.89/1477.47	c 1477s |      20 |   970270 |   816427 |     5234    310 |        0 |        0
1479.09/1479.69	c 1479s |      20 |   971365 |   817327 |     5234    311 |        0 |        0
1481.18/1481.78	c 1481s |      20 |   972771 |   818327 |     5234    311 |        0 |        0
1483.38/1483.92	c 1483s |      20 |   973925 |   819327 |     5234    311 |        0 |        0
1485.58/1486.12	c 1485s |      20 |   974981 |   820227 |     5234    311 |        0 |        0
1487.58/1488.12	c 1487s |      20 |   976014 |   821127 |     5234    312 |        0 |        0
1489.68/1490.28	c 1490s |      20 |   977169 |   822127 |     5234    312 |        0 |        0
1491.78/1492.36	c 1492s |      20 |   978134 |   823027 |     5234    312 |        0 |        0
1493.88/1494.48	c 1494s |      20 |   978908 |   823727 |     5234    313 |        0 |        0
1496.08/1496.68	c 1496s |      20 |   979757 |   824527 |     5234    313 |        0 |        0
1498.18/1498.79	c 1498s |      20 |   981963 |   825827 |     5234    313 |        0 |        0
1500.58/1501.10	c 1500s |      20 |   983408 |   826927 |     5234    314 |        0 |        0
1502.58/1503.19	c 1503s |      20 |   984674 |   828027 |     5234    314 |        0 |        0
1504.78/1505.39	c 1505s |      20 |   985778 |   829027 |     5234    314 |        0 |        0
1506.97/1507.58	c 1507s |      20 |   986815 |   829927 |     5234    314 |        0 |        0
1509.27/1509.81	c 1509s |      20 |   987742 |   830727 |     5234    315 |        0 |        0
1511.27/1511.88	c 1511s |      20 |   988666 |   831527 |     5234    315 |        0 |        0
1513.37/1513.92	c 1513s |      20 |   989510 |   832227 |     5234    315 |        0 |        0
1515.47/1516.06	c 1515s |      20 |   990280 |   832927 |     5234    315 |        0 |        0
1517.58/1518.11	c 1517s |      20 |   990923 |   833527 |     5234    316 |        0 |        0
1519.57/1520.15	c 1519s |      20 |   991814 |   834227 |     5234    316 |        0 |        0
1521.57/1522.17	c 1522s |      20 |   992565 |   834927 |     5234    316 |        0 |        0
1523.57/1524.18	c 1524s |      20 |   993278 |   835527 |     5234    316 |        0 |        0
1525.67/1526.21	c 1526s |      20 |   994449 |   836527 |     5234    317 |        0 |        0
1527.77/1528.32	c 1528s |      20 |   995557 |   837527 |     5234    317 |        0 |        0
1529.87/1530.40	c 1530s |      20 |   996648 |   838527 |     5234    317 |        0 |        0
1531.88/1532.46	c 1532s |      20 |   997938 |   839627 |     5234    317 |        0 |        0
1533.97/1534.50	c 1534s |      20 |   999304 |   840827 |     5234    318 |        0 |        0
1536.07/1536.68	c 1536s |      20 |  1000657 |   842027 |     5234    318 |        0 |        0
1538.17/1538.78	c 1538s |      20 |  1001752 |   843027 |     5234    319 |        0 |        0
1540.27/1540.84	c 1540s |      20 |  1002964 |   844127 |     5234    319 |        0 |        0
1542.47/1543.05	c 1542s |      20 |  1004056 |   845127 |     5234    319 |        0 |        0
1544.57/1545.11	c 1544s |      20 |  1005285 |   846227 |     5234    320 |        0 |        0
1546.67/1547.27	c 1547s |      20 |  1006503 |   847327 |     5234    320 |        0 |        0
1548.87/1549.40	c 1549s |      20 |  1007585 |   848327 |     5234    320 |        0 |        0
1550.87/1551.42	c 1551s |      20 |  1008573 |   849227 |     5234    320 |        0 |        0
1552.97/1553.52	c 1553s |      20 |  1009674 |   850227 |     5234    321 |        0 |        0
1554.97/1555.57	c 1555s |      20 |  1010649 |   851127 |     5234    321 |        0 |        0
1557.07/1557.62	c 1557s |      20 |  1011671 |   852027 |     5234    321 |        0 |        0
1559.27/1559.82	c 1559s |      20 |  1012766 |   853027 |     5234    322 |        0 |        0
1561.36/1561.95	c 1561s |      20 |  1013860 |   854027 |     5234    322 |        0 |        0
1563.46/1564.00	c 1563s |      20 |  1014902 |   854927 |     5234    322 |        0 |        0
1565.56/1566.17	c 1566s |      20 |  1016173 |   856027 |     5234    323 |        0 |        0
1567.76/1568.37	c 1568s |      20 |  1017490 |   857227 |     5234    323 |        0 |        0
1569.96/1570.55	c 1570s |      20 |  1018581 |   858227 |     5234    323 |        0 |        0
1572.16/1572.71	c 1572s |      20 |  1019685 |   859227 |     5234    324 |        0 |        0
1574.26/1574.83	c 1574s |      20 |  1020799 |   860227 |     5234    324 |        0 |        0
1576.37/1576.91	c 1576s |      20 |  1021802 |   861127 |     5234    324 |        0 |        0
1578.67/1579.26	c 1579s |      20 |  1022911 |   862127 |     5234    325 |        0 |        0
1580.77/1581.36	c 1581s |      20 |  1024025 |   863127 |     5234    325 |        0 |        0
1582.87/1583.43	c 1583s |      20 |  1025176 |   864127 |     5234    325 |        0 |        0
1585.07/1585.61	c 1585s |      20 |  1026329 |   865127 |     5234    325 |        0 |        0
1587.17/1587.70	c 1587s |      20 |  1027333 |   866027 |     5234    326 |        0 |        0
1589.17/1589.72	c 1589s |      20 |  1028460 |   867027 |     5234    326 |        0 |        0
1591.37/1591.95	c 1591s |      20 |  1029436 |   867927 |     5234    326 |        0 |        0
1593.37/1593.97	c 1593s |      20 |  1030309 |   868727 |     5234    327 |        0 |        0
1595.57/1596.20	c 1596s |      20 |  1031536 |   869827 |     5234    327 |        0 |        0
1597.67/1598.24	c 1598s |      20 |  1032407 |   870627 |     5234    327 |        0 |        0
1599.97/1600.51	c 1600s |      20 |  1033519 |   871627 |     5234    327 |        0 |        0
1602.07/1602.70	c 1602s |      20 |  1034512 |   872527 |     5234    328 |        0 |        0
1604.27/1604.82	c 1604s |      20 |  1035475 |   873427 |     5234    328 |        0 |        0
1606.46/1607.07	c 1606s |      20 |  1036585 |   874427 |     5234    328 |        0 |        0
1608.66/1609.28	c 1609s |      20 |  1037479 |   875227 |     5234    329 |        0 |        0
1610.97/1611.53	c 1611s |      20 |  1038473 |   876127 |     5234    329 |        0 |        0
1613.06/1613.61	c 1613s |      20 |  1039619 |   877127 |     5234    329 |        0 |        0
1615.16/1615.75	c 1615s |      20 |  1040915 |   878227 |     5234    330 |        0 |        0
1617.16/1617.77	c 1617s |      20 |  1042054 |   879227 |     5234    330 |        0 |        0
1619.26/1619.88	c 1619s |      20 |  1043167 |   880227 |     5234    330 |        0 |        0
1621.46/1622.05	c 1621s |      20 |  1044146 |   881127 |     5234    330 |        0 |        0
1623.46/1624.06	c 1623s |      20 |  1045260 |   882127 |     5234    331 |        0 |        0
1625.56/1626.20	c 1626s |      20 |  1046392 |   883127 |     5234    331 |        0 |        0
1627.76/1628.37	c 1628s |      20 |  1047499 |   884127 |     5234    331 |        0 |        0
1629.96/1630.53	c 1630s |      20 |  1048611 |   885127 |     5234    332 |        0 |        0
1631.97/1632.54	c 1632s |      20 |  1049637 |   886027 |     5234    332 |        0 |        0
1634.06/1634.66	c 1634s |      20 |  1050765 |   887027 |     5234    332 |        0 |        0
1636.26/1636.82	c 1636s |      20 |  1051662 |   887827 |     5234    333 |        0 |        0
1638.36/1638.90	c 1638s |      20 |  1052770 |   888827 |     5234    333 |        0 |        0
1640.36/1640.99	c 1640s |      20 |  1053748 |   889727 |     5234    333 |        0 |        0
1642.46/1643.07	c 1642s |      20 |  1054616 |   890527 |     5234    333 |        0 |        0
1644.56/1645.15	c 1645s |      20 |  1055489 |   891327 |     5234    334 |        0 |        0
1646.56/1647.18	c 1647s |      20 |  1056492 |   892227 |     5234    334 |        0 |        0
1648.86/1649.42	c 1649s |      20 |  1057455 |   893127 |     5234    334 |        0 |        0
1651.16/1651.71	c 1651s |      20 |  1058320 |   893927 |     5234    334 |        0 |        0
1653.36/1653.90	c 1653s |      20 |  1059187 |   894727 |     5234    335 |        0 |        0
1655.36/1655.97	c 1655s |      20 |  1060719 |   895927 |     5234    335 |        0 |        0
1657.46/1658.00	c 1657s |      20 |  1061869 |   896927 |     5234    335 |        0 |        0
1659.46/1660.04	c 1659s |      20 |  1063151 |   898027 |     5234    336 |        0 |        0
1661.56/1662.20	c 1662s |      20 |  1064367 |   899127 |     5234    336 |        0 |        0
1663.76/1664.37	c 1664s |      20 |  1065497 |   900127 |     5234    336 |        0 |        0
1665.75/1666.39	c 1666s |      20 |  1066538 |   901027 |     5234    337 |        0 |        0
1667.85/1668.40	c 1668s |      20 |  1067652 |   902027 |     5234    337 |        0 |        0
1670.05/1670.62	c 1670s |      20 |  1068727 |   903027 |     5234    337 |        0 |        0
1672.05/1672.64	c 1672s |      20 |  1069700 |   903927 |     5234    338 |        0 |        0
1674.15/1674.73	c 1674s |      20 |  1070786 |   904927 |     5234    338 |        0 |        0
1676.25/1676.85	c 1676s |      20 |  1071971 |   906027 |     5234    338 |        0 |        0
1678.45/1679.02	c 1678s |      20 |  1072944 |   906927 |     5234    339 |        0 |        0
1680.45/1681.08	c 1680s |      20 |  1074052 |   907927 |     5234    339 |        0 |        0
1682.46/1683.10	c 1682s |      20 |  1075139 |   908927 |     5234    339 |        0 |        0
1684.55/1685.15	c 1684s |      20 |  1076150 |   909827 |     5234    339 |        0 |        0
1686.75/1687.33	c 1687s |      20 |  1077142 |   910727 |     5234    340 |        0 |        0
1688.85/1689.46	c 1689s |      20 |  1078393 |   911827 |     5234    340 |        0 |        0
1690.95/1691.55	c 1691s |      20 |  1079474 |   912827 |     5234    340 |        0 |        0
1693.05/1693.63	c 1693s |      20 |  1080573 |   913827 |     5234    341 |        0 |        0
1695.05/1695.66	c 1695s |      20 |  1081573 |   914727 |     5234    341 |        0 |        0
1697.15/1697.71	c 1697s |      20 |  1082467 |   915527 |     5234    341 |        0 |        0
1699.15/1699.79	c 1699s |      20 |  1083435 |   916427 |     5234    341 |        0 |        0
1701.15/1701.79	c 1701s |      20 |  1084425 |   917327 |     5234    342 |        0 |        0
1703.35/1703.93	c 1703s |      20 |  1085543 |   918327 |     5234    342 |        0 |        0
1705.55/1706.17	c 1706s |      20 |  1086506 |   919227 |     5234    342 |        0 |        0
1707.65/1708.29	c 1708s |      20 |  1087514 |   920127 |     5234    343 |        0 |        0
1709.85/1710.43	c 1710s |      20 |  1088885 |   921327 |     5234    343 |        0 |        0
1712.05/1712.64	c 1712s |      20 |  1090074 |   922427 |     5234    343 |        0 |        0
1714.05/1714.66	c 1714s |      20 |  1091054 |   923327 |     5234    344 |        0 |        0
1716.25/1716.85	c 1716s |      20 |  1092267 |   924427 |     5234    344 |        0 |        0
1718.45/1719.00	c 1718s |      20 |  1093257 |   925327 |     5234    344 |        0 |        0
1720.55/1721.19	c 1721s |      20 |  1094220 |   926227 |     5234    345 |        0 |        0
1722.65/1723.20	c 1723s |      20 |  1095083 |   927027 |     5234    345 |        0 |        0
1724.74/1725.39	c 1725s |      20 |  1096047 |   927927 |     5234    345 |        0 |        0
1726.84/1727.45	c 1727s |      20 |  1096907 |   928727 |     5234    345 |        0 |        0
1728.84/1729.49	c 1729s |      20 |  1097996 |   929727 |     5234    346 |        0 |        0
1730.95/1731.54	c 1731s |      20 |  1099068 |   930727 |     5234    346 |        0 |        0
1733.15/1733.74	c 1733s |      20 |  1099917 |   931527 |     5234    346 |        0 |        0
1735.35/1735.98	c 1735s |      20 |  1100787 |   932327 |     5234    346 |        0 |        0
1737.45/1738.08	c 1737s |      20 |  1101640 |   933127 |     5234    347 |        0 |        0
1739.54/1740.10	c 1739s |      20 |  1102496 |   933927 |     5234    347 |        0 |        0
1741.64/1742.24	c 1742s |      20 |  1103501 |   934827 |     5234    347 |        0 |        0
1743.64/1744.26	c 1744s |      20 |  1104355 |   935627 |     5234    347 |        0 |        0
1745.74/1746.39	c 1746s |      20 |  1105348 |   936527 |     5234    348 |        0 |        0
1747.94/1748.57	c 1748s |      20 |  1106205 |   937327 |     5234    348 |        0 |        0
1750.14/1750.70	c 1750s |      20 |  1107079 |   938127 |     5234    348 |        0 |        0
1752.24/1752.89	c 1752s |      20 |  1107923 |   938927 |     5234    349 |        0 |        0
1754.34/1754.95	c 1754s |      20 |  1108792 |   939727 |     5234    349 |        0 |        0
1756.44/1757.05	c 1756s |      20 |  1109793 |   940627 |     5234    349 |        0 |        0
1758.64/1759.23	c 1759s |      20 |  1110654 |   941427 |     5234    349 |        0 |        0
1760.84/1761.45	c 1761s |      20 |  1111508 |   942227 |     5234    350 |        0 |        0
1762.94/1763.56	c 1763s |      20 |  1112675 |   943227 |     5234    350 |        0 |        0
1765.04/1765.64	c 1765s |      20 |  1113655 |   944127 |     5234    350 |        0 |        0
1767.14/1767.79	c 1767s |      20 |  1114440 |   944827 |     5234    350 |        0 |        0
1769.24/1769.81	c 1769s |      20 |  1115076 |   945427 |     5234    351 |        0 |        0
1771.24/1771.83	c 1771s |      20 |  1115854 |   946127 |     5234    351 |        0 |        0
1773.34/1773.96	c 1773s |      20 |  1117061 |   947227 |     5234    351 |        0 |        0
1775.54/1776.12	c 1775s |      20 |  1118184 |   948227 |     5234    351 |        0 |        0
1777.63/1778.28	c 1778s |      20 |  1119210 |   949127 |     5234    352 |        0 |        0
1779.83/1780.43	c 1780s |      20 |  1120301 |   950127 |     5234    352 |        0 |        0
1781.84/1782.45	c 1782s |      20 |  1121215 |   950927 |     5234    352 |        0 |        0
1784.13/1784.78	c 1784s |      20 |  1122115 |   951727 |     5234    353 |        0 |        0
1786.23/1786.84	c 1786s |      20 |  1123114 |   952627 |     5234    353 |        0 |        0
1788.33/1788.98	c 1788s |      20 |  1124107 |   953527 |     5234    353 |        0 |        0
1790.43/1791.05	c 1790s |      20 |  1124982 |   954327 |     5234    353 |        0 |        0
1792.54/1793.14	c 1792s |      20 |  1125752 |   955027 |     5234    354 |        0 |        0
1794.64/1795.24	c 1795s |      20 |  1126784 |   955927 |     5234    354 |        0 |        0
1796.73/1797.33	c 1797s |      20 |  1127757 |   956827 |     5234    354 |        0 |        0
1798.83/1799.48	c 1799s |      20 |  1128647 |   957627 |     5234    354 |        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-4109182-1466341819/watcher-4109182-1466341819 -o /tmp/evaluation-result-4109182-1466341819/solver-4109182-1466341819 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1236 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109182-1466341819.wbo 

pid=1258
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: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=506300 CPUtime=0 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 1850 0 0 0 0 0 0 0 20 0 4 0 36228860 518451200 2211 33554432000 4194304 16246674 140736016502032 140736016501456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 127343 2220 441 2943 0 124237 0
[pid=1262/tid=1265] ppid=1258 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 782692352 3217 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=768444 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 786886656 3235 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 791080960 3251 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 25095 0 0 0 5 3 0 0 20 0 4 0 36228860 1247350784 25449 33554432000 4194304 16246674 140736016502032 140736016483904 12481124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 304529 25457 605 2943 0 301423 0
[pid=1262/tid=1265] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 25463 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 25469 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 25476 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200554 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 47094 0 0 0 12 7 0 0 20 0 4 0 36228860 1247350784 47440 33554432000 4194304 16246674 140736016502032 140736016483904 5711820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 304529 47449 807 2943 0 301423 0
[pid=1262/tid=1265] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 47457 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 47464 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 47474 33554432000 4194304 16246674 140736016502032 140712379145392 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.300537 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 74073 0 0 0 18 11 0 0 20 0 4 0 36228860 1247350784 74419 33554432000 4194304 16246674 140736016502032 140736016483904 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 304529 74426 807 2943 0 301423 0
[pid=1262/tid=1265] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 74430 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 74442 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 74445 33554432000 4194304 16246674 140736016502032 140712379145392 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.700452 s]
/proc/loadavg: 0.21 0.20 0.18 5/174 1264
/proc/meminfo: memFree=29960936/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 184916 0 0 0 44 25 0 0 20 0 4 0 36228860 1247350784 185262 33554432000 4194304 16246674 140736016502032 140736016483904 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 304529 185276 807 2943 0 301423 0
[pid=1262/tid=1265] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 185283 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 185292 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228861 1247350784 185304 33554432000 4194304 16246674 140736016502032 140712379145392 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) 1218116

[startup+1.50043 s]
/proc/loadavg: 0.21 0.20 0.18 5/182 1272
/proc/meminfo: memFree=27986372/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 266378 0 0 0 111 38 0 0 20 0 4 0 36228860 1332285440 266702 33554432000 4194304 16246674 140736016502032 140736016483904 12415827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 325265 266702 871 2943 0 322159 0
[pid=1262/tid=1265] ppid=1258 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1332285440 266702 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1332285440 266702 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1332285440 266702 33554432000 4194304 16246674 140736016502032 140712379145392 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.10046 s]
/proc/loadavg: 0.21 0.20 0.18 5/182 1272
/proc/meminfo: memFree=27815344/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 267786 0 0 0 271 38 0 0 20 0 4 0 36228860 1338576896 268110 33554432000 4194304 16246674 140736016502032 140736016483904 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 326801 268110 873 2943 0 323695 0
[pid=1262/tid=1265] ppid=1258 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1338576896 268110 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1338576896 268110 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1338576896 268110 33554432000 4194304 16246674 140736016502032 140712379145392 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) 1307204

[startup+6.30047 s]
/proc/loadavg: 0.35 0.23 0.19 4/182 1272
/proc/meminfo: memFree=27812512/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 268270 0 0 0 591 38 0 0 20 0 4 0 36228860 1340674048 268594 33554432000 4194304 16246674 140736016502032 140736016483904 5667408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 327313 268594 874 2943 0 324207 0
[pid=1262/tid=1265] ppid=1258 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1340674048 268594 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1340674048 268594 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1340674048 268594 33554432000 4194304 16246674 140736016502032 140712379145392 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) 1309252

[startup+12.7004 s]
/proc/loadavg: 0.48 0.26 0.20 4/182 1272
/proc/meminfo: memFree=27807492/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 268944 0 0 0 1230 38 0 0 20 0 4 0 36228860 1342771200 269268 33554432000 4194304 16246674 140736016502032 140736016485032 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 327825 269268 874 2943 0 324719 0
[pid=1262/tid=1265] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269268 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269268 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269268 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 0.89 0.36 0.23 4/182 1272
/proc/meminfo: memFree=27804484/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 268944 0 0 0 2510 38 0 0 20 0 4 0 36228860 1342771200 269268 33554432000 4194304 16246674 140736016502032 140736016483904 5516133 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 327825 269268 874 2943 0 324719 0
[pid=1262/tid=1265] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269268 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269268 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269268 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 1.27 0.49 0.28 4/181 1272
/proc/meminfo: memFree=27802440/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 268946 0 0 0 5070 38 0 0 20 0 4 0 36228860 1342771200 269270 33554432000 4194304 16246674 140736016502032 140736016483904 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 327825 269270 876 2943 0 324719 0
[pid=1262/tid=1265] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269270 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269270 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1342771200 269270 33554432000 4194304 16246674 140736016502032 140712379145392 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) 1311300

[startup+102.301 s]
/proc/loadavg: 1.78 0.75 0.38 4/181 1273
/proc/meminfo: memFree=27797076/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1316420 CPUtime=102.28 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 270226 0 0 0 10189 39 0 0 20 0 4 0 36228860 1348014080 270550 33554432000 4194304 16246674 140736016502032 140736016483904 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 329105 270550 876 2943 0 325999 0
[pid=1262/tid=1265] ppid=1258 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 270550 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 270550 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1348014080 270550 33554432000 4194304 16246674 140736016502032 140712379145392 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) 1316420


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

/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1325636

[startup+1302.3 s]
/proc/loadavg: 2.54 2.31 1.75 4/181 1303
/proc/meminfo: memFree=27760228/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1301.81 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 130133 48 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.46 2.33 1.79 4/181 1304
/proc/meminfo: memFree=27760260/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1361.8 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 136132 48 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5712083 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.50 2.36 1.83 4/181 1305
/proc/meminfo: memFree=27760048/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1421.79 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 142131 48 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016501208 5546219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.42 2.35 1.86 4/181 1307
/proc/meminfo: memFree=27760212/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1481.78 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 148130 48 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.25 2.32 1.87 4/181 1308
/proc/meminfo: memFree=27759872/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1541.78 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 154130 48 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.43 2.35 1.91 4/181 1309
/proc/meminfo: memFree=27759908/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1601.77 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 160128 49 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.31 2.33 1.93 4/181 1310
/proc/meminfo: memFree=27760064/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1661.75 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 166126 49 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.26 2.31 1.95 4/181 1311
/proc/meminfo: memFree=27760592/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1721.75 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 172126 49 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5993721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.27 2.30 1.96 4/182 1316
/proc/meminfo: memFree=27759612/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1781.73 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 178124 49 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016483904 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.30 1.97 4/182 1316
/proc/meminfo: memFree=27760036/32872528 swapFree=1316768/1463936
[pid=1262] ppid=1258 vsize=1325636 CPUtime=1800.03 cores=1,3,5,7
/proc/1262/stat : 1262 (toysat) R 1258 1262 1219 0 -1 4202496 272982 0 0 0 179954 49 0 0 20 0 4 0 36228860 1357451264 273111 33554432000 4194304 16246674 140736016502032 140736016485032 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1262/statm: 331409 273111 876 2943 0 328303 0
[pid=1262/tid=1265] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1265/stat : 1265 (toysat) S 1258 1262 1219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712470359280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1262/tid=1267] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1267/stat : 1267 (toysat) S 1258 1262 1219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712389618928 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1262/tid=1269] ppid=1258 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1262/task/1269/stat : 1269 (toysat) S 1258 1262 1219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228861 1357451264 273111 33554432000 4194304 16246674 140736016502032 140712379145392 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1325636

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 1262 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.05
CPU user time (s): 1799.55
CPU system time (s): 0.496924
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.496924
maximum resident set size= 1092444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 465
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50631 second user time and 7.02693 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-19 15:10:19
IDJOB=4109182
IDBENCH=78691
IDSOLVER=2553
FILE ID=node121/4109182-1466341819
RUNJOBID= node121-1466341819-1236
PBS_JOBID= 19922032
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_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-4109182-1466341819/watcher-4109182-1466341819 -o /tmp/evaluation-result-4109182-1466341819/solver-4109182-1466341819 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466341819-1236 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109182-1466341819.wbo

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

MD5SUM BENCH= 694cfd83cbc837ad458e2da6a5d5efcc
RANDOM SEED=273849869

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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:        29961308 kB
Buffers:          200140 kB
Cached:           480332 kB
SwapCached:         1944 kB
Active:           202944 kB
Inactive:         481916 kB
Active(anon):       4236 kB
Inactive(anon):     2892 kB
Active(file):     198708 kB
Inactive(file):   479024 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67101196 kB
Dirty:             32620 kB
Writeback:             0 kB
AnonPages:       1467272 kB
Mapped:             8052 kB
Shmem:                 0 kB
Slab:             628276 kB
SReclaimable:      72708 kB
SUnreclaim:       555568 kB
KernelStack:        1328 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1548532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71688 MiB
End job on node121 at 2016-06-19 15:40:20