Trace number 4093710

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
MD5SUM168e81c26eea0b6e6155adb2f3f4d195
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.65475
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints61
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 3358
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3357
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
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-16T18:04:13+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-4093710-1466093053.wbo"]
0.00/0.01	c use --random-gen="713179869 4260213768 3539929844 2871943394 3622477628 4249799724 4185408405 89495005 1398081528 3882924815 434251709 2327369742 2787791542 3505938806 599846414 3796330687 483603523 2333213033 859764137 994480565 4031747207 968414674 2491596213 3142993614 1671566578 4264819661 3406222755 82763985 1782274453 120469 3126533787 1903971862 2954043325 584774174 743511028 2928214387 1886649968 958792051 4182815086 2499477706 3928984243 1024062151 207810962 2400017933 3961410964 251189324 2361399095 1565894620 331930276 3219295320 2344415345 3680920245 663243016 2901338401 2233400298 819182631 4174627091 597274834 1335916222 1450649537 4083657931 3499122997 4161363377 426448424 4133345190 1230613452 3571850623 3183983372 2544525627 2243382631 1459110145 1618283500 1903706660 2387901109 774592562 170438374 4192825240 2224665349 1290860832 3268258091 1382749085 2181035718 440200950 912743259 2489691728 2205556929 2374226147 4241161315 2346845676 2113971466 258473096 1408602508 690015211 3820114497 1770731376 4201496198 1650153782 3214334869 1615147256 2179371837 3064928623 3311495492 128931992 1910564277 3200900076 4186326229 2095336661 3821110983 2987402777 347128143 3518192716 76701687 1789688525 576343758 2234940796 3250742031 1384107784 3526465694 439109966 935983863 3075378642 1996452579 279969240 3574020671 2065191226 3265882310 898768768 3730292562 1083384302 1673525964 3721991598 2853232322 1555012510 2606718350 1363253197 1806603442 3044144737 3152973942 2207070515 961008620 907753367 253718687 284998187 120701734 2587028613 1482910065 3241192521 1171800115 4074201342 36935443 537851429 197444607 4027146987 2705088766 3868711087 1598449815 1061697955 3788505820 1940330014 3432507045 1919318533 4086681197 104460039 3822938870 4234858620 276397035 2672190488 9977209 4099352912 1561251632 3400168734 3516817698 2283466806 1824311273 505406340 3834621938 1299211770 2383962723 2318456447 1123343544 1141054994 4041763172 918000064 2339534219 126245264 3135264743 1578697562 1892169056 939062036 2688628593 940396146 2529302611 1785593199 988286212 3112344484 2021520364 178041861 903924722 1482886945 4027924927 1647937157 391831254 710959773 2321235311 1274766860 2755521054 2287469244 3371434947 2505705554 2979780080 3082687986 1325583609 116274613 1718582253 560870505 2360918331 3855588215 3708614695 834586367 3547977617 3690103245 1014606309 966943203 2781207335 2265191302 3848478140 771188505 3782880904 3628305544 240769327 158152459 1314083591 2275436192 837473949 2036257004 1527640344 88336534 3444285201 631727280 2968656851 4177258252 2862173628 2096560803 2085116318 3517074390 471458150 1400671482 3212414956 1364965889 352934924 1796582158 1516852844 1261555397 2275444576 745166545 2476884127 255 362436" option to reproduce the execution
0.00/0.05	c #vars 930
0.00/0.05	c #constraints 61
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      350      0 |        0 |        0
0.00/0.05	c  0.0s |       0 |       91 |        0 |      350      0 |        0 |        0
0.00/0.05	c #cpu_time = 0.001s
0.00/0.05	c #wall_clock_time = 0.001s
0.00/0.05	c #decision = 91
0.00/0.05	c #random_decision = 1
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	o 1350
0.00/0.05	c BCD2: updating upper bound: 3357 -> 1349
0.00/0.05	c BCD2: 0 <= obj <= 1349
0.00/0.05	c BCD2: #cores=0, #unrelaxed=61, #relaxed=0, #hardened=0
0.00/0.05	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      350      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      197 |      100 |      350      0 |        0 |        0
0.08/0.16	c  0.1s |       2 |      744 |      250 |      386      0 |        0 |        0
0.39/0.41	c  0.4s |       3 |     1554 |      475 |      425      0 |        0 |        0
0.69/0.76	c  0.7s |       4 |     2564 |      813 |      468      1 |        0 |        0
1.10/1.16	c  1.1s |       5 |     3858 |     1320 |      515      2 |        0 |        0
1.79/1.84	c  1.8s |       6 |     5550 |     2081 |      624      3 |        0 |        0
2.69/2.73	c  2.7s |       7 |     7473 |     3223 |      687      5 |        0 |        0
4.29/4.39	c  4.3s |       8 |    10471 |     4936 |      756      7 |        0 |        0
6.39/6.45	c  6.4s |       8 |    13777 |     7036 |      756     10 |        0 |        0
6.98/7.05	c  7.0s |       9 |    14369 |     7506 |      832     10 |        0 |        0
8.98/9.09	c  9.0s |       9 |    17385 |     9506 |      832     13 |        0 |        0
11.18/11.21	c 11.2s |       9 |    19147 |    11006 |      832     14 |        0 |        0
11.68/11.79	c 11.7s |      10 |    19559 |    11361 |      916     15 |        0 |        0
13.78/13.87	c 13.8s |      10 |    24013 |    13361 |      916     17 |        0 |        0
15.88/15.90	c 15.8s |      10 |    25681 |    14761 |      916     19 |        0 |        0
17.88/17.95	c 17.9s |      10 |    27432 |    16261 |      916     21 |        0 |        0
19.08/19.14	c 19.1s |      11 |    28446 |    17144 |     1008     22 |        0 |        0
21.08/21.18	c 21.1s |      11 |    32839 |    18744 |     1008     24 |        0 |        0
23.19/23.25	c 23.2s |      11 |    34642 |    20144 |     1008     25 |        0 |        0
25.39/25.43	c 25.4s |      11 |    36201 |    21444 |     1008     27 |        0 |        0
27.38/27.44	c 27.4s |      11 |    39098 |    22844 |     1008     28 |        0 |        0
29.48/29.50	c 29.4s |      11 |    41580 |    24444 |     1008     30 |        0 |        0
31.48/31.52	c 31.5s |      11 |    43625 |    25744 |     1109     31 |        0 |        0
31.58/31.62	c 31.6s |      12 |    43801 |    25819 |     1109     31 |        0 |        0
33.68/33.70	c 33.6s |      12 |    49606 |    27619 |     1109     33 |        0 |        0
35.68/35.75	c 35.7s |      12 |    51284 |    29019 |     1109     35 |        0 |        0
37.68/37.76	c 37.7s |      12 |    52800 |    30319 |     1109     36 |        0 |        0
39.78/39.89	c 39.8s |      12 |    54392 |    31719 |     1109     37 |        0 |        0
41.98/42.00	c 41.9s |      12 |    55859 |    33019 |     1109     39 |        0 |        0
43.99/44.03	c 44.0s |      12 |    57219 |    34219 |     1109     40 |        0 |        0
46.08/46.19	c 46.1s |      12 |    58787 |    35619 |     1109     42 |        0 |        0
48.18/48.26	c 48.2s |      12 |    60214 |    36919 |     1109     43 |        0 |        0
50.18/50.27	c 50.2s |      12 |    61587 |    38119 |     1109     44 |        0 |        0
51.48/51.50	c 51.4s |      13 |    62405 |    38832 |     1220     45 |        0 |        0
53.48/53.56	c 53.5s |      13 |    65583 |    40532 |     1220     47 |        0 |        0
55.58/55.60	c 55.5s |      13 |    67287 |    41932 |     1220     48 |        0 |        0
57.58/57.67	c 57.6s |      13 |    68667 |    43032 |     1220     49 |        0 |        0
59.67/59.79	c 59.7s |      13 |    69849 |    44032 |     1220     50 |        0 |        0
61.77/61.81	c 61.8s |      13 |    71008 |    45032 |     1220     51 |        0 |        0
63.88/63.98	c 63.9s |      13 |    72593 |    46332 |     1220     52 |        0 |        0
65.98/66.05	c 66.0s |      13 |    73949 |    47432 |     1220     53 |        0 |        0
68.07/68.18	c 68.1s |      13 |    75540 |    48732 |     1220     55 |        0 |        0
70.17/70.22	c 70.2s |      13 |    77186 |    50032 |     1220     56 |        0 |        0
72.17/72.27	c 72.2s |      13 |    78801 |    51232 |     1220     57 |        0 |        0
74.27/74.36	c 74.3s |      13 |    80216 |    52432 |     1220     58 |        0 |        0
76.37/76.46	c 76.4s |      13 |    81827 |    53732 |     1220     59 |        0 |        0
78.57/78.62	c 78.6s |      13 |    83246 |    54932 |     1220     60 |        0 |        0
80.67/80.70	c 80.6s |      13 |    84999 |    56332 |     1220     62 |        0 |        0
82.77/82.85	c 82.8s |      13 |    86665 |    57632 |     1220     63 |        0 |        0
84.07/84.10	c 84.0s |      14 |    87607 |    58352 |     1342     64 |        0 |        0
86.17/86.20	c 86.1s |      14 |    90406 |    60352 |     1342     65 |        0 |        0
88.17/88.21	c 88.2s |      14 |    92211 |    61952 |     1342     67 |        0 |        0
90.18/90.22	c 90.2s |      14 |    93872 |    63452 |     1342     68 |        0 |        0
92.27/92.32	c 92.3s |      14 |    95984 |    65352 |     1342     70 |        0 |        0
94.27/94.35	c 94.3s |      14 |    97869 |    67052 |     1342     71 |        0 |        0
96.37/96.43	c 96.4s |      14 |    99707 |    68652 |     1342     73 |        0 |        0
98.37/98.48	c 98.4s |      14 |   101371 |    70152 |     1342     74 |        0 |        0
100.47/100.52	c  100s |      14 |   103048 |    71652 |     1342     76 |        0 |        0
102.47/102.58	c  102s |      14 |   104721 |    73152 |     1342     77 |        0 |        0
104.58/104.61	c  104s |      14 |   106382 |    74652 |     1342     78 |        0 |        0
106.57/106.70	c  106s |      14 |   107919 |    76052 |     1342     80 |        0 |        0
108.77/108.80	c  108s |      14 |   109831 |    77752 |     1342     81 |        0 |        0
110.77/110.87	c  110s |      14 |   112105 |    79652 |     1342     83 |        0 |        0
112.77/112.87	c  112s |      14 |   113911 |    81252 |     1342     84 |        0 |        0
114.87/114.90	c  114s |      14 |   115655 |    82852 |     1342     86 |        0 |        0
116.87/116.92	c  116s |      14 |   117278 |    84352 |     1342     87 |        0 |        0
118.87/118.98	c  118s |      14 |   119194 |    86052 |     1342     89 |        0 |        0
120.97/121.06	c  121s |      14 |   120817 |    87552 |     1477     90 |        0 |        0
121.07/121.17	c  121s |      15 |   120926 |    87632 |     1477     90 |        0 |        0
123.07/123.20	c  123s |      15 |   124272 |    90232 |     1477     92 |        0 |        0
125.17/125.27	c  125s |      15 |   126826 |    92532 |     1477     94 |        0 |        0
127.26/127.32	c  127s |      15 |   129429 |    94832 |     1477     96 |        0 |        0
129.26/129.35	c  129s |      15 |   131901 |    97032 |     1477     98 |        0 |        0
131.26/131.36	c  131s |      15 |   134217 |    99132 |     1477    100 |        0 |        0
133.26/133.38	c  133s |      15 |   136823 |   101432 |     1477    102 |        0 |        0
135.27/135.40	c  135s |      15 |   139232 |   103532 |     1477    104 |        0 |        0
137.47/137.52	c  137s |      15 |   141321 |   105432 |     1477    105 |        0 |        0
139.46/139.57	c  139s |      15 |   143350 |   107232 |     1477    107 |        0 |        0
141.56/141.66	c  141s |      15 |   145903 |   109532 |     1477    109 |        0 |        0
143.66/143.76	c  143s |      15 |   148390 |   111732 |     1477    111 |        0 |        0
145.76/145.81	c  145s |      15 |   150940 |   114032 |     1477    113 |        0 |        0
147.76/147.90	c  147s |      15 |   153509 |   116332 |     1477    114 |        0 |        0
149.86/149.96	c  149s |      15 |   156017 |   118532 |     1477    116 |        0 |        0
151.96/152.01	c  151s |      15 |   158354 |   120632 |     1477    118 |        0 |        0
153.97/154.03	c  153s |      15 |   160756 |   122632 |     1477    120 |        0 |        0
156.06/156.10	c  156s |      15 |   162848 |   124532 |     1477    121 |        0 |        0
158.06/158.17	c  158s |      15 |   165136 |   126632 |     1477    123 |        0 |        0
160.06/160.19	c  160s |      15 |   167747 |   128932 |     1477    125 |        0 |        0
162.16/162.23	c  162s |      15 |   170107 |   131032 |     1625    127 |        0 |        0
162.66/162.72	c  162s |      16 |   170736 |   131552 |     1625    127 |        0 |        0
164.66/164.73	c  164s |      16 |   173589 |   133652 |     1625    129 |        0 |        0
166.66/166.76	c  166s |      16 |   175380 |   135252 |     1625    130 |        0 |        0
168.76/168.82	c  168s |      16 |   177326 |   136952 |     1625    132 |        0 |        0
170.76/170.89	c  170s |      16 |   179120 |   138552 |     1625    133 |        0 |        0
172.86/172.95	c  172s |      16 |   181193 |   140352 |     1625    134 |        0 |        0
174.97/175.02	c  174s |      16 |   183275 |   142152 |     1625    136 |        0 |        0
176.97/177.05	c  176s |      16 |   185366 |   143952 |     1625    137 |        0 |        0
178.96/179.07	c  179s |      16 |   187362 |   145652 |     1625    139 |        0 |        0
181.06/181.16	c  181s |      16 |   189375 |   147452 |     1625    140 |        0 |        0
183.16/183.26	c  183s |      16 |   191407 |   149252 |     1625    141 |        0 |        0
185.26/185.37	c  185s |      16 |   193469 |   150952 |     1625    143 |        0 |        0
187.36/187.45	c  187s |      16 |   195282 |   152552 |     1625    144 |        0 |        0
189.46/189.56	c  189s |      16 |   197068 |   154152 |     1625    145 |        0 |        0
191.56/191.66	c  191s |      16 |   198885 |   155752 |     1625    147 |        0 |        0
193.67/193.77	c  193s |      16 |   200790 |   157452 |     1625    148 |        0 |        0
195.77/195.82	c  195s |      16 |   202722 |   159152 |     1625    149 |        0 |        0
197.86/197.92	c  197s |      16 |   204512 |   160752 |     1625    151 |        0 |        0
199.86/199.97	c  199s |      16 |   206302 |   162352 |     1625    152 |        0 |        0
201.86/201.98	c  201s |      16 |   207934 |   163852 |     1625    153 |        0 |        0
203.96/204.01	c  203s |      16 |   209627 |   165352 |     1625    154 |        0 |        0
205.96/206.08	c  206s |      16 |   211476 |   166952 |     1625    156 |        0 |        0
208.06/208.19	c  208s |      16 |   213285 |   168552 |     1625    157 |        0 |        0
210.26/210.30	c  210s |      16 |   215253 |   170252 |     1625    158 |        0 |        0
212.27/212.36	c  212s |      16 |   216896 |   171752 |     1625    159 |        0 |        0
214.36/214.48	c  214s |      16 |   218518 |   173252 |     1625    161 |        0 |        0
216.36/216.48	c  216s |      16 |   220320 |   174852 |     1625    162 |        0 |        0
218.46/218.59	c  218s |      16 |   222107 |   176452 |     1625    163 |        0 |        0
220.56/220.61	c  220s |      16 |   223765 |   177952 |     1625    164 |        0 |        0
222.56/222.68	c  222s |      16 |   225388 |   179452 |     1625    166 |        0 |        0
224.55/224.68	c  224s |      16 |   226968 |   180852 |     1625    167 |        0 |        0
226.66/226.74	c  226s |      16 |   228530 |   182252 |     1625    168 |        0 |        0
228.76/228.85	c  228s |      16 |   230214 |   183752 |     1625    169 |        0 |        0
230.85/230.93	c  230s |      16 |   231630 |   185052 |     1625    170 |        0 |        0
232.95/233.08	c  233s |      16 |   233070 |   186352 |     1625    171 |        0 |        0
235.15/235.20	c  235s |      16 |   234733 |   187852 |     1625    172 |        0 |        0
237.15/237.28	c  237s |      16 |   236145 |   189152 |     1625    173 |        0 |        0
239.15/239.29	c  239s |      16 |   237691 |   190552 |     1625    174 |        0 |        0
241.35/241.44	c  241s |      16 |   239138 |   191852 |     1625    175 |        0 |        0
243.35/243.49	c  243s |      16 |   240605 |   193152 |     1625    176 |        0 |        0
245.55/245.65	c  245s |      16 |   242108 |   194452 |     1625    178 |        0 |        0
247.65/247.70	c  247s |      16 |   243590 |   195752 |     1625    179 |        0 |        0
249.66/249.72	c  249s |      16 |   244830 |   196852 |     1788    179 |        0 |        0
250.76/250.82	c  250s |      17 |   245499 |   197432 |     1788    180 |        0 |        0
252.75/252.86	c  252s |      17 |   248797 |   199932 |     1788    182 |        0 |        0
254.85/254.94	c  254s |      17 |   251239 |   202032 |     1788    183 |        0 |        0
256.95/257.01	c  256s |      17 |   253662 |   204132 |     1788    185 |        0 |        0
258.95/259.07	c  259s |      17 |   256085 |   206232 |     1788    186 |        0 |        0
261.05/261.11	c  261s |      17 |   258397 |   208232 |     1788    188 |        0 |        0
263.15/263.20	c  263s |      17 |   260633 |   210232 |     1788    189 |        0 |        0
265.16/265.22	c  265s |      17 |   263020 |   212332 |     1788    191 |        0 |        0
267.25/267.32	c  267s |      17 |   265439 |   214432 |     1788    193 |        0 |        0
269.35/269.41	c  269s |      17 |   267960 |   216632 |     1788    194 |        0 |        0
271.35/271.42	c  271s |      17 |   270271 |   218632 |     1788    196 |        0 |        0
273.35/273.49	c  273s |      17 |   272634 |   220732 |     1788    197 |        0 |        0
275.35/275.49	c  275s |      17 |   274908 |   222732 |     1788    199 |        0 |        0
277.44/277.52	c  277s |      17 |   277035 |   224632 |     1788    200 |        0 |        0
279.45/279.54	c  279s |      17 |   279026 |   226432 |     1788    202 |        0 |        0
281.55/281.62	c  281s |      17 |   281451 |   228532 |     1788    203 |        0 |        0
283.54/283.62	c  283s |      17 |   283594 |   230432 |     1788    205 |        0 |        0
285.54/285.63	c  285s |      17 |   285595 |   232232 |     1788    206 |        0 |        0
287.64/287.72	c  287s |      17 |   287567 |   234032 |     1788    207 |        0 |        0
289.64/289.79	c  289s |      17 |   290010 |   236232 |     1788    209 |        0 |        0
291.74/291.87	c  291s |      17 |   292296 |   238232 |     1788    210 |        0 |        0
293.84/293.92	c  293s |      17 |   294485 |   240232 |     1788    212 |        0 |        0
295.85/295.99	c  295s |      17 |   296575 |   242132 |     1788    213 |        0 |        0
297.84/297.99	c  297s |      17 |   298920 |   244232 |     1788    215 |        0 |        0
299.94/300.00	c  299s |      17 |   300899 |   246032 |     1788    216 |        0 |        0
302.04/302.11	c  302s |      17 |   302977 |   247932 |     1788    218 |        0 |        0
304.04/304.17	c  304s |      17 |   305329 |   250032 |     1788    219 |        0 |        0
306.14/306.21	c  306s |      17 |   307497 |   252032 |     1788    221 |        0 |        0
308.14/308.24	c  308s |      17 |   309847 |   254132 |     1788    222 |        0 |        0
310.25/310.34	c  310s |      17 |   312058 |   256132 |     1788    224 |        0 |        0
312.35/312.42	c  312s |      17 |   314121 |   258032 |     1788    225 |        0 |        0
314.34/314.48	c  314s |      17 |   315978 |   259732 |     1788    227 |        0 |        0
316.34/316.49	c  316s |      17 |   318478 |   261932 |     1788    228 |        0 |        0
318.44/318.50	c  318s |      17 |   320451 |   263732 |     1788    230 |        0 |        0
320.44/320.54	c  320s |      17 |   322692 |   265732 |     1788    231 |        0 |        0
322.44/322.58	c  322s |      17 |   324682 |   267532 |     1788    233 |        0 |        0
324.44/324.58	c  324s |      17 |   326994 |   269532 |     1788    234 |        0 |        0
326.54/326.61	c  326s |      17 |   329112 |   271432 |     1788    235 |        0 |        0
328.64/328.70	c  328s |      17 |   331610 |   273632 |     1788    237 |        0 |        0
330.63/330.72	c  330s |      17 |   333850 |   275632 |     1788    239 |        0 |        0
332.64/332.74	c  332s |      17 |   336140 |   277732 |     1788    240 |        0 |        0
334.73/334.81	c  334s |      17 |   338265 |   279632 |     1788    242 |        0 |        0
336.73/336.89	c  336s |      17 |   340489 |   281632 |     1788    243 |        0 |        0
338.84/338.94	c  338s |      17 |   342474 |   283432 |     1788    245 |        0 |        0
340.83/340.95	c  340s |      17 |   344576 |   285332 |     1788    246 |        0 |        0
342.83/342.96	c  342s |      17 |   346455 |   287032 |     1788    247 |        0 |        0
344.83/344.98	c  344s |      17 |   348581 |   288932 |     1788    249 |        0 |        0
346.93/347.07	c  347s |      17 |   350627 |   290832 |     1788    250 |        0 |        0
349.03/349.18	c  349s |      17 |   352582 |   292632 |     1788    251 |        0 |        0
351.13/351.21	c  351s |      17 |   354418 |   294332 |     1967    253 |        0 |        0
353.04/353.17	c  353s |      18 |   356575 |   296252 |     1967    254 |        0 |        0
355.13/355.21	c  355s |      18 |   360197 |   299052 |     1967    256 |        0 |        0
357.13/357.23	c  357s |      18 |   362702 |   301252 |     1967    258 |        0 |        0
359.23/359.31	c  359s |      18 |   365083 |   303352 |     1967    259 |        0 |        0
361.33/361.44	c  361s |      18 |   367193 |   305252 |     1967    261 |        0 |        0
363.33/363.48	c  363s |      18 |   369450 |   307252 |     1967    262 |        0 |        0
365.43/365.50	c  365s |      18 |   371834 |   309352 |     1967    263 |        0 |        0
367.53/367.60	c  367s |      18 |   374512 |   311552 |     1967    265 |        0 |        0
369.54/369.70	c  369s |      18 |   376939 |   313652 |     1967    266 |        0 |        0
371.64/371.75	c  371s |      18 |   379417 |   315752 |     1967    268 |        0 |        0
373.74/373.82	c  373s |      18 |   381757 |   317752 |     1967    269 |        0 |        0
375.74/375.84	c  375s |      18 |   383738 |   319452 |     1967    270 |        0 |        0
377.84/377.91	c  377s |      18 |   385902 |   321352 |     1967    272 |        0 |        0
379.84/379.94	c  379s |      18 |   388275 |   323452 |     1967    273 |        0 |        0
381.84/381.99	c  381s |      18 |   390520 |   325352 |     1967    275 |        0 |        0
383.94/384.09	c  384s |      18 |   392765 |   327352 |     1967    276 |        0 |        0
385.93/386.10	c  386s |      18 |   395042 |   329352 |     1967    277 |        0 |        0
388.03/388.10	c  388s |      18 |   397006 |   331152 |     1967    279 |        0 |        0
390.03/390.18	c  390s |      18 |   399162 |   333052 |     1967    280 |        0 |        0
392.13/392.26	c  392s |      18 |   401246 |   334952 |     1967    281 |        0 |        0
394.23/394.33	c  394s |      18 |   403500 |   336952 |     1967    283 |        0 |        0
396.23/396.36	c  396s |      18 |   405620 |   338852 |     1967    284 |        0 |        0
398.33/398.46	c  398s |      18 |   407866 |   340852 |     1967    285 |        0 |        0
400.44/400.55	c  400s |      18 |   409842 |   342652 |     1967    287 |        0 |        0
402.54/402.68	c  402s |      18 |   412196 |   344752 |     1967    288 |        0 |        0
404.63/404.77	c  404s |      18 |   414392 |   346752 |     1967    290 |        0 |        0
406.63/406.79	c  406s |      18 |   416342 |   348552 |     1967    291 |        0 |        0
408.73/408.85	c  408s |      18 |   418218 |   350252 |     1967    292 |        0 |        0
410.83/410.94	c  410s |      18 |   419938 |   351852 |     1967    293 |        0 |        0
412.83/412.95	c  412s |      18 |   421691 |   353452 |     1967    294 |        0 |        0
414.83/414.97	c  414s |      18 |   424052 |   355552 |     1967    296 |        0 |        0
416.94/417.02	c  416s |      18 |   426129 |   357452 |     1967    297 |        0 |        0
419.04/419.12	c  419s |      18 |   428079 |   359252 |     1967    298 |        0 |        0
421.03/421.18	c  421s |      18 |   430053 |   361052 |     1967    300 |        0 |        0
423.13/423.29	c  423s |      18 |   432614 |   363352 |     1967    301 |        0 |        0
425.33/425.40	c  425s |      18 |   434611 |   365152 |     1967    302 |        0 |        0
427.33/427.44	c  427s |      18 |   436512 |   366852 |     1967    304 |        0 |        0
429.33/429.45	c  429s |      18 |   438632 |   368752 |     1967    305 |        0 |        0
431.43/431.54	c  431s |      18 |   440493 |   370452 |     1967    306 |        0 |        0
433.43/433.59	c  433s |      18 |   442480 |   372252 |     1967    307 |        0 |        0
435.53/435.65	c  435s |      18 |   444311 |   373952 |     1967    309 |        0 |        0
437.52/437.67	c  437s |      18 |   446241 |   375652 |     1967    310 |        0 |        0
439.52/439.69	c  439s |      18 |   448114 |   377352 |     1967    311 |        0 |        0
441.62/441.71	c  441s |      18 |   450004 |   379052 |     1967    312 |        0 |        0
443.62/443.73	c  443s |      18 |   451924 |   380752 |     1967    313 |        0 |        0
445.72/445.83	c  445s |      18 |   454249 |   382852 |     1967    315 |        0 |        0
447.82/447.91	c  447s |      18 |   456500 |   384852 |     1967    316 |        0 |        0
449.83/449.96	c  449s |      18 |   458611 |   386752 |     1967    318 |        0 |        0
451.92/452.04	c  451s |      18 |   460933 |   388852 |     1967    319 |        0 |        0
453.92/454.07	c  454s |      18 |   463155 |   390852 |     1967    320 |        0 |        0
456.02/456.12	c  456s |      18 |   465382 |   392852 |     1967    322 |        0 |        0
458.02/458.14	c  458s |      18 |   467258 |   394552 |     1967    323 |        0 |        0
460.02/460.20	c  460s |      18 |   469549 |   396552 |     1967    324 |        0 |        0
462.12/462.26	c  462s |      18 |   471738 |   398452 |     1967    326 |        0 |        0
464.23/464.31	c  464s |      18 |   473900 |   400352 |     1967    327 |        0 |        0
466.22/466.38	c  466s |      18 |   476032 |   402252 |     1967    328 |        0 |        0
468.32/468.41	c  468s |      18 |   478250 |   404252 |     1967    330 |        0 |        0
470.32/470.42	c  470s |      18 |   480342 |   406152 |     1967    331 |        0 |        0
472.32/472.44	c  472s |      18 |   482463 |   408052 |     1967    332 |        0 |        0
474.32/474.44	c  474s |      18 |   484595 |   409952 |     1967    334 |        0 |        0
476.32/476.48	c  476s |      18 |   486825 |   411952 |     1967    335 |        0 |        0
478.32/478.48	c  478s |      18 |   488841 |   413752 |     1967    336 |        0 |        0
480.42/480.58	c  480s |      18 |   491067 |   415752 |     1967    338 |        0 |        0
482.51/482.63	c  482s |      18 |   493159 |   417652 |     1967    339 |        0 |        0
484.51/484.68	c  484s |      18 |   495575 |   419752 |     1967    341 |        0 |        0
486.62/486.76	c  486s |      18 |   497838 |   421752 |     1967    342 |        0 |        0
488.71/488.83	c  488s |      18 |   500078 |   423752 |     1967    343 |        0 |        0
490.81/490.91	c  490s |      18 |   502134 |   425652 |     1967    345 |        0 |        0
492.82/492.92	c  492s |      18 |   504139 |   427452 |     1967    346 |        0 |        0
494.92/495.02	c  494s |      18 |   506662 |   429652 |     1967    347 |        0 |        0
496.91/497.06	c  497s |      18 |   508760 |   431452 |     1967    349 |        0 |        0
499.01/499.11	c  499s |      18 |   510748 |   433252 |     1967    350 |        0 |        0
501.01/501.15	c  501s |      18 |   512621 |   434952 |     1967    351 |        0 |        0
503.11/503.25	c  503s |      18 |   514514 |   436652 |     1967    352 |        0 |        0
505.21/505.33	c  505s |      18 |   516524 |   438452 |     1967    354 |        0 |        0
507.31/507.43	c  507s |      18 |   518853 |   440452 |     1967    355 |        0 |        0
509.32/509.45	c  509s |      18 |   520923 |   442252 |     2164    356 |        0 |        0
511.31/511.46	c  511s |      18 |   522956 |   444052 |     2164    357 |        0 |        0
511.91/512.04	c  511s |      19 |   523435 |   444482 |     2164    358 |        0 |        0
513.91/514.05	c  513s |      19 |   527061 |   447182 |     2164    359 |        0 |        0
515.92/516.06	c  516s |      19 |   529506 |   449382 |     2164    361 |        0 |        0
517.91/518.07	c  518s |      19 |   531992 |   451582 |     2164    362 |        0 |        0
520.01/520.14	c  520s |      19 |   534546 |   453882 |     2164    364 |        0 |        0
522.01/522.14	c  522s |      19 |   536875 |   455882 |     2164    365 |        0 |        0
524.11/524.22	c  524s |      19 |   538997 |   457782 |     2164    366 |        0 |        0
526.21/526.32	c  526s |      19 |   541019 |   459582 |     2164    368 |        0 |        0
528.30/528.40	c  528s |      19 |   543328 |   461582 |     2164    369 |        0 |        0
530.30/530.43	c  530s |      19 |   545403 |   463382 |     2164    370 |        0 |        0
532.31/532.50	c  532s |      19 |   547452 |   465182 |     2164    371 |        0 |        0
534.40/534.51	c  534s |      19 |   549474 |   466982 |     2164    372 |        0 |        0
536.40/536.53	c  536s |      19 |   551606 |   468882 |     2164    374 |        0 |        0
538.40/538.53	c  538s |      19 |   553496 |   470582 |     2164    375 |        0 |        0
540.40/540.57	c  540s |      19 |   555301 |   472182 |     2164    376 |        0 |        0
542.50/542.61	c  542s |      19 |   557402 |   473982 |     2164    377 |        0 |        0
544.51/544.68	c  544s |      19 |   559615 |   475982 |     2164    378 |        0 |        0
546.50/546.70	c  546s |      19 |   561758 |   477882 |     2164    380 |        0 |        0
548.60/548.76	c  548s |      19 |   564022 |   479882 |     2164    381 |        0 |        0
550.71/550.89	c  550s |      19 |   566153 |   481782 |     2164    382 |        0 |        0
552.81/552.90	c  552s |      19 |   568149 |   483582 |     2164    383 |        0 |        0
554.81/554.95	c  554s |      19 |   570167 |   485382 |     2164    384 |        0 |        0
556.81/556.96	c  556s |      19 |   572083 |   487082 |     2164    386 |        0 |        0
558.82/558.98	c  558s |      19 |   574173 |   488982 |     2164    387 |        0 |        0
560.92/561.02	c  560s |      19 |   576209 |   490782 |     2164    388 |        0 |        0
562.91/563.03	c  562s |      19 |   578374 |   492682 |     2164    389 |        0 |        0
565.01/565.13	c  565s |      19 |   580463 |   494582 |     2164    390 |        0 |        0
567.11/567.21	c  567s |      19 |   582335 |   496282 |     2164    392 |        0 |        0
569.11/569.26	c  569s |      19 |   584879 |   498482 |     2164    393 |        0 |        0
571.21/571.35	c  571s |      19 |   587222 |   500582 |     2164    394 |        0 |        0
573.20/573.36	c  573s |      19 |   589466 |   502582 |     2164    396 |        0 |        0
575.31/575.45	c  575s |      19 |   591813 |   504682 |     2164    397 |        0 |        0
577.30/577.46	c  577s |      19 |   593906 |   506582 |     2164    398 |        0 |        0
579.40/579.50	c  579s |      19 |   596090 |   508582 |     2164    400 |        0 |        0
581.40/581.56	c  581s |      19 |   598390 |   510582 |     2164    401 |        0 |        0
583.50/583.64	c  583s |      19 |   600569 |   512482 |     2164    402 |        0 |        0
585.50/585.68	c  585s |      19 |   602703 |   514382 |     2164    403 |        0 |        0
587.60/587.77	c  587s |      19 |   604706 |   516182 |     2164    405 |        0 |        0
589.70/589.83	c  589s |      19 |   606587 |   517882 |     2164    406 |        0 |        0
591.71/591.85	c  591s |      19 |   608603 |   519682 |     2164    407 |        0 |        0
593.70/593.86	c  593s |      19 |   610610 |   521482 |     2164    408 |        0 |        0
595.80/595.98	c  595s |      19 |   612835 |   523382 |     2164    409 |        0 |        0
597.90/598.03	c  597s |      19 |   614776 |   525082 |     2164    410 |        0 |        0
599.90/600.09	c  600s |      19 |   616839 |   526882 |     2164    412 |        0 |        0
602.10/602.20	c  602s |      19 |   618702 |   528382 |     2164    413 |        0 |        0
604.10/604.24	c  604s |      19 |   620548 |   529982 |     2164    414 |        0 |        0
606.20/606.38	c  606s |      19 |   622069 |   531382 |     2164    415 |        0 |        0
608.31/608.47	c  608s |      19 |   624201 |   533182 |     2164    416 |        0 |        0
610.30/610.49	c  610s |      19 |   626172 |   534982 |     2164    417 |        0 |        0
612.50/612.62	c  612s |      19 |   628077 |   536682 |     2164    418 |        0 |        0
614.60/614.72	c  614s |      19 |   629958 |   538382 |     2164    419 |        0 |        0
616.60/616.76	c  616s |      19 |   631831 |   540082 |     2164    420 |        0 |        0
618.60/618.78	c  618s |      19 |   633740 |   541782 |     2164    421 |        0 |        0
620.70/620.89	c  620s |      19 |   635634 |   543482 |     2164    423 |        0 |        0
622.90/623.00	c  622s |      19 |   637774 |   545382 |     2164    424 |        0 |        0
624.90/625.09	c  625s |      19 |   639711 |   547082 |     2164    425 |        0 |        0
627.00/627.20	c  627s |      19 |   641503 |   548682 |     2164    426 |        0 |        0
629.10/629.22	c  629s |      19 |   643477 |   550382 |     2164    427 |        0 |        0
631.20/631.35	c  631s |      19 |   645246 |   551982 |     2164    428 |        0 |        0
633.29/633.41	c  633s |      19 |   647543 |   553982 |     2164    429 |        0 |        0
635.39/635.50	c  635s |      19 |   649668 |   555882 |     2164    431 |        0 |        0
637.39/637.52	c  637s |      19 |   651553 |   557582 |     2164    432 |        0 |        0
639.39/639.56	c  639s |      19 |   653420 |   559282 |     2164    433 |        0 |        0
641.39/641.59	c  641s |      19 |   655404 |   561082 |     2164    434 |        0 |        0
643.50/643.63	c  643s |      19 |   657398 |   562882 |     2164    435 |        0 |        0
645.49/645.65	c  645s |      19 |   658991 |   564282 |     2164    436 |        0 |        0
647.49/647.69	c  647s |      19 |   661182 |   566182 |     2164    437 |        0 |        0
649.59/649.72	c  649s |      19 |   663212 |   567982 |     2164    439 |        0 |        0
651.69/651.82	c  651s |      19 |   665179 |   569782 |     2164    440 |        0 |        0
653.69/653.85	c  653s |      19 |   667057 |   571482 |     2164    441 |        0 |        0
655.79/655.98	c  655s |      19 |   668958 |   573182 |     2164    442 |        0 |        0
657.89/658.03	c  657s |      19 |   670855 |   574882 |     2164    443 |        0 |        0
659.90/660.07	c  660s |      19 |   672725 |   576582 |     2164    444 |        0 |        0
661.99/662.10	c  662s |      19 |   674763 |   578382 |     2164    445 |        0 |        0
663.99/664.11	c  664s |      19 |   676627 |   580082 |     2164    447 |        0 |        0
665.99/666.19	c  666s |      19 |   678597 |   581882 |     2164    448 |        0 |        0
668.09/668.29	c  668s |      19 |   680490 |   583582 |     2164    449 |        0 |        0
670.19/670.31	c  670s |      19 |   682473 |   585382 |     2164    450 |        0 |        0
672.29/672.41	c  672s |      19 |   684489 |   587182 |     2164    451 |        0 |        0
674.29/674.43	c  674s |      19 |   686382 |   588882 |     2164    452 |        0 |        0
676.29/676.49	c  676s |      19 |   688294 |   590582 |     2164    453 |        0 |        0
678.39/678.54	c  678s |      19 |   690176 |   592282 |     2164    455 |        0 |        0
680.49/680.60	c  680s |      19 |   692373 |   594182 |     2164    456 |        0 |        0
682.49/682.62	c  682s |      19 |   694162 |   595782 |     2164    457 |        0 |        0
684.48/684.62	c  684s |      19 |   695939 |   597382 |     2164    458 |        0 |        0
686.58/686.71	c  686s |      19 |   698122 |   599282 |     2164    459 |        0 |        0
688.68/688.80	c  688s |      19 |   700023 |   600982 |     2164    460 |        0 |        0
690.69/690.89	c  690s |      19 |   701939 |   602682 |     2164    461 |        0 |        0
692.89/693.03	c  692s |      19 |   703784 |   604382 |     2164    463 |        0 |        0
694.98/695.10	c  695s |      19 |   705553 |   605982 |     2164    464 |        0 |        0
696.98/697.11	c  697s |      19 |   707706 |   607882 |     2164    465 |        0 |        0
698.98/699.14	c  699s |      19 |   709488 |   609482 |     2164    466 |        0 |        0
700.98/701.18	c  701s |      19 |   711147 |   610982 |     2164    467 |        0 |        0
703.08/703.27	c  703s |      19 |   713830 |   613282 |     2164    468 |        0 |        0
705.18/705.35	c  705s |      19 |   716425 |   615582 |     2164    470 |        0 |        0
707.29/707.44	c  707s |      19 |   718608 |   617482 |     2164    471 |        0 |        0
709.28/709.44	c  709s |      19 |   720608 |   619282 |     2164    472 |        0 |        0
711.28/711.44	c  711s |      19 |   722600 |   621082 |     2164    473 |        0 |        0
713.28/713.46	c  713s |      19 |   724652 |   622882 |     2164    475 |        0 |        0
715.38/715.52	c  715s |      19 |   726844 |   624882 |     2164    476 |        0 |        0
717.38/717.59	c  717s |      19 |   728699 |   626582 |     2164    477 |        0 |        0
719.48/719.60	c  719s |      19 |   730836 |   628482 |     2164    478 |        0 |        0
721.49/721.67	c  721s |      19 |   732816 |   630282 |     2164    480 |        0 |        0
723.58/723.78	c  723s |      19 |   735065 |   632282 |     2164    481 |        0 |        0
725.68/725.84	c  725s |      19 |   737149 |   634182 |     2164    482 |        0 |        0
727.68/727.84	c  727s |      19 |   739124 |   635982 |     2164    483 |        0 |        0
729.78/729.94	c  729s |      19 |   741202 |   637882 |     2164    484 |        0 |        0
731.78/731.96	c  731s |      19 |   743116 |   639682 |     2164    486 |        0 |        0
733.78/733.99	c  733s |      19 |   744968 |   641382 |     2164    487 |        0 |        0
735.88/736.02	c  735s |      19 |   746972 |   643182 |     2164    488 |        0 |        0
737.88/738.03	c  737s |      19 |   748836 |   644882 |     2164    489 |        0 |        0
739.88/740.05	c  739s |      19 |   750716 |   646582 |     2164    490 |        0 |        0
741.98/742.12	c  742s |      19 |   752846 |   648482 |     2164    491 |        0 |        0
743.97/744.15	c  744s |      19 |   754839 |   650282 |     2164    493 |        0 |        0
745.97/746.17	c  746s |      19 |   756361 |   651682 |     2164    494 |        0 |        0
748.07/748.22	c  748s |      19 |   758439 |   653482 |     2164    495 |        0 |        0
750.08/750.25	c  750s |      19 |   760278 |   655182 |     2164    496 |        0 |        0
752.07/752.25	c  752s |      19 |   762331 |   656982 |     2164    497 |        0 |        0
754.17/754.32	c  754s |      19 |   764302 |   658782 |     2164    498 |        0 |        0
756.17/756.38	c  756s |      19 |   765950 |   660282 |     2164    499 |        0 |        0
758.27/758.44	c  758s |      19 |   767599 |   661782 |     2164    500 |        0 |        0
760.37/760.52	c  760s |      19 |   769521 |   663482 |     2381    501 |        0 |        0
762.37/762.52	c  762s |      19 |   771101 |   664882 |     2381    502 |        0 |        0
764.37/764.56	c  764s |      19 |   772946 |   666582 |     2381    503 |        0 |        0
764.67/764.82	c  764s |      20 |   773213 |   666827 |     2381    503 |        0 |        0
766.67/766.83	c  766s |      20 |   776145 |   668927 |     2381    505 |        0 |        0
768.66/768.90	c  768s |      20 |   778029 |   670627 |     2381    506 |        0 |        0
770.76/770.99	c  770s |      20 |   780093 |   672427 |     2381    507 |        0 |        0
772.86/773.02	c  772s |      20 |   782115 |   674227 |     2381    508 |        0 |        0
774.86/775.08	c  775s |      20 |   783976 |   675827 |     2381    509 |        0 |        0
776.96/777.17	c  777s |      20 |   786053 |   677627 |     2381    510 |        0 |        0
779.05/779.26	c  779s |      20 |   788086 |   679427 |     2381    511 |        0 |        0
781.15/781.37	c  781s |      20 |   790096 |   681227 |     2381    512 |        0 |        0
783.16/783.38	c  783s |      20 |   792003 |   682927 |     2381    513 |        0 |        0
785.26/785.44	c  785s |      20 |   794118 |   684727 |     2381    514 |        0 |        0
787.35/787.55	c  787s |      20 |   795984 |   686427 |     2381    515 |        0 |        0
789.45/789.62	c  789s |      20 |   797929 |   688127 |     2381    516 |        0 |        0
791.44/791.62	c  791s |      20 |   799835 |   689827 |     2381    517 |        0 |        0
793.44/793.68	c  793s |      20 |   801610 |   691427 |     2381    518 |        0 |        0
795.55/795.74	c  795s |      20 |   803277 |   692927 |     2381    519 |        0 |        0
797.55/797.77	c  797s |      20 |   805103 |   694527 |     2381    520 |        0 |        0
799.66/799.82	c  799s |      20 |   806901 |   696127 |     2381    521 |        0 |        0
801.65/801.88	c  801s |      20 |   808557 |   697627 |     2381    522 |        0 |        0
803.75/803.97	c  803s |      20 |   810539 |   699327 |     2381    523 |        0 |        0
805.85/806.00	c  805s |      20 |   812456 |   701027 |     2381    524 |        0 |        0
807.95/808.10	c  808s |      20 |   814475 |   702827 |     2381    525 |        0 |        0
809.94/810.19	c  810s |      20 |   816211 |   704427 |     2381    526 |        0 |        0
812.04/812.25	c  812s |      20 |   817742 |   705827 |     2381    527 |        0 |        0
814.14/814.38	c  814s |      20 |   819494 |   707427 |     2381    528 |        0 |        0
816.24/816.46	c  816s |      20 |   821246 |   709027 |     2381    529 |        0 |        0
818.25/818.46	c  818s |      20 |   823314 |   710827 |     2381    530 |        0 |        0
820.44/820.61	c  820s |      20 |   825155 |   712427 |     2381    531 |        0 |        0
822.44/822.67	c  822s |      20 |   826820 |   713927 |     2381    532 |        0 |        0
824.53/824.77	c  824s |      20 |   828520 |   715427 |     2381    533 |        0 |        0
826.63/826.88	c  826s |      20 |   830055 |   716827 |     2381    534 |        0 |        0
828.73/828.95	c  828s |      20 |   831608 |   718227 |     2381    535 |        0 |        0
830.83/831.03	c  830s |      20 |   833379 |   719827 |     2381    536 |        0 |        0
832.93/833.14	c  833s |      20 |   835013 |   721327 |     2381    536 |        0 |        0
834.93/835.18	c  835s |      20 |   836833 |   722927 |     2381    537 |        0 |        0
837.04/837.24	c  837s |      20 |   838711 |   724627 |     2381    538 |        0 |        0
839.13/839.33	c  839s |      20 |   840405 |   726127 |     2381    539 |        0 |        0
841.12/841.38	c  841s |      20 |   841927 |   727527 |     2381    540 |        0 |        0
843.32/843.50	c  843s |      20 |   843511 |   728927 |     2381    541 |        0 |        0
845.32/845.59	c  845s |      20 |   845166 |   730427 |     2381    542 |        0 |        0
847.52/847.76	c  847s |      20 |   846615 |   731727 |     2381    543 |        0 |        0
849.52/849.77	c  849s |      20 |   848554 |   733427 |     2381    544 |        0 |        0
851.62/851.87	c  851s |      20 |   850182 |   734927 |     2381    545 |        0 |        0
853.82/854.09	c  854s |      20 |   851591 |   736227 |     2381    546 |        0 |        0
855.92/856.15	c  856s |      20 |   853102 |   737627 |     2381    546 |        0 |        0
857.93/858.15	c  858s |      20 |   854545 |   738927 |     2381    547 |        0 |        0
860.02/860.24	c  860s |      20 |   856206 |   740427 |     2381    548 |        0 |        0
862.11/862.34	c  862s |      20 |   858075 |   742127 |     2381    549 |        0 |        0
864.21/864.43	c  864s |      20 |   859844 |   743727 |     2381    550 |        0 |        0
866.21/866.48	c  866s |      20 |   861384 |   745127 |     2381    551 |        0 |        0
868.31/868.59	c  868s |      20 |   862772 |   746427 |     2381    552 |        0 |        0
870.41/870.70	c  870s |      20 |   864313 |   747827 |     2381    553 |        0 |        0
872.51/872.70	c  872s |      20 |   866224 |   749527 |     2381    554 |        0 |        0
874.51/874.76	c  874s |      20 |   867956 |   751127 |     2381    555 |        0 |        0
876.61/876.89	c  876s |      20 |   869572 |   752627 |     2381    556 |        0 |        0
878.71/878.94	c  878s |      20 |   871180 |   754127 |     2381    556 |        0 |        0
880.80/881.05	c  880s |      20 |   872828 |   755627 |     2381    557 |        0 |        0
882.80/883.07	c  883s |      20 |   874127 |   756827 |     2381    558 |        0 |        0
885.00/885.20	c  885s |      20 |   876060 |   758527 |     2381    559 |        0 |        0
887.10/887.33	c  887s |      20 |   877583 |   759927 |     2381    560 |        0 |        0
889.10/889.38	c  889s |      20 |   879115 |   761327 |     2381    561 |        0 |        0
891.20/891.44	c  891s |      20 |   880962 |   762927 |     2381    562 |        0 |        0
893.30/893.54	c  893s |      20 |   882522 |   764327 |     2381    563 |        0 |        0
895.39/895.64	c  895s |      20 |   884086 |   765727 |     2381    564 |        0 |        0
897.50/897.77	c  897s |      20 |   885484 |   767027 |     2381    564 |        0 |        0
899.60/899.82	c  899s |      20 |   887195 |   768527 |     2381    565 |        0 |        0
901.59/901.83	c  901s |      20 |   888986 |   770127 |     2381    566 |        0 |        0
903.59/903.84	c  903s |      20 |   890670 |   771627 |     2381    567 |        0 |        0
905.69/905.98	c  905s |      20 |   892197 |   773027 |     2381    568 |        0 |        0
907.79/908.01	c  907s |      20 |   893889 |   774527 |     2381    569 |        0 |        0
909.89/910.10	c  910s |      20 |   895522 |   776027 |     2381    570 |        0 |        0
911.89/912.14	c  912s |      20 |   897043 |   777427 |     2381    571 |        0 |        0
913.99/914.24	c  914s |      20 |   898705 |   778927 |     2381    572 |        0 |        0
916.09/916.30	c  916s |      20 |   900210 |   780327 |     2381    572 |        0 |        0
918.18/918.43	c  918s |      20 |   901846 |   781827 |     2381    573 |        0 |        0
920.18/920.45	c  920s |      20 |   903386 |   783227 |     2381    574 |        0 |        0
922.18/922.49	c  922s |      20 |   904796 |   784527 |     2381    575 |        0 |        0
924.38/924.61	c  924s |      20 |   905995 |   785627 |     2381    576 |        0 |        0
926.38/926.65	c  926s |      20 |   908050 |   787427 |     2381    577 |        0 |        0
928.38/928.65	c  928s |      20 |   909817 |   789027 |     2381    578 |        0 |        0
930.48/930.73	c  930s |      20 |   911379 |   790427 |     2381    579 |        0 |        0
932.47/932.75	c  932s |      20 |   912939 |   791827 |     2381    579 |        0 |        0
934.47/934.77	c  934s |      20 |   914335 |   793127 |     2381    580 |        0 |        0
936.47/936.78	c  936s |      20 |   915635 |   794327 |     2381    581 |        0 |        0
938.47/938.79	c  938s |      20 |   917081 |   795627 |     2381    582 |        0 |        0
940.67/940.95	c  940s |      20 |   918491 |   796927 |     2381    583 |        0 |        0
942.77/943.00	c  942s |      20 |   920021 |   798327 |     2381    583 |        0 |        0
944.78/945.09	c  945s |      20 |   921640 |   799827 |     2381    584 |        0 |        0
946.88/947.11	c  947s |      20 |   923261 |   801327 |     2381    585 |        0 |        0
948.97/949.22	c  949s |      20 |   924812 |   802727 |     2381    586 |        0 |        0
951.06/951.33	c  951s |      20 |   926224 |   804027 |     2381    587 |        0 |        0
953.16/953.41	c  953s |      20 |   927506 |   805227 |     2381    588 |        0 |        0
955.16/955.43	c  955s |      20 |   928929 |   806527 |     2381    588 |        0 |        0
957.26/957.51	c  957s |      20 |   930389 |   807827 |     2381    589 |        0 |        0
959.36/959.62	c  959s |      20 |   931780 |   809127 |     2381    590 |        0 |        0
961.46/961.70	c  961s |      20 |   933183 |   810427 |     2381    591 |        0 |        0
963.47/963.74	c  963s |      20 |   935097 |   812127 |     2381    592 |        0 |        0
965.46/965.79	c  965s |      20 |   936879 |   813727 |     2381    593 |        0 |        0
967.56/967.84	c  967s |      20 |   938426 |   815127 |     2381    594 |        0 |        0
969.55/969.88	c  969s |      20 |   940067 |   816527 |     2381    594 |        0 |        0
971.65/971.96	c  971s |      20 |   941623 |   817927 |     2381    595 |        0 |        0
973.65/973.98	c  973s |      20 |   943071 |   819227 |     2381    596 |        0 |        0
975.75/976.07	c  976s |      20 |   944850 |   820827 |     2381    597 |        0 |        0
977.85/978.17	c  978s |      20 |   946499 |   822327 |     2381    598 |        0 |        0
979.86/980.17	c  980s |      20 |   948173 |   823827 |     2381    599 |        0 |        0
981.95/982.27	c  982s |      20 |   949858 |   825327 |     2381    600 |        0 |        0
984.15/984.40	c  984s |      20 |   951612 |   826927 |     2381    601 |        0 |        0
986.25/986.51	c  986s |      20 |   953256 |   828427 |     2381    602 |        0 |        0
988.35/988.61	c  988s |      20 |   954921 |   829927 |     2381    603 |        0 |        0
990.35/990.65	c  990s |      20 |   956443 |   831327 |     2381    603 |        0 |        0
992.35/992.66	c  992s |      20 |   957890 |   832627 |     2381    604 |        0 |        0
994.35/994.69	c  994s |      20 |   959306 |   833927 |     2381    605 |        0 |        0
996.46/996.77	c  996s |      20 |   960715 |   835227 |     2381    606 |        0 |        0
998.56/998.81	c  998s |      20 |   962113 |   836527 |     2381    607 |        0 |        0
1000.55/1000.87	c 1000s |      20 |   963569 |   837827 |     2381    607 |        0 |        0
1002.75/1003.01	c 1002s |      20 |   965001 |   839127 |     2381    608 |        0 |        0
1004.85/1005.12	c 1005s |      20 |   967107 |   840827 |     2381    609 |        0 |        0
1006.94/1007.24	c 1007s |      20 |   968943 |   842427 |     2381    610 |        0 |        0
1008.94/1009.26	c 1009s |      20 |   970502 |   843827 |     2381    611 |        0 |        0
1011.04/1011.32	c 1011s |      20 |   972194 |   845327 |     2381    612 |        0 |        0
1013.04/1013.38	c 1013s |      20 |   973837 |   846827 |     2381    613 |        0 |        0
1015.15/1015.45	c 1015s |      20 |   975397 |   848227 |     2381    614 |        0 |        0
1017.25/1017.52	c 1017s |      20 |   976950 |   849627 |     2381    615 |        0 |        0
1019.34/1019.61	c 1019s |      20 |   978654 |   851127 |     2381    616 |        0 |        0
1021.54/1021.81	c 1021s |      20 |   980475 |   852727 |     2381    617 |        0 |        0
1023.54/1023.84	c 1023s |      20 |   982044 |   854127 |     2381    617 |        0 |        0
1025.64/1025.95	c 1025s |      20 |   983807 |   855727 |     2381    618 |        0 |        0
1027.64/1027.95	c 1027s |      20 |   985237 |   857027 |     2381    619 |        0 |        0
1029.63/1029.97	c 1029s |      20 |   986824 |   858427 |     2381    620 |        0 |        0
1031.64/1031.97	c 1031s |      20 |   988388 |   859827 |     2381    621 |        0 |        0
1033.74/1034.08	c 1034s |      20 |   989956 |   861227 |     2381    622 |        0 |        0
1035.83/1036.11	c 1036s |      20 |   991497 |   862627 |     2381    623 |        0 |        0
1037.83/1038.16	c 1038s |      20 |   993038 |   864027 |     2381    623 |        0 |        0
1039.93/1040.24	c 1040s |      20 |   994452 |   865327 |     2381    624 |        0 |        0
1042.03/1042.32	c 1042s |      20 |   995868 |   866627 |     2381    625 |        0 |        0
1044.03/1044.37	c 1044s |      20 |   997272 |   867927 |     2381    626 |        0 |        0
1046.33/1046.60	c 1046s |      20 |   998586 |   869127 |     2381    627 |        0 |        0
1048.33/1048.67	c 1048s |      20 |  1000143 |   870527 |     2381    627 |        0 |        0
1050.52/1050.83	c 1050s |      20 |  1001676 |   871927 |     2381    628 |        0 |        0
1052.63/1052.90	c 1052s |      20 |  1002994 |   873127 |     2381    629 |        0 |        0
1054.63/1054.96	c 1054s |      20 |  1004524 |   874527 |     2381    630 |        0 |        0
1056.72/1057.06	c 1057s |      20 |  1006083 |   875927 |     2381    631 |        0 |        0
1058.82/1059.17	c 1059s |      20 |  1007386 |   877127 |     2381    631 |        0 |        0
1060.92/1061.23	c 1061s |      20 |  1008590 |   878227 |     2381    632 |        0 |        0
1063.02/1063.37	c 1063s |      20 |  1009935 |   879427 |     2381    633 |        0 |        0
1065.22/1065.50	c 1065s |      20 |  1011375 |   880727 |     2381    634 |        0 |        0
1067.42/1067.71	c 1067s |      20 |  1012533 |   881827 |     2381    634 |        0 |        0
1069.41/1069.74	c 1069s |      20 |  1013876 |   883027 |     2381    635 |        0 |        0
1071.51/1071.83	c 1071s |      20 |  1015433 |   884427 |     2381    636 |        0 |        0
1073.61/1073.91	c 1073s |      20 |  1016737 |   885627 |     2381    637 |        0 |        0
1075.71/1076.00	c 1075s |      20 |  1017921 |   886727 |     2381    637 |        0 |        0
1077.82/1078.11	c 1078s |      20 |  1019883 |   888327 |     2381    638 |        0 |        0
1079.91/1080.23	c 1080s |      20 |  1021664 |   889927 |     2381    639 |        0 |        0
1081.90/1082.27	c 1082s |      20 |  1023352 |   891427 |     2381    640 |        0 |        0
1084.00/1084.30	c 1084s |      20 |  1024887 |   892827 |     2381    641 |        0 |        0
1086.00/1086.35	c 1086s |      20 |  1026313 |   894127 |     2381    642 |        0 |        0
1088.10/1088.45	c 1088s |      20 |  1027732 |   895427 |     2381    643 |        0 |        0
1090.20/1090.59	c 1090s |      20 |  1029351 |   896927 |     2381    643 |        0 |        0
1092.40/1092.75	c 1092s |      20 |  1030887 |   898327 |     2381    644 |        0 |        0
1094.50/1094.82	c 1094s |      20 |  1032489 |   899727 |     2381    645 |        0 |        0
1096.51/1096.82	c 1096s |      20 |  1034144 |   901227 |     2381    646 |        0 |        0
1098.61/1098.92	c 1098s |      20 |  1035582 |   902527 |     2381    647 |        0 |        0
1100.60/1100.96	c 1100s |      20 |  1037237 |   904027 |     2381    648 |        0 |        0
1102.70/1103.00	c 1102s |      20 |  1038649 |   905327 |     2381    649 |        0 |        0
1104.80/1105.15	c 1105s |      20 |  1040213 |   906727 |     2381    649 |        0 |        0
1106.80/1107.19	c 1107s |      20 |  1041767 |   908127 |     2381    650 |        0 |        0
1108.99/1109.33	c 1109s |      20 |  1043197 |   909427 |     2381    651 |        0 |        0
1110.99/1111.34	c 1111s |      20 |  1044635 |   910727 |     2381    652 |        0 |        0
1113.09/1113.40	c 1113s |      20 |  1046108 |   912027 |     2381    653 |        0 |        0
1115.09/1115.41	c 1115s |      20 |  1047537 |   913327 |     2381    653 |        0 |        0
1117.19/1117.57	c 1117s |      20 |  1049050 |   914727 |     2381    654 |        0 |        0
1119.18/1119.58	c 1119s |      20 |  1050344 |   915927 |     2381    655 |        0 |        0
1121.38/1121.76	c 1121s |      20 |  1051662 |   917127 |     2381    656 |        0 |        0
1123.48/1123.87	c 1123s |      20 |  1053126 |   918427 |     2381    657 |        0 |        0
1125.58/1125.90	c 1125s |      20 |  1054720 |   919827 |     2381    657 |        0 |        0
1127.58/1127.94	c 1127s |      20 |  1056197 |   921127 |     2381    658 |        0 |        0
1129.58/1129.96	c 1129s |      20 |  1057762 |   922527 |     2381    659 |        0 |        0
1131.69/1132.07	c 1132s |      20 |  1059298 |   923927 |     2381    660 |        0 |        0
1133.68/1134.10	c 1134s |      20 |  1060866 |   925327 |     2381    661 |        0 |        0
1135.78/1136.12	c 1136s |      20 |  1062385 |   926727 |     2381    662 |        0 |        0
1137.78/1138.19	c 1138s |      20 |  1063807 |   928027 |     2381    662 |        0 |        0
1139.87/1140.27	c 1140s |      20 |  1065212 |   929327 |     2381    663 |        0 |        0
1141.98/1142.35	c 1142s |      20 |  1066673 |   930627 |     2381    664 |        0 |        0
1144.07/1144.46	c 1144s |      20 |  1068087 |   931927 |     2381    665 |        0 |        0
1146.17/1146.57	c 1146s |      20 |  1069522 |   933227 |     2381    666 |        0 |        0
1148.37/1148.71	c 1148s |      20 |  1070824 |   934427 |     2381    666 |        0 |        0
1150.47/1150.83	c 1150s |      20 |  1072222 |   935727 |     2381    667 |        0 |        0
1152.67/1153.00	c 1152s |      20 |  1073660 |   937027 |     2381    668 |        0 |        0
1154.68/1155.01	c 1154s |      20 |  1075080 |   938327 |     2381    669 |        0 |        0
1156.88/1157.22	c 1157s |      20 |  1076601 |   939727 |     2381    670 |        0 |        0
1158.97/1159.39	c 1159s |      20 |  1078114 |   941127 |     2381    670 |        0 |        0
1161.06/1161.47	c 1161s |      20 |  1079540 |   942427 |     2381    671 |        0 |        0
1163.06/1163.48	c 1163s |      20 |  1081203 |   943927 |     2381    672 |        0 |        0
1165.16/1165.52	c 1165s |      20 |  1082597 |   945227 |     2381    673 |        0 |        0
1167.26/1167.68	c 1167s |      20 |  1084006 |   946527 |     2381    674 |        0 |        0
1169.36/1169.76	c 1169s |      20 |  1085409 |   947827 |     2381    674 |        0 |        0
1171.46/1171.82	c 1171s |      20 |  1086849 |   949127 |     2381    675 |        0 |        0
1173.47/1173.89	c 1173s |      20 |  1088169 |   950327 |     2381    676 |        0 |        0
1175.67/1176.01	c 1175s |      20 |  1089460 |   951527 |     2381    677 |        0 |        0
1177.77/1178.12	c 1178s |      20 |  1090862 |   952827 |     2381    677 |        0 |        0
1179.86/1180.27	c 1180s |      20 |  1092304 |   954127 |     2381    678 |        0 |        0
1181.96/1182.37	c 1182s |      20 |  1093624 |   955327 |     2381    679 |        0 |        0
1184.06/1184.49	c 1184s |      20 |  1095295 |   956827 |     2381    680 |        0 |        0
1186.15/1186.53	c 1186s |      20 |  1096718 |   958127 |     2381    681 |        0 |        0
1188.15/1188.59	c 1188s |      20 |  1098131 |   959427 |     2381    681 |        0 |        0
1190.26/1190.64	c 1190s |      20 |  1099556 |   960727 |     2381    682 |        0 |        0
1192.26/1192.65	c 1192s |      20 |  1100872 |   961927 |     2381    683 |        0 |        0
1194.36/1194.73	c 1194s |      20 |  1101961 |   962927 |     2381    684 |        0 |        0
1196.36/1196.74	c 1196s |      20 |  1103395 |   964227 |     2381    684 |        0 |        0
1198.36/1198.77	c 1198s |      20 |  1104700 |   965427 |     2381    685 |        0 |        0
1200.45/1200.84	c 1200s |      20 |  1106333 |   966827 |     2381    686 |        0 |        0
1202.45/1202.88	c 1202s |      20 |  1108146 |   968427 |     2381    687 |        0 |        0
1204.55/1204.98	c 1204s |      20 |  1109857 |   969927 |     2381    688 |        0 |        0
1206.65/1207.05	c 1206s |      20 |  1111425 |   971327 |     2381    689 |        0 |        0
1208.66/1209.09	c 1209s |      20 |  1112838 |   972627 |     2381    690 |        0 |        0
1210.75/1211.15	c 1211s |      20 |  1114399 |   974027 |     2381    690 |        0 |        0
1212.84/1213.23	c 1213s |      20 |  1115917 |   975427 |     2381    691 |        0 |        0
1214.94/1215.31	c 1215s |      20 |  1117342 |   976727 |     2381    692 |        0 |        0
1216.94/1217.39	c 1217s |      20 |  1118765 |   978027 |     2381    693 |        0 |        0
1219.04/1219.40	c 1219s |      20 |  1120487 |   979527 |     2381    694 |        0 |        0
1221.14/1221.59	c 1221s |      20 |  1121909 |   980827 |     2381    695 |        0 |        0
1223.34/1223.72	c 1223s |      20 |  1123433 |   982227 |     2381    695 |        0 |        0
1225.44/1225.85	c 1225s |      20 |  1125024 |   983627 |     2381    696 |        0 |        0
1227.54/1227.94	c 1227s |      20 |  1126481 |   984927 |     2381    697 |        0 |        0
1229.63/1230.08	c 1230s |      20 |  1128010 |   986327 |     2381    698 |        0 |        0
1231.74/1232.19	c 1232s |      20 |  1129567 |   987727 |     2381    699 |        0 |        0
1233.84/1234.27	c 1234s |      20 |  1130989 |   989027 |     2381    700 |        0 |        0
1235.83/1236.29	c 1236s |      20 |  1132283 |   990227 |     2381    700 |        0 |        0
1238.03/1238.41	c 1238s |      20 |  1133699 |   991527 |     2381    701 |        0 |        0
1240.13/1240.58	c 1240s |      20 |  1135117 |   992827 |     2381    702 |        0 |        0
1242.23/1242.61	c 1242s |      20 |  1136313 |   993927 |     2620    702 |        0 |        0
1244.33/1244.74	c 1244s |      20 |  1137637 |   995127 |     2620    703 |        0 |        0
1246.33/1246.76	c 1246s |      20 |  1139028 |   996427 |     2620    704 |        0 |        0
1248.43/1248.81	c 1248s |      20 |  1140315 |   997627 |     2620    704 |        0 |        0
1250.43/1250.84	c 1250s |      20 |  1141481 |   998727 |     2620    705 |        0 |        0
1252.53/1252.99	c 1252s |      20 |  1142543 |   999727 |     2620    706 |        0 |        0
1253.82/1254.21	c 1254s |      21 |  1143195 |  1000345 |     2620    706 |        0 |        0
1255.93/1256.37	c 1256s |      21 |  1146342 |  1002545 |     2620    708 |        0 |        0
1258.03/1258.45	c 1258s |      21 |  1148340 |  1004345 |     2620    709 |        0 |        0
1260.11/1260.60	c 1260s |      21 |  1150329 |  1006145 |     2620    710 |        0 |        0
1262.21/1262.66	c 1262s |      21 |  1152255 |  1007845 |     2620    711 |        0 |        0
1264.31/1264.71	c 1264s |      21 |  1154185 |  1009545 |     2620    711 |        0 |        0
1266.41/1266.82	c 1266s |      21 |  1156015 |  1011145 |     2620    712 |        0 |        0
1268.51/1268.90	c 1268s |      21 |  1157806 |  1012745 |     2620    713 |        0 |        0
1270.51/1270.96	c 1270s |      21 |  1159618 |  1014345 |     2620    714 |        0 |        0
1272.71/1273.11	c 1273s |      21 |  1161262 |  1015845 |     2620    715 |        0 |        0
1274.81/1275.21	c 1275s |      21 |  1163021 |  1017445 |     2620    716 |        0 |        0
1276.82/1277.27	c 1277s |      21 |  1164557 |  1018845 |     2620    717 |        0 |        0
1278.92/1279.32	c 1279s |      21 |  1166335 |  1020445 |     2620    718 |        0 |        0
1280.90/1281.33	c 1281s |      21 |  1168001 |  1021945 |     2620    719 |        0 |        0
1283.00/1283.42	c 1283s |      21 |  1169670 |  1023445 |     2620    719 |        0 |        0
1285.00/1285.46	c 1285s |      21 |  1171091 |  1024745 |     2620    720 |        0 |        0
1287.10/1287.50	c 1287s |      21 |  1173002 |  1026445 |     2620    721 |        0 |        0
1289.10/1289.57	c 1289s |      21 |  1174501 |  1027845 |     2620    722 |        0 |        0
1291.29/1291.71	c 1291s |      21 |  1175921 |  1029145 |     2620    723 |        0 |        0
1293.30/1293.78	c 1293s |      21 |  1177796 |  1030745 |     2620    723 |        0 |        0
1295.40/1295.81	c 1295s |      21 |  1179460 |  1032245 |     2620    724 |        0 |        0
1297.39/1297.84	c 1297s |      21 |  1181080 |  1033745 |     2620    725 |        0 |        0
1299.49/1299.96	c 1299s |      21 |  1182907 |  1035345 |     2620    726 |        0 |        0
1301.59/1302.06	c 1302s |      21 |  1184618 |  1036845 |     2620    727 |        0 |        0
1303.69/1304.14	c 1304s |      21 |  1186339 |  1038345 |     2620    728 |        0 |        0
1305.69/1306.17	c 1306s |      21 |  1188033 |  1039845 |     2620    729 |        0 |        0
1307.79/1308.20	c 1308s |      21 |  1189764 |  1041345 |     2620    730 |        0 |        0
1309.79/1310.28	c 1310s |      21 |  1191615 |  1042945 |     2620    730 |        0 |        0
1311.99/1312.42	c 1312s |      21 |  1193438 |  1044545 |     2620    731 |        0 |        0
1313.98/1314.48	c 1314s |      21 |  1195022 |  1045945 |     2620    732 |        0 |        0
1316.08/1316.51	c 1316s |      21 |  1196736 |  1047445 |     2620    733 |        0 |        0
1318.08/1318.52	c 1318s |      21 |  1198283 |  1048845 |     2620    734 |        0 |        0
1320.08/1320.58	c 1320s |      21 |  1199887 |  1050245 |     2620    735 |        0 |        0
1322.08/1322.59	c 1322s |      21 |  1201329 |  1051545 |     2620    735 |        0 |        0
1324.18/1324.68	c 1324s |      21 |  1203038 |  1053045 |     2620    736 |        0 |        0
1326.28/1326.76	c 1326s |      21 |  1204579 |  1054445 |     2620    737 |        0 |        0
1328.28/1328.77	c 1328s |      21 |  1205898 |  1055645 |     2620    738 |        0 |        0
1330.47/1330.91	c 1330s |      21 |  1207565 |  1057145 |     2620    738 |        0 |        0
1332.57/1333.01	c 1332s |      21 |  1209095 |  1058545 |     2620    739 |        0 |        0
1334.57/1335.01	c 1334s |      21 |  1210492 |  1059845 |     2620    740 |        0 |        0
1336.67/1337.11	c 1337s |      21 |  1211942 |  1061145 |     2620    741 |        0 |        0
1338.77/1339.21	c 1339s |      21 |  1213264 |  1062345 |     2620    741 |        0 |        0
1340.77/1341.21	c 1341s |      21 |  1214843 |  1063745 |     2620    742 |        0 |        0
1342.77/1343.24	c 1343s |      21 |  1216558 |  1065245 |     2620    743 |        0 |        0
1344.87/1345.37	c 1345s |      21 |  1218068 |  1066645 |     2620    744 |        0 |        0
1347.07/1347.52	c 1347s |      21 |  1219494 |  1067945 |     2620    745 |        0 |        0
1349.16/1349.61	c 1349s |      21 |  1221030 |  1069345 |     2620    745 |        0 |        0
1351.26/1351.76	c 1351s |      21 |  1222728 |  1070845 |     2620    746 |        0 |        0
1353.36/1353.83	c 1353s |      21 |  1224197 |  1072145 |     2620    747 |        0 |        0
1355.36/1355.88	c 1355s |      21 |  1225534 |  1073345 |     2620    748 |        0 |        0
1357.46/1357.94	c 1357s |      21 |  1226982 |  1074645 |     2620    748 |        0 |        0
1359.55/1360.00	c 1359s |      21 |  1228417 |  1075945 |     2620    749 |        0 |        0
1361.55/1362.06	c 1362s |      21 |  1229891 |  1077245 |     2620    750 |        0 |        0
1363.66/1364.15	c 1364s |      21 |  1231577 |  1078745 |     2620    751 |        0 |        0
1365.76/1366.29	c 1366s |      21 |  1233061 |  1080145 |     2620    752 |        0 |        0
1367.85/1368.38	c 1368s |      21 |  1234595 |  1081545 |     2620    752 |        0 |        0
1369.95/1370.44	c 1370s |      21 |  1235912 |  1082745 |     2620    753 |        0 |        0
1372.05/1372.53	c 1372s |      21 |  1237734 |  1084345 |     2620    754 |        0 |        0
1374.05/1374.56	c 1374s |      21 |  1239172 |  1085645 |     2620    755 |        0 |        0
1376.15/1376.69	c 1376s |      21 |  1240707 |  1087045 |     2620    755 |        0 |        0
1378.25/1378.74	c 1378s |      21 |  1242006 |  1088245 |     2620    756 |        0 |        0
1380.34/1380.85	c 1380s |      21 |  1243331 |  1089445 |     2620    757 |        0 |        0
1382.44/1382.91	c 1382s |      21 |  1244766 |  1090745 |     2620    758 |        0 |        0
1384.55/1385.05	c 1384s |      21 |  1246184 |  1092045 |     2620    758 |        0 |        0
1386.54/1387.07	c 1387s |      21 |  1247630 |  1093345 |     2620    759 |        0 |        0
1388.54/1389.07	c 1389s |      21 |  1249050 |  1094645 |     2620    760 |        0 |        0
1390.54/1391.09	c 1391s |      21 |  1250343 |  1095845 |     2620    760 |        0 |        0
1392.64/1393.15	c 1393s |      21 |  1251668 |  1097045 |     2620    761 |        0 |        0
1394.64/1395.18	c 1395s |      21 |  1252840 |  1098145 |     2620    762 |        0 |        0
1396.84/1397.32	c 1397s |      21 |  1254431 |  1099545 |     2620    763 |        0 |        0
1398.94/1399.47	c 1399s |      21 |  1256109 |  1101045 |     2620    763 |        0 |        0
1401.14/1401.61	c 1401s |      21 |  1257640 |  1102445 |     2620    764 |        0 |        0
1403.14/1403.68	c 1403s |      21 |  1259215 |  1103845 |     2620    765 |        0 |        0
1405.24/1405.80	c 1405s |      21 |  1260760 |  1105245 |     2620    766 |        0 |        0
1407.44/1407.91	c 1407s |      21 |  1262324 |  1106645 |     2620    767 |        0 |        0
1409.53/1410.05	c 1410s |      21 |  1263905 |  1108045 |     2620    767 |        0 |        0
1411.53/1412.08	c 1412s |      21 |  1265394 |  1109345 |     2620    768 |        0 |        0
1413.53/1414.09	c 1414s |      21 |  1266758 |  1110545 |     2620    769 |        0 |        0
1415.73/1416.24	c 1416s |      21 |  1268324 |  1111945 |     2620    770 |        0 |        0
1417.83/1418.30	c 1418s |      21 |  1269648 |  1113145 |     2620    770 |        0 |        0
1419.83/1420.35	c 1420s |      21 |  1271216 |  1114545 |     2620    771 |        0 |        0
1421.84/1422.37	c 1422s |      21 |  1272803 |  1115945 |     2620    772 |        0 |        0
1424.04/1424.52	c 1424s |      21 |  1274376 |  1117345 |     2620    773 |        0 |        0
1426.13/1426.62	c 1426s |      21 |  1275919 |  1118745 |     2620    773 |        0 |        0
1428.13/1428.65	c 1428s |      21 |  1277324 |  1120045 |     2620    774 |        0 |        0
1430.23/1430.77	c 1430s |      21 |  1278874 |  1121445 |     2620    775 |        0 |        0
1432.23/1432.77	c 1432s |      21 |  1280177 |  1122645 |     2620    776 |        0 |        0
1434.43/1434.92	c 1434s |      21 |  1281763 |  1124045 |     2620    776 |        0 |        0
1436.43/1436.93	c 1436s |      21 |  1283303 |  1125345 |     2620    777 |        0 |        0
1438.44/1438.99	c 1438s |      21 |  1284728 |  1126645 |     2620    778 |        0 |        0
1440.54/1441.05	c 1440s |      21 |  1286262 |  1127945 |     2620    779 |        0 |        0
1442.63/1443.11	c 1443s |      21 |  1287768 |  1129245 |     2620    779 |        0 |        0
1444.63/1445.12	c 1445s |      21 |  1289209 |  1130545 |     2620    780 |        0 |        0
1446.63/1447.18	c 1447s |      21 |  1290696 |  1131845 |     2620    781 |        0 |        0
1448.83/1449.33	c 1449s |      21 |  1292121 |  1133145 |     2620    782 |        0 |        0
1450.93/1451.41	c 1451s |      21 |  1293591 |  1134445 |     2620    782 |        0 |        0
1452.93/1453.48	c 1453s |      21 |  1295314 |  1135945 |     2620    783 |        0 |        0
1455.03/1455.52	c 1455s |      21 |  1296922 |  1137345 |     2620    784 |        0 |        0
1457.04/1457.59	c 1457s |      21 |  1298355 |  1138645 |     2620    785 |        0 |        0
1459.13/1459.60	c 1459s |      21 |  1299938 |  1140045 |     2620    785 |        0 |        0
1461.13/1461.67	c 1461s |      21 |  1301500 |  1141445 |     2620    786 |        0 |        0
1463.23/1463.76	c 1463s |      21 |  1302951 |  1142745 |     2620    787 |        0 |        0
1465.23/1465.77	c 1465s |      21 |  1304299 |  1143945 |     2620    788 |        0 |        0
1467.33/1467.82	c 1467s |      21 |  1305722 |  1145245 |     2620    788 |        0 |        0
1469.33/1469.85	c 1469s |      21 |  1307029 |  1146445 |     2620    789 |        0 |        0
1471.33/1471.86	c 1471s |      21 |  1308228 |  1147545 |     2620    790 |        0 |        0
1473.53/1474.02	c 1473s |      21 |  1309628 |  1148845 |     2620    790 |        0 |        0
1475.62/1476.10	c 1476s |      21 |  1310822 |  1149945 |     2620    791 |        0 |        0
1477.62/1478.14	c 1478s |      21 |  1312255 |  1151245 |     2620    792 |        0 |        0
1479.62/1480.18	c 1480s |      21 |  1314067 |  1152845 |     2620    793 |        0 |        0
1481.72/1482.22	c 1482s |      21 |  1315541 |  1154145 |     2620    793 |        0 |        0
1483.82/1484.32	c 1484s |      21 |  1317123 |  1155545 |     2620    794 |        0 |        0
1485.82/1486.36	c 1486s |      21 |  1318682 |  1156945 |     2620    795 |        0 |        0
1487.83/1488.40	c 1488s |      21 |  1320136 |  1158245 |     2620    796 |        0 |        0
1489.92/1490.44	c 1490s |      21 |  1321624 |  1159545 |     2620    797 |        0 |        0
1492.02/1492.55	c 1492s |      21 |  1323179 |  1160945 |     2620    797 |        0 |        0
1494.12/1494.68	c 1494s |      21 |  1324763 |  1162345 |     2620    798 |        0 |        0
1496.32/1496.86	c 1496s |      21 |  1326194 |  1163645 |     2620    799 |        0 |        0
1498.42/1498.92	c 1498s |      21 |  1327616 |  1164945 |     2620    800 |        0 |        0
1500.42/1500.96	c 1500s |      21 |  1329151 |  1166345 |     2620    800 |        0 |        0
1502.52/1503.07	c 1503s |      21 |  1330656 |  1167645 |     2620    801 |        0 |        0
1504.62/1505.10	c 1505s |      21 |  1331875 |  1168745 |     2620    802 |        0 |        0
1506.72/1507.20	c 1507s |      21 |  1333194 |  1169945 |     2620    802 |        0 |        0
1508.83/1509.34	c 1509s |      21 |  1335111 |  1171545 |     2620    803 |        0 |        0
1510.93/1511.44	c 1511s |      21 |  1336992 |  1173145 |     2620    804 |        0 |        0
1513.02/1513.56	c 1513s |      21 |  1338718 |  1174645 |     2620    805 |        0 |        0
1515.02/1515.59	c 1515s |      21 |  1340150 |  1175945 |     2620    806 |        0 |        0
1517.22/1517.72	c 1517s |      21 |  1341601 |  1177245 |     2620    807 |        0 |        0
1519.32/1519.83	c 1519s |      21 |  1343273 |  1178745 |     2620    807 |        0 |        0
1521.32/1521.87	c 1521s |      21 |  1344693 |  1180045 |     2620    808 |        0 |        0
1523.42/1523.90	c 1523s |      21 |  1346283 |  1181445 |     2620    809 |        0 |        0
1525.42/1525.97	c 1525s |      21 |  1347830 |  1182845 |     2620    810 |        0 |        0
1527.52/1528.03	c 1527s |      21 |  1349410 |  1184245 |     2620    811 |        0 |        0
1529.62/1530.11	c 1530s |      21 |  1351098 |  1185745 |     2620    811 |        0 |        0
1531.61/1532.19	c 1532s |      21 |  1352712 |  1187145 |     2620    812 |        0 |        0
1533.81/1534.30	c 1534s |      21 |  1354296 |  1188545 |     2620    813 |        0 |        0
1535.81/1536.33	c 1536s |      21 |  1355930 |  1189945 |     2620    814 |        0 |        0
1537.81/1538.39	c 1538s |      21 |  1357312 |  1191145 |     2620    814 |        0 |        0
1540.01/1540.52	c 1540s |      21 |  1358896 |  1192545 |     2620    815 |        0 |        0
1542.01/1542.52	c 1542s |      21 |  1360347 |  1193845 |     2620    816 |        0 |        0
1544.02/1544.53	c 1544s |      21 |  1361682 |  1195045 |     2620    817 |        0 |        0
1546.01/1546.55	c 1546s |      21 |  1363045 |  1196245 |     2620    817 |        0 |        0
1548.01/1548.58	c 1548s |      21 |  1364728 |  1197745 |     2620    818 |        0 |        0
1550.01/1550.59	c 1550s |      21 |  1366295 |  1199145 |     2620    819 |        0 |        0
1552.11/1552.69	c 1552s |      21 |  1367834 |  1200545 |     2620    820 |        0 |        0
1554.21/1554.73	c 1554s |      21 |  1369406 |  1201945 |     2620    821 |        0 |        0
1556.31/1556.88	c 1556s |      21 |  1371050 |  1203345 |     2620    821 |        0 |        0
1558.41/1558.96	c 1558s |      21 |  1372382 |  1204545 |     2620    822 |        0 |        0
1560.52/1561.05	c 1560s |      21 |  1373846 |  1205845 |     2620    823 |        0 |        0
1562.62/1563.19	c 1563s |      21 |  1375070 |  1206945 |     2620    823 |        0 |        0
1564.82/1565.33	c 1565s |      21 |  1376280 |  1208045 |     2620    824 |        0 |        0
1566.91/1567.48	c 1567s |      21 |  1377419 |  1209045 |     2620    825 |        0 |        0
1569.11/1569.69	c 1569s |      21 |  1378657 |  1210145 |     2620    825 |        0 |        0
1571.31/1571.81	c 1571s |      21 |  1380287 |  1211545 |     2620    826 |        0 |        0
1573.31/1573.89	c 1573s |      21 |  1381752 |  1212845 |     2620    827 |        0 |        0
1575.51/1576.04	c 1575s |      21 |  1383350 |  1214245 |     2620    828 |        0 |        0
1577.61/1578.10	c 1578s |      21 |  1384796 |  1215545 |     2620    828 |        0 |        0
1579.61/1580.10	c 1580s |      21 |  1386231 |  1216845 |     2620    829 |        0 |        0
1581.71/1582.21	c 1582s |      21 |  1387713 |  1218145 |     2620    830 |        0 |        0
1583.71/1584.26	c 1584s |      21 |  1389055 |  1219345 |     2620    831 |        0 |        0
1585.81/1586.34	c 1586s |      21 |  1390517 |  1220645 |     2620    831 |        0 |        0
1588.01/1588.53	c 1588s |      21 |  1391958 |  1221945 |     2620    832 |        0 |        0
1590.11/1590.62	c 1590s |      21 |  1393293 |  1223145 |     2620    833 |        0 |        0
1592.10/1592.68	c 1592s |      21 |  1394752 |  1224445 |     2620    833 |        0 |        0
1594.10/1594.69	c 1594s |      21 |  1396221 |  1225745 |     2620    834 |        0 |        0
1596.20/1596.75	c 1596s |      21 |  1397683 |  1227045 |     2620    835 |        0 |        0
1598.30/1598.87	c 1598s |      21 |  1399034 |  1228245 |     2620    836 |        0 |        0
1600.40/1600.94	c 1600s |      21 |  1400342 |  1229445 |     2620    836 |        0 |        0
1602.50/1603.02	c 1602s |      21 |  1401963 |  1230845 |     2620    837 |        0 |        0
1604.51/1605.05	c 1604s |      21 |  1403772 |  1232445 |     2620    838 |        0 |        0
1606.50/1607.07	c 1607s |      21 |  1405483 |  1233945 |     2620    839 |        0 |        0
1608.70/1609.21	c 1609s |      21 |  1407138 |  1235445 |     2620    840 |        0 |        0
1610.70/1611.28	c 1611s |      21 |  1408755 |  1236845 |     2620    840 |        0 |        0
1612.80/1613.33	c 1613s |      21 |  1410336 |  1238245 |     2620    841 |        0 |        0
1614.80/1615.34	c 1615s |      21 |  1411896 |  1239645 |     2620    842 |        0 |        0
1616.91/1617.46	c 1617s |      21 |  1413440 |  1241045 |     2620    843 |        0 |        0
1619.01/1619.51	c 1619s |      21 |  1414902 |  1242345 |     2620    844 |        0 |        0
1621.02/1621.52	c 1621s |      21 |  1416337 |  1243645 |     2620    844 |        0 |        0
1623.01/1623.55	c 1623s |      21 |  1417772 |  1244945 |     2620    845 |        0 |        0
1625.11/1625.66	c 1625s |      21 |  1419294 |  1246345 |     2620    846 |        0 |        0
1627.21/1627.75	c 1627s |      21 |  1420858 |  1247745 |     2620    847 |        0 |        0
1629.21/1629.77	c 1629s |      21 |  1422409 |  1249145 |     2620    847 |        0 |        0
1631.31/1631.80	c 1631s |      21 |  1424114 |  1250645 |     2620    848 |        0 |        0
1633.30/1633.84	c 1633s |      21 |  1425634 |  1252045 |     2620    849 |        0 |        0
1635.41/1635.96	c 1635s |      21 |  1427070 |  1253345 |     2620    850 |        0 |        0
1637.61/1638.12	c 1638s |      21 |  1428614 |  1254745 |     2620    851 |        0 |        0
1639.71/1640.21	c 1640s |      21 |  1430142 |  1256145 |     2620    851 |        0 |        0
1641.81/1642.34	c 1642s |      21 |  1431577 |  1257445 |     2620    852 |        0 |        0
1643.90/1644.46	c 1644s |      21 |  1433102 |  1258845 |     2620    853 |        0 |        0
1646.00/1646.52	c 1646s |      21 |  1434713 |  1260245 |     2620    854 |        0 |        0
1648.00/1648.59	c 1648s |      21 |  1436288 |  1261645 |     2620    855 |        0 |        0
1650.20/1650.75	c 1650s |      21 |  1437816 |  1263045 |     2620    855 |        0 |        0
1652.40/1652.91	c 1652s |      21 |  1439222 |  1264345 |     2620    856 |        0 |        0
1654.50/1655.09	c 1655s |      21 |  1440645 |  1265645 |     2620    857 |        0 |        0
1656.60/1657.18	c 1657s |      21 |  1442242 |  1267045 |     2620    858 |        0 |        0
1658.70/1659.28	c 1659s |      21 |  1443927 |  1268545 |     2620    858 |        0 |        0
1660.90/1661.41	c 1661s |      21 |  1445471 |  1269945 |     2620    859 |        0 |        0
1662.90/1663.42	c 1663s |      21 |  1446931 |  1271245 |     2620    860 |        0 |        0
1664.91/1665.43	c 1665s |      21 |  1448490 |  1272645 |     2620    861 |        0 |        0
1667.00/1667.54	c 1667s |      21 |  1450159 |  1274145 |     2620    862 |        0 |        0
1669.10/1669.65	c 1669s |      21 |  1451815 |  1275645 |     2620    862 |        0 |        0
1671.10/1671.68	c 1671s |      21 |  1453342 |  1277045 |     2620    863 |        0 |        0
1673.20/1673.70	c 1673s |      21 |  1454914 |  1278445 |     2620    864 |        0 |        0
1675.20/1675.73	c 1675s |      21 |  1456456 |  1279845 |     2620    865 |        0 |        0
1677.30/1677.89	c 1677s |      21 |  1457904 |  1281145 |     2620    866 |        0 |        0
1679.40/1679.91	c 1679s |      21 |  1459237 |  1282345 |     2620    866 |        0 |        0
1681.40/1681.94	c 1681s |      21 |  1460611 |  1283545 |     2620    867 |        0 |        0
1683.50/1684.03	c 1683s |      21 |  1461981 |  1284745 |     2620    868 |        0 |        0
1685.59/1686.10	c 1686s |      21 |  1463546 |  1286145 |     2620    868 |        0 |        0
1687.59/1688.14	c 1688s |      21 |  1465036 |  1287445 |     2620    869 |        0 |        0
1689.69/1690.21	c 1690s |      21 |  1466612 |  1288845 |     2620    870 |        0 |        0
1691.69/1692.22	c 1692s |      21 |  1468049 |  1290145 |     2620    871 |        0 |        0
1693.69/1694.25	c 1694s |      21 |  1469478 |  1291445 |     2620    871 |        0 |        0
1695.70/1696.27	c 1696s |      21 |  1470931 |  1292745 |     2620    872 |        0 |        0
1697.79/1698.33	c 1698s |      21 |  1472419 |  1294045 |     2620    873 |        0 |        0
1699.79/1700.34	c 1700s |      21 |  1473709 |  1295245 |     2620    874 |        0 |        0
1701.79/1702.37	c 1702s |      21 |  1475066 |  1296445 |     2620    874 |        0 |        0
1703.89/1704.42	c 1704s |      21 |  1476503 |  1297745 |     2620    875 |        0 |        0
1705.89/1706.49	c 1706s |      21 |  1477947 |  1299045 |     2620    876 |        0 |        0
1707.99/1708.54	c 1708s |      21 |  1479526 |  1300445 |     2620    877 |        0 |        0
1710.00/1710.56	c 1710s |      21 |  1480949 |  1301745 |     2620    877 |        0 |        0
1712.09/1712.62	c 1712s |      21 |  1482510 |  1303145 |     2620    878 |        0 |        0
1714.29/1714.84	c 1714s |      21 |  1484047 |  1304545 |     2620    879 |        0 |        0
1716.29/1716.85	c 1716s |      21 |  1485380 |  1305745 |     2620    880 |        0 |        0
1718.39/1718.91	c 1718s |      21 |  1486787 |  1307045 |     2620    880 |        0 |        0
1720.39/1720.97	c 1720s |      21 |  1488127 |  1308245 |     2620    881 |        0 |        0
1722.49/1723.07	c 1723s |      21 |  1489920 |  1309745 |     2620    882 |        0 |        0
1724.59/1725.10	c 1725s |      21 |  1491508 |  1311145 |     2620    883 |        0 |        0
1726.60/1727.17	c 1727s |      21 |  1493076 |  1312545 |     2620    883 |        0 |        0
1728.70/1729.26	c 1729s |      21 |  1494607 |  1313945 |     2620    884 |        0 |        0
1730.69/1731.30	c 1731s |      21 |  1496312 |  1315445 |     2620    885 |        0 |        0
1732.89/1733.43	c 1733s |      21 |  1497998 |  1316945 |     2620    886 |        0 |        0
1734.99/1735.58	c 1735s |      21 |  1499501 |  1318345 |     2620    887 |        0 |        0
1737.09/1737.69	c 1737s |      21 |  1501172 |  1319845 |     2620    888 |        0 |        0
1739.29/1739.83	c 1739s |      21 |  1502749 |  1321245 |     2620    888 |        0 |        0
1741.39/1741.95	c 1741s |      21 |  1504350 |  1322645 |     2620    889 |        0 |        0
1743.39/1743.95	c 1743s |      21 |  1505801 |  1323945 |     2620    890 |        0 |        0
1745.39/1745.96	c 1745s |      21 |  1507332 |  1325345 |     2620    891 |        0 |        0
1747.59/1748.14	c 1748s |      21 |  1508849 |  1326745 |     2620    892 |        0 |        0
1749.59/1750.18	c 1750s |      21 |  1510504 |  1328245 |     2620    892 |        0 |        0
1751.68/1752.28	c 1752s |      21 |  1512173 |  1329745 |     2620    893 |        0 |        0
1753.88/1754.42	c 1754s |      21 |  1513710 |  1331145 |     2620    894 |        0 |        0
1755.88/1756.49	c 1756s |      21 |  1515361 |  1332645 |     2620    895 |        0 |        0
1757.98/1758.51	c 1758s |      21 |  1516942 |  1334045 |     2620    896 |        0 |        0
1760.18/1760.71	c 1760s |      21 |  1518573 |  1335545 |     2620    897 |        0 |        0
1762.28/1762.85	c 1762s |      21 |  1520122 |  1336945 |     2620    897 |        0 |        0
1764.38/1764.90	c 1764s |      21 |  1521642 |  1338245 |     2620    898 |        0 |        0
1766.38/1766.94	c 1766s |      21 |  1523715 |  1339645 |     2620    899 |        0 |        0
1768.48/1769.03	c 1768s |      21 |  1525382 |  1341045 |     2620    900 |        0 |        0
1770.59/1771.19	c 1771s |      21 |  1526934 |  1342445 |     2620    900 |        0 |        0
1772.69/1773.22	c 1773s |      21 |  1528360 |  1343645 |     2620    901 |        0 |        0
1774.78/1775.30	c 1775s |      21 |  1530012 |  1345045 |     2620    902 |        0 |        0
1776.88/1777.45	c 1777s |      21 |  1531632 |  1346345 |     2620    903 |        0 |        0
1778.88/1779.46	c 1779s |      21 |  1533354 |  1347745 |     2620    903 |        0 |        0
1780.98/1781.50	c 1781s |      21 |  1534727 |  1348945 |     2620    904 |        0 |        0
1783.08/1783.62	c 1783s |      21 |  1535964 |  1350045 |     2620    905 |        0 |        0
1785.08/1785.69	c 1785s |      21 |  1537212 |  1351145 |     2620    905 |        0 |        0
1787.18/1787.71	c 1787s |      21 |  1538317 |  1352145 |     2620    906 |        0 |        0
1789.18/1789.74	c 1789s |      21 |  1539466 |  1353145 |     2620    907 |        0 |        0
1791.28/1791.82	c 1791s |      21 |  1540590 |  1354145 |     2620    907 |        0 |        0
1793.28/1793.89	c 1793s |      21 |  1541734 |  1355145 |     2620    908 |        0 |        0
1795.38/1795.92	c 1795s |      21 |  1542747 |  1356045 |     2620    908 |        0 |        0
1797.37/1797.95	c 1797s |      21 |  1544089 |  1357145 |     2620    909 |        0 |        0
1799.67/1800.21	c 1800s |      21 |  1545567 |  1358445 |     2620    910 |        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-4093710-1466093053/watcher-4093710-1466093053 -o /tmp/evaluation-result-4093710-1466093053/solver-4093710-1466093053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466093052-24298 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093710-1466093053.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.49 3.51 3.85 5/173 24325
/proc/meminfo: memFree=30820800/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=783804 CPUtime=0 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 2938 0 0 0 0 0 0 0 20 0 4 0 11354253 802615296 2788 33554432000 4194304 16246674 140737188483664 140737188483088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 196719 2797 441 2943 0 193613 0
[pid=24324/tid=24328] ppid=24320 vsize=814524 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 834072576 2908 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 839315456 2925 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354254 843509760 2944 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.49 3.51 3.85 5/173 24325
/proc/meminfo: memFree=30820800/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 25908 0 0 0 5 3 0 0 20 0 4 0 11354253 1247350784 25745 33554432000 4194304 16246674 140737188483664 140737188483088 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 304529 25756 806 2943 0 301423 0
[pid=24324/tid=24328] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 25760 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 25763 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 25774 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200457 s]
/proc/loadavg: 2.49 3.51 3.85 5/173 24325
/proc/meminfo: memFree=30820800/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 53678 0 0 0 12 7 0 0 20 0 4 0 11354253 1247350784 53514 33554432000 4194304 16246674 140737188483664 140737188465536 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 304529 53534 806 2943 0 301423 0
[pid=24324/tid=24328] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 53544 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 53558 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 53570 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300447 s]
/proc/loadavg: 2.49 3.51 3.85 5/173 24325
/proc/meminfo: memFree=30820800/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 83919 0 0 0 19 10 0 0 20 0 4 0 11354253 1247350784 83756 33554432000 4194304 16246674 140737188483664 140737188465536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 304529 83771 806 2943 0 301423 0
[pid=24324/tid=24328] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 83782 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 83794 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 83808 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700361 s]
/proc/loadavg: 2.49 3.51 3.85 5/173 24325
/proc/meminfo: memFree=30820800/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 204027 0 0 0 43 26 0 0 20 0 4 0 11354253 1247350784 203864 33554432000 4194304 16246674 140737188483664 140737188465536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 304529 203879 812 2943 0 301423 0
[pid=24324/tid=24328] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 203890 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 203896 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11354254 1247350784 203906 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.53 3.50 3.85 4/183 24335
/proc/meminfo: memFree=28853752/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 266667 0 0 0 114 35 0 0 20 0 4 0 11354253 1334382592 266481 33554432000 4194304 16246674 140737188483664 140737188465536 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 325777 266481 871 2943 0 322671 0
[pid=24324/tid=24328] ppid=24320 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1334382592 266481 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1334382592 266481 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1334382592 266481 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10042 s]
/proc/loadavg: 2.53 3.50 3.85 3/183 24335
/proc/meminfo: memFree=28679656/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 267840 0 0 0 274 35 0 0 20 0 4 0 11354253 1338576896 267654 33554432000 4194304 16246674 140737188483664 140737188465536 5546205 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 326801 267654 872 2943 0 323695 0
[pid=24324/tid=24328] ppid=24320 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1338576896 267654 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1338576896 267654 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1338576896 267654 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.49 3.47 3.84 4/183 24335
/proc/meminfo: memFree=28678240/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 267922 0 0 0 594 35 0 0 20 0 4 0 11354253 1338576896 267736 33554432000 4194304 16246674 140737188483664 140737188465536 5545708 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 326801 267736 872 2943 0 323695 0
[pid=24324/tid=24328] ppid=24320 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1338576896 267736 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1338576896 267736 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1338576896 267736 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.53 3.46 3.83 3/183 24335
/proc/meminfo: memFree=28676940/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1310276 CPUtime=12.68 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 268671 0 0 0 1233 35 0 0 20 0 4 0 11354253 1341722624 268485 33554432000 4194304 16246674 140737188483664 140737188465536 13191364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 327569 268485 874 2943 0 324463 0
[pid=24324/tid=24328] ppid=24320 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1341722624 268485 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1341722624 268485 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1341722624 268485 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.41 3.39 3.80 3/183 24335
/proc/meminfo: memFree=28671124/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 268948 0 0 0 2513 35 0 0 20 0 4 0 11354253 1342771200 268762 33554432000 4194304 16246674 140737188483664 140737188465536 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 327825 268762 874 2943 0 324719 0
[pid=24324/tid=24328] ppid=24320 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1342771200 268762 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1342771200 268762 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1342771200 268762 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.42 3.31 3.77 3/183 24335
/proc/meminfo: memFree=28663696/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 270228 0 0 0 5073 35 0 0 20 0 4 0 11354253 1348014080 270042 33554432000 4194304 16246674 140737188483664 140737188465536 5711952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329105 270042 874 2943 0 325999 0
[pid=24324/tid=24328] ppid=24320 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1348014080 270042 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1348014080 270042 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1348014080 270042 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.31 3.14 3.68 4/183 24336
/proc/meminfo: memFree=28663316/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 270228 0 0 0 10193 35 0 0 20 0 4 0 11354253 1348014080 270042 33554432000 4194304 16246674 140737188483664 140737188465536 5545832 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329105 270042 874 2943 0 325999 0
[pid=24324/tid=24328] ppid=24320 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1348014080 270042 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1348014080 270042 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1348014080 270042 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1318468

