Trace number 4109218

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.03 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo
MD5SUMc9bbca9920220172e28f0008e519bfaf
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables420
Total number of constraints41
Number of soft constraints32
Number of constraints which are clauses21
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 1258
Min constraint cost 1
Max constraint cost 83
Sum of constraints costs 1257
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T15:40:04+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-4109218-1466343604.wbo"]
0.00/0.01	c use --random-gen="1264055407 1323484947 615674374 2723842474 1999140035 1926561245 3647184618 3294972241 388438187 3544095372 2556116266 2432209232 3312147422 464592107 3551824790 2007543296 3964757267 3139732482 2683455183 1498485266 786986789 1585448608 3658240504 1272237895 1506195538 680869400 3158480306 673105204 75354001 425900784 4087888250 1556274380 4054268876 3914169792 2605807406 1696329031 4195261929 1990835787 122154324 958138082 3425674929 3439828222 1671661996 2072070484 2303790414 1287659658 2936814390 816716545 4286717432 440204664 3657469769 1576969353 845976295 3879296182 2901887341 466196980 2347159361 3970658503 544301262 4147573361 3113909058 333667415 884350755 4249191476 1123681229 1204613211 882031774 1842468362 4043988038 976268386 3910082389 895222894 3848534800 3248440346 3300486755 1948437543 4269431776 2320159329 3132740387 1396773681 2009648313 313944529 801493685 1822373934 2435612976 51062536 1519870684 4198931632 1530768731 3342737967 2504732301 1987173295 193360103 3069613125 4242274608 1292691898 2020813570 950511278 2114677365 3210490231 2697226497 2559819794 3104310297 2291047543 3289940271 3879358762 2030549805 3666294000 546504396 3963460407 2451813917 2473710365 2963090784 1643437344 338480463 1374192826 1186156580 869770712 3730596909 2375689494 1353613876 715786353 2631726811 2399122866 2190924052 2894187811 3608180577 925403856 3530611438 1553554085 1502128691 749689341 379096936 478324625 3067101250 2841653762 1235698333 4258171154 2668342969 2009179473 784853153 2411491227 4228812927 582413055 1140321725 333319255 2855860208 373234624 631548095 1847806600 2231612512 1117110345 3305974472 1248112312 3003650411 3584519487 3080525256 3127994830 3422211927 3707104090 1424096652 3062933396 688731274 34803151 627998782 2348676506 69143942 2258171784 562004754 3778154862 955400909 4215971823 941792037 1026450861 2554191558 717209283 533656452 1715761433 633283536 3020679507 1240636496 2927642475 4155204512 3914416890 3924201289 1367178105 1385040553 3882040319 45675548 1587812285 2969212319 1978959782 3863447040 3601688509 2989115823 1107984519 3990948858 843115226 1745612934 3744569463 3779993275 4111445305 2550038376 3916477422 2032098756 3052496638 3584979657 1104271433 4257554284 3593575156 380315899 3443786442 1738651695 286165794 284956102 3980161111 3612211563 2519930756 3703778795 1222638733 652683886 289721643 2279751069 2295055001 4278007474 1808757676 280656359 1835152747 922034310 1163282016 2461769094 196856121 3990997058 2675709624 137397111 2784368053 248021930 746093634 3254851825 398093427 834708724 2318156470 2533081822 1166965011 2555553681 539596468 2970293211 148510118 1298746672 1856979265 3946683791 1731004485 2158502303 4254519022 4010202073 490459591 255 362436" option to reproduce the execution
0.00/0.02	c #vars 420
0.00/0.02	c #constraints 41
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      164      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       52 |        1 |      164      0 |        0 |        0
0.00/0.03	c #cpu_time = 0.001s
0.00/0.03	c #wall_clock_time = 0.001s
0.00/0.03	c #decision = 52
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 1
0.00/0.03	c #restart = 0
0.00/0.03	o 662
0.00/0.03	c BCD2: updating upper bound: 1257 -> 661
0.00/0.03	c BCD2: 0 <= obj <= 661
0.00/0.03	c BCD2: #cores=0, #unrelaxed=32, #relaxed=0, #hardened=0
0.00/0.03	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      164      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      262 |      100 |      181      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      701 |      250 |      181      0 |        0 |        0
0.09/0.19	c  0.2s |       3 |     1199 |      475 |      200      1 |        0 |        0
0.29/0.31	c  0.3s |       4 |     2124 |      813 |      221      2 |        0 |        0
0.59/0.61	c  0.6s |       5 |     2989 |     1320 |      244      4 |        0 |        0
0.89/0.96	c  0.9s |       6 |     4665 |     2081 |      296      7 |        0 |        0
1.39/1.44	c  1.4s |       7 |     6270 |     3223 |      326     11 |        0 |        0
2.09/2.15	c  2.1s |       8 |     8916 |     4936 |      359     16 |        0 |        0
2.99/3.08	c  3.1s |       9 |    12704 |     7506 |      395     23 |        0 |        0
4.59/4.67	c  4.6s |      10 |    18936 |    11361 |      435     33 |        0 |        0
6.70/6.71	c  6.7s |      10 |    25043 |    15561 |      435     44 |        0 |        0
7.29/7.36	c  7.3s |      11 |    26929 |    17144 |      479     47 |        0 |        0
9.29/9.38	c  9.3s |      11 |    33195 |    22044 |      479     59 |        0 |        0
11.18/11.26	c 11.2s |      12 |    37965 |    25819 |      527     68 |        0 |        0
13.19/13.27	c 13.2s |      12 |    43548 |    29819 |      527     77 |        0 |        0
15.18/15.27	c 15.2s |      12 |    47699 |    33519 |      527     85 |        0 |        0
17.18/17.28	c 17.3s |      12 |    51967 |    37319 |      527     93 |        0 |        0
17.98/18.05	c 18.0s |      13 |    53663 |    38832 |      580     97 |        0 |        0
19.98/20.06	c 20.0s |      13 |    59543 |    43632 |      580    107 |        0 |        0
21.99/22.10	c 22.1s |      13 |    64865 |    48332 |      580    117 |        0 |        0
24.08/24.14	c 24.1s |      13 |    69780 |    52632 |      580    126 |        0 |        0
26.09/26.17	c 26.1s |      13 |    75535 |    57732 |      580    136 |        0 |        0
26.40/26.46	c 26.4s |      14 |    76221 |    58352 |      638    137 |        0 |        0
28.39/28.47	c 28.4s |      14 |    83004 |    64052 |      638    148 |        0 |        0
30.49/30.50	c 30.5s |      14 |    89000 |    69252 |      638    159 |        0 |        0
32.49/32.54	c 32.5s |      14 |    94744 |    74352 |      638    168 |        0 |        0
34.49/34.57	c 34.5s |      14 |    99863 |    78952 |      638    177 |        0 |        0
36.59/36.61	c 36.6s |      14 |   105711 |    84152 |      638    188 |        0 |        0
37.99/38.02	c 38.0s |      15 |   109591 |    87632 |      702    194 |        0 |        0
39.98/40.03	c 40.0s |      15 |   115371 |    92432 |      702    203 |        0 |        0
41.98/42.03	c 42.0s |      15 |   120287 |    96732 |      702    211 |        0 |        0
43.99/44.05	c 44.0s |      15 |   125250 |   101132 |      702    219 |        0 |        0
45.98/46.06	c 46.0s |      15 |   130232 |   105532 |      702    227 |        0 |        0
47.97/48.08	c 48.1s |      15 |   135125 |   109832 |      702    235 |        0 |        0
50.07/50.11	c 50.1s |      15 |   140446 |   114532 |      702    244 |        0 |        0
52.07/52.14	c 52.1s |      15 |   145528 |   119032 |      702    252 |        0 |        0
54.07/54.18	c 54.2s |      15 |   149968 |   122932 |      702    259 |        0 |        0
56.18/56.22	c 56.2s |      15 |   154092 |   126632 |      702    266 |        0 |        0
58.17/58.24	c 58.2s |      15 |   158081 |   130232 |      702    273 |        0 |        0
58.87/58.97	c 58.9s |      16 |   159535 |   131552 |      773    275 |        0 |        0
60.87/61.00	c 61.0s |      16 |   165844 |   136952 |      773    287 |        0 |        0
62.97/63.04	c 63.0s |      16 |   171898 |   142352 |      773    298 |        0 |        0
64.98/65.07	c 65.0s |      16 |   177907 |   147652 |      773    308 |        0 |        0
67.07/67.11	c 67.1s |      16 |   184068 |   152952 |      773    319 |        0 |        0
69.07/69.11	c 69.1s |      16 |   189765 |   157952 |      773    327 |        0 |        0
71.07/71.15	c 71.1s |      16 |   195132 |   162552 |      773    335 |        0 |        0
73.07/73.16	c 73.1s |      16 |   200552 |   167252 |      773    343 |        0 |        0
75.17/75.21	c 75.2s |      16 |   206043 |   171952 |      773    351 |        0 |        0
77.16/77.24	c 77.2s |      16 |   211655 |   176852 |      773    360 |        0 |        0
79.17/79.26	c 79.2s |      16 |   216437 |   181152 |      773    367 |        0 |        0
81.16/81.26	c 81.2s |      16 |   220884 |   185252 |      773    374 |        0 |        0
83.16/83.28	c 83.3s |      16 |   225317 |   189252 |      773    381 |        0 |        0
85.26/85.30	c 85.3s |      16 |   230017 |   193452 |      773    389 |        0 |        0
87.06/87.17	c 87.1s |      17 |   234564 |   197432 |      851    395 |        0 |        0
89.06/89.19	c 89.2s |      17 |   240339 |   202232 |      851    403 |        0 |        0
91.16/91.20	c 91.2s |      17 |   245546 |   206832 |      851    410 |        0 |        0
93.15/93.22	c 93.2s |      17 |   250641 |   211432 |      851    418 |        0 |        0
95.15/95.23	c 95.2s |      17 |   256055 |   216232 |      851    426 |        0 |        0
97.15/97.27	c 97.2s |      17 |   261427 |   221032 |      851    433 |        0 |        0
99.15/99.29	c 99.3s |      17 |   266337 |   225432 |      851    440 |        0 |        0
101.26/101.31	c  101s |      17 |   271702 |   230232 |      851    448 |        0 |        0
103.25/103.32	c  103s |      17 |   276637 |   234632 |      851    455 |        0 |        0
105.25/105.33	c  105s |      17 |   281465 |   238932 |      851    462 |        0 |        0
107.25/107.34	c  107s |      17 |   286474 |   243432 |      851    469 |        0 |        0
109.25/109.38	c  109s |      17 |   291202 |   247732 |      851    476 |        0 |        0
111.25/111.39	c  111s |      17 |   296014 |   252032 |      851    483 |        0 |        0
113.36/113.41	c  113s |      17 |   300965 |   256432 |      851    490 |        0 |        0
115.35/115.46	c  115s |      17 |   306294 |   261232 |      851    498 |        0 |        0
117.35/117.49	c  117s |      17 |   311281 |   265732 |      851    505 |        0 |        0
119.45/119.53	c  119s |      17 |   316456 |   270332 |      851    513 |        0 |        0
121.45/121.55	c  121s |      17 |   321775 |   275032 |      851    520 |        0 |        0
123.44/123.56	c  123s |      17 |   326959 |   279632 |      851    528 |        0 |        0
125.45/125.59	c  125s |      17 |   331977 |   284132 |      851    535 |        0 |        0
127.55/127.62	c  127s |      17 |   337185 |   288732 |      851    542 |        0 |        0
129.54/129.66	c  129s |      17 |   342198 |   293132 |      851    550 |        0 |        0
131.04/131.17	c  131s |      18 |   345729 |   296252 |      937    554 |        0 |        0
133.15/133.21	c  133s |      18 |   351168 |   300852 |      937    561 |        0 |        0
135.14/135.23	c  135s |      18 |   356350 |   305452 |      937    568 |        0 |        0
137.14/137.25	c  137s |      18 |   361299 |   309852 |      937    575 |        0 |        0
139.14/139.27	c  139s |      18 |   366801 |   314352 |      937    582 |        0 |        0
141.14/141.28	c  141s |      18 |   371440 |   318452 |      937    588 |        0 |        0
143.24/143.32	c  143s |      18 |   376250 |   322652 |      937    595 |        0 |        0
145.24/145.37	c  145s |      18 |   381319 |   327052 |      937    601 |        0 |        0
147.23/147.39	c  147s |      18 |   386136 |   331252 |      937    608 |        0 |        0
149.33/149.40	c  149s |      18 |   390900 |   335452 |      937    614 |        0 |        0
151.33/151.42	c  151s |      18 |   395571 |   339552 |      937    620 |        0 |        0
153.33/153.43	c  153s |      18 |   400090 |   343652 |      937    627 |        0 |        0
155.33/155.45	c  155s |      18 |   404688 |   347752 |      937    633 |        0 |        0
157.34/157.47	c  157s |      18 |   409208 |   351852 |      937    639 |        0 |        0
159.33/159.50	c  159s |      18 |   413484 |   355752 |      937    645 |        0 |        0
161.43/161.51	c  161s |      18 |   417781 |   359552 |      937    651 |        0 |        0
163.43/163.53	c  163s |      18 |   422595 |   363852 |      937    658 |        0 |        0
165.44/165.57	c  165s |      18 |   427500 |   368252 |      937    664 |        0 |        0
167.54/167.61	c  167s |      18 |   432261 |   372452 |      937    671 |        0 |        0
169.54/169.62	c  169s |      18 |   436805 |   376552 |      937    677 |        0 |        0
171.54/171.67	c  171s |      18 |   441351 |   380652 |      937    683 |        0 |        0
173.53/173.68	c  173s |      18 |   445951 |   384752 |      937    690 |        0 |        0
175.63/175.71	c  175s |      18 |   450647 |   388952 |      937    696 |        0 |        0
177.63/177.74	c  177s |      18 |   455331 |   393152 |      937    702 |        0 |        0
179.63/179.74	c  179s |      18 |   459905 |   397252 |      937    709 |        0 |        0
181.63/181.76	c  181s |      18 |   464520 |   401352 |      937    715 |        0 |        0
183.63/183.80	c  183s |      18 |   469337 |   405452 |      937    721 |        0 |        0
185.73/185.82	c  185s |      18 |   474040 |   409652 |      937    728 |        0 |        0
187.72/187.83	c  187s |      18 |   478949 |   414052 |      937    734 |        0 |        0
189.72/189.87	c  189s |      18 |   483660 |   418252 |      937    741 |        0 |        0
191.82/191.90	c  191s |      18 |   488412 |   422452 |      937    747 |        0 |        0
193.82/193.95	c  193s |      18 |   493073 |   426652 |      937    754 |        0 |        0
195.83/195.97	c  195s |      18 |   497151 |   430352 |      937    759 |        0 |        0
197.82/198.00	c  197s |      18 |   501917 |   434552 |      937    766 |        0 |        0
199.92/200.02	c  199s |      18 |   506612 |   438752 |      937    772 |        0 |        0
201.92/202.07	c  202s |      18 |   511206 |   442652 |     1031    778 |        0 |        0
203.12/203.26	c  203s |      19 |   513242 |   444482 |     1031    780 |        0 |        0
205.22/205.31	c  205s |      19 |   518437 |   448882 |     1031    787 |        0 |        0
207.21/207.32	c  207s |      19 |   522780 |   452682 |     1031    792 |        0 |        0
209.21/209.33	c  209s |      19 |   527039 |   456382 |     1031    797 |        0 |        0
211.22/211.36	c  211s |      19 |   530918 |   459882 |     1031    802 |        0 |        0
213.21/213.40	c  213s |      19 |   534924 |   463482 |     1031    807 |        0 |        0
215.31/215.40	c  215s |      19 |   538895 |   467082 |     1031    812 |        0 |        0
217.31/217.42	c  217s |      19 |   543094 |   470882 |     1031    818 |        0 |        0
219.30/219.46	c  219s |      19 |   547370 |   474682 |     1031    823 |        0 |        0
221.30/221.49	c  221s |      19 |   551491 |   478382 |     1031    828 |        0 |        0
223.40/223.53	c  223s |      19 |   555962 |   482282 |     1031    834 |        0 |        0
225.41/225.56	c  225s |      19 |   560428 |   486182 |     1031    839 |        0 |        0
227.41/227.56	c  227s |      19 |   564423 |   489782 |     1031    844 |        0 |        0
229.41/229.59	c  229s |      19 |   568514 |   493482 |     1031    850 |        0 |        0
231.51/231.60	c  231s |      19 |   572841 |   497382 |     1031    855 |        0 |        0
233.51/233.65	c  233s |      19 |   577253 |   501282 |     1031    861 |        0 |        0
235.51/235.66	c  235s |      19 |   581535 |   505082 |     1031    866 |        0 |        0
237.51/237.66	c  237s |      19 |   585778 |   508882 |     1031    871 |        0 |        0
239.61/239.71	c  239s |      19 |   590001 |   512682 |     1031    877 |        0 |        0
241.61/241.72	c  241s |      19 |   594249 |   516482 |     1031    882 |        0 |        0
243.60/243.74	c  243s |      19 |   598417 |   520082 |     1031    887 |        0 |        0
245.60/245.77	c  245s |      19 |   601959 |   523082 |     1031    891 |        0 |        0
247.60/247.79	c  247s |      19 |   605774 |   526182 |     1031    896 |        0 |        0
249.70/249.83	c  249s |      19 |   609752 |   529682 |     1031    901 |        0 |        0
251.70/251.88	c  251s |      19 |   613563 |   533082 |     1031    906 |        0 |        0
253.80/253.91	c  253s |      19 |   617878 |   536882 |     1031    911 |        0 |        0
255.80/255.92	c  255s |      19 |   621864 |   540482 |     1031    916 |        0 |        0
257.89/258.00	c  257s |      19 |   626239 |   544282 |     1031    922 |        0 |        0
259.89/260.00	c  259s |      19 |   630269 |   547782 |     1031    926 |        0 |        0
261.89/262.06	c  262s |      19 |   634245 |   551282 |     1031    931 |        0 |        0
263.89/264.08	c  264s |      19 |   638052 |   554582 |     1031    936 |        0 |        0
265.99/266.14	c  266s |      19 |   642333 |   558282 |     1031    941 |        0 |        0
267.99/268.16	c  268s |      19 |   646193 |   561682 |     1031    946 |        0 |        0
270.08/270.20	c  270s |      19 |   649939 |   564982 |     1031    951 |        0 |        0
272.08/272.23	c  272s |      19 |   653718 |   568282 |     1031    955 |        0 |        0
274.08/274.27	c  274s |      19 |   657115 |   571282 |     1031    960 |        0 |        0
276.19/276.31	c  276s |      19 |   660576 |   574382 |     1031    964 |        0 |        0
278.19/278.31	c  278s |      19 |   664027 |   577482 |     1031    969 |        0 |        0
280.18/280.33	c  280s |      19 |   667315 |   580382 |     1031    973 |        0 |        0
282.28/282.40	c  282s |      19 |   671093 |   583682 |     1031    977 |        0 |        0
284.28/284.44	c  284s |      19 |   674927 |   586982 |     1031    982 |        0 |        0
286.28/286.44	c  286s |      19 |   679027 |   590582 |     1031    987 |        0 |        0
288.28/288.46	c  288s |      19 |   682841 |   593982 |     1031    992 |        0 |        0
290.28/290.46	c  290s |      19 |   686748 |   597482 |     1031    997 |        0 |        0
292.37/292.53	c  292s |      19 |   690399 |   600782 |     1031   1001 |        0 |        0
294.37/294.58	c  294s |      19 |   694081 |   604082 |     1031   1006 |        0 |        0
296.47/296.64	c  296s |      19 |   697871 |   607482 |     1031   1011 |        0 |        0
298.47/298.66	c  298s |      19 |   701700 |   610882 |     1031   1016 |        0 |        0
300.57/300.71	c  300s |      19 |   705683 |   614482 |     1031   1021 |        0 |        0
302.57/302.71	c  302s |      19 |   709500 |   617882 |     1031   1026 |        0 |        0
304.58/304.76	c  304s |      19 |   713274 |   621282 |     1031   1031 |        0 |        0
306.67/306.82	c  306s |      19 |   717109 |   624682 |     1031   1036 |        0 |        0
308.66/308.86	c  308s |      19 |   720923 |   628082 |     1031   1040 |        0 |        0
310.66/310.88	c  310s |      19 |   724872 |   631482 |     1031   1045 |        0 |        0
312.76/312.93	c  312s |      19 |   728887 |   635082 |     1031   1050 |        0 |        0
314.76/314.94	c  314s |      19 |   732475 |   638282 |     1031   1055 |        0 |        0
316.86/317.00	c  316s |      19 |   736504 |   641882 |     1031   1060 |        0 |        0
318.86/319.01	c  318s |      19 |   740278 |   645282 |     1031   1065 |        0 |        0
320.87/321.05	c  321s |      19 |   744252 |   648782 |     1031   1070 |        0 |        0
322.86/323.05	c  323s |      19 |   748388 |   652482 |     1031   1075 |        0 |        0
324.86/325.05	c  325s |      19 |   752310 |   655882 |     1031   1080 |        0 |        0
326.96/327.10	c  327s |      19 |   756417 |   659582 |     1031   1085 |        0 |        0
328.96/329.15	c  329s |      19 |   760380 |   663182 |     1135   1090 |        0 |        0
330.96/331.20	c  331s |      19 |   764218 |   666582 |     1135   1095 |        0 |        0
331.16/331.35	c  331s |      20 |   764499 |   666827 |     1135   1095 |        0 |        0
333.16/333.38	c  333s |      20 |   770787 |   672127 |     1135   1102 |        0 |        0
335.15/335.39	c  335s |      20 |   776077 |   676827 |     1135   1108 |        0 |        0
337.25/337.42	c  337s |      20 |   781292 |   681527 |     1135   1114 |        0 |        0
339.25/339.44	c  339s |      20 |   786487 |   686127 |     1135   1120 |        0 |        0
341.25/341.48	c  341s |      20 |   791278 |   690327 |     1135   1126 |        0 |        0
343.35/343.52	c  343s |      20 |   795787 |   694327 |     1135   1131 |        0 |        0
345.35/345.53	c  345s |      20 |   800524 |   698527 |     1135   1137 |        0 |        0
347.34/347.54	c  347s |      20 |   805784 |   703127 |     1135   1143 |        0 |        0
349.34/349.54	c  349s |      20 |   810631 |   707427 |     1135   1148 |        0 |        0
351.34/351.55	c  351s |      20 |   815499 |   711727 |     1135   1154 |        0 |        0
353.34/353.59	c  353s |      20 |   820291 |   716027 |     1135   1160 |        0 |        0
355.34/355.59	c  355s |      20 |   825567 |   720627 |     1135   1166 |        0 |        0
357.44/357.61	c  357s |      20 |   830486 |   725027 |     1135   1171 |        0 |        0
359.43/359.65	c  359s |      20 |   835564 |   729527 |     1135   1177 |        0 |        0
361.43/361.69	c  361s |      20 |   840135 |   733627 |     1135   1183 |        0 |        0
363.43/363.70	c  363s |      20 |   844536 |   737627 |     1135   1188 |        0 |        0
365.53/365.73	c  365s |      20 |   849508 |   742027 |     1135   1194 |        0 |        0
367.53/367.75	c  367s |      20 |   854229 |   746327 |     1135   1200 |        0 |        0
369.54/369.77	c  369s |      20 |   859276 |   750827 |     1135   1205 |        0 |        0
371.54/371.80	c  371s |      20 |   864276 |   755227 |     1135   1211 |        0 |        0
373.64/373.85	c  373s |      20 |   868701 |   759227 |     1135   1216 |        0 |        0
375.64/375.89	c  375s |      20 |   873669 |   763527 |     1135   1222 |        0 |        0
377.73/377.90	c  377s |      20 |   878585 |   767927 |     1135   1228 |        0 |        0
379.73/379.93	c  379s |      20 |   883466 |   772327 |     1135   1234 |        0 |        0
381.73/381.93	c  381s |      20 |   888282 |   776627 |     1135   1239 |        0 |        0
383.74/383.97	c  383s |      20 |   892943 |   780827 |     1135   1245 |        0 |        0
385.73/385.98	c  385s |      20 |   897862 |   785227 |     1135   1251 |        0 |        0
387.83/388.00	c  387s |      20 |   902658 |   789527 |     1135   1256 |        0 |        0
389.83/390.03	c  389s |      20 |   907351 |   793727 |     1135   1262 |        0 |        0
391.83/392.04	c  392s |      20 |   912542 |   798127 |     1135   1268 |        0 |        0
393.83/394.06	c  394s |      20 |   917331 |   802427 |     1135   1273 |        0 |        0
395.83/396.10	c  396s |      20 |   922049 |   806527 |     1135   1279 |        0 |        0
397.92/398.10	c  398s |      20 |   926774 |   810727 |     1135   1284 |        0 |        0
399.92/400.13	c  400s |      20 |   931820 |   815227 |     1135   1290 |        0 |        0
401.92/402.16	c  402s |      20 |   936381 |   819327 |     1135   1296 |        0 |        0
403.92/404.19	c  404s |      20 |   941118 |   823527 |     1135   1301 |        0 |        0
406.02/406.24	c  406s |      20 |   945499 |   827427 |     1135   1306 |        0 |        0
408.03/408.27	c  408s |      20 |   949778 |   831227 |     1135   1311 |        0 |        0
410.02/410.28	c  410s |      20 |   954009 |   835027 |     1135   1316 |        0 |        0
412.02/412.28	c  412s |      20 |   958256 |   838827 |     1135   1321 |        0 |        0
414.12/414.32	c  414s |      20 |   962752 |   842727 |     1135   1327 |        0 |        0
416.12/416.36	c  416s |      20 |   967148 |   846627 |     1135   1332 |        0 |        0
418.11/418.39	c  418s |      20 |   971642 |   850527 |     1135   1337 |        0 |        0
420.21/420.43	c  420s |      20 |   975784 |   854227 |     1135   1342 |        0 |        0
422.22/422.46	c  422s |      20 |   979915 |   857827 |     1135   1347 |        0 |        0
424.21/424.49	c  424s |      20 |   984809 |   862127 |     1135   1352 |        0 |        0
426.31/426.52	c  426s |      20 |   989254 |   866127 |     1135   1357 |        0 |        0
428.31/428.58	c  428s |      20 |   993666 |   870027 |     1135   1363 |        0 |        0
430.31/430.59	c  430s |      20 |   998192 |   874027 |     1135   1368 |        0 |        0
432.41/432.64	c  432s |      20 |  1002401 |   877827 |     1135   1373 |        0 |        0
434.41/434.65	c  434s |      20 |  1006467 |   881527 |     1135   1378 |        0 |        0
436.40/436.69	c  436s |      20 |  1010687 |   885327 |     1135   1383 |        0 |        0
438.40/438.69	c  438s |      20 |  1015218 |   889427 |     1135   1388 |        0 |        0
440.50/440.72	c  440s |      20 |  1019163 |   892927 |     1135   1393 |        0 |        0
442.50/442.75	c  442s |      20 |  1023983 |   897027 |     1135   1398 |        0 |        0
444.50/444.78	c  444s |      20 |  1028540 |   901127 |     1135   1404 |        0 |        0
446.60/446.82	c  446s |      20 |  1033434 |   905527 |     1135   1409 |        0 |        0
448.60/448.84	c  448s |      20 |  1037981 |   909627 |     1135   1415 |        0 |        0
450.59/450.86	c  450s |      20 |  1042545 |   913727 |     1135   1420 |        0 |        0
452.69/452.90	c  452s |      20 |  1046882 |   917627 |     1135   1425 |        0 |        0
454.69/454.92	c  454s |      20 |  1051582 |   921827 |     1135   1431 |        0 |        0
456.69/456.92	c  456s |      20 |  1056228 |   926027 |     1135   1436 |        0 |        0
458.69/458.95	c  458s |      20 |  1061126 |   930327 |     1135   1442 |        0 |        0
460.70/460.99	c  460s |      20 |  1065575 |   934327 |     1135   1447 |        0 |        0
462.79/463.01	c  462s |      20 |  1070157 |   938327 |     1135   1452 |        0 |        0
464.79/465.02	c  464s |      20 |  1074835 |   942527 |     1135   1458 |        0 |        0
466.78/467.06	c  467s |      20 |  1079657 |   946827 |     1135   1464 |        0 |        0
468.78/469.06	c  469s |      20 |  1084274 |   950927 |     1135   1469 |        0 |        0
470.78/471.09	c  471s |      20 |  1089124 |   955227 |     1135   1475 |        0 |        0
472.89/473.14	c  473s |      20 |  1093885 |   959427 |     1135   1480 |        0 |        0
474.88/475.17	c  475s |      20 |  1098371 |   963427 |     1135   1486 |        0 |        0
476.98/477.23	c  477s |      20 |  1102796 |   967427 |     1135   1491 |        0 |        0
478.98/479.24	c  479s |      20 |  1106836 |   971127 |     1135   1496 |        0 |        0
480.98/481.29	c  481s |      20 |  1111067 |   974827 |     1135   1501 |        0 |        0
483.08/483.31	c  483s |      20 |  1116600 |   979627 |     1135   1507 |        0 |        0
485.08/485.35	c  485s |      20 |  1121798 |   984327 |     1135   1513 |        0 |        0
487.08/487.37	c  487s |      20 |  1126714 |   988727 |     1135   1519 |        0 |        0
489.07/489.39	c  489s |      20 |  1131398 |   992927 |     1135   1524 |        0 |        0
491.17/491.44	c  491s |      20 |  1136140 |   997227 |     1249   1530 |        0 |        0
492.68/492.90	c  492s |      21 |  1139629 |  1000345 |     1249   1533 |        0 |        0
494.67/494.94	c  494s |      21 |  1145412 |  1005245 |     1249   1539 |        0 |        0
496.67/496.99	c  496s |      21 |  1150001 |  1009345 |     1249   1544 |        0 |        0
498.77/499.01	c  498s |      21 |  1154785 |  1013545 |     1249   1550 |        0 |        0
500.77/501.02	c  500s |      21 |  1159775 |  1017945 |     1249   1555 |        0 |        0
502.77/503.05	c  503s |      21 |  1164851 |  1022445 |     1249   1561 |        0 |        0
504.77/505.07	c  505s |      21 |  1169436 |  1026545 |     1249   1566 |        0 |        0
506.87/507.10	c  507s |      21 |  1173659 |  1030345 |     1249   1570 |        0 |        0
508.86/509.11	c  509s |      21 |  1178335 |  1034445 |     1249   1575 |        0 |        0
510.86/511.12	c  511s |      21 |  1183162 |  1038745 |     1249   1581 |        0 |        0
512.86/513.14	c  513s |      21 |  1187831 |  1042845 |     1249   1586 |        0 |        0
514.86/515.17	c  515s |      21 |  1192463 |  1046945 |     1249   1591 |        0 |        0
516.96/517.20	c  517s |      21 |  1196748 |  1050845 |     1249   1595 |        0 |        0
518.97/519.21	c  519s |      21 |  1201583 |  1055145 |     1249   1601 |        0 |        0
520.97/521.23	c  521s |      21 |  1206010 |  1059145 |     1249   1606 |        0 |        0
522.97/523.26	c  523s |      21 |  1210580 |  1063245 |     1249   1611 |        0 |        0
524.97/525.26	c  525s |      21 |  1214946 |  1067245 |     1249   1615 |        0 |        0
526.96/527.27	c  527s |      21 |  1219489 |  1071245 |     1249   1620 |        0 |        0
529.06/529.31	c  529s |      21 |  1223759 |  1075145 |     1249   1625 |        0 |        0
531.07/531.34	c  531s |      21 |  1228295 |  1079145 |     1249   1630 |        0 |        0
533.06/533.37	c  533s |      21 |  1232953 |  1083345 |     1249   1635 |        0 |        0
535.16/535.42	c  535s |      21 |  1237528 |  1087445 |     1249   1640 |        0 |        0
537.15/537.48	c  537s |      21 |  1242208 |  1091545 |     1249   1645 |        0 |        0
539.26/539.50	c  539s |      21 |  1246345 |  1095245 |     1249   1650 |        0 |        0
541.25/541.53	c  541s |      21 |  1250399 |  1098945 |     1249   1654 |        0 |        0
543.26/543.55	c  543s |      21 |  1254893 |  1102845 |     1249   1659 |        0 |        0
545.25/545.59	c  545s |      21 |  1259574 |  1107045 |     1249   1664 |        0 |        0
547.35/547.61	c  547s |      21 |  1264051 |  1111045 |     1249   1669 |        0 |        0
549.35/549.66	c  549s |      21 |  1268509 |  1115045 |     1249   1674 |        0 |        0
551.35/551.68	c  551s |      21 |  1273114 |  1119145 |     1249   1679 |        0 |        0
553.45/553.71	c  553s |      21 |  1277777 |  1123245 |     1249   1684 |        0 |        0
555.45/555.73	c  555s |      21 |  1282077 |  1127045 |     1249   1689 |        0 |        0
557.45/557.77	c  557s |      21 |  1285816 |  1130445 |     1249   1693 |        0 |        0
559.44/559.78	c  559s |      21 |  1290104 |  1134145 |     1249   1698 |        0 |        0
561.54/561.82	c  561s |      21 |  1294786 |  1138245 |     1249   1703 |        0 |        0
563.54/563.85	c  563s |      21 |  1298808 |  1141845 |     1249   1707 |        0 |        0
565.54/565.89	c  565s |      21 |  1303612 |  1146045 |     1249   1712 |        0 |        0
567.54/567.89	c  567s |      21 |  1307922 |  1149745 |     1249   1717 |        0 |        0
569.54/569.90	c  569s |      21 |  1311583 |  1152945 |     1249   1721 |        0 |        0
571.64/571.93	c  571s |      21 |  1315853 |  1156645 |     1249   1725 |        0 |        0
573.64/573.94	c  573s |      21 |  1320047 |  1160245 |     1249   1730 |        0 |        0
575.63/575.98	c  575s |      21 |  1324620 |  1164045 |     1249   1735 |        0 |        0
577.73/578.01	c  577s |      21 |  1329239 |  1167945 |     1249   1739 |        0 |        0
579.73/580.02	c  579s |      21 |  1333516 |  1171545 |     1249   1744 |        0 |        0
581.74/582.07	c  582s |      21 |  1338433 |  1175345 |     1249   1748 |        0 |        0
583.73/584.08	c  584s |      21 |  1342649 |  1178845 |     1249   1753 |        0 |        0
585.83/586.10	c  586s |      21 |  1346599 |  1182245 |     1249   1757 |        0 |        0
587.82/588.12	c  588s |      21 |  1350350 |  1185545 |     1249   1761 |        0 |        0
589.82/590.13	c  590s |      21 |  1354200 |  1188845 |     1249   1765 |        0 |        0
591.82/592.14	c  592s |      21 |  1358753 |  1192845 |     1249   1770 |        0 |        0
593.83/594.19	c  594s |      21 |  1363234 |  1196645 |     1249   1775 |        0 |        0
595.93/596.21	c  596s |      21 |  1367178 |  1200145 |     1249   1779 |        0 |        0
597.92/598.23	c  598s |      21 |  1370822 |  1203445 |     1249   1783 |        0 |        0
599.92/600.28	c  600s |      21 |  1374670 |  1206845 |     1249   1787 |        0 |        0
602.02/602.30	c  602s |      21 |  1378687 |  1210445 |     1249   1792 |        0 |        0
604.02/604.36	c  604s |      21 |  1382585 |  1213945 |     1249   1796 |        0 |        0
606.02/606.39	c  606s |      21 |  1386351 |  1217345 |     1249   1800 |        0 |        0
608.12/608.43	c  608s |      21 |  1390045 |  1220645 |     1249   1804 |        0 |        0
610.11/610.44	c  610s |      21 |  1394194 |  1224245 |     1249   1809 |        0 |        0
612.11/612.47	c  612s |      21 |  1398523 |  1228145 |     1249   1813 |        0 |        0
614.11/614.47	c  614s |      21 |  1402783 |  1231945 |     1249   1818 |        0 |        0
616.21/616.51	c  616s |      21 |  1407288 |  1235945 |     1249   1823 |        0 |        0
618.21/618.51	c  618s |      21 |  1411422 |  1239645 |     1249   1828 |        0 |        0
620.21/620.53	c  620s |      21 |  1415349 |  1243245 |     1249   1832 |        0 |        0
622.22/622.56	c  622s |      21 |  1419416 |  1246845 |     1249   1836 |        0 |        0
624.22/624.57	c  624s |      21 |  1423567 |  1250545 |     1249   1841 |        0 |        0
626.21/626.58	c  626s |      21 |  1427564 |  1254145 |     1249   1845 |        0 |        0
628.31/628.62	c  628s |      21 |  1431524 |  1257645 |     1249   1850 |        0 |        0
630.31/630.66	c  630s |      21 |  1435673 |  1261245 |     1249   1854 |        0 |        0
632.41/632.70	c  632s |      21 |  1439498 |  1264645 |     1249   1858 |        0 |        0
634.42/634.73	c  634s |      21 |  1443722 |  1268245 |     1249   1863 |        0 |        0
636.41/636.78	c  636s |      21 |  1448065 |  1271945 |     1249   1867 |        0 |        0
638.51/638.81	c  638s |      21 |  1451952 |  1275345 |     1249   1871 |        0 |        0
640.51/640.83	c  640s |      21 |  1455416 |  1278445 |     1249   1875 |        0 |        0
642.51/642.87	c  642s |      21 |  1459388 |  1281845 |     1249   1880 |        0 |        0
644.61/644.90	c  644s |      21 |  1462944 |  1284945 |     1249   1883 |        0 |        0
646.61/646.95	c  646s |      21 |  1466891 |  1288445 |     1249   1888 |        0 |        0
648.60/648.96	c  648s |      21 |  1470549 |  1291745 |     1249   1892 |        0 |        0
650.60/650.99	c  650s |      21 |  1474012 |  1294845 |     1249   1895 |        0 |        0
652.70/653.02	c  652s |      21 |  1477548 |  1298045 |     1249   1899 |        0 |        0
654.70/655.04	c  655s |      21 |  1481514 |  1301445 |     1249   1904 |        0 |        0
656.70/657.05	c  657s |      21 |  1485678 |  1305145 |     1249   1908 |        0 |        0
658.70/659.09	c  659s |      21 |  1489800 |  1308845 |     1249   1913 |        0 |        0
660.70/661.10	c  661s |      21 |  1494004 |  1312545 |     1249   1917 |        0 |        0
662.80/663.12	c  663s |      21 |  1498329 |  1316445 |     1249   1922 |        0 |        0
664.80/665.16	c  665s |      21 |  1502434 |  1320145 |     1249   1927 |        0 |        0
666.79/667.16	c  667s |      21 |  1506647 |  1323945 |     1249   1931 |        0 |        0
668.89/669.20	c  669s |      21 |  1510867 |  1327745 |     1249   1936 |        0 |        0
670.89/671.24	c  671s |      21 |  1514620 |  1331145 |     1249   1940 |        0 |        0
672.90/673.27	c  673s |      21 |  1519059 |  1335045 |     1249   1945 |        0 |        0
674.89/675.27	c  675s |      21 |  1523147 |  1338745 |     1249   1949 |        0 |        0
676.89/677.27	c  677s |      21 |  1526678 |  1341945 |     1249   1953 |        0 |        0
678.88/679.28	c  679s |      21 |  1530276 |  1345145 |     1249   1957 |        0 |        0
680.88/681.28	c  681s |      21 |  1534171 |  1348545 |     1249   1962 |        0 |        0
682.98/683.34	c  683s |      21 |  1537827 |  1351845 |     1249   1966 |        0 |        0
684.99/685.34	c  685s |      21 |  1541679 |  1355245 |     1249   1970 |        0 |        0
686.98/687.39	c  687s |      21 |  1545163 |  1358345 |     1249   1974 |        0 |        0
689.08/689.42	c  689s |      21 |  1549372 |  1362145 |     1249   1978 |        0 |        0
691.08/691.48	c  691s |      21 |  1553758 |  1366045 |     1249   1983 |        0 |        0
693.08/693.48	c  693s |      21 |  1557858 |  1369745 |     1249   1988 |        0 |        0
695.08/695.50	c  695s |      21 |  1561852 |  1373345 |     1249   1992 |        0 |        0
697.19/697.54	c  697s |      21 |  1565726 |  1376845 |     1249   1996 |        0 |        0
699.18/699.59	c  699s |      21 |  1570146 |  1380745 |     1249   2001 |        0 |        0
701.28/701.62	c  701s |      21 |  1574383 |  1384545 |     1249   2006 |        0 |        0
703.28/703.64	c  703s |      21 |  1578532 |  1388245 |     1249   2010 |        0 |        0
705.28/705.66	c  705s |      21 |  1582669 |  1391945 |     1249   2015 |        0 |        0
707.38/707.71	c  707s |      21 |  1587235 |  1396045 |     1249   2020 |        0 |        0
709.38/709.75	c  709s |      21 |  1591631 |  1399945 |     1249   2025 |        0 |        0
711.38/711.79	c  711s |      21 |  1595834 |  1403745 |     1249   2030 |        0 |        0
713.38/713.79	c  713s |      21 |  1600262 |  1407645 |     1249   2034 |        0 |        0
715.48/715.81	c  715s |      21 |  1604330 |  1411245 |     1249   2039 |        0 |        0
717.48/717.84	c  717s |      21 |  1608962 |  1415345 |     1249   2044 |        0 |        0
719.48/719.88	c  719s |      21 |  1613254 |  1419145 |     1249   2049 |        0 |        0
721.58/721.93	c  721s |      21 |  1617572 |  1422945 |     1249   2053 |        0 |        0
723.58/723.94	c  723s |      21 |  1621642 |  1426545 |     1249   2058 |        0 |        0
725.57/725.97	c  725s |      21 |  1625667 |  1430145 |     1249   2062 |        0 |        0
727.67/728.02	c  727s |      21 |  1629521 |  1433645 |     1249   2066 |        0 |        0
729.67/730.02	c  729s |      21 |  1633199 |  1436845 |     1249   2070 |        0 |        0
731.67/732.06	c  732s |      21 |  1636786 |  1440045 |     1249   2074 |        0 |        0
733.67/734.06	c  734s |      21 |  1640424 |  1443245 |     1249   2078 |        0 |        0
735.77/736.10	c  736s |      21 |  1644010 |  1446345 |     1249   2082 |        0 |        0
737.78/738.15	c  738s |      21 |  1647687 |  1449545 |     1249   2086 |        0 |        0
739.77/740.19	c  740s |      21 |  1651076 |  1452445 |     1249   2090 |        0 |        0
741.87/742.24	c  742s |      21 |  1654881 |  1455645 |     1249   2094 |        0 |        0
743.87/744.25	c  744s |      21 |  1658506 |  1458745 |     1249   2097 |        0 |        0
745.97/746.32	c  746s |      21 |  1661845 |  1461645 |     1249   2101 |        0 |        0
747.97/748.38	c  748s |      21 |  1664950 |  1464345 |     1249   2104 |        0 |        0
749.98/750.39	c  750s |      21 |  1668393 |  1467345 |     1249   2108 |        0 |        0
751.97/752.40	c  752s |      21 |  1671492 |  1470045 |     1249   2111 |        0 |        0
754.07/754.45	c  754s |      21 |  1675087 |  1473145 |     1249   2115 |        0 |        0
756.07/756.46	c  756s |      21 |  1678388 |  1476045 |     1249   2119 |        0 |        0
758.07/758.48	c  758s |      21 |  1681302 |  1478645 |     1249   2122 |        0 |        0
760.07/760.49	c  760s |      21 |  1685038 |  1481845 |     1249   2126 |        0 |        0
762.17/762.53	c  762s |      21 |  1688476 |  1484845 |     1249   2130 |        0 |        0
764.27/764.61	c  764s |      21 |  1692056 |  1487945 |     1249   2134 |        0 |        0
766.27/766.63	c  766s |      21 |  1695474 |  1490945 |     1374   2137 |        0 |        0
768.27/768.64	c  768s |      21 |  1698710 |  1493745 |     1374   2140 |        0 |        0
770.27/770.68	c  770s |      21 |  1701733 |  1496445 |     1374   2143 |        0 |        0
772.27/772.68	c  772s |      21 |  1704637 |  1499045 |     1374   2146 |        0 |        0
773.47/773.86	c  773s |      22 |  1706380 |  1500622 |     1374   2148 |        0 |        0
775.47/775.88	c  775s |      22 |  1712383 |  1505522 |     1374   2155 |        0 |        0
777.56/777.90	c  777s |      22 |  1717529 |  1510022 |     1374   2160 |        0 |        0
779.57/779.93	c  779s |      22 |  1723311 |  1514922 |     1374   2166 |        0 |        0
781.56/781.93	c  781s |      22 |  1728072 |  1519022 |     1374   2171 |        0 |        0
783.56/783.97	c  783s |      22 |  1733202 |  1523522 |     1374   2177 |        0 |        0
785.56/785.97	c  785s |      22 |  1738235 |  1527922 |     1374   2183 |        0 |        0
787.66/788.00	c  787s |      22 |  1743567 |  1532522 |     1374   2188 |        0 |        0
789.66/790.01	c  789s |      22 |  1748848 |  1537222 |     1374   2194 |        0 |        0
791.67/792.05	c  792s |      22 |  1753623 |  1541522 |     1374   2199 |        0 |        0
793.66/794.09	c  794s |      22 |  1759185 |  1546422 |     1374   2206 |        0 |        0
795.76/796.11	c  796s |      22 |  1764760 |  1551222 |     1374   2212 |        0 |        0
797.76/798.11	c  798s |      22 |  1770123 |  1555922 |     1374   2217 |        0 |        0
799.76/800.15	c  800s |      22 |  1775734 |  1560722 |     1374   2223 |        0 |        0
801.76/802.17	c  802s |      22 |  1781316 |  1565522 |     1374   2229 |        0 |        0
803.77/804.20	c  804s |      22 |  1786632 |  1570222 |     1374   2235 |        0 |        0
805.87/806.24	c  806s |      22 |  1792308 |  1575122 |     1374   2241 |        0 |        0
807.87/808.27	c  808s |      22 |  1797973 |  1580122 |     1374   2248 |        0 |        0
809.97/810.31	c  810s |      22 |  1803685 |  1585122 |     1374   2254 |        0 |        0
811.97/812.33	c  812s |      22 |  1809122 |  1589822 |     1374   2260 |        0 |        0
813.97/814.35	c  814s |      22 |  1814554 |  1594622 |     1374   2266 |        0 |        0
815.97/816.37	c  816s |      22 |  1820365 |  1599622 |     1374   2272 |        0 |        0
817.97/818.40	c  818s |      22 |  1825769 |  1604422 |     1374   2278 |        0 |        0
820.07/820.42	c  820s |      22 |  1831563 |  1609422 |     1374   2284 |        0 |        0
822.07/822.43	c  822s |      22 |  1837407 |  1614322 |     1374   2291 |        0 |        0
824.06/824.45	c  824s |      22 |  1842908 |  1619222 |     1374   2297 |        0 |        0
826.06/826.49	c  826s |      22 |  1848763 |  1624322 |     1374   2303 |        0 |        0
828.16/828.54	c  828s |      22 |  1853703 |  1628722 |     1374   2309 |        0 |        0
830.17/830.57	c  830s |      22 |  1858974 |  1633322 |     1374   2314 |        0 |        0
832.26/832.61	c  832s |      22 |  1864006 |  1637722 |     1374   2320 |        0 |        0
834.26/834.65	c  834s |      22 |  1868983 |  1642122 |     1374   2325 |        0 |        0
836.26/836.69	c  836s |      22 |  1874244 |  1646722 |     1374   2331 |        0 |        0
838.36/838.70	c  838s |      22 |  1879636 |  1651322 |     1374   2337 |        0 |        0
840.36/840.71	c  840s |      22 |  1885390 |  1656222 |     1374   2343 |        0 |        0
842.37/842.76	c  842s |      22 |  1890114 |  1660422 |     1374   2348 |        0 |        0
844.47/844.81	c  844s |      22 |  1895201 |  1664822 |     1374   2353 |        0 |        0
846.46/846.82	c  846s |      22 |  1899951 |  1669022 |     1374   2357 |        0 |        0
848.46/848.84	c  848s |      22 |  1904531 |  1673022 |     1374   2362 |        0 |        0
850.56/850.90	c  850s |      22 |  1908785 |  1676822 |     1374   2366 |        0 |        0
852.56/852.96	c  852s |      22 |  1913162 |  1680722 |     1374   2371 |        0 |        0
854.56/854.96	c  854s |      22 |  1917028 |  1684222 |     1374   2375 |        0 |        0
856.56/857.00	c  856s |      22 |  1921443 |  1688222 |     1374   2379 |        0 |        0
858.66/859.01	c  858s |      22 |  1925970 |  1692222 |     1374   2384 |        0 |        0
860.66/861.04	c  861s |      22 |  1930535 |  1696322 |     1374   2388 |        0 |        0
862.66/863.07	c  863s |      22 |  1935027 |  1700322 |     1374   2393 |        0 |        0
864.76/865.11	c  865s |      22 |  1939597 |  1704322 |     1374   2397 |        0 |        0
866.76/867.14	c  867s |      22 |  1943921 |  1708222 |     1374   2402 |        0 |        0
868.76/869.15	c  869s |      22 |  1948260 |  1712022 |     1374   2406 |        0 |        0
870.76/871.18	c  871s |      22 |  1952608 |  1715922 |     1374   2411 |        0 |        0
872.86/873.23	c  873s |      22 |  1959264 |  1719622 |     1374   2415 |        0 |        0
874.86/875.26	c  875s |      22 |  1965403 |  1723322 |     1374   2420 |        0 |        0
876.85/877.28	c  877s |      22 |  1971328 |  1727022 |     1374   2424 |        0 |        0
878.85/879.28	c  879s |      22 |  1977154 |  1730522 |     1374   2429 |        0 |        0
880.95/881.32	c  881s |      22 |  1982611 |  1733822 |     1374   2433 |        0 |        0
882.96/883.34	c  883s |      22 |  1988080 |  1737022 |     1374   2437 |        0 |        0
884.95/885.35	c  885s |      22 |  1995280 |  1740722 |     1374   2441 |        0 |        0
886.95/887.37	c  887s |      22 |  2000945 |  1744622 |     1374   2446 |        0 |        0
888.95/889.38	c  889s |      22 |  2005957 |  1748222 |     1374   2450 |        0 |        0
891.05/891.45	c  891s |      22 |  2010128 |  1751322 |     1374   2454 |        0 |        0
893.05/893.45	c  893s |      22 |  2014998 |  1754422 |     1374   2458 |        0 |        0
895.06/895.46	c  895s |      22 |  2021553 |  1757922 |     1374   2462 |        0 |        0
897.05/897.48	c  897s |      22 |  2027729 |  1761122 |     1374   2466 |        0 |        0
899.15/899.51	c  899s |      22 |  2033259 |  1764322 |     1374   2470 |        0 |        0
901.15/901.52	c  901s |      22 |  2038333 |  1767522 |     1374   2474 |        0 |        0
903.15/903.56	c  903s |      22 |  2043461 |  1770722 |     1374   2478 |        0 |        0
905.15/905.56	c  905s |      22 |  2049035 |  1775322 |     1374   2484 |        0 |        0
907.15/907.56	c  907s |      22 |  2053837 |  1779522 |     1374   2488 |        0 |        0
909.25/909.60	c  909s |      22 |  2058108 |  1783322 |     1374   2493 |        0 |        0
911.25/911.64	c  911s |      22 |  2062231 |  1787022 |     1374   2497 |        0 |        0
913.25/913.68	c  913s |      22 |  2066357 |  1790722 |     1374   2501 |        0 |        0
915.34/915.72	c  915s |      22 |  2070183 |  1794222 |     1374   2505 |        0 |        0
917.34/917.72	c  917s |      22 |  2074098 |  1797722 |     1374   2509 |        0 |        0
919.35/919.73	c  919s |      22 |  2078208 |  1801422 |     1374   2513 |        0 |        0
921.34/921.74	c  921s |      22 |  2082356 |  1805122 |     1374   2517 |        0 |        0
923.34/923.75	c  923s |      22 |  2086319 |  1808722 |     1374   2521 |        0 |        0
925.34/925.77	c  925s |      22 |  2090471 |  1812422 |     1374   2525 |        0 |        0
927.34/927.79	c  927s |      22 |  2094732 |  1816222 |     1374   2530 |        0 |        0
929.44/929.85	c  929s |      22 |  2098983 |  1820022 |     1374   2534 |        0 |        0
931.45/931.86	c  931s |      22 |  2102901 |  1823522 |     1374   2538 |        0 |        0
933.44/933.87	c  933s |      22 |  2107073 |  1827222 |     1374   2542 |        0 |        0
935.44/935.87	c  935s |      22 |  2111311 |  1831022 |     1374   2547 |        0 |        0
937.54/937.91	c  937s |      22 |  2115823 |  1834922 |     1374   2551 |        0 |        0
939.54/939.93	c  939s |      22 |  2119986 |  1838622 |     1374   2555 |        0 |        0
941.54/941.98	c  941s |      22 |  2124081 |  1842322 |     1374   2559 |        0 |        0
943.64/944.03	c  943s |      22 |  2128200 |  1846022 |     1374   2563 |        0 |        0
945.64/946.04	c  946s |      22 |  2132304 |  1849622 |     1374   2568 |        0 |        0
947.74/948.10	c  948s |      22 |  2136288 |  1853122 |     1374   2572 |        0 |        0
949.74/950.14	c  950s |      22 |  2140621 |  1856922 |     1374   2576 |        0 |        0
951.74/952.16	c  952s |      22 |  2144695 |  1860522 |     1374   2580 |        0 |        0
953.74/954.19	c  954s |      22 |  2148639 |  1864022 |     1374   2584 |        0 |        0
955.84/956.22	c  956s |      22 |  2152605 |  1867622 |     1374   2588 |        0 |        0
957.84/958.26	c  958s |      22 |  2156889 |  1871422 |     1374   2592 |        0 |        0
959.84/960.29	c  960s |      22 |  2160974 |  1875022 |     1374   2596 |        0 |        0
961.83/962.29	c  962s |      22 |  2165044 |  1878622 |     1374   2600 |        0 |        0
963.94/964.33	c  964s |      22 |  2169073 |  1882222 |     1374   2605 |        0 |        0
965.94/966.36	c  966s |      22 |  2172976 |  1885722 |     1374   2609 |        0 |        0
967.94/968.37	c  968s |      22 |  2177290 |  1889522 |     1374   2613 |        0 |        0
969.95/970.38	c  970s |      22 |  2181681 |  1893422 |     1374   2617 |        0 |        0
971.94/972.38	c  972s |      22 |  2185645 |  1897022 |     1374   2621 |        0 |        0
974.04/974.42	c  974s |      22 |  2189634 |  1900622 |     1374   2625 |        0 |        0
976.04/976.44	c  976s |      22 |  2193728 |  1904322 |     1374   2630 |        0 |        0
978.04/978.46	c  978s |      22 |  2197880 |  1908022 |     1374   2634 |        0 |        0
980.04/980.49	c  980s |      22 |  2202155 |  1911822 |     1374   2638 |        0 |        0
982.14/982.55	c  982s |      22 |  2207782 |  1915322 |     1374   2642 |        0 |        0
984.15/984.60	c  984s |      22 |  2212105 |  1918222 |     1374   2646 |        0 |        0
986.24/986.63	c  986s |      22 |  2216840 |  1921322 |     1374   2650 |        0 |        0
988.24/988.64	c  988s |      22 |  2222715 |  1924922 |     1374   2654 |        0 |        0
990.24/990.68	c  990s |      22 |  2227987 |  1928222 |     1374   2658 |        0 |        0
992.34/992.70	c  992s |      22 |  2232659 |  1931622 |     1374   2662 |        0 |        0
994.34/994.72	c  994s |      22 |  2237239 |  1935622 |     1374   2667 |        0 |        0
996.34/996.77	c  996s |      22 |  2241826 |  1939722 |     1374   2672 |        0 |        0
998.34/998.80	c  998s |      22 |  2246496 |  1943822 |     1374   2676 |        0 |        0
1000.43/1000.81	c 1000s |      22 |  2250897 |  1947722 |     1374   2681 |        0 |        0
1002.43/1002.83	c 1002s |      22 |  2255040 |  1951422 |     1374   2685 |        0 |        0
1004.43/1004.83	c 1004s |      22 |  2259305 |  1955222 |     1374   2689 |        0 |        0
1006.43/1006.87	c 1006s |      22 |  2263448 |  1958922 |     1374   2693 |        0 |        0
1008.53/1008.91	c 1008s |      22 |  2267424 |  1962522 |     1374   2697 |        0 |        0
1010.54/1010.98	c 1010s |      22 |  2271411 |  1966122 |     1374   2702 |        0 |        0
1012.63/1013.02	c 1012s |      22 |  2275053 |  1969422 |     1374   2705 |        0 |        0
1014.63/1015.07	c 1015s |      22 |  2278836 |  1972822 |     1374   2709 |        0 |        0
1016.63/1017.09	c 1017s |      22 |  2282326 |  1976022 |     1374   2713 |        0 |        0
1018.73/1019.11	c 1019s |      22 |  2286279 |  1979522 |     1374   2717 |        0 |        0
1020.73/1021.14	c 1021s |      22 |  2290273 |  1983122 |     1374   2721 |        0 |        0
1022.83/1023.20	c 1023s |      22 |  2294095 |  1986622 |     1374   2725 |        0 |        0
1024.84/1025.21	c 1025s |      22 |  2298464 |  1990422 |     1374   2729 |        0 |        0
1026.83/1027.25	c 1027s |      22 |  2302391 |  1994022 |     1374   2733 |        0 |        0
1028.83/1029.26	c 1029s |      22 |  2306168 |  1997422 |     1374   2737 |        0 |        0
1030.93/1031.33	c 1031s |      22 |  2310356 |  2001122 |     1374   2742 |        0 |        0
1032.93/1033.35	c 1033s |      22 |  2314082 |  2004422 |     1374   2745 |        0 |        0
1034.93/1035.38	c 1035s |      22 |  2318236 |  2008122 |     1374   2749 |        0 |        0
1037.03/1037.40	c 1037s |      22 |  2322169 |  2011622 |     1374   2753 |        0 |        0
1039.03/1039.45	c 1039s |      22 |  2326107 |  2015122 |     1374   2757 |        0 |        0
1041.02/1041.48	c 1041s |      22 |  2329560 |  2018122 |     1374   2761 |        0 |        0
1043.12/1043.54	c 1043s |      22 |  2334242 |  2021422 |     1374   2765 |        0 |        0
1045.12/1045.58	c 1045s |      22 |  2339377 |  2025022 |     1374   2769 |        0 |        0
1047.22/1047.64	c 1047s |      22 |  2344047 |  2028422 |     1374   2774 |        0 |        0
1049.22/1049.69	c 1049s |      22 |  2348292 |  2031522 |     1374   2777 |        0 |        0
1051.33/1051.74	c 1051s |      22 |  2353278 |  2034722 |     1374   2781 |        0 |        0
1053.32/1053.78	c 1053s |      22 |  2359058 |  2038222 |     1374   2786 |        0 |        0
1055.42/1055.81	c 1055s |      22 |  2365549 |  2041622 |     1374   2790 |        0 |        0
1057.42/1057.86	c 1057s |      22 |  2370266 |  2045422 |     1374   2794 |        0 |        0
1059.42/1059.88	c 1059s |      22 |  2375239 |  2048822 |     1374   2799 |        0 |        0
1061.52/1061.90	c 1061s |      22 |  2380072 |  2051922 |     1374   2803 |        0 |        0
1063.52/1063.95	c 1063s |      22 |  2386228 |  2055522 |     1374   2807 |        0 |        0
1065.53/1065.97	c 1065s |      22 |  2391437 |  2058922 |     1374   2811 |        0 |        0
1067.62/1068.02	c 1067s |      22 |  2396191 |  2062422 |     1374   2816 |        0 |        0
1069.62/1070.04	c 1070s |      22 |  2400200 |  2065422 |     1374   2819 |        0 |        0
1071.62/1072.06	c 1072s |      22 |  2405044 |  2068622 |     1374   2823 |        0 |        0
1073.72/1074.11	c 1074s |      22 |  2409151 |  2071722 |     1374   2827 |        0 |        0
1075.72/1076.15	c 1076s |      22 |  2413643 |  2074722 |     1374   2831 |        0 |        0
1077.73/1078.18	c 1078s |      22 |  2418024 |  2077822 |     1374   2835 |        0 |        0
1079.82/1080.22	c 1080s |      22 |  2423199 |  2080822 |     1374   2838 |        0 |        0
1081.82/1082.24	c 1082s |      22 |  2429486 |  2083822 |     1374   2842 |        0 |        0
1083.92/1084.30	c 1084s |      22 |  2434753 |  2086822 |     1374   2846 |        0 |        0
1085.92/1086.31	c 1086s |      22 |  2440038 |  2090122 |     1374   2850 |        0 |        0
1087.92/1088.32	c 1088s |      22 |  2444957 |  2093222 |     1374   2854 |        0 |        0
1089.92/1090.38	c 1090s |      22 |  2450135 |  2096522 |     1374   2858 |        0 |        0
1092.02/1092.42	c 1092s |      22 |  2454556 |  2099322 |     1374   2861 |        0 |        0
1094.01/1094.42	c 1094s |      22 |  2459620 |  2102522 |     1374   2865 |        0 |        0
1096.01/1096.46	c 1096s |      22 |  2464234 |  2105822 |     1374   2869 |        0 |        0
1098.11/1098.50	c 1098s |      22 |  2469361 |  2109022 |     1374   2873 |        0 |        0
1100.11/1100.51	c 1100s |      22 |  2474753 |  2111822 |     1374   2877 |        0 |        0
1102.11/1102.54	c 1102s |      22 |  2479794 |  2115222 |     1374   2881 |        0 |        0
1104.12/1104.54	c 1104s |      22 |  2484600 |  2117922 |     1374   2884 |        0 |        0
1106.12/1106.57	c 1106s |      22 |  2489990 |  2121122 |     1374   2888 |        0 |        0
1108.22/1108.60	c 1108s |      22 |  2495958 |  2124522 |     1374   2893 |        0 |        0
1110.22/1110.61	c 1110s |      22 |  2501618 |  2127822 |     1374   2897 |        0 |        0
1112.22/1112.62	c 1112s |      22 |  2508392 |  2131622 |     1374   2901 |        0 |        0
1114.22/1114.64	c 1114s |      22 |  2515173 |  2135322 |     1374   2906 |        0 |        0
1116.23/1116.68	c 1116s |      22 |  2520770 |  2138522 |     1374   2910 |        0 |        0
1118.22/1118.69	c 1118s |      22 |  2527144 |  2141922 |     1374   2914 |        0 |        0
1120.32/1120.75	c 1120s |      22 |  2532613 |  2144822 |     1374   2918 |        0 |        0
1122.32/1122.77	c 1122s |      22 |  2538690 |  2149622 |     1374   2923 |        0 |        0
1124.42/1124.81	c 1124s |      22 |  2543516 |  2153822 |     1374   2928 |        0 |        0
1126.42/1126.84	c 1126s |      22 |  2547982 |  2157822 |     1374   2933 |        0 |        0
1128.42/1128.88	c 1128s |      22 |  2552345 |  2161722 |     1374   2937 |        0 |        0
1130.42/1130.89	c 1130s |      22 |  2556584 |  2165522 |     1374   2941 |        0 |        0
1132.52/1132.96	c 1132s |      22 |  2560354 |  2168922 |     1374   2945 |        0 |        0
1134.52/1134.99	c 1134s |      22 |  2564630 |  2172622 |     1374   2949 |        0 |        0
1136.52/1136.99	c 1136s |      22 |  2568341 |  2175922 |     1374   2953 |        0 |        0
1138.62/1139.03	c 1138s |      22 |  2572243 |  2179422 |     1374   2957 |        0 |        0
1140.62/1141.07	c 1141s |      22 |  2576445 |  2183122 |     1374   2961 |        0 |        0
1142.62/1143.07	c 1143s |      22 |  2580283 |  2186622 |     1374   2965 |        0 |        0
1144.72/1145.14	c 1145s |      22 |  2584366 |  2190222 |     1374   2970 |        0 |        0
1146.71/1147.17	c 1147s |      22 |  2588671 |  2194022 |     1374   2974 |        0 |        0
1148.71/1149.19	c 1149s |      22 |  2592815 |  2197722 |     1374   2978 |        0 |        0
1150.81/1151.20	c 1151s |      22 |  2596650 |  2201122 |     1374   2982 |        0 |        0
1152.81/1153.24	c 1153s |      22 |  2600833 |  2204822 |     1374   2986 |        0 |        0
1154.81/1155.26	c 1155s |      22 |  2604801 |  2208422 |     1374   2990 |        0 |        0
1156.82/1157.29	c 1157s |      22 |  2608528 |  2211822 |     1374   2994 |        0 |        0
1158.91/1159.36	c 1159s |      22 |  2612826 |  2215622 |     1374   2999 |        0 |        0
1160.91/1161.38	c 1161s |      22 |  2616561 |  2219022 |     1374   3002 |        0 |        0
1163.01/1163.43	c 1163s |      22 |  2620621 |  2222622 |     1374   3007 |        0 |        0
1165.01/1165.46	c 1165s |      22 |  2624804 |  2226222 |     1374   3011 |        0 |        0
1167.01/1167.49	c 1167s |      22 |  2628976 |  2229922 |     1374   3015 |        0 |        0
1169.11/1169.50	c 1169s |      22 |  2633207 |  2233622 |     1374   3019 |        0 |        0
1171.12/1171.52	c 1171s |      22 |  2637101 |  2237122 |     1512   3023 |        0 |        0
1173.11/1173.58	c 1173s |      22 |  2641105 |  2240722 |     1512   3027 |        0 |        0
1175.11/1175.58	c 1175s |      22 |  2645055 |  2244122 |     1512   3030 |        0 |        0
1177.21/1177.63	c 1177s |      22 |  2648839 |  2247522 |     1512   3034 |        0 |        0
1179.21/1179.68	c 1179s |      22 |  2652999 |  2250922 |     1512   3038 |        0 |        0
1179.31/1179.72	c 1179s |      23 |  2653384 |  2251038 |     1512   3038 |        0 |        0
1181.31/1181.77	c 1181s |      23 |  2659481 |  2254638 |     1512   3042 |        0 |        0
1183.31/1183.79	c 1183s |      23 |  2664067 |  2257938 |     1512   3045 |        0 |        0
1185.41/1185.83	c 1185s |      23 |  2668411 |  2261038 |     1512   3048 |        0 |        0
1187.40/1187.88	c 1187s |      23 |  2672338 |  2263838 |     1512   3052 |        0 |        0
1189.50/1189.97	c 1189s |      23 |  2675962 |  2266538 |     1512   3054 |        0 |        0
1191.50/1191.97	c 1191s |      23 |  2680695 |  2270038 |     1512   3058 |        0 |        0
1193.50/1193.99	c 1193s |      23 |  2684750 |  2273338 |     1512   3062 |        0 |        0
1195.60/1196.07	c 1196s |      23 |  2688764 |  2276438 |     1512   3065 |        0 |        0
1197.61/1198.08	c 1198s |      23 |  2693174 |  2279638 |     1512   3069 |        0 |        0
1199.60/1200.09	c 1200s |      23 |  2697326 |  2282538 |     1512   3072 |        0 |        0
1201.70/1202.16	c 1202s |      23 |  2700585 |  2285038 |     1512   3074 |        0 |        0
1203.80/1204.20	c 1204s |      23 |  2704372 |  2287838 |     1512   3077 |        0 |        0
1205.80/1206.25	c 1206s |      23 |  2709104 |  2291238 |     1512   3081 |        0 |        0
1207.80/1208.27	c 1208s |      23 |  2713996 |  2294638 |     1512   3085 |        0 |        0
1209.90/1210.31	c 1210s |      23 |  2718297 |  2298038 |     1512   3088 |        0 |        0
1211.91/1212.35	c 1212s |      23 |  2722334 |  2301238 |     1512   3092 |        0 |        0
1213.90/1214.37	c 1214s |      23 |  2725904 |  2304138 |     1512   3095 |        0 |        0
1215.90/1216.39	c 1216s |      23 |  2729571 |  2307038 |     1512   3098 |        0 |        0
1218.00/1218.42	c 1218s |      23 |  2733421 |  2309938 |     1512   3101 |        0 |        0
1220.00/1220.44	c 1220s |      23 |  2736936 |  2312738 |     1512   3104 |        0 |        0
1222.00/1222.48	c 1222s |      23 |  2741384 |  2316138 |     1512   3108 |        0 |        0
1224.10/1224.52	c 1224s |      23 |  2746164 |  2319638 |     1512   3112 |        0 |        0
1226.10/1226.57	c 1226s |      23 |  2749731 |  2322638 |     1512   3115 |        0 |        0
1228.20/1228.61	c 1228s |      23 |  2753778 |  2325838 |     1512   3118 |        0 |        0
1230.20/1230.63	c 1230s |      23 |  2757626 |  2328838 |     1512   3122 |        0 |        0
1232.20/1232.65	c 1232s |      23 |  2761004 |  2331538 |     1512   3124 |        0 |        0
1234.30/1234.70	c 1234s |      23 |  2764723 |  2334338 |     1512   3127 |        0 |        0
1236.30/1236.71	c 1236s |      23 |  2768257 |  2337238 |     1512   3131 |        0 |        0
1238.30/1238.74	c 1238s |      23 |  2771750 |  2340138 |     1512   3134 |        0 |        0
1240.30/1240.76	c 1240s |      23 |  2775238 |  2342938 |     1512   3137 |        0 |        0
1242.40/1242.81	c 1242s |      23 |  2778780 |  2345538 |     1512   3140 |        0 |        0
1244.39/1244.85	c 1244s |      23 |  2783498 |  2348938 |     1512   3143 |        0 |        0
1246.39/1246.88	c 1246s |      23 |  2787918 |  2352438 |     1512   3147 |        0 |        0
1248.49/1248.91	c 1248s |      23 |  2792247 |  2355738 |     1512   3151 |        0 |        0
1250.49/1250.96	c 1250s |      23 |  2796748 |  2359038 |     1512   3154 |        0 |        0
1252.50/1252.97	c 1252s |      23 |  2800988 |  2362138 |     1512   3158 |        0 |        0
1254.59/1255.00	c 1254s |      23 |  2804736 |  2364938 |     1512   3161 |        0 |        0
1256.59/1257.01	c 1256s |      23 |  2809200 |  2368138 |     1512   3164 |        0 |        0
1258.59/1259.03	c 1259s |      23 |  2813313 |  2371238 |     1512   3167 |        0 |        0
1260.59/1261.09	c 1261s |      23 |  2817683 |  2374438 |     1512   3171 |        0 |        0
1262.69/1263.16	c 1263s |      23 |  2821429 |  2377238 |     1512   3174 |        0 |        0
1264.79/1265.21	c 1265s |      23 |  2825237 |  2380038 |     1512   3177 |        0 |        0
1266.80/1267.25	c 1267s |      23 |  2828545 |  2382538 |     1512   3180 |        0 |        0
1268.79/1269.28	c 1269s |      23 |  2831387 |  2384838 |     1512   3182 |        0 |        0
1270.89/1271.34	c 1271s |      23 |  2835074 |  2387838 |     1512   3185 |        0 |        0
1272.89/1273.39	c 1273s |      23 |  2839064 |  2390938 |     1512   3189 |        0 |        0
1274.99/1275.43	c 1275s |      23 |  2843420 |  2393938 |     1512   3192 |        0 |        0
1276.99/1277.45	c 1277s |      23 |  2847138 |  2396638 |     1512   3195 |        0 |        0
1279.00/1279.46	c 1279s |      23 |  2851017 |  2399538 |     1512   3198 |        0 |        0
1280.99/1281.47	c 1281s |      23 |  2855073 |  2402638 |     1512   3201 |        0 |        0
1283.09/1283.51	c 1283s |      23 |  2859021 |  2405538 |     1512   3204 |        0 |        0
1285.09/1285.52	c 1285s |      23 |  2862962 |  2408238 |     1512   3207 |        0 |        0
1287.09/1287.55	c 1287s |      23 |  2866306 |  2410738 |     1512   3210 |        0 |        0
1289.09/1289.55	c 1289s |      23 |  2869762 |  2413338 |     1512   3213 |        0 |        0
1291.18/1291.60	c 1291s |      23 |  2874698 |  2416638 |     1512   3216 |        0 |        0
1293.19/1293.65	c 1293s |      23 |  2879284 |  2420038 |     1512   3220 |        0 |        0
1295.29/1295.72	c 1295s |      23 |  2883743 |  2423238 |     1512   3224 |        0 |        0
1297.29/1297.73	c 1297s |      23 |  2887641 |  2426138 |     1512   3227 |        0 |        0
1299.29/1299.74	c 1299s |      23 |  2891979 |  2429038 |     1512   3230 |        0 |        0
1301.29/1301.79	c 1301s |      23 |  2896286 |  2432238 |     1512   3233 |        0 |        0
1303.39/1303.86	c 1303s |      23 |  2900034 |  2434938 |     1512   3236 |        0 |        0
1305.49/1305.92	c 1305s |      23 |  2903261 |  2437738 |     1512   3239 |        0 |        0
1307.50/1307.96	c 1307s |      23 |  2907725 |  2440738 |     1512   3243 |        0 |        0
1309.49/1309.99	c 1309s |      23 |  2911793 |  2443638 |     1512   3246 |        0 |        0
1311.59/1312.04	c 1312s |      23 |  2916004 |  2446538 |     1512   3249 |        0 |        0
1313.59/1314.08	c 1314s |      23 |  2919724 |  2449138 |     1512   3252 |        0 |        0
1315.59/1316.08	c 1316s |      23 |  2922891 |  2451538 |     1512   3254 |        0 |        0
1317.69/1318.13	c 1318s |      23 |  2926923 |  2454538 |     1512   3258 |        0 |        0
1319.69/1320.14	c 1320s |      23 |  2930628 |  2457038 |     1512   3260 |        0 |        0
1321.69/1322.15	c 1322s |      23 |  2934044 |  2459338 |     1512   3263 |        0 |        0
1323.69/1324.19	c 1324s |      23 |  2937847 |  2462238 |     1512   3266 |        0 |        0
1325.79/1326.26	c 1326s |      23 |  2941200 |  2464938 |     1512   3269 |        0 |        0
1327.79/1328.27	c 1328s |      23 |  2945299 |  2467638 |     1512   3272 |        0 |        0
1329.89/1330.35	c 1330s |      23 |  2949050 |  2470438 |     1512   3275 |        0 |        0
1331.89/1332.36	c 1332s |      23 |  2952236 |  2472938 |     1512   3278 |        0 |        0
1333.89/1334.38	c 1334s |      23 |  2955164 |  2475238 |     1512   3280 |        0 |        0
1335.98/1336.41	c 1336s |      23 |  2958390 |  2477638 |     1512   3283 |        0 |        0
1338.08/1338.50	c 1338s |      23 |  2961403 |  2480038 |     1512   3285 |        0 |        0
1340.08/1340.50	c 1340s |      23 |  2964986 |  2482538 |     1512   3288 |        0 |        0
1342.08/1342.51	c 1342s |      23 |  2968026 |  2484738 |     1512   3290 |        0 |        0
1344.08/1344.55	c 1344s |      23 |  2971657 |  2487538 |     1512   3293 |        0 |        0
1346.09/1346.58	c 1346s |      23 |  2976194 |  2490638 |     1512   3297 |        0 |        0
1348.08/1348.59	c 1348s |      23 |  2980151 |  2493538 |     1512   3300 |        0 |        0
1350.18/1350.64	c 1350s |      23 |  2983961 |  2496438 |     1512   3303 |        0 |        0
1352.28/1352.70	c 1352s |      23 |  2988407 |  2499538 |     1512   3306 |        0 |        0
1354.28/1354.78	c 1354s |      23 |  2991942 |  2502438 |     1512   3310 |        0 |        0
1356.38/1356.80	c 1356s |      23 |  2996070 |  2505538 |     1512   3313 |        0 |        0
1358.38/1358.85	c 1358s |      23 |  3000541 |  2508738 |     1512   3316 |        0 |        0
1360.38/1360.87	c 1360s |      23 |  3004040 |  2511338 |     1512   3319 |        0 |        0
1362.48/1362.92	c 1362s |      23 |  3008161 |  2514538 |     1512   3323 |        0 |        0
1364.48/1364.92	c 1364s |      23 |  3011735 |  2517338 |     1512   3326 |        0 |        0
1366.48/1366.94	c 1366s |      23 |  3015841 |  2520338 |     1512   3329 |        0 |        0
1368.48/1368.97	c 1368s |      23 |  3019503 |  2523038 |     1512   3332 |        0 |        0
1370.48/1370.98	c 1370s |      23 |  3023013 |  2525838 |     1512   3335 |        0 |        0
1372.58/1373.01	c 1372s |      23 |  3026759 |  2528638 |     1512   3338 |        0 |        0
1374.58/1375.05	c 1375s |      23 |  3030130 |  2531238 |     1512   3341 |        0 |        0
1376.57/1377.06	c 1377s |      23 |  3033482 |  2534038 |     1512   3344 |        0 |        0
1378.67/1379.11	c 1379s |      23 |  3037569 |  2537138 |     1512   3347 |        0 |        0
1380.67/1381.13	c 1381s |      23 |  3041354 |  2540038 |     1512   3350 |        0 |        0
1382.67/1383.17	c 1383s |      23 |  3045447 |  2542938 |     1512   3353 |        0 |        0
1384.67/1385.18	c 1385s |      23 |  3050646 |  2546238 |     1512   3357 |        0 |        0
1386.68/1387.20	c 1387s |      23 |  3055717 |  2549238 |     1512   3360 |        0 |        0
1388.77/1389.27	c 1389s |      23 |  3060457 |  2552438 |     1512   3364 |        0 |        0
1390.87/1391.33	c 1391s |      23 |  3064096 |  2555138 |     1512   3367 |        0 |        0
1392.87/1393.38	c 1393s |      23 |  3067430 |  2557738 |     1512   3369 |        0 |        0
1394.97/1395.42	c 1395s |      23 |  3070989 |  2560338 |     1512   3372 |        0 |        0
1396.97/1397.42	c 1397s |      23 |  3075410 |  2563438 |     1512   3376 |        0 |        0
1398.97/1399.45	c 1399s |      23 |  3079944 |  2566438 |     1512   3379 |        0 |        0
1400.98/1401.46	c 1401s |      23 |  3083889 |  2569638 |     1512   3382 |        0 |        0
1402.97/1403.46	c 1403s |      23 |  3088174 |  2572638 |     1512   3385 |        0 |        0
1404.97/1405.49	c 1405s |      23 |  3091994 |  2575638 |     1512   3389 |        0 |        0
1407.07/1407.51	c 1407s |      23 |  3096005 |  2578638 |     1512   3392 |        0 |        0
1409.07/1409.59	c 1409s |      23 |  3100075 |  2581638 |     1512   3395 |        0 |        0
1411.17/1411.61	c 1411s |      23 |  3102765 |  2583838 |     1512   3398 |        0 |        0
1413.17/1413.64	c 1413s |      23 |  3106015 |  2586238 |     1512   3400 |        0 |        0
1415.27/1415.71	c 1415s |      23 |  3109507 |  2588838 |     1512   3403 |        0 |        0
1417.27/1417.77	c 1417s |      23 |  3112592 |  2591238 |     1512   3406 |        0 |        0
1419.37/1419.83	c 1419s |      23 |  3116180 |  2593738 |     1512   3408 |        0 |        0
1421.36/1421.88	c 1421s |      23 |  3119308 |  2595938 |     1512   3411 |        0 |        0
1423.47/1423.93	c 1423s |      23 |  3122525 |  2598238 |     1512   3413 |        0 |        0
1425.47/1425.96	c 1425s |      23 |  3125668 |  2600438 |     1512   3416 |        0 |        0
1427.48/1427.98	c 1427s |      23 |  3128529 |  2602538 |     1512   3418 |        0 |        0
1429.58/1430.00	c 1429s |      23 |  3131379 |  2604638 |     1512   3420 |        0 |        0
1431.57/1432.06	c 1432s |      23 |  3134122 |  2606638 |     1512   3422 |        0 |        0
1433.57/1434.07	c 1434s |      23 |  3138399 |  2609438 |     1512   3425 |        0 |        0
1435.57/1436.08	c 1436s |      23 |  3142258 |  2612538 |     1512   3429 |        0 |        0
1437.57/1438.09	c 1438s |      23 |  3146000 |  2615438 |     1512   3432 |        0 |        0
1439.67/1440.11	c 1440s |      23 |  3150202 |  2618438 |     1512   3435 |        0 |        0
1441.68/1442.17	c 1442s |      23 |  3154097 |  2621238 |     1512   3438 |        0 |        0
1443.77/1444.23	c 1444s |      23 |  3158449 |  2624238 |     1512   3441 |        0 |        0
1445.77/1446.23	c 1446s |      23 |  3162334 |  2626938 |     1512   3444 |        0 |        0
1447.87/1448.30	c 1448s |      23 |  3165973 |  2629538 |     1512   3447 |        0 |        0
1449.87/1450.33	c 1450s |      23 |  3169649 |  2632238 |     1512   3450 |        0 |        0
1451.87/1452.35	c 1452s |      23 |  3173265 |  2634838 |     1512   3453 |        0 |        0
1453.97/1454.42	c 1454s |      23 |  3177992 |  2638338 |     1512   3457 |        0 |        0
1455.97/1456.43	c 1456s |      23 |  3181696 |  2641238 |     1512   3460 |        0 |        0
1457.97/1458.45	c 1458s |      23 |  3185683 |  2644238 |     1512   3463 |        0 |        0
1459.97/1460.49	c 1460s |      23 |  3189618 |  2647238 |     1512   3466 |        0 |        0
1462.06/1462.57	c 1462s |      23 |  3193154 |  2650138 |     1512   3469 |        0 |        0
1464.06/1464.58	c 1464s |      23 |  3196738 |  2652838 |     1512   3472 |        0 |        0
1466.16/1466.60	c 1466s |      23 |  3199888 |  2655338 |     1512   3475 |        0 |        0
1468.17/1468.64	c 1468s |      23 |  3203776 |  2658238 |     1512   3478 |        0 |        0
1470.16/1470.69	c 1470s |      23 |  3207970 |  2661238 |     1512   3481 |        0 |        0
1472.26/1472.74	c 1472s |      23 |  3212491 |  2664338 |     1512   3485 |        0 |        0
1474.36/1474.82	c 1474s |      23 |  3216805 |  2667338 |     1512   3488 |        0 |        0
1476.36/1476.87	c 1476s |      23 |  3220426 |  2670138 |     1512   3491 |        0 |        0
1478.36/1478.89	c 1478s |      23 |  3224158 |  2672938 |     1512   3494 |        0 |        0
1480.46/1480.94	c 1480s |      23 |  3227995 |  2676038 |     1512   3497 |        0 |        0
1482.47/1482.94	c 1482s |      23 |  3231636 |  2678938 |     1512   3501 |        0 |        0
1484.46/1484.98	c 1484s |      23 |  3235350 |  2681938 |     1512   3504 |        0 |        0
1486.56/1487.04	c 1487s |      23 |  3238980 |  2684838 |     1512   3507 |        0 |        0
1488.56/1489.06	c 1489s |      23 |  3242805 |  2687638 |     1512   3510 |        0 |        0
1490.56/1491.06	c 1491s |      23 |  3246603 |  2690338 |     1512   3513 |        0 |        0
1492.56/1493.09	c 1493s |      23 |  3249942 |  2692938 |     1512   3516 |        0 |        0
1494.66/1495.13	c 1495s |      23 |  3253156 |  2695338 |     1512   3518 |        0 |        0
1496.67/1497.19	c 1497s |      23 |  3257605 |  2698338 |     1512   3522 |        0 |        0
1498.76/1499.26	c 1499s |      23 |  3261186 |  2701138 |     1512   3525 |        0 |        0
1500.86/1501.34	c 1501s |      23 |  3265151 |  2704238 |     1512   3528 |        0 |        0
1502.86/1503.34	c 1503s |      23 |  3268658 |  2706838 |     1512   3531 |        0 |        0
1504.96/1505.41	c 1505s |      23 |  3272517 |  2709838 |     1512   3534 |        0 |        0
1506.96/1507.45	c 1507s |      23 |  3276219 |  2712738 |     1512   3537 |        0 |        0
1509.06/1509.52	c 1509s |      23 |  3280968 |  2715838 |     1512   3540 |        0 |        0
1511.06/1511.57	c 1511s |      23 |  3284503 |  2718638 |     1512   3544 |        0 |        0
1513.06/1513.60	c 1513s |      23 |  3288108 |  2721538 |     1512   3547 |        0 |        0
1515.16/1515.67	c 1515s |      23 |  3291711 |  2724438 |     1512   3550 |        0 |        0
1517.16/1517.68	c 1517s |      23 |  3296086 |  2727238 |     1512   3553 |        0 |        0
1519.26/1519.71	c 1519s |      23 |  3299628 |  2729938 |     1512   3556 |        0 |        0
1521.25/1521.75	c 1521s |      23 |  3302943 |  2732438 |     1512   3558 |        0 |        0
1523.35/1523.80	c 1523s |      23 |  3306646 |  2735138 |     1512   3561 |        0 |        0
1525.36/1525.84	c 1525s |      23 |  3310012 |  2737638 |     1512   3564 |        0 |        0
1527.46/1527.91	c 1527s |      23 |  3312935 |  2740038 |     1512   3567 |        0 |        0
1529.45/1529.93	c 1529s |      23 |  3316240 |  2742438 |     1512   3569 |        0 |        0
1531.45/1531.97	c 1531s |      23 |  3319496 |  2744938 |     1512   3572 |        0 |        0
1533.55/1534.01	c 1533s |      23 |  3322191 |  2747138 |     1512   3574 |        0 |        0
1535.55/1536.02	c 1535s |      23 |  3325205 |  2749238 |     1512   3577 |        0 |        0
1537.55/1538.05	c 1538s |      23 |  3328519 |  2751538 |     1512   3579 |        0 |        0
1539.66/1540.11	c 1540s |      23 |  3331561 |  2753738 |     1512   3582 |        0 |        0
1541.65/1542.13	c 1542s |      23 |  3334245 |  2755938 |     1512   3584 |        0 |        0
1543.65/1544.17	c 1544s |      23 |  3337421 |  2758238 |     1512   3586 |        0 |        0
1545.65/1546.17	c 1546s |      23 |  3340451 |  2760538 |     1512   3589 |        0 |        0
1547.75/1548.22	c 1548s |      23 |  3343100 |  2762638 |     1512   3591 |        0 |        0
1549.75/1550.24	c 1550s |      23 |  3345614 |  2764638 |     1512   3593 |        0 |        0
1551.76/1552.27	c 1552s |      23 |  3348590 |  2766838 |     1512   3596 |        0 |        0
1553.75/1554.29	c 1554s |      23 |  3353101 |  2770038 |     1512   3599 |        0 |        0
1555.85/1556.34	c 1556s |      23 |  3357870 |  2773238 |     1512   3603 |        0 |        0
1557.85/1558.37	c 1558s |      23 |  3361851 |  2776238 |     1512   3606 |        0 |        0
1559.95/1560.43	c 1560s |      23 |  3365428 |  2778938 |     1512   3609 |        0 |        0
1561.95/1562.44	c 1562s |      23 |  3369028 |  2781738 |     1512   3612 |        0 |        0
1564.05/1564.51	c 1564s |      23 |  3372712 |  2784638 |     1512   3615 |        0 |        0
1566.05/1566.57	c 1566s |      23 |  3376798 |  2787438 |     1512   3618 |        0 |        0
1568.15/1568.65	c 1568s |      23 |  3380443 |  2790138 |     1512   3621 |        0 |        0
1570.15/1570.67	c 1570s |      23 |  3384081 |  2792838 |     1512   3624 |        0 |        0
1572.15/1572.67	c 1572s |      23 |  3387534 |  2795438 |     1512   3627 |        0 |        0
1574.14/1574.69	c 1574s |      23 |  3390805 |  2797938 |     1512   3629 |        0 |        0
1576.24/1576.73	c 1576s |      23 |  3394697 |  2800638 |     1512   3632 |        0 |        0
1578.24/1578.77	c 1578s |      23 |  3398022 |  2803038 |     1512   3635 |        0 |        0
1580.35/1580.85	c 1580s |      23 |  3401020 |  2805438 |     1512   3638 |        0 |        0
1582.34/1582.89	c 1582s |      23 |  3404806 |  2807938 |     1512   3640 |        0 |        0
1584.44/1584.97	c 1584s |      23 |  3408252 |  2810438 |     1512   3643 |        0 |        0
1586.54/1587.05	c 1587s |      23 |  3411595 |  2812938 |     1512   3646 |        0 |        0
1588.64/1589.15	c 1589s |      23 |  3414416 |  2815238 |     1512   3648 |        0 |        0
1590.74/1591.25	c 1591s |      23 |  3417529 |  2817538 |     1512   3651 |        0 |        0
1592.84/1593.31	c 1593s |      23 |  3421154 |  2820138 |     1512   3654 |        0 |        0
1594.84/1595.32	c 1595s |      23 |  3425197 |  2822738 |     1512   3657 |        0 |        0
1596.85/1597.34	c 1597s |      23 |  3429304 |  2825538 |     1512   3660 |        0 |        0
1598.95/1599.41	c 1599s |      23 |  3433029 |  2828238 |     1512   3662 |        0 |        0
1600.95/1601.44	c 1601s |      23 |  3436687 |  2830738 |     1512   3665 |        0 |        0
1602.95/1603.45	c 1603s |      23 |  3440319 |  2833238 |     1512   3668 |        0 |        0
1604.95/1605.45	c 1605s |      23 |  3443623 |  2835638 |     1512   3671 |        0 |        0
1606.95/1607.46	c 1607s |      23 |  3446300 |  2837838 |     1512   3673 |        0 |        0
1609.05/1609.51	c 1609s |      23 |  3449175 |  2840138 |     1512   3675 |        0 |        0
1611.05/1611.51	c 1611s |      23 |  3451973 |  2842438 |     1512   3678 |        0 |        0
1613.04/1613.54	c 1613s |      23 |  3455091 |  2844938 |     1512   3681 |        0 |        0
1615.04/1615.55	c 1615s |      23 |  3457939 |  2847238 |     1512   3683 |        0 |        0
1617.05/1617.57	c 1617s |      23 |  3461318 |  2849638 |     1512   3686 |        0 |        0
1619.14/1619.60	c 1619s |      23 |  3465024 |  2852338 |     1512   3689 |        0 |        0
1621.14/1621.66	c 1621s |      23 |  3469072 |  2855338 |     1512   3692 |        0 |        0
1623.15/1623.66	c 1623s |      23 |  3472875 |  2858138 |     1512   3695 |        0 |        0
1625.24/1625.72	c 1625s |      23 |  3476343 |  2860838 |     1512   3698 |        0 |        0
1627.24/1627.72	c 1627s |      23 |  3479972 |  2863638 |     1512   3701 |        0 |        0
1629.24/1629.78	c 1629s |      23 |  3483811 |  2866538 |     1512   3704 |        0 |        0
1631.34/1631.83	c 1631s |      23 |  3487736 |  2869438 |     1512   3707 |        0 |        0
1633.34/1633.89	c 1633s |      23 |  3491146 |  2872038 |     1512   3710 |        0 |        0
1635.44/1635.92	c 1635s |      23 |  3495352 |  2875038 |     1512   3713 |        0 |        0
1637.45/1637.93	c 1637s |      23 |  3499529 |  2877938 |     1512   3716 |        0 |        0
1639.44/1639.98	c 1639s |      23 |  3503413 |  2880638 |     1512   3719 |        0 |        0
1641.44/1641.99	c 1641s |      23 |  3506458 |  2883038 |     1512   3722 |        0 |        0
1643.54/1644.07	c 1644s |      23 |  3509708 |  2885438 |     1512   3725 |        0 |        0
1645.64/1646.16	c 1646s |      23 |  3513507 |  2888038 |     1512   3727 |        0 |        0
1647.64/1648.18	c 1648s |      23 |  3517016 |  2890338 |     1512   3730 |        0 |        0
1649.74/1650.24	c 1650s |      23 |  3520752 |  2892838 |     1512   3733 |        0 |        0
1651.84/1652.33	c 1652s |      23 |  3524166 |  2895538 |     1512   3736 |        0 |        0
1653.84/1654.33	c 1654s |      23 |  3527648 |  2898138 |     1512   3738 |        0 |        0
1655.93/1656.40	c 1656s |      23 |  3530804 |  2900638 |     1512   3741 |        0 |        0
1657.93/1658.40	c 1658s |      23 |  3534169 |  2903138 |     1512   3744 |        0 |        0
1659.93/1660.44	c 1660s |      23 |  3537256 |  2905438 |     1512   3746 |        0 |        0
1662.03/1662.51	c 1662s |      23 |  3540255 |  2907738 |     1512   3749 |        0 |        0
1664.03/1664.55	c 1664s |      23 |  3543801 |  2910238 |     1512   3751 |        0 |        0
1666.04/1666.58	c 1666s |      23 |  3547533 |  2912938 |     1512   3754 |        0 |        0
1668.13/1668.64	c 1668s |      23 |  3550572 |  2915238 |     1512   3757 |        0 |        0
1670.13/1670.69	c 1670s |      23 |  3554357 |  2917838 |     1512   3760 |        0 |        0
1672.23/1672.73	c 1672s |      23 |  3557665 |  2920238 |     1512   3762 |        0 |        0
1674.33/1674.80	c 1674s |      23 |  3561296 |  2922838 |     1512   3765 |        0 |        0
1676.33/1676.86	c 1676s |      23 |  3564840 |  2925638 |     1512   3768 |        0 |        0
1678.33/1678.88	c 1678s |      23 |  3568314 |  2928338 |     1512   3771 |        0 |        0
1680.44/1680.92	c 1680s |      23 |  3571697 |  2931038 |     1512   3774 |        0 |        0
1682.43/1682.92	c 1682s |      23 |  3575066 |  2933838 |     1512   3777 |        0 |        0
1684.43/1684.94	c 1684s |      23 |  3578332 |  2936338 |     1512   3780 |        0 |        0
1686.53/1687.00	c 1686s |      23 |  3581923 |  2939238 |     1512   3783 |        0 |        0
1688.53/1689.06	c 1689s |      23 |  3585457 |  2942038 |     1512   3786 |        0 |        0
1690.53/1691.09	c 1691s |      23 |  3588828 |  2944738 |     1512   3789 |        0 |        0
1692.54/1693.09	c 1693s |      23 |  3592959 |  2947638 |     1512   3792 |        0 |        0
1694.53/1695.09	c 1695s |      23 |  3596511 |  2950538 |     1512   3795 |        0 |        0
1696.63/1697.11	c 1697s |      23 |  3600018 |  2953338 |     1512   3798 |        0 |        0
1698.63/1699.13	c 1699s |      23 |  3603979 |  2956338 |     1512   3801 |        0 |        0
1700.63/1701.14	c 1701s |      23 |  3608309 |  2959738 |     1512   3805 |        0 |        0
1702.63/1703.17	c 1703s |      23 |  3612749 |  2963238 |     1512   3809 |        0 |        0
1704.72/1705.20	c 1705s |      23 |  3617225 |  2966938 |     1512   3813 |        0 |        0
1706.73/1707.27	c 1707s |      23 |  3621145 |  2970238 |     1512   3816 |        0 |        0
1708.82/1709.32	c 1709s |      23 |  3625496 |  2973738 |     1512   3820 |        0 |        0
1710.82/1711.37	c 1711s |      23 |  3629388 |  2977038 |     1512   3823 |        0 |        0
1712.82/1713.38	c 1713s |      23 |  3633892 |  2980438 |     1512   3827 |        0 |        0
1714.82/1715.38	c 1715s |      23 |  3637884 |  2983538 |     1512   3831 |        0 |        0
1716.92/1717.42	c 1717s |      23 |  3642595 |  2987338 |     1512   3835 |        0 |        0
1718.93/1719.44	c 1719s |      23 |  3647234 |  2991138 |     1512   3839 |        0 |        0
1720.92/1721.50	c 1721s |      23 |  3651423 |  2994538 |     1512   3842 |        0 |        0
1723.02/1723.52	c 1723s |      23 |  3655158 |  2997738 |     1512   3846 |        0 |        0
1725.02/1725.57	c 1725s |      23 |  3658639 |  3000838 |     1512   3849 |        0 |        0
1727.12/1727.61	c 1727s |      23 |  3662212 |  3003938 |     1512   3852 |        0 |        0
1729.12/1729.63	c 1729s |      23 |  3665627 |  3006838 |     1512   3856 |        0 |        0
1731.12/1731.69	c 1731s |      23 |  3669110 |  3009938 |     1512   3859 |        0 |        0
1733.22/1733.75	c 1733s |      23 |  3673190 |  3013338 |     1512   3863 |        0 |        0
1735.22/1735.76	c 1735s |      23 |  3677170 |  3016738 |     1512   3866 |        0 |        0
1737.22/1737.79	c 1737s |      23 |  3681240 |  3020138 |     1512   3870 |        0 |        0
1739.32/1739.84	c 1739s |      23 |  3684936 |  3023338 |     1512   3873 |        0 |        0
1741.32/1741.86	c 1741s |      23 |  3689075 |  3026738 |     1512   3877 |        0 |        0
1743.42/1743.94	c 1743s |      23 |  3693322 |  3030038 |     1512   3881 |        0 |        0
1745.43/1745.98	c 1745s |      23 |  3697325 |  3033238 |     1512   3884 |        0 |        0
1747.53/1748.02	c 1747s |      23 |  3701853 |  3036738 |     1512   3888 |        0 |        0
1749.52/1750.07	c 1750s |      23 |  3706167 |  3040138 |     1512   3891 |        0 |        0
1751.52/1752.09	c 1752s |      23 |  3710245 |  3043438 |     1512   3895 |        0 |        0
1753.62/1754.13	c 1754s |      23 |  3714244 |  3046738 |     1512   3899 |        0 |        0
1755.62/1756.14	c 1756s |      23 |  3718391 |  3050038 |     1512   3902 |        0 |        0
1757.62/1758.18	c 1758s |      23 |  3723143 |  3053538 |     1512   3906 |        0 |        0
1759.72/1760.22	c 1760s |      23 |  3727662 |  3056938 |     1512   3910 |        0 |        0
1761.73/1762.30	c 1762s |      23 |  3731732 |  3060038 |     1512   3913 |        0 |        0
1763.82/1764.33	c 1764s |      23 |  3734861 |  3062538 |     1512   3916 |        0 |        0
1765.92/1766.41	c 1766s |      23 |  3737557 |  3064738 |     1512   3918 |        0 |        0
1767.92/1768.46	c 1768s |      23 |  3741708 |  3067638 |     1512   3921 |        0 |        0
1769.92/1770.48	c 1770s |      23 |  3745752 |  3070638 |     1512   3924 |        0 |        0
1772.02/1772.53	c 1772s |      23 |  3750158 |  3073738 |     1512   3928 |        0 |        0
1774.02/1774.57	c 1774s |      23 |  3753663 |  3076638 |     1512   3931 |        0 |        0
1776.12/1776.61	c 1776s |      23 |  3757331 |  3079638 |     1512   3934 |        0 |        0
1778.12/1778.68	c 1778s |      23 |  3760229 |  3082138 |     1512   3937 |        0 |        0
1780.22/1780.77	c 1780s |      23 |  3763355 |  3084638 |     1512   3940 |        0 |        0
1782.32/1782.82	c 1782s |      23 |  3767753 |  3088038 |     1512   3943 |        0 |        0
1784.32/1784.87	c 1784s |      23 |  3772729 |  3091438 |     1512   3947 |        0 |        0
1786.42/1786.93	c 1786s |      23 |  3777402 |  3095038 |     1512   3951 |        0 |        0
1788.41/1788.96	c 1788s |      23 |  3781603 |  3098338 |     1512   3954 |        0 |        0
1790.42/1790.97	c 1790s |      23 |  3785754 |  3101538 |     1512   3958 |        0 |        0
1792.41/1793.00	c 1792s |      23 |  3789505 |  3104638 |     1512   3961 |        0 |        0
1794.51/1795.04	c 1795s |      23 |  3794004 |  3108038 |     1512   3965 |        0 |        0
1796.61/1797.10	c 1797s |      23 |  3798414 |  3111338 |     1512   3969 |        0 |        0
1798.61/1799.11	c 1799s |      23 |  3802436 |  3114438 |     1512   3972 |        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-4109218-1466343604/watcher-4109218-1466343604 -o /tmp/evaluation-result-4109218-1466343604/solver-4109218-1466343604 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14958 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109218-1466343604.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.38 2.39 2.01 4/172 15119
/proc/meminfo: memFree=30039168/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 2911 0 0 0 0 0 0 0 20 0 4 0 36405616 796323840 3273 33554432000 4194304 16246674 140736942207856 140736942207280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 194927 3282 441 2943 0 191821 0
[pid=15119/tid=15120] ppid=15116 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 814149632 3342 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=800188 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 819392512 3360 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=804284 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 823586816 3376 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.10007 s]
/proc/loadavg: 2.38 2.39 2.01 4/172 15119
/proc/meminfo: memFree=30039168/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 29078 0 0 0 5 4 0 0 20 0 4 0 36405616 1247350784 29426 33554432000 4194304 16246674 140736942207856 140736942207280 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 304529 29442 810 2943 0 301423 0
[pid=15119/tid=15120] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 29454 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 29466 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 29477 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200526 s]
/proc/loadavg: 2.38 2.39 2.01 4/172 15119
/proc/meminfo: memFree=30039168/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 57226 0 0 0 11 8 0 0 20 0 4 0 36405616 1247350784 57574 33554432000 4194304 16246674 140736942207856 140736942207280 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 304529 57587 816 2943 0 301423 0
[pid=15119/tid=15120] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 57594 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 57598 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 57603 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.38 2.39 2.01 4/172 15119
/proc/meminfo: memFree=30039168/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 86570 0 0 0 18 11 0 0 20 0 4 0 36405616 1247350784 86917 33554432000 4194304 16246674 140736942207856 140736942207280 6011022 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 304529 86933 816 2943 0 301423 0
[pid=15119/tid=15120] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 86942 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 86948 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 86951 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700437 s]
/proc/loadavg: 2.38 2.39 2.01 4/172 15119
/proc/meminfo: memFree=30039168/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 208821 0 0 0 40 29 0 0 20 0 4 0 36405616 1247350784 209168 33554432000 4194304 16246674 140736942207856 140736942189760 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 304529 209186 816 2943 0 301423 0
[pid=15119/tid=15120] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 209199 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 209216 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1247350784 209230 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.38 2.39 2.01 4/184 15136
/proc/meminfo: memFree=28532572/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 267233 0 0 0 113 36 0 0 20 0 4 0 36405616 1336479744 267558 33554432000 4194304 16246674 140736942207856 140736942207168 13928256 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 326289 267558 874 2943 0 323183 0
[pid=15119/tid=15120] ppid=15116 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1336479744 267558 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1336479744 267558 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1336479744 267558 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10044 s]
/proc/loadavg: 2.43 2.40 2.01 3/184 15136
/proc/meminfo: memFree=28445892/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 267551 0 0 0 273 36 0 0 20 0 4 0 36405616 1337528320 267876 33554432000 4194304 16246674 140736942207856 140736942189760 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 326545 267876 874 2943 0 323439 0
[pid=15119/tid=15120] ppid=15116 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1337528320 267876 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1337528320 267876 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1337528320 267876 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.43 2.40 2.01 3/184 15136
/proc/meminfo: memFree=28444680/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 267765 0 0 0 593 36 0 0 20 0 4 0 36405616 1338576896 268090 33554432000 4194304 16246674 140736942207856 140736942189760 5546160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 326801 268090 876 2943 0 323695 0
[pid=15119/tid=15120] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268090 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268090 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268090 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.44 2.40 2.02 3/184 15136
/proc/meminfo: memFree=28444128/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 267924 0 0 0 1232 36 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 140736942190856 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 326801 268249 876 2943 0 323695 0
[pid=15119/tid=15120] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.37 2.39 2.02 3/184 15136
/proc/meminfo: memFree=28219224/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 267924 0 0 0 2512 37 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 140736942189760 5822788 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 326801 268249 876 2943 0 323695 0
[pid=15119/tid=15120] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1338576896 268249 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.52 2.42 2.04 3/184 15136
/proc/meminfo: memFree=27884648/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 267983 0 0 0 5071 37 0 0 20 0 4 0 36405616 1339625472 268296 33554432000 4194304 16246674 140736942207856 140736942189760 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 327057 268296 876 2943 0 323951 0
[pid=15119/tid=15120] ppid=15116 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1339625472 268296 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1339625472 268296 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1339625472 268296 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.47 2.41 2.05 3/183 15137
/proc/meminfo: memFree=27883008/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1308228 CPUtime=102.26 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 268186 0 0 0 10189 37 0 0 20 0 4 0 36405616 1339625472 268479 33554432000 4194304 16246674 140736942207856 140736942189760 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 327057 268479 876 2943 0 323951 0
[pid=15119/tid=15120] ppid=15116 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1339625472 268479 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1339625472 268479 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1339625472 268479 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1308228


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

