Trace number 4093708

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo
MD5SUMd3c2a58e2c21bd8565bd5528336ef7ed
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.881865
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 constraints41
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 1724
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 1723
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-16T18:04:24+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-4093708-1466093064.wbo"]
0.00/0.01	c use --random-gen="1075310488 1781538457 3475794247 4217328613 1722291299 2782379659 303546078 494946196 675569438 3014092331 3422841481 2456588629 895611398 40265147 2685020252 3146887939 1336060811 914395840 3237605862 117781336 2378685839 1619604331 1284381451 1358397877 4289713892 1962785733 663521403 3639952774 1356507543 1971984992 3551257763 3507436508 3794998110 245970981 3729449779 126286619 2374628156 3787974214 2107838591 3298740697 2052668404 4087720391 2980801661 2336865406 3015028069 806917059 4235965925 1128255814 2975903336 1145401785 1672673287 1427478121 601748151 499361950 1955917562 818233792 3626942211 2571741105 2810166255 3336515058 1615901118 613889483 442533269 2286014420 1436454565 2783302163 3253105919 169402186 2448929390 226327231 1719599817 2164965757 461367248 2088199642 1024098948 1356016619 3588400556 3024244978 1624535055 1894004559 2955845928 2086898585 3440955416 8319095 28305798 2413203598 1422558785 1739365205 3781641178 474257540 845259089 1653258920 4058950166 3884080473 2664798729 919536030 1971465411 2131048834 2619893041 2785577396 118265456 4013434982 533658644 3708588563 958776936 1284986864 3267869358 481260422 2321281311 332901083 3870808530 58549689 625931020 1668909439 1455130057 99958340 4039344207 2361510610 1650312084 3188888697 247047719 2112431982 2981346617 692514558 2944332035 2685982096 3892714679 3472983736 3654732504 740385394 2086986023 2323702057 167271902 358552535 3929373158 4170095603 2061590655 3542929585 3497160414 1121251643 4029283285 1216194931 1445743575 1372625792 2013539047 2513014419 1961341525 535950870 2555108058 1172008888 604263740 3940043332 4150020095 3837736372 1050800026 193093611 331555600 2907674607 1063525458 898827888 309513633 903917722 2225221155 2090990328 31487468 3859573101 579532825 3617944138 1738135282 1827087496 1882132031 613227273 4180135834 2832791399 1669183018 3945579924 2758681404 3402957608 1756872689 359846318 277267275 2813031761 3205153961 2565851158 540708464 576718261 2173661260 3014972393 310613233 4030825425 2459411148 2941247067 944860959 4276576164 2408358554 831518136 560860453 1773436736 551591537 1213004998 2417681976 1325001037 3229371487 4192441549 2001407990 3681664067 938064282 2610895830 3283512611 429716786 3524596255 3953248614 4231355775 1165102409 2271495207 811821121 1183973661 3054594303 948794092 2548625394 2383626665 658655964 177316600 514236162 560386362 484410389 818286435 3959681328 29915997 4139534430 2428942303 3741669694 1122633803 2152964210 510884968 3995452594 3798400098 1380213882 1426315261 3308707590 3354155649 69351403 192194831 3753920552 543514015 873239897 975873363 769753 169286972 2742757497 760145437 313766944 1648092892 207873030 1296552751 1032411774 255 362436" option to reproduce the execution
0.00/0.03	c #vars 420
0.00/0.03	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 |      167      0 |        0 |        0
0.00/0.03	c  0.0s |       0 |       61 |        0 |      167      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 = 61
0.00/0.03	c #random_decision = 0
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 707
0.00/0.03	c BCD2: updating upper bound: 1723 -> 706
0.00/0.03	c BCD2: 0 <= obj <= 706
0.00/0.03	c BCD2: #cores=0, #unrelaxed=41, #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 |      167      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      174 |      100 |      167      0 |        0 |        0
0.09/0.10	c  0.1s |       2 |      567 |      250 |      184      0 |        0 |        0
0.09/0.18	c  0.2s |       3 |     1102 |      475 |      203      1 |        0 |        0
0.29/0.32	c  0.3s |       4 |     1731 |      813 |      224      2 |        0 |        0
0.49/0.56	c  0.5s |       5 |     2538 |     1320 |      247      4 |        0 |        0
0.89/0.91	c  0.9s |       6 |     3934 |     2081 |      300      7 |        0 |        0
1.29/1.33	c  1.3s |       7 |     5551 |     3223 |      330     10 |        0 |        0
2.09/2.15	c  2.1s |       8 |    10117 |     4936 |      364     16 |        0 |        0
3.30/3.38	c  3.4s |       9 |    14900 |     7506 |      401     23 |        0 |        0
5.39/5.42	c  5.4s |       9 |    26269 |    11206 |      401     35 |        0 |        0
5.39/5.49	c  5.5s |      10 |    26436 |    11361 |      442     35 |        0 |        0
7.49/7.51	c  7.5s |      10 |    33477 |    15061 |      442     46 |        0 |        0
8.69/8.76	c  8.7s |      11 |    37490 |    17144 |      487     52 |        0 |        0
10.79/10.81	c 10.8s |      11 |    42867 |    20844 |      487     62 |        0 |        0
12.79/12.82	c 12.8s |      11 |    47668 |    24844 |      487     73 |        0 |        0
13.30/13.32	c 13.3s |      12 |    48760 |    25819 |      536     76 |        0 |        0
15.29/15.33	c 15.3s |      12 |    55133 |    29919 |      536     87 |        0 |        0
17.29/17.35	c 17.3s |      12 |    59477 |    33319 |      536     96 |        0 |        0
19.39/19.41	c 19.4s |      12 |    62753 |    36219 |      536    103 |        0 |        0
20.90/20.97	c 20.9s |      13 |    65756 |    38832 |      590    110 |        0 |        0
22.89/22.99	c 23.0s |      13 |    71845 |    42432 |      590    119 |        0 |        0
24.99/25.03	c 25.0s |      13 |    76585 |    45832 |      590    127 |        0 |        0
26.99/27.07	c 27.0s |      13 |    83442 |    49332 |      590    135 |        0 |        0
29.09/29.11	c 29.1s |      13 |    88485 |    52332 |      590    143 |        0 |        0
31.09/31.14	c 31.1s |      13 |    93829 |    55732 |      590    152 |        0 |        0
32.59/32.69	c 32.7s |      14 |    96814 |    58352 |      649    158 |        0 |        0
34.69/34.74	c 34.7s |      14 |   102354 |    62252 |      649    167 |        0 |        0
36.69/36.74	c 36.7s |      14 |   107390 |    66152 |      649    176 |        0 |        0
38.69/38.74	c 38.7s |      14 |   112195 |    69752 |      649    184 |        0 |        0
40.69/40.75	c 40.7s |      14 |   118204 |    73452 |      649    192 |        0 |        0
42.68/42.77	c 42.7s |      14 |   123198 |    77152 |      649    200 |        0 |        0
44.78/44.82	c 44.8s |      14 |   128660 |    80452 |      649    207 |        0 |        0
46.78/46.83	c 46.8s |      14 |   133537 |    83852 |      649    214 |        0 |        0
48.78/48.86	c 48.8s |      14 |   139236 |    87152 |      714    221 |        0 |        0
49.08/49.15	c 49.1s |      15 |   139935 |    87632 |      714    222 |        0 |        0
51.18/51.21	c 51.2s |      15 |   152315 |    90732 |      714    229 |        0 |        0
53.18/53.21	c 53.2s |      15 |   155624 |    93532 |      714    235 |        0 |        0
55.18/55.26	c 55.2s |      15 |   161341 |    96532 |      714    242 |        0 |        0
57.19/57.26	c 57.2s |      15 |   165395 |   100132 |      714    249 |        0 |        0
59.18/59.28	c 59.3s |      15 |   171153 |   103432 |      714    256 |        0 |        0
61.28/61.31	c 61.3s |      15 |   180293 |   106932 |      714    264 |        0 |        0
63.28/63.35	c 63.3s |      15 |   184278 |   109732 |      714    270 |        0 |        0
65.28/65.40	c 65.4s |      15 |   187828 |   112732 |      714    276 |        0 |        0
67.38/67.44	c 67.4s |      15 |   191589 |   116032 |      714    283 |        0 |        0
69.38/69.49	c 69.5s |      15 |   195669 |   119332 |      714    290 |        0 |        0
71.48/71.53	c 71.5s |      15 |   199895 |   122532 |      714    298 |        0 |        0
73.48/73.59	c 73.6s |      15 |   202685 |   125032 |      714    302 |        0 |        0
75.58/75.64	c 75.6s |      15 |   205553 |   127532 |      714    307 |        0 |        0
77.68/77.71	c 77.7s |      15 |   208313 |   129932 |      714    312 |        0 |        0
79.18/79.21	c 79.2s |      16 |   210156 |   131552 |      786    315 |        0 |        0
81.17/81.27	c 81.2s |      16 |   226435 |   134452 |      786    321 |        0 |        0
83.17/83.27	c 83.2s |      16 |   230234 |   137452 |      786    326 |        0 |        0
85.17/85.29	c 85.3s |      16 |   236017 |   140752 |      786    333 |        0 |        0
87.27/87.35	c 87.3s |      16 |   239862 |   143952 |      786    339 |        0 |        0
89.37/89.42	c 89.4s |      16 |   243807 |   147152 |      786    345 |        0 |        0
91.38/91.47	c 91.4s |      16 |   247299 |   150252 |      786    351 |        0 |        0
93.37/93.49	c 93.5s |      16 |   256292 |   153152 |      786    356 |        0 |        0
95.47/95.54	c 95.5s |      16 |   260869 |   156252 |      786    362 |        0 |        0
97.47/97.56	c 97.5s |      16 |   264148 |   158952 |      786    368 |        0 |        0
99.47/99.57	c 99.5s |      16 |   268009 |   161652 |      786    373 |        0 |        0
101.57/101.64	c  101s |      16 |   272139 |   164852 |      786    379 |        0 |        0
103.57/103.67	c  103s |      16 |   276076 |   167852 |      786    385 |        0 |        0
105.68/105.71	c  105s |      16 |   280091 |   171152 |      786    392 |        0 |        0
107.67/107.76	c  107s |      16 |   283795 |   174352 |      786    398 |        0 |        0
109.67/109.78	c  109s |      16 |   287303 |   177452 |      786    405 |        0 |        0
111.77/111.82	c  111s |      16 |   292634 |   180652 |      786    411 |        0 |        0
113.77/113.83	c  113s |      16 |   296234 |   183752 |      786    417 |        0 |        0
115.77/115.86	c  115s |      16 |   299488 |   186652 |      786    423 |        0 |        0
117.77/117.88	c  117s |      16 |   303263 |   189852 |      786    430 |        0 |        0
119.77/119.89	c  119s |      16 |   306965 |   193052 |      786    437 |        0 |        0
121.87/121.94	c  121s |      16 |   312134 |   196152 |      865    443 |        0 |        0
122.67/122.75	c  122s |      17 |   313736 |   197432 |      865    446 |        0 |        0
124.77/124.80	c  124s |      17 |   317976 |   200932 |      865    452 |        0 |        0
126.76/126.83	c  126s |      17 |   322500 |   204532 |      865    459 |        0 |        0
128.77/128.87	c  128s |      17 |   326538 |   208032 |      865    466 |        0 |        0
130.87/130.94	c  130s |      17 |   332157 |   211332 |      865    472 |        0 |        0
132.86/132.98	c  132s |      17 |   335213 |   213832 |      865    477 |        0 |        0
134.86/134.99	c  134s |      17 |   338640 |   216832 |      865    483 |        0 |        0
136.97/137.04	c  137s |      17 |   342545 |   220232 |      865    490 |        0 |        0
138.97/139.08	c  139s |      17 |   346794 |   224032 |      865    497 |        0 |        0
141.07/141.14	c  141s |      17 |   350726 |   227532 |      865    504 |        0 |        0
143.17/143.20	c  143s |      17 |   354325 |   230732 |      865    511 |        0 |        0
145.18/145.26	c  145s |      17 |   358110 |   233132 |      865    515 |        0 |        0
147.27/147.32	c  147s |      17 |   360952 |   235332 |      865    519 |        0 |        0
149.27/149.39	c  149s |      17 |   364020 |   237532 |      865    524 |        0 |        0
151.37/151.45	c  151s |      17 |   367753 |   240332 |      865    529 |        0 |        0
153.47/153.53	c  153s |      17 |   370537 |   242632 |      865    533 |        0 |        0
155.47/155.57	c  155s |      17 |   373911 |   245432 |      865    538 |        0 |        0
157.47/157.58	c  157s |      17 |   377227 |   248132 |      865    543 |        0 |        0
159.57/159.63	c  159s |      17 |   380765 |   250932 |      865    549 |        0 |        0
161.57/161.67	c  161s |      17 |   388534 |   253832 |      865    554 |        0 |        0
163.67/163.72	c  163s |      17 |   391733 |   256432 |      865    559 |        0 |        0
165.76/165.80	c  165s |      17 |   395324 |   258932 |      865    564 |        0 |        0
167.76/167.83	c  167s |      17 |   398992 |   261632 |      865    569 |        0 |        0
169.76/169.83	c  169s |      17 |   403137 |   264532 |      865    574 |        0 |        0
171.76/171.85	c  171s |      17 |   407028 |   267332 |      865    580 |        0 |        0
173.87/173.92	c  173s |      17 |   410605 |   270132 |      865    585 |        0 |        0
175.86/176.00	c  175s |      17 |   414469 |   272732 |      865    590 |        0 |        0
177.96/178.05	c  178s |      17 |   418782 |   275432 |      865    595 |        0 |        0
179.96/180.08	c  180s |      17 |   422469 |   278432 |      865    600 |        0 |        0
182.06/182.10	c  182s |      17 |   426199 |   281232 |      865    606 |        0 |        0
184.06/184.16	c  184s |      17 |   430216 |   284332 |      865    612 |        0 |        0
186.16/186.20	c  186s |      17 |   434631 |   287532 |      865    618 |        0 |        0
188.17/188.25	c  188s |      17 |   438610 |   290632 |      865    623 |        0 |        0
190.27/190.31	c  190s |      17 |   442268 |   293632 |      865    629 |        0 |        0
191.96/192.05	c  192s |      18 |   446123 |   296252 |      952    634 |        0 |        0
193.96/194.09	c  194s |      18 |   453448 |   299352 |      952    639 |        0 |        0
196.06/196.11	c  196s |      18 |   456879 |   302152 |      952    644 |        0 |        0
198.07/198.15	c  198s |      18 |   460966 |   304952 |      952    649 |        0 |        0
200.06/200.16	c  200s |      18 |   464005 |   307652 |      952    654 |        0 |        0
202.16/202.21	c  202s |      18 |   467939 |   310752 |      952    659 |        0 |        0
204.16/204.22	c  204s |      18 |   471782 |   313752 |      952    665 |        0 |        0
206.16/206.27	c  206s |      18 |   475096 |   316652 |      952    670 |        0 |        0
208.26/208.32	c  208s |      18 |   478559 |   319652 |      952    676 |        0 |        0
210.26/210.36	c  210s |      18 |   481876 |   322552 |      952    681 |        0 |        0
212.26/212.40	c  212s |      18 |   485023 |   325352 |      952    686 |        0 |        0
214.36/214.43	c  214s |      18 |   487907 |   327852 |      952    691 |        0 |        0
216.36/216.46	c  216s |      18 |   491299 |   330552 |      952    696 |        0 |        0
218.35/218.49	c  218s |      18 |   494791 |   333552 |      952    701 |        0 |        0
220.45/220.51	c  220s |      18 |   497724 |   336152 |      952    706 |        0 |        0
222.45/222.54	c  222s |      18 |   500786 |   338852 |      952    711 |        0 |        0
224.46/224.56	c  224s |      18 |   503615 |   341352 |      952    715 |        0 |        0
226.56/226.64	c  226s |      18 |   506468 |   343852 |      952    720 |        0 |        0
228.55/228.65	c  228s |      18 |   508928 |   346052 |      952    724 |        0 |        0
230.65/230.74	c  230s |      18 |   511229 |   348152 |      952    728 |        0 |        0
232.75/232.85	c  232s |      18 |   513604 |   350152 |      952    732 |        0 |        0
234.85/234.96	c  234s |      18 |   516011 |   352152 |      952    735 |        0 |        0
236.95/237.03	c  236s |      18 |   518069 |   353952 |      952    739 |        0 |        0
238.95/239.09	c  239s |      18 |   520033 |   355652 |      952    742 |        0 |        0
241.05/241.16	c  241s |      18 |   521953 |   357352 |      952    745 |        0 |        0
243.16/243.22	c  243s |      18 |   524124 |   359252 |      952    748 |        0 |        0
245.15/245.28	c  245s |      18 |   526369 |   361252 |      952    752 |        0 |        0
247.25/247.36	c  247s |      18 |   529004 |   363552 |      952    756 |        0 |        0
249.25/249.38	c  249s |      18 |   531038 |   365352 |      952    759 |        0 |        0
251.35/251.41	c  251s |      18 |   533728 |   367752 |      952    764 |        0 |        0
253.35/253.46	c  253s |      18 |   536024 |   369752 |      952    768 |        0 |        0
255.45/255.53	c  255s |      18 |   538047 |   371552 |      952    771 |        0 |        0
257.45/257.57	c  257s |      18 |   540315 |   373552 |      952    775 |        0 |        0
259.55/259.62	c  259s |      18 |   542804 |   375752 |      952    779 |        0 |        0
261.54/261.64	c  261s |      18 |   545053 |   377752 |      952    782 |        0 |        0
263.54/263.69	c  263s |      18 |   547852 |   380252 |      952    787 |        0 |        0
265.64/265.71	c  265s |      18 |   550768 |   382752 |      952    792 |        0 |        0
267.64/267.74	c  267s |      18 |   553862 |   385452 |      952    796 |        0 |        0
269.74/269.80	c  269s |      18 |   556907 |   388152 |      952    801 |        0 |        0
271.75/271.81	c  271s |      18 |   559941 |   390852 |      952    806 |        0 |        0
273.74/273.85	c  273s |      18 |   563257 |   393252 |      952    811 |        0 |        0
275.74/275.88	c  275s |      18 |   565855 |   395452 |      952    815 |        0 |        0
277.84/277.90	c  277s |      18 |   568834 |   397252 |      952    818 |        0 |        0
279.84/279.92	c  279s |      18 |   571018 |   399052 |      952    821 |        0 |        0
281.84/281.95	c  281s |      18 |   573503 |   401152 |      952    825 |        0 |        0
283.94/284.02	c  283s |      18 |   575862 |   403152 |      952    828 |        0 |        0
286.05/286.11	c  286s |      18 |   578089 |   405052 |      952    832 |        0 |        0
288.04/288.13	c  288s |      18 |   580687 |   407252 |      952    836 |        0 |        0
290.05/290.15	c  290s |      18 |   583482 |   409652 |      952    840 |        0 |        0
292.15/292.23	c  292s |      18 |   586235 |   411952 |      952    844 |        0 |        0
294.15/294.24	c  294s |      18 |   588481 |   413852 |      952    848 |        0 |        0
296.15/296.28	c  296s |      18 |   591200 |   416052 |      952    852 |        0 |        0
298.25/298.38	c  298s |      18 |   593456 |   417952 |      952    855 |        0 |        0
300.26/300.39	c  300s |      18 |   596399 |   420252 |      952    859 |        0 |        0
302.35/302.41	c  302s |      18 |   599038 |   422552 |      952    863 |        0 |        0
304.35/304.43	c  304s |      18 |   602150 |   425252 |      952    868 |        0 |        0
306.35/306.49	c  306s |      18 |   605028 |   427752 |      952    873 |        0 |        0
308.45/308.52	c  308s |      18 |   607502 |   429952 |      952    877 |        0 |        0
310.44/310.57	c  310s |      18 |   610178 |   432252 |      952    881 |        0 |        0
312.54/312.64	c  312s |      18 |   612693 |   434452 |      952    885 |        0 |        0
314.55/314.70	c  314s |      18 |   615184 |   436652 |      952    889 |        0 |        0
316.64/316.74	c  316s |      18 |   617935 |   439052 |      952    894 |        0 |        0
318.74/318.80	c  318s |      18 |   620590 |   441352 |     1048    898 |        0 |        0
320.74/320.82	c  320s |      18 |   625579 |   443252 |     1048    901 |        0 |        0
321.94/322.09	c  322s |      19 |   627010 |   444482 |     1048    903 |        0 |        0
323.94/324.10	c  324s |      19 |   634425 |   447082 |     1048    908 |        0 |        0
326.04/326.17	c  326s |      19 |   637545 |   449682 |     1048    912 |        0 |        0
328.14/328.24	c  328s |      19 |   641657 |   452782 |     1048    917 |        0 |        0
330.24/330.31	c  330s |      19 |   644861 |   455482 |     1048    921 |        0 |        0
332.25/332.36	c  332s |      19 |   647437 |   457382 |     1048    924 |        0 |        0
334.35/334.44	c  334s |      19 |   649587 |   459282 |     1048    927 |        0 |        0
336.34/336.46	c  336s |      19 |   654976 |   461682 |     1048    931 |        0 |        0
338.34/338.48	c  338s |      19 |   659223 |   463982 |     1048    935 |        0 |        0
340.44/340.50	c  340s |      19 |   662275 |   466482 |     1048    939 |        0 |        0
342.44/342.57	c  342s |      19 |   664951 |   468882 |     1048    943 |        0 |        0
344.54/344.64	c  344s |      19 |   667568 |   471182 |     1048    946 |        0 |        0
346.64/346.70	c  346s |      19 |   669818 |   473182 |     1048    949 |        0 |        0
348.64/348.80	c  348s |      19 |   671878 |   474982 |     1048    952 |        0 |        0
350.73/350.90	c  350s |      19 |   673883 |   476782 |     1048    955 |        0 |        0
352.83/352.93	c  352s |      19 |   678402 |   479782 |     1048    960 |        0 |        0
354.83/354.95	c  354s |      19 |   684226 |   483182 |     1048    964 |        0 |        0
356.83/356.97	c  356s |      19 |   687710 |   486182 |     1048    969 |        0 |        0
358.93/359.01	c  358s |      19 |   691688 |   489282 |     1048    973 |        0 |        0
360.93/361.09	c  361s |      19 |   696387 |   491982 |     1048    977 |        0 |        0
363.04/363.17	c  363s |      19 |   698611 |   493782 |     1048    980 |        0 |        0
365.03/365.19	c  365s |      19 |   701731 |   496282 |     1048    984 |        0 |        0
367.13/367.26	c  367s |      19 |   707704 |   499282 |     1048    989 |        0 |        0
369.13/369.28	c  369s |      19 |   712208 |   502382 |     1048    993 |        0 |        0
371.23/371.31	c  371s |      19 |   716462 |   505282 |     1048    998 |        0 |        0
373.23/373.33	c  373s |      19 |   721695 |   508182 |     1048   1002 |        0 |        0
375.23/375.39	c  375s |      19 |   724456 |   510482 |     1048   1006 |        0 |        0
377.34/377.46	c  377s |      19 |   728100 |   512982 |     1048   1010 |        0 |        0
379.44/379.51	c  379s |      19 |   730986 |   514982 |     1048   1013 |        0 |        0
381.43/381.58	c  381s |      19 |   734165 |   516982 |     1048   1016 |        0 |        0
383.53/383.67	c  383s |      19 |   736615 |   518782 |     1048   1019 |        0 |        0
385.53/385.68	c  385s |      19 |   739571 |   520682 |     1048   1021 |        0 |        0
387.63/387.74	c  387s |      19 |   742728 |   523282 |     1048   1026 |        0 |        0
389.73/389.80	c  389s |      19 |   745461 |   525582 |     1048   1029 |        0 |        0
391.73/391.83	c  391s |      19 |   747874 |   527682 |     1048   1033 |        0 |        0
393.73/393.88	c  393s |      19 |   750458 |   529882 |     1048   1036 |        0 |        0
395.82/396.00	c  395s |      19 |   753401 |   531982 |     1048   1040 |        0 |        0
397.92/398.02	c  397s |      19 |   756032 |   534082 |     1048   1043 |        0 |        0
399.92/400.04	c  400s |      19 |   758350 |   536082 |     1048   1046 |        0 |        0
401.92/402.09	c  402s |      19 |   760255 |   537682 |     1048   1049 |        0 |        0
404.02/404.10	c  404s |      19 |   762291 |   539382 |     1048   1052 |        0 |        0
406.02/406.12	c  406s |      19 |   764172 |   540982 |     1048   1054 |        0 |        0
408.03/408.13	c  408s |      19 |   766622 |   542982 |     1048   1057 |        0 |        0
410.02/410.18	c  410s |      19 |   768880 |   544882 |     1048   1060 |        0 |        0
412.12/412.24	c  412s |      19 |   771836 |   546982 |     1048   1064 |        0 |        0
414.23/414.35	c  414s |      19 |   774542 |   549282 |     1048   1068 |        0 |        0
416.23/416.37	c  416s |      19 |   777039 |   551382 |     1048   1071 |        0 |        0
418.33/418.40	c  418s |      19 |   779671 |   553682 |     1048   1075 |        0 |        0
420.33/420.41	c  420s |      19 |   783433 |   556482 |     1048   1079 |        0 |        0
422.34/422.43	c  422s |      19 |   787806 |   559882 |     1048   1084 |        0 |        0
424.33/424.47	c  424s |      19 |   791558 |   562982 |     1048   1089 |        0 |        0
426.43/426.50	c  426s |      19 |   794557 |   565682 |     1048   1094 |        0 |        0
428.42/428.52	c  428s |      19 |   798404 |   568782 |     1048   1098 |        0 |        0
430.42/430.59	c  430s |      19 |   802612 |   572082 |     1048   1104 |        0 |        0
432.52/432.61	c  432s |      19 |   806678 |   575382 |     1048   1109 |        0 |        0
434.53/434.63	c  434s |      19 |   810359 |   578382 |     1048   1114 |        0 |        0
436.52/436.67	c  436s |      19 |   813572 |   581182 |     1048   1118 |        0 |        0
438.52/438.69	c  438s |      19 |   817805 |   584282 |     1048   1123 |        0 |        0
440.62/440.76	c  440s |      19 |   821982 |   587482 |     1048   1128 |        0 |        0
442.72/442.81	c  442s |      19 |   825782 |   590482 |     1048   1133 |        0 |        0
444.72/444.82	c  444s |      19 |   829016 |   593082 |     1048   1137 |        0 |        0
446.72/446.83	c  446s |      19 |   833390 |   596482 |     1048   1142 |        0 |        0
448.73/448.85	c  448s |      19 |   837612 |   600082 |     1048   1148 |        0 |        0
450.82/450.91	c  450s |      19 |   842591 |   603782 |     1048   1153 |        0 |        0
452.82/452.97	c  452s |      19 |   846851 |   607082 |     1048   1159 |        0 |        0
454.92/455.00	c  454s |      19 |   849867 |   609582 |     1048   1163 |        0 |        0
456.92/457.02	c  456s |      19 |   853876 |   612582 |     1048   1167 |        0 |        0
458.92/459.03	c  458s |      19 |   858182 |   615682 |     1048   1172 |        0 |        0
460.92/461.09	c  461s |      19 |   861910 |   618482 |     1048   1177 |        0 |        0
463.02/463.12	c  463s |      19 |   865684 |   621482 |     1048   1181 |        0 |        0
465.02/465.13	c  465s |      19 |   869722 |   624582 |     1048   1186 |        0 |        0
467.01/467.16	c  467s |      19 |   873268 |   627382 |     1048   1191 |        0 |        0
469.01/469.16	c  469s |      19 |   877686 |   630682 |     1048   1196 |        0 |        0
471.11/471.23	c  471s |      19 |   881317 |   633682 |     1048   1201 |        0 |        0
473.11/473.25	c  473s |      19 |   885092 |   636382 |     1048   1205 |        0 |        0
475.22/475.31	c  475s |      19 |   889325 |   639682 |     1048   1210 |        0 |        0
477.21/477.35	c  477s |      19 |   892798 |   642382 |     1048   1215 |        0 |        0
479.22/479.38	c  479s |      19 |   896718 |   645482 |     1048   1219 |        0 |        0
481.32/481.46	c  481s |      19 |   900199 |   648282 |     1048   1224 |        0 |        0
483.32/483.46	c  483s |      19 |   903514 |   651182 |     1048   1228 |        0 |        0
485.42/485.54	c  485s |      19 |   906689 |   653882 |     1048   1233 |        0 |        0
487.52/487.62	c  487s |      19 |   909878 |   656682 |     1048   1237 |        0 |        0
489.53/489.68	c  489s |      19 |   912955 |   659382 |     1048   1241 |        0 |        0
491.52/491.70	c  491s |      19 |   916165 |   662082 |     1048   1246 |        0 |        0
493.62/493.72	c  493s |      19 |   919455 |   664782 |     1153   1249 |        0 |        0
495.32/495.44	c  495s |      20 |   922015 |   666827 |     1153   1252 |        0 |        0
497.32/497.45	c  497s |      20 |   930021 |   670527 |     1153   1257 |        0 |        0
499.32/499.50	c  499s |      20 |   934189 |   673627 |     1153   1262 |        0 |        0
501.41/501.54	c  501s |      20 |   938315 |   676727 |     1153   1266 |        0 |        0
503.41/503.56	c  503s |      20 |   942686 |   679827 |     1153   1270 |        0 |        0
505.41/505.58	c  505s |      20 |   945861 |   682427 |     1153   1274 |        0 |        0
507.51/507.60	c  507s |      20 |   949413 |   685027 |     1153   1277 |        0 |        0
509.51/509.64	c  509s |      20 |   953824 |   687827 |     1153   1281 |        0 |        0
511.52/511.66	c  511s |      20 |   958368 |   690827 |     1153   1285 |        0 |        0
513.51/513.69	c  513s |      20 |   962940 |   693927 |     1153   1289 |        0 |        0
515.61/515.73	c  515s |      20 |   968895 |   697227 |     1153   1293 |        0 |        0
517.61/517.73	c  517s |      20 |   974249 |   700727 |     1153   1298 |        0 |        0
519.61/519.76	c  519s |      20 |   980246 |   704227 |     1153   1303 |        0 |        0
521.71/521.83	c  521s |      20 |   985262 |   707127 |     1153   1307 |        0 |        0
523.71/523.84	c  523s |      20 |   990629 |   710327 |     1153   1312 |        0 |        0
525.72/525.87	c  525s |      20 |   994892 |   713127 |     1153   1315 |        0 |        0
527.71/527.89	c  527s |      20 |   999804 |   716227 |     1153   1320 |        0 |        0
529.71/529.89	c  529s |      20 |  1004382 |   719827 |     1153   1325 |        0 |        0
531.81/531.92	c  531s |      20 |  1008801 |   723027 |     1153   1329 |        0 |        0
533.81/533.93	c  533s |      20 |  1012879 |   725927 |     1153   1333 |        0 |        0
535.81/535.95	c  535s |      20 |  1017967 |   729227 |     1153   1338 |        0 |        0
537.81/537.98	c  537s |      20 |  1021722 |   732027 |     1153   1341 |        0 |        0
539.80/539.98	c  539s |      20 |  1025193 |   734827 |     1153   1345 |        0 |        0
541.90/542.05	c  542s |      20 |  1029770 |   737927 |     1153   1350 |        0 |        0
543.90/544.09	c  544s |      20 |  1034431 |   740927 |     1153   1354 |        0 |        0
546.00/546.14	c  546s |      20 |  1040729 |   744227 |     1153   1358 |        0 |        0
548.00/548.19	c  548s |      20 |  1046165 |   747527 |     1153   1363 |        0 |        0
550.10/550.20	c  550s |      20 |  1051719 |   750427 |     1153   1367 |        0 |        0
552.11/552.22	c  552s |      20 |  1057477 |   753827 |     1153   1371 |        0 |        0
554.10/554.24	c  554s |      20 |  1061965 |   757827 |     1153   1377 |        0 |        0
556.10/556.29	c  556s |      20 |  1066360 |   761327 |     1153   1381 |        0 |        0
558.20/558.31	c  558s |      20 |  1071183 |   764327 |     1153   1386 |        0 |        0
560.20/560.33	c  560s |      20 |  1075480 |   767327 |     1153   1390 |        0 |        0
562.20/562.36	c  562s |      20 |  1081934 |   771227 |     1153   1395 |        0 |        0
564.21/564.39	c  564s |      20 |  1086092 |   774427 |     1153   1399 |        0 |        0
566.30/566.40	c  566s |      20 |  1089935 |   777427 |     1153   1403 |        0 |        0
568.30/568.45	c  568s |      20 |  1094576 |   780927 |     1153   1408 |        0 |        0
570.30/570.47	c  570s |      20 |  1099748 |   784527 |     1153   1412 |        0 |        0
572.30/572.49	c  572s |      20 |  1105614 |   788027 |     1153   1417 |        0 |        0
574.41/574.51	c  574s |      20 |  1110735 |   791627 |     1153   1422 |        0 |        0
576.41/576.53	c  576s |      20 |  1115470 |   795127 |     1153   1426 |        0 |        0
578.41/578.55	c  578s |      20 |  1120109 |   798327 |     1153   1431 |        0 |        0
580.50/580.64	c  580s |      20 |  1123896 |   801227 |     1153   1435 |        0 |        0
582.50/582.66	c  582s |      20 |  1128569 |   804427 |     1153   1439 |        0 |        0
584.60/584.73	c  584s |      20 |  1132983 |   807627 |     1153   1443 |        0 |        0
586.60/586.76	c  586s |      20 |  1137135 |   810727 |     1153   1447 |        0 |        0
588.60/588.79	c  588s |      20 |  1140435 |   813327 |     1153   1451 |        0 |        0
590.71/590.80	c  590s |      20 |  1143233 |   815627 |     1153   1454 |        0 |        0
592.70/592.82	c  592s |      20 |  1147061 |   818527 |     1153   1458 |        0 |        0
594.70/594.88	c  594s |      20 |  1150872 |   821127 |     1153   1462 |        0 |        0
596.80/596.94	c  596s |      20 |  1154656 |   823727 |     1153   1465 |        0 |        0
598.80/598.97	c  598s |      20 |  1157573 |   826027 |     1153   1468 |        0 |        0
600.90/601.07	c  601s |      20 |  1160776 |   828427 |     1153   1472 |        0 |        0
603.00/603.10	c  603s |      20 |  1163943 |   830827 |     1153   1475 |        0 |        0
605.01/605.12	c  605s |      20 |  1168371 |   833727 |     1153   1479 |        0 |        0
607.00/607.13	c  607s |      20 |  1172411 |   836827 |     1153   1483 |        0 |        0
609.00/609.15	c  609s |      20 |  1175996 |   839627 |     1153   1487 |        0 |        0
611.10/611.20	c  611s |      20 |  1179233 |   842327 |     1153   1490 |        0 |        0
613.10/613.21	c  613s |      20 |  1183023 |   845227 |     1153   1494 |        0 |        0
615.10/615.27	c  615s |      20 |  1186703 |   848227 |     1153   1498 |        0 |        0
617.20/617.35	c  617s |      20 |  1190179 |   851127 |     1153   1502 |        0 |        0
619.31/619.41	c  619s |      20 |  1193329 |   853827 |     1153   1505 |        0 |        0
621.30/621.49	c  621s |      20 |  1197128 |   856927 |     1153   1509 |        0 |        0
623.40/623.52	c  623s |      20 |  1200420 |   859627 |     1153   1513 |        0 |        0
625.40/625.59	c  625s |      20 |  1203577 |   862227 |     1153   1516 |        0 |        0
627.50/627.62	c  627s |      20 |  1208075 |   865327 |     1153   1520 |        0 |        0
629.49/629.62	c  629s |      20 |  1212197 |   868227 |     1153   1524 |        0 |        0
631.59/631.70	c  631s |      20 |  1215370 |   870827 |     1153   1528 |        0 |        0
633.60/633.75	c  633s |      20 |  1218617 |   873527 |     1153   1531 |        0 |        0
635.70/635.83	c  635s |      20 |  1222009 |   876127 |     1153   1535 |        0 |        0
637.69/637.89	c  637s |      20 |  1225079 |   878627 |     1153   1538 |        0 |        0
639.79/639.91	c  639s |      20 |  1227992 |   881127 |     1153   1541 |        0 |        0
641.79/641.92	c  641s |      20 |  1231274 |   883727 |     1153   1545 |        0 |        0
643.79/643.93	c  643s |      20 |  1234111 |   886127 |     1153   1548 |        0 |        0
645.79/645.96	c  645s |      20 |  1236965 |   888527 |     1153   1551 |        0 |        0
647.90/648.03	c  648s |      20 |  1240124 |   891127 |     1153   1555 |        0 |        0
649.89/650.04	c  650s |      20 |  1243115 |   893627 |     1153   1558 |        0 |        0
651.89/652.06	c  652s |      20 |  1246152 |   896127 |     1153   1562 |        0 |        0
653.99/654.15	c  654s |      20 |  1249054 |   898627 |     1153   1565 |        0 |        0
656.09/656.20	c  656s |      20 |  1251666 |   900827 |     1153   1568 |        0 |        0
658.09/658.25	c  658s |      20 |  1255136 |   903527 |     1153   1572 |        0 |        0
660.09/660.29	c  660s |      20 |  1258201 |   906127 |     1153   1575 |        0 |        0
662.19/662.36	c  662s |      20 |  1261065 |   908527 |     1153   1579 |        0 |        0
664.19/664.39	c  664s |      20 |  1264199 |   911127 |     1153   1582 |        0 |        0
666.28/666.40	c  666s |      20 |  1267544 |   913627 |     1153   1586 |        0 |        0
668.28/668.40	c  668s |      20 |  1270808 |   915927 |     1153   1589 |        0 |        0
670.28/670.44	c  670s |      20 |  1274185 |   918327 |     1153   1592 |        0 |        0
672.38/672.51	c  672s |      20 |  1277425 |   920827 |     1153   1595 |        0 |        0
674.48/674.62	c  674s |      20 |  1280226 |   923127 |     1153   1598 |        0 |        0
676.49/676.66	c  676s |      20 |  1283266 |   925527 |     1153   1601 |        0 |        0
678.59/678.74	c  678s |      20 |  1286128 |   927827 |     1153   1604 |        0 |        0
680.58/680.79	c  680s |      20 |  1288646 |   930027 |     1153   1607 |        0 |        0
682.68/682.81	c  682s |      20 |  1291467 |   932227 |     1153   1610 |        0 |        0
684.78/684.92	c  684s |      20 |  1294481 |   934527 |     1153   1613 |        0 |        0
686.78/686.96	c  686s |      20 |  1297863 |   937227 |     1153   1617 |        0 |        0
688.88/689.05	c  689s |      20 |  1301291 |   940027 |     1153   1621 |        0 |        0
690.88/691.09	c  691s |      20 |  1304028 |   942327 |     1153   1624 |        0 |        0
692.99/693.11	c  693s |      20 |  1308656 |   945527 |     1153   1628 |        0 |        0
694.98/695.16	c  695s |      20 |  1314848 |   948427 |     1153   1632 |        0 |        0
696.98/697.16	c  697s |      20 |  1318520 |   951327 |     1153   1636 |        0 |        0
699.08/699.21	c  699s |      20 |  1322532 |   954327 |     1153   1640 |        0 |        0
701.08/701.21	c  701s |      20 |  1328247 |   957127 |     1153   1643 |        0 |        0
703.18/703.30	c  703s |      20 |  1333145 |   959727 |     1153   1647 |        0 |        0
705.18/705.34	c  705s |      20 |  1338140 |   962727 |     1153   1651 |        0 |        0
707.18/707.36	c  707s |      20 |  1342312 |   965627 |     1153   1655 |        0 |        0
709.29/709.45	c  709s |      20 |  1346137 |   968227 |     1153   1658 |        0 |        0
711.28/711.48	c  711s |      20 |  1349284 |   970527 |     1153   1661 |        0 |        0
713.38/713.50	c  713s |      20 |  1353614 |   973627 |     1153   1665 |        0 |        0
715.38/715.51	c  715s |      20 |  1356290 |   975727 |     1153   1668 |        0 |        0
717.38/717.58	c  717s |      20 |  1360236 |   978327 |     1153   1672 |        0 |        0
719.48/719.63	c  719s |      20 |  1364603 |   981327 |     1153   1676 |        0 |        0
721.49/721.67	c  721s |      20 |  1368247 |   983927 |     1153   1679 |        0 |        0
723.58/723.71	c  723s |      20 |  1372170 |   986627 |     1153   1683 |        0 |        0
725.58/725.72	c  725s |      20 |  1375486 |   989127 |     1153   1686 |        0 |        0
727.58/727.77	c  727s |      20 |  1379416 |   991827 |     1153   1690 |        0 |        0
729.68/729.83	c  729s |      20 |  1383324 |   994527 |     1269   1693 |        0 |        0
731.68/731.88	c  731s |      20 |  1386559 |   996927 |     1269   1696 |        0 |        0
733.68/733.89	c  733s |      20 |  1390189 |   999227 |     1269   1699 |        0 |        0
734.58/734.79	c  734s |      21 |  1391563 |  1000345 |     1269   1700 |        0 |        0
736.68/736.83	c  736s |      21 |  1397014 |  1004345 |     1269   1705 |        0 |        0
738.67/738.89	c  738s |      21 |  1400965 |  1007945 |     1269   1709 |        0 |        0
740.77/740.95	c  740s |      21 |  1404766 |  1011245 |     1269   1714 |        0 |        0
742.77/742.97	c  742s |      21 |  1408443 |  1014445 |     1269   1717 |        0 |        0
744.87/745.02	c  744s |      21 |  1411949 |  1017545 |     1269   1721 |        0 |        0
746.88/747.05	c  747s |      21 |  1415321 |  1020545 |     1269   1725 |        0 |        0
748.97/749.11	c  749s |      21 |  1418913 |  1023745 |     1269   1729 |        0 |        0
750.96/751.13	c  751s |      21 |  1422378 |  1026845 |     1269   1733 |        0 |        0
752.96/753.17	c  753s |      21 |  1425724 |  1029845 |     1269   1736 |        0 |        0
754.96/755.18	c  755s |      21 |  1428830 |  1032645 |     1269   1740 |        0 |        0
756.96/757.19	c  757s |      21 |  1432916 |  1036245 |     1269   1744 |        0 |        0
759.06/759.25	c  759s |      21 |  1436327 |  1039345 |     1269   1748 |        0 |        0
761.07/761.26	c  761s |      21 |  1439719 |  1042345 |     1269   1752 |        0 |        0
763.16/763.31	c  763s |      21 |  1443228 |  1045445 |     1269   1755 |        0 |        0
765.16/765.35	c  765s |      21 |  1446668 |  1048545 |     1269   1759 |        0 |        0
767.16/767.38	c  767s |      21 |  1450142 |  1051645 |     1269   1763 |        0 |        0
769.26/769.45	c  769s |      21 |  1453626 |  1054745 |     1269   1767 |        0 |        0
771.25/771.48	c  771s |      21 |  1457217 |  1057945 |     1269   1771 |        0 |        0
773.35/773.53	c  773s |      21 |  1460528 |  1060945 |     1269   1774 |        0 |        0
775.36/775.58	c  775s |      21 |  1463886 |  1063945 |     1269   1778 |        0 |        0
777.45/777.64	c  777s |      21 |  1467213 |  1066945 |     1269   1782 |        0 |        0
779.45/779.64	c  779s |      21 |  1470578 |  1069945 |     1269   1785 |        0 |        0
781.55/781.70	c  781s |      21 |  1475112 |  1073245 |     1269   1790 |        0 |        0
783.55/783.71	c  783s |      21 |  1478366 |  1076045 |     1269   1793 |        0 |        0
785.55/785.79	c  785s |      21 |  1481218 |  1078545 |     1269   1796 |        0 |        0
787.65/787.86	c  787s |      21 |  1484139 |  1081045 |     1269   1799 |        0 |        0
789.75/789.90	c  789s |      21 |  1487793 |  1083745 |     1269   1803 |        0 |        0
791.74/791.99	c  791s |      21 |  1490778 |  1086345 |     1269   1806 |        0 |        0
793.84/794.01	c  793s |      21 |  1493619 |  1088845 |     1269   1809 |        0 |        0
795.84/796.06	c  796s |      21 |  1496385 |  1091145 |     1269   1812 |        0 |        0
797.94/798.15	c  798s |      21 |  1499986 |  1093845 |     1269   1815 |        0 |        0
800.04/800.22	c  800s |      21 |  1502998 |  1096445 |     1269   1819 |        0 |        0
802.04/802.23	c  802s |      21 |  1505707 |  1098845 |     1269   1822 |        0 |        0
804.04/804.28	c  804s |      21 |  1508481 |  1101245 |     1269   1825 |        0 |        0
806.14/806.30	c  806s |      21 |  1512444 |  1104245 |     1269   1828 |        0 |        0
808.14/808.33	c  808s |      21 |  1515451 |  1106745 |     1269   1832 |        0 |        0
810.13/810.35	c  810s |      21 |  1518134 |  1108845 |     1269   1834 |        0 |        0
812.13/812.39	c  812s |      21 |  1520652 |  1110945 |     1269   1837 |        0 |        0
814.23/814.47	c  814s |      21 |  1523442 |  1113145 |     1269   1840 |        0 |        0
816.23/816.49	c  816s |      21 |  1526547 |  1115445 |     1269   1842 |        0 |        0
818.34/818.53	c  818s |      21 |  1529279 |  1117545 |     1269   1845 |        0 |        0
820.43/820.61	c  820s |      21 |  1532395 |  1119945 |     1269   1848 |        0 |        0
822.43/822.64	c  822s |      21 |  1535336 |  1121745 |     1269   1850 |        0 |        0
824.43/824.66	c  824s |      21 |  1537843 |  1123845 |     1269   1853 |        0 |        0
826.43/826.70	c  826s |      21 |  1541773 |  1126245 |     1269   1856 |        0 |        0
828.53/828.72	c  828s |      21 |  1544209 |  1128445 |     1269   1859 |        0 |        0
830.52/830.77	c  830s |      21 |  1546492 |  1130445 |     1269   1861 |        0 |        0
832.53/832.78	c  832s |      21 |  1548656 |  1132345 |     1269   1864 |        0 |        0
834.62/834.82	c  834s |      21 |  1557326 |  1135445 |     1269   1868 |        0 |        0
836.62/836.85	c  836s |      21 |  1561272 |  1138845 |     1269   1872 |        0 |        0
838.62/838.87	c  838s |      21 |  1565065 |  1142145 |     1269   1876 |        0 |        0
840.72/840.91	c  840s |      21 |  1568961 |  1145545 |     1269   1880 |        0 |        0
842.72/842.93	c  842s |      21 |  1572858 |  1148845 |     1269   1884 |        0 |        0
844.73/844.96	c  844s |      21 |  1577022 |  1152345 |     1269   1889 |        0 |        0
846.83/847.00	c  846s |      21 |  1580934 |  1155845 |     1269   1893 |        0 |        0
848.82/849.04	c  849s |      21 |  1584729 |  1159245 |     1269   1897 |        0 |        0
850.92/851.11	c  851s |      21 |  1588497 |  1162445 |     1269   1901 |        0 |        0
852.92/853.11	c  853s |      21 |  1591994 |  1165445 |     1269   1905 |        0 |        0
854.92/855.12	c  855s |      21 |  1595210 |  1168245 |     1269   1908 |        0 |        0
856.91/857.13	c  857s |      21 |  1597973 |  1170745 |     1269   1911 |        0 |        0
858.92/859.13	c  859s |      21 |  1601143 |  1173545 |     1269   1915 |        0 |        0
860.91/861.16	c  861s |      21 |  1604472 |  1176545 |     1269   1918 |        0 |        0
863.01/863.20	c  863s |      21 |  1607835 |  1179445 |     1269   1922 |        0 |        0
865.01/865.21	c  865s |      21 |  1610904 |  1182145 |     1269   1925 |        0 |        0
867.01/867.22	c  867s |      21 |  1613966 |  1184845 |     1269   1929 |        0 |        0
869.10/869.32	c  869s |      21 |  1617114 |  1187645 |     1269   1932 |        0 |        0
871.11/871.39	c  871s |      21 |  1620706 |  1190845 |     1269   1936 |        0 |        0
873.21/873.44	c  873s |      21 |  1623770 |  1193545 |     1269   1939 |        0 |        0
875.20/875.44	c  875s |      21 |  1626824 |  1196245 |     1269   1943 |        0 |        0
877.20/877.49	c  877s |      21 |  1630407 |  1199345 |     1269   1946 |        0 |        0
879.30/879.56	c  879s |      21 |  1633736 |  1202245 |     1269   1950 |        0 |        0
881.40/881.63	c  881s |      21 |  1636787 |  1204945 |     1269   1953 |        0 |        0
883.40/883.66	c  883s |      21 |  1639953 |  1207645 |     1269   1957 |        0 |        0
885.50/885.71	c  885s |      21 |  1643220 |  1210445 |     1269   1960 |        0 |        0
887.51/887.79	c  887s |      21 |  1646370 |  1213245 |     1269   1964 |        0 |        0
889.49/889.79	c  889s |      21 |  1649431 |  1215945 |     1269   1967 |        0 |        0
891.59/891.84	c  891s |      21 |  1652593 |  1218745 |     1269   1970 |        0 |        0
893.69/893.90	c  893s |      21 |  1656339 |  1221945 |     1269   1974 |        0 |        0
895.69/895.91	c  895s |      21 |  1659965 |  1225045 |     1269   1978 |        0 |        0
897.69/897.99	c  897s |      21 |  1663127 |  1227845 |     1269   1982 |        0 |        0
899.79/900.00	c  899s |      21 |  1666454 |  1230645 |     1269   1985 |        0 |        0
901.80/902.04	c  902s |      21 |  1669386 |  1233245 |     1269   1988 |        0 |        0
903.79/904.09	c  904s |      21 |  1673068 |  1236445 |     1269   1992 |        0 |        0
905.89/906.14	c  906s |      21 |  1676674 |  1239745 |     1269   1996 |        0 |        0
907.89/908.19	c  908s |      21 |  1680264 |  1242745 |     1269   2000 |        0 |        0
909.99/910.20	c  910s |      21 |  1683619 |  1245645 |     1269   2004 |        0 |        0
911.99/912.25	c  912s |      21 |  1687262 |  1248745 |     1269   2007 |        0 |        0
913.99/914.28	c  914s |      21 |  1690553 |  1251645 |     1269   2011 |        0 |        0
915.98/916.29	c  916s |      21 |  1693503 |  1254245 |     1269   2014 |        0 |        0
918.08/918.34	c  918s |      21 |  1696840 |  1257145 |     1269   2018 |        0 |        0
920.18/920.40	c  920s |      21 |  1699897 |  1259845 |     1269   2021 |        0 |        0
922.18/922.41	c  922s |      21 |  1702993 |  1262545 |     1269   2024 |        0 |        0
924.18/924.48	c  924s |      21 |  1706125 |  1265345 |     1269   2028 |        0 |        0
926.28/926.51	c  926s |      21 |  1709011 |  1267845 |     1269   2031 |        0 |        0
928.29/928.58	c  928s |      21 |  1712227 |  1270645 |     1269   2034 |        0 |        0
930.38/930.65	c  930s |      21 |  1714780 |  1272945 |     1269   2037 |        0 |        0
932.38/932.68	c  932s |      21 |  1717730 |  1275545 |     1269   2040 |        0 |        0
934.47/934.72	c  934s |      21 |  1720523 |  1278045 |     1269   2044 |        0 |        0
936.47/936.72	c  936s |      21 |  1724156 |  1281245 |     1269   2047 |        0 |        0
938.47/938.75	c  938s |      21 |  1728266 |  1284845 |     1269   2052 |        0 |        0
940.47/940.78	c  940s |      21 |  1732103 |  1288245 |     1269   2056 |        0 |        0
942.58/942.83	c  942s |      21 |  1736188 |  1291845 |     1269   2061 |        0 |        0
944.58/944.87	c  944s |      21 |  1740359 |  1295545 |     1269   2065 |        0 |        0
946.68/946.91	c  946s |      21 |  1744720 |  1299245 |     1269   2070 |        0 |        0
948.68/948.95	c  948s |      21 |  1749399 |  1303145 |     1269   2074 |        0 |        0
950.67/950.96	c  950s |      21 |  1753892 |  1306845 |     1269   2079 |        0 |        0
952.77/953.01	c  952s |      21 |  1758002 |  1310445 |     1269   2084 |        0 |        0
954.77/955.01	c  954s |      21 |  1761977 |  1313945 |     1269   2088 |        0 |        0
956.78/957.03	c  956s |      21 |  1765928 |  1317445 |     1269   2092 |        0 |        0
958.77/959.08	c  959s |      21 |  1769952 |  1320945 |     1269   2096 |        0 |        0
960.77/961.09	c  961s |      21 |  1773978 |  1324445 |     1269   2101 |        0 |        0
962.77/963.10	c  963s |      21 |  1778189 |  1328145 |     1269   2105 |        0 |        0
964.87/965.11	c  965s |      21 |  1782195 |  1331645 |     1269   2110 |        0 |        0
966.87/967.13	c  967s |      21 |  1786175 |  1335145 |     1269   2114 |        0 |        0
968.87/969.14	c  969s |      21 |  1789637 |  1338245 |     1269   2118 |        0 |        0
970.86/971.14	c  971s |      21 |  1794156 |  1342245 |     1269   2123 |        0 |        0
972.86/973.16	c  973s |      21 |  1798346 |  1345845 |     1269   2127 |        0 |        0
974.96/975.20	c  975s |      21 |  1802756 |  1349645 |     1269   2132 |        0 |        0
976.96/977.23	c  977s |      21 |  1806407 |  1352945 |     1269   2136 |        0 |        0
978.96/979.25	c  979s |      21 |  1810024 |  1356145 |     1269   2140 |        0 |        0
981.07/981.31	c  981s |      21 |  1814063 |  1359745 |     1269   2144 |        0 |        0
983.06/983.34	c  983s |      21 |  1818193 |  1363345 |     1269   2149 |        0 |        0
985.06/985.37	c  985s |      21 |  1821918 |  1366645 |     1269   2153 |        0 |        0
987.06/987.38	c  987s |      21 |  1826054 |  1370245 |     1269   2157 |        0 |        0
989.15/989.47	c  989s |      21 |  1829820 |  1373645 |     1269   2162 |        0 |        0
991.15/991.49	c  991s |      21 |  1834131 |  1377345 |     1269   2166 |        0 |        0
993.25/993.51	c  993s |      21 |  1838021 |  1380745 |     1269   2170 |        0 |        0
995.26/995.54	c  995s |      21 |  1841642 |  1383945 |     1269   2174 |        0 |        0
997.25/997.57	c  997s |      21 |  1846303 |  1387745 |     1269   2179 |        0 |        0
999.34/999.61	c  999s |      21 |  1850259 |  1391045 |     1269   2183 |        0 |        0
1001.34/1001.63	c 1001s |      21 |  1854448 |  1394645 |     1269   2188 |        0 |        0
1003.34/1003.68	c 1003s |      21 |  1858383 |  1398145 |     1269   2192 |        0 |        0
1005.44/1005.71	c 1005s |      21 |  1862831 |  1401845 |     1269   2196 |        0 |        0
1007.45/1007.77	c 1007s |      21 |  1866877 |  1405245 |     1269   2201 |        0 |        0
1009.54/1009.81	c 1009s |      21 |  1870932 |  1408645 |     1269   2205 |        0 |        0
1011.54/1011.87	c 1011s |      21 |  1874866 |  1412145 |     1269   2209 |        0 |        0
1013.64/1013.92	c 1013s |      21 |  1878729 |  1415545 |     1269   2213 |        0 |        0
1015.64/1015.97	c 1015s |      21 |  1882678 |  1418945 |     1269   2218 |        0 |        0
1017.64/1017.97	c 1017s |      21 |  1886740 |  1422445 |     1269   2222 |        0 |        0
1019.63/1019.99	c 1019s |      21 |  1890489 |  1425645 |     1269   2226 |        0 |        0
1021.74/1022.03	c 1022s |      21 |  1893882 |  1428645 |     1269   2230 |        0 |        0
1023.73/1024.05	c 1024s |      21 |  1897022 |  1431445 |     1269   2233 |        0 |        0
1025.73/1026.09	c 1026s |      21 |  1900333 |  1434345 |     1269   2237 |        0 |        0
1027.73/1028.10	c 1028s |      21 |  1903804 |  1437445 |     1269   2241 |        0 |        0
1029.82/1030.13	c 1030s |      21 |  1907708 |  1440745 |     1269   2245 |        0 |        0
1031.82/1032.16	c 1032s |      21 |  1911480 |  1443945 |     1269   2249 |        0 |        0
1033.83/1034.18	c 1034s |      21 |  1915177 |  1447145 |     1269   2253 |        0 |        0
1035.93/1036.24	c 1036s |      21 |  1918825 |  1450345 |     1269   2257 |        0 |        0
1037.92/1038.28	c 1038s |      21 |  1922331 |  1453345 |     1269   2260 |        0 |        0
1040.02/1040.34	c 1040s |      21 |  1925600 |  1456245 |     1269   2264 |        0 |        0
1042.02/1042.35	c 1042s |      21 |  1929033 |  1459345 |     1269   2268 |        0 |        0
1044.02/1044.38	c 1044s |      21 |  1932257 |  1462245 |     1269   2271 |        0 |        0
1046.12/1046.41	c 1046s |      21 |  1935445 |  1465145 |     1269   2275 |        0 |        0
1048.12/1048.46	c 1048s |      21 |  1938799 |  1468145 |     1269   2279 |        0 |        0
1050.23/1050.54	c 1050s |      21 |  1942212 |  1471145 |     1269   2283 |        0 |        0
1052.22/1052.56	c 1052s |      21 |  1945612 |  1474145 |     1269   2286 |        0 |        0
1054.22/1054.59	c 1054s |      21 |  1949038 |  1477245 |     1269   2290 |        0 |        0
1056.32/1056.61	c 1056s |      21 |  1952481 |  1480345 |     1269   2294 |        0 |        0
1058.32/1058.65	c 1058s |      21 |  1956228 |  1483645 |     1269   2298 |        0 |        0
1060.31/1060.65	c 1060s |      21 |  1959492 |  1486645 |     1269   2302 |        0 |        0
1062.32/1062.67	c 1062s |      21 |  1962962 |  1489745 |     1269   2306 |        0 |        0
1064.31/1064.67	c 1064s |      21 |  1966817 |  1493145 |     1396   2310 |        0 |        0
1066.41/1066.74	c 1066s |      21 |  1970709 |  1496645 |     1396   2314 |        0 |        0
1068.41/1068.79	c 1068s |      21 |  1974698 |  1500145 |     1396   2318 |        0 |        0
1068.71/1069.05	c 1069s |      22 |  1975218 |  1500622 |     1396   2318 |        0 |        0
1070.81/1071.11	c 1071s |      22 |  1979774 |  1504422 |     1396   2323 |        0 |        0
1072.81/1073.13	c 1073s |      22 |  1983623 |  1507822 |     1396   2326 |        0 |        0
1074.81/1075.14	c 1075s |      22 |  1987563 |  1511322 |     1396   2330 |        0 |        0
1076.80/1077.19	c 1077s |      22 |  1991267 |  1514622 |     1396   2334 |        0 |        0
1078.81/1079.19	c 1079s |      22 |  1995238 |  1518122 |     1396   2338 |        0 |        0
1080.90/1081.23	c 1081s |      22 |  1998845 |  1521322 |     1396   2341 |        0 |        0
1083.00/1083.30	c 1083s |      22 |  2001700 |  1523922 |     1396   2344 |        0 |        0
1085.00/1085.35	c 1085s |      22 |  2004694 |  1526622 |     1396   2347 |        0 |        0
1087.00/1087.36	c 1087s |      22 |  2008039 |  1529622 |     1396   2351 |        0 |        0
1089.00/1089.39	c 1089s |      22 |  2012039 |  1533122 |     1396   2355 |        0 |        0
1091.00/1091.40	c 1091s |      22 |  2016004 |  1536622 |     1396   2358 |        0 |        0
1093.10/1093.43	c 1093s |      22 |  2019480 |  1539722 |     1396   2362 |        0 |        0
1095.10/1095.47	c 1095s |      22 |  2023177 |  1543022 |     1396   2366 |        0 |        0
1097.20/1097.50	c 1097s |      22 |  2026828 |  1546222 |     1396   2369 |        0 |        0
1099.19/1099.53	c 1099s |      22 |  2030308 |  1549322 |     1396   2373 |        0 |        0
1101.19/1101.58	c 1101s |      22 |  2033682 |  1552322 |     1396   2376 |        0 |        0
1103.29/1103.64	c 1103s |      22 |  2037468 |  1555722 |     1396   2380 |        0 |        0
1105.30/1105.64	c 1105s |      22 |  2040763 |  1558722 |     1396   2383 |        0 |        0
1107.29/1107.70	c 1107s |      22 |  2044453 |  1562022 |     1396   2387 |        0 |        0
1109.38/1109.76	c 1109s |      22 |  2047855 |  1565122 |     1396   2390 |        0 |        0
1111.48/1111.82	c 1111s |      22 |  2051122 |  1568122 |     1396   2394 |        0 |        0
1113.48/1113.83	c 1113s |      22 |  2054032 |  1570722 |     1396   2397 |        0 |        0
1115.48/1115.88	c 1115s |      22 |  2057778 |  1574022 |     1396   2400 |        0 |        0
1117.58/1117.90	c 1117s |      22 |  2061105 |  1577022 |     1396   2404 |        0 |        0
1119.59/1119.95	c 1119s |      22 |  2064284 |  1579922 |     1396   2407 |        0 |        0
1121.58/1121.98	c 1121s |      22 |  2067983 |  1583022 |     1396   2411 |        0 |        0
1123.68/1124.00	c 1123s |      22 |  2070936 |  1585622 |     1396   2413 |        0 |        0
1125.68/1126.01	c 1125s |      22 |  2073965 |  1588322 |     1396   2416 |        0 |        0
1127.68/1128.05	c 1128s |      22 |  2077253 |  1591222 |     1396   2420 |        0 |        0
1129.67/1130.06	c 1130s |      22 |  2080242 |  1593922 |     1396   2423 |        0 |        0
1131.68/1132.08	c 1132s |      22 |  2083486 |  1596822 |     1396   2426 |        0 |        0
1133.78/1134.12	c 1134s |      22 |  2086654 |  1599722 |     1396   2429 |        0 |        0
1135.77/1136.15	c 1136s |      22 |  2090100 |  1602822 |     1396   2433 |        0 |        0
1137.87/1138.25	c 1138s |      22 |  2092877 |  1605322 |     1396   2436 |        0 |        0
1139.86/1140.27	c 1140s |      22 |  2096168 |  1608222 |     1396   2439 |        0 |        0
1141.96/1142.31	c 1142s |      22 |  2099422 |  1611122 |     1396   2442 |        0 |        0
1143.96/1144.35	c 1144s |      22 |  2102849 |  1614122 |     1396   2445 |        0 |        0
1146.06/1146.41	c 1146s |      22 |  2106133 |  1617022 |     1396   2449 |        0 |        0
1148.07/1148.47	c 1148s |      22 |  2109261 |  1619822 |     1396   2452 |        0 |        0
1150.06/1150.49	c 1150s |      22 |  2112434 |  1622622 |     1396   2455 |        0 |        0
1152.16/1152.53	c 1152s |      22 |  2115681 |  1625522 |     1396   2458 |        0 |        0
1154.16/1154.57	c 1154s |      22 |  2119066 |  1628522 |     1396   2462 |        0 |        0
1156.16/1156.57	c 1156s |      22 |  2122449 |  1631522 |     1396   2465 |        0 |        0
1158.16/1158.59	c 1158s |      22 |  2125582 |  1634222 |     1396   2468 |        0 |        0
1160.26/1160.66	c 1160s |      22 |  2128195 |  1636522 |     1396   2471 |        0 |        0
1162.36/1162.72	c 1162s |      22 |  2131308 |  1639222 |     1396   2474 |        0 |        0
1164.35/1164.74	c 1164s |      22 |  2134394 |  1642022 |     1396   2477 |        0 |        0
1166.35/1166.75	c 1166s |      22 |  2137923 |  1644922 |     1396   2480 |        0 |        0
1168.35/1168.78	c 1168s |      22 |  2141204 |  1647822 |     1396   2483 |        0 |        0
1170.45/1170.82	c 1170s |      22 |  2144437 |  1650722 |     1396   2487 |        0 |        0
1172.45/1172.87	c 1172s |      22 |  2147787 |  1653722 |     1396   2490 |        0 |        0
1174.56/1174.91	c 1174s |      22 |  2151241 |  1656822 |     1396   2493 |        0 |        0
1176.55/1176.96	c 1176s |      22 |  2154978 |  1660222 |     1396   2497 |        0 |        0
1178.55/1178.98	c 1178s |      22 |  2158144 |  1663122 |     1396   2500 |        0 |        0
1180.65/1181.00	c 1180s |      22 |  2161475 |  1666122 |     1396   2504 |        0 |        0
1182.65/1183.07	c 1183s |      22 |  2164726 |  1669022 |     1396   2507 |        0 |        0
1184.74/1185.13	c 1185s |      22 |  2168173 |  1672122 |     1396   2511 |        0 |        0
1186.84/1187.20	c 1187s |      22 |  2171554 |  1675222 |     1396   2514 |        0 |        0
1188.86/1189.21	c 1189s |      22 |  2175324 |  1678222 |     1396   2517 |        0 |        0
1190.85/1191.24	c 1191s |      22 |  2178844 |  1681222 |     1396   2521 |        0 |        0
1192.85/1193.26	c 1193s |      22 |  2182086 |  1684022 |     1396   2524 |        0 |        0
1194.85/1195.28	c 1195s |      22 |  2185207 |  1686722 |     1396   2527 |        0 |        0
1196.95/1197.31	c 1197s |      22 |  2188234 |  1689422 |     1396   2530 |        0 |        0
1198.94/1199.34	c 1199s |      22 |  2191200 |  1692022 |     1396   2533 |        0 |        0
1200.95/1201.37	c 1201s |      22 |  2194447 |  1694922 |     1396   2536 |        0 |        0
1203.05/1203.42	c 1203s |      22 |  2197895 |  1698022 |     1396   2540 |        0 |        0
1205.04/1205.43	c 1205s |      22 |  2201250 |  1701022 |     1396   2543 |        0 |        0
1207.04/1207.48	c 1207s |      22 |  2204697 |  1704122 |     1396   2547 |        0 |        0
1209.14/1209.51	c 1209s |      22 |  2208061 |  1707122 |     1396   2550 |        0 |        0
1211.14/1211.55	c 1211s |      22 |  2211658 |  1710322 |     1396   2553 |        0 |        0
1213.24/1213.60	c 1213s |      22 |  2214864 |  1713222 |     1396   2557 |        0 |        0
1215.24/1215.63	c 1215s |      22 |  2218628 |  1716422 |     1396   2560 |        0 |        0
1217.24/1217.70	c 1217s |      22 |  2222401 |  1719722 |     1396   2564 |        0 |        0
1219.33/1219.73	c 1219s |      22 |  2225958 |  1722922 |     1396   2568 |        0 |        0
1221.33/1221.73	c 1221s |      22 |  2229292 |  1725922 |     1396   2571 |        0 |        0
1223.33/1223.79	c 1223s |      22 |  2232567 |  1728822 |     1396   2574 |        0 |        0
1225.43/1225.80	c 1225s |      22 |  2235813 |  1731722 |     1396   2578 |        0 |        0
1227.43/1227.82	c 1227s |      22 |  2239275 |  1734822 |     1396   2581 |        0 |        0
1229.43/1229.88	c 1229s |      22 |  2242270 |  1737522 |     1396   2584 |        0 |        0
1231.52/1231.90	c 1231s |      22 |  2246003 |  1740822 |     1396   2588 |        0 |        0
1233.52/1233.96	c 1233s |      22 |  2249895 |  1744222 |     1396   2592 |        0 |        0
1235.62/1236.01	c 1235s |      22 |  2253192 |  1747222 |     1396   2595 |        0 |        0
1237.62/1238.07	c 1238s |      22 |  2256615 |  1750322 |     1396   2598 |        0 |        0
1239.62/1240.09	c 1240s |      22 |  2259958 |  1753322 |     1396   2602 |        0 |        0
1241.72/1242.13	c 1242s |      22 |  2263640 |  1756522 |     1396   2605 |        0 |        0
1243.73/1244.18	c 1244s |      22 |  2267050 |  1759622 |     1396   2609 |        0 |        0
1245.82/1246.23	c 1246s |      22 |  2270496 |  1762722 |     1396   2612 |        0 |        0
1247.82/1248.29	c 1248s |      22 |  2273967 |  1765822 |     1396   2616 |        0 |        0
1249.92/1250.31	c 1250s |      22 |  2277397 |  1768822 |     1396   2619 |        0 |        0
1251.91/1252.35	c 1252s |      22 |  2280603 |  1771722 |     1396   2622 |        0 |        0
1253.91/1254.36	c 1254s |      22 |  2283721 |  1774522 |     1396   2626 |        0 |        0
1256.01/1256.42	c 1256s |      22 |  2286809 |  1777322 |     1396   2629 |        0 |        0
1258.02/1258.42	c 1258s |      22 |  2289892 |  1780122 |     1396   2632 |        0 |        0
1260.01/1260.44	c 1260s |      22 |  2293084 |  1782922 |     1396   2635 |        0 |        0
1262.01/1262.46	c 1262s |      22 |  2296722 |  1786122 |     1396   2639 |        0 |        0
1264.11/1264.51	c 1264s |      22 |  2300267 |  1789322 |     1396   2642 |        0 |        0
1266.11/1266.55	c 1266s |      22 |  2303443 |  1792222 |     1396   2646 |        0 |        0
1268.21/1268.62	c 1268s |      22 |  2306853 |  1795322 |     1396   2649 |        0 |        0
1270.21/1270.69	c 1270s |      22 |  2310435 |  1798522 |     1396   2653 |        0 |        0
1272.31/1272.74	c 1272s |      22 |  2313823 |  1801522 |     1396   2656 |        0 |        0
1274.30/1274.79	c 1274s |      22 |  2316846 |  1804222 |     1396   2659 |        0 |        0
1276.40/1276.85	c 1276s |      22 |  2319683 |  1806722 |     1396   2662 |        0 |        0
1278.50/1278.90	c 1278s |      22 |  2323026 |  1809722 |     1396   2665 |        0 |        0
1280.49/1280.97	c 1280s |      22 |  2326463 |  1812722 |     1396   2669 |        0 |        0
1282.59/1283.01	c 1282s |      22 |  2329441 |  1815422 |     1396   2672 |        0 |        0
1284.59/1285.08	c 1285s |      22 |  2332550 |  1818222 |     1396   2675 |        0 |        0
1286.70/1287.12	c 1287s |      22 |  2335429 |  1820822 |     1396   2678 |        0 |        0
1288.69/1289.19	c 1289s |      22 |  2338661 |  1823722 |     1396   2681 |        0 |        0
1290.79/1291.24	c 1291s |      22 |  2341705 |  1826422 |     1396   2684 |        0 |        0
1292.79/1293.25	c 1293s |      22 |  2344318 |  1828822 |     1396   2687 |        0 |        0
1294.79/1295.27	c 1295s |      22 |  2347080 |  1831322 |     1396   2689 |        0 |        0
1296.89/1297.31	c 1297s |      22 |  2349869 |  1833822 |     1396   2692 |        0 |        0
1298.88/1299.35	c 1299s |      22 |  2352821 |  1836422 |     1396   2695 |        0 |        0
1300.89/1301.38	c 1301s |      22 |  2356381 |  1839622 |     1396   2699 |        0 |        0
1302.98/1303.43	c 1303s |      22 |  2359815 |  1842722 |     1396   2702 |        0 |        0
1305.08/1305.50	c 1305s |      22 |  2363147 |  1845722 |     1396   2706 |        0 |        0
1307.08/1307.54	c 1307s |      22 |  2366452 |  1848722 |     1396   2709 |        0 |        0
1309.18/1309.60	c 1309s |      22 |  2369779 |  1851722 |     1396   2712 |        0 |        0
1311.18/1311.68	c 1311s |      22 |  2373037 |  1854622 |     1396   2716 |        0 |        0
1313.28/1313.74	c 1313s |      22 |  2376049 |  1857422 |     1396   2719 |        0 |        0
1315.38/1315.80	c 1315s |      22 |  2379313 |  1860322 |     1396   2722 |        0 |        0
1317.38/1317.82	c 1317s |      22 |  2382380 |  1863122 |     1396   2725 |        0 |        0
1319.37/1319.82	c 1319s |      22 |  2385755 |  1866122 |     1396   2728 |        0 |        0
1321.37/1321.84	c 1321s |      22 |  2389136 |  1869122 |     1396   2732 |        0 |        0
1323.37/1323.88	c 1323s |      22 |  2392492 |  1872122 |     1396   2735 |        0 |        0
1325.37/1325.89	c 1325s |      22 |  2395352 |  1874722 |     1396   2738 |        0 |        0
1327.47/1327.93	c 1327s |      22 |  2398549 |  1877622 |     1396   2741 |        0 |        0
1329.48/1329.93	c 1329s |      22 |  2401643 |  1880422 |     1396   2745 |        0 |        0
1331.57/1332.01	c 1331s |      22 |  2404729 |  1883222 |     1396   2748 |        0 |        0
1333.57/1334.03	c 1334s |      22 |  2408092 |  1886222 |     1396   2751 |        0 |        0
1335.67/1336.10	c 1336s |      22 |  2411822 |  1889422 |     1396   2755 |        0 |        0
1337.67/1338.15	c 1338s |      22 |  2415235 |  1892422 |     1396   2758 |        0 |        0
1339.76/1340.23	c 1340s |      22 |  2418750 |  1895522 |     1396   2762 |        0 |        0
1341.76/1342.24	c 1342s |      22 |  2422113 |  1898522 |     1396   2765 |        0 |        0
1343.77/1344.25	c 1344s |      22 |  2425472 |  1901522 |     1396   2768 |        0 |        0
1345.76/1346.28	c 1346s |      22 |  2428841 |  1904522 |     1396   2772 |        0 |        0
1347.86/1348.30	c 1348s |      22 |  2432057 |  1907422 |     1396   2775 |        0 |        0
1349.86/1350.30	c 1350s |      22 |  2435224 |  1910222 |     1396   2778 |        0 |        0
1351.86/1352.36	c 1352s |      22 |  2438405 |  1913122 |     1396   2781 |        0 |        0
1353.96/1354.40	c 1354s |      22 |  2441748 |  1916122 |     1396   2785 |        0 |        0
1355.96/1356.46	c 1356s |      22 |  2444877 |  1918922 |     1396   2788 |        0 |        0
1358.06/1358.51	c 1358s |      22 |  2448384 |  1921922 |     1396   2791 |        0 |        0
1360.05/1360.54	c 1360s |      22 |  2451667 |  1924822 |     1396   2794 |        0 |        0
1362.05/1362.58	c 1362s |      22 |  2455044 |  1927822 |     1396   2798 |        0 |        0
1364.15/1364.63	c 1364s |      22 |  2458392 |  1930822 |     1396   2801 |        0 |        0
1366.15/1366.67	c 1366s |      22 |  2461501 |  1933622 |     1396   2804 |        0 |        0
1368.15/1368.70	c 1368s |      22 |  2464649 |  1936422 |     1396   2808 |        0 |        0
1370.26/1370.71	c 1370s |      22 |  2467903 |  1939322 |     1396   2811 |        0 |        0
1372.25/1372.73	c 1372s |      22 |  2470904 |  1942022 |     1396   2814 |        0 |        0
1374.25/1374.73	c 1374s |      22 |  2474299 |  1945022 |     1396   2817 |        0 |        0
1376.25/1376.76	c 1376s |      22 |  2477947 |  1948222 |     1396   2821 |        0 |        0
1378.25/1378.79	c 1378s |      22 |  2481188 |  1951122 |     1396   2824 |        0 |        0
1380.35/1380.84	c 1380s |      22 |  2484410 |  1954022 |     1396   2827 |        0 |        0
1382.45/1382.92	c 1382s |      22 |  2487537 |  1956822 |     1396   2831 |        0 |        0
1384.45/1384.94	c 1384s |      22 |  2490814 |  1959722 |     1396   2834 |        0 |        0
1386.45/1386.99	c 1386s |      22 |  2494065 |  1962622 |     1396   2837 |        0 |        0
1388.55/1389.02	c 1388s |      22 |  2497161 |  1965422 |     1396   2840 |        0 |        0
1390.55/1391.03	c 1390s |      22 |  2500252 |  1968222 |     1396   2843 |        0 |        0
1392.55/1393.08	c 1393s |      22 |  2503544 |  1971122 |     1396   2847 |        0 |        0
1394.65/1395.11	c 1395s |      22 |  2507438 |  1974322 |     1396   2850 |        0 |        0
1396.65/1397.14	c 1397s |      22 |  2511020 |  1977322 |     1396   2854 |        0 |        0
1398.64/1399.19	c 1399s |      22 |  2514146 |  1980122 |     1396   2857 |        0 |        0
1400.74/1401.24	c 1401s |      22 |  2517460 |  1983022 |     1396   2860 |        0 |        0
1402.74/1403.26	c 1403s |      22 |  2520644 |  1985822 |     1396   2863 |        0 |        0
1404.74/1405.26	c 1405s |      22 |  2523692 |  1988522 |     1396   2866 |        0 |        0
1406.74/1407.28	c 1407s |      22 |  2526508 |  1991022 |     1396   2869 |        0 |        0
1408.75/1409.29	c 1409s |      22 |  2529499 |  1993722 |     1396   2872 |        0 |        0
1410.86/1411.33	c 1411s |      22 |  2532696 |  1996622 |     1396   2875 |        0 |        0
1412.95/1413.40	c 1413s |      22 |  2536307 |  1999522 |     1396   2879 |        0 |        0
1414.95/1415.43	c 1415s |      22 |  2539949 |  2002622 |     1396   2882 |        0 |        0
1416.95/1417.43	c 1417s |      22 |  2543362 |  2005622 |     1396   2885 |        0 |        0
1418.95/1419.44	c 1419s |      22 |  2546721 |  2008622 |     1396   2889 |        0 |        0
1420.95/1421.48	c 1421s |      22 |  2549919 |  2011522 |     1396   2892 |        0 |        0
1423.06/1423.55	c 1423s |      22 |  2553313 |  2014622 |     1396   2895 |        0 |        0
1425.05/1425.59	c 1425s |      22 |  2556710 |  2017722 |     1396   2899 |        0 |        0
1427.15/1427.62	c 1427s |      22 |  2559875 |  2020622 |     1396   2902 |        0 |        0
1429.15/1429.64	c 1429s |      22 |  2563176 |  2023622 |     1396   2906 |        0 |        0
1431.15/1431.69	c 1431s |      22 |  2566498 |  2026622 |     1396   2909 |        0 |        0
1433.15/1433.69	c 1433s |      22 |  2569700 |  2029522 |     1396   2912 |        0 |        0
1435.25/1435.76	c 1435s |      22 |  2573019 |  2032522 |     1396   2916 |        0 |        0
1437.35/1437.81	c 1437s |      22 |  2576292 |  2035522 |     1396   2919 |        0 |        0
1439.35/1439.85	c 1439s |      22 |  2579771 |  2038622 |     1396   2922 |        0 |        0
1441.35/1441.88	c 1441s |      22 |  2583198 |  2041722 |     1396   2926 |        0 |        0
1443.45/1443.94	c 1443s |      22 |  2586513 |  2044722 |     1396   2929 |        0 |        0
1445.45/1445.94	c 1445s |      22 |  2589467 |  2047422 |     1396   2932 |        0 |        0
1447.45/1447.95	c 1447s |      22 |  2592938 |  2050522 |     1396   2936 |        0 |        0
1449.54/1450.00	c 1449s |      22 |  2596247 |  2053522 |     1396   2939 |        0 |        0
1451.44/1452.00	c 1451s |      22 |  2599095 |  2056122 |     1396   2942 |        0 |        0
1453.54/1454.03	c 1454s |      22 |  2601939 |  2058722 |     1396   2945 |        0 |        0
1455.54/1456.03	c 1456s |      22 |  2605261 |  2061622 |     1396   2948 |        0 |        0
1457.54/1458.08	c 1458s |      22 |  2608505 |  2064522 |     1396   2952 |        0 |        0
1459.54/1460.09	c 1460s |      22 |  2611859 |  2067522 |     1396   2955 |        0 |        0
1461.64/1462.11	c 1462s |      22 |  2615044 |  2070422 |     1396   2958 |        0 |        0
1463.65/1464.11	c 1464s |      22 |  2618262 |  2073222 |     1396   2961 |        0 |        0
1465.64/1466.16	c 1466s |      22 |  2621167 |  2075822 |     1396   2964 |        0 |        0
1467.74/1468.23	c 1468s |      22 |  2624173 |  2078522 |     1396   2967 |        0 |        0
1469.74/1470.24	c 1470s |      22 |  2626883 |  2081022 |     1396   2970 |        0 |        0
1471.74/1472.27	c 1472s |      22 |  2629864 |  2083622 |     1396   2973 |        0 |        0
1473.84/1474.36	c 1474s |      22 |  2633111 |  2086522 |     1396   2976 |        0 |        0
1475.85/1476.38	c 1476s |      22 |  2636277 |  2089322 |     1396   2979 |        0 |        0
1477.95/1478.45	c 1478s |      22 |  2639328 |  2092122 |     1396   2982 |        0 |        0
1479.94/1480.46	c 1480s |      22 |  2642368 |  2094822 |     1396   2986 |        0 |        0
1482.04/1482.53	c 1482s |      22 |  2645322 |  2097522 |     1396   2989 |        0 |        0
1484.04/1484.57	c 1484s |      22 |  2648543 |  2100422 |     1396   2992 |        0 |        0
1486.14/1486.60	c 1486s |      22 |  2651661 |  2103222 |     1396   2995 |        0 |        0
1488.14/1488.63	c 1488s |      22 |  2654861 |  2106022 |     1396   2998 |        0 |        0
1490.14/1490.69	c 1490s |      22 |  2658154 |  2108922 |     1396   3001 |        0 |        0
1492.24/1492.74	c 1492s |      22 |  2661292 |  2111722 |     1396   3005 |        0 |        0
1494.23/1494.78	c 1494s |      22 |  2664206 |  2114322 |     1396   3008 |        0 |        0
1496.33/1496.84	c 1496s |      22 |  2667205 |  2117022 |     1396   3011 |        0 |        0
1498.43/1498.91	c 1498s |      22 |  2670011 |  2119522 |     1396   3013 |        0 |        0
1500.43/1500.92	c 1500s |      22 |  2672701 |  2121922 |     1396   3016 |        0 |        0
1502.43/1502.99	c 1502s |      22 |  2676251 |  2125022 |     1396   3020 |        0 |        0
1504.53/1505.05	c 1505s |      22 |  2679586 |  2127922 |     1396   3023 |        0 |        0
1506.54/1507.09	c 1507s |      22 |  2682763 |  2130722 |     1396   3026 |        0 |        0
1508.63/1509.15	c 1509s |      22 |  2685966 |  2133622 |     1396   3029 |        0 |        0
1510.73/1511.20	c 1511s |      22 |  2689665 |  2136822 |     1396   3033 |        0 |        0
1512.73/1513.26	c 1513s |      22 |  2692846 |  2139722 |     1396   3036 |        0 |        0
1514.83/1515.30	c 1515s |      22 |  2695698 |  2142322 |     1396   3039 |        0 |        0
1516.83/1517.35	c 1517s |      22 |  2699186 |  2145422 |     1396   3043 |        0 |        0
1518.83/1519.37	c 1519s |      22 |  2702276 |  2148222 |     1396   3046 |        0 |        0
1520.84/1521.40	c 1521s |      22 |  2705483 |  2151122 |     1396   3049 |        0 |        0
1522.93/1523.45	c 1523s |      22 |  2708729 |  2154022 |     1396   3052 |        0 |        0
1524.93/1525.46	c 1525s |      22 |  2711715 |  2156722 |     1396   3055 |        0 |        0
1527.03/1527.51	c 1527s |      22 |  2714717 |  2159422 |     1396   3058 |        0 |        0
1529.03/1529.54	c 1529s |      22 |  2718222 |  2162422 |     1396   3062 |        0 |        0
1531.03/1531.58	c 1531s |      22 |  2721946 |  2165722 |     1396   3065 |        0 |        0
1533.12/1533.61	c 1533s |      22 |  2725327 |  2168822 |     1396   3069 |        0 |        0
1535.13/1535.65	c 1535s |      22 |  2728988 |  2172122 |     1396   3072 |        0 |        0
1537.12/1537.68	c 1537s |      22 |  2732101 |  2174922 |     1396   3076 |        0 |        0
1539.22/1539.74	c 1539s |      22 |  2735755 |  2178122 |     1396   3079 |        0 |        0
1541.22/1541.79	c 1541s |      22 |  2739062 |  2181022 |     1396   3082 |        0 |        0
1543.32/1543.85	c 1543s |      22 |  2742400 |  2184022 |     1396   3086 |        0 |        0
1545.42/1545.93	c 1545s |      22 |  2745461 |  2186822 |     1396   3089 |        0 |        0
1547.42/1547.99	c 1547s |      22 |  2748922 |  2189922 |     1396   3093 |        0 |        0
1549.43/1549.99	c 1549s |      22 |  2752300 |  2192922 |     1396   3096 |        0 |        0
1551.52/1552.03	c 1551s |      22 |  2755869 |  2196122 |     1396   3099 |        0 |        0
1553.52/1554.05	c 1554s |      22 |  2759296 |  2199222 |     1396   3103 |        0 |        0
1555.52/1556.08	c 1556s |      22 |  2762772 |  2202322 |     1396   3106 |        0 |        0
1557.62/1558.16	c 1558s |      22 |  2766012 |  2205322 |     1396   3110 |        0 |        0
1559.72/1560.20	c 1560s |      22 |  2769607 |  2208422 |     1396   3113 |        0 |        0
1561.72/1562.20	c 1562s |      22 |  2773067 |  2211522 |     1396   3117 |        0 |        0
1563.73/1564.24	c 1564s |      22 |  2776381 |  2214522 |     1396   3120 |        0 |        0
1565.72/1566.28	c 1566s |      22 |  2779910 |  2217622 |     1396   3124 |        0 |        0
1567.82/1568.31	c 1568s |      22 |  2783400 |  2220722 |     1396   3127 |        0 |        0
1569.82/1570.37	c 1570s |      22 |  2786583 |  2223622 |     1396   3130 |        0 |        0
1571.92/1572.41	c 1572s |      22 |  2790187 |  2226722 |     1396   3134 |        0 |        0
1573.92/1574.44	c 1574s |      22 |  2793782 |  2229922 |     1396   3137 |        0 |        0
1575.92/1576.46	c 1576s |      22 |  2797254 |  2233022 |     1396   3141 |        0 |        0
1577.92/1578.47	c 1578s |      22 |  2800490 |  2235922 |     1536   3144 |        0 |        0
1580.02/1580.53	c 1580s |      22 |  2803531 |  2238622 |     1536   3147 |        0 |        0
1582.02/1582.57	c 1582s |      22 |  2806953 |  2241622 |     1536   3150 |        0 |        0
1584.12/1584.62	c 1584s |      22 |  2810393 |  2244722 |     1536   3153 |        0 |        0
1586.11/1586.68	c 1586s |      22 |  2814043 |  2247722 |     1536   3156 |        0 |        0
1588.21/1588.73	c 1588s |      22 |  2817147 |  2250522 |     1536   3159 |        0 |        0
1588.61/1589.15	c 1589s |      23 |  2817717 |  2251038 |     1536   3160 |        0 |        0
1590.61/1591.19	c 1591s |      23 |  2822323 |  2254738 |     1536   3164 |        0 |        0
1592.71/1593.22	c 1593s |      23 |  2826241 |  2258138 |     1536   3167 |        0 |        0
1594.71/1595.25	c 1595s |      23 |  2830143 |  2261538 |     1536   3171 |        0 |        0
1596.72/1597.29	c 1597s |      23 |  2833838 |  2264838 |     1536   3174 |        0 |        0
1598.81/1599.31	c 1599s |      23 |  2837384 |  2267838 |     1536   3177 |        0 |        0
1600.81/1601.33	c 1601s |      23 |  2840634 |  2270738 |     1536   3180 |        0 |        0
1602.82/1603.36	c 1603s |      23 |  2843882 |  2273638 |     1536   3183 |        0 |        0
1604.92/1605.40	c 1605s |      23 |  2847268 |  2276638 |     1536   3186 |        0 |        0
1606.92/1607.42	c 1607s |      23 |  2850538 |  2279538 |     1536   3189 |        0 |        0
1608.93/1609.46	c 1609s |      23 |  2853547 |  2282238 |     1536   3192 |        0 |        0
1611.02/1611.53	c 1611s |      23 |  2857101 |  2285338 |     1536   3195 |        0 |        0
1613.02/1613.54	c 1613s |      23 |  2860935 |  2288738 |     1536   3199 |        0 |        0
1615.02/1615.54	c 1615s |      23 |  2864622 |  2292038 |     1536   3202 |        0 |        0
1617.02/1617.55	c 1617s |      23 |  2868546 |  2295538 |     1536   3206 |        0 |        0
1619.12/1619.61	c 1619s |      23 |  2872097 |  2298738 |     1536   3209 |        0 |        0
1621.12/1621.66	c 1621s |      23 |  2876099 |  2302338 |     1536   3213 |        0 |        0
1623.12/1623.69	c 1623s |      23 |  2879821 |  2305638 |     1536   3216 |        0 |        0
1625.21/1625.70	c 1625s |      23 |  2883465 |  2308938 |     1536   3220 |        0 |        0
1627.21/1627.77	c 1627s |      23 |  2886933 |  2312038 |     1536   3223 |        0 |        0
1629.31/1629.80	c 1629s |      23 |  2890450 |  2315138 |     1536   3226 |        0 |        0
1631.31/1631.83	c 1631s |      23 |  2894226 |  2318538 |     1536   3230 |        0 |        0
1633.31/1633.87	c 1633s |      23 |  2898024 |  2321938 |     1536   3233 |        0 |        0
1635.32/1635.89	c 1635s |      23 |  2901618 |  2325138 |     1536   3236 |        0 |        0
1637.42/1637.93	c 1637s |      23 |  2905334 |  2328438 |     1536   3240 |        0 |        0
1639.41/1639.98	c 1639s |      23 |  2909212 |  2331938 |     1536   3244 |        0 |        0
1641.41/1641.98	c 1641s |      23 |  2912853 |  2335238 |     1536   3247 |        0 |        0
1643.51/1644.02	c 1643s |      23 |  2916744 |  2338638 |     1536   3250 |        0 |        0
1645.51/1646.06	c 1646s |      23 |  2920542 |  2342038 |     1536   3254 |        0 |        0
1647.51/1648.09	c 1648s |      23 |  2924220 |  2345338 |     1536   3257 |        0 |        0
1649.62/1650.11	c 1650s |      23 |  2927828 |  2348438 |     1536   3261 |        0 |        0
1651.61/1652.12	c 1652s |      23 |  2931344 |  2351538 |     1536   3264 |        0 |        0
1653.61/1654.13	c 1654s |      23 |  2934608 |  2354438 |     1536   3267 |        0 |        0
1655.61/1656.16	c 1656s |      23 |  2937803 |  2357338 |     1536   3270 |        0 |        0
1657.61/1658.20	c 1658s |      23 |  2941388 |  2360538 |     1536   3273 |        0 |        0
1659.71/1660.23	c 1660s |      23 |  2945051 |  2363838 |     1536   3277 |        0 |        0
1661.72/1662.24	c 1662s |      23 |  2948634 |  2367038 |     1536   3280 |        0 |        0
1663.71/1664.27	c 1664s |      23 |  2952317 |  2370338 |     1536   3283 |        0 |        0
1665.81/1666.31	c 1666s |      23 |  2956125 |  2373738 |     1536   3287 |        0 |        0
1667.81/1668.38	c 1668s |      23 |  2960046 |  2377238 |     1536   3291 |        0 |        0
1669.91/1670.40	c 1670s |      23 |  2963876 |  2380638 |     1536   3294 |        0 |        0
1671.91/1672.41	c 1672s |      23 |  2967733 |  2384038 |     1536   3298 |        0 |        0
1673.91/1674.45	c 1674s |      23 |  2971522 |  2387438 |     1536   3301 |        0 |        0
1675.91/1676.49	c 1676s |      23 |  2975425 |  2390938 |     1536   3305 |        0 |        0
1678.00/1678.54	c 1678s |      23 |  2979138 |  2394138 |     1536   3308 |        0 |        0
1680.00/1680.54	c 1680s |      23 |  2982570 |  2397038 |     1536   3311 |        0 |        0
1682.00/1682.57	c 1682s |      23 |  2986004 |  2399838 |     1536   3314 |        0 |        0
1684.00/1684.57	c 1684s |      23 |  2989216 |  2402538 |     1536   3317 |        0 |        0
1686.10/1686.60	c 1686s |      23 |  2992196 |  2405138 |     1536   3320 |        0 |        0
1688.11/1688.67	c 1688s |      23 |  2995001 |  2407638 |     1536   3322 |        0 |        0
1690.10/1690.69	c 1690s |      23 |  2998638 |  2410738 |     1536   3325 |        0 |        0
1692.20/1692.73	c 1692s |      23 |  3002109 |  2413838 |     1536   3329 |        0 |        0
1694.20/1694.77	c 1694s |      23 |  3005500 |  2416838 |     1536   3332 |        0 |        0
1696.20/1696.79	c 1696s |      23 |  3009264 |  2420238 |     1536   3335 |        0 |        0
1698.30/1698.82	c 1698s |      23 |  3012371 |  2422938 |     1536   3338 |        0 |        0
1700.30/1700.85	c 1700s |      23 |  3016337 |  2426338 |     1536   3342 |        0 |        0
1702.41/1702.91	c 1702s |      23 |  3020123 |  2429738 |     1536   3345 |        0 |        0
1704.40/1704.91	c 1704s |      23 |  3023878 |  2433038 |     1536   3349 |        0 |        0
1706.40/1706.93	c 1706s |      23 |  3027631 |  2436338 |     1536   3352 |        0 |        0
1708.40/1708.99	c 1708s |      23 |  3031455 |  2439638 |     1536   3355 |        0 |        0
1710.50/1711.01	c 1710s |      23 |  3034889 |  2442538 |     1536   3358 |        0 |        0
1712.50/1713.05	c 1713s |      23 |  3038957 |  2445938 |     1536   3362 |        0 |        0
1714.51/1715.09	c 1715s |      23 |  3042589 |  2449138 |     1536   3365 |        0 |        0
1716.61/1717.13	c 1717s |      23 |  3045794 |  2452038 |     1536   3368 |        0 |        0
1718.60/1719.16	c 1719s |      23 |  3049361 |  2455138 |     1536   3372 |        0 |        0
1720.70/1721.21	c 1721s |      23 |  3052605 |  2458038 |     1536   3375 |        0 |        0
1722.70/1723.25	c 1723s |      23 |  3056032 |  2461038 |     1536   3378 |        0 |        0
1724.70/1725.26	c 1725s |      23 |  3059471 |  2464038 |     1536   3381 |        0 |        0
1726.80/1727.32	c 1727s |      23 |  3062705 |  2466938 |     1536   3384 |        0 |        0
1728.80/1729.38	c 1729s |      23 |  3066212 |  2470038 |     1536   3387 |        0 |        0
1730.90/1731.42	c 1731s |      23 |  3069432 |  2472938 |     1536   3390 |        0 |        0
1732.89/1733.43	c 1733s |      23 |  3072452 |  2475638 |     1536   3393 |        0 |        0
1734.89/1735.47	c 1735s |      23 |  3075493 |  2478338 |     1536   3396 |        0 |        0
1736.99/1737.52	c 1737s |      23 |  3078533 |  2481038 |     1536   3399 |        0 |        0
1738.99/1739.53	c 1739s |      23 |  3081586 |  2483738 |     1536   3401 |        0 |        0
1740.99/1741.57	c 1741s |      23 |  3085645 |  2487138 |     1536   3405 |        0 |        0
1743.10/1743.63	c 1743s |      23 |  3089501 |  2490438 |     1536   3408 |        0 |        0
1745.10/1745.67	c 1745s |      23 |  3093535 |  2493938 |     1536   3412 |        0 |        0
1747.10/1747.69	c 1747s |      23 |  3097760 |  2497538 |     1536   3416 |        0 |        0
1749.20/1749.74	c 1749s |      23 |  3101480 |  2500838 |     1536   3419 |        0 |        0
1751.20/1751.79	c 1751s |      23 |  3104875 |  2503838 |     1536   3422 |        0 |        0
1753.30/1753.85	c 1753s |      23 |  3108373 |  2506838 |     1536   3425 |        0 |        0
1755.30/1755.85	c 1755s |      23 |  3111465 |  2509538 |     1536   3428 |        0 |        0
1757.31/1757.89	c 1757s |      23 |  3115042 |  2512638 |     1536   3431 |        0 |        0
1759.40/1759.91	c 1759s |      23 |  3118840 |  2515938 |     1536   3435 |        0 |        0
1761.40/1761.95	c 1761s |      23 |  3122671 |  2519338 |     1536   3438 |        0 |        0
1763.50/1764.01	c 1763s |      23 |  3126503 |  2522738 |     1536   3442 |        0 |        0
1765.50/1766.03	c 1766s |      23 |  3129850 |  2525738 |     1536   3445 |        0 |        0
1767.50/1768.06	c 1768s |      23 |  3133622 |  2529038 |     1536   3448 |        0 |        0
1769.50/1770.09	c 1770s |      23 |  3137269 |  2532238 |     1536   3452 |        0 |        0
1771.60/1772.14	c 1772s |      23 |  3140763 |  2535338 |     1536   3455 |        0 |        0
1773.59/1774.17	c 1774s |      23 |  3144516 |  2538538 |     1536   3458 |        0 |        0
1775.69/1776.22	c 1776s |      23 |  3148317 |  2541838 |     1536   3462 |        0 |        0
1777.69/1778.23	c 1778s |      23 |  3151720 |  2544838 |     1536   3465 |        0 |        0
1779.69/1780.27	c 1780s |      23 |  3154937 |  2547738 |     1536   3468 |        0 |        0
1781.79/1782.31	c 1782s |      23 |  3158222 |  2550638 |     1536   3471 |        0 |        0
1783.80/1784.38	c 1784s |      23 |  3161313 |  2553438 |     1536   3474 |        0 |        0
1785.90/1786.47	c 1786s |      23 |  3164083 |  2555938 |     1536   3476 |        0 |        0
1787.89/1788.49	c 1788s |      23 |  3166909 |  2558438 |     1536   3479 |        0 |        0
1789.99/1790.53	c 1790s |      23 |  3170649 |  2561638 |     1536   3482 |        0 |        0
1791.99/1792.54	c 1792s |      23 |  3174120 |  2564738 |     1536   3486 |        0 |        0
1793.99/1794.59	c 1794s |      23 |  3177970 |  2568138 |     1536   3489 |        0 |        0
1796.09/1796.62	c 1796s |      23 |  3181765 |  2571538 |     1536   3493 |        0 |        0
1798.10/1798.64	c 1798s |      23 |  3185565 |  2574938 |     1536   3496 |        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-4093708-1466093064/watcher-4093708-1466093064 -o /tmp/evaluation-result-4093708-1466093064/solver-4093708-1466093064 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466093064-28593 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093708-1466093064.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.26 2.60 4/175 28621
/proc/meminfo: memFree=30497536/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=687684 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 2556 0 0 0 0 0 0 0 20 0 4 0 11352897 704188416 3428 33554432000 4194304 16246674 140737269488176 140737269487600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 172433 3439 442 2943 0 169327 0
[pid=28621/tid=28624] ppid=28614 vsize=705092 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 722014208 3498 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=709188 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 726208512 3515 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=714308 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 731451392 3531 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100206 s]
/proc/loadavg: 2.31 2.26 2.60 4/175 28621
/proc/meminfo: memFree=30497536/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 26617 0 0 0 6 3 0 0 20 0 4 0 11352897 1247350784 27475 33554432000 4194304 16246674 140737269488176 140737269487600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 304529 27490 810 2943 0 301423 0
[pid=28621/tid=28624] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 27503 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 27516 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 27522 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200492 s]
/proc/loadavg: 2.31 2.26 2.60 4/175 28621
/proc/meminfo: memFree=30497536/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 54602 0 0 0 12 6 0 0 20 0 4 0 11352897 1247350784 55460 33554432000 4194304 16246674 140737269488176 140737269487600 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 304529 55475 816 2943 0 301423 0
[pid=28621/tid=28624] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 55484 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 55493 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 55499 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300527 s]
/proc/loadavg: 2.31 2.26 2.60 4/175 28621
/proc/meminfo: memFree=30497536/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 81831 0 0 0 19 10 0 0 20 0 4 0 11352897 1247350784 82689 33554432000 4194304 16246674 140737269488176 140737269487600 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 304529 82702 816 2943 0 301423 0
[pid=28621/tid=28624] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 82711 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 82721 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 82729 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70038 s]
/proc/loadavg: 2.31 2.26 2.60 4/175 28621
/proc/meminfo: memFree=30497536/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 194484 0 0 0 45 24 0 0 20 0 4 0 11352897 1247350784 195343 33554432000 4194304 16246674 140737269488176 140737269487600 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 304529 195357 816 2943 0 301423 0
[pid=28621/tid=28624] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 195366 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 195376 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1247350784 195387 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50044 s]
/proc/loadavg: 2.31 2.26 2.60 4/183 28629
/proc/meminfo: memFree=28528424/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 267305 0 0 0 115 34 0 0 20 0 4 0 11352897 1336479744 268141 33554432000 4194304 16246674 140737269488176 140737269487488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 326289 268141 876 2943 0 323183 0
[pid=28621/tid=28624] ppid=28614 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1336479744 268141 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1336479744 268141 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1336479744 268141 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10046 s]
/proc/loadavg: 2.31 2.26 2.60 4/183 28629
/proc/meminfo: memFree=28353444/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 267819 0 0 0 275 34 0 0 20 0 4 0 11352897 1338576896 268655 33554432000 4194304 16246674 140737269488176 140737269470080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 326801 268655 876 2943 0 323695 0
[pid=28621/tid=28624] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268655 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268655 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268655 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.28 2.25 2.59 4/183 28629
/proc/meminfo: memFree=28352068/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 267921 0 0 0 595 34 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 140737269470080 5723096 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 326801 268757 876 2943 0 323695 0
[pid=28621/tid=28624] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.26 2.25 2.59 5/183 28629
/proc/meminfo: memFree=28351436/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 267921 0 0 0 1235 34 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 140737269470080 12474918 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 326801 268757 876 2943 0 323695 0
[pid=28621/tid=28624] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268757 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.34 2.27 2.59 4/183 28629
/proc/meminfo: memFree=28352224/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 267922 0 0 0 2515 34 0 0 20 0 4 0 11352897 1338576896 268758 33554432000 4194304 16246674 140737269488176 140737269470080 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 326801 268758 877 2943 0 323695 0
[pid=28621/tid=28624] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268758 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268758 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1338576896 268758 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.58 4/183 28629
/proc/meminfo: memFree=28351348/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 268255 0 0 0 5074 34 0 0 20 0 4 0 11352897 1340674048 269091 33554432000 4194304 16246674 140737269488176 140737269470080 5545907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 327313 269091 877 2943 0 324207 0
[pid=28621/tid=28624] ppid=28614 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1340674048 269091 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1340674048 269091 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1340674048 269091 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.51 2.32 2.58 4/183 28630
/proc/meminfo: memFree=28342508/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 269360 0 0 0 10194 34 0 0 20 0 4 0 11352897 1344868352 270196 33554432000 4194304 16246674 140737269488176 140737269470080 6042624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328337 270196 877 2943 0 325231 0
[pid=28621/tid=28624] ppid=28614 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1344868352 270196 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1344868352 270196 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1344868352 270196 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.32 4/183 28661
/proc/meminfo: memFree=28333876/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1314372 CPUtime=1301.88 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270112 0 0 0 130145 43 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 140737269470080 5545788 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328593 270554 878 2943 0 325487 0
[pid=28621/tid=28624] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.28 2.24 2.32 4/183 28662
/proc/meminfo: memFree=28333916/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1314372 CPUtime=1361.85 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270151 0 0 0 136142 43 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 140737269470080 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328593 270554 878 2943 0 325487 0
[pid=28621/tid=28624] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.28 2.24 2.31 4/183 28663
/proc/meminfo: memFree=28334040/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1314372 CPUtime=1421.86 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270151 0 0 0 142142 44 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 140737269470080 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328593 270554 878 2943 0 325487 0
[pid=28621/tid=28624] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.20 2.22 2.30 4/183 28664
/proc/meminfo: memFree=28333804/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1314372 CPUtime=1481.84 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270151 0 0 0 148140 44 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 140737269470080 13194300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328593 270554 878 2943 0 325487 0
[pid=28621/tid=28624] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.12 2.19 2.28 4/184 28669
/proc/meminfo: memFree=28333540/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1314372 CPUtime=1541.83 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270151 0 0 0 154139 44 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 140737269470080 5723564 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328593 270554 878 2943 0 325487 0
[pid=28621/tid=28624] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.24 2.21 2.28 4/183 28670
/proc/meminfo: memFree=28334392/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1314372 CPUtime=1601.82 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270151 0 0 0 160137 45 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 140737269470080 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328593 270554 878 2943 0 325487 0
[pid=28621/tid=28624] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1345916928 270554 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.21 2.20 2.27 4/183 28671
/proc/meminfo: memFree=28334044/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1315396 CPUtime=1661.81 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270251 0 0 0 166136 45 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 140737269470080 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328849 270654 878 2943 0 325743 0
[pid=28621/tid=28624] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.12 2.18 2.26 4/183 28672
/proc/meminfo: memFree=28333576/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1315396 CPUtime=1721.8 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270251 0 0 0 172135 45 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 140737269470080 5997993 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328849 270654 878 2943 0 325743 0
[pid=28621/tid=28624] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.25 2.20 2.26 4/183 28673
/proc/meminfo: memFree=28333008/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1315396 CPUtime=1781.79 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270251 0 0 0 178133 46 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 140737269470080 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328849 270654 878 2943 0 325743 0
[pid=28621/tid=28624] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.19 2.26 4/183 28673
/proc/meminfo: memFree=28333140/32872528 swapFree=1370072/1517240
[pid=28621] ppid=28614 vsize=1315396 CPUtime=1800.09 cores=1,3,5,7
/proc/28621/stat : 28621 (toysat) R 28614 28621 10365 0 -1 4202496 270251 0 0 0 179963 46 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 140737269470080 8194712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28621/statm: 328849 270654 878 2943 0 325743 0
[pid=28621/tid=28624] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28624/stat : 28624 (toysat) S 28614 28621 10365 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655047523568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=28621/tid=28625] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28625/stat : 28625 (toysat) S 28614 28621 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139655037033712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=28621/tid=28627] ppid=28614 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/28621/task/28627/stat : 28627 (toysat) S 28614 28621 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11352897 1346965504 270654 33554432000 4194304 16246674 140737269488176 139654955265200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1315396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.64
CPU system time (s): 0.462929
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.462929
maximum resident set size= 1082616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270251
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= 450
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85811 second user time and 9.24959 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-16 18:04:24
IDJOB=4093708
IDBENCH=79173
IDSOLVER=2553
FILE ID=node129/4093708-1466093064
RUNJOBID= node129-1466093064-28593
PBS_JOBID= 19904010
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= d3c2a58e2c21bd8565bd5528336ef7ed
RANDOM SEED=812580023

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30499344 kB
Buffers:           40176 kB
Cached:           111840 kB
SwapCached:          672 kB
Active:            84588 kB
Inactive:          69772 kB
Active(anon):       4196 kB
Inactive(anon):      912 kB
Active(file):      80392 kB
Inactive(file):    68860 kB
Unevictable:     1517240 kB
Mlocked:         1370072 kB
SwapTotal:      67108856 kB
SwapFree:       67100228 kB
Dirty:             32600 kB
Writeback:             4 kB
AnonPages:       1519544 kB
Mapped:             6904 kB
Shmem:                 0 kB
Slab:             568752 kB
SReclaimable:      12828 kB
SUnreclaim:       555924 kB
KernelStack:        1384 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1613156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-16 18:34:25