[startup+1302.3 s]
/proc/loadavg: 2.16 2.16 2.55 3/183 24367
/proc/meminfo: memFree=28651268/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1301.89 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271105 0 0 0 130148 41 0 0 20 0 4 0 11354253 1350111232 270810 33554432000 4194304 16246674 140737188483664 140737188465536 5829909 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270810 874 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.16 2.15 2.53 3/183 24368
/proc/meminfo: memFree=28650944/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1361.85 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271148 0 0 0 136144 41 0 0 20 0 4 0 11354253 1350111232 270810 33554432000 4194304 16246674 140737188483664 140737188465536 13193512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270810 874 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.20 2.16 2.50 3/183 24369
/proc/meminfo: memFree=28651540/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1421.84 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271173 0 0 0 142143 41 0 0 20 0 4 0 11354253 1350111232 270810 33554432000 4194304 16246674 140737188483664 140737188465536 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270810 874 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270810 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.25 2.17 2.48 3/183 24371
/proc/meminfo: memFree=28650620/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1481.82 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 148141 41 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 5808532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.20 2.17 2.46 3/183 24372
/proc/meminfo: memFree=28650392/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1541.82 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 154141 41 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.13 2.15 2.43 3/184 24376
/proc/meminfo: memFree=28650544/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1601.8 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 160139 41 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.36 2.20 2.43 3/183 24377
/proc/meminfo: memFree=28650592/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1661.8 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 166138 42 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 5711342 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.30 2.21 2.42 4/183 24378
/proc/meminfo: memFree=28649512/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1721.79 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 172137 42 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.37 2.23 2.41 3/183 24380
/proc/meminfo: memFree=28648428/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1781.78 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 178136 42 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 5545792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.37 2.24 2.41 3/183 24380
/proc/meminfo: memFree=28648288/32872528 swapFree=1103228/1182944
[pid=24324] ppid=24320 vsize=1318468 CPUtime=1800.07 cores=0,2,4,6
/proc/24324/stat : 24324 (toysat) R 24320 24324 7201 0 -1 4202496 271174 0 0 0 179965 42 0 0 20 0 4 0 11354253 1350111232 270811 33554432000 4194304 16246674 140737188483664 140737188465536 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24324/statm: 329617 270811 875 2943 0 326511 0
[pid=24324/tid=24328] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24328/stat : 24328 (toysat) S 24320 24324 7201 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074957122800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24324/tid=24329] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24329/stat : 24329 (toysat) S 24320 24324 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074946632944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24324/tid=24330] ppid=24320 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24330/stat : 24330 (toysat) S 24320 24324 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11354254 1350111232 270811 33554432000 4194304 16246674 140737188483664 140074936159408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1318468

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 24324 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.09
CPU user time (s): 1799.66
CPU system time (s): 0.427934
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.427934
maximum resident set size= 1083244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 451
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8923 second user time and 16.9584 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-16 18:04:13
IDJOB=4093710
IDBENCH=79172
IDSOLVER=2553
FILE ID=node115/4093710-1466093053
RUNJOBID= node115-1466093052-24298
PBS_JOBID= 19904021
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093710-1466093053/watcher-4093710-1466093053 -o /tmp/evaluation-result-4093710-1466093053/solver-4093710-1466093053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466093052-24298 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093710-1466093053.wbo

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

MD5SUM BENCH= 168e81c26eea0b6e6155adb2f3f4d195
RANDOM SEED=1241254440

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30821352 kB
Buffers:           41756 kB
Cached:           120708 kB
SwapCached:         2104 kB
Active:            85708 kB
Inactive:          79532 kB
Active(anon):       3896 kB
Inactive(anon):     1636 kB
Active(file):      81812 kB
Inactive(file):    77896 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             32660 kB
Writeback:             0 kB
AnonPages:       1184940 kB
Mapped:             7172 kB
Shmem:                 0 kB
Slab:             569124 kB
SReclaimable:      13104 kB
SUnreclaim:       556020 kB
KernelStack:        1408 kB
PageTables:         6504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1278644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 71712 MiB
End job on node115 at 2016-06-16 18:34:14