/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.30 2.30 2.20 4/183 15192
/proc/meminfo: memFree=27291112/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1361.88 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 136141 47 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 12483387 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.31 2.30 2.21 3/183 15193
/proc/meminfo: memFree=27058704/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1421.88 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 142140 48 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 5676374 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.22 2.27 2.20 4/183 15194
/proc/meminfo: memFree=26938892/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1481.86 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 148138 48 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 5994636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.28 2.28 2.20 4/183 15195
/proc/meminfo: memFree=26938732/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1541.86 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 154138 48 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/183 15196
/proc/meminfo: memFree=26938440/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1601.85 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 160136 49 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942190856 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.37 2.31 2.22 3/183 15198
/proc/meminfo: memFree=26884044/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1661.83 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 166134 49 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.41 2.33 2.23 3/183 15199
/proc/meminfo: memFree=26883784/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1721.82 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 172133 49 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.20 2.28 2.21 4/183 15200
/proc/meminfo: memFree=26883192/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1781.82 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 178132 50 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942189760 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.35 2.31 2.22 4/184 15203
/proc/meminfo: memFree=26882748/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1800.01 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 179951 50 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942190856 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.5 s]
/proc/loadavg: 2.35 2.31 2.22 4/184 15203
/proc/meminfo: memFree=26882748/32872528 swapFree=1400172/1569824
[pid=15119] ppid=15116 vsize=1312324 CPUtime=1800.01 cores=1,3,5,7
/proc/15119/stat : 15119 (toysat) R 15116 15119 14941 0 -1 4202496 269602 0 0 0 179951 50 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 140736942190856 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15119/statm: 328081 269531 878 2943 0 324975 0
[pid=15119/tid=15120] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15120/stat : 15120 (toysat) S 15116 15119 14941 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864390479088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15119/tid=15121] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15121/stat : 15121 (toysat) S 15116 15119 14941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864379989232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15119/tid=15122] ppid=15116 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/15119/task/15122/stat : 15122 (toysat) S 15116 15119 14941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36405616 1343819776 269531 33554432000 4194304 16246674 140736942207856 139864267812016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.52
CPU system time (s): 0.506922
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.506922
maximum resident set size= 1078124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269602
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= 413
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0633 second user time and 18.2962 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-19 15:40:04
IDJOB=4109218
IDBENCH=78736
IDSOLVER=2553
FILE ID=node140/4109218-1466343604
RUNJOBID= node140-1466341803-14958
PBS_JOBID= 19922013
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109218-1466343604/watcher-4109218-1466343604 -o /tmp/evaluation-result-4109218-1466343604/solver-4109218-1466343604 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466341803-14958 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109218-1466343604.wbo

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

MD5SUM BENCH= c9bbca9920220172e28f0008e519bfaf
RANDOM SEED=672163960

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        30050228 kB
Buffers:          171840 kB
Cached:           331160 kB
SwapCached:         2736 kB
Active:           157840 kB
Inactive:         349788 kB
Active(anon):       4188 kB
Inactive(anon):     2960 kB
Active(file):     153652 kB
Inactive(file):   346828 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097256 kB
Dirty:             16388 kB
Writeback:             0 kB
AnonPages:       1572832 kB
Mapped:             8268 kB
Shmem:                 0 kB
Slab:             610992 kB
SReclaimable:      55104 kB
SUnreclaim:       555888 kB
KernelStack:        1440 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 71700 MiB
End job on node140 at 2016-06-19 16:10:05